comparison gcc/ada/libgnat/g-excact.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- G N A T . E X C E P T I O N _ A C T I O N S -- 5 -- G N A T . E X C E P T I O N _ A C T I O N S --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 2002-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 2002-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
27 -- GNAT was originally developed by the GNAT team at New York University. -- 27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. -- 28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
29 -- -- 29 -- --
30 ------------------------------------------------------------------------------ 30 ------------------------------------------------------------------------------
31 31
32 -- This package provides support for callbacks on exceptions 32 -- This package provides support for callbacks on exceptions as well as
33 -- exception-related utility subprograms of possible interest together with
34 -- exception actions or more generally.
33 35
34 -- These callbacks are called immediately when either a specific exception, 36 -- The callbacks are called immediately when either a specific exception,
35 -- or any exception, is raised, before any other actions taken by raise, in 37 -- or any exception, is raised, before any other actions taken by raise, in
36 -- particular before any unwinding of the stack occurs. 38 -- particular before any unwinding of the stack occurs.
37 39
38 -- Callbacks for specific exceptions are registered through calls to 40 -- Callbacks for specific exceptions are registered through calls to
39 -- Register_Id_Action. Here is an example of code that uses this package to 41 -- Register_Id_Action. Here is an example of code that uses this package to
83 -- an exception that is declared within an unlabeled block. 85 -- an exception that is declared within an unlabeled block.
84 -- 86 --
85 -- Note: All non-predefined exceptions will return Null_Id for programs 87 -- Note: All non-predefined exceptions will return Null_Id for programs
86 -- compiled with pragma Restriction (No_Exception_Registration) 88 -- compiled with pragma Restriction (No_Exception_Registration)
87 89
90 function Is_Foreign_Exception (E : Exception_Occurrence) return Boolean;
91 -- Tell whether the exception occurrence E represents a foreign exception,
92 -- such as one raised in C++ and caught by a when others choice in Ada.
93
88 function Registered_Exceptions_Count return Natural; 94 function Registered_Exceptions_Count return Natural;
89 -- Return the number of exceptions that have been registered so far. 95 -- Return the number of exceptions that have been registered so far.
90 -- Exceptions declared locally will not appear in this list until their 96 -- Exceptions declared locally will not appear in this list until their
91 -- block has been executed at least once. 97 -- block has been executed at least once.
92 -- 98 --