123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124 |
- // (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).
- #include <boost/vmd/elem.hpp>
- #include <boost/vmd/is_array.hpp>
- #include <boost/vmd/is_list.hpp>
- #include <boost/vmd/is_seq.hpp>
- #include <boost/vmd/is_tuple.hpp>
- #include <boost/vmd/is_empty_array.hpp>
- #include <boost/vmd/is_empty_list.hpp>
- #include <boost/vmd/is_parens_empty.hpp>
- #include <boost/detail/lightweight_test.hpp>
- int main()
- {
-
- #if BOOST_PP_VARIADICS
-
- #define ANARRAY (3,(a,b,c))
- #define ALIST (a,(b,(c,BOOST_PP_NIL)))
- #define ATUPLE (a,b,c)
- #define ASEQ (a)(b)(c)
-
- BOOST_TEST(BOOST_VMD_IS_TUPLE(ANARRAY));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(ALIST));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(ATUPLE));
- BOOST_TEST(!BOOST_VMD_IS_TUPLE(ASEQ));
-
- #define ALIST1 (2,(3,BOOST_PP_NIL))
- #define ALIST2 (2,(3,(4,BOOST_PP_NIL)))
- #define ALIST3 (2,BOOST_PP_NIL)
-
- BOOST_TEST(BOOST_VMD_IS_LIST(ALIST1));
- BOOST_TEST(BOOST_VMD_IS_LIST(ALIST2));
- BOOST_TEST(BOOST_VMD_IS_LIST(ALIST3));
- BOOST_TEST(BOOST_VMD_IS_ARRAY(ALIST1));
- BOOST_TEST(BOOST_VMD_IS_ARRAY(ALIST2));
- BOOST_TEST(!BOOST_VMD_IS_ARRAY(ALIST3));
-
- #define ASE_TUPLE (a)
-
- BOOST_TEST(BOOST_VMD_IS_TUPLE(ASE_TUPLE));
- BOOST_TEST(BOOST_VMD_IS_SEQ(ASE_TUPLE));
-
- #define A_TUPLE2 (&anything,(1,2))
-
- BOOST_TEST(BOOST_VMD_IS_TUPLE(A_TUPLE2));
- // BOOST_VMD_IS_ARRAY(A_TUPLE2) will give a preprocessing error due to the constraint
-
- #define A_TUPLE3 (element,&anything)
- BOOST_TEST(BOOST_VMD_IS_TUPLE(A_TUPLE3));
- // BOOST_VMD_IS_LIST(A_TUPLE3) will give a preprocessing error due to the constraint
-
- // #define A_BAD_EMPTY_LIST &BOOST_PP_NIL
- // BOOST_VMD_IS_LIST(A_BAD_EMPTY_LIST) will give a preprocessing error due to the constraint
- // BOOST_VMD_IS_IDENTIFIER(A_BAD_EMPTY_LIST) will give a preprocessing error due to the constraint
-
- #define ST_DATA (somedata)(some_other_data)
-
- BOOST_TEST(BOOST_VMD_IS_SEQ(ST_DATA));
- BOOST_TEST(!BOOST_VMD_IS_TUPLE(ST_DATA));
-
- #define ST_DATA2 (somedata)(element1,element2)
- #define ST_DATA3 (element1,element2)(somedata)
- #define ST_DATA4 (somedata)(some_other_data)(element1,element2)
-
- BOOST_TEST(BOOST_VMD_IS_TUPLE(BOOST_VMD_ELEM(0,ST_DATA2)));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(BOOST_VMD_ELEM(1,ST_DATA2)));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(BOOST_VMD_ELEM(0,ST_DATA3)));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(BOOST_VMD_ELEM(1,ST_DATA3)));
- BOOST_TEST(BOOST_VMD_IS_SEQ(BOOST_VMD_ELEM(0,ST_DATA4)));
- BOOST_TEST(BOOST_VMD_IS_TUPLE(BOOST_VMD_ELEM(1,ST_DATA4)));
-
- #define AN_ARRAY (1,(1))
- #define AN_EMPTY_ARRAY (0,())
-
- BOOST_TEST(BOOST_VMD_IS_ARRAY(AN_ARRAY));
- BOOST_TEST(BOOST_VMD_IS_ARRAY(AN_EMPTY_ARRAY));
-
- BOOST_TEST(BOOST_VMD_IS_EMPTY_ARRAY(AN_EMPTY_ARRAY));
- BOOST_TEST(!BOOST_VMD_IS_EMPTY_ARRAY());
- BOOST_TEST(!BOOST_VMD_IS_EMPTY_ARRAY(AN_ARRAY));
-
- #define A_LIST (1,BOOST_PP_NIL)
- #define AN_EMPTY_LIST BOOST_PP_NIL
-
- BOOST_TEST(BOOST_VMD_IS_LIST(A_LIST));
- BOOST_TEST(BOOST_VMD_IS_LIST(AN_EMPTY_LIST));
-
- BOOST_TEST(BOOST_VMD_IS_EMPTY_LIST(AN_EMPTY_LIST));
- BOOST_TEST(!BOOST_VMD_IS_EMPTY_LIST());
- BOOST_TEST(!BOOST_VMD_IS_EMPTY_LIST(A_LIST));
-
- #if !BOOST_VMD_MSVC_V8
-
- #define EMPTY_PARENS ()
-
- BOOST_TEST(BOOST_VMD_IS_TUPLE(EMPTY_PARENS));
- BOOST_TEST(BOOST_VMD_IS_SEQ(EMPTY_PARENS));
- BOOST_TEST(BOOST_VMD_IS_PARENS_EMPTY(EMPTY_PARENS));
-
- #endif
-
- #define TUPLE (0)
- #define SEQ (0)(1)
-
- BOOST_TEST(!BOOST_VMD_IS_PARENS_EMPTY());
- BOOST_TEST(!BOOST_VMD_IS_PARENS_EMPTY(TUPLE));
- BOOST_TEST(!BOOST_VMD_IS_PARENS_EMPTY(SEQ));
-
- #else
- BOOST_ERROR("No variadic macro support");
-
- #endif
- return boost::report_errors();
-
- }
|