]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/util/testsuite_tr1.h
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