blob: 4df0974d6098fb9a2bd623e5849cd39f5f91148d [file] [log] [blame]
------------------------------------------------------------------------------
-- --
-- GNAT SYSTEM UTILITIES --
-- --
-- X E I N F O --
-- --
-- B o d y --
-- --
-- Copyright (C) 1992-2011, 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. --
-- --
------------------------------------------------------------------------------
-- Program to construct C header file a-einfo.h (C version of einfo.ads spec)
-- for use by Gigi. This header file contains all definitions and access
-- functions, but does not contain set procedures, since Gigi is not allowed
-- to modify the GNAT tree)
-- Input files:
-- einfo.ads spec of Einfo package
-- einfo.adb body of Einfo package
-- Output files:
-- a-einfo.h Corresponding c header file
-- Note: It is assumed that the input files have been compiled without errors
-- An optional argument allows the specification of an output file name to
-- override the default a-einfo.h file name for the generated output file.
-- Most, but not all of the functions in Einfo can be inlined in the C header.
-- They are the functions identified by pragma Inline in the spec. Functions
-- that cannot be inlined are simply defined in the header.
with Ada.Command_Line; use Ada.Command_Line;
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;
with GNAT.Spitbol.Table_Boolean; use GNAT.Spitbol.Table_Boolean;
with CEinfo;
procedure XEinfo is
package TB renames GNAT.Spitbol.Table_Boolean;
Err : exception;
A : VString := Nul;
B : VString := Nul;
C : VString := Nul;
Expr : VString := Nul;
Filler : VString := Nul;
Fline : VString := Nul;
Formal : VString := Nul;
Formaltyp : VString := Nul;
FN : VString := Nul;
Line : VString := Nul;
N : VString := Nul;
N1 : VString := Nul;
N2 : VString := Nul;
N3 : VString := Nul;
Nam : VString := Nul;
Name : VString := Nul;
NewS : VString := Nul;
Nextlin : VString := Nul;
OldS : VString := Nul;
Rtn : VString := Nul;
Term : VString := Nul;
InB : File_Type;
-- Used to read initial header from body
InF : File_Type;
-- Used to read full text of both spec and body
Ofile : File_Type;
-- Used to write output file
wsp : constant Pattern := NSpan (' ' & ASCII.HT);
Comment : constant Pattern := wsp & "--";
For_Rep : constant Pattern := wsp & "for";
Get_Func : constant Pattern := wsp * A & "function" & wsp
& Break (' ') * Name;
Inline : constant Pattern := wsp & "pragma Inline (" & Break (')') * Name;
Get_Pack : constant Pattern := wsp & "package ";
Get_Enam : constant Pattern := wsp & Break (',') * N & ',';
Find_Fun : constant Pattern := wsp & "function";
F_Subtyp : constant Pattern := wsp * A & "subtype " & Break (' ') * N;
G_Subtyp : constant Pattern := wsp & "subtype" & wsp & Break (' ') * NewS
& wsp & "is" & wsp & Break (" ;") * OldS
& wsp & ';' & wsp & Rtab (0);
F_Typ : constant Pattern := wsp * A & "type " & Break (' ') * N &
" is (";
Get_Nam : constant Pattern := wsp * A & Break (",)") * Nam
& Len (1) * Term;
Get_Styp : constant Pattern := wsp * A & "subtype " & Break (' ') * N;
Get_N1 : constant Pattern := wsp & Break (' ') * N1;
Get_N2 : constant Pattern := wsp & "-- " & Rest * N2;
Get_N3 : constant Pattern := wsp & Break (';') * N3;
Get_FN : constant Pattern := wsp * C & "function" & wsp
& Break (" (") * FN;
Is_Rturn : constant Pattern := BreakX ('r') & "return";
Is_Begin : constant Pattern := wsp & "begin";
Get_Asrt : constant Pattern := wsp & "pragma Assert";
Semicoln : constant Pattern := BreakX (';');
Get_Cmnt : constant Pattern := BreakX ('-') * A & "--";
Get_Expr : constant Pattern := wsp & "return " & Break (';') * Expr;
Chek_End : constant Pattern := wsp & "end" & BreakX (';') & ';';
Get_B1 : constant Pattern := BreakX (' ') * A & " in " & Rest * B;
Get_B2 : constant Pattern := BreakX (' ') * A & " = " & Rest * B;
Get_B3 : constant Pattern := BreakX (' ') * A & " /= " & Rest * B;
To_Paren : constant Pattern := wsp * Filler & '(';
Get_Fml : constant Pattern := Break (" :") * Formal & wsp & ':' & wsp
& BreakX (" );") * Formaltyp;
Nxt_Fml : constant Pattern := wsp & "; ";
Get_Rtn : constant Pattern := wsp & "return" & wsp & BreakX (" ;") * Rtn;
Rem_Prn : constant Pattern := wsp & ')';
M : Match_Result;
Lineno : Natural := 0;
-- Line number in spec
V : Natural;
Ctr : Natural;
Inlined : TB.Table (200);
-- Inlined<N> = True for inlined function, False otherwise
Lastinlined : Boolean;
procedure Badfunc;
-- Signal bad function in body
function Getlin return VString;
-- Get non-comment line (comment lines skipped, also skips FOR rep clauses)
-- Fatal error (raises End_Error exception) if end of file encountered
procedure Must (B : Boolean);
-- Raises Err if the argument (a Match) call, returns False
procedure Sethead (Line : in out VString; Term : String);
-- Process function header into C
-------------
-- Badfunc --
-------------
procedure Badfunc is
begin
Put_Line
(Standard_Error,
"Body for function " & FN & " does not meet requirements");
raise Err;
end Badfunc;
-------------
-- Getlin --
-------------
function Getlin return VString is
Lin : VString;
begin
loop
Lin := Get_Line (InF);
Lineno := Lineno + 1;
if Lin /= ""
and then not Match (Lin, Comment)
and then not Match (Lin, For_Rep)
then
return Lin;
end if;
end loop;
end Getlin;
----------
-- Must --
----------
procedure Must (B : Boolean) is
begin
if not B then
raise Err;
end if;
end Must;
-------------
-- Sethead --
-------------
procedure Sethead (Line : in out VString; Term : String) is
Args : VString;
begin
Must (Match (Line, Get_Func, ""));
Args := Nul;
if Match (Line, To_Paren, "") then
Args := Filler & '(';
loop
Must (Match (Line, Get_Fml, ""));
Append (Args, Formaltyp & ' ' & Formal);
exit when not Match (Line, Nxt_Fml);
Append (Args, ",");
end loop;
Match (Line, Rem_Prn, "");
Append (Args, ')');
end if;
Must (Match (Line, Get_Rtn));
if Present (Inlined, Name) then
Put_Line (Ofile, A & "INLINE " & Rtn & ' ' & Name & Args & Term);
else
Put_Line (Ofile, A & Rtn & ' ' & Name & Args & Term);
end if;
end Sethead;
-- Start of processing for XEinfo
begin
-- First run CEinfo to check for errors. Note that CEinfo is also a
-- stand-alone program that can be run separately.
CEinfo;
Anchored_Mode := True;
if Argument_Count > 0 then
Create (Ofile, Out_File, Argument (1));
else
Create (Ofile, Out_File, "a-einfo.h");
end if;
Open (InB, In_File, "einfo.adb");
Open (InF, In_File, "einfo.ads");
Lineno := 0;
loop
Line := Get_Line (InF);
Lineno := Lineno + 1;
exit when Line = "";
Match (Line,
"-- S p e c ",
"-- C Header File ");
Match (Line, "--", "/*");
Match (Line, Rtab (2) * A & "--", M);
Replace (M, A & "*/");
Put_Line (Ofile, Line);
end loop;
Put_Line (Ofile, "");
Put_Line (Ofile, "#ifdef __cplusplus");
Put_Line (Ofile, "extern ""C"" {");
Put_Line (Ofile, "#endif");
-- Find and record pragma Inlines
loop
Line := Get_Line (InF);
exit when Match (Line, " -- END XEINFO INLINES");
if Match (Line, Inline) then
Set (Inlined, Name, True);
end if;
end loop;
-- Skip to package line
Reset (InF, In_File);
Lineno := 0;
loop
Line := Getlin;
exit when Match (Line, Get_Pack);
end loop;
V := 0;
Line := Getlin;
Must (Match (Line, wsp & "type Entity_Kind"));
-- Process entity kind code definitions
loop
Line := Getlin;
exit when not Match (Line, Get_Enam);
Put_Line (Ofile, " #define " & Rpad (N, 32) & " " & V);
V := V + 1;
end loop;
Must (Match (Line, wsp & Rest * N));
Put_Line (Ofile, " #define " & Rpad (N, 32) & ' ' & V);
Line := Getlin;
Must (Match (Line, wsp & ");"));
Put_Line (Ofile, "");
-- Loop through subtype and type declarations
loop
Line := Getlin;
exit when Match (Line, Find_Fun);
-- Case of a subtype declaration
if Match (Line, F_Subtyp) then
-- Case of a subtype declaration that is an abbreviation of the
-- form subtype x is y, and if so generate the appropriate typedef
if Match (Line, G_Subtyp) then
Put_Line (Ofile, A & "typedef " & OldS & ' ' & NewS & ';');
-- Otherwise the subtype must be declaring a subrange of Entity_Id
else
Must (Match (Line, Get_Styp));
Line := Getlin;
Must (Match (Line, Get_N1));
loop
Line := Get_Line (InF);
Lineno := Lineno + 1;
exit when not Match (Line, Get_N2);
end loop;
Must (Match (Line, Get_N3));
Put_Line (Ofile, A & "SUBTYPE (" & N & ", Entity_Kind, ");
Put_Line (Ofile, A & " " & N1 & ", " & N3 & ')');
Put_Line (Ofile, "");
end if;
-- Case of type declaration
elsif Match (Line, F_Typ) then
-- Process type declaration (must be enumeration type)
Ctr := 0;
Put_Line (Ofile, A & "typedef char " & N & ';');
loop
Line := Getlin;
Must (Match (Line, Get_Nam));
Put_Line (Ofile, A & "#define " & Rpad (Nam, 25) & Ctr);
Ctr := Ctr + 1;
exit when Term /= ",";
end loop;
Put_Line (Ofile, "");
-- Neither subtype nor type declaration
else
raise Err;
end if;
end loop;
-- Process function declarations
-- Note: Lastinlined used to control blank lines
Put_Line (Ofile, "");
Lastinlined := True;
-- Loop through function declarations
while Match (Line, Get_FN) loop
-- Non-inlined function
if not Present (Inlined, FN) then
Put_Line (Ofile, "");
Put_Line
(Ofile,
" #define " & FN & " einfo__" & Translate (FN, Lower_Case_Map));
-- Inlined function
else
if not Lastinlined then
Put_Line (Ofile, "");
end if;
end if;
-- Merge here to output spec
Sethead (Line, ";");
Lastinlined := Get (Inlined, FN);
Line := Getlin;
end loop;
Put_Line (Ofile, "");
-- Read body to find inlined functions
Close (InB);
Close (InF);
Open (InF, In_File, "einfo.adb");
Lineno := 0;
-- Loop through input lines to find bodies of inlined functions
while not End_Of_File (InF) loop
Fline := Get_Line (InF);
if Match (Fline, Get_FN)
and then Get (Inlined, FN)
then
-- Here we have an inlined function
if not Match (Fline, Is_Rturn) then
Line := Fline;
Badfunc;
end if;
Line := Getlin;
if not Match (Line, Is_Begin) then
Badfunc;
end if;
-- Skip past pragma Asserts
loop
Line := Getlin;
exit when not Match (Line, Get_Asrt);
-- Pragma assert found, get its continuation lines
loop
exit when Match (Line, Semicoln);
Line := Getlin;
end loop;
end loop;
-- Process return statement
Match (Line, Get_Cmnt, M);
Replace (M, A);
-- Get continuations of return statement
while not Match (Line, Semicoln) loop
Nextlin := Getlin;
Match (Nextlin, wsp, " ");
Append (Line, Nextlin);
end loop;
if not Match (Line, Get_Expr) then
Badfunc;
end if;
Line := Getlin;
if not Match (Line, Chek_End) then
Badfunc;
end if;
Match (Expr, Get_B1, M);
Replace (M, "IN (" & A & ", " & B & ')');
Match (Expr, Get_B2, M);
Replace (M, A & " == " & B);
Match (Expr, Get_B3, M);
Replace (M, A & " != " & B);
Put_Line (Ofile, "");
Sethead (Fline, "");
Put_Line (Ofile, C & " { return " & Expr & "; }");
end if;
end loop;
Put_Line (Ofile, "");
Put_Line (Ofile, "#ifdef __cplusplus");
Put_Line (Ofile, "}");
Put_Line (Ofile, "#endif");
Put_Line
(Ofile,
"/* End of einfo.h (C version of Einfo package specification) */");
Close (InF);
Close (Ofile);
exception
when Err =>
Put_Line (Standard_Error, Lineno & ". " & Line);
Put_Line (Standard_Error, "**** fatal error ****");
Set_Exit_Status (1);
when End_Error =>
Put_Line (Standard_Error, "unexpected end of file");
Put_Line (Standard_Error, "**** fatal error ****");
end XEinfo;