diff options
Diffstat (limited to 'gcc/ada/gen_il.ads')
| -rw-r--r-- | gcc/ada/gen_il.ads | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/gcc/ada/gen_il.ads b/gcc/ada/gen_il.ads new file mode 100644 index 0000000..5f307fe --- /dev/null +++ b/gcc/ada/gen_il.ads @@ -0,0 +1,96 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- G E N _ I L -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2020-2021, 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. -- +-- -- +------------------------------------------------------------------------------ + +pragma Warnings (Off); -- with clauses for children +with Ada.Characters.Handling; use Ada.Characters.Handling; +with Ada.Streams.Stream_IO; +pragma Warnings (On); + +package Gen_IL is -- generate intermediate language + + -- This package and children generates the main intermediate language used + -- by the GNAT compiler, which is a decorated syntax tree. + + -- The generated Ada packages are: + -- + -- Seinfo + -- Sinfo.Nodes + -- Einfo.Entities + -- Nmake + -- Seinfo_Tables + -- + -- We also generate C code: + -- + -- einfo.h + -- sinfo.h + -- snames.h + -- + -- It is necessary to look at this generated code in order to understand + -- the compiler. In addition, it is necessary to look at comments in the + -- spec and body of Gen_IL. + -- + -- Note that the Gen_IL "compiler" and the GNAT Ada compiler are separate + -- programs, with no dependencies between them in either direction. That + -- is, Gen_IL does not say "with" of GNAT units, and GNAT does not say + -- "with Gen_IL". There are many things declared in Gen_IL and GNAT with + -- the same name; these are typically related, but they are not the same + -- thing. + + -- Misc declarations used throughout: + + type Root_Int is new Integer; + function Image (X : Root_Int) return String; + -- Without the extra blank. You can derive from Root_Int or the subtypes + -- below, and inherit a convenient Image function that leaves out that + -- blank. + + subtype Root_Nat is Root_Int range 0 .. Root_Int'Last; + subtype Root_Pos is Root_Int range 1 .. Root_Int'Last; + + function Capitalize (S : String) return String; + procedure Capitalize (S : in out String); + -- Turns an identifier into Mixed_Case + + -- The following declares a minimal implementation of formatted output + -- that is piggybacked on Ada.Streams.Stream_IO for bootstrap reasons. + -- It uses LF as universal line terminator to make it host independent. + + type Sink is record + File : Ada.Streams.Stream_IO.File_Type; + Indent : Natural; + New_Line : Boolean; + end record; + + procedure Create_File (Buffer : in out Sink; Name : String); + + procedure Increase_Indent (Buffer : in out Sink; Amount : Natural); + + procedure Decrease_Indent (Buffer : in out Sink; Amount : Natural); + + procedure Put (Buffer : in out Sink; Item : String); + + LF : constant String := "" & ASCII.LF; + +end Gen_IL; |