-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, 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- --
+-- ware Foundation; either version 3, 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, 51 Franklin Street, Fifth Floor, --
--- Boston, MA 02110-1301, USA. --
+-- Public License distributed with GNAT; see file COPYING3. If not, go to --
+-- http://www.gnu.org/licenses for a complete copy of the license. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
with Opt; use Opt;
with Output; use Output;
with Rtsfind; use Rtsfind;
+with Sem_Eval; use Sem_Eval;
+with Sem_Util; use Sem_Util;
with Sinfo; use Sinfo;
with Sinput; use Sinput;
with Sinput.D; use Sinput.D;
with Urealp; use Urealp;
package body Sprint is
+ Current_Source_File : Source_File_Index;
+ -- Index of source file whose generated code is being dumped
- Debug_Node : Node_Id := Empty;
- -- If we are in Debug_Generated_Code mode, then this location is set
- -- to the current node requiring Sloc fixup, until Set_Debug_Sloc is
- -- called to set the proper value. The call clears it back to Empty.
+ Dump_Node : Node_Id := Empty;
+ -- This is set to the current node, used for printing line numbers. In
+ -- Debug_Generated_Code mode, Dump_Node is set to the current node
+ -- requiring Sloc fixup, until Set_Debug_Sloc is called to set the proper
+ -- value. The call clears it back to Empty.
Debug_Sloc : Source_Ptr;
-- Sloc of first byte of line currently being written if we are
Dump_Freeze_Null : Boolean;
-- Set True if freeze nodes and non-source null statements output
+ Freeze_Indent : Int := 0;
+ -- Keep track of freeze indent level (controls output of blank lines before
+ -- procedures within expression freeze actions). Relevant only if we are
+ -- not in Dump_Source_Text mode, since in Dump_Source_Text mode we don't
+ -- output these blank lines in any case.
+
Indent : Int := 0;
-- Number of columns for current line output indentation
-- Set True if subsequent Write_Indent call to be ignored, gets reset
-- by this call, so it is only active to suppress a single indent call.
- Line_Limit : constant := 72;
- -- Limit value for chopping long lines
-
- Freeze_Indent : Int := 0;
- -- Keep track of freeze indent level (controls blank lines before
- -- procedures within expression freeze actions)
+ Last_Line_Printed : Physical_Line_Number;
+ -- This keeps track of the physical line number of the last source line
+ -- that has been output. The value is only valid in Dump_Source_Text mode.
-------------------------------
-- Operator Precedence Table --
-- then start an extra line with two characters extra indentation for
-- continuing text on the next line.
+ procedure Extra_Blank_Line;
+ -- In some situations we write extra blank lines to separate the generated
+ -- code to make it more readable. However, these extra blank lines are not
+ -- generated in Dump_Source_Text mode, since there the source text lines
+ -- output with preceding blank lines are quite sufficient as separators.
+ -- This procedure writes a blank line if Dump_Source_Text is False.
+
procedure Indent_Annull;
-- Causes following call to Write_Indent to be ignored. This is used when
-- a higher level node wants to stop a lower level node from starting a
procedure Indent_End;
-- Decrease indentation level
- procedure Note_Implicit_Run_Time_Call (N : Node_Id);
- -- N is the Name field of a function call or procedure statement call.
- -- The effect of the call is to output a $ if the call is identified as
- -- an implicit call to a run time routine.
-
procedure Print_Debug_Line (S : String);
-- Used to print output lines in Debug_Generated_Code mode (this is used
-- as the argument for a call to Set_Special_Output in package Output).
-- appropriate special syntax characters (# and @).
procedure Set_Debug_Sloc;
- -- If Debug_Node is non-empty, this routine sets the appropriate value
+ -- If Dump_Node is non-empty, this routine sets the appropriate value
-- in its Sloc field, from the current location in the debug source file
- -- that is currently being written. Note that Debug_Node is always empty
- -- if a debug source file is not being written.
+ -- that is currently being written.
procedure Sprint_And_List (List : List_Id);
-- Print the given list with items separated by vertical "and"
procedure Sprint_Bar_List (List : List_Id);
-- Print the given list with items separated by vertical bars
+ procedure Sprint_End_Label
+ (Node : Node_Id;
+ Default : Node_Id);
+ -- Print the end label for a Handled_Sequence_Of_Statements in a body.
+ -- If there is not end label, use the defining identifier of the enclosing
+ -- construct. If the end label is present, treat it as a reference to the
+ -- defining entity of the construct: this guarantees that it carries the
+ -- proper sloc information for debugging purposes.
+
procedure Sprint_Node_Actual (Node : Node_Id);
-- This routine prints its node argument. It is a lower level routine than
-- Sprint_Node, in that it does not bother about rewritten trees.
-- of the sprinted node Node. Note that this is done after printing
-- Node, so that the Sloc is the proper updated value for the debug file.
+ procedure Update_Itype (Node : Node_Id);
+ -- Update the Sloc of an itype that is not attached to the tree, when
+ -- debugging expanded code. This routine is called from nodes whose
+ -- type can be an Itype, such as defining_identifiers that may be of
+ -- an anonymous access type, or ranges in slices.
+
procedure Write_Char_Sloc (C : Character);
-- Like Write_Char, except that if C is non-blank, Set_Debug_Sloc is
-- called to ensure that the current node has a proper Sloc set.
procedure Write_Condition_And_Reason (Node : Node_Id);
-- Write Condition and Reason codes of Raise_xxx_Error node
+ procedure Write_Corresponding_Source (S : String);
+ -- If S is a string with a single keyword (possibly followed by a space),
+ -- and if the next non-comment non-blank source line matches this keyword,
+ -- then output all source lines up to this matching line.
+
procedure Write_Discr_Specs (N : Node_Id);
- -- Ouput discriminant specification for node, which is any of the type
+ -- Output discriminant specification for node, which is any of the type
-- declarations that can have discriminants.
procedure Write_Ekind (E : Entity_Id);
function Write_Indent_Identifiers_Sloc (Node : Node_Id) return Boolean;
-- Like Write_Indent_Identifiers except that in Debug_Generated_Code
- -- mode, the Sloc of the current debug node is set to point ot the
+ -- mode, the Sloc of the current debug node is set to point to the
-- first output identifier.
procedure Write_Indent_Str (S : String);
-- generated code only, since in this case we don't specially mark nodes
-- created by rewriting).
+ procedure Write_Source_Line (L : Physical_Line_Number);
+ -- If writing of interspersed source lines is enabled, then write the given
+ -- line from the source file, preceded by Eol, then an extra blank line if
+ -- the line has at least one blank, is not a comment and is not line one,
+ -- then "--" and the line number followed by period followed by text of the
+ -- source line (without terminating Eol). If interspersed source line
+ -- output not enabled, then the call has no effect.
+
+ procedure Write_Source_Lines (L : Physical_Line_Number);
+ -- If writing of interspersed source lines is enabled, then writes source
+ -- lines Last_Line_Printed + 1 .. L, and updates Last_Line_Printed. If
+ -- interspersed source line output not enabled, then call has no effect.
+
procedure Write_Str_Sloc (S : String);
-- Like Write_Str, but sets debug Sloc of current debug node to first
-- non-blank character if a current debug node is active.
-- initial Write_Indent (to get new line) if current line is too full.
procedure Write_Str_With_Col_Check_Sloc (S : String);
- -- Like Write_Str_WIth_Col_Check, but sets debug Sloc of current debug
+ -- Like Write_Str_With_Col_Check, but sets debug Sloc of current debug
-- node to first non-blank character if a current debug node is active.
+ procedure Write_Subprogram_Name (N : Node_Id);
+ -- N is the Name field of a function call or procedure statement call.
+ -- The effect of the call is to output the name, preceded by a $ if the
+ -- call is identified as an implicit call to a run time routine.
+
procedure Write_Uint_With_Col_Check (U : Uint; Format : UI_Format);
-- Write Uint (using UI_Write) with initial column check, and possible
-- initial Write_Indent (to get new line) if current line is too full.
procedure Col_Check (N : Nat) is
begin
- if N + Column > Line_Limit then
+ if N + Column > Sprint_Line_Limit then
Write_Indent_Str (" ");
end if;
end Col_Check;
+ ----------------------
+ -- Extra_Blank_Line --
+ ----------------------
+
+ procedure Extra_Blank_Line is
+ begin
+ if not Dump_Source_Text then
+ Write_Indent;
+ end if;
+ end Extra_Blank_Line;
+
-------------------
-- Indent_Annull --
-------------------
Indent := Indent - 3;
end Indent_End;
- ---------------------------------
- -- Note_Implicit_Run_Time_Call --
- ---------------------------------
-
- procedure Note_Implicit_Run_Time_Call (N : Node_Id) is
- begin
- if not Comes_From_Source (N)
- and then Is_Entity_Name (N)
- then
- declare
- Ent : constant Entity_Id := Entity (N);
- begin
- if not In_Extended_Main_Source_Unit (Ent)
- and then
- Is_Predefined_File_Name
- (Unit_File_Name (Get_Source_Unit (Ent)))
- then
- Col_Check (Length_Of_Name (Chars (Ent)));
- Write_Char ('$');
- end if;
- end;
- end if;
- end Note_Implicit_Run_Time_Call;
-
--------
-- pg --
--------
- procedure pg (Node : Node_Id) is
+ procedure pg (Arg : Union_Id) is
begin
Dump_Generated_Only := True;
Dump_Original_Only := False;
- Sprint_Node (Node);
+ Current_Source_File := No_Source_File;
+
+ if Arg in List_Range then
+ Sprint_Node_List (List_Id (Arg));
+
+ elsif Arg in Node_Range then
+ Sprint_Node (Node_Id (Arg));
+
+ else
+ null;
+ end if;
+
Write_Eol;
end pg;
-- po --
--------
- procedure po (Node : Node_Id) is
+ procedure po (Arg : Union_Id) is
begin
Dump_Generated_Only := False;
Dump_Original_Only := True;
- Sprint_Node (Node);
+ Current_Source_File := No_Source_File;
+
+ if Arg in List_Range then
+ Sprint_Node_List (List_Id (Arg));
+
+ elsif Arg in Node_Range then
+ Sprint_Node (Node_Id (Arg));
+
+ else
+ null;
+ end if;
+
Write_Eol;
end po;
-- ps --
--------
- procedure ps (Node : Node_Id) is
+ procedure ps (Arg : Union_Id) is
begin
Dump_Generated_Only := False;
Dump_Original_Only := False;
- Sprint_Node (Node);
+ Current_Source_File := No_Source_File;
+
+ if Arg in List_Range then
+ Sprint_Node_List (List_Id (Arg));
+
+ elsif Arg in Node_Range then
+ Sprint_Node (Node_Id (Arg));
+
+ else
+ null;
+ end if;
+
Write_Eol;
end ps;
procedure Set_Debug_Sloc is
begin
- if Present (Debug_Node) then
- Set_Sloc (Debug_Node, Debug_Sloc + Source_Ptr (Column - 1));
- Debug_Node := Empty;
+ if Debug_Generated_Code and then Present (Dump_Node) then
+ Set_Sloc (Dump_Node, Debug_Sloc + Source_Ptr (Column - 1));
+ Dump_Node := Empty;
end if;
end Set_Debug_Sloc;
procedure Underline;
-- Put underline under string we just printed
+ ---------------
+ -- Underline --
+ ---------------
+
procedure Underline is
Col : constant Int := Column;
Write_Eol;
end Underline;
- -- Start of processing for Tree_Dump
+ -- Start of processing for Source_Dump
begin
Dump_Generated_Only := Debug_Flag_G or
-- avoids an infinite loop if an abort occurs during the dump.
if Debug_Flag_Z then
+ Current_Source_File := No_Source_File;
Debug_Flag_Z := False;
Write_Eol;
Write_Eol;
-- Dump requested units
for U in Main_Unit .. Last_Unit loop
+ Current_Source_File := Source_Index (U);
-- Dump all units if -gnatdf set, otherwise we dump only
-- the source files that are in the extended main source.
if Debug_Generated_Code then
Set_Special_Output (Print_Debug_Line'Access);
Create_Debug_Source (Source_Index (U), Debug_Sloc);
+ Write_Source_Line (1);
+ Last_Line_Printed := 1;
Sprint_Node (Cunit (U));
+ Write_Source_Lines (Last_Source_Line (Current_Source_File));
Write_Eol;
Close_Debug_Source;
Set_Special_Output (null);
Write_Str ("Source recreated from tree for ");
Write_Unit_Name (Unit_Name (U));
Underline;
+ Write_Source_Line (1);
+ Last_Line_Printed := 1;
Sprint_Node (Cunit (U));
+ Write_Source_Lines (Last_Source_Line (Current_Source_File));
Write_Eol;
Write_Eol;
end if;
end if;
end Sprint_Bar_List;
+ ----------------------
+ -- Sprint_End_Label --
+ ----------------------
+
+ procedure Sprint_End_Label
+ (Node : Node_Id;
+ Default : Node_Id)
+ is
+ begin
+ if Present (Node)
+ and then Present (End_Label (Node))
+ and then Is_Entity_Name (End_Label (Node))
+ then
+ Set_Entity (End_Label (Node), Default);
+
+ -- For a function whose name is an operator, use the qualified name
+ -- created for the defining entity.
+
+ if Nkind (End_Label (Node)) = N_Operator_Symbol then
+ Set_Chars (End_Label (Node), Chars (Default));
+ end if;
+
+ Sprint_Node (End_Label (Node));
+ else
+ Sprint_Node (Default);
+ end if;
+ end Sprint_End_Label;
+
-----------------------
-- Sprint_Comma_List --
-----------------------
------------------------
procedure Sprint_Node_Actual (Node : Node_Id) is
- Save_Debug_Node : constant Node_Id := Debug_Node;
+ Save_Dump_Node : constant Node_Id := Dump_Node;
begin
if Node = Empty then
Write_Str_With_Col_Check ("(");
end loop;
- -- Setup node for Sloc fixup if writing a debug source file. Note
- -- that we take care of any previous node not yet properly set.
+ -- Setup current dump node
- if Debug_Generated_Code then
- Debug_Node := Node;
- end if;
+ Dump_Node := Node;
if Nkind (Node) in N_Subexpr
and then Do_Range_Check (Node)
if Present (Expressions (Node)) then
Sprint_Comma_List (Expressions (Node));
- if Present (Component_Associations (Node)) then
+ if Present (Component_Associations (Node))
+ and then not Is_Empty_List (Component_Associations (Node))
+ then
Write_Str (", ");
end if;
end if;
- if Present (Component_Associations (Node)) then
+ if Present (Component_Associations (Node))
+ and then not Is_Empty_List (Component_Associations (Node))
+ then
Indent_Begin;
declare
Indent_End;
-- Note: let the printing of Abortable_Part handle outputting
- -- the ABORT keyword, so that the Slco can be set correctly.
+ -- the ABORT keyword, so that the Sloc can be set correctly.
Write_Indent_Str ("then ");
Sprint_Node (Abortable_Part (Node));
Sprint_Indented_List (Statements (Node));
when N_Character_Literal =>
- if Column > 70 then
+ if Column > Sprint_Line_Limit - 2 then
Write_Indent_Str (" ");
end if;
Sprint_Node (Subtype_Indication (Node));
if Present (Interface_List (Node)) then
+ Write_Str_With_Col_Check (" and ");
Sprint_And_List (Interface_List (Node));
Write_Str_With_Col_Check (" with ");
end if;
when N_Exception_Declaration =>
if Write_Indent_Identifiers (Node) then
Write_Str_With_Col_Check (" : ");
- Write_Str_Sloc ("exception;");
+
+ if Is_Statically_Allocated (Defining_Identifier (Node)) then
+ Write_Str_With_Col_Check ("static ");
+ end if;
+
+ Write_Str_Sloc ("exception");
+
+ if Present (Expression (Node)) then
+ Write_Str (" := ");
+ Sprint_Node (Expression (Node));
+ end if;
+
+ Write_Char (';');
end if;
when N_Exception_Handler =>
Write_Char_Sloc ('.');
Write_Str_Sloc ("all");
+ when N_Extended_Return_Statement =>
+ Write_Indent_Str_Sloc ("return ");
+ Sprint_Node_List (Return_Object_Declarations (Node));
+
+ if Present (Handled_Statement_Sequence (Node)) then
+ Write_Str_With_Col_Check (" do");
+ Sprint_Node (Handled_Statement_Sequence (Node));
+ Write_Indent_Str ("end return;");
+ else
+ Write_Indent_Str (";");
+ end if;
+
when N_Extension_Aggregate =>
Write_Str_With_Col_Check_Sloc ("(");
Sprint_Node (Ancestor_Part (Node));
Write_Str_With_Col_Check_Sloc ("new ");
Sprint_Node (Subtype_Mark (Node));
+ if Present (Interface_List (Node)) then
+ Write_Str_With_Col_Check (" and ");
+ Sprint_And_List (Interface_List (Node));
+ end if;
+
if Private_Present (Node) then
Write_Str_With_Col_Check (" with private");
end if;
Write_Str_With_Col_Check ("out ");
end if;
- Sprint_Node (Subtype_Mark (Node));
+ if Present (Subtype_Mark (Node)) then
- if Present (Expression (Node)) then
+ -- Ada 2005 (AI-423): Formal object with null exclusion
+
+ if Null_Exclusion_Present (Node) then
+ Write_Str ("not null ");
+ end if;
+
+ Sprint_Node (Subtype_Mark (Node));
+
+ -- Ada 2005 (AI-423): Formal object with access definition
+
+ else
+ pragma Assert (Present (Access_Definition (Node)));
+
+ Sprint_Node (Access_Definition (Node));
+ end if;
+
+ if Present (Default_Expression (Node)) then
Write_Str (" := ");
- Sprint_Node (Expression (Node));
+ Sprint_Node (Default_Expression (Node));
end if;
Write_Char (';');
Write_Char (']');
else
+ -- Output freeze actions. We increment Freeze_Indent during
+ -- this output to avoid generating extra blank lines before
+ -- any procedures included in the freeze actions.
+
Freeze_Indent := Freeze_Indent + 1;
Sprint_Indented_List (Actions (Node));
Freeze_Indent := Freeze_Indent - 1;
when N_Full_Type_Declaration =>
Write_Indent_Str_Sloc ("type ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_Node (Defining_Identifier (Node));
Write_Discr_Specs (Node);
Write_Str_With_Col_Check (" is ");
Sprint_Node (Type_Definition (Node));
when N_Function_Call =>
Set_Debug_Sloc;
- Note_Implicit_Run_Time_Call (Name (Node));
- Sprint_Node (Name (Node));
+ Write_Subprogram_Name (Name (Node));
Sprint_Opt_Paren_Comma_List (Parameter_Associations (Node));
when N_Function_Instantiation =>
Write_Char (';');
when N_Generic_Package_Declaration =>
- Write_Indent;
+ Extra_Blank_Line;
Write_Indent_Str_Sloc ("generic ");
Sprint_Indented_List (Generic_Formal_Declarations (Node));
Write_Indent;
Write_Char (';');
when N_Generic_Subprogram_Declaration =>
- Write_Indent;
+ Extra_Blank_Line;
Write_Indent_Str_Sloc ("generic ");
Sprint_Indented_List (Generic_Formal_Declarations (Node));
Write_Indent;
when N_In =>
Sprint_Left_Opnd (Node);
Write_Str_Sloc (" in ");
- Sprint_Right_Opnd (Node);
+
+ if Present (Right_Opnd (Node)) then
+ Sprint_Right_Opnd (Node);
+ else
+ Sprint_Bar_List (Alternatives (Node));
+ end if;
when N_Incomplete_Type_Declaration =>
Write_Indent_Str_Sloc ("type ");
when N_Not_In =>
Sprint_Left_Opnd (Node);
Write_Str_Sloc (" not in ");
- Sprint_Right_Opnd (Node);
+
+ if Present (Right_Opnd (Node)) then
+ Sprint_Right_Opnd (Node);
+ else
+ Sprint_Bar_List (Alternatives (Node));
+ end if;
when N_Null =>
Write_Str_With_Col_Check_Sloc ("null");
Set_Debug_Sloc;
if Write_Indent_Identifiers (Node) then
- Write_Str (" : ");
+ declare
+ Def_Id : constant Entity_Id := Defining_Identifier (Node);
- if Aliased_Present (Node) then
- Write_Str_With_Col_Check ("aliased ");
- end if;
+ begin
+ Write_Str_With_Col_Check (" : ");
- if Constant_Present (Node) then
- Write_Str_With_Col_Check ("constant ");
- end if;
+ if Is_Statically_Allocated (Def_Id) then
+ Write_Str_With_Col_Check ("static ");
+ end if;
- -- Ada 2005 (AI-231)
+ if Aliased_Present (Node) then
+ Write_Str_With_Col_Check ("aliased ");
+ end if;
- if Null_Exclusion_Present (Node) then
- Write_Str_With_Col_Check ("not null ");
- end if;
+ if Constant_Present (Node) then
+ Write_Str_With_Col_Check ("constant ");
+ end if;
- Sprint_Node (Object_Definition (Node));
+ -- Ada 2005 (AI-231)
- if Present (Expression (Node)) then
- Write_Str (" := ");
- Sprint_Node (Expression (Node));
- end if;
+ if Null_Exclusion_Present (Node) then
+ Write_Str_With_Col_Check ("not null ");
+ end if;
- Write_Char (';');
+ Sprint_Node (Object_Definition (Node));
+
+ if Present (Expression (Node)) then
+ Write_Str (" := ");
+ Sprint_Node (Expression (Node));
+ end if;
+
+ Write_Char (';');
+
+ -- Handle implicit importation and implicit exportation of
+ -- object declarations:
+ -- $pragma import (Convention_Id, Def_Id, "...");
+ -- $pragma export (Convention_Id, Def_Id, "...");
+
+ if Is_Internal (Def_Id)
+ and then Present (Interface_Name (Def_Id))
+ then
+ Write_Indent_Str_Sloc ("$pragma ");
+
+ if Is_Imported (Def_Id) then
+ Write_Str ("import (");
+
+ else pragma Assert (Is_Exported (Def_Id));
+ Write_Str ("export (");
+ end if;
+
+ declare
+ Prefix : constant String := "Convention_";
+ S : constant String := Convention (Def_Id)'Img;
+
+ begin
+ Name_Len := S'Last - Prefix'Last;
+ Name_Buffer (1 .. Name_Len) :=
+ S (Prefix'Last + 1 .. S'Last);
+ Set_Casing (All_Lower_Case);
+ Write_Str (Name_Buffer (1 .. Name_Len));
+ end;
+
+ Write_Str (", ");
+ Write_Id (Def_Id);
+ Write_Str (", ");
+ Write_String_Table_Entry
+ (Strval (Interface_Name (Def_Id)));
+ Write_Str (");");
+ end if;
+ end;
end if;
when N_Object_Renaming_Declaration =>
Sprint_Node (Access_Definition (Node));
elsif Present (Subtype_Mark (Node)) then
+
+ -- Ada 2005 (AI-423): Object renaming with a null exclusion
+
+ if Null_Exclusion_Present (Node) then
+ Write_Str ("not null ");
+ end if;
+
Sprint_Node (Subtype_Mark (Node));
else
Write_Str_With_Col_Check_Sloc ("others");
when N_Package_Body =>
- Write_Indent;
+ Extra_Blank_Line;
Write_Indent_Str_Sloc ("package body ");
Sprint_Node (Defining_Unit_Name (Node));
Write_Str (" is");
end if;
Write_Indent_Str ("end ");
- Sprint_Node (Defining_Unit_Name (Node));
+ Sprint_End_Label
+ (Handled_Statement_Sequence (Node), Defining_Unit_Name (Node));
Write_Char (';');
when N_Package_Body_Stub =>
Write_Str_With_Col_Check (" is separate;");
when N_Package_Declaration =>
- Write_Indent;
+ Extra_Blank_Line;
Write_Indent;
Sprint_Node_Sloc (Specification (Node));
Write_Char (';');
when N_Package_Instantiation =>
- Write_Indent;
+ Extra_Blank_Line;
Write_Indent_Str_Sloc ("package ");
Sprint_Node (Defining_Unit_Name (Node));
Write_Str (" is new ");
Write_Str_With_Col_Check ("out ");
end if;
- -- Ada 2005 (AI-231)
+ -- Ada 2005 (AI-231): Parameter specification may carry null
+ -- exclusion. Do not print it now if this is an access formal,
+ -- it is emitted when the access definition is displayed.
- if Null_Exclusion_Present (Node) then
+ if Null_Exclusion_Present (Node)
+ and then Nkind (Parameter_Type (Node))
+ /= N_Access_Definition
+ then
Write_Str ("not null ");
end if;
Write_Str (", ");
end if;
+ when N_Pop_Constraint_Error_Label =>
+ Write_Indent_Str ("%pop_constraint_error_label");
+
+ when N_Pop_Program_Error_Label =>
+ Write_Indent_Str ("%pop_program_error_label");
+
+ when N_Pop_Storage_Error_Label =>
+ Write_Indent_Str ("%pop_storage_error_label");
+
+ when N_Push_Constraint_Error_Label =>
+ Write_Indent_Str ("%push_constraint_error_label (");
+
+ if Present (Exception_Label (Node)) then
+ Write_Name_With_Col_Check (Chars (Exception_Label (Node)));
+ end if;
+
+ Write_Str (")");
+
+ when N_Push_Program_Error_Label =>
+ Write_Indent_Str ("%push_program_error_label (");
+
+ if Present (Exception_Label (Node)) then
+ Write_Name_With_Col_Check (Chars (Exception_Label (Node)));
+ end if;
+
+ Write_Str (")");
+
+ when N_Push_Storage_Error_Label =>
+ Write_Indent_Str ("%push_storage_error_label (");
+
+ if Present (Exception_Label (Node)) then
+ Write_Name_With_Col_Check (Chars (Exception_Label (Node)));
+ end if;
+
+ Write_Str (")");
+
when N_Pragma =>
Write_Indent_Str_Sloc ("pragma ");
- Write_Name_With_Col_Check (Chars (Node));
+ Write_Name_With_Col_Check (Pragma_Name (Node));
if Present (Pragma_Argument_Associations (Node)) then
Sprint_Opt_Paren_Comma_List
Write_Str_With_Col_Check (" is new ");
Sprint_Node (Subtype_Indication (Node));
+
+ if Present (Interface_List (Node)) then
+ Write_Str_With_Col_Check (" and ");
+ Sprint_And_List (Interface_List (Node));
+ end if;
+
Write_Str_With_Col_Check (" with private;");
when N_Procedure_Call_Statement =>
Write_Indent;
Set_Debug_Sloc;
- Note_Implicit_Run_Time_Call (Name (Node));
- Sprint_Node (Name (Node));
+ Write_Subprogram_Name (Name (Node));
Sprint_Opt_Paren_Comma_List (Parameter_Associations (Node));
Write_Char (';');
when N_Protected_Type_Declaration =>
Write_Indent_Str_Sloc ("protected type ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_Node (Defining_Identifier (Node));
Write_Discr_Specs (Node);
if Present (Interface_List (Node)) then
Sprint_Node (Low_Bound (Node));
Write_Str_Sloc (" .. ");
Sprint_Node (High_Bound (Node));
+ Update_Itype (Node);
when N_Range_Constraint =>
Write_Str_With_Col_Check_Sloc ("range ");
Write_Char (';');
- when N_Return_Statement =>
+ -- Don't we want to print more detail???
+
+ -- Doc of this extended syntax belongs in sinfo.ads and/or
+ -- sprint.ads ???
+
+ when N_SCIL_Dispatch_Table_Object_Init =>
+ Write_Indent_Str ("[N_SCIL_Dispatch_Table_Object_Init]");
+
+ when N_SCIL_Dispatch_Table_Tag_Init =>
+ Write_Indent_Str ("[N_SCIL_Dispatch_Table_Tag_Init]");
+
+ when N_SCIL_Dispatching_Call =>
+ Write_Indent_Str ("[N_SCIL_Dispatching_Node]");
+
+ when N_SCIL_Membership_Test =>
+ Write_Indent_Str ("[N_SCIL_Membership_Test]");
+
+ when N_SCIL_Tag_Init =>
+ Write_Indent_Str ("[N_SCIL_Dispatch_Table_Tag_Init]");
+
+ when N_Simple_Return_Statement =>
if Present (Expression (Node)) then
Write_Indent_Str_Sloc ("return ");
Sprint_Node (Expression (Node));
when N_Single_Task_Declaration =>
Write_Indent_Str_Sloc ("task ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_Node (Defining_Identifier (Node));
if Present (Task_Definition (Node)) then
Write_Str (" is");
Sprint_Node (Task_Definition (Node));
- Write_Id (Defining_Identifier (Node));
end if;
Write_Char (';');
Write_Char (')');
when N_String_Literal =>
- if String_Length (Strval (Node)) + Column > 75 then
+ if String_Length (Strval (Node)) + Column > Sprint_Line_Limit then
Write_Indent_Str (" ");
end if;
Write_String_Table_Entry (Strval (Node));
when N_Subprogram_Body =>
+
+ -- Output extra blank line unless we are in freeze actions
+
if Freeze_Indent = 0 then
- Write_Indent;
+ Extra_Blank_Line;
end if;
Write_Indent;
Sprint_Node (Handled_Statement_Sequence (Node));
Write_Indent_Str ("end ");
- Sprint_Node (Defining_Unit_Name (Specification (Node)));
+
+ Sprint_End_Label
+ (Handled_Statement_Sequence (Node),
+ Defining_Unit_Name (Specification (Node)));
Write_Char (';');
if Is_List_Member (Node)
when N_Subtype_Declaration =>
Write_Indent_Str_Sloc ("subtype ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_Node (Defining_Identifier (Node));
Write_Str (" is ");
-- Ada 2005 (AI-231)
Write_Indent_Str_Sloc ("separate (");
Sprint_Node (Name (Node));
Write_Char (')');
- Write_Eol;
+ Extra_Blank_Line;
Sprint_Node (Proper_Body (Node));
when N_Task_Body =>
Write_Indent_Str ("begin");
Sprint_Node (Handled_Statement_Sequence (Node));
Write_Indent_Str ("end ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_End_Label
+ (Handled_Statement_Sequence (Node), Defining_Identifier (Node));
Write_Char (';');
when N_Task_Body_Stub =>
end if;
Write_Indent_Str ("end ");
+ Sprint_End_Label (Node, Defining_Identifier (Parent (Node)));
when N_Task_Type_Declaration =>
Write_Indent_Str_Sloc ("task type ");
- Write_Id (Defining_Identifier (Node));
+ Sprint_Node (Defining_Identifier (Node));
Write_Discr_Specs (Node);
if Present (Interface_List (Node)) then
end if;
Sprint_Node (Task_Definition (Node));
- Write_Id (Defining_Identifier (Node));
end if;
Write_Char (';');
end if;
end if;
- when N_With_Type_Clause =>
- Write_Indent_Str ("with type ");
- Sprint_Node_Sloc (Name (Node));
-
- if Tagged_Present (Node) then
- Write_Str (" is tagged;");
- else
- Write_Str (" is access;");
- end if;
-
end case;
if Nkind (Node) in N_Subexpr
Write_Char (')');
end loop;
- pragma Assert (No (Debug_Node));
- Debug_Node := Save_Debug_Node;
+ Dump_Node := Save_Dump_Node;
end Sprint_Node_Actual;
----------------------
begin
Sprint_Node (Node);
- if Present (Debug_Node) then
- Set_Sloc (Debug_Node, Sloc (Node));
- Debug_Node := Empty;
+ if Debug_Generated_Code and then Present (Dump_Node) then
+ Set_Sloc (Dump_Node, Sloc (Node));
+ Dump_Node := Empty;
end if;
end Sprint_Node_Sloc;
end if;
end Sprint_Right_Opnd;
+ ------------------
+ -- Update_Itype --
+ ------------------
+
+ procedure Update_Itype (Node : Node_Id) is
+ begin
+ if Present (Etype (Node))
+ and then Is_Itype (Etype (Node))
+ and then Debug_Generated_Code
+ then
+ Set_Sloc (Etype (Node), Sloc (Node));
+ end if;
+ end Update_Itype;
+
---------------------
-- Write_Char_Sloc --
---------------------
--------------------------------
procedure Write_Condition_And_Reason (Node : Node_Id) is
- Image : constant String := RT_Exception_Code'Image
- (RT_Exception_Code'Val
- (UI_To_Int (Reason (Node))));
+ Cond : constant Node_Id := Condition (Node);
+ Image : constant String := RT_Exception_Code'Image
+ (RT_Exception_Code'Val
+ (UI_To_Int (Reason (Node))));
begin
- if Present (Condition (Node)) then
- Write_Str_With_Col_Check (" when ");
- Sprint_Node (Condition (Node));
+ if Present (Cond) then
+
+ -- If condition is a single entity, or NOT with a single entity,
+ -- output all on one line, since it will likely fit just fine.
+
+ if Is_Entity_Name (Cond)
+ or else (Nkind (Cond) = N_Op_Not
+ and then Is_Entity_Name (Right_Opnd (Cond)))
+ then
+ Write_Str_With_Col_Check (" when ");
+ Sprint_Node (Cond);
+ Write_Char (' ');
+
+ -- Otherwise for more complex condition, multiple lines
+
+ else
+ Write_Str_With_Col_Check (" when");
+ Indent := Indent + 2;
+ Write_Indent;
+ Sprint_Node (Cond);
+ Write_Indent;
+ Indent := Indent - 2;
+ end if;
+
+ -- If no condition, just need a space (all on one line)
+
+ else
+ Write_Char (' ');
end if;
- Write_Str (" """);
+ -- Write the reason
+
+ Write_Char ('"');
for J in 4 .. Image'Last loop
if Image (J) = '_' then
Write_Str ("""]");
end Write_Condition_And_Reason;
+ --------------------------------
+ -- Write_Corresponding_Source --
+ --------------------------------
+
+ procedure Write_Corresponding_Source (S : String) is
+ Loc : Source_Ptr;
+ Src : Source_Buffer_Ptr;
+
+ begin
+ -- Ignore if not in dump source text mode, or if in freeze actions
+
+ if Dump_Source_Text and then Freeze_Indent = 0 then
+
+ -- Ignore null string
+
+ if S = "" then
+ return;
+ end if;
+
+ -- Ignore space or semicolon at end of given string
+
+ if S (S'Last) = ' ' or else S (S'Last) = ';' then
+ Write_Corresponding_Source (S (S'First .. S'Last - 1));
+ return;
+ end if;
+
+ -- Loop to look at next lines not yet printed in source file
+
+ for L in
+ Last_Line_Printed + 1 .. Last_Source_Line (Current_Source_File)
+ loop
+ Src := Source_Text (Current_Source_File);
+ Loc := Line_Start (L, Current_Source_File);
+
+ -- If comment, keep looking
+
+ if Src (Loc .. Loc + 1) = "--" then
+ null;
+
+ -- Search to first non-blank
+
+ else
+ while Src (Loc) not in Line_Terminator loop
+
+ -- Non-blank found
+
+ if Src (Loc) /= ' ' and then Src (Loc) /= ASCII.HT then
+
+ -- Loop through characters in string to see if we match
+
+ for J in S'Range loop
+
+ -- If mismatch, then not the case we are looking for
+
+ if Src (Loc) /= S (J) then
+ return;
+ end if;
+
+ Loc := Loc + 1;
+ end loop;
+
+ -- If we fall through, string matched, if white space or
+ -- semicolon after the matched string, this is the case
+ -- we are looking for.
+
+ if Src (Loc) in Line_Terminator
+ or else Src (Loc) = ' '
+ or else Src (Loc) = ASCII.HT
+ or else Src (Loc) = ';'
+ then
+ -- So output source lines up to and including this one
+
+ Write_Source_Lines (L);
+ return;
+ end if;
+ end if;
+
+ Loc := Loc + 1;
+ end loop;
+ end if;
+
+ -- Line was all blanks, or a comment line, keep looking
+
+ end loop;
+ end if;
+ end Write_Corresponding_Source;
+
-----------------------
-- Write_Discr_Specs --
-----------------------
function Write_Identifiers (Node : Node_Id) return Boolean is
begin
Sprint_Node (Defining_Identifier (Node));
+ Update_Itype (Defining_Identifier (Node));
-- The remainder of the declaration must be printed unless we are
-- printing the original tree and this is not the last identifier
------------------
procedure Write_Indent is
+ Loc : constant Source_Ptr := Sloc (Dump_Node);
+
begin
if Indent_Annull_Flag then
Indent_Annull_Flag := False;
else
+ -- Deal with Dump_Source_Text output. Note that we ignore implicit
+ -- label declarations, since they typically have the sloc of the
+ -- corresponding label, which really messes up the -gnatL output.
+
+ if Dump_Source_Text
+ and then Loc > No_Location
+ and then Nkind (Dump_Node) /= N_Implicit_Label_Declaration
+ then
+ if Get_Source_File_Index (Loc) = Current_Source_File then
+ Write_Source_Lines
+ (Get_Physical_Line_Number (Sloc (Dump_Node)));
+ end if;
+ end if;
+
Write_Eol;
for J in 1 .. Indent loop
return
not Dump_Original_Only or else not More_Ids (Node);
-
end Write_Indent_Identifiers;
-----------------------------------
-- The remainder of the declaration must be printed unless we are
-- printing the original tree and this is not the last identifier
- return
- not Dump_Original_Only or else not More_Ids (Node);
-
+ return not Dump_Original_Only or else not More_Ids (Node);
end Write_Indent_Identifiers_Sloc;
----------------------
procedure Write_Indent_Str (S : String) is
begin
+ Write_Corresponding_Source (S);
Write_Indent;
Write_Str (S);
end Write_Indent_Str;
procedure Write_Indent_Str_Sloc (S : String) is
begin
+ Write_Corresponding_Source (S);
Write_Indent;
Write_Str_Sloc (S);
end Write_Indent_Str_Sloc;
Write_Char (' ');
end loop;
- -- If we have a constructed declaration, print it
-
- if Present (P) and then Nkind (P) in N_Declaration then
+ -- If we have a constructed declaration for the itype, print it
+ if Present (P)
+ and then Nkind (P) in N_Declaration
+ and then Defining_Entity (P) = Typ
+ then
-- We must set Itype_Printed true before the recursive call to
-- print the node, otherwise we get an infinite recursion!
Write_Id (Directly_Designated_Type (Typ));
- -- Array types and string types
+ -- Array types and string types
when E_Array_Type | E_String_Type =>
Write_Header;
end loop;
Write_Str (") of ");
- Sprint_Node (Component_Type (Typ));
+ X := Component_Type (Typ);
+
+ -- Preserve sloc of component type, which is defined
+ -- elsewhere than the itype (see comment above).
- -- Array subtypes and string subtypes
+ Old_Sloc := Sloc (X);
+ Sprint_Node (X);
+ Set_Sloc (X, Old_Sloc);
+
+ -- Array subtypes and string subtypes.
+ -- Preserve Sloc of index subtypes, as above.
when E_Array_Subtype | E_String_Subtype =>
Write_Header (False);
X := First_Index (Typ);
loop
+ Old_Sloc := Sloc (X);
Sprint_Node (X);
+ Set_Sloc (X, Old_Sloc);
Next_Index (X);
exit when No (X);
Write_Str (", ");
Write_Char (')');
- -- Signed integer types, and modular integer subtypes
+ -- Signed integer types, and modular integer subtypes,
+ -- and also enumeration subtypes.
when E_Signed_Integer_Type |
E_Signed_Integer_Subtype |
- E_Modular_Integer_Subtype =>
+ E_Modular_Integer_Subtype |
+ E_Enumeration_Subtype =>
Write_Header (Ekind (Typ) = E_Signed_Integer_Type);
Write_Id (B);
- -- Print bounds if not different from base type
+ -- Print bounds if different from base type
declare
L : constant Node_Id := Type_Low_Bound (Typ);
H : constant Node_Id := Type_High_Bound (Typ);
- LE : constant Node_Id := Type_Low_Bound (B);
- HE : constant Node_Id := Type_High_Bound (B);
+ LE : Node_Id;
+ HE : Node_Id;
begin
- if Nkind (L) = N_Integer_Literal
- and then Nkind (H) = N_Integer_Literal
- and then Nkind (LE) = N_Integer_Literal
- and then Nkind (HE) = N_Integer_Literal
- and then UI_Eq (Intval (L), Intval (LE))
- and then UI_Eq (Intval (H), Intval (HE))
+ -- B can either be a scalar type, in which case the
+ -- declaration of Typ may constrain it with different
+ -- bounds, or a private type, in which case we know
+ -- that the declaration of Typ cannot have a scalar
+ -- constraint.
+
+ if Is_Scalar_Type (B) then
+ LE := Type_Low_Bound (B);
+ HE := Type_High_Bound (B);
+ else
+ LE := Empty;
+ HE := Empty;
+ end if;
+
+ if No (LE)
+ or else (True
+ and then Nkind (L) = N_Integer_Literal
+ and then Nkind (H) = N_Integer_Literal
+ and then Nkind (LE) = N_Integer_Literal
+ and then Nkind (HE) = N_Integer_Literal
+ and then UI_Eq (Intval (L), Intval (LE))
+ and then UI_Eq (Intval (H), Intval (HE)))
then
null;
end if;
end;
- -- Modular integer types
+ -- Modular integer types
when E_Modular_Integer_Type =>
Write_Header;
Write_Str (" mod ");
Write_Uint_With_Col_Check (Modulus (Typ), Auto);
- -- Floating point types and subtypes
+ -- Floating point types and subtypes
when E_Floating_Point_Type |
E_Floating_Point_Subtype =>
-- Class-Wide types
- when E_Class_Wide_Type =>
+ when E_Class_Wide_Type |
+ E_Class_Wide_Subtype =>
Write_Header;
Write_Name_With_Col_Check (Chars (Etype (Typ)));
Write_Str ("'Class");
Write_Id (Etype (Typ));
end if;
+ when E_String_Literal_Subtype =>
+ declare
+ LB : constant Uint :=
+ Expr_Value (String_Literal_Low_Bound (Typ));
+ Len : constant Uint :=
+ String_Literal_Length (Typ);
+ begin
+ Write_Str ("String (");
+ Write_Int (UI_To_Int (LB));
+ Write_Str (" .. ");
+ Write_Int (UI_To_Int (LB + Len) - 1);
+ Write_Str (");");
+ end;
+
-- For all other Itypes, print ??? (fill in later)
when others =>
procedure Write_Name_With_Col_Check (N : Name_Id) is
J : Natural;
+ K : Natural;
+ L : Natural;
begin
Get_Name_String (N);
- -- Deal with -gnatI which replaces digits in an internal
- -- name by three dots (e.g. R7b becomes R...b).
+ -- Deal with -gnatdI which replaces any sequence Cnnnb where C is an
+ -- upper case letter, nnn is one or more digits and b is a lower case
+ -- letter by C...b, so that listings do not depend on serial numbers.
- if Debug_Flag_II and then Name_Buffer (1) in 'A' .. 'Z' then
- J := 2;
- while J < Name_Len loop
- exit when Name_Buffer (J) not in 'A' .. 'Z';
- J := J + 1;
- end loop;
+ if Debug_Flag_II then
+ J := 1;
+ while J < Name_Len - 1 loop
+ if Name_Buffer (J) in 'A' .. 'Z'
+ and then Name_Buffer (J + 1) in '0' .. '9'
+ then
+ K := J + 1;
+ while K < Name_Len loop
+ exit when Name_Buffer (K) not in '0' .. '9';
+ K := K + 1;
+ end loop;
- if Name_Buffer (J) in '0' .. '9' then
- Write_Str_With_Col_Check (Name_Buffer (1 .. J - 1));
- Write_Str ("...");
+ if Name_Buffer (K) in 'a' .. 'z' then
+ L := Name_Len - K + 1;
- while J <= Name_Len loop
- if Name_Buffer (J) not in '0' .. '9' then
- Write_Str (Name_Buffer (J .. Name_Len));
- exit;
+ Name_Buffer (J + 4 .. J + L + 3) :=
+ Name_Buffer (K .. Name_Len);
+ Name_Buffer (J + 1 .. J + 3) := "...";
+ Name_Len := J + L + 3;
+ J := J + 5;
else
- J := J + 1;
+ J := K;
end if;
- end loop;
- return;
- end if;
+ else
+ J := J + 1;
+ end if;
+ end loop;
end if;
-- Fall through for normal case
exit when Spec = Empty;
-- Add semicolon, unless we are printing original tree and the
- -- next specification is part of a list (but not the first
- -- element of that list)
+ -- next specification is part of a list (but not the first element
+ -- of that list).
if not Dump_Original_Only or else not Prev_Ids (Spec) then
Write_Str ("; ");
end if;
end Write_Param_Specs;
- --------------------------
+ -----------------------
-- Write_Rewrite_Str --
- --------------------------
+ -----------------------
procedure Write_Rewrite_Str (S : String) is
begin
end if;
end Write_Rewrite_Str;
+ -----------------------
+ -- Write_Source_Line --
+ -----------------------
+
+ procedure Write_Source_Line (L : Physical_Line_Number) is
+ Loc : Source_Ptr;
+ Src : Source_Buffer_Ptr;
+ Scn : Source_Ptr;
+
+ begin
+ if Dump_Source_Text then
+ Src := Source_Text (Current_Source_File);
+ Loc := Line_Start (L, Current_Source_File);
+ Write_Eol;
+
+ -- See if line is a comment line, if not, and if not line one,
+ -- precede with blank line.
+
+ Scn := Loc;
+ while Src (Scn) = ' ' or else Src (Scn) = ASCII.HT loop
+ Scn := Scn + 1;
+ end loop;
+
+ if (Src (Scn) in Line_Terminator
+ or else Src (Scn .. Scn + 1) /= "--")
+ and then L /= 1
+ then
+ Write_Eol;
+ end if;
+
+ -- Now write the source text of the line
+
+ Write_Str ("-- ");
+ Write_Int (Int (L));
+ Write_Str (": ");
+
+ while Src (Loc) not in Line_Terminator loop
+ Write_Char (Src (Loc));
+ Loc := Loc + 1;
+ end loop;
+ end if;
+ end Write_Source_Line;
+
+ ------------------------
+ -- Write_Source_Lines --
+ ------------------------
+
+ procedure Write_Source_Lines (L : Physical_Line_Number) is
+ begin
+ while Last_Line_Printed < L loop
+ Last_Line_Printed := Last_Line_Printed + 1;
+ Write_Source_Line (Last_Line_Printed);
+ end loop;
+ end Write_Source_Lines;
+
--------------------
-- Write_Str_Sloc --
--------------------
procedure Write_Str_With_Col_Check (S : String) is
begin
- if Int (S'Last) + Column > Line_Limit then
+ if Int (S'Last) + Column > Sprint_Line_Limit then
Write_Indent_Str (" ");
- if S (1) = ' ' then
- Write_Str (S (2 .. S'Length));
+ if S (S'First) = ' ' then
+ Write_Str (S (S'First + 1 .. S'Last));
else
Write_Str (S);
end if;
procedure Write_Str_With_Col_Check_Sloc (S : String) is
begin
- if Int (S'Last) + Column > Line_Limit then
+ if Int (S'Last) + Column > Sprint_Line_Limit then
Write_Indent_Str (" ");
- if S (1) = ' ' then
- Write_Str_Sloc (S (2 .. S'Length));
+ if S (S'First) = ' ' then
+ Write_Str_Sloc (S (S'First + 1 .. S'Last));
else
Write_Str_Sloc (S);
end if;
end if;
end Write_Str_With_Col_Check_Sloc;
+ ---------------------------
+ -- Write_Subprogram_Name --
+ ---------------------------
+
+ procedure Write_Subprogram_Name (N : Node_Id) is
+ begin
+ if not Comes_From_Source (N)
+ and then Is_Entity_Name (N)
+ then
+ declare
+ Ent : constant Entity_Id := Entity (N);
+ begin
+ if not In_Extended_Main_Source_Unit (Ent)
+ and then
+ Is_Predefined_File_Name
+ (Unit_File_Name (Get_Source_Unit (Ent)))
+ then
+ -- Run-time routine name, output name with a preceding dollar
+ -- making sure that we do not get a line split between them.
+
+ Col_Check (Length_Of_Name (Chars (Ent)) + 1);
+ Write_Char ('$');
+ Write_Name (Chars (Ent));
+ return;
+ end if;
+ end;
+ end if;
+
+ -- Normal case, not a run-time routine name
+
+ Sprint_Node (N);
+ end Write_Subprogram_Name;
+
-------------------------------
-- Write_Uint_With_Col_Check --
-------------------------------