OSDN Git Service

2007-02-01 Paolo Carlini <pcarlini@suse.de>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / libsupc++ / exception
1 // Exception Handling support header for -*- C++ -*-
2
3 // Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
4 // 2004, 2005, 2006, 2007
5 // Free Software Foundation
6 //
7 // This file is part of GCC.
8 //
9 // GCC is free software; you can redistribute it and/or modify
10 // it under the terms of the GNU General Public License as published by
11 // the Free Software Foundation; either version 2, or (at your option)
12 // any later version.
13 // 
14 // GCC is distributed in the hope that it will be useful,
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 // GNU General Public License for more details.
18 // 
19 // You should have received a copy of the GNU General Public License
20 // along with GCC; see the file COPYING.  If not, write to
21 // the Free Software Foundation, 51 Franklin Street, Fifth Floor,
22 // Boston, MA 02110-1301, USA.
23
24 // As a special exception, you may use this file as part of a free software
25 // library without restriction.  Specifically, if other files instantiate
26 // templates or use macros or inline functions from this file, or you compile
27 // this file and link it with other files to produce an executable, this
28 // file does not by itself cause the resulting executable to be covered by
29 // the GNU General Public License.  This exception does not however
30 // invalidate any other reasons why the executable file might be covered by
31 // the GNU General Public License.
32
33 /** @file exception
34  *  This is a Standard C++ Library header.
35  */
36
37 #ifndef __EXCEPTION__
38 #define __EXCEPTION__
39
40 #pragma GCC visibility push(default)
41
42 #include <bits/c++config.h>
43
44 extern "C++" {
45
46 namespace std 
47 {
48   /**
49    *  @brief Base class for all library exceptions.
50    *
51    *  This is the base class for all exceptions thrown by the standard
52    *  library, and by certain language expressions.  You are free to derive
53    *  your own %exception classes, or use a different hierarchy, or to
54    *  throw non-class data (e.g., fundamental types).
55    */
56   class exception 
57   {
58   public:
59     exception() throw() { }
60     virtual ~exception() throw();
61     /** Returns a C-style character string describing the general cause
62      *  of the current error.  */
63     virtual const char* what() const throw();
64   };
65
66   /** If an %exception is thrown which is not listed in a function's
67    *  %exception specification, one of these may be thrown.  */
68   class bad_exception : public exception 
69   {
70   public:
71     bad_exception() throw() { }
72     // This declaration is not useless:
73     // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
74     virtual ~bad_exception() throw();
75     // See comment in eh_exception.cc.
76     virtual const char* what() const throw();
77   };
78
79   /// If you write a replacement %terminate handler, it must be of this type.
80   typedef void (*terminate_handler) ();
81   /// If you write a replacement %unexpected handler, it must be of this type.
82   typedef void (*unexpected_handler) ();
83
84   /// Takes a new handler function as an argument, returns the old function.
85   terminate_handler set_terminate(terminate_handler) throw();
86   /** The runtime will call this function if %exception handling must be
87    *  abandoned for any reason.  It can also be called by the user.  */
88   void terminate() __attribute__ ((__noreturn__));
89
90   /// Takes a new handler function as an argument, returns the old function.
91   unexpected_handler set_unexpected(unexpected_handler) throw();
92   /** The runtime will call this function if an %exception is thrown which
93    *  violates the function's %exception specification.  */
94   void unexpected() __attribute__ ((__noreturn__));
95
96   /** [18.6.4]/1:  "Returns true after completing evaluation of a
97    *  throw-expression until either completing initialization of the
98    *  exception-declaration in the matching handler or entering @c unexpected()
99    *  due to the throw; or after entering @c terminate() for any reason
100    *  other than an explicit call to @c terminate().  [Note: This includes
101    *  stack unwinding [15.2].  end note]"
102    *
103    *  2:  "When @c uncaught_exception() is true, throwing an %exception can
104    *  result in a call of @c terminate() (15.5.1)."
105    */
106   bool uncaught_exception() throw();
107 } // namespace std
108
109 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
110
111   /** A replacement for the standard terminate_handler which prints more
112       information about the terminating exception (if any) on stderr.  Call
113       @code
114         std::set_terminate (__gnu_cxx::__verbose_terminate_handler)
115       @endcode
116       to use.  For more info, see
117       http://gcc.gnu.org/onlinedocs/libstdc++/19_diagnostics/howto.html#4
118
119       In 3.4 and later, this is on by default.
120   */
121   void __verbose_terminate_handler ();
122
123 _GLIBCXX_END_NAMESPACE
124   
125 } // extern "C++"
126
127 #pragma GCC visibility pop
128
129 #endif