+++ /dev/null
-------------------------------------------------------------------------------
--- --
--- GNAT COMPILER COMPONENTS --
--- --
--- S T A N D --
--- --
--- S p e c --
--- --
--- $Revision: 1.1.16.1 $
--- --
--- Copyright (C) 1992-2001 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. --
--- --
--- As a special exception, if other files instantiate generics from this --
--- unit, or you link this unit with other files to produce an executable, --
--- this unit does not by itself cause the resulting executable to be --
--- covered by the GNU General Public License. This exception does not --
--- however invalidate any other reasons why the executable file might be --
--- covered by the GNU Public License. --
--- --
--- GNAT was originally developed by the GNAT team at New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
--- --
-------------------------------------------------------------------------------
-
--- This package contains the declarations of entities in package Standard,
--- These values are initialized either by calling CStand.Create_Standard,
--- or by calling Stand.Tree_Read.
-
-with Types; use Types;
-
--- Do we really need the with of Namet?
-
-pragma Warnings (Off);
-with Namet; use Namet;
-pragma Elaborate_All (Namet);
-pragma Warnings (On);
-
-package Stand is
-
- type Standard_Entity_Type is (
- -- This enumeration type contains an entry for each name in Standard
-
- -- Package names
-
- S_Standard,
- S_ASCII,
-
- -- Types defined in package Standard
-
- S_Boolean,
- S_Character,
- S_Wide_Character,
- S_String,
- S_Wide_String,
- S_Duration,
-
- S_Short_Short_Integer,
- S_Short_Integer,
- S_Integer,
- S_Long_Integer,
- S_Long_Long_Integer,
-
- S_Short_Float,
- S_Float,
- S_Long_Float,
- S_Long_Long_Float,
-
- -- Enumeration literals for type Boolean
-
- S_False,
- S_True,
-
- -- Subtypes declared in package Standard
-
- S_Natural,
- S_Positive,
-
- -- Exceptions declared in package Standard
-
- S_Constraint_Error,
- S_Numeric_Error,
- S_Program_Error,
- S_Storage_Error,
- S_Tasking_Error,
-
- -- Binary Operators declared in package Standard.
-
- S_Op_Add,
- S_Op_And,
- S_Op_Concat,
- S_Op_Concatw,
- S_Op_Divide,
- S_Op_Eq,
- S_Op_Expon,
- S_Op_Ge,
- S_Op_Gt,
- S_Op_Le,
- S_Op_Lt,
- S_Op_Mod,
- S_Op_Multiply,
- S_Op_Ne,
- S_Op_Or,
- S_Op_Rem,
- S_Op_Subtract,
- S_Op_Xor,
-
- -- Unary operators declared in package Standard
-
- S_Op_Abs,
- S_Op_Minus,
- S_Op_Not,
- S_Op_Plus,
-
- -- Constants defined in package ASCII (with value in hex).
- -- First the thirty-two C0 control characters)
-
- S_NUL, -- 16#00#
- S_SOH, -- 16#01#
- S_STX, -- 16#02#
- S_ETX, -- 16#03#
- S_EOT, -- 16#04#
- S_ENQ, -- 16#05#
- S_ACK, -- 16#06#
- S_BEL, -- 16#07#
- S_BS, -- 16#08#
- S_HT, -- 16#09#
- S_LF, -- 16#0A#
- S_VT, -- 16#0B#
- S_FF, -- 16#0C#
- S_CR, -- 16#0D#
- S_SO, -- 16#0E#
- S_SI, -- 16#0F#
- S_DLE, -- 16#10#
- S_DC1, -- 16#11#
- S_DC2, -- 16#12#
- S_DC3, -- 16#13#
- S_DC4, -- 16#14#
- S_NAK, -- 16#15#
- S_SYN, -- 16#16#
- S_ETB, -- 16#17#
- S_CAN, -- 16#18#
- S_EM, -- 16#19#
- S_SUB, -- 16#1A#
- S_ESC, -- 16#1B#
- S_FS, -- 16#1C#
- S_GS, -- 16#1D#
- S_RS, -- 16#1E#
- S_US, -- 16#1F#
-
- -- Here are the ones for Colonel Whitaker's O26 keypunch!
-
- S_Exclam, -- 16#21#
- S_Quotation, -- 16#22#
- S_Sharp, -- 16#23#
- S_Dollar, -- 16#24#
- S_Percent, -- 16#25#
- S_Ampersand, -- 16#26#
-
- S_Colon, -- 16#3A#
- S_Semicolon, -- 16#3B#
-
- S_Query, -- 16#3F#
- S_At_Sign, -- 16#40#
-
- S_L_Bracket, -- 16#5B#
- S_Back_Slash, -- 16#5C#
- S_R_Bracket, -- 16#5D#
- S_Circumflex, -- 16#5E#
- S_Underline, -- 16#5F#
- S_Grave, -- 16#60#
-
- S_LC_A, -- 16#61#
- S_LC_B, -- 16#62#
- S_LC_C, -- 16#63#
- S_LC_D, -- 16#64#
- S_LC_E, -- 16#65#
- S_LC_F, -- 16#66#
- S_LC_G, -- 16#67#
- S_LC_H, -- 16#68#
- S_LC_I, -- 16#69#
- S_LC_J, -- 16#6A#
- S_LC_K, -- 16#6B#
- S_LC_L, -- 16#6C#
- S_LC_M, -- 16#6D#
- S_LC_N, -- 16#6E#
- S_LC_O, -- 16#6F#
- S_LC_P, -- 16#70#
- S_LC_Q, -- 16#71#
- S_LC_R, -- 16#72#
- S_LC_S, -- 16#73#
- S_LC_T, -- 16#74#
- S_LC_U, -- 16#75#
- S_LC_V, -- 16#76#
- S_LC_W, -- 16#77#
- S_LC_X, -- 16#78#
- S_LC_Y, -- 16#79#
- S_LC_Z, -- 16#7A#
-
- S_L_BRACE, -- 16#7B#
- S_BAR, -- 16#7C#
- S_R_BRACE, -- 16#7D#
- S_TILDE, -- 16#7E#
-
- -- And one more control character, all on its own
-
- S_DEL); -- 16#7F#
-
- subtype S_Types is
- Standard_Entity_Type range S_Boolean .. S_Long_Long_Float;
-
- subtype S_Exceptions is
- Standard_Entity_Type range S_Constraint_Error .. S_Tasking_Error;
-
- subtype S_ASCII_Names is
- Standard_Entity_Type range S_NUL .. S_DEL;
-
- subtype S_Binary_Ops is
- Standard_Entity_Type range S_Op_Add .. S_Op_Xor;
-
- subtype S_Unary_Ops is
- Standard_Entity_Type range S_Op_Abs .. S_Op_Plus;
-
- type Standard_Entity_Array_Type is array (Standard_Entity_Type) of Node_Id;
-
- Standard_Entity : Standard_Entity_Array_Type;
- -- This array contains pointers to the Defining Identifier nodes
- -- for each of the entities defined in Standard_Entities_Type. It
- -- is initialized by the Create_Standard procedure.
-
- Standard_Package_Node : Node_Id;
- -- Points to the N_Package_Declaration node for standard. Also
- -- initialized by the Create_Standard procedure.
-
- -- The following Entities are the pointers to the Defining Identifier
- -- nodes for some visible entities defined in Standard_Entities_Type.
-
- SE : Standard_Entity_Array_Type renames Standard_Entity;
-
- Standard_Standard : Entity_Id renames SE (S_Standard);
-
- Standard_ASCII : Entity_Id renames SE (S_ASCII);
- Standard_Character : Entity_Id renames SE (S_Character);
- Standard_Wide_Character : Entity_Id renames SE (S_Wide_Character);
- Standard_String : Entity_Id renames SE (S_String);
- Standard_Wide_String : Entity_Id renames SE (S_Wide_String);
-
- Standard_Boolean : Entity_Id renames SE (S_Boolean);
- Standard_False : Entity_Id renames SE (S_False);
- Standard_True : Entity_Id renames SE (S_True);
-
- Standard_Duration : Entity_Id renames SE (S_Duration);
-
- Standard_Natural : Entity_Id renames SE (S_Natural);
- Standard_Positive : Entity_Id renames SE (S_Positive);
-
- Standard_Constraint_Error : Entity_Id renames SE (S_Constraint_Error);
- Standard_Numeric_Error : Entity_Id renames SE (S_Numeric_Error);
- Standard_Program_Error : Entity_Id renames SE (S_Program_Error);
- Standard_Storage_Error : Entity_Id renames SE (S_Storage_Error);
- Standard_Tasking_Error : Entity_Id renames SE (S_Tasking_Error);
-
- Standard_Short_Float : Entity_Id renames SE (S_Short_Float);
- Standard_Float : Entity_Id renames SE (S_Float);
- Standard_Long_Float : Entity_Id renames SE (S_Long_Float);
- Standard_Long_Long_Float : Entity_Id renames SE (S_Long_Long_Float);
-
- Standard_Short_Short_Integer : Entity_Id renames SE (S_Short_Short_Integer);
- Standard_Short_Integer : Entity_Id renames SE (S_Short_Integer);
- Standard_Integer : Entity_Id renames SE (S_Integer);
- Standard_Long_Integer : Entity_Id renames SE (S_Long_Integer);
- Standard_Long_Long_Integer : Entity_Id renames SE (S_Long_Long_Integer);
-
- Standard_Op_Add : Entity_Id renames SE (S_Op_Add);
- Standard_Op_And : Entity_Id renames SE (S_Op_And);
- Standard_Op_Concat : Entity_Id renames SE (S_Op_Concat);
- Standard_Op_Concatw : Entity_Id renames SE (S_Op_Concatw);
- Standard_Op_Divide : Entity_Id renames SE (S_Op_Divide);
- Standard_Op_Eq : Entity_Id renames SE (S_Op_Eq);
- Standard_Op_Expon : Entity_Id renames SE (S_Op_Expon);
- Standard_Op_Ge : Entity_Id renames SE (S_Op_Ge);
- Standard_Op_Gt : Entity_Id renames SE (S_Op_Gt);
- Standard_Op_Le : Entity_Id renames SE (S_Op_Le);
- Standard_Op_Lt : Entity_Id renames SE (S_Op_Lt);
- Standard_Op_Mod : Entity_Id renames SE (S_Op_Mod);
- Standard_Op_Multiply : Entity_Id renames SE (S_Op_Multiply);
- Standard_Op_Ne : Entity_Id renames SE (S_Op_Ne);
- Standard_Op_Or : Entity_Id renames SE (S_Op_Or);
- Standard_Op_Rem : Entity_Id renames SE (S_Op_Rem);
- Standard_Op_Subtract : Entity_Id renames SE (S_Op_Subtract);
- Standard_Op_Xor : Entity_Id renames SE (S_Op_Xor);
-
- Standard_Op_Abs : Entity_Id renames SE (S_Op_Abs);
- Standard_Op_Minus : Entity_Id renames SE (S_Op_Minus);
- Standard_Op_Not : Entity_Id renames SE (S_Op_Not);
- Standard_Op_Plus : Entity_Id renames SE (S_Op_Plus);
-
- Last_Standard_Node_Id : Node_Id;
- -- Highest Node_Id value used by Standard
-
- Last_Standard_List_Id : List_Id;
- -- Highest List_Id value used by Standard (including those used by
- -- normal list headers, element list headers, and list elements)
-
- -------------------------------------
- -- Semantic Phase Special Entities --
- -------------------------------------
-
- -- The semantic phase needs a number of entities for internal processing
- -- that are logically at the level of Standard, and hence defined in this
- -- package. However, they are never visible to a program, and are not
- -- chained on to the Decls list of Standard. The names of all these
- -- types are relevant only in certain debugging and error message
- -- situations. They have names that are suitable for use in such
- -- error messages (see body for actual names used).
-
- Standard_Void_Type : Entity_Id;
- -- This is a type used to represent the return type of procedures
-
- Standard_Exception_Type : Entity_Id;
- -- This is a type used to represent the Etype of exceptions.
-
- Standard_A_String : Entity_Id;
- -- An access to String type used for building elements of tables
- -- carrying the enumeration literal names.
-
- Standard_A_Char : Entity_Id;
- -- Access to character, used as a component of the exception type to
- -- denote a thin pointer component.
-
- -- The entities labeled Any_xxx are used in situations where the full
- -- characteristics of an entity are not yet known, e.g. Any_Character
- -- is used to label a character literal before resolution is complete.
- -- These entities are also used to construct appropriate references in
- -- error messages ("expecting an integer type").
-
- Any_Id : Entity_Id;
- -- Used to represent some unknown identifier. Used to lable undefined
- -- identifier references to prevent cascaded errors.
-
- Any_Type : Entity_Id;
- -- Used to represent some unknown type. Plays an important role in
- -- avoiding cascaded errors, since any node that remains labaled with
- -- this type corresponds to an already issued error message. Any_Type
- -- is propagated to avoid cascaded errors from a single type error.
-
- Any_Access : Entity_Id;
- -- Used to resolve the overloaded literal NULL.
-
- Any_Array : Entity_Id;
- -- Used to represent some unknown array type
-
- Any_Boolean : Entity_Id;
- -- The context type of conditions in IF and WHILE statements.
-
- Any_Character : Entity_Id;
- -- Any_Character is used to label character literals, which in general
- -- will not have an explicit declaration (this is true of the predefined
- -- character types).
-
- Any_Composite : Entity_Id;
- -- The type Any_Composite is used for aggregates before type resolution.
- -- It is compatible with any array or non-limited record type.
-
- Any_Discrete : Entity_Id;
- -- Used to represent some unknown discrete type
-
- Any_Fixed : Entity_Id;
- -- Used to represent some unknown fixed-point type
-
- Any_Integer : Entity_Id;
- -- Used to represent some unknown integer type.
-
- Any_Modular : Entity_Id;
- -- Used to represent the result type of a boolean operation on an
- -- integer literal. The result is not Universal_Integer, because it is
- -- only legal in a modular context.
-
- Any_Numeric : Entity_Id;
- -- Used to represent some unknown numeric type.
-
- Any_Real : Entity_Id;
- -- Used to represent some unknown real type.
-
- Any_Scalar : Entity_Id;
- -- Used to represent some unknown scalar type
-
- Any_String : Entity_Id;
- -- The type Any_String is used for string literals before type
- -- resolution. It corresponds to array (Positive range <>) of character
- -- where the component type is compatible with any character type,
- -- not just Standard_Character.
-
- Universal_Integer : Entity_Id;
- -- Entity for universal integer type. The bounds of this type correspond
- -- to the largest supported integer type (i.e. Long_Long_Integer). It is
- -- the type used for runtime calculations in type universal integer.
-
- Universal_Real : Entity_Id;
- -- Entity for universal real type. The bounds of this type correspond to
- -- to the largest supported real type (i.e. Long_Long_Real). It is the
- -- type used for runtime calculations in type universal real.
-
- Universal_Fixed : Entity_Id;
- -- Entity for universal fixed type. This is a type with arbitrary
- -- precision that can only appear in a context with a specific type.
- -- Universal_Fixed labels the result of multiplication or division of
- -- two fixed point numbers, and has no specified bounds (since, unlike
- -- universal integer and universal real, it is never used for runtime
- -- calculations).
-
- Standard_Integer_8 : Entity_Id;
- Standard_Integer_16 : Entity_Id;
- Standard_Integer_32 : Entity_Id;
- Standard_Integer_64 : Entity_Id;
- -- These are signed integer types with the indicated sizes, They are
- -- used for the underlying implementation types for fixed-point and
- -- enumeration types.
-
- Standard_Unsigned : Entity_Id;
- -- An unsigned type of the same size as Standard_Integer
-
- Abort_Signal : Entity_Id;
- -- Entity for abort signal exception
-
- Standard_Op_Rotate_Left : Entity_Id;
- Standard_Op_Rotate_Right : Entity_Id;
- Standard_Op_Shift_Left : Entity_Id;
- Standard_Op_Shift_Right : Entity_Id;
- Standard_Op_Shift_Right_Arithmetic : Entity_Id;
- -- These entities are used for shift operators generated by the expander
-
- -----------------
- -- Subprograms --
- -----------------
-
- procedure Tree_Read;
- -- Initializes entity values in this package from the current tree
- -- file using Osint.Tree_Read. Note that Tree_Read includes all the
- -- initialization that is carried out by Create_Standard.
-
- procedure Tree_Write;
- -- Writes out the entity values in this package to the current
- -- tree file using Osint.Tree_Write.
-
-end Stand;
projects / msp430-gcc.git / blobdiff