| blob | e93e9b4b89b1d6c710eb7623d05ab7a0d2399971 |
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S T A N D --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2014, 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. --
17 -- --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
29 -- --
30 ------------------------------------------------------------------------------
32 -- This package contains the declarations of entities in package Standard,
33 -- These values are initialized either by calling CStand.Create_Standard,
34 -- or by calling Stand.Tree_Read.
40 -- Warning: the entities defined in this package are written out by the
41 -- Tree_Write routine, and read back in by the Tree_Read routine, so be
42 -- sure to modify these two routines if you add entities that are not
43 -- part of Standard_Entity.
46 -- This enumeration type contains an entry for each name in Standard
48 -- Package names
50 S_Standard,
51 S_ASCII,
53 -- Types and subtypes defined in package Standard (in the order in which
54 -- they appear in the RM, so that the declarations are in the right
55 -- order for the purposes of ASIS traversals
57 S_Boolean,
59 S_Short_Short_Integer,
60 S_Short_Integer,
61 S_Integer,
62 S_Long_Integer,
63 S_Long_Long_Integer,
65 S_Natural,
66 S_Positive,
68 S_Short_Float,
69 S_Float,
70 S_Long_Float,
71 S_Long_Long_Float,
73 S_Character,
74 S_Wide_Character,
75 S_Wide_Wide_Character,
77 S_String,
78 S_Wide_String,
79 S_Wide_Wide_String,
81 S_Duration,
83 -- Enumeration literals for type Boolean
85 S_False,
86 S_True,
88 -- Exceptions declared in package Standard
90 S_Constraint_Error,
91 S_Numeric_Error,
92 S_Program_Error,
93 S_Storage_Error,
94 S_Tasking_Error,
96 -- Binary Operators declared in package Standard
98 S_Op_Add,
99 S_Op_And,
100 S_Op_Concat,
101 S_Op_Concatw,
102 S_Op_Concatww,
103 S_Op_Divide,
104 S_Op_Eq,
105 S_Op_Expon,
106 S_Op_Ge,
107 S_Op_Gt,
108 S_Op_Le,
109 S_Op_Lt,
110 S_Op_Mod,
111 S_Op_Multiply,
112 S_Op_Ne,
113 S_Op_Or,
114 S_Op_Rem,
115 S_Op_Subtract,
116 S_Op_Xor,
118 -- Unary operators declared in package Standard
120 S_Op_Abs,
121 S_Op_Minus,
122 S_Op_Not,
123 S_Op_Plus,
125 -- Constants defined in package ASCII (with value in hex).
126 -- First the thirty-two C0 control characters)
161 -- Here are the ones for Colonel Whitaker's O26 keypunch
215 -- And one more control character, all on its own
237 -- This array contains pointers to the Defining Identifier nodes for each
238 -- of the visible entities defined in Standard_Entities_Type. The array is
239 -- initialized by the Create_Standard procedure.
242 -- Points to the N_Package_Declaration node for standard. Also
243 -- initialized by the Create_Standard procedure.
245 -- The following Entities are the pointers to the Defining Identifier
246 -- nodes for some visible entities defined in Standard_Entities_Type.
312 -- Highest Node_Id value used by Standard
315 -- Highest List_Id value used by Standard (including those used by
316 -- normal list headers, element list headers, and list elements)
319 -- Entities for the two boolean literals, used by the expander
321 -------------------------------------
322 -- Semantic Phase Special Entities --
323 -------------------------------------
325 -- The semantic phase needs a number of entities for internal processing
326 -- that are logically at the level of Standard, and hence defined in this
327 -- package. However, they are never visible to a program, and are not
328 -- chained on to the Decls list of Standard. The names of all these
329 -- types are relevant only in certain debugging and error message
330 -- situations. They have names that are suitable for use in such
331 -- error messages (see body for actual names used).
334 -- This is a type used to represent the return type of procedures
337 -- This is a type used to represent the Etype of exceptions
340 -- An access to String type used for building elements of tables
341 -- carrying the enumeration literal names.
344 -- Access to character, used as a component of the exception type to denote
345 -- a thin pointer component.
348 -- A zero-size subtype of Integer, used as the type of variables used to
349 -- provide the debugger with name encodings for renaming declarations.
352 -- Entities for predefined floating point types. These are used by
353 -- the semantic phase to select appropriate types for floating point
354 -- declarations. This list is ordered by preference. All types up to
355 -- Long_Long_Float_Type are considered for plain "digits N" declarations,
356 -- while selection of later types requires a range specification and
357 -- possibly other attributes or pragmas.
359 -- The entities labeled Any_xxx are used in situations where the full
360 -- characteristics of an entity are not yet known, e.g. Any_Character
361 -- is used to label a character literal before resolution is complete.
362 -- These entities are also used to construct appropriate references in
363 -- error messages ("expecting an integer type").
366 -- Used to represent some unknown identifier. Used to label undefined
367 -- identifier references to prevent cascaded errors.
370 -- Used to represent some unknown type. Any_Type is the type of an
371 -- unresolved operator, and it is the type of a node where a type error
372 -- has been detected. Any_Type plays an important role in avoiding cascaded
373 -- errors, because it is compatible with all other types, and is propagated
374 -- to any expression that has a subexpression of Any_Type. When resolving
375 -- operators, Any_Type is the initial type of the node before any of its
376 -- candidate interpretations has been examined. If after examining all of
377 -- them the type is still Any_Type, the node has no possible interpretation
378 -- and an error can be emitted (and Any_Type will be propagated upwards).
381 -- Used to resolve the overloaded literal NULL
384 -- Used to represent some unknown array type
387 -- The context type of conditions in IF and WHILE statements
390 -- Any_Character is used to label character literals, which in general
391 -- will not have an explicit declaration (this is true of the predefined
392 -- character types).
395 -- The type Any_Composite is used for aggregates before type resolution.
396 -- It is compatible with any array or non-limited record type.
399 -- Used to represent some unknown discrete type
402 -- Used to represent some unknown fixed-point type
405 -- Used to represent some unknown integer type
408 -- Used to represent the result type of a boolean operation on an integer
409 -- literal. The result is not Universal_Integer, because it is only legal
410 -- in a modular context.
413 -- Used to represent some unknown numeric type
416 -- Used to represent some unknown real type
419 -- Used to represent some unknown scalar type
422 -- The type Any_String is used for string literals before type resolution.
423 -- It corresponds to array (Positive range <>) of character where the
424 -- component type is compatible with any character type, not just
425 -- Standard_Character.
428 -- The type Raise_Type denotes the type of a Raise_Expression. It is
429 -- compatible with all other types, and must eventually resolve to a
430 -- concrete type that is imposed by the context.
431 --
432 -- Historical note: we used to use Any_Type for this purpose, but the
433 -- confusion of meanings (Any_Type normally indicates an error) caused
434 -- difficulties. In particular some needed expansions were skipped since
435 -- the nodes in question looked like they had an error.
438 -- Entity for universal integer type. The bounds of this type correspond
439 -- to the largest supported integer type (i.e. Long_Long_Integer). It is
440 -- the type used for runtime calculations in type universal integer.
443 -- Entity for universal real type. The bounds of this type correspond to
444 -- to the largest supported real type (i.e. Long_Long_Float). It is the
445 -- type used for runtime calculations in type universal real. Note that
446 -- this type is always IEEE format.
449 -- Entity for universal fixed type. This is a type with arbitrary
450 -- precision that can only appear in a context with a specific type.
451 -- Universal_Fixed labels the result of multiplication or division of
452 -- two fixed point numbers, and has no specified bounds (since, unlike
453 -- universal integer and universal real, it is never used for runtime
454 -- calculations).
460 -- These are signed integer types with the indicated sizes. Used for the
461 -- underlying implementation types for fixed-point and enumeration types.
468 -- Unsigned types with same Esize as corresponding signed integer types
471 -- An unsigned type, mod 2 ** 64, size of 64 bits.
474 -- Entity for abort signal exception
481 -- These entities are used for shift operators generated by the expander
483 -----------------
484 -- Subprograms --
485 -----------------
488 -- Initializes entity values in this package from the current tree file
489 -- using Tree_IO. Note that Tree_Read includes all the initialization that
490 -- is carried out by Create_Standard.
493 -- Writes out the entity values in this package to the current tree file
494 -- using Tree_IO.