| // Copyright Cromwell D. Enage 2018. |
| // Distributed under the Boost Software License, Version 1.0. |
| // (See accompanying file LICENSE_1_0.txt or copy at |
| // http://www.boost.org/LICENSE_1_0.txt) |
| |
| #ifndef BOOST_PARAMETER_AUGMENT_PREDICATE_HPP |
| #define BOOST_PARAMETER_AUGMENT_PREDICATE_HPP |
| |
| #include <boost/parameter/keyword_fwd.hpp> |
| #include <boost/mpl/bool.hpp> |
| #include <boost/mpl/if.hpp> |
| #include <boost/mpl/eval_if.hpp> |
| #include <boost/type_traits/is_lvalue_reference.hpp> |
| #include <boost/type_traits/is_scalar.hpp> |
| #include <boost/type_traits/is_same.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename V, typename R, typename Tag> |
| struct augment_predicate_check_consume_ref |
| : ::boost::mpl::eval_if< |
| ::boost::is_scalar<V> |
| , ::boost::mpl::true_ |
| , ::boost::mpl::eval_if< |
| ::boost::is_same< |
| typename Tag::qualifier |
| , ::boost::parameter::consume_reference |
| > |
| , ::boost::mpl::if_< |
| ::boost::is_lvalue_reference<R> |
| , ::boost::mpl::false_ |
| , ::boost::mpl::true_ |
| > |
| , boost::mpl::true_ |
| > |
| >::type |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/type_traits/is_const.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename V, typename R, typename Tag> |
| struct augment_predicate_check_out_ref |
| : ::boost::mpl::eval_if< |
| ::boost::is_same< |
| typename Tag::qualifier |
| , ::boost::parameter::out_reference |
| > |
| , ::boost::mpl::eval_if< |
| ::boost::is_lvalue_reference<R> |
| , ::boost::mpl::if_< |
| ::boost::is_const<V> |
| , ::boost::mpl::false_ |
| , ::boost::mpl::true_ |
| > |
| , ::boost::mpl::false_ |
| > |
| , ::boost::mpl::true_ |
| >::type |
| { |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/lambda_tag.hpp> |
| #include <boost/mpl/apply_wrap.hpp> |
| #include <boost/mpl/lambda.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template < |
| typename Predicate |
| , typename R |
| , typename Tag |
| , typename T |
| , typename Args |
| > |
| class augment_predicate |
| { |
| typedef typename ::boost::mpl::lambda< |
| Predicate |
| , ::boost::parameter::aux::lambda_tag |
| >::type _actual_predicate; |
| |
| public: |
| typedef typename ::boost::mpl::eval_if< |
| typename ::boost::mpl::if_< |
| ::boost::parameter::aux |
| ::augment_predicate_check_consume_ref<T,R,Tag> |
| , ::boost::parameter::aux |
| ::augment_predicate_check_out_ref<T,R,Tag> |
| , ::boost::mpl::false_ |
| >::type |
| , ::boost::mpl::apply_wrap2<_actual_predicate,T,Args> |
| , ::boost::mpl::false_ |
| >::type type; |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/config.hpp> |
| |
| #if defined(BOOST_PARAMETER_CAN_USE_MP11) |
| #include <boost/mp11/integral.hpp> |
| #include <boost/mp11/utility.hpp> |
| #include <type_traits> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template <typename V, typename R, typename Tag> |
| using augment_predicate_check_consume_ref_mp11 = ::boost::mp11::mp_if< |
| ::std::is_scalar<V> |
| , ::boost::mp11::mp_true |
| , ::boost::mp11::mp_if< |
| ::std::is_same< |
| typename Tag::qualifier |
| , ::boost::parameter::consume_reference |
| > |
| , ::boost::mp11::mp_if< |
| ::std::is_lvalue_reference<R> |
| , ::boost::mp11::mp_false |
| , ::boost::mp11::mp_true |
| > |
| , boost::mp11::mp_true |
| > |
| >; |
| |
| template <typename V, typename R, typename Tag> |
| using augment_predicate_check_out_ref_mp11 = ::boost::mp11::mp_if< |
| ::std::is_same< |
| typename Tag::qualifier |
| , ::boost::parameter::out_reference |
| > |
| , ::boost::mp11::mp_if< |
| ::std::is_lvalue_reference<R> |
| , ::boost::mp11::mp_if< |
| ::std::is_const<V> |
| , ::boost::mp11::mp_false |
| , ::boost::mp11::mp_true |
| > |
| , ::boost::mp11::mp_false |
| > |
| , ::boost::mp11::mp_true |
| >; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/mp11/list.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template < |
| typename Predicate |
| , typename R |
| , typename Tag |
| , typename T |
| , typename Args |
| > |
| struct augment_predicate_mp11_impl |
| { |
| using type = ::boost::mp11::mp_if< |
| ::boost::mp11::mp_if< |
| ::boost::parameter::aux |
| ::augment_predicate_check_consume_ref_mp11<T,R,Tag> |
| , ::boost::parameter::aux |
| ::augment_predicate_check_out_ref_mp11<T,R,Tag> |
| , ::boost::mp11::mp_false |
| > |
| , ::boost::mp11 |
| ::mp_apply_q<Predicate,::boost::mp11::mp_list<T,Args> > |
| , ::boost::mp11::mp_false |
| >; |
| }; |
| }}} // namespace boost::parameter::aux |
| |
| #include <boost/parameter/aux_/has_nested_template_fn.hpp> |
| |
| namespace boost { namespace parameter { namespace aux { |
| |
| template < |
| typename Predicate |
| , typename R |
| , typename Tag |
| , typename T |
| , typename Args |
| > |
| using augment_predicate_mp11 = ::boost::mp11::mp_if< |
| ::boost::parameter::aux::has_nested_template_fn<Predicate> |
| , ::boost::parameter::aux |
| ::augment_predicate_mp11_impl<Predicate,R,Tag,T,Args> |
| , ::boost::parameter::aux |
| ::augment_predicate<Predicate,R,Tag,T,Args> |
| >; |
| }}} // namespace boost::parameter::aux |
| |
| #endif // BOOST_PARAMETER_CAN_USE_MP11 |
| #endif // include guard |
| |