1 // Boost.Geometry (aka GGL, Generic Geometry Library)
2 // Unit Test
3
4 // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
5 // Copyright (c) 2008-2012 Bruno Lalande, Paris, France.
6 // Copyright (c) 2009-2012 Mateusz Loskot, London, UK.
7
8 // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library
9 // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands.
10
11 // Use, modification and distribution is subject to the Boost Software License,
12 // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
13 // http://www.boost.org/LICENSE_1_0.txt)
14
15
16 #include <boost/test/included/test_exec_monitor.hpp>
17 #include <boost/geometry/util/compress_variant.hpp>
18 #include <boost/mpl/assert.hpp>
19 #include <boost/mpl/equal.hpp>
20 #include <boost/mpl/vector.hpp>
21 #include <boost/type_traits/is_same.hpp>
22 #include <boost/variant/variant.hpp>
23
24
25 template <typename ExpectedTypes, BOOST_VARIANT_ENUM_PARAMS(typename T)>
check_variant_types(boost::variant<BOOST_VARIANT_ENUM_PARAMS (T)>)26 void check_variant_types(boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>)
27 {
28 BOOST_MPL_ASSERT((
29 boost::mpl::equal<
30 typename boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>::types,
31 ExpectedTypes
32 >
33 ));
34 }
35
36 template <typename Variant, typename ExpectedTypes>
test_variant_result()37 void test_variant_result()
38 {
39 check_variant_types<ExpectedTypes>(typename boost::geometry::compress_variant<Variant>::type());
40 }
41
42 template <typename Variant, typename ExpectedType>
test_single_type_result()43 void test_single_type_result()
44 {
45 BOOST_MPL_ASSERT((
46 boost::is_same<
47 typename boost::geometry::compress_variant<Variant>::type,
48 ExpectedType
49 >
50 ));
51 }
52
53
test_main(int,char * [])54 int test_main(int, char* [])
55 {
56 test_variant_result<
57 boost::variant<int, float, double>,
58 boost::mpl::vector<int, float, double>
59 >();
60
61 test_variant_result<
62 boost::variant<int, float, double, int, int, float, double, double, float>,
63 boost::mpl::vector<int, double, float>
64 >();
65
66 test_single_type_result<
67 boost::variant<int>,
68 int
69 >();
70
71 test_single_type_result<
72 boost::variant<double, double, double, double, double>,
73 double
74 >();
75
76 return 0;
77 }
78