lagoon/specifiers.hpp

Go to the documentation of this file.

#ifndef LAGOON_SPECIFIERS_1011291729_HPP
#define LAGOON_SPECIFIERS_1011291729_HPP

#include <lagoon/lagoon_fwd.hpp>
#include <lagoon/auxiliary/fwd.hpp>
#include <lagoon/utils.hpp>
#include <puddle/specifiers.hpp>
#include <mirror/specifier_tags.hpp>
#include <mirror/preprocessor.hpp>

LAGOON_NAMESPACE_BEGIN



#ifdef MIRROR_DOCUMENTATION_ONLY
enum specifier_category;
#else
using puddle::specifier_category;
#endif


struct specifier
{
private:
    const std::string _keyword;
    specifier_category _category;

    static inline bool category_matches(unsigned a, unsigned b)
    {
        return (a & b) == b;
    }
protected:
    template <class Specifier>
    specifier(Specifier)
     : _keyword(Specifier::keyword())
     , _category(puddle::get_category(Specifier()))
    { }
public:
    std::string keyword(void)
    {
        return _keyword;
    }

    specifier_category category(void)
    {
        return _category;
    }

    inline bool is_a(specifier_category cat)
    {
        return category_matches(
            unsigned(category()),
            unsigned(cat)
        );
    }

    bool is_none(void)
    {
        return is_a(specifier_category::spec__tag);
    }

#define LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN_false(KIND)
#define LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN_true(KIND) \
    bool is_ ## KIND ## _spec(void) \
    { \
        return is_a(specifier_category::spec_##KIND##_tag); \
    }
#define LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN(SPEC, KW, GRP, I, X) \
    LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN_##GRP(SPEC)

MIRROR_FOR_EACH_SPECIFIER(
    LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN,
    0
)

#undef LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN_false
#undef LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN_true
#undef LAGOON_HELPER_MAKE_IS_SPEC_GROUP_FN
};


#define LAGOON_HELPER_MAKE_SPEC_KIND_IS_X_FN(SPEC, X) \
    bool is_ ## SPEC(void) \
    { \
        return is_a(specifier_category::spec_## SPEC ##_tag);\
    }


#define LAGOON_HELPER_MAKE_SPEC_KIND_INTF_false(KIND)
#define LAGOON_HELPER_MAKE_SPEC_KIND_INTF_true(KIND) \
struct KIND ## _specifier : public specifier \
{ \
private: \
    template <typename Specifier, typename Interface> \
    friend shared<Interface> aux::get_##KIND##_spec(void);\
\
    template <class Specifier> \
    KIND ## _specifier(Specifier spec) \
     : specifier(spec) \
    { } \
public: \
    MIRROR_FOR_EACH_SPECIFIER_TYPE( \
        KIND, \
        LAGOON_HELPER_MAKE_SPEC_KIND_IS_X_FN, \
        0, \
        MIRROR_PP_EMPTY \
    ) \
};

#define LAGOON_HELPER_MAKE_SPEC_KIND_INTF(SPEC, KW, GRP, I, X)\
    LAGOON_HELPER_MAKE_SPEC_KIND_INTF_##GRP(SPEC)

MIRROR_FOR_EACH_SPECIFIER(
    LAGOON_HELPER_MAKE_SPEC_KIND_INTF,
    0
)

#undef LAGOON_HELPER_MAKE_SPEC_KIND_INTF
#undef LAGOON_HELPER_MAKE_SPEC_KIND_INTF_false
#undef LAGOON_HELPER_MAKE_SPEC_KIND_INTF_true
#undef LAGOON_HELPER_MAKE_SPEC_KIND_IS_X_FN

LAGOON_NAMESPACE_END


#endif //include guard