| blob | 325286e36c22ff04f091056880025d0058aecc16 |
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S T A N D --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2013, 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.
41 -- This enumeration type contains an entry for each name in Standard
43 -- Package names
45 S_Standard,
46 S_ASCII,
48 -- Types and subtypes defined in package Standard (in the order in which
49 -- they appear in the RM, so that the declarations are in the right
50 -- order for the purposes of ASIS traversals
52 S_Boolean,
54 S_Short_Short_Integer,
55 S_Short_Integer,
56 S_Integer,
57 S_Long_Integer,
58 S_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.
307 -- Highest Node_Id value used by Standard
310 -- Highest List_Id value used by Standard (including those used by
311 -- normal list headers, element list headers, and list elements)
314 -- Entities for the two boolean literals, used by the expander
316 -------------------------------------
317 -- Semantic Phase Special Entities --
318 -------------------------------------
320 -- The semantic phase needs a number of entities for internal processing
321 -- that are logically at the level of Standard, and hence defined in this
322 -- package. However, they are never visible to a program, and are not
323 -- chained on to the Decls list of Standard. The names of all these
324 -- types are relevant only in certain debugging and error message
325 -- situations. They have names that are suitable for use in such
326 -- error messages (see body for actual names used).
329 -- This is a type used to represent the return type of procedures
332 -- This is a type used to represent the Etype of exceptions
335 -- An access to String type used for building elements of tables
336 -- carrying the enumeration literal names.
339 -- Access to character, used as a component of the exception type to denote
340 -- a thin pointer component.
343 -- A zero-size subtype of Integer, used as the type of variables used to
344 -- provide the debugger with name encodings for renaming declarations.
347 -- Entities for predefined floating point types. These are used by
348 -- the semantic phase to select appropriate types for floating point
349 -- declarations. This list is ordered by preference. All types up to
350 -- Long_Long_Float_Type are considered for plain "digits N" declarations,
351 -- while selection of later types requires a range specification and
352 -- possibly other attributes or pragmas.
354 -- The entities labeled Any_xxx are used in situations where the full
355 -- characteristics of an entity are not yet known, e.g. Any_Character
356 -- is used to label a character literal before resolution is complete.
357 -- These entities are also used to construct appropriate references in
358 -- error messages ("expecting an integer type").
361 -- Used to represent some unknown identifier. Used to label undefined
362 -- identifier references to prevent cascaded errors.
365 -- Used to represent some unknown type. Any_Type is the type of an
366 -- unresolved operator, and it is the type of a node where a type error
367 -- has been detected. Any_Type plays an important role in avoiding cascaded
368 -- errors, because it is compatible with all other types, and is propagated
369 -- to any expression that has a subexpression of Any_Type. When resolving
370 -- operators, Any_Type is the initial type of the node before any of its
371 -- candidate interpretations has been examined. If after examining all of
372 -- them the type is still Any_Type, the node has no possible interpretation
373 -- and an error can be emitted (and Any_Type will be propagated upwards).
376 -- Used to resolve the overloaded literal NULL
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_Integer). It is
435 -- 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, even if Long_Long_Float is Vax_Float
442 -- (and in that case the bounds don't correspond exactly).
445 -- Entity for universal fixed type. This is a type with arbitrary
446 -- precision that can only appear in a context with a specific type.
447 -- Universal_Fixed labels the result of multiplication or division of
448 -- two fixed point numbers, and has no specified bounds (since, unlike
449 -- universal integer and universal real, it is never used for runtime
450 -- calculations).
456 -- These are signed integer types with the indicated sizes. Used for the
457 -- underlying implementation types for fixed-point and enumeration types.
464 -- Unsigned types with same Esize as corresponding signed integer types
467 -- An unsigned type, mod 2 ** 64, size of 64 bits.
470 -- Entity for abort signal exception
477 -- These entities are used for shift operators generated by the expander
479 -----------------
480 -- Subprograms --
481 -----------------
484 -- Initializes entity values in this package from the current tree file
485 -- using Tree_IO. Note that Tree_Read includes all the initialization that
486 -- is carried out by Create_Standard.
489 -- Writes out the entity values in this package to the current tree file
490 -- using Tree_IO.