summaryrefslogtreecommitdiff
path: root/gcc/ada/a-except.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/a-except.adb')
-rw-r--r--gcc/ada/a-except.adb58
1 files changed, 30 insertions, 28 deletions
diff --git a/gcc/ada/a-except.adb b/gcc/ada/a-except.adb
index f90858e1937..e7590085180 100644
--- a/gcc/ada/a-except.adb
+++ b/gcc/ada/a-except.adb
@@ -88,9 +88,9 @@ package body Ada.Exceptions is
package Exception_Data is
- ---------------------------------
- -- Exception messages routines --
- ---------------------------------
+ -----------------------------------
+ -- Exception Message Subprograms --
+ -----------------------------------
procedure Set_Exception_C_Msg
(Excep : EOA;
@@ -117,7 +117,7 @@ package body Ada.Exceptions is
-- message.
---------------------------------------
- -- Exception information subprograms --
+ -- Exception Information Subprograms --
---------------------------------------
function Untailored_Exception_Information
@@ -142,17 +142,17 @@ package body Ada.Exceptions is
--
-- The Exception_Name and Message lines are omitted in the abort
-- signal case, since this is not really an exception.
-
+ --
-- Note: If the format of the generated string is changed, please note
-- that an equivalent modification to the routine String_To_EO must be
-- made to preserve proper functioning of the stream attributes.
-
+ --
-- What is automatically output when exception tracing is on is the
-- usual exception information with the call chain backtrace possibly
-- tailored by a backtrace decorator. Modifying Exception_Information
-- itself is not a good idea because the decorated output is completely
-- out of control and would break all our code related to the streaming
- -- of exceptions. We then provide an alternative function to compute
+ -- of exceptions. We then provide an alternative function to compute
-- the possibly tailored output, which is equivalent if no decorator is
-- currently set:
@@ -173,9 +173,9 @@ package body Ada.Exceptions is
package Exception_Traces is
- ----------------------------------------------
- -- Run-Time Exception Notification Routines --
- ----------------------------------------------
+ -------------------------------------------------
+ -- Run-Time Exception Notification Subprograms --
+ -------------------------------------------------
-- These subprograms provide a common run-time interface to trigger the
-- actions required when an exception is about to be propagated (e.g.
@@ -207,9 +207,9 @@ package body Ada.Exceptions is
package Stream_Attributes is
- --------------------------------
- -- Stream attributes routines --
- --------------------------------
+ ----------------------------------
+ -- Stream Attribute Subprograms --
+ ----------------------------------
function EId_To_String (X : Exception_Id) return String;
function String_To_EId (S : String) return Exception_Id;
@@ -232,7 +232,8 @@ package body Ada.Exceptions is
-- about it.
procedure Raise_Exception_No_Defer
- (E : Exception_Id; Message : String := "");
+ (E : Exception_Id;
+ Message : String := "");
pragma Export
(Ada, Raise_Exception_No_Defer,
"ada__exceptions__raise_exception_no_defer");
@@ -346,18 +347,18 @@ package body Ada.Exceptions is
-- caller task. Target is expected to be a pointer to the fixed TSD
-- occurrence for this task.
- -----------------------------
- -- Run-Time Check Routines --
- -----------------------------
+ --------------------------------
+ -- Run-Time Check Subprograms --
+ --------------------------------
- -- These routines raise a specific exception with a reason message
+ -- These subprograms raise a specific exception with a reason message
-- attached. The parameters are the file name and line number in each
-- case. The names are defined by Exp_Ch11.Get_RT_Exception_Name.
- -- Note on ordering of these routines. Normally in the Ada.Exceptions units
- -- we don't care about the ordering of entries for Rcheck routines, and
- -- the normal approach is to keep them in the same order as declarations
- -- in Types.
+ -- Note on ordering of these subprograms. Normally in the Ada.Exceptions
+ -- units we do not care about the ordering of entries for Rcheck
+ -- subprograms, and the normal approach is to keep them in the same
+ -- order as declarations in Types.
-- This section is an IMPORTANT EXCEPTION. It is required by the .Net
-- runtime that the routine Rcheck_PE_Finalize_Raise_Exception is at the
@@ -443,7 +444,7 @@ package body Ada.Exceptions is
-- This routine is separated out because it has quite different behavior
-- from the others. This is the "finalize/adjust raised exception". This
-- subprogram is always called with abort deferred, unlike all other
- -- Rcheck_* routines, it needs to call Raise_Exception_No_Defer.
+ -- Rcheck_* subprograms, it needs to call Raise_Exception_No_Defer.
pragma Export (C, Rcheck_CE_Access_Check,
"__gnat_rcheck_CE_Access_Check");
@@ -1184,9 +1185,9 @@ package body Ada.Exceptions is
Raise_Current_Excep (E);
end Raise_With_Msg;
- --------------------------------------
- -- Calls to Run-Time Check Routines --
- --------------------------------------
+ -----------------------------------------
+ -- Calls to Run-Time Check Subprograms --
+ -----------------------------------------
procedure Rcheck_CE_Access_Check
(File : System.Address; Line : Integer)
@@ -1445,10 +1446,11 @@ package body Ada.Exceptions is
is
E : constant Exception_Id := Program_Error_Def'Access;
Excep : constant EOA := Get_Current_Excep.all;
+
begin
-- This is "finalize/adjust raised exception". This subprogram is always
- -- called with abort deferred, unlike all other Rcheck_* routines, it
- -- needs to call Raise_Exception_No_Defer.
+ -- called with abort deferred, unlike all other Rcheck_* subprograms,
+ -- itneeds to call Raise_Exception_No_Defer.
-- This is consistent with Raise_From_Controlled_Operation