152 lines
4.7 KiB
C++
152 lines
4.7 KiB
C++
// Exception Handling support header for -*- C++ -*-
|
|
|
|
// Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
|
|
// 2004, 2005, 2006, 2007, 2008, 2009
|
|
// Free Software Foundation
|
|
//
|
|
// This file is part of GCC.
|
|
//
|
|
// GCC 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.
|
|
//
|
|
// GCC 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.
|
|
//
|
|
// Under Section 7 of GPL version 3, you are granted additional
|
|
// permissions described in the GCC Runtime Library Exception, version
|
|
// 3.1, as published by the Free Software Foundation.
|
|
|
|
// You should have received a copy of the GNU General Public License and
|
|
// a copy of the GCC Runtime Library Exception along with this program;
|
|
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
/** @file exception
|
|
* This is a Standard C++ Library header.
|
|
*/
|
|
|
|
#ifndef __EXCEPTION__
|
|
#define __EXCEPTION__
|
|
|
|
#pragma GCC visibility push(default)
|
|
|
|
#include <bits/c++config.h>
|
|
|
|
extern "C++" {
|
|
|
|
namespace std
|
|
{
|
|
/**
|
|
* @defgroup exceptions Exceptions
|
|
* @ingroup diagnostics
|
|
*
|
|
* Classes and functions for reporting errors via exception classes.
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* @brief Base class for all library exceptions.
|
|
*
|
|
* This is the base class for all exceptions thrown by the standard
|
|
* library, and by certain language expressions. You are free to derive
|
|
* your own %exception classes, or use a different hierarchy, or to
|
|
* throw non-class data (e.g., fundamental types).
|
|
*/
|
|
class exception
|
|
{
|
|
public:
|
|
exception() throw() { }
|
|
virtual ~exception() throw();
|
|
|
|
/** Returns a C-style character string describing the general cause
|
|
* of the current error. */
|
|
virtual const char* what() const throw();
|
|
};
|
|
|
|
/** If an %exception is thrown which is not listed in a function's
|
|
* %exception specification, one of these may be thrown. */
|
|
class bad_exception : public exception
|
|
{
|
|
public:
|
|
bad_exception() throw() { }
|
|
|
|
// This declaration is not useless:
|
|
// http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
|
|
virtual ~bad_exception() throw();
|
|
|
|
// See comment in eh_exception.cc.
|
|
virtual const char* what() const throw();
|
|
};
|
|
|
|
/// If you write a replacement %terminate handler, it must be of this type.
|
|
typedef void (*terminate_handler) ();
|
|
|
|
/// If you write a replacement %unexpected handler, it must be of this type.
|
|
typedef void (*unexpected_handler) ();
|
|
|
|
/// Takes a new handler function as an argument, returns the old function.
|
|
terminate_handler set_terminate(terminate_handler) throw();
|
|
|
|
/** The runtime will call this function if %exception handling must be
|
|
* abandoned for any reason. It can also be called by the user. */
|
|
void terminate() __attribute__ ((__noreturn__));
|
|
|
|
/// Takes a new handler function as an argument, returns the old function.
|
|
unexpected_handler set_unexpected(unexpected_handler) throw();
|
|
|
|
/** The runtime will call this function if an %exception is thrown which
|
|
* violates the function's %exception specification. */
|
|
void unexpected() __attribute__ ((__noreturn__));
|
|
|
|
/** [18.6.4]/1: "Returns true after completing evaluation of a
|
|
* throw-expression until either completing initialization of the
|
|
* exception-declaration in the matching handler or entering @c unexpected()
|
|
* due to the throw; or after entering @c terminate() for any reason
|
|
* other than an explicit call to @c terminate(). [Note: This includes
|
|
* stack unwinding [15.2]. end note]"
|
|
*
|
|
* 2: "When @c uncaught_exception() is true, throwing an %exception can
|
|
* result in a call of @c terminate() (15.5.1)."
|
|
*/
|
|
bool uncaught_exception() throw();
|
|
|
|
// @} group exceptions
|
|
} // namespace std
|
|
|
|
_GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
|
|
|
|
/**
|
|
* @brief A replacement for the standard terminate_handler which
|
|
* prints more information about the terminating exception (if any)
|
|
* on stderr.
|
|
*
|
|
* @ingroup exceptions
|
|
*
|
|
* Call
|
|
* @code
|
|
* std::set_terminate(__gnu_cxx::__verbose_terminate_handler)
|
|
* @endcode
|
|
* to use. For more info, see
|
|
* http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt02ch06s02.html
|
|
*
|
|
* In 3.4 and later, this is on by default.
|
|
*/
|
|
void __verbose_terminate_handler();
|
|
|
|
_GLIBCXX_END_NAMESPACE
|
|
|
|
} // extern "C++"
|
|
|
|
#pragma GCC visibility pop
|
|
|
|
#if (defined(__GXX_EXPERIMENTAL_CXX0X__) \
|
|
&& defined(_GLIBCXX_ATOMIC_BUILTINS_4))
|
|
#include <exception_ptr.h>
|
|
#endif
|
|
|
|
#endif
|