Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

source: downloads/boost_1_34_1/libs/numeric/interval/test/cmp_tribool.cpp @ 29

Last change on this file since 29 was 29, checked in by landauf, 17 years ago

updated boost from 1_33_1 to 1_34_1
File size: 4.5 KB
Line 
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
14using namespace boost::numeric::interval_lib::compare::tribool;
15
16// comparisons between [1,2] and [3,4]
17
18static 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 __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
42static 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 __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
66static 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 __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
90static 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 __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
110static 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 __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
130static 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 __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
150static 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 __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
170static 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 __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
184static 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 __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
198static 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 __BORLANDC__
206  ::detail::ignore_unused_variable_warning(a);
207  ::detail::ignore_unused_variable_warning(b);
208# endif
209}
210
211int 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}
Note: See TracBrowser for help on using the repository browser.