1------------------------------------------------------------------------------ 2-- -- 3-- GNAT RUN-TIME COMPONENTS -- 4-- -- 5-- A D A . T A G S -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- 10-- -- 11-- This specification is derived from the Ada Reference Manual for use with -- 12-- GNAT. The copyright notice above, and the license provisions that follow -- 13-- apply solely to the contents of the part following the private keyword. -- 14-- -- 15-- GNAT is free software; you can redistribute it and/or modify it under -- 16-- terms of the GNU General Public License as published by the Free Soft- -- 17-- ware Foundation; either version 3, or (at your option) any later ver- -- 18-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 19-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- 20-- or FITNESS FOR A PARTICULAR PURPOSE. -- 21-- -- 22-- As a special exception under Section 7 of GPL version 3, you are granted -- 23-- additional permissions described in the GCC Runtime Library Exception, -- 24-- version 3.1, as published by the Free Software Foundation. -- 25-- -- 26-- You should have received a copy of the GNU General Public License and -- 27-- a copy of the GCC Runtime Library Exception along with this program; -- 28-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- 29-- <http://www.gnu.org/licenses/>. -- 30-- -- 31-- GNAT was originally developed by the GNAT team at New York University. -- 32-- Extensive contributions were provided by Ada Core Technologies Inc. -- 33-- -- 34------------------------------------------------------------------------------ 35 36-- For performance analysis, take into account that the operations in this 37-- package provide the guarantee that all dispatching calls on primitive 38-- operations of tagged types and interfaces take constant time (in terms 39-- of source lines executed), that is to say, the cost of these calls is 40-- independent of the number of primitives of the type or interface, and 41-- independent of the number of ancestors or interface progenitors that a 42-- tagged type may have. 43 44-- The following subprograms of the public part of this package take constant 45-- time (in terms of source lines executed): 46 47-- Expanded_Name, Wide_Expanded_Name, Wide_Wide_Expanded_Name, External_Tag, 48-- Is_Descendant_At_Same_Level, Parent_Tag, Type_Is_Abstract 49-- Descendant_Tag (when used with a library-level tagged type), 50-- Internal_Tag (when used with a library-level tagged type). 51 52-- The following subprograms of the public part of this package execute in 53-- time that is not constant (in terms of sources line executed): 54 55-- Internal_Tag (when used with a locally defined tagged type), because in 56-- such cases this routine processes the external tag, extracts from it an 57-- address available there, and converts it into the tag value returned by 58-- this function. The number of instructions executed is not constant since 59-- it depends on the length of the external tag string. 60 61-- Descendant_Tag (when used with a locally defined tagged type), because 62-- it relies on the subprogram Internal_Tag() to provide its functionality. 63 64-- Interface_Ancestor_Tags, because this function returns a table whose 65-- length depends on the number of interfaces covered by a tagged type. 66 67with System.Storage_Elements; 68 69package Ada.Tags is 70 pragma Preelaborate; 71 -- In accordance with Ada 2005 AI-362 72 73 type Tag is private; 74 pragma Preelaborable_Initialization (Tag); 75 76 No_Tag : constant Tag; 77 78 function Expanded_Name (T : Tag) return String; 79 80 function Wide_Expanded_Name (T : Tag) return Wide_String; 81 pragma Ada_05 (Wide_Expanded_Name); 82 83 function Wide_Wide_Expanded_Name (T : Tag) return Wide_Wide_String; 84 pragma Ada_05 (Wide_Wide_Expanded_Name); 85 86 function External_Tag (T : Tag) return String; 87 88 function Internal_Tag (External : String) return Tag; 89 90 function Descendant_Tag 91 (External : String; 92 Ancestor : Tag) return Tag; 93 pragma Ada_05 (Descendant_Tag); 94 95 function Is_Descendant_At_Same_Level 96 (Descendant : Tag; 97 Ancestor : Tag) return Boolean; 98 pragma Ada_05 (Is_Descendant_At_Same_Level); 99 100 function Parent_Tag (T : Tag) return Tag; 101 pragma Ada_05 (Parent_Tag); 102 103 type Tag_Array is array (Positive range <>) of Tag; 104 105 function Interface_Ancestor_Tags (T : Tag) return Tag_Array; 106 pragma Ada_05 (Interface_Ancestor_Tags); 107 108 function Type_Is_Abstract (T : Tag) return Boolean; 109 pragma Ada_2012 (Type_Is_Abstract); 110 111 Tag_Error : exception; 112 113private 114 -- Structure of the GNAT Primary Dispatch Table 115 116 -- +--------------------+ 117 -- | Signature | 118 -- +--------------------+ 119 -- | Tagged_Kind | 120 -- +--------------------+ Predef Prims 121 -- | Predef_Prims -----------------------------> +------------+ 122 -- +--------------------+ | table of | 123 -- | Offset_To_Top | | predefined | 124 -- +--------------------+ | primitives | 125 -- |Typeinfo_Ptr/TSD_Ptr---> Type Specific Data +------------+ 126 -- Tag ---> +--------------------+ +-------------------+ 127 -- | table of | | inheritance depth | 128 -- : primitive ops : +-------------------+ 129 -- | pointers | | access level | 130 -- +--------------------+ +-------------------+ 131 -- | alignment | 132 -- +-------------------+ 133 -- | expanded name | 134 -- +-------------------+ 135 -- | external tag | 136 -- +-------------------+ 137 -- | hash table link | 138 -- +-------------------+ 139 -- | transportable | 140 -- +-------------------+ 141 -- | type_is_abstract | 142 -- +-------------------+ 143 -- | needs finalization| 144 -- +-------------------+ 145 -- | Ifaces_Table ---> Interface Data 146 -- +-------------------+ +------------+ 147 -- Select Specific Data <---- SSD | | Nb_Ifaces | 148 -- +------------------+ +-------------------+ +------------+ 149 -- |table of primitive| | table of | | table | 150 -- : operation : : ancestor : : of : 151 -- | kinds | | tags | | interfaces | 152 -- +------------------+ +-------------------+ +------------+ 153 -- |table of | 154 -- : entry : 155 -- | indexes | 156 -- +------------------+ 157 158 -- Structure of the GNAT Secondary Dispatch Table 159 160 -- +--------------------+ 161 -- | Signature | 162 -- +--------------------+ 163 -- | Tagged_Kind | 164 -- +--------------------+ Predef Prims 165 -- | Predef_Prims -----------------------------> +------------+ 166 -- +--------------------+ | table of | 167 -- | Offset_To_Top | | predefined | 168 -- +--------------------+ | primitives | 169 -- | OSD_Ptr |---> Object Specific Data | thunks | 170 -- Tag ---> +--------------------+ +---------------+ +------------+ 171 -- | table of | | num prim ops | 172 -- : primitive op : +---------------+ 173 -- | thunk pointers | | table of | 174 -- +--------------------+ + primitive | 175 -- | op offsets | 176 -- +---------------+ 177 178 -- The runtime information kept for each tagged type is separated into two 179 -- objects: the Dispatch Table and the Type Specific Data record. 180 181 package SSE renames System.Storage_Elements; 182 183 subtype Cstring is String (Positive); 184 type Cstring_Ptr is access all Cstring; 185 pragma No_Strict_Aliasing (Cstring_Ptr); 186 187 -- Declarations for the table of interfaces 188 189 type Offset_To_Top_Function_Ptr is 190 access function (This : System.Address) return SSE.Storage_Offset; 191 -- Type definition used to call the function that is generated by the 192 -- expander in case of tagged types with discriminants that have secondary 193 -- dispatch tables. This function provides the Offset_To_Top value in this 194 -- specific case. 195 196 type Interface_Data_Element is record 197 Iface_Tag : Tag; 198 Static_Offset_To_Top : Boolean; 199 Offset_To_Top_Value : SSE.Storage_Offset; 200 Offset_To_Top_Func : Offset_To_Top_Function_Ptr; 201 Secondary_DT : Tag; 202 end record; 203 -- If some ancestor of the tagged type has discriminants the field 204 -- Static_Offset_To_Top is False and the field Offset_To_Top_Func 205 -- is used to store the access to the function generated by the 206 -- expander which provides this value; otherwise Static_Offset_To_Top 207 -- is True and such value is stored in the Offset_To_Top_Value field. 208 -- Secondary_DT references a secondary dispatch table whose contents 209 -- are pointers to the primitives of the tagged type that cover the 210 -- interface primitives. Secondary_DT gives support to dispatching 211 -- calls through interface types associated with Generic Dispatching 212 -- Constructors. 213 214 type Interfaces_Array is array (Natural range <>) of Interface_Data_Element; 215 216 type Interface_Data (Nb_Ifaces : Positive) is record 217 Ifaces_Table : Interfaces_Array (1 .. Nb_Ifaces); 218 end record; 219 220 type Interface_Data_Ptr is access all Interface_Data; 221 -- Table of abstract interfaces used to give support to backward interface 222 -- conversions and also to IW_Membership. 223 224 -- Primitive operation kinds. These values differentiate the kinds of 225 -- callable entities stored in the dispatch table. Certain kinds may 226 -- not be used, but are added for completeness. 227 228 type Prim_Op_Kind is 229 (POK_Function, 230 POK_Procedure, 231 POK_Protected_Entry, 232 POK_Protected_Function, 233 POK_Protected_Procedure, 234 POK_Task_Entry, 235 POK_Task_Function, 236 POK_Task_Procedure); 237 238 -- Select specific data types 239 240 type Select_Specific_Data_Element is record 241 Index : Positive; 242 Kind : Prim_Op_Kind; 243 end record; 244 245 type Select_Specific_Data_Array is 246 array (Positive range <>) of Select_Specific_Data_Element; 247 248 type Select_Specific_Data (Nb_Prim : Positive) is record 249 SSD_Table : Select_Specific_Data_Array (1 .. Nb_Prim); 250 -- NOTE: Nb_Prim is the number of non-predefined primitive operations 251 end record; 252 253 type Select_Specific_Data_Ptr is access all Select_Specific_Data; 254 -- A table used to store the primitive operation kind and entry index of 255 -- primitive subprograms of a type that implements a limited interface. 256 -- The Select Specific Data table resides in the Type Specific Data of a 257 -- type. This construct is used in the handling of dispatching triggers 258 -- in select statements. 259 260 type Prim_Ptr is access procedure; 261 type Address_Array is array (Positive range <>) of Prim_Ptr; 262 263 subtype Dispatch_Table is Address_Array (1 .. 1); 264 -- Used by GDB to identify the _tags and traverse the run-time structure 265 -- associated with tagged types. For compatibility with older versions of 266 -- gdb, its name must not be changed. 267 268 type Tag is access all Dispatch_Table; 269 pragma No_Strict_Aliasing (Tag); 270 271 type Interface_Tag is access all Dispatch_Table; 272 273 No_Tag : constant Tag := null; 274 275 -- The expander ensures that Tag objects reference the Prims_Ptr component 276 -- of the wrapper. 277 278 type Tag_Ptr is access all Tag; 279 pragma No_Strict_Aliasing (Tag_Ptr); 280 281 type Offset_To_Top_Ptr is access all SSE.Storage_Offset; 282 pragma No_Strict_Aliasing (Offset_To_Top_Ptr); 283 284 type Tag_Table is array (Natural range <>) of Tag; 285 286 type Size_Ptr is 287 access function (A : System.Address) return Long_Long_Integer; 288 289 type Type_Specific_Data (Idepth : Natural) is record 290 -- The discriminant Idepth is the Inheritance Depth Level: Used to 291 -- implement the membership test associated with single inheritance of 292 -- tagged types in constant-time. It also indicates the size of the 293 -- Tags_Table component. 294 295 Access_Level : Natural; 296 -- Accessibility level required to give support to Ada 2005 nested type 297 -- extensions. This feature allows safe nested type extensions by 298 -- shifting the accessibility checks to certain operations, rather than 299 -- being enforced at the type declaration. In particular, by performing 300 -- run-time accessibility checks on class-wide allocators, class-wide 301 -- function return, and class-wide stream I/O, the danger of objects 302 -- outliving their type declaration can be eliminated (Ada 2005: AI-344) 303 304 Alignment : Natural; 305 Expanded_Name : Cstring_Ptr; 306 External_Tag : Cstring_Ptr; 307 HT_Link : Tag_Ptr; 308 -- Components used to support to the Ada.Tags subprograms in RM 3.9 309 310 -- Note: Expanded_Name is referenced by GDB to determine the actual name 311 -- of the tagged type. Its requirements are: 1) it must have this exact 312 -- name, and 2) its contents must point to a C-style Nul terminated 313 -- string containing its expanded name. GDB has no requirement on a 314 -- given position inside the record. 315 316 Transportable : Boolean; 317 -- Used to check RM E.4(18), set for types that satisfy the requirements 318 -- for being used in remote calls as actuals for classwide formals or as 319 -- return values for classwide functions. 320 321 Type_Is_Abstract : Boolean; 322 -- True if the type is abstract (Ada 2012: AI05-0173) 323 324 Needs_Finalization : Boolean; 325 -- Used to dynamically check whether an object is controlled or not 326 327 Size_Func : Size_Ptr; 328 -- Pointer to the subprogram computing the _size of the object. Used by 329 -- the run-time whenever a call to the 'size primitive is required. We 330 -- cannot assume that the contents of dispatch tables are addresses 331 -- because in some architectures the ABI allows descriptors. 332 333 Interfaces_Table : Interface_Data_Ptr; 334 -- Pointer to the table of interface tags. It is used to implement the 335 -- membership test associated with interfaces and also for backward 336 -- abstract interface type conversions (Ada 2005:AI-251) 337 338 SSD : Select_Specific_Data_Ptr; 339 -- Pointer to a table of records used in dispatching selects. This field 340 -- has a meaningful value for all tagged types that implement a limited, 341 -- protected, synchronized or task interfaces and have non-predefined 342 -- primitive operations. 343 344 Tags_Table : Tag_Table (0 .. Idepth); 345 -- Table of ancestor tags. Its size actually depends on the inheritance 346 -- depth level of the tagged type. 347 end record; 348 349 type Type_Specific_Data_Ptr is access all Type_Specific_Data; 350 pragma No_Strict_Aliasing (Type_Specific_Data_Ptr); 351 352 -- Declarations for the dispatch table record 353 354 type Signature_Kind is 355 (Unknown, 356 Primary_DT, 357 Secondary_DT); 358 359 -- Tagged type kinds with respect to concurrency and limitedness 360 361 type Tagged_Kind is 362 (TK_Abstract_Limited_Tagged, 363 TK_Abstract_Tagged, 364 TK_Limited_Tagged, 365 TK_Protected, 366 TK_Tagged, 367 TK_Task); 368 369 type Dispatch_Table_Wrapper (Num_Prims : Natural) is record 370 Signature : Signature_Kind; 371 Tag_Kind : Tagged_Kind; 372 Predef_Prims : System.Address; 373 -- Pointer to the dispatch table of predefined Ada primitives 374 375 -- According to the C++ ABI the components Offset_To_Top and TSD are 376 -- stored just "before" the dispatch table, and they are referenced with 377 -- negative offsets referring to the base of the dispatch table. The 378 -- _Tag (or the VTable_Ptr in C++ terminology) must point to the base 379 -- of the virtual table, just after these components, to point to the 380 -- Prims_Ptr table. 381 382 Offset_To_Top : SSE.Storage_Offset; 383 TSD : System.Address; 384 385 Prims_Ptr : aliased Address_Array (1 .. Num_Prims); 386 -- The size of the Prims_Ptr array actually depends on the tagged type 387 -- to which it applies. For each tagged type, the expander computes the 388 -- actual array size, allocates the Dispatch_Table record accordingly. 389 end record; 390 391 type Dispatch_Table_Ptr is access all Dispatch_Table_Wrapper; 392 pragma No_Strict_Aliasing (Dispatch_Table_Ptr); 393 394 -- The following type declaration is used by the compiler when the program 395 -- is compiled with restriction No_Dispatching_Calls. It is also used with 396 -- interface types to generate the tag and run-time information associated 397 -- with them. 398 399 type No_Dispatch_Table_Wrapper is record 400 NDT_TSD : System.Address; 401 NDT_Prims_Ptr : Natural; 402 end record; 403 404 DT_Predef_Prims_Size : constant SSE.Storage_Count := 405 SSE.Storage_Count 406 (1 * (Standard'Address_Size / 407 System.Storage_Unit)); 408 -- Size of the Predef_Prims field of the Dispatch_Table 409 410 DT_Offset_To_Top_Size : constant SSE.Storage_Count := 411 SSE.Storage_Count 412 (1 * (Standard'Address_Size / 413 System.Storage_Unit)); 414 -- Size of the Offset_To_Top field of the Dispatch Table 415 416 DT_Typeinfo_Ptr_Size : constant SSE.Storage_Count := 417 SSE.Storage_Count 418 (1 * (Standard'Address_Size / 419 System.Storage_Unit)); 420 -- Size of the Typeinfo_Ptr field of the Dispatch Table 421 422 use type System.Storage_Elements.Storage_Offset; 423 424 DT_Offset_To_Top_Offset : constant SSE.Storage_Count := 425 DT_Typeinfo_Ptr_Size 426 + DT_Offset_To_Top_Size; 427 428 DT_Predef_Prims_Offset : constant SSE.Storage_Count := 429 DT_Typeinfo_Ptr_Size 430 + DT_Offset_To_Top_Size 431 + DT_Predef_Prims_Size; 432 -- Offset from Prims_Ptr to Predef_Prims component 433 434 -- Object Specific Data record of secondary dispatch tables 435 436 type Object_Specific_Data_Array is array (Positive range <>) of Positive; 437 438 type Object_Specific_Data (OSD_Num_Prims : Positive) is record 439 OSD_Table : Object_Specific_Data_Array (1 .. OSD_Num_Prims); 440 -- Table used in secondary DT to reference their counterpart in the 441 -- select specific data (in the TSD of the primary DT). This construct 442 -- is used in the handling of dispatching triggers in select statements. 443 -- Nb_Prim is the number of non-predefined primitive operations. 444 end record; 445 446 type Object_Specific_Data_Ptr is access all Object_Specific_Data; 447 pragma No_Strict_Aliasing (Object_Specific_Data_Ptr); 448 449 -- The following subprogram specifications are placed here instead of the 450 -- package body to see them from the frontend through rtsfind. 451 452 function Base_Address (This : System.Address) return System.Address; 453 -- Ada 2005 (AI-251): Displace "This" to point to the base address of the 454 -- object (that is, the address of the primary tag of the object). 455 456 procedure Check_TSD (TSD : Type_Specific_Data_Ptr); 457 -- Ada 2012 (AI-113): Raise Program_Error if the external tag of this TSD 458 -- is the same as the external tag for some other tagged type declaration. 459 460 function Displace (This : System.Address; T : Tag) return System.Address; 461 -- Ada 2005 (AI-251): Displace "This" to point to the secondary dispatch 462 -- table of T. 463 464 function Secondary_Tag (T, Iface : Tag) return Tag; 465 -- Ada 2005 (AI-251): Given a primary tag T associated with a tagged type 466 -- Typ, search for the secondary tag of the interface type Iface covered 467 -- by Typ. 468 469 function DT (T : Tag) return Dispatch_Table_Ptr; 470 -- Return the pointer to the TSD record associated with T 471 472 function Get_Entry_Index (T : Tag; Position : Positive) return Positive; 473 -- Ada 2005 (AI-251): Return a primitive operation's entry index (if entry) 474 -- given a dispatch table T and a position of a primitive operation in T. 475 476 function Get_Offset_Index 477 (T : Tag; 478 Position : Positive) return Positive; 479 -- Ada 2005 (AI-251): Given a pointer to a secondary dispatch table (T) 480 -- and a position of an operation in the DT, retrieve the corresponding 481 -- operation's position in the primary dispatch table from the Offset 482 -- Specific Data table of T. 483 484 function Get_Prim_Op_Kind 485 (T : Tag; 486 Position : Positive) return Prim_Op_Kind; 487 -- Ada 2005 (AI-251): Return a primitive operation's kind given a dispatch 488 -- table T and a position of a primitive operation in T. 489 490 function Get_Tagged_Kind (T : Tag) return Tagged_Kind; 491 -- Ada 2005 (AI-345): Given a pointer to either a primary or a secondary 492 -- dispatch table, return the tagged kind of a type in the context of 493 -- concurrency and limitedness. 494 495 function IW_Membership (This : System.Address; T : Tag) return Boolean; 496 -- Ada 2005 (AI-251): General routine that checks if a given object 497 -- implements a tagged type. Its common usage is to check if Obj is in 498 -- Iface'Class, but it is also used to check if a class-wide interface 499 -- implements a given type (Iface_CW_Typ in T'Class). For example: 500 -- 501 -- type I is interface; 502 -- type T is tagged ... 503 -- 504 -- function Test (O : I'Class) is 505 -- begin 506 -- return O in T'Class. 507 -- end Test; 508 509 function Offset_To_Top 510 (This : System.Address) return SSE.Storage_Offset; 511 -- Ada 2005 (AI-251): Returns the current value of the Offset_To_Top 512 -- component available in the prologue of the dispatch table. If the parent 513 -- of the tagged type has discriminants this value is stored in a record 514 -- component just immediately after the tag component. 515 516 function Needs_Finalization (T : Tag) return Boolean; 517 -- A helper routine used in conjunction with finalization collections which 518 -- service class-wide types. The function dynamically determines whether an 519 -- object is controlled or has controlled components. 520 521 function Parent_Size 522 (Obj : System.Address; 523 T : Tag) return SSE.Storage_Count; 524 -- Computes the size the ancestor part of a tagged extension object whose 525 -- address is 'obj' by calling indirectly the ancestor _size function. The 526 -- ancestor is the parent of the type represented by tag T. This function 527 -- assumes that _size is always in slot one of the dispatch table. 528 529 procedure Register_Interface_Offset 530 (This : System.Address; 531 Interface_T : Tag; 532 Is_Static : Boolean; 533 Offset_Value : SSE.Storage_Offset; 534 Offset_Func : Offset_To_Top_Function_Ptr); 535 -- Register in the table of interfaces of the tagged type associated with 536 -- "This" object the offset of the record component associated with the 537 -- progenitor Interface_T (that is, the distance from "This" to the object 538 -- component containing the tag of the secondary dispatch table). In case 539 -- of constant offset, Is_Static is true and Offset_Value has such value. 540 -- In case of variable offset, Is_Static is false and Offset_Func is an 541 -- access to function that must be called to evaluate the offset. 542 543 procedure Register_Tag (T : Tag); 544 -- Insert the Tag and its associated external_tag in a table for the sake 545 -- of Internal_Tag. 546 547 procedure Set_Dynamic_Offset_To_Top 548 (This : System.Address; 549 Interface_T : Tag; 550 Offset_Value : SSE.Storage_Offset; 551 Offset_Func : Offset_To_Top_Function_Ptr); 552 -- Ada 2005 (AI-251): The compiler generates calls to this routine only 553 -- when initializing the Offset_To_Top field of dispatch tables associated 554 -- with tagged type whose parent has variable size components. "This" is 555 -- the object whose dispatch table is being initialized. Interface_T is the 556 -- interface for which the secondary dispatch table is being initialized, 557 -- and Offset_Value is the distance from "This" to the object component 558 -- containing the tag of the secondary dispatch table (a zero value means 559 -- that this interface shares the primary dispatch table). Offset_Func 560 -- references a function that must be called to evaluate the offset at 561 -- runtime. This routine also takes care of registering these values in 562 -- the table of interfaces of the type. 563 564 procedure Set_Entry_Index (T : Tag; Position : Positive; Value : Positive); 565 -- Ada 2005 (AI-345): Set the entry index of a primitive operation in T's 566 -- TSD table indexed by Position. 567 568 procedure Set_Prim_Op_Kind 569 (T : Tag; 570 Position : Positive; 571 Value : Prim_Op_Kind); 572 -- Ada 2005 (AI-251): Set the kind of a primitive operation in T's TSD 573 -- table indexed by Position. 574 575 procedure Unregister_Tag (T : Tag); 576 -- Remove a particular tag from the external tag hash table 577 578 Max_Predef_Prims : constant Positive := 15; 579 -- Number of reserved slots for the following predefined ada primitives: 580 -- 581 -- 1. Size 582 -- 2. Read 583 -- 3. Write 584 -- 4. Input 585 -- 5. Output 586 -- 6. "=" 587 -- 7. assignment 588 -- 8. deep adjust 589 -- 9. deep finalize 590 -- 10. async select 591 -- 11. conditional select 592 -- 12. prim_op kind 593 -- 13. task_id 594 -- 14. dispatching requeue 595 -- 15. timed select 596 -- 597 -- The compiler checks that the value here is correct 598 599 subtype Predef_Prims_Table is Address_Array (1 .. Max_Predef_Prims); 600 type Predef_Prims_Table_Ptr is access Predef_Prims_Table; 601 pragma No_Strict_Aliasing (Predef_Prims_Table_Ptr); 602 603 type Addr_Ptr is access System.Address; 604 pragma No_Strict_Aliasing (Addr_Ptr); 605 -- This type is used by the frontend to generate the code that handles 606 -- dispatch table slots of types declared at the local level. 607 608end Ada.Tags; 609