1 // -*- C++ -*- 2 3 // Copyright (C) 2005-2020 Free Software Foundation, Inc. 4 // 5 // This file is part of the GNU ISO C++ Library. This library is free 6 // software; you can redistribute it and/or modify it under the terms 7 // of the GNU General Public License as published by the Free Software 8 // Foundation; either version 3, or (at your option) any later 9 // version. 10 11 // This library is distributed in the hope that it will be useful, but 12 // WITHOUT ANY WARRANTY; without even the implied warranty of 13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 // General Public License for more details. 15 16 // You should have received a copy of the GNU General Public License 17 // along with this library; see the file COPYING3. If not see 18 // <http://www.gnu.org/licenses/>. 19 20 21 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL. 22 23 // Permission to use, copy, modify, sell, and distribute this software 24 // is hereby granted without fee, provided that the above copyright 25 // notice appears in all copies, and that both that copyright notice 26 // and this permission notice appear in supporting documentation. None 27 // of the above authors, nor IBM Haifa Research Laboratories, make any 28 // representation about the suitability of this software for any 29 // purpose. It is provided "as is" without express or implied 30 // warranty. 31 32 /** 33 * @file trait.hpp 34 * Contains traits for a random regression test 35 * for a specific container type. 36 */ 37 38 #ifndef PB_DS_REGRESSION_TEST_TRAIT_HPP 39 #define PB_DS_REGRESSION_TEST_TRAIT_HPP 40 41 #include <regression/trait/erase_if_fn.hpp> 42 #include <regression/trait/assoc/to_string.hpp> 43 #include <regression/trait/assoc/type_trait.hpp> 44 #include <regression/trait/assoc/native_type_trait.hpp> 45 #include <regression/trait/assoc/resize_trait.hpp> 46 #include <regression/trait/assoc/get_set_loads_trait.hpp> 47 #include <regression/trait/assoc/get_set_load_trait.hpp> 48 #include <regression/trait/assoc/node_update_trait.hpp> 49 50 namespace __gnu_pbds 51 { 52 namespace test 53 { 54 namespace detail 55 { 56 57 #define PB_DS_CLASS_T_DEC \ 58 template<typename Cntnr> 59 60 #define PB_DS_CLASS_C_DEC \ 61 regression_test_traits<Cntnr> 62 63 #define PB_DS_TYPE_TRAITS_C_DEC \ 64 regression_test_type_traits<Cntnr> 65 66 #define PB_DS_NATIVE_TYPE_TRAITS_C_DEC \ 67 native_type_traits<typename PB_DS_TYPE_TRAITS_C_DEC::key_type, \ 68 typename PB_DS_TYPE_TRAITS_C_DEC::mapped_type, \ 69 typename Cntnr::allocator_type> 70 71 #define PB_DS_RESIZE_TRAITS_C_DEC \ 72 regression_test_resize_traits<Cntnr, typename Cntnr::container_category> 73 74 #define PB_DS_SET_LOADS_TRAITS_C_DEC \ 75 regression_test_get_set_loacontainer_traits<Cntnr, \ 76 typename Cntnr::container_category> 77 78 #define PB_DS_SET_LOAD_TRAITS_C_DEC \ 79 regression_test_get_set_load_traits<Cntnr,typename Cntnr::container_category> 80 81 #define PB_DS_NODE_UPDATOR_TRAITS_C_DEC \ 82 regression_test_node_update_traits<Cntnr, typename Cntnr::container_category> 83 84 template<typename Cntnr> 85 struct regression_test_traits : private PB_DS_TYPE_TRAITS_C_DEC, 86 private PB_DS_NATIVE_TYPE_TRAITS_C_DEC, 87 private PB_DS_RESIZE_TRAITS_C_DEC, 88 private PB_DS_NODE_UPDATOR_TRAITS_C_DEC, 89 private PB_DS_SET_LOADS_TRAITS_C_DEC, 90 private PB_DS_SET_LOAD_TRAITS_C_DEC 91 { 92 private: 93 typedef PB_DS_NATIVE_TYPE_TRAITS_C_DEC native_type_traits_base; 94 typedef PB_DS_TYPE_TRAITS_C_DEC type_traits_base; 95 96 public: 97 typedef typename Cntnr::value_type value_type; 98 typedef typename Cntnr::const_reference const_reference; 99 typedef typename PB_DS_NATIVE_TYPE_TRAITS_C_DEC::type native_type; 100 typedef typename native_type::value_type native_value_type; 101 102 // Only associative containers. 103 typedef typename Cntnr::key_type key_type; 104 typedef typename Cntnr::key_const_reference key_const_reference; 105 typedef typename native_type::key_type native_key_type; 106 107 enum 108 { 109 resize = PB_DS_RESIZE_TRAITS_C_DEC::value, 110 get_set_loads = PB_DS_SET_LOADS_TRAITS_C_DEC::value, 111 get_set_load = PB_DS_SET_LOAD_TRAITS_C_DEC::value, 112 order_statistics = PB_DS_NODE_UPDATOR_TRAITS_C_DEC::order_statistics, 113 prefix_search = PB_DS_NODE_UPDATOR_TRAITS_C_DEC::prefix_search 114 }; 115 116 template<typename T> 117 struct erase_if_fn : public regression_test_erase_if_fn<T> 118 { }; 119 120 static size_t erase_if__gnu_pbds::test::detail::regression_test_traits121 erase_if(native_type& r_native_c) 122 { 123 typedef regression_test_erase_if_fn<native_value_type> erase_if_fn; 124 typename native_type::iterator it = r_native_c.begin(); 125 size_t num_ersd = 0; 126 while (it != r_native_c.end()) 127 if (erase_if_fn()(*it)) 128 { 129 ++num_ersd; 130 r_native_c.erase(it); 131 it = r_native_c.begin(); 132 } 133 else 134 ++it; 135 return num_ersd; 136 } 137 138 static void print_container__gnu_pbds::test::detail::regression_test_traits139 print_container(const Cntnr& r_c, std::ostream& r_os) 140 { PB_DS_TYPE_TRAITS_C_DEC::print_container(r_c, r_os); } 141 142 template<typename Gen> 143 static key_type generate_key__gnu_pbds::test::detail::regression_test_traits144 generate_key(Gen& r_gen, size_t max) 145 { return PB_DS_TYPE_TRAITS_C_DEC::generate_key(r_gen, max); } 146 147 template<typename Gen> 148 static value_type generate_value__gnu_pbds::test::detail::regression_test_traits149 generate_value(Gen& r_gen, size_t max) 150 { return PB_DS_TYPE_TRAITS_C_DEC::generate_value(r_gen, max); } 151 152 static key_const_reference extract_key__gnu_pbds::test::detail::regression_test_traits153 extract_key(const_reference r_val) 154 { return type_traits_base::extract_key(r_val); } 155 156 static native_key_type native_key__gnu_pbds::test::detail::regression_test_traits157 native_key(key_const_reference r_key) 158 { return native_type_traits_base::native_key(r_key); } 159 160 static native_value_type native_value__gnu_pbds::test::detail::regression_test_traits161 native_value(const_reference r_val) 162 { return native_type_traits_base::native_value(r_val); } 163 164 static const native_key_type& extract_native_key__gnu_pbds::test::detail::regression_test_traits165 extract_native_key(const native_value_type& r_val) 166 { return native_type_traits_base::extract_key(r_val); } 167 168 static bool cmp__gnu_pbds::test::detail::regression_test_traits169 cmp(const_reference r_val, const native_value_type& r_native_val) 170 { return val_to_string(r_val) == native_val_to_string(r_native_val); } 171 172 static std::string val_to_string__gnu_pbds::test::detail::regression_test_traits173 val_to_string(const_reference r_val) 174 { return to_string(r_val); } 175 176 static std::string key_to_string__gnu_pbds::test::detail::regression_test_traits177 key_to_string(key_const_reference r_key) 178 { return to_string(r_key); } 179 180 static std::string native_val_to_string__gnu_pbds::test::detail::regression_test_traits181 native_val_to_string(const native_value_type& r_native_val) 182 { return to_string(r_native_val); } 183 184 static bool prefix_match__gnu_pbds::test::detail::regression_test_traits185 prefix_match(key_const_reference r_key, const std::string& r_native_key) 186 { 187 const size_t len = std::min(r_key.length(), r_native_key.length()); 188 const std::string substr = r_native_key.substr(0, len); 189 return substr == static_cast<const std::string&>(r_key); 190 } 191 }; 192 193 #undef PB_DS_TYPE_TRAITS_C_DEC 194 #undef PB_DS_NATIVE_TYPE_TRAITS_C_DEC 195 #undef PB_DS_RESIZE_TRAITS_C_DEC 196 #undef PB_DS_SET_LOADS_TRAITS_C_DEC 197 #undef PB_DS_SET_LOAD_TRAITS_C_DEC 198 #undef PB_DS_NODE_UPDATOR_TRAITS_C_DEC 199 #undef PB_DS_CLASS_T_DEC 200 #undef PB_DS_CLASS_C_DEC 201 202 } // namespace detail 203 } // namespace test 204 } // namespace __gnu_pbds 205 206 #endif 207