| 
									
										
										
										
											2006-05-21 17:14:11 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-03-18 20:00:59 +00:00
										 |  |  | // Copyright 2006-2007 Daniel James.
 | 
					
						
							| 
									
										
										
										
											2006-07-01 22:31:26 +00:00
										 |  |  | // 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)
 | 
					
						
							| 
									
										
										
										
											2006-05-21 17:14:11 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | #include "./containers.hpp"
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define BOOST_TEST_MAIN
 | 
					
						
							|  |  |  | #include <boost/test/unit_test.hpp>
 | 
					
						
							|  |  |  | #include <boost/test/exception_safety.hpp>
 | 
					
						
							|  |  |  | #include "../helpers/random_values.hpp"
 | 
					
						
							|  |  |  | #include "../helpers/invariants.hpp"
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-12-06 11:42:28 +00:00
										 |  |  | test::seed_t seed(12847); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2006-05-21 17:14:11 +00:00
										 |  |  | template <class T> | 
					
						
							|  |  |  | struct self_assign_base : public test::exception_base | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     test::random_values<T> values; | 
					
						
							|  |  |  |     self_assign_base(int count = 0) : values(count) {} | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     typedef T data_type; | 
					
						
							|  |  |  |     T init() const { return T(values.begin(), values.end()); } | 
					
						
							|  |  |  |     void run(T& x) const { x = x; } | 
					
						
							|  |  |  |     void check(T const& x) const { test::check_equivalent_keys(x); } | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct self_assign_test1 : self_assign_base<T> {}; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct self_assign_test2 : self_assign_base<T> | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     self_assign_test2() : self_assign_base<T>(100) {} | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct assign_base : public test::exception_base | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     const test::random_values<T> x_values, y_values; | 
					
						
							|  |  |  |     const T x,y; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     assign_base(unsigned int count1, unsigned int count2, int tag1, int tag2) | 
					
						
							|  |  |  |         : x_values(count1), y_values(count2), | 
					
						
							|  |  |  |         x(x_values.begin(), x_values.end(), 0, typename T::hasher(tag1), typename T::key_equal(tag1), typename T::allocator_type(tag1)), | 
					
						
							|  |  |  |         y(y_values.begin(), y_values.end(), 0, typename T::hasher(tag2), typename T::key_equal(tag2), typename T::allocator_type(tag2)) {} | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     typedef T data_type; | 
					
						
							|  |  |  |     T init() const { return T(x); } | 
					
						
							|  |  |  |     void run(T& x1) const { x1 = y; } | 
					
						
							|  |  |  |     void check(T const& x1) const { test::check_equivalent_keys(x1); } | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct assign_test1 : assign_base<T> | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     assign_test1() : assign_base<T>(0, 0, 0, 0) {} | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct assign_test2 : assign_base<T> | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     assign_test2() : assign_base<T>(60, 0, 0, 0) {}     | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct assign_test3 : assign_base<T> | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     assign_test3() : assign_base<T>(0, 60, 0, 0) {}     | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | template <class T> | 
					
						
							|  |  |  | struct assign_test4 : assign_base<T> | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     assign_test4() : assign_base<T>(10, 10, 1, 2) {} | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | RUN_EXCEPTION_TESTS( | 
					
						
							|  |  |  |     (self_assign_test1)(self_assign_test2) | 
					
						
							|  |  |  |     (assign_test1)(assign_test2)(assign_test3)(assign_test4), | 
					
						
							|  |  |  |     CONTAINER_SEQ) |