rubber/specifiers.hpp

Go to the documentation of this file.

#ifndef RUBBER_SPECIFIERS_1103151301_HPP
#define RUBBER_SPECIFIERS_1103151301_HPP

#include <rubber/config.hpp>
#include <rubber/range.hpp>
#include <mirror/specifier_tags.hpp>
#include <puddle/specifiers.hpp>

RUBBER_NAMESPACE_BEGIN


class specifier
{
private:
    static inline bool category_matches(unsigned a, unsigned b)
    {
        return (a & b) == b;
    }

    puddle::specifier_category _cat;
public:
    template <typename Specifier>
    specifier(Specifier s)
     : _cat(puddle::get_category(s))
    { }

    friend bool operator == (const specifier& a, const specifier& b)
    {
        return a._cat == b._cat;
    }

    friend bool operator != (const specifier& a, const specifier& b)
    {
        return a._cat != b._cat;
    }

    friend bool operator <= (const specifier& a, const specifier& b)
    {
        return a._cat <= b._cat;
    }

    friend bool operator >= (const specifier& a, const specifier& b)
    {
        return a._cat >= b._cat;
    }

    friend bool operator <  (const specifier& a, const specifier& b)
    {
        return a._cat <  b._cat;
    }

    friend bool operator >  (const specifier& a, const specifier& b)
    {
        return a._cat >  b._cat;
    }

    puddle::specifier_category category(void) const
    {
        return _cat;
    }

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

    #ifdef MIRROR_DOCUMENTATION_ONLY


    bool is_X(void) const;
    #endif
#define RUBBER_HELPER_MAKE_SPEC_IS_X(SPEC, KW, GRP, I, X) \
    inline bool is_## SPEC(void) const \
    { \
        return is_a(puddle::specifier_category::spec_ ## SPEC ## _tag); \
    }
MIRROR_FOR_EACH_SPECIFIER(RUBBER_HELPER_MAKE_SPEC_IS_X, _)
#undef RUBBER_HELPER_MAKE_SPEC_IS_X

};

RUBBER_NAMESPACE_END

#endif //include guard