diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 18:24:20 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 18:24:20 +0000 |
commit | 483eb2f56657e8e7f419ab1a4fab8dce9ade8609 (patch) | |
tree | e5d88d25d870d5dedacb6bbdbe2a966086a0a5cf /src/boost/libs/intrusive/test/generic_assoc_test.hpp | |
parent | Initial commit. (diff) | |
download | ceph-upstream.tar.xz ceph-upstream.zip |
Adding upstream version 14.2.21.upstream/14.2.21upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/boost/libs/intrusive/test/generic_assoc_test.hpp')
-rw-r--r-- | src/boost/libs/intrusive/test/generic_assoc_test.hpp | 372 |
1 files changed, 372 insertions, 0 deletions
diff --git a/src/boost/libs/intrusive/test/generic_assoc_test.hpp b/src/boost/libs/intrusive/test/generic_assoc_test.hpp new file mode 100644 index 00000000..74b4c5f8 --- /dev/null +++ b/src/boost/libs/intrusive/test/generic_assoc_test.hpp @@ -0,0 +1,372 @@ +///////////////////////////////////////////////////////////////////////////// +// +// (C) Copyright Olaf Krzikalla 2004-2006. +// (C) Copyright Ion Gaztanaga 2006-2013. +// +// 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) +// +// See http://www.boost.org/libs/intrusive for documentation. +// +///////////////////////////////////////////////////////////////////////////// +#include <boost/container/vector.hpp> //vector +#include <boost/intrusive/detail/config_begin.hpp> +#include "common_functors.hpp" +#include <boost/intrusive/options.hpp> +#include <boost/intrusive/detail/mpl.hpp> +#include <boost/detail/lightweight_test.hpp> +#include "test_macros.hpp" +#include "test_container.hpp" + +namespace boost{ +namespace intrusive{ +namespace test{ + +BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(has_splay, splay) + +BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(has_rebalance, rebalance) + +BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(has_insert_before, insert_before) + +BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(is_treap, priority_comp) + +template<class ContainerDefiner> +struct test_generic_assoc +{ + typedef typename ContainerDefiner::value_cont_type value_cont_type; + + static void test_all(value_cont_type&); + static void test_root(value_cont_type&); + static void test_clone(value_cont_type&); + static void test_insert_erase_burst(); + static void test_container_from_end(value_cont_type&, detail::true_type); + static void test_container_from_end(value_cont_type&, detail::false_type) {} + static void test_splay_up(value_cont_type&, detail::true_type); + static void test_splay_up(value_cont_type&, detail::false_type) {} + static void test_splay_down(value_cont_type&, detail::true_type); + static void test_splay_down(value_cont_type&, detail::false_type) {} + static void test_rebalance(value_cont_type&, detail::true_type); + static void test_rebalance(value_cont_type&, detail::false_type) {} + static void test_insert_before(value_cont_type&, detail::true_type); + static void test_insert_before(value_cont_type&, detail::false_type) {} + static void test_container_from_iterator(value_cont_type&, detail::true_type); + static void test_container_from_iterator(value_cont_type&, detail::false_type) {} +}; + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>:: + test_container_from_iterator(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + assoc_type testset(values.begin(), values.end()); + typedef typename assoc_type::iterator it_type; + typedef typename assoc_type::const_iterator cit_type; + typedef typename assoc_type::size_type sz_type; + sz_type sz = testset.size(); + for(it_type b(testset.begin()), e(testset.end()); b != e; ++b) + { + assoc_type &s = assoc_type::container_from_iterator(b); + const assoc_type &cs = assoc_type::container_from_iterator(cit_type(b)); + BOOST_TEST(&s == &cs); + BOOST_TEST(&s == &testset); + s.erase(b); + BOOST_TEST(testset.size() == (sz-1)); + s.insert(*b); + BOOST_TEST(testset.size() == sz); + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_insert_erase_burst() +{ + //value_cont_type values; + const std::size_t MaxValues = 200; + value_cont_type values(MaxValues); + for(std::size_t i = 0; i != MaxValues; ++i){ + (&values[i])->value_ = i; + } + + typedef typename ContainerDefiner::template container + <>::type assoc_type; + typedef typename assoc_type::iterator iterator; + + { //Ordered insertion + erasure + assoc_type testset (values.begin(), values.begin() + values.size()); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(testset, testset.begin()); + testset.check(); + iterator it(testset.begin()), itend(testset.end()); + for(std::size_t i = 0; it != itend; ++i){ + BOOST_TEST(&*it == &values[i]); + it = testset.erase(it); + testset.check(); + } + BOOST_TEST(testset.empty()); + } + + { //Now random insertions + erasure + assoc_type testset; + typedef typename value_cont_type::iterator vec_iterator; + boost::container::vector<vec_iterator> it_vector; + //Random insertion + for(vec_iterator it(values.begin()), itend(values.end()) + ; it != itend + ; ++it){ + it_vector.push_back(it); + } + for(std::size_t i = 0; i != MaxValues; ++i){ + testset.insert(*it_vector[i]); + testset.check(); + } + TEST_INTRUSIVE_SEQUENCE_EXPECTED(testset, testset.begin()); + //Random erasure + random_shuffle(it_vector.begin(), it_vector.end()); + for(std::size_t i = 0; i != MaxValues; ++i){ + testset.erase(testset.iterator_to(*it_vector[i])); + testset.check(); + } + BOOST_TEST(testset.empty()); + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_all(value_cont_type& values) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + test_root(values); + test_clone(values); + test_container_from_end(values, detail::bool_< assoc_type::has_container_from_iterator >()); + test_splay_up(values, detail::bool_< has_splay< assoc_type >::value >()); + test_splay_down(values, detail::bool_< has_splay< assoc_type >::value >()); + test_rebalance(values, detail::bool_< has_rebalance< assoc_type >::value >()); + test_insert_before(values, detail::bool_< has_insert_before< assoc_type >::value >()); + test_insert_erase_burst(); + test_container_from_iterator(values, detail::bool_< assoc_type::has_container_from_iterator >()); +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_root(value_cont_type& values) +{ + typedef typename ContainerDefiner::template container<>::type assoc_type; + typedef typename assoc_type::iterator iterator; + typedef typename assoc_type::const_iterator const_iterator; + + assoc_type testset1; + const assoc_type &ctestset1 = testset1;; + + BOOST_TEST( testset1.root() == testset1.end()); + BOOST_TEST(ctestset1.root() == ctestset1.cend()); + BOOST_TEST( testset1.croot() == ctestset1.cend()); + + + testset1.insert(values.begin(), values.begin() + values.size()); + + iterator i = testset1.root(); + iterator i2(i); + BOOST_TEST( i.go_parent().go_parent() == i2); + + const_iterator ci = ctestset1.root(); + const_iterator ci2(ci); + BOOST_TEST( ci.go_parent().go_parent() == ci2); + + ci = testset1.croot(); + ci2 = ci; + BOOST_TEST( ci.go_parent().go_parent() == ci2); +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_clone(value_cont_type& values) +{ + { + typedef typename ContainerDefiner::template container + <>::type assoc_type; + typedef typename assoc_type::value_type value_type; + typedef typename assoc_type::size_type size_type; + + assoc_type testset1 (values.begin(), values.begin() + values.size()); + assoc_type testset2; + + + size_type const testset1_oldsize = testset1.size(); + testset2.clone_from(testset1, test::new_cloner<value_type>(), test::delete_disposer<value_type>()); + BOOST_TEST (testset1.size() == testset1_oldsize); + BOOST_TEST (testset2 == testset1); + testset2.clear_and_dispose(test::delete_disposer<value_type>()); + BOOST_TEST (testset2.empty()); + + //Now test move clone + testset2.clone_from(boost::move(testset1), test::new_nonconst_cloner<value_type>(), test::delete_disposer<value_type>()); + BOOST_TEST (testset2 == testset1); + testset2.clear_and_dispose(test::delete_disposer<value_type>()); + BOOST_TEST (testset2.empty()); + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner> + ::test_container_from_end(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + assoc_type testset (values.begin(), values.begin() + values.size()); + BOOST_TEST (testset == assoc_type::container_from_end_iterator(testset.end())); + BOOST_TEST (testset == assoc_type::container_from_end_iterator(testset.cend())); +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_splay_up +(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + + typedef typename assoc_type::iterator iterator; + typedef value_cont_type orig_set_t; + std::size_t num_values; + orig_set_t original_testset; + { + assoc_type testset (values.begin(), values.end()); + num_values = testset.size(); + original_testset = value_cont_type(testset.begin(), testset.end()); + } + + for(std::size_t i = 0; i != num_values; ++i){ + assoc_type testset (values.begin(), values.end()); + { + iterator it = testset.begin(); + for(std::size_t j = 0; j != i; ++j, ++it){} + testset.splay_up(it); + } + BOOST_TEST (testset.size() == num_values); + iterator it = testset.begin(); + for( typename orig_set_t::const_iterator origit = original_testset.begin() + , origitend = original_testset.end() + ; origit != origitend + ; ++origit, ++it){ + BOOST_TEST(*origit == *it); + } + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_splay_down +(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + + typedef typename assoc_type::iterator iterator; + typedef value_cont_type orig_set_t; + std::size_t num_values; + orig_set_t original_testset; + { + assoc_type testset (values.begin(), values.end()); + num_values = testset.size(); + original_testset = value_cont_type(testset.begin(), testset.end()); + } + + for(std::size_t i = 0; i != num_values; ++i){ + assoc_type testset (values.begin(), values.end()); + BOOST_TEST(testset.size() == num_values); + { + iterator it = testset.begin(); + for(std::size_t j = 0; j != i; ++j, ++it){} + BOOST_TEST(*it == *testset.splay_down(*it)); + } + BOOST_TEST (testset.size() == num_values); + iterator it = testset.begin(); + for( typename orig_set_t::const_iterator origit = original_testset.begin() + , origitend = original_testset.end() + ; origit != origitend + ; ++origit, ++it){ + BOOST_TEST(*origit == *it); + } + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_rebalance +(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + typedef value_cont_type orig_set_t; + orig_set_t original_testset; + { + assoc_type testset (values.begin(), values.end()); + original_testset.assign(testset.begin(), testset.end()); + } + { + assoc_type testset(values.begin(), values.end()); + testset.rebalance(); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(original_testset, testset.begin()); + } + + { + std::size_t numdata; + { + assoc_type testset(values.begin(), values.end()); + numdata = testset.size(); + } + + for(int i = 0; i != (int)numdata; ++i){ + assoc_type testset(values.begin(), values.end()); + typename assoc_type::iterator it = testset.begin(); + for(int j = 0; j != i; ++j) ++it; + testset.rebalance_subtree(it); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(original_testset, testset.begin()); + } + } +} + +template<class ContainerDefiner> +void test_generic_assoc<ContainerDefiner>::test_insert_before +(value_cont_type& values, detail::true_type) +{ + typedef typename ContainerDefiner::template container + <>::type assoc_type; + { + assoc_type testset; + typedef typename value_cont_type::iterator vec_iterator; + for(vec_iterator it(values.begin()), itend(values.end()) + ; it != itend + ; ++it){ + testset.push_back(*it); + } + BOOST_TEST(testset.size() == values.size()); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(values, testset.begin()); + } + { + assoc_type testset; + typedef typename value_cont_type::iterator vec_iterator; + + for(vec_iterator it(--values.end()); true; --it){ + testset.push_front(*it); + if(it == values.begin()){ + break; + } + } + BOOST_TEST(testset.size() == values.size()); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(values, testset.begin()); + } + { + assoc_type testset; + typedef typename value_cont_type::iterator vec_iterator; + typename assoc_type::iterator it_pos = + testset.insert_before(testset.end(), *values.rbegin()); + testset.insert_before(testset.begin(), *values.begin()); + for(vec_iterator it(++values.begin()), itend(--values.end()) + ; it != itend + ; ++it){ + testset.insert_before(it_pos, *it); + } + BOOST_TEST(testset.size() == values.size()); + TEST_INTRUSIVE_SEQUENCE_EXPECTED(values, testset.begin()); + } +} + +}}} //namespace boost::intrusive::test + +#include <boost/intrusive/detail/config_end.hpp> |