mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 12:00:11 -05:00
93 lines
5.1 KiB
Ada
93 lines
5.1 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT RUN-TIME COMPONENTS --
|
|
-- --
|
|
-- G N A T . C P P _ E X C E P T I O N S --
|
|
-- --
|
|
-- S p e c --
|
|
-- --
|
|
-- Copyright (C) 2013-2026, AdaCore --
|
|
-- --
|
|
-- GNAT is free software; you can redistribute it and/or modify it under --
|
|
-- terms of the GNU General Public License as published by the Free Soft- --
|
|
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
|
-- or FITNESS FOR A PARTICULAR PURPOSE. --
|
|
-- --
|
|
-- As a special exception 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/>. --
|
|
-- --
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
-- This package provides an interface for raising and handling C++ exceptions
|
|
|
|
with System;
|
|
with Ada.Exceptions; use Ada.Exceptions;
|
|
with GNAT.CPP.Std; use GNAT.CPP.Std;
|
|
|
|
package GNAT.CPP_Exceptions is
|
|
generic
|
|
type T is private;
|
|
procedure Raise_Cpp_Exception (Id : Exception_Id; Value : T);
|
|
-- Raise a C++ exception identified by Id. Associate Value with this
|
|
-- occurrence. Id must refer to an exception that has the Cpp convention.
|
|
|
|
function Get_Object_Address
|
|
(X : Exception_Occurrence) return System.Address;
|
|
-- Extract the address of the object associated with X. The
|
|
-- exception of the occurrence X must have a Cpp Convention. When
|
|
-- the exception handler catches a base type of the raised object,
|
|
-- the returned address is that of the base type part of the
|
|
-- object, the type explicitly expected by the handler.
|
|
|
|
generic
|
|
type T is private;
|
|
function Get_Object (X : Exception_Occurrence) return T;
|
|
-- Extract the object associated with X. The exception of the
|
|
-- occurrence X must have a Cpp Convention. When the exception
|
|
-- handler catches a base type of the raised object, the returned
|
|
-- object is (a copy of) the base type portion of the object.
|
|
|
|
generic
|
|
type T is limited private;
|
|
function Get_Access_To_Object (X : Exception_Occurrence)
|
|
return access T;
|
|
-- Extract the object associated with X. The exception of the
|
|
-- occurrence X must have a Cpp Convention. When the exception
|
|
-- handler catches a base type of the raised object, access is
|
|
-- returned to the base type part of the object, the type
|
|
-- explicitly expected by the handler.
|
|
|
|
generic
|
|
type T is abstract tagged limited private;
|
|
function Get_Access_To_Tagged_Object (X : Exception_Occurrence)
|
|
return access T'Class;
|
|
-- Extract the object associated with X. The exception of the
|
|
-- occurrence X must have a Cpp Convention. When the exception
|
|
-- handler catches a base type of the raised object, access is
|
|
-- returned to the base type part of the object, the type
|
|
-- explicitly expected by the handler.
|
|
|
|
function Get_Type_Info (X : Exception_Occurrence) return Type_Info_Ptr;
|
|
-- Obtain the type information of the full C++ object raised as X.
|
|
-- When the exception is caught using a base-type match exception,
|
|
-- this may be a derived class from that named for the exception.
|
|
|
|
function Get_Type_Info (Id : Exception_Id) return Type_Info_Ptr;
|
|
-- Obtain the type information of a C++ exception type. This will
|
|
-- be the std::type_info object named in the exception
|
|
-- declaration, even if ID is taken from an exception occurrence
|
|
-- containing an object of a derived type.
|
|
|
|
end GNAT.CPP_Exceptions;
|