| blob | 3be3543487de59136f48524a3d90d6a97e57e0ff |
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S T A N D --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2023, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
20 -- --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
23 -- --
24 ------------------------------------------------------------------------------
26 -- This package contains the declarations of entities in package Standard,
27 -- These values are initialized either by calling CStand.Create_Standard,
28 -- or by calling Stand.Tree_Read.
34 -- Warning: the entities defined in this package are written out by the
35 -- Tree_Write routine, and read back in by the Tree_Read routine, so be
36 -- sure to modify these two routines if you add entities that are not
37 -- part of Standard_Entity.
40 -- This enumeration type contains an entry for each name in Standard
42 -- Package names
44 S_Standard,
45 S_ASCII,
47 -- Types and subtypes defined in package Standard (in the order in which
48 -- they appear in the RM, so that the declarations are in the right
49 -- order for the purposes of e.g. ASIS traversals
51 S_Boolean,
53 S_Short_Short_Integer,
54 S_Short_Integer,
55 S_Integer,
56 S_Long_Integer,
57 S_Long_Long_Integer,
58 S_Long_Long_Long_Integer,
60 S_Natural,
61 S_Positive,
63 S_Short_Float,
64 S_Float,
65 S_Long_Float,
66 S_Long_Long_Float,
68 S_Character,
69 S_Wide_Character,
70 S_Wide_Wide_Character,
72 S_String,
73 S_Wide_String,
74 S_Wide_Wide_String,
76 S_Duration,
78 -- Enumeration literals for type Boolean
80 S_False,
81 S_True,
83 -- Exceptions declared in package Standard
85 S_Constraint_Error,
86 S_Numeric_Error,
87 S_Program_Error,
88 S_Storage_Error,
89 S_Tasking_Error,
91 -- Binary Operators declared in package Standard
93 S_Op_Add,
94 S_Op_And,
95 S_Op_Concat,
96 S_Op_Concatw,
97 S_Op_Concatww,
98 S_Op_Divide,
99 S_Op_Eq,
100 S_Op_Expon,
101 S_Op_Ge,
102 S_Op_Gt,
103 S_Op_Le,
104 S_Op_Lt,
105 S_Op_Mod,
106 S_Op_Multiply,
107 S_Op_Ne,
108 S_Op_Or,
109 S_Op_Rem,
110 S_Op_Subtract,
111 S_Op_Xor,
113 -- Unary operators declared in package Standard
115 S_Op_Abs,
116 S_Op_Minus,
117 S_Op_Not,
118 S_Op_Plus,
120 -- Constants defined in package ASCII (with value in hex).
121 -- First the thirty-two C0 control characters)
156 -- Here are the ones for Colonel Whitaker's O26 keypunch
210 -- And one more control character, all on its own
232 -- This array contains pointers to the Defining Identifier nodes for each
233 -- of the visible entities defined in Standard_Entities_Type. The array is
234 -- initialized by the Create_Standard procedure.
237 -- Points to the N_Package_Declaration node for standard. Also
238 -- initialized by the Create_Standard procedure.
240 -- The following Entities are the pointers to the Defining Identifier
241 -- nodes for some visible entities defined in Standard_Entities_Type.
310 -- Highest Node_Id value used by Standard
313 -- Highest List_Id value used by Standard (including those used by
314 -- normal list headers, element list headers, and list elements)
317 -- Entities for the two boolean literals, used by the expander
319 -------------------------------------
320 -- Semantic Phase Special Entities --
321 -------------------------------------
323 -- The semantic phase needs a number of entities for internal processing
324 -- that are logically at the level of Standard, and hence defined in this
325 -- package. However, they are never visible to a program, and are not
326 -- chained on to the Decls list of Standard. The names of all these
327 -- types are relevant only in certain debugging and error message
328 -- situations. They have names that are suitable for use in such
329 -- error messages (see body for actual names used).
332 -- This is a type used to represent the return type of procedures
335 -- This is a type used to represent the Etype of exceptions
338 -- An access to String type used for building elements of tables carrying
339 -- the enumeration literal names.
342 -- An access to character type, used as a component of the exception type
343 -- to denote a thin pointer component. Needed for non-GCC back-ends.
346 -- A zero-size subtype of Integer, used as the type of variables used to
347 -- provide the debugger with name encodings for renaming declarations.
350 -- Entities for predefined floating point types. These are used by
351 -- the semantic phase to select appropriate types for floating point
352 -- declarations. This list is ordered by preference. All types up to
353 -- Long_Long_Float_Type are considered for plain "digits N" declarations,
354 -- while selection of later types requires a range specification and
355 -- possibly other attributes or pragmas.
357 -- The entities labeled Any_xxx are used in situations where the full
358 -- characteristics of an entity are not yet known, e.g. Any_Character
359 -- is used to label a character literal before resolution is complete.
360 -- These entities are also used to construct appropriate references in
361 -- error messages ("expecting an integer type").
364 -- Used to represent some unknown identifier. Used to label undefined
365 -- identifier references to prevent cascaded errors.
368 -- Used to represent some unknown type. Any_Type is the type of an
369 -- unresolved operator, and it is the type of a node where a type error
370 -- has been detected. Any_Type plays an important role in avoiding cascaded
371 -- errors, because it is compatible with all other types, and is propagated
372 -- to any expression that has a subexpression of Any_Type. When resolving
373 -- operators, Any_Type is the initial type of the node before any of its
374 -- candidate interpretations has been examined. If after examining all of
375 -- them the type is still Any_Type, the node has no possible interpretation
376 -- and an error can be emitted (and Any_Type will be propagated upwards).
379 -- Used to represent some unknown array type
382 -- The context type of conditions in IF and WHILE statements
385 -- Any_Character is used to label character literals, which in general
386 -- will not have an explicit declaration (this is true of the predefined
387 -- character types).
390 -- The type Any_Composite is used for aggregates before type resolution.
391 -- It is compatible with any array or non-limited record type.
394 -- Used to represent some unknown discrete type
397 -- Used to represent some unknown fixed-point type
400 -- Used to represent some unknown integer type
403 -- Used to represent the result type of a boolean operation on an integer
404 -- literal. The result is not Universal_Integer, because it is only legal
405 -- in a modular context.
408 -- Used to represent some unknown numeric type
411 -- Used to represent some unknown real type
414 -- Used to represent some unknown scalar type
417 -- The type Any_String is used for string literals before type resolution.
418 -- It corresponds to array (Positive range <>) of character where the
419 -- component type is compatible with any character type, not just
420 -- Standard_Character.
423 -- The type Raise_Type denotes the type of a Raise_Expression. It is
424 -- compatible with all other types, and must eventually resolve to a
425 -- concrete type that is imposed by the context.
426 --
427 -- Historical note: we used to use Any_Type for this purpose, but the
428 -- confusion of meanings (Any_Type normally indicates an error) caused
429 -- difficulties. In particular some needed expansions were skipped since
430 -- the nodes in question looked like they had an error.
433 -- Entity for universal integer type. The bounds of this type correspond
434 -- to the largest supported integer type (i.e. Long_Long_Long_Integer).
435 -- It is the type used for runtime calculations in type universal integer.
438 -- Entity for universal real type. The bounds of this type correspond to
439 -- to the largest supported real type (i.e. Long_Long_Float). It is the
440 -- type used for runtime calculations in type universal real. Note that
441 -- this type is always IEEE format.
444 -- Entity for universal fixed type. This is a type with arbitrary
445 -- precision that can only appear in a context with a specific type.
446 -- Universal_Fixed labels the result of multiplication or division of
447 -- two fixed point numbers, and has no specified bounds (since, unlike
448 -- universal integer and universal real, it is never used for runtime
449 -- calculations).
452 -- Entity for universal access type. It is only used for the literal null
459 -- These are signed integer types with the indicated sizes. Used for the
460 -- underlying implementation types for fixed-point and enumeration types.
468 -- Unsigned types with same Esize as corresponding signed integer types
471 -- Entity for an unsigned type mod 2 ** 64, size of 64 bits.
474 -- Entity for an unsigned type mod 2 ** System_Address_Size, size of
475 -- System_Address_Size bits. Used for implementing Allow_Integer_Address.
478 -- Entity for abort signal exception
485 -- These entities are used for shift operators generated by the expander