Subversion Repositories openrisc_2011-10-31

------------------------------------------------------------------------------

--                                                                          --

--                          GNAT SYSTEM UTILITIES                           --

--                                                                          --

--                              X S N A M E S                               --

--                                                                          --

--                                 B o d y                                  --

--                                                                          --

--          Copyright (C) 1992-2008, 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 3,  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 COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This utility is used to make a new version of the Snames package when new

--  names are added to the spec, the existing versions of snames.ads and

--  snames.adb and snames.h are read, and updated to match the set of names in

--  snames.ads. The updated versions are written to snames.ns, snames.nb (new

--  spec/body), and snames.nh (new header file).

with Ada.Strings.Unbounded;         use Ada.Strings.Unbounded;

with Ada.Strings.Unbounded.Text_IO; use Ada.Strings.Unbounded.Text_IO;

with Ada.Strings.Maps;              use Ada.Strings.Maps;

with Ada.Strings.Maps.Constants;    use Ada.Strings.Maps.Constants;

with Ada.Text_IO;                   use Ada.Text_IO;

with GNAT.Spitbol;                  use GNAT.Spitbol;

with GNAT.Spitbol.Patterns;         use GNAT.Spitbol.Patterns;

procedure XSnames is

   InB  : File_Type;

   InS  : File_Type;

   OutS : File_Type;

   OutB : File_Type;

   InH  : File_Type;

   OutH : File_Type;

   A, B  : VString := Nul;

   Line  : VString := Nul;

   Name  : VString := Nul;

   Name1 : VString := Nul;

   Oval  : VString := Nul;

   Restl : VString := Nul;

   Tdigs : constant Pattern := Any (Decimal_Digit_Set) &

                               Any (Decimal_Digit_Set) &

                               Any (Decimal_Digit_Set);

   Name_Ref : constant Pattern := Span (' ') * A & Break (' ') * Name

                                  & Span (' ') * B

                                  & ": constant Name_Id := N + " & Tdigs

                                  & ';' & Rest * Restl;

   Get_Name : constant Pattern := "Name_" & Rest * Name1;

   Chk_Low  : constant Pattern := Pos (0) & Any (Lower_Set) & Rest & Pos (1);

   Findu    : constant Pattern := Span ('u') * A;

   Val : Natural;

   Xlate_U_Und : constant Character_Mapping := To_Mapping ("u", "_");

   M : Match_Result;

   type Header_Symbol is (None, Attr, Conv, Prag);

   --  A symbol in the header file

   procedure Output_Header_Line (S : Header_Symbol);

   --  Output header line

   Header_Attr : aliased String := "Attr";

   Header_Conv : aliased String := "Convention";

   Header_Prag : aliased String := "Pragma";

   --  Prefixes used in the header file

   type String_Ptr is access all String;

   Header_Prefix : constant array (Header_Symbol) of String_Ptr :=

                     (null,

                      Header_Attr'Access,

                      Header_Conv'Access,

                      Header_Prag'Access);

   --  Patterns used in the spec file

   Get_Attr : constant Pattern := Span (' ') & "Attribute_"

                                  & Break (",)") * Name1;

   Get_Conv : constant Pattern := Span (' ') & "Convention_"

                                  & Break (",)") * Name1;

   Get_Prag : constant Pattern := Span (' ') & "Pragma_"

                                  & Break (",)") * Name1;

   type Header_Symbol_Counter is array (Header_Symbol) of Natural;

   Header_Counter : Header_Symbol_Counter := (0, 0, 0, 0);

   Header_Current_Symbol : Header_Symbol := None;

   Header_Pending_Line : VString := Nul;

   ------------------------

   -- Output_Header_Line --

   ------------------------

   procedure Output_Header_Line (S : Header_Symbol) is

   begin

      --  Skip all the #define for S-prefixed symbols in the header.

      --  Of course we are making implicit assumptions:

      --   (1) No newline between symbols with the same prefix.

      --   (2) Prefix order is the same as in snames.ads.

      if Header_Current_Symbol /= S then

         declare

            Pat : constant String := "#define  " & Header_Prefix (S).all;

            In_Pat : Boolean := False;

         begin

            if Header_Current_Symbol /= None then

               Put_Line (OutH, Header_Pending_Line);

            end if;

            loop

               Line := Get_Line (InH);

               if Match (Line, Pat) then

                  In_Pat := True;

               elsif In_Pat then

                  Header_Pending_Line := Line;

                  exit;

               else

                  Put_Line (OutH, Line);

               end if;

            end loop;

            Header_Current_Symbol := S;

         end;

      end if;

      --  Now output the line

      Put_Line (OutH, "#define  " & Header_Prefix (S).all

                  & "_" & Name1 & (30 - Length (Name1)) * ' '

                  & Header_Counter (S));

      Header_Counter (S) := Header_Counter (S) + 1;

   end Output_Header_Line;

--  Start of processing for XSnames

begin

   Open (InB, In_File, "snames.adb");

   Open (InS, In_File, "snames.ads");

   Open (InH, In_File, "snames.h");

   Create (OutS, Out_File, "snames.ns");

   Create (OutB, Out_File, "snames.nb");

   Create (OutH, Out_File, "snames.nh");

   Anchored_Mode := True;

   Val := 0;

   loop

      Line := Get_Line (InB);

      exit when Match (Line, "   Preset_Names");

      Put_Line (OutB, Line);

   end loop;

   Put_Line (OutB, Line);

   LoopN : while not End_Of_File (InS) loop

      Line := Get_Line (InS);

      if not Match (Line, Name_Ref) then

         Put_Line (OutS, Line);

         if Match (Line, Get_Attr) then

            Output_Header_Line (Attr);

         elsif Match (Line, Get_Conv) then

            Output_Header_Line (Conv);

         elsif Match (Line, Get_Prag) then

            Output_Header_Line (Prag);

         end if;

      else

         Oval := Lpad (V (Val), 3, '0');

         if Match (Name, "Last_") then

            Oval := Lpad (V (Val - 1), 3, '0');

         end if;

         Put_Line

           (OutS, A & Name & B & ": constant Name_Id := N + "

            & Oval & ';' & Restl);

         if Match (Name, Get_Name) then

            Name := Name1;

            Val := Val + 1;

            if Match (Name, Findu, M) then

               Replace (M, Translate (A, Xlate_U_Und));

               Translate (Name, Lower_Case_Map);

            elsif not Match (Name, "Op_", "") then

               Translate (Name, Lower_Case_Map);

            else

               Name := 'O' & Translate (Name, Lower_Case_Map);

            end if;

            if Name = "error" then

               Name := V ("<error>");

            end if;

            if not Match (Name, Chk_Low) then

               Put_Line (OutB, "     """ & Name & "#"" &");

            end if;

         end if;

      end if;

   end loop LoopN;

   loop

      Line := Get_Line (InB);

      exit when Match (Line, "     ""#"";");

   end loop;

   Put_Line (OutB, Line);

   while not End_Of_File (InB) loop

      Line := Get_Line (InB);

      Put_Line (OutB, Line);

   end loop;

   Put_Line (OutH, Header_Pending_Line);

   while not End_Of_File (InH) loop

      Line := Get_Line (InH);

      Put_Line (OutH, Line);

   end loop;

end XSnames;