3 // Copyright (C) 2005, 2006 Free Software Foundation, Inc.
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
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
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
43 * @file type_trait.hpp
44 * Containsert traits for a random regression test
45 * for a specific container type.
48 #ifndef PB_DS_REGRESSION_TEST_TYPE_TRAIT_HPP
49 #define PB_DS_REGRESSION_TEST_TYPE_TRAIT_HPP
51 #include <regression/basic_type.hpp>
62 template<typename Cntnr>
63 struct regression_test_type_traits
70 typedef typename cntnr::key_type key_type;
72 typedef typename cntnr::const_key_reference const_key_reference;
74 typedef typename cntnr::value_type value_type;
76 typedef typename cntnr::const_reference const_reference;
78 typedef typename cntnr::mapped_type mapped_type;
80 typedef typename cntnr::const_mapped_reference const_mapped_reference;
84 template<typename Gen>
86 generate_key(Gen& r_gen, size_t max)
88 return (basic_type(r_gen, max));
91 template<typename Gen>
93 generate_value(Gen& r_gen, size_t max)
95 return (generate_value(r_gen, max,
96 pb_ds::detail::type_to_type<value_type>()));
99 static const_key_reference
100 extract_key(const_reference r_val)
102 return extract_key_imp(r_val);
107 typename Cntnr::allocator::template rebind<
108 basic_type>::other::const_reference
109 basic_type_const_reference;
112 typename Cntnr::allocator::template rebind<
115 basic_type> >::other::const_reference
116 basic_type_pair_const_reference;
119 template<typename Gen>
121 generate_value(Gen& r_gen, size_t max, pb_ds::detail::type_to_type<pb_ds::null_mapped_type>)
123 return (basic_type(r_gen, max));
126 template<typename Gen>
128 generate_value(Gen& r_gen, size_t max, pb_ds::detail::type_to_type<basic_type>)
130 return (basic_type(r_gen, max));
133 template<typename Gen>
135 generate_value(Gen& r_gen, size_t max, pb_ds::detail::type_to_type<std::pair<const basic_type, basic_type> >)
137 return (std::make_pair(basic_type(r_gen, max), basic_type(r_gen, max)));
140 static const_key_reference
141 extract_key_imp(basic_type_const_reference r_val)
146 static const_key_reference
147 extract_key_imp(basic_type_pair_const_reference r_val)
153 #undef PB_DS_BASE_C_DEC
155 } // namespace detail
161 #endif // #ifndef PB_DS_REGRESSION_TEST_TYPE_TRAIT_HPP