registry.cc

Go to the documentation of this file.

#include "registry.hh"
#include "registryiterator.hh"
#include "typebuilder.hh"
#include "typedisplay.hh"

#include <memory>
#include <iostream>
#include <set>
using namespace std;

#include <ctype.h>

#include <boost/static_assert.hpp>
#include <boost/lexical_cast.hpp>
using boost::lexical_cast;

#include <typelib/pluginmanager.hh>

using namespace Typelib;

/* Returns true if \c name1 is either in a more in-depth namespace than
 * name2 (i.e. name2 == /A/B/class and name1 == /A/B/C/class2 or if 
 * name2 < name1 (lexicographic sort). Otherwise, returns false
 */
bool Typelib::nameSort( const std::string& name1, const std::string& name2 )
{
    if (name1 == name2)
        return false;

    NameTokenizer tok1(name1);
    NameTokenizer tok2(name2);
    NameTokenizer::const_iterator it1 = tok1.begin();
    NameTokenizer::const_iterator it2 = tok2.begin();

    std::string ns1, ns2;
    // we sort /A/B/C/ before /A/B/C/class
    // and /A/B/C/class2 after /A/B/class1
    for (; it1 != tok1.end() && it2 != tok2.end(); ++it1, ++it2)
    {
        ns1 = *it1;
        ns2 = *it2;

        int value = ns1.compare(ns2);
        if (value) return value < 0;
        //cout << ns1 << " " << ns2 << endl;
    }

    if (it1 == tok1.end()) 
        return true;  // there is namespace names left in name1, and not in name2
    if (it2 == tok2.end()) 
        return false; // there is namespace names left in name2, and not in name1
    int value = ns1.compare(ns2);
    if (value) 
        return value < 0;

    return false;
}

namespace Typelib
{
    Type const& Registry::null() { 
        static NullType const null_type("/nil");
        return null_type; 
    }
    
    Registry::Registry()
        : m_global(nameSort)
    { 
        PluginManager::self manager;
        manager->registerPluginTypes(*this);
        setDefaultNamespace("/");
    }
    Registry::~Registry() { clear(); }

    void Registry::updateCurrentNameMap()
    {
        m_current.clear();

        for (TypeMap::iterator it = m_global.begin(); it != m_global.end(); ++it)
            m_current.insert( make_pair(it->first, it->second) );

        importNamespace(NamespaceMarkString);
        std::string cur_space = NamespaceMarkString;
        NameTokenizer tokens( m_namespace );
        NameTokenizer::const_iterator ns_it = tokens.begin();
        for (; ns_it != tokens.end(); ++ns_it)
        {
            cur_space += *ns_it + NamespaceMarkString;
            importNamespace(cur_space, true);
        }
    }

    std::string Registry::getDefaultNamespace() const { return m_namespace; }
    bool Registry::setDefaultNamespace(const std::string& space)
    {
        if (! isValidNamespace(space, true))
            return false;

        m_namespace = getNormalizedNamespace(space);
        updateCurrentNameMap();
        return true;
    }

    void Registry::importNamespace(const std::string& name, bool erase_existing)
    {
        const std::string norm_name(getNormalizedNamespace(name));
        const int         norm_length(norm_name.length());
            
        TypeMap::const_iterator it = m_global.lower_bound(norm_name);

        while ( it != m_global.end() && isInNamespace(it->first, norm_name, true) )
        {
            const std::string rel_name(it->first, norm_length, string::npos);
            if (erase_existing)
                m_current.erase(rel_name);
            m_current.insert( make_pair(rel_name, it->second) );
            ++it;
        }
    }

    std::string Registry::getFullName(const std::string& name) const
    {
        if (isAbsoluteName(name))
            return name;
        return m_namespace + name;
    }

    namespace {
        template<typename T>
        Numeric* make_std_numeric(char const* name)
        {
            typedef numeric_limits<T>   limits;
            Numeric::NumericCategory category = limits::is_signed ? Numeric::SInt : Numeric::UInt;
            unsigned int size = (limits::digits + 1) / 8;
            return new Numeric(name, size, category);
        }
    }

    bool Registry::isIncluded(Type const& type) const
    {
        Type const* this_type = get(type.getName());
        return (this_type == &type);
    }

    void Registry::merge(Registry const& registry)
    {
        Typelib::Type::RecursionStack stack;

        // Merge non aliased types. Aliases are never used by type model classes
        // so we can safely call merge()
        for(Iterator it = registry.begin(); it != registry.end(); ++it)
        {
            if (it.isAlias()) continue;
            it->merge(*this, stack);
        }

        for (Iterator it = registry.begin(); it != registry.end(); ++it)
        {
            // Either the alias already points to a concrete type, and
            // we must check that it is the same concrete type, or
            // we have to add the alias
            if (!it.isAlias()) continue;

            Type const* old_type = get(it.getName());
            if (old_type)
            {
                if (!old_type->isSame(*it))
                    throw DefinitionMismatch(it.getName());
            }
            else
            {
                // we are sure the concrete type we are pointing to is 
                // already in the target registry
                alias(it->getName(), it.getName(), it.isPersistent(), it.getSource());
            }
        }
        copySourceIDs(registry);
    }

    void Registry::copySourceIDs(Registry const& registry)
    {
        for (Iterator it = begin(); it != end(); ++it)
        {
            RegistryIterator other_it = registry.find(it.getName());
            if (other_it == registry.end())
                continue;

            string source_id = other_it.getSource();
            if (!source_id.empty() && it.getSource().empty())
                setSourceID(*it, source_id);
        }
    }

    Registry* Registry::minimal(std::string const& name, bool with_aliases) const
    {
        auto_ptr<Registry> result(new Registry);
        Type const* type = get(name);
        if (!type)
            throw std::runtime_error("there is not type '" + name + "' in this registry");

        type->merge(*result);

        // Copy now the aliases
        if (with_aliases)
        {
            for(Iterator it = begin(); it != end(); ++it)
            {
                if (!it.isAlias()) continue;
                if (result->has(it->getName(), false))
                    result->alias(it->getName(), it.getName());
            }
        }

        result->copySourceIDs(*this);
        return result.release();
    }

    Registry* Registry::minimal(Registry const& auto_types) const
    {
        auto_ptr<Registry> result(new Registry);
 
        // Merge non aliased types. Aliases are never used by type model classes
        // so we can safely call merge()
        for(Iterator it = begin(); it != end(); ++it)
        {
            if (it.isAlias()) continue;
            if (!auto_types.has(it->getName()))
                it->merge(*result);
        }

        for (Iterator it = begin(); it != end(); ++it)
        {
            // Either the alias already points to a concrete type, and
            // we must check that it is the same concrete type, or
            // we have to add the alias
            if (!it.isAlias()) continue;
            if (auto_types.has(it.getName())) continue;
            // Do not continue if it is a typedef on a type that we don't need
            if (!result->has(it->getName())) continue;

            Type const* old_type = result->get(it.getName());
            if (old_type)
            {
                if (!old_type->isSame(*it))
                    throw DefinitionMismatch(it.getName());
            }
            else
            {
                result->alias(it->getName(), it.getName(), it.isPersistent(), it.getSource());
            }
        }

        return result.release();
    }

    bool Registry::has(const std::string& name, bool build_if_missing) const
    {
        if (m_current.find(name) != m_current.end())
            return true;

        if (! build_if_missing)
            return false;

        const Type* base_type = TypeBuilder::getBaseType(*this, getFullName(name));
        return base_type;
    }

    const Type* Registry::build(const std::string& name)
    {
        const Type* type = get(name);
        if (type)
            return type;

        return TypeBuilder::build(*this, getFullName(name));
    }

    Type* Registry::get_(const std::string& name)
    {
        NameMap::const_iterator it = m_current.find(name);
        if (it != m_current.end()) 
            return it->second.type;
        return 0;
    }

    Type& Registry::get_(Type const& type)
    { return *get_(type.getName()); }

    const Type* Registry::get(const std::string& name) const
    {
        NameMap::const_iterator it = m_current.find(name);
        if (it != m_current.end()) 
            return it->second.type;
        return 0;
    }

    RegistryIterator Registry::find(std::string const& name) const
    {
        TypeMap::const_iterator global_it =
            m_global.find(name);
        return RegistryIterator(*this, global_it);
    }

    bool Registry::isPersistent(std::string const& name, Type const& type, std::string const& source_id)
    {
        if (name != type.getName())
            return true;

        switch(type.getCategory())
        {
            case Type::Pointer:
            case Type::Array:
                return false;
            default:
                return true;
        };
    }

    void Registry::add(std::string const& name, Type* new_type, bool persistent, std::string const& source_id)
    {
        if (! isValidTypename(name, true))
            throw BadName(name);

        const Type* old_type = get(name);
        if (old_type == new_type) 
            return; 
        else if (old_type)
            throw AlreadyDefined(name);

        RegistryType regtype = 
            { new_type
            , persistent
            , source_id };
            
        m_global.insert (make_pair(name, regtype));
        m_current.insert(make_pair(name, regtype));

        NameTokenizer tokens( m_namespace );
        NameTokenizer::const_iterator ns_it = tokens.begin();
        std::string cur_space = NamespaceMarkString;
        while(true)
        {
            if (name.size() <= cur_space.size() || string(name, 0, cur_space.size()) != cur_space)
                break;

            string cur_name  = getRelativeName(name, cur_space);

            // Check if there is already a type with the same relative name
            TypeMap::iterator it = m_current.find(cur_name);
            if (it == m_current.end() || !nameSort(it->second.type->getName(), name))
            {
                m_current.erase(cur_name);
                m_current.insert(make_pair(cur_name, regtype));
            }

            if (ns_it == tokens.end())
                break;
            cur_space += *ns_it + NamespaceMarkString;
            ++ns_it;
        }
    }

    void Registry::add(Type* new_type, const std::string& source_id)
    {
        return add(new_type, isPersistent(new_type->getName(), *new_type, source_id), source_id);
    }

    void Registry::add(Type* new_type, bool persistent, const std::string& source_id)
    {
        add(new_type->getName(), new_type, persistent, source_id);

        // If there are any aliases for any of the type's dependencies, trigger
        // modifiedDependencyAliases()
        set<Type const*> dependencies = new_type->dependsOn();
        for (set<Type const*>::const_iterator dep_it = dependencies.begin();
                dep_it != dependencies.end(); ++dep_it)
        {
            if (!getAliasesOf(**dep_it).empty())
            {
                new_type->modifiedDependencyAliases(*this);
                break;
            }
        }
    }

    void Registry::alias(std::string const& base, std::string const& newname, std::string const& source_id)
    {
        Type* base_type = get_(base);
        if (! base_type) 
            throw Undefined(base);

        return alias(base, newname, isPersistent(newname, *base_type, source_id), source_id);
    }

    void Registry::alias(std::string const& base, std::string const& newname, bool persistent, std::string const& source_id)
    {
        if (! isValidTypename(newname, true))
            throw BadName(newname);

        Type* base_type = get_(base);
        if (! base_type) 
            throw Undefined(base);

        add(newname, base_type, persistent, source_id);

        // If base_type is in use in any type, trigger
        // modifiedDependencyAliases() on it
        //
        // We do it in two stages as modifying a container while iterating on it
        // is evil ...
        std::list<Type const*> triggers;
        RegistryIterator const end = this->end();
        for (RegistryIterator it = begin(); it != end; ++it)
        {
            if (it.isAlias()) continue;
            set<Type const*> dependencies = it->dependsOn();
            if (dependencies.count(base_type))
                triggers.push_back(&(*it));
        }

        for (list<Type const*>::const_iterator trigger_it = triggers.begin();
                trigger_it != triggers.end(); ++trigger_it)
        {
            (*trigger_it)->modifiedDependencyAliases(*this);
        }
    }

    void Registry::clearAliases()
    {
        // We remove the aliases from +m_global+ and recompute m_current from
        // scratch
        TypeMap::iterator global_it = m_global.begin(), global_end = m_global.end();
        while (global_it != global_end)
        {
            if (global_it->first != global_it->second.type->getName())
                m_global.erase(global_it++);
            else ++global_it;
        }

        updateCurrentNameMap();
    }

    size_t Registry::size() const { return m_global.size(); }
    void Registry::clear()
    {
        // Set the type pointer to 0 on aliases
        for (TypeMap::iterator it = m_global.begin(); it != m_global.end(); ++it)
        {
            if (it->first != it->second.type->getName())
                it->second.type = 0;
        }
            
        // ... then delete the objects
        for (TypeMap::iterator it = m_global.begin(); it != m_global.end(); ++it)
            delete it->second.type;
            
        m_global.clear();
        m_current.clear();
    }

    namespace
    {
        bool filter_source(std::string const& filter, std::string const& source)
        {
            if (filter == "*")
                return true;
            return filter == source;
        }
    }

    void Registry::dump(std::ostream& stream, int mode, const std::string& source_filter) const
    {
        stream << "Types in registry";
        if (source_filter == "")
            stream << " not defined in any type library";
        else if (source_filter != "*")
            stream << " defined in " << source_filter;
        stream << endl;

        TypeDisplayVisitor display(stream, "");
        for (TypeMap::const_iterator it = m_global.begin(); it != m_global.end(); ++it)
        {
            RegistryType regtype(it->second);
            if (! regtype.persistent)
                continue;
            if (!filter_source(source_filter, regtype.source_id))
                continue;

            if (mode & WithSourceId)
            {
                string it_source_id = regtype.source_id;
                if (it_source_id.empty()) stream << "\t\t";
                else stream << it_source_id << "\t";
            }

            Type const* type = regtype.type;
            if (mode & AllType)
            {
                if (type->getName() == it->first)
                {
                    display.apply(*type);
                    stream << "\n";
                }
                else
                    stream << it->first << " is an alias for " << type->getName() << "\n";
            }
            else
                stream << "\t" << type->getName() << endl;
        }
    }

    RegistryIterator Registry::begin() const { return RegistryIterator(*this, m_global.begin()); }
    RegistryIterator Registry::end() const { return RegistryIterator(*this, m_global.end()); }
    RegistryIterator Registry::begin(std::string const& prefix) const
    {
        RegistryIterator it(*this, m_global.lower_bound(prefix));
        RegistryIterator const end = this->end();
        if (it != end && it.getName().compare(0, prefix.length(), prefix) == 0)
            return it;
        else return end;
    }
    RegistryIterator Registry::end(std::string const& prefix) const
    {
        RegistryIterator it(begin(prefix));
        RegistryIterator const end = this->end();
        while (it != end && it.getName().compare(0, prefix.length(), prefix) == 0)
            ++it;

        return it;
    }

    bool Registry::isSame(Registry const& other) const
    {
        if (m_global.size() != other.m_global.size())
            return false;

        TypeMap::const_iterator
            left_it   = m_global.begin(),
            left_end  = m_global.end(),
            right_it  = other.m_global.begin();

        while (left_it != left_end)
        {
            if (!left_it->second.type->isSame(*right_it->second.type))
                return false;
            left_it++; left_end++;
        }
        return true;
    }

    void Registry::resize(std::map<std::string, size_t> const& new_sizes)
    {
        typedef std::map<std::string, std::pair<size_t, size_t> > SizeMap;
        // First, do a copy of new_sizes for our own use. Most importantly, we
        // resolve aliases
        SizeMap sizes;
        for (std::map<std::string, size_t>::const_iterator it = new_sizes.begin();
                it != new_sizes.end(); ++it)
        {
            Type& t = *get_(it->first);
            sizes.insert(make_pair(t.getName(),
                        make_pair(t.getSize(), it->second)
                        ));
            t.setSize(it->second);
        }

        for(Iterator it = begin(); it != end(); ++it)
        {
            if (it.isAlias()) continue;
            it.get_().resize(*this, sizes);
        }
    }

    std::set<Type const*> Registry::reverseDepends(Type const& type) const
    {
        std::set<Type const*> result;
        result.insert(&type);

        RegistryIterator const end = this->end();
        for (RegistryIterator it = this->begin(); it != end; ++it)
        {
            Type const& t = *it;
            if (it.isAlias()) continue;

            std::set<Type const*> dependencies = t.dependsOn();
            if (dependencies.count(&type))
                result.insert(&t);
        }

        return result;
    }

    std::set<Type*> Registry::reverseDepends(Type const& type)
    {
        std::set<Type*> result;

        std::set<Type const*> const_result =
            static_cast<Registry const*>(this)->reverseDepends(type);
        std::set<Type const*>::const_iterator it, end;
        for (it = const_result.begin(); it != const_result.end(); ++it)
            result.insert(const_cast<Type*>(*it));

        return result;
    }

    std::set<Type *> Registry::remove(Type const& type)
    {
        std::set<Type*> types = reverseDepends(type);

        TypeMap::iterator global_it = m_global.begin(), global_end = m_global.end();
        while (global_it != global_end)
        {
            if (types.count(global_it->second.type))
                m_global.erase(global_it++);
            else ++global_it;
        }

        NameMap::iterator current_it = m_current.begin(), current_end = m_current.end();
        while (current_it != current_end)
        {
            if (types.count(current_it->second.type))
                m_current.erase(current_it++);
            else ++current_it;
        }

        return types;
    }

    std::set<std::string> Registry::getAliasesOf(Type const& type) const
    {
        set<string> result;
        RegistryIterator const end = this->end();
        for (RegistryIterator it = begin(); it != end; ++it)
        {
            if (it.isAlias() && *it == type)
                result.insert(it.getName());
        }
        return result;
    }

    void Registry::setSourceID(Type const& type, std::string const& source_id)
    {
        TypeMap::iterator it = m_global.find(type.getName());
        if (it != m_global.end())
            it->second.source_id = source_id;
    }
}; // namespace Typelib