391 lines
16 KiB
Ada
391 lines
16 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- X R _ T A B L S --
|
|
-- --
|
|
-- S p e c --
|
|
-- --
|
|
-- Copyright (C) 1998-2005, 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, 51 Franklin Street, Fifth Floor, --
|
|
-- Boston, MA 02110-1301, USA. --
|
|
-- --
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
-- We need comment here saying what this package is???
|
|
|
|
with GNAT.OS_Lib;
|
|
|
|
package Xr_Tabls is
|
|
|
|
-------------------
|
|
-- Project files --
|
|
-------------------
|
|
|
|
function ALI_File_Name (Ada_File_Name : String) return String;
|
|
-- Returns the ali file name corresponding to Ada_File_Name
|
|
|
|
procedure Create_Project_File (Name : String);
|
|
-- Open and parse a new project file. If the file Name could not be
|
|
-- opened or is not a valid project file, then a project file associated
|
|
-- with the standard default directories is returned
|
|
|
|
function Next_Obj_Dir return String;
|
|
-- Returns the next directory to visit to find related ali files
|
|
-- If there are no more such directories, returns a null string.
|
|
|
|
function Current_Obj_Dir return String;
|
|
-- Returns the obj_dir which was returned by the last Next_Obj_Dir call
|
|
|
|
procedure Reset_Obj_Dir;
|
|
-- Reset the iterator for Obj_Dir
|
|
|
|
------------
|
|
-- Tables --
|
|
------------
|
|
|
|
type Declaration_Reference is private;
|
|
Empty_Declaration : constant Declaration_Reference;
|
|
|
|
type Declaration_Array is array (Natural range <>) of Declaration_Reference;
|
|
type Declaration_Array_Access is access Declaration_Array;
|
|
|
|
type File_Reference is private;
|
|
Empty_File : constant File_Reference;
|
|
|
|
type Reference is private;
|
|
Empty_Reference : constant Reference;
|
|
|
|
type Reference_Array is array (Natural range <>) of Reference;
|
|
type Reference_Array_Access is access Reference_Array;
|
|
|
|
procedure Free (Arr : in out Reference_Array_Access);
|
|
|
|
function Add_Declaration
|
|
(File_Ref : File_Reference;
|
|
Symbol : String;
|
|
Line : Natural;
|
|
Column : Natural;
|
|
Decl_Type : Character;
|
|
Remove_Only : Boolean := False;
|
|
Symbol_Match : Boolean := True)
|
|
return Declaration_Reference;
|
|
-- Add a new declaration in the table and return the index to it. Decl_Type
|
|
-- is the type of the entity Any previous instance of this entity in the
|
|
-- htable is removed. If Remove_Only is True, then any previous instance is
|
|
-- removed, but the new entity is never inserted. Symbol_Match should be
|
|
-- set to False if the name of the symbol doesn't match the pattern from
|
|
-- the command line. In that case, the entity will not be output by
|
|
-- gnatfind. If Symbol_Match is True, the entity will only be output if the
|
|
-- file name itself matches.
|
|
|
|
procedure Add_Parent
|
|
(Declaration : in out Declaration_Reference;
|
|
Symbol : String;
|
|
Line : Natural;
|
|
Column : Natural;
|
|
File_Ref : File_Reference);
|
|
-- The parent declaration (Symbol in file File_Ref at position Line and
|
|
-- Column) information is added to Declaration.
|
|
|
|
function Add_To_Xref_File
|
|
(File_Name : String;
|
|
Visited : Boolean := True;
|
|
Emit_Warning : Boolean := False;
|
|
Gnatchop_File : String := "";
|
|
Gnatchop_Offset : Integer := 0)
|
|
return File_Reference;
|
|
-- Add a new reference to a file in the table. Ref is used to return the
|
|
-- index in the table where this file is stored. Visited is the value which
|
|
-- will be used in the table (if True, the file will not be returned by
|
|
-- Next_Unvisited_File). If Emit_Warning is True and the ali file does
|
|
-- not exist or does not have cross-referencing information, then a
|
|
-- warning will be emitted. Gnatchop_File is the name of the file that
|
|
-- File_Name was extracted from through a call to "gnatchop -r" (using
|
|
-- pragma Source_Reference). Gnatchop_Offset should be the index of the
|
|
-- first line of File_Name within the Gnatchop_File.
|
|
|
|
procedure Add_Line
|
|
(File : File_Reference;
|
|
Line : Natural;
|
|
Column : Natural);
|
|
-- Add a new reference in a file, which the user has provided on the
|
|
-- command line. This is used for an optimized matching algorithm.
|
|
|
|
procedure Add_Reference
|
|
(Declaration : Declaration_Reference;
|
|
File_Ref : File_Reference;
|
|
Line : Natural;
|
|
Column : Natural;
|
|
Ref_Type : Character;
|
|
Labels_As_Ref : Boolean);
|
|
-- Add a new reference (Ref_Type = 'r'), body (Ref_Type = 'b') or
|
|
-- modification (Ref_Type = 'm') to an entity. If Labels_As_Ref is True,
|
|
-- then the references to the entity after the end statements ("end Foo")
|
|
-- are counted as actual references. This means that the entity will never
|
|
-- be reported as unreferenced (for instance in the case of gnatxref -u).
|
|
|
|
function Get_Declarations
|
|
(Sorted : Boolean := True)
|
|
return Declaration_Array_Access;
|
|
-- Return a sorted list of all the declarations in the application.
|
|
-- Freeing this array is the responsability of the caller, however it
|
|
-- shouldn't free the actual contents of the array, which are pointers
|
|
-- to internal data
|
|
|
|
function References_Count
|
|
(Decl : Declaration_Reference;
|
|
Get_Reads : Boolean := False;
|
|
Get_Writes : Boolean := False;
|
|
Get_Bodies : Boolean := False)
|
|
return Natural;
|
|
-- Return the number of references in Decl for the categories specified
|
|
-- by the Get_* parameters (read-only accesses, write accesses and bodies)
|
|
|
|
function Get_References
|
|
(Decl : Declaration_Reference;
|
|
Get_Reads : Boolean := False;
|
|
Get_Writes : Boolean := False;
|
|
Get_Bodies : Boolean := False)
|
|
return Reference_Array_Access;
|
|
-- Return a sorted list of all references to the entity in decl. The
|
|
-- parameters Get_* are used to specify what kind of references should be
|
|
-- merged and returned (read-only accesses, write accesses and bodies).
|
|
|
|
function Get_Column (Decl : Declaration_Reference) return String;
|
|
function Get_Column (Ref : Reference) return String;
|
|
|
|
function Get_Declaration
|
|
(File_Ref : File_Reference;
|
|
Line : Natural;
|
|
Column : Natural)
|
|
return Declaration_Reference;
|
|
-- Returns reference to the declaration found in file File_Ref at the
|
|
-- given Line and Column
|
|
|
|
function Get_Parent
|
|
(Decl : Declaration_Reference)
|
|
return Declaration_Reference;
|
|
-- Returns reference to Decl's parent declaration
|
|
|
|
function Get_Emit_Warning (File : File_Reference) return Boolean;
|
|
-- Returns the Emit_Warning field of the structure
|
|
|
|
function Get_Gnatchop_File
|
|
(File : File_Reference;
|
|
With_Dir : Boolean := False)
|
|
return String;
|
|
function Get_Gnatchop_File
|
|
(Ref : Reference;
|
|
With_Dir : Boolean := False)
|
|
return String;
|
|
function Get_Gnatchop_File
|
|
(Decl : Declaration_Reference;
|
|
With_Dir : Boolean := False)
|
|
return String;
|
|
-- Return the name of the file that File was extracted from through a
|
|
-- call to "gnatchop -r". The file name for File is returned if File
|
|
-- was not extracted from such a file. The directory will be given only
|
|
-- if With_Dir is True.
|
|
|
|
function Get_File
|
|
(Decl : Declaration_Reference;
|
|
With_Dir : Boolean := False) return String;
|
|
pragma Inline (Get_File);
|
|
-- Extract column number or file name from reference
|
|
|
|
function Get_File
|
|
(Ref : Reference;
|
|
With_Dir : Boolean := False) return String;
|
|
pragma Inline (Get_File);
|
|
|
|
function Get_File
|
|
(File : File_Reference;
|
|
With_Dir : Boolean := False;
|
|
Strip : Natural := 0) return String;
|
|
-- Returns the file name (and its directory if With_Dir is True or the user
|
|
-- has used the -f switch on the command line. If Strip is not 0, then the
|
|
-- last Strip-th "-..." substrings are removed first. For instance, with
|
|
-- Strip=2, a file name "parent-child1-child2-child3.ali" would be returned
|
|
-- as "parent-child1.ali". This is used when looking for the ALI file to
|
|
-- use for a package, since for separates with have to use the parent's
|
|
-- ALI. The null string is returned if there is no such parent unit.
|
|
--
|
|
-- Note that this version of Get_File is not inlined
|
|
|
|
function Get_File_Ref (Ref : Reference) return File_Reference;
|
|
function Get_Line (Decl : Declaration_Reference) return String;
|
|
function Get_Line (Ref : Reference) return String;
|
|
function Get_Symbol (Decl : Declaration_Reference) return String;
|
|
function Get_Type (Decl : Declaration_Reference) return Character;
|
|
function Is_Parameter (Decl : Declaration_Reference) return Boolean;
|
|
-- Functions that return the contents of a declaration
|
|
|
|
function Get_Source_Line (Ref : Reference) return String;
|
|
function Get_Source_Line (Decl : Declaration_Reference) return String;
|
|
-- Return the source line associated with the reference
|
|
|
|
procedure Grep_Source_Files;
|
|
-- Parse all the source files which have at least one reference, and grep
|
|
-- the appropriate source lines so that we'll be able to display them. This
|
|
-- function should be called once all the .ali files have been parsed, and
|
|
-- only if the appropriate user switch
|
|
-- has been used (gnatfind -s).
|
|
--
|
|
-- Note: To save memory, the strings for the source lines are shared. Thus
|
|
-- it is no longer possible to free the references, or we would free the
|
|
-- same chunk multiple times. It doesn't matter, though, since this is only
|
|
-- called once, prior to exiting gnatfind.
|
|
|
|
function Longest_File_Name return Natural;
|
|
-- Returns the longest file name found
|
|
|
|
function Match (Decl : Declaration_Reference) return Boolean;
|
|
-- Return True if the declaration matches
|
|
|
|
function Match
|
|
(File : File_Reference;
|
|
Line : Natural;
|
|
Column : Natural)
|
|
return Boolean;
|
|
-- Returns True if File:Line:Column was given on the command line
|
|
-- by the user
|
|
|
|
function Next_Unvisited_File return File_Reference;
|
|
-- Returns the next unvisited library file in the list If there is no more
|
|
-- unvisited file, return Empty_File. Two calls to this subprogram will
|
|
-- return different files.
|
|
|
|
procedure Set_Default_Match (Value : Boolean);
|
|
-- Set the default value for match in declarations.
|
|
-- This is used so that if no file was provided in the
|
|
-- command line, then every file match
|
|
|
|
procedure Reset_Directory (File : File_Reference);
|
|
-- Reset the cached directory for file. Next time Get_File is called, the
|
|
-- directory willl be recomputed.
|
|
|
|
procedure Set_Unvisited (File_Ref : File_Reference);
|
|
-- Set File_Ref as unvisited. So Next_Unvisited_File will return it
|
|
|
|
procedure Read_File
|
|
(File_Name : String;
|
|
Contents : out GNAT.OS_Lib.String_Access);
|
|
-- Reads File_Name into the newly allocated strig Contents. Types.EOF
|
|
-- character will be added to the returned Contents to simplify parsing.
|
|
-- Name_Error is raised if the file was not found. End_Error is raised if
|
|
-- the file could not be read correctly. For most systems correct reading
|
|
-- means that the number of bytes read is equal to the file size. The
|
|
-- exception is OpenVMS where correct reading means that the number of
|
|
-- bytes read is less than or equal to the file size.
|
|
|
|
private
|
|
type Project_File (Src_Dir_Length, Obj_Dir_Length : Natural) is record
|
|
Src_Dir : String (1 .. Src_Dir_Length);
|
|
Src_Dir_Index : Integer;
|
|
|
|
Obj_Dir : String (1 .. Obj_Dir_Length);
|
|
Obj_Dir_Index : Integer;
|
|
Last_Obj_Dir_Start : Natural;
|
|
end record;
|
|
|
|
type Project_File_Ptr is access all Project_File;
|
|
-- This is actually a list of all the directories to be searched,
|
|
-- either for source files or for library files
|
|
|
|
type Ref_In_File;
|
|
type Ref_In_File_Ptr is access all Ref_In_File;
|
|
|
|
type Ref_In_File is record
|
|
Line : Natural;
|
|
Column : Natural;
|
|
Next : Ref_In_File_Ptr := null;
|
|
end record;
|
|
|
|
type File_Record;
|
|
type File_Reference is access all File_Record;
|
|
|
|
Empty_File : constant File_Reference := null;
|
|
type Cst_String_Access is access constant String;
|
|
|
|
procedure Free (Str : in out Cst_String_Access);
|
|
|
|
type File_Record is record
|
|
File : Cst_String_Access;
|
|
Dir : GNAT.OS_Lib.String_Access;
|
|
Lines : Ref_In_File_Ptr := null;
|
|
Visited : Boolean := False;
|
|
Emit_Warning : Boolean := False;
|
|
Gnatchop_File : GNAT.OS_Lib.String_Access := null;
|
|
Gnatchop_Offset : Integer := 0;
|
|
Next : File_Reference := null;
|
|
end record;
|
|
-- Holds a reference to a source file, that was referenced in at least one
|
|
-- ALI file. Gnatchop_File will contain the name of the file that File was
|
|
-- extracted From. Gnatchop_Offset contains the index of the first line of
|
|
-- File within Gnatchop_File. These two fields are used to properly support
|
|
-- gnatchop files and pragma Source_Reference.
|
|
--
|
|
-- Lines is used for files that were given on the command line, to
|
|
-- memorize the lines and columns that the user specified.
|
|
|
|
type Reference_Record;
|
|
type Reference is access all Reference_Record;
|
|
|
|
Empty_Reference : constant Reference := null;
|
|
|
|
type Reference_Record is record
|
|
File : File_Reference;
|
|
Line : Natural;
|
|
Column : Natural;
|
|
Source_Line : Cst_String_Access;
|
|
Next : Reference := null;
|
|
end record;
|
|
-- File is a reference to the Ada source file
|
|
-- Source_Line is the Line as it appears in the source file. This
|
|
-- field is only used when the switch is set on the command line of
|
|
-- gnatfind.
|
|
|
|
type Declaration_Record;
|
|
type Declaration_Reference is access all Declaration_Record;
|
|
|
|
Empty_Declaration : constant Declaration_Reference := null;
|
|
|
|
type Declaration_Record (Symbol_Length : Natural) is record
|
|
Key : Cst_String_Access;
|
|
Symbol : String (1 .. Symbol_Length);
|
|
Decl : Reference;
|
|
Is_Parameter : Boolean := False; -- True if entity is subprog param
|
|
Decl_Type : Character;
|
|
Body_Ref : Reference := null;
|
|
Ref_Ref : Reference := null;
|
|
Modif_Ref : Reference := null;
|
|
Match : Boolean := False;
|
|
Par_Symbol : Declaration_Reference := null;
|
|
Next : Declaration_Reference := null;
|
|
end record;
|
|
-- The lists of referenced (Body_Ref, Ref_Ref and Modif_Ref) are
|
|
-- kept unsorted until the results needs to be printed. This saves
|
|
-- lots of time while the internal tables are created.
|
|
|
|
pragma Inline (Get_Column);
|
|
pragma Inline (Get_Emit_Warning);
|
|
pragma Inline (Get_File_Ref);
|
|
pragma Inline (Get_Line);
|
|
pragma Inline (Get_Symbol);
|
|
pragma Inline (Get_Type);
|
|
pragma Inline (Longest_File_Name);
|
|
end Xr_Tabls;
|