1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- ADA.EXCEPTIONS.STREAM_ATTRIBUTES --
9 -- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
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- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 with System.Exception_Table; use System.Exception_Table;
35 with System.Storage_Elements; use System.Storage_Elements;
37 separate (Ada.Exceptions)
38 package body Stream_Attributes is
44 function EId_To_String (X : Exception_Id) return String is
49 return Exception_Name (X);
57 -- We use the null string to represent the null occurrence, otherwise
58 -- we output the Exception_Information string for the occurrence.
60 function EO_To_String (X : Exception_Occurrence) return String is
62 if X.Id = Null_Id then
65 return Exception_Information (X);
73 function String_To_EId (S : String) return Exception_Id is
78 return Exception_Id (Internal_Exception (S));
86 function String_To_EO (S : String) return Exception_Occurrence is
90 X : aliased Exception_Occurrence;
91 -- This is the exception occurrence we will create
94 pragma No_Return (Bad_EO);
95 -- Signal bad exception occurrence string
97 procedure Next_String;
98 -- On entry, To points to last character of previous line of the
99 -- message, terminated by LF. On return, From .. To are set to
100 -- specify the next string, or From > To if there are no more lines.
105 (Program_Error'Identity,
106 "bad exception occurrence in stream input");
108 -- The following junk raise of Program_Error is required because
109 -- this is a No_Return function, and unfortunately Raise_Exception
110 -- can return (this particular call can't, but the back end is not
111 -- clever enough to know that).
116 procedure Next_String is
120 if From < S'Last then
123 while To < S'Last - 1 loop
126 elsif S (To + 1) = ASCII.LF then
135 -- Start of processing for String_To_EO
139 return Null_Occurrence;
142 X.Cleanup_Flag := False;
147 if S (From .. From + 15) /= "Exception name: " then
151 X.Id := Exception_Id (Internal_Exception (S (From + 16 .. To)));
155 if From <= To and then S (From) = 'M' then
156 if S (From .. From + 8) /= "Message: " then
160 X.Msg_Length := To - From - 8;
161 X.Msg (1 .. X.Msg_Length) := S (From + 9 .. To);
170 if From <= To and then S (From) = 'P' then
171 if S (From .. From + 3) /= "PID:" then
175 From := From + 5; -- skip past PID: space
177 while From <= To loop
178 X.Pid := X.Pid * 10 +
179 (Character'Pos (S (From)) - Character'Pos ('0'));
186 X.Num_Tracebacks := 0;
189 if S (From .. To) /= "Call stack traceback locations:" then
204 or else S (From + 1) /= 'x'
212 while From <= To loop
215 if Ch in '0' .. '9' then
217 Character'Pos (S (From)) - Character'Pos ('0');
219 elsif Ch in 'a' .. 'f' then
221 Character'Pos (S (From)) - Character'Pos ('a') + 10;
236 if X.Num_Tracebacks = Max_Tracebacks then
240 X.Num_Tracebacks := X.Num_Tracebacks + 1;
241 X.Tracebacks (X.Num_Tracebacks) :=
242 TBE.TB_Entry_For (To_Address (C));
247 -- If an exception was converted to a string, it must have
248 -- already been raised, so flag it accordingly and we are done.
250 X.Exception_Raised := True;
255 end Stream_Attributes;