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 |