123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142 |
- #ifndef BOOST_PARAMETER_AUX_PACK_SATISFIES_HPP
- #define BOOST_PARAMETER_AUX_PACK_SATISFIES_HPP
- #include <boost/parameter/config.hpp>
- #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
- #include <boost/parameter/aux_/arg_list.hpp>
- #include <boost/parameter/aux_/augment_predicate.hpp>
- #include <boost/parameter/aux_/void.hpp>
- #include <boost/mpl/eval_if.hpp>
- #include <boost/mpl/apply_wrap.hpp>
- #include <boost/type_traits/is_same.hpp>
- #else
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- #include <boost/mp11/integral.hpp>
- #else
- #include <boost/mpl/bool.hpp>
- #endif
- #include <boost/parameter/aux_/yesno.hpp>
- #include <boost/parameter/aux_/preprocessor/nullptr.hpp>
- #endif
- namespace boost { namespace parameter { namespace aux {
- #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
- template <typename ArgList, typename ParameterRequirements, typename Bound>
- struct satisfies_impl
- : ::boost::parameter::aux::augment_predicate<
- typename ParameterRequirements::predicate
- , typename ArgList::reference
- , typename ArgList::key_type
- , Bound
- , ArgList
- >
- {
- };
- #endif
-
-
- template <typename ArgList, typename ParameterRequirements>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- using satisfies = ::boost::mp11::mp_bool<
- sizeof(
- ::boost::parameter::aux::to_yesno(
- ArgList::satisfies(
- static_cast<ParameterRequirements*>(
- BOOST_PARAMETER_AUX_PP_NULLPTR
- )
- , static_cast<ArgList*>(BOOST_PARAMETER_AUX_PP_NULLPTR)
- )
- )
- ) == sizeof(::boost::parameter::aux::yes_tag)
- >;
- #else
- class satisfies
- {
- #if BOOST_WORKAROUND(BOOST_MSVC, == 1310)
-
-
- typedef typename ::boost::mpl::apply_wrap3<
- typename ArgList::binding
- , typename ParameterRequirements::keyword
- , ::boost::parameter::void_
- , ::boost::mpl::false_
- >::type _bound;
- public:
- typedef typename ::boost::mpl::eval_if<
- ::boost::is_same<_bound,::boost::parameter::void_>
- , typename ParameterRequirements::has_default
- , ::boost::mpl::eval_if<
- ::boost::is_same<
- ArgList
- , ::boost::parameter::aux::empty_arg_list
- >
- , ::boost::mpl::false_
- , ::boost::parameter::aux::satisfies_impl<
- ArgList
- , ParameterRequirements
- , _bound
- >
- >
- >::type type;
- #else
- BOOST_STATIC_CONSTANT(
- bool, _value = (
- sizeof(
- ::boost::parameter::aux::to_yesno(
- ArgList::satisfies(
- static_cast<ParameterRequirements*>(
- BOOST_PARAMETER_AUX_PP_NULLPTR
- )
- , static_cast<ArgList*>(BOOST_PARAMETER_AUX_PP_NULLPTR)
- )
- )
- ) == sizeof(::boost::parameter::aux::yes_tag)
- )
- );
- public:
- typedef ::boost::mpl::bool_<
- ::boost::parameter::aux
- ::satisfies<ArgList,ParameterRequirements>::_value
- > type;
- #endif
- };
- #endif
- }}}
- #include <boost/parameter/aux_/pack/as_parameter_requirements.hpp>
- namespace boost { namespace parameter { namespace aux {
-
-
- template <typename ArgList, typename ParameterSpec>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- using satisfies_requirements_of = ::boost::parameter::aux::satisfies<
- ArgList
- , typename ::boost::parameter::aux
- ::as_parameter_requirements<ParameterSpec>::type
- >;
- #else
- struct satisfies_requirements_of
- : ::boost::parameter::aux::satisfies<
- ArgList
- , typename ::boost::parameter::aux
- ::as_parameter_requirements<ParameterSpec>::type
- >::type
- {
- };
- #endif
- }}}
- #endif
|