Update concepts branch to revision 131834
[official-gcc.git] / libstdc++-v3 / testsuite / util / regression / common_type.hpp
blob1bfaa30a690aef0776a5dcf0cbf5860b0f7bf407
1 // -*- C++ -*-
3 // Copyright (C) 2005, 2006, 2008 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 2, or (at your option) any later
9 // version.
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.
16 // You should have received a copy of the GNU General Public License
17 // along with this library; see the file COPYING. If not, write to
18 // the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
19 // MA 02111-1307, USA.
21 // As a special exception, you may use this file as part of a free
22 // software library without restriction. Specifically, if other files
23 // instantiate templates or use macros or inline functions from this
24 // file, or you compile this file and link it with other files to
25 // produce an executable, this file does not by itself cause the
26 // resulting executable to be covered by the GNU General Public
27 // License. This exception does not however invalidate any other
28 // reasons why the executable file might be covered by the GNU General
29 // Public License.
31 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
33 // Permission to use, copy, modify, sell, and distribute this software
34 // is hereby granted without fee, provided that the above copyright
35 // notice appears in all copies, and that both that copyright notice
36 // and this permission notice appear in supporting documentation. None
37 // of the above authors, nor IBM Haifa Research Laboratories, make any
38 // representation about the suitability of this software for any
39 // purpose. It is provided "as is" without express or implied
40 // warranty.
42 /**
43 * @file common_type.hpp
44 * Contains types used for regression tests.
47 #ifndef PB_DS_RAND_REGRESSION_TEST_COMMON_TYPE_HPP
48 #define PB_DS_RAND_REGRESSION_TEST_COMMON_TYPE_HPP
50 #include <vector>
51 #include <regression/basic_type.hpp>
52 #include <common_type/assoc/common_type.hpp>
53 #include <common_type/priority_queue/common_type.hpp>
55 namespace __gnu_pbds
57 namespace test
59 typedef __gnu_cxx::throw_allocator<basic_type> alloc_type;
61 struct hash
63 typedef alloc_type::rebind<basic_type>::other basic_type_rebind;
64 typedef basic_type_rebind::const_reference const_reference;
65 typedef basic_type::const_iterator const_iterator;
67 size_t
68 operator()(const_reference r_key) const
70 size_t ret = 0;
71 for (const_iterator it = r_key.begin(); it != r_key.end(); ++it)
72 ret = ret * 5 + static_cast<size_t>(*it);
73 return ret;
77 typedef __gnu_pbds::string_trie_e_access_traits<basic_type, 'a', 'a' + basic_type::distinct_chars - 1, false, alloc_type> e_access_traits_t;
79 template<typename Data_Type>
80 struct tree_types
82 private:
83 typedef typename tree_common_types<basic_type, Data_Type, std::less<basic_type>, __gnu_pbds::null_tree_node_update, alloc_type>::regression_tl no_order_statistics_tl_t;
85 typedef typename tree_common_types<basic_type, Data_Type, std::less<basic_type>, __gnu_pbds::tree_order_statistics_node_update, alloc_type>::regression_tl order_statistics_tl_t;
87 public:
88 typedef typename __gnu_cxx::typelist::append<no_order_statistics_tl_t, order_statistics_tl_t>::type tl_t;
90 typedef no_order_statistics_tl_t min_tl_t;
93 template<typename Data_Type>
94 struct trie_types
96 private:
97 typedef typename trie_common_types<basic_type, Data_Type, e_access_traits_t, __gnu_pbds::pat_trie_tag, __gnu_pbds::null_trie_node_update, alloc_type>::regression_tl no_updates_tl_t;
99 typedef typename trie_common_types<basic_type, Data_Type, e_access_traits_t, __gnu_pbds::pat_trie_tag, __gnu_pbds::trie_order_statistics_node_update, alloc_type>::regression_tl order_statistics_tl_t;
101 typedef typename trie_common_types<basic_type, Data_Type, e_access_traits_t, __gnu_pbds::pat_trie_tag, __gnu_pbds::trie_prefix_search_node_update, alloc_type>::regression_tl prefix_search_tl_t;
103 public:
104 typedef typename __gnu_cxx::typelist::append<no_updates_tl_t, typename __gnu_cxx::typelist::append<prefix_search_tl_t, order_statistics_tl_t>::type>::type tl_t;
106 typedef no_updates_tl_t min_tl_t;
109 template<typename Data_Type>
110 struct hash_types
112 typedef typename hash_common_types<basic_type, Data_Type, hash, std::equal_to<basic_type>, alloc_type>::regression_tl tl_t;
114 typedef tl_t min_tl_t;
117 template<typename Data_Type>
118 struct lu_types
120 typedef typename lu_common_types<basic_type, Data_Type, std::equal_to<basic_type>, alloc_type>::regression_tl tl_t;
122 typedef tl_t min_tl_t;
125 // Sequence types.
126 typedef pq_common_types<basic_type, std::less<basic_type>, alloc_type> pq_types;
128 typedef pq_types::regression_tl pq_tl_t;
129 typedef pq_tl_t min_pq_tl_t;
131 template<typename _Tp, typename _Alloc>
132 struct vector_adaptor : public std::vector<_Tp, _Alloc>
134 private:
135 typedef std::vector<_Tp, _Alloc> base_type;
137 public:
138 typedef typename base_type::value_type value_type;
139 typedef typename base_type::pointer pointer;
140 typedef typename base_type::const_pointer const_pointer;
141 typedef typename base_type::reference reference;
142 typedef typename base_type::const_reference const_reference;
143 typedef typename base_type::iterator iterator;
144 typedef typename base_type::const_iterator const_iterator;
145 typedef typename base_type::reverse_iterator reverse_iterator;
146 typedef typename base_type::const_reverse_iterator const_reverse_iterator;
147 typedef typename base_type::size_type size_type;
148 typedef typename base_type::difference_type difference_type;
149 typedef typename base_type::allocator_type allocator_type;
151 typedef __gnu_pbds::sequence_tag container_category;
152 typedef std::less<_Tp> cmp_fn;
154 const cmp_fn&
155 get_cmp_fn() const
156 { return _M_cmp; }
158 vector_adaptor() { }
159 vector_adaptor(iterator) { }
160 vector_adaptor(iterator, iterator) { }
161 vector_adaptor(iterator, iterator, const cmp_fn&) { }
162 vector_adaptor(const cmp_fn& other) { }
164 using base_type::push_back;
165 using base_type::pop_back;
167 // erase_if
169 cmp_fn _M_cmp;
173 namespace detail
178 typedef vector_adaptor<basic_type, alloc_type> vector_type;
179 typedef __gnu_cxx::typelist::create1<vector_type>::type vector_tl_t;
181 // Associative types.
182 typedef tree_types<null_mapped_type>::tl_t tree_set_tl_t;
183 typedef tree_types<null_mapped_type>::min_tl_t min_tree_set_tl_t;
184 typedef tree_types<basic_type>::tl_t tree_map_tl_t;
185 typedef tree_types<basic_type>::min_tl_t min_tree_map_tl_t;
187 typedef hash_types<null_mapped_type>::tl_t hash_set_tl_t;
188 typedef hash_types<null_mapped_type>::min_tl_t min_hash_set_tl_t;
189 typedef hash_types<basic_type>::tl_t hash_map_tl_t;
190 typedef hash_types<basic_type>::min_tl_t min_hash_map_tl_t;
192 typedef lu_types<null_mapped_type>::tl_t lu_set_tl_t;
193 typedef lu_types<null_mapped_type>::min_tl_t min_lu_set_tl_t;
194 typedef lu_types<basic_type>::tl_t lu_map_tl_t;
195 typedef lu_types<basic_type>::min_tl_t min_lu_map_tl_t;
197 typedef trie_types<null_mapped_type>::tl_t trie_set_tl_t;
198 typedef trie_types<null_mapped_type>::min_tl_t min_trie_set_tl_t;
199 typedef trie_types<basic_type>::tl_t trie_map_tl_t;
200 typedef trie_types<basic_type>::min_tl_t min_trie_map_tl_t;
201 } // namespace test
202 } // namespace __gnu_pbds
204 #endif