1 /* Boost test/cmp_tribool.cpp
2 * test compare::tribool
3 *
4 * Copyright 2004 Guillaume Melquiond
5 *
6 * Distributed under the Boost Software License, Version 1.0.
7 * (See accompanying file LICENSE_1_0.txt or
8 * copy at http://www.boost.org/LICENSE_1_0.txt)
9 */
10
11 #include "cmp_header.hpp"
12 #include <boost/numeric/interval/compare/tribool.hpp>
13
14 using namespace boost::numeric::interval_lib::compare::tribool;
15
16 // comparisons between [1,2] and [3,4]
17
test_12_34()18 static void test_12_34() {
19 const I a(1,2), b(3,4);
20
21 BOOST_CHECK(a < b);
22 BOOST_CHECK(a <= b);
23 BOOST_CHECK(!(a > b));
24 BOOST_CHECK(!(a >= b));
25
26 BOOST_CHECK(b > a);
27 BOOST_CHECK(b >= a);
28 BOOST_CHECK(!(b < a));
29 BOOST_CHECK(!(b <= a));
30
31 BOOST_CHECK(!(a == b));
32 BOOST_CHECK(a != b);
33
34 # ifdef BOOST_BORLANDC
35 ::detail::ignore_unused_variable_warning(a);
36 ::detail::ignore_unused_variable_warning(b);
37 # endif
38 }
39
40 // comparisons between [1,3] and [2,4]
41
test_13_24()42 static void test_13_24() {
43 const I a(1,3), b(2,4);
44
45 BOOST_CHECK(indeterminate(a < b));
46 BOOST_CHECK(indeterminate(a <= b));
47 BOOST_CHECK(indeterminate(a > b));
48 BOOST_CHECK(indeterminate(a >= b));
49
50 BOOST_CHECK(indeterminate(b < a));
51 BOOST_CHECK(indeterminate(b <= a));
52 BOOST_CHECK(indeterminate(b > a));
53 BOOST_CHECK(indeterminate(b >= a));
54
55 BOOST_CHECK(indeterminate(a == b));
56 BOOST_CHECK(indeterminate(a != b));
57
58 # ifdef BOOST_BORLANDC
59 ::detail::ignore_unused_variable_warning(a);
60 ::detail::ignore_unused_variable_warning(b);
61 # endif
62 }
63
64 // comparisons between [1,2] and [2,3]
65
test_12_23()66 static void test_12_23() {
67 const I a(1,2), b(2,3);
68
69 BOOST_CHECK(indeterminate(a < b));
70 BOOST_CHECK(a <= b);
71 BOOST_CHECK(!(a > b));
72 BOOST_CHECK(indeterminate(a >= b));
73
74 BOOST_CHECK(!(b < a));
75 BOOST_CHECK(indeterminate(b <= a));
76 BOOST_CHECK(indeterminate(b > a));
77 BOOST_CHECK(b >= a);
78
79 BOOST_CHECK(indeterminate(a == b));
80 BOOST_CHECK(indeterminate(a != b));
81
82 # ifdef BOOST_BORLANDC
83 ::detail::ignore_unused_variable_warning(a);
84 ::detail::ignore_unused_variable_warning(b);
85 # endif
86 }
87
88 // comparisons between [1,2] and 0
89
test_12_0()90 static void test_12_0() {
91 const I a(1,2);
92 const int b = 0;
93
94 BOOST_CHECK(!(a < b));
95 BOOST_CHECK(!(a <= b));
96 BOOST_CHECK(a > b);
97 BOOST_CHECK(a >= b);
98
99 BOOST_CHECK(!(a == b));
100 BOOST_CHECK(a != b);
101
102 # ifdef BOOST_BORLANDC
103 ::detail::ignore_unused_variable_warning(a);
104 ::detail::ignore_unused_variable_warning(b);
105 # endif
106 }
107
108 // comparisons between [1,2] and 1
109
test_12_1()110 static void test_12_1() {
111 const I a(1,2);
112 const int b = 1;
113
114 BOOST_CHECK(!(a < b));
115 BOOST_CHECK(indeterminate(a <= b));
116 BOOST_CHECK(indeterminate(a > b));
117 BOOST_CHECK(a >= b);
118
119 BOOST_CHECK(indeterminate(a == b));
120 BOOST_CHECK(indeterminate(a != b));
121
122 # ifdef BOOST_BORLANDC
123 ::detail::ignore_unused_variable_warning(a);
124 ::detail::ignore_unused_variable_warning(b);
125 # endif
126 }
127
128 // comparisons between [1,2] and 2
129
test_12_2()130 static void test_12_2() {
131 const I a(1,2);
132 const int b = 2;
133
134 BOOST_CHECK(indeterminate(a < b));
135 BOOST_CHECK(a <= b);
136 BOOST_CHECK(!(a > b));
137 BOOST_CHECK(indeterminate(a >= b));
138
139 BOOST_CHECK(indeterminate(a == b));
140 BOOST_CHECK(indeterminate(a != b));
141
142 # ifdef BOOST_BORLANDC
143 ::detail::ignore_unused_variable_warning(a);
144 ::detail::ignore_unused_variable_warning(b);
145 # endif
146 }
147
148 // comparisons between [1,2] and 3
149
test_12_3()150 static void test_12_3() {
151 const I a(1,2);
152 const int b = 3;
153
154 BOOST_CHECK(a < b);
155 BOOST_CHECK(a <= b);
156 BOOST_CHECK(!(a > b));
157 BOOST_CHECK(!(a >= b));
158
159 BOOST_CHECK(!(a == b));
160 BOOST_CHECK(a != b);
161
162 # ifdef BOOST_BORLANDC
163 ::detail::ignore_unused_variable_warning(a);
164 ::detail::ignore_unused_variable_warning(b);
165 # endif
166 }
167
168 // comparisons between [1,2] and [1,2]
169
test_12_12()170 static void test_12_12() {
171 const I a(1,2), b(1,2);
172
173 BOOST_CHECK(indeterminate(a == b));
174 BOOST_CHECK(indeterminate(a != b));
175
176 # ifdef BOOST_BORLANDC
177 ::detail::ignore_unused_variable_warning(a);
178 ::detail::ignore_unused_variable_warning(b);
179 # endif
180 }
181
182 // comparisons between [1,1] and [1,1]
183
test_11_11()184 static void test_11_11() {
185 const I a(1,1), b(1,1);
186
187 BOOST_CHECK(a == b);
188 BOOST_CHECK(!(a != b));
189
190 # ifdef BOOST_BORLANDC
191 ::detail::ignore_unused_variable_warning(a);
192 ::detail::ignore_unused_variable_warning(b);
193 # endif
194 }
195
196 // comparisons between [1,1] and 1
197
test_11_1()198 static void test_11_1() {
199 const I a(1,1);
200 const int b = 1;
201
202 BOOST_CHECK(a == b);
203 BOOST_CHECK(!(a != b));
204
205 # ifdef BOOST_BORLANDC
206 ::detail::ignore_unused_variable_warning(a);
207 ::detail::ignore_unused_variable_warning(b);
208 # endif
209 }
210
test_main(int,char * [])211 int test_main(int, char *[]) {
212 test_12_34();
213 test_13_24();
214 test_12_23();
215 test_12_0();
216 test_12_1();
217 test_12_2();
218 test_12_3();
219 test_12_12();
220 test_11_11();
221 test_11_1();
222
223 return 0;
224 }
225