2 Copyright (c) 2016 Modified Work Barrett Adair
4 Distributed under the Boost Software License, Version 1.0.
5 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
7 HEADER GUARDS INTENTIONALLY OMITTED
8 DO NOT INCLUDE THIS HEADER DIRECTLY
12 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE - the transaction_safe specifier for
13 the current include (`transaction_safe` or nothing)
15 BOOST_CLBL_TRTS_IS_TRANSACTION_SAFE - `std::true_type` or `std::false_type`,
16 tied on whether BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE is `transaction_safe`
18 BOOST_CLBL_TRTS_TRANSACTION_SAFE_SPECIFIER - `transaction_safe` when
19 BOOST_CLBL_TRTS_ENABLE_TRANSACTION_SAFE is enabled, otherwise nothing
21 BOOST_CLBL_TRTS_NOEXCEPT_SPEC - the noexcept specifier for
22 the current include (`noexcept` or nothing)
24 BOOST_CLBL_TRTS_IS_NOEXCEPT - `std::true_type` or `std::false_type`,
25 tied on whether BOOST_CLBL_TRTS_NOEXCEPT_SPEC is `noexcept`
27 BOOST_CLBL_TRTS_NOEXCEPT_SPECIFIER - `noexcept` if
28 BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES is defined, otherwise nothing
31 template<typename Return, typename... Args>
33 BOOST_CLBL_TRTS_ST Return(BOOST_CLBL_TRTS_CC *)(Args...)
34 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
35 BOOST_CLBL_TRTS_NOEXCEPT_SPEC>
36 : default_callable_traits<> {
38 static constexpr bool value = true;
40 using traits = function;
42 using return_type = Return;
44 using arg_types = std::tuple<Args...>;
45 using non_invoke_arg_types = arg_types;
47 using type = BOOST_CLBL_TRTS_ST Return(BOOST_CLBL_TRTS_CC *)(Args...)
48 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE;
50 using function_type = Return(Args...);
51 using qualified_function_type = function_type;
52 using remove_varargs = type;
55 BOOST_CLBL_TRTS_ST Return (BOOST_CLBL_TRTS_VARARGS_CC *)(Args..., ...)
56 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
57 BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
59 using is_noexcept = BOOST_CLBL_TRTS_IS_NOEXCEPT;
61 using remove_noexcept = Return(BOOST_CLBL_TRTS_CC *)(Args...)
62 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE;
64 using add_noexcept = Return(BOOST_CLBL_TRTS_CC *)(Args...)
65 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
66 BOOST_CLBL_TRTS_NOEXCEPT_SPECIFIER;
68 using is_transaction_safe = BOOST_CLBL_TRTS_IS_TRANSACTION_SAFE;
70 using remove_transaction_safe = Return(BOOST_CLBL_TRTS_CC *)(Args...)
71 BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
73 using add_transaction_safe = Return(BOOST_CLBL_TRTS_CC *)(Args...)
74 BOOST_CLBL_TRTS_TRANSACTION_SAFE_SPECIFIER
75 BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
78 using apply_member_pointer =
79 BOOST_CLBL_TRTS_ST Return(BOOST_CLBL_TRTS_CC U::*)(Args...)
80 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
81 BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
83 template<typename NewReturn>
85 BOOST_CLBL_TRTS_ST NewReturn(BOOST_CLBL_TRTS_CC *)(Args...)
86 BOOST_CLBL_TRTS_INCLUDE_TRANSACTION_SAFE
87 BOOST_CLBL_TRTS_NOEXCEPT_SPEC;
89 template<template<class...> class Container>
90 using expand_args = Container<Args...>;
92 using is_member_pointer = std::false_type;