Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

source: downloads/boost_1_33_1/libs/numeric/interval/test/cmp_set.cpp @ 12

Last change on this file since 12 was 12, checked in by landauf, 18 years ago

added boost
File size: 4.2 KB
Line 
1/* Boost test/cmp_set.cpp
2 * test compare::set
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
13using namespace boost::numeric::interval_lib::compare::set;
14
15// comparisons between [1,2] and [3,4]
16
17static void test_12_34() {
18  const I a(1,2), b(3,4);
19
20  BOOST_CHECK(!(a < b));
21  BOOST_CHECK(!(a <= b));
22  BOOST_CHECK(!(a > b));
23  BOOST_CHECK(!(a >= b));
24
25  BOOST_CHECK(!(b > a));
26  BOOST_CHECK(!(b >= a));
27  BOOST_CHECK(!(b < a));
28  BOOST_CHECK(!(b <= a));
29
30  BOOST_CHECK(!(a == b));
31  BOOST_CHECK(a != b);
32
33# ifdef __BORLANDC__
34  ::detail::ignore_unused_variable_warning(a);
35  ::detail::ignore_unused_variable_warning(b);
36# endif
37}
38
39// comparisons between [1,3] and [2,4]
40
41static void test_13_24() {
42  const I a(1,3), b(2,4);
43
44  BOOST_CHECK(!(a < b));
45  BOOST_CHECK(!(a <= b));
46  BOOST_CHECK(!(a > b));
47  BOOST_CHECK(!(a >= b));
48
49  BOOST_CHECK(!(b < a));
50  BOOST_CHECK(!(b <= a));
51  BOOST_CHECK(!(b > a));
52  BOOST_CHECK(!(b >= a));
53
54  BOOST_CHECK(!(a == b));
55  BOOST_CHECK(a != b);
56
57# ifdef __BORLANDC__
58  ::detail::ignore_unused_variable_warning(a);
59  ::detail::ignore_unused_variable_warning(b);
60# endif
61}
62
63// comparisons between [1,4] and [2,3]
64
65static void test_14_23() {
66  const I a(1,4), b(2,3);
67
68  BOOST_CHECK(!(a < b));
69  BOOST_CHECK(!(a <= b));
70  BOOST_CHECK(a > b);
71  BOOST_CHECK(a >= b);
72
73  BOOST_CHECK(b < a);
74  BOOST_CHECK(b <= a);
75  BOOST_CHECK(!(b > a));
76  BOOST_CHECK(!(b >= a));
77
78  BOOST_CHECK(!(a == b));
79  BOOST_CHECK(a != b);
80
81# ifdef __BORLANDC__
82  ::detail::ignore_unused_variable_warning(a);
83  ::detail::ignore_unused_variable_warning(b);
84# endif
85}
86
87// comparisons between [1,2] and [2,3]
88
89static void test_12_23() {
90  const I a(1,2), b(2,3);
91
92  BOOST_CHECK(!(a < b));
93  BOOST_CHECK(!(a <= b));
94  BOOST_CHECK(!(a > b));
95  BOOST_CHECK(!(a >= b));
96
97  BOOST_CHECK(!(b < a));
98  BOOST_CHECK(!(b <= a));
99  BOOST_CHECK(!(b > a));
100  BOOST_CHECK(!(b >= a));
101
102  BOOST_CHECK(!(a == b));
103  BOOST_CHECK(a != b);
104
105# ifdef __BORLANDC__
106  ::detail::ignore_unused_variable_warning(a);
107  ::detail::ignore_unused_variable_warning(b);
108# endif
109}
110
111// comparisons between [1,2] and empty set
112
113static void test_12_E() {
114  I a(1, 2), b(I::empty());
115 
116  BOOST_CHECK(!(a < b));
117  BOOST_CHECK(!(a <= b));
118  BOOST_CHECK(a > b);
119  BOOST_CHECK(a >= b);
120
121  BOOST_CHECK(b < a);
122  BOOST_CHECK(b <= a);
123  BOOST_CHECK(!(b > a));
124  BOOST_CHECK(!(b >= a));
125
126  BOOST_CHECK(!(a == b));
127  BOOST_CHECK(a != b);
128
129# ifdef __BORLANDC__
130  ::detail::ignore_unused_variable_warning(a);
131  ::detail::ignore_unused_variable_warning(b);
132# endif
133}
134
135// comparisons between two empty sets
136
137static void test_E_E() {
138  I a(I::empty()), b(I::empty());
139 
140  BOOST_CHECK(!(a < b));
141  BOOST_CHECK(a <= b);
142  BOOST_CHECK(!(a > b));
143  BOOST_CHECK(a >= b);
144
145  BOOST_CHECK(!(b < a));
146  BOOST_CHECK(b <= a);
147  BOOST_CHECK(!(b > a));
148  BOOST_CHECK(b >= a);
149
150  BOOST_CHECK(a == b);
151  BOOST_CHECK(!(a != b));
152
153# ifdef __BORLANDC__
154  ::detail::ignore_unused_variable_warning(a);
155  ::detail::ignore_unused_variable_warning(b);
156# endif
157}
158
159// comparisons between [1,2] and [1,2]
160
161static void test_12_12() {
162  const I a(1,2), b(1,2);
163
164  BOOST_CHECK(!(a < b));
165  BOOST_CHECK(a <= b);
166  BOOST_CHECK(!(a > b));
167  BOOST_CHECK(a >= b);
168
169  BOOST_CHECK(!(b < a));
170  BOOST_CHECK(b <= a);
171  BOOST_CHECK(!(b > a));
172  BOOST_CHECK(b >= a);
173
174  BOOST_CHECK(a == b);
175  BOOST_CHECK(!(a != b));
176
177# ifdef __BORLANDC__
178  ::detail::ignore_unused_variable_warning(a);
179  ::detail::ignore_unused_variable_warning(b);
180# endif
181}
182
183// comparisons between [1,1] and [1,1]
184
185static void test_11_11() {
186  const I a(1,1), b(1,1);
187
188  BOOST_CHECK(!(a < b));
189  BOOST_CHECK(a <= b);
190  BOOST_CHECK(!(a > b));
191  BOOST_CHECK(a >= b);
192
193  BOOST_CHECK(!(b < a));
194  BOOST_CHECK(b <= a);
195  BOOST_CHECK(!(b > a));
196  BOOST_CHECK(b >= a);
197
198  BOOST_CHECK(a == b);
199  BOOST_CHECK(!(a != b));
200
201# ifdef __BORLANDC__
202  ::detail::ignore_unused_variable_warning(a);
203  ::detail::ignore_unused_variable_warning(b);
204# endif
205}
206
207int test_main(int, char *[]) {
208  test_12_34();
209  test_13_24();
210  test_14_23();
211  test_12_23();
212  test_12_E();
213  test_E_E();
214  test_12_12();
215  test_11_11();
216
217  return 0;
218}
Note: See TracBrowser for help on using the repository browser.