mirror/doc/concepts_container.hpp

#ifndef MIRROR_DOC_CONCEPTS_1011291729_HPP
#define MIRROR_DOC_CONCEPTS_1011291729_HPP

#include <mirror/config.hpp>
#include <mirror/doc/concepts.hpp>

// This section is here for documentation purposes only
#ifdef MIRROR_DOCUMENTATION_ONLY

MIRROR_NAMESPACE_BEGIN


struct Locator
{
    typedef BooleanConstantType safe;

    typedef BooleanConstantType mutating;

    typedef unspecified value_type;

    bool dereferencable(void) const;

    operator bool (void) const;

    bool operator !(void) const;

    value_type get(void) const;
};


struct MutatingLocator
 : public Locator
{
    void set(value_type value) const;
};


struct SafeLocator
 : public Locator
{
};


struct Traversal
{

    bool done(void) const;

    bool empty(void) const;


    SafeLocator front(void) const;


    void step_front(void);
};


struct ContainerKindTag;


struct MetaLocator
 : virtual public MetaNamedObject
{

    typedef Range<unspecified> signature;


    typedef Locator locator_type;


    static locator_type go_to(Container container, ...);

    friend meta_locator_tag
    categorize_meta_object(MetaLocator);
};


struct MetaTraversal
 : virtual public MetaNamedObject
{

    typedef Range<unspecified> signature;

    typedef Traversal traversal_type;


    static traversal_type start(Container container, ...);

    friend meta_traversal_tag
    categorize_meta_object(MetaTraversal);
};


struct MetaInserter
 : virtual public MetaNamedObject
{

    typedef Range<unspecified> signature;


    static void insert(Container& container, ...);

    friend meta_inserter_tag
    categorize_meta_object(MetaInserter);
};


struct MetaEraser
 : virtual public MetaNamedObject
{

    typedef Range<unspecified> signature;



    static void erase(Container& container, ...);

    friend meta_eraser_tag
    categorize_meta_object(MetaEraser);
};


struct MetaContainer
 : virtual public MetaScopedObject
{

    typedef MetaScope scope;

    static bool empty(Container& container);


    static size_t size_hint(Container& container);

    typedef MetaType element_type;

    typedef MetaTraversal default_traversal;


    friend struct default_traversal<MetaContainer>;


    friend struct traversals<MetaContainer>;


    friend struct locators<MetaContainer>;


    friend struct inserters<MetaContainer>;


    friend struct erasers<MetaContainer>;

    friend meta_container_tag
    categorize_meta_object(MetaContainer);
};

MIRROR_NAMESPACE_END

#endif // MIRROR_DOCUMENTATION_ONLY

#endif //include guard