2 // Testing utilities for the tr1 testsuite.
4 // Copyright (C) 2004, 2005, 2006, 2007, 2009 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
22 #ifndef _GLIBCXX_TESTSUITE_TR1_H
23 #define _GLIBCXX_TESTSUITE_TR1_H
25 #include <ext/type_traits.h>
29 // For tr1/type_traits.
30 template<template<typename> class Category, typename Type>
32 test_category(bool value)
35 ret &= Category<Type>::value == value;
36 ret &= Category<const Type>::value == value;
37 ret &= Category<volatile Type>::value == value;
38 ret &= Category<const volatile Type>::value == value;
39 ret &= Category<Type>::type::value == value;
40 ret &= Category<const Type>::type::value == value;
41 ret &= Category<volatile Type>::type::value == value;
42 ret &= Category<const volatile Type>::type::value == value;
46 template<template<typename> class Property, typename Type>
48 test_property(typename Property<Type>::value_type value)
51 ret &= Property<Type>::value == value;
52 ret &= Property<Type>::type::value == value;
56 // For testing tr1/type_traits/extent, which has a second template
58 template<template<typename, unsigned> class Property,
59 typename Type, unsigned Uint>
61 test_property(typename Property<Type, Uint>::value_type value)
64 ret &= Property<Type, Uint>::value == value;
65 ret &= Property<Type, Uint>::type::value == value;
69 #ifdef __GXX_EXPERIMENTAL_CXX0X__
70 template<template<typename...> class Property, typename... Types>
72 test_property(typename Property<Types...>::value_type value)
75 ret &= Property<Types...>::value == value;
76 ret &= Property<Types...>::type::value == value;
81 template<template<typename, typename> class Relationship,
82 typename Type1, typename Type2>
84 test_relationship(bool value)
87 ret &= Relationship<Type1, Type2>::value == value;
88 ret &= Relationship<Type1, Type2>::type::value == value;
94 typedef const ClassType cClassType;
95 typedef volatile ClassType vClassType;
96 typedef const volatile ClassType cvClassType;
98 class DerivedType : public ClassType { };
100 enum EnumType { e0 };
103 { operator int() const; };
107 virtual void rotate(int) = 0;
110 class PolymorphicClass
112 virtual void rotate(int);
115 class DerivedPolymorphic : public PolymorphicClass { };
117 class VirtualDestructorClass
119 virtual ~VirtualDestructorClass();
124 class IncompleteClass;
128 ExplicitClass(double&);
129 explicit ExplicitClass(int&);
132 struct NType // neither trivial nor standard-layout
139 struct TType // trivial but not standard-layout
146 struct SLType // standard-layout but not trivial
153 struct PODType // both trivial and standard-layout
159 int truncate_float(float x) { return (int)x; }
160 long truncate_double(double x) { return (long)x; }
162 struct do_truncate_float_t
164 do_truncate_float_t()
169 do_truncate_float_t(const do_truncate_float_t&)
174 ~do_truncate_float_t()
179 int operator()(float x) { return (int)x; }
181 static int live_objects;
184 int do_truncate_float_t::live_objects = 0;
186 struct do_truncate_double_t
188 do_truncate_double_t()
193 do_truncate_double_t(const do_truncate_double_t&)
198 ~do_truncate_double_t()
203 long operator()(double x) { return (long)x; }
205 static int live_objects;
208 int do_truncate_double_t::live_objects = 0;
214 int foo() { return 1; }
215 int foo_c() const { return 2; }
216 int foo_v() volatile { return 3; }
217 int foo_cv() const volatile { return 4; }
220 // For use in 8_c_compatibility.
221 template<typename R, typename T>
222 typename __gnu_cxx::__enable_if<std::__are_same<R, T>::__value,
227 } // namespace __gnu_test
229 #endif // _GLIBCXX_TESTSUITE_TR1_H