1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 2001-2009, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- The following package declares the data types for GNAT project.
27 -- These data types may be used by GNAT Project-aware tools.
29 -- Children of these package implements various services on these data types.
30 -- See in particular Prj.Pars and Prj.Env.
32 with Casing; use Casing;
33 with Namet; use Namet;
34 with Scans; use Scans;
35 with Types; use Types;
37 with GNAT.Dynamic_HTables; use GNAT.Dynamic_HTables;
38 with GNAT.Dynamic_Tables;
39 with GNAT.OS_Lib; use GNAT.OS_Lib;
43 All_Other_Names : constant Name_Id := Names_High_Bound;
44 -- Name used to replace others as an index of an associative array
45 -- attribute in situations where this is allowed.
47 Subdirs_Option : constant String := "--subdirs=";
48 -- Switch used to indicate that the real directories (object, exec,
49 -- library, ...) are subdirectories of those in the project file.
51 Subdirs : String_Ptr := null;
52 -- The value after the equal sign in switch --subdirs=...
53 -- Contains the relative subdirectory.
55 type Library_Support is (None, Static_Only, Full);
56 -- Support for Library Project File.
57 -- - None: Library Project Files are not supported at all
58 -- - Static_Only: Library Project Files are only supported for static
60 -- - Full: Library Project Files are supported for static and dynamic
61 -- (shared) libraries.
63 type Yes_No_Unknown is (Yes, No, Unknown);
64 -- Tri-state to decide if -lgnarl is needed when linking
66 type Mode is (Multi_Language, Ada_Only);
67 -- Ada_Only: mode for gnatmake, gnatclean, gnatname, the GNAT driver
68 -- Multi_Language: mode for gprbuild, gprclean
70 type Project_Qualifier is
77 -- Qualifiers that can prefix the reserved word "project" in a project
79 -- Standard: standard project ...
80 -- Library: library project is ...
81 -- Dry: abstract project is
82 -- Aggregate: aggregate project is
83 -- Aggregate_Library: aggregate library project is ...
85 function Get_Mode return Mode;
86 pragma Inline (Get_Mode);
88 procedure Set_Mode (New_Mode : Mode);
89 pragma Inline (Set_Mode);
91 Default_Language_Is_Ada : Boolean := True;
92 -- If no language was defined in the project or the configuration file, it
93 -- is an error, unless this variable is True, in which case it defaults to
94 -- Ada. Calling Set_Mode will reset this variable, default is for Ada_Only.
96 Must_Check_Configuration : Boolean := False;
97 -- True when the contents of the configuration file must be checked. This
98 -- is in general only needed by gprbuild itself, since other applications
99 -- can ignore such errors when they don't need to build directly. Calling
100 -- Set_Mode will reset this variable, default is for Ada_Only.
102 function In_Configuration return Boolean;
103 pragma Inline (In_Configuration);
105 procedure Set_In_Configuration (Value : Boolean);
106 pragma Inline (Set_In_Configuration);
108 All_Packages : constant String_List_Access;
109 -- Default value of parameter Packages of procedures Parse, in Prj.Pars and
110 -- Prj.Part, indicating that all packages should be checked.
112 type Project_Tree_Data;
113 type Project_Tree_Ref is access all Project_Tree_Data;
114 -- Reference to a project tree. Several project trees may exist in memory
117 No_Project_Tree : constant Project_Tree_Ref;
119 procedure Free (Tree : in out Project_Tree_Ref);
120 -- Free memory associated with the tree
122 function Default_Ada_Spec_Suffix return File_Name_Type;
123 pragma Inline (Default_Ada_Spec_Suffix);
124 -- The name for the standard GNAT suffix for Ada spec source file name
125 -- ".ads". Initialized by Prj.Initialize.
127 function Default_Ada_Body_Suffix return File_Name_Type;
128 pragma Inline (Default_Ada_Body_Suffix);
129 -- The name for the standard GNAT suffix for Ada body source file name
130 -- ".adb". Initialized by Prj.Initialize.
132 function Slash return Path_Name_Type;
133 pragma Inline (Slash);
134 -- "/", used as the path of locally removed files
136 Config_Project_File_Extension : String := ".cgpr";
137 Project_File_Extension : String := ".gpr";
138 -- The standard config and user project file name extensions. They are not
139 -- constants, because Canonical_Case_File_Name is called on these variables
140 -- in the body of Prj.
142 type Error_Warning is (Silent, Warning, Error);
143 -- Severity of some situations, such as: no Ada sources in a project where
144 -- Ada is one of the language.
146 -- When the situation occurs, the behaviour depends on the setting:
148 -- - Silent: no action
149 -- - Warning: issue a warning, does not cause the tool to fail
150 -- - Error: issue an error, causes the tool to fail
152 function Empty_File return File_Name_Type;
153 function Empty_String return Name_Id;
154 -- Return the id for an empty string ""
156 type Path_Information is record
157 Name : Path_Name_Type := No_Path;
158 Display_Name : Path_Name_Type := No_Path;
161 No_Path_Information : constant Path_Information := (No_Path, No_Path);
163 type Project_Id is new Nat;
164 No_Project : constant Project_Id := 0;
165 -- Id of a Project File
167 type String_List_Id is new Nat;
168 Nil_String : constant String_List_Id := 0;
169 type String_Element is record
170 Value : Name_Id := No_Name;
172 Display_Value : Name_Id := No_Name;
173 Location : Source_Ptr := No_Location;
174 Flag : Boolean := False;
175 Next : String_List_Id := Nil_String;
177 -- To hold values for string list variables and array elements.
178 -- Component Flag may be used for various purposes. For source
179 -- directories, it indicates if the directory contains Ada source(s).
181 package String_Element_Table is new GNAT.Dynamic_Tables
182 (Table_Component_Type => String_Element,
183 Table_Index_Type => String_List_Id,
184 Table_Low_Bound => 1,
185 Table_Initial => 200,
186 Table_Increment => 100);
187 -- The table for string elements in string lists
189 type Variable_Kind is (Undefined, List, Single);
190 -- Different kinds of variables
192 subtype Defined_Variable_Kind is Variable_Kind range List .. Single;
193 -- The defined kinds of variables
195 Ignored : constant Variable_Kind;
196 -- Used to indicate that a package declaration must be ignored
197 -- while processing the project tree (unknown package name).
199 type Variable_Value (Kind : Variable_Kind := Undefined) is record
200 Project : Project_Id := No_Project;
201 Location : Source_Ptr := No_Location;
202 Default : Boolean := False;
207 Values : String_List_Id := Nil_String;
209 Value : Name_Id := No_Name;
213 -- Values for variables and array elements. Default is True if the
214 -- current value is the default one for the variable
216 Nil_Variable_Value : constant Variable_Value;
217 -- Value of a non existing variable or array element
219 type Variable_Id is new Nat;
220 No_Variable : constant Variable_Id := 0;
221 type Variable is record
222 Next : Variable_Id := No_Variable;
224 Value : Variable_Value;
226 -- To hold the list of variables in a project file and in packages
228 package Variable_Element_Table is new GNAT.Dynamic_Tables
229 (Table_Component_Type => Variable,
230 Table_Index_Type => Variable_Id,
231 Table_Low_Bound => 1,
232 Table_Initial => 200,
233 Table_Increment => 100);
234 -- The table of variable in list of variables
236 type Array_Element_Id is new Nat;
237 No_Array_Element : constant Array_Element_Id := 0;
238 type Array_Element is record
240 Src_Index : Int := 0;
241 Index_Case_Sensitive : Boolean := True;
242 Value : Variable_Value;
243 Next : Array_Element_Id := No_Array_Element;
245 -- Each Array_Element represents an array element and is linked (Next)
246 -- to the next array element, if any, in the array.
248 package Array_Element_Table is new GNAT.Dynamic_Tables
249 (Table_Component_Type => Array_Element,
250 Table_Index_Type => Array_Element_Id,
251 Table_Low_Bound => 1,
252 Table_Initial => 200,
253 Table_Increment => 100);
254 -- The table that contains all array elements
256 type Array_Id is new Nat;
257 No_Array : constant Array_Id := 0;
258 type Array_Data is record
259 Name : Name_Id := No_Name;
260 Location : Source_Ptr := No_Location;
261 Value : Array_Element_Id := No_Array_Element;
262 Next : Array_Id := No_Array;
264 -- Each Array_Data value represents an array.
265 -- Value is the id of the first element.
266 -- Next is the id of the next array in the project file or package.
268 package Array_Table is new GNAT.Dynamic_Tables
269 (Table_Component_Type => Array_Data,
270 Table_Index_Type => Array_Id,
271 Table_Low_Bound => 1,
272 Table_Initial => 200,
273 Table_Increment => 100);
274 -- The table that contains all arrays
276 type Package_Id is new Nat;
277 No_Package : constant Package_Id := 0;
278 type Declarations is record
279 Variables : Variable_Id := No_Variable;
280 Attributes : Variable_Id := No_Variable;
281 Arrays : Array_Id := No_Array;
282 Packages : Package_Id := No_Package;
284 -- Contains the declarations (variables, single and array attributes,
285 -- packages) for a project or a package in a project.
287 No_Declarations : constant Declarations :=
288 (Variables => No_Variable,
289 Attributes => No_Variable,
291 Packages => No_Package);
292 -- Default value of Declarations: indicates that there is no declarations
294 type Package_Element is record
295 Name : Name_Id := No_Name;
296 Decl : Declarations := No_Declarations;
297 Parent : Package_Id := No_Package;
298 Next : Package_Id := No_Package;
300 -- A package (includes declarations that may include other packages)
302 package Package_Table is new GNAT.Dynamic_Tables
303 (Table_Component_Type => Package_Element,
304 Table_Index_Type => Package_Id,
305 Table_Low_Bound => 1,
306 Table_Initial => 100,
307 Table_Increment => 100);
308 -- The table that contains all packages
311 type Language_Ptr is access all Language_Data;
312 -- Index of language data
314 No_Language_Index : constant Language_Ptr := null;
315 -- Constant indicating that there is no language data
317 Max_Header_Num : constant := 6150;
318 type Header_Num is range 0 .. Max_Header_Num;
319 -- Size for hash table below. The upper bound is an arbitrary value, the
320 -- value here was chosen after testing to determine a good compromise
321 -- between speed of access and memory usage.
323 function Hash (Name : Name_Id) return Header_Num;
324 function Hash (Name : File_Name_Type) return Header_Num;
325 function Hash (Name : Path_Name_Type) return Header_Num;
326 -- Used for computing hash values for names put into above hash table
328 function Hash (Project : Project_Id) return Header_Num;
329 -- Used for hash tables where Project_Id is the Key
331 type Language_Kind is (File_Based, Unit_Based);
332 -- Type for the kind of language. All languages are file based, except Ada
333 -- which is unit based.
335 type Dependency_File_Kind is (None, Makefile, ALI_File);
336 -- Type of dependency to be checked: no dependency file, Makefile fragment
337 -- or ALI file (for Ada).
339 Makefile_Dependency_Suffix : constant String := ".d";
340 ALI_Dependency_Suffix : constant String := ".ali";
342 Switches_Dependency_Suffix : constant String := ".cswi";
344 Binder_Exchange_Suffix : constant String := ".bexch";
345 -- Suffix for binder exchange files
347 Library_Exchange_Suffix : constant String := ".lexch";
348 -- Suffix for library exchange files
350 type Name_List_Index is new Nat;
351 No_Name_List : constant Name_List_Index := 0;
353 type Name_Node is record
354 Name : Name_Id := No_Name;
355 Next : Name_List_Index := No_Name_List;
358 package Name_List_Table is new GNAT.Dynamic_Tables
359 (Table_Component_Type => Name_Node,
360 Table_Index_Type => Name_List_Index,
361 Table_Low_Bound => 1,
363 Table_Increment => 100);
364 -- The table for lists of names used in package Language_Processing
366 package Mapping_Files_Htable is new Simple_HTable
367 (Header_Num => Header_Num,
368 Element => Path_Name_Type,
369 No_Element => No_Path,
370 Key => Path_Name_Type,
373 -- A hash table to store the mapping files that are not used
375 type Lang_Naming_Data is record
376 Dot_Replacement : File_Name_Type := No_File;
377 -- The string to replace '.' in the source file name (for Ada)
379 Casing : Casing_Type := All_Lower_Case;
380 -- The casing of the source file name (for Ada)
382 Separate_Suffix : File_Name_Type := No_File;
383 -- String to append to unit name for source file name of an Ada subunit
385 Spec_Suffix : File_Name_Type := No_File;
386 -- The string to append to the unit name for the
387 -- source file name of a spec.
389 Body_Suffix : File_Name_Type := No_File;
390 -- The string to append to the unit name for the
391 -- source file name of a body.
394 No_Lang_Naming_Data : constant Lang_Naming_Data :=
395 (Dot_Replacement => No_File,
396 Casing => All_Lower_Case,
397 Separate_Suffix => No_File,
398 Spec_Suffix => No_File,
399 Body_Suffix => No_File);
402 type Source_Id is access Source_Data;
404 No_Source : constant Source_Id := null;
406 type Path_Syntax_Kind is
411 -- Host specific syntax, for example on VMS (the default)
413 type Language_Config is record
414 Kind : Language_Kind := File_Based;
415 -- Kind of language. All languages are file based, except Ada which is
418 Naming_Data : Lang_Naming_Data;
419 -- The naming data for the languages (prefixes, etc.)
421 Include_Compatible_Languages : Name_List_Index := No_Name_List;
422 -- The list of languages that are "include compatible" with this
423 -- language. A language B (for example "C") is "include compatible" with
424 -- a language A (for example "C++") if it is expected that sources of
425 -- language A may "include" header files from language B.
427 Compiler_Driver : File_Name_Type := No_File;
428 -- The name of the executable for the compiler of the language
430 Compiler_Driver_Path : String_Access := null;
431 -- The path name of the executable for the compiler of the language
433 Compiler_Required_Switches : Name_List_Index := No_Name_List;
434 -- The list of switches that are required as a minimum to invoke the
437 Path_Syntax : Path_Syntax_Kind := Host;
438 -- Value may be Canonical (Unix style) or Host (host syntax, for example
439 -- on VMS for DEC C).
441 Object_File_Suffix : Name_Id := No_Name;
443 Compilation_PIC_Option : Name_List_Index := No_Name_List;
444 -- The option(s) to compile a source in Position Independent Code for
445 -- shared libraries. Specified in the configuration. When not specified,
446 -- there is no need for such switch.
448 Object_Generated : Boolean := True;
449 -- False in no object file is generated
451 Objects_Linked : Boolean := True;
452 -- False if object files are not use to link executables and build
455 Runtime_Library_Dir : Name_Id := No_Name;
456 -- Path name of the runtime library directory, if any
458 Runtime_Source_Dir : Name_Id := No_Name;
459 -- Path name of the runtime source directory, if any
461 Mapping_File_Switches : Name_List_Index := No_Name_List;
462 -- The option(s) to provide a mapping file to the compiler. Specified in
463 -- the configuration. When value is No_Name_List, there is no mapping
466 Mapping_Spec_Suffix : File_Name_Type := No_File;
467 -- Placeholder representing the spec suffix in a mapping file
469 Mapping_Body_Suffix : File_Name_Type := No_File;
470 -- Placeholder representing the body suffix in a mapping file
472 Config_File_Switches : Name_List_Index := No_Name_List;
473 -- The option(s) to provide a config file to the compiler. Specified in
474 -- the configuration. When value is No_Name_List, there is no config
477 Dependency_Kind : Dependency_File_Kind := None;
478 -- The kind of dependency to be checked: none, Makefile fragment or
479 -- ALI file (for Ada).
481 Dependency_Option : Name_List_Index := No_Name_List;
482 -- The option(s) to be used to create the dependency file. When value is
483 -- No_Name_List, there is not such option(s).
485 Compute_Dependency : Name_List_Index := No_Name_List;
486 -- Hold the value of attribute Dependency_Driver, if declared for the
489 Include_Option : Name_List_Index := No_Name_List;
490 -- Hold the value of attribute Include_Switches, if declared for the
493 Include_Path : Name_Id := No_Name;
494 -- Name of environment variable declared by attribute Include_Path for
497 Include_Path_File : Name_Id := No_Name;
498 -- Name of environment variable declared by attribute Include_Path_File
501 Objects_Path : Name_Id := No_Name;
502 -- Name of environment variable declared by attribute Objects_Path for
505 Objects_Path_File : Name_Id := No_Name;
506 -- Name of environment variable declared by attribute Objects_Path_File
509 Config_Body : Name_Id := No_Name;
510 -- The template for a pragma Source_File_Name(_Project) for a specific
511 -- file name of a body.
513 Config_Spec : Name_Id := No_Name;
514 -- The template for a pragma Source_File_Name(_Project) for a specific
515 -- file name of a spec.
517 Config_Body_Pattern : Name_Id := No_Name;
518 -- The template for a pragma Source_File_Name(_Project) for a naming
521 Config_Spec_Pattern : Name_Id := No_Name;
522 -- The template for a pragma Source_File_Name(_Project) for a naming
525 Config_File_Unique : Boolean := False;
526 -- Indicate if the config file specified to the compiler needs to be
527 -- unique. If it is unique, then all config files are concatenated into
528 -- a temp config file.
530 Binder_Driver : File_Name_Type := No_File;
531 -- The name of the binder driver for the language, if any
533 Binder_Driver_Path : Path_Name_Type := No_Path;
534 -- The path name of the binder driver
536 Binder_Required_Switches : Name_List_Index := No_Name_List;
537 -- Hold the value of attribute Binder'Required_Switches for the language
539 Binder_Prefix : Name_Id := No_Name;
540 -- Hold the value of attribute Binder'Prefix for the language
542 Toolchain_Version : Name_Id := No_Name;
543 -- Hold the value of attribute Toolchain_Version for the language
545 Toolchain_Description : Name_Id := No_Name;
546 -- Hold the value of attribute Toolchain_Description for the language
549 -- Record describing the configuration of a language
551 No_Language_Config : constant Language_Config :=
553 Naming_Data => No_Lang_Naming_Data,
554 Include_Compatible_Languages => No_Name_List,
555 Compiler_Driver => No_File,
556 Compiler_Driver_Path => null,
557 Compiler_Required_Switches => No_Name_List,
558 Path_Syntax => Canonical,
559 Object_File_Suffix => No_Name,
560 Compilation_PIC_Option => No_Name_List,
561 Object_Generated => True,
562 Objects_Linked => True,
563 Runtime_Library_Dir => No_Name,
564 Runtime_Source_Dir => No_Name,
565 Mapping_File_Switches => No_Name_List,
566 Mapping_Spec_Suffix => No_File,
567 Mapping_Body_Suffix => No_File,
568 Config_File_Switches => No_Name_List,
569 Dependency_Kind => Makefile,
570 Dependency_Option => No_Name_List,
571 Compute_Dependency => No_Name_List,
572 Include_Option => No_Name_List,
573 Include_Path => No_Name,
574 Include_Path_File => No_Name,
575 Objects_Path => No_Name,
576 Objects_Path_File => No_Name,
577 Config_Body => No_Name,
578 Config_Spec => No_Name,
579 Config_Body_Pattern => No_Name,
580 Config_Spec_Pattern => No_Name,
581 Config_File_Unique => False,
582 Binder_Driver => No_File,
583 Binder_Driver_Path => No_Path,
584 Binder_Required_Switches => No_Name_List,
585 Binder_Prefix => No_Name,
586 Toolchain_Version => No_Name,
587 Toolchain_Description => No_Name);
589 type Language_Data is record
590 Name : Name_Id := No_Name;
591 Display_Name : Name_Id := No_Name;
592 Config : Language_Config := No_Language_Config;
593 First_Source : Source_Id := No_Source;
594 Mapping_Files : Mapping_Files_Htable.Instance :=
595 Mapping_Files_Htable.Nil;
596 Next : Language_Ptr := No_Language_Index;
599 No_Language_Data : constant Language_Data :=
601 Display_Name => No_Name,
602 Config => No_Language_Config,
603 First_Source => No_Source,
604 Mapping_Files => Mapping_Files_Htable.Nil,
605 Next => No_Language_Index);
607 type Alternate_Language_Id is new Nat;
609 No_Alternate_Language : constant Alternate_Language_Id := 0;
611 type Alternate_Language_Data is record
612 Language : Language_Ptr := No_Language_Index;
613 Next : Alternate_Language_Id := No_Alternate_Language;
616 package Alternate_Language_Table is new GNAT.Dynamic_Tables
617 (Table_Component_Type => Alternate_Language_Data,
618 Table_Index_Type => Alternate_Language_Id,
619 Table_Low_Bound => 1,
621 Table_Increment => 100);
622 -- The table for storing the alternate languages of a header file that
623 -- is used for several languages.
625 type Source_Kind is (Spec, Impl, Sep);
627 type Source_Data is record
628 Project : Project_Id := No_Project;
629 -- Project of the source
631 Language : Language_Ptr := No_Language_Index;
632 -- Index of the language. This is an index into
633 -- Project_Tree.Languages_Data.
635 Lang_Kind : Language_Kind := File_Based;
636 -- Kind of the language
638 Compiled : Boolean := True;
639 -- False when there is no compiler for the language
641 In_Interfaces : Boolean := True;
642 -- False when the source is not included in interfaces, when attribute
643 -- Interfaces is declared.
645 Declared_In_Interfaces : Boolean := False;
646 -- True when source is declared in attribute Interfaces
648 Alternate_Languages : Alternate_Language_Id := No_Alternate_Language;
649 -- List of languages a header file may also be, in addition of language
652 Kind : Source_Kind := Spec;
653 -- Kind of the source: spec, body or subunit
655 Dependency : Dependency_File_Kind := None;
656 -- Kind of dependency: none, Makefile fragment or ALI file
658 Other_Part : Source_Id := No_Source;
659 -- Source ID for the other part, if any: for a spec, indicates its body;
660 -- for a body, indicates its spec.
662 Unit : Name_Id := No_Name;
663 -- Name of the unit, if language is unit based
666 -- Index of the source in a multi unit source file
668 Locally_Removed : Boolean := False;
669 -- True if the source has been "excluded"
671 Get_Object : Boolean := False;
672 -- Indicates that the object of the source should be put in the global
673 -- archive. This is for Ada, when only the closure of a main needs to
674 -- be compiled/recompiled.
676 Replaced_By : Source_Id := No_Source;
678 File : File_Name_Type := No_File;
679 -- Canonical file name of the source
681 Display_File : File_Name_Type := No_File;
682 -- File name of the source, for display purposes
684 Path : Path_Information := No_Path_Information;
685 -- Path name of the source
687 Source_TS : Time_Stamp_Type := Empty_Time_Stamp;
688 -- Time stamp of the source file
690 Object_Project : Project_Id := No_Project;
691 -- Project where the object file is. This might be different from
692 -- Project when using extending project files.
694 Object_Exists : Boolean := True;
695 -- True if an object file exists
697 Object_Linked : Boolean := True;
698 -- False if the object file is not use to link executables or included
701 Object : File_Name_Type := No_File;
702 -- File name of the object file
704 Current_Object_Path : Path_Name_Type := No_Path;
705 -- Object path of an existing object file
707 Object_Path : Path_Name_Type := No_Path;
708 -- Object path of the real object file
710 Object_TS : Time_Stamp_Type := Empty_Time_Stamp;
711 -- Object file time stamp
713 Dep_Name : File_Name_Type := No_File;
714 -- Dependency file simple name
716 Current_Dep_Path : Path_Name_Type := No_Path;
717 -- Path name of an existing dependency file
719 Dep_Path : Path_Name_Type := No_Path;
720 -- Path name of the real dependency file
722 Dep_TS : Time_Stamp_Type := Empty_Time_Stamp;
723 -- Dependency file time stamp
725 Switches : File_Name_Type := No_File;
726 -- File name of the switches file. For all languages, this is a file
727 -- that ends with the .cswi extension.
729 Switches_Path : Path_Name_Type := No_Path;
730 -- Path name of the switches file
732 Switches_TS : Time_Stamp_Type := Empty_Time_Stamp;
733 -- Switches file time stamp
735 Naming_Exception : Boolean := False;
736 -- True if the source has an exceptional name
738 Next_In_Lang : Source_Id := No_Source;
739 -- Link to another source of the same language in the same project
742 No_Source_Data : constant Source_Data :=
743 (Project => No_Project,
744 Language => No_Language_Index,
745 Lang_Kind => File_Based,
747 In_Interfaces => True,
748 Declared_In_Interfaces => False,
749 Alternate_Languages => No_Alternate_Language,
752 Other_Part => No_Source,
755 Locally_Removed => False,
757 Replaced_By => No_Source,
759 Display_File => No_File,
760 Path => No_Path_Information,
761 Source_TS => Empty_Time_Stamp,
762 Object_Project => No_Project,
763 Object_Exists => True,
764 Object_Linked => True,
766 Current_Object_Path => No_Path,
767 Object_Path => No_Path,
768 Object_TS => Empty_Time_Stamp,
770 Current_Dep_Path => No_Path,
772 Dep_TS => Empty_Time_Stamp,
774 Switches_Path => No_Path,
775 Switches_TS => Empty_Time_Stamp,
776 Naming_Exception => False,
777 Next_In_Lang => No_Source);
779 package Source_Paths_Htable is new Simple_HTable
780 (Header_Num => Header_Num,
781 Element => Source_Id,
782 No_Element => No_Source,
783 Key => Path_Name_Type,
786 -- Mapping of source paths to source ids
788 package Unit_Sources_Htable is new Simple_HTable
789 (Header_Num => Header_Num,
790 Element => Source_Id,
791 No_Element => No_Source,
796 type Verbosity is (Default, Medium, High);
797 -- Verbosity when parsing GNAT Project Files
798 -- Default is default (very quiet, if no errors).
799 -- Medium is more verbose.
800 -- High is extremely verbose.
802 Current_Verbosity : Verbosity := Default;
803 -- The current value of the verbosity the project files are parsed with
805 type Lib_Kind is (Static, Dynamic, Relocatable);
807 type Policy is (Autonomous, Compliant, Controlled, Restricted, Direct);
808 -- Type to specify the symbol policy, when symbol control is supported.
809 -- See full explanation about this type in package Symbols.
810 -- Autonomous: Create a symbol file without considering any reference
811 -- Compliant: Try to be as compatible as possible with an existing ref
812 -- Controlled: Fail if symbols are not the same as those in the reference
813 -- Restricted: Restrict the symbols to those in the symbol file
814 -- Direct: The symbol file is used as is
816 type Symbol_Record is record
817 Symbol_File : Path_Name_Type := No_Path;
818 Reference : Path_Name_Type := No_Path;
819 Symbol_Policy : Policy := Autonomous;
821 -- Type to keep the symbol data to be used when building a shared library
823 No_Symbols : constant Symbol_Record :=
824 (Symbol_File => No_Path,
825 Reference => No_Path,
826 Symbol_Policy => Autonomous);
827 -- The default value of the symbol data
829 function Image (Casing : Casing_Type) return String;
830 -- Similar to 'Image (but avoid use of this attribute in compiler)
832 function Value (Image : String) return Casing_Type;
833 -- Similar to 'Value (but avoid use of this attribute in compiler)
834 -- Raises Constraint_Error if not a Casing_Type image.
836 -- The following record contains data for a naming scheme
838 type Naming_Data is record
840 Dot_Replacement : File_Name_Type := No_File;
841 -- The string to replace '.' in the source file name (for Ada)
843 Casing : Casing_Type := All_Lower_Case;
844 -- The casing of the source file name (for Ada)
846 Spec_Suffix : Array_Element_Id := No_Array_Element;
847 -- The string to append to the unit name for the
848 -- source file name of a spec.
849 -- Indexed by the programming language.
851 Body_Suffix : Array_Element_Id := No_Array_Element;
852 -- The string to append to the unit name for the
853 -- source file name of a body.
854 -- Indexed by the programming language.
856 Separate_Suffix : File_Name_Type := No_File;
857 -- String to append to unit name for source file name of an Ada subunit
859 Specs : Array_Element_Id := No_Array_Element;
860 -- An associative array mapping individual specs to source file names
861 -- This is specific to unit-based languages.
863 Bodies : Array_Element_Id := No_Array_Element;
864 -- An associative array mapping individual bodies to source file names
865 -- This is specific to unit-based languages.
867 Specification_Exceptions : Array_Element_Id := No_Array_Element;
868 -- An associative array listing spec file names that do not have the
869 -- spec suffix. Not used by Ada. Indexed by programming language name.
871 Implementation_Exceptions : Array_Element_Id := No_Array_Element;
872 -- An associative array listing body file names that do not have the
873 -- body suffix. Not used by Ada. Indexed by programming language name.
877 function Spec_Suffix_Of
878 (In_Tree : Project_Tree_Ref;
880 Naming : Naming_Data) return String;
882 function Spec_Suffix_Id_Of
883 (In_Tree : Project_Tree_Ref;
884 Language_Id : Name_Id;
885 Naming : Naming_Data) return File_Name_Type;
887 procedure Set_Spec_Suffix
888 (In_Tree : Project_Tree_Ref;
890 Naming : in out Naming_Data;
891 Suffix : File_Name_Type);
893 function Body_Suffix_Id_Of
894 (In_Tree : Project_Tree_Ref;
895 Language_Id : Name_Id;
896 Naming : Naming_Data) return File_Name_Type;
898 function Body_Suffix_Of
899 (In_Tree : Project_Tree_Ref;
901 Naming : Naming_Data) return String;
903 procedure Set_Body_Suffix
904 (In_Tree : Project_Tree_Ref;
906 Naming : in out Naming_Data;
907 Suffix : File_Name_Type);
909 function Get_Object_Directory
910 (In_Tree : Project_Tree_Ref;
911 Project : Project_Id;
912 Including_Libraries : Boolean;
913 Only_If_Ada : Boolean := False) return Path_Name_Type;
914 -- Return the object directory to use for the project. This depends on
915 -- whether we have a library project or a standard project. This function
916 -- might return No_Name when no directory applies.
917 -- If we have a a library project file and Including_Libraries is True then
918 -- the library dir is returned instead of the object dir.
919 -- If Only_If_Ada is True, then No_Name will be returned when the project
920 -- doesn't Ada sources.
922 procedure Compute_All_Imported_Projects
923 (Project : Project_Id; In_Tree : Project_Tree_Ref);
924 -- Compute, the list of the projects imported directly or indirectly by
925 -- project Project. The result is stored in Project.All_Imported_Projects
927 function Ultimate_Extending_Project_Of
928 (Proj : Project_Id; In_Tree : Project_Tree_Ref) return Project_Id;
929 -- Returns the ultimate extending project of project Proj. If project Proj
930 -- is not extended, returns Proj.
932 function Standard_Naming_Data
933 (Tree : Project_Tree_Ref := No_Project_Tree) return Naming_Data;
934 pragma Inline (Standard_Naming_Data);
935 -- The standard GNAT naming scheme when Tree is No_Project_Tree.
936 -- Otherwise, return the default naming scheme for the project tree Tree,
937 -- which must have been Initialized.
939 function Same_Naming_Scheme
940 (Left, Right : Naming_Data) return Boolean;
941 -- Returns True if Left and Right are the same naming scheme
942 -- not considering Specs and Bodies.
944 type Project_List is new Nat;
945 Empty_Project_List : constant Project_List := 0;
946 -- A list of project files
948 type Project_Element is record
949 Project : Project_Id := No_Project;
950 Next : Project_List := Empty_Project_List;
952 -- Element in a list of project files. Next is the id of the next
953 -- project file in the list.
955 package Project_List_Table is new GNAT.Dynamic_Tables
956 (Table_Component_Type => Project_Element,
957 Table_Index_Type => Project_List,
958 Table_Low_Bound => 1,
959 Table_Initial => 100,
960 Table_Increment => 100);
961 -- The table that contains the lists of project files
963 type Response_File_Format is
968 -- The format of the different response files
970 type Project_Configuration is record
971 Target : Name_Id := No_Name;
972 -- The target of the configuration, when specified
974 Run_Path_Option : Name_List_Index := No_Name_List;
975 -- The option to use when linking to specify the path where to look for
978 Separate_Run_Path_Options : Boolean := False;
979 -- True if each directory needs to be specified in a separate run path
982 Executable_Suffix : Name_Id := No_Name;
983 -- The suffix of executables, when specified in the configuration or in
984 -- package Builder of the main project. When this is not specified, the
985 -- executable suffix is the default for the platform.
989 Linker : Path_Name_Type := No_Path;
990 -- Path name of the linker driver. Specified in the configuration or in
991 -- the package Builder of the main project.
993 Map_File_Option : Name_Id := No_Name;
994 -- Option to use when invoking the linker to build a map file
996 Minimum_Linker_Options : Name_List_Index := No_Name_List;
997 -- The minimum options for the linker driver. Specified in the
1000 Linker_Executable_Option : Name_List_Index := No_Name_List;
1001 -- The option(s) to indicate the name of the executable in the linker
1002 -- command. Specified in the configuration. When not specified, default
1003 -- to -o <executable name>.
1005 Linker_Lib_Dir_Option : Name_Id := No_Name;
1006 -- The option to specify where to find a library for linking. Specified
1007 -- in the configuration. When not specified, defaults to "-L".
1009 Linker_Lib_Name_Option : Name_Id := No_Name;
1010 -- The option to specify the name of a library for linking. Specified in
1011 -- the configuration. When not specified, defaults to "-l".
1013 Max_Command_Line_Length : Natural := 0;
1014 -- When positive and when Resp_File_Format (see below) is not None,
1015 -- if the command line for the invocation of the linker would be greater
1016 -- than this value, a response file is used to invoke the linker.
1018 Resp_File_Format : Response_File_Format := None;
1019 -- The format of a response file, when linking with a response file is
1022 Resp_File_Options : Name_List_Index := No_Name_List;
1023 -- The switches, if any, that precede the path name of the response
1024 -- file in the invocation of the linker.
1028 Library_Builder : Path_Name_Type := No_Path;
1029 -- The executable to build library (specified in the configuration)
1031 Lib_Support : Library_Support := None;
1032 -- The level of library support. Specified in the configuration. Support
1033 -- is none, static libraries only or both static and shared libraries.
1035 Archive_Builder : Name_List_Index := No_Name_List;
1036 -- The name of the executable to build archives, with the minimum
1037 -- switches. Specified in the configuration.
1039 Archive_Builder_Append_Option : Name_List_Index := No_Name_List;
1040 -- The options to append object files to an archive
1042 Archive_Indexer : Name_List_Index := No_Name_List;
1043 -- The name of the executable to index archives, with the minimum
1044 -- switches. Specified in the configuration.
1046 Archive_Suffix : File_Name_Type := No_File;
1047 -- The suffix of archives. Specified in the configuration. When not
1048 -- specified, defaults to ".a".
1050 Lib_Partial_Linker : Name_List_Index := No_Name_List;
1054 Shared_Lib_Driver : File_Name_Type := No_File;
1055 -- The driver to link shared libraries. Set with attribute Library_GCC.
1058 Shared_Lib_Prefix : File_Name_Type := No_File;
1059 -- Part of a shared library file name that precedes the name of the
1060 -- library. Specified in the configuration. When not specified, defaults
1063 Shared_Lib_Suffix : File_Name_Type := No_File;
1064 -- Suffix of shared libraries, after the library name in the shared
1065 -- library name. Specified in the configuration. When not specified,
1066 -- default to ".so".
1068 Shared_Lib_Min_Options : Name_List_Index := No_Name_List;
1069 -- The minimum options to use when building a shared library
1071 Lib_Version_Options : Name_List_Index := No_Name_List;
1072 -- The options to use to specify a library version
1074 Symbolic_Link_Supported : Boolean := False;
1075 -- True if the platform supports symbolic link files
1077 Lib_Maj_Min_Id_Supported : Boolean := False;
1078 -- True if platform supports library major and minor options, such as
1079 -- libname.so -> libname.so.2 -> libname.so.2.4
1081 Auto_Init_Supported : Boolean := False;
1082 -- True if automatic initialisation is supported for shared stand-alone
1086 Default_Project_Config : constant Project_Configuration :=
1088 Run_Path_Option => No_Name_List,
1089 Separate_Run_Path_Options => False,
1090 Executable_Suffix => No_Name,
1092 Map_File_Option => No_Name,
1093 Minimum_Linker_Options => No_Name_List,
1094 Linker_Executable_Option => No_Name_List,
1095 Linker_Lib_Dir_Option => No_Name,
1096 Linker_Lib_Name_Option => No_Name,
1097 Library_Builder => No_Path,
1098 Max_Command_Line_Length => 0,
1099 Resp_File_Format => None,
1100 Resp_File_Options => No_Name_List,
1101 Lib_Support => None,
1102 Archive_Builder => No_Name_List,
1103 Archive_Builder_Append_Option => No_Name_List,
1104 Archive_Indexer => No_Name_List,
1105 Archive_Suffix => No_File,
1106 Lib_Partial_Linker => No_Name_List,
1107 Shared_Lib_Driver => No_File,
1108 Shared_Lib_Prefix => No_File,
1109 Shared_Lib_Suffix => No_File,
1110 Shared_Lib_Min_Options => No_Name_List,
1111 Lib_Version_Options => No_Name_List,
1112 Symbolic_Link_Supported => False,
1113 Lib_Maj_Min_Id_Supported => False,
1114 Auto_Init_Supported => False);
1116 -- The following record describes a project file representation
1118 -- Note that it is not specified if the path names of directories (source,
1119 -- object, library or exec directories) end with or without a directory
1122 type Project_Data is record
1128 Name : Name_Id := No_Name;
1129 -- The name of the project
1131 Display_Name : Name_Id := No_Name;
1132 -- The name of the project with the spelling of its declaration
1134 Qualifier : Project_Qualifier := Unspecified;
1135 -- The eventual qualifier for this project
1137 Externally_Built : Boolean := False;
1138 -- True if the project is externally built. In such case, the Project
1139 -- Manager will not modify anything in this project.
1141 Config : Project_Configuration;
1143 Path : Path_Information := No_Path_Information;
1144 -- The path name of the project file
1146 Virtual : Boolean := False;
1147 -- True for virtual extending projects
1149 Location : Source_Ptr := No_Location;
1150 -- The location in the project file source of the reserved word project
1152 Naming : Naming_Data := Standard_Naming_Data;
1153 -- The naming scheme of this project file
1159 Languages : Language_Ptr := No_Language_Index;
1160 -- First index of the language data in the project.
1161 -- This is an index into the project_tree_data.languages_data.
1162 -- Traversing the list gives access to all the languages supported by
1169 Mains : String_List_Id := Nil_String;
1170 -- List of mains specified by attribute Main
1172 Extends : Project_Id := No_Project;
1173 -- The reference of the project file, if any, that this project file
1176 Extended_By : Project_Id := No_Project;
1177 -- The reference of the project file, if any, that extends this project
1180 Decl : Declarations := No_Declarations;
1181 -- The declarations (variables, attributes and packages) of this project
1184 Imported_Projects : Project_List := Empty_Project_List;
1185 -- The list of all directly imported projects, if any
1187 All_Imported_Projects : Project_List := Empty_Project_List;
1188 -- The list of all projects imported directly or indirectly, if any
1194 Directory : Path_Information := No_Path_Information;
1195 -- Path name of the directory where the project file resides
1197 Object_Directory : Path_Information := No_Path_Information;
1198 -- The path name of the object directory of this project file
1200 Exec_Directory : Path_Information := No_Path_Information;
1201 -- The path name of the exec directory of this project file. Default is
1202 -- equal to Object_Directory.
1208 Library : Boolean := False;
1209 -- True if this is a library project
1211 Library_Name : Name_Id := No_Name;
1212 -- If a library project, name of the library
1214 Library_Kind : Lib_Kind := Static;
1215 -- If a library project, kind of library
1217 Library_Dir : Path_Information := No_Path_Information;
1218 -- If a library project, path name of the directory where the library
1221 Library_TS : Time_Stamp_Type := Empty_Time_Stamp;
1222 -- The timestamp of a library file in a library project
1224 Library_Src_Dir : Path_Information := No_Path_Information;
1225 -- If a Stand-Alone Library project, path name of the directory where
1226 -- the sources of the interfaces of the library are copied. By default,
1227 -- if attribute Library_Src_Dir is not specified, sources of the
1228 -- interfaces are not copied anywhere.
1230 Library_ALI_Dir : Path_Information := No_Path_Information;
1231 -- In a library project, path name of the directory where the ALI files
1232 -- are copied. If attribute Library_ALI_Dir is not specified, ALI files
1233 -- are copied in the Library_Dir.
1235 Lib_Internal_Name : Name_Id := No_Name;
1236 -- If a library project, internal name store inside the library
1238 Standalone_Library : Boolean := False;
1239 -- Indicate that this is a Standalone Library Project File
1241 Lib_Interface_ALIs : String_List_Id := Nil_String;
1242 -- For Standalone Library Project Files, indicate the list of Interface
1245 Lib_Auto_Init : Boolean := False;
1246 -- For non static Stand-Alone Library Project Files, indicate if
1247 -- the library initialisation should be automatic.
1249 Symbol_Data : Symbol_Record := No_Symbols;
1250 -- Symbol file name, reference symbol file name, symbol policy
1252 Need_To_Build_Lib : Boolean := False;
1253 -- Indicates that the library of a Library Project needs to be built or
1259 -- In multi-language mode, the sources for all languages including Ada
1260 -- are accessible through the Source_Iterator type
1262 Ada_Sources : String_List_Id := Nil_String;
1263 -- The list of all the Ada source file names (gnatmake only).
1265 Interfaces_Defined : Boolean := False;
1266 -- True if attribute Interfaces is declared for the project or any
1267 -- project it extends.
1269 Include_Path : String_Access := null;
1270 -- The search source path for the project. Used as the value for an
1271 -- environment variable, specified by attribute Include_Path
1272 -- (<language>). The names of the environment variables are in component
1273 -- Include_Path of the records Language_Config.
1275 Include_Path_File : Path_Name_Type := No_Path;
1276 -- The path name of the of the source search directory file
1278 Include_Data_Set : Boolean := False;
1279 -- Set True when Imported_Directories_Switches or Include_Path are set
1281 Source_Dirs : String_List_Id := Nil_String;
1282 -- The list of all the source directories
1284 Known_Order_Of_Source_Dirs : Boolean := True;
1285 -- False, if there is any /** in the Source_Dirs, because in this case
1286 -- the ordering of the source subdirs depend on the OS. If True,
1287 -- duplicate file names in the same project file are allowed.
1289 Ada_Include_Path : String_Access := null;
1290 -- The cached value of source search path for this project file. Set by
1291 -- the first call to Prj.Env.Ada_Include_Path for the project. Do not
1292 -- use this field directly outside of the project manager, use
1293 -- Prj.Env.Ada_Include_Path instead.
1299 Ada_Objects_Path : String_Access := null;
1300 -- The cached value of ADA_OBJECTS_PATH for this project file. Do not
1301 -- use this field directly outside of the compiler, use
1302 -- Prj.Env.Ada_Objects_Path instead.
1304 Libgnarl_Needed : Yes_No_Unknown := Unknown;
1305 -- Set to True when libgnarl is needed to link
1307 Objects_Path : String_Access := null;
1308 -- The cached value of the object dir path, used during the binding
1309 -- phase of gprbuild.
1311 Objects_Path_File_With_Libs : Path_Name_Type := No_Path;
1312 -- The cached value of the object path temp file (including library
1313 -- dirs) for this project file.
1315 Objects_Path_File_Without_Libs : Path_Name_Type := No_Path;
1316 -- The cached value of the object path temp file (excluding library
1317 -- dirs) for this project file.
1319 Config_File_Name : Path_Name_Type := No_Path;
1320 -- The path name of the configuration pragmas file, if any
1322 Config_File_Temp : Boolean := False;
1323 -- An indication that the configuration pragmas file is a temporary file
1324 -- that must be deleted at the end.
1326 Config_Checked : Boolean := False;
1327 -- A flag to avoid checking repetitively the configuration pragmas file
1329 Depth : Natural := 0;
1330 -- The maximum depth of a project in the project graph. Depth of main
1333 Unkept_Comments : Boolean := False;
1334 -- True if there are comments in the project sources that cannot be kept
1335 -- in the project tree.
1339 function Empty_Project (Tree : Project_Tree_Ref) return Project_Data;
1340 -- Return the representation of an empty project in project Tree tree.
1341 -- The project tree Tree must have been Initialized and/or Reset.
1343 function Is_Extending
1344 (Extending : Project_Id;
1345 Extended : Project_Id;
1346 In_Tree : Project_Tree_Ref) return Boolean;
1347 -- ??? needs comment
1349 function Is_A_Language
1350 (Data : Project_Data;
1351 Language_Name : Name_Id) return Boolean;
1352 -- Return True when Language_Name (which must be lower case) is one of the
1353 -- languages used for the project.
1355 function Has_Ada_Sources (Data : Project_Data) return Boolean;
1356 -- Return True if the project has Ada sources
1358 function Has_Foreign_Sources (Data : Project_Data) return Boolean;
1359 -- Return True if the project has foreign sources
1361 Project_Error : exception;
1362 -- Raised by some subprograms in Prj.Attr
1364 package Project_Table is new GNAT.Dynamic_Tables (
1365 Table_Component_Type => Project_Data,
1366 Table_Index_Type => Project_Id,
1367 Table_Low_Bound => 1,
1368 Table_Initial => 100,
1369 Table_Increment => 100);
1370 -- The set of all project files
1372 type Spec_Or_Body is (Specification, Body_Part);
1374 type File_Name_Data is record
1375 Name : File_Name_Type := No_File;
1377 Display_Name : File_Name_Type := No_File;
1378 Path : Path_Information := No_Path_Information;
1379 Project : Project_Id := No_Project;
1380 Needs_Pragma : Boolean := False;
1382 -- File and Path name of a spec or body
1384 type File_Names_Data is array (Spec_Or_Body) of File_Name_Data;
1386 type Unit_Index is new Nat;
1387 No_Unit_Index : constant Unit_Index := 0;
1388 type Unit_Data is record
1389 Name : Name_Id := No_Name;
1390 File_Names : File_Names_Data;
1392 -- Name and File and Path names of a unit, with a reference to its
1393 -- GNAT Project File(s).
1395 package Unit_Table is new GNAT.Dynamic_Tables
1396 (Table_Component_Type => Unit_Data,
1397 Table_Index_Type => Unit_Index,
1398 Table_Low_Bound => 1,
1399 Table_Initial => 100,
1400 Table_Increment => 100);
1401 -- Table of all units in a project tree
1403 package Units_Htable is new Simple_HTable
1404 (Header_Num => Header_Num,
1405 Element => Unit_Index,
1406 No_Element => No_Unit_Index,
1410 -- Mapping of unit names to indexes in the Units table
1412 type Unit_Project is record
1413 Unit : Unit_Index := No_Unit_Index;
1414 Project : Project_Id := No_Project;
1417 No_Unit_Project : constant Unit_Project := (No_Unit_Index, No_Project);
1419 package Files_Htable is new Simple_HTable
1420 (Header_Num => Header_Num,
1421 Element => Unit_Project,
1422 No_Element => No_Unit_Project,
1423 Key => File_Name_Type,
1426 -- Mapping of file names to indexes in the Units table
1428 ---------------------
1429 -- Source_Iterator --
1430 ---------------------
1432 type Source_Iterator is private;
1434 function For_Each_Source
1435 (In_Tree : Project_Tree_Ref;
1436 Project : Project_Id := No_Project;
1437 Language : Name_Id := No_Name) return Source_Iterator;
1438 -- Returns an iterator for all the sources of a project tree, or a specific
1439 -- project, or a specific language.
1441 function Element (Iter : Source_Iterator) return Source_Id;
1442 -- Return the current source (or No_Source if there are no more sources)
1444 procedure Next (Iter : in out Source_Iterator);
1445 -- Move on to the next source
1447 -----------------------
1448 -- Project_Tree_Data --
1449 -----------------------
1451 type Private_Project_Tree_Data is private;
1452 -- Data for a project tree that is used only by the Project Manager
1454 type Project_Tree_Data is
1456 Name_Lists : Name_List_Table.Instance;
1457 String_Elements : String_Element_Table.Instance;
1458 Variable_Elements : Variable_Element_Table.Instance;
1459 Array_Elements : Array_Element_Table.Instance;
1460 Arrays : Array_Table.Instance;
1461 Packages : Package_Table.Instance;
1462 Project_Lists : Project_List_Table.Instance;
1463 Projects : Project_Table.Instance;
1464 Alt_Langs : Alternate_Language_Table.Instance;
1465 Units : Unit_Table.Instance;
1466 Units_HT : Units_Htable.Instance;
1467 Files_HT : Files_Htable.Instance;
1468 Source_Paths_HT : Source_Paths_Htable.Instance;
1469 Unit_Sources_HT : Unit_Sources_Htable.Instance;
1473 Private_Part : Private_Project_Tree_Data;
1475 -- Data for a project tree
1477 type Put_Line_Access is access procedure
1479 Project : Project_Id;
1480 In_Tree : Project_Tree_Ref);
1481 -- Use to customize error reporting in Prj.Proc and Prj.Nmsc
1483 procedure Expect (The_Token : Token_Type; Token_Image : String);
1484 -- Check that the current token is The_Token. If it is not, then output
1485 -- an error message.
1487 procedure Initialize (Tree : Project_Tree_Ref);
1488 -- This procedure must be called before using any services from the Prj
1489 -- hierarchy. Namet.Initialize must be called before Prj.Initialize.
1491 procedure Reset (Tree : Project_Tree_Ref);
1492 -- This procedure resets all the tables that are used when processing a
1493 -- project file tree. Initialize must be called before the call to Reset.
1495 procedure Register_Default_Naming_Scheme
1496 (Language : Name_Id;
1497 Default_Spec_Suffix : File_Name_Type;
1498 Default_Body_Suffix : File_Name_Type;
1499 In_Tree : Project_Tree_Ref);
1500 -- Register the default suffixes for a given language. These extensions
1501 -- will be ignored if the user has specified a new naming scheme in a
1504 -- Otherwise, this information will be automatically added to Naming_Data
1505 -- when a project is processed, in the lists Spec_Suffix and Body_Suffix.
1507 package Project_Boolean_Htable is new Simple_HTable
1508 (Header_Num => Header_Num,
1510 No_Element => False,
1514 -- A table that associates a project to a boolean. This is used to detect
1515 -- whether a project was already processed for instance.
1518 type State is limited private;
1519 with procedure Action
1520 (Project : Project_Id;
1521 With_State : in out State);
1522 procedure For_Every_Project_Imported
1524 In_Tree : Project_Tree_Ref;
1525 With_State : in out State;
1526 Imported_First : Boolean := False);
1527 -- Call Action for each project imported directly or indirectly by project
1528 -- By, as well as extended projects.
1529 -- The order of processing depends on Imported_First:
1530 -- If False, Action is called according to the order of importation: if A
1531 -- imports B, directly or indirectly, Action will be called for A before
1532 -- it is called for B. If two projects import each other directly or
1533 -- indirectly (using at least one "limited with"), it is not specified
1534 -- for which of these two projects Action will be called first.
1535 -- The order is reversed if Imported_First is True.
1536 -- With_State may be used by Action to choose a behavior or to report some
1539 function Extend_Name
1540 (File : File_Name_Type;
1541 With_Suffix : String) return File_Name_Type;
1542 -- Replace the extension of File with With_Suffix
1544 function Object_Name
1545 (Source_File_Name : File_Name_Type;
1546 Object_File_Suffix : Name_Id := No_Name) return File_Name_Type;
1547 -- Returns the object file name corresponding to a source file name
1549 function Dependency_Name
1550 (Source_File_Name : File_Name_Type;
1551 Dependency : Dependency_File_Kind) return File_Name_Type;
1552 -- Returns the dependency file name corresponding to a source file name
1554 function Switches_Name
1555 (Source_File_Name : File_Name_Type) return File_Name_Type;
1556 -- Returns the switches file name corresponding to a source file name
1562 procedure Record_Temp_File (Path : Path_Name_Type);
1563 -- Record the path of a newly created temporary file, so that it can be
1566 procedure Delete_All_Temp_Files;
1567 -- Delete all recorded temporary files
1571 All_Packages : constant String_List_Access := null;
1573 No_Project_Tree : constant Project_Tree_Ref := null;
1575 Ignored : constant Variable_Kind := Single;
1577 Nil_Variable_Value : constant Variable_Value :=
1578 (Project => No_Project,
1580 Location => No_Location,
1583 Virtual_Prefix : constant String := "v$";
1584 -- The prefix for virtual extending projects. Because of the '$', which is
1585 -- normally forbidden for project names, there cannot be any name clash.
1587 Empty_Name : Name_Id;
1588 -- Name_Id for an empty name (no characters). Initialized in procedure
1591 Empty_File_Name : File_Name_Type;
1592 -- Empty File_Name_Type (no characters). Initialized in procedure
1595 type Source_Iterator is record
1596 In_Tree : Project_Tree_Ref;
1598 Project : Project_Id;
1599 All_Projects : Boolean;
1600 -- Current project and whether we should move on to the next
1602 Language : Language_Ptr;
1603 -- Current language processed
1605 Language_Name : Name_Id;
1606 -- Only sources of this language will be returned (or all if No_Name)
1608 Current : Source_Id;
1611 procedure Add_To_Buffer
1613 To : in out String_Access;
1614 Last : in out Natural);
1615 -- Append a String to the Buffer
1617 type Naming_Id is new Nat;
1619 package Naming_Table is new GNAT.Dynamic_Tables
1620 (Table_Component_Type => Naming_Data,
1621 Table_Index_Type => Naming_Id,
1622 Table_Low_Bound => 1,
1624 Table_Increment => 100);
1625 -- Table storing the naming data for gnatmake/gprmake
1627 package Path_File_Table is new GNAT.Dynamic_Tables
1628 (Table_Component_Type => Path_Name_Type,
1629 Table_Index_Type => Natural,
1630 Table_Low_Bound => 1,
1631 Table_Initial => 50,
1632 Table_Increment => 100);
1633 -- Table storing all the temp path file names.
1634 -- Used by Delete_All_Path_Files.
1636 package Source_Path_Table is new GNAT.Dynamic_Tables
1637 (Table_Component_Type => Name_Id,
1638 Table_Index_Type => Natural,
1639 Table_Low_Bound => 1,
1640 Table_Initial => 50,
1641 Table_Increment => 100);
1642 -- A table to store the source dirs before creating the source path file
1644 package Object_Path_Table is new GNAT.Dynamic_Tables
1645 (Table_Component_Type => Path_Name_Type,
1646 Table_Index_Type => Natural,
1647 Table_Low_Bound => 1,
1648 Table_Initial => 50,
1649 Table_Increment => 100);
1650 -- A table to store the object dirs, before creating the object path file
1652 type Private_Project_Tree_Data is record
1653 Namings : Naming_Table.Instance;
1654 Path_Files : Path_File_Table.Instance;
1655 Source_Paths : Source_Path_Table.Instance;
1656 Object_Paths : Object_Path_Table.Instance;
1657 Default_Naming : Naming_Data;
1659 Current_Source_Path_File : Path_Name_Type := No_Path;
1660 -- Current value of project source path file env var. Used to avoid
1661 -- setting the env var to the same value.
1663 Current_Object_Path_File : Path_Name_Type := No_Path;
1664 -- Current value of project object path file env var. Used to avoid
1665 -- setting the env var to the same value.
1667 Ada_Path_Buffer : String_Access := new String (1 .. 1024);
1668 -- A buffer where values for ADA_INCLUDE_PATH and ADA_OBJECTS_PATH are
1671 Ada_Path_Length : Natural := 0;
1672 -- Index of the last valid character in Ada_Path_Buffer
1674 Ada_Prj_Include_File_Set : Boolean := False;
1675 Ada_Prj_Objects_File_Set : Boolean := False;
1676 -- These flags are set to True when the corresponding environment
1677 -- variables are set and are used to give these environment variables an
1678 -- empty string value at the end of the program. This has no practical
1679 -- effect on most platforms, except on VMS where the logical names are
1680 -- deassigned, thus avoiding the pollution of the environment of the
1683 Fill_Mapping_File : Boolean := True;
1686 -- Type to represent the part of a project tree which is private to the