FM / parameter

/usr/include/boost/parameter

Name	Size	Mode	Actions
aux_/	-	0755	rm
are_tagged_arguments.hpp	4812	0644	edit dl rm
binding.hpp	5513	0644	edit dl rm
compose.hpp	8422	0644	edit dl rm
config.hpp	3747	0644	edit dl rm
deduced.hpp	3587	0644	edit dl rm
is_argument_pack.hpp	836	0644	edit dl rm
keyword.hpp	28188	0644	edit dl rm
keyword_fwd.hpp	671	0644	edit dl rm
macros.hpp	11569	0644	edit dl rm
match.hpp	1849	0644	edit dl rm
name.hpp	5799	0644	edit dl rm
nested_keyword.hpp	7208	0644	edit dl rm
optional.hpp	1897	0644	edit dl rm
parameters.hpp	21367	0644	edit dl rm
preprocessor.hpp	11113	0644	edit dl rm
preprocessor_no_spec.hpp	3673	0644	edit dl rm
python.hpp	19048	0644	edit dl rm
required.hpp	1834	0644	edit dl rm
template_keyword.hpp	3287	0644	edit dl rm
value_type.hpp	5530	0644	edit dl rm

Edit: /usr/include/boost/parameter/value_type.hpp (5530B)

// Copyright Daniel Wallin 2006.
// 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_VALUE_TYPE_060921_HPP
#define BOOST_PARAMETER_VALUE_TYPE_060921_HPP

#include <boost/parameter/aux_/void.hpp>
#include <boost/parameter/config.hpp>

#if defined(BOOST_PARAMETER_CAN_USE_MP11)
#include <boost/mp11/integral.hpp>
#include <boost/mp11/list.hpp>
#include <boost/mp11/utility.hpp>
#include <type_traits>
#else
#include <boost/mpl/bool.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/mpl/apply_wrap.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_same.hpp>
#endif

namespace boost { namespace parameter {

// A metafunction that, given an argument pack, returns the value type
    // of the parameter identified by the given keyword.  If no such parameter
    // has been specified, returns Default

template <typename Parameters, typename Keyword, typename Default>
    struct value_type0
    {
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
        using type = ::boost::mp11::mp_apply_q<
            typename Parameters::binding
          , ::boost::mp11::mp_list<Keyword,Default,::boost::mp11::mp_false>
        >;

static_assert(
            ::boost::mp11::mp_if<
                ::std::is_same<Default,::boost::parameter::void_>
              , ::boost::mp11::mp_if<
                    ::std::is_same<type,::boost::parameter::void_>
                  , ::boost::mp11::mp_false
                  , ::boost::mp11::mp_true
                >
              , ::boost::mp11::mp_true
            >::value
          , "required parameters must not result in void_ type"
        );
#else   // !defined(BOOST_PARAMETER_CAN_USE_MP11)
        typedef typename ::boost::mpl::apply_wrap3<
            typename Parameters::binding
          , Keyword
          , Default
          , ::boost::mpl::false_
        >::type type;

BOOST_MPL_ASSERT((
            typename ::boost::mpl::eval_if<
                ::boost::is_same<Default,::boost::parameter::void_>
              , ::boost::mpl::if_<
                    ::boost::is_same<type,::boost::parameter::void_>
                  , ::boost::mpl::false_
                  , ::boost::mpl::true_
                >
              , ::boost::mpl::true_
            >::type
        ));
#endif  // BOOST_PARAMETER_CAN_USE_MP11
    };

#if defined(BOOST_PARAMETER_CAN_USE_MP11)
    template <typename Placeholder, typename Keyword, typename Default>
    struct value_type1
    {
        using type = ::boost::mp11::mp_apply_q<
            Placeholder
          , ::boost::mp11::mp_list<Keyword,Default,::boost::mp11::mp_false>
        >;

static_assert(
            ::boost::mp11::mp_if<
                ::std::is_same<Default,::boost::parameter::void_>
              , ::boost::mp11::mp_if<
                    ::std::is_same<type,::boost::parameter::void_>
                  , ::boost::mp11::mp_false
                  , ::boost::mp11::mp_true
                >
              , ::boost::mp11::mp_true
            >::value
          , "required parameters must not result in void_ type"
        );
    };
#endif  // BOOST_PARAMETER_CAN_USE_MP11
}} // namespace boost::parameter

#include <boost/parameter/aux_/is_placeholder.hpp>

namespace boost { namespace parameter {

template <
        typename Parameters
      , typename Keyword
      , typename Default = ::boost::parameter::void_
    >
    struct value_type
#if !defined(BOOST_PARAMETER_CAN_USE_MP11)
      : ::boost::mpl::eval_if<
            ::boost::parameter::aux::is_mpl_placeholder<Parameters>
          , ::boost::mpl::identity<int>
          , ::boost::parameter::value_type0<Parameters,Keyword,Default>
        >
#endif
    {
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
        using type = typename ::boost::mp11::mp_if<
            ::boost::parameter::aux::is_mpl_placeholder<Parameters>
          , ::boost::mp11::mp_identity<int>
          , ::boost::mp11::mp_if<
                ::boost::parameter::aux::is_mp11_placeholder<Parameters>
              , ::boost::parameter::value_type1<Parameters,Keyword,Default>
              , ::boost::parameter::value_type0<Parameters,Keyword,Default>
            >
        >::type;
#endif
    };
}} // namespace boost::parameter

#include <boost/parameter/aux_/result_of0.hpp>

namespace boost { namespace parameter {

// A metafunction that, given an argument pack, returns the value type
    // of the parameter identified by the given keyword.  If no such parameter
    // has been specified, returns the type returned by invoking DefaultFn
    template <typename Parameters, typename Keyword, typename DefaultFn>
    struct lazy_value_type
    {
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
        using type = ::boost::mp11::mp_apply_q<
            typename Parameters::binding
          , ::boost::mp11::mp_list<
                Keyword
              , typename ::boost::parameter::aux::result_of0<DefaultFn>::type
              , ::boost::mp11::mp_false
            >
        >;
#else
        typedef typename ::boost::mpl::apply_wrap3<
            typename Parameters::binding
          , Keyword
          , typename ::boost::parameter::aux::result_of0<DefaultFn>::type
          , ::boost::mpl::false_
        >::type type;
#endif  // BOOST_PARAMETER_CAN_USE_MP11
    };
}} // namespace boost::parameter

#endif  // include guard

// Copyright Daniel Wallin 2006. // 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_VALUE_TYPE_060921_HPP #define BOOST_PARAMETER_VALUE_TYPE_060921_HPP #include #include #if defined(BOOST_PARAMETER_CAN_USE_MP11) #include #include #include #include #else #include #include #include #include #include #include #include #endif namespace boost { namespace parameter { // A metafunction that, given an argument pack, returns the value type // of the parameter identified by the given keyword. If no such parameter // has been specified, returns Default template struct value_type0 { #if defined(BOOST_PARAMETER_CAN_USE_MP11) using type = ::boost::mp11::mp_apply_q< typename Parameters::binding , ::boost::mp11::mp_list >; static_assert( ::boost::mp11::mp_if< ::std::is_same , ::boost::mp11::mp_if< ::std::is_same , ::boost::mp11::mp_false , ::boost::mp11::mp_true > , ::boost::mp11::mp_true >::value , "required parameters must not result in void_ type" ); #else // !defined(BOOST_PARAMETER_CAN_USE_MP11) typedef typename ::boost::mpl::apply_wrap3< typename Parameters::binding , Keyword , Default , ::boost::mpl::false_ >::type type; BOOST_MPL_ASSERT(( typename ::boost::mpl::eval_if< ::boost::is_same , ::boost::mpl::if_< ::boost::is_same , ::boost::mpl::false_ , ::boost::mpl::true_ > , ::boost::mpl::true_ >::type )); #endif // BOOST_PARAMETER_CAN_USE_MP11 }; #if defined(BOOST_PARAMETER_CAN_USE_MP11) template struct value_type1 { using type = ::boost::mp11::mp_apply_q< Placeholder , ::boost::mp11::mp_list >; static_assert( ::boost::mp11::mp_if< ::std::is_same , ::boost::mp11::mp_if< ::std::is_same , ::boost::mp11::mp_false , ::boost::mp11::mp_true > , ::boost::mp11::mp_true >::value , "required parameters must not result in void_ type" ); }; #endif // BOOST_PARAMETER_CAN_USE_MP11 }} // namespace boost::parameter #include namespace boost { namespace parameter { template < typename Parameters , typename Keyword , typename Default = ::boost::parameter::void_ > struct value_type #if !defined(BOOST_PARAMETER_CAN_USE_MP11) : ::boost::mpl::eval_if< ::boost::parameter::aux::is_mpl_placeholder , ::boost::mpl::identity , ::boost::parameter::value_type0 > #endif { #if defined(BOOST_PARAMETER_CAN_USE_MP11) using type = typename ::boost::mp11::mp_if< ::boost::parameter::aux::is_mpl_placeholder , ::boost::mp11::mp_identity , ::boost::mp11::mp_if< ::boost::parameter::aux::is_mp11_placeholder , ::boost::parameter::value_type1 , ::boost::parameter::value_type0 > >::type; #endif }; }} // namespace boost::parameter #include namespace boost { namespace parameter { // A metafunction that, given an argument pack, returns the value type // of the parameter identified by the given keyword. If no such parameter // has been specified, returns the type returned by invoking DefaultFn template struct lazy_value_type { #if defined(BOOST_PARAMETER_CAN_USE_MP11) using type = ::boost::mp11::mp_apply_q< typename Parameters::binding , ::boost::mp11::mp_list< Keyword , typename ::boost::parameter::aux::result_of0::type , ::boost::mp11::mp_false > >; #else typedef typename ::boost::mpl::apply_wrap3< typename Parameters::binding , Keyword , typename ::boost::parameter::aux::result_of0::type , ::boost::mpl::false_ >::type type; #endif // BOOST_PARAMETER_CAN_USE_MP11 }; }} // namespace boost::parameter #endif // include guard