summaryrefslogtreecommitdiff
path: root/boost/hof/detail/pp.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/hof/detail/pp.hpp')
-rw-r--r--boost/hof/detail/pp.hpp93
1 files changed, 93 insertions, 0 deletions
diff --git a/boost/hof/detail/pp.hpp b/boost/hof/detail/pp.hpp
new file mode 100644
index 0000000000..20bc7a960e
--- /dev/null
+++ b/boost/hof/detail/pp.hpp
@@ -0,0 +1,93 @@
+/*=============================================================================
+ Copyright (c) 2014 Paul Fultz II
+ pp.h
+ 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_HOF_GUARD_PP_H
+#define BOOST_HOF_GUARD_PP_H
+
+#define BOOST_HOF_PP_CAT(x, y) BOOST_HOF_PP_PRIMITIVE_CAT(x, y)
+#define BOOST_HOF_PP_PRIMITIVE_CAT(x, y) x ## y
+
+#define BOOST_HOF_PP_SEQ_ITERATE(...) BOOST_HOF_PP_PRIMITIVE_SEQ_ITERATE(__VA_ARGS__)
+#define BOOST_HOF_PP_PRIMITIVE_SEQ_ITERATE(...) __VA_ARGS__ ## _END
+
+//
+// BOOST_HOF_PP_NARGS returns the number of args in __VA_ARGS__
+//
+#define BOOST_HOF_PP_NARGS(...) \
+ BOOST_HOF_PP_DETAIL_NARG((__VA_ARGS__,BOOST_HOF_PP_DETAIL_RSEQ_N()))
+
+#define BOOST_HOF_PP_DETAIL_NARG(args) \
+ BOOST_HOF_PP_DETAIL_ARG_N args
+
+#define BOOST_HOF_PP_DETAIL_ARG_N( \
+ _1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \
+ _11,_12,_13,_14,_15,_16,_17,_18,_19,_20, \
+ _21,_22,_23,_24,_25,_26,_27,_28,_29,_30, \
+ _31,_32,_33,_34,_35,_36,_37,_38,_39,_40, \
+ _41,_42,_43,_44,_45,_46,_47,_48,_49,_50, \
+ _51,_52,_53,_54,_55,_56,_57,_58,_59,_60, \
+ _61,_62,_63,N,...) N
+#define BOOST_HOF_PP_DETAIL_RSEQ_N() \
+ 63,62,61,60, \
+ 59,58,57,56,55,54,53,52,51,50, \
+ 49,48,47,46,45,44,43,42,41,40, \
+ 39,38,37,36,35,34,33,32,31,30, \
+ 29,28,27,26,25,24,23,22,21,20, \
+ 19,18,17,16,15,14,13,12,11,10, \
+ 9,8,7,6,5,4,3,2,1,0
+
+
+//
+// BOOST_HOF_PP_IS_PAREN is used to detect if the first token is a parenthesis.
+// It expands to 1 if it is, otherwise it expands to 0.
+//
+#define BOOST_HOF_PP_IS_PAREN(x) BOOST_HOF_PP_IS_PAREN_CHECK(BOOST_HOF_PP_IS_PAREN_PROBE x)
+#define BOOST_HOF_PP_IS_PAREN_CHECK(...) BOOST_HOF_PP_IS_PAREN_CHECK_N(__VA_ARGS__,0)
+#define BOOST_HOF_PP_IS_PAREN_PROBE(...) ~, 1,
+#ifndef _MSC_VER
+#define BOOST_HOF_PP_IS_PAREN_CHECK_N(x, n, ...) n
+#else
+// MSVC workarounds
+#define BOOST_HOF_PP_IS_PAREN_CHECK_RES(x) x
+#define BOOST_HOF_PP_IS_PAREN_CHECK_II(x, n, ...) n
+#define BOOST_HOF_PP_IS_PAREN_CHECK_I(x) BOOST_HOF_PP_IS_PAREN_CHECK_RES(BOOST_HOF_PP_IS_PAREN_CHECK_II x)
+#define BOOST_HOF_PP_IS_PAREN_CHECK_N(...) BOOST_HOF_PP_IS_PAREN_CHECK_I((__VA_ARGS__))
+#endif
+
+//
+// BOOST_HOF_PP_IS_1 is used to detect if the first token is a 1.
+// It expands to 1 if it is, otherwise it expands to 0.
+//
+#define BOOST_HOF_PP_IS_1(x) BOOST_HOF_PP_IS_PAREN(BOOST_HOF_PP_CAT(BOOST_HOF_PP_IS_1_PROBE_, x))
+#define BOOST_HOF_PP_IS_1_PROBE_1 ()
+
+#define BOOST_HOF_PP_ARGS_IS_SINGLE(...) BOOST_HOF_PP_IS_1(BOOST_HOF_PP_NARGS(__VA_ARGS__))
+
+#define BOOST_HOF_PP_EMPTY(...)
+#define BOOST_HOF_PP_DEFER(...) __VA_ARGS__ BOOST_HOF_PP_EMPTY()
+#define BOOST_HOF_PP_OBSTRUCT(...) __VA_ARGS__ BOOST_HOF_PP_DEFER(BOOST_HOF_PP_EMPTY)()
+#define BOOST_HOF_PP_EXPAND(...) __VA_ARGS__
+
+#define BOOST_HOF_PP_IIF(c) BOOST_HOF_PP_PRIMITIVE_CAT(BOOST_HOF_PP_IIF_, c)
+#define BOOST_HOF_PP_IIF_0(t, ...) __VA_ARGS__
+#define BOOST_HOF_PP_IIF_1(t, ...) t
+
+#define BOOST_HOF_PP_WALL(...) __VA_ARGS__
+
+#define BOOST_HOF_PP_RAIL_IIF(c) BOOST_HOF_PP_PRIMITIVE_CAT(BOOST_HOF_PP_RAIL_IIF_, c)
+#define BOOST_HOF_PP_RAIL_IIF_0(t, ...) __VA_ARGS__
+#define BOOST_HOF_PP_RAIL_IIF_1(t, ...) t
+
+#define BOOST_HOF_PP_RAIL(macro) \
+ BOOST_HOF_PP_RAIL_IIF(BOOST_HOF_PP_IS_PAREN(BOOST_HOF_PP_WALL(())))( \
+ BOOST_HOF_PP_RAIL_ID BOOST_HOF_PP_OBSTRUCT()()(macro), \
+ macro BOOST_HOF_PP_OBSTRUCT() \
+ )
+
+#define BOOST_HOF_PP_RAIL_ID() BOOST_HOF_PP_RAIL
+
+#endif