]>
Commit | Line | Data |
---|---|---|
6305f20a BK |
1 | // Exception Handling support header for -*- C++ -*- |
2 | // Copyright (C) 1995, 1996, 1997, 1998, 2000 Free Software Foundation | |
3 | ||
4 | // This file is part of GNU CC. | |
5 | // | |
6 | // GNU CC is free software; you can redistribute it and/or modify | |
7 | // it under the terms of the GNU General Public License as published by | |
8 | // the Free Software Foundation; either version 2, or (at your option) | |
9 | // any later version. | |
10 | // | |
11 | // GNU CC is distributed in the hope that it will be useful, | |
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | // GNU General Public License for more details. | |
15 | // | |
16 | // You should have received a copy of the GNU General Public License | |
17 | // along with GNU CC; see the file COPYING. If not, write to | |
18 | // the Free Software Foundation, 59 Temple Place - Suite 330, | |
19 | // Boston, MA 02111-1307, USA. | |
20 | ||
21 | // As a special exception, you may use this file as part of a free software | |
22 | // library without restriction. Specifically, if other files instantiate | |
23 | // templates or use macros or inline functions from this file, or you compile | |
24 | // this file and link it with other files to produce an executable, this | |
25 | // file does not by itself cause the resulting executable to be covered by | |
26 | // the GNU General Public License. This exception does not however | |
27 | // invalidate any other reasons why the executable file might be covered by | |
28 | // the GNU General Public License. | |
29 | ||
30 | #ifndef __EXCEPTION__ | |
31 | #define __EXCEPTION__ | |
32 | ||
33 | #pragma interface "exception" | |
34 | ||
35 | extern "C++" { | |
36 | ||
37 | namespace std { | |
38 | ||
39 | class exception { | |
40 | public: | |
41 | exception () { } | |
42 | virtual ~exception () { } | |
43 | virtual const char* what () const; | |
44 | }; | |
45 | ||
46 | class bad_exception : public exception { | |
47 | public: | |
48 | bad_exception () { } | |
49 | virtual ~bad_exception () { } | |
50 | }; | |
51 | ||
52 | typedef void (*terminate_handler) (); | |
53 | typedef void (*unexpected_handler) (); | |
54 | ||
55 | terminate_handler set_terminate (terminate_handler); | |
56 | void terminate () __attribute__ ((__noreturn__)); | |
57 | unexpected_handler set_unexpected (unexpected_handler); | |
58 | void unexpected () __attribute__ ((__noreturn__)); | |
59 | bool uncaught_exception (); | |
60 | ||
61 | } // namespace std | |
62 | ||
63 | } // extern "C++" | |
64 | ||
65 | #endif |