FM / traits

/usr/include/boost/asio/traits

Name	Size	Mode	Actions
bulk_execute_free.hpp	3292	0644	edit dl rm
bulk_execute_member.hpp	3335	0644	edit dl rm
connect_free.hpp	2941	0644	edit dl rm
connect_member.hpp	2984	0644	edit dl rm
equality_comparable.hpp	2731	0644	edit dl rm
execute_free.hpp	2765	0644	edit dl rm
execute_member.hpp	2806	0644	edit dl rm
prefer_free.hpp	2852	0644	edit dl rm
prefer_member.hpp	2893	0644	edit dl rm
query_free.hpp	2827	0644	edit dl rm
query_member.hpp	2868	0644	edit dl rm
query_static_constexpr_member.hpp	3246	0644	edit dl rm
require_concept_free.hpp	3077	0644	edit dl rm
require_concept_member.hpp	3118	0644	edit dl rm
require_free.hpp	2877	0644	edit dl rm
require_member.hpp	2918	0644	edit dl rm
schedule_free.hpp	2733	0644	edit dl rm
schedule_member.hpp	2782	0644	edit dl rm
set_done_free.hpp	2733	0644	edit dl rm
set_done_member.hpp	2782	0644	edit dl rm
set_error_free.hpp	2993	0644	edit dl rm
set_error_member.hpp	3036	0644	edit dl rm
set_value_free.hpp	7662	0644	edit dl rm
set_value_member.hpp	7731	0644	edit dl rm
start_free.hpp	2655	0644	edit dl rm
start_member.hpp	2704	0644	edit dl rm
static_query.hpp	3067	0644	edit dl rm
static_require.hpp	3337	0644	edit dl rm
static_require_concept.hpp	3511	0644	edit dl rm
submit_free.hpp	2915	0644	edit dl rm
submit_member.hpp	2958	0644	edit dl rm

Edit: /usr/include/boost/asio/traits/static_require_concept.hpp (3511B)

#ifndef BOOST_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP
#define BOOST_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP

#if defined(_MSC_VER) && (_MSC_VER >= 1200)
# pragma once
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)

#include <boost/asio/detail/config.hpp>
#include <boost/asio/detail/type_traits.hpp>
#include <boost/asio/traits/static_query.hpp>

#if defined(BOOST_ASIO_HAS_DECLTYPE) \
  && defined(BOOST_ASIO_HAS_NOEXCEPT)
# define BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT 1
#endif // defined(BOOST_ASIO_HAS_DECLTYPE)
       //   && defined(BOOST_ASIO_HAS_NOEXCEPT)

#include <boost/asio/detail/push_options.hpp>

namespace boost {
namespace asio {
namespace traits {

template <typename T, typename Property, typename = void>
struct static_require_concept_default;

template <typename T, typename Property, typename = void>
struct static_require_concept;

} // namespace traits
namespace detail {

struct no_static_require_concept
{
  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = false);
};

template <typename T, typename Property, typename = void>
struct static_require_concept_trait :
  conditional<
    is_same<T, typename decay<T>::type>::value
      && is_same<Property, typename decay<Property>::type>::value,
    no_static_require_concept,
    traits::static_require_concept<
      typename decay<T>::type,
      typename decay<Property>::type>
  >::type
{
};

#if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT)

#if defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)

template <typename T, typename Property>
struct static_require_concept_trait<T, Property,
  typename enable_if<
    decay<Property>::type::value() == traits::static_query<T, Property>::value()
  >::type>
{
  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
};

#else // defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)

false_type static_require_concept_test(...);

template <typename T, typename Property>
true_type static_require_concept_test(T*, Property*,
    typename enable_if<
      Property::value() == traits::static_query<T, Property>::value()
    >::type* = 0);

template <typename T, typename Property>
struct has_static_require_concept
{
  BOOST_ASIO_STATIC_CONSTEXPR(bool, value =
    decltype((static_require_concept_test)(
      static_cast<T*>(0), static_cast<Property*>(0)))::value);
};

template <typename T, typename Property>
struct static_require_concept_trait<T, Property,
  typename enable_if<
    has_static_require_concept<T, typename decay<Property>::type>::value
  >::type>
{
  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
};

#endif // defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)

#endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT)

} // namespace detail
namespace traits {

template <typename T, typename Property, typename>
struct static_require_concept_default :
  detail::static_require_concept_trait<T, Property>
{
};

template <typename T, typename Property, typename>
struct static_require_concept : static_require_concept_default<T, Property>
{
};

} // namespace traits
} // namespace asio
} // namespace boost

#include <boost/asio/detail/pop_options.hpp>

#endif // BOOST_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP

// // traits/static_require_concept.hpp // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ // // Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com) // // 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_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP #define BOOST_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP #if defined(_MSC_VER) && (_MSC_VER >= 1200) # pragma once #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) #include #include #include #if defined(BOOST_ASIO_HAS_DECLTYPE) \ && defined(BOOST_ASIO_HAS_NOEXCEPT) # define BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT 1 #endif // defined(BOOST_ASIO_HAS_DECLTYPE) // && defined(BOOST_ASIO_HAS_NOEXCEPT) #include namespace boost { namespace asio { namespace traits { template struct static_require_concept_default; template struct static_require_concept; } // namespace traits namespace detail { struct no_static_require_concept { BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = false); }; template struct static_require_concept_trait : conditional< is_same::type>::value && is_same::type>::value, no_static_require_concept, traits::static_require_concept< typename decay::type, typename decay::type> >::type { }; #if defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT) #if defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE) template struct static_require_concept_trait::type::value() == traits::static_query::value() >::type> { BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); }; #else // defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE) false_type static_require_concept_test(...); template true_type static_require_concept_test(T*, Property*, typename enable_if< Property::value() == traits::static_query::value() >::type* = 0); template struct has_static_require_concept { BOOST_ASIO_STATIC_CONSTEXPR(bool, value = decltype((static_require_concept_test)( static_cast(0), static_cast(0)))::value); }; template struct static_require_concept_trait::type>::value >::type> { BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); }; #endif // defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE) #endif // defined(BOOST_ASIO_HAS_DEDUCED_STATIC_REQUIRE_CONCEPT_TRAIT) } // namespace detail namespace traits { template struct static_require_concept_default : detail::static_require_concept_trait { }; template struct static_require_concept : static_require_concept_default { }; } // namespace traits } // namespace asio } // namespace boost #include #endif // BOOST_ASIO_TRAITS_STATIC_REQUIRE_CONCEPT_HPP