with Ada.Unchecked_Deallocation;
with Errout; use Errout;
with Namet; use Namet;
with Lib.Writ; use Lib.Writ;
with Opt; use Opt;
with Osint; use Osint;
with Prep; use Prep;
with Scans; use Scans;
with Scn; use Scn;
with Sinput.L; use Sinput.L;
with Stringt; use Stringt;
with Table;
package body Prepcomp is
No_Preprocessing : Boolean := True;
Source_Index_Of_Preproc_Data_File : Source_File_Index := No_Source_File;
pragma Warnings (Off);
No_Mapping : Prep.Symbol_Table.Instance;
pragma Warnings (On);
type String_Ptr is access String;
type String_Array is array (Positive range <>) of String_Ptr;
type String_Array_Ptr is access String_Array;
procedure Free is
new Ada.Unchecked_Deallocation (String_Array, String_Array_Ptr);
Symbol_Definitions : String_Array_Ptr := new String_Array (1 .. 4);
Last_Definition : Natural := 0;
type Preproc_Data is record
Mapping : Symbol_Table.Instance;
File_Name : Name_Id := No_Name;
Deffile : String_Id := No_String;
Undef_False : Boolean := False;
Always_Blank : Boolean := False;
Comments : Boolean := False;
List_Symbols : Boolean := False;
Processed : Boolean := False;
end record;
No_Preproc_Data : constant Preproc_Data :=
(Mapping => No_Mapping,
File_Name => No_Name,
Deffile => No_String,
Undef_False => False,
Always_Blank => False,
Comments => False,
List_Symbols => False,
Processed => False);
Default_Data : Preproc_Data := No_Preproc_Data;
Default_Data_Defined : Boolean := False;
Current_Data : Preproc_Data := No_Preproc_Data;
package Preproc_Data_Table is new Table.Table
(Table_Component_Type => Preproc_Data,
Table_Index_Type => Int,
Table_Low_Bound => 1,
Table_Initial => 5,
Table_Increment => 5,
Table_Name => "Prepcomp.Preproc_Data_Table");
Command_Line_Symbols : Symbol_Table.Instance;
package Dependencies is new Table.Table
(Table_Component_Type => Source_File_Index,
Table_Index_Type => Int,
Table_Low_Bound => 1,
Table_Initial => 5,
Table_Increment => 5,
Table_Name => "Prepcomp.Dependencies");
procedure Add_Command_Line_Symbols;
procedure Skip_To_End_Of_Line;
procedure Add_Command_Line_Symbols is
Symbol_Id : Prep.Symbol_Id;
begin
for J in 1 .. Symbol_Table.Last (Command_Line_Symbols) loop
Symbol_Id := Prep.Index_Of (Command_Line_Symbols.Table (J).Symbol);
if Symbol_Id = No_Symbol then
Symbol_Table.Increment_Last (Prep.Mapping);
Symbol_Id := Symbol_Table.Last (Prep.Mapping);
end if;
Prep.Mapping.Table (Symbol_Id) := Command_Line_Symbols.Table (J);
end loop;
end Add_Command_Line_Symbols;
procedure Add_Dependencies is
begin
for Index in 1 .. Dependencies.Last loop
Add_Preprocessing_Dependency (Dependencies.Table (Index));
end loop;
end Add_Dependencies;
procedure Add_Symbol_Definition (Def : String) is
begin
if Last_Definition = Symbol_Definitions'Last then
declare
New_Symbol_Definitions : constant String_Array_Ptr :=
new String_Array (1 .. 2 * Last_Definition);
begin
New_Symbol_Definitions (Symbol_Definitions'Range) :=
Symbol_Definitions.all;
Free (Symbol_Definitions);
Symbol_Definitions := New_Symbol_Definitions;
end;
end if;
Last_Definition := Last_Definition + 1;
Symbol_Definitions (Last_Definition) := new String'(Def);
end Add_Symbol_Definition;
procedure Check_Symbols is
begin
if Symbol_Table.Last (Command_Line_Symbols) >= 1 then
Current_Data := No_Preproc_Data;
No_Preprocessing := False;
Current_Data.Processed := True;
Prep.Mapping := No_Mapping;
Symbol_Table.Init (Prep.Mapping);
Add_Command_Line_Symbols;
Current_Data.Mapping := Prep.Mapping;
Prep.Mapping := No_Mapping;
Default_Data := Current_Data;
Default_Data_Defined := True;
end if;
end Check_Symbols;
procedure Parse_Preprocessing_Data_File (N : File_Name_Type) is
OK : Boolean := False;
Dash_Location : Source_Ptr;
Symbol_Data : Prep.Symbol_Data;
Symbol_Id : Prep.Symbol_Id;
T : constant Nat := Total_Errors_Detected;
begin
Source_Index_Of_Preproc_Data_File := Load_Preprocessing_Data_File (N);
if Source_Index_Of_Preproc_Data_File = No_Source_File then
Get_Name_String (N);
Fail ("preprocessing data file """,
Name_Buffer (1 .. Name_Len),
""" not found");
end if;
Scn.Scanner.Initialize_Scanner
(No_Unit, Source_Index_Of_Preproc_Data_File);
Scn.Scanner.Set_End_Of_Line_As_Token (True);
Scn.Scanner.Reset_Special_Characters;
For_Each_Line :
loop
<<Scan_Line>>
Scan;
exit For_Each_Line when Token = Tok_EOF;
if Token = Tok_End_Of_Line then
goto Scan_Line;
end if;
OK := False;
No_Preprocessing := False;
Current_Data := No_Preproc_Data;
case Token is
when Tok_Asterisk =>
if Default_Data_Defined then
Error_Msg
("multiple default preprocessing data", Token_Ptr);
else
OK := True;
Default_Data_Defined := True;
end if;
when Tok_String_Literal =>
String_To_Name_Buffer (String_Literal_Id);
Canonical_Case_File_Name (Name_Buffer (1 .. Name_Len));
Current_Data.File_Name := Name_Find;
OK := True;
for Index in 1 .. Preproc_Data_Table.Last loop
if Current_Data.File_Name =
Preproc_Data_Table.Table (Index).File_Name
then
Error_Msg_Name_1 := Current_Data.File_Name;
Error_Msg
("multiple preprocessing data for{", Token_Ptr);
OK := False;
exit;
end if;
end loop;
when others =>
Error_Msg ("`'*` or literal string expected", Token_Ptr);
end case;
if not OK then
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
Scan;
if Token = Tok_String_Literal then
Current_Data.Deffile := String_Literal_Id;
Current_Data.Processed := False;
Scan;
else
Current_Data.Processed := True;
end if;
Prep.Mapping := No_Mapping;
Symbol_Table.Init (Prep.Mapping);
while Token /= Tok_End_Of_Line and then Token /= Tok_EOF loop
if Token /= Tok_Minus then
Error_Msg ("`'-` expected", Token_Ptr);
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
Dash_Location := Token_Ptr;
Scan;
OK := False;
Change_Reserved_Keyword_To_Symbol;
if Token = Tok_Identifier
and then Token_Ptr = Dash_Location + 1
then
Get_Name_String (Token_Name);
case Sinput.Source (Token_Ptr) is
when 'u' =>
if Name_Len = 1 then
Current_Data.Undef_False := True;
OK := True;
end if;
when 'b' =>
if Name_Len = 1 then
Current_Data.Always_Blank := True;
OK := True;
end if;
when 'c' =>
if Name_Len = 1 then
Current_Data.Comments := True;
OK := True;
end if;
when 's' =>
if Name_Len = 1 then
Current_Data.List_Symbols := True;
OK := True;
end if;
when 'D' =>
OK := Name_Len > 1;
if OK then
if Name_Buffer (2) = '_'
or Name_Buffer (2) in '0' .. '9'
then
Error_Msg ("symbol expected", Token_Ptr + 1);
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
Symbol_Data.On_The_Command_Line := True;
Name_Buffer (1 .. Name_Len - 1) :=
Name_Buffer (2 .. Name_Len);
Name_Len := Name_Len - 1;
Symbol_Data.Symbol := Name_Find;
if Name_Buffer (1 .. Name_Len) = "if"
or else Name_Buffer (1 .. Name_Len) = "else"
or else Name_Buffer (1 .. Name_Len) = "elsif"
or else Name_Buffer (1 .. Name_Len) = "end"
or else Name_Buffer (1 .. Name_Len) = "not"
or else Name_Buffer (1 .. Name_Len) = "and"
or else Name_Buffer (1 .. Name_Len) = "then"
then
Error_Msg ("symbol expected", Token_Ptr + 1);
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
Name_Len := Integer (Scan_Ptr - Token_Ptr - 1);
for J in 1 .. Name_Len loop
Name_Buffer (J) :=
Sinput.Source (Token_Ptr + Text_Ptr (J));
end loop;
Symbol_Data.Original := Name_Find;
Scan;
if Token /= Tok_Equal then
Error_Msg ("`=` expected", Token_Ptr);
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
Scan;
Change_Reserved_Keyword_To_Symbol
(All_Keywords => True);
case Token is
when Tok_String_Literal =>
Symbol_Data.Is_A_String := True;
Symbol_Data.Value := String_Literal_Id;
when Tok_Identifier =>
Symbol_Data.Is_A_String := False;
Start_String;
for J in Token_Ptr .. Scan_Ptr - 1 loop
Store_String_Char (Sinput.Source (J));
end loop;
Symbol_Data.Value := End_String;
when others =>
Error_Msg
("literal string or identifier expected",
Token_Ptr);
Skip_To_End_Of_Line;
goto Scan_Line;
end case;
Symbol_Id := Prep.Index_Of (Symbol_Data.Symbol);
if Symbol_Id = No_Symbol then
Symbol_Table.Increment_Last (Prep.Mapping);
Symbol_Id := Symbol_Table.Last (Mapping);
end if;
Prep.Mapping.Table (Symbol_Id) := Symbol_Data;
end if;
when others =>
null;
end case;
Scan;
end if;
if not OK then
Error_Msg ("invalid switch", Dash_Location);
Skip_To_End_Of_Line;
goto Scan_Line;
end if;
end loop;
Add_Command_Line_Symbols;
Current_Data.Mapping := Prep.Mapping;
Prep.Mapping := No_Mapping;
if Current_Data.File_Name = No_Name then
Default_Data := Current_Data;
else
Preproc_Data_Table.Increment_Last;
Preproc_Data_Table.Table (Preproc_Data_Table.Last) := Current_Data;
end if;
Current_Data := No_Preproc_Data;
end loop For_Each_Line;
Scn.Scanner.Set_End_Of_Line_As_Token (False);
if Total_Errors_Detected > T then
Errout.Finalize;
Fail ("errors found in preprocessing data file """,
Get_Name_String (N),
"""");
end if;
Dependencies.Increment_Last;
Dependencies.Table (Dependencies.Last) :=
Source_Index_Of_Preproc_Data_File;
end Parse_Preprocessing_Data_File;
procedure Prepare_To_Preprocess
(Source : File_Name_Type;
Preprocessing_Needed : out Boolean)
is
Default : Boolean := False;
Index : Int := 0;
begin
Preprocessing_Needed := False;
if No_Preprocessing then
return;
end if;
for J in 1 .. Preproc_Data_Table.Last loop
if Preproc_Data_Table.Table (J).File_Name = Source then
Index := J;
Current_Data := Preproc_Data_Table.Table (J);
exit;
end if;
end loop;
if Index = 0 then
if Default_Data_Defined then
Current_Data := Default_Data;
Default := True;
else
return;
end if;
end if;
if Current_Data.Comments and then not Current_Data.Always_Blank then
Comment_Deleted_Lines := True;
Blank_Deleted_Lines := False;
else
Comment_Deleted_Lines := False;
Blank_Deleted_Lines := True;
end if;
Undefined_Symbols_Are_False := Current_Data.Undef_False;
List_Preprocessing_Symbols := Current_Data.List_Symbols;
if Current_Data.Processed then
Prep.Mapping := Current_Data.Mapping;
else
Prep.Mapping := Current_Data.Mapping;
String_To_Name_Buffer (Current_Data.Deffile);
declare
N : constant Name_Id := Name_Find;
Deffile : constant Source_File_Index := Load_Definition_File (N);
Add_Deffile : Boolean := True;
T : constant Nat := Total_Errors_Detected;
begin
if Deffile = No_Source_File then
Fail ("definition file """,
Get_Name_String (N),
""" cannot be found");
end if;
Prep.Initialize
(Error_Msg => Errout.Error_Msg'Access,
Scan => Scn.Scanner.Scan'Access,
Set_Ignore_Errors => Errout.Set_Ignore_Errors'Access,
Put_Char => null,
New_EOL => null);
Scn.Scanner.Set_End_Of_Line_As_Token (True);
Scn.Scanner.Reset_Special_Characters;
Scn.Scanner.Initialize_Scanner (No_Unit, Deffile);
Prep.Parse_Def_File;
Scn.Scanner.Set_End_Of_Line_As_Token (False);
if T /= Total_Errors_Detected then
Errout.Finalize;
Fail ("errors found in definition file """,
Get_Name_String (N),
"""");
end if;
for Index in 1 .. Dependencies.Last loop
if Dependencies.Table (Index) = Deffile then
Add_Deffile := False;
exit;
end if;
end loop;
if Add_Deffile then
Dependencies.Increment_Last;
Dependencies.Table (Dependencies.Last) := Deffile;
end if;
end;
Current_Data.Mapping := Prep.Mapping;
Current_Data.Processed := True;
if Default then
Default_Data := Current_Data;
else
Preproc_Data_Table.Table (Index) := Current_Data;
end if;
end if;
Preprocessing_Needed := True;
end Prepare_To_Preprocess;
procedure Process_Command_Line_Symbol_Definitions is
Symbol_Data : Prep.Symbol_Data;
Found : Boolean := False;
begin
Symbol_Table.Init (Command_Line_Symbols);
for Index in 1 .. Last_Definition loop
Check_Command_Line_Symbol_Definition
(Definition => Symbol_Definitions (Index).all,
Data => Symbol_Data);
Found := False;
for J in 1 .. Symbol_Table.Last (Command_Line_Symbols) loop
if Command_Line_Symbols.Table (J).Symbol = Symbol_Data.Symbol then
Command_Line_Symbols.Table (J) := Symbol_Data;
Found := True;
exit;
end if;
end loop;
if not Found then
Symbol_Table.Increment_Last (Command_Line_Symbols);
Command_Line_Symbols.Table
(Symbol_Table.Last (Command_Line_Symbols)) := Symbol_Data;
end if;
end loop;
end Process_Command_Line_Symbol_Definitions;
procedure Skip_To_End_Of_Line is
begin
Set_Ignore_Errors (To => True);
while Token /= Tok_End_Of_Line and then Token /= Tok_EOF loop
Scan;
end loop;
Set_Ignore_Errors (To => False);
end Skip_To_End_Of_Line;
end Prepcomp;