summaryrefslogtreecommitdiff
path: root/boost/callable_traits/detail/function_object.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/callable_traits/detail/function_object.hpp')
-rw-r--r--boost/callable_traits/detail/function_object.hpp107
1 files changed, 107 insertions, 0 deletions
diff --git a/boost/callable_traits/detail/function_object.hpp b/boost/callable_traits/detail/function_object.hpp
new file mode 100644
index 0000000000..d12fc00e63
--- /dev/null
+++ b/boost/callable_traits/detail/function_object.hpp
@@ -0,0 +1,107 @@
+/*
+
+@Copyright Barrett Adair 2015-2017
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
+
+*/
+
+#ifndef BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP
+#define BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP
+
+#include <boost/callable_traits/detail/pmf.hpp>
+#include <boost/callable_traits/detail/default_callable_traits.hpp>
+#include <boost/callable_traits/detail/forward_declarations.hpp>
+#include <boost/callable_traits/detail/utility.hpp>
+
+namespace boost { namespace callable_traits { namespace detail {
+
+template<typename T, typename Base>
+struct function_object : Base {
+
+ using type = T;
+ using error_t = error_type<T>;
+ using function_type = typename Base::function_object_signature;
+ using arg_types = typename Base::non_invoke_arg_types;
+ using non_invoke_arg_types = arg_types;
+
+ static constexpr const bool value = std::is_class<
+ typename std::remove_reference<T>::type>::value;
+
+ using traits = function_object;
+ using class_type = error_t;
+ using invoke_type = error_t;
+ using remove_varargs = error_t;
+ using add_varargs = error_t;
+ using is_noexcept = typename Base::is_noexcept;
+ using add_noexcept = error_t;
+ using remove_noexcept = error_t;
+ using is_transaction_safe = typename Base::is_transaction_safe;
+ using add_transaction_safe = error_t;
+ using remove_transaction_safe = error_t;
+ using clear_args = error_t;
+
+ template<template<class...> class Container>
+ using expand_args = typename function<function_type>::template
+ expand_args<Container>;
+
+ template<template<class...> class Container, typename... RightArgs>
+ using expand_args_left = typename function<function_type>::template
+ expand_args_left<Container, RightArgs...>;
+
+ template<template<class...> class Container, typename... LeftArgs>
+ using expand_args_right = typename function<function_type>::template
+ expand_args_right<Container, LeftArgs...>;
+
+ template<typename C, typename U = T>
+ using apply_member_pointer =
+ typename std::remove_reference<U>::type C::*;
+
+ template<typename>
+ using apply_return = error_t;
+
+ template<typename...>
+ using push_front = error_t;
+
+ template<typename...>
+ using push_back = error_t;
+
+ template<std::size_t ElementCount>
+ using pop_args_front = error_t;
+
+ template<std::size_t ElementCount>
+ using pop_args_back = error_t;
+
+ template<std::size_t Index, typename... NewArgs>
+ using insert_args = error_t;
+
+ template<std::size_t Index, std::size_t Count>
+ using remove_args = error_t;
+
+ template<std::size_t Index, typename... NewArgs>
+ using replace_args = error_t;
+
+ template<std::size_t Count>
+ using pop_front = error_t;
+
+ template<std::size_t Count>
+ using pop_back = error_t;
+
+ using remove_member_reference = error_t;
+ using add_member_lvalue_reference = error_t;
+ using add_member_rvalue_reference = error_t;
+ using add_member_const = error_t;
+ using add_member_volatile = error_t;
+ using add_member_cv = error_t;
+ using remove_member_const = error_t;
+ using remove_member_volatile = error_t;
+ using remove_member_cv = error_t;
+};
+
+template<typename T, typename U, typename Base>
+struct function_object <T U::*, Base>
+ : default_callable_traits<> {};
+
+}}} // namespace boost::callable_traits::detail
+
+#endif // #ifndef BOOST_CLBL_TRTS_DETAIL_FUNCTION_OBJECT_HPP