gcc/ada/sinfo.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                                S I N F O                                 --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 pragma Style_Checks (All_Checks);
  33 --  No subprogram ordering check, due to logical grouping
  34
  35 with Atree; use Atree;
  36
  37 package body Sinfo is
  38
  39    use Atree.Unchecked_Access;
  40    --  This package is one of the few packages which is allowed to make direct
  41    --  references to tree nodes (since it is in the business of providing a
  42    --  higher level of tree access which other clients are expected to use and
  43    --  which implements checks).
  44
  45    use Atree_Private_Part;
  46    --  The only reason that we ask for direct access to the private part of
  47    --  the tree package is so that we can directly reference the Nkind field
  48    --  of nodes table entries. We do this since it helps the efficiency of
  49    --  the Sinfo debugging checks considerably (note that when we are checking
  50    --  Nkind values, we don't need to check for a valid node reference, because
  51    --  we will check that anyway when we reference the field).
  52
  53    NT : Nodes.Table_Ptr renames Nodes.Table;
  54    --  A short hand abbreviation, useful for the debugging checks
  55
  56    ----------------------------
  57    -- Field Access Functions --
  58    ----------------------------
  59
  60    function ABE_Is_Certain
  61       (N : Node_Id) return Boolean is
  62    begin
  63       pragma Assert (False
  64         or else NT (N).Nkind = N_Formal_Package_Declaration
  65         or else NT (N).Nkind = N_Function_Call
  66         or else NT (N).Nkind = N_Function_Instantiation
  67         or else NT (N).Nkind = N_Package_Instantiation
  68         or else NT (N).Nkind = N_Procedure_Call_Statement
  69         or else NT (N).Nkind = N_Procedure_Instantiation);
  70       return Flag18 (N);
  71    end ABE_Is_Certain;
  72
  73    function Abort_Present
  74       (N : Node_Id) return Boolean is
  75    begin
  76       pragma Assert (False
  77         or else NT (N).Nkind = N_Requeue_Statement);
  78       return Flag15 (N);
  79    end Abort_Present;
  80
  81    function Abortable_Part
  82       (N : Node_Id) return Node_Id is
  83    begin
  84       pragma Assert (False
  85         or else NT (N).Nkind = N_Asynchronous_Select);
  86       return Node2 (N);
  87    end Abortable_Part;
  88
  89    function Abstract_Present
  90       (N : Node_Id) return Boolean is
  91    begin
  92       pragma Assert (False
  93         or else NT (N).Nkind = N_Derived_Type_Definition
  94         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
  95         or else NT (N).Nkind = N_Formal_Private_Type_Definition
  96         or else NT (N).Nkind = N_Private_Extension_Declaration
  97         or else NT (N).Nkind = N_Private_Type_Declaration
  98         or else NT (N).Nkind = N_Record_Definition);
  99       return Flag4 (N);
 100    end Abstract_Present;
 101
 102    function Accept_Handler_Records
 103       (N : Node_Id) return List_Id is
 104    begin
 105       pragma Assert (False
 106         or else NT (N).Nkind = N_Accept_Alternative);
 107       return List5 (N);
 108    end Accept_Handler_Records;
 109
 110    function Accept_Statement
 111       (N : Node_Id) return Node_Id is
 112    begin
 113       pragma Assert (False
 114         or else NT (N).Nkind = N_Accept_Alternative);
 115       return Node2 (N);
 116    end Accept_Statement;
 117
 118    function Access_Definition
 119      (N : Node_Id) return Node_Id is
 120    begin
 121       pragma Assert (False
 122         or else NT (N).Nkind = N_Component_Definition
 123         or else NT (N).Nkind = N_Formal_Object_Declaration
 124         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 125       return Node3 (N);
 126    end Access_Definition;
 127
 128    function Access_To_Subprogram_Definition
 129      (N : Node_Id) return Node_Id is
 130    begin
 131       pragma Assert (False
 132         or else NT (N).Nkind = N_Access_Definition);
 133       return Node3 (N);
 134    end Access_To_Subprogram_Definition;
 135
 136    function Access_Types_To_Process
 137       (N : Node_Id) return Elist_Id is
 138    begin
 139       pragma Assert (False
 140         or else NT (N).Nkind = N_Freeze_Entity);
 141       return Elist2 (N);
 142    end Access_Types_To_Process;
 143
 144    function Actions
 145       (N : Node_Id) return List_Id is
 146    begin
 147       pragma Assert (False
 148         or else NT (N).Nkind = N_And_Then
 149         or else NT (N).Nkind = N_Case_Expression_Alternative
 150         or else NT (N).Nkind = N_Compilation_Unit_Aux
 151         or else NT (N).Nkind = N_Expression_With_Actions
 152         or else NT (N).Nkind = N_Freeze_Entity
 153         or else NT (N).Nkind = N_Or_Else);
 154       return List1 (N);
 155    end Actions;
 156
 157    function Activation_Chain_Entity
 158       (N : Node_Id) return Node_Id is
 159    begin
 160       pragma Assert (False
 161         or else NT (N).Nkind = N_Block_Statement
 162         or else NT (N).Nkind = N_Entry_Body
 163         or else NT (N).Nkind = N_Generic_Package_Declaration
 164         or else NT (N).Nkind = N_Package_Declaration
 165         or else NT (N).Nkind = N_Subprogram_Body
 166         or else NT (N).Nkind = N_Task_Body);
 167       return Node3 (N);
 168    end Activation_Chain_Entity;
 169
 170    function Acts_As_Spec
 171       (N : Node_Id) return Boolean is
 172    begin
 173       pragma Assert (False
 174         or else NT (N).Nkind = N_Compilation_Unit
 175         or else NT (N).Nkind = N_Subprogram_Body);
 176       return Flag4 (N);
 177    end Acts_As_Spec;
 178
 179    function Actual_Designated_Subtype
 180      (N : Node_Id) return Node_Id is
 181    begin
 182       pragma Assert (False
 183         or else NT (N).Nkind = N_Explicit_Dereference
 184         or else NT (N).Nkind = N_Free_Statement);
 185       return Node4 (N);
 186    end Actual_Designated_Subtype;
 187
 188    function Address_Warning_Posted
 189       (N : Node_Id) return Boolean is
 190    begin
 191       pragma Assert (False
 192         or else NT (N).Nkind = N_Attribute_Definition_Clause);
 193       return Flag18 (N);
 194    end Address_Warning_Posted;
 195
 196    function Aggregate_Bounds
 197       (N : Node_Id) return Node_Id is
 198    begin
 199       pragma Assert (False
 200         or else NT (N).Nkind = N_Aggregate);
 201       return Node3 (N);
 202    end Aggregate_Bounds;
 203
 204    function Aliased_Present
 205       (N : Node_Id) return Boolean is
 206    begin
 207       pragma Assert (False
 208         or else NT (N).Nkind = N_Component_Definition
 209         or else NT (N).Nkind = N_Object_Declaration
 210         or else NT (N).Nkind = N_Parameter_Specification);
 211       return Flag4 (N);
 212    end Aliased_Present;
 213
 214    function All_Others
 215       (N : Node_Id) return Boolean is
 216    begin
 217       pragma Assert (False
 218         or else NT (N).Nkind = N_Others_Choice);
 219       return Flag11 (N);
 220    end All_Others;
 221
 222    function All_Present
 223       (N : Node_Id) return Boolean is
 224    begin
 225       pragma Assert (False
 226         or else NT (N).Nkind = N_Access_Definition
 227         or else NT (N).Nkind = N_Access_To_Object_Definition
 228         or else NT (N).Nkind = N_Quantified_Expression
 229         or else NT (N).Nkind = N_Use_Type_Clause);
 230       return Flag15 (N);
 231    end All_Present;
 232
 233    function Alternatives
 234       (N : Node_Id) return List_Id is
 235    begin
 236       pragma Assert (False
 237         or else NT (N).Nkind = N_Case_Expression
 238         or else NT (N).Nkind = N_Case_Statement
 239         or else NT (N).Nkind = N_In
 240         or else NT (N).Nkind = N_Not_In);
 241       return List4 (N);
 242    end Alternatives;
 243
 244    function Ancestor_Part
 245       (N : Node_Id) return Node_Id is
 246    begin
 247       pragma Assert (False
 248         or else NT (N).Nkind = N_Extension_Aggregate);
 249       return Node3 (N);
 250    end Ancestor_Part;
 251
 252    function Array_Aggregate
 253       (N : Node_Id) return Node_Id is
 254    begin
 255       pragma Assert (False
 256         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
 257       return Node3 (N);
 258    end Array_Aggregate;
 259
 260    function Aspect_Rep_Item
 261       (N : Node_Id) return Node_Id is
 262    begin
 263       pragma Assert (False
 264         or else NT (N).Nkind = N_Aspect_Specification);
 265       return Node2 (N);
 266    end Aspect_Rep_Item;
 267
 268    function Assignment_OK
 269       (N : Node_Id) return Boolean is
 270    begin
 271       pragma Assert (False
 272         or else NT (N).Nkind = N_Object_Declaration
 273         or else NT (N).Nkind in N_Subexpr);
 274       return Flag15 (N);
 275    end Assignment_OK;
 276
 277    function Associated_Node
 278       (N : Node_Id) return Node_Id is
 279    begin
 280       pragma Assert (False
 281         or else NT (N).Nkind in N_Has_Entity
 282         or else NT (N).Nkind = N_Aggregate
 283         or else NT (N).Nkind = N_Extension_Aggregate
 284         or else NT (N).Nkind = N_Selected_Component);
 285       return Node4 (N);
 286    end Associated_Node;
 287
 288    function At_End_Proc
 289       (N : Node_Id) return Node_Id is
 290    begin
 291       pragma Assert (False
 292         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
 293       return Node1 (N);
 294    end At_End_Proc;
 295
 296    function Attribute_Name
 297       (N : Node_Id) return Name_Id is
 298    begin
 299       pragma Assert (False
 300         or else NT (N).Nkind = N_Attribute_Reference);
 301       return Name2 (N);
 302    end Attribute_Name;
 303
 304    function Aux_Decls_Node
 305       (N : Node_Id) return Node_Id is
 306    begin
 307       pragma Assert (False
 308         or else NT (N).Nkind = N_Compilation_Unit);
 309       return Node5 (N);
 310    end Aux_Decls_Node;
 311
 312    function Backwards_OK
 313       (N : Node_Id) return Boolean is
 314    begin
 315       pragma Assert (False
 316         or else NT (N).Nkind = N_Assignment_Statement);
 317       return Flag6 (N);
 318    end Backwards_OK;
 319
 320    function Bad_Is_Detected
 321       (N : Node_Id) return Boolean is
 322    begin
 323       pragma Assert (False
 324         or else NT (N).Nkind = N_Subprogram_Body);
 325       return Flag15 (N);
 326    end Bad_Is_Detected;
 327
 328    function Body_Required
 329       (N : Node_Id) return Boolean is
 330    begin
 331       pragma Assert (False
 332         or else NT (N).Nkind = N_Compilation_Unit);
 333       return Flag13 (N);
 334    end Body_Required;
 335
 336    function Body_To_Inline
 337       (N : Node_Id) return Node_Id is
 338    begin
 339       pragma Assert (False
 340         or else NT (N).Nkind = N_Subprogram_Declaration);
 341       return Node3 (N);
 342    end Body_To_Inline;
 343
 344    function Box_Present
 345       (N : Node_Id) return Boolean is
 346    begin
 347       pragma Assert (False
 348         or else NT (N).Nkind = N_Component_Association
 349         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
 350         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
 351         or else NT (N).Nkind = N_Formal_Package_Declaration
 352         or else NT (N).Nkind = N_Generic_Association);
 353       return Flag15 (N);
 354    end Box_Present;
 355
 356    function By_Ref
 357       (N : Node_Id) return Boolean is
 358    begin
 359       pragma Assert (False
 360         or else NT (N).Nkind = N_Extended_Return_Statement
 361         or else NT (N).Nkind = N_Return_Statement);
 362       return Flag5 (N);
 363    end By_Ref;
 364
 365    function Char_Literal_Value
 366       (N : Node_Id) return Uint is
 367    begin
 368       pragma Assert (False
 369         or else NT (N).Nkind = N_Character_Literal);
 370       return Uint2 (N);
 371    end Char_Literal_Value;
 372
 373    function Chars
 374       (N : Node_Id) return Name_Id is
 375    begin
 376       pragma Assert (False
 377         or else NT (N).Nkind in N_Has_Chars);
 378       return Name1 (N);
 379    end Chars;
 380
 381    function Check_Address_Alignment
 382       (N : Node_Id) return Boolean is
 383    begin
 384       pragma Assert (False
 385           or else NT (N).Nkind = N_Attribute_Definition_Clause);
 386       return Flag11 (N);
 387    end Check_Address_Alignment;
 388
 389    function Choice_Parameter
 390       (N : Node_Id) return Node_Id is
 391    begin
 392       pragma Assert (False
 393         or else NT (N).Nkind = N_Exception_Handler);
 394       return Node2 (N);
 395    end Choice_Parameter;
 396
 397    function Choices
 398       (N : Node_Id) return List_Id is
 399    begin
 400       pragma Assert (False
 401         or else NT (N).Nkind = N_Component_Association);
 402       return List1 (N);
 403    end Choices;
 404
 405    function Class_Present
 406       (N : Node_Id) return Boolean is
 407    begin
 408       pragma Assert (False
 409         or else NT (N).Nkind = N_Aspect_Specification
 410         or else NT (N).Nkind = N_Pragma);
 411       return Flag6 (N);
 412    end Class_Present;
 413
 414    function Comes_From_Extended_Return_Statement
 415      (N : Node_Id) return Boolean is
 416    begin
 417       pragma Assert (False
 418         or else NT (N).Nkind = N_Return_Statement);
 419       return Flag18 (N);
 420    end Comes_From_Extended_Return_Statement;
 421
 422    function Compile_Time_Known_Aggregate
 423       (N : Node_Id) return Boolean is
 424    begin
 425       pragma Assert (False
 426         or else NT (N).Nkind = N_Aggregate);
 427       return Flag18 (N);
 428    end Compile_Time_Known_Aggregate;
 429
 430    function Component_Associations
 431       (N : Node_Id) return List_Id is
 432    begin
 433       pragma Assert (False
 434         or else NT (N).Nkind = N_Aggregate
 435         or else NT (N).Nkind = N_Extension_Aggregate);
 436       return List2 (N);
 437    end Component_Associations;
 438
 439    function Component_Clauses
 440       (N : Node_Id) return List_Id is
 441    begin
 442       pragma Assert (False
 443         or else NT (N).Nkind = N_Record_Representation_Clause);
 444       return List3 (N);
 445    end Component_Clauses;
 446
 447    function Component_Definition
 448       (N : Node_Id) return Node_Id is
 449    begin
 450       pragma Assert (False
 451         or else NT (N).Nkind = N_Component_Declaration
 452         or else NT (N).Nkind = N_Constrained_Array_Definition
 453         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
 454       return Node4 (N);
 455    end Component_Definition;
 456
 457    function Component_Items
 458       (N : Node_Id) return List_Id is
 459    begin
 460       pragma Assert (False
 461         or else NT (N).Nkind = N_Component_List);
 462       return List3 (N);
 463    end Component_Items;
 464
 465    function Component_List
 466       (N : Node_Id) return Node_Id is
 467    begin
 468       pragma Assert (False
 469         or else NT (N).Nkind = N_Record_Definition
 470         or else NT (N).Nkind = N_Variant);
 471       return Node1 (N);
 472    end Component_List;
 473
 474    function Component_Name
 475       (N : Node_Id) return Node_Id is
 476    begin
 477       pragma Assert (False
 478         or else NT (N).Nkind = N_Component_Clause);
 479       return Node1 (N);
 480    end Component_Name;
 481
 482    function Componentwise_Assignment
 483       (N : Node_Id) return Boolean is
 484    begin
 485       pragma Assert (False
 486         or else NT (N).Nkind = N_Assignment_Statement);
 487       return Flag14 (N);
 488    end Componentwise_Assignment;
 489
 490    function Condition
 491       (N : Node_Id) return Node_Id is
 492    begin
 493       pragma Assert (False
 494         or else NT (N).Nkind = N_Accept_Alternative
 495         or else NT (N).Nkind = N_Delay_Alternative
 496         or else NT (N).Nkind = N_Elsif_Part
 497         or else NT (N).Nkind = N_Entry_Body_Formal_Part
 498         or else NT (N).Nkind = N_Exit_Statement
 499         or else NT (N).Nkind = N_If_Statement
 500         or else NT (N).Nkind = N_Iteration_Scheme
 501         or else NT (N).Nkind = N_Quantified_Expression
 502         or else NT (N).Nkind = N_Raise_Constraint_Error
 503         or else NT (N).Nkind = N_Raise_Program_Error
 504         or else NT (N).Nkind = N_Raise_Storage_Error
 505         or else NT (N).Nkind = N_Terminate_Alternative);
 506       return Node1 (N);
 507    end Condition;
 508
 509    function Condition_Actions
 510       (N : Node_Id) return List_Id is
 511    begin
 512       pragma Assert (False
 513         or else NT (N).Nkind = N_Elsif_Part
 514         or else NT (N).Nkind = N_Iteration_Scheme);
 515       return List3 (N);
 516    end Condition_Actions;
 517
 518    function Config_Pragmas
 519       (N : Node_Id) return List_Id is
 520    begin
 521       pragma Assert (False
 522         or else NT (N).Nkind = N_Compilation_Unit_Aux);
 523       return List4 (N);
 524    end Config_Pragmas;
 525
 526    function Constant_Present
 527       (N : Node_Id) return Boolean is
 528    begin
 529       pragma Assert (False
 530         or else NT (N).Nkind = N_Access_Definition
 531         or else NT (N).Nkind = N_Access_To_Object_Definition
 532         or else NT (N).Nkind = N_Object_Declaration);
 533       return Flag17 (N);
 534    end Constant_Present;
 535
 536    function Constraint
 537       (N : Node_Id) return Node_Id is
 538    begin
 539       pragma Assert (False
 540         or else NT (N).Nkind = N_Subtype_Indication);
 541       return Node3 (N);
 542    end Constraint;
 543
 544    function Constraints
 545       (N : Node_Id) return List_Id is
 546    begin
 547       pragma Assert (False
 548         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
 549       return List1 (N);
 550    end Constraints;
 551
 552    function Context_Installed
 553       (N : Node_Id) return Boolean is
 554    begin
 555       pragma Assert (False
 556         or else NT (N).Nkind = N_With_Clause);
 557       return Flag13 (N);
 558    end Context_Installed;
 559
 560    function Context_Items
 561       (N : Node_Id) return List_Id is
 562    begin
 563       pragma Assert (False
 564         or else NT (N).Nkind = N_Compilation_Unit);
 565       return List1 (N);
 566    end Context_Items;
 567
 568    function Context_Pending
 569       (N : Node_Id) return Boolean is
 570    begin
 571       pragma Assert (False
 572         or else NT (N).Nkind = N_Compilation_Unit);
 573       return Flag16 (N);
 574    end Context_Pending;
 575
 576    function Controlling_Argument
 577       (N : Node_Id) return Node_Id is
 578    begin
 579       pragma Assert (False
 580         or else NT (N).Nkind = N_Function_Call
 581         or else NT (N).Nkind = N_Procedure_Call_Statement);
 582       return Node1 (N);
 583    end Controlling_Argument;
 584
 585    function Conversion_OK
 586       (N : Node_Id) return Boolean is
 587    begin
 588       pragma Assert (False
 589         or else NT (N).Nkind = N_Type_Conversion);
 590       return Flag14 (N);
 591    end Conversion_OK;
 592
 593    function Corresponding_Aspect
 594       (N : Node_Id) return Node_Id is
 595    begin
 596       pragma Assert (False
 597         or else NT (N).Nkind = N_Pragma);
 598       return Node3 (N);
 599    end Corresponding_Aspect;
 600
 601    function Corresponding_Body
 602       (N : Node_Id) return Node_Id is
 603    begin
 604       pragma Assert (False
 605         or else NT (N).Nkind = N_Entry_Declaration
 606         or else NT (N).Nkind = N_Generic_Package_Declaration
 607         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
 608         or else NT (N).Nkind = N_Package_Body_Stub
 609         or else NT (N).Nkind = N_Package_Declaration
 610         or else NT (N).Nkind = N_Protected_Body_Stub
 611         or else NT (N).Nkind = N_Protected_Type_Declaration
 612         or else NT (N).Nkind = N_Subprogram_Body_Stub
 613         or else NT (N).Nkind = N_Subprogram_Declaration
 614         or else NT (N).Nkind = N_Task_Body_Stub
 615         or else NT (N).Nkind = N_Task_Type_Declaration);
 616       return Node5 (N);
 617    end Corresponding_Body;
 618
 619    function Corresponding_Formal_Spec
 620       (N : Node_Id) return Node_Id is
 621    begin
 622       pragma Assert (False
 623         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
 624       return Node3 (N);
 625    end Corresponding_Formal_Spec;
 626
 627    function Corresponding_Generic_Association
 628       (N : Node_Id) return Node_Id is
 629    begin
 630       pragma Assert (False
 631         or else NT (N).Nkind = N_Object_Declaration
 632         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 633       return Node5 (N);
 634    end Corresponding_Generic_Association;
 635
 636    function Corresponding_Integer_Value
 637       (N : Node_Id) return Uint is
 638    begin
 639       pragma Assert (False
 640         or else NT (N).Nkind = N_Real_Literal);
 641       return Uint4 (N);
 642    end Corresponding_Integer_Value;
 643
 644    function Corresponding_Spec
 645       (N : Node_Id) return Node_Id is
 646    begin
 647       pragma Assert (False
 648         or else NT (N).Nkind = N_Package_Body
 649         or else NT (N).Nkind = N_Protected_Body
 650         or else NT (N).Nkind = N_Subprogram_Body
 651         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
 652         or else NT (N).Nkind = N_Task_Body
 653         or else NT (N).Nkind = N_With_Clause);
 654       return Node5 (N);
 655    end Corresponding_Spec;
 656
 657    function Corresponding_Stub
 658       (N : Node_Id) return Node_Id is
 659    begin
 660       pragma Assert (False
 661         or else NT (N).Nkind = N_Subunit);
 662       return Node3 (N);
 663    end Corresponding_Stub;
 664
 665    function Dcheck_Function
 666       (N : Node_Id) return Entity_Id is
 667    begin
 668       pragma Assert (False
 669         or else NT (N).Nkind = N_Variant);
 670       return Node5 (N);
 671    end Dcheck_Function;
 672
 673    function Declarations
 674       (N : Node_Id) return List_Id is
 675    begin
 676       pragma Assert (False
 677         or else NT (N).Nkind = N_Accept_Statement
 678         or else NT (N).Nkind = N_Block_Statement
 679         or else NT (N).Nkind = N_Compilation_Unit_Aux
 680         or else NT (N).Nkind = N_Entry_Body
 681         or else NT (N).Nkind = N_Package_Body
 682         or else NT (N).Nkind = N_Protected_Body
 683         or else NT (N).Nkind = N_Subprogram_Body
 684         or else NT (N).Nkind = N_Task_Body);
 685       return List2 (N);
 686    end Declarations;
 687
 688    function Default_Expression
 689       (N : Node_Id) return Node_Id is
 690    begin
 691       pragma Assert (False
 692         or else NT (N).Nkind = N_Formal_Object_Declaration
 693         or else NT (N).Nkind = N_Parameter_Specification);
 694       return Node5 (N);
 695    end Default_Expression;
 696
 697    function Default_Storage_Pool
 698       (N : Node_Id) return Node_Id is
 699    begin
 700       pragma Assert (False
 701         or else NT (N).Nkind = N_Compilation_Unit_Aux);
 702       return Node3 (N);
 703    end Default_Storage_Pool;
 704
 705    function Default_Name
 706       (N : Node_Id) return Node_Id is
 707    begin
 708       pragma Assert (False
 709         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
 710         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
 711       return Node2 (N);
 712    end Default_Name;
 713
 714    function Defining_Identifier
 715       (N : Node_Id) return Entity_Id is
 716    begin
 717       pragma Assert (False
 718         or else NT (N).Nkind = N_Component_Declaration
 719         or else NT (N).Nkind = N_Defining_Program_Unit_Name
 720         or else NT (N).Nkind = N_Discriminant_Specification
 721         or else NT (N).Nkind = N_Entry_Body
 722         or else NT (N).Nkind = N_Entry_Declaration
 723         or else NT (N).Nkind = N_Entry_Index_Specification
 724         or else NT (N).Nkind = N_Exception_Declaration
 725         or else NT (N).Nkind = N_Exception_Renaming_Declaration
 726         or else NT (N).Nkind = N_Formal_Object_Declaration
 727         or else NT (N).Nkind = N_Formal_Package_Declaration
 728         or else NT (N).Nkind = N_Formal_Type_Declaration
 729         or else NT (N).Nkind = N_Full_Type_Declaration
 730         or else NT (N).Nkind = N_Implicit_Label_Declaration
 731         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 732         or else NT (N).Nkind = N_Iterator_Specification
 733         or else NT (N).Nkind = N_Loop_Parameter_Specification
 734         or else NT (N).Nkind = N_Number_Declaration
 735         or else NT (N).Nkind = N_Object_Declaration
 736         or else NT (N).Nkind = N_Object_Renaming_Declaration
 737         or else NT (N).Nkind = N_Package_Body_Stub
 738         or else NT (N).Nkind = N_Parameter_Specification
 739         or else NT (N).Nkind = N_Private_Extension_Declaration
 740         or else NT (N).Nkind = N_Private_Type_Declaration
 741         or else NT (N).Nkind = N_Protected_Body
 742         or else NT (N).Nkind = N_Protected_Body_Stub
 743         or else NT (N).Nkind = N_Protected_Type_Declaration
 744         or else NT (N).Nkind = N_Single_Protected_Declaration
 745         or else NT (N).Nkind = N_Single_Task_Declaration
 746         or else NT (N).Nkind = N_Subtype_Declaration
 747         or else NT (N).Nkind = N_Task_Body
 748         or else NT (N).Nkind = N_Task_Body_Stub
 749         or else NT (N).Nkind = N_Task_Type_Declaration);
 750       return Node1 (N);
 751    end Defining_Identifier;
 752
 753    function Defining_Unit_Name
 754       (N : Node_Id) return Node_Id is
 755    begin
 756       pragma Assert (False
 757         or else NT (N).Nkind = N_Function_Instantiation
 758         or else NT (N).Nkind = N_Function_Specification
 759         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
 760         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
 761         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
 762         or else NT (N).Nkind = N_Package_Body
 763         or else NT (N).Nkind = N_Package_Instantiation
 764         or else NT (N).Nkind = N_Package_Renaming_Declaration
 765         or else NT (N).Nkind = N_Package_Specification
 766         or else NT (N).Nkind = N_Procedure_Instantiation
 767         or else NT (N).Nkind = N_Procedure_Specification);
 768       return Node1 (N);
 769    end Defining_Unit_Name;
 770
 771    function Delay_Alternative
 772       (N : Node_Id) return Node_Id is
 773    begin
 774       pragma Assert (False
 775         or else NT (N).Nkind = N_Timed_Entry_Call);
 776       return Node4 (N);
 777    end Delay_Alternative;
 778
 779    function Delay_Statement
 780       (N : Node_Id) return Node_Id is
 781    begin
 782       pragma Assert (False
 783         or else NT (N).Nkind = N_Delay_Alternative);
 784       return Node2 (N);
 785    end Delay_Statement;
 786
 787    function Delta_Expression
 788       (N : Node_Id) return Node_Id is
 789    begin
 790       pragma Assert (False
 791         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 792         or else NT (N).Nkind = N_Delta_Constraint
 793         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
 794       return Node3 (N);
 795    end Delta_Expression;
 796
 797    function Digits_Expression
 798       (N : Node_Id) return Node_Id is
 799    begin
 800       pragma Assert (False
 801         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 802         or else NT (N).Nkind = N_Digits_Constraint
 803         or else NT (N).Nkind = N_Floating_Point_Definition);
 804       return Node2 (N);
 805    end Digits_Expression;
 806
 807    function Discr_Check_Funcs_Built
 808       (N : Node_Id) return Boolean is
 809    begin
 810       pragma Assert (False
 811         or else NT (N).Nkind = N_Full_Type_Declaration);
 812       return Flag11 (N);
 813    end Discr_Check_Funcs_Built;
 814
 815    function Discrete_Choices
 816       (N : Node_Id) return List_Id is
 817    begin
 818       pragma Assert (False
 819         or else NT (N).Nkind = N_Case_Expression_Alternative
 820         or else NT (N).Nkind = N_Case_Statement_Alternative
 821         or else NT (N).Nkind = N_Variant);
 822       return List4 (N);
 823    end Discrete_Choices;
 824
 825    function Discrete_Range
 826       (N : Node_Id) return Node_Id is
 827    begin
 828       pragma Assert (False
 829         or else NT (N).Nkind = N_Slice);
 830       return Node4 (N);
 831    end Discrete_Range;
 832
 833    function Discrete_Subtype_Definition
 834       (N : Node_Id) return Node_Id is
 835    begin
 836       pragma Assert (False
 837         or else NT (N).Nkind = N_Entry_Declaration
 838         or else NT (N).Nkind = N_Entry_Index_Specification
 839         or else NT (N).Nkind = N_Loop_Parameter_Specification);
 840       return Node4 (N);
 841    end Discrete_Subtype_Definition;
 842
 843    function Discrete_Subtype_Definitions
 844       (N : Node_Id) return List_Id is
 845    begin
 846       pragma Assert (False
 847         or else NT (N).Nkind = N_Constrained_Array_Definition);
 848       return List2 (N);
 849    end Discrete_Subtype_Definitions;
 850
 851    function Discriminant_Specifications
 852       (N : Node_Id) return List_Id is
 853    begin
 854       pragma Assert (False
 855         or else NT (N).Nkind = N_Formal_Type_Declaration
 856         or else NT (N).Nkind = N_Full_Type_Declaration
 857         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 858         or else NT (N).Nkind = N_Private_Extension_Declaration
 859         or else NT (N).Nkind = N_Private_Type_Declaration
 860         or else NT (N).Nkind = N_Protected_Type_Declaration
 861         or else NT (N).Nkind = N_Task_Type_Declaration);
 862       return List4 (N);
 863    end Discriminant_Specifications;
 864
 865    function Discriminant_Type
 866       (N : Node_Id) return Node_Id is
 867    begin
 868       pragma Assert (False
 869         or else NT (N).Nkind = N_Discriminant_Specification);
 870       return Node5 (N);
 871    end Discriminant_Type;
 872
 873    function Do_Accessibility_Check
 874       (N : Node_Id) return Boolean is
 875    begin
 876       pragma Assert (False
 877         or else NT (N).Nkind = N_Parameter_Specification);
 878       return Flag13 (N);
 879    end Do_Accessibility_Check;
 880
 881    function Do_Discriminant_Check
 882       (N : Node_Id) return Boolean is
 883    begin
 884       pragma Assert (False
 885         or else NT (N).Nkind = N_Selected_Component);
 886       return Flag13 (N);
 887    end Do_Discriminant_Check;
 888
 889    function Do_Division_Check
 890       (N : Node_Id) return Boolean is
 891    begin
 892       pragma Assert (False
 893         or else NT (N).Nkind = N_Op_Divide
 894         or else NT (N).Nkind = N_Op_Mod
 895         or else NT (N).Nkind = N_Op_Rem);
 896       return Flag13 (N);
 897    end Do_Division_Check;
 898
 899    function Do_Length_Check
 900       (N : Node_Id) return Boolean is
 901    begin
 902       pragma Assert (False
 903         or else NT (N).Nkind = N_Assignment_Statement
 904         or else NT (N).Nkind = N_Op_And
 905         or else NT (N).Nkind = N_Op_Or
 906         or else NT (N).Nkind = N_Op_Xor
 907         or else NT (N).Nkind = N_Type_Conversion);
 908       return Flag4 (N);
 909    end Do_Length_Check;
 910
 911    function Do_Overflow_Check
 912       (N : Node_Id) return Boolean is
 913    begin
 914       pragma Assert (False
 915         or else NT (N).Nkind in N_Op
 916         or else NT (N).Nkind = N_Attribute_Reference
 917         or else NT (N).Nkind = N_Type_Conversion);
 918       return Flag17 (N);
 919    end Do_Overflow_Check;
 920
 921    function Do_Range_Check
 922       (N : Node_Id) return Boolean is
 923    begin
 924       pragma Assert (False
 925         or else NT (N).Nkind in N_Subexpr);
 926       return Flag9 (N);
 927    end Do_Range_Check;
 928
 929    function Do_Storage_Check
 930       (N : Node_Id) return Boolean is
 931    begin
 932       pragma Assert (False
 933         or else NT (N).Nkind = N_Allocator
 934         or else NT (N).Nkind = N_Subprogram_Body);
 935       return Flag17 (N);
 936    end Do_Storage_Check;
 937
 938    function Do_Tag_Check
 939       (N : Node_Id) return Boolean is
 940    begin
 941       pragma Assert (False
 942         or else NT (N).Nkind = N_Assignment_Statement
 943         or else NT (N).Nkind = N_Extended_Return_Statement
 944         or else NT (N).Nkind = N_Function_Call
 945         or else NT (N).Nkind = N_Procedure_Call_Statement
 946         or else NT (N).Nkind = N_Return_Statement
 947         or else NT (N).Nkind = N_Type_Conversion);
 948       return Flag13 (N);
 949    end Do_Tag_Check;
 950
 951    function Elaborate_All_Desirable
 952       (N : Node_Id) return Boolean is
 953    begin
 954       pragma Assert (False
 955         or else NT (N).Nkind = N_With_Clause);
 956       return Flag9 (N);
 957    end Elaborate_All_Desirable;
 958
 959    function Elaborate_All_Present
 960       (N : Node_Id) return Boolean is
 961    begin
 962       pragma Assert (False
 963         or else NT (N).Nkind = N_With_Clause);
 964       return Flag14 (N);
 965    end Elaborate_All_Present;
 966
 967    function Elaborate_Desirable
 968       (N : Node_Id) return Boolean is
 969    begin
 970       pragma Assert (False
 971         or else NT (N).Nkind = N_With_Clause);
 972       return Flag11 (N);
 973    end Elaborate_Desirable;
 974
 975    function Elaborate_Present
 976       (N : Node_Id) return Boolean is
 977    begin
 978       pragma Assert (False
 979         or else NT (N).Nkind = N_With_Clause);
 980       return Flag4 (N);
 981    end Elaborate_Present;
 982
 983    function Elaboration_Boolean
 984       (N : Node_Id) return Node_Id is
 985    begin
 986       pragma Assert (False
 987         or else NT (N).Nkind = N_Function_Specification
 988         or else NT (N).Nkind = N_Procedure_Specification);
 989       return Node2 (N);
 990    end Elaboration_Boolean;
 991
 992    function Else_Actions
 993       (N : Node_Id) return List_Id is
 994    begin
 995       pragma Assert (False
 996         or else NT (N).Nkind = N_Conditional_Expression);
 997       return List3 (N);
 998    end Else_Actions;
 999
1000    function Else_Statements
1001       (N : Node_Id) return List_Id is
1002    begin
1003       pragma Assert (False
1004         or else NT (N).Nkind = N_Conditional_Entry_Call
1005         or else NT (N).Nkind = N_If_Statement
1006         or else NT (N).Nkind = N_Selective_Accept);
1007       return List4 (N);
1008    end Else_Statements;
1009
1010    function Elsif_Parts
1011       (N : Node_Id) return List_Id is
1012    begin
1013       pragma Assert (False
1014         or else NT (N).Nkind = N_If_Statement);
1015       return List3 (N);
1016    end Elsif_Parts;
1017
1018    function Enclosing_Variant
1019       (N : Node_Id) return Node_Id is
1020    begin
1021       pragma Assert (False
1022         or else NT (N).Nkind = N_Variant);
1023       return Node2 (N);
1024    end Enclosing_Variant;
1025
1026    function End_Label
1027       (N : Node_Id) return Node_Id is
1028    begin
1029       pragma Assert (False
1030         or else NT (N).Nkind = N_Enumeration_Type_Definition
1031         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1032         or else NT (N).Nkind = N_Loop_Statement
1033         or else NT (N).Nkind = N_Package_Specification
1034         or else NT (N).Nkind = N_Protected_Body
1035         or else NT (N).Nkind = N_Protected_Definition
1036         or else NT (N).Nkind = N_Record_Definition
1037         or else NT (N).Nkind = N_Task_Definition);
1038       return Node4 (N);
1039    end End_Label;
1040
1041    function End_Span
1042       (N : Node_Id) return Uint is
1043    begin
1044       pragma Assert (False
1045         or else NT (N).Nkind = N_Case_Statement
1046         or else NT (N).Nkind = N_If_Statement);
1047       return Uint5 (N);
1048    end End_Span;
1049
1050    function Entity
1051       (N : Node_Id) return Node_Id is
1052    begin
1053       pragma Assert (False
1054         or else NT (N).Nkind in N_Has_Entity
1055         or else NT (N).Nkind = N_Aspect_Specification
1056         or else NT (N).Nkind = N_Attribute_Definition_Clause
1057         or else NT (N).Nkind = N_Freeze_Entity);
1058       return Node4 (N);
1059    end Entity;
1060
1061    function Entity_Or_Associated_Node
1062       (N : Node_Id) return Node_Id is
1063    begin
1064       pragma Assert (False
1065         or else NT (N).Nkind in N_Has_Entity
1066         or else NT (N).Nkind = N_Freeze_Entity);
1067       return Node4 (N);
1068    end Entity_Or_Associated_Node;
1069
1070    function Entry_Body_Formal_Part
1071       (N : Node_Id) return Node_Id is
1072    begin
1073       pragma Assert (False
1074         or else NT (N).Nkind = N_Entry_Body);
1075       return Node5 (N);
1076    end Entry_Body_Formal_Part;
1077
1078    function Entry_Call_Alternative
1079       (N : Node_Id) return Node_Id is
1080    begin
1081       pragma Assert (False
1082         or else NT (N).Nkind = N_Conditional_Entry_Call
1083         or else NT (N).Nkind = N_Timed_Entry_Call);
1084       return Node1 (N);
1085    end Entry_Call_Alternative;
1086
1087    function Entry_Call_Statement
1088       (N : Node_Id) return Node_Id is
1089    begin
1090       pragma Assert (False
1091         or else NT (N).Nkind = N_Entry_Call_Alternative);
1092       return Node1 (N);
1093    end Entry_Call_Statement;
1094
1095    function Entry_Direct_Name
1096       (N : Node_Id) return Node_Id is
1097    begin
1098       pragma Assert (False
1099         or else NT (N).Nkind = N_Accept_Statement);
1100       return Node1 (N);
1101    end Entry_Direct_Name;
1102
1103    function Entry_Index
1104       (N : Node_Id) return Node_Id is
1105    begin
1106       pragma Assert (False
1107         or else NT (N).Nkind = N_Accept_Statement);
1108       return Node5 (N);
1109    end Entry_Index;
1110
1111    function Entry_Index_Specification
1112       (N : Node_Id) return Node_Id is
1113    begin
1114       pragma Assert (False
1115         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1116       return Node4 (N);
1117    end Entry_Index_Specification;
1118
1119    function Etype
1120       (N : Node_Id) return Node_Id is
1121    begin
1122       pragma Assert (False
1123         or else NT (N).Nkind in N_Has_Etype);
1124       return Node5 (N);
1125    end Etype;
1126
1127    function Exception_Choices
1128       (N : Node_Id) return List_Id is
1129    begin
1130       pragma Assert (False
1131         or else NT (N).Nkind = N_Exception_Handler);
1132       return List4 (N);
1133    end Exception_Choices;
1134
1135    function Exception_Handlers
1136       (N : Node_Id) return List_Id is
1137    begin
1138       pragma Assert (False
1139         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1140       return List5 (N);
1141    end Exception_Handlers;
1142
1143    function Exception_Junk
1144      (N : Node_Id) return Boolean is
1145    begin
1146       pragma Assert (False
1147         or else NT (N).Nkind = N_Block_Statement
1148         or else NT (N).Nkind = N_Goto_Statement
1149         or else NT (N).Nkind = N_Label
1150         or else NT (N).Nkind = N_Object_Declaration
1151         or else NT (N).Nkind = N_Subtype_Declaration);
1152       return Flag8 (N);
1153    end Exception_Junk;
1154
1155    function Exception_Label
1156      (N : Node_Id) return Node_Id is
1157    begin
1158       pragma Assert (False
1159         or else NT (N).Nkind = N_Exception_Handler
1160         or else NT (N).Nkind = N_Push_Constraint_Error_Label
1161         or else NT (N).Nkind = N_Push_Program_Error_Label
1162         or else NT (N).Nkind = N_Push_Storage_Error_Label);
1163       return Node5 (N);
1164    end Exception_Label;
1165
1166    function Expansion_Delayed
1167      (N : Node_Id) return Boolean is
1168    begin
1169       pragma Assert (False
1170         or else NT (N).Nkind = N_Aggregate
1171         or else NT (N).Nkind = N_Extension_Aggregate);
1172       return Flag11 (N);
1173    end Expansion_Delayed;
1174
1175    function Explicit_Actual_Parameter
1176       (N : Node_Id) return Node_Id is
1177    begin
1178       pragma Assert (False
1179         or else NT (N).Nkind = N_Parameter_Association);
1180       return Node3 (N);
1181    end Explicit_Actual_Parameter;
1182
1183    function Explicit_Generic_Actual_Parameter
1184       (N : Node_Id) return Node_Id is
1185    begin
1186       pragma Assert (False
1187         or else NT (N).Nkind = N_Generic_Association);
1188       return Node1 (N);
1189    end Explicit_Generic_Actual_Parameter;
1190
1191    function Expression
1192       (N : Node_Id) return Node_Id is
1193    begin
1194       pragma Assert (False
1195         or else NT (N).Nkind = N_Allocator
1196         or else NT (N).Nkind = N_Aspect_Specification
1197         or else NT (N).Nkind = N_Assignment_Statement
1198         or else NT (N).Nkind = N_At_Clause
1199         or else NT (N).Nkind = N_Attribute_Definition_Clause
1200         or else NT (N).Nkind = N_Case_Expression
1201         or else NT (N).Nkind = N_Case_Expression_Alternative
1202         or else NT (N).Nkind = N_Case_Statement
1203         or else NT (N).Nkind = N_Code_Statement
1204         or else NT (N).Nkind = N_Component_Association
1205         or else NT (N).Nkind = N_Component_Declaration
1206         or else NT (N).Nkind = N_Delay_Relative_Statement
1207         or else NT (N).Nkind = N_Delay_Until_Statement
1208         or else NT (N).Nkind = N_Discriminant_Association
1209         or else NT (N).Nkind = N_Discriminant_Specification
1210         or else NT (N).Nkind = N_Exception_Declaration
1211         or else NT (N).Nkind = N_Expression_Function
1212         or else NT (N).Nkind = N_Expression_With_Actions
1213         or else NT (N).Nkind = N_Free_Statement
1214         or else NT (N).Nkind = N_Mod_Clause
1215         or else NT (N).Nkind = N_Modular_Type_Definition
1216         or else NT (N).Nkind = N_Number_Declaration
1217         or else NT (N).Nkind = N_Object_Declaration
1218         or else NT (N).Nkind = N_Parameter_Specification
1219         or else NT (N).Nkind = N_Pragma_Argument_Association
1220         or else NT (N).Nkind = N_Qualified_Expression
1221         or else NT (N).Nkind = N_Raise_Statement
1222         or else NT (N).Nkind = N_Return_Statement
1223         or else NT (N).Nkind = N_Type_Conversion
1224         or else NT (N).Nkind = N_Unchecked_Expression
1225         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1226       return Node3 (N);
1227    end Expression;
1228
1229    function Expressions
1230       (N : Node_Id) return List_Id is
1231    begin
1232       pragma Assert (False
1233         or else NT (N).Nkind = N_Aggregate
1234         or else NT (N).Nkind = N_Attribute_Reference
1235         or else NT (N).Nkind = N_Conditional_Expression
1236         or else NT (N).Nkind = N_Extension_Aggregate
1237         or else NT (N).Nkind = N_Indexed_Component);
1238       return List1 (N);
1239    end Expressions;
1240
1241    function First_Bit
1242       (N : Node_Id) return Node_Id is
1243    begin
1244       pragma Assert (False
1245         or else NT (N).Nkind = N_Component_Clause);
1246       return Node3 (N);
1247    end First_Bit;
1248
1249    function First_Inlined_Subprogram
1250       (N : Node_Id) return Entity_Id is
1251    begin
1252       pragma Assert (False
1253         or else NT (N).Nkind = N_Compilation_Unit);
1254       return Node3 (N);
1255    end First_Inlined_Subprogram;
1256
1257    function First_Name
1258       (N : Node_Id) return Boolean is
1259    begin
1260       pragma Assert (False
1261         or else NT (N).Nkind = N_With_Clause);
1262       return Flag5 (N);
1263    end First_Name;
1264
1265    function First_Named_Actual
1266       (N : Node_Id) return Node_Id is
1267    begin
1268       pragma Assert (False
1269         or else NT (N).Nkind = N_Entry_Call_Statement
1270         or else NT (N).Nkind = N_Function_Call
1271         or else NT (N).Nkind = N_Procedure_Call_Statement);
1272       return Node4 (N);
1273    end First_Named_Actual;
1274
1275    function First_Real_Statement
1276       (N : Node_Id) return Node_Id is
1277    begin
1278       pragma Assert (False
1279         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1280       return Node2 (N);
1281    end First_Real_Statement;
1282
1283    function First_Subtype_Link
1284       (N : Node_Id) return Entity_Id is
1285    begin
1286       pragma Assert (False
1287         or else NT (N).Nkind = N_Freeze_Entity);
1288       return Node5 (N);
1289    end First_Subtype_Link;
1290
1291    function Float_Truncate
1292       (N : Node_Id) return Boolean is
1293    begin
1294       pragma Assert (False
1295         or else NT (N).Nkind = N_Type_Conversion);
1296       return Flag11 (N);
1297    end Float_Truncate;
1298
1299    function Formal_Type_Definition
1300       (N : Node_Id) return Node_Id is
1301    begin
1302       pragma Assert (False
1303         or else NT (N).Nkind = N_Formal_Type_Declaration);
1304       return Node3 (N);
1305    end Formal_Type_Definition;
1306
1307    function Forwards_OK
1308       (N : Node_Id) return Boolean is
1309    begin
1310       pragma Assert (False
1311         or else NT (N).Nkind = N_Assignment_Statement);
1312       return Flag5 (N);
1313    end Forwards_OK;
1314
1315    function From_Aspect_Specification
1316       (N : Node_Id) return Boolean is
1317    begin
1318       pragma Assert (False
1319         or else NT (N).Nkind = N_Attribute_Definition_Clause
1320         or else NT (N).Nkind = N_Pragma);
1321       return Flag13 (N);
1322    end From_Aspect_Specification;
1323
1324    function From_At_End
1325       (N : Node_Id) return Boolean is
1326    begin
1327       pragma Assert (False
1328         or else NT (N).Nkind = N_Raise_Statement);
1329       return Flag4 (N);
1330    end From_At_End;
1331
1332    function From_At_Mod
1333       (N : Node_Id) return Boolean is
1334    begin
1335       pragma Assert (False
1336         or else NT (N).Nkind = N_Attribute_Definition_Clause);
1337       return Flag4 (N);
1338    end From_At_Mod;
1339
1340    function From_Default
1341       (N : Node_Id) return Boolean is
1342    begin
1343       pragma Assert (False
1344         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1345       return Flag6 (N);
1346    end From_Default;
1347
1348    function Generic_Associations
1349       (N : Node_Id) return List_Id is
1350    begin
1351       pragma Assert (False
1352         or else NT (N).Nkind = N_Formal_Package_Declaration
1353         or else NT (N).Nkind = N_Function_Instantiation
1354         or else NT (N).Nkind = N_Package_Instantiation
1355         or else NT (N).Nkind = N_Procedure_Instantiation);
1356       return List3 (N);
1357    end Generic_Associations;
1358
1359    function Generic_Formal_Declarations
1360       (N : Node_Id) return List_Id is
1361    begin
1362       pragma Assert (False
1363         or else NT (N).Nkind = N_Generic_Package_Declaration
1364         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1365       return List2 (N);
1366    end Generic_Formal_Declarations;
1367
1368    function Generic_Parent
1369       (N : Node_Id) return Node_Id is
1370    begin
1371       pragma Assert (False
1372         or else NT (N).Nkind = N_Function_Specification
1373         or else NT (N).Nkind = N_Package_Specification
1374         or else NT (N).Nkind = N_Procedure_Specification);
1375       return Node5 (N);
1376    end Generic_Parent;
1377
1378    function Generic_Parent_Type
1379       (N : Node_Id) return Node_Id is
1380    begin
1381       pragma Assert (False
1382         or else NT (N).Nkind = N_Subtype_Declaration);
1383       return Node4 (N);
1384    end Generic_Parent_Type;
1385
1386    function Handled_Statement_Sequence
1387       (N : Node_Id) return Node_Id is
1388    begin
1389       pragma Assert (False
1390         or else NT (N).Nkind = N_Accept_Statement
1391         or else NT (N).Nkind = N_Block_Statement
1392         or else NT (N).Nkind = N_Entry_Body
1393         or else NT (N).Nkind = N_Extended_Return_Statement
1394         or else NT (N).Nkind = N_Package_Body
1395         or else NT (N).Nkind = N_Subprogram_Body
1396         or else NT (N).Nkind = N_Task_Body);
1397       return Node4 (N);
1398    end Handled_Statement_Sequence;
1399
1400    function Handler_List_Entry
1401       (N : Node_Id) return Node_Id is
1402    begin
1403       pragma Assert (False
1404         or else NT (N).Nkind = N_Object_Declaration);
1405       return Node2 (N);
1406    end Handler_List_Entry;
1407
1408    function Has_Created_Identifier
1409       (N : Node_Id) return Boolean is
1410    begin
1411       pragma Assert (False
1412         or else NT (N).Nkind = N_Block_Statement
1413         or else NT (N).Nkind = N_Loop_Statement);
1414       return Flag15 (N);
1415    end Has_Created_Identifier;
1416
1417    function Has_Dynamic_Length_Check
1418       (N : Node_Id) return Boolean is
1419    begin
1420       pragma Assert (False
1421         or else NT (N).Nkind in N_Subexpr);
1422       return Flag10 (N);
1423    end Has_Dynamic_Length_Check;
1424
1425    function Has_Dynamic_Range_Check
1426       (N : Node_Id) return Boolean is
1427    begin
1428       pragma Assert (False
1429         or else NT (N).Nkind =  N_Subtype_Declaration
1430         or else NT (N).Nkind in N_Subexpr);
1431       return Flag12 (N);
1432    end Has_Dynamic_Range_Check;
1433
1434    function Has_Init_Expression
1435       (N : Node_Id) return Boolean is
1436    begin
1437       pragma Assert (False
1438         or else NT (N).Nkind = N_Object_Declaration);
1439       return Flag14 (N);
1440    end Has_Init_Expression;
1441
1442    function Has_Local_Raise
1443       (N : Node_Id) return Boolean is
1444    begin
1445       pragma Assert (False
1446         or else NT (N).Nkind = N_Exception_Handler);
1447       return Flag8 (N);
1448    end Has_Local_Raise;
1449
1450    function Has_No_Elaboration_Code
1451       (N : Node_Id) return Boolean is
1452    begin
1453       pragma Assert (False
1454         or else NT (N).Nkind = N_Compilation_Unit);
1455       return Flag17 (N);
1456    end Has_No_Elaboration_Code;
1457
1458    function Has_Pragma_CPU
1459       (N : Node_Id) return Boolean is
1460    begin
1461       pragma Assert (False
1462         or else NT (N).Nkind = N_Subprogram_Body
1463         or else NT (N).Nkind = N_Task_Definition);
1464       return Flag14 (N);
1465    end Has_Pragma_CPU;
1466
1467    function Has_Pragma_Dispatching_Domain
1468      (N : Node_Id) return Boolean is
1469    begin
1470       pragma Assert (False
1471         or else NT (N).Nkind = N_Task_Definition);
1472       return Flag15 (N);
1473    end Has_Pragma_Dispatching_Domain;
1474
1475    function Has_Pragma_Priority
1476       (N : Node_Id) return Boolean is
1477    begin
1478       pragma Assert (False
1479         or else NT (N).Nkind = N_Protected_Definition
1480         or else NT (N).Nkind = N_Subprogram_Body
1481         or else NT (N).Nkind = N_Task_Definition);
1482       return Flag6 (N);
1483    end Has_Pragma_Priority;
1484
1485    function Has_Pragma_Suppress_All
1486       (N : Node_Id) return Boolean is
1487    begin
1488       pragma Assert (False
1489         or else NT (N).Nkind = N_Compilation_Unit);
1490       return Flag14 (N);
1491    end Has_Pragma_Suppress_All;
1492
1493    function Has_Private_View
1494       (N : Node_Id) return Boolean is
1495    begin
1496       pragma Assert (False
1497        or else NT (N).Nkind in N_Op
1498        or else NT (N).Nkind = N_Character_Literal
1499        or else NT (N).Nkind = N_Expanded_Name
1500        or else NT (N).Nkind = N_Identifier
1501        or else NT (N).Nkind = N_Operator_Symbol);
1502       return Flag11 (N);
1503    end Has_Private_View;
1504
1505    function Has_Relative_Deadline_Pragma
1506       (N : Node_Id) return Boolean is
1507    begin
1508       pragma Assert (False
1509         or else NT (N).Nkind = N_Subprogram_Body
1510         or else NT (N).Nkind = N_Task_Definition);
1511       return Flag9 (N);
1512    end Has_Relative_Deadline_Pragma;
1513
1514    function Has_Self_Reference
1515       (N : Node_Id) return Boolean is
1516    begin
1517       pragma Assert (False
1518         or else NT (N).Nkind = N_Aggregate
1519         or else NT (N).Nkind = N_Extension_Aggregate);
1520       return Flag13 (N);
1521    end Has_Self_Reference;
1522
1523    function Has_Storage_Size_Pragma
1524       (N : Node_Id) return Boolean is
1525    begin
1526       pragma Assert (False
1527         or else NT (N).Nkind = N_Task_Definition);
1528       return Flag5 (N);
1529    end Has_Storage_Size_Pragma;
1530
1531    function Has_Task_Info_Pragma
1532       (N : Node_Id) return Boolean is
1533    begin
1534       pragma Assert (False
1535         or else NT (N).Nkind = N_Task_Definition);
1536       return Flag7 (N);
1537    end Has_Task_Info_Pragma;
1538
1539    function Has_Task_Name_Pragma
1540       (N : Node_Id) return Boolean is
1541    begin
1542       pragma Assert (False
1543         or else NT (N).Nkind = N_Task_Definition);
1544       return Flag8 (N);
1545    end Has_Task_Name_Pragma;
1546
1547    function Has_Wide_Character
1548       (N : Node_Id) return Boolean is
1549    begin
1550       pragma Assert (False
1551         or else NT (N).Nkind = N_String_Literal);
1552       return Flag11 (N);
1553    end Has_Wide_Character;
1554
1555    function Has_Wide_Wide_Character
1556       (N : Node_Id) return Boolean is
1557    begin
1558       pragma Assert (False
1559         or else NT (N).Nkind = N_String_Literal);
1560       return Flag13 (N);
1561    end Has_Wide_Wide_Character;
1562
1563    function Hidden_By_Use_Clause
1564      (N : Node_Id) return Elist_Id is
1565    begin
1566       pragma Assert (False
1567         or else NT (N).Nkind = N_Use_Package_Clause
1568         or else NT (N).Nkind = N_Use_Type_Clause);
1569       return Elist4 (N);
1570    end Hidden_By_Use_Clause;
1571
1572    function High_Bound
1573       (N : Node_Id) return Node_Id is
1574    begin
1575       pragma Assert (False
1576         or else NT (N).Nkind = N_Range
1577         or else NT (N).Nkind = N_Real_Range_Specification
1578         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1579       return Node2 (N);
1580    end High_Bound;
1581
1582    function Identifier
1583       (N : Node_Id) return Node_Id is
1584    begin
1585       pragma Assert (False
1586         or else NT (N).Nkind = N_Aspect_Specification
1587         or else NT (N).Nkind = N_At_Clause
1588         or else NT (N).Nkind = N_Block_Statement
1589         or else NT (N).Nkind = N_Designator
1590         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1591         or else NT (N).Nkind = N_Label
1592         or else NT (N).Nkind = N_Loop_Statement
1593         or else NT (N).Nkind = N_Record_Representation_Clause
1594         or else NT (N).Nkind = N_Subprogram_Info);
1595       return Node1 (N);
1596    end Identifier;
1597
1598    function Implicit_With
1599       (N : Node_Id) return Boolean is
1600    begin
1601       pragma Assert (False
1602         or else NT (N).Nkind = N_With_Clause);
1603       return Flag16 (N);
1604    end Implicit_With;
1605
1606    function Interface_List
1607       (N : Node_Id) return List_Id is
1608    begin
1609       pragma Assert (False
1610         or else NT (N).Nkind = N_Derived_Type_Definition
1611         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1612         or else NT (N).Nkind = N_Private_Extension_Declaration
1613         or else NT (N).Nkind = N_Protected_Type_Declaration
1614         or else NT (N).Nkind = N_Record_Definition
1615         or else NT (N).Nkind = N_Single_Protected_Declaration
1616         or else NT (N).Nkind = N_Single_Task_Declaration
1617         or else NT (N).Nkind = N_Task_Type_Declaration);
1618       return List2 (N);
1619    end Interface_List;
1620
1621    function Interface_Present
1622       (N : Node_Id) return Boolean is
1623    begin
1624       pragma Assert (False
1625         or else NT (N).Nkind = N_Derived_Type_Definition
1626         or else NT (N).Nkind = N_Record_Definition);
1627       return Flag16 (N);
1628    end Interface_Present;
1629
1630    function Import_Interface_Present
1631       (N : Node_Id) return Boolean is
1632    begin
1633       pragma Assert (False
1634         or else NT (N).Nkind = N_Pragma);
1635       return Flag16 (N);
1636    end Import_Interface_Present;
1637
1638    function In_Present
1639       (N : Node_Id) return Boolean is
1640    begin
1641       pragma Assert (False
1642         or else NT (N).Nkind = N_Formal_Object_Declaration
1643         or else NT (N).Nkind = N_Parameter_Specification);
1644       return Flag15 (N);
1645    end In_Present;
1646
1647    function Includes_Infinities
1648       (N : Node_Id) return Boolean is
1649    begin
1650       pragma Assert (False
1651         or else NT (N).Nkind = N_Range);
1652       return Flag11 (N);
1653    end Includes_Infinities;
1654
1655    function Inherited_Discriminant
1656       (N : Node_Id) return Boolean is
1657    begin
1658       pragma Assert (False
1659         or else NT (N).Nkind = N_Component_Association);
1660       return Flag13 (N);
1661    end Inherited_Discriminant;
1662
1663    function Instance_Spec
1664       (N : Node_Id) return Node_Id is
1665    begin
1666       pragma Assert (False
1667         or else NT (N).Nkind = N_Formal_Package_Declaration
1668         or else NT (N).Nkind = N_Function_Instantiation
1669         or else NT (N).Nkind = N_Package_Instantiation
1670         or else NT (N).Nkind = N_Procedure_Instantiation);
1671       return Node5 (N);
1672    end Instance_Spec;
1673
1674    function Intval
1675       (N : Node_Id) return Uint is
1676    begin
1677       pragma Assert (False
1678         or else NT (N).Nkind = N_Integer_Literal);
1679       return Uint3 (N);
1680    end Intval;
1681
1682    function Is_Accessibility_Actual
1683      (N : Node_Id) return Boolean is
1684    begin
1685       pragma Assert (False
1686         or else NT (N).Nkind = N_Parameter_Association);
1687       return Flag13 (N);
1688    end Is_Accessibility_Actual;
1689
1690    function Is_Asynchronous_Call_Block
1691       (N : Node_Id) return Boolean is
1692    begin
1693       pragma Assert (False
1694         or else NT (N).Nkind = N_Block_Statement);
1695       return Flag7 (N);
1696    end Is_Asynchronous_Call_Block;
1697
1698    function Is_Boolean_Aspect
1699       (N : Node_Id) return Boolean is
1700    begin
1701       pragma Assert (False
1702         or else NT (N).Nkind = N_Aspect_Specification);
1703       return Flag16 (N);
1704    end Is_Boolean_Aspect;
1705
1706    function Is_Component_Left_Opnd
1707       (N : Node_Id) return Boolean is
1708    begin
1709       pragma Assert (False
1710         or else NT (N).Nkind = N_Op_Concat);
1711       return Flag13 (N);
1712    end Is_Component_Left_Opnd;
1713
1714    function Is_Component_Right_Opnd
1715       (N : Node_Id) return Boolean is
1716    begin
1717       pragma Assert (False
1718         or else NT (N).Nkind = N_Op_Concat);
1719       return Flag14 (N);
1720    end Is_Component_Right_Opnd;
1721
1722    function Is_Controlling_Actual
1723       (N : Node_Id) return Boolean is
1724    begin
1725       pragma Assert (False
1726         or else NT (N).Nkind in N_Subexpr);
1727       return Flag16 (N);
1728    end Is_Controlling_Actual;
1729
1730    function Is_Delayed_Aspect
1731       (N : Node_Id) return Boolean is
1732    begin
1733       pragma Assert (False
1734         or else NT (N).Nkind = N_Aspect_Specification
1735         or else NT (N).Nkind = N_Attribute_Definition_Clause
1736         or else NT (N).Nkind = N_Pragma);
1737       return Flag14 (N);
1738    end Is_Delayed_Aspect;
1739
1740    function Is_Dynamic_Coextension
1741       (N : Node_Id) return Boolean is
1742    begin
1743       pragma Assert (False
1744         or else NT (N).Nkind = N_Allocator);
1745       return Flag18 (N);
1746    end Is_Dynamic_Coextension;
1747
1748    function Is_Elsif
1749      (N : Node_Id) return Boolean is
1750    begin
1751       pragma Assert (False
1752         or else NT (N).Nkind = N_Conditional_Expression);
1753       return Flag13 (N);
1754    end Is_Elsif;
1755
1756    function Is_Entry_Barrier_Function
1757       (N : Node_Id) return Boolean is
1758    begin
1759       pragma Assert (False
1760         or else NT (N).Nkind = N_Subprogram_Body);
1761       return Flag8 (N);
1762    end Is_Entry_Barrier_Function;
1763
1764    function Is_Expanded_Build_In_Place_Call
1765       (N : Node_Id) return Boolean is
1766    begin
1767       pragma Assert (False
1768         or else NT (N).Nkind = N_Function_Call);
1769       return Flag11 (N);
1770    end Is_Expanded_Build_In_Place_Call;
1771
1772    function Is_Folded_In_Parser
1773       (N : Node_Id) return Boolean is
1774    begin
1775       pragma Assert (False
1776         or else NT (N).Nkind = N_String_Literal);
1777       return Flag4 (N);
1778    end Is_Folded_In_Parser;
1779
1780    function Is_In_Discriminant_Check
1781       (N : Node_Id) return Boolean is
1782    begin
1783       pragma Assert (False
1784         or else NT (N).Nkind = N_Selected_Component);
1785       return Flag11 (N);
1786    end Is_In_Discriminant_Check;
1787
1788    function Is_Machine_Number
1789       (N : Node_Id) return Boolean is
1790    begin
1791       pragma Assert (False
1792         or else NT (N).Nkind = N_Real_Literal);
1793       return Flag11 (N);
1794    end Is_Machine_Number;
1795
1796    function Is_Null_Loop
1797       (N : Node_Id) return Boolean is
1798    begin
1799       pragma Assert (False
1800         or else NT (N).Nkind = N_Loop_Statement);
1801       return Flag16 (N);
1802    end Is_Null_Loop;
1803
1804    function Is_Overloaded
1805       (N : Node_Id) return Boolean is
1806    begin
1807       pragma Assert (False
1808         or else NT (N).Nkind in N_Subexpr);
1809       return Flag5 (N);
1810    end Is_Overloaded;
1811
1812    function Is_Power_Of_2_For_Shift
1813       (N : Node_Id) return Boolean is
1814    begin
1815       pragma Assert (False
1816         or else NT (N).Nkind = N_Op_Expon);
1817       return Flag13 (N);
1818    end Is_Power_Of_2_For_Shift;
1819
1820    function Is_Protected_Subprogram_Body
1821       (N : Node_Id) return Boolean is
1822    begin
1823       pragma Assert (False
1824         or else NT (N).Nkind = N_Subprogram_Body);
1825       return Flag7 (N);
1826    end Is_Protected_Subprogram_Body;
1827
1828    function Is_Static_Coextension
1829       (N : Node_Id) return Boolean is
1830    begin
1831       pragma Assert (False
1832         or else NT (N).Nkind = N_Allocator);
1833       return Flag14 (N);
1834    end Is_Static_Coextension;
1835
1836    function Is_Static_Expression
1837       (N : Node_Id) return Boolean is
1838    begin
1839       pragma Assert (False
1840         or else NT (N).Nkind in N_Subexpr);
1841       return Flag6 (N);
1842    end Is_Static_Expression;
1843
1844    function Is_Subprogram_Descriptor
1845       (N : Node_Id) return Boolean is
1846    begin
1847       pragma Assert (False
1848         or else NT (N).Nkind = N_Object_Declaration);
1849       return Flag16 (N);
1850    end Is_Subprogram_Descriptor;
1851
1852    function Is_Task_Allocation_Block
1853       (N : Node_Id) return Boolean is
1854    begin
1855       pragma Assert (False
1856         or else NT (N).Nkind = N_Block_Statement);
1857       return Flag6 (N);
1858    end Is_Task_Allocation_Block;
1859
1860    function Is_Task_Master
1861       (N : Node_Id) return Boolean is
1862    begin
1863       pragma Assert (False
1864         or else NT (N).Nkind = N_Block_Statement
1865         or else NT (N).Nkind = N_Subprogram_Body
1866         or else NT (N).Nkind = N_Task_Body);
1867       return Flag5 (N);
1868    end Is_Task_Master;
1869
1870    function Iteration_Scheme
1871       (N : Node_Id) return Node_Id is
1872    begin
1873       pragma Assert (False
1874         or else NT (N).Nkind = N_Loop_Statement);
1875       return Node2 (N);
1876    end Iteration_Scheme;
1877
1878    function Iterator_Specification
1879      (N : Node_Id) return Node_Id is
1880    begin
1881       pragma Assert (False
1882         or else NT (N).Nkind = N_Iteration_Scheme
1883         or else NT (N).Nkind = N_Quantified_Expression);
1884       return Node2 (N);
1885    end Iterator_Specification;
1886
1887    function Itype
1888       (N : Node_Id) return Node_Id is
1889    begin
1890       pragma Assert (False
1891       or else NT (N).Nkind = N_Itype_Reference);
1892       return Node1 (N);
1893    end Itype;
1894
1895    function Kill_Range_Check
1896       (N : Node_Id) return Boolean is
1897    begin
1898       pragma Assert (False
1899         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1900       return Flag11 (N);
1901    end Kill_Range_Check;
1902
1903    function Label_Construct
1904       (N : Node_Id) return Node_Id is
1905    begin
1906       pragma Assert (False
1907         or else NT (N).Nkind = N_Implicit_Label_Declaration);
1908       return Node2 (N);
1909    end Label_Construct;
1910
1911    function Last_Bit
1912       (N : Node_Id) return Node_Id is
1913    begin
1914       pragma Assert (False
1915         or else NT (N).Nkind = N_Component_Clause);
1916       return Node4 (N);
1917    end Last_Bit;
1918
1919    function Last_Name
1920       (N : Node_Id) return Boolean is
1921    begin
1922       pragma Assert (False
1923         or else NT (N).Nkind = N_With_Clause);
1924       return Flag6 (N);
1925    end Last_Name;
1926
1927    function Left_Opnd
1928       (N : Node_Id) return Node_Id is
1929    begin
1930       pragma Assert (False
1931         or else NT (N).Nkind = N_And_Then
1932         or else NT (N).Nkind = N_In
1933         or else NT (N).Nkind = N_Not_In
1934         or else NT (N).Nkind = N_Or_Else
1935         or else NT (N).Nkind in N_Binary_Op);
1936       return Node2 (N);
1937    end Left_Opnd;
1938
1939    function Library_Unit
1940       (N : Node_Id) return Node_Id is
1941    begin
1942       pragma Assert (False
1943         or else NT (N).Nkind = N_Compilation_Unit
1944         or else NT (N).Nkind = N_Package_Body_Stub
1945         or else NT (N).Nkind = N_Protected_Body_Stub
1946         or else NT (N).Nkind = N_Subprogram_Body_Stub
1947         or else NT (N).Nkind = N_Task_Body_Stub
1948         or else NT (N).Nkind = N_With_Clause);
1949       return Node4 (N);
1950    end Library_Unit;
1951
1952    function Limited_View_Installed
1953       (N : Node_Id) return Boolean is
1954    begin
1955       pragma Assert (False
1956         or else NT (N).Nkind = N_Package_Specification
1957         or else NT (N).Nkind = N_With_Clause);
1958       return Flag18 (N);
1959    end Limited_View_Installed;
1960
1961    function Limited_Present
1962       (N : Node_Id) return Boolean is
1963    begin
1964       pragma Assert (False
1965         or else NT (N).Nkind = N_Derived_Type_Definition
1966         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1967         or else NT (N).Nkind = N_Formal_Private_Type_Definition
1968         or else NT (N).Nkind = N_Private_Extension_Declaration
1969         or else NT (N).Nkind = N_Private_Type_Declaration
1970         or else NT (N).Nkind = N_Record_Definition
1971         or else NT (N).Nkind = N_With_Clause);
1972       return Flag17 (N);
1973    end Limited_Present;
1974
1975    function Literals
1976       (N : Node_Id) return List_Id is
1977    begin
1978       pragma Assert (False
1979         or else NT (N).Nkind = N_Enumeration_Type_Definition);
1980       return List1 (N);
1981    end Literals;
1982
1983    function Local_Raise_Not_OK
1984       (N : Node_Id) return Boolean is
1985    begin
1986       pragma Assert (False
1987         or else NT (N).Nkind = N_Exception_Handler);
1988       return Flag7 (N);
1989    end Local_Raise_Not_OK;
1990
1991    function Local_Raise_Statements
1992       (N : Node_Id) return Elist_Id is
1993    begin
1994       pragma Assert (False
1995         or else NT (N).Nkind = N_Exception_Handler);
1996       return Elist1 (N);
1997    end Local_Raise_Statements;
1998
1999    function Loop_Actions
2000       (N : Node_Id) return List_Id is
2001    begin
2002       pragma Assert (False
2003         or else NT (N).Nkind = N_Component_Association);
2004       return List2 (N);
2005    end Loop_Actions;
2006
2007    function Loop_Parameter_Specification
2008       (N : Node_Id) return Node_Id is
2009    begin
2010       pragma Assert (False
2011         or else NT (N).Nkind = N_Iteration_Scheme
2012         or else NT (N).Nkind = N_Quantified_Expression);
2013       return Node4 (N);
2014    end Loop_Parameter_Specification;
2015
2016    function Low_Bound
2017       (N : Node_Id) return Node_Id is
2018    begin
2019       pragma Assert (False
2020         or else NT (N).Nkind = N_Range
2021         or else NT (N).Nkind = N_Real_Range_Specification
2022         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2023       return Node1 (N);
2024    end Low_Bound;
2025
2026    function Mod_Clause
2027       (N : Node_Id) return Node_Id is
2028    begin
2029       pragma Assert (False
2030         or else NT (N).Nkind = N_Record_Representation_Clause);
2031       return Node2 (N);
2032    end Mod_Clause;
2033
2034    function More_Ids
2035       (N : Node_Id) return Boolean is
2036    begin
2037       pragma Assert (False
2038         or else NT (N).Nkind = N_Component_Declaration
2039         or else NT (N).Nkind = N_Discriminant_Specification
2040         or else NT (N).Nkind = N_Exception_Declaration
2041         or else NT (N).Nkind = N_Formal_Object_Declaration
2042         or else NT (N).Nkind = N_Number_Declaration
2043         or else NT (N).Nkind = N_Object_Declaration
2044         or else NT (N).Nkind = N_Parameter_Specification);
2045       return Flag5 (N);
2046    end More_Ids;
2047
2048    function Must_Be_Byte_Aligned
2049       (N : Node_Id) return Boolean is
2050    begin
2051       pragma Assert (False
2052         or else NT (N).Nkind = N_Attribute_Reference);
2053       return Flag14 (N);
2054    end Must_Be_Byte_Aligned;
2055
2056    function Must_Not_Freeze
2057       (N : Node_Id) return Boolean is
2058    begin
2059       pragma Assert (False
2060         or else NT (N).Nkind = N_Subtype_Indication
2061         or else NT (N).Nkind in N_Subexpr);
2062       return Flag8 (N);
2063    end Must_Not_Freeze;
2064
2065    function Must_Not_Override
2066       (N : Node_Id) return Boolean is
2067    begin
2068       pragma Assert (False
2069         or else NT (N).Nkind = N_Entry_Declaration
2070         or else NT (N).Nkind = N_Function_Instantiation
2071         or else NT (N).Nkind = N_Function_Specification
2072         or else NT (N).Nkind = N_Procedure_Instantiation
2073         or else NT (N).Nkind = N_Procedure_Specification);
2074       return Flag15 (N);
2075    end Must_Not_Override;
2076
2077    function Must_Override
2078       (N : Node_Id) return Boolean is
2079    begin
2080       pragma Assert (False
2081         or else NT (N).Nkind = N_Entry_Declaration
2082         or else NT (N).Nkind = N_Function_Instantiation
2083         or else NT (N).Nkind = N_Function_Specification
2084         or else NT (N).Nkind = N_Procedure_Instantiation
2085         or else NT (N).Nkind = N_Procedure_Specification);
2086       return Flag14 (N);
2087    end Must_Override;
2088
2089    function Name
2090       (N : Node_Id) return Node_Id is
2091    begin
2092       pragma Assert (False
2093         or else NT (N).Nkind = N_Assignment_Statement
2094         or else NT (N).Nkind = N_Attribute_Definition_Clause
2095         or else NT (N).Nkind = N_Defining_Program_Unit_Name
2096         or else NT (N).Nkind = N_Designator
2097         or else NT (N).Nkind = N_Entry_Call_Statement
2098         or else NT (N).Nkind = N_Exception_Renaming_Declaration
2099         or else NT (N).Nkind = N_Exit_Statement
2100         or else NT (N).Nkind = N_Formal_Package_Declaration
2101         or else NT (N).Nkind = N_Function_Call
2102         or else NT (N).Nkind = N_Function_Instantiation
2103         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2104         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2105         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2106         or else NT (N).Nkind = N_Goto_Statement
2107         or else NT (N).Nkind = N_Iterator_Specification
2108         or else NT (N).Nkind = N_Object_Renaming_Declaration
2109         or else NT (N).Nkind = N_Package_Instantiation
2110         or else NT (N).Nkind = N_Package_Renaming_Declaration
2111         or else NT (N).Nkind = N_Procedure_Call_Statement
2112         or else NT (N).Nkind = N_Procedure_Instantiation
2113         or else NT (N).Nkind = N_Raise_Statement
2114         or else NT (N).Nkind = N_Requeue_Statement
2115         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2116         or else NT (N).Nkind = N_Subunit
2117         or else NT (N).Nkind = N_Variant_Part
2118         or else NT (N).Nkind = N_With_Clause);
2119       return Node2 (N);
2120    end Name;
2121
2122    function Names
2123       (N : Node_Id) return List_Id is
2124    begin
2125       pragma Assert (False
2126         or else NT (N).Nkind = N_Abort_Statement
2127         or else NT (N).Nkind = N_Use_Package_Clause);
2128       return List2 (N);
2129    end Names;
2130
2131    function Next_Entity
2132       (N : Node_Id) return Node_Id is
2133    begin
2134       pragma Assert (False
2135         or else NT (N).Nkind = N_Defining_Character_Literal
2136         or else NT (N).Nkind = N_Defining_Identifier
2137         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2138       return Node2 (N);
2139    end Next_Entity;
2140
2141    function Next_Exit_Statement
2142      (N : Node_Id) return Node_Id is
2143    begin
2144       pragma Assert (False
2145         or else NT (N).Nkind = N_Exit_Statement);
2146       return Node3 (N);
2147    end Next_Exit_Statement;
2148
2149    function Next_Implicit_With
2150      (N : Node_Id) return Node_Id is
2151    begin
2152       pragma Assert (False
2153         or else NT (N).Nkind = N_With_Clause);
2154       return Node3 (N);
2155    end Next_Implicit_With;
2156
2157    function Next_Named_Actual
2158       (N : Node_Id) return Node_Id is
2159    begin
2160       pragma Assert (False
2161         or else NT (N).Nkind = N_Parameter_Association);
2162       return Node4 (N);
2163    end Next_Named_Actual;
2164
2165    function Next_Pragma
2166       (N : Node_Id) return Node_Id is
2167    begin
2168       pragma Assert (False
2169         or else NT (N).Nkind = N_Pragma);
2170       return Node1 (N);
2171    end Next_Pragma;
2172
2173    function Next_Rep_Item
2174       (N : Node_Id) return Node_Id is
2175    begin
2176       pragma Assert (False
2177         or else NT (N).Nkind = N_Aspect_Specification
2178         or else NT (N).Nkind = N_Attribute_Definition_Clause
2179         or else NT (N).Nkind = N_Enumeration_Representation_Clause
2180         or else NT (N).Nkind = N_Pragma
2181         or else NT (N).Nkind = N_Record_Representation_Clause);
2182       return Node5 (N);
2183    end Next_Rep_Item;
2184
2185    function Next_Use_Clause
2186       (N : Node_Id) return Node_Id is
2187    begin
2188       pragma Assert (False
2189         or else NT (N).Nkind = N_Use_Package_Clause
2190         or else NT (N).Nkind = N_Use_Type_Clause);
2191       return Node3 (N);
2192    end Next_Use_Clause;
2193
2194    function No_Ctrl_Actions
2195       (N : Node_Id) return Boolean is
2196    begin
2197       pragma Assert (False
2198         or else NT (N).Nkind = N_Assignment_Statement);
2199       return Flag7 (N);
2200    end No_Ctrl_Actions;
2201
2202    function No_Elaboration_Check
2203       (N : Node_Id) return Boolean is
2204    begin
2205       pragma Assert (False
2206         or else NT (N).Nkind = N_Function_Call
2207         or else NT (N).Nkind = N_Procedure_Call_Statement);
2208       return Flag14 (N);
2209    end No_Elaboration_Check;
2210
2211    function No_Entities_Ref_In_Spec
2212       (N : Node_Id) return Boolean is
2213    begin
2214       pragma Assert (False
2215         or else NT (N).Nkind = N_With_Clause);
2216       return Flag8 (N);
2217    end No_Entities_Ref_In_Spec;
2218
2219    function No_Initialization
2220       (N : Node_Id) return Boolean is
2221    begin
2222       pragma Assert (False
2223         or else NT (N).Nkind = N_Allocator
2224         or else NT (N).Nkind = N_Object_Declaration);
2225       return Flag13 (N);
2226    end No_Initialization;
2227
2228    function No_Truncation
2229       (N : Node_Id) return Boolean is
2230    begin
2231       pragma Assert (False
2232         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2233       return Flag17 (N);
2234    end No_Truncation;
2235
2236    function Null_Present
2237       (N : Node_Id) return Boolean is
2238    begin
2239       pragma Assert (False
2240         or else NT (N).Nkind = N_Component_List
2241         or else NT (N).Nkind = N_Procedure_Specification
2242         or else NT (N).Nkind = N_Record_Definition);
2243       return Flag13 (N);
2244    end Null_Present;
2245
2246    function Null_Exclusion_Present
2247       (N : Node_Id) return Boolean is
2248    begin
2249       pragma Assert (False
2250         or else NT (N).Nkind = N_Access_Definition
2251         or else NT (N).Nkind = N_Access_Function_Definition
2252         or else NT (N).Nkind = N_Access_Procedure_Definition
2253         or else NT (N).Nkind = N_Access_To_Object_Definition
2254         or else NT (N).Nkind = N_Allocator
2255         or else NT (N).Nkind = N_Component_Definition
2256         or else NT (N).Nkind = N_Derived_Type_Definition
2257         or else NT (N).Nkind = N_Discriminant_Specification
2258         or else NT (N).Nkind = N_Formal_Object_Declaration
2259         or else NT (N).Nkind = N_Function_Specification
2260         or else NT (N).Nkind = N_Object_Declaration
2261         or else NT (N).Nkind = N_Object_Renaming_Declaration
2262         or else NT (N).Nkind = N_Parameter_Specification
2263         or else NT (N).Nkind = N_Subtype_Declaration);
2264       return Flag11 (N);
2265    end Null_Exclusion_Present;
2266
2267    function Null_Exclusion_In_Return_Present
2268       (N : Node_Id) return Boolean is
2269    begin
2270       pragma Assert (False
2271         or else NT (N).Nkind = N_Access_Function_Definition);
2272       return Flag14 (N);
2273    end Null_Exclusion_In_Return_Present;
2274
2275    function Null_Record_Present
2276       (N : Node_Id) return Boolean is
2277    begin
2278       pragma Assert (False
2279         or else NT (N).Nkind = N_Aggregate
2280         or else NT (N).Nkind = N_Extension_Aggregate);
2281       return Flag17 (N);
2282    end Null_Record_Present;
2283
2284    function Object_Definition
2285       (N : Node_Id) return Node_Id is
2286    begin
2287       pragma Assert (False
2288         or else NT (N).Nkind = N_Object_Declaration);
2289       return Node4 (N);
2290    end Object_Definition;
2291
2292    function Of_Present
2293       (N : Node_Id) return Boolean is
2294    begin
2295       pragma Assert (False
2296         or else NT (N).Nkind = N_Iterator_Specification);
2297       return Flag16 (N);
2298    end Of_Present;
2299
2300    function Original_Discriminant
2301       (N : Node_Id) return Node_Id is
2302    begin
2303       pragma Assert (False
2304         or else NT (N).Nkind = N_Identifier);
2305       return Node2 (N);
2306    end Original_Discriminant;
2307
2308    function Original_Entity
2309       (N : Node_Id) return Entity_Id is
2310    begin
2311       pragma Assert (False
2312         or else NT (N).Nkind = N_Integer_Literal
2313         or else NT (N).Nkind = N_Real_Literal);
2314       return Node2 (N);
2315    end Original_Entity;
2316
2317    function Others_Discrete_Choices
2318       (N : Node_Id) return List_Id is
2319    begin
2320       pragma Assert (False
2321         or else NT (N).Nkind = N_Others_Choice);
2322       return List1 (N);
2323    end Others_Discrete_Choices;
2324
2325    function Out_Present
2326       (N : Node_Id) return Boolean is
2327    begin
2328       pragma Assert (False
2329         or else NT (N).Nkind = N_Formal_Object_Declaration
2330         or else NT (N).Nkind = N_Parameter_Specification);
2331       return Flag17 (N);
2332    end Out_Present;
2333
2334    function Parameter_Associations
2335       (N : Node_Id) return List_Id is
2336    begin
2337       pragma Assert (False
2338         or else NT (N).Nkind = N_Entry_Call_Statement
2339         or else NT (N).Nkind = N_Function_Call
2340         or else NT (N).Nkind = N_Procedure_Call_Statement);
2341       return List3 (N);
2342    end Parameter_Associations;
2343
2344    function Parameter_List_Truncated
2345       (N : Node_Id) return Boolean is
2346    begin
2347       pragma Assert (False
2348         or else NT (N).Nkind = N_Function_Call
2349         or else NT (N).Nkind = N_Procedure_Call_Statement);
2350       return Flag17 (N);
2351    end Parameter_List_Truncated;
2352
2353    function Parameter_Specifications
2354       (N : Node_Id) return List_Id is
2355    begin
2356       pragma Assert (False
2357         or else NT (N).Nkind = N_Accept_Statement
2358         or else NT (N).Nkind = N_Access_Function_Definition
2359         or else NT (N).Nkind = N_Access_Procedure_Definition
2360         or else NT (N).Nkind = N_Entry_Body_Formal_Part
2361         or else NT (N).Nkind = N_Entry_Declaration
2362         or else NT (N).Nkind = N_Function_Specification
2363         or else NT (N).Nkind = N_Procedure_Specification);
2364       return List3 (N);
2365    end Parameter_Specifications;
2366
2367    function Parameter_Type
2368       (N : Node_Id) return Node_Id is
2369    begin
2370       pragma Assert (False
2371         or else NT (N).Nkind = N_Parameter_Specification);
2372       return Node2 (N);
2373    end Parameter_Type;
2374
2375    function Parent_Spec
2376       (N : Node_Id) return Node_Id is
2377    begin
2378       pragma Assert (False
2379         or else NT (N).Nkind = N_Function_Instantiation
2380         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2381         or else NT (N).Nkind = N_Generic_Package_Declaration
2382         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2383         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2384         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2385         or else NT (N).Nkind = N_Package_Declaration
2386         or else NT (N).Nkind = N_Package_Instantiation
2387         or else NT (N).Nkind = N_Package_Renaming_Declaration
2388         or else NT (N).Nkind = N_Procedure_Instantiation
2389         or else NT (N).Nkind = N_Subprogram_Declaration
2390         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2391       return Node4 (N);
2392    end Parent_Spec;
2393
2394    function Position
2395       (N : Node_Id) return Node_Id is
2396    begin
2397       pragma Assert (False
2398         or else NT (N).Nkind = N_Component_Clause);
2399       return Node2 (N);
2400    end Position;
2401
2402    function Pragma_Argument_Associations
2403       (N : Node_Id) return List_Id is
2404    begin
2405       pragma Assert (False
2406         or else NT (N).Nkind = N_Pragma);
2407       return List2 (N);
2408    end Pragma_Argument_Associations;
2409
2410    function Pragma_Identifier
2411       (N : Node_Id) return Node_Id is
2412    begin
2413       pragma Assert (False
2414         or else NT (N).Nkind = N_Pragma);
2415       return Node4 (N);
2416    end Pragma_Identifier;
2417
2418    function Pragmas_After
2419       (N : Node_Id) return List_Id is
2420    begin
2421       pragma Assert (False
2422         or else NT (N).Nkind = N_Compilation_Unit_Aux
2423         or else NT (N).Nkind = N_Terminate_Alternative);
2424       return List5 (N);
2425    end Pragmas_After;
2426
2427    function Pragmas_Before
2428       (N : Node_Id) return List_Id is
2429    begin
2430       pragma Assert (False
2431         or else NT (N).Nkind = N_Accept_Alternative
2432         or else NT (N).Nkind = N_Delay_Alternative
2433         or else NT (N).Nkind = N_Entry_Call_Alternative
2434         or else NT (N).Nkind = N_Mod_Clause
2435         or else NT (N).Nkind = N_Terminate_Alternative
2436         or else NT (N).Nkind = N_Triggering_Alternative);
2437       return List4 (N);
2438    end Pragmas_Before;
2439
2440    function Prefix
2441       (N : Node_Id) return Node_Id is
2442    begin
2443       pragma Assert (False
2444         or else NT (N).Nkind = N_Attribute_Reference
2445         or else NT (N).Nkind = N_Expanded_Name
2446         or else NT (N).Nkind = N_Explicit_Dereference
2447         or else NT (N).Nkind = N_Indexed_Component
2448         or else NT (N).Nkind = N_Reference
2449         or else NT (N).Nkind = N_Selected_Component
2450         or else NT (N).Nkind = N_Slice);
2451       return Node3 (N);
2452    end Prefix;
2453
2454    function Premature_Use
2455       (N : Node_Id) return Node_Id is
2456    begin
2457       pragma Assert (False
2458         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2459       return Node5 (N);
2460    end Premature_Use;
2461
2462    function Present_Expr
2463       (N : Node_Id) return Uint is
2464    begin
2465       pragma Assert (False
2466         or else NT (N).Nkind = N_Variant);
2467       return Uint3 (N);
2468    end Present_Expr;
2469
2470    function Prev_Ids
2471       (N : Node_Id) return Boolean is
2472    begin
2473       pragma Assert (False
2474         or else NT (N).Nkind = N_Component_Declaration
2475         or else NT (N).Nkind = N_Discriminant_Specification
2476         or else NT (N).Nkind = N_Exception_Declaration
2477         or else NT (N).Nkind = N_Formal_Object_Declaration
2478         or else NT (N).Nkind = N_Number_Declaration
2479         or else NT (N).Nkind = N_Object_Declaration
2480         or else NT (N).Nkind = N_Parameter_Specification);
2481       return Flag6 (N);
2482    end Prev_Ids;
2483
2484    function Print_In_Hex
2485       (N : Node_Id) return Boolean is
2486    begin
2487       pragma Assert (False
2488         or else NT (N).Nkind = N_Integer_Literal);
2489       return Flag13 (N);
2490    end Print_In_Hex;
2491
2492    function Private_Declarations
2493       (N : Node_Id) return List_Id is
2494    begin
2495       pragma Assert (False
2496         or else NT (N).Nkind = N_Package_Specification
2497         or else NT (N).Nkind = N_Protected_Definition
2498         or else NT (N).Nkind = N_Task_Definition);
2499       return List3 (N);
2500    end Private_Declarations;
2501
2502    function Private_Present
2503       (N : Node_Id) return Boolean is
2504    begin
2505       pragma Assert (False
2506         or else NT (N).Nkind = N_Compilation_Unit
2507         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2508         or else NT (N).Nkind = N_With_Clause);
2509       return Flag15 (N);
2510    end Private_Present;
2511
2512    function Procedure_To_Call
2513       (N : Node_Id) return Node_Id is
2514    begin
2515       pragma Assert (False
2516         or else NT (N).Nkind = N_Allocator
2517         or else NT (N).Nkind = N_Extended_Return_Statement
2518         or else NT (N).Nkind = N_Free_Statement
2519         or else NT (N).Nkind = N_Return_Statement);
2520       return Node2 (N);
2521    end Procedure_To_Call;
2522
2523    function Proper_Body
2524       (N : Node_Id) return Node_Id is
2525    begin
2526       pragma Assert (False
2527         or else NT (N).Nkind = N_Subunit);
2528       return Node1 (N);
2529    end Proper_Body;
2530
2531    function Protected_Definition
2532       (N : Node_Id) return Node_Id is
2533    begin
2534       pragma Assert (False
2535         or else NT (N).Nkind = N_Protected_Type_Declaration
2536         or else NT (N).Nkind = N_Single_Protected_Declaration);
2537       return Node3 (N);
2538    end Protected_Definition;
2539
2540    function Protected_Present
2541       (N : Node_Id) return Boolean is
2542    begin
2543       pragma Assert (False
2544         or else NT (N).Nkind = N_Access_Function_Definition
2545         or else NT (N).Nkind = N_Access_Procedure_Definition
2546         or else NT (N).Nkind = N_Derived_Type_Definition
2547         or else NT (N).Nkind = N_Record_Definition);
2548       return Flag6 (N);
2549    end Protected_Present;
2550
2551    function Raises_Constraint_Error
2552       (N : Node_Id) return Boolean is
2553    begin
2554       pragma Assert (False
2555         or else NT (N).Nkind in N_Subexpr);
2556       return Flag7 (N);
2557    end Raises_Constraint_Error;
2558
2559    function Range_Constraint
2560       (N : Node_Id) return Node_Id is
2561    begin
2562       pragma Assert (False
2563         or else NT (N).Nkind = N_Delta_Constraint
2564         or else NT (N).Nkind = N_Digits_Constraint);
2565       return Node4 (N);
2566    end Range_Constraint;
2567
2568    function Range_Expression
2569       (N : Node_Id) return Node_Id is
2570    begin
2571       pragma Assert (False
2572         or else NT (N).Nkind = N_Range_Constraint);
2573       return Node4 (N);
2574    end Range_Expression;
2575
2576    function Real_Range_Specification
2577       (N : Node_Id) return Node_Id is
2578    begin
2579       pragma Assert (False
2580         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2581         or else NT (N).Nkind = N_Floating_Point_Definition
2582         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2583       return Node4 (N);
2584    end Real_Range_Specification;
2585
2586    function Realval
2587       (N : Node_Id) return Ureal is
2588    begin
2589       pragma Assert (False
2590         or else NT (N).Nkind = N_Real_Literal);
2591       return Ureal3 (N);
2592    end Realval;
2593
2594    function Reason
2595       (N : Node_Id) return Uint is
2596    begin
2597       pragma Assert (False
2598         or else NT (N).Nkind = N_Raise_Constraint_Error
2599         or else NT (N).Nkind = N_Raise_Program_Error
2600         or else NT (N).Nkind = N_Raise_Storage_Error);
2601       return Uint3 (N);
2602    end Reason;
2603
2604    function Record_Extension_Part
2605       (N : Node_Id) return Node_Id is
2606    begin
2607       pragma Assert (False
2608         or else NT (N).Nkind = N_Derived_Type_Definition);
2609       return Node3 (N);
2610    end Record_Extension_Part;
2611
2612    function Redundant_Use
2613       (N : Node_Id) return Boolean is
2614    begin
2615       pragma Assert (False
2616         or else NT (N).Nkind = N_Attribute_Reference
2617         or else NT (N).Nkind = N_Expanded_Name
2618         or else NT (N).Nkind = N_Identifier);
2619       return Flag13 (N);
2620    end Redundant_Use;
2621
2622    function Renaming_Exception
2623       (N : Node_Id) return Node_Id is
2624    begin
2625       pragma Assert (False
2626         or else NT (N).Nkind = N_Exception_Declaration);
2627       return Node2 (N);
2628    end Renaming_Exception;
2629
2630    function Result_Definition
2631      (N : Node_Id) return Node_Id is
2632    begin
2633       pragma Assert (False
2634         or else NT (N).Nkind = N_Access_Function_Definition
2635         or else NT (N).Nkind = N_Function_Specification);
2636       return Node4 (N);
2637    end Result_Definition;
2638
2639    function Return_Object_Declarations
2640      (N : Node_Id) return List_Id is
2641    begin
2642       pragma Assert (False
2643         or else NT (N).Nkind = N_Extended_Return_Statement);
2644       return List3 (N);
2645    end Return_Object_Declarations;
2646
2647    function Return_Statement_Entity
2648      (N : Node_Id) return Node_Id is
2649    begin
2650       pragma Assert (False
2651         or else NT (N).Nkind = N_Extended_Return_Statement
2652         or else NT (N).Nkind = N_Return_Statement);
2653       return Node5 (N);
2654    end Return_Statement_Entity;
2655
2656    function Reverse_Present
2657       (N : Node_Id) return Boolean is
2658    begin
2659       pragma Assert (False
2660         or else NT (N).Nkind = N_Iterator_Specification
2661         or else NT (N).Nkind = N_Loop_Parameter_Specification);
2662       return Flag15 (N);
2663    end Reverse_Present;
2664
2665    function Right_Opnd
2666       (N : Node_Id) return Node_Id is
2667    begin
2668       pragma Assert (False
2669         or else NT (N).Nkind in N_Op
2670         or else NT (N).Nkind = N_And_Then
2671         or else NT (N).Nkind = N_In
2672         or else NT (N).Nkind = N_Not_In
2673         or else NT (N).Nkind = N_Or_Else);
2674       return Node3 (N);
2675    end Right_Opnd;
2676
2677    function Rounded_Result
2678       (N : Node_Id) return Boolean is
2679    begin
2680       pragma Assert (False
2681         or else NT (N).Nkind = N_Op_Divide
2682         or else NT (N).Nkind = N_Op_Multiply
2683         or else NT (N).Nkind = N_Type_Conversion);
2684       return Flag18 (N);
2685    end Rounded_Result;
2686
2687    function SCIL_Controlling_Tag
2688       (N : Node_Id) return Node_Id is
2689    begin
2690       pragma Assert (False
2691         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2692       return Node5 (N);
2693    end SCIL_Controlling_Tag;
2694
2695    function SCIL_Entity
2696       (N : Node_Id) return Node_Id is
2697    begin
2698       pragma Assert (False
2699         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2700         or else NT (N).Nkind = N_SCIL_Dispatching_Call
2701         or else NT (N).Nkind = N_SCIL_Membership_Test);
2702       return Node4 (N);
2703    end SCIL_Entity;
2704
2705    function SCIL_Tag_Value
2706       (N : Node_Id) return Node_Id is
2707    begin
2708       pragma Assert (False
2709         or else NT (N).Nkind = N_SCIL_Membership_Test);
2710       return Node5 (N);
2711    end SCIL_Tag_Value;
2712
2713    function SCIL_Target_Prim
2714       (N : Node_Id) return Node_Id is
2715    begin
2716       pragma Assert (False
2717         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2718       return Node2 (N);
2719    end SCIL_Target_Prim;
2720
2721    function Scope
2722       (N : Node_Id) return Node_Id is
2723    begin
2724       pragma Assert (False
2725         or else NT (N).Nkind = N_Defining_Character_Literal
2726         or else NT (N).Nkind = N_Defining_Identifier
2727         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2728       return Node3 (N);
2729    end Scope;
2730
2731    function Select_Alternatives
2732       (N : Node_Id) return List_Id is
2733    begin
2734       pragma Assert (False
2735         or else NT (N).Nkind = N_Selective_Accept);
2736       return List1 (N);
2737    end Select_Alternatives;
2738
2739    function Selector_Name
2740       (N : Node_Id) return Node_Id is
2741    begin
2742       pragma Assert (False
2743         or else NT (N).Nkind = N_Expanded_Name
2744         or else NT (N).Nkind = N_Generic_Association
2745         or else NT (N).Nkind = N_Parameter_Association
2746         or else NT (N).Nkind = N_Selected_Component);
2747       return Node2 (N);
2748    end Selector_Name;
2749
2750    function Selector_Names
2751       (N : Node_Id) return List_Id is
2752    begin
2753       pragma Assert (False
2754         or else NT (N).Nkind = N_Discriminant_Association);
2755       return List1 (N);
2756    end Selector_Names;
2757
2758    function Shift_Count_OK
2759       (N : Node_Id) return Boolean is
2760    begin
2761       pragma Assert (False
2762         or else NT (N).Nkind = N_Op_Rotate_Left
2763         or else NT (N).Nkind = N_Op_Rotate_Right
2764         or else NT (N).Nkind = N_Op_Shift_Left
2765         or else NT (N).Nkind = N_Op_Shift_Right
2766         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2767       return Flag4 (N);
2768    end Shift_Count_OK;
2769
2770    function Source_Type
2771       (N : Node_Id) return Entity_Id is
2772    begin
2773       pragma Assert (False
2774         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2775       return Node1 (N);
2776    end Source_Type;
2777
2778    function Spec_PPC_List
2779       (N : Node_Id) return Node_Id is
2780    begin
2781       pragma Assert (False
2782         or else NT (N).Nkind = N_Contract);
2783       return Node1 (N);
2784    end Spec_PPC_List;
2785
2786    function Spec_TC_List
2787       (N : Node_Id) return Node_Id is
2788    begin
2789       pragma Assert (False
2790         or else NT (N).Nkind = N_Contract);
2791       return Node2 (N);
2792    end Spec_TC_List;
2793
2794    function Specification
2795       (N : Node_Id) return Node_Id is
2796    begin
2797       pragma Assert (False
2798         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2799         or else NT (N).Nkind = N_Expression_Function
2800         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2801         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2802         or else NT (N).Nkind = N_Generic_Package_Declaration
2803         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2804         or else NT (N).Nkind = N_Package_Declaration
2805         or else NT (N).Nkind = N_Subprogram_Body
2806         or else NT (N).Nkind = N_Subprogram_Body_Stub
2807         or else NT (N).Nkind = N_Subprogram_Declaration
2808         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2809       return Node1 (N);
2810    end Specification;
2811
2812    function Split_PPC
2813       (N : Node_Id) return Boolean is
2814    begin
2815       pragma Assert (False
2816         or else NT (N).Nkind = N_Aspect_Specification
2817         or else NT (N).Nkind = N_Pragma);
2818       return Flag17 (N);
2819    end Split_PPC;
2820
2821    function Statements
2822       (N : Node_Id) return List_Id is
2823    begin
2824       pragma Assert (False
2825         or else NT (N).Nkind = N_Abortable_Part
2826         or else NT (N).Nkind = N_Accept_Alternative
2827         or else NT (N).Nkind = N_Case_Statement_Alternative
2828         or else NT (N).Nkind = N_Delay_Alternative
2829         or else NT (N).Nkind = N_Entry_Call_Alternative
2830         or else NT (N).Nkind = N_Exception_Handler
2831         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2832         or else NT (N).Nkind = N_Loop_Statement
2833         or else NT (N).Nkind = N_Triggering_Alternative);
2834       return List3 (N);
2835    end Statements;
2836
2837    function Static_Processing_OK
2838       (N : Node_Id) return Boolean is
2839    begin
2840       pragma Assert (False
2841         or else NT (N).Nkind = N_Aggregate);
2842       return Flag4 (N);
2843    end Static_Processing_OK;
2844
2845    function Storage_Pool
2846       (N : Node_Id) return Node_Id is
2847    begin
2848       pragma Assert (False
2849         or else NT (N).Nkind = N_Allocator
2850         or else NT (N).Nkind = N_Extended_Return_Statement
2851         or else NT (N).Nkind = N_Free_Statement
2852         or else NT (N).Nkind = N_Return_Statement);
2853       return Node1 (N);
2854    end Storage_Pool;
2855
2856    function Subpool_Handle_Name
2857       (N : Node_Id) return Node_Id is
2858    begin
2859       pragma Assert (False
2860         or else NT (N).Nkind = N_Allocator);
2861       return Node4 (N);
2862    end Subpool_Handle_Name;
2863
2864    function Strval
2865       (N : Node_Id) return String_Id is
2866    begin
2867       pragma Assert (False
2868         or else NT (N).Nkind = N_Operator_Symbol
2869         or else NT (N).Nkind = N_String_Literal);
2870       return Str3 (N);
2871    end Strval;
2872
2873    function Subtype_Indication
2874       (N : Node_Id) return Node_Id is
2875    begin
2876       pragma Assert (False
2877         or else NT (N).Nkind = N_Access_To_Object_Definition
2878         or else NT (N).Nkind = N_Component_Definition
2879         or else NT (N).Nkind = N_Derived_Type_Definition
2880         or else NT (N).Nkind = N_Iterator_Specification
2881         or else NT (N).Nkind = N_Private_Extension_Declaration
2882         or else NT (N).Nkind = N_Subtype_Declaration);
2883       return Node5 (N);
2884    end Subtype_Indication;
2885
2886    function Suppress_Assignment_Checks
2887       (N : Node_Id) return Boolean is
2888    begin
2889       pragma Assert (False
2890         or else NT (N).Nkind = N_Assignment_Statement
2891         or else NT (N).Nkind = N_Object_Declaration);
2892       return Flag18 (N);
2893    end Suppress_Assignment_Checks;
2894
2895    function Suppress_Loop_Warnings
2896       (N : Node_Id) return Boolean is
2897    begin
2898       pragma Assert (False
2899         or else NT (N).Nkind = N_Loop_Statement);
2900       return Flag17 (N);
2901    end Suppress_Loop_Warnings;
2902
2903    function Subtype_Mark
2904       (N : Node_Id) return Node_Id is
2905    begin
2906       pragma Assert (False
2907         or else NT (N).Nkind = N_Access_Definition
2908         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2909         or else NT (N).Nkind = N_Formal_Object_Declaration
2910         or else NT (N).Nkind = N_Object_Renaming_Declaration
2911         or else NT (N).Nkind = N_Qualified_Expression
2912         or else NT (N).Nkind = N_Subtype_Indication
2913         or else NT (N).Nkind = N_Type_Conversion
2914         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2915       return Node4 (N);
2916    end Subtype_Mark;
2917
2918    function Subtype_Marks
2919       (N : Node_Id) return List_Id is
2920    begin
2921       pragma Assert (False
2922         or else NT (N).Nkind = N_Unconstrained_Array_Definition
2923         or else NT (N).Nkind = N_Use_Type_Clause);
2924       return List2 (N);
2925    end Subtype_Marks;
2926
2927    function Synchronized_Present
2928      (N : Node_Id) return Boolean is
2929    begin
2930       pragma Assert (False
2931         or else NT (N).Nkind = N_Derived_Type_Definition
2932         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2933         or else NT (N).Nkind = N_Private_Extension_Declaration
2934         or else NT (N).Nkind = N_Record_Definition);
2935       return Flag7 (N);
2936    end Synchronized_Present;
2937
2938    function Tagged_Present
2939       (N : Node_Id) return Boolean is
2940    begin
2941       pragma Assert (False
2942         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2943         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2944         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2945         or else NT (N).Nkind = N_Private_Type_Declaration
2946         or else NT (N).Nkind = N_Record_Definition);
2947       return Flag15 (N);
2948    end Tagged_Present;
2949
2950    function Target_Type
2951       (N : Node_Id) return Entity_Id is
2952    begin
2953       pragma Assert (False
2954         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2955       return Node2 (N);
2956    end Target_Type;
2957
2958    function Task_Definition
2959       (N : Node_Id) return Node_Id is
2960    begin
2961       pragma Assert (False
2962         or else NT (N).Nkind = N_Single_Task_Declaration
2963         or else NT (N).Nkind = N_Task_Type_Declaration);
2964       return Node3 (N);
2965    end Task_Definition;
2966
2967    function Task_Present
2968      (N : Node_Id) return Boolean is
2969    begin
2970       pragma Assert (False
2971         or else NT (N).Nkind = N_Derived_Type_Definition
2972         or else NT (N).Nkind = N_Record_Definition);
2973       return Flag5 (N);
2974    end Task_Present;
2975
2976    function Then_Actions
2977       (N : Node_Id) return List_Id is
2978    begin
2979       pragma Assert (False
2980         or else NT (N).Nkind = N_Conditional_Expression);
2981       return List2 (N);
2982    end Then_Actions;
2983
2984    function Then_Statements
2985       (N : Node_Id) return List_Id is
2986    begin
2987       pragma Assert (False
2988         or else NT (N).Nkind = N_Elsif_Part
2989         or else NT (N).Nkind = N_If_Statement);
2990       return List2 (N);
2991    end Then_Statements;
2992
2993    function Treat_Fixed_As_Integer
2994       (N : Node_Id) return Boolean is
2995    begin
2996       pragma Assert (False
2997         or else NT (N).Nkind = N_Op_Divide
2998         or else NT (N).Nkind = N_Op_Mod
2999         or else NT (N).Nkind = N_Op_Multiply
3000         or else NT (N).Nkind = N_Op_Rem);
3001       return Flag14 (N);
3002    end Treat_Fixed_As_Integer;
3003
3004    function Triggering_Alternative
3005       (N : Node_Id) return Node_Id is
3006    begin
3007       pragma Assert (False
3008         or else NT (N).Nkind = N_Asynchronous_Select);
3009       return Node1 (N);
3010    end Triggering_Alternative;
3011
3012    function Triggering_Statement
3013       (N : Node_Id) return Node_Id is
3014    begin
3015       pragma Assert (False
3016         or else NT (N).Nkind = N_Triggering_Alternative);
3017       return Node1 (N);
3018    end Triggering_Statement;
3019
3020    function TSS_Elist
3021       (N : Node_Id) return Elist_Id is
3022    begin
3023       pragma Assert (False
3024         or else NT (N).Nkind = N_Freeze_Entity);
3025       return Elist3 (N);
3026    end TSS_Elist;
3027
3028    function Type_Definition
3029       (N : Node_Id) return Node_Id is
3030    begin
3031       pragma Assert (False
3032         or else NT (N).Nkind = N_Full_Type_Declaration);
3033       return Node3 (N);
3034    end Type_Definition;
3035
3036    function Unit
3037       (N : Node_Id) return Node_Id is
3038    begin
3039       pragma Assert (False
3040         or else NT (N).Nkind = N_Compilation_Unit);
3041       return Node2 (N);
3042    end Unit;
3043
3044    function Unknown_Discriminants_Present
3045       (N : Node_Id) return Boolean is
3046    begin
3047       pragma Assert (False
3048         or else NT (N).Nkind = N_Formal_Type_Declaration
3049         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3050         or else NT (N).Nkind = N_Private_Extension_Declaration
3051         or else NT (N).Nkind = N_Private_Type_Declaration);
3052       return Flag13 (N);
3053    end Unknown_Discriminants_Present;
3054
3055    function Unreferenced_In_Spec
3056       (N : Node_Id) return Boolean is
3057    begin
3058       pragma Assert (False
3059         or else NT (N).Nkind = N_With_Clause);
3060       return Flag7 (N);
3061    end Unreferenced_In_Spec;
3062
3063    function Variant_Part
3064       (N : Node_Id) return Node_Id is
3065    begin
3066       pragma Assert (False
3067         or else NT (N).Nkind = N_Component_List);
3068       return Node4 (N);
3069    end Variant_Part;
3070
3071    function Variants
3072       (N : Node_Id) return List_Id is
3073    begin
3074       pragma Assert (False
3075         or else NT (N).Nkind = N_Variant_Part);
3076       return List1 (N);
3077    end Variants;
3078
3079    function Visible_Declarations
3080       (N : Node_Id) return List_Id is
3081    begin
3082       pragma Assert (False
3083         or else NT (N).Nkind = N_Package_Specification
3084         or else NT (N).Nkind = N_Protected_Definition
3085         or else NT (N).Nkind = N_Task_Definition);
3086       return List2 (N);
3087    end Visible_Declarations;
3088
3089    function Used_Operations
3090      (N : Node_Id) return Elist_Id is
3091    begin
3092       pragma Assert (False
3093         or else NT (N).Nkind = N_Use_Type_Clause);
3094       return Elist5 (N);
3095    end Used_Operations;
3096
3097    function Was_Originally_Stub
3098       (N : Node_Id) return Boolean is
3099    begin
3100       pragma Assert (False
3101         or else NT (N).Nkind = N_Package_Body
3102         or else NT (N).Nkind = N_Protected_Body
3103         or else NT (N).Nkind = N_Subprogram_Body
3104         or else NT (N).Nkind = N_Task_Body);
3105       return Flag13 (N);
3106    end Was_Originally_Stub;
3107
3108    function Withed_Body
3109       (N : Node_Id) return Node_Id is
3110    begin
3111       pragma Assert (False
3112         or else NT (N).Nkind = N_With_Clause);
3113       return Node1 (N);
3114    end Withed_Body;
3115
3116    --------------------------
3117    -- Field Set Procedures --
3118    --------------------------
3119
3120    procedure Set_ABE_Is_Certain
3121       (N : Node_Id; Val : Boolean := True) is
3122    begin
3123       pragma Assert (False
3124         or else NT (N).Nkind = N_Formal_Package_Declaration
3125         or else NT (N).Nkind = N_Function_Call
3126         or else NT (N).Nkind = N_Function_Instantiation
3127         or else NT (N).Nkind = N_Package_Instantiation
3128         or else NT (N).Nkind = N_Procedure_Call_Statement
3129         or else NT (N).Nkind = N_Procedure_Instantiation);
3130       Set_Flag18 (N, Val);
3131    end Set_ABE_Is_Certain;
3132
3133    procedure Set_Abort_Present
3134       (N : Node_Id; Val : Boolean := True) is
3135    begin
3136       pragma Assert (False
3137         or else NT (N).Nkind = N_Requeue_Statement);
3138       Set_Flag15 (N, Val);
3139    end Set_Abort_Present;
3140
3141    procedure Set_Abortable_Part
3142       (N : Node_Id; Val : Node_Id) is
3143    begin
3144       pragma Assert (False
3145         or else NT (N).Nkind = N_Asynchronous_Select);
3146       Set_Node2_With_Parent (N, Val);
3147    end Set_Abortable_Part;
3148
3149    procedure Set_Abstract_Present
3150       (N : Node_Id; Val : Boolean := True) is
3151    begin
3152       pragma Assert (False
3153         or else NT (N).Nkind = N_Derived_Type_Definition
3154         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3155         or else NT (N).Nkind = N_Formal_Private_Type_Definition
3156         or else NT (N).Nkind = N_Private_Extension_Declaration
3157         or else NT (N).Nkind = N_Private_Type_Declaration
3158         or else NT (N).Nkind = N_Record_Definition);
3159       Set_Flag4 (N, Val);
3160    end Set_Abstract_Present;
3161
3162    procedure Set_Accept_Handler_Records
3163       (N : Node_Id; Val : List_Id) is
3164    begin
3165       pragma Assert (False
3166         or else NT (N).Nkind = N_Accept_Alternative);
3167       Set_List5 (N, Val); -- semantic field, no parent set
3168    end Set_Accept_Handler_Records;
3169
3170    procedure Set_Accept_Statement
3171       (N : Node_Id; Val : Node_Id) is
3172    begin
3173       pragma Assert (False
3174         or else NT (N).Nkind = N_Accept_Alternative);
3175       Set_Node2_With_Parent (N, Val);
3176    end Set_Accept_Statement;
3177
3178    procedure Set_Access_Definition
3179      (N : Node_Id; Val : Node_Id) is
3180    begin
3181       pragma Assert (False
3182         or else NT (N).Nkind = N_Component_Definition
3183         or else NT (N).Nkind = N_Formal_Object_Declaration
3184         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3185       Set_Node3_With_Parent (N, Val);
3186    end Set_Access_Definition;
3187
3188    procedure Set_Access_To_Subprogram_Definition
3189      (N : Node_Id; Val : Node_Id) is
3190    begin
3191       pragma Assert (False
3192         or else NT (N).Nkind = N_Access_Definition);
3193       Set_Node3_With_Parent (N, Val);
3194    end Set_Access_To_Subprogram_Definition;
3195
3196    procedure Set_Access_Types_To_Process
3197       (N : Node_Id; Val : Elist_Id) is
3198    begin
3199       pragma Assert (False
3200         or else NT (N).Nkind = N_Freeze_Entity);
3201       Set_Elist2 (N, Val); -- semantic field, no parent set
3202    end Set_Access_Types_To_Process;
3203
3204    procedure Set_Actions
3205       (N : Node_Id; Val : List_Id) is
3206    begin
3207       pragma Assert (False
3208         or else NT (N).Nkind = N_And_Then
3209         or else NT (N).Nkind = N_Case_Expression_Alternative
3210         or else NT (N).Nkind = N_Compilation_Unit_Aux
3211         or else NT (N).Nkind = N_Expression_With_Actions
3212         or else NT (N).Nkind = N_Freeze_Entity
3213         or else NT (N).Nkind = N_Or_Else);
3214       Set_List1_With_Parent (N, Val);
3215    end Set_Actions;
3216
3217    procedure Set_Activation_Chain_Entity
3218       (N : Node_Id; Val : Node_Id) is
3219    begin
3220       pragma Assert (False
3221         or else NT (N).Nkind = N_Block_Statement
3222         or else NT (N).Nkind = N_Entry_Body
3223         or else NT (N).Nkind = N_Generic_Package_Declaration
3224         or else NT (N).Nkind = N_Package_Declaration
3225         or else NT (N).Nkind = N_Subprogram_Body
3226         or else NT (N).Nkind = N_Task_Body);
3227       Set_Node3 (N, Val); -- semantic field, no parent set
3228    end Set_Activation_Chain_Entity;
3229
3230    procedure Set_Acts_As_Spec
3231       (N : Node_Id; Val : Boolean := True) is
3232    begin
3233       pragma Assert (False
3234         or else NT (N).Nkind = N_Compilation_Unit
3235         or else NT (N).Nkind = N_Subprogram_Body);
3236       Set_Flag4 (N, Val);
3237    end Set_Acts_As_Spec;
3238
3239    procedure Set_Actual_Designated_Subtype
3240      (N : Node_Id; Val : Node_Id) is
3241    begin
3242       pragma Assert (False
3243         or else NT (N).Nkind = N_Explicit_Dereference
3244         or else NT (N).Nkind = N_Free_Statement);
3245       Set_Node4 (N, Val);
3246    end Set_Actual_Designated_Subtype;
3247
3248    procedure Set_Address_Warning_Posted
3249       (N : Node_Id; Val : Boolean := True) is
3250    begin
3251       pragma Assert (False
3252         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3253       Set_Flag18 (N, Val);
3254    end Set_Address_Warning_Posted;
3255
3256    procedure Set_Aggregate_Bounds
3257       (N : Node_Id; Val : Node_Id) is
3258    begin
3259       pragma Assert (False
3260         or else NT (N).Nkind = N_Aggregate);
3261       Set_Node3 (N, Val); -- semantic field, no parent set
3262    end Set_Aggregate_Bounds;
3263
3264    procedure Set_Aliased_Present
3265       (N : Node_Id; Val : Boolean := True) is
3266    begin
3267       pragma Assert (False
3268         or else NT (N).Nkind = N_Component_Definition
3269         or else NT (N).Nkind = N_Object_Declaration
3270         or else NT (N).Nkind = N_Parameter_Specification);
3271       Set_Flag4 (N, Val);
3272    end Set_Aliased_Present;
3273
3274    procedure Set_All_Others
3275       (N : Node_Id; Val : Boolean := True) is
3276    begin
3277       pragma Assert (False
3278         or else NT (N).Nkind = N_Others_Choice);
3279       Set_Flag11 (N, Val);
3280    end Set_All_Others;
3281
3282    procedure Set_All_Present
3283       (N : Node_Id; Val : Boolean := True) is
3284    begin
3285       pragma Assert (False
3286         or else NT (N).Nkind = N_Access_Definition
3287         or else NT (N).Nkind = N_Access_To_Object_Definition
3288         or else NT (N).Nkind = N_Quantified_Expression
3289         or else NT (N).Nkind = N_Use_Type_Clause);
3290       Set_Flag15 (N, Val);
3291    end Set_All_Present;
3292
3293    procedure Set_Alternatives
3294       (N : Node_Id; Val : List_Id) is
3295    begin
3296       pragma Assert (False
3297         or else NT (N).Nkind = N_Case_Expression
3298         or else NT (N).Nkind = N_Case_Statement
3299         or else NT (N).Nkind = N_In
3300         or else NT (N).Nkind = N_Not_In);
3301       Set_List4_With_Parent (N, Val);
3302    end Set_Alternatives;
3303
3304    procedure Set_Ancestor_Part
3305       (N : Node_Id; Val : Node_Id) is
3306    begin
3307       pragma Assert (False
3308         or else NT (N).Nkind = N_Extension_Aggregate);
3309       Set_Node3_With_Parent (N, Val);
3310    end Set_Ancestor_Part;
3311
3312    procedure Set_Array_Aggregate
3313       (N : Node_Id; Val : Node_Id) is
3314    begin
3315       pragma Assert (False
3316         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3317       Set_Node3_With_Parent (N, Val);
3318    end Set_Array_Aggregate;
3319
3320    procedure Set_Aspect_Rep_Item
3321       (N : Node_Id; Val : Node_Id) is
3322    begin
3323       pragma Assert (False
3324         or else NT (N).Nkind = N_Aspect_Specification);
3325       Set_Node2 (N, Val);
3326    end Set_Aspect_Rep_Item;
3327
3328    procedure Set_Assignment_OK
3329       (N : Node_Id; Val : Boolean := True) is
3330    begin
3331       pragma Assert (False
3332         or else NT (N).Nkind = N_Object_Declaration
3333         or else NT (N).Nkind in N_Subexpr);
3334       Set_Flag15 (N, Val);
3335    end Set_Assignment_OK;
3336
3337    procedure Set_Associated_Node
3338       (N : Node_Id; Val : Node_Id) is
3339    begin
3340       pragma Assert (False
3341         or else NT (N).Nkind in N_Has_Entity
3342         or else NT (N).Nkind = N_Aggregate
3343         or else NT (N).Nkind = N_Extension_Aggregate
3344         or else NT (N).Nkind = N_Selected_Component);
3345       Set_Node4 (N, Val); -- semantic field, no parent set
3346    end Set_Associated_Node;
3347
3348    procedure Set_At_End_Proc
3349       (N : Node_Id; Val : Node_Id) is
3350    begin
3351       pragma Assert (False
3352         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3353       Set_Node1 (N, Val);
3354    end Set_At_End_Proc;
3355
3356    procedure Set_Attribute_Name
3357       (N : Node_Id; Val : Name_Id) is
3358    begin
3359       pragma Assert (False
3360         or else NT (N).Nkind = N_Attribute_Reference);
3361       Set_Name2 (N, Val);
3362    end Set_Attribute_Name;
3363
3364    procedure Set_Aux_Decls_Node
3365       (N : Node_Id; Val : Node_Id) is
3366    begin
3367       pragma Assert (False
3368         or else NT (N).Nkind = N_Compilation_Unit);
3369       Set_Node5_With_Parent (N, Val);
3370    end Set_Aux_Decls_Node;
3371
3372    procedure Set_Backwards_OK
3373       (N : Node_Id; Val : Boolean := True) is
3374    begin
3375       pragma Assert (False
3376         or else NT (N).Nkind = N_Assignment_Statement);
3377       Set_Flag6 (N, Val);
3378    end Set_Backwards_OK;
3379
3380    procedure Set_Bad_Is_Detected
3381       (N : Node_Id; Val : Boolean := True) is
3382    begin
3383       pragma Assert (False
3384         or else NT (N).Nkind = N_Subprogram_Body);
3385       Set_Flag15 (N, Val);
3386    end Set_Bad_Is_Detected;
3387
3388    procedure Set_Body_Required
3389       (N : Node_Id; Val : Boolean := True) is
3390    begin
3391       pragma Assert (False
3392         or else NT (N).Nkind = N_Compilation_Unit);
3393       Set_Flag13 (N, Val);
3394    end Set_Body_Required;
3395
3396    procedure Set_Body_To_Inline
3397       (N : Node_Id; Val : Node_Id) is
3398    begin
3399       pragma Assert (False
3400         or else NT (N).Nkind = N_Subprogram_Declaration);
3401       Set_Node3 (N, Val);
3402    end Set_Body_To_Inline;
3403
3404    procedure Set_Box_Present
3405       (N : Node_Id; Val : Boolean := True) is
3406    begin
3407       pragma Assert (False
3408         or else NT (N).Nkind = N_Component_Association
3409         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3410         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3411         or else NT (N).Nkind = N_Formal_Package_Declaration
3412         or else NT (N).Nkind = N_Generic_Association);
3413       Set_Flag15 (N, Val);
3414    end Set_Box_Present;
3415
3416    procedure Set_By_Ref
3417       (N : Node_Id; Val : Boolean := True) is
3418    begin
3419       pragma Assert (False
3420         or else NT (N).Nkind = N_Extended_Return_Statement
3421         or else NT (N).Nkind = N_Return_Statement);
3422       Set_Flag5 (N, Val);
3423    end Set_By_Ref;
3424
3425    procedure Set_Char_Literal_Value
3426       (N : Node_Id; Val : Uint) is
3427    begin
3428       pragma Assert (False
3429         or else NT (N).Nkind = N_Character_Literal);
3430       Set_Uint2 (N, Val);
3431    end Set_Char_Literal_Value;
3432
3433    procedure Set_Chars
3434       (N : Node_Id; Val : Name_Id) is
3435    begin
3436       pragma Assert (False
3437         or else NT (N).Nkind in N_Has_Chars);
3438       Set_Name1 (N, Val);
3439    end Set_Chars;
3440
3441    procedure Set_Check_Address_Alignment
3442       (N : Node_Id; Val : Boolean := True) is
3443    begin
3444       pragma Assert (False
3445           or else NT (N).Nkind = N_Attribute_Definition_Clause);
3446       Set_Flag11 (N, Val);
3447    end Set_Check_Address_Alignment;
3448
3449    procedure Set_Choice_Parameter
3450       (N : Node_Id; Val : Node_Id) is
3451    begin
3452       pragma Assert (False
3453         or else NT (N).Nkind = N_Exception_Handler);
3454       Set_Node2_With_Parent (N, Val);
3455    end Set_Choice_Parameter;
3456
3457    procedure Set_Choices
3458       (N : Node_Id; Val : List_Id) is
3459    begin
3460       pragma Assert (False
3461         or else NT (N).Nkind = N_Component_Association);
3462       Set_List1_With_Parent (N, Val);
3463    end Set_Choices;
3464
3465    procedure Set_Class_Present
3466       (N : Node_Id; Val : Boolean := True) is
3467    begin
3468       pragma Assert (False
3469         or else NT (N).Nkind = N_Aspect_Specification
3470         or else NT (N).Nkind = N_Pragma);
3471       Set_Flag6 (N, Val);
3472    end Set_Class_Present;
3473
3474    procedure Set_Comes_From_Extended_Return_Statement
3475      (N : Node_Id; Val : Boolean := True) is
3476    begin
3477       pragma Assert (False
3478         or else NT (N).Nkind = N_Return_Statement);
3479       Set_Flag18 (N, Val);
3480    end Set_Comes_From_Extended_Return_Statement;
3481
3482    procedure Set_Compile_Time_Known_Aggregate
3483       (N : Node_Id; Val : Boolean := True) is
3484    begin
3485       pragma Assert (False
3486         or else NT (N).Nkind = N_Aggregate);
3487       Set_Flag18 (N, Val);
3488    end Set_Compile_Time_Known_Aggregate;
3489
3490    procedure Set_Component_Associations
3491       (N : Node_Id; Val : List_Id) is
3492    begin
3493       pragma Assert (False
3494         or else NT (N).Nkind = N_Aggregate
3495         or else NT (N).Nkind = N_Extension_Aggregate);
3496       Set_List2_With_Parent (N, Val);
3497    end Set_Component_Associations;
3498
3499    procedure Set_Component_Clauses
3500       (N : Node_Id; Val : List_Id) is
3501    begin
3502       pragma Assert (False
3503         or else NT (N).Nkind = N_Record_Representation_Clause);
3504       Set_List3_With_Parent (N, Val);
3505    end Set_Component_Clauses;
3506
3507    procedure Set_Component_Definition
3508       (N : Node_Id; Val : Node_Id) is
3509    begin
3510       pragma Assert (False
3511         or else NT (N).Nkind = N_Component_Declaration
3512         or else NT (N).Nkind = N_Constrained_Array_Definition
3513         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3514       Set_Node4_With_Parent (N, Val);
3515    end Set_Component_Definition;
3516
3517    procedure Set_Component_Items
3518       (N : Node_Id; Val : List_Id) is
3519    begin
3520       pragma Assert (False
3521         or else NT (N).Nkind = N_Component_List);
3522       Set_List3_With_Parent (N, Val);
3523    end Set_Component_Items;
3524
3525    procedure Set_Component_List
3526       (N : Node_Id; Val : Node_Id) is
3527    begin
3528       pragma Assert (False
3529         or else NT (N).Nkind = N_Record_Definition
3530         or else NT (N).Nkind = N_Variant);
3531       Set_Node1_With_Parent (N, Val);
3532    end Set_Component_List;
3533
3534    procedure Set_Component_Name
3535       (N : Node_Id; Val : Node_Id) is
3536    begin
3537       pragma Assert (False
3538         or else NT (N).Nkind = N_Component_Clause);
3539       Set_Node1_With_Parent (N, Val);
3540    end Set_Component_Name;
3541
3542    procedure Set_Componentwise_Assignment
3543       (N : Node_Id; Val : Boolean := True) is
3544    begin
3545       pragma Assert (False
3546         or else NT (N).Nkind = N_Assignment_Statement);
3547       Set_Flag14 (N, Val);
3548    end Set_Componentwise_Assignment;
3549
3550    procedure Set_Condition
3551       (N : Node_Id; Val : Node_Id) is
3552    begin
3553       pragma Assert (False
3554         or else NT (N).Nkind = N_Accept_Alternative
3555         or else NT (N).Nkind = N_Delay_Alternative
3556         or else NT (N).Nkind = N_Elsif_Part
3557         or else NT (N).Nkind = N_Entry_Body_Formal_Part
3558         or else NT (N).Nkind = N_Exit_Statement
3559         or else NT (N).Nkind = N_If_Statement
3560         or else NT (N).Nkind = N_Iteration_Scheme
3561         or else NT (N).Nkind = N_Quantified_Expression
3562         or else NT (N).Nkind = N_Raise_Constraint_Error
3563         or else NT (N).Nkind = N_Raise_Program_Error
3564         or else NT (N).Nkind = N_Raise_Storage_Error
3565         or else NT (N).Nkind = N_Terminate_Alternative);
3566       Set_Node1_With_Parent (N, Val);
3567    end Set_Condition;
3568
3569    procedure Set_Condition_Actions
3570       (N : Node_Id; Val : List_Id) is
3571    begin
3572       pragma Assert (False
3573         or else NT (N).Nkind = N_Elsif_Part
3574         or else NT (N).Nkind = N_Iteration_Scheme);
3575       Set_List3 (N, Val); -- semantic field, no parent set
3576    end Set_Condition_Actions;
3577
3578    procedure Set_Config_Pragmas
3579       (N : Node_Id; Val : List_Id) is
3580    begin
3581       pragma Assert (False
3582         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3583       Set_List4_With_Parent (N, Val);
3584    end Set_Config_Pragmas;
3585
3586    procedure Set_Constant_Present
3587       (N : Node_Id; Val : Boolean := True) is
3588    begin
3589       pragma Assert (False
3590         or else NT (N).Nkind = N_Access_Definition
3591         or else NT (N).Nkind = N_Access_To_Object_Definition
3592         or else NT (N).Nkind = N_Object_Declaration);
3593       Set_Flag17 (N, Val);
3594    end Set_Constant_Present;
3595
3596    procedure Set_Constraint
3597       (N : Node_Id; Val : Node_Id) is
3598    begin
3599       pragma Assert (False
3600         or else NT (N).Nkind = N_Subtype_Indication);
3601       Set_Node3_With_Parent (N, Val);
3602    end Set_Constraint;
3603
3604    procedure Set_Constraints
3605       (N : Node_Id; Val : List_Id) is
3606    begin
3607       pragma Assert (False
3608         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3609       Set_List1_With_Parent (N, Val);
3610    end Set_Constraints;
3611
3612    procedure Set_Context_Installed
3613       (N : Node_Id; Val : Boolean := True) is
3614    begin
3615       pragma Assert (False
3616         or else NT (N).Nkind = N_With_Clause);
3617       Set_Flag13 (N, Val);
3618    end Set_Context_Installed;
3619
3620    procedure Set_Context_Items
3621       (N : Node_Id; Val : List_Id) is
3622    begin
3623       pragma Assert (False
3624         or else NT (N).Nkind = N_Compilation_Unit);
3625       Set_List1_With_Parent (N, Val);
3626    end Set_Context_Items;
3627
3628    procedure Set_Context_Pending
3629       (N : Node_Id; Val : Boolean := True) is
3630    begin
3631       pragma Assert (False
3632         or else NT (N).Nkind = N_Compilation_Unit);
3633       Set_Flag16 (N, Val);
3634    end Set_Context_Pending;
3635
3636    procedure Set_Controlling_Argument
3637       (N : Node_Id; Val : Node_Id) is
3638    begin
3639       pragma Assert (False
3640         or else NT (N).Nkind = N_Function_Call
3641         or else NT (N).Nkind = N_Procedure_Call_Statement);
3642       Set_Node1 (N, Val); -- semantic field, no parent set
3643    end Set_Controlling_Argument;
3644
3645    procedure Set_Conversion_OK
3646       (N : Node_Id; Val : Boolean := True) is
3647    begin
3648       pragma Assert (False
3649         or else NT (N).Nkind = N_Type_Conversion);
3650       Set_Flag14 (N, Val);
3651    end Set_Conversion_OK;
3652
3653    procedure Set_Corresponding_Aspect
3654       (N : Node_Id; Val : Node_Id) is
3655    begin
3656       pragma Assert (False
3657         or else NT (N).Nkind = N_Pragma);
3658       Set_Node3 (N, Val);
3659    end Set_Corresponding_Aspect;
3660
3661    procedure Set_Corresponding_Body
3662       (N : Node_Id; Val : Node_Id) is
3663    begin
3664       pragma Assert (False
3665         or else NT (N).Nkind = N_Entry_Declaration
3666         or else NT (N).Nkind = N_Generic_Package_Declaration
3667         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3668         or else NT (N).Nkind = N_Package_Body_Stub
3669         or else NT (N).Nkind = N_Package_Declaration
3670         or else NT (N).Nkind = N_Protected_Body_Stub
3671         or else NT (N).Nkind = N_Protected_Type_Declaration
3672         or else NT (N).Nkind = N_Subprogram_Body_Stub
3673         or else NT (N).Nkind = N_Subprogram_Declaration
3674         or else NT (N).Nkind = N_Task_Body_Stub
3675         or else NT (N).Nkind = N_Task_Type_Declaration);
3676       Set_Node5 (N, Val); -- semantic field, no parent set
3677    end Set_Corresponding_Body;
3678
3679    procedure Set_Corresponding_Formal_Spec
3680       (N : Node_Id; Val : Node_Id) is
3681    begin
3682       pragma Assert (False
3683         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3684       Set_Node3 (N, Val); -- semantic field, no parent set
3685    end Set_Corresponding_Formal_Spec;
3686
3687    procedure Set_Corresponding_Generic_Association
3688       (N : Node_Id; Val : Node_Id) is
3689    begin
3690       pragma Assert (False
3691         or else NT (N).Nkind = N_Object_Declaration
3692         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3693       Set_Node5 (N, Val); -- semantic field, no parent set
3694    end Set_Corresponding_Generic_Association;
3695
3696    procedure Set_Corresponding_Integer_Value
3697       (N : Node_Id; Val : Uint) is
3698    begin
3699       pragma Assert (False
3700         or else NT (N).Nkind = N_Real_Literal);
3701       Set_Uint4 (N, Val); -- semantic field, no parent set
3702    end Set_Corresponding_Integer_Value;
3703
3704    procedure Set_Corresponding_Spec
3705       (N : Node_Id; Val : Node_Id) is
3706    begin
3707       pragma Assert (False
3708         or else NT (N).Nkind = N_Package_Body
3709         or else NT (N).Nkind = N_Protected_Body
3710         or else NT (N).Nkind = N_Subprogram_Body
3711         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3712         or else NT (N).Nkind = N_Task_Body
3713         or else NT (N).Nkind = N_With_Clause);
3714       Set_Node5 (N, Val); -- semantic field, no parent set
3715    end Set_Corresponding_Spec;
3716
3717    procedure Set_Corresponding_Stub
3718       (N : Node_Id; Val : Node_Id) is
3719    begin
3720       pragma Assert (False
3721         or else NT (N).Nkind = N_Subunit);
3722       Set_Node3 (N, Val);
3723    end Set_Corresponding_Stub;
3724
3725    procedure Set_Dcheck_Function
3726       (N : Node_Id; Val : Entity_Id) is
3727    begin
3728       pragma Assert (False
3729         or else NT (N).Nkind = N_Variant);
3730       Set_Node5 (N, Val); -- semantic field, no parent set
3731    end Set_Dcheck_Function;
3732
3733    procedure Set_Declarations
3734       (N : Node_Id; Val : List_Id) is
3735    begin
3736       pragma Assert (False
3737         or else NT (N).Nkind = N_Accept_Statement
3738         or else NT (N).Nkind = N_Block_Statement
3739         or else NT (N).Nkind = N_Compilation_Unit_Aux
3740         or else NT (N).Nkind = N_Entry_Body
3741         or else NT (N).Nkind = N_Package_Body
3742         or else NT (N).Nkind = N_Protected_Body
3743         or else NT (N).Nkind = N_Subprogram_Body
3744         or else NT (N).Nkind = N_Task_Body);
3745       Set_List2_With_Parent (N, Val);
3746    end Set_Declarations;
3747
3748    procedure Set_Default_Expression
3749       (N : Node_Id; Val : Node_Id) is
3750    begin
3751       pragma Assert (False
3752         or else NT (N).Nkind = N_Formal_Object_Declaration
3753         or else NT (N).Nkind = N_Parameter_Specification);
3754       Set_Node5 (N, Val); -- semantic field, no parent set
3755    end Set_Default_Expression;
3756
3757    procedure Set_Default_Storage_Pool
3758       (N : Node_Id; Val : Node_Id) is
3759    begin
3760       pragma Assert (False
3761         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3762       Set_Node3 (N, Val); -- semantic field, no parent set
3763    end Set_Default_Storage_Pool;
3764
3765    procedure Set_Default_Name
3766       (N : Node_Id; Val : Node_Id) is
3767    begin
3768       pragma Assert (False
3769         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3770         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3771       Set_Node2_With_Parent (N, Val);
3772    end Set_Default_Name;
3773
3774    procedure Set_Defining_Identifier
3775       (N : Node_Id; Val : Entity_Id) is
3776    begin
3777       pragma Assert (False
3778         or else NT (N).Nkind = N_Component_Declaration
3779         or else NT (N).Nkind = N_Defining_Program_Unit_Name
3780         or else NT (N).Nkind = N_Discriminant_Specification
3781         or else NT (N).Nkind = N_Entry_Body
3782         or else NT (N).Nkind = N_Entry_Declaration
3783         or else NT (N).Nkind = N_Entry_Index_Specification
3784         or else NT (N).Nkind = N_Exception_Declaration
3785         or else NT (N).Nkind = N_Exception_Renaming_Declaration
3786         or else NT (N).Nkind = N_Formal_Object_Declaration
3787         or else NT (N).Nkind = N_Formal_Package_Declaration
3788         or else NT (N).Nkind = N_Formal_Type_Declaration
3789         or else NT (N).Nkind = N_Full_Type_Declaration
3790         or else NT (N).Nkind = N_Implicit_Label_Declaration
3791         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3792         or else NT (N).Nkind = N_Iterator_Specification
3793         or else NT (N).Nkind = N_Loop_Parameter_Specification
3794         or else NT (N).Nkind = N_Number_Declaration
3795         or else NT (N).Nkind = N_Object_Declaration
3796         or else NT (N).Nkind = N_Object_Renaming_Declaration
3797         or else NT (N).Nkind = N_Package_Body_Stub
3798         or else NT (N).Nkind = N_Parameter_Specification
3799         or else NT (N).Nkind = N_Private_Extension_Declaration
3800         or else NT (N).Nkind = N_Private_Type_Declaration
3801         or else NT (N).Nkind = N_Protected_Body
3802         or else NT (N).Nkind = N_Protected_Body_Stub
3803         or else NT (N).Nkind = N_Protected_Type_Declaration
3804         or else NT (N).Nkind = N_Single_Protected_Declaration
3805         or else NT (N).Nkind = N_Single_Task_Declaration
3806         or else NT (N).Nkind = N_Subtype_Declaration
3807         or else NT (N).Nkind = N_Task_Body
3808         or else NT (N).Nkind = N_Task_Body_Stub
3809         or else NT (N).Nkind = N_Task_Type_Declaration);
3810       Set_Node1_With_Parent (N, Val);
3811    end Set_Defining_Identifier;
3812
3813    procedure Set_Defining_Unit_Name
3814       (N : Node_Id; Val : Node_Id) is
3815    begin
3816       pragma Assert (False
3817         or else NT (N).Nkind = N_Function_Instantiation
3818         or else NT (N).Nkind = N_Function_Specification
3819         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3820         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3821         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3822         or else NT (N).Nkind = N_Package_Body
3823         or else NT (N).Nkind = N_Package_Instantiation
3824         or else NT (N).Nkind = N_Package_Renaming_Declaration
3825         or else NT (N).Nkind = N_Package_Specification
3826         or else NT (N).Nkind = N_Procedure_Instantiation
3827         or else NT (N).Nkind = N_Procedure_Specification);
3828       Set_Node1_With_Parent (N, Val);
3829    end Set_Defining_Unit_Name;
3830
3831    procedure Set_Delay_Alternative
3832       (N : Node_Id; Val : Node_Id) is
3833    begin
3834       pragma Assert (False
3835         or else NT (N).Nkind = N_Timed_Entry_Call);
3836       Set_Node4_With_Parent (N, Val);
3837    end Set_Delay_Alternative;
3838
3839    procedure Set_Delay_Statement
3840       (N : Node_Id; Val : Node_Id) is
3841    begin
3842       pragma Assert (False
3843         or else NT (N).Nkind = N_Delay_Alternative);
3844       Set_Node2_With_Parent (N, Val);
3845    end Set_Delay_Statement;
3846
3847    procedure Set_Delta_Expression
3848       (N : Node_Id; Val : Node_Id) is
3849    begin
3850       pragma Assert (False
3851         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3852         or else NT (N).Nkind = N_Delta_Constraint
3853         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3854       Set_Node3_With_Parent (N, Val);
3855    end Set_Delta_Expression;
3856
3857    procedure Set_Digits_Expression
3858       (N : Node_Id; Val : Node_Id) is
3859    begin
3860       pragma Assert (False
3861         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3862         or else NT (N).Nkind = N_Digits_Constraint
3863         or else NT (N).Nkind = N_Floating_Point_Definition);
3864       Set_Node2_With_Parent (N, Val);
3865    end Set_Digits_Expression;
3866
3867    procedure Set_Discr_Check_Funcs_Built
3868       (N : Node_Id; Val : Boolean := True) is
3869    begin
3870       pragma Assert (False
3871         or else NT (N).Nkind = N_Full_Type_Declaration);
3872       Set_Flag11 (N, Val);
3873    end Set_Discr_Check_Funcs_Built;
3874
3875    procedure Set_Discrete_Choices
3876       (N : Node_Id; Val : List_Id) is
3877    begin
3878       pragma Assert (False
3879         or else NT (N).Nkind = N_Case_Expression_Alternative
3880         or else NT (N).Nkind = N_Case_Statement_Alternative
3881         or else NT (N).Nkind = N_Variant);
3882       Set_List4_With_Parent (N, Val);
3883    end Set_Discrete_Choices;
3884
3885    procedure Set_Discrete_Range
3886       (N : Node_Id; Val : Node_Id) is
3887    begin
3888       pragma Assert (False
3889         or else NT (N).Nkind = N_Slice);
3890       Set_Node4_With_Parent (N, Val);
3891    end Set_Discrete_Range;
3892
3893    procedure Set_Discrete_Subtype_Definition
3894       (N : Node_Id; Val : Node_Id) is
3895    begin
3896       pragma Assert (False
3897         or else NT (N).Nkind = N_Entry_Declaration
3898         or else NT (N).Nkind = N_Entry_Index_Specification
3899         or else NT (N).Nkind = N_Loop_Parameter_Specification);
3900       Set_Node4_With_Parent (N, Val);
3901    end Set_Discrete_Subtype_Definition;
3902
3903    procedure Set_Discrete_Subtype_Definitions
3904       (N : Node_Id; Val : List_Id) is
3905    begin
3906       pragma Assert (False
3907         or else NT (N).Nkind = N_Constrained_Array_Definition);
3908       Set_List2_With_Parent (N, Val);
3909    end Set_Discrete_Subtype_Definitions;
3910
3911    procedure Set_Discriminant_Specifications
3912       (N : Node_Id; Val : List_Id) is
3913    begin
3914       pragma Assert (False
3915         or else NT (N).Nkind = N_Formal_Type_Declaration
3916         or else NT (N).Nkind = N_Full_Type_Declaration
3917         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3918         or else NT (N).Nkind = N_Private_Extension_Declaration
3919         or else NT (N).Nkind = N_Private_Type_Declaration
3920         or else NT (N).Nkind = N_Protected_Type_Declaration
3921         or else NT (N).Nkind = N_Task_Type_Declaration);
3922       Set_List4_With_Parent (N, Val);
3923    end Set_Discriminant_Specifications;
3924
3925    procedure Set_Discriminant_Type
3926       (N : Node_Id; Val : Node_Id) is
3927    begin
3928       pragma Assert (False
3929         or else NT (N).Nkind = N_Discriminant_Specification);
3930       Set_Node5_With_Parent (N, Val);
3931    end Set_Discriminant_Type;
3932
3933    procedure Set_Do_Accessibility_Check
3934       (N : Node_Id; Val : Boolean := True) is
3935    begin
3936       pragma Assert (False
3937         or else NT (N).Nkind = N_Parameter_Specification);
3938       Set_Flag13 (N, Val);
3939    end Set_Do_Accessibility_Check;
3940
3941    procedure Set_Do_Discriminant_Check
3942       (N : Node_Id; Val : Boolean := True) is
3943    begin
3944       pragma Assert (False
3945         or else NT (N).Nkind = N_Selected_Component);
3946       Set_Flag13 (N, Val);
3947    end Set_Do_Discriminant_Check;
3948
3949    procedure Set_Do_Division_Check
3950       (N : Node_Id; Val : Boolean := True) is
3951    begin
3952       pragma Assert (False
3953         or else NT (N).Nkind = N_Op_Divide
3954         or else NT (N).Nkind = N_Op_Mod
3955         or else NT (N).Nkind = N_Op_Rem);
3956       Set_Flag13 (N, Val);
3957    end Set_Do_Division_Check;
3958
3959    procedure Set_Do_Length_Check
3960       (N : Node_Id; Val : Boolean := True) is
3961    begin
3962       pragma Assert (False
3963         or else NT (N).Nkind = N_Assignment_Statement
3964         or else NT (N).Nkind = N_Op_And
3965         or else NT (N).Nkind = N_Op_Or
3966         or else NT (N).Nkind = N_Op_Xor
3967         or else NT (N).Nkind = N_Type_Conversion);
3968       Set_Flag4 (N, Val);
3969    end Set_Do_Length_Check;
3970
3971    procedure Set_Do_Overflow_Check
3972       (N : Node_Id; Val : Boolean := True) is
3973    begin
3974       pragma Assert (False
3975         or else NT (N).Nkind in N_Op
3976         or else NT (N).Nkind = N_Attribute_Reference
3977         or else NT (N).Nkind = N_Type_Conversion);
3978       Set_Flag17 (N, Val);
3979    end Set_Do_Overflow_Check;
3980
3981    procedure Set_Do_Range_Check
3982       (N : Node_Id; Val : Boolean := True) is
3983    begin
3984       pragma Assert (False
3985         or else NT (N).Nkind in N_Subexpr);
3986       Set_Flag9 (N, Val);
3987    end Set_Do_Range_Check;
3988
3989    procedure Set_Do_Storage_Check
3990       (N : Node_Id; Val : Boolean := True) is
3991    begin
3992       pragma Assert (False
3993         or else NT (N).Nkind = N_Allocator
3994         or else NT (N).Nkind = N_Subprogram_Body);
3995       Set_Flag17 (N, Val);
3996    end Set_Do_Storage_Check;
3997
3998    procedure Set_Do_Tag_Check
3999       (N : Node_Id; Val : Boolean := True) is
4000    begin
4001       pragma Assert (False
4002         or else NT (N).Nkind = N_Assignment_Statement
4003         or else NT (N).Nkind = N_Extended_Return_Statement
4004         or else NT (N).Nkind = N_Function_Call
4005         or else NT (N).Nkind = N_Procedure_Call_Statement
4006         or else NT (N).Nkind = N_Return_Statement
4007         or else NT (N).Nkind = N_Type_Conversion);
4008       Set_Flag13 (N, Val);
4009    end Set_Do_Tag_Check;
4010
4011    procedure Set_Elaborate_All_Desirable
4012       (N : Node_Id; Val : Boolean := True) is
4013    begin
4014       pragma Assert (False
4015         or else NT (N).Nkind = N_With_Clause);
4016       Set_Flag9 (N, Val);
4017    end Set_Elaborate_All_Desirable;
4018
4019    procedure Set_Elaborate_All_Present
4020       (N : Node_Id; Val : Boolean := True) is
4021    begin
4022       pragma Assert (False
4023         or else NT (N).Nkind = N_With_Clause);
4024       Set_Flag14 (N, Val);
4025    end Set_Elaborate_All_Present;
4026
4027    procedure Set_Elaborate_Desirable
4028       (N : Node_Id; Val : Boolean := True) is
4029    begin
4030       pragma Assert (False
4031         or else NT (N).Nkind = N_With_Clause);
4032       Set_Flag11 (N, Val);
4033    end Set_Elaborate_Desirable;
4034
4035    procedure Set_Elaborate_Present
4036       (N : Node_Id; Val : Boolean := True) is
4037    begin
4038       pragma Assert (False
4039         or else NT (N).Nkind = N_With_Clause);
4040       Set_Flag4 (N, Val);
4041    end Set_Elaborate_Present;
4042
4043    procedure Set_Elaboration_Boolean
4044       (N : Node_Id; Val : Node_Id) is
4045    begin
4046       pragma Assert (False
4047         or else NT (N).Nkind = N_Function_Specification
4048         or else NT (N).Nkind = N_Procedure_Specification);
4049       Set_Node2 (N, Val);
4050    end Set_Elaboration_Boolean;
4051
4052    procedure Set_Else_Actions
4053       (N : Node_Id; Val : List_Id) is
4054    begin
4055       pragma Assert (False
4056         or else NT (N).Nkind = N_Conditional_Expression);
4057       Set_List3 (N, Val); -- semantic field, no parent set
4058    end Set_Else_Actions;
4059
4060    procedure Set_Else_Statements
4061       (N : Node_Id; Val : List_Id) is
4062    begin
4063       pragma Assert (False
4064         or else NT (N).Nkind = N_Conditional_Entry_Call
4065         or else NT (N).Nkind = N_If_Statement
4066         or else NT (N).Nkind = N_Selective_Accept);
4067       Set_List4_With_Parent (N, Val);
4068    end Set_Else_Statements;
4069
4070    procedure Set_Elsif_Parts
4071       (N : Node_Id; Val : List_Id) is
4072    begin
4073       pragma Assert (False
4074         or else NT (N).Nkind = N_If_Statement);
4075       Set_List3_With_Parent (N, Val);
4076    end Set_Elsif_Parts;
4077
4078    procedure Set_Enclosing_Variant
4079       (N : Node_Id; Val : Node_Id) is
4080    begin
4081       pragma Assert (False
4082         or else NT (N).Nkind = N_Variant);
4083       Set_Node2 (N, Val); -- semantic field, no parent set
4084    end Set_Enclosing_Variant;
4085
4086    procedure Set_End_Label
4087       (N : Node_Id; Val : Node_Id) is
4088    begin
4089       pragma Assert (False
4090         or else NT (N).Nkind = N_Enumeration_Type_Definition
4091         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4092         or else NT (N).Nkind = N_Loop_Statement
4093         or else NT (N).Nkind = N_Package_Specification
4094         or else NT (N).Nkind = N_Protected_Body
4095         or else NT (N).Nkind = N_Protected_Definition
4096         or else NT (N).Nkind = N_Record_Definition
4097         or else NT (N).Nkind = N_Task_Definition);
4098       Set_Node4_With_Parent (N, Val);
4099    end Set_End_Label;
4100
4101    procedure Set_End_Span
4102       (N : Node_Id; Val : Uint) is
4103    begin
4104       pragma Assert (False
4105         or else NT (N).Nkind = N_Case_Statement
4106         or else NT (N).Nkind = N_If_Statement);
4107       Set_Uint5 (N, Val);
4108    end Set_End_Span;
4109
4110    procedure Set_Entity
4111       (N : Node_Id; Val : Node_Id) is
4112    begin
4113       pragma Assert (False
4114         or else NT (N).Nkind in N_Has_Entity
4115         or else NT (N).Nkind = N_Aspect_Specification
4116         or else NT (N).Nkind = N_Attribute_Definition_Clause
4117         or else NT (N).Nkind = N_Freeze_Entity);
4118       Set_Node4 (N, Val); -- semantic field, no parent set
4119    end Set_Entity;
4120
4121    procedure Set_Entry_Body_Formal_Part
4122       (N : Node_Id; Val : Node_Id) is
4123    begin
4124       pragma Assert (False
4125         or else NT (N).Nkind = N_Entry_Body);
4126       Set_Node5_With_Parent (N, Val);
4127    end Set_Entry_Body_Formal_Part;
4128
4129    procedure Set_Entry_Call_Alternative
4130       (N : Node_Id; Val : Node_Id) is
4131    begin
4132       pragma Assert (False
4133         or else NT (N).Nkind = N_Conditional_Entry_Call
4134         or else NT (N).Nkind = N_Timed_Entry_Call);
4135       Set_Node1_With_Parent (N, Val);
4136    end Set_Entry_Call_Alternative;
4137
4138    procedure Set_Entry_Call_Statement
4139       (N : Node_Id; Val : Node_Id) is
4140    begin
4141       pragma Assert (False
4142         or else NT (N).Nkind = N_Entry_Call_Alternative);
4143       Set_Node1_With_Parent (N, Val);
4144    end Set_Entry_Call_Statement;
4145
4146    procedure Set_Entry_Direct_Name
4147       (N : Node_Id; Val : Node_Id) is
4148    begin
4149       pragma Assert (False
4150         or else NT (N).Nkind = N_Accept_Statement);
4151       Set_Node1_With_Parent (N, Val);
4152    end Set_Entry_Direct_Name;
4153
4154    procedure Set_Entry_Index
4155       (N : Node_Id; Val : Node_Id) is
4156    begin
4157       pragma Assert (False
4158         or else NT (N).Nkind = N_Accept_Statement);
4159       Set_Node5_With_Parent (N, Val);
4160    end Set_Entry_Index;
4161
4162    procedure Set_Entry_Index_Specification
4163       (N : Node_Id; Val : Node_Id) is
4164    begin
4165       pragma Assert (False
4166         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4167       Set_Node4_With_Parent (N, Val);
4168    end Set_Entry_Index_Specification;
4169
4170    procedure Set_Etype
4171       (N : Node_Id; Val : Node_Id) is
4172    begin
4173       pragma Assert (False
4174         or else NT (N).Nkind in N_Has_Etype);
4175       Set_Node5 (N, Val); -- semantic field, no parent set
4176    end Set_Etype;
4177
4178    procedure Set_Exception_Choices
4179       (N : Node_Id; Val : List_Id) is
4180    begin
4181       pragma Assert (False
4182         or else NT (N).Nkind = N_Exception_Handler);
4183       Set_List4_With_Parent (N, Val);
4184    end Set_Exception_Choices;
4185
4186    procedure Set_Exception_Handlers
4187       (N : Node_Id; Val : List_Id) is
4188    begin
4189       pragma Assert (False
4190         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4191       Set_List5_With_Parent (N, Val);
4192    end Set_Exception_Handlers;
4193
4194    procedure Set_Exception_Junk
4195      (N : Node_Id; Val : Boolean := True) is
4196    begin
4197       pragma Assert (False
4198         or else NT (N).Nkind = N_Block_Statement
4199         or else NT (N).Nkind = N_Goto_Statement
4200         or else NT (N).Nkind = N_Label
4201         or else NT (N).Nkind = N_Object_Declaration
4202         or else NT (N).Nkind = N_Subtype_Declaration);
4203       Set_Flag8 (N, Val);
4204    end Set_Exception_Junk;
4205
4206    procedure Set_Exception_Label
4207      (N : Node_Id; Val : Node_Id) is
4208    begin
4209       pragma Assert (False
4210         or else NT (N).Nkind = N_Exception_Handler
4211         or else NT (N).Nkind = N_Push_Constraint_Error_Label
4212         or else NT (N).Nkind = N_Push_Program_Error_Label
4213         or else NT (N).Nkind = N_Push_Storage_Error_Label);
4214       Set_Node5 (N, Val); -- semantic field, no parent set
4215    end Set_Exception_Label;
4216
4217    procedure Set_Expansion_Delayed
4218      (N : Node_Id; Val : Boolean := True) is
4219    begin
4220       pragma Assert (False
4221         or else NT (N).Nkind = N_Aggregate
4222         or else NT (N).Nkind = N_Extension_Aggregate);
4223       Set_Flag11 (N, Val);
4224    end Set_Expansion_Delayed;
4225
4226    procedure Set_Explicit_Actual_Parameter
4227       (N : Node_Id; Val : Node_Id) is
4228    begin
4229       pragma Assert (False
4230         or else NT (N).Nkind = N_Parameter_Association);
4231       Set_Node3_With_Parent (N, Val);
4232    end Set_Explicit_Actual_Parameter;
4233
4234    procedure Set_Explicit_Generic_Actual_Parameter
4235       (N : Node_Id; Val : Node_Id) is
4236    begin
4237       pragma Assert (False
4238         or else NT (N).Nkind = N_Generic_Association);
4239       Set_Node1_With_Parent (N, Val);
4240    end Set_Explicit_Generic_Actual_Parameter;
4241
4242    procedure Set_Expression
4243       (N : Node_Id; Val : Node_Id) is
4244    begin
4245       pragma Assert (False
4246         or else NT (N).Nkind = N_Allocator
4247         or else NT (N).Nkind = N_Aspect_Specification
4248         or else NT (N).Nkind = N_Assignment_Statement
4249         or else NT (N).Nkind = N_At_Clause
4250         or else NT (N).Nkind = N_Attribute_Definition_Clause
4251         or else NT (N).Nkind = N_Case_Expression
4252         or else NT (N).Nkind = N_Case_Expression_Alternative
4253         or else NT (N).Nkind = N_Case_Statement
4254         or else NT (N).Nkind = N_Code_Statement
4255         or else NT (N).Nkind = N_Component_Association
4256         or else NT (N).Nkind = N_Component_Declaration
4257         or else NT (N).Nkind = N_Delay_Relative_Statement
4258         or else NT (N).Nkind = N_Delay_Until_Statement
4259         or else NT (N).Nkind = N_Discriminant_Association
4260         or else NT (N).Nkind = N_Discriminant_Specification
4261         or else NT (N).Nkind = N_Exception_Declaration
4262         or else NT (N).Nkind = N_Expression_Function
4263         or else NT (N).Nkind = N_Expression_With_Actions
4264         or else NT (N).Nkind = N_Free_Statement
4265         or else NT (N).Nkind = N_Mod_Clause
4266         or else NT (N).Nkind = N_Modular_Type_Definition
4267         or else NT (N).Nkind = N_Number_Declaration
4268         or else NT (N).Nkind = N_Object_Declaration
4269         or else NT (N).Nkind = N_Parameter_Specification
4270         or else NT (N).Nkind = N_Pragma_Argument_Association
4271         or else NT (N).Nkind = N_Qualified_Expression
4272         or else NT (N).Nkind = N_Raise_Statement
4273         or else NT (N).Nkind = N_Return_Statement
4274         or else NT (N).Nkind = N_Type_Conversion
4275         or else NT (N).Nkind = N_Unchecked_Expression
4276         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4277       Set_Node3_With_Parent (N, Val);
4278    end Set_Expression;
4279
4280    procedure Set_Expressions
4281       (N : Node_Id; Val : List_Id) is
4282    begin
4283       pragma Assert (False
4284         or else NT (N).Nkind = N_Aggregate
4285         or else NT (N).Nkind = N_Attribute_Reference
4286         or else NT (N).Nkind = N_Conditional_Expression
4287         or else NT (N).Nkind = N_Extension_Aggregate
4288         or else NT (N).Nkind = N_Indexed_Component);
4289       Set_List1_With_Parent (N, Val);
4290    end Set_Expressions;
4291
4292    procedure Set_First_Bit
4293       (N : Node_Id; Val : Node_Id) is
4294    begin
4295       pragma Assert (False
4296         or else NT (N).Nkind = N_Component_Clause);
4297       Set_Node3_With_Parent (N, Val);
4298    end Set_First_Bit;
4299
4300    procedure Set_First_Inlined_Subprogram
4301       (N : Node_Id; Val : Entity_Id) is
4302    begin
4303       pragma Assert (False
4304         or else NT (N).Nkind = N_Compilation_Unit);
4305       Set_Node3 (N, Val);  -- semantic field, no parent set
4306    end Set_First_Inlined_Subprogram;
4307
4308    procedure Set_First_Name
4309       (N : Node_Id; Val : Boolean := True) is
4310    begin
4311       pragma Assert (False
4312         or else NT (N).Nkind = N_With_Clause);
4313       Set_Flag5 (N, Val);
4314    end Set_First_Name;
4315
4316    procedure Set_First_Named_Actual
4317       (N : Node_Id; Val : Node_Id) is
4318    begin
4319       pragma Assert (False
4320         or else NT (N).Nkind = N_Entry_Call_Statement
4321         or else NT (N).Nkind = N_Function_Call
4322         or else NT (N).Nkind = N_Procedure_Call_Statement);
4323       Set_Node4 (N, Val); -- semantic field, no parent set
4324    end Set_First_Named_Actual;
4325
4326    procedure Set_First_Real_Statement
4327       (N : Node_Id; Val : Node_Id) is
4328    begin
4329       pragma Assert (False
4330         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4331       Set_Node2 (N, Val); -- semantic field, no parent set
4332    end Set_First_Real_Statement;
4333
4334    procedure Set_First_Subtype_Link
4335       (N : Node_Id; Val : Entity_Id) is
4336    begin
4337       pragma Assert (False
4338         or else NT (N).Nkind = N_Freeze_Entity);
4339       Set_Node5 (N, Val); -- semantic field, no parent set
4340    end Set_First_Subtype_Link;
4341
4342    procedure Set_Float_Truncate
4343       (N : Node_Id; Val : Boolean := True) is
4344    begin
4345       pragma Assert (False
4346         or else NT (N).Nkind = N_Type_Conversion);
4347       Set_Flag11 (N, Val);
4348    end Set_Float_Truncate;
4349
4350    procedure Set_Formal_Type_Definition
4351       (N : Node_Id; Val : Node_Id) is
4352    begin
4353       pragma Assert (False
4354         or else NT (N).Nkind = N_Formal_Type_Declaration);
4355       Set_Node3_With_Parent (N, Val);
4356    end Set_Formal_Type_Definition;
4357
4358    procedure Set_Forwards_OK
4359       (N : Node_Id; Val : Boolean := True) is
4360    begin
4361       pragma Assert (False
4362         or else NT (N).Nkind = N_Assignment_Statement);
4363       Set_Flag5 (N, Val);
4364    end Set_Forwards_OK;
4365
4366    procedure Set_From_Aspect_Specification
4367       (N : Node_Id; Val : Boolean := True) is
4368    begin
4369       pragma Assert (False
4370         or else NT (N).Nkind = N_Attribute_Definition_Clause
4371         or else NT (N).Nkind = N_Pragma);
4372       Set_Flag13 (N, Val);
4373    end Set_From_Aspect_Specification;
4374
4375    procedure Set_From_At_End
4376       (N : Node_Id; Val : Boolean := True) is
4377    begin
4378       pragma Assert (False
4379         or else NT (N).Nkind = N_Raise_Statement);
4380       Set_Flag4 (N, Val);
4381    end Set_From_At_End;
4382
4383    procedure Set_From_At_Mod
4384       (N : Node_Id; Val : Boolean := True) is
4385    begin
4386       pragma Assert (False
4387         or else NT (N).Nkind = N_Attribute_Definition_Clause);
4388       Set_Flag4 (N, Val);
4389    end Set_From_At_Mod;
4390
4391    procedure Set_From_Default
4392       (N : Node_Id; Val : Boolean := True) is
4393    begin
4394       pragma Assert (False
4395         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4396       Set_Flag6 (N, Val);
4397    end Set_From_Default;
4398
4399    procedure Set_Generic_Associations
4400       (N : Node_Id; Val : List_Id) is
4401    begin
4402       pragma Assert (False
4403         or else NT (N).Nkind = N_Formal_Package_Declaration
4404         or else NT (N).Nkind = N_Function_Instantiation
4405         or else NT (N).Nkind = N_Package_Instantiation
4406         or else NT (N).Nkind = N_Procedure_Instantiation);
4407       Set_List3_With_Parent (N, Val);
4408    end Set_Generic_Associations;
4409
4410    procedure Set_Generic_Formal_Declarations
4411       (N : Node_Id; Val : List_Id) is
4412    begin
4413       pragma Assert (False
4414         or else NT (N).Nkind = N_Generic_Package_Declaration
4415         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4416       Set_List2_With_Parent (N, Val);
4417    end Set_Generic_Formal_Declarations;
4418
4419    procedure Set_Generic_Parent
4420       (N : Node_Id; Val : Node_Id) is
4421    begin
4422       pragma Assert (False
4423         or else NT (N).Nkind = N_Function_Specification
4424         or else NT (N).Nkind = N_Package_Specification
4425         or else NT (N).Nkind = N_Procedure_Specification);
4426       Set_Node5 (N, Val);
4427    end Set_Generic_Parent;
4428
4429    procedure Set_Generic_Parent_Type
4430       (N : Node_Id; Val : Node_Id) is
4431    begin
4432       pragma Assert (False
4433         or else NT (N).Nkind = N_Subtype_Declaration);
4434       Set_Node4 (N, Val);
4435    end Set_Generic_Parent_Type;
4436
4437    procedure Set_Handled_Statement_Sequence
4438       (N : Node_Id; Val : Node_Id) is
4439    begin
4440       pragma Assert (False
4441         or else NT (N).Nkind = N_Accept_Statement
4442         or else NT (N).Nkind = N_Block_Statement
4443         or else NT (N).Nkind = N_Entry_Body
4444         or else NT (N).Nkind = N_Extended_Return_Statement
4445         or else NT (N).Nkind = N_Package_Body
4446         or else NT (N).Nkind = N_Subprogram_Body
4447         or else NT (N).Nkind = N_Task_Body);
4448       Set_Node4_With_Parent (N, Val);
4449    end Set_Handled_Statement_Sequence;
4450
4451    procedure Set_Handler_List_Entry
4452       (N : Node_Id; Val : Node_Id) is
4453    begin
4454       pragma Assert (False
4455         or else NT (N).Nkind = N_Object_Declaration);
4456       Set_Node2 (N, Val);
4457    end Set_Handler_List_Entry;
4458
4459    procedure Set_Has_Created_Identifier
4460       (N : Node_Id; Val : Boolean := True) is
4461    begin
4462       pragma Assert (False
4463         or else NT (N).Nkind = N_Block_Statement
4464         or else NT (N).Nkind = N_Loop_Statement);
4465       Set_Flag15 (N, Val);
4466    end Set_Has_Created_Identifier;
4467
4468    procedure Set_Has_Dynamic_Length_Check
4469       (N : Node_Id; Val : Boolean := True) is
4470    begin
4471       pragma Assert (False
4472         or else NT (N).Nkind in N_Subexpr);
4473       Set_Flag10 (N, Val);
4474    end Set_Has_Dynamic_Length_Check;
4475
4476    procedure Set_Has_Dynamic_Range_Check
4477       (N : Node_Id; Val : Boolean := True) is
4478    begin
4479       pragma Assert (False
4480         or else NT (N).Nkind =  N_Subtype_Declaration
4481         or else NT (N).Nkind in N_Subexpr);
4482       Set_Flag12 (N, Val);
4483    end Set_Has_Dynamic_Range_Check;
4484
4485    procedure Set_Has_Init_Expression
4486       (N : Node_Id; Val : Boolean := True) is
4487    begin
4488       pragma Assert (False
4489         or else NT (N).Nkind = N_Object_Declaration);
4490       Set_Flag14 (N, Val);
4491    end Set_Has_Init_Expression;
4492
4493    procedure Set_Has_Local_Raise
4494       (N : Node_Id; Val : Boolean := True) is
4495    begin
4496       pragma Assert (False
4497         or else NT (N).Nkind = N_Exception_Handler);
4498       Set_Flag8 (N, Val);
4499    end Set_Has_Local_Raise;
4500
4501    procedure Set_Has_No_Elaboration_Code
4502       (N : Node_Id; Val : Boolean := True) is
4503    begin
4504       pragma Assert (False
4505         or else NT (N).Nkind = N_Compilation_Unit);
4506       Set_Flag17 (N, Val);
4507    end Set_Has_No_Elaboration_Code;
4508
4509    procedure Set_Has_Pragma_CPU
4510       (N : Node_Id; Val : Boolean := True) is
4511    begin
4512       pragma Assert (False
4513         or else NT (N).Nkind = N_Subprogram_Body
4514         or else NT (N).Nkind = N_Task_Definition);
4515       Set_Flag14 (N, Val);
4516    end Set_Has_Pragma_CPU;
4517
4518    procedure Set_Has_Pragma_Dispatching_Domain
4519       (N : Node_Id; Val : Boolean := True) is
4520    begin
4521       pragma Assert (False
4522         or else NT (N).Nkind = N_Task_Definition);
4523       Set_Flag15 (N, Val);
4524    end Set_Has_Pragma_Dispatching_Domain;
4525
4526    procedure Set_Has_Pragma_Priority
4527       (N : Node_Id; Val : Boolean := True) is
4528    begin
4529       pragma Assert (False
4530         or else NT (N).Nkind = N_Protected_Definition
4531         or else NT (N).Nkind = N_Subprogram_Body
4532         or else NT (N).Nkind = N_Task_Definition);
4533       Set_Flag6 (N, Val);
4534    end Set_Has_Pragma_Priority;
4535
4536    procedure Set_Has_Pragma_Suppress_All
4537       (N : Node_Id; Val : Boolean := True) is
4538    begin
4539       pragma Assert (False
4540         or else NT (N).Nkind = N_Compilation_Unit);
4541       Set_Flag14 (N, Val);
4542    end Set_Has_Pragma_Suppress_All;
4543
4544    procedure Set_Has_Private_View
4545       (N : Node_Id; Val : Boolean := True) is
4546    begin
4547       pragma Assert (False
4548        or else NT (N).Nkind in N_Op
4549        or else NT (N).Nkind = N_Character_Literal
4550        or else NT (N).Nkind = N_Expanded_Name
4551        or else NT (N).Nkind = N_Identifier
4552        or else NT (N).Nkind = N_Operator_Symbol);
4553       Set_Flag11 (N, Val);
4554    end Set_Has_Private_View;
4555
4556    procedure Set_Has_Relative_Deadline_Pragma
4557       (N : Node_Id; Val : Boolean := True) is
4558    begin
4559       pragma Assert (False
4560         or else NT (N).Nkind = N_Subprogram_Body
4561         or else NT (N).Nkind = N_Task_Definition);
4562       Set_Flag9 (N, Val);
4563    end Set_Has_Relative_Deadline_Pragma;
4564
4565    procedure Set_Has_Self_Reference
4566       (N : Node_Id; Val : Boolean := True) is
4567    begin
4568       pragma Assert (False
4569         or else NT (N).Nkind = N_Aggregate
4570         or else NT (N).Nkind = N_Extension_Aggregate);
4571       Set_Flag13 (N, Val);
4572    end Set_Has_Self_Reference;
4573
4574    procedure Set_Has_Storage_Size_Pragma
4575       (N : Node_Id; Val : Boolean := True) is
4576    begin
4577       pragma Assert (False
4578         or else NT (N).Nkind = N_Task_Definition);
4579       Set_Flag5 (N, Val);
4580    end Set_Has_Storage_Size_Pragma;
4581
4582    procedure Set_Has_Task_Info_Pragma
4583       (N : Node_Id; Val : Boolean := True) is
4584    begin
4585       pragma Assert (False
4586         or else NT (N).Nkind = N_Task_Definition);
4587       Set_Flag7 (N, Val);
4588    end Set_Has_Task_Info_Pragma;
4589
4590    procedure Set_Has_Task_Name_Pragma
4591       (N : Node_Id; Val : Boolean := True) is
4592    begin
4593       pragma Assert (False
4594         or else NT (N).Nkind = N_Task_Definition);
4595       Set_Flag8 (N, Val);
4596    end Set_Has_Task_Name_Pragma;
4597
4598    procedure Set_Has_Wide_Character
4599       (N : Node_Id; Val : Boolean := True) is
4600    begin
4601       pragma Assert (False
4602         or else NT (N).Nkind = N_String_Literal);
4603       Set_Flag11 (N, Val);
4604    end Set_Has_Wide_Character;
4605
4606    procedure Set_Has_Wide_Wide_Character
4607       (N : Node_Id; Val : Boolean := True) is
4608    begin
4609       pragma Assert (False
4610         or else NT (N).Nkind = N_String_Literal);
4611       Set_Flag13 (N, Val);
4612    end Set_Has_Wide_Wide_Character;
4613
4614    procedure Set_Hidden_By_Use_Clause
4615      (N : Node_Id; Val : Elist_Id) is
4616    begin
4617       pragma Assert (False
4618         or else NT (N).Nkind = N_Use_Package_Clause
4619         or else NT (N).Nkind = N_Use_Type_Clause);
4620       Set_Elist4 (N, Val);
4621    end Set_Hidden_By_Use_Clause;
4622
4623    procedure Set_High_Bound
4624       (N : Node_Id; Val : Node_Id) is
4625    begin
4626       pragma Assert (False
4627         or else NT (N).Nkind = N_Range
4628         or else NT (N).Nkind = N_Real_Range_Specification
4629         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4630       Set_Node2_With_Parent (N, Val);
4631    end Set_High_Bound;
4632
4633    procedure Set_Identifier
4634       (N : Node_Id; Val : Node_Id) is
4635    begin
4636       pragma Assert (False
4637         or else NT (N).Nkind = N_Aspect_Specification
4638         or else NT (N).Nkind = N_At_Clause
4639         or else NT (N).Nkind = N_Block_Statement
4640         or else NT (N).Nkind = N_Designator
4641         or else NT (N).Nkind = N_Enumeration_Representation_Clause
4642         or else NT (N).Nkind = N_Label
4643         or else NT (N).Nkind = N_Loop_Statement
4644         or else NT (N).Nkind = N_Record_Representation_Clause
4645         or else NT (N).Nkind = N_Subprogram_Info);
4646       Set_Node1_With_Parent (N, Val);
4647    end Set_Identifier;
4648
4649    procedure Set_Implicit_With
4650       (N : Node_Id; Val : Boolean := True) is
4651    begin
4652       pragma Assert (False
4653         or else NT (N).Nkind = N_With_Clause);
4654       Set_Flag16 (N, Val);
4655    end Set_Implicit_With;
4656
4657    procedure Set_Interface_List
4658       (N : Node_Id; Val : List_Id) is
4659    begin
4660       pragma Assert (False
4661         or else NT (N).Nkind = N_Derived_Type_Definition
4662         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4663         or else NT (N).Nkind = N_Private_Extension_Declaration
4664         or else NT (N).Nkind = N_Protected_Type_Declaration
4665         or else NT (N).Nkind = N_Record_Definition
4666         or else NT (N).Nkind = N_Single_Protected_Declaration
4667         or else NT (N).Nkind = N_Single_Task_Declaration
4668         or else NT (N).Nkind = N_Task_Type_Declaration);
4669       Set_List2_With_Parent (N, Val);
4670    end Set_Interface_List;
4671
4672    procedure Set_Interface_Present
4673       (N : Node_Id; Val : Boolean := True) is
4674    begin
4675       pragma Assert (False
4676         or else NT (N).Nkind = N_Derived_Type_Definition
4677         or else NT (N).Nkind = N_Record_Definition);
4678       Set_Flag16 (N, Val);
4679    end Set_Interface_Present;
4680
4681    procedure Set_Import_Interface_Present
4682       (N : Node_Id; Val : Boolean := True) is
4683    begin
4684       pragma Assert (False
4685         or else NT (N).Nkind = N_Pragma);
4686       Set_Flag16 (N, Val);
4687    end Set_Import_Interface_Present;
4688
4689    procedure Set_In_Present
4690       (N : Node_Id; Val : Boolean := True) is
4691    begin
4692       pragma Assert (False
4693         or else NT (N).Nkind = N_Formal_Object_Declaration
4694         or else NT (N).Nkind = N_Parameter_Specification);
4695       Set_Flag15 (N, Val);
4696    end Set_In_Present;
4697
4698    procedure Set_Includes_Infinities
4699       (N : Node_Id; Val : Boolean := True) is
4700    begin
4701       pragma Assert (False
4702         or else NT (N).Nkind = N_Range);
4703       Set_Flag11 (N, Val);
4704    end Set_Includes_Infinities;
4705
4706    procedure Set_Inherited_Discriminant
4707       (N : Node_Id; Val : Boolean := True) is
4708    begin
4709       pragma Assert (False
4710         or else NT (N).Nkind = N_Component_Association);
4711       Set_Flag13 (N, Val);
4712    end Set_Inherited_Discriminant;
4713
4714    procedure Set_Instance_Spec
4715       (N : Node_Id; Val : Node_Id) is
4716    begin
4717       pragma Assert (False
4718         or else NT (N).Nkind = N_Formal_Package_Declaration
4719         or else NT (N).Nkind = N_Function_Instantiation
4720         or else NT (N).Nkind = N_Package_Instantiation
4721         or else NT (N).Nkind = N_Procedure_Instantiation);
4722       Set_Node5 (N, Val); -- semantic field, no Parent set
4723    end Set_Instance_Spec;
4724
4725    procedure Set_Intval
4726       (N : Node_Id; Val : Uint) is
4727    begin
4728       pragma Assert (False
4729         or else NT (N).Nkind = N_Integer_Literal);
4730       Set_Uint3 (N, Val);
4731    end Set_Intval;
4732
4733    procedure Set_Is_Accessibility_Actual
4734       (N : Node_Id; Val : Boolean := True) is
4735    begin
4736       pragma Assert (False
4737         or else NT (N).Nkind = N_Parameter_Association);
4738       Set_Flag13 (N, Val);
4739    end Set_Is_Accessibility_Actual;
4740
4741    procedure Set_Is_Asynchronous_Call_Block
4742       (N : Node_Id; Val : Boolean := True) is
4743    begin
4744       pragma Assert (False
4745         or else NT (N).Nkind = N_Block_Statement);
4746       Set_Flag7 (N, Val);
4747    end Set_Is_Asynchronous_Call_Block;
4748
4749    procedure Set_Is_Boolean_Aspect
4750       (N : Node_Id; Val : Boolean := True) is
4751    begin
4752       pragma Assert (False
4753         or else NT (N).Nkind = N_Aspect_Specification);
4754       Set_Flag16 (N, Val);
4755    end Set_Is_Boolean_Aspect;
4756
4757    procedure Set_Is_Component_Left_Opnd
4758       (N : Node_Id; Val : Boolean := True) is
4759    begin
4760       pragma Assert (False
4761         or else NT (N).Nkind = N_Op_Concat);
4762       Set_Flag13 (N, Val);
4763    end Set_Is_Component_Left_Opnd;
4764
4765    procedure Set_Is_Component_Right_Opnd
4766       (N : Node_Id; Val : Boolean := True) is
4767    begin
4768       pragma Assert (False
4769         or else NT (N).Nkind = N_Op_Concat);
4770       Set_Flag14 (N, Val);
4771    end Set_Is_Component_Right_Opnd;
4772
4773    procedure Set_Is_Controlling_Actual
4774       (N : Node_Id; Val : Boolean := True) is
4775    begin
4776       pragma Assert (False
4777         or else NT (N).Nkind in N_Subexpr);
4778       Set_Flag16 (N, Val);
4779    end Set_Is_Controlling_Actual;
4780
4781    procedure Set_Is_Delayed_Aspect
4782       (N : Node_Id; Val : Boolean := True) is
4783    begin
4784       pragma Assert (False
4785         or else NT (N).Nkind = N_Aspect_Specification
4786         or else NT (N).Nkind = N_Attribute_Definition_Clause
4787         or else NT (N).Nkind = N_Pragma);
4788       Set_Flag14 (N, Val);
4789    end Set_Is_Delayed_Aspect;
4790
4791    procedure Set_Is_Dynamic_Coextension
4792       (N : Node_Id; Val : Boolean := True) is
4793    begin
4794       pragma Assert (False
4795         or else NT (N).Nkind = N_Allocator);
4796       Set_Flag18 (N, Val);
4797    end Set_Is_Dynamic_Coextension;
4798
4799    procedure Set_Is_Elsif
4800      (N : Node_Id; Val : Boolean := True) is
4801    begin
4802       pragma Assert (False
4803         or else NT (N).Nkind = N_Conditional_Expression);
4804       Set_Flag13 (N, Val);
4805    end Set_Is_Elsif;
4806
4807    procedure Set_Is_Entry_Barrier_Function
4808       (N : Node_Id; Val : Boolean := True) is
4809    begin
4810       pragma Assert (False
4811         or else NT (N).Nkind = N_Subprogram_Body);
4812       Set_Flag8 (N, Val);
4813    end Set_Is_Entry_Barrier_Function;
4814
4815    procedure Set_Is_Expanded_Build_In_Place_Call
4816       (N : Node_Id; Val : Boolean := True) is
4817    begin
4818       pragma Assert (False
4819         or else NT (N).Nkind = N_Function_Call);
4820       Set_Flag11 (N, Val);
4821    end Set_Is_Expanded_Build_In_Place_Call;
4822
4823    procedure Set_Is_Folded_In_Parser
4824       (N : Node_Id; Val : Boolean := True) is
4825    begin
4826       pragma Assert (False
4827         or else NT (N).Nkind = N_String_Literal);
4828       Set_Flag4 (N, Val);
4829    end Set_Is_Folded_In_Parser;
4830
4831    procedure Set_Is_In_Discriminant_Check
4832       (N : Node_Id; Val : Boolean := True) is
4833    begin
4834       pragma Assert (False
4835         or else NT (N).Nkind = N_Selected_Component);
4836       Set_Flag11 (N, Val);
4837    end Set_Is_In_Discriminant_Check;
4838
4839    procedure Set_Is_Machine_Number
4840       (N : Node_Id; Val : Boolean := True) is
4841    begin
4842       pragma Assert (False
4843         or else NT (N).Nkind = N_Real_Literal);
4844       Set_Flag11 (N, Val);
4845    end Set_Is_Machine_Number;
4846
4847    procedure Set_Is_Null_Loop
4848       (N : Node_Id; Val : Boolean := True) is
4849    begin
4850       pragma Assert (False
4851         or else NT (N).Nkind = N_Loop_Statement);
4852       Set_Flag16 (N, Val);
4853    end Set_Is_Null_Loop;
4854
4855    procedure Set_Is_Overloaded
4856       (N : Node_Id; Val : Boolean := True) is
4857    begin
4858       pragma Assert (False
4859         or else NT (N).Nkind in N_Subexpr);
4860       Set_Flag5 (N, Val);
4861    end Set_Is_Overloaded;
4862
4863    procedure Set_Is_Power_Of_2_For_Shift
4864       (N : Node_Id; Val : Boolean := True) is
4865    begin
4866       pragma Assert (False
4867         or else NT (N).Nkind = N_Op_Expon);
4868       Set_Flag13 (N, Val);
4869    end Set_Is_Power_Of_2_For_Shift;
4870
4871    procedure Set_Is_Protected_Subprogram_Body
4872       (N : Node_Id; Val : Boolean := True) is
4873    begin
4874       pragma Assert (False
4875         or else NT (N).Nkind = N_Subprogram_Body);
4876       Set_Flag7 (N, Val);
4877    end Set_Is_Protected_Subprogram_Body;
4878
4879    procedure Set_Is_Static_Coextension
4880       (N : Node_Id; Val : Boolean := True) is
4881    begin
4882       pragma Assert (False
4883         or else NT (N).Nkind = N_Allocator);
4884       Set_Flag14 (N, Val);
4885    end Set_Is_Static_Coextension;
4886
4887    procedure Set_Is_Static_Expression
4888       (N : Node_Id; Val : Boolean := True) is
4889    begin
4890       pragma Assert (False
4891         or else NT (N).Nkind in N_Subexpr);
4892       Set_Flag6 (N, Val);
4893    end Set_Is_Static_Expression;
4894
4895    procedure Set_Is_Subprogram_Descriptor
4896       (N : Node_Id; Val : Boolean := True) is
4897    begin
4898       pragma Assert (False
4899         or else NT (N).Nkind = N_Object_Declaration);
4900       Set_Flag16 (N, Val);
4901    end Set_Is_Subprogram_Descriptor;
4902
4903    procedure Set_Is_Task_Allocation_Block
4904       (N : Node_Id; Val : Boolean := True) is
4905    begin
4906       pragma Assert (False
4907         or else NT (N).Nkind = N_Block_Statement);
4908       Set_Flag6 (N, Val);
4909    end Set_Is_Task_Allocation_Block;
4910
4911    procedure Set_Is_Task_Master
4912       (N : Node_Id; Val : Boolean := True) is
4913    begin
4914       pragma Assert (False
4915         or else NT (N).Nkind = N_Block_Statement
4916         or else NT (N).Nkind = N_Subprogram_Body
4917         or else NT (N).Nkind = N_Task_Body);
4918       Set_Flag5 (N, Val);
4919    end Set_Is_Task_Master;
4920
4921    procedure Set_Iteration_Scheme
4922       (N : Node_Id; Val : Node_Id) is
4923    begin
4924       pragma Assert (False
4925         or else NT (N).Nkind = N_Loop_Statement);
4926       Set_Node2_With_Parent (N, Val);
4927    end Set_Iteration_Scheme;
4928
4929    procedure Set_Iterator_Specification
4930      (N : Node_Id; Val : Node_Id) is
4931    begin
4932       pragma Assert (False
4933         or else NT (N).Nkind = N_Iteration_Scheme
4934         or else NT (N).Nkind = N_Quantified_Expression);
4935       Set_Node2_With_Parent (N, Val);
4936    end Set_Iterator_Specification;
4937
4938    procedure Set_Itype
4939       (N : Node_Id; Val : Entity_Id) is
4940    begin
4941       pragma Assert (False
4942       or else NT (N).Nkind = N_Itype_Reference);
4943       Set_Node1 (N, Val); -- no parent, semantic field
4944    end Set_Itype;
4945
4946    procedure Set_Kill_Range_Check
4947       (N : Node_Id; Val : Boolean := True) is
4948    begin
4949       pragma Assert (False
4950         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4951       Set_Flag11 (N, Val);
4952    end Set_Kill_Range_Check;
4953
4954    procedure Set_Label_Construct
4955       (N : Node_Id; Val : Node_Id) is
4956    begin
4957       pragma Assert (False
4958         or else NT (N).Nkind = N_Implicit_Label_Declaration);
4959       Set_Node2 (N, Val); -- semantic field, no parent set
4960    end Set_Label_Construct;
4961
4962    procedure Set_Last_Bit
4963       (N : Node_Id; Val : Node_Id) is
4964    begin
4965       pragma Assert (False
4966         or else NT (N).Nkind = N_Component_Clause);
4967       Set_Node4_With_Parent (N, Val);
4968    end Set_Last_Bit;
4969
4970    procedure Set_Last_Name
4971       (N : Node_Id; Val : Boolean := True) is
4972    begin
4973       pragma Assert (False
4974         or else NT (N).Nkind = N_With_Clause);
4975       Set_Flag6 (N, Val);
4976    end Set_Last_Name;
4977
4978    procedure Set_Left_Opnd
4979       (N : Node_Id; Val : Node_Id) is
4980    begin
4981       pragma Assert (False
4982         or else NT (N).Nkind = N_And_Then
4983         or else NT (N).Nkind = N_In
4984         or else NT (N).Nkind = N_Not_In
4985         or else NT (N).Nkind = N_Or_Else
4986         or else NT (N).Nkind in N_Binary_Op);
4987       Set_Node2_With_Parent (N, Val);
4988    end Set_Left_Opnd;
4989
4990    procedure Set_Library_Unit
4991       (N : Node_Id; Val : Node_Id) is
4992    begin
4993       pragma Assert (False
4994         or else NT (N).Nkind = N_Compilation_Unit
4995         or else NT (N).Nkind = N_Package_Body_Stub
4996         or else NT (N).Nkind = N_Protected_Body_Stub
4997         or else NT (N).Nkind = N_Subprogram_Body_Stub
4998         or else NT (N).Nkind = N_Task_Body_Stub
4999         or else NT (N).Nkind = N_With_Clause);
5000       Set_Node4 (N, Val); -- semantic field, no parent set
5001    end Set_Library_Unit;
5002
5003    procedure Set_Limited_View_Installed
5004       (N : Node_Id; Val : Boolean := True) is
5005    begin
5006       pragma Assert (False
5007         or else NT (N).Nkind = N_Package_Specification
5008         or else NT (N).Nkind = N_With_Clause);
5009       Set_Flag18 (N, Val);
5010    end Set_Limited_View_Installed;
5011
5012    procedure Set_Limited_Present
5013       (N : Node_Id; Val : Boolean := True) is
5014    begin
5015       pragma Assert (False
5016         or else NT (N).Nkind = N_Derived_Type_Definition
5017         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5018         or else NT (N).Nkind = N_Formal_Private_Type_Definition
5019         or else NT (N).Nkind = N_Private_Extension_Declaration
5020         or else NT (N).Nkind = N_Private_Type_Declaration
5021         or else NT (N).Nkind = N_Record_Definition
5022         or else NT (N).Nkind = N_With_Clause);
5023       Set_Flag17 (N, Val);
5024    end Set_Limited_Present;
5025
5026    procedure Set_Literals
5027       (N : Node_Id; Val : List_Id) is
5028    begin
5029       pragma Assert (False
5030         or else NT (N).Nkind = N_Enumeration_Type_Definition);
5031       Set_List1_With_Parent (N, Val);
5032    end Set_Literals;
5033
5034    procedure Set_Local_Raise_Not_OK
5035       (N : Node_Id; Val : Boolean := True) is
5036    begin
5037       pragma Assert (False
5038         or else NT (N).Nkind = N_Exception_Handler);
5039       Set_Flag7 (N, Val);
5040    end Set_Local_Raise_Not_OK;
5041
5042    procedure Set_Local_Raise_Statements
5043       (N : Node_Id; Val : Elist_Id) is
5044    begin
5045       pragma Assert (False
5046         or else NT (N).Nkind = N_Exception_Handler);
5047       Set_Elist1 (N, Val);
5048    end Set_Local_Raise_Statements;
5049
5050    procedure Set_Loop_Actions
5051       (N : Node_Id; Val : List_Id) is
5052    begin
5053       pragma Assert (False
5054         or else NT (N).Nkind = N_Component_Association);
5055       Set_List2 (N, Val); -- semantic field, no parent set
5056    end Set_Loop_Actions;
5057
5058    procedure Set_Loop_Parameter_Specification
5059       (N : Node_Id; Val : Node_Id) is
5060    begin
5061       pragma Assert (False
5062         or else NT (N).Nkind = N_Iteration_Scheme
5063         or else NT (N).Nkind = N_Quantified_Expression);
5064       Set_Node4_With_Parent (N, Val);
5065    end Set_Loop_Parameter_Specification;
5066
5067    procedure Set_Low_Bound
5068       (N : Node_Id; Val : Node_Id) is
5069    begin
5070       pragma Assert (False
5071         or else NT (N).Nkind = N_Range
5072         or else NT (N).Nkind = N_Real_Range_Specification
5073         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5074       Set_Node1_With_Parent (N, Val);
5075    end Set_Low_Bound;
5076
5077    procedure Set_Mod_Clause
5078       (N : Node_Id; Val : Node_Id) is
5079    begin
5080       pragma Assert (False
5081         or else NT (N).Nkind = N_Record_Representation_Clause);
5082       Set_Node2_With_Parent (N, Val);
5083    end Set_Mod_Clause;
5084
5085    procedure Set_More_Ids
5086       (N : Node_Id; Val : Boolean := True) is
5087    begin
5088       pragma Assert (False
5089         or else NT (N).Nkind = N_Component_Declaration
5090         or else NT (N).Nkind = N_Discriminant_Specification
5091         or else NT (N).Nkind = N_Exception_Declaration
5092         or else NT (N).Nkind = N_Formal_Object_Declaration
5093         or else NT (N).Nkind = N_Number_Declaration
5094         or else NT (N).Nkind = N_Object_Declaration
5095         or else NT (N).Nkind = N_Parameter_Specification);
5096       Set_Flag5 (N, Val);
5097    end Set_More_Ids;
5098
5099    procedure Set_Must_Be_Byte_Aligned
5100       (N : Node_Id; Val : Boolean := True) is
5101    begin
5102       pragma Assert (False
5103         or else NT (N).Nkind = N_Attribute_Reference);
5104       Set_Flag14 (N, Val);
5105    end Set_Must_Be_Byte_Aligned;
5106
5107    procedure Set_Must_Not_Freeze
5108       (N : Node_Id; Val : Boolean := True) is
5109    begin
5110       pragma Assert (False
5111         or else NT (N).Nkind = N_Subtype_Indication
5112         or else NT (N).Nkind in N_Subexpr);
5113       Set_Flag8 (N, Val);
5114    end Set_Must_Not_Freeze;
5115
5116    procedure Set_Must_Not_Override
5117       (N : Node_Id; Val : Boolean := True) is
5118    begin
5119       pragma Assert (False
5120         or else NT (N).Nkind = N_Entry_Declaration
5121         or else NT (N).Nkind = N_Function_Instantiation
5122         or else NT (N).Nkind = N_Function_Specification
5123         or else NT (N).Nkind = N_Procedure_Instantiation
5124         or else NT (N).Nkind = N_Procedure_Specification);
5125       Set_Flag15 (N, Val);
5126    end Set_Must_Not_Override;
5127
5128    procedure Set_Must_Override
5129       (N : Node_Id; Val : Boolean := True) is
5130    begin
5131       pragma Assert (False
5132         or else NT (N).Nkind = N_Entry_Declaration
5133         or else NT (N).Nkind = N_Function_Instantiation
5134         or else NT (N).Nkind = N_Function_Specification
5135         or else NT (N).Nkind = N_Procedure_Instantiation
5136         or else NT (N).Nkind = N_Procedure_Specification);
5137       Set_Flag14 (N, Val);
5138    end Set_Must_Override;
5139
5140    procedure Set_Name
5141       (N : Node_Id; Val : Node_Id) is
5142    begin
5143       pragma Assert (False
5144         or else NT (N).Nkind = N_Assignment_Statement
5145         or else NT (N).Nkind = N_Attribute_Definition_Clause
5146         or else NT (N).Nkind = N_Defining_Program_Unit_Name
5147         or else NT (N).Nkind = N_Designator
5148         or else NT (N).Nkind = N_Entry_Call_Statement
5149         or else NT (N).Nkind = N_Exception_Renaming_Declaration
5150         or else NT (N).Nkind = N_Exit_Statement
5151         or else NT (N).Nkind = N_Formal_Package_Declaration
5152         or else NT (N).Nkind = N_Function_Call
5153         or else NT (N).Nkind = N_Function_Instantiation
5154         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5155         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5156         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5157         or else NT (N).Nkind = N_Goto_Statement
5158         or else NT (N).Nkind = N_Iterator_Specification
5159         or else NT (N).Nkind = N_Object_Renaming_Declaration
5160         or else NT (N).Nkind = N_Package_Instantiation
5161         or else NT (N).Nkind = N_Package_Renaming_Declaration
5162         or else NT (N).Nkind = N_Procedure_Call_Statement
5163         or else NT (N).Nkind = N_Procedure_Instantiation
5164         or else NT (N).Nkind = N_Raise_Statement
5165         or else NT (N).Nkind = N_Requeue_Statement
5166         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5167         or else NT (N).Nkind = N_Subunit
5168         or else NT (N).Nkind = N_Variant_Part
5169         or else NT (N).Nkind = N_With_Clause);
5170       Set_Node2_With_Parent (N, Val);
5171    end Set_Name;
5172
5173    procedure Set_Names
5174       (N : Node_Id; Val : List_Id) is
5175    begin
5176       pragma Assert (False
5177         or else NT (N).Nkind = N_Abort_Statement
5178         or else NT (N).Nkind = N_Use_Package_Clause);
5179       Set_List2_With_Parent (N, Val);
5180    end Set_Names;
5181
5182    procedure Set_Next_Entity
5183       (N : Node_Id; Val : Node_Id) is
5184    begin
5185       pragma Assert (False
5186         or else NT (N).Nkind = N_Defining_Character_Literal
5187         or else NT (N).Nkind = N_Defining_Identifier
5188         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5189       Set_Node2 (N, Val); -- semantic field, no parent set
5190    end Set_Next_Entity;
5191
5192    procedure Set_Next_Exit_Statement
5193       (N : Node_Id; Val : Node_Id) is
5194    begin
5195       pragma Assert (False
5196         or else NT (N).Nkind = N_Exit_Statement);
5197       Set_Node3 (N, Val); -- semantic field, no parent set
5198    end Set_Next_Exit_Statement;
5199
5200    procedure Set_Next_Implicit_With
5201       (N : Node_Id; Val : Node_Id) is
5202    begin
5203       pragma Assert (False
5204         or else NT (N).Nkind = N_With_Clause);
5205       Set_Node3 (N, Val); -- semantic field, no parent set
5206    end Set_Next_Implicit_With;
5207
5208    procedure Set_Next_Named_Actual
5209       (N : Node_Id; Val : Node_Id) is
5210    begin
5211       pragma Assert (False
5212         or else NT (N).Nkind = N_Parameter_Association);
5213       Set_Node4 (N, Val); -- semantic field, no parent set
5214    end Set_Next_Named_Actual;
5215
5216    procedure Set_Next_Pragma
5217       (N : Node_Id; Val : Node_Id) is
5218    begin
5219       pragma Assert (False
5220         or else NT (N).Nkind = N_Pragma);
5221       Set_Node1 (N, Val); -- semantic field, no parent set
5222    end Set_Next_Pragma;
5223
5224    procedure Set_Next_Rep_Item
5225       (N : Node_Id; Val : Node_Id) is
5226    begin
5227       pragma Assert (False
5228         or else NT (N).Nkind = N_Aspect_Specification
5229         or else NT (N).Nkind = N_Attribute_Definition_Clause
5230         or else NT (N).Nkind = N_Enumeration_Representation_Clause
5231         or else NT (N).Nkind = N_Pragma
5232         or else NT (N).Nkind = N_Record_Representation_Clause);
5233       Set_Node5 (N, Val); -- semantic field, no parent set
5234    end Set_Next_Rep_Item;
5235
5236    procedure Set_Next_Use_Clause
5237       (N : Node_Id; Val : Node_Id) is
5238    begin
5239       pragma Assert (False
5240         or else NT (N).Nkind = N_Use_Package_Clause
5241         or else NT (N).Nkind = N_Use_Type_Clause);
5242       Set_Node3 (N, Val); -- semantic field, no parent set
5243    end Set_Next_Use_Clause;
5244
5245    procedure Set_No_Ctrl_Actions
5246       (N : Node_Id; Val : Boolean := True) is
5247    begin
5248       pragma Assert (False
5249         or else NT (N).Nkind = N_Assignment_Statement);
5250       Set_Flag7 (N, Val);
5251    end Set_No_Ctrl_Actions;
5252
5253    procedure Set_No_Elaboration_Check
5254       (N : Node_Id; Val : Boolean := True) is
5255    begin
5256       pragma Assert (False
5257         or else NT (N).Nkind = N_Function_Call
5258         or else NT (N).Nkind = N_Procedure_Call_Statement);
5259       Set_Flag14 (N, Val);
5260    end Set_No_Elaboration_Check;
5261
5262    procedure Set_No_Entities_Ref_In_Spec
5263       (N : Node_Id; Val : Boolean := True) is
5264    begin
5265       pragma Assert (False
5266         or else NT (N).Nkind = N_With_Clause);
5267       Set_Flag8 (N, Val);
5268    end Set_No_Entities_Ref_In_Spec;
5269
5270    procedure Set_No_Initialization
5271       (N : Node_Id; Val : Boolean := True) is
5272    begin
5273       pragma Assert (False
5274         or else NT (N).Nkind = N_Allocator
5275         or else NT (N).Nkind = N_Object_Declaration);
5276       Set_Flag13 (N, Val);
5277    end Set_No_Initialization;
5278
5279    procedure Set_No_Truncation
5280       (N : Node_Id; Val : Boolean := True) is
5281    begin
5282       pragma Assert (False
5283         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5284       Set_Flag17 (N, Val);
5285    end Set_No_Truncation;
5286
5287    procedure Set_Null_Present
5288       (N : Node_Id; Val : Boolean := True) is
5289    begin
5290       pragma Assert (False
5291         or else NT (N).Nkind = N_Component_List
5292         or else NT (N).Nkind = N_Procedure_Specification
5293         or else NT (N).Nkind = N_Record_Definition);
5294       Set_Flag13 (N, Val);
5295    end Set_Null_Present;
5296
5297    procedure Set_Null_Exclusion_Present
5298       (N : Node_Id; Val : Boolean := True) is
5299    begin
5300       pragma Assert (False
5301         or else NT (N).Nkind = N_Access_Definition
5302         or else NT (N).Nkind = N_Access_Function_Definition
5303         or else NT (N).Nkind = N_Access_Procedure_Definition
5304         or else NT (N).Nkind = N_Access_To_Object_Definition
5305         or else NT (N).Nkind = N_Allocator
5306         or else NT (N).Nkind = N_Component_Definition
5307         or else NT (N).Nkind = N_Derived_Type_Definition
5308         or else NT (N).Nkind = N_Discriminant_Specification
5309         or else NT (N).Nkind = N_Formal_Object_Declaration
5310         or else NT (N).Nkind = N_Function_Specification
5311         or else NT (N).Nkind = N_Object_Declaration
5312         or else NT (N).Nkind = N_Object_Renaming_Declaration
5313         or else NT (N).Nkind = N_Parameter_Specification
5314         or else NT (N).Nkind = N_Subtype_Declaration);
5315       Set_Flag11 (N, Val);
5316    end Set_Null_Exclusion_Present;
5317
5318    procedure Set_Null_Exclusion_In_Return_Present
5319       (N : Node_Id; Val : Boolean := True) is
5320    begin
5321       pragma Assert (False
5322         or else NT (N).Nkind = N_Access_Function_Definition);
5323       Set_Flag14 (N, Val);
5324    end Set_Null_Exclusion_In_Return_Present;
5325
5326    procedure Set_Null_Record_Present
5327       (N : Node_Id; Val : Boolean := True) is
5328    begin
5329       pragma Assert (False
5330         or else NT (N).Nkind = N_Aggregate
5331         or else NT (N).Nkind = N_Extension_Aggregate);
5332       Set_Flag17 (N, Val);
5333    end Set_Null_Record_Present;
5334
5335    procedure Set_Object_Definition
5336       (N : Node_Id; Val : Node_Id) is
5337    begin
5338       pragma Assert (False
5339         or else NT (N).Nkind = N_Object_Declaration);
5340       Set_Node4_With_Parent (N, Val);
5341    end Set_Object_Definition;
5342
5343    procedure Set_Of_Present
5344       (N : Node_Id; Val : Boolean := True) is
5345    begin
5346       pragma Assert (False
5347         or else NT (N).Nkind = N_Iterator_Specification);
5348       Set_Flag16 (N, Val);
5349    end Set_Of_Present;
5350
5351    procedure Set_Original_Discriminant
5352       (N : Node_Id; Val : Node_Id) is
5353    begin
5354       pragma Assert (False
5355         or else NT (N).Nkind = N_Identifier);
5356       Set_Node2 (N, Val); -- semantic field, no parent set
5357    end Set_Original_Discriminant;
5358
5359    procedure Set_Original_Entity
5360       (N : Node_Id; Val : Entity_Id) is
5361    begin
5362       pragma Assert (False
5363         or else NT (N).Nkind = N_Integer_Literal
5364         or else NT (N).Nkind = N_Real_Literal);
5365       Set_Node2 (N, Val); --  semantic field, no parent set
5366    end Set_Original_Entity;
5367
5368    procedure Set_Others_Discrete_Choices
5369       (N : Node_Id; Val : List_Id) is
5370    begin
5371       pragma Assert (False
5372         or else NT (N).Nkind = N_Others_Choice);
5373       Set_List1_With_Parent (N, Val);
5374    end Set_Others_Discrete_Choices;
5375
5376    procedure Set_Out_Present
5377       (N : Node_Id; Val : Boolean := True) is
5378    begin
5379       pragma Assert (False
5380         or else NT (N).Nkind = N_Formal_Object_Declaration
5381         or else NT (N).Nkind = N_Parameter_Specification);
5382       Set_Flag17 (N, Val);
5383    end Set_Out_Present;
5384
5385    procedure Set_Parameter_Associations
5386       (N : Node_Id; Val : List_Id) is
5387    begin
5388       pragma Assert (False
5389         or else NT (N).Nkind = N_Entry_Call_Statement
5390         or else NT (N).Nkind = N_Function_Call
5391         or else NT (N).Nkind = N_Procedure_Call_Statement);
5392       Set_List3_With_Parent (N, Val);
5393    end Set_Parameter_Associations;
5394
5395    procedure Set_Parameter_List_Truncated
5396       (N : Node_Id; Val : Boolean := True) is
5397    begin
5398       pragma Assert (False
5399         or else NT (N).Nkind = N_Function_Call
5400         or else NT (N).Nkind = N_Procedure_Call_Statement);
5401       Set_Flag17 (N, Val);
5402    end Set_Parameter_List_Truncated;
5403
5404    procedure Set_Parameter_Specifications
5405       (N : Node_Id; Val : List_Id) is
5406    begin
5407       pragma Assert (False
5408         or else NT (N).Nkind = N_Accept_Statement
5409         or else NT (N).Nkind = N_Access_Function_Definition
5410         or else NT (N).Nkind = N_Access_Procedure_Definition
5411         or else NT (N).Nkind = N_Entry_Body_Formal_Part
5412         or else NT (N).Nkind = N_Entry_Declaration
5413         or else NT (N).Nkind = N_Function_Specification
5414         or else NT (N).Nkind = N_Procedure_Specification);
5415       Set_List3_With_Parent (N, Val);
5416    end Set_Parameter_Specifications;
5417
5418    procedure Set_Parameter_Type
5419       (N : Node_Id; Val : Node_Id) is
5420    begin
5421       pragma Assert (False
5422         or else NT (N).Nkind = N_Parameter_Specification);
5423       Set_Node2_With_Parent (N, Val);
5424    end Set_Parameter_Type;
5425
5426    procedure Set_Parent_Spec
5427       (N : Node_Id; Val : Node_Id) is
5428    begin
5429       pragma Assert (False
5430         or else NT (N).Nkind = N_Function_Instantiation
5431         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5432         or else NT (N).Nkind = N_Generic_Package_Declaration
5433         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5434         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5435         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5436         or else NT (N).Nkind = N_Package_Declaration
5437         or else NT (N).Nkind = N_Package_Instantiation
5438         or else NT (N).Nkind = N_Package_Renaming_Declaration
5439         or else NT (N).Nkind = N_Procedure_Instantiation
5440         or else NT (N).Nkind = N_Subprogram_Declaration
5441         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5442       Set_Node4 (N, Val); -- semantic field, no parent set
5443    end Set_Parent_Spec;
5444
5445    procedure Set_Position
5446       (N : Node_Id; Val : Node_Id) is
5447    begin
5448       pragma Assert (False
5449         or else NT (N).Nkind = N_Component_Clause);
5450       Set_Node2_With_Parent (N, Val);
5451    end Set_Position;
5452
5453    procedure Set_Pragma_Argument_Associations
5454       (N : Node_Id; Val : List_Id) is
5455    begin
5456       pragma Assert (False
5457         or else NT (N).Nkind = N_Pragma);
5458       Set_List2_With_Parent (N, Val);
5459    end Set_Pragma_Argument_Associations;
5460
5461    procedure Set_Pragma_Identifier
5462       (N : Node_Id; Val : Node_Id) is
5463    begin
5464       pragma Assert (False
5465         or else NT (N).Nkind = N_Pragma);
5466       Set_Node4_With_Parent (N, Val);
5467    end Set_Pragma_Identifier;
5468
5469    procedure Set_Pragmas_After
5470       (N : Node_Id; Val : List_Id) is
5471    begin
5472       pragma Assert (False
5473         or else NT (N).Nkind = N_Compilation_Unit_Aux
5474         or else NT (N).Nkind = N_Terminate_Alternative);
5475       Set_List5_With_Parent (N, Val);
5476    end Set_Pragmas_After;
5477
5478    procedure Set_Pragmas_Before
5479       (N : Node_Id; Val : List_Id) is
5480    begin
5481       pragma Assert (False
5482         or else NT (N).Nkind = N_Accept_Alternative
5483         or else NT (N).Nkind = N_Delay_Alternative
5484         or else NT (N).Nkind = N_Entry_Call_Alternative
5485         or else NT (N).Nkind = N_Mod_Clause
5486         or else NT (N).Nkind = N_Terminate_Alternative
5487         or else NT (N).Nkind = N_Triggering_Alternative);
5488       Set_List4_With_Parent (N, Val);
5489    end Set_Pragmas_Before;
5490
5491    procedure Set_Prefix
5492       (N : Node_Id; Val : Node_Id) is
5493    begin
5494       pragma Assert (False
5495         or else NT (N).Nkind = N_Attribute_Reference
5496         or else NT (N).Nkind = N_Expanded_Name
5497         or else NT (N).Nkind = N_Explicit_Dereference
5498         or else NT (N).Nkind = N_Indexed_Component
5499         or else NT (N).Nkind = N_Reference
5500         or else NT (N).Nkind = N_Selected_Component
5501         or else NT (N).Nkind = N_Slice);
5502       Set_Node3_With_Parent (N, Val);
5503    end Set_Prefix;
5504
5505    procedure Set_Premature_Use
5506       (N : Node_Id; Val : Node_Id) is
5507    begin
5508       pragma Assert (False
5509         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5510       Set_Node5 (N, Val);
5511    end Set_Premature_Use;
5512
5513    procedure Set_Present_Expr
5514       (N : Node_Id; Val : Uint) is
5515    begin
5516       pragma Assert (False
5517         or else NT (N).Nkind = N_Variant);
5518       Set_Uint3 (N, Val);
5519    end Set_Present_Expr;
5520
5521    procedure Set_Prev_Ids
5522       (N : Node_Id; Val : Boolean := True) is
5523    begin
5524       pragma Assert (False
5525         or else NT (N).Nkind = N_Component_Declaration
5526         or else NT (N).Nkind = N_Discriminant_Specification
5527         or else NT (N).Nkind = N_Exception_Declaration
5528         or else NT (N).Nkind = N_Formal_Object_Declaration
5529         or else NT (N).Nkind = N_Number_Declaration
5530         or else NT (N).Nkind = N_Object_Declaration
5531         or else NT (N).Nkind = N_Parameter_Specification);
5532       Set_Flag6 (N, Val);
5533    end Set_Prev_Ids;
5534
5535    procedure Set_Print_In_Hex
5536       (N : Node_Id; Val : Boolean := True) is
5537    begin
5538       pragma Assert (False
5539         or else NT (N).Nkind = N_Integer_Literal);
5540       Set_Flag13 (N, Val);
5541    end Set_Print_In_Hex;
5542
5543    procedure Set_Private_Declarations
5544       (N : Node_Id; Val : List_Id) is
5545    begin
5546       pragma Assert (False
5547         or else NT (N).Nkind = N_Package_Specification
5548         or else NT (N).Nkind = N_Protected_Definition
5549         or else NT (N).Nkind = N_Task_Definition);
5550       Set_List3_With_Parent (N, Val);
5551    end Set_Private_Declarations;
5552
5553    procedure Set_Private_Present
5554       (N : Node_Id; Val : Boolean := True) is
5555    begin
5556       pragma Assert (False
5557         or else NT (N).Nkind = N_Compilation_Unit
5558         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5559         or else NT (N).Nkind = N_With_Clause);
5560       Set_Flag15 (N, Val);
5561    end Set_Private_Present;
5562
5563    procedure Set_Procedure_To_Call
5564       (N : Node_Id; Val : Node_Id) is
5565    begin
5566       pragma Assert (False
5567         or else NT (N).Nkind = N_Allocator
5568         or else NT (N).Nkind = N_Extended_Return_Statement
5569         or else NT (N).Nkind = N_Free_Statement
5570         or else NT (N).Nkind = N_Return_Statement);
5571       Set_Node2 (N, Val); -- semantic field, no parent set
5572    end Set_Procedure_To_Call;
5573
5574    procedure Set_Proper_Body
5575       (N : Node_Id; Val : Node_Id) is
5576    begin
5577       pragma Assert (False
5578         or else NT (N).Nkind = N_Subunit);
5579       Set_Node1_With_Parent (N, Val);
5580    end Set_Proper_Body;
5581
5582    procedure Set_Protected_Definition
5583       (N : Node_Id; Val : Node_Id) is
5584    begin
5585       pragma Assert (False
5586         or else NT (N).Nkind = N_Protected_Type_Declaration
5587         or else NT (N).Nkind = N_Single_Protected_Declaration);
5588       Set_Node3_With_Parent (N, Val);
5589    end Set_Protected_Definition;
5590
5591    procedure Set_Protected_Present
5592       (N : Node_Id; Val : Boolean := True) is
5593    begin
5594       pragma Assert (False
5595         or else NT (N).Nkind = N_Access_Function_Definition
5596         or else NT (N).Nkind = N_Access_Procedure_Definition
5597         or else NT (N).Nkind = N_Derived_Type_Definition
5598         or else NT (N).Nkind = N_Record_Definition);
5599       Set_Flag6 (N, Val);
5600    end Set_Protected_Present;
5601
5602    procedure Set_Raises_Constraint_Error
5603       (N : Node_Id; Val : Boolean := True) is
5604    begin
5605       pragma Assert (False
5606         or else NT (N).Nkind in N_Subexpr);
5607       Set_Flag7 (N, Val);
5608    end Set_Raises_Constraint_Error;
5609
5610    procedure Set_Range_Constraint
5611       (N : Node_Id; Val : Node_Id) is
5612    begin
5613       pragma Assert (False
5614         or else NT (N).Nkind = N_Delta_Constraint
5615         or else NT (N).Nkind = N_Digits_Constraint);
5616       Set_Node4_With_Parent (N, Val);
5617    end Set_Range_Constraint;
5618
5619    procedure Set_Range_Expression
5620       (N : Node_Id; Val : Node_Id) is
5621    begin
5622       pragma Assert (False
5623         or else NT (N).Nkind = N_Range_Constraint);
5624       Set_Node4_With_Parent (N, Val);
5625    end Set_Range_Expression;
5626
5627    procedure Set_Real_Range_Specification
5628       (N : Node_Id; Val : Node_Id) is
5629    begin
5630       pragma Assert (False
5631         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5632         or else NT (N).Nkind = N_Floating_Point_Definition
5633         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5634       Set_Node4_With_Parent (N, Val);
5635    end Set_Real_Range_Specification;
5636
5637    procedure Set_Realval
5638      (N : Node_Id; Val : Ureal) is
5639    begin
5640       pragma Assert (False
5641         or else NT (N).Nkind = N_Real_Literal);
5642       Set_Ureal3 (N, Val);
5643    end Set_Realval;
5644
5645    procedure Set_Reason
5646       (N : Node_Id; Val : Uint) is
5647    begin
5648       pragma Assert (False
5649         or else NT (N).Nkind = N_Raise_Constraint_Error
5650         or else NT (N).Nkind = N_Raise_Program_Error
5651         or else NT (N).Nkind = N_Raise_Storage_Error);
5652       Set_Uint3 (N, Val);
5653    end Set_Reason;
5654
5655    procedure Set_Record_Extension_Part
5656       (N : Node_Id; Val : Node_Id) is
5657    begin
5658       pragma Assert (False
5659         or else NT (N).Nkind = N_Derived_Type_Definition);
5660       Set_Node3_With_Parent (N, Val);
5661    end Set_Record_Extension_Part;
5662
5663    procedure Set_Redundant_Use
5664       (N : Node_Id; Val : Boolean := True) is
5665    begin
5666       pragma Assert (False
5667         or else NT (N).Nkind = N_Attribute_Reference
5668         or else NT (N).Nkind = N_Expanded_Name
5669         or else NT (N).Nkind = N_Identifier);
5670       Set_Flag13 (N, Val);
5671    end Set_Redundant_Use;
5672
5673    procedure Set_Renaming_Exception
5674       (N : Node_Id; Val : Node_Id) is
5675    begin
5676       pragma Assert (False
5677         or else NT (N).Nkind = N_Exception_Declaration);
5678       Set_Node2 (N, Val);
5679    end Set_Renaming_Exception;
5680
5681    procedure Set_Result_Definition
5682      (N : Node_Id; Val : Node_Id) is
5683    begin
5684       pragma Assert (False
5685         or else NT (N).Nkind = N_Access_Function_Definition
5686         or else NT (N).Nkind = N_Function_Specification);
5687       Set_Node4_With_Parent (N, Val);
5688    end Set_Result_Definition;
5689
5690    procedure Set_Return_Object_Declarations
5691      (N : Node_Id; Val : List_Id) is
5692    begin
5693       pragma Assert (False
5694         or else NT (N).Nkind = N_Extended_Return_Statement);
5695       Set_List3_With_Parent (N, Val);
5696    end Set_Return_Object_Declarations;
5697
5698    procedure Set_Return_Statement_Entity
5699      (N : Node_Id; Val : Node_Id) is
5700    begin
5701       pragma Assert (False
5702         or else NT (N).Nkind = N_Extended_Return_Statement
5703         or else NT (N).Nkind = N_Return_Statement);
5704       Set_Node5 (N, Val); -- semantic field, no parent set
5705    end Set_Return_Statement_Entity;
5706
5707    procedure Set_Reverse_Present
5708       (N : Node_Id; Val : Boolean := True) is
5709    begin
5710       pragma Assert (False
5711         or else NT (N).Nkind = N_Iterator_Specification
5712         or else NT (N).Nkind = N_Loop_Parameter_Specification);
5713       Set_Flag15 (N, Val);
5714    end Set_Reverse_Present;
5715
5716    procedure Set_Right_Opnd
5717       (N : Node_Id; Val : Node_Id) is
5718    begin
5719       pragma Assert (False
5720         or else NT (N).Nkind in N_Op
5721         or else NT (N).Nkind = N_And_Then
5722         or else NT (N).Nkind = N_In
5723         or else NT (N).Nkind = N_Not_In
5724         or else NT (N).Nkind = N_Or_Else);
5725       Set_Node3_With_Parent (N, Val);
5726    end Set_Right_Opnd;
5727
5728    procedure Set_Rounded_Result
5729       (N : Node_Id; Val : Boolean := True) is
5730    begin
5731       pragma Assert (False
5732         or else NT (N).Nkind = N_Op_Divide
5733         or else NT (N).Nkind = N_Op_Multiply
5734         or else NT (N).Nkind = N_Type_Conversion);
5735       Set_Flag18 (N, Val);
5736    end Set_Rounded_Result;
5737
5738    procedure Set_SCIL_Controlling_Tag
5739       (N : Node_Id; Val : Node_Id) is
5740    begin
5741       pragma Assert (False
5742         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5743       Set_Node5 (N, Val); -- semantic field, no parent set
5744    end Set_SCIL_Controlling_Tag;
5745
5746    procedure Set_SCIL_Entity
5747       (N : Node_Id; Val : Node_Id) is
5748    begin
5749       pragma Assert (False
5750         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5751         or else NT (N).Nkind = N_SCIL_Dispatching_Call
5752         or else NT (N).Nkind = N_SCIL_Membership_Test);
5753       Set_Node4 (N, Val); -- semantic field, no parent set
5754    end Set_SCIL_Entity;
5755
5756    procedure Set_SCIL_Tag_Value
5757       (N : Node_Id; Val : Node_Id) is
5758    begin
5759       pragma Assert (False
5760         or else NT (N).Nkind = N_SCIL_Membership_Test);
5761       Set_Node5 (N, Val); -- semantic field, no parent set
5762    end Set_SCIL_Tag_Value;
5763
5764    procedure Set_SCIL_Target_Prim
5765       (N : Node_Id; Val : Node_Id) is
5766    begin
5767       pragma Assert (False
5768         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5769       Set_Node2 (N, Val); -- semantic field, no parent set
5770    end Set_SCIL_Target_Prim;
5771
5772    procedure Set_Scope
5773       (N : Node_Id; Val : Node_Id) is
5774    begin
5775       pragma Assert (False
5776         or else NT (N).Nkind = N_Defining_Character_Literal
5777         or else NT (N).Nkind = N_Defining_Identifier
5778         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5779       Set_Node3 (N, Val); -- semantic field, no parent set
5780    end Set_Scope;
5781
5782    procedure Set_Select_Alternatives
5783       (N : Node_Id; Val : List_Id) is
5784    begin
5785       pragma Assert (False
5786         or else NT (N).Nkind = N_Selective_Accept);
5787       Set_List1_With_Parent (N, Val);
5788    end Set_Select_Alternatives;
5789
5790    procedure Set_Selector_Name
5791       (N : Node_Id; Val : Node_Id) is
5792    begin
5793       pragma Assert (False
5794         or else NT (N).Nkind = N_Expanded_Name
5795         or else NT (N).Nkind = N_Generic_Association
5796         or else NT (N).Nkind = N_Parameter_Association
5797         or else NT (N).Nkind = N_Selected_Component);
5798       Set_Node2_With_Parent (N, Val);
5799    end Set_Selector_Name;
5800
5801    procedure Set_Selector_Names
5802       (N : Node_Id; Val : List_Id) is
5803    begin
5804       pragma Assert (False
5805         or else NT (N).Nkind = N_Discriminant_Association);
5806       Set_List1_With_Parent (N, Val);
5807    end Set_Selector_Names;
5808
5809    procedure Set_Shift_Count_OK
5810       (N : Node_Id; Val : Boolean := True) is
5811    begin
5812       pragma Assert (False
5813         or else NT (N).Nkind = N_Op_Rotate_Left
5814         or else NT (N).Nkind = N_Op_Rotate_Right
5815         or else NT (N).Nkind = N_Op_Shift_Left
5816         or else NT (N).Nkind = N_Op_Shift_Right
5817         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5818       Set_Flag4 (N, Val);
5819    end Set_Shift_Count_OK;
5820
5821    procedure Set_Source_Type
5822       (N : Node_Id; Val : Entity_Id) is
5823    begin
5824       pragma Assert (False
5825         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5826       Set_Node1 (N, Val); -- semantic field, no parent set
5827    end Set_Source_Type;
5828
5829    procedure Set_Spec_PPC_List
5830       (N : Node_Id; Val : Node_Id) is
5831    begin
5832       pragma Assert (False
5833         or else NT (N).Nkind = N_Contract);
5834       Set_Node1 (N, Val); -- semantic field, no parent set
5835    end Set_Spec_PPC_List;
5836
5837    procedure Set_Spec_TC_List
5838       (N : Node_Id; Val : Node_Id) is
5839    begin
5840       pragma Assert (False
5841         or else NT (N).Nkind = N_Contract);
5842       Set_Node2 (N, Val); -- semantic field, no parent set
5843    end Set_Spec_TC_List;
5844
5845    procedure Set_Specification
5846       (N : Node_Id; Val : Node_Id) is
5847    begin
5848       pragma Assert (False
5849         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5850         or else NT (N).Nkind = N_Expression_Function
5851         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5852         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5853         or else NT (N).Nkind = N_Generic_Package_Declaration
5854         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5855         or else NT (N).Nkind = N_Package_Declaration
5856         or else NT (N).Nkind = N_Subprogram_Body
5857         or else NT (N).Nkind = N_Subprogram_Body_Stub
5858         or else NT (N).Nkind = N_Subprogram_Declaration
5859         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5860       Set_Node1_With_Parent (N, Val);
5861    end Set_Specification;
5862
5863    procedure Set_Split_PPC
5864       (N : Node_Id; Val : Boolean) is
5865    begin
5866       pragma Assert (False
5867         or else NT (N).Nkind = N_Aspect_Specification
5868         or else NT (N).Nkind = N_Pragma);
5869       Set_Flag17 (N, Val);
5870    end Set_Split_PPC;
5871
5872    procedure Set_Statements
5873       (N : Node_Id; Val : List_Id) is
5874    begin
5875       pragma Assert (False
5876         or else NT (N).Nkind = N_Abortable_Part
5877         or else NT (N).Nkind = N_Accept_Alternative
5878         or else NT (N).Nkind = N_Case_Statement_Alternative
5879         or else NT (N).Nkind = N_Delay_Alternative
5880         or else NT (N).Nkind = N_Entry_Call_Alternative
5881         or else NT (N).Nkind = N_Exception_Handler
5882         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5883         or else NT (N).Nkind = N_Loop_Statement
5884         or else NT (N).Nkind = N_Triggering_Alternative);
5885       Set_List3_With_Parent (N, Val);
5886    end Set_Statements;
5887
5888    procedure Set_Static_Processing_OK
5889       (N : Node_Id; Val : Boolean) is
5890    begin
5891       pragma Assert (False
5892         or else NT (N).Nkind = N_Aggregate);
5893       Set_Flag4 (N, Val);
5894    end Set_Static_Processing_OK;
5895
5896    procedure Set_Storage_Pool
5897       (N : Node_Id; Val : Node_Id) is
5898    begin
5899       pragma Assert (False
5900         or else NT (N).Nkind = N_Allocator
5901         or else NT (N).Nkind = N_Extended_Return_Statement
5902         or else NT (N).Nkind = N_Free_Statement
5903         or else NT (N).Nkind = N_Return_Statement);
5904       Set_Node1 (N, Val); -- semantic field, no parent set
5905    end Set_Storage_Pool;
5906
5907    procedure Set_Subpool_Handle_Name
5908       (N : Node_Id; Val : Node_Id) is
5909    begin
5910       pragma Assert (False
5911         or else NT (N).Nkind = N_Allocator);
5912       Set_Node4_With_Parent (N, Val);
5913    end Set_Subpool_Handle_Name;
5914
5915    procedure Set_Strval
5916       (N : Node_Id; Val : String_Id) is
5917    begin
5918       pragma Assert (False
5919         or else NT (N).Nkind = N_Operator_Symbol
5920         or else NT (N).Nkind = N_String_Literal);
5921       Set_Str3 (N, Val);
5922    end Set_Strval;
5923
5924    procedure Set_Subtype_Indication
5925       (N : Node_Id; Val : Node_Id) is
5926    begin
5927       pragma Assert (False
5928         or else NT (N).Nkind = N_Access_To_Object_Definition
5929         or else NT (N).Nkind = N_Component_Definition
5930         or else NT (N).Nkind = N_Derived_Type_Definition
5931         or else NT (N).Nkind = N_Iterator_Specification
5932         or else NT (N).Nkind = N_Private_Extension_Declaration
5933         or else NT (N).Nkind = N_Subtype_Declaration);
5934       Set_Node5_With_Parent (N, Val);
5935    end Set_Subtype_Indication;
5936
5937    procedure Set_Subtype_Mark
5938       (N : Node_Id; Val : Node_Id) is
5939    begin
5940       pragma Assert (False
5941         or else NT (N).Nkind = N_Access_Definition
5942         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5943         or else NT (N).Nkind = N_Formal_Object_Declaration
5944         or else NT (N).Nkind = N_Object_Renaming_Declaration
5945         or else NT (N).Nkind = N_Qualified_Expression
5946         or else NT (N).Nkind = N_Subtype_Indication
5947         or else NT (N).Nkind = N_Type_Conversion
5948         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5949       Set_Node4_With_Parent (N, Val);
5950    end Set_Subtype_Mark;
5951
5952    procedure Set_Subtype_Marks
5953       (N : Node_Id; Val : List_Id) is
5954    begin
5955       pragma Assert (False
5956         or else NT (N).Nkind = N_Unconstrained_Array_Definition
5957         or else NT (N).Nkind = N_Use_Type_Clause);
5958       Set_List2_With_Parent (N, Val);
5959    end Set_Subtype_Marks;
5960
5961    procedure Set_Suppress_Assignment_Checks
5962       (N : Node_Id; Val : Boolean := True) is
5963    begin
5964       pragma Assert (False
5965         or else NT (N).Nkind = N_Assignment_Statement
5966         or else NT (N).Nkind = N_Object_Declaration);
5967       Set_Flag18 (N, Val);
5968    end Set_Suppress_Assignment_Checks;
5969
5970    procedure Set_Suppress_Loop_Warnings
5971       (N : Node_Id; Val : Boolean := True) is
5972    begin
5973       pragma Assert (False
5974         or else NT (N).Nkind = N_Loop_Statement);
5975       Set_Flag17 (N, Val);
5976    end Set_Suppress_Loop_Warnings;
5977
5978    procedure Set_Synchronized_Present
5979      (N : Node_Id; Val : Boolean := True) is
5980    begin
5981       pragma Assert (False
5982         or else NT (N).Nkind = N_Derived_Type_Definition
5983         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5984         or else NT (N).Nkind = N_Private_Extension_Declaration
5985         or else NT (N).Nkind = N_Record_Definition);
5986       Set_Flag7 (N, Val);
5987    end Set_Synchronized_Present;
5988
5989    procedure Set_Tagged_Present
5990       (N : Node_Id; Val : Boolean := True) is
5991    begin
5992       pragma Assert (False
5993         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
5994         or else NT (N).Nkind = N_Formal_Private_Type_Definition
5995         or else NT (N).Nkind = N_Incomplete_Type_Declaration
5996         or else NT (N).Nkind = N_Private_Type_Declaration
5997         or else NT (N).Nkind = N_Record_Definition);
5998       Set_Flag15 (N, Val);
5999    end Set_Tagged_Present;
6000
6001    procedure Set_Target_Type
6002       (N : Node_Id; Val : Entity_Id) is
6003    begin
6004       pragma Assert (False
6005         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6006       Set_Node2 (N, Val); -- semantic field, no parent set
6007    end Set_Target_Type;
6008
6009    procedure Set_Task_Definition
6010       (N : Node_Id; Val : Node_Id) is
6011    begin
6012       pragma Assert (False
6013         or else NT (N).Nkind = N_Single_Task_Declaration
6014         or else NT (N).Nkind = N_Task_Type_Declaration);
6015       Set_Node3_With_Parent (N, Val);
6016    end Set_Task_Definition;
6017
6018    procedure Set_Task_Present
6019      (N : Node_Id; Val : Boolean := True) is
6020    begin
6021       pragma Assert (False
6022         or else NT (N).Nkind = N_Derived_Type_Definition
6023         or else NT (N).Nkind = N_Record_Definition);
6024       Set_Flag5 (N, Val);
6025    end Set_Task_Present;
6026
6027    procedure Set_Then_Actions
6028       (N : Node_Id; Val : List_Id) is
6029    begin
6030       pragma Assert (False
6031         or else NT (N).Nkind = N_Conditional_Expression);
6032       Set_List2 (N, Val); -- semantic field, no parent set
6033    end Set_Then_Actions;
6034
6035    procedure Set_Then_Statements
6036       (N : Node_Id; Val : List_Id) is
6037    begin
6038       pragma Assert (False
6039         or else NT (N).Nkind = N_Elsif_Part
6040         or else NT (N).Nkind = N_If_Statement);
6041       Set_List2_With_Parent (N, Val);
6042    end Set_Then_Statements;
6043
6044    procedure Set_Treat_Fixed_As_Integer
6045       (N : Node_Id; Val : Boolean := True) is
6046    begin
6047       pragma Assert (False
6048         or else NT (N).Nkind = N_Op_Divide
6049         or else NT (N).Nkind = N_Op_Mod
6050         or else NT (N).Nkind = N_Op_Multiply
6051         or else NT (N).Nkind = N_Op_Rem);
6052       Set_Flag14 (N, Val);
6053    end Set_Treat_Fixed_As_Integer;
6054
6055    procedure Set_Triggering_Alternative
6056       (N : Node_Id; Val : Node_Id) is
6057    begin
6058       pragma Assert (False
6059         or else NT (N).Nkind = N_Asynchronous_Select);
6060       Set_Node1_With_Parent (N, Val);
6061    end Set_Triggering_Alternative;
6062
6063    procedure Set_Triggering_Statement
6064       (N : Node_Id; Val : Node_Id) is
6065    begin
6066       pragma Assert (False
6067         or else NT (N).Nkind = N_Triggering_Alternative);
6068       Set_Node1_With_Parent (N, Val);
6069    end Set_Triggering_Statement;
6070
6071    procedure Set_TSS_Elist
6072       (N : Node_Id; Val : Elist_Id) is
6073    begin
6074       pragma Assert (False
6075         or else NT (N).Nkind = N_Freeze_Entity);
6076       Set_Elist3 (N, Val); -- semantic field, no parent set
6077    end Set_TSS_Elist;
6078
6079    procedure Set_Type_Definition
6080       (N : Node_Id; Val : Node_Id) is
6081    begin
6082       pragma Assert (False
6083         or else NT (N).Nkind = N_Full_Type_Declaration);
6084       Set_Node3_With_Parent (N, Val);
6085    end Set_Type_Definition;
6086
6087    procedure Set_Unit
6088       (N : Node_Id; Val : Node_Id) is
6089    begin
6090       pragma Assert (False
6091         or else NT (N).Nkind = N_Compilation_Unit);
6092       Set_Node2_With_Parent (N, Val);
6093    end Set_Unit;
6094
6095    procedure Set_Unknown_Discriminants_Present
6096       (N : Node_Id; Val : Boolean := True) is
6097    begin
6098       pragma Assert (False
6099         or else NT (N).Nkind = N_Formal_Type_Declaration
6100         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6101         or else NT (N).Nkind = N_Private_Extension_Declaration
6102         or else NT (N).Nkind = N_Private_Type_Declaration);
6103       Set_Flag13 (N, Val);
6104    end Set_Unknown_Discriminants_Present;
6105
6106    procedure Set_Unreferenced_In_Spec
6107       (N : Node_Id; Val : Boolean := True) is
6108    begin
6109       pragma Assert (False
6110         or else NT (N).Nkind = N_With_Clause);
6111       Set_Flag7 (N, Val);
6112    end Set_Unreferenced_In_Spec;
6113
6114    procedure Set_Variant_Part
6115       (N : Node_Id; Val : Node_Id) is
6116    begin
6117       pragma Assert (False
6118         or else NT (N).Nkind = N_Component_List);
6119       Set_Node4_With_Parent (N, Val);
6120    end Set_Variant_Part;
6121
6122    procedure Set_Variants
6123       (N : Node_Id; Val : List_Id) is
6124    begin
6125       pragma Assert (False
6126         or else NT (N).Nkind = N_Variant_Part);
6127       Set_List1_With_Parent (N, Val);
6128    end Set_Variants;
6129
6130    procedure Set_Visible_Declarations
6131       (N : Node_Id; Val : List_Id) is
6132    begin
6133       pragma Assert (False
6134         or else NT (N).Nkind = N_Package_Specification
6135         or else NT (N).Nkind = N_Protected_Definition
6136         or else NT (N).Nkind = N_Task_Definition);
6137       Set_List2_With_Parent (N, Val);
6138    end Set_Visible_Declarations;
6139
6140    procedure Set_Used_Operations
6141      (N : Node_Id; Val :  Elist_Id) is
6142    begin
6143       pragma Assert (False
6144         or else NT (N).Nkind = N_Use_Type_Clause);
6145       Set_Elist5 (N, Val);
6146    end Set_Used_Operations;
6147
6148    procedure Set_Was_Originally_Stub
6149       (N : Node_Id; Val : Boolean := True) is
6150    begin
6151       pragma Assert (False
6152         or else NT (N).Nkind = N_Package_Body
6153         or else NT (N).Nkind = N_Protected_Body
6154         or else NT (N).Nkind = N_Subprogram_Body
6155         or else NT (N).Nkind = N_Task_Body);
6156       Set_Flag13 (N, Val);
6157    end Set_Was_Originally_Stub;
6158
6159    procedure Set_Withed_Body
6160      (N : Node_Id; Val : Node_Id) is
6161    begin
6162       pragma Assert (False
6163         or else NT (N).Nkind = N_With_Clause);
6164       Set_Node1 (N, Val);
6165    end Set_Withed_Body;
6166
6167    -------------------------
6168    -- Iterator Procedures --
6169    -------------------------
6170
6171    procedure Next_Entity       (N : in out Node_Id) is
6172    begin
6173       N := Next_Entity (N);
6174    end Next_Entity;
6175
6176    procedure Next_Named_Actual (N : in out Node_Id) is
6177    begin
6178       N := Next_Named_Actual (N);
6179    end Next_Named_Actual;
6180
6181    procedure Next_Rep_Item     (N : in out Node_Id) is
6182    begin
6183       N := Next_Rep_Item (N);
6184    end Next_Rep_Item;
6185
6186    procedure Next_Use_Clause   (N : in out Node_Id) is
6187    begin
6188       N := Next_Use_Clause (N);
6189    end Next_Use_Clause;
6190
6191    ------------------
6192    -- End_Location --
6193    ------------------
6194
6195    function End_Location (N : Node_Id) return Source_Ptr is
6196       L : constant Uint := End_Span (N);
6197    begin
6198       if L = No_Uint then
6199          return No_Location;
6200       else
6201          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6202       end if;
6203    end End_Location;
6204
6205    --------------------
6206    -- Get_Pragma_Arg --
6207    --------------------
6208
6209    function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6210    begin
6211       if Nkind (Arg) = N_Pragma_Argument_Association then
6212          return Expression (Arg);
6213       else
6214          return Arg;
6215       end if;
6216    end Get_Pragma_Arg;
6217
6218    ----------------------
6219    -- Set_End_Location --
6220    ----------------------
6221
6222    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6223    begin
6224       Set_End_Span (N,
6225         UI_From_Int (Int (S) - Int (Sloc (N))));
6226    end Set_End_Location;
6227
6228    --------------
6229    -- Nkind_In --
6230    --------------
6231
6232    function Nkind_In
6233      (T  : Node_Kind;
6234       V1 : Node_Kind;
6235       V2 : Node_Kind) return Boolean
6236    is
6237    begin
6238       return T = V1 or else
6239              T = V2;
6240    end Nkind_In;
6241
6242    function Nkind_In
6243      (T  : Node_Kind;
6244       V1 : Node_Kind;
6245       V2 : Node_Kind;
6246       V3 : Node_Kind) return Boolean
6247    is
6248    begin
6249       return T = V1 or else
6250              T = V2 or else
6251              T = V3;
6252    end Nkind_In;
6253
6254    function Nkind_In
6255      (T  : Node_Kind;
6256       V1 : Node_Kind;
6257       V2 : Node_Kind;
6258       V3 : Node_Kind;
6259       V4 : Node_Kind) return Boolean
6260    is
6261    begin
6262       return T = V1 or else
6263              T = V2 or else
6264              T = V3 or else
6265              T = V4;
6266    end Nkind_In;
6267
6268    function Nkind_In
6269      (T  : Node_Kind;
6270       V1 : Node_Kind;
6271       V2 : Node_Kind;
6272       V3 : Node_Kind;
6273       V4 : Node_Kind;
6274       V5 : Node_Kind) return Boolean
6275    is
6276    begin
6277       return T = V1 or else
6278              T = V2 or else
6279              T = V3 or else
6280              T = V4 or else
6281              T = V5;
6282    end Nkind_In;
6283
6284    function Nkind_In
6285      (T  : Node_Kind;
6286       V1 : Node_Kind;
6287       V2 : Node_Kind;
6288       V3 : Node_Kind;
6289       V4 : Node_Kind;
6290       V5 : Node_Kind;
6291       V6 : Node_Kind) return Boolean
6292    is
6293    begin
6294       return T = V1 or else
6295              T = V2 or else
6296              T = V3 or else
6297              T = V4 or else
6298              T = V5 or else
6299              T = V6;
6300    end Nkind_In;
6301
6302    function Nkind_In
6303      (T  : Node_Kind;
6304       V1 : Node_Kind;
6305       V2 : Node_Kind;
6306       V3 : Node_Kind;
6307       V4 : Node_Kind;
6308       V5 : Node_Kind;
6309       V6 : Node_Kind;
6310       V7 : Node_Kind) return Boolean
6311    is
6312    begin
6313       return T = V1 or else
6314              T = V2 or else
6315              T = V3 or else
6316              T = V4 or else
6317              T = V5 or else
6318              T = V6 or else
6319              T = V7;
6320    end Nkind_In;
6321
6322    function Nkind_In
6323      (T  : Node_Kind;
6324       V1 : Node_Kind;
6325       V2 : Node_Kind;
6326       V3 : Node_Kind;
6327       V4 : Node_Kind;
6328       V5 : Node_Kind;
6329       V6 : Node_Kind;
6330       V7 : Node_Kind;
6331       V8 : Node_Kind) return Boolean
6332    is
6333    begin
6334       return T = V1 or else
6335              T = V2 or else
6336              T = V3 or else
6337              T = V4 or else
6338              T = V5 or else
6339              T = V6 or else
6340              T = V7 or else
6341              T = V8;
6342    end Nkind_In;
6343
6344    function Nkind_In
6345      (T  : Node_Kind;
6346       V1 : Node_Kind;
6347       V2 : Node_Kind;
6348       V3 : Node_Kind;
6349       V4 : Node_Kind;
6350       V5 : Node_Kind;
6351       V6 : Node_Kind;
6352       V7 : Node_Kind;
6353       V8 : Node_Kind;
6354       V9 : Node_Kind) return Boolean
6355    is
6356    begin
6357       return T = V1 or else
6358              T = V2 or else
6359              T = V3 or else
6360              T = V4 or else
6361              T = V5 or else
6362              T = V6 or else
6363              T = V7 or else
6364              T = V8 or else
6365              T = V9;
6366    end Nkind_In;
6367
6368    -----------------
6369    -- Pragma_Name --
6370    -----------------
6371
6372    function Pragma_Name (N : Node_Id) return Name_Id is
6373    begin
6374       return Chars (Pragma_Identifier (N));
6375    end Pragma_Name;
6376
6377 end Sinfo;