1 /*-----------------------------------------------------------------------------+
2 Copyright (c) 2008-2009: Joachim Faulhaber
3 +------------------------------------------------------------------------------+
4 Distributed under the Boost Software License, Version 1.0.
5 (See accompanying file LICENCE.txt or copy at
6 http://www.boost.org/LICENSE_1_0.txt)
7 +-----------------------------------------------------------------------------*/
8 #define BOOST_TEST_MODULE icl::test_doc_code unit test
9 #include <libs/icl/test/disable_test_warnings.hpp>
10
11 #include <limits>
12 #include <complex>
13
14
15 #include <string>
16 #include <vector>
17 #include <boost/mpl/list.hpp>
18 #include "../unit_test_unwarned.hpp"
19
20
21 // interval instance types
22 #include "../test_type_lists.hpp"
23 #include "../test_value_maker.hpp"
24
25 #include <boost/type_traits/is_same.hpp>
26
27
28 #define BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS
29 #define BOOST_ICL_DISCRETE_STATIC_INTERVAL_DEFAULT right_open_interval
30 #define BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS 2 //0=() 1=(] 2=[) 3=[]
31
32 #include <boost/icl/rational.hpp>
33
34 #include <boost/icl/detail/interval_morphism.hpp>
35 #include <boost/icl/interval_map.hpp>
36 #include "../test_laws.hpp"
37
38 using namespace std;
39 using namespace boost;
40 using namespace unit_test;
41 using namespace boost::icl;
42
43
BOOST_AUTO_TEST_CASE(test_intervals_4_changed_lib_defaults)44 BOOST_AUTO_TEST_CASE(test_intervals_4_changed_lib_defaults)
45 {
46
47 #if defined(BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS) && !defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_DEFAULT)
48 BOOST_CHECK( (boost::is_same<icl::interval<int >::type, right_open_interval<int > >::value) );
49 BOOST_CHECK( (boost::is_same<icl::interval<double>::type, right_open_interval<double> >::value) );
50
51 BOOST_CHECK_EQUAL( icl::interval<int>::open(0,2), icl::construct<right_open_interval<int> >(1,2) );
52 BOOST_CHECK_EQUAL( icl::interval<int>::left_open(0,1), icl::construct<right_open_interval<int> >(1,2) );
53 BOOST_CHECK_EQUAL( icl::interval<int>::right_open(1,2), icl::construct<right_open_interval<int> >(1,2) );
54 BOOST_CHECK_EQUAL( icl::interval<int>::closed(1,1), icl::construct<right_open_interval<int> >(1,2) );
55
56 BOOST_CHECK_EQUAL( icl::interval<float>::right_open(1.0,2.0), icl::construct<right_open_interval<float> >(1.0,2.0) );
57 //The next yields compiletime error: STATIC_ASSERTION_FAILURE
58 //BOOST_CHECK_EQUAL( icl::interval<float>::left_open(1.0,2.0), icl::construct<right_open_interval<float> >(1.0,2.0) );
59 #endif
60
61 #if defined(BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS) && defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_DEFAULT)
62 # if defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS) && (BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS == 0)
63 cout << "discrete_interval == open_interval\n";
64 BOOST_CHECK( (boost::is_same<icl::interval<int>::type, open_interval<int> >::value) );
65 BOOST_CHECK_EQUAL( icl::interval<int>::open(0,2), icl::construct<open_interval<int> >(0,2) );
66 BOOST_CHECK_EQUAL( icl::interval<int>::left_open(0,1), icl::construct<open_interval<int> >(0,2) );
67 BOOST_CHECK_EQUAL( icl::interval<int>::right_open(1,2), icl::construct<open_interval<int> >(0,2) );
68 BOOST_CHECK_EQUAL( icl::interval<int>::closed(1,1), icl::construct<open_interval<int> >(0,2) );
69
70 # elif defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS) && (BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS == 1)
71 cout << "discrete_interval == left_open_interval\n";
72 BOOST_CHECK( (boost::is_same<icl::interval<int>::type, left_open_interval<int> >::value) );
73 BOOST_CHECK_EQUAL( icl::interval<int>::open(0,2), icl::construct<left_open_interval<int> >(0,1) );
74 BOOST_CHECK_EQUAL( icl::interval<int>::left_open(0,1), icl::construct<left_open_interval<int> >(0,1) );
75 BOOST_CHECK_EQUAL( icl::interval<int>::right_open(1,2), icl::construct<left_open_interval<int> >(0,1) );
76 BOOST_CHECK_EQUAL( icl::interval<int>::closed(1,1), icl::construct<left_open_interval<int> >(0,1) );
77
78 # elif defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS) && (BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS == 2)
79 cout << "discrete_interval == right_open_interval\n";
80 BOOST_CHECK( (boost::is_same<icl::interval<int>::type, right_open_interval<int> >::value) );
81 BOOST_CHECK_EQUAL( icl::interval<int>::open(0,2), icl::construct<right_open_interval<int> >(1,2) );
82 BOOST_CHECK_EQUAL( icl::interval<int>::left_open(0,1), icl::construct<right_open_interval<int> >(1,2) );
83 BOOST_CHECK_EQUAL( icl::interval<int>::right_open(1,2), icl::construct<right_open_interval<int> >(1,2) );
84 BOOST_CHECK_EQUAL( icl::interval<int>::closed(1,1), icl::construct<right_open_interval<int> >(1,2) );
85
86 # elif defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS) && (BOOST_ICL_DISCRETE_STATIC_INTERVAL_BORDERS == 3)
87 cout << "discrete_interval == closed_interval\n";
88 BOOST_CHECK( (boost::is_same<icl::interval<int>::type, closed_interval<int> >::value) );
89 BOOST_CHECK_EQUAL( icl::interval<int>::open(0,2), icl::construct<closed_interval<int> >(1,1) );
90 BOOST_CHECK_EQUAL( icl::interval<int>::left_open(0,1), icl::construct<closed_interval<int> >(1,1) );
91 BOOST_CHECK_EQUAL( icl::interval<int>::right_open(1,2), icl::construct<closed_interval<int> >(1,1) );
92 BOOST_CHECK_EQUAL( icl::interval<int>::closed(1,1), icl::construct<closed_interval<int> >(1,1) );
93
94 # else
95 cout << "#else part, INTERVAL_BORDERS not in {0,1,2,3}\n";
96 #endif //defined(BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS) && defined(BOOST_ICL_DISCRETE_STATIC_INTERVAL_DEFAULT)
97
98 #else
99 BOOST_CHECK( (boost::is_same<icl::interval<int >::type, discrete_interval<int > >::value) );
100 BOOST_CHECK( (boost::is_same<icl::interval<double>::type, continuous_interval<double> >::value) );
101 #endif
102
103 }
104