Menu

RequirementChecker.h File Reference

#include "boost/mpl/begin.hpp"
#include "boost/mpl/end.hpp"
#include "boost/mpl/deref.hpp"
#include "boost/mpl/next.hpp"
#include "boost/mpl/eval_if.hpp"
#include "boost/mpl/integral_c.hpp"
#include "boost/mpl/bool.hpp"
#include "boost/mpl/filter_view.hpp"
#include "mw/attributes/type_traits/is_null.h"
#include "mw/attributes/detail/AttributeCompileErrors.h"

Go to the source code of this file.

Data Structures

struct  famouso::mw::attributes::detail::RequirablePred
 Predicate to filter out non-requirable attributes from a requirement specification. More...
struct  famouso::mw::attributes::detail::RequirablePred::apply< Attr >
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, compileError, FilteredReq, ReqIter >
 Checks the given attribute requirement against the given provision. The check result can be accessed using the result type. More...
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, compileError, FilteredReq, ReqIter >::provision_assertion< Pr, PrIter >
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, compileError, FilteredReq, ReqIter >::provision_assertion< Pr, typename boost::mpl::end< Pr >::type >
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, compileError, FilteredReq, ReqIter >::comparatorExtractor< Attribute, dummy >
 The comparator used for checking the values of the attributes.
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, compileError, FilteredReq, ReqIter >::comparatorExtractor< famouso::mw::attributes::Null, dummy >
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, true, FilteredReq, typename boost::mpl::end< FilteredReq >::type >
struct  famouso::mw::attributes::detail::RequirementChecker< Prov, Req, false, FilteredReq, typename boost::mpl::end< FilteredReq >::type >

Namespaces

namespace  famouso
namespace  famouso::mw
namespace  famouso::mw::attributes
namespace  famouso::mw::attributes::detail