diff options
Diffstat (limited to 'gcc/ada/debug_a.ads')
| -rw-r--r-- | gcc/ada/debug_a.ads | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/gcc/ada/debug_a.ads b/gcc/ada/debug_a.ads new file mode 100644 index 00000000000..cc62a03b6d2 --- /dev/null +++ b/gcc/ada/debug_a.ads @@ -0,0 +1,66 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- D E B U G _ A -- +-- -- +-- S p e c -- +-- -- +-- $Revision: 1.8 $ -- +-- -- +-- Copyright (C) 1992-1998 Free Software Foundation, Inc. -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- +-- MA 02111-1307, USA. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). -- +-- -- +------------------------------------------------------------------------------ + +-- This package contains data and subprograms to support the A debug switch +-- that is used to generate output showing what node is being analyzed, +-- resolved, evaluated, or expanded. + +with Types; use Types; + +package Debug_A is + + -- Note: the following subprograms are used in a stack like manner, with + -- an exit call matching each entry call. This means that they can keep + -- track of the current node being worked on, with the entry call setting + -- a new value, by pushing the Node_Id value on a stack, and the exit call + -- popping this value off. Comperr.Current_Error_Node is set by both the + -- entry and exit routines to point to the current node so that an abort + -- message indicates the node involved as accurately as possible. + + procedure Debug_A_Entry (S : String; N : Node_Id); + pragma Inline (Debug_A_Entry); + -- Generates a message prefixed by a sequence of bars showing the nesting + -- depth (depth increases by 1 for a Debug_A_Entry call and is decreased + -- by the corresponding Debug_A_Exit call). Then the string is output + -- (analyzing, expanding etc), followed by the node number and its kind. + -- This output is generated only if the debug A flag is set. If the debug + -- A flag is not set, then no output is generated. This call also sets the + -- Node_Id value in Comperr.Current_Error_Node in case a bomb occurs. This + -- is done unconditionally, whether or not the debug A flag is set. + + procedure Debug_A_Exit (S : String; N : Node_Id; Comment : String); + pragma Inline (Debug_A_Exit); + -- Generates the corresponding termination message. The message is preceded + -- by a sequence of bars, followed by the string S, the node number, and + -- a trailing comment (e.g. " (already evaluated)"). This output is + -- generated only if the debug A flag is set. If the debug A flag is not + -- set, then no output is generated. This call also resets the value in + -- Comperr.Current_Error_Node to what it was before the corresponding call + -- to Debug_A_Entry. + +end Debug_A; |