1------------------------------------------------------------------------------ 2-- -- 3-- GNAT COMPILER COMPONENTS -- 4-- -- 5-- S Y S T E M . E X C E P T I O N S _ D E B U G -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 2006-2011, Free Software Foundation, Inc. -- 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------------------------------------------------------------------------------ 31 32-- This package contains internal routines used as debugger helpers. 33-- It should be compiled without optimization to let debuggers inspect 34-- parameter values reliably from breakpoints on the routines. 35 36pragma Compiler_Unit; 37 38with System.Standard_Library; 39 40package System.Exceptions_Debug is 41 42 pragma Preelaborate_05; 43 -- To let Ada.Exceptions "with" us and let us "with" Standard_Library 44 45 package SSL renames System.Standard_Library; 46 -- To let some of the hooks below have formal parameters typed in 47 -- accordance with what GDB expects. 48 49 procedure Debug_Raise_Exception (E : SSL.Exception_Data_Ptr); 50 pragma Export 51 (Ada, Debug_Raise_Exception, "__gnat_debug_raise_exception"); 52 -- Hook called at a "raise" point for an exception E, when it is 53 -- just about to be propagated. 54 55 procedure Debug_Unhandled_Exception (E : SSL.Exception_Data_Ptr); 56 pragma Export 57 (Ada, Debug_Unhandled_Exception, "__gnat_unhandled_exception"); 58 -- Hook called during the propagation process of an exception E, as soon 59 -- as it is known to be unhandled. 60 61 procedure Debug_Raise_Assert_Failure; 62 pragma Export 63 (Ada, Debug_Raise_Assert_Failure, "__gnat_debug_raise_assert_failure"); 64 -- Hook called when an assertion failed. This is used by the debugger to 65 -- intercept assertion failures, and treat them specially. 66 67 procedure Local_Raise (Excep : System.Address); 68 pragma Export (Ada, Local_Raise); 69 -- This is a dummy routine, used only by the debugger for the purpose of 70 -- logging local raise statements that were transformed into a direct goto 71 -- to the handler code. The compiler in this case generates: 72 -- 73 -- Local_Raise (exception_data'address); 74 -- goto Handler 75 -- 76 -- The argument is the address of the exception data 77end System.Exceptions_Debug; 78