2 // Testing utilities for the tr1 testsuite.
4 // Copyright (C) 2004, 2005, 2006, 2007 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 2, 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 COPYING. If not, write to the Free
19 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
22 // As a special exception, you may use this file as part of a free software
23 // library without restriction. Specifically, if other files instantiate
24 // templates or use macros or inline functions from this file, or you compile
25 // this file and link it with other files to produce an executable, this
26 // file does not by itself cause the resulting executable to be covered by
27 // the GNU General Public License. This exception does not however
28 // invalidate any other reasons why the executable file might be covered by
29 // the GNU General Public License.
31 #ifndef _GLIBCXX_TESTSUITE_TR1_H
32 #define _GLIBCXX_TESTSUITE_TR1_H
34 #include <ext/type_traits.h>
38 // For tr1/type_traits.
39 template<template<typename
> class Category
, typename Type
>
41 test_category(bool value
)
44 ret
&= Category
<Type
>::value
== value
;
45 ret
&= Category
<const Type
>::value
== value
;
46 ret
&= Category
<volatile Type
>::value
== value
;
47 ret
&= Category
<const volatile Type
>::value
== value
;
48 ret
&= Category
<Type
>::type::value
== value
;
49 ret
&= Category
<const Type
>::type::value
== value
;
50 ret
&= Category
<volatile Type
>::type::value
== value
;
51 ret
&= Category
<const volatile Type
>::type::value
== value
;
55 template<template<typename
> class Property
, typename Type
>
57 test_property(typename Property
<Type
>::value_type value
)
60 ret
&= Property
<Type
>::value
== value
;
61 ret
&= Property
<Type
>::type::value
== value
;
65 // For testing tr1/type_traits/extent, which has a second template
67 template<template<typename
, unsigned> class Property
,
71 test_property(typename Property
<Type
, Uint
>::value_type value
)
74 ret
&= Property
<Type
, Uint
>::value
== value
;
75 ret
&= Property
<Type
, Uint
>::type::value
== value
;
79 template<template<typename
, typename
> class Relationship
,
80 typename Type1
, typename Type2
>
82 test_relationship(bool value
)
85 ret
&= Relationship
<Type1
, Type2
>::value
== value
;
86 ret
&= Relationship
<Type1
, Type2
>::type::value
== value
;
92 typedef const ClassType cClassType
;
93 typedef volatile ClassType vClassType
;
94 typedef const volatile ClassType cvClassType
;
96 class DerivedType
: public ClassType
{ };
101 { operator int() const; };
105 virtual void rotate(int) = 0;
108 class PolymorphicClass
110 virtual void rotate(int);
113 class DerivedPolymorphic
: public PolymorphicClass
{ };
115 class VirtualDestructorClass
117 virtual ~VirtualDestructorClass();
122 class IncompleteClass
;
124 int truncate_float(float x
) { return (int)x
; }
125 long truncate_double(double x
) { return (long)x
; }
127 struct do_truncate_float_t
129 do_truncate_float_t()
134 do_truncate_float_t(const do_truncate_float_t
&)
139 ~do_truncate_float_t()
144 int operator()(float x
) { return (int)x
; }
146 static int live_objects
;
149 int do_truncate_float_t::live_objects
= 0;
151 struct do_truncate_double_t
153 do_truncate_double_t()
158 do_truncate_double_t(const do_truncate_double_t
&)
163 ~do_truncate_double_t()
168 long operator()(double x
) { return (long)x
; }
170 static int live_objects
;
173 int do_truncate_double_t::live_objects
= 0;
179 int foo() { return 1; }
180 int foo_c() const { return 2; }
181 int foo_v() volatile { return 3; }
182 int foo_cv() const volatile { return 4; }
185 // For use in 8_c_compatibility.
186 template<typename R
, typename T
>
187 typename
__gnu_cxx::__enable_if
<std::__are_same
<R
, T
>::__value
,
192 } // namespace __gnu_test
194 #endif // _GLIBCXX_TESTSUITE_TR1_H