/usr/include/boost/parameter
Edit: /usr/include/boost/parameter/required.hpp (1834B)
// Copyright David Abrahams, Daniel Wallin 2003.
// 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_REQUIRED_HPP
#define BOOST_PARAMETER_REQUIRED_HPP
#include
namespace boost { namespace parameter {
// This metafunction can be used to describe the treatment of particular
// named parameters for the purposes of overload elimination with SFINAE,
// by placing specializations in the parameters<...> list. In order for
// a treated function to participate in overload resolution:
//
// - all keyword tags wrapped in required<...> must have a matching
// actual argument
//
// - The actual argument type matched by every keyword tag
// associated with a predicate must satisfy that predicate
template <
typename Tag
, typename Predicate = ::boost::parameter::aux::use_default
>
struct required
{
typedef Tag key_type;
typedef Predicate predicate;
};
}}
#include
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
#include
#else
#include
#endif
namespace boost { namespace parameter { namespace aux {
template
struct is_required
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
: ::boost::mp11::mp_false
#else
: ::boost::mpl::false_
#endif
{
};
template
struct is_required< ::boost::parameter::required >
#if defined(BOOST_PARAMETER_CAN_USE_MP11)
: ::boost::mp11::mp_true
#else
: ::boost::mpl::true_
#endif
{
};
}}} // namespace boost::parameter::aux
#endif // include guard