diff options
Diffstat (limited to 'boost/vmd/detail/is_list.hpp')
-rw-r--r-- | boost/vmd/detail/is_list.hpp | 207 |
1 files changed, 207 insertions, 0 deletions
diff --git a/boost/vmd/detail/is_list.hpp b/boost/vmd/detail/is_list.hpp new file mode 100644 index 0000000000..0a99499a85 --- /dev/null +++ b/boost/vmd/detail/is_list.hpp @@ -0,0 +1,207 @@ + +// (C) Copyright Edward Diener 2011-2015 +// Use, modification and distribution are subject to 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). + +#if !defined(BOOST_VMD_DETAIL_IS_LIST_HPP) +#define BOOST_VMD_DETAIL_IS_LIST_HPP + +#include <boost/preprocessor/cat.hpp> +#include <boost/preprocessor/comparison/equal.hpp> +#include <boost/preprocessor/control/iif.hpp> +#include <boost/preprocessor/control/while.hpp> +#include <boost/preprocessor/debug/assert.hpp> +#include <boost/preprocessor/facilities/empty.hpp> +#include <boost/preprocessor/logical/bitor.hpp> +#include <boost/preprocessor/logical/compl.hpp> +#include <boost/preprocessor/punctuation/is_begin_parens.hpp> +#include <boost/preprocessor/tuple/elem.hpp> +#include <boost/preprocessor/tuple/size.hpp> +#include <boost/preprocessor/variadic/elem.hpp> +#include <boost/preprocessor/variadic/size.hpp> +#include <boost/vmd/identity.hpp> +#include <boost/vmd/is_empty.hpp> +#include <boost/vmd/is_identifier.hpp> +#include <boost/vmd/is_tuple.hpp> +#include <boost/vmd/detail/nil_registration.hpp> + +#define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE(d,x) \ + BOOST_PP_IIF \ + ( \ + BOOST_VMD_IS_TUPLE(x), \ + BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE, \ + BOOST_VMD_DETAIL_IS_LIST_ASSERT \ + ) \ + (d,x) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE_SIZE(d,x) \ + BOOST_PP_IIF \ + ( \ + BOOST_PP_EQUAL_D(d,2,BOOST_PP_TUPLE_SIZE(x)), \ + BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND, \ + BOOST_VMD_DETAIL_IS_LIST_ASSERT \ + ) \ + (x) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_PRED(d,state) \ + BOOST_VMD_IDENTITY_RESULT \ + ( \ + BOOST_PP_IIF \ + ( \ + BOOST_PP_IS_BEGIN_PARENS(state), \ + BOOST_VMD_IDENTITY(1), \ + BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL \ + ) \ + (state) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_OP(d,state) \ + BOOST_PP_IIF \ + ( \ + BOOST_PP_IS_BEGIN_PARENS(state), \ + BOOST_VMD_DETAIL_IS_LIST_PROCESS_TUPLE, \ + BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL \ + ) \ + (d,state) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_PROCESS_IF_BOOST_PP_NIL(d,x) \ + BOOST_PP_IIF \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \ + BOOST_PP_NIL, \ + BOOST_VMD_IS_LIST_FAILURE \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_ASSERT(...) \ + BOOST_VMD_IS_LIST_FAILURE \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_NOT_BOOST_PP_NIL(x) \ + BOOST_PP_COMPL \ + ( \ + BOOST_PP_BITOR \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x), \ + BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ + ) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_BOOST_PP_NIL(x) \ + BOOST_VMD_IS_EMPTY \ + ( \ + BOOST_PP_CAT \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_, \ + x \ + ) BOOST_PP_EMPTY() \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_NIL_HELPER_BOOST_PP_NIL + +#define BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ + BOOST_VMD_IS_EMPTY \ + ( \ + BOOST_PP_CAT(BOOST_VMD_DETAIL_IS_LIST_FHELPER_,x) BOOST_PP_EMPTY() \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_FHELPER_BOOST_VMD_IS_LIST_FAILURE + +#define BOOST_VMD_DETAIL_IS_LIST_RETURN_SECOND(x) \ + BOOST_PP_TUPLE_ELEM(1,x) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_RESULT(x) \ + BOOST_PP_COMPL \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_IS_FAILURE(x) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_WLOOP(list) \ + BOOST_VMD_DETAIL_IS_LIST_RESULT \ + ( \ + BOOST_PP_WHILE \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_PRED, \ + BOOST_VMD_DETAIL_IS_LIST_OP, \ + list \ + ) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,list) \ + BOOST_VMD_DETAIL_IS_LIST_RESULT \ + ( \ + BOOST_PP_WHILE_ ## d \ + ( \ + BOOST_VMD_DETAIL_IS_LIST_PRED, \ + BOOST_VMD_DETAIL_IS_LIST_OP, \ + list \ + ) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS(list) \ + BOOST_VMD_IS_IDENTIFIER(list,BOOST_PP_NIL) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D(d,list) \ + BOOST_VMD_IS_IDENTIFIER_D(d,list,BOOST_PP_NIL) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_PROCESS(param) \ + BOOST_PP_IIF \ + ( \ + BOOST_PP_IS_BEGIN_PARENS(param), \ + BOOST_VMD_DETAIL_IS_LIST_WLOOP, \ + BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS \ + ) \ + (param) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST(param) \ + BOOST_VMD_IDENTITY_RESULT \ + ( \ + BOOST_PP_IIF \ + ( \ + BOOST_VMD_IS_EMPTY(param), \ + BOOST_VMD_IDENTITY(0), \ + BOOST_VMD_DETAIL_IS_LIST_PROCESS \ + ) \ + (param) \ + ) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_PROCESS_D(d,param) \ + BOOST_PP_IIF \ + ( \ + BOOST_PP_IS_BEGIN_PARENS(param), \ + BOOST_VMD_DETAIL_IS_LIST_WLOOP_D, \ + BOOST_VMD_DETAIL_IS_LIST_IS_EMPTY_LIST_PROCESS_D \ + ) \ + (d,param) \ +/**/ + +#define BOOST_VMD_DETAIL_IS_LIST_D(d,param) \ + BOOST_VMD_IDENTITY_RESULT \ + ( \ + BOOST_PP_IIF \ + ( \ + BOOST_VMD_IS_EMPTY(param), \ + BOOST_VMD_IDENTITY(0), \ + BOOST_VMD_DETAIL_IS_LIST_PROCESS_D \ + ) \ + (d,param) \ + ) \ +/**/ + +#endif /* BOOST_VMD_DETAIL_IS_LIST_HPP */ |