1------------------------------------------------------------------------------ 2-- -- 3-- GNAT COMPILER COMPONENTS -- 4-- -- 5-- S T A N D -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2020, 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------------------------------------------------------------------------------ 25 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. 29 30with Types; use Types; 31 32package Stand is 33 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. 38 39 type Standard_Entity_Type is ( 40 -- This enumeration type contains an entry for each name in Standard 41 42 -- Package names 43 44 S_Standard, 45 S_ASCII, 46 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 50 51 S_Boolean, 52 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, 59 60 S_Natural, 61 S_Positive, 62 63 S_Short_Float, 64 S_Float, 65 S_Long_Float, 66 S_Long_Long_Float, 67 68 S_Character, 69 S_Wide_Character, 70 S_Wide_Wide_Character, 71 72 S_String, 73 S_Wide_String, 74 S_Wide_Wide_String, 75 76 S_Duration, 77 78 -- Enumeration literals for type Boolean 79 80 S_False, 81 S_True, 82 83 -- Exceptions declared in package Standard 84 85 S_Constraint_Error, 86 S_Numeric_Error, 87 S_Program_Error, 88 S_Storage_Error, 89 S_Tasking_Error, 90 91 -- Binary Operators declared in package Standard 92 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, 112 113 -- Unary operators declared in package Standard 114 115 S_Op_Abs, 116 S_Op_Minus, 117 S_Op_Not, 118 S_Op_Plus, 119 120 -- Constants defined in package ASCII (with value in hex). 121 -- First the thirty-two C0 control characters) 122 123 S_NUL, -- 16#00# 124 S_SOH, -- 16#01# 125 S_STX, -- 16#02# 126 S_ETX, -- 16#03# 127 S_EOT, -- 16#04# 128 S_ENQ, -- 16#05# 129 S_ACK, -- 16#06# 130 S_BEL, -- 16#07# 131 S_BS, -- 16#08# 132 S_HT, -- 16#09# 133 S_LF, -- 16#0A# 134 S_VT, -- 16#0B# 135 S_FF, -- 16#0C# 136 S_CR, -- 16#0D# 137 S_SO, -- 16#0E# 138 S_SI, -- 16#0F# 139 S_DLE, -- 16#10# 140 S_DC1, -- 16#11# 141 S_DC2, -- 16#12# 142 S_DC3, -- 16#13# 143 S_DC4, -- 16#14# 144 S_NAK, -- 16#15# 145 S_SYN, -- 16#16# 146 S_ETB, -- 16#17# 147 S_CAN, -- 16#18# 148 S_EM, -- 16#19# 149 S_SUB, -- 16#1A# 150 S_ESC, -- 16#1B# 151 S_FS, -- 16#1C# 152 S_GS, -- 16#1D# 153 S_RS, -- 16#1E# 154 S_US, -- 16#1F# 155 156 -- Here are the ones for Colonel Whitaker's O26 keypunch 157 158 S_Exclam, -- 16#21# 159 S_Quotation, -- 16#22# 160 S_Sharp, -- 16#23# 161 S_Dollar, -- 16#24# 162 S_Percent, -- 16#25# 163 S_Ampersand, -- 16#26# 164 165 S_Colon, -- 16#3A# 166 S_Semicolon, -- 16#3B# 167 168 S_Query, -- 16#3F# 169 S_At_Sign, -- 16#40# 170 171 S_L_Bracket, -- 16#5B# 172 S_Back_Slash, -- 16#5C# 173 S_R_Bracket, -- 16#5D# 174 S_Circumflex, -- 16#5E# 175 S_Underline, -- 16#5F# 176 S_Grave, -- 16#60# 177 178 S_LC_A, -- 16#61# 179 S_LC_B, -- 16#62# 180 S_LC_C, -- 16#63# 181 S_LC_D, -- 16#64# 182 S_LC_E, -- 16#65# 183 S_LC_F, -- 16#66# 184 S_LC_G, -- 16#67# 185 S_LC_H, -- 16#68# 186 S_LC_I, -- 16#69# 187 S_LC_J, -- 16#6A# 188 S_LC_K, -- 16#6B# 189 S_LC_L, -- 16#6C# 190 S_LC_M, -- 16#6D# 191 S_LC_N, -- 16#6E# 192 S_LC_O, -- 16#6F# 193 S_LC_P, -- 16#70# 194 S_LC_Q, -- 16#71# 195 S_LC_R, -- 16#72# 196 S_LC_S, -- 16#73# 197 S_LC_T, -- 16#74# 198 S_LC_U, -- 16#75# 199 S_LC_V, -- 16#76# 200 S_LC_W, -- 16#77# 201 S_LC_X, -- 16#78# 202 S_LC_Y, -- 16#79# 203 S_LC_Z, -- 16#7A# 204 205 S_L_BRACE, -- 16#7B# 206 S_BAR, -- 16#7C# 207 S_R_BRACE, -- 16#7D# 208 S_TILDE, -- 16#7E# 209 210 -- And one more control character, all on its own 211 212 S_DEL); -- 16#7F# 213 214 subtype S_Types is 215 Standard_Entity_Type range S_Boolean .. S_Duration; 216 217 subtype S_Exceptions is 218 Standard_Entity_Type range S_Constraint_Error .. S_Tasking_Error; 219 220 subtype S_ASCII_Names is 221 Standard_Entity_Type range S_NUL .. S_DEL; 222 223 subtype S_Binary_Ops is 224 Standard_Entity_Type range S_Op_Add .. S_Op_Xor; 225 226 subtype S_Unary_Ops is 227 Standard_Entity_Type range S_Op_Abs .. S_Op_Plus; 228 229 type Standard_Entity_Array_Type is array (Standard_Entity_Type) of Node_Id; 230 231 Standard_Entity : Standard_Entity_Array_Type; 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. 235 236 Standard_Package_Node : Node_Id; 237 -- Points to the N_Package_Declaration node for standard. Also 238 -- initialized by the Create_Standard procedure. 239 240 -- The following Entities are the pointers to the Defining Identifier 241 -- nodes for some visible entities defined in Standard_Entities_Type. 242 243 SE : Standard_Entity_Array_Type renames Standard_Entity; 244 245 Standard_Standard : Entity_Id renames SE (S_Standard); 246 247 Standard_ASCII : Entity_Id renames SE (S_ASCII); 248 Standard_Character : Entity_Id renames SE (S_Character); 249 Standard_Wide_Character : Entity_Id renames SE (S_Wide_Character); 250 Standard_Wide_Wide_Character : Entity_Id renames SE (S_Wide_Wide_Character); 251 Standard_String : Entity_Id renames SE (S_String); 252 Standard_Wide_String : Entity_Id renames SE (S_Wide_String); 253 Standard_Wide_Wide_String : Entity_Id renames SE (S_Wide_Wide_String); 254 255 Standard_Boolean : Entity_Id renames SE (S_Boolean); 256 Standard_False : Entity_Id renames SE (S_False); 257 Standard_True : Entity_Id renames SE (S_True); 258 259 Standard_Duration : Entity_Id renames SE (S_Duration); 260 261 Standard_Natural : Entity_Id renames SE (S_Natural); 262 Standard_Positive : Entity_Id renames SE (S_Positive); 263 264 Standard_Constraint_Error : Entity_Id renames SE (S_Constraint_Error); 265 Standard_Numeric_Error : Entity_Id renames SE (S_Numeric_Error); 266 Standard_Program_Error : Entity_Id renames SE (S_Program_Error); 267 Standard_Storage_Error : Entity_Id renames SE (S_Storage_Error); 268 Standard_Tasking_Error : Entity_Id renames SE (S_Tasking_Error); 269 270 Standard_Short_Float : Entity_Id renames SE (S_Short_Float); 271 Standard_Float : Entity_Id renames SE (S_Float); 272 Standard_Long_Float : Entity_Id renames SE (S_Long_Float); 273 Standard_Long_Long_Float : Entity_Id renames SE (S_Long_Long_Float); 274 275 Standard_Short_Short_Integer : Entity_Id renames SE (S_Short_Short_Integer); 276 Standard_Short_Integer : Entity_Id renames SE (S_Short_Integer); 277 Standard_Integer : Entity_Id renames SE (S_Integer); 278 Standard_Long_Integer : Entity_Id renames SE (S_Long_Integer); 279 Standard_Long_Long_Integer : Entity_Id renames SE (S_Long_Long_Integer); 280 281 Standard_Long_Long_Long_Integer : Entity_Id renames 282 SE (S_Long_Long_Long_Integer); 283 284 Standard_Op_Add : Entity_Id renames SE (S_Op_Add); 285 Standard_Op_And : Entity_Id renames SE (S_Op_And); 286 Standard_Op_Concat : Entity_Id renames SE (S_Op_Concat); 287 Standard_Op_Concatw : Entity_Id renames SE (S_Op_Concatw); 288 Standard_Op_Concatww : Entity_Id renames SE (S_Op_Concatww); 289 Standard_Op_Divide : Entity_Id renames SE (S_Op_Divide); 290 Standard_Op_Eq : Entity_Id renames SE (S_Op_Eq); 291 Standard_Op_Expon : Entity_Id renames SE (S_Op_Expon); 292 Standard_Op_Ge : Entity_Id renames SE (S_Op_Ge); 293 Standard_Op_Gt : Entity_Id renames SE (S_Op_Gt); 294 Standard_Op_Le : Entity_Id renames SE (S_Op_Le); 295 Standard_Op_Lt : Entity_Id renames SE (S_Op_Lt); 296 Standard_Op_Mod : Entity_Id renames SE (S_Op_Mod); 297 Standard_Op_Multiply : Entity_Id renames SE (S_Op_Multiply); 298 Standard_Op_Ne : Entity_Id renames SE (S_Op_Ne); 299 Standard_Op_Or : Entity_Id renames SE (S_Op_Or); 300 Standard_Op_Rem : Entity_Id renames SE (S_Op_Rem); 301 Standard_Op_Subtract : Entity_Id renames SE (S_Op_Subtract); 302 Standard_Op_Xor : Entity_Id renames SE (S_Op_Xor); 303 304 Standard_Op_Abs : Entity_Id renames SE (S_Op_Abs); 305 Standard_Op_Minus : Entity_Id renames SE (S_Op_Minus); 306 Standard_Op_Not : Entity_Id renames SE (S_Op_Not); 307 Standard_Op_Plus : Entity_Id renames SE (S_Op_Plus); 308 309 Last_Standard_Node_Id : Node_Id; 310 -- Highest Node_Id value used by Standard 311 312 Last_Standard_List_Id : List_Id; 313 -- Highest List_Id value used by Standard (including those used by 314 -- normal list headers, element list headers, and list elements) 315 316 Boolean_Literals : array (Boolean) of Entity_Id; 317 -- Entities for the two boolean literals, used by the expander 318 319 ------------------------------------- 320 -- Semantic Phase Special Entities -- 321 ------------------------------------- 322 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). 330 331 Standard_Void_Type : Entity_Id; 332 -- This is a type used to represent the return type of procedures 333 334 Standard_Exception_Type : Entity_Id; 335 -- This is a type used to represent the Etype of exceptions 336 337 Standard_A_String : Entity_Id; 338 -- An access to String type used for building elements of tables 339 -- carrying the enumeration literal names. 340 341 Standard_A_Char : Entity_Id; 342 -- Access to character, used as a component of the exception type to denote 343 -- a thin pointer component. 344 345 Standard_Debug_Renaming_Type : Entity_Id; 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. 348 349 Predefined_Float_Types : Elist_Id; 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. 356 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"). 362 363 Any_Id : Entity_Id; 364 -- Used to represent some unknown identifier. Used to label undefined 365 -- identifier references to prevent cascaded errors. 366 367 Any_Type : Entity_Id; 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). 377 378 Any_Access : Entity_Id; 379 -- Used to resolve the overloaded literal NULL 380 381 Any_Array : Entity_Id; 382 -- Used to represent some unknown array type 383 384 Any_Boolean : Entity_Id; 385 -- The context type of conditions in IF and WHILE statements 386 387 Any_Character : Entity_Id; 388 -- Any_Character is used to label character literals, which in general 389 -- will not have an explicit declaration (this is true of the predefined 390 -- character types). 391 392 Any_Composite : Entity_Id; 393 -- The type Any_Composite is used for aggregates before type resolution. 394 -- It is compatible with any array or non-limited record type. 395 396 Any_Discrete : Entity_Id; 397 -- Used to represent some unknown discrete type 398 399 Any_Fixed : Entity_Id; 400 -- Used to represent some unknown fixed-point type 401 402 Any_Integer : Entity_Id; 403 -- Used to represent some unknown integer type 404 405 Any_Modular : Entity_Id; 406 -- Used to represent the result type of a boolean operation on an integer 407 -- literal. The result is not Universal_Integer, because it is only legal 408 -- in a modular context. 409 410 Any_Numeric : Entity_Id; 411 -- Used to represent some unknown numeric type 412 413 Any_Real : Entity_Id; 414 -- Used to represent some unknown real type 415 416 Any_Scalar : Entity_Id; 417 -- Used to represent some unknown scalar type 418 419 Any_String : Entity_Id; 420 -- The type Any_String is used for string literals before type resolution. 421 -- It corresponds to array (Positive range <>) of character where the 422 -- component type is compatible with any character type, not just 423 -- Standard_Character. 424 425 Raise_Type : Entity_Id; 426 -- The type Raise_Type denotes the type of a Raise_Expression. It is 427 -- compatible with all other types, and must eventually resolve to a 428 -- concrete type that is imposed by the context. 429 -- 430 -- Historical note: we used to use Any_Type for this purpose, but the 431 -- confusion of meanings (Any_Type normally indicates an error) caused 432 -- difficulties. In particular some needed expansions were skipped since 433 -- the nodes in question looked like they had an error. 434 435 Universal_Integer : Entity_Id; 436 -- Entity for universal integer type. The bounds of this type correspond 437 -- to the largest supported integer type (i.e. Long_Long_Long_Integer). 438 -- It is the type used for runtime calculations in type universal integer. 439 440 Universal_Real : Entity_Id; 441 -- Entity for universal real type. The bounds of this type correspond to 442 -- to the largest supported real type (i.e. Long_Long_Float). It is the 443 -- type used for runtime calculations in type universal real. Note that 444 -- this type is always IEEE format. 445 446 Universal_Fixed : Entity_Id; 447 -- Entity for universal fixed type. This is a type with arbitrary 448 -- precision that can only appear in a context with a specific type. 449 -- Universal_Fixed labels the result of multiplication or division of 450 -- two fixed point numbers, and has no specified bounds (since, unlike 451 -- universal integer and universal real, it is never used for runtime 452 -- calculations). 453 454 Standard_Integer_8 : Entity_Id; 455 Standard_Integer_16 : Entity_Id; 456 Standard_Integer_32 : Entity_Id; 457 Standard_Integer_64 : Entity_Id; 458 Standard_Integer_128 : Entity_Id; 459 -- These are signed integer types with the indicated sizes. Used for the 460 -- underlying implementation types for fixed-point and enumeration types. 461 462 Standard_Short_Short_Unsigned : Entity_Id; 463 Standard_Short_Unsigned : Entity_Id; 464 Standard_Unsigned : Entity_Id; 465 Standard_Long_Unsigned : Entity_Id; 466 Standard_Long_Long_Unsigned : Entity_Id; 467 Standard_Long_Long_Long_Unsigned : Entity_Id; 468 -- Unsigned types with same Esize as corresponding signed integer types 469 470 Standard_Unsigned_64 : Entity_Id; 471 -- Entity for an unsigned type mod 2 ** 64, size of 64 bits. 472 473 Standard_Address : Entity_Id; 474 -- Entity for an unsigned type mod 2 ** System_Address_Size, size of 475 -- System_Address_Size bits. Used for implementing Allow_Integer_Address. 476 477 Abort_Signal : Entity_Id; 478 -- Entity for abort signal exception 479 480 Standard_Op_Rotate_Left : Entity_Id; 481 Standard_Op_Rotate_Right : Entity_Id; 482 Standard_Op_Shift_Left : Entity_Id; 483 Standard_Op_Shift_Right : Entity_Id; 484 Standard_Op_Shift_Right_Arithmetic : Entity_Id; 485 -- These entities are used for shift operators generated by the expander 486 487end Stand; 488