mirror/meta_type_template.hpp

Go to the documentation of this file.

#ifndef MIRROR_META_TYPE_TEMPLATE_1011291729_HPP
#define MIRROR_META_TYPE_TEMPLATE_1011291729_HPP

#include <mirror/meta_namespace.hpp>
#include <mirror/preprocessor.hpp>

MIRROR_NAMESPACE_BEGIN

namespace _type {

template <template <typename ...> class Template, typename ... Params>
struct _<Template<Params...> >
 : _template::_<Template>
{
    typedef meta_templated_type_tag category;
    typedef typename mirror::_template::_<
        Template
    >::kind kind;
    typedef mirror::cts::string<> ct_name;
};

} // namespace _type

#define MIRROR_REG_GLOBAL_SCOPE_CLASS_TEMPLATE_CTS( \
    ELABORATED_TYPE, \
    NAME, \
    SPELLED \
) \
namespace _template { \
template <> \
struct _< NAME > \
{  \
    typedef meta_type_template_tag category; \
    typedef spec_ ## ELABORATED_TYPE ## _tag kind; \
    typedef mirror::_namespace::_ scope; \
    MIRROR_IMPLEMENT_META_OBJECT_NAME_FUNCTIONS(#NAME) \
    typedef typename mirror::cts::string< \
        MIRROR_PP_EXPAND_ARGS SPELLED \
    >::type ct_name; \
}; \
} MIRROR_ADD_TO_GLOBAL_LIST( \
    mirror::_namespace::_, \
    mirror::meta_type_template< NAME > \
)

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRROR_REG_GLOBAL_SCOPE_CLASS_TEMPLATE(ELABORATED_TYPE, NAME)
#else
#define MIRROR_REG_GLOBAL_SCOPE_CLASS_TEMPLATE(ELABORATED_TYPE, NAME) \
    MIRROR_REG_GLOBAL_SCOPE_CLASS_TEMPLATE_CTS(ELABORATED_TYPE, NAME, ())
#endif

#define MIRROR_REG_GLOBAL_SCOPE_TYPE_TEMPLATE_CTS(NAME, SPELLED) \
    MIRROR_REG_GLOBAL_SCOPE_CLASS_TEMPLATE_CTS(type, NAME, SPELLED)

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRROR_REG_GLOBAL_SCOPE_TYPE_TEMPLATE(NAME)
#else
#define MIRROR_REG_GLOBAL_SCOPE_TYPE_TEMPLATE(NAME) \
    MIRROR_REG_GLOBAL_SCOPE_TYPE_TEMPLATE_CTS(NAME, ())
#endif


#define MIRROR_REG_CLASS_TEMPLATE_CTS( \
    ELABORATED_TYPE, \
    NAMESPACE, \
    NAME, \
    SPELLED \
) \
namespace _template { \
template <> \
struct _< :: NAMESPACE :: NAME > \
{  \
    typedef meta_type_template_tag category; \
    typedef spec_ ## ELABORATED_TYPE ## _tag kind; \
    typedef mirror::_namespace:: NAMESPACE ::_ scope; \
    MIRROR_IMPLEMENT_META_OBJECT_NAME_FUNCTIONS(#NAME) \
    typedef typename mirror::cts::string< \
        MIRROR_PP_EXPAND_ARGS SPELLED \
    >::type ct_name; \
}; \
} MIRROR_ADD_TO_GLOBAL_LIST( \
    mirror::_namespace:: NAMESPACE ::_, \
    mirror::meta_type_template< :: NAMESPACE :: NAME > \
)

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRROR_REG_CLASS_TEMPLATE(ELABORATED_TYPE, NAMESPACE, NAME)
#else
#define MIRROR_REG_CLASS_TEMPLATE(ELABORATED_TYPE, NAMESPACE, NAME) \
    MIRROR_REG_CLASS_TEMPLATE_CTS(ELABORATED_TYPE, NAMESPACE, NAME, ())
#endif

#define MIRROR_REG_TYPE_TEMPLATE_CTS(NAMESPACE, NAME, SPELLED) \
    MIRROR_REG_CLASS_TEMPLATE_CTS(type, NAMESPACE, NAME, SPELLED)

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRROR_REG_TYPE_TEMPLATE(NAMESPACE, NAME)
#else
#define MIRROR_REG_TYPE_TEMPLATE(NAMESPACE, NAME) \
    MIRROR_REG_TYPE_TEMPLATE_CTS(NAMESPACE, NAME, ())
#endif


#define MIRROR_REG_CLASS_TEMPLATE_BEGIN_CTS( \
    TEMPLATE_PARAMS, \
    ELABORATED_TYPE, \
    NAMESPACE, \
    CLASS, \
    SPELLED, \
    PARAM_LIST \
) \
MIRROR_REG_CLASS_TEMPLATE_CTS(ELABORATED_TYPE, NAMESPACE, CLASS, SPELLED) \
namespace _class { \
template < MIRROR_PP_EXPAND_ARGS TEMPLATE_PARAMS > \
struct _< :: NAMESPACE :: CLASS < \
    MIRROR_PP_EXPAND_ARGS PARAM_LIST \
> > \
 : _defaults< :: NAMESPACE :: CLASS < \
    MIRROR_PP_EXPAND_ARGS PARAM_LIST \
>, spec_ ## ELABORATED_TYPE ## _tag > \
{ \
    typedef spec_ ## ELABORATED_TYPE ## _tag kind; \
    typedef :: NAMESPACE :: CLASS < \
        MIRROR_PP_EXPAND_ARGS PARAM_LIST \
    > _this;

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRROR_REG_CLASS_TEMPLATE_BEGIN( \
    TEMPLATE_PARAMS, \
    ELABORATED_TYPE, \
    NAMESPACE, \
    CLASS, \
    PARAM_LIST \
)
#else
#define MIRROR_REG_CLASS_TEMPLATE_BEGIN( \
    TEMPLATE_PARAMS, \
    ELABORATED_TYPE, \
    NAMESPACE, \
    CLASS, \
    PARAM_LIST \
) MIRROR_REG_CLASS_TEMPLATE_BEGIN_CTS( \
    TEMPLATE_PARAMS, \
    ELABORATED_TYPE, \
    NAMESPACE, \
    CLASS, (), \
    PARAM_LIST \
)
#endif

#ifdef MIRROR_DOCUMENTATION_ONLY


#define MIRRORED_TEMPLATE(FULL_TEMPLATE_NAME) mirror::MetaTypeTemplate
#else
#define MIRRORED_TEMPLATE(FULL_TEMPLATE_NAME) \
    mirror::meta_type_template< FULL_TEMPLATE_NAME >
#endif

template <template <typename ...> class Template>
struct meta_type_template
 : public aux::scoped_named_impl<
    mirror::_template::_<Template>
>
{
    typedef typename mirror::_template::_<Template>::ct_name static_name;

    typedef typename aux::full_meta_object<
        typename mirror::_template::_<Template>::scope
    >::type scope;

    template <typename ... P>
    struct reflected_template
    {
        typedef Template<P...> type;
    };
};

MIRROR_NAMESPACE_END

#endif //include guard