libstdc++-v3/testsuite/util/testsuite_api.h

   1 // -*- C++ -*-
   2 // Exception testing utils for the C++ library testsuite.
   3 //
   4 // Copyright (C) 2007 Free Software Foundation, Inc.
   5 //
   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)
  10 // any later version.
  11 //
  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.
  16 //
  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,
  20 // USA.
  21 //
  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.
  30
  31 #include <exception>
  32 #include <testsuite_hooks.h>
  33
  34 #ifndef _TESTSUITE_API
  35 #define _TESTSUITE_API 1
  36
  37 namespace __gnu_test
  38 {
  39   // Checks for virtual public derivation in exception classes.
  40   // See:
  41   // http://www.boost.org/more/error_handling.html
  42   struct bad_non_virtual : virtual public std::exception { };
  43
  44   template<typename Exception, bool DefaultCons>
  45     struct diamond_derivation_base;
  46
  47   template<typename Exception>
  48     struct diamond_derivation_base<Exception, true>
  49     {
  50       struct diamond_derivation_error: bad_non_virtual, Exception
  51       {
  52         diamond_derivation_error() : bad_non_virtual(), Exception() { }
  53       };
  54     };
  55
  56   template<typename Exception>
  57     struct diamond_derivation_base<Exception, false>
  58     {
  59       struct diamond_derivation_error: bad_non_virtual, Exception
  60       {
  61         diamond_derivation_error()
  62         : bad_non_virtual(), Exception("construct diamond") { }
  63       };
  64     };
  65
  66   template<typename Exception, bool DefaultCons>
  67     struct diamond_derivation: diamond_derivation_base<Exception, DefaultCons>
  68     {
  69       typedef diamond_derivation_base<Exception, DefaultCons> base_type;
  70       typedef typename base_type::diamond_derivation_error error_type;
  71
  72       static void test()
  73       {
  74         bool test __attribute__((unused)) = true;
  75         try { throw error_type(); }
  76         catch (std::exception const& e) { }
  77         catch (...)
  78           { VERIFY( false ); }
  79       }
  80     };
  81
  82   // Testing type requirements for template arguments.
  83   struct NonDefaultConstructible
  84   {
  85     NonDefaultConstructible(int) { }
  86     NonDefaultConstructible(const NonDefaultConstructible&) { }
  87   };
  88
  89   // See: 20.1.1 Template argument requirements.
  90   inline bool
  91   operator==(const NonDefaultConstructible&, const NonDefaultConstructible&)
  92   { return false; }
  93
  94   inline bool
  95   operator<(const NonDefaultConstructible&, const NonDefaultConstructible&)
  96   { return false; }
  97
  98   // For 26 numeric algorithms requirements, need addable,
  99   // subtractable, multiplicable.
 100   inline NonDefaultConstructible
 101   operator+(const NonDefaultConstructible& lhs,
 102             const NonDefaultConstructible& rhs)
 103   { return NonDefaultConstructible(1); }
 104
 105   inline NonDefaultConstructible
 106   operator-(const NonDefaultConstructible& lhs,
 107             const NonDefaultConstructible& rhs)
 108   { return NonDefaultConstructible(1); }
 109
 110   inline NonDefaultConstructible
 111   operator*(const NonDefaultConstructible& lhs,
 112             const NonDefaultConstructible& rhs)
 113   { return NonDefaultConstructible(1); }
 114
 115   // Like unary_function, but takes no argument. (ie, void).
 116   // Used for generator template parameter.
 117   template<typename _Result>
 118     struct void_function
 119     {
 120       typedef _Result result_type;
 121
 122       result_type
 123       operator()() const
 124       { return result_type(); }
 125     };
 126
 127   template<>
 128     struct void_function<NonDefaultConstructible>
 129     {
 130       typedef NonDefaultConstructible result_type;
 131
 132       result_type
 133       operator()() const
 134       { return result_type(2); }
 135     };
 136
 137 }
 138 #endif