./:
[official-gcc.git] / gcc / ada / makeutl.ads
blobd69adb2f62820250fd843aaf9d6e3a3caf2f232f
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- M A K E U T L --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2004-2005 Free Software Foundation, Inc. --
10 -- --
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 2, 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 COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
21 -- --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 -- --
25 ------------------------------------------------------------------------------
27 with Osint;
28 with Prj; use Prj;
29 with Types; use Types;
31 with GNAT.OS_Lib; use GNAT.OS_Lib;
33 package Makeutl is
35 type Fail_Proc is access procedure
36 (S1 : String;
37 S2 : String := "";
38 S3 : String := "");
39 Do_Fail : Fail_Proc := Osint.Fail'Access;
40 -- Comment required ???
42 function Unit_Index_Of (ALI_File : File_Name_Type) return Int;
43 -- Find the index of a unit in a source file. Return zero if the file
44 -- is not a multi-unit source file.
46 function Is_External_Assignment (Argv : String) return Boolean;
47 -- Verify that an external assignment switch is syntactically correct
49 -- Correct forms are:
51 -- -Xname=value
52 -- -X"name=other value"
54 -- Assumptions: 'First = 1, Argv (1 .. 2) = "-X"
55 -- When this function returns True, the external assignment has
56 -- been entered by a call to Prj.Ext.Add, so that in a project
57 -- file, External ("name") will return "value".
59 function Linker_Options_Switches
60 (Project : Project_Id;
61 In_Tree : Project_Tree_Ref) return String_List;
62 -- Collect the options specified in the Linker'Linker_Options attributes
63 -- of project Project, in project tree In_Tree, and in the projects that
64 -- it imports directly or indirectly, and returns the result.
66 -- Package Mains is used to store the mains specified on the command line
67 -- and to retrieve them when a project file is used, to verify that the
68 -- files exist and that they belong to a project file.
70 package Mains is
72 -- Mains are stored in a table. An index is used to retrieve the mains
73 -- from the table.
75 procedure Add_Main (Name : String);
76 -- Add one main to the table
78 procedure Delete;
79 -- Empty the table
81 procedure Reset;
82 -- Reset the index to the beginning of the table
84 function Next_Main return String;
85 -- Increase the index and return the next main.
86 -- If table is exhausted, return an empty string.
88 function Number_Of_Mains return Natural;
89 -- Returns the number of mains added with Add_Main since the last call
90 -- to Delete.
92 end Mains;
94 procedure Test_If_Relative_Path
95 (Switch : in out String_Access;
96 Parent : String_Access;
97 Including_L_Switch : Boolean := True);
98 -- Test if Switch is a relative search path switch.
99 -- If it is, fail if Parent is null, otherwise prepend the path with
100 -- Parent. This subprogram is only called when using project files.
101 -- For gnatbind switches, Including_L_Switch is False, because the
102 -- argument of the -L switch is not a path.
104 ----------------------
105 -- Marking Routines --
106 ----------------------
108 procedure Mark (Source_File : File_Name_Type; Index : Int := 0);
109 -- Mark a unit, identified by its source file and, when Index is not 0,
110 -- the index of the unit in the source file. Marking is used to signal
111 -- that the unit has already been inserted in the Q.
113 function Is_Marked
114 (Source_File : File_Name_Type;
115 Index : Int := 0) return Boolean;
116 -- Returns True if the unit was previously marked
118 procedure Delete_All_Marks;
119 -- Remove all file/index couples marked
121 end Makeutl;