summaryrefslogtreecommitdiff
path: root/libstdc++-v3/testsuite/util/testsuite_tr1.h
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /libstdc++-v3/testsuite/util/testsuite_tr1.h
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'libstdc++-v3/testsuite/util/testsuite_tr1.h')
-rw-r--r--libstdc++-v3/testsuite/util/testsuite_tr1.h288
1 files changed, 288 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/util/testsuite_tr1.h b/libstdc++-v3/testsuite/util/testsuite_tr1.h
new file mode 100644
index 000000000..6a48a309e
--- /dev/null
+++ b/libstdc++-v3/testsuite/util/testsuite_tr1.h
@@ -0,0 +1,288 @@
+// -*- C++ -*-
+// Testing utilities for the tr1 testsuite.
+//
+// Copyright (C) 2004, 2005, 2006, 2007, 2009, 2010
+// Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+//
+
+#ifndef _GLIBCXX_TESTSUITE_TR1_H
+#define _GLIBCXX_TESTSUITE_TR1_H
+
+#include <ext/type_traits.h>
+
+namespace __gnu_test
+{
+ // For tr1/type_traits.
+ template<template<typename> class Category, typename Type>
+ bool
+ test_category(bool value)
+ {
+ bool ret = true;
+ ret &= Category<Type>::value == value;
+ ret &= Category<const Type>::value == value;
+ ret &= Category<volatile Type>::value == value;
+ ret &= Category<const volatile Type>::value == value;
+ ret &= Category<Type>::type::value == value;
+ ret &= Category<const Type>::type::value == value;
+ ret &= Category<volatile Type>::type::value == value;
+ ret &= Category<const volatile Type>::type::value == value;
+ return ret;
+ }
+
+ template<template<typename> class Property, typename Type>
+ bool
+ test_property(typename Property<Type>::value_type value)
+ {
+ bool ret = true;
+ ret &= Property<Type>::value == value;
+ ret &= Property<Type>::type::value == value;
+ return ret;
+ }
+
+ // For testing tr1/type_traits/extent, which has a second template
+ // parameter.
+ template<template<typename, unsigned> class Property,
+ typename Type, unsigned Uint>
+ bool
+ test_property(typename Property<Type, Uint>::value_type value)
+ {
+ bool ret = true;
+ ret &= Property<Type, Uint>::value == value;
+ ret &= Property<Type, Uint>::type::value == value;
+ return ret;
+ }
+
+#ifdef __GXX_EXPERIMENTAL_CXX0X__
+ template<template<typename...> class Property, typename... Types>
+ bool
+ test_property(typename Property<Types...>::value_type value)
+ {
+ bool ret = true;
+ ret &= Property<Types...>::value == value;
+ ret &= Property<Types...>::type::value == value;
+ return ret;
+ }
+#endif
+
+ template<template<typename, typename> class Relationship,
+ typename Type1, typename Type2>
+ bool
+ test_relationship(bool value)
+ {
+ bool ret = true;
+ ret &= Relationship<Type1, Type2>::value == value;
+ ret &= Relationship<Type1, Type2>::type::value == value;
+ return ret;
+ }
+
+ // Test types.
+ class ClassType { };
+ typedef const ClassType cClassType;
+ typedef volatile ClassType vClassType;
+ typedef const volatile ClassType cvClassType;
+
+ class DerivedType : public ClassType { };
+
+ enum EnumType { e0 };
+
+ struct ConvType
+ { operator int() const; };
+
+ class AbstractClass
+ {
+ virtual void rotate(int) = 0;
+ };
+
+ class PolymorphicClass
+ {
+ virtual void rotate(int);
+ };
+
+ class DerivedPolymorphic : public PolymorphicClass { };
+
+ class VirtualDestructorClass
+ {
+ virtual ~VirtualDestructorClass();
+ };
+
+ union UnionType { };
+
+ class IncompleteClass;
+
+ struct ExplicitClass
+ {
+ ExplicitClass(double&);
+ explicit ExplicitClass(int&);
+ ExplicitClass(double&, int&, double&);
+ };
+
+ struct NothrowExplicitClass
+ {
+ NothrowExplicitClass(double&) throw();
+ explicit NothrowExplicitClass(int&) throw();
+ NothrowExplicitClass(double&, int&, double&) throw();
+ };
+
+ struct ThrowExplicitClass
+ {
+ ThrowExplicitClass(double&) throw(int);
+ explicit ThrowExplicitClass(int&) throw(int);
+ ThrowExplicitClass(double&, int&, double&) throw(int);
+ };
+
+#ifdef __GXX_EXPERIMENTAL_CXX0X__
+ struct NoexceptExplicitClass
+ {
+ NoexceptExplicitClass(double&) noexcept(true);
+ explicit NoexceptExplicitClass(int&) noexcept(true);
+ NoexceptExplicitClass(double&, int&, double&) noexcept(true);
+ };
+
+ struct ExceptExplicitClass
+ {
+ ExceptExplicitClass(double&) noexcept(false);
+ explicit ExceptExplicitClass(int&) noexcept(false);
+ ExceptExplicitClass(double&, int&, double&) noexcept(false);
+ };
+#endif
+
+ struct NType // neither trivial nor standard-layout
+ {
+ int i;
+ int j;
+ virtual ~NType();
+ };
+
+ struct TType // trivial but not standard-layout
+ {
+ int i;
+ private:
+ int j;
+ };
+
+ struct SLType // standard-layout but not trivial
+ {
+ int i;
+ int j;
+ ~SLType();
+ };
+
+ struct PODType // both trivial and standard-layout
+ {
+ int i;
+ int j;
+ };
+
+#ifdef __GXX_EXPERIMENTAL_CXX0X__
+ struct LType // literal type
+ {
+ int _M_i;
+
+ constexpr LType(int __i) : _M_i(__i) { }
+ };
+
+ struct LTypeDerived : public LType
+ {
+ constexpr LTypeDerived(int __i) : LType(__i) { }
+ };
+
+ struct NLType // not literal type
+ {
+ int _M_i;
+
+ NLType() : _M_i(0) { }
+
+ constexpr NLType(int __i) : _M_i(__i) { }
+
+ NLType(const NLType& __other) : _M_i(__other._M_i) { }
+
+ ~NLType() { _M_i = 0; }
+ };
+#endif
+
+ int truncate_float(float x) { return (int)x; }
+ long truncate_double(double x) { return (long)x; }
+
+ struct do_truncate_float_t
+ {
+ do_truncate_float_t()
+ {
+ ++live_objects;
+ }
+
+ do_truncate_float_t(const do_truncate_float_t&)
+ {
+ ++live_objects;
+ }
+
+ ~do_truncate_float_t()
+ {
+ --live_objects;
+ }
+
+ int operator()(float x) { return (int)x; }
+
+ static int live_objects;
+ };
+
+ int do_truncate_float_t::live_objects = 0;
+
+ struct do_truncate_double_t
+ {
+ do_truncate_double_t()
+ {
+ ++live_objects;
+ }
+
+ do_truncate_double_t(const do_truncate_double_t&)
+ {
+ ++live_objects;
+ }
+
+ ~do_truncate_double_t()
+ {
+ --live_objects;
+ }
+
+ long operator()(double x) { return (long)x; }
+
+ static int live_objects;
+ };
+
+ int do_truncate_double_t::live_objects = 0;
+
+ struct X
+ {
+ int bar;
+
+ int foo() { return 1; }
+ int foo_c() const { return 2; }
+ int foo_v() volatile { return 3; }
+ int foo_cv() const volatile { return 4; }
+ };
+
+ // For use in 8_c_compatibility.
+ template<typename R, typename T>
+ typename __gnu_cxx::__enable_if<std::__are_same<R, T>::__value,
+ bool>::__type
+ check_ret_type(T)
+ { return true; }
+
+} // namespace __gnu_test
+
+#endif // _GLIBCXX_TESTSUITE_TR1_H