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