-- --
-- GNAT COMPILER COMPONENTS --
-- --
--- X R E F _ L I B --
+-- X R E F _ L I B --
-- --
-- B o d y --
-- --
--- $Revision$
--- --
--- Copyright (C) 1998-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1998-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, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, 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 is maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- GNAT was originally developed by the GNAT team at New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
with Osint;
-with Output; use Output;
-with Types; use Types;
+with Output; use Output;
+with Types; use Types;
+
with Unchecked_Deallocation;
with Ada.Strings.Fixed; use Ada.Strings.Fixed;
+with Ada.Text_IO; use Ada.Text_IO;
with GNAT.Command_Line; use GNAT.Command_Line;
with GNAT.IO_Aux; use GNAT.IO_Aux;
Pipe : constant Character := '|';
-- First character on xref lines in the .ali file
- EOF : constant Character := ASCII.SUB;
- -- Special character to signal end of file. Not required in input file,
- -- but should be properly treated if present. See also Read_File.
-
No_Xref_Information : exception;
-- Exception raised when there is no cross-referencing information in
- -- the .ali files
-
- subtype File_Offset is Natural;
-
- procedure Read_File
- (FD : File_Descriptor;
- Contents : out String_Access;
- Success : out Boolean);
- -- Reads file associated with FS into the newly allocated
- -- string Contents. An EOF character will be added to the
- -- returned Contents to simplify parsing.
- -- [VMS] Success is true iff the number of bytes read is less than or
- -- equal to the file size.
- -- [Other] Success is true iff the number of bytes read is equal to
- -- the file size.
-
- procedure Parse_EOL (Source : access String; Ptr : in out Positive);
+ -- the .ali files.
+
+ procedure Parse_EOL
+ (Source : not null access String;
+ Ptr : in out Positive;
+ Skip_Continuation_Line : Boolean := False);
-- On return Source (Ptr) is the first character of the next line
-- or EOF. Source.all must be terminated by EOF.
+ --
+ -- If Skip_Continuation_Line is True, this subprogram skips as many
+ -- lines as required when the second or more lines starts with '.'
+ -- (continuation lines in ALI files).
+
+ function Current_Xref_File (File : ALI_File) return File_Reference;
+ -- Return the file matching the last 'X' line we found while parsing
+ -- the ALI file.
+
+ function File_Name (File : ALI_File; Num : Positive) return File_Reference;
+ -- Returns the dependency file name number Num
+
+ function Get_Full_Type (Decl : Declaration_Reference) return String;
+ -- Returns the full type corresponding to a type letter as found in
+ -- the .ali files.
+
+ procedure Open
+ (Name : String;
+ File : out ALI_File;
+ Dependencies : Boolean := False);
+ -- Open a new ALI file. If Dependencies is True, the insert every library
+ -- file 'with'ed in the files database (used for gnatxref)
procedure Parse_Identifier_Info
(Pattern : Search_Pattern;
Local_Symbols : Boolean;
Der_Info : Boolean := False;
Type_Tree : Boolean := False;
- Wide_Search : Boolean := True);
+ Wide_Search : Boolean := True;
+ Labels_As_Ref : Boolean := True);
-- Output the file and the line where the identifier was referenced,
-- If Local_Symbols is False then only the publicly visible symbols
- -- will be processed
+ -- will be processed.
+ --
+ -- If Labels_As_Ref is true, then the references to the entities after
+ -- the end statements ("end Foo") will be counted as actual references.
+ -- The entity will never be reported as unreferenced by gnatxref -u
procedure Parse_Token
- (Source : access String;
+ (Source : not null access String;
Ptr : in out Positive;
Token_Ptr : out Positive);
-- Skips any separators and stores the start of the token in Token_Ptr.
- -- Then stores the position of the next separator in Ptr.
- -- On return Source (Token_Ptr .. Ptr - 1) is the token.
- -- Separators are space and ASCII.HT.
- -- Parse_Token will never skip to the next line.
+ -- Then stores the position of the next separator in Ptr. On return
+ -- Source (Token_Ptr .. Ptr - 1) is the token. Separators are space
+ -- and ASCII.HT. Parse_Token will never skip to the next line.
procedure Parse_Number
- (Source : access String;
+ (Source : not null access String;
Ptr : in out Positive;
Number : out Natural);
- -- Skips any separators and parses Source upto the first character that
+ -- Skips any separators and parses Source up to the first character that
-- is not a decimal digit. Returns value of parsed digits or 0 if none.
procedure Parse_X_Filename (File : in out ALI_File);
-- Reads and processes "X..." lines in the ALI file
-- and updates the File.X_File information.
+ procedure Skip_To_First_X_Line
+ (File : in out ALI_File;
+ D_Lines : Boolean;
+ W_Lines : Boolean);
+ -- Skip the lines in the ALI file until the first cross-reference line
+ -- (^X...) is found. Search is started from the beginning of the file.
+ -- If not such line is found, No_Xref_Information is raised.
+ -- If W_Lines is false, then the lines "^W" are not parsed.
+ -- If D_Lines is false, then the lines "^D" are not parsed.
+
----------------
-- Add_Entity --
----------------
Entity : String;
Glob : Boolean := False)
is
- File_Start : Natural;
- Line_Start : Natural;
- Col_Start : Natural;
- Line_Num : Natural := 0;
- Col_Num : Natural := 0;
- File_Ref : File_Reference := Empty_File;
- File_Existed : Boolean;
- Has_Pattern : Boolean := False;
+ File_Start : Natural;
+ Line_Start : Natural;
+ Col_Start : Natural;
+ Line_Num : Natural := 0;
+ Col_Num : Natural := 0;
+
+ File_Ref : File_Reference := Empty_File;
+ pragma Warnings (Off, File_Ref);
begin
-- Find the end of the first item in Entity (pattern or file?)
-- If there is no ':', we only have a pattern
File_Start := Index (Entity, ":");
- if File_Start = 0 then
- -- If the regular expression is invalid, just consider it as a string
+ -- If the regular expression is invalid, just consider it as a string
+ if File_Start = 0 then
begin
Pattern.Entity := Compile (Entity, Glob, False);
Pattern.Initialized := True;
-- If there is a dot in the pattern, then it is a file name
if (Glob and then
- Index (Entity (Entity'First .. File_Start - 1), ".") /= 0)
- or else
- (not Glob
- and then Index (Entity (Entity'First .. File_Start - 1),
+ Index (Entity (Entity'First .. File_Start - 1), ".") /= 0)
+ or else
+ (not Glob
+ and then Index (Entity (Entity'First .. File_Start - 1),
"\.") /= 0)
then
- Pattern.Entity := Compile (".*", False);
+ Pattern.Entity := Compile (".*", False);
Pattern.Initialized := True;
- File_Start := Entity'First;
+ File_Start := Entity'First;
else
- -- If the regular expression is invalid,
- -- just consider it as a string
+ -- If the regular expression is invalid, just consider it as a string
begin
Pattern.Entity :=
end;
end;
- File_Start := File_Start + 1;
- Has_Pattern := True;
+ File_Start := File_Start + 1;
end if;
-- Parse the file name
end if;
end if;
- Add_To_Xref_File (Entity (File_Start .. Line_Start - 1),
- File_Existed,
- File_Ref,
- Visited => True);
- Add_Line (File_Ref, Line_Num, Col_Num);
- Add_To_Xref_File
- (ALI_File_Name (Entity (File_Start .. Line_Start - 1)),
- File_Existed, File_Ref,
- Visited => False,
- Emit_Warning => True);
+ File_Ref :=
+ Add_To_Xref_File
+ (Entity (File_Start .. Line_Start - 1), Visited => True);
+ Pattern.File_Ref := File_Ref;
+
+ Add_Line (Pattern.File_Ref, Line_Num, Col_Num);
+
+ File_Ref :=
+ Add_To_Xref_File
+ (ALI_File_Name (Entity (File_Start .. Line_Start - 1)),
+ Visited => False,
+ Emit_Warning => True);
end Add_Entity;
-------------------
-------------------
procedure Add_Xref_File (File : String) is
- File_Ref : File_Reference := Empty_File;
- File_Existed : Boolean;
- Iterator : Expansion_Iterator;
+ File_Ref : File_Reference := Empty_File;
+ pragma Unreferenced (File_Ref);
+
+ Iterator : Expansion_Iterator;
procedure Add_Xref_File_Internal (File : String);
-- Do the actual addition of the file
-- Case where we have an ALI file, accept it even though this is
-- not official usage, since the intention is obvious
- if Tail (File, 4) = ".ali" then
- Add_To_Xref_File
- (File,
- File_Existed,
- File_Ref,
- Visited => False,
- Emit_Warning => True);
+ if Tail (File, 4) = "." & Osint.ALI_Suffix.all then
+ File_Ref := Add_To_Xref_File
+ (File, Visited => False, Emit_Warning => True);
-- Normal non-ali file case
else
- Add_To_Xref_File
- (File,
- File_Existed,
- File_Ref,
- Visited => True);
-
- Add_To_Xref_File
- (ALI_File_Name (File),
- File_Existed,
- File_Ref,
- Visited => False,
- Emit_Warning => True);
+ File_Ref := Add_To_Xref_File (File, Visited => True);
+
+ File_Ref := Add_To_Xref_File
+ (ALI_File_Name (File),
+ Visited => False, Emit_Warning => True);
end if;
end Add_Xref_File_Internal;
-- Default_Project_File --
--------------------------
- function Default_Project_File
- (Dir_Name : String)
- return String
- is
+ function Default_Project_File (Dir_Name : String) return String is
My_Dir : Dir_Type;
Dir_Ent : File_Name_String;
Last : Natural;
if Tail (Dir_Ent (1 .. Last), 4) = ".adp" then
- -- The first project file found is the good one.
+ -- The first project file found is the good one
Close (My_Dir);
return Dir_Ent (1 .. Last);
function File_Name
(File : ALI_File;
- Num : Positive)
- return File_Reference
+ Num : Positive) return File_Reference
is
begin
return File.Dep.Table (Num);
--------------------
procedure Find_ALI_Files is
- My_Dir : Rec_DIR;
- Dir_Ent : File_Name_String;
- Last : Natural;
- File_Existed : Boolean;
- File_Ref : File_Reference;
+ My_Dir : Rec_DIR;
+ Dir_Ent : File_Name_String;
+ Last : Natural;
+
+ File_Ref : File_Reference;
+ pragma Unreferenced (File_Ref);
function Open_Next_Dir return Boolean;
-- Tries to open the next object directory, and return False if
Obj_Dir : constant String := Next_Obj_Dir;
begin
- -- If there was no more Obj_Dir line
+ -- Case of no more Obj_Dir lines
if Obj_Dir'Length = 0 then
return False;
exit;
exception
+
-- Could not open the directory
when Directory_Error => null;
-- Start of processing for Find_ALI_Files
begin
+ Reset_Obj_Dir;
+
if Open_Next_Dir then
loop
Read (My_Dir.Dir, Dir_Ent, Last);
return;
end if;
- elsif Last > 4 and then Dir_Ent (Last - 3 .. Last) = ".ali" then
- Add_To_Xref_File
- (Dir_Ent (1 .. Last),
- File_Existed,
- File_Ref,
- Visited => False);
- Set_Directory (File_Ref, Current_Obj_Dir);
+ elsif Last > 4
+ and then Dir_Ent (Last - 3 .. Last) = "." & Osint.ALI_Suffix.all
+ then
+ File_Ref :=
+ Add_To_Xref_File (Dir_Ent (1 .. Last), Visited => False);
end if;
end loop;
end if;
-- Get_Full_Type --
-------------------
- function Get_Full_Type (Abbrev : Character) return String is
+ function Get_Full_Type (Decl : Declaration_Reference) return String is
+
+ function Param_String return String;
+ -- Return the string to display depending on whether Decl is a parameter
+
+ ------------------
+ -- Param_String --
+ ------------------
+
+ function Param_String return String is
+ begin
+ if Is_Parameter (Decl) then
+ return "parameter ";
+ else
+ return "";
+ end if;
+ end Param_String;
+
+ -- Start of processing for Get_Full_Type
+
begin
- case Abbrev is
+ case Get_Type (Decl) is
when 'A' => return "array type";
when 'B' => return "boolean type";
when 'C' => return "class-wide type";
when 'W' => return "protected type";
when 'a' => return "array type";
- when 'b' => return "boolean object";
- when 'c' => return "class-wide object";
- when 'd' => return "decimal object";
- when 'e' => return "enumeration object";
- when 'f' => return "float object";
- when 'i' => return "integer object";
- when 'm' => return "modular object";
- when 'o' => return "fixed object";
- when 'p' => return "access object";
- when 'r' => return "record object";
- when 's' => return "string object";
- when 't' => return "task object";
- when 'w' => return "protected object";
+ when 'b' => return Param_String & "boolean object";
+ when 'c' => return Param_String & "class-wide object";
+ when 'd' => return Param_String & "decimal object";
+ when 'e' => return Param_String & "enumeration object";
+ when 'f' => return Param_String & "float object";
+ when 'h' => return "interface";
+ when 'i' => return Param_String & "integer object";
+ when 'm' => return Param_String & "modular object";
+ when 'o' => return Param_String & "fixed object";
+ when 'p' => return Param_String & "access object";
+ when 'r' => return Param_String & "record object";
+ when 's' => return Param_String & "string object";
+ when 't' => return Param_String & "task object";
+ when 'w' => return Param_String & "protected object";
+ when 'x' => return Param_String & "abstract procedure";
+ when 'y' => return Param_String & "abstract function";
when 'K' => return "package";
when 'k' => return "generic package";
when 'X' => return "exception";
when 'Y' => return "entry";
- -- The above should be the only possibilities, but for a
- -- tool like this we don't want to bomb if we find something
- -- else, so just return ??? when we have an unknown Abbrev value
+ when '+' => return "private type";
+
+ -- The above should be the only possibilities, but for this kind
+ -- of informational output, we don't want to bomb if we find
+ -- something else, so just return three question marks when we
+ -- have an unknown Abbrev value
when others =>
- return "???";
+ return "??? (" & Get_Type (Decl) & ")";
end case;
end Get_Full_Type;
- -----------
- -- Match --
- -----------
-
- function Match
- (Pattern : Search_Pattern;
- Symbol : String)
- return Boolean
- is
- begin
- -- Get the entity name
-
- return Match (Symbol, Pattern.Entity);
- end Match;
-
- ----------
- -- Open --
- ----------
+ --------------------------
+ -- Skip_To_First_X_Line --
+ --------------------------
- procedure Open
- (Name : String;
- File : out ALI_File;
- Dependencies : Boolean := False)
+ procedure Skip_To_First_X_Line
+ (File : in out ALI_File;
+ D_Lines : Boolean;
+ W_Lines : Boolean)
is
- Name_0 : constant String := Name & ASCII.NUL;
- Num_Dependencies : Natural := 0;
- File_Existed : Boolean;
- File_Ref : File_Reference;
- FD : File_Descriptor;
- Success : Boolean := False;
Ali : String_Access renames File.Buffer;
Token : Positive;
- Ptr : Positive;
+ Ptr : Positive := Ali'First;
+ Num_Dependencies : Natural := 0;
File_Start : Positive;
File_End : Positive;
Gnatchop_Offset : Integer;
Gnatchop_Name : Positive;
- begin
- if File.Buffer /= null then
- Free (File.Buffer);
- end if;
-
- Init (File.Dep);
-
- FD := Open_Read (Name_0'Address, Binary);
-
- if FD = Invalid_FD then
- raise No_Xref_Information;
- end if;
-
- Read_File (FD, Ali, Success);
- Close (FD);
-
- Ptr := Ali'First;
+ File_Ref : File_Reference;
+ pragma Unreferenced (File_Ref);
+ begin
-- Read all the lines possibly processing with-clauses and dependency
-- information and exit on finding the first Xref line.
-- A fall-through of the loop means that there is no xref information
-- which is an error condition.
while Ali (Ptr) /= EOF loop
+ if D_Lines and then Ali (Ptr) = 'D' then
- if Ali (Ptr) = 'D' then
-- Found dependency information. Format looks like:
- -- D source-name time-stamp checksum [subunit-name] \
- -- [line:file-name]
+ -- D src-nam time-stmp checksum [subunit-name] [line:file-name]
- -- Skip the D and parse the filename
+ -- Skip the D and parse the filenam
Ptr := Ptr + 1;
Parse_Token (Ali, Ptr, Token);
end if;
-- Did we have a gnatchop-ed file with a pragma Source_Reference ?
+
Gnatchop_Offset := 0;
if Ali (Token) in '0' .. '9' then
while Ali (Gnatchop_Name) /= ':' loop
Gnatchop_Name := Gnatchop_Name + 1;
end loop;
+
Gnatchop_Offset :=
2 - Natural'Value (Ali (Token .. Gnatchop_Name - 1));
Token := Gnatchop_Name + 1;
end if;
- Add_To_Xref_File
+ File.Dep.Table (Num_Dependencies) := Add_To_Xref_File
(Ali (File_Start .. File_End),
- File_Existed,
- File.Dep.Table (Num_Dependencies),
Gnatchop_File => Ali (Token .. Ptr - 1),
Gnatchop_Offset => Gnatchop_Offset);
- elsif Dependencies and then Ali (Ptr) = 'W' then
+ elsif W_Lines and then Ali (Ptr) = 'W' then
+
-- Found with-clause information. Format looks like:
-- "W debug%s debug.adb debug.ali"
Parse_Token (Ali, Ptr, Token);
Parse_Token (Ali, Ptr, Token);
- Add_To_Xref_File
- (Ali (Token .. Ptr - 1),
- File_Existed,
- File_Ref,
- Visited => False);
+ File_Ref :=
+ Add_To_Xref_File (Ali (Token .. Ptr - 1), Visited => False);
elsif Ali (Ptr) = 'X' then
+
-- Found a cross-referencing line - stop processing
File.Current_Line := Ptr;
end loop;
raise No_Xref_Information;
+ end Skip_To_First_X_Line;
+
+ ----------
+ -- Open --
+ ----------
+
+ procedure Open
+ (Name : String;
+ File : out ALI_File;
+ Dependencies : Boolean := False)
+ is
+ Ali : String_Access renames File.Buffer;
+ pragma Warnings (Off, Ali);
+
+ begin
+ if File.Buffer /= null then
+ Free (File.Buffer);
+ end if;
+
+ Init (File.Dep);
+
+ begin
+ Read_File (Name, Ali);
+
+ exception
+ when Ada.Text_IO.Name_Error | Ada.Text_IO.End_Error =>
+ raise No_Xref_Information;
+ end;
+
+ Skip_To_First_X_Line (File, D_Lines => True, W_Lines => Dependencies);
end Open;
---------------
-- Parse_EOL --
---------------
- procedure Parse_EOL (Source : access String; Ptr : in out Positive) is
+ procedure Parse_EOL
+ (Source : not null access String;
+ Ptr : in out Positive;
+ Skip_Continuation_Line : Boolean := False)
+ is
begin
- -- Skip to end of line
-
- while Source (Ptr) /= ASCII.CR and then Source (Ptr) /= ASCII.LF
- and then Source (Ptr) /= EOF
loop
- Ptr := Ptr + 1;
- end loop;
+ -- Skip to end of line
- if Source (Ptr) /= EOF then
- Ptr := Ptr + 1; -- skip CR or LF
- end if;
+ while Source (Ptr) /= ASCII.CR and then Source (Ptr) /= ASCII.LF
+ and then Source (Ptr) /= EOF
+ loop
+ Ptr := Ptr + 1;
+ end loop;
- -- Skip past CR/LF or LF/CR combination
+ -- Skip CR or LF if not at end of file
- if (Source (Ptr) = ASCII.CR or else Source (Ptr) = ASCII.LF)
- and then Source (Ptr) /= Source (Ptr - 1)
- then
- Ptr := Ptr + 1;
- end if;
+ if Source (Ptr) /= EOF then
+ Ptr := Ptr + 1;
+ end if;
+
+ -- Skip past CR/LF or LF/CR combination
+
+ if (Source (Ptr) = ASCII.CR or else Source (Ptr) = ASCII.LF)
+ and then Source (Ptr) /= Source (Ptr - 1)
+ then
+ Ptr := Ptr + 1;
+ end if;
+
+ exit when not Skip_Continuation_Line or else Source (Ptr) /= '.';
+ end loop;
end Parse_EOL;
---------------------------
Local_Symbols : Boolean;
Der_Info : Boolean := False;
Type_Tree : Boolean := False;
- Wide_Search : Boolean := True)
+ Wide_Search : Boolean := True;
+ Labels_As_Ref : Boolean := True)
is
Ptr : Positive renames File.Current_Line;
Ali : String_Access renames File.Buffer;
-- to parse the ali file again because the parent entity is not in
-- the declaration table if it did not match the search pattern.
+ procedure Skip_To_Matching_Closing_Bracket;
+ -- When Ptr points to an opening square bracket, moves it to the
+ -- character following the matching closing bracket
+
---------------------
-- Get_Symbol_Name --
---------------------
E_Line : Natural; -- Line number of current entity
E_Col : Natural; -- Column number of current entity
E_Name : Positive; -- Pointer to begin of entity name
- E_Type : Character; -- Type of current entity
-
- procedure Skip_Line;
- -- skip current line and continuation line
-
- procedure Skip_Line is
- begin
- loop
- Parse_EOL (Ali, Ptr);
- exit when Ali (Ptr) /= '.';
- end loop;
- end Skip_Line;
-
- -- Start of processing for Get_Symbol_Name
begin
-- Look for the X lines corresponding to unit Eun
exit when E_Eun = Eun;
end if;
- Skip_Line;
+ Parse_EOL (Ali, Ptr, Skip_Continuation_Line => True);
end loop;
-- Here we are in the right Ali section, we now look for the entity
loop
Parse_Number (Ali, Ptr, E_Line);
- E_Type := Ali (Ptr);
+ exit when Ali (Ptr) = EOF;
Ptr := Ptr + 1;
Parse_Number (Ali, Ptr, E_Col);
+ exit when Ali (Ptr) = EOF;
Ptr := Ptr + 1;
if Line = E_Line and then Col = E_Col then
return Ali (E_Name .. Ptr - 1);
end if;
- Skip_Line;
+ Parse_EOL (Ali, Ptr, Skip_Continuation_Line => True);
+ exit when Ali (Ptr) = EOF;
end loop;
- -- We were not able to find the symbol, this should not happend but
+ -- We were not able to find the symbol, this should not happen but
-- since we don't want to stop here we return a string of three
-- question marks as the symbol name.
return "???";
end Get_Symbol_Name;
+ --------------------------------------
+ -- Skip_To_Matching_Closing_Bracket --
+ --------------------------------------
+
+ procedure Skip_To_Matching_Closing_Bracket is
+ Num_Brackets : Natural;
+
+ begin
+ Num_Brackets := 1;
+ while Num_Brackets /= 0 loop
+ Ptr := Ptr + 1;
+ if Ali (Ptr) = '[' then
+ Num_Brackets := Num_Brackets + 1;
+ elsif Ali (Ptr) = ']' then
+ Num_Brackets := Num_Brackets - 1;
+ end if;
+ end loop;
+
+ Ptr := Ptr + 1;
+ end Skip_To_Matching_Closing_Bracket;
+
-- Start of processing for Parse_Identifier_Info
begin
Ptr := Ptr + 1;
end if;
+ -- Ignore some of the entities (labels,...)
+
+ case E_Type is
+ when 'l' | 'L' | 'q' =>
+ Parse_EOL (Ali, Ptr, Skip_Continuation_Line => True);
+ return;
+
+ when others =>
+ null;
+ end case;
+
Parse_Number (Ali, Ptr, E_Col);
E_Global := False;
if (not Local_Symbols and not E_Global)
or else (Pattern.Initialized
- and then not Match (Pattern, Ali (E_Name .. Ptr - 1)))
+ and then not Match (Ali (E_Name .. Ptr - 1), Pattern.Entity))
or else (E_Name >= Ptr)
then
- -- Skip rest of this line and all continuation lines
-
- loop
- Parse_EOL (Ali, Ptr);
- exit when Ali (Ptr) /= '.';
- end loop;
+ Decl_Ref := Add_Declaration
+ (File.X_File, Ali (E_Name .. Ptr - 1), E_Line, E_Col, E_Type,
+ Remove_Only => True);
+ Parse_EOL (Ali, Ptr, Skip_Continuation_Line => True);
return;
end if;
Decl_Ref := Add_Declaration
(File.X_File, Ali (E_Name .. Ptr - 1), E_Line, E_Col, E_Type);
+ if Ali (Ptr) = '[' then
+ Skip_To_Matching_Closing_Bracket;
+ end if;
+
+ -- Skip any renaming indication
+
+ if Ali (Ptr) = '=' then
+ declare
+ P_Line, P_Column : Natural;
+ pragma Warnings (Off, P_Line);
+ pragma Warnings (Off, P_Column);
+ begin
+ Ptr := Ptr + 1;
+ Parse_Number (Ali, Ptr, P_Line);
+ Ptr := Ptr + 1;
+ Parse_Number (Ali, Ptr, P_Column);
+ end;
+ end if;
+
if Ali (Ptr) = '<'
or else Ali (Ptr) = '('
or else Ali (Ptr) = '{'
then
-
-- Here we have a type derivation information. The format is
-- <3|12I45> which means that the current entity is derived from the
-- type defined in unit number 3, line 12 column 45. The pipe and
-- unit number is optional. It is specified only if the parent type
-- is not defined in the current unit.
+ -- We also have the format for generic instantiations, as in
+ -- 7a5*Uid(3|5I8[4|2]) 2|4r74
+
-- We could also have something like
-- 16I9*I<integer>
-- that indicates that I derives from the predefined type integer.
Parse_Derived_Info : declare
P_Line : Natural; -- parent entity line
P_Column : Natural; -- parent entity column
- P_Type : Character; -- parent entity type
P_Eun : Positive; -- parent entity file number
begin
-- Then parse the type and column number
- P_Type := Ali (Ptr);
Ptr := Ptr + 1;
Parse_Number (Ali, Ptr, P_Column);
+ -- Skip the information for generics instantiations
+
+ if Ali (Ptr) = '[' then
+ Skip_To_Matching_Closing_Bracket;
+ end if;
+
-- Skip '>', or ')' or '>'
Ptr := Ptr + 1;
-- on or if we want to output the type hierarchy
if Der_Info or else Type_Tree then
- Add_Parent
- (Decl_Ref,
- Get_Symbol_Name (P_Eun, P_Line, P_Column),
- P_Line,
- P_Column,
- File.Dep.Table (P_Eun));
+ declare
+ Symbol : constant String :=
+ Get_Symbol_Name (P_Eun, P_Line, P_Column);
+ begin
+ if Symbol /= "???" then
+ Add_Parent
+ (Decl_Ref,
+ Symbol,
+ P_Line,
+ P_Column,
+ File.Dep.Table (P_Eun));
+ end if;
+ end;
end if;
- if Type_Tree then
+ if Type_Tree
+ and then (Pattern.File_Ref = Empty_File
+ or else
+ Pattern.File_Ref = Current_Xref_File (File))
+ then
Search_Parent_Tree : declare
Pattern : Search_Pattern; -- Parent type pattern
File_Pos_Backup : Positive;
& ':' & Get_Gnatchop_File (File.Dep.Table (P_Eun))
& ':' & Get_Line (Get_Parent (Decl_Ref))
& ':' & Get_Column (Get_Parent (Decl_Ref)),
- False);
+ False);
-- No default match is needed to look for the parent type
-- since we are using the fully qualified symbol name:
Set_Default_Match (False);
- -- The parent type is defined in the same unit as the
- -- derived type. So we want to revisit the unit.
+ -- The parent hierarchy is defined in the same unit as
+ -- the derived type. So we want to revisit the unit.
File_Pos_Backup := File.Current_Line;
- if File.Dep.Table (P_Eun) = File_Ref then
-
- -- set file pointer at the start of the xref lines
-
- File.Current_Line := File.Xref_Line;
-
- Revisit_ALI_File : declare
- File_Existed : Boolean;
- File_Ref : File_Reference;
-
- begin
- Add_To_Xref_File
- (ALI_File_Name
- (Get_File (File.Dep.Table (P_Eun))),
- File_Existed,
- File_Ref,
- Visited => False);
- Set_Unvisited (File_Ref);
- end Revisit_ALI_File;
- end if;
-
- Search (Pattern,
- Local_Symbols, False, False, Der_Info, Type_Tree);
+ Skip_To_First_X_Line
+ (File, D_Lines => False, W_Lines => False);
+
+ while File.Buffer (File.Current_Line) /= EOF loop
+ Parse_X_Filename (File);
+ Parse_Identifier_Info
+ (Pattern => Pattern,
+ File => File,
+ Local_Symbols => False,
+ Der_Info => Der_Info,
+ Type_Tree => True,
+ Wide_Search => False,
+ Labels_As_Ref => Labels_As_Ref);
+ end loop;
File.Current_Line := File_Pos_Backup;
end Search_Parent_Tree;
end loop;
Ptr := Ptr + 1;
end if;
-
- elsif Ali (Ptr) = '=' then
- declare
- P_Line, P_Column : Natural;
- begin
- Ptr := Ptr + 1;
- Parse_Number (Ali, Ptr, P_Line);
- Ptr := Ptr + 1;
- Parse_Number (Ali, Ptr, P_Column);
- end;
end if;
-- To find the body, we will have to parse the file too
if Wide_Search then
declare
- File_Existed : Boolean;
- File_Ref : File_Reference;
- File_Name : constant String :=
- Get_Gnatchop_File (File.X_File);
-
+ File_Ref : File_Reference;
+ pragma Unreferenced (File_Ref);
+ File_Name : constant String := Get_Gnatchop_File (File.X_File);
begin
- Add_To_Xref_File
- (ALI_File_Name (File_Name), File_Existed, File_Ref, False);
+ File_Ref := Add_To_Xref_File (ALI_File_Name (File_Name), False);
end;
end if;
loop
-- Process references on current line
- while Ali (Ptr) = ' ' or Ali (Ptr) = ASCII.HT loop
+ while Ali (Ptr) = ' ' or else Ali (Ptr) = ASCII.HT loop
-- For every reference read the line, type and column,
-- optionally preceded by a file number and a pipe symbol.
Ptr := Ptr + 1;
end if;
+ -- Imported entities might special indication as to their external
+ -- name:
+ -- 5U14*Foo2 5>20 6b<c,myfoo2>22
+
+ if R_Type = 'b'
+ and then Ali (Ptr) = '<'
+ then
+ while Ptr <= Ali'Last
+ and then Ali (Ptr) /= '>'
+ loop
+ Ptr := Ptr + 1;
+ end loop;
+ Ptr := Ptr + 1;
+ end if;
+
Parse_Number (Ali, Ptr, R_Col);
-- Insert the reference or body in the table
- Add_Reference (Decl_Ref, File_Ref, R_Line, R_Col, R_Type);
+ Add_Reference
+ (Decl_Ref, File_Ref, R_Line, R_Col, R_Type, Labels_As_Ref);
-- Skip generic information, if any
if Ali (Ptr) = '[' then
declare
Num_Nested : Integer := 1;
+
begin
Ptr := Ptr + 1;
while Num_Nested /= 0 loop
elsif Ali (Ptr) = '[' then
Num_Nested := Num_Nested + 1;
end if;
+
Ptr := Ptr + 1;
end loop;
end;
------------------
procedure Parse_Number
- (Source : access String;
- Ptr : in out Positive;
- Number : out Natural)
+ (Source : not null access String;
+ Ptr : in out Positive;
+ Number : out Natural)
is
begin
-- Skip separators
Number := 0;
while Source (Ptr) in '0' .. '9' loop
- Number := 10 * Number
- + (Character'Pos (Source (Ptr)) - Character'Pos ('0'));
+ Number :=
+ 10 * Number + (Character'Pos (Source (Ptr)) - Character'Pos ('0'));
Ptr := Ptr + 1;
end loop;
end Parse_Number;
-----------------
procedure Parse_Token
- (Source : access String;
+ (Source : not null access String;
Ptr : in out Positive;
Token_Ptr : out Positive)
is
- In_Quotes : Boolean := False;
+ In_Quotes : Character := ASCII.NUL;
begin
-- Skip separators
-- Find end-of-token
- while (In_Quotes or else
+ while (In_Quotes /= ASCII.NUL or else
not (Source (Ptr) = ' '
- or else Source (Ptr) = ASCII.HT
- or else Source (Ptr) = '<'
- or else Source (Ptr) = '{'
- or else Source (Ptr) = '='
- or else Source (Ptr) = '('))
+ or else Source (Ptr) = ASCII.HT
+ or else Source (Ptr) = '<'
+ or else Source (Ptr) = '{'
+ or else Source (Ptr) = '['
+ or else Source (Ptr) = '='
+ or else Source (Ptr) = '('))
and then Source (Ptr) >= ' '
loop
- if Source (Ptr) = '"' then
- In_Quotes := not In_Quotes;
- end if;
+ -- Double-quotes are used for operators
+ -- Simple-quotes are used for character constants, for instance when
+ -- they are found in an enumeration type "type A is ('+', '-');"
+
+ case Source (Ptr) is
+ when '"' | ''' =>
+ if In_Quotes = Source (Ptr) then
+ In_Quotes := ASCII.NUL;
+ elsif In_Quotes = ASCII.NUL then
+ In_Quotes := Source (Ptr);
+ end if;
+
+ when others =>
+ null;
+ end case;
Ptr := Ptr + 1;
end loop;
Parse_EOL (Ali, Ptr);
end loop;
-
end Parse_X_Filename;
--------------------
(References : Boolean;
Full_Path_Name : Boolean)
is
- Decl : Declaration_Reference := First_Declaration;
- Ref1 : Reference;
- Ref2 : Reference;
+ Decls : constant Declaration_Array_Access := Get_Declarations;
+ Decl : Declaration_Reference;
+ Arr : Reference_Array_Access;
procedure Print_Ref
(Ref : Reference;
(Ref : Reference;
Msg : String := " ")
is
+ F : String_Access :=
+ Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Ref, Full_Path_Name));
+
Buffer : constant String :=
- Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Ref, Full_Path_Name)).all
- & ":" & Get_Line (Ref)
- & ":" & Get_Column (Ref)
- & ": ";
+ F.all &
+ ":" & Get_Line (Ref) &
+ ":" & Get_Column (Ref) &
+ ": ";
+
Num_Blanks : Integer := Longest_File_Name + 10 - Buffer'Length;
begin
+ Free (F);
Num_Blanks := Integer'Max (0, Num_Blanks);
Write_Line
(Buffer
& String'(1 .. Num_Blanks => ' ')
& Msg & " " & Get_Symbol (Decl));
+
if Get_Source_Line (Ref)'Length /= 0 then
Write_Line (" " & Get_Source_Line (Ref));
end if;
-- Start of processing for Print_Gnatfind
begin
- while Decl /= Empty_Declaration loop
+ for D in Decls'Range loop
+ Decl := Decls (D);
+
if Match (Decl) then
-- Output the declaration
declare
Parent : constant Declaration_Reference := Get_Parent (Decl);
+
+ F : String_Access :=
+ Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Decl, Full_Path_Name));
+
Buffer : constant String :=
- Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Decl, Full_Path_Name)).all
- & ":" & Get_Line (Decl)
- & ":" & Get_Column (Decl)
- & ": ";
+ F.all &
+ ":" & Get_Line (Decl) &
+ ":" & Get_Column (Decl) &
+ ": ";
+
Num_Blanks : Integer := Longest_File_Name + 10 - Buffer'Length;
begin
+ Free (F);
Num_Blanks := Integer'Max (0, Num_Blanks);
Write_Line
(Buffer & String'(1 .. Num_Blanks => ' ')
& "(spec) " & Get_Symbol (Decl));
if Parent /= Empty_Declaration then
+ F := Osint.To_Host_File_Spec (Get_Gnatchop_File (Parent));
Write_Line
(Buffer & String'(1 .. Num_Blanks => ' ')
& " derived from " & Get_Symbol (Parent)
& " ("
- & Osint.To_Host_File_Spec (Get_Gnatchop_File (Parent)).all
+ & F.all
& ':' & Get_Line (Parent)
& ':' & Get_Column (Parent) & ')');
+ Free (F);
end if;
end;
-- Output the body (sorted)
- Ref1 := First_Body (Decl);
- while Ref1 /= Empty_Reference loop
- Print_Ref (Ref1, "(body)");
- Ref1 := Next (Ref1);
+ Arr := Get_References (Decl, Get_Bodies => True);
+
+ for R in Arr'Range loop
+ Print_Ref (Arr (R), "(body)");
end loop;
+ Free (Arr);
+
if References then
- Ref1 := First_Modif (Decl);
- Ref2 := First_Reference (Decl);
- while Ref1 /= Empty_Reference
- or else Ref2 /= Empty_Reference
- loop
- if Compare (Ref1, Ref2) = LessThan then
- Print_Ref (Ref1);
- Ref1 := Next (Ref1);
- else
- Print_Ref (Ref2);
- Ref2 := Next (Ref2);
- end if;
+ Arr := Get_References
+ (Decl, Get_Writes => True, Get_Reads => True);
+
+ for R in Arr'Range loop
+ Print_Ref (Arr (R));
end loop;
+
+ Free (Arr);
end if;
end if;
-
- Decl := Next (Decl);
end loop;
end Print_Gnatfind;
-- Print_Unused --
------------------
- procedure Print_Unused (Full_Path_Name : in Boolean) is
- Decl : Declaration_Reference := First_Declaration;
- Ref : Reference;
+ procedure Print_Unused (Full_Path_Name : Boolean) is
+ Decls : constant Declaration_Array_Access := Get_Declarations;
+ Decl : Declaration_Reference;
+ Arr : Reference_Array_Access;
+ F : String_Access;
begin
- while Decl /= Empty_Declaration loop
- if First_Modif (Decl) = Empty_Reference
- and then First_Reference (Decl) = Empty_Reference
+ for D in Decls'Range loop
+ Decl := Decls (D);
+
+ if References_Count
+ (Decl, Get_Reads => True, Get_Writes => True) = 0
then
+ F := Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Decl, Full_Path_Name));
Write_Str (Get_Symbol (Decl)
- & " "
- & Get_Type (Decl)
- & " "
- & Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Decl, Full_Path_Name)).all
- & ':'
- & Get_Line (Decl)
- & ':'
- & Get_Column (Decl));
+ & " ("
+ & Get_Full_Type (Decl)
+ & ") "
+ & F.all
+ & ':'
+ & Get_Line (Decl)
+ & ':'
+ & Get_Column (Decl));
+ Free (F);
-- Print the body if any
- Ref := First_Body (Decl);
+ Arr := Get_References (Decl, Get_Bodies => True);
- if Ref /= Empty_Reference then
- Write_Line (' '
- & Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Ref, Full_Path_Name)).all
- & ':' & Get_Line (Ref)
- & ':' & Get_Column (Ref));
- else
- Write_Eol;
- end if;
- end if;
+ for R in Arr'Range loop
+ F := Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Arr (R), Full_Path_Name));
+ Write_Str (' '
+ & F.all
+ & ':' & Get_Line (Arr (R))
+ & ':' & Get_Column (Arr (R)));
+ Free (F);
+ end loop;
- Decl := Next (Decl);
+ Write_Eol;
+ Free (Arr);
+ end if;
end loop;
end Print_Unused;
-- Print_Vi --
--------------
- procedure Print_Vi (Full_Path_Name : in Boolean) is
- Tab : constant Character := ASCII.HT;
- Decl : Declaration_Reference := First_Declaration;
- Ref : Reference;
+ procedure Print_Vi (Full_Path_Name : Boolean) is
+ Tab : constant Character := ASCII.HT;
+ Decls : constant Declaration_Array_Access :=
+ Get_Declarations (Sorted => False);
+ Decl : Declaration_Reference;
+ Arr : Reference_Array_Access;
+ F : String_Access;
begin
- while Decl /= Empty_Declaration loop
- Write_Line (Get_Symbol (Decl) & Tab
- & Get_File (Decl, Full_Path_Name) & Tab
- & Get_Line (Decl));
+ for D in Decls'Range loop
+ Decl := Decls (D);
+
+ F := Osint.To_Host_File_Spec (Get_File (Decl, Full_Path_Name));
+ Write_Line (Get_Symbol (Decl) & Tab & F.all & Tab & Get_Line (Decl));
+ Free (F);
-- Print the body if any
- Ref := First_Body (Decl);
+ Arr := Get_References (Decl, Get_Bodies => True);
- if Ref /= Empty_Reference then
- Write_Line (Get_Symbol (Decl) & Tab
- & Get_File (Ref, Full_Path_Name)
- & Tab
- & Get_Line (Ref));
- end if;
+ for R in Arr'Range loop
+ F := Osint.To_Host_File_Spec (Get_File (Arr (R), Full_Path_Name));
+ Write_Line
+ (Get_Symbol (Decl) & Tab & F.all & Tab & Get_Line (Arr (R)));
+ Free (F);
+ end loop;
+
+ Free (Arr);
-- Print the modifications
- Ref := First_Modif (Decl);
+ Arr := Get_References (Decl, Get_Writes => True, Get_Reads => True);
- while Ref /= Empty_Reference loop
- Write_Line (Get_Symbol (Decl) & Tab
- & Get_File (Ref, Full_Path_Name)
- & Tab
- & Get_Line (Ref));
- Ref := Next (Ref);
+ for R in Arr'Range loop
+ F := Osint.To_Host_File_Spec (Get_File (Arr (R), Full_Path_Name));
+ Write_Line
+ (Get_Symbol (Decl) & Tab & F.all & Tab & Get_Line (Arr (R)));
+ Free (F);
end loop;
- Decl := Next (Decl);
+ Free (Arr);
end loop;
end Print_Vi;
-- Print_Xref --
----------------
- procedure Print_Xref (Full_Path_Name : in Boolean) is
- Decl : Declaration_Reference := First_Declaration;
- Ref : Reference;
- File : File_Reference;
+ procedure Print_Xref (Full_Path_Name : Boolean) is
+ Decls : constant Declaration_Array_Access := Get_Declarations;
+ Decl : Declaration_Reference;
Margin : constant := 10;
-- Column where file names start
procedure New_Line80;
-- Go to start of new line
- procedure Print80 (S : in String);
- -- Print the text, respecting the 80 columns rule.
+ procedure Print80 (S : String);
+ -- Print the text, respecting the 80 columns rule
procedure Print_Ref (Line, Column : String);
-- The beginning of the output is aligned on a column multiple of 9
+ procedure Print_List
+ (Decl : Declaration_Reference;
+ Msg : String;
+ Get_Reads : Boolean := False;
+ Get_Writes : Boolean := False;
+ Get_Bodies : Boolean := False);
+ -- Print a list of references. If the list is not empty, Msg will
+ -- be printed prior to the list.
+
----------------
-- New_Line80 --
----------------
-- Print80 --
-------------
- procedure Print80 (S : in String) is
+ procedure Print80 (S : String) is
Align : Natural := Margin - (Integer (Column) mod Margin);
+
begin
if Align = Margin then
Align := 0;
Write_Str (String'(1 .. Align => ' ') & S);
end Print_Ref;
- -- Start of processing for Print_Xref
-
- begin
- while Decl /= Empty_Declaration loop
- Write_Str (Get_Symbol (Decl));
-
- while Column < Type_Position loop
- Write_Char (' ');
- end loop;
-
- Write_Line (Get_Full_Type (Get_Type (Decl)));
-
- Write_Parent_Info : declare
- Parent : constant Declaration_Reference := Get_Parent (Decl);
- begin
- if Parent /= Empty_Declaration then
- Write_Str (" Ptype: ");
- Print80
- (Osint.To_Host_File_Spec (Get_Gnatchop_File (Parent)).all);
- Print_Ref (Get_Line (Parent), Get_Column (Parent));
- Print80 (" " & Get_Symbol (Parent));
- Write_Eol;
- end if;
- end Write_Parent_Info;
-
- Write_Str (" Decl: ");
- Print80
- (Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Decl, Full_Path_Name)).all & ' ');
- Print_Ref (Get_Line (Decl), Get_Column (Decl));
-
- -- Print the body if any
-
- Ref := First_Body (Decl);
-
- if Ref /= Empty_Reference then
- Write_Eol;
- Write_Str (" Body: ");
- Print80
- (Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Ref, Full_Path_Name)).all & ' ');
- Print_Ref (Get_Line (Ref), Get_Column (Ref));
- end if;
-
- -- Print the modifications if any
+ ----------------
+ -- Print_List --
+ ----------------
- Ref := First_Modif (Decl);
+ procedure Print_List
+ (Decl : Declaration_Reference;
+ Msg : String;
+ Get_Reads : Boolean := False;
+ Get_Writes : Boolean := False;
+ Get_Bodies : Boolean := False)
+ is
+ Arr : Reference_Array_Access :=
+ Get_References
+ (Decl,
+ Get_Writes => Get_Writes,
+ Get_Reads => Get_Reads,
+ Get_Bodies => Get_Bodies);
+ File : File_Reference := Empty_File;
+ F : String_Access;
- if Ref /= Empty_Reference then
+ begin
+ if Arr'Length /= 0 then
Write_Eol;
- Write_Str (" Modi: ");
+ Write_Str (Msg);
end if;
- File := Empty_File;
-
- while Ref /= Empty_Reference loop
- if Get_File_Ref (Ref) /= File then
+ for R in Arr'Range loop
+ if Get_File_Ref (Arr (R)) /= File then
if File /= Empty_File then
New_Line80;
end if;
- File := Get_File_Ref (Ref);
- Write_Str
- (Get_Gnatchop_File (Ref, Full_Path_Name) & ' ');
- Print_Ref (Get_Line (Ref), Get_Column (Ref));
-
- else
- Print_Ref (Get_Line (Ref), Get_Column (Ref));
+ File := Get_File_Ref (Arr (R));
+ F := Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Arr (R), Full_Path_Name));
+ Write_Str (F.all & ' ');
+ Free (F);
end if;
- Ref := Next (Ref);
+ Print_Ref (Get_Line (Arr (R)), Get_Column (Arr (R)));
end loop;
- -- Print the references
+ Free (Arr);
+ end Print_List;
- Ref := First_Reference (Decl);
+ F : String_Access;
- if Ref /= Empty_Reference then
- Write_Eol;
- Write_Str (" Ref: ");
- end if;
-
- File := Empty_File;
+ -- Start of processing for Print_Xref
- while Ref /= Empty_Reference loop
- if Get_File_Ref (Ref) /= File then
- if File /= Empty_File then
- New_Line80;
- end if;
+ begin
+ for D in Decls'Range loop
+ Decl := Decls (D);
- File := Get_File_Ref (Ref);
- Write_Str
- (Osint.To_Host_File_Spec
- (Get_Gnatchop_File (Ref, Full_Path_Name)).all & ' ');
- Print_Ref (Get_Line (Ref), Get_Column (Ref));
+ Write_Str (Get_Symbol (Decl));
- else
- Print_Ref (Get_Line (Ref), Get_Column (Ref));
- end if;
+ -- Put the declaration type in column Type_Position, but if the
+ -- declaration name is too long, put at least one space between its
+ -- name and its type.
- Ref := Next (Ref);
+ while Column < Type_Position - 1 loop
+ Write_Char (' ');
end loop;
- Write_Eol;
- Decl := Next (Decl);
- end loop;
- end Print_Xref;
+ Write_Char (' ');
- ---------------
- -- Read_File --
- ---------------
-
- procedure Read_File
- (FD : File_Descriptor;
- Contents : out String_Access;
- Success : out Boolean)
- is
- Length : constant File_Offset := File_Offset (File_Length (FD));
- -- Include room for EOF char
+ Write_Line (Get_Full_Type (Decl));
- Buffer : String (1 .. Length + 1);
+ Write_Parent_Info : declare
+ Parent : constant Declaration_Reference := Get_Parent (Decl);
- This_Read : Integer;
- Read_Ptr : File_Offset := 1;
+ begin
+ if Parent /= Empty_Declaration then
+ Write_Str (" Ptype: ");
+ F := Osint.To_Host_File_Spec (Get_Gnatchop_File (Parent));
+ Print80 (F.all);
+ Free (F);
+ Print_Ref (Get_Line (Parent), Get_Column (Parent));
+ Print80 (" " & Get_Symbol (Parent));
+ Write_Eol;
+ end if;
+ end Write_Parent_Info;
- begin
+ Write_Str (" Decl: ");
+ F := Osint.To_Host_File_Spec
+ (Get_Gnatchop_File (Decl, Full_Path_Name));
+ Print80 (F.all & ' ');
+ Free (F);
+ Print_Ref (Get_Line (Decl), Get_Column (Decl));
- loop
- This_Read := Read (FD,
- A => Buffer (Read_Ptr)'Address,
- N => Length + 1 - Read_Ptr);
- Read_Ptr := Read_Ptr + Integer'Max (This_Read, 0);
- exit when This_Read <= 0;
+ Print_List
+ (Decl, " Body: ", Get_Bodies => True);
+ Print_List
+ (Decl, " Modi: ", Get_Writes => True);
+ Print_List
+ (Decl, " Ref: ", Get_Reads => True);
+ Write_Eol;
end loop;
-
- Buffer (Read_Ptr) := EOF;
- Contents := new String'(Buffer (1 .. Read_Ptr));
-
- -- Things aren't simple on VMS due to the plethora of file types
- -- and organizations. It seems clear that there shouldn't be more
- -- bytes read than are contained in the file though.
-
- if Hostparm.OpenVMS then
- Success := Read_Ptr <= Length + 1;
- else
- Success := Read_Ptr = Length + 1;
- end if;
- end Read_File;
+ end Print_Xref;
------------
-- Search --
type String_Access is access String;
procedure Free is new Unchecked_Deallocation (String, String_Access);
- ALIfile : ALI_File;
- File_Ref : File_Reference;
- Strip_Num : Natural := 0;
- Ali_Name : String_Access;
+ ALIfile : ALI_File;
+ File_Ref : File_Reference;
+ Strip_Num : Natural := 0;
+ Ali_Name : String_Access;
begin
-- If we want all the .ali files, then find them
Ali_Name := new String'
(Get_File (File_Ref, With_Dir => True, Strip => Strip_Num));
- -- Striped too many things...
+ -- Stripped too many things...
+
if Ali_Name.all = "" then
if Get_Emit_Warning (File_Ref) then
Set_Standard_Error;
Free (Ali_Name);
exit;
- -- If not found, try the parent's ALI file (this is needed for
- -- separate units and subprograms).
+ -- If not found, try the parent's ALI file (this is needed for
+ -- separate units and subprograms).
+
+ -- Reset the cached directory first, in case the separate's
+ -- ALI file is not in the same directory.
+
elsif not File_Exists (Ali_Name.all) then
Strip_Num := Strip_Num + 1;
+ Reset_Directory (File_Ref);
+
+ -- Else we finally found it
- -- Else we finally found it
else
exit;
end if;
end loop;
+ -- If we had to get the parent's ALI, insert it in the list as usual.
+ -- This is to avoid parsing it twice in case it has already been
+ -- parsed.
+
+ if Ali_Name /= null and then Strip_Num /= 0 then
+ File_Ref := Add_To_Xref_File
+ (File_Name => Ali_Name.all,
+ Visited => False);
+
-- Now that we have a file name, parse it to find any reference to
-- the entity.
- if Ali_Name /= null
+ elsif Ali_Name /= null
and then (Read_Only or else Is_Writable_File (Ali_Name.all))
then
begin
Open (Ali_Name.all, ALIfile);
while ALIfile.Buffer (ALIfile.Current_Line) /= EOF loop
Parse_X_Filename (ALIfile);
- Parse_Identifier_Info (Pattern, ALIfile, Local_Symbols,
- Der_Info, Type_Tree, Wide_Search);
+ Parse_Identifier_Info
+ (Pattern, ALIfile, Local_Symbols,
+ Der_Info, Type_Tree, Wide_Search, Labels_As_Ref => True);
end loop;
exception
Read_Only : Boolean;
Der_Info : Boolean)
is
- ALIfile : ALI_File;
- File_Ref : File_Reference;
+ ALIfile : ALI_File;
+ File_Ref : File_Reference;
Null_Pattern : Search_Pattern;
+
begin
+ Null_Pattern.Initialized := False;
+
loop
-- Find the next unvisited file
-- Search the object directories for the .ali file
- if Read_Only
- or else Is_Writable_File (Get_File (File_Ref, With_Dir => True))
- then
- begin
- Open (Get_File (File_Ref, With_Dir => True), ALIfile, True);
+ declare
+ F : constant String := Get_File (File_Ref, With_Dir => True);
+
+ begin
+ if Read_Only or else Is_Writable_File (F) then
+ Open (F, ALIfile, True);
while ALIfile.Buffer (ALIfile.Current_Line) /= EOF loop
Parse_X_Filename (ALIfile);
Parse_Identifier_Info
- (Null_Pattern, ALIfile, Local_Symbols, Der_Info);
+ (Null_Pattern, ALIfile, Local_Symbols, Der_Info,
+ Labels_As_Ref => False);
end loop;
+ end if;
- exception
- when No_Xref_Information => null;
- end;
- end if;
+ exception
+ when No_Xref_Information => null;
+ end;
end loop;
end Search_Xref;