3 package body Noreturn2
is
5 procedure Raise_Exception_No_Defer
(Message
: String);
6 pragma No_Return
(Raise_Exception_No_Defer
);
8 procedure Raise_From
(X
: Exception_Occurrence
) is
9 Occurrence_Message
: constant String := Exception_Message
(X
);
11 if Occurrence_Message
= "$" then
12 Raise_Exception_No_Defer
(Occurrence_Message
);
14 Raise_Exception_No_Defer
("::" & Occurrence_Message
);
18 procedure Raise_Exception_No_Defer
(Message
: String) is