with Namet; use Namet;
with Opt;
with Osint; use Osint;
with Output; use Output;
with Prj.Com; use Prj.Com;
with Table;
with Tempdir;
with GNAT.OS_Lib; use GNAT.OS_Lib;
package body Prj.Env is
type Naming_Id is new Nat;
Current_Source_Path_File : Name_Id := No_Name;
Current_Object_Path_File : Name_Id := No_Name;
Ada_Path_Buffer : String_Access := new String (1 .. 1024);
Ada_Path_Length : Natural := 0;
Ada_Prj_Include_File_Set : Boolean := False;
Ada_Prj_Objects_File_Set : Boolean := False;
package Namings is new Table.Table
(Table_Component_Type => Naming_Data,
Table_Index_Type => Naming_Id,
Table_Low_Bound => 1,
Table_Initial => 5,
Table_Increment => 100,
Table_Name => "Prj.Env.Namings");
Default_Naming : constant Naming_Id := Namings.First;
Fill_Mapping_File : Boolean := True;
package Path_Files is new Table.Table
(Table_Component_Type => Name_Id,
Table_Index_Type => Natural,
Table_Low_Bound => 1,
Table_Initial => 50,
Table_Increment => 50,
Table_Name => "Prj.Env.Path_Files");
type Project_Flags is array (Project_Id range <>) of Boolean;
package Source_Paths is new Table.Table
(Table_Component_Type => Name_Id,
Table_Index_Type => Natural,
Table_Low_Bound => 1,
Table_Initial => 50,
Table_Increment => 50,
Table_Name => "Prj.Env.Source_Paths");
package Object_Paths is new Table.Table
(Table_Component_Type => Name_Id,
Table_Index_Type => Natural,
Table_Low_Bound => 1,
Table_Initial => 50,
Table_Increment => 50,
Table_Name => "Prj.Env.Source_Paths");
function Body_Path_Name_Of (Unit : Unit_Id) return String;
function Spec_Path_Name_Of (Unit : Unit_Id) return String;
procedure Add_To_Path (Source_Dirs : String_List_Id);
procedure Add_To_Path (Dir : String);
procedure Add_To_Source_Path (Source_Dirs : String_List_Id);
procedure Add_To_Object_Path (Object_Dir : Name_Id);
procedure Create_New_Path_File
(Path_FD : out File_Descriptor;
Path_Name : out Name_Id);
procedure Set_Path_File_Var (Name : String; Value : String);
function Ultimate_Extension_Of (Project : in Project_Id) return Project_Id;
function Ada_Include_Path (Project : Project_Id) return String_Access is
procedure Add (Project : Project_Id);
procedure Add (Project : Project_Id) is
begin
if not Projects.Table (Project).Seen then
Projects.Table (Project).Seen := True;
declare
Data : constant Project_Data := Projects.Table (Project);
List : Project_List := Data.Imported_Projects;
begin
Add_To_Path (Data.Source_Dirs);
if Data.Extends /= No_Project then
Add (Data.Extends);
end if;
while List /= Empty_Project_List loop
Add (Project_Lists.Table (List).Project);
List := Project_Lists.Table (List).Next;
end loop;
end;
end if;
end Add;
begin
if Projects.Table (Project).Ada_Include_Path = null then
Ada_Path_Length := 0;
for Index in 1 .. Projects.Last loop
Projects.Table (Index).Seen := False;
end loop;
Add (Project);
Projects.Table (Project).Ada_Include_Path :=
new String'(Ada_Path_Buffer (1 .. Ada_Path_Length));
end if;
return Projects.Table (Project).Ada_Include_Path;
end Ada_Include_Path;
function Ada_Include_Path
(Project : Project_Id;
Recursive : Boolean) return String
is
begin
if Recursive then
return Ada_Include_Path (Project).all;
else
Ada_Path_Length := 0;
Add_To_Path (Projects.Table (Project).Source_Dirs);
return Ada_Path_Buffer (1 .. Ada_Path_Length);
end if;
end Ada_Include_Path;
function Ada_Objects_Path
(Project : Project_Id;
Including_Libraries : Boolean := True) return String_Access
is
procedure Add (Project : Project_Id);
procedure Add (Project : Project_Id) is
begin
if not Projects.Table (Project).Seen then
Projects.Table (Project).Seen := True;
declare
Data : constant Project_Data := Projects.Table (Project);
List : Project_List := Data.Imported_Projects;
begin
if (Data.Library and then Including_Libraries)
or else
(Data.Object_Directory /= No_Name
and then
(not Including_Libraries or else not Data.Library))
then
if Data.Library then
Add_To_Path (Get_Name_String (Data.Library_Dir));
else
Add_To_Path (Get_Name_String (Data.Object_Directory));
end if;
end if;
if Data.Extends /= No_Project then
Add (Data.Extends);
end if;
while List /= Empty_Project_List loop
Add (Project_Lists.Table (List).Project);
List := Project_Lists.Table (List).Next;
end loop;
end;
end if;
end Add;
begin
if Projects.Table (Project).Ada_Objects_Path = null then
Ada_Path_Length := 0;
for Index in 1 .. Projects.Last loop
Projects.Table (Index).Seen := False;
end loop;
Add (Project);
Projects.Table (Project).Ada_Objects_Path :=
new String'(Ada_Path_Buffer (1 .. Ada_Path_Length));
end if;
return Projects.Table (Project).Ada_Objects_Path;
end Ada_Objects_Path;
procedure Add_To_Object_Path (Object_Dir : Name_Id) is
begin
for Index in 1 .. Object_Paths.Last loop
if Object_Paths.Table (Index) = Object_Dir then
for Index2 in Index + 1 .. Object_Paths.Last loop
Object_Paths.Table (Index2 - 1) :=
Object_Paths.Table (Index2);
end loop;
Object_Paths.Table (Object_Paths.Last) := Object_Dir;
return;
end if;
end loop;
Object_Paths.Increment_Last;
Object_Paths.Table (Object_Paths.Last) := Object_Dir;
end Add_To_Object_Path;
procedure Add_To_Path (Source_Dirs : String_List_Id) is
Current : String_List_Id := Source_Dirs;
Source_Dir : String_Element;
begin
while Current /= Nil_String loop
Source_Dir := String_Elements.Table (Current);
Add_To_Path (Get_Name_String (Source_Dir.Display_Value));
Current := Source_Dir.Next;
end loop;
end Add_To_Path;
procedure Add_To_Path (Dir : String) is
Len : Natural;
New_Buffer : String_Access;
Min_Len : Natural;
function Is_Present (Path : String; Dir : String) return Boolean;
function Is_Present (Path : String; Dir : String) return Boolean is
Last : constant Integer := Path'Last - Dir'Length + 1;
begin
for J in Path'First .. Last loop
if (J = Path'First
or else Path (J - 1) = Path_Separator)
and then
(J + Dir'Length > Path'Last
or else Path (J + Dir'Length) = Path_Separator)
and then Dir = Path (J .. J + Dir'Length - 1)
then
return True;
end if;
end loop;
return False;
end Is_Present;
begin
if Is_Present (Ada_Path_Buffer (1 .. Ada_Path_Length), Dir) then
return;
end if;
Min_Len := Ada_Path_Length + Dir'Length;
if Ada_Path_Length > 0 then
Min_Len := Min_Len + 1;
end if;
Len := Ada_Path_Buffer'Last;
if Len < Min_Len then
loop
Len := Len * 2;
exit when Len >= Min_Len;
end loop;
New_Buffer := new String (1 .. Len);
New_Buffer (1 .. Ada_Path_Length) :=
Ada_Path_Buffer (1 .. Ada_Path_Length);
Free (Ada_Path_Buffer);
Ada_Path_Buffer := New_Buffer;
end if;
if Ada_Path_Length > 0 then
Ada_Path_Length := Ada_Path_Length + 1;
Ada_Path_Buffer (Ada_Path_Length) := Path_Separator;
end if;
Ada_Path_Buffer
(Ada_Path_Length + 1 .. Ada_Path_Length + Dir'Length) := Dir;
Ada_Path_Length := Ada_Path_Length + Dir'Length;
end Add_To_Path;
procedure Add_To_Source_Path (Source_Dirs : String_List_Id) is
Current : String_List_Id := Source_Dirs;
Source_Dir : String_Element;
Add_It : Boolean;
begin
while Current /= Nil_String loop
Source_Dir := String_Elements.Table (Current);
Add_It := True;
for Index in 1 .. Source_Paths.Last loop
if Source_Paths.Table (Index) = Source_Dir.Value then
Add_It := False;
exit;
end if;
end loop;
if Add_It then
Source_Paths.Increment_Last;
Source_Paths.Table (Source_Paths.Last) := Source_Dir.Value;
end if;
Current := Source_Dir.Next;
end loop;
end Add_To_Source_Path;
function Body_Path_Name_Of (Unit : Unit_Id) return String is
Data : Unit_Data := Units.Table (Unit);
begin
if Data.File_Names (Body_Part).Path = No_Name then
declare
Current_Source : String_List_Id :=
Projects.Table (Data.File_Names (Body_Part).Project).Sources;
Path : GNAT.OS_Lib.String_Access;
begin
Data.File_Names (Body_Part).Path :=
Data.File_Names (Body_Part).Name;
while Current_Source /= Nil_String loop
Path :=
Locate_Regular_File
(Namet.Get_Name_String
(Data.File_Names (Body_Part).Name),
Namet.Get_Name_String
(String_Elements.Table (Current_Source).Value));
if Path /= null then
Name_Len := Path'Length;
Name_Buffer (1 .. Name_Len) := Path.all;
Data.File_Names (Body_Part).Path := Name_Enter;
exit;
else
Current_Source :=
String_Elements.Table (Current_Source).Next;
end if;
end loop;
Units.Table (Unit) := Data;
end;
end if;
return Namet.Get_Name_String (Data.File_Names (Body_Part).Path);
end Body_Path_Name_Of;
procedure Create_Config_Pragmas_File
(For_Project : Project_Id;
Main_Project : Project_Id;
Include_Config_Files : Boolean := True)
is
pragma Unreferenced (Main_Project);
pragma Unreferenced (Include_Config_Files);
File_Name : Name_Id := No_Name;
File : File_Descriptor := Invalid_FD;
Current_Unit : Unit_Id := Units.First;
First_Project : Project_List := Empty_Project_List;
Current_Project : Project_List;
Current_Naming : Naming_Id;
Status : Boolean;
procedure Check (Project : Project_Id);
procedure Check_Temp_File;
procedure Put
(Unit_Name : Name_Id;
File_Name : Name_Id;
Unit_Kind : Spec_Or_Body;
Index : Int);
procedure Put (File : File_Descriptor; S : String);
procedure Put_Line (File : File_Descriptor; S : String);
procedure Check (Project : Project_Id) is
Data : constant Project_Data := Projects.Table (Project);
begin
if Current_Verbosity = High then
Write_Str ("Checking project file """);
Write_Str (Namet.Get_Name_String (Data.Name));
Write_Str (""".");
Write_Eol;
end if;
Current_Project := First_Project;
while Current_Project /= Empty_Project_List
and then Project_Lists.Table (Current_Project).Project /= Project
loop
Current_Project := Project_Lists.Table (Current_Project).Next;
end loop;
if Current_Project = Empty_Project_List then
Project_Lists.Increment_Last;
Project_Lists.Table (Project_Lists.Last) :=
(Project => Project, Next => First_Project);
First_Project := Project_Lists.Last;
Current_Naming := Default_Naming;
while Current_Naming <= Namings.Last and then
not Same_Naming_Scheme
(Left => Namings.Table (Current_Naming),
Right => Data.Naming) loop
Current_Naming := Current_Naming + 1;
end loop;
if Current_Naming > Namings.Last then
Namings.Increment_Last;
Namings.Table (Namings.Last) := Data.Naming;
Check_Temp_File;
Put_Line
(File, "pragma Source_File_Name_Project");
Put_Line
(File, " (Spec_File_Name => ""*" &
Namet.Get_Name_String (Data.Naming.Current_Spec_Suffix) &
""",");
Put_Line
(File, " Casing => " &
Image (Data.Naming.Casing) & ",");
Put_Line
(File, " Dot_Replacement => """ &
Namet.Get_Name_String (Data.Naming.Dot_Replacement) &
""");");
Put_Line
(File, "pragma Source_File_Name_Project");
Put_Line
(File, " (Body_File_Name => ""*" &
Namet.Get_Name_String (Data.Naming.Current_Body_Suffix) &
""",");
Put_Line
(File, " Casing => " &
Image (Data.Naming.Casing) & ",");
Put_Line
(File, " Dot_Replacement => """ &
Namet.Get_Name_String (Data.Naming.Dot_Replacement) &
""");");
if
Data.Naming.Current_Body_Suffix /= Data.Naming.Separate_Suffix
then
Put_Line
(File, "pragma Source_File_Name_Project");
Put_Line
(File, " (Subunit_File_Name => ""*" &
Namet.Get_Name_String (Data.Naming.Separate_Suffix) &
""",");
Put_Line
(File, " Casing => " &
Image (Data.Naming.Casing) &
",");
Put_Line
(File, " Dot_Replacement => """ &
Namet.Get_Name_String (Data.Naming.Dot_Replacement) &
""");");
end if;
end if;
if Data.Extends /= No_Project then
Check (Data.Extends);
end if;
declare
Current : Project_List := Data.Imported_Projects;
begin
while Current /= Empty_Project_List loop
Check (Project_Lists.Table (Current).Project);
Current := Project_Lists.Table (Current).Next;
end loop;
end;
end if;
end Check;
procedure Check_Temp_File is
begin
if File = Invalid_FD then
Tempdir.Create_Temp_File (File, Name => File_Name);
if File = Invalid_FD then
Prj.Com.Fail
("unable to create temporary configuration pragmas file");
elsif Opt.Verbose_Mode then
Write_Str ("Creating temp file """);
Write_Str (Get_Name_String (File_Name));
Write_Line ("""");
end if;
end if;
end Check_Temp_File;
procedure Put
(Unit_Name : Name_Id;
File_Name : Name_Id;
Unit_Kind : Spec_Or_Body;
Index : Int)
is
begin
Check_Temp_File;
Put (File, "pragma Source_File_Name_Project (");
Put (File, Namet.Get_Name_String (Unit_Name));
if Unit_Kind = Specification then
Put (File, ", Spec_File_Name => """);
else
Put (File, ", Body_File_Name => """);
end if;
Put (File, Namet.Get_Name_String (File_Name));
Put (File, """");
if Index /= 0 then
Put (File, ", Index =>");
Put (File, Index'Img);
end if;
Put_Line (File, ");");
end Put;
procedure Put (File : File_Descriptor; S : String) is
Last : Natural;
begin
Last := Write (File, S (S'First)'Address, S'Length);
if Last /= S'Length then
Prj.Com.Fail ("Disk full");
end if;
if Current_Verbosity = High then
Write_Str (S);
end if;
end Put;
procedure Put_Line (File : File_Descriptor; S : String) is
S0 : String (1 .. S'Length + 1);
Last : Natural;
begin
S0 (1 .. S'Length) := S;
S0 (S0'Last) := ASCII.LF;
Last := Write (File, S0'Address, S0'Length);
if Last /= S'Length + 1 then
Prj.Com.Fail ("Disk full");
end if;
if Current_Verbosity = High then
Write_Line (S);
end if;
end Put_Line;
begin
if not Projects.Table (For_Project).Config_Checked then
Namings.Set_Last (Default_Naming);
Check (For_Project);
while Current_Unit <= Units.Last loop
declare
Unit : constant Unit_Data :=
Units.Table (Current_Unit);
begin
if Unit.File_Names (Specification).Needs_Pragma then
Put (Unit.Name,
Unit.File_Names (Specification).Name,
Specification,
Unit.File_Names (Specification).Index);
end if;
if Unit.File_Names (Body_Part).Needs_Pragma then
Put (Unit.Name,
Unit.File_Names (Body_Part).Name,
Body_Part,
Unit.File_Names (Body_Part).Index);
end if;
Current_Unit := Current_Unit + 1;
end;
end loop;
if File = Invalid_FD then
Check_Temp_File;
Put_Line (File, "pragma Source_File_Name_Project");
Put_Line (File, " (Spec_File_Name => ""*.ads"",");
Put_Line (File, " Dot_Replacement => ""-"",");
Put_Line (File, " Casing => lowercase);");
Put_Line (File, "pragma Source_File_Name_Project");
Put_Line (File, " (Body_File_Name => ""*.adb"",");
Put_Line (File, " Dot_Replacement => ""-"",");
Put_Line (File, " Casing => lowercase);");
end if;
GNAT.OS_Lib.Close (File, Status);
if not Status then
Prj.Com.Fail ("disk full");
end if;
if Opt.Verbose_Mode then
Write_Str ("Closing configuration file """);
Write_Str (Get_Name_String (File_Name));
Write_Line ("""");
end if;
Projects.Table (For_Project).Config_File_Name := File_Name;
Projects.Table (For_Project).Config_File_Temp := True;
Projects.Table (For_Project).Config_Checked := True;
end if;
end Create_Config_Pragmas_File;
procedure Create_Mapping_File
(Project : Project_Id;
Name : out Name_Id)
is
File : File_Descriptor := Invalid_FD;
The_Unit_Data : Unit_Data;
Data : File_Name_Data;
Status : Boolean;
Present : Project_Flags (No_Project .. Projects.Last) :=
(others => False);
procedure Put_Name_Buffer;
procedure Put_Data (Spec : Boolean);
procedure Recursive_Flag (Prj : Project_Id);
procedure Put_Name_Buffer is
Last : Natural;
begin
Name_Len := Name_Len + 1;
Name_Buffer (Name_Len) := ASCII.LF;
Last := Write (File, Name_Buffer (1)'Address, Name_Len);
if Last /= Name_Len then
Prj.Com.Fail ("Disk full");
end if;
end Put_Name_Buffer;
procedure Put_Data (Spec : Boolean) is
begin
Get_Name_String (The_Unit_Data.Name);
Name_Len := Name_Len + 1;
Name_Buffer (Name_Len) := '%';
Name_Len := Name_Len + 1;
if Spec then
Name_Buffer (Name_Len) := 's';
else
Name_Buffer (Name_Len) := 'b';
end if;
Put_Name_Buffer;
Get_Name_String (Data.Name);
Put_Name_Buffer;
Get_Name_String (Data.Path);
Put_Name_Buffer;
end Put_Data;
procedure Recursive_Flag (Prj : Project_Id) is
Imported : Project_List;
Proj : Project_Id;
begin
if Prj = No_Project or else Present (Prj) then
return;
end if;
Present (Prj) := True;
Imported := Projects.Table (Prj).Imported_Projects;
while Imported /= Empty_Project_List loop
Proj := Project_Lists.Table (Imported).Project;
Imported := Project_Lists.Table (Imported).Next;
Recursive_Flag (Proj);
end loop;
Recursive_Flag (Projects.Table (Prj).Extends);
end Recursive_Flag;
begin
Recursive_Flag (Project);
Tempdir.Create_Temp_File (File, Name => Name);
if File = Invalid_FD then
Prj.Com.Fail ("unable to create temporary mapping file");
elsif Opt.Verbose_Mode then
Write_Str ("Creating temp mapping file """);
Write_Str (Get_Name_String (Name));
Write_Line ("""");
end if;
if Fill_Mapping_File then
for Unit in 1 .. Units.Last loop
The_Unit_Data := Units.Table (Unit);
if The_Unit_Data.Name /= No_Name then
Data := The_Unit_Data.File_Names (Specification);
if Data.Name /= No_Name and then Present (Data.Project) then
Put_Data (Spec => True);
end if;
Data := The_Unit_Data.File_Names (Body_Part);
if Data.Name /= No_Name and then Present (Data.Project) then
Put_Data (Spec => False);
end if;
end if;
end loop;
end if;
GNAT.OS_Lib.Close (File, Status);
if not Status then
Prj.Com.Fail ("disk full");
end if;
end Create_Mapping_File;
procedure Create_New_Path_File
(Path_FD : out File_Descriptor;
Path_Name : out Name_Id)
is
begin
Tempdir.Create_Temp_File (Path_FD, Path_Name);
if Path_Name /= No_Name then
Path_Files.Increment_Last;
Path_Files.Table (Path_Files.Last) := Path_Name;
end if;
end Create_New_Path_File;
procedure Delete_All_Path_Files is
Disregard : Boolean := True;
begin
for Index in 1 .. Path_Files.Last loop
if Path_Files.Table (Index) /= No_Name then
Delete_File
(Get_Name_String (Path_Files.Table (Index)), Disregard);
end if;
end loop;
if Ada_Prj_Include_File_Set then
Setenv (Project_Include_Path_File, "");
Ada_Prj_Include_File_Set := False;
end if;
if Ada_Prj_Objects_File_Set then
Setenv (Project_Objects_Path_File, "");
Ada_Prj_Objects_File_Set := False;
end if;
end Delete_All_Path_Files;
function File_Name_Of_Library_Unit_Body
(Name : String;
Project : Project_Id;
Main_Project_Only : Boolean := True;
Full_Path : Boolean := False) return String
is
The_Project : Project_Id := Project;
Data : Project_Data := Projects.Table (Project);
Original_Name : String := Name;
Extended_Spec_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Spec_Suffix);
Extended_Body_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Body_Suffix);
Unit : Unit_Data;
The_Original_Name : Name_Id;
The_Spec_Name : Name_Id;
The_Body_Name : Name_Id;
begin
Canonical_Case_File_Name (Original_Name);
Name_Len := Original_Name'Length;
Name_Buffer (1 .. Name_Len) := Original_Name;
The_Original_Name := Name_Find;
Canonical_Case_File_Name (Extended_Spec_Name);
Name_Len := Extended_Spec_Name'Length;
Name_Buffer (1 .. Name_Len) := Extended_Spec_Name;
The_Spec_Name := Name_Find;
Canonical_Case_File_Name (Extended_Body_Name);
Name_Len := Extended_Body_Name'Length;
Name_Buffer (1 .. Name_Len) := Extended_Body_Name;
The_Body_Name := Name_Find;
if Current_Verbosity = High then
Write_Str ("Looking for file name of """);
Write_Str (Name);
Write_Char ('"');
Write_Eol;
Write_Str (" Extended Spec Name = """);
Write_Str (Extended_Spec_Name);
Write_Char ('"');
Write_Eol;
Write_Str (" Extended Body Name = """);
Write_Str (Extended_Body_Name);
Write_Char ('"');
Write_Eol;
end if;
loop
for Current in reverse Units.First .. Units.Last loop
Unit := Units.Table (Current);
if not Main_Project_Only
or else Unit.File_Names (Body_Part).Project = The_Project
then
declare
Current_Name : constant Name_Id :=
Unit.File_Names (Body_Part).Name;
begin
if Current_Name /= No_Name then
if Current_Verbosity = High then
Write_Str (" Comparing with """);
Write_Str (Get_Name_String (Current_Name));
Write_Char ('"');
Write_Eol;
end if;
if Unit.Name = The_Original_Name
or else Current_Name = The_Original_Name
then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
if Full_Path then
return Get_Name_String
(Unit.File_Names (Body_Part).Path);
else
return Get_Name_String (Current_Name);
end if;
elsif Current_Name = The_Body_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
if Full_Path then
return Get_Name_String
(Unit.File_Names (Body_Part).Path);
else
return Extended_Body_Name;
end if;
else
if Current_Verbosity = High then
Write_Line (" not good");
end if;
end if;
end if;
end;
end if;
if not Main_Project_Only
or else Unit.File_Names (Specification).Project = The_Project
then
declare
Current_Name : constant Name_Id :=
Unit.File_Names (Specification).Name;
begin
if Current_Name /= No_Name then
if Current_Verbosity = High then
Write_Str (" Comparing with """);
Write_Str (Get_Name_String (Current_Name));
Write_Char ('"');
Write_Eol;
end if;
if Unit.Name = The_Original_Name
or else Current_Name = The_Original_Name
then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
if Full_Path then
return Get_Name_String
(Unit.File_Names (Specification).Path);
else
return Get_Name_String (Current_Name);
end if;
elsif Current_Name = The_Spec_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
if Full_Path then
return Get_Name_String
(Unit.File_Names (Specification).Path);
else
return Extended_Spec_Name;
end if;
else
if Current_Verbosity = High then
Write_Line (" not good");
end if;
end if;
end if;
end;
end if;
end loop;
exit when (not Main_Project_Only) or else Data.Extends = No_Project;
The_Project := Data.Extends;
Data := Projects.Table (The_Project);
end loop;
return "";
end File_Name_Of_Library_Unit_Body;
procedure For_All_Object_Dirs (Project : Project_Id) is
Seen : Project_List := Empty_Project_List;
procedure Add (Project : Project_Id);
procedure Add (Project : Project_Id) is
Data : constant Project_Data := Projects.Table (Project);
List : Project_List := Data.Imported_Projects;
begin
if Seen = Empty_Project_List then
Project_Lists.Increment_Last;
Seen := Project_Lists.Last;
Project_Lists.Table (Seen) :=
(Project => Project, Next => Empty_Project_List);
else
declare
Current : Project_List := Seen;
begin
loop
if Project_Lists.Table (Current).Project = Project then
return;
end if;
exit when Project_Lists.Table (Current).Next =
Empty_Project_List;
Current := Project_Lists.Table (Current).Next;
end loop;
Project_Lists.Increment_Last;
Project_Lists.Table (Current).Next := Project_Lists.Last;
Project_Lists.Table (Project_Lists.Last) :=
(Project => Project, Next => Empty_Project_List);
end;
end if;
if Data.Object_Directory /= No_Name then
Get_Name_String (Data.Object_Directory);
Action (Name_Buffer (1 .. Name_Len));
end if;
if Data.Extends /= No_Project then
Add (Data.Extends);
end if;
while List /= Empty_Project_List loop
Add (Project_Lists.Table (List).Project);
List := Project_Lists.Table (List).Next;
end loop;
end Add;
begin
Add (Project);
end For_All_Object_Dirs;
procedure For_All_Source_Dirs (Project : Project_Id) is
Seen : Project_List := Empty_Project_List;
procedure Add (Project : Project_Id);
procedure Add (Project : Project_Id) is
Data : constant Project_Data := Projects.Table (Project);
List : Project_List := Data.Imported_Projects;
begin
if Seen = Empty_Project_List then
Project_Lists.Increment_Last;
Seen := Project_Lists.Last;
Project_Lists.Table (Seen) :=
(Project => Project, Next => Empty_Project_List);
else
declare
Current : Project_List := Seen;
begin
loop
if Project_Lists.Table (Current).Project = Project then
return;
end if;
exit when Project_Lists.Table (Current).Next =
Empty_Project_List;
Current := Project_Lists.Table (Current).Next;
end loop;
Project_Lists.Increment_Last;
Project_Lists.Table (Current).Next := Project_Lists.Last;
Project_Lists.Table (Project_Lists.Last) :=
(Project => Project, Next => Empty_Project_List);
end;
end if;
declare
Current : String_List_Id := Data.Source_Dirs;
The_String : String_Element;
begin
if Projects.Table (Project).Ada_Sources_Present then
while Current /= Nil_String loop
The_String := String_Elements.Table (Current);
Action (Get_Name_String (The_String.Value));
Current := The_String.Next;
end loop;
end if;
end;
if Data.Extends /= No_Project then
Add (Data.Extends);
end if;
while List /= Empty_Project_List loop
Add (Project_Lists.Table (List).Project);
List := Project_Lists.Table (List).Next;
end loop;
end Add;
begin
Add (Project);
end For_All_Source_Dirs;
procedure Get_Reference
(Source_File_Name : String;
Project : out Project_Id;
Path : out Name_Id)
is
begin
if Current_Verbosity > Default then
Write_Str ("Getting Reference_Of (""");
Write_Str (Source_File_Name);
Write_Str (""") ... ");
end if;
declare
Original_Name : String := Source_File_Name;
Unit : Unit_Data;
begin
Canonical_Case_File_Name (Original_Name);
for Id in Units.First .. Units.Last loop
Unit := Units.Table (Id);
if (Unit.File_Names (Specification).Name /= No_Name
and then
Namet.Get_Name_String
(Unit.File_Names (Specification).Name) = Original_Name)
or else (Unit.File_Names (Specification).Path /= No_Name
and then
Namet.Get_Name_String
(Unit.File_Names (Specification).Path) =
Original_Name)
then
Project := Ultimate_Extension_Of
(Unit.File_Names (Specification).Project);
Path := Unit.File_Names (Specification).Display_Path;
if Current_Verbosity > Default then
Write_Str ("Done: Specification.");
Write_Eol;
end if;
return;
elsif (Unit.File_Names (Body_Part).Name /= No_Name
and then
Namet.Get_Name_String
(Unit.File_Names (Body_Part).Name) = Original_Name)
or else (Unit.File_Names (Body_Part).Path /= No_Name
and then Namet.Get_Name_String
(Unit.File_Names (Body_Part).Path) =
Original_Name)
then
Project := Ultimate_Extension_Of
(Unit.File_Names (Body_Part).Project);
Path := Unit.File_Names (Body_Part).Display_Path;
if Current_Verbosity > Default then
Write_Str ("Done: Body.");
Write_Eol;
end if;
return;
end if;
end loop;
end;
Project := No_Project;
Path := No_Name;
if Current_Verbosity > Default then
Write_Str ("Cannot be found.");
Write_Eol;
end if;
end Get_Reference;
procedure Initialize is
begin
null;
end Initialize;
function Path_Name_Of_Library_Unit_Body
(Name : String;
Project : Project_Id) return String
is
Data : constant Project_Data := Projects.Table (Project);
Original_Name : String := Name;
Extended_Spec_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Spec_Suffix);
Extended_Body_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Body_Suffix);
First : Unit_Id := Units.First;
Current : Unit_Id;
Unit : Unit_Data;
begin
Canonical_Case_File_Name (Original_Name);
Canonical_Case_File_Name (Extended_Spec_Name);
Canonical_Case_File_Name (Extended_Body_Name);
if Current_Verbosity = High then
Write_Str ("Looking for path name of """);
Write_Str (Name);
Write_Char ('"');
Write_Eol;
Write_Str (" Extended Spec Name = """);
Write_Str (Extended_Spec_Name);
Write_Char ('"');
Write_Eol;
Write_Str (" Extended Body Name = """);
Write_Str (Extended_Body_Name);
Write_Char ('"');
Write_Eol;
end if;
while First <= Units.Last
and then Units.Table (First).File_Names (Body_Part).Project /= Project
loop
First := First + 1;
end loop;
Current := First;
while Current <= Units.Last loop
Unit := Units.Table (Current);
if Unit.File_Names (Body_Part).Project = Project
and then Unit.File_Names (Body_Part).Name /= No_Name
then
declare
Current_Name : constant String :=
Namet.Get_Name_String (Unit.File_Names (Body_Part).Name);
begin
if Current_Verbosity = High then
Write_Str (" Comparing with """);
Write_Str (Current_Name);
Write_Char ('"');
Write_Eol;
end if;
if Current_Name = Original_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
return Body_Path_Name_Of (Current);
elsif Current_Name = Extended_Body_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
return Body_Path_Name_Of (Current);
else
if Current_Verbosity = High then
Write_Line (" not good");
end if;
end if;
end;
elsif Unit.File_Names (Specification).Name /= No_Name then
declare
Current_Name : constant String :=
Namet.Get_Name_String
(Unit.File_Names (Specification).Name);
begin
if Current_Verbosity = High then
Write_Str (" Comparing with """);
Write_Str (Current_Name);
Write_Char ('"');
Write_Eol;
end if;
if Current_Name = Original_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
return Spec_Path_Name_Of (Current);
elsif Current_Name = Extended_Spec_Name then
if Current_Verbosity = High then
Write_Line (" OK");
end if;
return Spec_Path_Name_Of (Current);
else
if Current_Verbosity = High then
Write_Line (" not good");
end if;
end if;
end;
end if;
Current := Current + 1;
end loop;
return "";
end Path_Name_Of_Library_Unit_Body;
procedure Print_Sources is
Unit : Unit_Data;
begin
Write_Line ("List of Sources:");
for Id in Units.First .. Units.Last loop
Unit := Units.Table (Id);
Write_Str (" ");
Write_Line (Namet.Get_Name_String (Unit.Name));
if Unit.File_Names (Specification).Name /= No_Name then
if Unit.File_Names (Specification).Project = No_Project then
Write_Line (" No project");
else
Write_Str (" Project: ");
Get_Name_String
(Projects.Table
(Unit.File_Names (Specification).Project).Path_Name);
Write_Line (Name_Buffer (1 .. Name_Len));
end if;
Write_Str (" spec: ");
Write_Line
(Namet.Get_Name_String
(Unit.File_Names (Specification).Name));
end if;
if Unit.File_Names (Body_Part).Name /= No_Name then
if Unit.File_Names (Body_Part).Project = No_Project then
Write_Line (" No project");
else
Write_Str (" Project: ");
Get_Name_String
(Projects.Table
(Unit.File_Names (Body_Part).Project).Path_Name);
Write_Line (Name_Buffer (1 .. Name_Len));
end if;
Write_Str (" body: ");
Write_Line
(Namet.Get_Name_String
(Unit.File_Names (Body_Part).Name));
end if;
end loop;
Write_Line ("end of List of Sources.");
end Print_Sources;
function Project_Of
(Name : String;
Main_Project : Project_Id) return Project_Id
is
Result : Project_Id := No_Project;
Original_Name : String := Name;
Data : constant Project_Data := Projects.Table (Main_Project);
Extended_Spec_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Spec_Suffix);
Extended_Body_Name : String :=
Name & Namet.Get_Name_String
(Data.Naming.Current_Body_Suffix);
Unit : Unit_Data;
Current_Name : Name_Id;
The_Original_Name : Name_Id;
The_Spec_Name : Name_Id;
The_Body_Name : Name_Id;
begin
Canonical_Case_File_Name (Original_Name);
Name_Len := Original_Name'Length;
Name_Buffer (1 .. Name_Len) := Original_Name;
The_Original_Name := Name_Find;
Canonical_Case_File_Name (Extended_Spec_Name);
Name_Len := Extended_Spec_Name'Length;
Name_Buffer (1 .. Name_Len) := Extended_Spec_Name;
The_Spec_Name := Name_Find;
Canonical_Case_File_Name (Extended_Body_Name);
Name_Len := Extended_Body_Name'Length;
Name_Buffer (1 .. Name_Len) := Extended_Body_Name;
The_Body_Name := Name_Find;
for Current in reverse Units.First .. Units.Last loop
Unit := Units.Table (Current);
Current_Name := Unit.File_Names (Body_Part).Name;
if Current_Name /= No_Name then
if Unit.Name = The_Original_Name
or else Current_Name = The_Original_Name
or else Current_Name = The_Body_Name
then
Result := Unit.File_Names (Body_Part).Project;
exit;
end if;
end if;
Current_Name := Unit.File_Names (Specification).Name;
if Current_Name /= No_Name then
if Unit.Name = The_Original_Name
or else Current_Name = The_Original_Name
or else Current_Name = The_Spec_Name
then
Result := Unit.File_Names (Specification).Project;
exit;
end if;
end if;
end loop;
if Result /= No_Project then
while Projects.Table (Result).Extended_By /= No_Project loop
Result := Projects.Table (Result).Extended_By;
end loop;
end if;
return Result;
end Project_Of;
procedure Set_Ada_Paths
(Project : Project_Id;
Including_Libraries : Boolean)
is
Source_FD : File_Descriptor := Invalid_FD;
Object_FD : File_Descriptor := Invalid_FD;
Process_Source_Dirs : Boolean := False;
Process_Object_Dirs : Boolean := False;
Status : Boolean;
Len : Natural;
procedure Add (Proj : Project_Id);
procedure Add (Proj : Project_Id) is
procedure Recursive_Add (Project : Project_Id);
procedure Recursive_Add (Project : Project_Id) is
begin
if not Projects.Table (Project).Seen then
Projects.Table (Project).Seen := True;
declare
Data : constant Project_Data := Projects.Table (Project);
List : Project_List := Data.Imported_Projects;
begin
if Process_Source_Dirs then
if Projects.Table (Project).Ada_Sources_Present then
Add_To_Source_Path (Data.Source_Dirs);
end if;
end if;
if Process_Object_Dirs then
if (Data.Library and then Including_Libraries)
or else
(Data.Object_Directory /= No_Name
and then
(not Including_Libraries or else not Data.Library))
then
if Data.Library then
Add_To_Object_Path (Data.Library_Dir);
else
Add_To_Object_Path (Data.Object_Directory);
end if;
end if;
end if;
if Data.Extends /= No_Project then
Recursive_Add (Data.Extends);
end if;
while List /= Empty_Project_List loop
Recursive_Add (Project_Lists.Table (List).Project);
List := Project_Lists.Table (List).Next;
end loop;
end;
end if;
end Recursive_Add;
begin
Source_Paths.Set_Last (0);
Object_Paths.Set_Last (0);
for Index in 1 .. Projects.Last loop
Projects.Table (Index).Seen := False;
end loop;
Recursive_Add (Proj);
end Add;
begin
if Projects.Table (Project).Include_Path_File = No_Name then
Process_Source_Dirs := True;
Create_New_Path_File
(Source_FD, Projects.Table (Project).Include_Path_File);
end if;
if Including_Libraries then
if Projects.Table (Project).Objects_Path_File_With_Libs = No_Name then
Process_Object_Dirs := True;
Create_New_Path_File
(Object_FD, Projects.Table (Project).
Objects_Path_File_With_Libs);
end if;
else
if
Projects.Table (Project).Objects_Path_File_Without_Libs = No_Name
then
Process_Object_Dirs := True;
Create_New_Path_File
(Object_FD, Projects.Table (Project).
Objects_Path_File_Without_Libs);
end if;
end if;
if Process_Source_Dirs or Process_Object_Dirs then
Add (Project);
end if;
if Source_FD /= Invalid_FD then
for Index in 1 .. Source_Paths.Last loop
Get_Name_String (Source_Paths.Table (Index));
Name_Len := Name_Len + 1;
Name_Buffer (Name_Len) := ASCII.LF;
Len := Write (Source_FD, Name_Buffer (1)'Address, Name_Len);
if Len /= Name_Len then
Prj.Com.Fail ("disk full");
end if;
end loop;
Close (Source_FD, Status);
if not Status then
Prj.Com.Fail ("disk full");
end if;
end if;
if Object_FD /= Invalid_FD then
for Index in 1 .. Object_Paths.Last loop
Get_Name_String (Object_Paths.Table (Index));
Name_Len := Name_Len + 1;
Name_Buffer (Name_Len) := ASCII.LF;
Len := Write (Object_FD, Name_Buffer (1)'Address, Name_Len);
if Len /= Name_Len then
Prj.Com.Fail ("disk full");
end if;
end loop;
Close (Object_FD, Status);
if not Status then
Prj.Com.Fail ("disk full");
end if;
end if;
if Current_Source_Path_File /=
Projects.Table (Project).Include_Path_File
then
Current_Source_Path_File :=
Projects.Table (Project).Include_Path_File;
Set_Path_File_Var
(Project_Include_Path_File,
Get_Name_String (Current_Source_Path_File));
Ada_Prj_Include_File_Set := True;
end if;
if Including_Libraries then
if Current_Object_Path_File
/= Projects.Table (Project).Objects_Path_File_With_Libs
then
Current_Object_Path_File :=
Projects.Table (Project).Objects_Path_File_With_Libs;
Set_Path_File_Var
(Project_Objects_Path_File,
Get_Name_String (Current_Object_Path_File));
Ada_Prj_Objects_File_Set := True;
end if;
else
if Current_Object_Path_File
/= Projects.Table (Project).Objects_Path_File_Without_Libs
then
Current_Object_Path_File :=
Projects.Table (Project).Objects_Path_File_Without_Libs;
Set_Path_File_Var
(Project_Objects_Path_File,
Get_Name_String (Current_Object_Path_File));
Ada_Prj_Objects_File_Set := True;
end if;
end if;
end Set_Ada_Paths;
procedure Set_Mapping_File_Initial_State_To_Empty is
begin
Fill_Mapping_File := False;
end Set_Mapping_File_Initial_State_To_Empty;
procedure Set_Path_File_Var (Name : String; Value : String) is
Host_Spec : String_Access := To_Host_File_Spec (Value);
begin
if Host_Spec = null then
Prj.Com.Fail
("could not convert file name """, Value, """ to host spec");
else
Setenv (Name, Host_Spec.all);
Free (Host_Spec);
end if;
end Set_Path_File_Var;
function Spec_Path_Name_Of (Unit : Unit_Id) return String is
Data : Unit_Data := Units.Table (Unit);
begin
if Data.File_Names (Specification).Path = No_Name then
declare
Current_Source : String_List_Id :=
Projects.Table (Data.File_Names (Specification).Project).Sources;
Path : GNAT.OS_Lib.String_Access;
begin
Data.File_Names (Specification).Path :=
Data.File_Names (Specification).Name;
while Current_Source /= Nil_String loop
Path := Locate_Regular_File
(Namet.Get_Name_String
(Data.File_Names (Specification).Name),
Namet.Get_Name_String
(String_Elements.Table (Current_Source).Value));
if Path /= null then
Name_Len := Path'Length;
Name_Buffer (1 .. Name_Len) := Path.all;
Data.File_Names (Specification).Path := Name_Enter;
exit;
else
Current_Source :=
String_Elements.Table (Current_Source).Next;
end if;
end loop;
Units.Table (Unit) := Data;
end;
end if;
return Namet.Get_Name_String (Data.File_Names (Specification).Path);
end Spec_Path_Name_Of;
function Ultimate_Extension_Of (Project : in Project_Id) return Project_Id
is
Result : Project_Id := Project;
begin
while Projects.Table (Result).Extended_By /= No_Project loop
Result := Projects.Table (Result).Extended_By;
end loop;
return Result;
end Ultimate_Extension_Of;
begin
Path_Files.Set_Last (0);
end Prj.Env;