[ceph.git] / ceph / src / boost / libs / numeric / interval / test / cmp_set.cpp

/* Boost test/cmp_set.cpp
 * test compare::set
 *
 * Copyright 2004 Guillaume Melquiond
 *
 * Distributed under the Boost Software License, Version 1.0.
 * (See accompanying file LICENSE_1_0.txt or
 * copy at http://www.boost.org/LICENSE_1_0.txt)
 */

#include "cmp_header.hpp"

using namespace boost::numeric::interval_lib::compare::set;

// comparisons between [1,2] and [3,4]

static void test_12_34() {
  const I a(1,2), b(3,4);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(!(a <= b));
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(!(a >= b));

  BOOST_CHECK(!(b > a));
  BOOST_CHECK(!(b >= a));
  BOOST_CHECK(!(b < a));
  BOOST_CHECK(!(b <= a));

  BOOST_CHECK(!(a == b));
  BOOST_CHECK(a != b);

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,3] and [2,4]

static void test_13_24() {
  const I a(1,3), b(2,4);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(!(a <= b));
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(!(a >= b));

  BOOST_CHECK(!(b < a));
  BOOST_CHECK(!(b <= a));
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(!(b >= a));

  BOOST_CHECK(!(a == b));
  BOOST_CHECK(a != b);

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,4] and [2,3]

static void test_14_23() {
  const I a(1,4), b(2,3);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(!(a <= b));
  BOOST_CHECK(a > b);
  BOOST_CHECK(a >= b);

  BOOST_CHECK(b < a);
  BOOST_CHECK(b <= a);
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(!(b >= a));

  BOOST_CHECK(!(a == b));
  BOOST_CHECK(a != b);

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,2] and [2,3]

static void test_12_23() {
  const I a(1,2), b(2,3);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(!(a <= b));
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(!(a >= b));

  BOOST_CHECK(!(b < a));
  BOOST_CHECK(!(b <= a));
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(!(b >= a));

  BOOST_CHECK(!(a == b));
  BOOST_CHECK(a != b);

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,2] and empty set

static void test_12_E() {
  I a(1, 2), b(I::empty());
  
  BOOST_CHECK(!(a < b));
  BOOST_CHECK(!(a <= b));
  BOOST_CHECK(a > b);
  BOOST_CHECK(a >= b);

  BOOST_CHECK(b < a);
  BOOST_CHECK(b <= a);
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(!(b >= a));

  BOOST_CHECK(!(a == b));
  BOOST_CHECK(a != b);

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between two empty sets

static void test_E_E() {
  I a(I::empty()), b(I::empty());
  
  BOOST_CHECK(!(a < b));
  BOOST_CHECK(a <= b);
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(a >= b);

  BOOST_CHECK(!(b < a));
  BOOST_CHECK(b <= a);
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(b >= a);

  BOOST_CHECK(a == b);
  BOOST_CHECK(!(a != b));

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,2] and [1,2]

static void test_12_12() {
  const I a(1,2), b(1,2);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(a <= b);
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(a >= b);

  BOOST_CHECK(!(b < a));
  BOOST_CHECK(b <= a);
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(b >= a);

  BOOST_CHECK(a == b);
  BOOST_CHECK(!(a != b));

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

// comparisons between [1,1] and [1,1]

static void test_11_11() {
  const I a(1,1), b(1,1);

  BOOST_CHECK(!(a < b));
  BOOST_CHECK(a <= b);
  BOOST_CHECK(!(a > b));
  BOOST_CHECK(a >= b);

  BOOST_CHECK(!(b < a));
  BOOST_CHECK(b <= a);
  BOOST_CHECK(!(b > a));
  BOOST_CHECK(b >= a);

  BOOST_CHECK(a == b);
  BOOST_CHECK(!(a != b));

# ifdef BOOST_BORLANDC
  ::detail::ignore_unused_variable_warning(a);
  ::detail::ignore_unused_variable_warning(b);
# endif
}

int test_main(int, char *[]) {
  test_12_34();
  test_13_24();
  test_14_23();
  test_12_23();
  test_12_E();
  test_E_E();
  test_12_12();
  test_11_11();

  return 0;
}
Commit	Line	Data
7c673cae FG	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
	13	using namespace boost::numeric::interval_lib::compare::set;
	14
	15	// comparisons between [1,2] and [3,4]
	16
	17	static 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
20effc67	33	# ifdef BOOST_BORLANDC
7c673cae FG	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
	41	static 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
20effc67	57	# ifdef BOOST_BORLANDC
7c673cae FG	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
	65	static 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
20effc67	81	# ifdef BOOST_BORLANDC
7c673cae FG	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
	89	static 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
20effc67	105	# ifdef BOOST_BORLANDC
7c673cae FG	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
	113	static 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
20effc67	129	# ifdef BOOST_BORLANDC
7c673cae FG	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
	137	static 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
20effc67	153	# ifdef BOOST_BORLANDC
7c673cae FG	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
	161	static 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
20effc67	177	# ifdef BOOST_BORLANDC
7c673cae FG	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
	185	static 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
20effc67	201	# ifdef BOOST_BORLANDC
7c673cae FG	202	::detail::ignore_unused_variable_warning(a);
	203	::detail::ignore_unused_variable_warning(b);
	204	# endif
	205	}
	206
	207	int 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	}