| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT COMPILER COMPONENTS -- |
| -- -- |
| -- P R J -- |
| -- -- |
| -- S p e c -- |
| -- -- |
| -- $Revision$ |
| -- -- |
| -- Copyright (C) 2001 Free Software Foundation, Inc. -- |
| -- -- |
| -- GNAT is free software; you can redistribute it and/or modify it under -- |
| -- terms of the GNU General Public License as published by the Free Soft- -- |
| -- ware Foundation; either version 2, or (at your option) any later ver- -- |
| -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
| -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- |
| -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- |
| -- for more details. You should have received a copy of the GNU General -- |
| -- Public License distributed with GNAT; see file COPYING. If not, write -- |
| -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- |
| -- MA 02111-1307, USA. -- |
| -- -- |
| -- GNAT was originally developed by the GNAT team at New York University. -- |
| -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| -- The following package declares the data types for GNAT project. |
| -- These data types may be used by GNAT Project-aware tools. |
| |
| -- Children of these package implements various services on these data types. |
| -- See in particular Prj.Pars and Prj.Env. |
| |
| with Casing; use Casing; |
| with GNAT.OS_Lib; use GNAT.OS_Lib; |
| with Scans; use Scans; |
| with Table; |
| with Types; use Types; |
| |
| package Prj is |
| |
| Default_Ada_Spec_Suffix : Name_Id; |
| -- The Name_Id for the standard GNAT suffix for Ada spec source file |
| -- name ".ads". Initialized by Prj.Initialize. |
| |
| Default_Ada_Impl_Suffix : Name_Id; |
| -- The Name_Id for the standard GNAT suffix for Ada body source file |
| -- name ".adb". Initialized by Prj.Initialize. |
| |
| type Put_Line_Access is access procedure (Line : String); |
| -- Use to customize error reporting in Prj.Proc and Prj.Nmsc. |
| |
| type Verbosity is (Default, Medium, High); |
| -- Verbosity when parsing GNAT Project Files |
| -- Default is default (very quiet, if no errors). |
| -- Medium is more verbose. |
| -- High is extremely verbose. |
| |
| type Lib_Kind is (Static, Dynamic, Relocatable); |
| |
| function Empty_String return String_Id; |
| |
| type String_List_Id is new Nat; |
| Nil_String : constant String_List_Id := 0; |
| type String_Element is record |
| Value : String_Id := No_String; |
| Location : Source_Ptr := No_Location; |
| Next : String_List_Id := Nil_String; |
| end record; |
| -- To hold values for string list variables and array elements |
| |
| package String_Elements is new Table.Table |
| (Table_Component_Type => String_Element, |
| Table_Index_Type => String_List_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 200, |
| Table_Increment => 100, |
| Table_Name => "Prj.String_Elements"); |
| -- The table for string elements in string lists |
| |
| type Variable_Kind is (Undefined, List, Single); |
| -- Different kinds of variables |
| |
| type Variable_Value (Kind : Variable_Kind := Undefined) is record |
| Location : Source_Ptr := No_Location; |
| Default : Boolean := False; |
| case Kind is |
| when Undefined => |
| null; |
| when List => |
| Values : String_List_Id := Nil_String; |
| when Single => |
| Value : String_Id := No_String; |
| end case; |
| end record; |
| -- Values for variables and array elements. |
| -- Default is True if the current value is the default one for the variable |
| |
| Nil_Variable_Value : constant Variable_Value := |
| (Kind => Undefined, |
| Location => No_Location, |
| Default => False); |
| -- Value of a non existing variable or array element |
| |
| type Variable_Id is new Nat; |
| No_Variable : constant Variable_Id := 0; |
| type Variable is record |
| Next : Variable_Id := No_Variable; |
| Name : Name_Id; |
| Value : Variable_Value; |
| end record; |
| -- To hold the list of variables in a project file and in packages |
| |
| package Variable_Elements is new Table.Table |
| (Table_Component_Type => Variable, |
| Table_Index_Type => Variable_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 200, |
| Table_Increment => 100, |
| Table_Name => "Prj.Variable_Elements"); |
| -- The table of variable in list of variables |
| |
| type Array_Element_Id is new Nat; |
| No_Array_Element : constant Array_Element_Id := 0; |
| type Array_Element is record |
| Index : Name_Id; |
| Value : Variable_Value; |
| Next : Array_Element_Id := No_Array_Element; |
| end record; |
| -- Each Array_Element represents an array element and is linked (Next) |
| -- to the next array element, if any, in the array. |
| |
| package Array_Elements is new Table.Table |
| (Table_Component_Type => Array_Element, |
| Table_Index_Type => Array_Element_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 200, |
| Table_Increment => 100, |
| Table_Name => "Prj.Array_Elements"); |
| -- The table that contains all array elements |
| |
| type Array_Id is new Nat; |
| No_Array : constant Array_Id := 0; |
| type Array_Data is record |
| Name : Name_Id := No_Name; |
| Value : Array_Element_Id := No_Array_Element; |
| Next : Array_Id := No_Array; |
| end record; |
| -- Each Array_Data value represents an array. |
| -- Value is the id of the first element. |
| -- Next is the id of the next array in the project file or package. |
| |
| package Arrays is new Table.Table |
| (Table_Component_Type => Array_Data, |
| Table_Index_Type => Array_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 200, |
| Table_Increment => 100, |
| Table_Name => "Prj.Arrays"); |
| -- The table that contains all arrays |
| |
| type Package_Id is new Nat; |
| No_Package : constant Package_Id := 0; |
| type Declarations is record |
| Variables : Variable_Id := No_Variable; |
| Attributes : Variable_Id := No_Variable; |
| Arrays : Array_Id := No_Array; |
| Packages : Package_Id := No_Package; |
| end record; |
| |
| No_Declarations : constant Declarations := |
| (Variables => No_Variable, |
| Attributes => No_Variable, |
| Arrays => No_Array, |
| Packages => No_Package); |
| -- Declarations. Used in project structures and packages (what for???) |
| |
| type Package_Element is record |
| Name : Name_Id := No_Name; |
| Decl : Declarations := No_Declarations; |
| Parent : Package_Id := No_Package; |
| Next : Package_Id := No_Package; |
| end record; |
| -- A package. Includes declarations that may include other packages. |
| |
| package Packages is new Table.Table |
| (Table_Component_Type => Package_Element, |
| Table_Index_Type => Package_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 100, |
| Table_Increment => 100, |
| Table_Name => "Prj.Packages"); |
| -- The table that contains all packages. |
| |
| function Image (Casing : Casing_Type) return String; |
| -- Similar to 'Image (but avoid use of this attribute in compiler) |
| |
| function Value (Image : String) return Casing_Type; |
| -- Similar to 'Value (but avoid use of this attribute in compiler) |
| -- Raises Constraint_Error if not a Casing_Type image. |
| |
| type Naming_Data is record |
| Current_Language : Name_Id := No_Name; |
| -- The programming language being currently considered |
| |
| Dot_Replacement : Name_Id := No_Name; |
| -- The string to replace '.' in the source file name (for Ada). |
| |
| Dot_Repl_Loc : Source_Ptr := No_Location; |
| -- The position in the project file source where |
| -- Dot_Replacement is defined. |
| |
| Casing : Casing_Type := All_Lower_Case; |
| -- The casing of the source file name (for Ada). |
| |
| Specification_Suffix : Array_Element_Id := No_Array_Element; |
| -- The string to append to the unit name for the |
| -- source file name of a specification. |
| -- Indexed by the programming language. |
| |
| Current_Spec_Suffix : Name_Id := No_Name; |
| -- The specification suffix of the current programming language |
| |
| Spec_Suffix_Loc : Source_Ptr := No_Location; |
| -- The position in the project file source where |
| -- Current_Spec_Suffix is defined. |
| |
| Implementation_Suffix : Array_Element_Id := No_Array_Element; |
| -- The string to append to the unit name for the |
| -- source file name of a body. |
| -- Indexed by the programming language. |
| |
| Current_Impl_Suffix : Name_Id := No_Name; |
| -- The implementation suffix of the current programming language |
| |
| Impl_Suffix_Loc : Source_Ptr := No_Location; |
| -- The position in the project file source where |
| -- Current_Impl_Suffix is defined. |
| |
| Separate_Suffix : Name_Id := No_Name; |
| -- The string to append to the unit name for the |
| -- source file name of an Ada subunit. |
| |
| Sep_Suffix_Loc : Source_Ptr := No_Location; |
| -- The position in the project file source where |
| -- Separate_Suffix is defined. |
| |
| Specifications : Array_Element_Id := No_Array_Element; |
| -- An associative array mapping individual specifications |
| -- to source file names. Specific to Ada. |
| |
| Bodies : Array_Element_Id := No_Array_Element; |
| -- An associative array mapping individual bodies |
| -- to source file names. Specific to Ada. |
| |
| Specification_Exceptions : Array_Element_Id := No_Array_Element; |
| -- An associative array mapping individual specifications |
| -- to source file names. Indexed by the programming language name. |
| |
| Implementation_Exceptions : Array_Element_Id := No_Array_Element; |
| -- An associative array mapping individual bodies |
| -- to source file names. Indexed by the programming language name. |
| |
| end record; |
| -- A naming scheme. |
| |
| function Standard_Naming_Data return Naming_Data; |
| pragma Inline (Standard_Naming_Data); |
| -- The standard GNAT naming scheme. |
| |
| function Same_Naming_Scheme |
| (Left, Right : Naming_Data) |
| return Boolean; |
| -- Returns True if Left and Right are the same naming scheme |
| -- not considering Specifications and Bodies. |
| |
| type Project_Id is new Nat; |
| No_Project : constant Project_Id := 0; |
| -- Id of a Project File |
| |
| type Project_List is new Nat; |
| Empty_Project_List : constant Project_List := 0; |
| -- A list of project files. |
| |
| type Project_Element is record |
| Project : Project_Id := No_Project; |
| Next : Project_List := Empty_Project_List; |
| end record; |
| -- Element in a list of project file. |
| -- Next is the id of the next project file in the list. |
| |
| package Project_Lists is new Table.Table |
| (Table_Component_Type => Project_Element, |
| Table_Index_Type => Project_List, |
| Table_Low_Bound => 1, |
| Table_Initial => 100, |
| Table_Increment => 100, |
| Table_Name => "Prj.Project_Lists"); |
| -- The table that contains the lists of project files. |
| |
| type Project_Data is record |
| First_Referred_By : Project_Id := No_Project; |
| -- The project, if any, that was the first to be known |
| -- as importing or extending this project. |
| -- Set by Prj.Proc.Process. |
| |
| Name : Name_Id := No_Name; |
| -- The name of the project. |
| -- Set by Prj.Proc.Process. |
| |
| Path_Name : Name_Id := No_Name; |
| -- The path name of the project file. |
| -- Set by Prj.Proc.Process. |
| |
| Location : Source_Ptr := No_Location; |
| -- The location in the project file source of the |
| -- reserved word project. |
| -- Set by Prj.Proc.Process. |
| |
| Directory : Name_Id := No_Name; |
| -- The directory where the project file resides. |
| -- Set by Prj.Proc.Process. |
| |
| Library : Boolean := False; |
| -- True if this is a library project. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Library_Dir : Name_Id := No_Name; |
| -- If a library project, directory where resides the library |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Library_Name : Name_Id := No_Name; |
| -- If a library project, name of the library |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Library_Kind : Lib_Kind := Static; |
| -- If a library project, kind of library |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Lib_Internal_Name : Name_Id := No_Name; |
| -- If a library project, internal name store inside the library |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Lib_Elaboration : Boolean := False; |
| -- If a library project, indicate if <lib>init and <lib>final |
| -- procedures need to be defined. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Sources_Present : Boolean := True; |
| -- A flag that indicates if there are sources in this project file. |
| -- There are no sources if 1) Source_Dirs is specified as an |
| -- empty list, 2) Source_Files is specified as an empty list, or |
| -- 3) the current language is not in the list of the specified |
| -- Languages. |
| |
| Sources : String_List_Id := Nil_String; |
| -- The list of all the source file names. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Source_Dirs : String_List_Id := Nil_String; |
| -- The list of all the source directories. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Object_Directory : Name_Id := No_Name; |
| -- The object directory of this project file. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Exec_Directory : Name_Id := No_Name; |
| -- The exec directory of this project file. |
| -- Default is equal to Object_Directory. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Modifies : Project_Id := No_Project; |
| -- The reference of the project file, if any, that this |
| -- project file modifies. |
| -- Set by Prj.Proc.Process. |
| |
| Modified_By : Project_Id := No_Project; |
| -- The reference of the project file, if any, that |
| -- modifies this project file. |
| -- Set by Prj.Proc.Process. |
| |
| Naming : Naming_Data := Standard_Naming_Data; |
| -- The naming scheme of this project file. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Decl : Declarations := No_Declarations; |
| -- The declarations (variables, attributes and packages) |
| -- of this project file. |
| -- Set by Prj.Proc.Process. |
| |
| Imported_Projects : Project_List := Empty_Project_List; |
| -- The list of all directly imported projects, if any. |
| -- Set by Prj.Proc.Process. |
| |
| Include_Path : String_Access := null; |
| -- The cached value of ADA_INCLUDE_PATH for this project file. |
| -- Set by gnatmake (prj.Env.Set_Ada_Paths). |
| -- Do not use this field directly outside of the compiler, use |
| -- Prj.Env.Ada_Source_Path instead. |
| |
| Objects_Path : String_Access := null; |
| -- The cached value of ADA_OBJECTS_PATH for this project file. |
| -- Set by gnatmake (prj.Env.Set_Ada_Paths). |
| -- Do not use this field directly outside of the compiler, use |
| -- Prj.Env.Ada_Source_Path instead. |
| |
| Config_File_Name : Name_Id := No_Name; |
| -- The name of the configuration pragmas file, if any. |
| -- Set by gnatmage (Prj.Env.Create_Config_Pragmas_File). |
| |
| Config_File_Temp : Boolean := False; |
| -- An indication that the configuration pragmas file is |
| -- a temporary file that must be deleted at the end. |
| -- Set by gnatmage (Prj.Env.Create_Config_Pragmas_File). |
| |
| Config_Checked : Boolean := False; |
| -- A flag to avoid checking repetitively the configuration pragmas file. |
| -- Set by gnatmage (Prj.Env.Create_Config_Pragmas_File). |
| |
| Language_Independent_Checked : Boolean := False; |
| -- A flag that indicates that the project file has been checked |
| -- for language independent features: Object_Directory, |
| -- Source_Directories, Library, non empty Naming Suffixs. |
| |
| Checked : Boolean := False; |
| -- A flag to avoid checking repetitively the naming scheme of |
| -- this project file. |
| -- Set by Prj.Nmsc.Check_Naming_Scheme. |
| |
| Seen : Boolean := False; |
| Flag1 : Boolean := False; |
| Flag2 : Boolean := False; |
| -- Various flags that are used in an ad hoc manner |
| -- That's really not a good enough comment ??? we need to know what |
| -- these flags are used for, and give them proper names. If Flag1 |
| -- and Flag2 have multiple uses, then either we use multiple fields |
| -- or a renaming scheme. |
| |
| end record; |
| -- Project File representation. |
| |
| function Empty_Project return Project_Data; |
| -- Return the representation of an empty project. |
| |
| package Projects is new Table.Table ( |
| Table_Component_Type => Project_Data, |
| Table_Index_Type => Project_Id, |
| Table_Low_Bound => 1, |
| Table_Initial => 100, |
| Table_Increment => 100, |
| Table_Name => "Prj.Projects"); |
| -- The set of all project files. |
| |
| procedure Expect (The_Token : Token_Type; Token_Image : String); |
| -- Check that the current token is The_Token. If it is not, then |
| -- output an error message. |
| |
| procedure Initialize; |
| -- This procedure must be called before using any services from the Prj |
| -- hierarchy. Namet.Initialize must be called before Prj.Initialize. |
| |
| procedure Reset; |
| -- This procedure resets all the tables that are used when processing a |
| -- project file tree. Initialize must be called before the call to Reset. |
| |
| generic |
| type State is limited private; |
| with procedure Action |
| (Project : Project_Id; |
| With_State : in out State); |
| procedure For_Every_Project_Imported |
| (By : Project_Id; |
| With_State : in out State); |
| -- Call Action for each project imported directly or indirectly by project |
| -- By. Action is called according to the order of importation: if A |
| -- imports B, directly or indirectly, Action will be called for A before |
| -- it is called for B. With_State may be used by Action to choose a |
| -- behavior or to report some global result. |
| |
| private |
| |
| procedure Scan; |
| -- Calls Scn.Scan and change any Operator_Symbol to String_Literal |
| |
| end Prj; |