Re: gnat: symbolic traceback on exceptions

["Björn Lundin" <bnl@spray.se>]

2005-05-23 kl. 12.48 skrev Manuel Collado:
>
> ..> gnatmake -g main_program -bargs -E

This is a requirement below as well


> Or can it be programmatically generated, by explicitly invoking the 
> message generation from the main program? Something like:
>
>   procedure main_program is
>   begin
>     ...
>   exception
>     when others => Trace_Exception;
>  end main_program;
>
> Where Trace_Exception is a general trace routine that uses gnat 
> specific features and library routines. (which ones?)

Not compiled, not tested, but should work
You could put it in a separate package if you like.
/Björn

-----------
with Ada.Exceptions;
with Text_Io; use Text_Io;
with Gnat.Traceback;


procedure A_Test is
   A : String (1..1);

   procedure Tracebackinfo(E : Ada.Exceptions.Exception_Occurrence) is
     Last_Exception_Name     : constant String := 
Ada.Exceptions.Exception_Name(E);
     Last_Exception_Messsage : constant String:= 
Ada.Exceptions.Exception_Message(E);
     Last_Exception_Info     : constant String:= 
Ada.Exceptions.Exception_Information(E);
   begin
     Put("Exception raised : ");  Put_Line(Last_Exception_Name);
     New_Line;
     Put_Line("Message : " & Last_Exception_Messsage);
     Put_Line(Last_Exception_Info);
     Put_Line("...................................................");
     New_Line;
     Put_Line("Hex      Subprogram name and file");
     Put_Line("-----    ------------------------");
     Put_Line(Gnat.Traceback.Symbolic.Symbolic_Traceback(E));
     Put_Line("-------------------------------------------------");
   end Tracebackinfo;

begin
  A := "Hello, this raises Constraint_Error";
exception
   when E: others =>
     Tracebackinfo(E);
end A_Test;



Björn Lundin
bnl at spray dot se