Re: Re-write a file in Ada

[gautier_niouzes@hotmail.com]

On Tuesday, January 19, 2016 at 1:27:22 PM UTC+1, Brian Drummond wrote:

> Agreed. Traceback would be very helpful. Because I can never remember 
> how, I'll outline it here, partly in the hope of memorising it. From
> 
> https://gcc.gnu.org/onlinedocs/gnat_ugn/Non-Symbolic-Traceback.html#Non-
> Symbolic-Traceback

There is a way that doesn't need calling post-mortem addr2line: wrap your main procedure with the TB_Wrap generic procedure below, by instanciating the wrapper like this:
  with TB_Wrap, To_BMP;
  pragma Elaborate_All(TB_Wrap);
  procedure TB_To_BMP is new TB_Wrap(To_BMP);

_________________________ 
Gautier's Ada programming 
http://www.openhub.net/accounts/gautier_bd

-----------------------------------------------------------------------
--  File:            TB_Wrap.ads
--  Description:     Trace-back wrapper for GNAT 3.13p+ (spec.)
-----------------------------------------------------------------------

generic
  with procedure My_main_procedure;
procedure TB_Wrap;

---------------------------------------------------------------------------
--  File:            TB_Wrap.adb
--  Description:     Trace-back wrapper for GNAT 3.13p+ (body)
---------------------------------------------------------------------------

with GNAT.Traceback.Symbolic, Ada.Exceptions, Ada.Text_IO;
use Ada.Exceptions, Ada.Text_IO;

procedure TB_Wrap is
  --  pragma Compiler_options("-g");
  --  pragma Binder_options("-E");
begin
  My_main_procedure;
exception
  when E: others =>
    New_Line(Standard_Error);
    Put_Line(Standard_Error,
             "------------------[ Unhandled exception ]---------------");
    Put_Line(Standard_Error, " > Name of exception . . . . .: " &
             Ada.Exceptions.Exception_Name(E) );
    Put_Line(Standard_Error, " > Message for exception . . .: " &
             Ada.Exceptions.Exception_Message(E) );
    Put_Line(Standard_Error, " > Trace-back of call stack: " );
    Put_Line(Standard_Error, GNAT.Traceback.Symbolic.Symbolic_Traceback(E) );
end TB_Wrap;