2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
[official-gcc.git] / gcc / ada / s-trasym.ads
blobea0b46bf9fc3863f64c6ce836bc733eaa334c631
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT RUN-TIME COMPONENTS --
4 -- --
5 -- S Y S T E M . T R A C E B A C K . S Y M B O L I C --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1999-2014, AdaCore --
10 -- --
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 3, 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. --
17 -- --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
29 -- --
30 ------------------------------------------------------------------------------
32 -- Run-time symbolic traceback support
34 -- The routines provided in this package assume that your application has
35 -- been compiled with debugging information turned on, since this information
36 -- is used to build a symbolic traceback.
38 -- If you want to retrieve tracebacks from exception occurrences, it is also
39 -- necessary to invoke the binder with -E switch. Please refer to the gnatbind
40 -- documentation for more information.
42 -- Note that it is also possible (and often recommended) to compute symbolic
43 -- traceback outside the program execution, which in addition allows you
44 -- to distribute the executable with no debug info:
46 -- - build your executable with debug info
47 -- - archive this executable
48 -- - strip a copy of the executable and distribute/deploy this version
49 -- - at run time, compute absolute traceback (-bargs -E) from your
50 -- executable and log it using Ada.Exceptions.Exception_Information
51 -- - off line, compute the symbolic traceback using the executable archived
52 -- with debug info and addr2line or gdb (using info line *<addr>) on the
53 -- absolute addresses logged by your application.
55 -- In order to retrieve symbolic information, functions in this package will
56 -- read on disk all the debug information of the executable file (found via
57 -- Argument (0), and looked in the PATH if needed) or shared libraries using
58 -- OS facilities, and load them in memory, causing a significant cpu and
59 -- memory overhead.
61 -- On platforms where the full capability is not supported, function
62 -- Symbolic_Traceback return a list of addresses expressed as "0x..."
63 -- separated by line feed.
65 with Ada.Exceptions;
67 package System.Traceback.Symbolic is
68 pragma Elaborate_Body;
70 function Symbolic_Traceback
71 (Traceback : System.Traceback_Entries.Tracebacks_Array) return String;
72 -- Build a string containing a symbolic traceback of the given call chain.
73 -- Note: This procedure may be installed by Set_Trace_Decorator, to get a
74 -- symbolic traceback on all exceptions raised (see
75 -- System.Exception_Traces).
77 function Symbolic_Traceback
78 (E : Ada.Exceptions.Exception_Occurrence) return String;
79 -- Build string containing symbolic traceback of given exception occurrence
81 end System.Traceback.Symbolic;