OSDN Git Service

2009-04-08 Thomas Quinot <quinot@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / einfo.adb
1 ------------------------------------------------------------------------------
2 --                                                                          --
3 --                         GNAT COMPILER COMPONENTS                         --
4 --                                                                          --
5 --                                E I N F O                                 --
6 --                                                                          --
7 --                                 B o d y                                  --
8 --                                                                          --
9 --          Copyright (C) 1992-2008, 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 2,  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 COPYING.  If not, write --
19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
20 -- Boston, MA 02110-1301, USA.                                              --
21 --                                                                          --
22 -- As a special exception,  if other files  instantiate  generics from this --
23 -- unit, or you link  this unit with other files  to produce an executable, --
24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
25 -- covered  by the  GNU  General  Public  License.  This exception does not --
26 -- however invalidate  any other reasons why  the executable file  might be --
27 -- covered by the  GNU Public License.                                      --
28 --                                                                          --
29 -- GNAT was originally developed  by the GNAT team at  New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
31 --                                                                          --
32 ------------------------------------------------------------------------------
33
34 pragma Style_Checks (All_Checks);
35 --  Turn off subprogram ordering, not used for this unit
36
37 with Atree;  use Atree;
38 with Nlists; use Nlists;
39 with Output; use Output;
40 with Sinfo;  use Sinfo;
41 with Stand;  use Stand;
42
43 package body Einfo is
44
45    use Atree.Unchecked_Access;
46    --  This is one of the packages that is allowed direct untyped access to
47    --  the fields in a node, since it provides the next level abstraction
48    --  which incorporates appropriate checks.
49
50    ----------------------------------------------
51    -- Usage of Fields in Defining Entity Nodes --
52    ----------------------------------------------
53
54    --  Four of these fields are defined in Sinfo, since they in are the
55    --  base part of the node. The access routines for these fields and
56    --  the corresponding set procedures are defined in Sinfo. These fields
57    --  are present in all entities. Note that Homonym is also in the base
58    --  part of the node, but has access routines that are more properly
59    --  part of Einfo, which is why they are defined here.
60
61    --    Chars                           Name1
62    --    Next_Entity                     Node2
63    --    Scope                           Node3
64    --    Etype                           Node5
65
66    --   Remaining fields are present only in extended nodes (i.e. entities)
67
68    --  The following fields are present in all entities
69
70    --    Homonym                         Node4
71    --    First_Rep_Item                  Node6
72    --    Freeze_Node                     Node7
73
74    --  The usage of other fields (and the entity kinds to which it applies)
75    --  depends on the particular field (see Einfo spec for details).
76
77    --    Associated_Node_For_Itype       Node8
78    --    Dependent_Instances             Elist8
79    --    Hiding_Loop_Variable            Node8
80    --    Mechanism                       Uint8 (but returns Mechanism_Type)
81    --    Normalized_First_Bit            Uint8
82    --    Return_Applies_To               Node8
83
84    --    Class_Wide_Type                 Node9
85    --    Current_Value                   Node9
86    --    Renaming_Map                    Uint9
87
88    --    Discriminal_Link                Node10
89    --    Handler_Records                 List10
90    --    Normalized_Position_Max         Uint10
91    --    Referenced_Object               Node10
92
93    --    Component_Bit_Offset            Uint11
94    --    Full_View                       Node11
95    --    Entry_Component                 Node11
96    --    Enumeration_Pos                 Uint11
97    --    Generic_Homonym                 Node11
98    --    Protected_Body_Subprogram       Node11
99    --    Block_Node                      Node11
100
101    --    Barrier_Function                Node12
102    --    Enumeration_Rep                 Uint12
103    --    Esize                           Uint12
104    --    Next_Inlined_Subprogram         Node12
105
106    --    Corresponding_Equality          Node13
107    --    Component_Clause                Node13
108    --    Elaboration_Entity              Node13
109    --    Extra_Accessibility             Node13
110    --    RM_Size                         Uint13
111
112    --    Alignment                       Uint14
113    --    First_Optional_Parameter        Node14
114    --    Normalized_Position             Uint14
115    --    Shadow_Entities                 List14
116
117    --    Discriminant_Number             Uint15
118    --    DT_Position                     Uint15
119    --    DT_Entry_Count                  Uint15
120    --    Entry_Bodies_Array              Node15
121    --    Entry_Parameters_Type           Node15
122    --    Extra_Formal                    Node15
123    --    Lit_Indexes                     Node15
124    --    Primitive_Operations            Elist15
125    --    Related_Instance                Node15
126    --    Scale_Value                     Uint15
127    --    Storage_Size_Variable           Node15
128    --    String_Literal_Low_Bound        Node15
129
130    --    Access_Disp_Table               Elist16
131    --    Cloned_Subtype                  Node16
132    --    DTC_Entity                      Node16
133    --    Entry_Formal                    Node16
134    --    First_Private_Entity            Node16
135    --    Lit_Strings                     Node16
136    --    String_Literal_Length           Uint16
137    --    Unset_Reference                 Node16
138
139    --    Actual_Subtype                  Node17
140    --    Digits_Value                    Uint17
141    --    Discriminal                     Node17
142    --    First_Entity                    Node17
143    --    First_Index                     Node17
144    --    First_Literal                   Node17
145    --    Master_Id                       Node17
146    --    Modulus                         Uint17
147    --    Non_Limited_View                Node17
148    --    Prival                          Node17
149
150    --    Alias                           Node18
151    --    Corresponding_Concurrent_Type   Node18
152    --    Corresponding_Record_Type       Node18
153    --    Delta_Value                     Ureal18
154    --    Enclosing_Scope                 Node18
155    --    Equivalent_Type                 Node18
156    --    Private_Dependents              Elist18
157    --    Renamed_Entity                  Node18
158    --    Renamed_Object                  Node18
159
160    --    Body_Entity                     Node19
161    --    Corresponding_Discriminant      Node19
162    --    Finalization_Chain_Entity       Node19
163    --    Parent_Subtype                  Node19
164    --    Related_Array_Object            Node19
165    --    Size_Check_Code                 Node19
166    --    Spec_Entity                     Node19
167    --    Underlying_Full_View            Node19
168
169    --    Component_Type                  Node20
170    --    Default_Value                   Node20
171    --    Directly_Designated_Type        Node20
172    --    Discriminant_Checking_Func      Node20
173    --    Discriminant_Default_Value      Node20
174    --    Last_Entity                     Node20
175    --    Prival_Link                     Node20
176    --    Register_Exception_Call         Node20
177    --    Scalar_Range                    Node20
178
179    --    Accept_Address                  Elist21
180    --    Default_Expr_Function           Node21
181    --    Discriminant_Constraint         Elist21
182    --    Interface_Name                  Node21
183    --    Original_Array_Type             Node21
184    --    Small_Value                     Ureal21
185
186    --    Associated_Storage_Pool         Node22
187    --    Component_Size                  Uint22
188    --    Corresponding_Remote_Type       Node22
189    --    Enumeration_Rep_Expr            Node22
190    --    Exception_Code                  Uint22
191    --    Original_Record_Component       Node22
192    --    Private_View                    Node22
193    --    Protected_Formal                Node22
194    --    Scope_Depth_Value               Uint22
195    --    Shared_Var_Procs_Instance       Node22
196
197    --    Associated_Final_Chain          Node23
198    --    CR_Discriminant                 Node23
199    --    Entry_Cancel_Parameter          Node23
200    --    Enum_Pos_To_Rep                 Node23
201    --    Extra_Constrained               Node23
202    --    Generic_Renamings               Elist23
203    --    Inner_Instances                 Elist23
204    --    Limited_View                    Node23
205    --    Packed_Array_Type               Node23
206    --    Protection_Object               Node23
207    --    Stored_Constraint               Elist23
208
209    --    Spec_PPC_List                   Node24
210
211    --    Interface_Alias                 Node25
212    --    Interfaces                      Elist25
213    --    Debug_Renaming_Link             Node25
214    --    DT_Offset_To_Top_Func           Node25
215    --    Task_Body_Procedure             Node25
216
217    --    Dispatch_Table_Wrapper          Node26
218    --    Last_Assignment                 Node26
219    --    Overridden_Operation            Node26
220    --    Package_Instantiation           Node26
221    --    Related_Type                    Node26
222    --    Relative_Deadline_Variable      Node26
223    --    Static_Initialization           Node26
224
225    --    Current_Use_Clause              Node27
226    --    Wrapped_Entity                  Node27
227
228    --    Extra_Formals                   Node28
229
230    ---------------------------------------------
231    -- Usage of Flags in Defining Entity Nodes --
232    ---------------------------------------------
233
234    --  All flags are unique, there is no overlaying, so each flag is physically
235    --  present in every entity. However, for many of the flags, it only makes
236    --  sense for them to be set true for certain subsets of entity kinds. See
237    --  the spec of Einfo for further details.
238
239    --  Note: Flag1-Flag3 are absent from this list, since these flag positions
240    --  are used for the flags Analyzed, Comes_From_Source, and Error_Posted,
241    --  which are common to all nodes, including entity nodes.
242
243    --    Is_Frozen                       Flag4
244    --    Has_Discriminants               Flag5
245    --    Is_Dispatching_Operation        Flag6
246    --    Is_Immediately_Visible          Flag7
247    --    In_Use                          Flag8
248    --    Is_Potentially_Use_Visible      Flag9
249    --    Is_Public                       Flag10
250
251    --    Is_Inlined                      Flag11
252    --    Is_Constrained                  Flag12
253    --    Is_Generic_Type                 Flag13
254    --    Depends_On_Private              Flag14
255    --    Is_Aliased                      Flag15
256    --    Is_Volatile                     Flag16
257    --    Is_Internal                     Flag17
258    --    Has_Delayed_Freeze              Flag18
259    --    Is_Abstract_Subprogram          Flag19
260    --    Is_Concurrent_Record_Type       Flag20
261
262    --    Has_Master_Entity               Flag21
263    --    Needs_No_Actuals                Flag22
264    --    Has_Storage_Size_Clause         Flag23
265    --    Is_Imported                     Flag24
266    --    Is_Limited_Record               Flag25
267    --    Has_Completion                  Flag26
268    --    Has_Pragma_Controlled           Flag27
269    --    Is_Statically_Allocated         Flag28
270    --    Has_Size_Clause                 Flag29
271    --    Has_Task                        Flag30
272
273    --    Checks_May_Be_Suppressed        Flag31
274    --    Kill_Elaboration_Checks         Flag32
275    --    Kill_Range_Checks               Flag33
276    --    Kill_Tag_Checks                 Flag34
277    --    Is_Class_Wide_Equivalent_Type   Flag35
278    --    Referenced_As_LHS               Flag36
279    --    Is_Known_Non_Null               Flag37
280    --    Can_Never_Be_Null               Flag38
281    --    Is_Overriding_Operation         Flag39
282    --    Body_Needed_For_SAL             Flag40
283
284    --    Treat_As_Volatile               Flag41
285    --    Is_Controlled                   Flag42
286    --    Has_Controlled_Component        Flag43
287    --    Is_Pure                         Flag44
288    --    In_Private_Part                 Flag45
289    --    Has_Alignment_Clause            Flag46
290    --    Has_Exit                        Flag47
291    --    In_Package_Body                 Flag48
292    --    Reachable                       Flag49
293    --    Delay_Subprogram_Descriptors    Flag50
294
295    --    Is_Packed                       Flag51
296    --    Is_Entry_Formal                 Flag52
297    --    Is_Private_Descendant           Flag53
298    --    Return_Present                  Flag54
299    --    Is_Tagged_Type                  Flag55
300    --    Has_Homonym                     Flag56
301    --    Is_Hidden                       Flag57
302    --    Non_Binary_Modulus              Flag58
303    --    Is_Preelaborated                Flag59
304    --    Is_Shared_Passive               Flag60
305
306    --    Is_Remote_Types                 Flag61
307    --    Is_Remote_Call_Interface        Flag62
308    --    Is_Character_Type               Flag63
309    --    Is_Intrinsic_Subprogram         Flag64
310    --    Has_Record_Rep_Clause           Flag65
311    --    Has_Enumeration_Rep_Clause      Flag66
312    --    Has_Small_Clause                Flag67
313    --    Has_Component_Size_Clause       Flag68
314    --    Is_Access_Constant              Flag69
315    --    Is_First_Subtype                Flag70
316
317    --    Has_Completion_In_Body          Flag71
318    --    Has_Unknown_Discriminants       Flag72
319    --    Is_Child_Unit                   Flag73
320    --    Is_CPP_Class                    Flag74
321    --    Has_Non_Standard_Rep            Flag75
322    --    Is_Constructor                  Flag76
323    --    Static_Elaboration_Desired      Flag77
324    --    Is_Tag                          Flag78
325    --    Has_All_Calls_Remote            Flag79
326    --    Is_Constr_Subt_For_U_Nominal    Flag80
327
328    --    Is_Asynchronous                 Flag81
329    --    Has_Gigi_Rep_Item               Flag82
330    --    Has_Machine_Radix_Clause        Flag83
331    --    Machine_Radix_10                Flag84
332    --    Is_Atomic                       Flag85
333    --    Has_Atomic_Components           Flag86
334    --    Has_Volatile_Components         Flag87
335    --    Discard_Names                   Flag88
336    --    Is_Interrupt_Handler            Flag89
337    --    Returns_By_Ref                  Flag90
338
339    --    Is_Itype                        Flag91
340    --    Size_Known_At_Compile_Time      Flag92
341    --    Has_Subprogram_Descriptor       Flag93
342    --    Is_Generic_Actual_Type          Flag94
343    --    Uses_Sec_Stack                  Flag95
344    --    Warnings_Off                    Flag96
345    --    Is_Controlling_Formal           Flag97
346    --    Has_Controlling_Result          Flag98
347    --    Is_Exported                     Flag99
348    --    Has_Specified_Layout            Flag100
349
350    --    Has_Nested_Block_With_Handler   Flag101
351    --    Is_Called                       Flag102
352    --    Is_Completely_Hidden            Flag103
353    --    Address_Taken                   Flag104
354    --    Suppress_Init_Proc              Flag105
355    --    Is_Limited_Composite            Flag106
356    --    Is_Private_Composite            Flag107
357    --    Default_Expressions_Processed   Flag108
358    --    Is_Non_Static_Subtype           Flag109
359    --    Has_External_Tag_Rep_Clause     Flag110
360
361    --    Is_Formal_Subprogram            Flag111
362    --    Is_Renaming_Of_Object           Flag112
363    --    No_Return                       Flag113
364    --    Delay_Cleanups                  Flag114
365    --    Never_Set_In_Source             Flag115
366    --    Is_Visible_Child_Unit           Flag116
367    --    Is_Unchecked_Union              Flag117
368    --    Is_For_Access_Subtype           Flag118
369    --    Has_Convention_Pragma           Flag119
370    --    Has_Primitive_Operations        Flag120
371
372    --    Has_Pragma_Pack                 Flag121
373    --    Is_Bit_Packed_Array             Flag122
374    --    Has_Unchecked_Union             Flag123
375    --    Is_Eliminated                   Flag124
376    --    C_Pass_By_Copy                  Flag125
377    --    Is_Instantiated                 Flag126
378    --    Is_Valued_Procedure             Flag127
379    --    (used for Component_Alignment)  Flag128
380    --    (used for Component_Alignment)  Flag129
381    --    Is_Generic_Instance             Flag130
382
383    --    No_Pool_Assigned                Flag131
384    --    Is_AST_Entry                    Flag132
385    --    Is_VMS_Exception                Flag133
386    --    Is_Optional_Parameter           Flag134
387    --    Has_Aliased_Components          Flag135
388    --    No_Strict_Aliasing              Flag136
389    --    Is_Machine_Code_Subprogram      Flag137
390    --    Is_Packed_Array_Type            Flag138
391    --    Has_Biased_Representation       Flag139
392    --    Has_Complex_Representation      Flag140
393
394    --    Is_Constr_Subt_For_UN_Aliased   Flag141
395    --    Has_Missing_Return              Flag142
396    --    Has_Recursive_Call              Flag143
397    --    Is_Unsigned_Type                Flag144
398    --    Strict_Alignment                Flag145
399    --    Is_Abstract_Type                Flag146
400    --    Needs_Debug_Info                Flag147
401    --    Suppress_Elaboration_Warnings   Flag148
402    --    Is_Compilation_Unit             Flag149
403    --    Has_Pragma_Elaborate_Body       Flag150
404
405    --    Vax_Float                       Flag151
406    --    Entry_Accepted                  Flag152
407    --    Is_Obsolescent                  Flag153
408    --    Has_Per_Object_Constraint       Flag154
409    --    Has_Private_Declaration         Flag155
410    --    Referenced                      Flag156
411    --    Has_Pragma_Inline               Flag157
412    --    Finalize_Storage_Only           Flag158
413    --    From_With_Type                  Flag159
414    --    Is_Package_Body_Entity          Flag160
415
416    --    Has_Qualified_Name              Flag161
417    --    Nonzero_Is_True                 Flag162
418    --    Is_True_Constant                Flag163
419    --    Reverse_Bit_Order               Flag164
420    --    Suppress_Style_Checks           Flag165
421    --    Debug_Info_Off                  Flag166
422    --    Sec_Stack_Needed_For_Return     Flag167
423    --    Materialize_Entity              Flag168
424    --    Has_Pragma_Thread_Local_Storage Flag169
425    --    Is_Known_Valid                  Flag170
426
427    --    Is_Hidden_Open_Scope            Flag171
428    --    Has_Object_Size_Clause          Flag172
429    --    Has_Fully_Qualified_Name        Flag173
430    --    Elaboration_Entity_Required     Flag174
431    --    Has_Forward_Instantiation       Flag175
432    --    Is_Discrim_SO_Function          Flag176
433    --    Size_Depends_On_Discriminant    Flag177
434    --    Is_Null_Init_Proc               Flag178
435    --    Has_Pragma_Pure_Function        Flag179
436    --    Has_Pragma_Unreferenced         Flag180
437
438    --    Has_Contiguous_Rep              Flag181
439    --    Has_Xref_Entry                  Flag182
440    --    Must_Be_On_Byte_Boundary        Flag183
441    --    Has_Stream_Size_Clause          Flag184
442    --    Is_Ada_2005_Only                Flag185
443    --    Is_Interface                    Flag186
444    --    Has_Constrained_Partial_View    Flag187
445    --    Has_Persistent_BSS              Flag188
446    --    Is_Pure_Unit_Access_Type        Flag189
447    --    Has_Specified_Stream_Input      Flag190
448
449    --    Has_Specified_Stream_Output     Flag191
450    --    Has_Specified_Stream_Read       Flag192
451    --    Has_Specified_Stream_Write      Flag193
452    --    Is_Local_Anonymous_Access       Flag194
453    --    Is_Primitive_Wrapper            Flag195
454    --    Was_Hidden                      Flag196
455    --    Is_Limited_Interface            Flag197
456    --    Is_Protected_Interface          Flag198
457    --    Is_Synchronized_Interface       Flag199
458    --    Is_Task_Interface               Flag200
459
460    --    Has_Anon_Block_Suffix           Flag201
461    --    Itype_Printed                   Flag202
462    --    Has_Pragma_Pure                 Flag203
463    --    Is_Known_Null                   Flag204
464    --    Low_Bound_Known                 Flag205
465    --    Is_Visible_Formal               Flag206
466    --    Known_To_Have_Preelab_Init      Flag207
467    --    Must_Have_Preelab_Init          Flag208
468    --    Is_Return_Object                Flag209
469    --    Elaborate_Body_Desirable        Flag210
470
471    --    Has_Static_Discriminants        Flag211
472    --    Has_Pragma_Unreferenced_Objects Flag212
473    --    Requires_Overriding             Flag213
474    --    Has_RACW                        Flag214
475    --    Has_Up_Level_Access             Flag215
476    --    Universal_Aliasing              Flag216
477    --    Suppress_Value_Tracking_On_Call Flag217
478    --    Is_Primitive                    Flag218
479    --    Has_Initial_Value               Flag219
480    --    Has_Dispatch_Table              Flag220
481
482    --    Has_Pragma_Preelab_Init         Flag221
483    --    Used_As_Generic_Actual          Flag222
484    --    Is_Descendent_Of_Address        Flag223
485    --    Is_Raised                       Flag224
486    --    Is_Thunk                        Flag225
487    --    Is_Only_Out_Parameter           Flag226
488    --    Referenced_As_Out_Parameter     Flag227
489    --    Has_Thunks                      Flag228
490    --    Can_Use_Internal_Rep            Flag229
491    --    Has_Pragma_Inline_Always        Flag230
492
493    --    Renamed_In_Spec                 Flag231
494    --    Implemented_By_Entry            Flag232
495    --    Has_Pragma_Unmodified           Flag233
496    --    Is_Dispatch_Table_Entity        Flag234
497    --    Is_Trivial_Subprogram           Flag235
498    --    Warnings_Off_Used               Flag236
499    --    Warnings_Off_Used_Unmodified    Flag237
500    --    Warnings_Off_Used_Unreferenced  Flag238
501    --    OK_To_Reorder_Components        Flag239
502    --    Has_Postconditions              Flag240
503
504    --    Optimize_Alignment_Space        Flag241
505    --    Optimize_Alignment_Time         Flag242
506    --    Overlays_Constant               Flag243
507    --    Is_RACW_Stub_Type               Flag244
508    --    Is_Private_Primitive            Flag245
509
510    --    (unused)                        Flag246
511    --    (unused)                        Flag247
512
513    -----------------------
514    -- Local subprograms --
515    -----------------------
516
517    function Rep_Clause (Id : E; Rep_Name : Name_Id) return N;
518    --  Returns the attribute definition clause for Id whose name is Rep_Name.
519    --  Returns Empty if no matching attribute definition clause found for Id.
520
521    ----------------
522    -- Rep_Clause --
523    ----------------
524
525    function Rep_Clause (Id : E; Rep_Name : Name_Id) return N is
526       Ritem : Node_Id;
527
528    begin
529       Ritem := First_Rep_Item (Id);
530       while Present (Ritem) loop
531          if Nkind (Ritem) = N_Attribute_Definition_Clause
532            and then Chars (Ritem) = Rep_Name
533          then
534             return Ritem;
535          else
536             Ritem := Next_Rep_Item (Ritem);
537          end if;
538       end loop;
539
540       return Empty;
541    end Rep_Clause;
542
543    --------------------------------
544    -- Attribute Access Functions --
545    --------------------------------
546
547    function Accept_Address (Id : E) return L is
548    begin
549       return Elist21 (Id);
550    end Accept_Address;
551
552    function Access_Disp_Table (Id : E) return L is
553    begin
554       pragma Assert (Is_Tagged_Type (Id));
555       return Elist16 (Implementation_Base_Type (Id));
556    end Access_Disp_Table;
557
558    function Actual_Subtype (Id : E) return E is
559    begin
560       pragma Assert
561          (Ekind (Id) = E_Constant
562            or else Ekind (Id) = E_Variable
563            or else Ekind (Id) = E_Generic_In_Out_Parameter
564            or else Is_Formal (Id));
565       return Node17 (Id);
566    end Actual_Subtype;
567
568    function Address_Taken (Id : E) return B is
569    begin
570       return Flag104 (Id);
571    end Address_Taken;
572
573    function Alias (Id : E) return E is
574    begin
575       pragma Assert
576         (Is_Overloadable (Id) or else Ekind (Id) = E_Subprogram_Type);
577       return Node18 (Id);
578    end Alias;
579
580    function Alignment (Id : E) return U is
581    begin
582       pragma Assert (Is_Type (Id)
583                        or else Is_Formal (Id)
584                        or else Ekind (Id) = E_Loop_Parameter
585                        or else Ekind (Id) = E_Constant
586                        or else Ekind (Id) = E_Exception
587                        or else Ekind (Id) = E_Variable);
588       return Uint14 (Id);
589    end Alignment;
590
591    function Associated_Final_Chain (Id : E) return E is
592    begin
593       pragma Assert (Is_Access_Type (Id));
594       return Node23 (Id);
595    end Associated_Final_Chain;
596
597    function Associated_Formal_Package (Id : E) return E is
598    begin
599       pragma Assert (Ekind (Id) = E_Package);
600       return Node12 (Id);
601    end Associated_Formal_Package;
602
603    function Associated_Node_For_Itype (Id : E) return N is
604    begin
605       return Node8 (Id);
606    end Associated_Node_For_Itype;
607
608    function Associated_Storage_Pool (Id : E) return E is
609    begin
610       pragma Assert (Is_Access_Type (Id));
611       return Node22 (Root_Type (Id));
612    end Associated_Storage_Pool;
613
614    function Barrier_Function (Id : E) return N is
615    begin
616       pragma Assert (Is_Entry (Id));
617       return Node12 (Id);
618    end Barrier_Function;
619
620    function Block_Node (Id : E) return N is
621    begin
622       pragma Assert (Ekind (Id) = E_Block);
623       return Node11 (Id);
624    end Block_Node;
625
626    function Body_Entity (Id : E) return E is
627    begin
628       pragma Assert
629         (Ekind (Id) = E_Package or else Ekind (Id) = E_Generic_Package);
630       return Node19 (Id);
631    end Body_Entity;
632
633    function Body_Needed_For_SAL (Id : E) return B is
634    begin
635       pragma Assert
636         (Ekind (Id) = E_Package
637            or else Is_Subprogram (Id)
638            or else Is_Generic_Unit (Id));
639       return Flag40 (Id);
640    end Body_Needed_For_SAL;
641
642    function C_Pass_By_Copy (Id : E) return B is
643    begin
644       pragma Assert (Is_Record_Type (Id));
645       return Flag125 (Implementation_Base_Type (Id));
646    end C_Pass_By_Copy;
647
648    function Can_Never_Be_Null (Id : E) return B is
649    begin
650       return Flag38 (Id);
651    end Can_Never_Be_Null;
652
653    function Checks_May_Be_Suppressed (Id : E) return B is
654    begin
655       return Flag31 (Id);
656    end Checks_May_Be_Suppressed;
657
658    function Class_Wide_Type (Id : E) return E is
659    begin
660       pragma Assert (Is_Type (Id));
661       return Node9 (Id);
662    end Class_Wide_Type;
663
664    function Cloned_Subtype (Id : E) return E is
665    begin
666       pragma Assert
667         (Ekind (Id) = E_Record_Subtype
668          or else Ekind (Id) = E_Class_Wide_Subtype);
669       return Node16 (Id);
670    end Cloned_Subtype;
671
672    function Component_Bit_Offset (Id : E) return U is
673    begin
674       pragma Assert
675         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
676       return Uint11 (Id);
677    end Component_Bit_Offset;
678
679    function Component_Clause (Id : E) return N is
680    begin
681       pragma Assert
682         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
683       return Node13 (Id);
684    end Component_Clause;
685
686    function Component_Size (Id : E) return U is
687    begin
688       pragma Assert (Is_Array_Type (Id));
689       return Uint22 (Implementation_Base_Type (Id));
690    end Component_Size;
691
692    function Component_Type (Id : E) return E is
693    begin
694       return Node20 (Implementation_Base_Type (Id));
695    end Component_Type;
696
697    function Corresponding_Concurrent_Type (Id : E) return E is
698    begin
699       pragma Assert (Ekind (Id) = E_Record_Type);
700       return Node18 (Id);
701    end Corresponding_Concurrent_Type;
702
703    function Corresponding_Discriminant (Id : E) return E is
704    begin
705       pragma Assert (Ekind (Id) = E_Discriminant);
706       return Node19 (Id);
707    end Corresponding_Discriminant;
708
709    function Corresponding_Equality (Id : E) return E is
710    begin
711       pragma Assert
712         (Ekind (Id) = E_Function
713           and then not Comes_From_Source (Id)
714           and then Chars (Id) = Name_Op_Ne);
715       return Node13 (Id);
716    end Corresponding_Equality;
717
718    function Corresponding_Record_Type (Id : E) return E is
719    begin
720       pragma Assert (Is_Concurrent_Type (Id));
721       return Node18 (Id);
722    end Corresponding_Record_Type;
723
724    function Corresponding_Remote_Type (Id : E) return E is
725    begin
726       return Node22 (Id);
727    end Corresponding_Remote_Type;
728
729    function Current_Use_Clause (Id : E) return E is
730    begin
731       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
732       return Node27 (Id);
733    end Current_Use_Clause;
734
735    function Current_Value (Id : E) return N is
736    begin
737       pragma Assert (Ekind (Id) in Object_Kind);
738       return Node9 (Id);
739    end Current_Value;
740
741    function CR_Discriminant (Id : E) return E is
742    begin
743       return Node23 (Id);
744    end CR_Discriminant;
745
746    function Debug_Info_Off (Id : E) return B is
747    begin
748       return Flag166 (Id);
749    end Debug_Info_Off;
750
751    function Debug_Renaming_Link (Id : E) return E is
752    begin
753       return Node25 (Id);
754    end Debug_Renaming_Link;
755
756    function Default_Expr_Function (Id : E) return E is
757    begin
758       pragma Assert (Is_Formal (Id));
759       return Node21 (Id);
760    end Default_Expr_Function;
761
762    function Default_Expressions_Processed (Id : E) return B is
763    begin
764       return Flag108 (Id);
765    end Default_Expressions_Processed;
766
767    function Default_Value (Id : E) return N is
768    begin
769       pragma Assert (Is_Formal (Id));
770       return Node20 (Id);
771    end Default_Value;
772
773    function Delay_Cleanups (Id : E) return B is
774    begin
775       return Flag114 (Id);
776    end Delay_Cleanups;
777
778    function Delay_Subprogram_Descriptors (Id : E) return B is
779    begin
780       return Flag50 (Id);
781    end Delay_Subprogram_Descriptors;
782
783    function Delta_Value (Id : E) return R is
784    begin
785       pragma Assert (Is_Fixed_Point_Type (Id));
786       return Ureal18 (Id);
787    end Delta_Value;
788
789    function Dependent_Instances (Id : E) return L is
790    begin
791       pragma Assert (Is_Generic_Instance (Id));
792       return Elist8 (Id);
793    end Dependent_Instances;
794
795    function Depends_On_Private (Id : E) return B is
796    begin
797       pragma Assert (Nkind (Id) in N_Entity);
798       return Flag14 (Id);
799    end Depends_On_Private;
800
801    function Digits_Value (Id : E) return U is
802    begin
803       pragma Assert
804         (Is_Floating_Point_Type (Id)
805           or else Is_Decimal_Fixed_Point_Type (Id));
806       return Uint17 (Id);
807    end Digits_Value;
808
809    function Directly_Designated_Type (Id : E) return E is
810    begin
811       return Node20 (Id);
812    end Directly_Designated_Type;
813
814    function Discard_Names (Id : E) return B is
815    begin
816       return Flag88 (Id);
817    end Discard_Names;
818
819    function Discriminal (Id : E) return E is
820    begin
821       pragma Assert (Ekind (Id) = E_Discriminant);
822       return Node17 (Id);
823    end Discriminal;
824
825    function Discriminal_Link (Id : E) return N is
826    begin
827       return Node10 (Id);
828    end Discriminal_Link;
829
830    function Discriminant_Checking_Func (Id : E) return E is
831    begin
832       pragma Assert (Ekind (Id) = E_Component);
833       return Node20 (Id);
834    end Discriminant_Checking_Func;
835
836    function Discriminant_Constraint (Id : E) return L is
837    begin
838       pragma Assert (Is_Composite_Type (Id) and then Has_Discriminants (Id));
839       return Elist21 (Id);
840    end Discriminant_Constraint;
841
842    function Discriminant_Default_Value (Id : E) return N is
843    begin
844       pragma Assert (Ekind (Id) = E_Discriminant);
845       return Node20 (Id);
846    end Discriminant_Default_Value;
847
848    function Discriminant_Number (Id : E) return U is
849    begin
850       pragma Assert (Ekind (Id) = E_Discriminant);
851       return Uint15 (Id);
852    end Discriminant_Number;
853
854    function Dispatch_Table_Wrapper (Id : E) return E is
855    begin
856       pragma Assert (Is_Tagged_Type (Id));
857       return Node26 (Implementation_Base_Type (Id));
858    end Dispatch_Table_Wrapper;
859
860    function DT_Entry_Count (Id : E) return U is
861    begin
862       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
863       return Uint15 (Id);
864    end DT_Entry_Count;
865
866    function DT_Offset_To_Top_Func (Id : E) return E is
867    begin
868       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
869       return Node25 (Id);
870    end DT_Offset_To_Top_Func;
871
872    function DT_Position (Id : E) return U is
873    begin
874       pragma Assert
875         ((Ekind (Id) = E_Function
876             or else Ekind (Id) = E_Procedure)
877           and then Present (DTC_Entity (Id)));
878       return Uint15 (Id);
879    end DT_Position;
880
881    function DTC_Entity (Id : E) return E is
882    begin
883       pragma Assert
884         (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
885       return Node16 (Id);
886    end DTC_Entity;
887
888    function Elaborate_Body_Desirable (Id : E) return B is
889    begin
890       pragma Assert (Ekind (Id) = E_Package);
891       return Flag210 (Id);
892    end Elaborate_Body_Desirable;
893
894    function Elaboration_Entity (Id : E) return E is
895    begin
896       pragma Assert
897         (Is_Subprogram (Id)
898            or else
899          Ekind (Id) = E_Package
900            or else
901          Is_Generic_Unit (Id));
902       return Node13 (Id);
903    end Elaboration_Entity;
904
905    function Elaboration_Entity_Required (Id : E) return B is
906    begin
907       pragma Assert
908         (Is_Subprogram (Id)
909            or else
910          Ekind (Id) = E_Package
911            or else
912          Is_Generic_Unit (Id));
913       return Flag174 (Id);
914    end Elaboration_Entity_Required;
915
916    function Enclosing_Scope (Id : E) return E is
917    begin
918       return Node18 (Id);
919    end Enclosing_Scope;
920
921    function Entry_Accepted (Id : E) return B is
922    begin
923       pragma Assert (Is_Entry (Id));
924       return Flag152 (Id);
925    end Entry_Accepted;
926
927    function Entry_Bodies_Array (Id : E) return E is
928    begin
929       return Node15 (Id);
930    end Entry_Bodies_Array;
931
932    function Entry_Cancel_Parameter (Id : E) return E is
933    begin
934       return Node23 (Id);
935    end Entry_Cancel_Parameter;
936
937    function Entry_Component (Id : E) return E is
938    begin
939       return Node11 (Id);
940    end Entry_Component;
941
942    function Entry_Formal (Id : E) return E is
943    begin
944       return Node16 (Id);
945    end Entry_Formal;
946
947    function Entry_Index_Constant (Id : E) return N is
948    begin
949       pragma Assert (Ekind (Id) = E_Entry_Index_Parameter);
950       return Node18 (Id);
951    end Entry_Index_Constant;
952
953    function Entry_Parameters_Type (Id : E) return E is
954    begin
955       return Node15 (Id);
956    end Entry_Parameters_Type;
957
958    function Enum_Pos_To_Rep (Id : E) return E is
959    begin
960       pragma Assert (Ekind (Id) = E_Enumeration_Type);
961       return Node23 (Id);
962    end Enum_Pos_To_Rep;
963
964    function Enumeration_Pos (Id : E) return Uint is
965    begin
966       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
967       return Uint11 (Id);
968    end Enumeration_Pos;
969
970    function Enumeration_Rep (Id : E) return U is
971    begin
972       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
973       return Uint12 (Id);
974    end Enumeration_Rep;
975
976    function Enumeration_Rep_Expr (Id : E) return N is
977    begin
978       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
979       return Node22 (Id);
980    end Enumeration_Rep_Expr;
981
982    function Equivalent_Type (Id : E) return E is
983    begin
984       pragma Assert
985         (Ekind (Id) = E_Class_Wide_Subtype                         or else
986          Ekind (Id) = E_Access_Protected_Subprogram_Type           or else
987          Ekind (Id) = E_Anonymous_Access_Protected_Subprogram_Type or else
988          Ekind (Id) = E_Access_Subprogram_Type                     or else
989          Ekind (Id) = E_Exception_Type);
990       return Node18 (Id);
991    end Equivalent_Type;
992
993    function Esize (Id : E) return Uint is
994    begin
995       return Uint12 (Id);
996    end Esize;
997
998    function Exception_Code (Id : E) return Uint is
999    begin
1000       pragma Assert (Ekind (Id) = E_Exception);
1001       return Uint22 (Id);
1002    end Exception_Code;
1003
1004    function Extra_Accessibility (Id : E) return E is
1005    begin
1006       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
1007       return Node13 (Id);
1008    end Extra_Accessibility;
1009
1010    function Extra_Constrained (Id : E) return E is
1011    begin
1012       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
1013       return Node23 (Id);
1014    end Extra_Constrained;
1015
1016    function Extra_Formal (Id : E) return E is
1017    begin
1018       return Node15 (Id);
1019    end Extra_Formal;
1020
1021    function Extra_Formals (Id : E) return E is
1022    begin
1023       pragma Assert
1024         (Is_Overloadable (Id)
1025           or else Ekind (Id) = E_Entry_Family
1026           or else Ekind (Id) = E_Subprogram_Body
1027           or else Ekind (Id) = E_Subprogram_Type);
1028       return Node28 (Id);
1029    end Extra_Formals;
1030
1031    function Can_Use_Internal_Rep (Id : E) return B is
1032    begin
1033       pragma Assert (Is_Access_Subprogram_Type (Base_Type (Id)));
1034       return Flag229 (Base_Type (Id));
1035    end Can_Use_Internal_Rep;
1036
1037    function Finalization_Chain_Entity (Id : E) return E is
1038    begin
1039       return Node19 (Id);
1040    end Finalization_Chain_Entity;
1041
1042    function Finalize_Storage_Only (Id : E) return B is
1043    begin
1044       pragma Assert (Is_Type (Id));
1045       return Flag158 (Base_Type (Id));
1046    end Finalize_Storage_Only;
1047
1048    function First_Entity (Id : E) return E is
1049    begin
1050       return Node17 (Id);
1051    end First_Entity;
1052
1053    function First_Index (Id : E) return N is
1054    begin
1055       pragma Assert (Is_Array_Type (Id) or else Is_String_Type (Id));
1056       return Node17 (Id);
1057    end First_Index;
1058
1059    function First_Literal (Id : E) return E is
1060    begin
1061       pragma Assert (Is_Enumeration_Type (Id));
1062       return Node17 (Id);
1063    end First_Literal;
1064
1065    function First_Optional_Parameter (Id : E) return E is
1066    begin
1067       pragma Assert
1068         (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
1069       return Node14 (Id);
1070    end First_Optional_Parameter;
1071
1072    function First_Private_Entity (Id : E) return E is
1073    begin
1074       pragma Assert (Ekind (Id) = E_Package
1075                        or else Ekind (Id) = E_Generic_Package
1076                        or else Ekind (Id) in Concurrent_Kind);
1077       return Node16 (Id);
1078    end First_Private_Entity;
1079
1080    function First_Rep_Item (Id : E) return E is
1081    begin
1082       return Node6 (Id);
1083    end First_Rep_Item;
1084
1085    function Freeze_Node (Id : E) return N is
1086    begin
1087       return Node7 (Id);
1088    end Freeze_Node;
1089
1090    function From_With_Type (Id : E) return B is
1091    begin
1092       return Flag159 (Id);
1093    end From_With_Type;
1094
1095    function Full_View (Id : E) return E is
1096    begin
1097       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
1098       return Node11 (Id);
1099    end Full_View;
1100
1101    function Generic_Homonym (Id : E) return E is
1102    begin
1103       pragma Assert (Ekind (Id) = E_Generic_Package);
1104       return Node11 (Id);
1105    end Generic_Homonym;
1106
1107    function Generic_Renamings (Id : E) return L is
1108    begin
1109       return Elist23 (Id);
1110    end Generic_Renamings;
1111
1112    function Handler_Records (Id : E) return S is
1113    begin
1114       return List10 (Id);
1115    end Handler_Records;
1116
1117    function Has_Aliased_Components (Id : E) return B is
1118    begin
1119       return Flag135 (Implementation_Base_Type (Id));
1120    end Has_Aliased_Components;
1121
1122    function Has_Alignment_Clause (Id : E) return B is
1123    begin
1124       return Flag46 (Id);
1125    end Has_Alignment_Clause;
1126
1127    function Has_All_Calls_Remote (Id : E) return B is
1128    begin
1129       return Flag79 (Id);
1130    end Has_All_Calls_Remote;
1131
1132    function Has_Anon_Block_Suffix (Id : E) return B is
1133    begin
1134       return Flag201 (Id);
1135    end Has_Anon_Block_Suffix;
1136
1137    function Has_Atomic_Components (Id : E) return B is
1138    begin
1139       return Flag86 (Implementation_Base_Type (Id));
1140    end Has_Atomic_Components;
1141
1142    function Has_Biased_Representation (Id : E) return B is
1143    begin
1144       return Flag139 (Id);
1145    end Has_Biased_Representation;
1146
1147    function Has_Completion (Id : E) return B is
1148    begin
1149       return Flag26 (Id);
1150    end Has_Completion;
1151
1152    function Has_Completion_In_Body (Id : E) return B is
1153    begin
1154       pragma Assert (Is_Type (Id));
1155       return Flag71 (Id);
1156    end Has_Completion_In_Body;
1157
1158    function Has_Complex_Representation (Id : E) return B is
1159    begin
1160       pragma Assert (Is_Type (Id));
1161       return Flag140 (Implementation_Base_Type (Id));
1162    end Has_Complex_Representation;
1163
1164    function Has_Component_Size_Clause (Id : E) return B is
1165    begin
1166       pragma Assert (Is_Array_Type (Id));
1167       return Flag68 (Implementation_Base_Type (Id));
1168    end Has_Component_Size_Clause;
1169
1170    function Has_Constrained_Partial_View (Id : E) return B is
1171    begin
1172       pragma Assert (Is_Type (Id));
1173       return Flag187 (Id);
1174    end Has_Constrained_Partial_View;
1175
1176    function Has_Controlled_Component (Id : E) return B is
1177    begin
1178       return Flag43 (Base_Type (Id));
1179    end Has_Controlled_Component;
1180
1181    function Has_Contiguous_Rep (Id : E) return B is
1182    begin
1183       return Flag181 (Id);
1184    end Has_Contiguous_Rep;
1185
1186    function Has_Controlling_Result (Id : E) return B is
1187    begin
1188       return Flag98 (Id);
1189    end Has_Controlling_Result;
1190
1191    function Has_Convention_Pragma (Id : E) return B is
1192    begin
1193       return Flag119 (Id);
1194    end Has_Convention_Pragma;
1195
1196    function Has_Delayed_Freeze (Id : E) return B is
1197    begin
1198       pragma Assert (Nkind (Id) in N_Entity);
1199       return Flag18 (Id);
1200    end Has_Delayed_Freeze;
1201
1202    function Has_Discriminants (Id : E) return B is
1203    begin
1204       pragma Assert (Nkind (Id) in N_Entity);
1205       return Flag5 (Id);
1206    end Has_Discriminants;
1207
1208    function Has_Dispatch_Table (Id : E) return B is
1209    begin
1210       pragma Assert (Is_Tagged_Type (Id));
1211       return Flag220 (Id);
1212    end Has_Dispatch_Table;
1213
1214    function Has_Enumeration_Rep_Clause (Id : E) return B is
1215    begin
1216       pragma Assert (Is_Enumeration_Type (Id));
1217       return Flag66 (Id);
1218    end Has_Enumeration_Rep_Clause;
1219
1220    function Has_Exit (Id : E) return B is
1221    begin
1222       return Flag47 (Id);
1223    end Has_Exit;
1224
1225    function Has_External_Tag_Rep_Clause (Id : E) return B is
1226    begin
1227       pragma Assert (Is_Tagged_Type (Id));
1228       return Flag110 (Id);
1229    end Has_External_Tag_Rep_Clause;
1230
1231    function Has_Forward_Instantiation (Id : E) return B is
1232    begin
1233       return Flag175 (Id);
1234    end Has_Forward_Instantiation;
1235
1236    function Has_Fully_Qualified_Name (Id : E) return B is
1237    begin
1238       return Flag173 (Id);
1239    end Has_Fully_Qualified_Name;
1240
1241    function Has_Gigi_Rep_Item (Id : E) return B is
1242    begin
1243       return Flag82 (Id);
1244    end Has_Gigi_Rep_Item;
1245
1246    function Has_Homonym (Id : E) return B is
1247    begin
1248       return Flag56 (Id);
1249    end Has_Homonym;
1250
1251    function Has_Initial_Value (Id : E) return B is
1252    begin
1253       pragma Assert
1254         (Ekind (Id) = E_Variable or else Is_Formal (Id));
1255       return Flag219 (Id);
1256    end Has_Initial_Value;
1257
1258    function Has_Machine_Radix_Clause (Id : E) return B is
1259    begin
1260       pragma Assert (Is_Decimal_Fixed_Point_Type (Id));
1261       return Flag83 (Id);
1262    end Has_Machine_Radix_Clause;
1263
1264    function Has_Master_Entity (Id : E) return B is
1265    begin
1266       return Flag21 (Id);
1267    end Has_Master_Entity;
1268
1269    function Has_Missing_Return (Id : E) return B is
1270    begin
1271       pragma Assert
1272         (Ekind (Id) = E_Function or else Ekind (Id) = E_Generic_Function);
1273       return Flag142 (Id);
1274    end Has_Missing_Return;
1275
1276    function Has_Nested_Block_With_Handler (Id : E) return B is
1277    begin
1278       return Flag101 (Id);
1279    end Has_Nested_Block_With_Handler;
1280
1281    function Has_Non_Standard_Rep (Id : E) return B is
1282    begin
1283       return Flag75 (Implementation_Base_Type (Id));
1284    end Has_Non_Standard_Rep;
1285
1286    function Has_Object_Size_Clause (Id : E) return B is
1287    begin
1288       pragma Assert (Is_Type (Id));
1289       return Flag172 (Id);
1290    end Has_Object_Size_Clause;
1291
1292    function Has_Per_Object_Constraint (Id : E) return B is
1293    begin
1294       return Flag154 (Id);
1295    end Has_Per_Object_Constraint;
1296
1297    function Has_Persistent_BSS (Id : E) return B is
1298    begin
1299       return Flag188 (Id);
1300    end Has_Persistent_BSS;
1301
1302    function Has_Postconditions (Id : E) return B is
1303    begin
1304       pragma Assert (Is_Subprogram (Id));
1305       return Flag240 (Id);
1306    end Has_Postconditions;
1307
1308    function Has_Pragma_Controlled (Id : E) return B is
1309    begin
1310       pragma Assert (Is_Access_Type (Id));
1311       return Flag27 (Implementation_Base_Type (Id));
1312    end Has_Pragma_Controlled;
1313
1314    function Has_Pragma_Elaborate_Body (Id : E) return B is
1315    begin
1316       return Flag150 (Id);
1317    end Has_Pragma_Elaborate_Body;
1318
1319    function Has_Pragma_Inline (Id : E) return B is
1320    begin
1321       return Flag157 (Id);
1322    end Has_Pragma_Inline;
1323
1324    function Has_Pragma_Inline_Always (Id : E) return B is
1325    begin
1326       return Flag230 (Id);
1327    end Has_Pragma_Inline_Always;
1328
1329    function Has_Pragma_Pack (Id : E) return B is
1330    begin
1331       pragma Assert (Is_Record_Type (Id) or else Is_Array_Type (Id));
1332       return Flag121 (Implementation_Base_Type (Id));
1333    end Has_Pragma_Pack;
1334
1335    function Has_Pragma_Preelab_Init (Id : E) return B is
1336    begin
1337       return Flag221 (Id);
1338    end Has_Pragma_Preelab_Init;
1339
1340    function Has_Pragma_Pure (Id : E) return B is
1341    begin
1342       return Flag203 (Id);
1343    end Has_Pragma_Pure;
1344
1345    function Has_Pragma_Pure_Function (Id : E) return B is
1346    begin
1347       return Flag179 (Id);
1348    end Has_Pragma_Pure_Function;
1349
1350    function Has_Pragma_Thread_Local_Storage (Id : E) return B is
1351    begin
1352       return Flag169 (Id);
1353    end Has_Pragma_Thread_Local_Storage;
1354
1355    function Has_Pragma_Unmodified (Id : E) return B is
1356    begin
1357       return Flag233 (Id);
1358    end Has_Pragma_Unmodified;
1359
1360    function Has_Pragma_Unreferenced (Id : E) return B is
1361    begin
1362       return Flag180 (Id);
1363    end Has_Pragma_Unreferenced;
1364
1365    function Has_Pragma_Unreferenced_Objects (Id : E) return B is
1366    begin
1367       pragma Assert (Is_Type (Id));
1368       return Flag212 (Id);
1369    end Has_Pragma_Unreferenced_Objects;
1370
1371    function Has_Primitive_Operations (Id : E) return B is
1372    begin
1373       pragma Assert (Is_Type (Id));
1374       return Flag120 (Base_Type (Id));
1375    end Has_Primitive_Operations;
1376
1377    function Has_Private_Declaration (Id : E) return B is
1378    begin
1379       return Flag155 (Id);
1380    end Has_Private_Declaration;
1381
1382    function Has_Qualified_Name (Id : E) return B is
1383    begin
1384       return Flag161 (Id);
1385    end Has_Qualified_Name;
1386
1387    function Has_RACW (Id : E) return B is
1388    begin
1389       pragma Assert (Ekind (Id) = E_Package);
1390       return Flag214 (Id);
1391    end Has_RACW;
1392
1393    function Has_Record_Rep_Clause (Id : E) return B is
1394    begin
1395       pragma Assert (Is_Record_Type (Id));
1396       return Flag65 (Implementation_Base_Type (Id));
1397    end Has_Record_Rep_Clause;
1398
1399    function Has_Recursive_Call (Id : E) return B is
1400    begin
1401       pragma Assert (Is_Subprogram (Id));
1402       return Flag143 (Id);
1403    end Has_Recursive_Call;
1404
1405    function Has_Size_Clause (Id : E) return B is
1406    begin
1407       return Flag29 (Id);
1408    end Has_Size_Clause;
1409
1410    function Has_Small_Clause (Id : E) return B is
1411    begin
1412       return Flag67 (Id);
1413    end Has_Small_Clause;
1414
1415    function Has_Specified_Layout (Id : E) return B is
1416    begin
1417       pragma Assert (Is_Type (Id));
1418       return Flag100 (Implementation_Base_Type (Id));
1419    end Has_Specified_Layout;
1420
1421    function Has_Specified_Stream_Input (Id : E) return B is
1422    begin
1423       pragma Assert (Is_Type (Id));
1424       return Flag190 (Id);
1425    end Has_Specified_Stream_Input;
1426
1427    function Has_Specified_Stream_Output (Id : E) return B is
1428    begin
1429       pragma Assert (Is_Type (Id));
1430       return Flag191 (Id);
1431    end Has_Specified_Stream_Output;
1432
1433    function Has_Specified_Stream_Read (Id : E) return B is
1434    begin
1435       pragma Assert (Is_Type (Id));
1436       return Flag192 (Id);
1437    end Has_Specified_Stream_Read;
1438
1439    function Has_Specified_Stream_Write (Id : E) return B is
1440    begin
1441       pragma Assert (Is_Type (Id));
1442       return Flag193 (Id);
1443    end Has_Specified_Stream_Write;
1444
1445    function Has_Static_Discriminants (Id : E) return B is
1446    begin
1447       pragma Assert (Is_Type (Id));
1448       return Flag211 (Id);
1449    end Has_Static_Discriminants;
1450
1451    function Has_Storage_Size_Clause (Id : E) return B is
1452    begin
1453       pragma Assert (Is_Access_Type (Id) or else Is_Task_Type (Id));
1454       return Flag23 (Implementation_Base_Type (Id));
1455    end Has_Storage_Size_Clause;
1456
1457    function Has_Stream_Size_Clause (Id : E) return B is
1458    begin
1459       return Flag184 (Id);
1460    end Has_Stream_Size_Clause;
1461
1462    function Has_Subprogram_Descriptor (Id : E) return B is
1463    begin
1464       return Flag93 (Id);
1465    end Has_Subprogram_Descriptor;
1466
1467    function Has_Task (Id : E) return B is
1468    begin
1469       return Flag30 (Base_Type (Id));
1470    end Has_Task;
1471
1472    function Has_Thunks (Id : E) return B is
1473    begin
1474       pragma Assert (Ekind (Id) = E_Constant);
1475       return Flag228 (Id);
1476    end Has_Thunks;
1477
1478    function Has_Unchecked_Union (Id : E) return B is
1479    begin
1480       return Flag123 (Base_Type (Id));
1481    end Has_Unchecked_Union;
1482
1483    function Has_Unknown_Discriminants (Id : E) return B is
1484    begin
1485       pragma Assert (Is_Type (Id));
1486       return Flag72 (Id);
1487    end Has_Unknown_Discriminants;
1488
1489    function Has_Up_Level_Access (Id : E) return B is
1490    begin
1491       pragma Assert
1492         (Ekind (Id) = E_Variable
1493           or else Ekind (Id) = E_Constant
1494           or else Ekind (Id) = E_Loop_Parameter);
1495       return Flag215 (Id);
1496    end Has_Up_Level_Access;
1497
1498    function Has_Volatile_Components (Id : E) return B is
1499    begin
1500       return Flag87 (Implementation_Base_Type (Id));
1501    end Has_Volatile_Components;
1502
1503    function Has_Xref_Entry (Id : E) return B is
1504    begin
1505       return Flag182 (Implementation_Base_Type (Id));
1506    end Has_Xref_Entry;
1507
1508    function Hiding_Loop_Variable (Id : E) return E is
1509    begin
1510       pragma Assert (Ekind (Id) = E_Variable);
1511       return Node8 (Id);
1512    end Hiding_Loop_Variable;
1513
1514    function Homonym (Id : E) return E is
1515    begin
1516       return Node4 (Id);
1517    end Homonym;
1518
1519    function Implemented_By_Entry (Id : E) return B is
1520    begin
1521       pragma Assert
1522         (Ekind (Id) = E_Function
1523            or else Ekind (Id) = E_Procedure);
1524       return Flag232 (Id);
1525    end Implemented_By_Entry;
1526
1527    function Interfaces (Id : E) return L is
1528    begin
1529       pragma Assert (Is_Record_Type (Id));
1530       return Elist25 (Id);
1531    end Interfaces;
1532
1533    function Interface_Alias (Id : E) return E is
1534    begin
1535       pragma Assert (Is_Subprogram (Id));
1536       return Node25 (Id);
1537    end Interface_Alias;
1538
1539    function In_Package_Body (Id : E) return B is
1540    begin
1541       return Flag48 (Id);
1542    end In_Package_Body;
1543
1544    function In_Private_Part (Id : E) return B is
1545    begin
1546       return Flag45 (Id);
1547    end In_Private_Part;
1548
1549    function In_Use (Id : E) return B is
1550    begin
1551       pragma Assert (Nkind (Id) in N_Entity);
1552       return Flag8 (Id);
1553    end In_Use;
1554
1555    function Inner_Instances (Id : E) return L is
1556    begin
1557       return Elist23 (Id);
1558    end Inner_Instances;
1559
1560    function Interface_Name (Id : E) return N is
1561    begin
1562       return Node21 (Id);
1563    end Interface_Name;
1564
1565    function Is_Abstract_Subprogram (Id : E) return B is
1566    begin
1567       pragma Assert (Is_Overloadable (Id));
1568       return Flag19 (Id);
1569    end Is_Abstract_Subprogram;
1570
1571    function Is_Abstract_Type (Id : E) return B is
1572    begin
1573       pragma Assert (Is_Type (Id));
1574       return Flag146 (Id);
1575    end Is_Abstract_Type;
1576
1577    function Is_Local_Anonymous_Access (Id : E) return B is
1578    begin
1579       pragma Assert (Is_Access_Type (Id));
1580       return Flag194 (Id);
1581    end Is_Local_Anonymous_Access;
1582
1583    function Is_Access_Constant (Id : E) return B is
1584    begin
1585       pragma Assert (Is_Access_Type (Id));
1586       return Flag69 (Id);
1587    end Is_Access_Constant;
1588
1589    function Is_Ada_2005_Only (Id : E) return B is
1590    begin
1591       return Flag185 (Id);
1592    end Is_Ada_2005_Only;
1593
1594    function Is_Aliased (Id : E) return B is
1595    begin
1596       pragma Assert (Nkind (Id) in N_Entity);
1597       return Flag15 (Id);
1598    end Is_Aliased;
1599
1600    function Is_AST_Entry (Id : E) return B is
1601    begin
1602       pragma Assert (Is_Entry (Id));
1603       return Flag132 (Id);
1604    end Is_AST_Entry;
1605
1606    function Is_Asynchronous (Id : E) return B is
1607    begin
1608       pragma Assert
1609         (Ekind (Id) = E_Procedure or else Is_Type (Id));
1610       return Flag81 (Id);
1611    end Is_Asynchronous;
1612
1613    function Is_Atomic (Id : E) return B is
1614    begin
1615       return Flag85 (Id);
1616    end Is_Atomic;
1617
1618    function Is_Bit_Packed_Array (Id : E) return B is
1619    begin
1620       return Flag122 (Implementation_Base_Type (Id));
1621    end Is_Bit_Packed_Array;
1622
1623    function Is_Called (Id : E) return B is
1624    begin
1625       pragma Assert
1626         (Ekind (Id) = E_Procedure or else Ekind (Id) = E_Function);
1627       return Flag102 (Id);
1628    end Is_Called;
1629
1630    function Is_Character_Type (Id : E) return B is
1631    begin
1632       return Flag63 (Id);
1633    end Is_Character_Type;
1634
1635    function Is_Child_Unit (Id : E) return B is
1636    begin
1637       return Flag73 (Id);
1638    end Is_Child_Unit;
1639
1640    function Is_Class_Wide_Equivalent_Type (Id : E) return B is
1641    begin
1642       return Flag35 (Id);
1643    end Is_Class_Wide_Equivalent_Type;
1644
1645    function Is_Compilation_Unit (Id : E) return B is
1646    begin
1647       return Flag149 (Id);
1648    end Is_Compilation_Unit;
1649
1650    function Is_Completely_Hidden (Id : E) return B is
1651    begin
1652       pragma Assert (Ekind (Id) = E_Discriminant);
1653       return Flag103 (Id);
1654    end Is_Completely_Hidden;
1655
1656    function Is_Constr_Subt_For_U_Nominal (Id : E) return B is
1657    begin
1658       return Flag80 (Id);
1659    end Is_Constr_Subt_For_U_Nominal;
1660
1661    function Is_Constr_Subt_For_UN_Aliased (Id : E) return B is
1662    begin
1663       return Flag141 (Id);
1664    end Is_Constr_Subt_For_UN_Aliased;
1665
1666    function Is_Constrained (Id : E) return B is
1667    begin
1668       pragma Assert (Nkind (Id) in N_Entity);
1669       return Flag12 (Id);
1670    end Is_Constrained;
1671
1672    function Is_Constructor (Id : E) return B is
1673    begin
1674       return Flag76 (Id);
1675    end Is_Constructor;
1676
1677    function Is_Controlled (Id : E) return B is
1678    begin
1679       return Flag42 (Base_Type (Id));
1680    end Is_Controlled;
1681
1682    function Is_Controlling_Formal (Id : E) return B is
1683    begin
1684       pragma Assert (Is_Formal (Id));
1685       return Flag97 (Id);
1686    end Is_Controlling_Formal;
1687
1688    function Is_CPP_Class (Id : E) return B is
1689    begin
1690       return Flag74 (Id);
1691    end Is_CPP_Class;
1692
1693    function Is_Descendent_Of_Address (Id : E) return B is
1694    begin
1695       pragma Assert (Is_Type (Id));
1696       return Flag223 (Id);
1697    end Is_Descendent_Of_Address;
1698
1699    function Is_Discrim_SO_Function (Id : E) return B is
1700    begin
1701       return Flag176 (Id);
1702    end Is_Discrim_SO_Function;
1703
1704    function Is_Dispatch_Table_Entity (Id : E) return B is
1705    begin
1706       return Flag234 (Id);
1707    end Is_Dispatch_Table_Entity;
1708
1709    function Is_Dispatching_Operation (Id : E) return B is
1710    begin
1711       pragma Assert (Nkind (Id) in N_Entity);
1712       return Flag6 (Id);
1713    end Is_Dispatching_Operation;
1714
1715    function Is_Eliminated (Id : E) return B is
1716    begin
1717       return Flag124 (Id);
1718    end Is_Eliminated;
1719
1720    function Is_Entry_Formal (Id : E) return B is
1721    begin
1722       return Flag52 (Id);
1723    end Is_Entry_Formal;
1724
1725    function Is_Exported (Id : E) return B is
1726    begin
1727       return Flag99 (Id);
1728    end Is_Exported;
1729
1730    function Is_First_Subtype (Id : E) return B is
1731    begin
1732       return Flag70 (Id);
1733    end Is_First_Subtype;
1734
1735    function Is_For_Access_Subtype (Id : E) return B is
1736    begin
1737       pragma Assert
1738         (Ekind (Id) = E_Record_Subtype
1739           or else
1740          Ekind (Id) = E_Private_Subtype);
1741       return Flag118 (Id);
1742    end Is_For_Access_Subtype;
1743
1744    function Is_Formal_Subprogram (Id : E) return B is
1745    begin
1746       return Flag111 (Id);
1747    end Is_Formal_Subprogram;
1748
1749    function Is_Frozen (Id : E) return B is
1750    begin
1751       return Flag4 (Id);
1752    end Is_Frozen;
1753
1754    function Is_Generic_Actual_Type (Id : E) return B is
1755    begin
1756       pragma Assert (Is_Type (Id));
1757       return Flag94 (Id);
1758    end Is_Generic_Actual_Type;
1759
1760    function Is_Generic_Instance (Id : E) return B is
1761    begin
1762       return Flag130 (Id);
1763    end Is_Generic_Instance;
1764
1765    function Is_Generic_Type (Id : E) return B is
1766    begin
1767       pragma Assert (Nkind (Id) in N_Entity);
1768       return Flag13 (Id);
1769    end Is_Generic_Type;
1770
1771    function Is_Hidden (Id : E) return B is
1772    begin
1773       return Flag57 (Id);
1774    end Is_Hidden;
1775
1776    function Is_Hidden_Open_Scope (Id : E) return B is
1777    begin
1778       return Flag171 (Id);
1779    end Is_Hidden_Open_Scope;
1780
1781    function Is_Immediately_Visible (Id : E) return B is
1782    begin
1783       pragma Assert (Nkind (Id) in N_Entity);
1784       return Flag7 (Id);
1785    end Is_Immediately_Visible;
1786
1787    function Is_Imported (Id : E) return B is
1788    begin
1789       return Flag24 (Id);
1790    end Is_Imported;
1791
1792    function Is_Inlined (Id : E) return B is
1793    begin
1794       return Flag11 (Id);
1795    end Is_Inlined;
1796
1797    function Is_Interface (Id : E) return B is
1798    begin
1799       return Flag186 (Id);
1800    end Is_Interface;
1801
1802    function Is_Instantiated (Id : E) return B is
1803    begin
1804       return Flag126 (Id);
1805    end Is_Instantiated;
1806
1807    function Is_Internal (Id : E) return B is
1808    begin
1809       pragma Assert (Nkind (Id) in N_Entity);
1810       return Flag17 (Id);
1811    end Is_Internal;
1812
1813    function Is_Interrupt_Handler (Id : E) return B is
1814    begin
1815       pragma Assert (Nkind (Id) in N_Entity);
1816       return Flag89 (Id);
1817    end Is_Interrupt_Handler;
1818
1819    function Is_Intrinsic_Subprogram (Id : E) return B is
1820    begin
1821       return Flag64 (Id);
1822    end Is_Intrinsic_Subprogram;
1823
1824    function Is_Itype (Id : E) return B is
1825    begin
1826       return Flag91 (Id);
1827    end Is_Itype;
1828
1829    function Is_Known_Non_Null (Id : E) return B is
1830    begin
1831       return Flag37 (Id);
1832    end Is_Known_Non_Null;
1833
1834    function Is_Known_Null (Id : E) return B is
1835    begin
1836       return Flag204 (Id);
1837    end Is_Known_Null;
1838
1839    function Is_Known_Valid (Id : E) return B is
1840    begin
1841       return Flag170 (Id);
1842    end Is_Known_Valid;
1843
1844    function Is_Limited_Composite (Id : E) return B is
1845    begin
1846       return Flag106 (Id);
1847    end Is_Limited_Composite;
1848
1849    function Is_Limited_Interface (Id : E) return B is
1850    begin
1851       return Flag197 (Id);
1852    end Is_Limited_Interface;
1853
1854    function Is_Limited_Record (Id : E) return B is
1855    begin
1856       return Flag25 (Id);
1857    end Is_Limited_Record;
1858
1859    function Is_Machine_Code_Subprogram (Id : E) return B is
1860    begin
1861       pragma Assert (Is_Subprogram (Id));
1862       return Flag137 (Id);
1863    end Is_Machine_Code_Subprogram;
1864
1865    function Is_Non_Static_Subtype (Id : E) return B is
1866    begin
1867       pragma Assert (Is_Type (Id));
1868       return Flag109 (Id);
1869    end Is_Non_Static_Subtype;
1870
1871    function Is_Null_Init_Proc (Id : E) return B is
1872    begin
1873       pragma Assert (Ekind (Id) = E_Procedure);
1874       return Flag178 (Id);
1875    end Is_Null_Init_Proc;
1876
1877    function Is_Obsolescent (Id : E) return B is
1878    begin
1879       return Flag153 (Id);
1880    end Is_Obsolescent;
1881
1882    function Is_Only_Out_Parameter (Id : E) return B is
1883    begin
1884       pragma Assert (Is_Formal (Id));
1885       return Flag226 (Id);
1886    end Is_Only_Out_Parameter;
1887
1888    function Is_Optional_Parameter (Id : E) return B is
1889    begin
1890       pragma Assert (Is_Formal (Id));
1891       return Flag134 (Id);
1892    end Is_Optional_Parameter;
1893
1894    function Is_Overriding_Operation (Id : E) return B is
1895    begin
1896       pragma Assert (Is_Subprogram (Id));
1897       return Flag39 (Id);
1898    end Is_Overriding_Operation;
1899
1900    function Is_Package_Body_Entity (Id : E) return B is
1901    begin
1902       return Flag160 (Id);
1903    end Is_Package_Body_Entity;
1904
1905    function Is_Packed (Id : E) return B is
1906    begin
1907       return Flag51 (Implementation_Base_Type (Id));
1908    end Is_Packed;
1909
1910    function Is_Packed_Array_Type (Id : E) return B is
1911    begin
1912       return Flag138 (Id);
1913    end Is_Packed_Array_Type;
1914
1915    function Is_Potentially_Use_Visible (Id : E) return B is
1916    begin
1917       pragma Assert (Nkind (Id) in N_Entity);
1918       return Flag9 (Id);
1919    end Is_Potentially_Use_Visible;
1920
1921    function Is_Preelaborated (Id : E) return B is
1922    begin
1923       return Flag59 (Id);
1924    end Is_Preelaborated;
1925
1926    function Is_Primitive (Id : E) return B is
1927    begin
1928       pragma Assert
1929         (Is_Overloadable (Id)
1930          or else Ekind (Id) = E_Generic_Function
1931          or else Ekind (Id) = E_Generic_Procedure);
1932       return Flag218 (Id);
1933    end Is_Primitive;
1934
1935    function Is_Primitive_Wrapper (Id : E) return B is
1936    begin
1937       pragma Assert (Ekind (Id) = E_Function
1938         or else Ekind (Id) = E_Procedure);
1939       return Flag195 (Id);
1940    end Is_Primitive_Wrapper;
1941
1942    function Is_Private_Composite (Id : E) return B is
1943    begin
1944       pragma Assert (Is_Type (Id));
1945       return Flag107 (Id);
1946    end Is_Private_Composite;
1947
1948    function Is_Private_Descendant (Id : E) return B is
1949    begin
1950       return Flag53 (Id);
1951    end Is_Private_Descendant;
1952
1953    function Is_Private_Primitive (Id : E) return B is
1954    begin
1955       pragma Assert (Ekind (Id) = E_Function
1956         or else Ekind (Id) = E_Procedure);
1957       return Flag245 (Id);
1958    end Is_Private_Primitive;
1959
1960    function Is_Protected_Interface (Id : E) return B is
1961    begin
1962       pragma Assert (Is_Interface (Id));
1963       return Flag198 (Id);
1964    end Is_Protected_Interface;
1965
1966    function Is_Public (Id : E) return B is
1967    begin
1968       pragma Assert (Nkind (Id) in N_Entity);
1969       return Flag10 (Id);
1970    end Is_Public;
1971
1972    function Is_Pure (Id : E) return B is
1973    begin
1974       return Flag44 (Id);
1975    end Is_Pure;
1976
1977    function Is_Pure_Unit_Access_Type (Id : E) return B is
1978    begin
1979       pragma Assert (Is_Access_Type (Id));
1980       return Flag189 (Id);
1981    end Is_Pure_Unit_Access_Type;
1982
1983    function Is_RACW_Stub_Type (Id : E) return B is
1984    begin
1985       pragma Assert (Is_Type (Id));
1986       return Flag244 (Id);
1987    end Is_RACW_Stub_Type;
1988
1989    function Is_Raised (Id : E) return B is
1990    begin
1991       pragma Assert (Ekind (Id) = E_Exception);
1992       return Flag224 (Id);
1993    end Is_Raised;
1994
1995    function Is_Remote_Call_Interface (Id : E) return B is
1996    begin
1997       return Flag62 (Id);
1998    end Is_Remote_Call_Interface;
1999
2000    function Is_Remote_Types (Id : E) return B is
2001    begin
2002       return Flag61 (Id);
2003    end Is_Remote_Types;
2004
2005    function Is_Renaming_Of_Object (Id : E) return B is
2006    begin
2007       return Flag112 (Id);
2008    end Is_Renaming_Of_Object;
2009
2010    function Is_Return_Object (Id : E) return B is
2011    begin
2012       return Flag209 (Id);
2013    end Is_Return_Object;
2014
2015    function Is_Shared_Passive (Id : E) return B is
2016    begin
2017       return Flag60 (Id);
2018    end Is_Shared_Passive;
2019
2020    function Is_Statically_Allocated (Id : E) return B is
2021    begin
2022       return Flag28 (Id);
2023    end Is_Statically_Allocated;
2024
2025    function Is_Synchronized_Interface (Id : E) return B is
2026    begin
2027       pragma Assert (Is_Interface (Id));
2028       return Flag199 (Id);
2029    end Is_Synchronized_Interface;
2030
2031    function Is_Tag (Id : E) return B is
2032    begin
2033       pragma Assert (Nkind (Id) in N_Entity);
2034       return Flag78 (Id);
2035    end Is_Tag;
2036
2037    function Is_Tagged_Type (Id : E) return B is
2038    begin
2039       return Flag55 (Id);
2040    end Is_Tagged_Type;
2041
2042    function Is_Task_Interface (Id : E) return B is
2043    begin
2044       pragma Assert (Is_Interface (Id));
2045       return Flag200 (Id);
2046    end Is_Task_Interface;
2047
2048    function Is_Thunk (Id : E) return B is
2049    begin
2050       pragma Assert (Is_Subprogram (Id));
2051       return Flag225 (Id);
2052    end Is_Thunk;
2053
2054    function Is_Trivial_Subprogram (Id : E) return B is
2055    begin
2056       return Flag235 (Id);
2057    end Is_Trivial_Subprogram;
2058
2059    function Is_True_Constant (Id : E) return B is
2060    begin
2061       return Flag163 (Id);
2062    end Is_True_Constant;
2063
2064    function Is_Unchecked_Union (Id : E) return B is
2065    begin
2066       return Flag117 (Implementation_Base_Type (Id));
2067    end Is_Unchecked_Union;
2068
2069    function Is_Unsigned_Type (Id : E) return B is
2070    begin
2071       pragma Assert (Is_Type (Id));
2072       return Flag144 (Id);
2073    end Is_Unsigned_Type;
2074
2075    function Is_Valued_Procedure (Id : E) return B is
2076    begin
2077       pragma Assert (Ekind (Id) = E_Procedure);
2078       return Flag127 (Id);
2079    end Is_Valued_Procedure;
2080
2081    function Is_Visible_Child_Unit (Id : E) return B is
2082    begin
2083       pragma Assert (Is_Child_Unit (Id));
2084       return Flag116 (Id);
2085    end Is_Visible_Child_Unit;
2086
2087    function Is_Visible_Formal (Id : E) return B is
2088    begin
2089       return Flag206 (Id);
2090    end Is_Visible_Formal;
2091
2092    function Is_VMS_Exception (Id : E) return B is
2093    begin
2094       return Flag133 (Id);
2095    end Is_VMS_Exception;
2096
2097    function Is_Volatile (Id : E) return B is
2098    begin
2099       pragma Assert (Nkind (Id) in N_Entity);
2100
2101       if Is_Type (Id) then
2102          return Flag16 (Base_Type (Id));
2103       else
2104          return Flag16 (Id);
2105       end if;
2106    end Is_Volatile;
2107
2108    function Itype_Printed (Id : E) return B is
2109    begin
2110       pragma Assert (Is_Itype (Id));
2111       return Flag202 (Id);
2112    end Itype_Printed;
2113
2114    function Kill_Elaboration_Checks (Id : E) return B is
2115    begin
2116       return Flag32 (Id);
2117    end Kill_Elaboration_Checks;
2118
2119    function Kill_Range_Checks (Id : E) return B is
2120    begin
2121       return Flag33 (Id);
2122    end Kill_Range_Checks;
2123
2124    function Kill_Tag_Checks (Id : E) return B is
2125    begin
2126       return Flag34 (Id);
2127    end Kill_Tag_Checks;
2128
2129    function Known_To_Have_Preelab_Init (Id : E) return B is
2130    begin
2131       pragma Assert (Is_Type (Id));
2132       return Flag207 (Id);
2133    end Known_To_Have_Preelab_Init;
2134
2135    function Last_Assignment (Id : E) return N is
2136    begin
2137       pragma Assert (Is_Assignable (Id));
2138       return Node26 (Id);
2139    end Last_Assignment;
2140
2141    function Last_Entity (Id : E) return E is
2142    begin
2143       return Node20 (Id);
2144    end Last_Entity;
2145
2146    function Limited_View (Id : E) return E is
2147    begin
2148       pragma Assert (Ekind (Id) = E_Package);
2149       return Node23 (Id);
2150    end Limited_View;
2151
2152    function Lit_Indexes (Id : E) return E is
2153    begin
2154       pragma Assert (Is_Enumeration_Type (Id));
2155       return Node15 (Id);
2156    end Lit_Indexes;
2157
2158    function Lit_Strings (Id : E) return E is
2159    begin
2160       pragma Assert (Is_Enumeration_Type (Id));
2161       return Node16 (Id);
2162    end Lit_Strings;
2163
2164    function Low_Bound_Known (Id : E) return B is
2165    begin
2166       return Flag205 (Id);
2167    end Low_Bound_Known;
2168
2169    function Machine_Radix_10 (Id : E) return B is
2170    begin
2171       pragma Assert (Is_Decimal_Fixed_Point_Type (Id));
2172       return Flag84 (Id);
2173    end Machine_Radix_10;
2174
2175    function Master_Id (Id : E) return E is
2176    begin
2177       pragma Assert (Is_Access_Type (Id));
2178       return Node17 (Id);
2179    end Master_Id;
2180
2181    function Materialize_Entity (Id : E) return B is
2182    begin
2183       return Flag168 (Id);
2184    end Materialize_Entity;
2185
2186    function Mechanism (Id : E) return M is
2187    begin
2188       pragma Assert (Ekind (Id) = E_Function or else Is_Formal (Id));
2189       return UI_To_Int (Uint8 (Id));
2190    end Mechanism;
2191
2192    function Modulus (Id : E) return Uint is
2193    begin
2194       pragma Assert (Is_Modular_Integer_Type (Id));
2195       return Uint17 (Base_Type (Id));
2196    end Modulus;
2197
2198    function Must_Be_On_Byte_Boundary (Id : E) return B is
2199    begin
2200       pragma Assert (Is_Type (Id));
2201       return Flag183 (Id);
2202    end Must_Be_On_Byte_Boundary;
2203
2204    function Must_Have_Preelab_Init (Id : E) return B is
2205    begin
2206       pragma Assert (Is_Type (Id));
2207       return Flag208 (Id);
2208    end Must_Have_Preelab_Init;
2209
2210    function Needs_Debug_Info (Id : E) return B is
2211    begin
2212       return Flag147 (Id);
2213    end Needs_Debug_Info;
2214
2215    function Needs_No_Actuals (Id : E) return B is
2216    begin
2217       pragma Assert
2218         (Is_Overloadable (Id)
2219           or else Ekind (Id) = E_Subprogram_Type
2220           or else Ekind (Id) = E_Entry_Family);
2221       return Flag22 (Id);
2222    end Needs_No_Actuals;
2223
2224    function Never_Set_In_Source (Id : E) return B is
2225    begin
2226       return Flag115 (Id);
2227    end Never_Set_In_Source;
2228
2229    function Next_Inlined_Subprogram (Id : E) return E is
2230    begin
2231       return Node12 (Id);
2232    end Next_Inlined_Subprogram;
2233
2234    function No_Pool_Assigned (Id : E) return B is
2235    begin
2236       pragma Assert (Is_Access_Type (Id));
2237       return Flag131 (Root_Type (Id));
2238    end No_Pool_Assigned;
2239
2240    function No_Return (Id : E) return B is
2241    begin
2242       return Flag113 (Id);
2243    end No_Return;
2244
2245    function No_Strict_Aliasing (Id : E) return B is
2246    begin
2247       pragma Assert (Is_Access_Type (Id));
2248       return Flag136 (Base_Type (Id));
2249    end No_Strict_Aliasing;
2250
2251    function Non_Binary_Modulus (Id : E) return B is
2252    begin
2253       pragma Assert (Is_Type (Id));
2254       return Flag58 (Base_Type (Id));
2255    end Non_Binary_Modulus;
2256
2257    function Non_Limited_View (Id : E) return E is
2258    begin
2259       pragma Assert (Ekind (Id) in Incomplete_Kind);
2260       return Node17 (Id);
2261    end Non_Limited_View;
2262
2263    function Nonzero_Is_True (Id : E) return B is
2264    begin
2265       pragma Assert (Root_Type (Id) = Standard_Boolean);
2266       return Flag162 (Base_Type (Id));
2267    end Nonzero_Is_True;
2268
2269    function Normalized_First_Bit (Id : E) return U is
2270    begin
2271       pragma Assert
2272         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
2273       return Uint8 (Id);
2274    end Normalized_First_Bit;
2275
2276    function Normalized_Position (Id : E) return U is
2277    begin
2278       pragma Assert
2279         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
2280       return Uint14 (Id);
2281    end Normalized_Position;
2282
2283    function Normalized_Position_Max (Id : E) return U is
2284    begin
2285       pragma Assert
2286         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
2287       return Uint10 (Id);
2288    end Normalized_Position_Max;
2289
2290    function OK_To_Reorder_Components (Id : E) return B is
2291    begin
2292       pragma Assert (Is_Record_Type (Id));
2293       return Flag239 (Base_Type (Id));
2294    end OK_To_Reorder_Components;
2295
2296    function Optimize_Alignment_Space (Id : E) return B is
2297    begin
2298       pragma Assert
2299         (Is_Type (Id)
2300            or else Ekind (Id) = E_Constant
2301            or else Ekind (Id) = E_Variable);
2302       return Flag241 (Id);
2303    end Optimize_Alignment_Space;
2304
2305    function Optimize_Alignment_Time (Id : E) return B is
2306    begin
2307       pragma Assert
2308         (Is_Type (Id)
2309            or else Ekind (Id) = E_Constant
2310            or else Ekind (Id) = E_Variable);
2311       return Flag242 (Id);
2312    end Optimize_Alignment_Time;
2313
2314    function Original_Array_Type (Id : E) return E is
2315    begin
2316       pragma Assert (Is_Array_Type (Id) or else Is_Modular_Integer_Type (Id));
2317       return Node21 (Id);
2318    end Original_Array_Type;
2319
2320    function Original_Record_Component (Id : E) return E is
2321    begin
2322       pragma Assert
2323         (Ekind (Id) = E_Void
2324            or else Ekind (Id) = E_Component
2325            or else Ekind (Id) = E_Discriminant);
2326       return Node22 (Id);
2327    end Original_Record_Component;
2328
2329    function Overlays_Constant (Id : E) return B is
2330    begin
2331       return Flag243 (Id);
2332    end Overlays_Constant;
2333
2334    function Overridden_Operation (Id : E) return E is
2335    begin
2336       return Node26 (Id);
2337    end Overridden_Operation;
2338
2339    function Package_Instantiation (Id : E) return N is
2340    begin
2341       pragma Assert
2342         (False
2343            or else Ekind (Id) = E_Generic_Package
2344            or else Ekind (Id) = E_Package);
2345       return Node26 (Id);
2346    end Package_Instantiation;
2347
2348    function Packed_Array_Type (Id : E) return E is
2349    begin
2350       pragma Assert (Is_Array_Type (Id));
2351       return Node23 (Id);
2352    end Packed_Array_Type;
2353
2354    function Parent_Subtype (Id : E) return E is
2355    begin
2356       pragma Assert (Ekind (Id) = E_Record_Type);
2357       return Node19 (Id);
2358    end Parent_Subtype;
2359
2360    function Primitive_Operations (Id : E) return L is
2361    begin
2362       pragma Assert (Is_Tagged_Type (Id));
2363       return Elist15 (Id);
2364    end Primitive_Operations;
2365
2366    function Prival (Id : E) return E is
2367    begin
2368       pragma Assert (Is_Protected_Component (Id));
2369       return Node17 (Id);
2370    end Prival;
2371
2372    function Prival_Link (Id : E) return E is
2373    begin
2374       pragma Assert (Ekind (Id) = E_Constant
2375         or else Ekind (Id) = E_Variable);
2376       return Node20 (Id);
2377    end Prival_Link;
2378
2379    function Private_Dependents (Id : E) return L is
2380    begin
2381       pragma Assert (Is_Incomplete_Or_Private_Type (Id));
2382       return Elist18 (Id);
2383    end Private_Dependents;
2384
2385    function Private_View (Id : E) return N is
2386    begin
2387       pragma Assert (Is_Private_Type (Id));
2388       return Node22 (Id);
2389    end Private_View;
2390
2391    function Protected_Body_Subprogram (Id : E) return E is
2392    begin
2393       pragma Assert (Is_Subprogram (Id) or else Is_Entry (Id));
2394       return Node11 (Id);
2395    end Protected_Body_Subprogram;
2396
2397    function Protected_Formal (Id : E) return E is
2398    begin
2399       pragma Assert (Is_Formal (Id));
2400       return Node22 (Id);
2401    end Protected_Formal;
2402
2403    function Protection_Object (Id : E) return E is
2404    begin
2405       pragma Assert (Ekind (Id) = E_Entry
2406         or else Ekind (Id) = E_Entry_Family
2407         or else Ekind (Id) = E_Function
2408         or else Ekind (Id) = E_Procedure);
2409       return Node23 (Id);
2410    end Protection_Object;
2411
2412    function Reachable (Id : E) return B is
2413    begin
2414       return Flag49 (Id);
2415    end Reachable;
2416
2417    function Referenced (Id : E) return B is
2418    begin
2419       return Flag156 (Id);
2420    end Referenced;
2421
2422    function Referenced_As_LHS (Id : E) return B is
2423    begin
2424       return Flag36 (Id);
2425    end Referenced_As_LHS;
2426
2427    function Referenced_As_Out_Parameter (Id : E) return B is
2428    begin
2429       return Flag227 (Id);
2430    end Referenced_As_Out_Parameter;
2431
2432    function Referenced_Object (Id : E) return N is
2433    begin
2434       pragma Assert (Is_Type (Id));
2435       return Node10 (Id);
2436    end Referenced_Object;
2437
2438    function Register_Exception_Call (Id : E) return N is
2439    begin
2440       pragma Assert (Ekind (Id) = E_Exception);
2441       return Node20 (Id);
2442    end Register_Exception_Call;
2443
2444    function Related_Array_Object (Id : E) return E is
2445    begin
2446       pragma Assert (Is_Array_Type (Id));
2447       return Node19 (Id);
2448    end Related_Array_Object;
2449
2450    function Related_Instance (Id : E) return E is
2451    begin
2452       pragma Assert
2453         (Ekind (Id) = E_Package or else Ekind (Id) = E_Package_Body);
2454       return Node15 (Id);
2455    end Related_Instance;
2456
2457    function Related_Type (Id : E) return E is
2458    begin
2459       pragma Assert
2460         (Ekind (Id) = E_Component or else Ekind (Id) = E_Constant);
2461       return Node26 (Id);
2462    end Related_Type;
2463
2464    function Relative_Deadline_Variable (Id : E) return E is
2465    begin
2466       pragma Assert (Is_Task_Type (Id));
2467       return Node26 (Implementation_Base_Type (Id));
2468    end Relative_Deadline_Variable;
2469
2470    function Renamed_Entity (Id : E) return N is
2471    begin
2472       return Node18 (Id);
2473    end Renamed_Entity;
2474
2475    function Renamed_In_Spec (Id : E) return B is
2476    begin
2477       pragma Assert (Ekind (Id) = E_Package);
2478       return Flag231 (Id);
2479    end Renamed_In_Spec;
2480
2481    function Renamed_Object (Id : E) return N is
2482    begin
2483       return Node18 (Id);
2484    end Renamed_Object;
2485
2486    function Renaming_Map (Id : E) return U is
2487    begin
2488       return Uint9 (Id);
2489    end Renaming_Map;
2490
2491    function Requires_Overriding (Id : E) return B is
2492    begin
2493       pragma Assert (Is_Overloadable (Id));
2494       return Flag213 (Id);
2495    end Requires_Overriding;
2496
2497    function Return_Present (Id : E) return B is
2498    begin
2499       return Flag54 (Id);
2500    end Return_Present;
2501
2502    function Return_Applies_To (Id : E) return N is
2503    begin
2504       return Node8 (Id);
2505    end Return_Applies_To;
2506
2507    function Returns_By_Ref (Id : E) return B is
2508    begin
2509       return Flag90 (Id);
2510    end Returns_By_Ref;
2511
2512    function Reverse_Bit_Order (Id : E) return B is
2513    begin
2514       pragma Assert (Is_Record_Type (Id));
2515       return Flag164 (Base_Type (Id));
2516    end Reverse_Bit_Order;
2517
2518    function RM_Size (Id : E) return U is
2519    begin
2520       pragma Assert (Is_Type (Id));
2521       return Uint13 (Id);
2522    end RM_Size;
2523
2524    function Scalar_Range (Id : E) return N is
2525    begin
2526       return Node20 (Id);
2527    end Scalar_Range;
2528
2529    function Scale_Value (Id : E) return U is
2530    begin
2531       return Uint15 (Id);
2532    end Scale_Value;
2533
2534    function Scope_Depth_Value (Id : E) return U is
2535    begin
2536       return Uint22 (Id);
2537    end Scope_Depth_Value;
2538
2539    function Sec_Stack_Needed_For_Return (Id : E) return B is
2540    begin
2541       return Flag167 (Id);
2542    end Sec_Stack_Needed_For_Return;
2543
2544    function Shadow_Entities (Id : E) return S is
2545    begin
2546       pragma Assert
2547         (Ekind (Id) = E_Package or else Ekind (Id) = E_Generic_Package);
2548       return List14 (Id);
2549    end Shadow_Entities;
2550
2551    function Shared_Var_Procs_Instance (Id : E) return E is
2552    begin
2553       pragma Assert (Ekind (Id) = E_Variable);
2554       return Node22 (Id);
2555    end Shared_Var_Procs_Instance;
2556
2557    function Size_Check_Code (Id : E) return N is
2558    begin
2559       pragma Assert (Ekind (Id) = E_Constant or else Ekind (Id) = E_Variable);
2560       return Node19 (Id);
2561    end Size_Check_Code;
2562
2563    function Size_Depends_On_Discriminant (Id : E) return B is
2564    begin
2565       return Flag177 (Id);
2566    end Size_Depends_On_Discriminant;
2567
2568    function Size_Known_At_Compile_Time (Id : E) return B is
2569    begin
2570       return Flag92 (Id);
2571    end Size_Known_At_Compile_Time;
2572
2573    function Small_Value (Id : E) return R is
2574    begin
2575       pragma Assert (Is_Fixed_Point_Type (Id));
2576       return Ureal21 (Id);
2577    end Small_Value;
2578
2579    function Spec_Entity (Id : E) return E is
2580    begin
2581       pragma Assert
2582         (Ekind (Id) = E_Package_Body or else Is_Formal (Id));
2583       return Node19 (Id);
2584    end Spec_Entity;
2585
2586    function Spec_PPC_List (Id : E) return N is
2587    begin
2588       pragma Assert (Is_Subprogram (Id) or else Is_Generic_Subprogram (Id));
2589       return Node24 (Id);
2590    end Spec_PPC_List;
2591
2592    function Storage_Size_Variable (Id : E) return E is
2593    begin
2594       pragma Assert (Is_Access_Type (Id) or else Is_Task_Type (Id));
2595       return Node15 (Implementation_Base_Type (Id));
2596    end Storage_Size_Variable;
2597
2598    function Static_Elaboration_Desired (Id : E) return B is
2599    begin
2600       pragma Assert (Ekind (Id) = E_Package);
2601       return Flag77 (Id);
2602    end Static_Elaboration_Desired;
2603
2604    function Static_Initialization (Id : E) return N is
2605    begin
2606       pragma Assert
2607         (Ekind (Id) = E_Procedure and then not Is_Dispatching_Operation (Id));
2608       return Node26 (Id);
2609    end Static_Initialization;
2610
2611    function Stored_Constraint (Id : E) return L is
2612    begin
2613       pragma Assert
2614         (Is_Composite_Type (Id) and then not Is_Array_Type (Id));
2615       return Elist23 (Id);
2616    end Stored_Constraint;
2617
2618    function Strict_Alignment (Id : E) return B is
2619    begin
2620       return Flag145 (Implementation_Base_Type (Id));
2621    end Strict_Alignment;
2622
2623    function String_Literal_Length (Id : E) return U is
2624    begin
2625       return Uint16 (Id);
2626    end String_Literal_Length;
2627
2628    function String_Literal_Low_Bound (Id : E) return N is
2629    begin
2630       return Node15 (Id);
2631    end String_Literal_Low_Bound;
2632
2633    function Suppress_Elaboration_Warnings (Id : E) return B is
2634    begin
2635       return Flag148 (Id);
2636    end Suppress_Elaboration_Warnings;
2637
2638    function Suppress_Init_Proc (Id : E) return B is
2639    begin
2640       return Flag105 (Base_Type (Id));
2641    end Suppress_Init_Proc;
2642
2643    function Suppress_Style_Checks (Id : E) return B is
2644    begin
2645       return Flag165 (Id);
2646    end Suppress_Style_Checks;
2647
2648    function Suppress_Value_Tracking_On_Call (Id : E) return B is
2649    begin
2650       return Flag217 (Id);
2651    end Suppress_Value_Tracking_On_Call;
2652
2653    function Task_Body_Procedure (Id : E) return N is
2654    begin
2655       pragma Assert (Ekind (Id) in Task_Kind);
2656       return Node25 (Id);
2657    end Task_Body_Procedure;
2658
2659    function Treat_As_Volatile (Id : E) return B is
2660    begin
2661       return Flag41 (Id);
2662    end Treat_As_Volatile;
2663
2664    function Underlying_Full_View (Id : E) return E is
2665    begin
2666       pragma Assert (Ekind (Id) in Private_Kind);
2667       return Node19 (Id);
2668    end Underlying_Full_View;
2669
2670    function Universal_Aliasing (Id : E) return B is
2671    begin
2672       pragma Assert (Is_Type (Id));
2673       return Flag216 (Base_Type (Id));
2674    end Universal_Aliasing;
2675
2676    function Unset_Reference (Id : E) return N is
2677    begin
2678       return Node16 (Id);
2679    end Unset_Reference;
2680
2681    function Used_As_Generic_Actual (Id : E) return B is
2682    begin
2683       return Flag222 (Id);
2684    end Used_As_Generic_Actual;
2685
2686    function Uses_Sec_Stack (Id : E) return B is
2687    begin
2688       return Flag95 (Id);
2689    end Uses_Sec_Stack;
2690
2691    function Vax_Float (Id : E) return B is
2692    begin
2693       return Flag151 (Base_Type (Id));
2694    end Vax_Float;
2695
2696    function Warnings_Off (Id : E) return B is
2697    begin
2698       return Flag96 (Id);
2699    end Warnings_Off;
2700
2701    function Warnings_Off_Used (Id : E) return B is
2702    begin
2703       return Flag236 (Id);
2704    end Warnings_Off_Used;
2705
2706    function Warnings_Off_Used_Unmodified (Id : E) return B is
2707    begin
2708       return Flag237 (Id);
2709    end Warnings_Off_Used_Unmodified;
2710
2711    function Warnings_Off_Used_Unreferenced (Id : E) return B is
2712    begin
2713       return Flag238 (Id);
2714    end Warnings_Off_Used_Unreferenced;
2715
2716    function Wrapped_Entity (Id : E) return E is
2717    begin
2718       pragma Assert ((Ekind (Id) = E_Function
2719           or else Ekind (Id) = E_Procedure)
2720         and then Is_Primitive_Wrapper (Id));
2721       return Node27 (Id);
2722    end Wrapped_Entity;
2723
2724    function Was_Hidden (Id : E) return B is
2725    begin
2726       return Flag196 (Id);
2727    end Was_Hidden;
2728
2729    ------------------------------
2730    -- Classification Functions --
2731    ------------------------------
2732
2733    function Is_Access_Type                      (Id : E) return B is
2734    begin
2735       return Ekind (Id) in Access_Kind;
2736    end Is_Access_Type;
2737
2738    function Is_Access_Protected_Subprogram_Type (Id : E) return B is
2739    begin
2740       return Ekind (Id) in Access_Protected_Kind;
2741    end Is_Access_Protected_Subprogram_Type;
2742
2743    function Is_Access_Subprogram_Type           (Id : E) return B is
2744    begin
2745       return Ekind (Id) in Access_Subprogram_Kind;
2746    end Is_Access_Subprogram_Type;
2747
2748    function Is_Array_Type                       (Id : E) return B is
2749    begin
2750       return Ekind (Id) in Array_Kind;
2751    end Is_Array_Type;
2752
2753    function Is_Assignable                       (Id : E) return B is
2754    begin
2755       return Ekind (Id) in Assignable_Kind;
2756    end Is_Assignable;
2757
2758    function Is_Class_Wide_Type                  (Id : E) return B is
2759    begin
2760       return Ekind (Id) in Class_Wide_Kind;
2761    end Is_Class_Wide_Type;
2762
2763    function Is_Composite_Type                   (Id : E) return B is
2764    begin
2765       return Ekind (Id) in Composite_Kind;
2766    end Is_Composite_Type;
2767
2768    function Is_Concurrent_Body                  (Id : E) return B is
2769    begin
2770       return Ekind (Id) in
2771         Concurrent_Body_Kind;
2772    end Is_Concurrent_Body;
2773
2774    function Is_Concurrent_Record_Type           (Id : E) return B is
2775    begin
2776       return Flag20 (Id);
2777    end Is_Concurrent_Record_Type;
2778
2779    function Is_Concurrent_Type                  (Id : E) return B is
2780    begin
2781       return Ekind (Id) in Concurrent_Kind;
2782    end Is_Concurrent_Type;
2783
2784    function Is_Decimal_Fixed_Point_Type         (Id : E) return B is
2785    begin
2786       return Ekind (Id) in
2787         Decimal_Fixed_Point_Kind;
2788    end Is_Decimal_Fixed_Point_Type;
2789
2790    function Is_Digits_Type                      (Id : E) return B is
2791    begin
2792       return Ekind (Id) in Digits_Kind;
2793    end Is_Digits_Type;
2794
2795    function Is_Discrete_Or_Fixed_Point_Type     (Id : E) return B is
2796    begin
2797       return Ekind (Id) in Discrete_Or_Fixed_Point_Kind;
2798    end Is_Discrete_Or_Fixed_Point_Type;
2799
2800    function Is_Discrete_Type                    (Id : E) return B is
2801    begin
2802       return Ekind (Id) in Discrete_Kind;
2803    end Is_Discrete_Type;
2804
2805    function Is_Elementary_Type                  (Id : E) return B is
2806    begin
2807       return Ekind (Id) in Elementary_Kind;
2808    end Is_Elementary_Type;
2809
2810    function Is_Entry                            (Id : E) return B is
2811    begin
2812       return Ekind (Id) in Entry_Kind;
2813    end Is_Entry;
2814
2815    function Is_Enumeration_Type                 (Id : E) return B is
2816    begin
2817       return Ekind (Id) in
2818         Enumeration_Kind;
2819    end Is_Enumeration_Type;
2820
2821    function Is_Fixed_Point_Type                 (Id : E) return B is
2822    begin
2823       return Ekind (Id) in
2824         Fixed_Point_Kind;
2825    end Is_Fixed_Point_Type;
2826
2827    function Is_Floating_Point_Type              (Id : E) return B is
2828    begin
2829       return Ekind (Id) in Float_Kind;
2830    end Is_Floating_Point_Type;
2831
2832    function Is_Formal                           (Id : E) return B is
2833    begin
2834       return Ekind (Id) in Formal_Kind;
2835    end Is_Formal;
2836
2837    function Is_Formal_Object                    (Id : E) return B is
2838    begin
2839       return Ekind (Id) in Formal_Object_Kind;
2840    end Is_Formal_Object;
2841
2842    function Is_Generic_Subprogram               (Id : E) return B is
2843    begin
2844       return Ekind (Id) in Generic_Subprogram_Kind;
2845    end Is_Generic_Subprogram;
2846
2847    function Is_Generic_Unit                     (Id : E) return B is
2848    begin
2849       return Ekind (Id) in Generic_Unit_Kind;
2850    end Is_Generic_Unit;
2851
2852    function Is_Incomplete_Or_Private_Type       (Id : E) return B is
2853    begin
2854       return Ekind (Id) in
2855         Incomplete_Or_Private_Kind;
2856    end Is_Incomplete_Or_Private_Type;
2857
2858    function Is_Incomplete_Type                  (Id : E) return B is
2859    begin
2860       return Ekind (Id) in
2861         Incomplete_Kind;
2862    end Is_Incomplete_Type;
2863
2864    function Is_Integer_Type                     (Id : E) return B is
2865    begin
2866       return Ekind (Id) in Integer_Kind;
2867    end Is_Integer_Type;
2868
2869    function Is_Modular_Integer_Type             (Id : E) return B is
2870    begin
2871       return Ekind (Id) in
2872         Modular_Integer_Kind;
2873    end Is_Modular_Integer_Type;
2874
2875    function Is_Named_Number                     (Id : E) return B is
2876    begin
2877       return Ekind (Id) in Named_Kind;
2878    end Is_Named_Number;
2879
2880    function Is_Numeric_Type                     (Id : E) return B is
2881    begin
2882       return Ekind (Id) in Numeric_Kind;
2883    end Is_Numeric_Type;
2884
2885    function Is_Object                           (Id : E) return B is
2886    begin
2887       return Ekind (Id) in Object_Kind;
2888    end Is_Object;
2889
2890    function Is_Ordinary_Fixed_Point_Type        (Id : E) return B is
2891    begin
2892       return Ekind (Id) in
2893         Ordinary_Fixed_Point_Kind;
2894    end Is_Ordinary_Fixed_Point_Type;
2895
2896    function Is_Overloadable                     (Id : E) return B is
2897    begin
2898       return Ekind (Id) in Overloadable_Kind;
2899    end Is_Overloadable;
2900
2901    function Is_Private_Type                     (Id : E) return B is
2902    begin
2903       return Ekind (Id) in Private_Kind;
2904    end Is_Private_Type;
2905
2906    function Is_Protected_Type                   (Id : E) return B is
2907    begin
2908       return Ekind (Id) in Protected_Kind;
2909    end Is_Protected_Type;
2910
2911    function Is_Real_Type                        (Id : E) return B is
2912    begin
2913       return Ekind (Id) in Real_Kind;
2914    end Is_Real_Type;
2915
2916    function Is_Record_Type                      (Id : E) return B is
2917    begin
2918       return Ekind (Id) in Record_Kind;
2919    end Is_Record_Type;
2920
2921    function Is_Scalar_Type                      (Id : E) return B is
2922    begin
2923       return Ekind (Id) in Scalar_Kind;
2924    end Is_Scalar_Type;
2925
2926    function Is_Signed_Integer_Type              (Id : E) return B is
2927    begin
2928       return Ekind (Id) in
2929         Signed_Integer_Kind;
2930    end Is_Signed_Integer_Type;
2931
2932    function Is_Subprogram                       (Id : E) return B is
2933    begin
2934       return Ekind (Id) in Subprogram_Kind;
2935    end Is_Subprogram;
2936
2937    function Is_Task_Type                        (Id : E) return B is
2938    begin
2939       return Ekind (Id) in Task_Kind;
2940    end Is_Task_Type;
2941
2942    function Is_Type                             (Id : E) return B is
2943    begin
2944       return Ekind (Id) in Type_Kind;
2945    end Is_Type;
2946
2947    ------------------------------
2948    -- Attribute Set Procedures --
2949    ------------------------------
2950
2951    procedure Set_Accept_Address (Id : E; V : L) is
2952    begin
2953       Set_Elist21 (Id, V);
2954    end Set_Accept_Address;
2955
2956    procedure Set_Access_Disp_Table (Id : E; V : L) is
2957    begin
2958       pragma Assert (Is_Tagged_Type (Id) and then Id = Base_Type (Id));
2959       Set_Elist16 (Id, V);
2960    end Set_Access_Disp_Table;
2961
2962    procedure Set_Associated_Final_Chain (Id : E; V : E) is
2963    begin
2964       pragma Assert (Is_Access_Type (Id));
2965       Set_Node23 (Id, V);
2966    end Set_Associated_Final_Chain;
2967
2968    procedure Set_Associated_Formal_Package (Id : E; V : E) is
2969    begin
2970       Set_Node12 (Id, V);
2971    end Set_Associated_Formal_Package;
2972
2973    procedure Set_Associated_Node_For_Itype (Id : E; V : E) is
2974    begin
2975       Set_Node8 (Id, V);
2976    end Set_Associated_Node_For_Itype;
2977
2978    procedure Set_Associated_Storage_Pool (Id : E; V : E) is
2979    begin
2980       pragma Assert (Is_Access_Type (Id) and then Id = Base_Type (Id));
2981       Set_Node22 (Id, V);
2982    end Set_Associated_Storage_Pool;
2983
2984    procedure Set_Actual_Subtype (Id : E; V : E) is
2985    begin
2986       pragma Assert
2987          (Ekind (Id) = E_Constant
2988            or else Ekind (Id) = E_Variable
2989            or else Ekind (Id) = E_Generic_In_Out_Parameter
2990            or else Is_Formal (Id));
2991       Set_Node17 (Id, V);
2992    end Set_Actual_Subtype;
2993
2994    procedure Set_Address_Taken (Id : E; V : B := True) is
2995    begin
2996       Set_Flag104 (Id, V);
2997    end Set_Address_Taken;
2998
2999    procedure Set_Alias (Id : E; V : E) is
3000    begin
3001       pragma Assert
3002         (Is_Overloadable (Id) or else Ekind (Id) = E_Subprogram_Type);
3003       Set_Node18 (Id, V);
3004    end Set_Alias;
3005
3006    procedure Set_Alignment (Id : E; V : U) is
3007    begin
3008       pragma Assert (Is_Type (Id)
3009                        or else Is_Formal (Id)
3010                        or else Ekind (Id) = E_Loop_Parameter
3011                        or else Ekind (Id) = E_Constant
3012                        or else Ekind (Id) = E_Exception
3013                        or else Ekind (Id) = E_Variable);
3014       Set_Uint14 (Id, V);
3015    end Set_Alignment;
3016
3017    procedure Set_Barrier_Function (Id : E; V : N) is
3018    begin
3019       pragma Assert (Is_Entry (Id));
3020       Set_Node12 (Id, V);
3021    end Set_Barrier_Function;
3022
3023    procedure Set_Block_Node (Id : E; V : N) is
3024    begin
3025       pragma Assert (Ekind (Id) = E_Block);
3026       Set_Node11 (Id, V);
3027    end Set_Block_Node;
3028
3029    procedure Set_Body_Entity (Id : E; V : E) is
3030    begin
3031       pragma Assert
3032         (Ekind (Id) = E_Package or else Ekind (Id) = E_Generic_Package);
3033       Set_Node19 (Id, V);
3034    end Set_Body_Entity;
3035
3036    procedure Set_Body_Needed_For_SAL (Id : E; V : B := True) is
3037    begin
3038       pragma Assert
3039         (Ekind (Id) = E_Package
3040            or else Is_Subprogram (Id)
3041            or else Is_Generic_Unit (Id));
3042       Set_Flag40 (Id, V);
3043    end Set_Body_Needed_For_SAL;
3044
3045    procedure Set_C_Pass_By_Copy (Id : E; V : B := True) is
3046    begin
3047       pragma Assert (Is_Record_Type (Id) and then Id = Base_Type (Id));
3048       Set_Flag125 (Id, V);
3049    end Set_C_Pass_By_Copy;
3050
3051    procedure Set_Can_Never_Be_Null (Id : E; V : B := True) is
3052    begin
3053       Set_Flag38 (Id, V);
3054    end Set_Can_Never_Be_Null;
3055
3056    procedure Set_Checks_May_Be_Suppressed (Id : E; V : B := True) is
3057    begin
3058       Set_Flag31 (Id, V);
3059    end Set_Checks_May_Be_Suppressed;
3060
3061    procedure Set_Class_Wide_Type (Id : E; V : E) is
3062    begin
3063       pragma Assert (Is_Type (Id));
3064       Set_Node9 (Id, V);
3065    end Set_Class_Wide_Type;
3066
3067    procedure Set_Cloned_Subtype (Id : E; V : E) is
3068    begin
3069       pragma Assert
3070         (Ekind (Id) = E_Record_Subtype
3071          or else Ekind (Id) = E_Class_Wide_Subtype);
3072       Set_Node16 (Id, V);
3073    end Set_Cloned_Subtype;
3074
3075    procedure Set_Component_Bit_Offset (Id : E; V : U) is
3076    begin
3077       pragma Assert
3078         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
3079       Set_Uint11 (Id, V);
3080    end Set_Component_Bit_Offset;
3081
3082    procedure Set_Component_Clause (Id : E; V : N) is
3083    begin
3084       pragma Assert
3085         (Ekind (Id) = E_Component or else Ekind (Id) = E_Discriminant);
3086       Set_Node13 (Id, V);
3087    end Set_Component_Clause;
3088
3089    procedure Set_Component_Size (Id : E; V : U) is
3090    begin
3091       pragma Assert (Is_Array_Type (Id) and then Id = Base_Type (Id));
3092       Set_Uint22 (Id, V);
3093    end Set_Component_Size;
3094
3095    procedure Set_Component_Type (Id : E; V : E) is
3096    begin
3097       pragma Assert (Is_Array_Type (Id) and then Id = Base_Type (Id));
3098       Set_Node20 (Id, V);
3099    end Set_Component_Type;
3100
3101    procedure Set_Corresponding_Concurrent_Type (Id : E; V : E) is
3102    begin
3103       pragma Assert
3104         (Ekind (Id) = E_Record_Type and then Is_Concurrent_Type (V));
3105       Set_Node18 (Id, V);
3106    end Set_Corresponding_Concurrent_Type;
3107
3108    procedure Set_Corresponding_Discriminant (Id : E; V : E) is
3109    begin
3110       pragma Assert (Ekind (Id) = E_Discriminant);
3111       Set_Node19 (Id, V);
3112    end Set_Corresponding_Discriminant;
3113
3114    procedure Set_Corresponding_Equality (Id : E; V : E) is
3115    begin
3116       pragma Assert
3117         (Ekind (Id) = E_Function
3118           and then not Comes_From_Source (Id)
3119           and then Chars (Id) = Name_Op_Ne);
3120       Set_Node13 (Id, V);
3121    end Set_Corresponding_Equality;
3122
3123    procedure Set_Corresponding_Record_Type (Id : E; V : E) is
3124    begin
3125       pragma Assert (Is_Concurrent_Type (Id));
3126       Set_Node18 (Id, V);
3127    end Set_Corresponding_Record_Type;
3128
3129    procedure Set_Corresponding_Remote_Type (Id : E; V : E) is
3130    begin
3131       Set_Node22 (Id, V);
3132    end Set_Corresponding_Remote_Type;
3133
3134    procedure Set_Current_Use_Clause (Id : E; V : E) is
3135    begin
3136       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
3137       Set_Node27 (Id, V);
3138    end Set_Current_Use_Clause;
3139
3140    procedure Set_Current_Value (Id : E; V : N) is
3141    begin
3142       pragma Assert (Ekind (Id) in Object_Kind or else Ekind (Id) = E_Void);
3143       Set_Node9 (Id, V);
3144    end Set_Current_Value;
3145
3146    procedure Set_CR_Discriminant (Id : E; V : E) is
3147    begin
3148       Set_Node23 (Id, V);
3149    end Set_CR_Discriminant;
3150
3151    procedure Set_Debug_Info_Off (Id : E; V : B := True) is
3152    begin
3153       Set_Flag166 (Id, V);
3154    end Set_Debug_Info_Off;
3155
3156    procedure Set_Debug_Renaming_Link (Id : E; V : E) is
3157    begin
3158       Set_Node25 (Id, V);
3159    end Set_Debug_Renaming_Link;
3160
3161    procedure Set_Default_Expr_Function (Id : E; V : E) is
3162    begin
3163       pragma Assert (Is_Formal (Id));
3164       Set_Node21 (Id, V);
3165    end Set_Default_Expr_Function;
3166
3167    procedure Set_Default_Expressions_Processed (Id : E; V : B := True) is
3168    begin
3169       Set_Flag108 (Id, V);
3170    end Set_Default_Expressions_Processed;
3171
3172    procedure Set_Default_Value (Id : E; V : N) is
3173    begin
3174       pragma Assert (Is_Formal (Id));
3175       Set_Node20 (Id, V);
3176    end Set_Default_Value;
3177
3178    procedure Set_Delay_Cleanups (Id : E; V : B := True) is
3179    begin
3180       pragma Assert
3181         (Is_Subprogram (Id)
3182            or else Is_Task_Type (Id)
3183            or else Ekind (Id) = E_Block);
3184       Set_Flag114 (Id, V);
3185    end Set_Delay_Cleanups;
3186
3187    procedure Set_Delay_Subprogram_Descriptors (Id : E; V : B := True) is
3188    begin
3189       pragma Assert
3190         (Is_Subprogram (Id)
3191            or else Ekind (Id) = E_Package
3192            or else Ekind (Id) = E_Package_Body);
3193       Set_Flag50 (Id, V);
3194    end Set_Delay_Subprogram_Descriptors;
3195
3196    procedure Set_Delta_Value (Id : E; V : R) is
3197    begin
3198       pragma Assert (Is_Fixed_Point_Type (Id));
3199       Set_Ureal18 (Id, V);
3200    end Set_Delta_Value;
3201
3202    procedure Set_Dependent_Instances (Id : E; V : L) is
3203    begin
3204       pragma Assert (Is_Generic_Instance (Id));
3205       Set_Elist8 (Id, V);
3206    end Set_Dependent_Instances;
3207
3208    procedure Set_Depends_On_Private (Id : E; V : B := True) is
3209    begin
3210       pragma Assert (Nkind (Id) in N_Entity);
3211       Set_Flag14 (Id, V);
3212    end Set_Depends_On_Private;
3213
3214    procedure Set_Digits_Value (Id : E; V : U) is
3215    begin
3216       pragma Assert
3217         (Is_Floating_Point_Type (Id)
3218           or else Is_Decimal_Fixed_Point_Type (Id));
3219       Set_Uint17 (Id, V);
3220    end Set_Digits_Value;
3221
3222    procedure Set_Directly_Designated_Type (Id : E; V : E) is
3223    begin
3224       Set_Node20 (Id, V);
3225    end Set_Directly_Designated_Type;
3226
3227    procedure Set_Discard_Names (Id : E; V : B := True) is
3228    begin
3229       Set_Flag88 (Id, V);
3230    end Set_Discard_Names;
3231
3232    procedure Set_Discriminal (Id : E; V : E) is
3233    begin
3234       pragma Assert (Ekind (Id) = E_Discriminant);
3235       Set_Node17 (Id, V);
3236    end Set_Discriminal;
3237
3238    procedure Set_Discriminal_Link (Id : E; V : E) is
3239    begin
3240       Set_Node10 (Id, V);
3241    end Set_Discriminal_Link;
3242
3243    procedure Set_Discriminant_Checking_Func (Id  : E; V : E) is
3244    begin
3245       pragma Assert (Ekind (Id) = E_Component);
3246       Set_Node20 (Id, V);
3247    end Set_Discriminant_Checking_Func;
3248
3249    procedure Set_Discriminant_Constraint (Id : E; V : L) is
3250    begin
3251       pragma Assert (Nkind (Id) in N_Entity);
3252       Set_Elist21 (Id, V);
3253    end Set_Discriminant_Constraint;
3254
3255    procedure Set_Discriminant_Default_Value (Id : E; V : N) is
3256    begin
3257       Set_Node20 (Id, V);
3258    end Set_Discriminant_Default_Value;
3259
3260    procedure Set_Discriminant_Number (Id : E; V : U) is
3261    begin
3262       Set_Uint15 (Id, V);
3263    end Set_Discriminant_Number;
3264
3265    procedure Set_Dispatch_Table_Wrapper (Id : E; V : E) is
3266    begin
3267       pragma Assert (Is_Tagged_Type (Id) and then Id = Base_Type (Id));
3268       Set_Node26 (Id, V);
3269    end Set_Dispatch_Table_Wrapper;
3270
3271    procedure Set_DT_Entry_Count (Id : E; V : U) is
3272    begin
3273       pragma Assert (Ekind (Id) = E_Component);
3274       Set_Uint15 (Id, V);
3275    end Set_DT_Entry_Count;
3276
3277    procedure Set_DT_Offset_To_Top_Func (Id : E; V : E) is
3278    begin
3279       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
3280       Set_Node25 (Id, V);
3281    end Set_DT_Offset_To_Top_Func;
3282
3283    procedure Set_DT_Position (Id : E; V : U) is
3284    begin
3285       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
3286       Set_Uint15 (Id, V);
3287    end Set_DT_Position;
3288
3289    procedure Set_DTC_Entity (Id : E; V : E) is
3290    begin
3291       pragma Assert
3292         (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
3293       Set_Node16 (Id, V);
3294    end Set_DTC_Entity;
3295
3296    procedure Set_Elaborate_Body_Desirable (Id : E; V : B := True) is
3297    begin
3298       pragma Assert (Ekind (Id) = E_Package);
3299       Set_Flag210 (Id, V);
3300    end Set_Elaborate_Body_Desirable;
3301
3302    procedure Set_Elaboration_Entity (Id : E; V : E) is
3303    begin
3304       pragma Assert
3305         (Is_Subprogram (Id)
3306            or else
3307          Ekind (Id) = E_Package
3308            or else
3309          Is_Generic_Unit (Id));
3310       Set_Node13 (Id, V);
3311    end Set_Elaboration_Entity;
3312
3313    procedure Set_Elaboration_Entity_Required (Id : E; V : B := True) is
3314    begin
3315       pragma Assert
3316         (Is_Subprogram (Id)
3317            or else
3318          Ekind (Id) = E_Package
3319            or else
3320          Is_Generic_Unit (Id));
3321       Set_Flag174 (Id, V);
3322    end Set_Elaboration_Entity_Required;
3323
3324    procedure Set_Enclosing_Scope (Id : E; V : E) is
3325    begin
3326       Set_Node18 (Id, V);
3327    end Set_Enclosing_Scope;
3328
3329    procedure Set_Entry_Accepted (Id : E; V : B := True) is
3330    begin
3331       pragma Assert (Is_Entry (Id));
3332       Set_Flag152 (Id, V);
3333    end Set_Entry_Accepted;
3334
3335    procedure Set_Entry_Bodies_Array (Id : E; V : E) is
3336    begin
3337       Set_Node15 (Id, V);
3338    end Set_Entry_Bodies_Array;
3339
3340    procedure Set_Entry_Cancel_Parameter (Id : E; V : E) is
3341    begin
3342       Set_Node23 (Id, V);
3343    end Set_Entry_Cancel_Parameter;
3344
3345    procedure Set_Entry_Component (Id : E; V : E) is
3346    begin
3347       Set_Node11 (Id, V);
3348    end Set_Entry_Component;
3349
3350    procedure Set_Entry_Formal (Id : E; V : E) is
3351    begin
3352       Set_Node16 (Id, V);
3353    end Set_Entry_Formal;
3354
3355    procedure Set_Entry_Index_Constant (Id : E; V : E) is
3356    begin
3357       pragma Assert (Ekind (Id) = E_Entry_Index_Parameter);
3358       Set_Node18 (Id, V);
3359    end Set_Entry_Index_Constant;
3360
3361    procedure Set_Entry_Parameters_Type (Id : E; V : E) is
3362    begin
3363       Set_Node15 (Id, V);
3364    end Set_Entry_Parameters_Type;
3365
3366    procedure Set_Enum_Pos_To_Rep (Id : E; V : E) is
3367    begin
3368       pragma Assert (Ekind (Id) = E_Enumeration_Type);
3369       Set_Node23 (Id, V);
3370    end Set_Enum_Pos_To_Rep;
3371
3372    procedure Set_Enumeration_Pos (Id : E; V : U) is
3373    begin
3374       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
3375       Set_Uint11 (Id, V);
3376    end Set_Enumeration_Pos;
3377
3378    procedure Set_Enumeration_Rep (Id : E; V : U) is
3379    begin
3380       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
3381       Set_Uint12 (Id, V);
3382    end Set_Enumeration_Rep;
3383
3384    procedure Set_Enumeration_Rep_Expr (Id : E; V : N) is
3385    begin
3386       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
3387       Set_Node22 (Id, V);
3388    end Set_Enumeration_Rep_Expr;
3389
3390    procedure Set_Equivalent_Type (Id : E; V : E) is
3391    begin
3392       pragma Assert
3393         (Ekind (Id) = E_Class_Wide_Type                            or else
3394          Ekind (Id) = E_Class_Wide_Subtype                         or else
3395          Ekind (Id) = E_Access_Protected_Subprogram_Type           or else
3396          Ekind (Id) = E_Anonymous_Access_Protected_Subprogram_Type or else
3397          Ekind (Id) = E_Access_Subprogram_Type                     or else
3398          Ekind (Id) = E_Exception_Type);
3399       Set_Node18 (Id, V);
3400    end Set_Equivalent_Type;
3401
3402    procedure Set_Esize (Id : E; V : U) is
3403    begin
3404       Set_Uint12 (Id, V);
3405    end Set_Esize;
3406
3407    procedure Set_Exception_Code (Id : E; V : U) is
3408    begin
3409       pragma Assert (Ekind (Id) = E_Exception);
3410       Set_Uint22 (Id, V);
3411    end Set_Exception_Code;
3412
3413    procedure Set_Extra_Accessibility (Id : E; V : E) is
3414    begin
3415       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
3416       Set_Node13 (Id, V);
3417    end Set_Extra_Accessibility;
3418
3419    procedure Set_Extra_Constrained (Id : E; V : E) is
3420    begin
3421       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
3422       Set_Node23 (Id, V);
3423    end Set_Extra_Constrained;
3424
3425    procedure Set_Extra_Formal (Id : E; V : E) is
3426    begin
3427       Set_Node15 (Id, V);
3428    end Set_Extra_Formal;
3429
3430    procedure Set_Extra_Formals (Id : E; V : E) is
3431    begin
3432       pragma Assert
3433         (Is_Overloadable (Id)
3434           or else Ekind (Id) = E_Entry_Family
3435           or else Ekind (Id) = E_Subprogram_Body
3436           or else Ekind (Id) = E_Subprogram_Type);
3437       Set_Node28 (Id, V);
3438    end Set_Extra_Formals;
3439
3440    procedure Set_Can_Use_Internal_Rep (Id : E; V : B := True) is
3441    begin
3442       pragma Assert
3443         (Is_Access_Subprogram_Type (Id)
3444           and then Id = Base_Type (Id));
3445       Set_Flag229 (Id, V);
3446    end Set_Can_Use_Internal_Rep;
3447
3448    procedure Set_Finalization_Chain_Entity (Id : E; V : E) is
3449    begin
3450       Set_Node19 (Id, V);
3451    end Set_Finalization_Chain_Entity;
3452
3453    procedure Set_Finalize_Storage_Only (Id : E; V : B := True) is
3454    begin
3455       pragma Assert (Is_Type (Id) and then Id = Base_Type (Id));
3456       Set_Flag158 (Id, V);
3457    end Set_Finalize_Storage_Only;
3458
3459    procedure Set_First_Entity (Id : E; V : E) is
3460    begin
3461       Set_Node17 (Id, V);
3462    end Set_First_Entity;
3463
3464    procedure Set_First_Index (Id : E; V : N) is
3465    begin
3466       pragma Assert (Is_Array_Type (Id) or else Is_String_Type (Id));
3467       Set_Node17 (Id, V);
3468    end Set_First_Index;
3469
3470    procedure Set_First_Literal (Id : E; V : E) is
3471    begin
3472       pragma Assert (Is_Enumeration_Type (Id));
3473       Set_Node17 (Id, V);
3474    end Set_First_Literal;
3475
3476    procedure Set_First_Optional_Parameter (Id : E; V : E) is
3477    begin
3478       pragma Assert
3479         (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
3480       Set_Node14 (Id, V);
3481    end Set_First_Optional_Parameter;
3482
3483    procedure Set_First_Private_Entity (Id : E; V : E) is
3484    begin
3485       pragma Assert (Ekind (Id) = E_Package
3486                        or else Ekind (Id) = E_Generic_Package
3487                        or else Ekind (Id) in Concurrent_Kind);
3488       Set_Node16 (Id, V);
3489    end Set_First_Private_Entity;
3490
3491    procedure Set_First_Rep_Item (Id : E; V : N) is
3492    begin
3493       Set_Node6 (Id, V);
3494    end Set_First_Rep_Item;
3495
3496    procedure Set_Freeze_Node (Id : E; V : N) is
3497    begin
3498       Set_Node7 (Id, V);
3499    end Set_Freeze_Node;
3500
3501    procedure Set_From_With_Type (Id : E; V : B := True) is
3502    begin
3503       pragma Assert
3504         (Is_Type (Id)
3505          or else Ekind (Id) = E_Package);
3506       Set_Flag159 (Id, V);
3507    end Set_From_With_Type;
3508
3509    procedure Set_Full_View (Id : E; V : E) is
3510    begin
3511       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
3512       Set_Node11 (Id, V);
3513    end Set_Full_View;
3514
3515    procedure Set_Generic_Homonym (Id : E; V : E) is
3516    begin
3517       Set_Node11 (Id, V);
3518    end Set_Generic_Homonym;
3519
3520    procedure Set_Generic_Renamings (Id : E; V : L) is
3521    begin
3522       Set_Elist23 (Id, V);
3523    end Set_Generic_Renamings;
3524
3525    procedure Set_Handler_Records (Id : E; V : S) is
3526    begin
3527       Set_List10 (Id, V);
3528    end Set_Handler_Records;
3529
3530    procedure Set_Has_Aliased_Components (Id : E; V : B := True) is
3531    begin
3532       pragma Assert (Id = Base_Type (Id));
3533       Set_Flag135 (Id, V);
3534    end Set_Has_Aliased_Components;
3535
3536    procedure Set_Has_Alignment_Clause (Id : E; V : B := True) is
3537    begin
3538       Set_Flag46 (Id, V);
3539    end Set_Has_Alignment_Clause;
3540
3541    procedure Set_Has_All_Calls_Remote (Id : E; V : B := True) is
3542    begin
3543       Set_Flag79 (Id, V);
3544    end Set_Has_All_Calls_Remote;
3545
3546    procedure Set_Has_Anon_Block_Suffix (Id : E; V : B := True) is
3547    begin
3548       Set_Flag201 (Id, V);
3549    end Set_Has_Anon_Block_Suffix;
3550
3551    procedure Set_Has_Atomic_Components (Id : E; V : B := True) is
3552    begin
3553       pragma Assert (not Is_Type (Id) or else Id = Base_Type (Id));
3554       Set_Flag86 (Id, V);
3555    end Set_Has_Atomic_Components;
3556
3557    procedure Set_Has_Biased_Representation (Id : E; V : B := True) is
3558    begin
3559       pragma Assert
3560         ((V = False) or else (Is_Discrete_Type (Id) or else Is_Object (Id)));
3561       Set_Flag139 (Id, V);
3562    end Set_Has_Biased_Representation;
3563
3564    procedure Set_Has_Completion (Id : E; V : B := True) is
3565    begin
3566       Set_Flag26 (Id, V);
3567    end Set_Has_Completion;
3568
3569    procedure Set_Has_Completion_In_Body (Id : E; V : B := True) is
3570    begin
3571       pragma Assert (Is_Type (Id));
3572       Set_Flag71 (Id, V);
3573    end Set_Has_Completion_In_Body;
3574
3575    procedure Set_Has_Complex_Representation (Id : E; V : B := True) is
3576    begin
3577       pragma Assert (Ekind (Id) = E_Record_Type);
3578       Set_Flag140 (Id, V);
3579    end Set_Has_Complex_Representation;
3580
3581    procedure Set_Has_Component_Size_Clause