diff options
Diffstat (limited to 'gcc/ada/prep.ads')
| -rw-r--r-- | gcc/ada/prep.ads | 130 |
1 files changed, 130 insertions, 0 deletions
diff --git a/gcc/ada/prep.ads b/gcc/ada/prep.ads new file mode 100644 index 00000000000..7e0c0ec62a0 --- /dev/null +++ b/gcc/ada/prep.ads @@ -0,0 +1,130 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- P R E P -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2002, Free Software Foundation, Inc. -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- +-- MA 02111-1307, USA. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +with GNAT.Dynamic_Tables; + +with Types; use Types; + +package Prep is + + ----------------- + -- Symbol Data -- + ----------------- + + type Symbol_Data is record + Symbol : Name_Id := No_Name; + -- The symbol in lower case + + Original : Name_Id := No_Name; + -- The symbol as originally given in the definition file or on + -- the command line. + + On_The_Command_Line : Boolean := False; + -- Set to True if symbol is defined on the command line. + -- Used to prevent replacement of command line symbols by definition + -- file symbols. + + Is_A_String : Boolean := False; + -- Indicate if the value of the symbol has been specified as a string + -- or simply as a sequence of characters. + + Value : String_Id := No_String; + -- The value of the symbol (string or sequence of characters) + + end record; + + True_Value : Symbol_Data := + (Symbol => No_Name, + Original => No_Name, + On_The_Command_Line => False, + Is_A_String => False, + Value => No_String); + + type Symbol_Id is new Nat; + No_Symbol : constant Symbol_Id := 0; + + package Symbol_Table is new GNAT.Dynamic_Tables + (Table_Component_Type => Symbol_Data, + Table_Index_Type => Symbol_Id, + Table_Low_Bound => 1, + Table_Initial => 10, + Table_Increment => 10); + -- The table of all symbols + + Mapping : Symbol_Table.Instance; + -- The mapping table of symbols to values used by procedure Parse_Def_File + -- and Preprocess. + + function Index_Of (Symbol : Name_Id) return Symbol_Id; + -- Return the index in the Mapping table of Symbol. + -- Return No_Symbol if Symbol in not in the Mapping table. + + -- Access to procedure types used by procedure Initialize below: + + type Error_Msg_Proc is access procedure + (Msg : String; Flag_Location : Source_Ptr); + + type Scan_Proc is access procedure; + + type Set_Ignore_Errors_Proc is access procedure (To : Boolean); + + type Put_Char_Proc is access procedure (C : Character); + + type New_EOL_Proc is access procedure; + + procedure Initialize + (Error_Msg : Error_Msg_Proc; + Scan : Scan_Proc; + Set_Ignore_Errors : Set_Ignore_Errors_Proc; + Put_Char : Put_Char_Proc; + New_EOL : New_EOL_Proc); + + procedure Parse_Def_File; + -- Parse the definition file. The definition file must have already been + -- loaded and the scanner initialized. + + procedure Preprocess; + -- Preprocess the input file. The input file must have already been loaded + -- and the scanner initialized. + + procedure Check_Command_Line_Symbol_Definition + (Definition : String; + Data : out Symbol_Data); + -- Check the validity of a command line definition <symbol>=<value>. + -- Return the symbol and its value in Data if the definition is valid, + -- fail if it is not valid. + + procedure Change_Reserved_Keyword_To_Symbol + (All_Keywords : Boolean := False); + -- If Token is an Ada reserved word (other than IF, ELSIF, ELSE, + -- END, AND, OR, THEN when All_Keywords is False), change it to + -- Tok_Identifier with the corresponding Token_Name. + + procedure List_Symbols (Foreword : String); + -- List the symbols used por preprocessing a file, with their values. + -- If Foreword is not empty, Output Foreword before the list. + +end Prep; |