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_CPU
1480       (N : Node_Id) return Boolean is
1481    begin
1482       pragma Assert (False
1483         or else NT (N).Nkind = N_Subprogram_Body
1484         or else NT (N).Nkind = N_Task_Definition);
1485       return Flag14 (N);
1486    end Has_Pragma_CPU;
1487
1488    function Has_Pragma_Dispatching_Domain
1489      (N : Node_Id) return Boolean is
1490    begin
1491       pragma Assert (False
1492         or else NT (N).Nkind = N_Task_Definition);
1493       return Flag15 (N);
1494    end Has_Pragma_Dispatching_Domain;
1495
1496    function Has_Pragma_Priority
1497       (N : Node_Id) return Boolean is
1498    begin
1499       pragma Assert (False
1500         or else NT (N).Nkind = N_Protected_Definition
1501         or else NT (N).Nkind = N_Subprogram_Body
1502         or else NT (N).Nkind = N_Task_Definition);
1503       return Flag6 (N);
1504    end Has_Pragma_Priority;
1505
1506    function Has_Pragma_Suppress_All
1507       (N : Node_Id) return Boolean is
1508    begin
1509       pragma Assert (False
1510         or else NT (N).Nkind = N_Compilation_Unit);
1511       return Flag14 (N);
1512    end Has_Pragma_Suppress_All;
1513
1514    function Has_Private_View
1515       (N : Node_Id) return Boolean is
1516    begin
1517       pragma Assert (False
1518        or else NT (N).Nkind in N_Op
1519        or else NT (N).Nkind = N_Character_Literal
1520        or else NT (N).Nkind = N_Expanded_Name
1521        or else NT (N).Nkind = N_Identifier
1522        or else NT (N).Nkind = N_Operator_Symbol);
1523       return Flag11 (N);
1524    end Has_Private_View;
1525
1526    function Has_Relative_Deadline_Pragma
1527       (N : Node_Id) return Boolean is
1528    begin
1529       pragma Assert (False
1530         or else NT (N).Nkind = N_Subprogram_Body
1531         or else NT (N).Nkind = N_Task_Definition);
1532       return Flag9 (N);
1533    end Has_Relative_Deadline_Pragma;
1534
1535    function Has_Self_Reference
1536       (N : Node_Id) return Boolean is
1537    begin
1538       pragma Assert (False
1539         or else NT (N).Nkind = N_Aggregate
1540         or else NT (N).Nkind = N_Extension_Aggregate);
1541       return Flag13 (N);
1542    end Has_Self_Reference;
1543
1544    function Has_Storage_Size_Pragma
1545       (N : Node_Id) return Boolean is
1546    begin
1547       pragma Assert (False
1548         or else NT (N).Nkind = N_Task_Definition);
1549       return Flag5 (N);
1550    end Has_Storage_Size_Pragma;
1551
1552    function Has_Task_Info_Pragma
1553       (N : Node_Id) return Boolean is
1554    begin
1555       pragma Assert (False
1556         or else NT (N).Nkind = N_Task_Definition);
1557       return Flag7 (N);
1558    end Has_Task_Info_Pragma;
1559
1560    function Has_Task_Name_Pragma
1561       (N : Node_Id) return Boolean is
1562    begin
1563       pragma Assert (False
1564         or else NT (N).Nkind = N_Task_Definition);
1565       return Flag8 (N);
1566    end Has_Task_Name_Pragma;
1567
1568    function Has_Wide_Character
1569       (N : Node_Id) return Boolean is
1570    begin
1571       pragma Assert (False
1572         or else NT (N).Nkind = N_String_Literal);
1573       return Flag11 (N);
1574    end Has_Wide_Character;
1575
1576    function Has_Wide_Wide_Character
1577       (N : Node_Id) return Boolean is
1578    begin
1579       pragma Assert (False
1580         or else NT (N).Nkind = N_String_Literal);
1581       return Flag13 (N);
1582    end Has_Wide_Wide_Character;
1583
1584    function Header_Size_Added
1585       (N : Node_Id) return Boolean is
1586    begin
1587       pragma Assert (False
1588         or else NT (N).Nkind = N_Attribute_Reference);
1589       return Flag11 (N);
1590    end Header_Size_Added;
1591
1592    function Hidden_By_Use_Clause
1593      (N : Node_Id) return Elist_Id is
1594    begin
1595       pragma Assert (False
1596         or else NT (N).Nkind = N_Use_Package_Clause
1597         or else NT (N).Nkind = N_Use_Type_Clause);
1598       return Elist4 (N);
1599    end Hidden_By_Use_Clause;
1600
1601    function High_Bound
1602       (N : Node_Id) return Node_Id is
1603    begin
1604       pragma Assert (False
1605         or else NT (N).Nkind = N_Range
1606         or else NT (N).Nkind = N_Real_Range_Specification
1607         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1608       return Node2 (N);
1609    end High_Bound;
1610
1611    function Identifier
1612       (N : Node_Id) return Node_Id is
1613    begin
1614       pragma Assert (False
1615         or else NT (N).Nkind = N_Aspect_Specification
1616         or else NT (N).Nkind = N_At_Clause
1617         or else NT (N).Nkind = N_Block_Statement
1618         or else NT (N).Nkind = N_Designator
1619         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1620         or else NT (N).Nkind = N_Label
1621         or else NT (N).Nkind = N_Loop_Statement
1622         or else NT (N).Nkind = N_Record_Representation_Clause
1623         or else NT (N).Nkind = N_Subprogram_Info);
1624       return Node1 (N);
1625    end Identifier;
1626
1627    function Implicit_With
1628       (N : Node_Id) return Boolean is
1629    begin
1630       pragma Assert (False
1631         or else NT (N).Nkind = N_With_Clause);
1632       return Flag16 (N);
1633    end Implicit_With;
1634
1635    function Implicit_With_From_Instantiation
1636       (N : Node_Id) return Boolean is
1637    begin
1638       pragma Assert (False
1639         or else NT (N).Nkind = N_With_Clause);
1640       return Flag12 (N);
1641    end Implicit_With_From_Instantiation;
1642
1643    function Interface_List
1644       (N : Node_Id) return List_Id is
1645    begin
1646       pragma Assert (False
1647         or else NT (N).Nkind = N_Derived_Type_Definition
1648         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1649         or else NT (N).Nkind = N_Private_Extension_Declaration
1650         or else NT (N).Nkind = N_Protected_Type_Declaration
1651         or else NT (N).Nkind = N_Record_Definition
1652         or else NT (N).Nkind = N_Single_Protected_Declaration
1653         or else NT (N).Nkind = N_Single_Task_Declaration
1654         or else NT (N).Nkind = N_Task_Type_Declaration);
1655       return List2 (N);
1656    end Interface_List;
1657
1658    function Interface_Present
1659       (N : Node_Id) return Boolean is
1660    begin
1661       pragma Assert (False
1662         or else NT (N).Nkind = N_Derived_Type_Definition
1663         or else NT (N).Nkind = N_Record_Definition);
1664       return Flag16 (N);
1665    end Interface_Present;
1666
1667    function Import_Interface_Present
1668       (N : Node_Id) return Boolean is
1669    begin
1670       pragma Assert (False
1671         or else NT (N).Nkind = N_Pragma);
1672       return Flag16 (N);
1673    end Import_Interface_Present;
1674
1675    function In_Present
1676       (N : Node_Id) return Boolean is
1677    begin
1678       pragma Assert (False
1679         or else NT (N).Nkind = N_Formal_Object_Declaration
1680         or else NT (N).Nkind = N_Parameter_Specification);
1681       return Flag15 (N);
1682    end In_Present;
1683
1684    function Includes_Infinities
1685       (N : Node_Id) return Boolean is
1686    begin
1687       pragma Assert (False
1688         or else NT (N).Nkind = N_Range);
1689       return Flag11 (N);
1690    end Includes_Infinities;
1691
1692    function Inherited_Discriminant
1693       (N : Node_Id) return Boolean is
1694    begin
1695       pragma Assert (False
1696         or else NT (N).Nkind = N_Component_Association);
1697       return Flag13 (N);
1698    end Inherited_Discriminant;
1699
1700    function Instance_Spec
1701       (N : Node_Id) return Node_Id is
1702    begin
1703       pragma Assert (False
1704         or else NT (N).Nkind = N_Formal_Package_Declaration
1705         or else NT (N).Nkind = N_Function_Instantiation
1706         or else NT (N).Nkind = N_Package_Instantiation
1707         or else NT (N).Nkind = N_Procedure_Instantiation);
1708       return Node5 (N);
1709    end Instance_Spec;
1710
1711    function Intval
1712       (N : Node_Id) return Uint is
1713    begin
1714       pragma Assert (False
1715         or else NT (N).Nkind = N_Integer_Literal);
1716       return Uint3 (N);
1717    end Intval;
1718
1719    function Is_Accessibility_Actual
1720      (N : Node_Id) return Boolean is
1721    begin
1722       pragma Assert (False
1723         or else NT (N).Nkind = N_Parameter_Association);
1724       return Flag13 (N);
1725    end Is_Accessibility_Actual;
1726
1727    function Is_Asynchronous_Call_Block
1728       (N : Node_Id) return Boolean is
1729    begin
1730       pragma Assert (False
1731         or else NT (N).Nkind = N_Block_Statement);
1732       return Flag7 (N);
1733    end Is_Asynchronous_Call_Block;
1734
1735    function Is_Boolean_Aspect
1736       (N : Node_Id) return Boolean is
1737    begin
1738       pragma Assert (False
1739         or else NT (N).Nkind = N_Aspect_Specification);
1740       return Flag16 (N);
1741    end Is_Boolean_Aspect;
1742
1743    function Is_Component_Left_Opnd
1744       (N : Node_Id) return Boolean is
1745    begin
1746       pragma Assert (False
1747         or else NT (N).Nkind = N_Op_Concat);
1748       return Flag13 (N);
1749    end Is_Component_Left_Opnd;
1750
1751    function Is_Component_Right_Opnd
1752       (N : Node_Id) return Boolean is
1753    begin
1754       pragma Assert (False
1755         or else NT (N).Nkind = N_Op_Concat);
1756       return Flag14 (N);
1757    end Is_Component_Right_Opnd;
1758
1759    function Is_Controlling_Actual
1760       (N : Node_Id) return Boolean is
1761    begin
1762       pragma Assert (False
1763         or else NT (N).Nkind in N_Subexpr);
1764       return Flag16 (N);
1765    end Is_Controlling_Actual;
1766
1767    function Is_Delayed_Aspect
1768       (N : Node_Id) return Boolean is
1769    begin
1770       pragma Assert (False
1771         or else NT (N).Nkind = N_Aspect_Specification
1772         or else NT (N).Nkind = N_Attribute_Definition_Clause
1773         or else NT (N).Nkind = N_Pragma);
1774       return Flag14 (N);
1775    end Is_Delayed_Aspect;
1776
1777    function Is_Dynamic_Coextension
1778       (N : Node_Id) return Boolean is
1779    begin
1780       pragma Assert (False
1781         or else NT (N).Nkind = N_Allocator);
1782       return Flag18 (N);
1783    end Is_Dynamic_Coextension;
1784
1785    function Is_Elsif
1786      (N : Node_Id) return Boolean is
1787    begin
1788       pragma Assert (False
1789         or else NT (N).Nkind = N_Conditional_Expression);
1790       return Flag13 (N);
1791    end Is_Elsif;
1792
1793    function Is_Entry_Barrier_Function
1794       (N : Node_Id) return Boolean is
1795    begin
1796       pragma Assert (False
1797         or else NT (N).Nkind = N_Subprogram_Body);
1798       return Flag8 (N);
1799    end Is_Entry_Barrier_Function;
1800
1801    function Is_Expanded_Build_In_Place_Call
1802       (N : Node_Id) return Boolean is
1803    begin
1804       pragma Assert (False
1805         or else NT (N).Nkind = N_Function_Call);
1806       return Flag11 (N);
1807    end Is_Expanded_Build_In_Place_Call;
1808
1809    function Is_Folded_In_Parser
1810       (N : Node_Id) return Boolean is
1811    begin
1812       pragma Assert (False
1813         or else NT (N).Nkind = N_String_Literal);
1814       return Flag4 (N);
1815    end Is_Folded_In_Parser;
1816
1817    function Is_In_Discriminant_Check
1818       (N : Node_Id) return Boolean is
1819    begin
1820       pragma Assert (False
1821         or else NT (N).Nkind = N_Selected_Component);
1822       return Flag11 (N);
1823    end Is_In_Discriminant_Check;
1824
1825    function Is_Machine_Number
1826       (N : Node_Id) return Boolean is
1827    begin
1828       pragma Assert (False
1829         or else NT (N).Nkind = N_Real_Literal);
1830       return Flag11 (N);
1831    end Is_Machine_Number;
1832
1833    function Is_Null_Loop
1834       (N : Node_Id) return Boolean is
1835    begin
1836       pragma Assert (False
1837         or else NT (N).Nkind = N_Loop_Statement);
1838       return Flag16 (N);
1839    end Is_Null_Loop;
1840
1841    function Is_Overloaded
1842       (N : Node_Id) return Boolean is
1843    begin
1844       pragma Assert (False
1845         or else NT (N).Nkind in N_Subexpr);
1846       return Flag5 (N);
1847    end Is_Overloaded;
1848
1849    function Is_Power_Of_2_For_Shift
1850       (N : Node_Id) return Boolean is
1851    begin
1852       pragma Assert (False
1853         or else NT (N).Nkind = N_Op_Expon);
1854       return Flag13 (N);
1855    end Is_Power_Of_2_For_Shift;
1856
1857    function Is_Prefixed_Call
1858       (N : Node_Id) return Boolean is
1859    begin
1860       pragma Assert (False
1861         or else NT (N).Nkind = N_Selected_Component);
1862       return Flag17 (N);
1863    end Is_Prefixed_Call;
1864
1865    function Is_Protected_Subprogram_Body
1866       (N : Node_Id) return Boolean is
1867    begin
1868       pragma Assert (False
1869         or else NT (N).Nkind = N_Subprogram_Body);
1870       return Flag7 (N);
1871    end Is_Protected_Subprogram_Body;
1872
1873    function Is_Static_Coextension
1874       (N : Node_Id) return Boolean is
1875    begin
1876       pragma Assert (False
1877         or else NT (N).Nkind = N_Allocator);
1878       return Flag14 (N);
1879    end Is_Static_Coextension;
1880
1881    function Is_Static_Expression
1882       (N : Node_Id) return Boolean is
1883    begin
1884       pragma Assert (False
1885         or else NT (N).Nkind in N_Subexpr);
1886       return Flag6 (N);
1887    end Is_Static_Expression;
1888
1889    function Is_Subprogram_Descriptor
1890       (N : Node_Id) return Boolean is
1891    begin
1892       pragma Assert (False
1893         or else NT (N).Nkind = N_Object_Declaration);
1894       return Flag16 (N);
1895    end Is_Subprogram_Descriptor;
1896
1897    function Is_Task_Allocation_Block
1898       (N : Node_Id) return Boolean is
1899    begin
1900       pragma Assert (False
1901         or else NT (N).Nkind = N_Block_Statement);
1902       return Flag6 (N);
1903    end Is_Task_Allocation_Block;
1904
1905    function Is_Task_Master
1906       (N : Node_Id) return Boolean is
1907    begin
1908       pragma Assert (False
1909         or else NT (N).Nkind = N_Block_Statement
1910         or else NT (N).Nkind = N_Subprogram_Body
1911         or else NT (N).Nkind = N_Task_Body);
1912       return Flag5 (N);
1913    end Is_Task_Master;
1914
1915    function Iteration_Scheme
1916       (N : Node_Id) return Node_Id is
1917    begin
1918       pragma Assert (False
1919         or else NT (N).Nkind = N_Loop_Statement);
1920       return Node2 (N);
1921    end Iteration_Scheme;
1922
1923    function Iterator_Specification
1924      (N : Node_Id) return Node_Id is
1925    begin
1926       pragma Assert (False
1927         or else NT (N).Nkind = N_Iteration_Scheme
1928         or else NT (N).Nkind = N_Quantified_Expression);
1929       return Node2 (N);
1930    end Iterator_Specification;
1931
1932    function Itype
1933       (N : Node_Id) return Node_Id is
1934    begin
1935       pragma Assert (False
1936       or else NT (N).Nkind = N_Itype_Reference);
1937       return Node1 (N);
1938    end Itype;
1939
1940    function Kill_Range_Check
1941       (N : Node_Id) return Boolean is
1942    begin
1943       pragma Assert (False
1944         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1945       return Flag11 (N);
1946    end Kill_Range_Check;
1947
1948    function Label_Construct
1949       (N : Node_Id) return Node_Id is
1950    begin
1951       pragma Assert (False
1952         or else NT (N).Nkind = N_Implicit_Label_Declaration);
1953       return Node2 (N);
1954    end Label_Construct;
1955
1956    function Last_Bit
1957       (N : Node_Id) return Node_Id is
1958    begin
1959       pragma Assert (False
1960         or else NT (N).Nkind = N_Component_Clause);
1961       return Node4 (N);
1962    end Last_Bit;
1963
1964    function Last_Name
1965       (N : Node_Id) return Boolean is
1966    begin
1967       pragma Assert (False
1968         or else NT (N).Nkind = N_With_Clause);
1969       return Flag6 (N);
1970    end Last_Name;
1971
1972    function Left_Opnd
1973       (N : Node_Id) return Node_Id is
1974    begin
1975       pragma Assert (False
1976         or else NT (N).Nkind = N_And_Then
1977         or else NT (N).Nkind = N_In
1978         or else NT (N).Nkind = N_Not_In
1979         or else NT (N).Nkind = N_Or_Else
1980         or else NT (N).Nkind in N_Binary_Op);
1981       return Node2 (N);
1982    end Left_Opnd;
1983
1984    function Library_Unit
1985       (N : Node_Id) return Node_Id is
1986    begin
1987       pragma Assert (False
1988         or else NT (N).Nkind = N_Compilation_Unit
1989         or else NT (N).Nkind = N_Package_Body_Stub
1990         or else NT (N).Nkind = N_Protected_Body_Stub
1991         or else NT (N).Nkind = N_Subprogram_Body_Stub
1992         or else NT (N).Nkind = N_Task_Body_Stub
1993         or else NT (N).Nkind = N_With_Clause);
1994       return Node4 (N);
1995    end Library_Unit;
1996
1997    function Limited_View_Installed
1998       (N : Node_Id) return Boolean is
1999    begin
2000       pragma Assert (False
2001         or else NT (N).Nkind = N_Package_Specification
2002         or else NT (N).Nkind = N_With_Clause);
2003       return Flag18 (N);
2004    end Limited_View_Installed;
2005
2006    function Limited_Present
2007       (N : Node_Id) return Boolean is
2008    begin
2009       pragma Assert (False
2010         or else NT (N).Nkind = N_Derived_Type_Definition
2011         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2012         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2013         or else NT (N).Nkind = N_Private_Extension_Declaration
2014         or else NT (N).Nkind = N_Private_Type_Declaration
2015         or else NT (N).Nkind = N_Record_Definition
2016         or else NT (N).Nkind = N_With_Clause);
2017       return Flag17 (N);
2018    end Limited_Present;
2019
2020    function Literals
2021       (N : Node_Id) return List_Id is
2022    begin
2023       pragma Assert (False
2024         or else NT (N).Nkind = N_Enumeration_Type_Definition);
2025       return List1 (N);
2026    end Literals;
2027
2028    function Local_Raise_Not_OK
2029       (N : Node_Id) return Boolean is
2030    begin
2031       pragma Assert (False
2032         or else NT (N).Nkind = N_Exception_Handler);
2033       return Flag7 (N);
2034    end Local_Raise_Not_OK;
2035
2036    function Local_Raise_Statements
2037       (N : Node_Id) return Elist_Id is
2038    begin
2039       pragma Assert (False
2040         or else NT (N).Nkind = N_Exception_Handler);
2041       return Elist1 (N);
2042    end Local_Raise_Statements;
2043
2044    function Loop_Actions
2045       (N : Node_Id) return List_Id is
2046    begin
2047       pragma Assert (False
2048         or else NT (N).Nkind = N_Component_Association);
2049       return List2 (N);
2050    end Loop_Actions;
2051
2052    function Loop_Parameter_Specification
2053       (N : Node_Id) return Node_Id is
2054    begin
2055       pragma Assert (False
2056         or else NT (N).Nkind = N_Iteration_Scheme
2057         or else NT (N).Nkind = N_Quantified_Expression);
2058       return Node4 (N);
2059    end Loop_Parameter_Specification;
2060
2061    function Low_Bound
2062       (N : Node_Id) return Node_Id is
2063    begin
2064       pragma Assert (False
2065         or else NT (N).Nkind = N_Range
2066         or else NT (N).Nkind = N_Real_Range_Specification
2067         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2068       return Node1 (N);
2069    end Low_Bound;
2070
2071    function Mod_Clause
2072       (N : Node_Id) return Node_Id is
2073    begin
2074       pragma Assert (False
2075         or else NT (N).Nkind = N_Record_Representation_Clause);
2076       return Node2 (N);
2077    end Mod_Clause;
2078
2079    function More_Ids
2080       (N : Node_Id) return Boolean is
2081    begin
2082       pragma Assert (False
2083         or else NT (N).Nkind = N_Component_Declaration
2084         or else NT (N).Nkind = N_Discriminant_Specification
2085         or else NT (N).Nkind = N_Exception_Declaration
2086         or else NT (N).Nkind = N_Formal_Object_Declaration
2087         or else NT (N).Nkind = N_Number_Declaration
2088         or else NT (N).Nkind = N_Object_Declaration
2089         or else NT (N).Nkind = N_Parameter_Specification);
2090       return Flag5 (N);
2091    end More_Ids;
2092
2093    function Must_Be_Byte_Aligned
2094       (N : Node_Id) return Boolean is
2095    begin
2096       pragma Assert (False
2097         or else NT (N).Nkind = N_Attribute_Reference);
2098       return Flag14 (N);
2099    end Must_Be_Byte_Aligned;
2100
2101    function Must_Not_Freeze
2102       (N : Node_Id) return Boolean is
2103    begin
2104       pragma Assert (False
2105         or else NT (N).Nkind = N_Subtype_Indication
2106         or else NT (N).Nkind in N_Subexpr);
2107       return Flag8 (N);
2108    end Must_Not_Freeze;
2109
2110    function Must_Not_Override
2111       (N : Node_Id) return Boolean is
2112    begin
2113       pragma Assert (False
2114         or else NT (N).Nkind = N_Entry_Declaration
2115         or else NT (N).Nkind = N_Function_Instantiation
2116         or else NT (N).Nkind = N_Function_Specification
2117         or else NT (N).Nkind = N_Procedure_Instantiation
2118         or else NT (N).Nkind = N_Procedure_Specification);
2119       return Flag15 (N);
2120    end Must_Not_Override;
2121
2122    function Must_Override
2123       (N : Node_Id) return Boolean is
2124    begin
2125       pragma Assert (False
2126         or else NT (N).Nkind = N_Entry_Declaration
2127         or else NT (N).Nkind = N_Function_Instantiation
2128         or else NT (N).Nkind = N_Function_Specification
2129         or else NT (N).Nkind = N_Procedure_Instantiation
2130         or else NT (N).Nkind = N_Procedure_Specification);
2131       return Flag14 (N);
2132    end Must_Override;
2133
2134    function Name
2135       (N : Node_Id) return Node_Id is
2136    begin
2137       pragma Assert (False
2138         or else NT (N).Nkind = N_Assignment_Statement
2139         or else NT (N).Nkind = N_Attribute_Definition_Clause
2140         or else NT (N).Nkind = N_Defining_Program_Unit_Name
2141         or else NT (N).Nkind = N_Designator
2142         or else NT (N).Nkind = N_Entry_Call_Statement
2143         or else NT (N).Nkind = N_Exception_Renaming_Declaration
2144         or else NT (N).Nkind = N_Exit_Statement
2145         or else NT (N).Nkind = N_Formal_Package_Declaration
2146         or else NT (N).Nkind = N_Function_Call
2147         or else NT (N).Nkind = N_Function_Instantiation
2148         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2149         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2150         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2151         or else NT (N).Nkind = N_Goto_Statement
2152         or else NT (N).Nkind = N_Iterator_Specification
2153         or else NT (N).Nkind = N_Object_Renaming_Declaration
2154         or else NT (N).Nkind = N_Package_Instantiation
2155         or else NT (N).Nkind = N_Package_Renaming_Declaration
2156         or else NT (N).Nkind = N_Procedure_Call_Statement
2157         or else NT (N).Nkind = N_Procedure_Instantiation
2158         or else NT (N).Nkind = N_Raise_Statement
2159         or else NT (N).Nkind = N_Requeue_Statement
2160         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2161         or else NT (N).Nkind = N_Subunit
2162         or else NT (N).Nkind = N_Variant_Part
2163         or else NT (N).Nkind = N_With_Clause);
2164       return Node2 (N);
2165    end Name;
2166
2167    function Names
2168       (N : Node_Id) return List_Id is
2169    begin
2170       pragma Assert (False
2171         or else NT (N).Nkind = N_Abort_Statement
2172         or else NT (N).Nkind = N_Use_Package_Clause);
2173       return List2 (N);
2174    end Names;
2175
2176    function Next_Entity
2177       (N : Node_Id) return Node_Id is
2178    begin
2179       pragma Assert (False
2180         or else NT (N).Nkind = N_Defining_Character_Literal
2181         or else NT (N).Nkind = N_Defining_Identifier
2182         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2183       return Node2 (N);
2184    end Next_Entity;
2185
2186    function Next_Exit_Statement
2187      (N : Node_Id) return Node_Id is
2188    begin
2189       pragma Assert (False
2190         or else NT (N).Nkind = N_Exit_Statement);
2191       return Node3 (N);
2192    end Next_Exit_Statement;
2193
2194    function Next_Implicit_With
2195      (N : Node_Id) return Node_Id is
2196    begin
2197       pragma Assert (False
2198         or else NT (N).Nkind = N_With_Clause);
2199       return Node3 (N);
2200    end Next_Implicit_With;
2201
2202    function Next_Named_Actual
2203       (N : Node_Id) return Node_Id is
2204    begin
2205       pragma Assert (False
2206         or else NT (N).Nkind = N_Parameter_Association);
2207       return Node4 (N);
2208    end Next_Named_Actual;
2209
2210    function Next_Pragma
2211       (N : Node_Id) return Node_Id is
2212    begin
2213       pragma Assert (False
2214         or else NT (N).Nkind = N_Pragma);
2215       return Node1 (N);
2216    end Next_Pragma;
2217
2218    function Next_Rep_Item
2219       (N : Node_Id) return Node_Id is
2220    begin
2221       pragma Assert (False
2222         or else NT (N).Nkind = N_Aspect_Specification
2223         or else NT (N).Nkind = N_Attribute_Definition_Clause
2224         or else NT (N).Nkind = N_Enumeration_Representation_Clause
2225         or else NT (N).Nkind = N_Pragma
2226         or else NT (N).Nkind = N_Record_Representation_Clause);
2227       return Node5 (N);
2228    end Next_Rep_Item;
2229
2230    function Next_Use_Clause
2231       (N : Node_Id) return Node_Id is
2232    begin
2233       pragma Assert (False
2234         or else NT (N).Nkind = N_Use_Package_Clause
2235         or else NT (N).Nkind = N_Use_Type_Clause);
2236       return Node3 (N);
2237    end Next_Use_Clause;
2238
2239    function No_Ctrl_Actions
2240       (N : Node_Id) return Boolean is
2241    begin
2242       pragma Assert (False
2243         or else NT (N).Nkind = N_Assignment_Statement);
2244       return Flag7 (N);
2245    end No_Ctrl_Actions;
2246
2247    function No_Elaboration_Check
2248       (N : Node_Id) return Boolean is
2249    begin
2250       pragma Assert (False
2251         or else NT (N).Nkind = N_Function_Call
2252         or else NT (N).Nkind = N_Procedure_Call_Statement);
2253       return Flag14 (N);
2254    end No_Elaboration_Check;
2255
2256    function No_Entities_Ref_In_Spec
2257       (N : Node_Id) return Boolean is
2258    begin
2259       pragma Assert (False
2260         or else NT (N).Nkind = N_With_Clause);
2261       return Flag8 (N);
2262    end No_Entities_Ref_In_Spec;
2263
2264    function No_Initialization
2265       (N : Node_Id) return Boolean is
2266    begin
2267       pragma Assert (False
2268         or else NT (N).Nkind = N_Allocator
2269         or else NT (N).Nkind = N_Object_Declaration);
2270       return Flag13 (N);
2271    end No_Initialization;
2272
2273    function No_Truncation
2274       (N : Node_Id) return Boolean is
2275    begin
2276       pragma Assert (False
2277         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2278       return Flag17 (N);
2279    end No_Truncation;
2280
2281    function Null_Present
2282       (N : Node_Id) return Boolean is
2283    begin
2284       pragma Assert (False
2285         or else NT (N).Nkind = N_Component_List
2286         or else NT (N).Nkind = N_Procedure_Specification
2287         or else NT (N).Nkind = N_Record_Definition);
2288       return Flag13 (N);
2289    end Null_Present;
2290
2291    function Null_Exclusion_Present
2292       (N : Node_Id) return Boolean is
2293    begin
2294       pragma Assert (False
2295         or else NT (N).Nkind = N_Access_Definition
2296         or else NT (N).Nkind = N_Access_Function_Definition
2297         or else NT (N).Nkind = N_Access_Procedure_Definition
2298         or else NT (N).Nkind = N_Access_To_Object_Definition
2299         or else NT (N).Nkind = N_Allocator
2300         or else NT (N).Nkind = N_Component_Definition
2301         or else NT (N).Nkind = N_Derived_Type_Definition
2302         or else NT (N).Nkind = N_Discriminant_Specification
2303         or else NT (N).Nkind = N_Formal_Object_Declaration
2304         or else NT (N).Nkind = N_Function_Specification
2305         or else NT (N).Nkind = N_Object_Declaration
2306         or else NT (N).Nkind = N_Object_Renaming_Declaration
2307         or else NT (N).Nkind = N_Parameter_Specification
2308         or else NT (N).Nkind = N_Subtype_Declaration);
2309       return Flag11 (N);
2310    end Null_Exclusion_Present;
2311
2312    function Null_Exclusion_In_Return_Present
2313       (N : Node_Id) return Boolean is
2314    begin
2315       pragma Assert (False
2316         or else NT (N).Nkind = N_Access_Function_Definition);
2317       return Flag14 (N);
2318    end Null_Exclusion_In_Return_Present;
2319
2320    function Null_Record_Present
2321       (N : Node_Id) return Boolean is
2322    begin
2323       pragma Assert (False
2324         or else NT (N).Nkind = N_Aggregate
2325         or else NT (N).Nkind = N_Extension_Aggregate);
2326       return Flag17 (N);
2327    end Null_Record_Present;
2328
2329    function Object_Definition
2330       (N : Node_Id) return Node_Id is
2331    begin
2332       pragma Assert (False
2333         or else NT (N).Nkind = N_Object_Declaration);
2334       return Node4 (N);
2335    end Object_Definition;
2336
2337    function Of_Present
2338       (N : Node_Id) return Boolean is
2339    begin
2340       pragma Assert (False
2341         or else NT (N).Nkind = N_Iterator_Specification);
2342       return Flag16 (N);
2343    end Of_Present;
2344
2345    function Original_Discriminant
2346       (N : Node_Id) return Node_Id is
2347    begin
2348       pragma Assert (False
2349         or else NT (N).Nkind = N_Identifier);
2350       return Node2 (N);
2351    end Original_Discriminant;
2352
2353    function Original_Entity
2354       (N : Node_Id) return Entity_Id is
2355    begin
2356       pragma Assert (False
2357         or else NT (N).Nkind = N_Integer_Literal
2358         or else NT (N).Nkind = N_Real_Literal);
2359       return Node2 (N);
2360    end Original_Entity;
2361
2362    function Others_Discrete_Choices
2363       (N : Node_Id) return List_Id is
2364    begin
2365       pragma Assert (False
2366         or else NT (N).Nkind = N_Others_Choice);
2367       return List1 (N);
2368    end Others_Discrete_Choices;
2369
2370    function Out_Present
2371       (N : Node_Id) return Boolean is
2372    begin
2373       pragma Assert (False
2374         or else NT (N).Nkind = N_Formal_Object_Declaration
2375         or else NT (N).Nkind = N_Parameter_Specification);
2376       return Flag17 (N);
2377    end Out_Present;
2378
2379    function Parameter_Associations
2380       (N : Node_Id) return List_Id is
2381    begin
2382       pragma Assert (False
2383         or else NT (N).Nkind = N_Entry_Call_Statement
2384         or else NT (N).Nkind = N_Function_Call
2385         or else NT (N).Nkind = N_Procedure_Call_Statement);
2386       return List3 (N);
2387    end Parameter_Associations;
2388
2389    function Parameter_List_Truncated
2390       (N : Node_Id) return Boolean is
2391    begin
2392       pragma Assert (False
2393         or else NT (N).Nkind = N_Function_Call
2394         or else NT (N).Nkind = N_Procedure_Call_Statement);
2395       return Flag17 (N);
2396    end Parameter_List_Truncated;
2397
2398    function Parameter_Specifications
2399       (N : Node_Id) return List_Id is
2400    begin
2401       pragma Assert (False
2402         or else NT (N).Nkind = N_Accept_Statement
2403         or else NT (N).Nkind = N_Access_Function_Definition
2404         or else NT (N).Nkind = N_Access_Procedure_Definition
2405         or else NT (N).Nkind = N_Entry_Body_Formal_Part
2406         or else NT (N).Nkind = N_Entry_Declaration
2407         or else NT (N).Nkind = N_Function_Specification
2408         or else NT (N).Nkind = N_Procedure_Specification);
2409       return List3 (N);
2410    end Parameter_Specifications;
2411
2412    function Parameter_Type
2413       (N : Node_Id) return Node_Id is
2414    begin
2415       pragma Assert (False
2416         or else NT (N).Nkind = N_Parameter_Specification);
2417       return Node2 (N);
2418    end Parameter_Type;
2419
2420    function Parent_Spec
2421       (N : Node_Id) return Node_Id is
2422    begin
2423       pragma Assert (False
2424         or else NT (N).Nkind = N_Function_Instantiation
2425         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2426         or else NT (N).Nkind = N_Generic_Package_Declaration
2427         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2428         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2429         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2430         or else NT (N).Nkind = N_Package_Declaration
2431         or else NT (N).Nkind = N_Package_Instantiation
2432         or else NT (N).Nkind = N_Package_Renaming_Declaration
2433         or else NT (N).Nkind = N_Procedure_Instantiation
2434         or else NT (N).Nkind = N_Subprogram_Declaration
2435         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2436       return Node4 (N);
2437    end Parent_Spec;
2438
2439    function Position
2440       (N : Node_Id) return Node_Id is
2441    begin
2442       pragma Assert (False
2443         or else NT (N).Nkind = N_Component_Clause);
2444       return Node2 (N);
2445    end Position;
2446
2447    function Pragma_Argument_Associations
2448       (N : Node_Id) return List_Id is
2449    begin
2450       pragma Assert (False
2451         or else NT (N).Nkind = N_Pragma);
2452       return List2 (N);
2453    end Pragma_Argument_Associations;
2454
2455    function Pragma_Identifier
2456       (N : Node_Id) return Node_Id is
2457    begin
2458       pragma Assert (False
2459         or else NT (N).Nkind = N_Pragma);
2460       return Node4 (N);
2461    end Pragma_Identifier;
2462
2463    function Pragmas_After
2464       (N : Node_Id) return List_Id is
2465    begin
2466       pragma Assert (False
2467         or else NT (N).Nkind = N_Compilation_Unit_Aux
2468         or else NT (N).Nkind = N_Terminate_Alternative);
2469       return List5 (N);
2470    end Pragmas_After;
2471
2472    function Pragmas_Before
2473       (N : Node_Id) return List_Id is
2474    begin
2475       pragma Assert (False
2476         or else NT (N).Nkind = N_Accept_Alternative
2477         or else NT (N).Nkind = N_Delay_Alternative
2478         or else NT (N).Nkind = N_Entry_Call_Alternative
2479         or else NT (N).Nkind = N_Mod_Clause
2480         or else NT (N).Nkind = N_Terminate_Alternative
2481         or else NT (N).Nkind = N_Triggering_Alternative);
2482       return List4 (N);
2483    end Pragmas_Before;
2484
2485    function Prefix
2486       (N : Node_Id) return Node_Id is
2487    begin
2488       pragma Assert (False
2489         or else NT (N).Nkind = N_Attribute_Reference
2490         or else NT (N).Nkind = N_Expanded_Name
2491         or else NT (N).Nkind = N_Explicit_Dereference
2492         or else NT (N).Nkind = N_Indexed_Component
2493         or else NT (N).Nkind = N_Reference
2494         or else NT (N).Nkind = N_Selected_Component
2495         or else NT (N).Nkind = N_Slice);
2496       return Node3 (N);
2497    end Prefix;
2498
2499    function Premature_Use
2500       (N : Node_Id) return Node_Id is
2501    begin
2502       pragma Assert (False
2503         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2504       return Node5 (N);
2505    end Premature_Use;
2506
2507    function Present_Expr
2508       (N : Node_Id) return Uint is
2509    begin
2510       pragma Assert (False
2511         or else NT (N).Nkind = N_Variant);
2512       return Uint3 (N);
2513    end Present_Expr;
2514
2515    function Prev_Ids
2516       (N : Node_Id) return Boolean is
2517    begin
2518       pragma Assert (False
2519         or else NT (N).Nkind = N_Component_Declaration
2520         or else NT (N).Nkind = N_Discriminant_Specification
2521         or else NT (N).Nkind = N_Exception_Declaration
2522         or else NT (N).Nkind = N_Formal_Object_Declaration
2523         or else NT (N).Nkind = N_Number_Declaration
2524         or else NT (N).Nkind = N_Object_Declaration
2525         or else NT (N).Nkind = N_Parameter_Specification);
2526       return Flag6 (N);
2527    end Prev_Ids;
2528
2529    function Print_In_Hex
2530       (N : Node_Id) return Boolean is
2531    begin
2532       pragma Assert (False
2533         or else NT (N).Nkind = N_Integer_Literal);
2534       return Flag13 (N);
2535    end Print_In_Hex;
2536
2537    function Private_Declarations
2538       (N : Node_Id) return List_Id is
2539    begin
2540       pragma Assert (False
2541         or else NT (N).Nkind = N_Package_Specification
2542         or else NT (N).Nkind = N_Protected_Definition
2543         or else NT (N).Nkind = N_Task_Definition);
2544       return List3 (N);
2545    end Private_Declarations;
2546
2547    function Private_Present
2548       (N : Node_Id) return Boolean is
2549    begin
2550       pragma Assert (False
2551         or else NT (N).Nkind = N_Compilation_Unit
2552         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2553         or else NT (N).Nkind = N_With_Clause);
2554       return Flag15 (N);
2555    end Private_Present;
2556
2557    function Procedure_To_Call
2558       (N : Node_Id) return Node_Id is
2559    begin
2560       pragma Assert (False
2561         or else NT (N).Nkind = N_Allocator
2562         or else NT (N).Nkind = N_Extended_Return_Statement
2563         or else NT (N).Nkind = N_Free_Statement
2564         or else NT (N).Nkind = N_Return_Statement);
2565       return Node2 (N);
2566    end Procedure_To_Call;
2567
2568    function Proper_Body
2569       (N : Node_Id) return Node_Id is
2570    begin
2571       pragma Assert (False
2572         or else NT (N).Nkind = N_Subunit);
2573       return Node1 (N);
2574    end Proper_Body;
2575
2576    function Protected_Definition
2577       (N : Node_Id) return Node_Id is
2578    begin
2579       pragma Assert (False
2580         or else NT (N).Nkind = N_Protected_Type_Declaration
2581         or else NT (N).Nkind = N_Single_Protected_Declaration);
2582       return Node3 (N);
2583    end Protected_Definition;
2584
2585    function Protected_Present
2586       (N : Node_Id) return Boolean is
2587    begin
2588       pragma Assert (False
2589         or else NT (N).Nkind = N_Access_Function_Definition
2590         or else NT (N).Nkind = N_Access_Procedure_Definition
2591         or else NT (N).Nkind = N_Derived_Type_Definition
2592         or else NT (N).Nkind = N_Record_Definition);
2593       return Flag6 (N);
2594    end Protected_Present;
2595
2596    function Raises_Constraint_Error
2597       (N : Node_Id) return Boolean is
2598    begin
2599       pragma Assert (False
2600         or else NT (N).Nkind in N_Subexpr);
2601       return Flag7 (N);
2602    end Raises_Constraint_Error;
2603
2604    function Range_Constraint
2605       (N : Node_Id) return Node_Id is
2606    begin
2607       pragma Assert (False
2608         or else NT (N).Nkind = N_Delta_Constraint
2609         or else NT (N).Nkind = N_Digits_Constraint);
2610       return Node4 (N);
2611    end Range_Constraint;
2612
2613    function Range_Expression
2614       (N : Node_Id) return Node_Id is
2615    begin
2616       pragma Assert (False
2617         or else NT (N).Nkind = N_Range_Constraint);
2618       return Node4 (N);
2619    end Range_Expression;
2620
2621    function Real_Range_Specification
2622       (N : Node_Id) return Node_Id is
2623    begin
2624       pragma Assert (False
2625         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2626         or else NT (N).Nkind = N_Floating_Point_Definition
2627         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2628       return Node4 (N);
2629    end Real_Range_Specification;
2630
2631    function Realval
2632       (N : Node_Id) return Ureal is
2633    begin
2634       pragma Assert (False
2635         or else NT (N).Nkind = N_Real_Literal);
2636       return Ureal3 (N);
2637    end Realval;
2638
2639    function Reason
2640       (N : Node_Id) return Uint is
2641    begin
2642       pragma Assert (False
2643         or else NT (N).Nkind = N_Raise_Constraint_Error
2644         or else NT (N).Nkind = N_Raise_Program_Error
2645         or else NT (N).Nkind = N_Raise_Storage_Error);
2646       return Uint3 (N);
2647    end Reason;
2648
2649    function Record_Extension_Part
2650       (N : Node_Id) return Node_Id is
2651    begin
2652       pragma Assert (False
2653         or else NT (N).Nkind = N_Derived_Type_Definition);
2654       return Node3 (N);
2655    end Record_Extension_Part;
2656
2657    function Redundant_Use
2658       (N : Node_Id) return Boolean is
2659    begin
2660       pragma Assert (False
2661         or else NT (N).Nkind = N_Attribute_Reference
2662         or else NT (N).Nkind = N_Expanded_Name
2663         or else NT (N).Nkind = N_Identifier);
2664       return Flag13 (N);
2665    end Redundant_Use;
2666
2667    function Renaming_Exception
2668       (N : Node_Id) return Node_Id is
2669    begin
2670       pragma Assert (False
2671         or else NT (N).Nkind = N_Exception_Declaration);
2672       return Node2 (N);
2673    end Renaming_Exception;
2674
2675    function Result_Definition
2676      (N : Node_Id) return Node_Id is
2677    begin
2678       pragma Assert (False
2679         or else NT (N).Nkind = N_Access_Function_Definition
2680         or else NT (N).Nkind = N_Function_Specification);
2681       return Node4 (N);
2682    end Result_Definition;
2683
2684    function Return_Object_Declarations
2685      (N : Node_Id) return List_Id is
2686    begin
2687       pragma Assert (False
2688         or else NT (N).Nkind = N_Extended_Return_Statement);
2689       return List3 (N);
2690    end Return_Object_Declarations;
2691
2692    function Return_Statement_Entity
2693      (N : Node_Id) return Node_Id is
2694    begin
2695       pragma Assert (False
2696         or else NT (N).Nkind = N_Extended_Return_Statement
2697         or else NT (N).Nkind = N_Return_Statement);
2698       return Node5 (N);
2699    end Return_Statement_Entity;
2700
2701    function Reverse_Present
2702       (N : Node_Id) return Boolean is
2703    begin
2704       pragma Assert (False
2705         or else NT (N).Nkind = N_Iterator_Specification
2706         or else NT (N).Nkind = N_Loop_Parameter_Specification);
2707       return Flag15 (N);
2708    end Reverse_Present;
2709
2710    function Right_Opnd
2711       (N : Node_Id) return Node_Id is
2712    begin
2713       pragma Assert (False
2714         or else NT (N).Nkind in N_Op
2715         or else NT (N).Nkind = N_And_Then
2716         or else NT (N).Nkind = N_In
2717         or else NT (N).Nkind = N_Not_In
2718         or else NT (N).Nkind = N_Or_Else);
2719       return Node3 (N);
2720    end Right_Opnd;
2721
2722    function Rounded_Result
2723       (N : Node_Id) return Boolean is
2724    begin
2725       pragma Assert (False
2726         or else NT (N).Nkind = N_Op_Divide
2727         or else NT (N).Nkind = N_Op_Multiply
2728         or else NT (N).Nkind = N_Type_Conversion);
2729       return Flag18 (N);
2730    end Rounded_Result;
2731
2732    function SCIL_Controlling_Tag
2733       (N : Node_Id) return Node_Id is
2734    begin
2735       pragma Assert (False
2736         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2737       return Node5 (N);
2738    end SCIL_Controlling_Tag;
2739
2740    function SCIL_Entity
2741       (N : Node_Id) return Node_Id is
2742    begin
2743       pragma Assert (False
2744         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2745         or else NT (N).Nkind = N_SCIL_Dispatching_Call
2746         or else NT (N).Nkind = N_SCIL_Membership_Test);
2747       return Node4 (N);
2748    end SCIL_Entity;
2749
2750    function SCIL_Tag_Value
2751       (N : Node_Id) return Node_Id is
2752    begin
2753       pragma Assert (False
2754         or else NT (N).Nkind = N_SCIL_Membership_Test);
2755       return Node5 (N);
2756    end SCIL_Tag_Value;
2757
2758    function SCIL_Target_Prim
2759       (N : Node_Id) return Node_Id is
2760    begin
2761       pragma Assert (False
2762         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2763       return Node2 (N);
2764    end SCIL_Target_Prim;
2765
2766    function Scope
2767       (N : Node_Id) return Node_Id is
2768    begin
2769       pragma Assert (False
2770         or else NT (N).Nkind = N_Defining_Character_Literal
2771         or else NT (N).Nkind = N_Defining_Identifier
2772         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2773       return Node3 (N);
2774    end Scope;
2775
2776    function Select_Alternatives
2777       (N : Node_Id) return List_Id is
2778    begin
2779       pragma Assert (False
2780         or else NT (N).Nkind = N_Selective_Accept);
2781       return List1 (N);
2782    end Select_Alternatives;
2783
2784    function Selector_Name
2785       (N : Node_Id) return Node_Id is
2786    begin
2787       pragma Assert (False
2788         or else NT (N).Nkind = N_Expanded_Name
2789         or else NT (N).Nkind = N_Generic_Association
2790         or else NT (N).Nkind = N_Parameter_Association
2791         or else NT (N).Nkind = N_Selected_Component);
2792       return Node2 (N);
2793    end Selector_Name;
2794
2795    function Selector_Names
2796       (N : Node_Id) return List_Id is
2797    begin
2798       pragma Assert (False
2799         or else NT (N).Nkind = N_Discriminant_Association);
2800       return List1 (N);
2801    end Selector_Names;
2802
2803    function Shift_Count_OK
2804       (N : Node_Id) return Boolean is
2805    begin
2806       pragma Assert (False
2807         or else NT (N).Nkind = N_Op_Rotate_Left
2808         or else NT (N).Nkind = N_Op_Rotate_Right
2809         or else NT (N).Nkind = N_Op_Shift_Left
2810         or else NT (N).Nkind = N_Op_Shift_Right
2811         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2812       return Flag4 (N);
2813    end Shift_Count_OK;
2814
2815    function Source_Type
2816       (N : Node_Id) return Entity_Id is
2817    begin
2818       pragma Assert (False
2819         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2820       return Node1 (N);
2821    end Source_Type;
2822
2823    function Spec_PPC_List
2824       (N : Node_Id) return Node_Id is
2825    begin
2826       pragma Assert (False
2827         or else NT (N).Nkind = N_Contract);
2828       return Node1 (N);
2829    end Spec_PPC_List;
2830
2831    function Spec_CTC_List
2832       (N : Node_Id) return Node_Id is
2833    begin
2834       pragma Assert (False
2835         or else NT (N).Nkind = N_Contract);
2836       return Node2 (N);
2837    end Spec_CTC_List;
2838
2839    function Specification
2840       (N : Node_Id) return Node_Id is
2841    begin
2842       pragma Assert (False
2843         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2844         or else NT (N).Nkind = N_Expression_Function
2845         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2846         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2847         or else NT (N).Nkind = N_Generic_Package_Declaration
2848         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2849         or else NT (N).Nkind = N_Package_Declaration
2850         or else NT (N).Nkind = N_Subprogram_Body
2851         or else NT (N).Nkind = N_Subprogram_Body_Stub
2852         or else NT (N).Nkind = N_Subprogram_Declaration
2853         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2854       return Node1 (N);
2855    end Specification;
2856
2857    function Split_PPC
2858       (N : Node_Id) return Boolean is
2859    begin
2860       pragma Assert (False
2861         or else NT (N).Nkind = N_Aspect_Specification
2862         or else NT (N).Nkind = N_Pragma);
2863       return Flag17 (N);
2864    end Split_PPC;
2865
2866    function Statements
2867       (N : Node_Id) return List_Id is
2868    begin
2869       pragma Assert (False
2870         or else NT (N).Nkind = N_Abortable_Part
2871         or else NT (N).Nkind = N_Accept_Alternative
2872         or else NT (N).Nkind = N_Case_Statement_Alternative
2873         or else NT (N).Nkind = N_Delay_Alternative
2874         or else NT (N).Nkind = N_Entry_Call_Alternative
2875         or else NT (N).Nkind = N_Exception_Handler
2876         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2877         or else NT (N).Nkind = N_Loop_Statement
2878         or else NT (N).Nkind = N_Triggering_Alternative);
2879       return List3 (N);
2880    end Statements;
2881
2882    function Static_Processing_OK
2883       (N : Node_Id) return Boolean is
2884    begin
2885       pragma Assert (False
2886         or else NT (N).Nkind = N_Aggregate);
2887       return Flag4 (N);
2888    end Static_Processing_OK;
2889
2890    function Storage_Pool
2891       (N : Node_Id) return Node_Id is
2892    begin
2893       pragma Assert (False
2894         or else NT (N).Nkind = N_Allocator
2895         or else NT (N).Nkind = N_Extended_Return_Statement
2896         or else NT (N).Nkind = N_Free_Statement
2897         or else NT (N).Nkind = N_Return_Statement);
2898       return Node1 (N);
2899    end Storage_Pool;
2900
2901    function Subpool_Handle_Name
2902       (N : Node_Id) return Node_Id is
2903    begin
2904       pragma Assert (False
2905         or else NT (N).Nkind = N_Allocator);
2906       return Node4 (N);
2907    end Subpool_Handle_Name;
2908
2909    function Strval
2910       (N : Node_Id) return String_Id is
2911    begin
2912       pragma Assert (False
2913         or else NT (N).Nkind = N_Operator_Symbol
2914         or else NT (N).Nkind = N_String_Literal);
2915       return Str3 (N);
2916    end Strval;
2917
2918    function Subtype_Indication
2919       (N : Node_Id) return Node_Id is
2920    begin
2921       pragma Assert (False
2922         or else NT (N).Nkind = N_Access_To_Object_Definition
2923         or else NT (N).Nkind = N_Component_Definition
2924         or else NT (N).Nkind = N_Derived_Type_Definition
2925         or else NT (N).Nkind = N_Iterator_Specification
2926         or else NT (N).Nkind = N_Private_Extension_Declaration
2927         or else NT (N).Nkind = N_Subtype_Declaration);
2928       return Node5 (N);
2929    end Subtype_Indication;
2930
2931    function Suppress_Assignment_Checks
2932       (N : Node_Id) return Boolean is
2933    begin
2934       pragma Assert (False
2935         or else NT (N).Nkind = N_Assignment_Statement
2936         or else NT (N).Nkind = N_Object_Declaration);
2937       return Flag18 (N);
2938    end Suppress_Assignment_Checks;
2939
2940    function Suppress_Loop_Warnings
2941       (N : Node_Id) return Boolean is
2942    begin
2943       pragma Assert (False
2944         or else NT (N).Nkind = N_Loop_Statement);
2945       return Flag17 (N);
2946    end Suppress_Loop_Warnings;
2947
2948    function Subtype_Mark
2949       (N : Node_Id) return Node_Id is
2950    begin
2951       pragma Assert (False
2952         or else NT (N).Nkind = N_Access_Definition
2953         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2954         or else NT (N).Nkind = N_Formal_Object_Declaration
2955         or else NT (N).Nkind = N_Object_Renaming_Declaration
2956         or else NT (N).Nkind = N_Qualified_Expression
2957         or else NT (N).Nkind = N_Subtype_Indication
2958         or else NT (N).Nkind = N_Type_Conversion
2959         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2960       return Node4 (N);
2961    end Subtype_Mark;
2962
2963    function Subtype_Marks
2964       (N : Node_Id) return List_Id is
2965    begin
2966       pragma Assert (False
2967         or else NT (N).Nkind = N_Unconstrained_Array_Definition
2968         or else NT (N).Nkind = N_Use_Type_Clause);
2969       return List2 (N);
2970    end Subtype_Marks;
2971
2972    function Synchronized_Present
2973      (N : Node_Id) return Boolean is
2974    begin
2975       pragma Assert (False
2976         or else NT (N).Nkind = N_Derived_Type_Definition
2977         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2978         or else NT (N).Nkind = N_Private_Extension_Declaration
2979         or else NT (N).Nkind = N_Record_Definition);
2980       return Flag7 (N);
2981    end Synchronized_Present;
2982
2983    function Tagged_Present
2984       (N : Node_Id) return Boolean is
2985    begin
2986       pragma Assert (False
2987         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2988         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2989         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2990         or else NT (N).Nkind = N_Private_Type_Declaration
2991         or else NT (N).Nkind = N_Record_Definition);
2992       return Flag15 (N);
2993    end Tagged_Present;
2994
2995    function Target_Type
2996       (N : Node_Id) return Entity_Id is
2997    begin
2998       pragma Assert (False
2999         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3000       return Node2 (N);
3001    end Target_Type;
3002
3003    function Task_Definition
3004       (N : Node_Id) return Node_Id is
3005    begin
3006       pragma Assert (False
3007         or else NT (N).Nkind = N_Single_Task_Declaration
3008         or else NT (N).Nkind = N_Task_Type_Declaration);
3009       return Node3 (N);
3010    end Task_Definition;
3011
3012    function Task_Present
3013      (N : Node_Id) return Boolean is
3014    begin
3015       pragma Assert (False
3016         or else NT (N).Nkind = N_Derived_Type_Definition
3017         or else NT (N).Nkind = N_Record_Definition);
3018       return Flag5 (N);
3019    end Task_Present;
3020
3021    function Then_Actions
3022       (N : Node_Id) return List_Id is
3023    begin
3024       pragma Assert (False
3025         or else NT (N).Nkind = N_Conditional_Expression);
3026       return List2 (N);
3027    end Then_Actions;
3028
3029    function Then_Statements
3030       (N : Node_Id) return List_Id is
3031    begin
3032       pragma Assert (False
3033         or else NT (N).Nkind = N_Elsif_Part
3034         or else NT (N).Nkind = N_If_Statement);
3035       return List2 (N);
3036    end Then_Statements;
3037
3038    function Treat_Fixed_As_Integer
3039       (N : Node_Id) return Boolean is
3040    begin
3041       pragma Assert (False
3042         or else NT (N).Nkind = N_Op_Divide
3043         or else NT (N).Nkind = N_Op_Mod
3044         or else NT (N).Nkind = N_Op_Multiply
3045         or else NT (N).Nkind = N_Op_Rem);
3046       return Flag14 (N);
3047    end Treat_Fixed_As_Integer;
3048
3049    function Triggering_Alternative
3050       (N : Node_Id) return Node_Id is
3051    begin
3052       pragma Assert (False
3053         or else NT (N).Nkind = N_Asynchronous_Select);
3054       return Node1 (N);
3055    end Triggering_Alternative;
3056
3057    function Triggering_Statement
3058       (N : Node_Id) return Node_Id is
3059    begin
3060       pragma Assert (False
3061         or else NT (N).Nkind = N_Triggering_Alternative);
3062       return Node1 (N);
3063    end Triggering_Statement;
3064
3065    function TSS_Elist
3066       (N : Node_Id) return Elist_Id is
3067    begin
3068       pragma Assert (False
3069         or else NT (N).Nkind = N_Freeze_Entity);
3070       return Elist3 (N);
3071    end TSS_Elist;
3072
3073    function Type_Definition
3074       (N : Node_Id) return Node_Id is
3075    begin
3076       pragma Assert (False
3077         or else NT (N).Nkind = N_Full_Type_Declaration);
3078       return Node3 (N);
3079    end Type_Definition;
3080
3081    function Unit
3082       (N : Node_Id) return Node_Id is
3083    begin
3084       pragma Assert (False
3085         or else NT (N).Nkind = N_Compilation_Unit);
3086       return Node2 (N);
3087    end Unit;
3088
3089    function Unknown_Discriminants_Present
3090       (N : Node_Id) return Boolean is
3091    begin
3092       pragma Assert (False
3093         or else NT (N).Nkind = N_Formal_Type_Declaration
3094         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3095         or else NT (N).Nkind = N_Private_Extension_Declaration
3096         or else NT (N).Nkind = N_Private_Type_Declaration);
3097       return Flag13 (N);
3098    end Unknown_Discriminants_Present;
3099
3100    function Unreferenced_In_Spec
3101       (N : Node_Id) return Boolean is
3102    begin
3103       pragma Assert (False
3104         or else NT (N).Nkind = N_With_Clause);
3105       return Flag7 (N);
3106    end Unreferenced_In_Spec;
3107
3108    function Variant_Part
3109       (N : Node_Id) return Node_Id is
3110    begin
3111       pragma Assert (False
3112         or else NT (N).Nkind = N_Component_List);
3113       return Node4 (N);
3114    end Variant_Part;
3115
3116    function Variants
3117       (N : Node_Id) return List_Id is
3118    begin
3119       pragma Assert (False
3120         or else NT (N).Nkind = N_Variant_Part);
3121       return List1 (N);
3122    end Variants;
3123
3124    function Visible_Declarations
3125       (N : Node_Id) return List_Id is
3126    begin
3127       pragma Assert (False
3128         or else NT (N).Nkind = N_Package_Specification
3129         or else NT (N).Nkind = N_Protected_Definition
3130         or else NT (N).Nkind = N_Task_Definition);
3131       return List2 (N);
3132    end Visible_Declarations;
3133
3134    function Used_Operations
3135      (N : Node_Id) return Elist_Id is
3136    begin
3137       pragma Assert (False
3138         or else NT (N).Nkind = N_Use_Type_Clause);
3139       return Elist5 (N);
3140    end Used_Operations;
3141
3142    function Was_Originally_Stub
3143       (N : Node_Id) return Boolean is
3144    begin
3145       pragma Assert (False
3146         or else NT (N).Nkind = N_Package_Body
3147         or else NT (N).Nkind = N_Protected_Body
3148         or else NT (N).Nkind = N_Subprogram_Body
3149         or else NT (N).Nkind = N_Task_Body);
3150       return Flag13 (N);
3151    end Was_Originally_Stub;
3152
3153    function Withed_Body
3154       (N : Node_Id) return Node_Id is
3155    begin
3156       pragma Assert (False
3157         or else NT (N).Nkind = N_With_Clause);
3158       return Node1 (N);
3159    end Withed_Body;
3160
3161    --------------------------
3162    -- Field Set Procedures --
3163    --------------------------
3164
3165    procedure Set_ABE_Is_Certain
3166       (N : Node_Id; Val : Boolean := True) is
3167    begin
3168       pragma Assert (False
3169         or else NT (N).Nkind = N_Formal_Package_Declaration
3170         or else NT (N).Nkind = N_Function_Call
3171         or else NT (N).Nkind = N_Function_Instantiation
3172         or else NT (N).Nkind = N_Package_Instantiation
3173         or else NT (N).Nkind = N_Procedure_Call_Statement
3174         or else NT (N).Nkind = N_Procedure_Instantiation);
3175       Set_Flag18 (N, Val);
3176    end Set_ABE_Is_Certain;
3177
3178    procedure Set_Abort_Present
3179       (N : Node_Id; Val : Boolean := True) is
3180    begin
3181       pragma Assert (False
3182         or else NT (N).Nkind = N_Requeue_Statement);
3183       Set_Flag15 (N, Val);
3184    end Set_Abort_Present;
3185
3186    procedure Set_Abortable_Part
3187       (N : Node_Id; Val : Node_Id) is
3188    begin
3189       pragma Assert (False
3190         or else NT (N).Nkind = N_Asynchronous_Select);
3191       Set_Node2_With_Parent (N, Val);
3192    end Set_Abortable_Part;
3193
3194    procedure Set_Abstract_Present
3195       (N : Node_Id; Val : Boolean := True) is
3196    begin
3197       pragma Assert (False
3198         or else NT (N).Nkind = N_Derived_Type_Definition
3199         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3200         or else NT (N).Nkind = N_Formal_Private_Type_Definition
3201         or else NT (N).Nkind = N_Private_Extension_Declaration
3202         or else NT (N).Nkind = N_Private_Type_Declaration
3203         or else NT (N).Nkind = N_Record_Definition);
3204       Set_Flag4 (N, Val);
3205    end Set_Abstract_Present;
3206
3207    procedure Set_Accept_Handler_Records
3208       (N : Node_Id; Val : List_Id) is
3209    begin
3210       pragma Assert (False
3211         or else NT (N).Nkind = N_Accept_Alternative);
3212       Set_List5 (N, Val); -- semantic field, no parent set
3213    end Set_Accept_Handler_Records;
3214
3215    procedure Set_Accept_Statement
3216       (N : Node_Id; Val : Node_Id) is
3217    begin
3218       pragma Assert (False
3219         or else NT (N).Nkind = N_Accept_Alternative);
3220       Set_Node2_With_Parent (N, Val);
3221    end Set_Accept_Statement;
3222
3223    procedure Set_Access_Definition
3224      (N : Node_Id; Val : Node_Id) is
3225    begin
3226       pragma Assert (False
3227         or else NT (N).Nkind = N_Component_Definition
3228         or else NT (N).Nkind = N_Formal_Object_Declaration
3229         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3230       Set_Node3_With_Parent (N, Val);
3231    end Set_Access_Definition;
3232
3233    procedure Set_Access_To_Subprogram_Definition
3234      (N : Node_Id; Val : Node_Id) is
3235    begin
3236       pragma Assert (False
3237         or else NT (N).Nkind = N_Access_Definition);
3238       Set_Node3_With_Parent (N, Val);
3239    end Set_Access_To_Subprogram_Definition;
3240
3241    procedure Set_Access_Types_To_Process
3242       (N : Node_Id; Val : Elist_Id) is
3243    begin
3244       pragma Assert (False
3245         or else NT (N).Nkind = N_Freeze_Entity);
3246       Set_Elist2 (N, Val); -- semantic field, no parent set
3247    end Set_Access_Types_To_Process;
3248
3249    procedure Set_Actions
3250       (N : Node_Id; Val : List_Id) is
3251    begin
3252       pragma Assert (False
3253         or else NT (N).Nkind = N_And_Then
3254         or else NT (N).Nkind = N_Case_Expression_Alternative
3255         or else NT (N).Nkind = N_Compilation_Unit_Aux
3256         or else NT (N).Nkind = N_Expression_With_Actions
3257         or else NT (N).Nkind = N_Freeze_Entity
3258         or else NT (N).Nkind = N_Or_Else);
3259       Set_List1_With_Parent (N, Val);
3260    end Set_Actions;
3261
3262    procedure Set_Activation_Chain_Entity
3263       (N : Node_Id; Val : Node_Id) is
3264    begin
3265       pragma Assert (False
3266         or else NT (N).Nkind = N_Block_Statement
3267         or else NT (N).Nkind = N_Entry_Body
3268         or else NT (N).Nkind = N_Generic_Package_Declaration
3269         or else NT (N).Nkind = N_Package_Declaration
3270         or else NT (N).Nkind = N_Subprogram_Body
3271         or else NT (N).Nkind = N_Task_Body);
3272       Set_Node3 (N, Val); -- semantic field, no parent set
3273    end Set_Activation_Chain_Entity;
3274
3275    procedure Set_Acts_As_Spec
3276       (N : Node_Id; Val : Boolean := True) is
3277    begin
3278       pragma Assert (False
3279         or else NT (N).Nkind = N_Compilation_Unit
3280         or else NT (N).Nkind = N_Subprogram_Body);
3281       Set_Flag4 (N, Val);
3282    end Set_Acts_As_Spec;
3283
3284    procedure Set_Actual_Designated_Subtype
3285      (N : Node_Id; Val : Node_Id) is
3286    begin
3287       pragma Assert (False
3288         or else NT (N).Nkind = N_Explicit_Dereference
3289         or else NT (N).Nkind = N_Free_Statement);
3290       Set_Node4 (N, Val);
3291    end Set_Actual_Designated_Subtype;
3292
3293    procedure Set_Address_Warning_Posted
3294       (N : Node_Id; Val : Boolean := True) is
3295    begin
3296       pragma Assert (False
3297         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3298       Set_Flag18 (N, Val);
3299    end Set_Address_Warning_Posted;
3300
3301    procedure Set_Aggregate_Bounds
3302       (N : Node_Id; Val : Node_Id) is
3303    begin
3304       pragma Assert (False
3305         or else NT (N).Nkind = N_Aggregate);
3306       Set_Node3 (N, Val); -- semantic field, no parent set
3307    end Set_Aggregate_Bounds;
3308
3309    procedure Set_Aliased_Present
3310       (N : Node_Id; Val : Boolean := True) is
3311    begin
3312       pragma Assert (False
3313         or else NT (N).Nkind = N_Component_Definition
3314         or else NT (N).Nkind = N_Object_Declaration
3315         or else NT (N).Nkind = N_Parameter_Specification);
3316       Set_Flag4 (N, Val);
3317    end Set_Aliased_Present;
3318
3319    procedure Set_All_Others
3320       (N : Node_Id; Val : Boolean := True) is
3321    begin
3322       pragma Assert (False
3323         or else NT (N).Nkind = N_Others_Choice);
3324       Set_Flag11 (N, Val);
3325    end Set_All_Others;
3326
3327    procedure Set_All_Present
3328       (N : Node_Id; Val : Boolean := True) is
3329    begin
3330       pragma Assert (False
3331         or else NT (N).Nkind = N_Access_Definition
3332         or else NT (N).Nkind = N_Access_To_Object_Definition
3333         or else NT (N).Nkind = N_Quantified_Expression
3334         or else NT (N).Nkind = N_Use_Type_Clause);
3335       Set_Flag15 (N, Val);
3336    end Set_All_Present;
3337
3338    procedure Set_Alternatives
3339       (N : Node_Id; Val : List_Id) is
3340    begin
3341       pragma Assert (False
3342         or else NT (N).Nkind = N_Case_Expression
3343         or else NT (N).Nkind = N_Case_Statement
3344         or else NT (N).Nkind = N_In
3345         or else NT (N).Nkind = N_Not_In);
3346       Set_List4_With_Parent (N, Val);
3347    end Set_Alternatives;
3348
3349    procedure Set_Ancestor_Part
3350       (N : Node_Id; Val : Node_Id) is
3351    begin
3352       pragma Assert (False
3353         or else NT (N).Nkind = N_Extension_Aggregate);
3354       Set_Node3_With_Parent (N, Val);
3355    end Set_Ancestor_Part;
3356
3357    procedure Set_Atomic_Sync_Required
3358       (N : Node_Id; Val : Boolean := True) is
3359    begin
3360       pragma Assert (False
3361         or else NT (N).Nkind = N_Expanded_Name
3362         or else NT (N).Nkind = N_Explicit_Dereference
3363         or else NT (N).Nkind = N_Identifier
3364         or else NT (N).Nkind = N_Indexed_Component
3365         or else NT (N).Nkind = N_Selected_Component);
3366       Set_Flag14 (N, Val);
3367    end Set_Atomic_Sync_Required;
3368
3369    procedure Set_Array_Aggregate
3370       (N : Node_Id; Val : Node_Id) is
3371    begin
3372       pragma Assert (False
3373         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3374       Set_Node3_With_Parent (N, Val);
3375    end Set_Array_Aggregate;
3376
3377    procedure Set_Aspect_Rep_Item
3378       (N : Node_Id; Val : Node_Id) is
3379    begin
3380       pragma Assert (False
3381         or else NT (N).Nkind = N_Aspect_Specification);
3382       Set_Node2 (N, Val);
3383    end Set_Aspect_Rep_Item;
3384
3385    procedure Set_Assignment_OK
3386       (N : Node_Id; Val : Boolean := True) is
3387    begin
3388       pragma Assert (False
3389         or else NT (N).Nkind = N_Object_Declaration
3390         or else NT (N).Nkind in N_Subexpr);
3391       Set_Flag15 (N, Val);
3392    end Set_Assignment_OK;
3393
3394    procedure Set_Associated_Node
3395       (N : Node_Id; Val : Node_Id) is
3396    begin
3397       pragma Assert (False
3398         or else NT (N).Nkind in N_Has_Entity
3399         or else NT (N).Nkind = N_Aggregate
3400         or else NT (N).Nkind = N_Extension_Aggregate
3401         or else NT (N).Nkind = N_Selected_Component);
3402       Set_Node4 (N, Val); -- semantic field, no parent set
3403    end Set_Associated_Node;
3404
3405    procedure Set_At_End_Proc
3406       (N : Node_Id; Val : Node_Id) is
3407    begin
3408       pragma Assert (False
3409         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3410       Set_Node1 (N, Val);
3411    end Set_At_End_Proc;
3412
3413    procedure Set_Attribute_Name
3414       (N : Node_Id; Val : Name_Id) is
3415    begin
3416       pragma Assert (False
3417         or else NT (N).Nkind = N_Attribute_Reference);
3418       Set_Name2 (N, Val);
3419    end Set_Attribute_Name;
3420
3421    procedure Set_Aux_Decls_Node
3422       (N : Node_Id; Val : Node_Id) is
3423    begin
3424       pragma Assert (False
3425         or else NT (N).Nkind = N_Compilation_Unit);
3426       Set_Node5_With_Parent (N, Val);
3427    end Set_Aux_Decls_Node;
3428
3429    procedure Set_Backwards_OK
3430       (N : Node_Id; Val : Boolean := True) is
3431    begin
3432       pragma Assert (False
3433         or else NT (N).Nkind = N_Assignment_Statement);
3434       Set_Flag6 (N, Val);
3435    end Set_Backwards_OK;
3436
3437    procedure Set_Bad_Is_Detected
3438       (N : Node_Id; Val : Boolean := True) is
3439    begin
3440       pragma Assert (False
3441         or else NT (N).Nkind = N_Subprogram_Body);
3442       Set_Flag15 (N, Val);
3443    end Set_Bad_Is_Detected;
3444
3445    procedure Set_Body_Required
3446       (N : Node_Id; Val : Boolean := True) is
3447    begin
3448       pragma Assert (False
3449         or else NT (N).Nkind = N_Compilation_Unit);
3450       Set_Flag13 (N, Val);
3451    end Set_Body_Required;
3452
3453    procedure Set_Body_To_Inline
3454       (N : Node_Id; Val : Node_Id) is
3455    begin
3456       pragma Assert (False
3457         or else NT (N).Nkind = N_Subprogram_Declaration);
3458       Set_Node3 (N, Val);
3459    end Set_Body_To_Inline;
3460
3461    procedure Set_Box_Present
3462       (N : Node_Id; Val : Boolean := True) is
3463    begin
3464       pragma Assert (False
3465         or else NT (N).Nkind = N_Component_Association
3466         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3467         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3468         or else NT (N).Nkind = N_Formal_Package_Declaration
3469         or else NT (N).Nkind = N_Generic_Association);
3470       Set_Flag15 (N, Val);
3471    end Set_Box_Present;
3472
3473    procedure Set_By_Ref
3474       (N : Node_Id; Val : Boolean := True) is
3475    begin
3476       pragma Assert (False
3477         or else NT (N).Nkind = N_Extended_Return_Statement
3478         or else NT (N).Nkind = N_Return_Statement);
3479       Set_Flag5 (N, Val);
3480    end Set_By_Ref;
3481
3482    procedure Set_Char_Literal_Value
3483       (N : Node_Id; Val : Uint) is
3484    begin
3485       pragma Assert (False
3486         or else NT (N).Nkind = N_Character_Literal);
3487       Set_Uint2 (N, Val);
3488    end Set_Char_Literal_Value;
3489
3490    procedure Set_Chars
3491       (N : Node_Id; Val : Name_Id) is
3492    begin
3493       pragma Assert (False
3494         or else NT (N).Nkind in N_Has_Chars);
3495       Set_Name1 (N, Val);
3496    end Set_Chars;
3497
3498    procedure Set_Check_Address_Alignment
3499       (N : Node_Id; Val : Boolean := True) is
3500    begin
3501       pragma Assert (False
3502           or else NT (N).Nkind = N_Attribute_Definition_Clause);
3503       Set_Flag11 (N, Val);
3504    end Set_Check_Address_Alignment;
3505
3506    procedure Set_Choice_Parameter
3507       (N : Node_Id; Val : Node_Id) is
3508    begin
3509       pragma Assert (False
3510         or else NT (N).Nkind = N_Exception_Handler);
3511       Set_Node2_With_Parent (N, Val);
3512    end Set_Choice_Parameter;
3513
3514    procedure Set_Choices
3515       (N : Node_Id; Val : List_Id) is
3516    begin
3517       pragma Assert (False
3518         or else NT (N).Nkind = N_Component_Association);
3519       Set_List1_With_Parent (N, Val);
3520    end Set_Choices;
3521
3522    procedure Set_Class_Present
3523       (N : Node_Id; Val : Boolean := True) is
3524    begin
3525       pragma Assert (False
3526         or else NT (N).Nkind = N_Aspect_Specification
3527         or else NT (N).Nkind = N_Pragma);
3528       Set_Flag6 (N, Val);
3529    end Set_Class_Present;
3530
3531    procedure Set_Comes_From_Extended_Return_Statement
3532      (N : Node_Id; Val : Boolean := True) is
3533    begin
3534       pragma Assert (False
3535         or else NT (N).Nkind = N_Return_Statement);
3536       Set_Flag18 (N, Val);
3537    end Set_Comes_From_Extended_Return_Statement;
3538
3539    procedure Set_Compile_Time_Known_Aggregate
3540       (N : Node_Id; Val : Boolean := True) is
3541    begin
3542       pragma Assert (False
3543         or else NT (N).Nkind = N_Aggregate);
3544       Set_Flag18 (N, Val);
3545    end Set_Compile_Time_Known_Aggregate;
3546
3547    procedure Set_Component_Associations
3548       (N : Node_Id; Val : List_Id) is
3549    begin
3550       pragma Assert (False
3551         or else NT (N).Nkind = N_Aggregate
3552         or else NT (N).Nkind = N_Extension_Aggregate);
3553       Set_List2_With_Parent (N, Val);
3554    end Set_Component_Associations;
3555
3556    procedure Set_Component_Clauses
3557       (N : Node_Id; Val : List_Id) is
3558    begin
3559       pragma Assert (False
3560         or else NT (N).Nkind = N_Record_Representation_Clause);
3561       Set_List3_With_Parent (N, Val);
3562    end Set_Component_Clauses;
3563
3564    procedure Set_Component_Definition
3565       (N : Node_Id; Val : Node_Id) is
3566    begin
3567       pragma Assert (False
3568         or else NT (N).Nkind = N_Component_Declaration
3569         or else NT (N).Nkind = N_Constrained_Array_Definition
3570         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3571       Set_Node4_With_Parent (N, Val);
3572    end Set_Component_Definition;
3573
3574    procedure Set_Component_Items
3575       (N : Node_Id; Val : List_Id) is
3576    begin
3577       pragma Assert (False
3578         or else NT (N).Nkind = N_Component_List);
3579       Set_List3_With_Parent (N, Val);
3580    end Set_Component_Items;
3581
3582    procedure Set_Component_List
3583       (N : Node_Id; Val : Node_Id) is
3584    begin
3585       pragma Assert (False
3586         or else NT (N).Nkind = N_Record_Definition
3587         or else NT (N).Nkind = N_Variant);
3588       Set_Node1_With_Parent (N, Val);
3589    end Set_Component_List;
3590
3591    procedure Set_Component_Name
3592       (N : Node_Id; Val : Node_Id) is
3593    begin
3594       pragma Assert (False
3595         or else NT (N).Nkind = N_Component_Clause);
3596       Set_Node1_With_Parent (N, Val);
3597    end Set_Component_Name;
3598
3599    procedure Set_Componentwise_Assignment
3600       (N : Node_Id; Val : Boolean := True) is
3601    begin
3602       pragma Assert (False
3603         or else NT (N).Nkind = N_Assignment_Statement);
3604       Set_Flag14 (N, Val);
3605    end Set_Componentwise_Assignment;
3606
3607    procedure Set_Condition
3608       (N : Node_Id; Val : Node_Id) is
3609    begin
3610       pragma Assert (False
3611         or else NT (N).Nkind = N_Accept_Alternative
3612         or else NT (N).Nkind = N_Delay_Alternative
3613         or else NT (N).Nkind = N_Elsif_Part
3614         or else NT (N).Nkind = N_Entry_Body_Formal_Part
3615         or else NT (N).Nkind = N_Exit_Statement
3616         or else NT (N).Nkind = N_If_Statement
3617         or else NT (N).Nkind = N_Iteration_Scheme
3618         or else NT (N).Nkind = N_Quantified_Expression
3619         or else NT (N).Nkind = N_Raise_Constraint_Error
3620         or else NT (N).Nkind = N_Raise_Program_Error
3621         or else NT (N).Nkind = N_Raise_Storage_Error
3622         or else NT (N).Nkind = N_Terminate_Alternative);
3623       Set_Node1_With_Parent (N, Val);
3624    end Set_Condition;
3625
3626    procedure Set_Condition_Actions
3627       (N : Node_Id; Val : List_Id) is
3628    begin
3629       pragma Assert (False
3630         or else NT (N).Nkind = N_Elsif_Part
3631         or else NT (N).Nkind = N_Iteration_Scheme);
3632       Set_List3 (N, Val); -- semantic field, no parent set
3633    end Set_Condition_Actions;
3634
3635    procedure Set_Config_Pragmas
3636       (N : Node_Id; Val : List_Id) is
3637    begin
3638       pragma Assert (False
3639         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3640       Set_List4_With_Parent (N, Val);
3641    end Set_Config_Pragmas;
3642
3643    procedure Set_Constant_Present
3644       (N : Node_Id; Val : Boolean := True) is
3645    begin
3646       pragma Assert (False
3647         or else NT (N).Nkind = N_Access_Definition
3648         or else NT (N).Nkind = N_Access_To_Object_Definition
3649         or else NT (N).Nkind = N_Object_Declaration);
3650       Set_Flag17 (N, Val);
3651    end Set_Constant_Present;
3652
3653    procedure Set_Constraint
3654       (N : Node_Id; Val : Node_Id) is
3655    begin
3656       pragma Assert (False
3657         or else NT (N).Nkind = N_Subtype_Indication);
3658       Set_Node3_With_Parent (N, Val);
3659    end Set_Constraint;
3660
3661    procedure Set_Constraints
3662       (N : Node_Id; Val : List_Id) is
3663    begin
3664       pragma Assert (False
3665         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3666       Set_List1_With_Parent (N, Val);
3667    end Set_Constraints;
3668
3669    procedure Set_Context_Installed
3670       (N : Node_Id; Val : Boolean := True) is
3671    begin
3672       pragma Assert (False
3673         or else NT (N).Nkind = N_With_Clause);
3674       Set_Flag13 (N, Val);
3675    end Set_Context_Installed;
3676
3677    procedure Set_Context_Items
3678       (N : Node_Id; Val : List_Id) is
3679    begin
3680       pragma Assert (False
3681         or else NT (N).Nkind = N_Compilation_Unit);
3682       Set_List1_With_Parent (N, Val);
3683    end Set_Context_Items;
3684
3685    procedure Set_Context_Pending
3686       (N : Node_Id; Val : Boolean := True) is
3687    begin
3688       pragma Assert (False
3689         or else NT (N).Nkind = N_Compilation_Unit);
3690       Set_Flag16 (N, Val);
3691    end Set_Context_Pending;
3692
3693    procedure Set_Controlling_Argument
3694       (N : Node_Id; Val : Node_Id) is
3695    begin
3696       pragma Assert (False
3697         or else NT (N).Nkind = N_Function_Call
3698         or else NT (N).Nkind = N_Procedure_Call_Statement);
3699       Set_Node1 (N, Val); -- semantic field, no parent set
3700    end Set_Controlling_Argument;
3701
3702    procedure Set_Conversion_OK
3703       (N : Node_Id; Val : Boolean := True) is
3704    begin
3705       pragma Assert (False
3706         or else NT (N).Nkind = N_Type_Conversion);
3707       Set_Flag14 (N, Val);
3708    end Set_Conversion_OK;
3709
3710    procedure Set_Corresponding_Aspect
3711       (N : Node_Id; Val : Node_Id) is
3712    begin
3713       pragma Assert (False
3714         or else NT (N).Nkind = N_Pragma);
3715       Set_Node3 (N, Val);
3716    end Set_Corresponding_Aspect;
3717
3718    procedure Set_Corresponding_Body
3719       (N : Node_Id; Val : Node_Id) is
3720    begin
3721       pragma Assert (False
3722         or else NT (N).Nkind = N_Entry_Declaration
3723         or else NT (N).Nkind = N_Generic_Package_Declaration
3724         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3725         or else NT (N).Nkind = N_Package_Body_Stub
3726         or else NT (N).Nkind = N_Package_Declaration
3727         or else NT (N).Nkind = N_Protected_Body_Stub
3728         or else NT (N).Nkind = N_Protected_Type_Declaration
3729         or else NT (N).Nkind = N_Subprogram_Body_Stub
3730         or else NT (N).Nkind = N_Subprogram_Declaration
3731         or else NT (N).Nkind = N_Task_Body_Stub
3732         or else NT (N).Nkind = N_Task_Type_Declaration);
3733       Set_Node5 (N, Val); -- semantic field, no parent set
3734    end Set_Corresponding_Body;
3735
3736    procedure Set_Corresponding_Formal_Spec
3737       (N : Node_Id; Val : Node_Id) is
3738    begin
3739       pragma Assert (False
3740         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3741       Set_Node3 (N, Val); -- semantic field, no parent set
3742    end Set_Corresponding_Formal_Spec;
3743
3744    procedure Set_Corresponding_Generic_Association
3745       (N : Node_Id; Val : Node_Id) is
3746    begin
3747       pragma Assert (False
3748         or else NT (N).Nkind = N_Object_Declaration
3749         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3750       Set_Node5 (N, Val); -- semantic field, no parent set
3751    end Set_Corresponding_Generic_Association;
3752
3753    procedure Set_Corresponding_Integer_Value
3754       (N : Node_Id; Val : Uint) is
3755    begin
3756       pragma Assert (False
3757         or else NT (N).Nkind = N_Real_Literal);
3758       Set_Uint4 (N, Val); -- semantic field, no parent set
3759    end Set_Corresponding_Integer_Value;
3760
3761    procedure Set_Corresponding_Spec
3762       (N : Node_Id; Val : Node_Id) is
3763    begin
3764       pragma Assert (False
3765         or else NT (N).Nkind = N_Expression_Function
3766         or else NT (N).Nkind = N_Package_Body
3767         or else NT (N).Nkind = N_Protected_Body
3768         or else NT (N).Nkind = N_Subprogram_Body
3769         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3770         or else NT (N).Nkind = N_Task_Body
3771         or else NT (N).Nkind = N_With_Clause);
3772       Set_Node5 (N, Val); -- semantic field, no parent set
3773    end Set_Corresponding_Spec;
3774
3775    procedure Set_Corresponding_Stub
3776       (N : Node_Id; Val : Node_Id) is
3777    begin
3778       pragma Assert (False
3779         or else NT (N).Nkind = N_Subunit);
3780       Set_Node3 (N, Val);
3781    end Set_Corresponding_Stub;
3782
3783    procedure Set_Dcheck_Function
3784       (N : Node_Id; Val : Entity_Id) is
3785    begin
3786       pragma Assert (False
3787         or else NT (N).Nkind = N_Variant);
3788       Set_Node5 (N, Val); -- semantic field, no parent set
3789    end Set_Dcheck_Function;
3790
3791    procedure Set_Declarations
3792       (N : Node_Id; Val : List_Id) is
3793    begin
3794       pragma Assert (False
3795         or else NT (N).Nkind = N_Accept_Statement
3796         or else NT (N).Nkind = N_Block_Statement
3797         or else NT (N).Nkind = N_Compilation_Unit_Aux
3798         or else NT (N).Nkind = N_Entry_Body
3799         or else NT (N).Nkind = N_Package_Body
3800         or else NT (N).Nkind = N_Protected_Body
3801         or else NT (N).Nkind = N_Subprogram_Body
3802         or else NT (N).Nkind = N_Task_Body);
3803       Set_List2_With_Parent (N, Val);
3804    end Set_Declarations;
3805
3806    procedure Set_Default_Expression
3807       (N : Node_Id; Val : Node_Id) is
3808    begin
3809       pragma Assert (False
3810         or else NT (N).Nkind = N_Formal_Object_Declaration
3811         or else NT (N).Nkind = N_Parameter_Specification);
3812       Set_Node5 (N, Val); -- semantic field, no parent set
3813    end Set_Default_Expression;
3814
3815    procedure Set_Default_Storage_Pool
3816       (N : Node_Id; Val : Node_Id) is
3817    begin
3818       pragma Assert (False
3819         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3820       Set_Node3 (N, Val); -- semantic field, no parent set
3821    end Set_Default_Storage_Pool;
3822
3823    procedure Set_Default_Name
3824       (N : Node_Id; Val : Node_Id) is
3825    begin
3826       pragma Assert (False
3827         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3828         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3829       Set_Node2_With_Parent (N, Val);
3830    end Set_Default_Name;
3831
3832    procedure Set_Defining_Identifier
3833       (N : Node_Id; Val : Entity_Id) is
3834    begin
3835       pragma Assert (False
3836         or else NT (N).Nkind = N_Component_Declaration
3837         or else NT (N).Nkind = N_Defining_Program_Unit_Name
3838         or else NT (N).Nkind = N_Discriminant_Specification
3839         or else NT (N).Nkind = N_Entry_Body
3840         or else NT (N).Nkind = N_Entry_Declaration
3841         or else NT (N).Nkind = N_Entry_Index_Specification
3842         or else NT (N).Nkind = N_Exception_Declaration
3843         or else NT (N).Nkind = N_Exception_Renaming_Declaration
3844         or else NT (N).Nkind = N_Formal_Object_Declaration
3845         or else NT (N).Nkind = N_Formal_Package_Declaration
3846         or else NT (N).Nkind = N_Formal_Type_Declaration
3847         or else NT (N).Nkind = N_Full_Type_Declaration
3848         or else NT (N).Nkind = N_Implicit_Label_Declaration
3849         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3850         or else NT (N).Nkind = N_Iterator_Specification
3851         or else NT (N).Nkind = N_Loop_Parameter_Specification
3852         or else NT (N).Nkind = N_Number_Declaration
3853         or else NT (N).Nkind = N_Object_Declaration
3854         or else NT (N).Nkind = N_Object_Renaming_Declaration
3855         or else NT (N).Nkind = N_Package_Body_Stub
3856         or else NT (N).Nkind = N_Parameter_Specification
3857         or else NT (N).Nkind = N_Private_Extension_Declaration
3858         or else NT (N).Nkind = N_Private_Type_Declaration
3859         or else NT (N).Nkind = N_Protected_Body
3860         or else NT (N).Nkind = N_Protected_Body_Stub
3861         or else NT (N).Nkind = N_Protected_Type_Declaration
3862         or else NT (N).Nkind = N_Single_Protected_Declaration
3863         or else NT (N).Nkind = N_Single_Task_Declaration
3864         or else NT (N).Nkind = N_Subtype_Declaration
3865         or else NT (N).Nkind = N_Task_Body
3866         or else NT (N).Nkind = N_Task_Body_Stub
3867         or else NT (N).Nkind = N_Task_Type_Declaration);
3868       Set_Node1_With_Parent (N, Val);
3869    end Set_Defining_Identifier;
3870
3871    procedure Set_Defining_Unit_Name
3872       (N : Node_Id; Val : Node_Id) is
3873    begin
3874       pragma Assert (False
3875         or else NT (N).Nkind = N_Function_Instantiation
3876         or else NT (N).Nkind = N_Function_Specification
3877         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3878         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3879         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3880         or else NT (N).Nkind = N_Package_Body
3881         or else NT (N).Nkind = N_Package_Instantiation
3882         or else NT (N).Nkind = N_Package_Renaming_Declaration
3883         or else NT (N).Nkind = N_Package_Specification
3884         or else NT (N).Nkind = N_Procedure_Instantiation
3885         or else NT (N).Nkind = N_Procedure_Specification);
3886       Set_Node1_With_Parent (N, Val);
3887    end Set_Defining_Unit_Name;
3888
3889    procedure Set_Delay_Alternative
3890       (N : Node_Id; Val : Node_Id) is
3891    begin
3892       pragma Assert (False
3893         or else NT (N).Nkind = N_Timed_Entry_Call);
3894       Set_Node4_With_Parent (N, Val);
3895    end Set_Delay_Alternative;
3896
3897    procedure Set_Delay_Statement
3898       (N : Node_Id; Val : Node_Id) is
3899    begin
3900       pragma Assert (False
3901         or else NT (N).Nkind = N_Delay_Alternative);
3902       Set_Node2_With_Parent (N, Val);
3903    end Set_Delay_Statement;
3904
3905    procedure Set_Delta_Expression
3906       (N : Node_Id; Val : Node_Id) is
3907    begin
3908       pragma Assert (False
3909         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3910         or else NT (N).Nkind = N_Delta_Constraint
3911         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3912       Set_Node3_With_Parent (N, Val);
3913    end Set_Delta_Expression;
3914
3915    procedure Set_Digits_Expression
3916       (N : Node_Id; Val : Node_Id) is
3917    begin
3918       pragma Assert (False
3919         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3920         or else NT (N).Nkind = N_Digits_Constraint
3921         or else NT (N).Nkind = N_Floating_Point_Definition);
3922       Set_Node2_With_Parent (N, Val);
3923    end Set_Digits_Expression;
3924
3925    procedure Set_Discr_Check_Funcs_Built
3926       (N : Node_Id; Val : Boolean := True) is
3927    begin
3928       pragma Assert (False
3929         or else NT (N).Nkind = N_Full_Type_Declaration);
3930       Set_Flag11 (N, Val);
3931    end Set_Discr_Check_Funcs_Built;
3932
3933    procedure Set_Discrete_Choices
3934       (N : Node_Id; Val : List_Id) is
3935    begin
3936       pragma Assert (False
3937         or else NT (N).Nkind = N_Case_Expression_Alternative
3938         or else NT (N).Nkind = N_Case_Statement_Alternative
3939         or else NT (N).Nkind = N_Variant);
3940       Set_List4_With_Parent (N, Val);
3941    end Set_Discrete_Choices;
3942
3943    procedure Set_Discrete_Range
3944       (N : Node_Id; Val : Node_Id) is
3945    begin
3946       pragma Assert (False
3947         or else NT (N).Nkind = N_Slice);
3948       Set_Node4_With_Parent (N, Val);
3949    end Set_Discrete_Range;
3950
3951    procedure Set_Discrete_Subtype_Definition
3952       (N : Node_Id; Val : Node_Id) is
3953    begin
3954       pragma Assert (False
3955         or else NT (N).Nkind = N_Entry_Declaration
3956         or else NT (N).Nkind = N_Entry_Index_Specification
3957         or else NT (N).Nkind = N_Loop_Parameter_Specification);
3958       Set_Node4_With_Parent (N, Val);
3959    end Set_Discrete_Subtype_Definition;
3960
3961    procedure Set_Discrete_Subtype_Definitions
3962       (N : Node_Id; Val : List_Id) is
3963    begin
3964       pragma Assert (False
3965         or else NT (N).Nkind = N_Constrained_Array_Definition);
3966       Set_List2_With_Parent (N, Val);
3967    end Set_Discrete_Subtype_Definitions;
3968
3969    procedure Set_Discriminant_Specifications
3970       (N : Node_Id; Val : List_Id) is
3971    begin
3972       pragma Assert (False
3973         or else NT (N).Nkind = N_Formal_Type_Declaration
3974         or else NT (N).Nkind = N_Full_Type_Declaration
3975         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3976         or else NT (N).Nkind = N_Private_Extension_Declaration
3977         or else NT (N).Nkind = N_Private_Type_Declaration
3978         or else NT (N).Nkind = N_Protected_Type_Declaration
3979         or else NT (N).Nkind = N_Task_Type_Declaration);
3980       Set_List4_With_Parent (N, Val);
3981    end Set_Discriminant_Specifications;
3982
3983    procedure Set_Discriminant_Type
3984       (N : Node_Id; Val : Node_Id) is
3985    begin
3986       pragma Assert (False
3987         or else NT (N).Nkind = N_Discriminant_Specification);
3988       Set_Node5_With_Parent (N, Val);
3989    end Set_Discriminant_Type;
3990
3991    procedure Set_Do_Accessibility_Check
3992       (N : Node_Id; Val : Boolean := True) is
3993    begin
3994       pragma Assert (False
3995         or else NT (N).Nkind = N_Parameter_Specification);
3996       Set_Flag13 (N, Val);
3997    end Set_Do_Accessibility_Check;
3998
3999    procedure Set_Do_Discriminant_Check
4000       (N : Node_Id; Val : Boolean := True) is
4001    begin
4002       pragma Assert (False
4003         or else NT (N).Nkind = N_Selected_Component);
4004       Set_Flag13 (N, Val);
4005    end Set_Do_Discriminant_Check;
4006
4007    procedure Set_Do_Division_Check
4008       (N : Node_Id; Val : Boolean := True) is
4009    begin
4010       pragma Assert (False
4011         or else NT (N).Nkind = N_Op_Divide
4012         or else NT (N).Nkind = N_Op_Mod
4013         or else NT (N).Nkind = N_Op_Rem);
4014       Set_Flag13 (N, Val);
4015    end Set_Do_Division_Check;
4016
4017    procedure Set_Do_Length_Check
4018       (N : Node_Id; Val : Boolean := True) is
4019    begin
4020       pragma Assert (False
4021         or else NT (N).Nkind = N_Assignment_Statement
4022         or else NT (N).Nkind = N_Op_And
4023         or else NT (N).Nkind = N_Op_Or
4024         or else NT (N).Nkind = N_Op_Xor
4025         or else NT (N).Nkind = N_Type_Conversion);
4026       Set_Flag4 (N, Val);
4027    end Set_Do_Length_Check;
4028
4029    procedure Set_Do_Overflow_Check
4030       (N : Node_Id; Val : Boolean := True) is
4031    begin
4032       pragma Assert (False
4033         or else NT (N).Nkind in N_Op
4034         or else NT (N).Nkind = N_Attribute_Reference
4035         or else NT (N).Nkind = N_Type_Conversion);
4036       Set_Flag17 (N, Val);
4037    end Set_Do_Overflow_Check;
4038
4039    procedure Set_Do_Range_Check
4040       (N : Node_Id; Val : Boolean := True) is
4041    begin
4042       pragma Assert (False
4043         or else NT (N).Nkind in N_Subexpr);
4044       Set_Flag9 (N, Val);
4045    end Set_Do_Range_Check;
4046
4047    procedure Set_Do_Storage_Check
4048       (N : Node_Id; Val : Boolean := True) is
4049    begin
4050       pragma Assert (False
4051         or else NT (N).Nkind = N_Allocator
4052         or else NT (N).Nkind = N_Subprogram_Body);
4053       Set_Flag17 (N, Val);
4054    end Set_Do_Storage_Check;
4055
4056    procedure Set_Do_Tag_Check
4057       (N : Node_Id; Val : Boolean := True) is
4058    begin
4059       pragma Assert (False
4060         or else NT (N).Nkind = N_Assignment_Statement
4061         or else NT (N).Nkind = N_Extended_Return_Statement
4062         or else NT (N).Nkind = N_Function_Call
4063         or else NT (N).Nkind = N_Procedure_Call_Statement
4064         or else NT (N).Nkind = N_Return_Statement
4065         or else NT (N).Nkind = N_Type_Conversion);
4066       Set_Flag13 (N, Val);
4067    end Set_Do_Tag_Check;
4068
4069    procedure Set_Elaborate_All_Desirable
4070       (N : Node_Id; Val : Boolean := True) is
4071    begin
4072       pragma Assert (False
4073         or else NT (N).Nkind = N_With_Clause);
4074       Set_Flag9 (N, Val);
4075    end Set_Elaborate_All_Desirable;
4076
4077    procedure Set_Elaborate_All_Present
4078       (N : Node_Id; Val : Boolean := True) is
4079    begin
4080       pragma Assert (False
4081         or else NT (N).Nkind = N_With_Clause);
4082       Set_Flag14 (N, Val);
4083    end Set_Elaborate_All_Present;
4084
4085    procedure Set_Elaborate_Desirable
4086       (N : Node_Id; Val : Boolean := True) is
4087    begin
4088       pragma Assert (False
4089         or else NT (N).Nkind = N_With_Clause);
4090       Set_Flag11 (N, Val);
4091    end Set_Elaborate_Desirable;
4092
4093    procedure Set_Elaborate_Present
4094       (N : Node_Id; Val : Boolean := True) is
4095    begin
4096       pragma Assert (False
4097         or else NT (N).Nkind = N_With_Clause);
4098       Set_Flag4 (N, Val);
4099    end Set_Elaborate_Present;
4100
4101    procedure Set_Elaboration_Boolean
4102       (N : Node_Id; Val : Node_Id) is
4103    begin
4104       pragma Assert (False
4105         or else NT (N).Nkind = N_Function_Specification
4106         or else NT (N).Nkind = N_Procedure_Specification);
4107       Set_Node2 (N, Val);
4108    end Set_Elaboration_Boolean;
4109
4110    procedure Set_Else_Actions
4111       (N : Node_Id; Val : List_Id) is
4112    begin
4113       pragma Assert (False
4114         or else NT (N).Nkind = N_Conditional_Expression);
4115       Set_List3 (N, Val); -- semantic field, no parent set
4116    end Set_Else_Actions;
4117
4118    procedure Set_Else_Statements
4119       (N : Node_Id; Val : List_Id) is
4120    begin
4121       pragma Assert (False
4122         or else NT (N).Nkind = N_Conditional_Entry_Call
4123         or else NT (N).Nkind = N_If_Statement
4124         or else NT (N).Nkind = N_Selective_Accept);
4125       Set_List4_With_Parent (N, Val);
4126    end Set_Else_Statements;
4127
4128    procedure Set_Elsif_Parts
4129       (N : Node_Id; Val : List_Id) is
4130    begin
4131       pragma Assert (False
4132         or else NT (N).Nkind = N_If_Statement);
4133       Set_List3_With_Parent (N, Val);
4134    end Set_Elsif_Parts;
4135
4136    procedure Set_Enclosing_Variant
4137       (N : Node_Id; Val : Node_Id) is
4138    begin
4139       pragma Assert (False
4140         or else NT (N).Nkind = N_Variant);
4141       Set_Node2 (N, Val); -- semantic field, no parent set
4142    end Set_Enclosing_Variant;
4143
4144    procedure Set_End_Label
4145       (N : Node_Id; Val : Node_Id) is
4146    begin
4147       pragma Assert (False
4148         or else NT (N).Nkind = N_Enumeration_Type_Definition
4149         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4150         or else NT (N).Nkind = N_Loop_Statement
4151         or else NT (N).Nkind = N_Package_Specification
4152         or else NT (N).Nkind = N_Protected_Body
4153         or else NT (N).Nkind = N_Protected_Definition
4154         or else NT (N).Nkind = N_Record_Definition
4155         or else NT (N).Nkind = N_Task_Definition);
4156       Set_Node4_With_Parent (N, Val);
4157    end Set_End_Label;
4158
4159    procedure Set_End_Span
4160       (N : Node_Id; Val : Uint) is
4161    begin
4162       pragma Assert (False
4163         or else NT (N).Nkind = N_Case_Statement
4164         or else NT (N).Nkind = N_If_Statement);
4165       Set_Uint5 (N, Val);
4166    end Set_End_Span;
4167
4168    procedure Set_Entity
4169       (N : Node_Id; Val : Node_Id) is
4170    begin
4171       pragma Assert (False
4172         or else NT (N).Nkind in N_Has_Entity
4173         or else NT (N).Nkind = N_Aspect_Specification
4174         or else NT (N).Nkind = N_Attribute_Definition_Clause
4175         or else NT (N).Nkind = N_Freeze_Entity);
4176       Set_Node4 (N, Val); -- semantic field, no parent set
4177    end Set_Entity;
4178
4179    procedure Set_Entry_Body_Formal_Part
4180       (N : Node_Id; Val : Node_Id) is
4181    begin
4182       pragma Assert (False
4183         or else NT (N).Nkind = N_Entry_Body);
4184       Set_Node5_With_Parent (N, Val);
4185    end Set_Entry_Body_Formal_Part;
4186
4187    procedure Set_Entry_Call_Alternative
4188       (N : Node_Id; Val : Node_Id) is
4189    begin
4190       pragma Assert (False
4191         or else NT (N).Nkind = N_Conditional_Entry_Call
4192         or else NT (N).Nkind = N_Timed_Entry_Call);
4193       Set_Node1_With_Parent (N, Val);
4194    end Set_Entry_Call_Alternative;
4195
4196    procedure Set_Entry_Call_Statement
4197       (N : Node_Id; Val : Node_Id) is
4198    begin
4199       pragma Assert (False
4200         or else NT (N).Nkind = N_Entry_Call_Alternative);
4201       Set_Node1_With_Parent (N, Val);
4202    end Set_Entry_Call_Statement;
4203
4204    procedure Set_Entry_Direct_Name
4205       (N : Node_Id; Val : Node_Id) is
4206    begin
4207       pragma Assert (False
4208         or else NT (N).Nkind = N_Accept_Statement);
4209       Set_Node1_With_Parent (N, Val);
4210    end Set_Entry_Direct_Name;
4211
4212    procedure Set_Entry_Index
4213       (N : Node_Id; Val : Node_Id) is
4214    begin
4215       pragma Assert (False
4216         or else NT (N).Nkind = N_Accept_Statement);
4217       Set_Node5_With_Parent (N, Val);
4218    end Set_Entry_Index;
4219
4220    procedure Set_Entry_Index_Specification
4221       (N : Node_Id; Val : Node_Id) is
4222    begin
4223       pragma Assert (False
4224         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4225       Set_Node4_With_Parent (N, Val);
4226    end Set_Entry_Index_Specification;
4227
4228    procedure Set_Etype
4229       (N : Node_Id; Val : Node_Id) is
4230    begin
4231       pragma Assert (False
4232         or else NT (N).Nkind in N_Has_Etype);
4233       Set_Node5 (N, Val); -- semantic field, no parent set
4234    end Set_Etype;
4235
4236    procedure Set_Exception_Choices
4237       (N : Node_Id; Val : List_Id) is
4238    begin
4239       pragma Assert (False
4240         or else NT (N).Nkind = N_Exception_Handler);
4241       Set_List4_With_Parent (N, Val);
4242    end Set_Exception_Choices;
4243
4244    procedure Set_Exception_Handlers
4245       (N : Node_Id; Val : List_Id) is
4246    begin
4247       pragma Assert (False
4248         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4249       Set_List5_With_Parent (N, Val);
4250    end Set_Exception_Handlers;
4251
4252    procedure Set_Exception_Junk
4253      (N : Node_Id; Val : Boolean := True) is
4254    begin
4255       pragma Assert (False
4256         or else NT (N).Nkind = N_Block_Statement
4257         or else NT (N).Nkind = N_Goto_Statement
4258         or else NT (N).Nkind = N_Label
4259         or else NT (N).Nkind = N_Object_Declaration
4260         or else NT (N).Nkind = N_Subtype_Declaration);
4261       Set_Flag8 (N, Val);
4262    end Set_Exception_Junk;
4263
4264    procedure Set_Exception_Label
4265      (N : Node_Id; Val : Node_Id) is
4266    begin
4267       pragma Assert (False
4268         or else NT (N).Nkind = N_Exception_Handler
4269         or else NT (N).Nkind = N_Push_Constraint_Error_Label
4270         or else NT (N).Nkind = N_Push_Program_Error_Label
4271         or else NT (N).Nkind = N_Push_Storage_Error_Label);
4272       Set_Node5 (N, Val); -- semantic field, no parent set
4273    end Set_Exception_Label;
4274
4275    procedure Set_Expansion_Delayed
4276      (N : Node_Id; Val : Boolean := True) is
4277    begin
4278       pragma Assert (False
4279         or else NT (N).Nkind = N_Aggregate
4280         or else NT (N).Nkind = N_Extension_Aggregate);
4281       Set_Flag11 (N, Val);
4282    end Set_Expansion_Delayed;
4283
4284    procedure Set_Explicit_Actual_Parameter
4285       (N : Node_Id; Val : Node_Id) is
4286    begin
4287       pragma Assert (False
4288         or else NT (N).Nkind = N_Parameter_Association);
4289       Set_Node3_With_Parent (N, Val);
4290    end Set_Explicit_Actual_Parameter;
4291
4292    procedure Set_Explicit_Generic_Actual_Parameter
4293       (N : Node_Id; Val : Node_Id) is
4294    begin
4295       pragma Assert (False
4296         or else NT (N).Nkind = N_Generic_Association);
4297       Set_Node1_With_Parent (N, Val);
4298    end Set_Explicit_Generic_Actual_Parameter;
4299
4300    procedure Set_Expression
4301       (N : Node_Id; Val : Node_Id) is
4302    begin
4303       pragma Assert (False
4304         or else NT (N).Nkind = N_Allocator
4305         or else NT (N).Nkind = N_Aspect_Specification
4306         or else NT (N).Nkind = N_Assignment_Statement
4307         or else NT (N).Nkind = N_At_Clause
4308         or else NT (N).Nkind = N_Attribute_Definition_Clause
4309         or else NT (N).Nkind = N_Case_Expression
4310         or else NT (N).Nkind = N_Case_Expression_Alternative
4311         or else NT (N).Nkind = N_Case_Statement
4312         or else NT (N).Nkind = N_Code_Statement
4313         or else NT (N).Nkind = N_Component_Association
4314         or else NT (N).Nkind = N_Component_Declaration
4315         or else NT (N).Nkind = N_Delay_Relative_Statement
4316         or else NT (N).Nkind = N_Delay_Until_Statement
4317         or else NT (N).Nkind = N_Discriminant_Association
4318         or else NT (N).Nkind = N_Discriminant_Specification
4319         or else NT (N).Nkind = N_Exception_Declaration
4320         or else NT (N).Nkind = N_Expression_Function
4321         or else NT (N).Nkind = N_Expression_With_Actions
4322         or else NT (N).Nkind = N_Free_Statement
4323         or else NT (N).Nkind = N_Mod_Clause
4324         or else NT (N).Nkind = N_Modular_Type_Definition
4325         or else NT (N).Nkind = N_Number_Declaration
4326         or else NT (N).Nkind = N_Object_Declaration
4327         or else NT (N).Nkind = N_Parameter_Specification
4328         or else NT (N).Nkind = N_Pragma_Argument_Association
4329         or else NT (N).Nkind = N_Qualified_Expression
4330         or else NT (N).Nkind = N_Raise_Statement
4331         or else NT (N).Nkind = N_Return_Statement
4332         or else NT (N).Nkind = N_Type_Conversion
4333         or else NT (N).Nkind = N_Unchecked_Expression
4334         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4335       Set_Node3_With_Parent (N, Val);
4336    end Set_Expression;
4337
4338    procedure Set_Expressions
4339       (N : Node_Id; Val : List_Id) is
4340    begin
4341       pragma Assert (False
4342         or else NT (N).Nkind = N_Aggregate
4343         or else NT (N).Nkind = N_Attribute_Reference
4344         or else NT (N).Nkind = N_Conditional_Expression
4345         or else NT (N).Nkind = N_Extension_Aggregate
4346         or else NT (N).Nkind = N_Indexed_Component);
4347       Set_List1_With_Parent (N, Val);
4348    end Set_Expressions;
4349
4350    procedure Set_First_Bit
4351       (N : Node_Id; Val : Node_Id) is
4352    begin
4353       pragma Assert (False
4354         or else NT (N).Nkind = N_Component_Clause);
4355       Set_Node3_With_Parent (N, Val);
4356    end Set_First_Bit;
4357
4358    procedure Set_First_Inlined_Subprogram
4359       (N : Node_Id; Val : Entity_Id) is
4360    begin
4361       pragma Assert (False
4362         or else NT (N).Nkind = N_Compilation_Unit);
4363       Set_Node3 (N, Val);  -- semantic field, no parent set
4364    end Set_First_Inlined_Subprogram;
4365
4366    procedure Set_First_Name
4367       (N : Node_Id; Val : Boolean := True) is
4368    begin
4369       pragma Assert (False
4370         or else NT (N).Nkind = N_With_Clause);
4371       Set_Flag5 (N, Val);
4372    end Set_First_Name;
4373
4374    procedure Set_First_Named_Actual
4375       (N : Node_Id; Val : Node_Id) is
4376    begin
4377       pragma Assert (False
4378         or else NT (N).Nkind = N_Entry_Call_Statement
4379         or else NT (N).Nkind = N_Function_Call
4380         or else NT (N).Nkind = N_Procedure_Call_Statement);
4381       Set_Node4 (N, Val); -- semantic field, no parent set
4382    end Set_First_Named_Actual;
4383
4384    procedure Set_First_Real_Statement
4385       (N : Node_Id; Val : Node_Id) is
4386    begin
4387       pragma Assert (False
4388         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4389       Set_Node2 (N, Val); -- semantic field, no parent set
4390    end Set_First_Real_Statement;
4391
4392    procedure Set_First_Subtype_Link
4393       (N : Node_Id; Val : Entity_Id) is
4394    begin
4395       pragma Assert (False
4396         or else NT (N).Nkind = N_Freeze_Entity);
4397       Set_Node5 (N, Val); -- semantic field, no parent set
4398    end Set_First_Subtype_Link;
4399
4400    procedure Set_Float_Truncate
4401       (N : Node_Id; Val : Boolean := True) is
4402    begin
4403       pragma Assert (False
4404         or else NT (N).Nkind = N_Type_Conversion);
4405       Set_Flag11 (N, Val);
4406    end Set_Float_Truncate;
4407
4408    procedure Set_Formal_Type_Definition
4409       (N : Node_Id; Val : Node_Id) is
4410    begin
4411       pragma Assert (False
4412         or else NT (N).Nkind = N_Formal_Type_Declaration);
4413       Set_Node3_With_Parent (N, Val);
4414    end Set_Formal_Type_Definition;
4415
4416    procedure Set_Forwards_OK
4417       (N : Node_Id; Val : Boolean := True) is
4418    begin
4419       pragma Assert (False
4420         or else NT (N).Nkind = N_Assignment_Statement);
4421       Set_Flag5 (N, Val);
4422    end Set_Forwards_OK;
4423
4424    procedure Set_From_Aspect_Specification
4425       (N : Node_Id; Val : Boolean := True) is
4426    begin
4427       pragma Assert (False
4428         or else NT (N).Nkind = N_Attribute_Definition_Clause
4429         or else NT (N).Nkind = N_Pragma);
4430       Set_Flag13 (N, Val);
4431    end Set_From_Aspect_Specification;
4432
4433    procedure Set_From_At_End
4434       (N : Node_Id; Val : Boolean := True) is
4435    begin
4436       pragma Assert (False
4437         or else NT (N).Nkind = N_Raise_Statement);
4438       Set_Flag4 (N, Val);
4439    end Set_From_At_End;
4440
4441    procedure Set_From_At_Mod
4442       (N : Node_Id; Val : Boolean := True) is
4443    begin
4444       pragma Assert (False
4445         or else NT (N).Nkind = N_Attribute_Definition_Clause);
4446       Set_Flag4 (N, Val);
4447    end Set_From_At_Mod;
4448
4449    procedure Set_From_Default
4450       (N : Node_Id; Val : Boolean := True) is
4451    begin
4452       pragma Assert (False
4453         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4454       Set_Flag6 (N, Val);
4455    end Set_From_Default;
4456
4457    procedure Set_Generic_Associations
4458       (N : Node_Id; Val : List_Id) is
4459    begin
4460       pragma Assert (False
4461         or else NT (N).Nkind = N_Formal_Package_Declaration
4462         or else NT (N).Nkind = N_Function_Instantiation
4463         or else NT (N).Nkind = N_Package_Instantiation
4464         or else NT (N).Nkind = N_Procedure_Instantiation);
4465       Set_List3_With_Parent (N, Val);
4466    end Set_Generic_Associations;
4467
4468    procedure Set_Generic_Formal_Declarations
4469       (N : Node_Id; Val : List_Id) is
4470    begin
4471       pragma Assert (False
4472         or else NT (N).Nkind = N_Generic_Package_Declaration
4473         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4474       Set_List2_With_Parent (N, Val);
4475    end Set_Generic_Formal_Declarations;
4476
4477    procedure Set_Generic_Parent
4478       (N : Node_Id; Val : Node_Id) is
4479    begin
4480       pragma Assert (False
4481         or else NT (N).Nkind = N_Function_Specification
4482         or else NT (N).Nkind = N_Package_Specification
4483         or else NT (N).Nkind = N_Procedure_Specification);
4484       Set_Node5 (N, Val);
4485    end Set_Generic_Parent;
4486
4487    procedure Set_Generic_Parent_Type
4488       (N : Node_Id; Val : Node_Id) is
4489    begin
4490       pragma Assert (False
4491         or else NT (N).Nkind = N_Subtype_Declaration);
4492       Set_Node4 (N, Val);
4493    end Set_Generic_Parent_Type;
4494
4495    procedure Set_Handled_Statement_Sequence
4496       (N : Node_Id; Val : Node_Id) is
4497    begin
4498       pragma Assert (False
4499         or else NT (N).Nkind = N_Accept_Statement
4500         or else NT (N).Nkind = N_Block_Statement
4501         or else NT (N).Nkind = N_Entry_Body
4502         or else NT (N).Nkind = N_Extended_Return_Statement
4503         or else NT (N).Nkind = N_Package_Body
4504         or else NT (N).Nkind = N_Subprogram_Body
4505         or else NT (N).Nkind = N_Task_Body);
4506       Set_Node4_With_Parent (N, Val);
4507    end Set_Handled_Statement_Sequence;
4508
4509    procedure Set_Handler_List_Entry
4510       (N : Node_Id; Val : Node_Id) is
4511    begin
4512       pragma Assert (False
4513         or else NT (N).Nkind = N_Object_Declaration);
4514       Set_Node2 (N, Val);
4515    end Set_Handler_List_Entry;
4516
4517    procedure Set_Has_Created_Identifier
4518       (N : Node_Id; Val : Boolean := True) is
4519    begin
4520       pragma Assert (False
4521         or else NT (N).Nkind = N_Block_Statement
4522         or else NT (N).Nkind = N_Loop_Statement);
4523       Set_Flag15 (N, Val);
4524    end Set_Has_Created_Identifier;
4525
4526    procedure Set_Has_Dereference_Action
4527       (N : Node_Id; Val : Boolean := True) is
4528    begin
4529       pragma Assert (False
4530         or else NT (N).Nkind = N_Explicit_Dereference);
4531       Set_Flag13 (N, Val);
4532    end Set_Has_Dereference_Action;
4533
4534    procedure Set_Has_Dynamic_Length_Check
4535       (N : Node_Id; Val : Boolean := True) is
4536    begin
4537       pragma Assert (False
4538         or else NT (N).Nkind in N_Subexpr);
4539       Set_Flag10 (N, Val);
4540    end Set_Has_Dynamic_Length_Check;
4541
4542    procedure Set_Has_Dynamic_Range_Check
4543       (N : Node_Id; Val : Boolean := True) is
4544    begin
4545       pragma Assert (False
4546         or else NT (N).Nkind =  N_Subtype_Declaration
4547         or else NT (N).Nkind in N_Subexpr);
4548       Set_Flag12 (N, Val);
4549    end Set_Has_Dynamic_Range_Check;
4550
4551    procedure Set_Has_Init_Expression
4552       (N : Node_Id; Val : Boolean := True) is
4553    begin
4554       pragma Assert (False
4555         or else NT (N).Nkind = N_Object_Declaration);
4556       Set_Flag14 (N, Val);
4557    end Set_Has_Init_Expression;
4558
4559    procedure Set_Has_Local_Raise
4560       (N : Node_Id; Val : Boolean := True) is
4561    begin
4562       pragma Assert (False
4563         or else NT (N).Nkind = N_Exception_Handler);
4564       Set_Flag8 (N, Val);
4565    end Set_Has_Local_Raise;
4566
4567    procedure Set_Has_No_Elaboration_Code
4568       (N : Node_Id; Val : Boolean := True) is
4569    begin
4570       pragma Assert (False
4571         or else NT (N).Nkind = N_Compilation_Unit);
4572       Set_Flag17 (N, Val);
4573    end Set_Has_No_Elaboration_Code;
4574
4575    procedure Set_Has_Pragma_CPU
4576       (N : Node_Id; Val : Boolean := True) is
4577    begin
4578       pragma Assert (False
4579         or else NT (N).Nkind = N_Subprogram_Body
4580         or else NT (N).Nkind = N_Task_Definition);
4581       Set_Flag14 (N, Val);
4582    end Set_Has_Pragma_CPU;
4583
4584    procedure Set_Has_Pragma_Dispatching_Domain
4585       (N : Node_Id; Val : Boolean := True) is
4586    begin
4587       pragma Assert (False
4588         or else NT (N).Nkind = N_Task_Definition);
4589       Set_Flag15 (N, Val);
4590    end Set_Has_Pragma_Dispatching_Domain;
4591
4592    procedure Set_Has_Pragma_Priority
4593       (N : Node_Id; Val : Boolean := True) is
4594    begin
4595       pragma Assert (False
4596         or else NT (N).Nkind = N_Protected_Definition
4597         or else NT (N).Nkind = N_Subprogram_Body
4598         or else NT (N).Nkind = N_Task_Definition);
4599       Set_Flag6 (N, Val);
4600    end Set_Has_Pragma_Priority;
4601
4602    procedure Set_Has_Pragma_Suppress_All
4603       (N : Node_Id; Val : Boolean := True) is
4604    begin
4605       pragma Assert (False
4606         or else NT (N).Nkind = N_Compilation_Unit);
4607       Set_Flag14 (N, Val);
4608    end Set_Has_Pragma_Suppress_All;
4609
4610    procedure Set_Has_Private_View
4611       (N : Node_Id; Val : Boolean := True) is
4612    begin
4613       pragma Assert (False
4614        or else NT (N).Nkind in N_Op
4615        or else NT (N).Nkind = N_Character_Literal
4616        or else NT (N).Nkind = N_Expanded_Name
4617        or else NT (N).Nkind = N_Identifier
4618        or else NT (N).Nkind = N_Operator_Symbol);
4619       Set_Flag11 (N, Val);
4620    end Set_Has_Private_View;
4621
4622    procedure Set_Has_Relative_Deadline_Pragma
4623       (N : Node_Id; Val : Boolean := True) is
4624    begin
4625       pragma Assert (False
4626         or else NT (N).Nkind = N_Subprogram_Body
4627         or else NT (N).Nkind = N_Task_Definition);
4628       Set_Flag9 (N, Val);
4629    end Set_Has_Relative_Deadline_Pragma;
4630
4631    procedure Set_Has_Self_Reference
4632       (N : Node_Id; Val : Boolean := True) is
4633    begin
4634       pragma Assert (False
4635         or else NT (N).Nkind = N_Aggregate
4636         or else NT (N).Nkind = N_Extension_Aggregate);
4637       Set_Flag13 (N, Val);
4638    end Set_Has_Self_Reference;
4639
4640    procedure Set_Has_Storage_Size_Pragma
4641       (N : Node_Id; Val : Boolean := True) is
4642    begin
4643       pragma Assert (False
4644         or else NT (N).Nkind = N_Task_Definition);
4645       Set_Flag5 (N, Val);
4646    end Set_Has_Storage_Size_Pragma;
4647
4648    procedure Set_Has_Task_Info_Pragma
4649       (N : Node_Id; Val : Boolean := True) is
4650    begin
4651       pragma Assert (False
4652         or else NT (N).Nkind = N_Task_Definition);
4653       Set_Flag7 (N, Val);
4654    end Set_Has_Task_Info_Pragma;
4655
4656    procedure Set_Has_Task_Name_Pragma
4657       (N : Node_Id; Val : Boolean := True) is
4658    begin
4659       pragma Assert (False
4660         or else NT (N).Nkind = N_Task_Definition);
4661       Set_Flag8 (N, Val);
4662    end Set_Has_Task_Name_Pragma;
4663
4664    procedure Set_Has_Wide_Character
4665       (N : Node_Id; Val : Boolean := True) is
4666    begin
4667       pragma Assert (False
4668         or else NT (N).Nkind = N_String_Literal);
4669       Set_Flag11 (N, Val);
4670    end Set_Has_Wide_Character;
4671
4672    procedure Set_Has_Wide_Wide_Character
4673       (N : Node_Id; Val : Boolean := True) is
4674    begin
4675       pragma Assert (False
4676         or else NT (N).Nkind = N_String_Literal);
4677       Set_Flag13 (N, Val);
4678    end Set_Has_Wide_Wide_Character;
4679
4680    procedure Set_Header_Size_Added
4681       (N : Node_Id; Val : Boolean := True) is
4682    begin
4683       pragma Assert (False
4684         or else NT (N).Nkind = N_Attribute_Reference);
4685       Set_Flag11 (N, Val);
4686    end Set_Header_Size_Added;
4687
4688    procedure Set_Hidden_By_Use_Clause
4689      (N : Node_Id; Val : Elist_Id) is
4690    begin
4691       pragma Assert (False
4692         or else NT (N).Nkind = N_Use_Package_Clause
4693         or else NT (N).Nkind = N_Use_Type_Clause);
4694       Set_Elist4 (N, Val);
4695    end Set_Hidden_By_Use_Clause;
4696
4697    procedure Set_High_Bound
4698       (N : Node_Id; Val : Node_Id) is
4699    begin
4700       pragma Assert (False
4701         or else NT (N).Nkind = N_Range
4702         or else NT (N).Nkind = N_Real_Range_Specification
4703         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4704       Set_Node2_With_Parent (N, Val);
4705    end Set_High_Bound;
4706
4707    procedure Set_Identifier
4708       (N : Node_Id; Val : Node_Id) is
4709    begin
4710       pragma Assert (False
4711         or else NT (N).Nkind = N_Aspect_Specification
4712         or else NT (N).Nkind = N_At_Clause
4713         or else NT (N).Nkind = N_Block_Statement
4714         or else NT (N).Nkind = N_Designator
4715         or else NT (N).Nkind = N_Enumeration_Representation_Clause
4716         or else NT (N).Nkind = N_Label
4717         or else NT (N).Nkind = N_Loop_Statement
4718         or else NT (N).Nkind = N_Record_Representation_Clause
4719         or else NT (N).Nkind = N_Subprogram_Info);
4720       Set_Node1_With_Parent (N, Val);
4721    end Set_Identifier;
4722
4723    procedure Set_Implicit_With
4724       (N : Node_Id; Val : Boolean := True) is
4725    begin
4726       pragma Assert (False
4727         or else NT (N).Nkind = N_With_Clause);
4728       Set_Flag16 (N, Val);
4729    end Set_Implicit_With;
4730
4731    procedure Set_Implicit_With_From_Instantiation
4732       (N : Node_Id; Val : Boolean := True) is
4733    begin
4734       pragma Assert (False
4735         or else NT (N).Nkind = N_With_Clause);
4736       Set_Flag12 (N, Val);
4737    end Set_Implicit_With_From_Instantiation;
4738
4739    procedure Set_Interface_List
4740       (N : Node_Id; Val : List_Id) is
4741    begin
4742       pragma Assert (False
4743         or else NT (N).Nkind = N_Derived_Type_Definition
4744         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4745         or else NT (N).Nkind = N_Private_Extension_Declaration
4746         or else NT (N).Nkind = N_Protected_Type_Declaration
4747         or else NT (N).Nkind = N_Record_Definition
4748         or else NT (N).Nkind = N_Single_Protected_Declaration
4749         or else NT (N).Nkind = N_Single_Task_Declaration
4750         or else NT (N).Nkind = N_Task_Type_Declaration);
4751       Set_List2_With_Parent (N, Val);
4752    end Set_Interface_List;
4753
4754    procedure Set_Interface_Present
4755       (N : Node_Id; Val : Boolean := True) is
4756    begin
4757       pragma Assert (False
4758         or else NT (N).Nkind = N_Derived_Type_Definition
4759         or else NT (N).Nkind = N_Record_Definition);
4760       Set_Flag16 (N, Val);
4761    end Set_Interface_Present;
4762
4763    procedure Set_Import_Interface_Present
4764       (N : Node_Id; Val : Boolean := True) is
4765    begin
4766       pragma Assert (False
4767         or else NT (N).Nkind = N_Pragma);
4768       Set_Flag16 (N, Val);
4769    end Set_Import_Interface_Present;
4770
4771    procedure Set_In_Present
4772       (N : Node_Id; Val : Boolean := True) is
4773    begin
4774       pragma Assert (False
4775         or else NT (N).Nkind = N_Formal_Object_Declaration
4776         or else NT (N).Nkind = N_Parameter_Specification);
4777       Set_Flag15 (N, Val);
4778    end Set_In_Present;
4779
4780    procedure Set_Includes_Infinities
4781       (N : Node_Id; Val : Boolean := True) is
4782    begin
4783       pragma Assert (False
4784         or else NT (N).Nkind = N_Range);
4785       Set_Flag11 (N, Val);
4786    end Set_Includes_Infinities;
4787
4788    procedure Set_Inherited_Discriminant
4789       (N : Node_Id; Val : Boolean := True) is
4790    begin
4791       pragma Assert (False
4792         or else NT (N).Nkind = N_Component_Association);
4793       Set_Flag13 (N, Val);
4794    end Set_Inherited_Discriminant;
4795
4796    procedure Set_Instance_Spec
4797       (N : Node_Id; Val : Node_Id) is
4798    begin
4799       pragma Assert (False
4800         or else NT (N).Nkind = N_Formal_Package_Declaration
4801         or else NT (N).Nkind = N_Function_Instantiation
4802         or else NT (N).Nkind = N_Package_Instantiation
4803         or else NT (N).Nkind = N_Procedure_Instantiation);
4804       Set_Node5 (N, Val); -- semantic field, no Parent set
4805    end Set_Instance_Spec;
4806
4807    procedure Set_Intval
4808       (N : Node_Id; Val : Uint) is
4809    begin
4810       pragma Assert (False
4811         or else NT (N).Nkind = N_Integer_Literal);
4812       Set_Uint3 (N, Val);
4813    end Set_Intval;
4814
4815    procedure Set_Is_Accessibility_Actual
4816       (N : Node_Id; Val : Boolean := True) is
4817    begin
4818       pragma Assert (False
4819         or else NT (N).Nkind = N_Parameter_Association);
4820       Set_Flag13 (N, Val);
4821    end Set_Is_Accessibility_Actual;
4822
4823    procedure Set_Is_Asynchronous_Call_Block
4824       (N : Node_Id; Val : Boolean := True) is
4825    begin
4826       pragma Assert (False
4827         or else NT (N).Nkind = N_Block_Statement);
4828       Set_Flag7 (N, Val);
4829    end Set_Is_Asynchronous_Call_Block;
4830
4831    procedure Set_Is_Boolean_Aspect
4832       (N : Node_Id; Val : Boolean := True) is
4833    begin
4834       pragma Assert (False
4835         or else NT (N).Nkind = N_Aspect_Specification);
4836       Set_Flag16 (N, Val);
4837    end Set_Is_Boolean_Aspect;
4838
4839    procedure Set_Is_Component_Left_Opnd
4840       (N : Node_Id; Val : Boolean := True) is
4841    begin
4842       pragma Assert (False
4843         or else NT (N).Nkind = N_Op_Concat);
4844       Set_Flag13 (N, Val);
4845    end Set_Is_Component_Left_Opnd;
4846
4847    procedure Set_Is_Component_Right_Opnd
4848       (N : Node_Id; Val : Boolean := True) is
4849    begin
4850       pragma Assert (False
4851         or else NT (N).Nkind = N_Op_Concat);
4852       Set_Flag14 (N, Val);
4853    end Set_Is_Component_Right_Opnd;
4854
4855    procedure Set_Is_Controlling_Actual
4856       (N : Node_Id; Val : Boolean := True) is
4857    begin
4858       pragma Assert (False
4859         or else NT (N).Nkind in N_Subexpr);
4860       Set_Flag16 (N, Val);
4861    end Set_Is_Controlling_Actual;
4862
4863    procedure Set_Is_Delayed_Aspect
4864       (N : Node_Id; Val : Boolean := True) is
4865    begin
4866       pragma Assert (False
4867         or else NT (N).Nkind = N_Aspect_Specification
4868         or else NT (N).Nkind = N_Attribute_Definition_Clause
4869         or else NT (N).Nkind = N_Pragma);
4870       Set_Flag14 (N, Val);
4871    end Set_Is_Delayed_Aspect;
4872
4873    procedure Set_Is_Dynamic_Coextension
4874       (N : Node_Id; Val : Boolean := True) is
4875    begin
4876       pragma Assert (False
4877         or else NT (N).Nkind = N_Allocator);
4878       Set_Flag18 (N, Val);
4879    end Set_Is_Dynamic_Coextension;
4880
4881    procedure Set_Is_Elsif
4882      (N : Node_Id; Val : Boolean := True) is
4883    begin
4884       pragma Assert (False
4885         or else NT (N).Nkind = N_Conditional_Expression);
4886       Set_Flag13 (N, Val);
4887    end Set_Is_Elsif;
4888
4889    procedure Set_Is_Entry_Barrier_Function
4890       (N : Node_Id; Val : Boolean := True) is
4891    begin
4892       pragma Assert (False
4893         or else NT (N).Nkind = N_Subprogram_Body);
4894       Set_Flag8 (N, Val);
4895    end Set_Is_Entry_Barrier_Function;
4896
4897    procedure Set_Is_Expanded_Build_In_Place_Call
4898       (N : Node_Id; Val : Boolean := True) is
4899    begin
4900       pragma Assert (False
4901         or else NT (N).Nkind = N_Function_Call);
4902       Set_Flag11 (N, Val);
4903    end Set_Is_Expanded_Build_In_Place_Call;
4904
4905    procedure Set_Is_Folded_In_Parser
4906       (N : Node_Id; Val : Boolean := True) is
4907    begin
4908       pragma Assert (False
4909         or else NT (N).Nkind = N_String_Literal);
4910       Set_Flag4 (N, Val);
4911    end Set_Is_Folded_In_Parser;
4912
4913    procedure Set_Is_In_Discriminant_Check
4914       (N : Node_Id; Val : Boolean := True) is
4915    begin
4916       pragma Assert (False
4917         or else NT (N).Nkind = N_Selected_Component);
4918       Set_Flag11 (N, Val);
4919    end Set_Is_In_Discriminant_Check;
4920
4921    procedure Set_Is_Machine_Number
4922       (N : Node_Id; Val : Boolean := True) is
4923    begin
4924       pragma Assert (False
4925         or else NT (N).Nkind = N_Real_Literal);
4926       Set_Flag11 (N, Val);
4927    end Set_Is_Machine_Number;
4928
4929    procedure Set_Is_Null_Loop
4930       (N : Node_Id; Val : Boolean := True) is
4931    begin
4932       pragma Assert (False
4933         or else NT (N).Nkind = N_Loop_Statement);
4934       Set_Flag16 (N, Val);
4935    end Set_Is_Null_Loop;
4936
4937    procedure Set_Is_Overloaded
4938       (N : Node_Id; Val : Boolean := True) is
4939    begin
4940       pragma Assert (False
4941         or else NT (N).Nkind in N_Subexpr);
4942       Set_Flag5 (N, Val);
4943    end Set_Is_Overloaded;
4944
4945    procedure Set_Is_Power_Of_2_For_Shift
4946       (N : Node_Id; Val : Boolean := True) is
4947    begin
4948       pragma Assert (False
4949         or else NT (N).Nkind = N_Op_Expon);
4950       Set_Flag13 (N, Val);
4951    end Set_Is_Power_Of_2_For_Shift;
4952
4953    procedure Set_Is_Prefixed_Call
4954       (N : Node_Id; Val : Boolean := True) is
4955    begin
4956       pragma Assert (False
4957         or else NT (N).Nkind = N_Selected_Component);
4958       Set_Flag17 (N, Val);
4959    end Set_Is_Prefixed_Call;
4960
4961    procedure Set_Is_Protected_Subprogram_Body
4962       (N : Node_Id; Val : Boolean := True) is
4963    begin
4964       pragma Assert (False
4965         or else NT (N).Nkind = N_Subprogram_Body);
4966       Set_Flag7 (N, Val);
4967    end Set_Is_Protected_Subprogram_Body;
4968
4969    procedure Set_Is_Static_Coextension
4970       (N : Node_Id; Val : Boolean := True) is
4971    begin
4972       pragma Assert (False
4973         or else NT (N).Nkind = N_Allocator);
4974       Set_Flag14 (N, Val);
4975    end Set_Is_Static_Coextension;
4976
4977    procedure Set_Is_Static_Expression
4978       (N : Node_Id; Val : Boolean := True) is
4979    begin
4980       pragma Assert (False
4981         or else NT (N).Nkind in N_Subexpr);
4982       Set_Flag6 (N, Val);
4983    end Set_Is_Static_Expression;
4984
4985    procedure Set_Is_Subprogram_Descriptor
4986       (N : Node_Id; Val : Boolean := True) is
4987    begin
4988       pragma Assert (False
4989         or else NT (N).Nkind = N_Object_Declaration);
4990       Set_Flag16 (N, Val);
4991    end Set_Is_Subprogram_Descriptor;
4992
4993    procedure Set_Is_Task_Allocation_Block
4994       (N : Node_Id; Val : Boolean := True) is
4995    begin
4996       pragma Assert (False
4997         or else NT (N).Nkind = N_Block_Statement);
4998       Set_Flag6 (N, Val);
4999    end Set_Is_Task_Allocation_Block;
5000
5001    procedure Set_Is_Task_Master
5002       (N : Node_Id; Val : Boolean := True) is
5003    begin
5004       pragma Assert (False
5005         or else NT (N).Nkind = N_Block_Statement
5006         or else NT (N).Nkind = N_Subprogram_Body
5007         or else NT (N).Nkind = N_Task_Body);
5008       Set_Flag5 (N, Val);
5009    end Set_Is_Task_Master;
5010
5011    procedure Set_Iteration_Scheme
5012       (N : Node_Id; Val : Node_Id) is
5013    begin
5014       pragma Assert (False
5015         or else NT (N).Nkind = N_Loop_Statement);
5016       Set_Node2_With_Parent (N, Val);
5017    end Set_Iteration_Scheme;
5018
5019    procedure Set_Iterator_Specification
5020      (N : Node_Id; Val : Node_Id) is
5021    begin
5022       pragma Assert (False
5023         or else NT (N).Nkind = N_Iteration_Scheme
5024         or else NT (N).Nkind = N_Quantified_Expression);
5025       Set_Node2_With_Parent (N, Val);
5026    end Set_Iterator_Specification;
5027
5028    procedure Set_Itype
5029       (N : Node_Id; Val : Entity_Id) is
5030    begin
5031       pragma Assert (False
5032       or else NT (N).Nkind = N_Itype_Reference);
5033       Set_Node1 (N, Val); -- no parent, semantic field
5034    end Set_Itype;
5035
5036    procedure Set_Kill_Range_Check
5037       (N : Node_Id; Val : Boolean := True) is
5038    begin
5039       pragma Assert (False
5040         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5041       Set_Flag11 (N, Val);
5042    end Set_Kill_Range_Check;
5043
5044    procedure Set_Label_Construct
5045       (N : Node_Id; Val : Node_Id) is
5046    begin
5047       pragma Assert (False
5048         or else NT (N).Nkind = N_Implicit_Label_Declaration);
5049       Set_Node2 (N, Val); -- semantic field, no parent set
5050    end Set_Label_Construct;
5051
5052    procedure Set_Last_Bit
5053       (N : Node_Id; Val : Node_Id) is
5054    begin
5055       pragma Assert (False
5056         or else NT (N).Nkind = N_Component_Clause);
5057       Set_Node4_With_Parent (N, Val);
5058    end Set_Last_Bit;
5059
5060    procedure Set_Last_Name
5061       (N : Node_Id; Val : Boolean := True) is
5062    begin
5063       pragma Assert (False
5064         or else NT (N).Nkind = N_With_Clause);
5065       Set_Flag6 (N, Val);
5066    end Set_Last_Name;
5067
5068    procedure Set_Left_Opnd
5069       (N : Node_Id; Val : Node_Id) is
5070    begin
5071       pragma Assert (False
5072         or else NT (N).Nkind = N_And_Then
5073         or else NT (N).Nkind = N_In
5074         or else NT (N).Nkind = N_Not_In
5075         or else NT (N).Nkind = N_Or_Else
5076         or else NT (N).Nkind in N_Binary_Op);
5077       Set_Node2_With_Parent (N, Val);
5078    end Set_Left_Opnd;
5079
5080    procedure Set_Library_Unit
5081       (N : Node_Id; Val : Node_Id) is
5082    begin
5083       pragma Assert (False
5084         or else NT (N).Nkind = N_Compilation_Unit
5085         or else NT (N).Nkind = N_Package_Body_Stub
5086         or else NT (N).Nkind = N_Protected_Body_Stub
5087         or else NT (N).Nkind = N_Subprogram_Body_Stub
5088         or else NT (N).Nkind = N_Task_Body_Stub
5089         or else NT (N).Nkind = N_With_Clause);
5090       Set_Node4 (N, Val); -- semantic field, no parent set
5091    end Set_Library_Unit;
5092
5093    procedure Set_Limited_View_Installed
5094       (N : Node_Id; Val : Boolean := True) is
5095    begin
5096       pragma Assert (False
5097         or else NT (N).Nkind = N_Package_Specification
5098         or else NT (N).Nkind = N_With_Clause);
5099       Set_Flag18 (N, Val);
5100    end Set_Limited_View_Installed;
5101
5102    procedure Set_Limited_Present
5103       (N : Node_Id; Val : Boolean := True) is
5104    begin
5105       pragma Assert (False
5106         or else NT (N).Nkind = N_Derived_Type_Definition
5107         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5108         or else NT (N).Nkind = N_Formal_Private_Type_Definition
5109         or else NT (N).Nkind = N_Private_Extension_Declaration
5110         or else NT (N).Nkind = N_Private_Type_Declaration
5111         or else NT (N).Nkind = N_Record_Definition
5112         or else NT (N).Nkind = N_With_Clause);
5113       Set_Flag17 (N, Val);
5114    end Set_Limited_Present;
5115
5116    procedure Set_Literals
5117       (N : Node_Id; Val : List_Id) is
5118    begin
5119       pragma Assert (False
5120         or else NT (N).Nkind = N_Enumeration_Type_Definition);
5121       Set_List1_With_Parent (N, Val);
5122    end Set_Literals;
5123
5124    procedure Set_Local_Raise_Not_OK
5125       (N : Node_Id; Val : Boolean := True) is
5126    begin
5127       pragma Assert (False
5128         or else NT (N).Nkind = N_Exception_Handler);
5129       Set_Flag7 (N, Val);
5130    end Set_Local_Raise_Not_OK;
5131
5132    procedure Set_Local_Raise_Statements
5133       (N : Node_Id; Val : Elist_Id) is
5134    begin
5135       pragma Assert (False
5136         or else NT (N).Nkind = N_Exception_Handler);
5137       Set_Elist1 (N, Val);
5138    end Set_Local_Raise_Statements;
5139
5140    procedure Set_Loop_Actions
5141       (N : Node_Id; Val : List_Id) is
5142    begin
5143       pragma Assert (False
5144         or else NT (N).Nkind = N_Component_Association);
5145       Set_List2 (N, Val); -- semantic field, no parent set
5146    end Set_Loop_Actions;
5147
5148    procedure Set_Loop_Parameter_Specification
5149       (N : Node_Id; Val : Node_Id) is
5150    begin
5151       pragma Assert (False
5152         or else NT (N).Nkind = N_Iteration_Scheme
5153         or else NT (N).Nkind = N_Quantified_Expression);
5154       Set_Node4_With_Parent (N, Val);
5155    end Set_Loop_Parameter_Specification;
5156
5157    procedure Set_Low_Bound
5158       (N : Node_Id; Val : Node_Id) is
5159    begin
5160       pragma Assert (False
5161         or else NT (N).Nkind = N_Range
5162         or else NT (N).Nkind = N_Real_Range_Specification
5163         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5164       Set_Node1_With_Parent (N, Val);
5165    end Set_Low_Bound;
5166
5167    procedure Set_Mod_Clause
5168       (N : Node_Id; Val : Node_Id) is
5169    begin
5170       pragma Assert (False
5171         or else NT (N).Nkind = N_Record_Representation_Clause);
5172       Set_Node2_With_Parent (N, Val);
5173    end Set_Mod_Clause;
5174
5175    procedure Set_More_Ids
5176       (N : Node_Id; Val : Boolean := True) is
5177    begin
5178       pragma Assert (False
5179         or else NT (N).Nkind = N_Component_Declaration
5180         or else NT (N).Nkind = N_Discriminant_Specification
5181         or else NT (N).Nkind = N_Exception_Declaration
5182         or else NT (N).Nkind = N_Formal_Object_Declaration
5183         or else NT (N).Nkind = N_Number_Declaration
5184         or else NT (N).Nkind = N_Object_Declaration
5185         or else NT (N).Nkind = N_Parameter_Specification);
5186       Set_Flag5 (N, Val);
5187    end Set_More_Ids;
5188
5189    procedure Set_Must_Be_Byte_Aligned
5190       (N : Node_Id; Val : Boolean := True) is
5191    begin
5192       pragma Assert (False
5193         or else NT (N).Nkind = N_Attribute_Reference);
5194       Set_Flag14 (N, Val);
5195    end Set_Must_Be_Byte_Aligned;
5196
5197    procedure Set_Must_Not_Freeze
5198       (N : Node_Id; Val : Boolean := True) is
5199    begin
5200       pragma Assert (False
5201         or else NT (N).Nkind = N_Subtype_Indication
5202         or else NT (N).Nkind in N_Subexpr);
5203       Set_Flag8 (N, Val);
5204    end Set_Must_Not_Freeze;
5205
5206    procedure Set_Must_Not_Override
5207       (N : Node_Id; Val : Boolean := True) is
5208    begin
5209       pragma Assert (False
5210         or else NT (N).Nkind = N_Entry_Declaration
5211         or else NT (N).Nkind = N_Function_Instantiation
5212         or else NT (N).Nkind = N_Function_Specification
5213         or else NT (N).Nkind = N_Procedure_Instantiation
5214         or else NT (N).Nkind = N_Procedure_Specification);
5215       Set_Flag15 (N, Val);
5216    end Set_Must_Not_Override;
5217
5218    procedure Set_Must_Override
5219       (N : Node_Id; Val : Boolean := True) is
5220    begin
5221       pragma Assert (False
5222         or else NT (N).Nkind = N_Entry_Declaration
5223         or else NT (N).Nkind = N_Function_Instantiation
5224         or else NT (N).Nkind = N_Function_Specification
5225         or else NT (N).Nkind = N_Procedure_Instantiation
5226         or else NT (N).Nkind = N_Procedure_Specification);
5227       Set_Flag14 (N, Val);
5228    end Set_Must_Override;
5229
5230    procedure Set_Name
5231       (N : Node_Id; Val : Node_Id) is
5232    begin
5233       pragma Assert (False
5234         or else NT (N).Nkind = N_Assignment_Statement
5235         or else NT (N).Nkind = N_Attribute_Definition_Clause
5236         or else NT (N).Nkind = N_Defining_Program_Unit_Name
5237         or else NT (N).Nkind = N_Designator
5238         or else NT (N).Nkind = N_Entry_Call_Statement
5239         or else NT (N).Nkind = N_Exception_Renaming_Declaration
5240         or else NT (N).Nkind = N_Exit_Statement
5241         or else NT (N).Nkind = N_Formal_Package_Declaration
5242         or else NT (N).Nkind = N_Function_Call
5243         or else NT (N).Nkind = N_Function_Instantiation
5244         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5245         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5246         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5247         or else NT (N).Nkind = N_Goto_Statement
5248         or else NT (N).Nkind = N_Iterator_Specification
5249         or else NT (N).Nkind = N_Object_Renaming_Declaration
5250         or else NT (N).Nkind = N_Package_Instantiation
5251         or else NT (N).Nkind = N_Package_Renaming_Declaration
5252         or else NT (N).Nkind = N_Procedure_Call_Statement
5253         or else NT (N).Nkind = N_Procedure_Instantiation
5254         or else NT (N).Nkind = N_Raise_Statement
5255         or else NT (N).Nkind = N_Requeue_Statement
5256         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5257         or else NT (N).Nkind = N_Subunit
5258         or else NT (N).Nkind = N_Variant_Part
5259         or else NT (N).Nkind = N_With_Clause);
5260       Set_Node2_With_Parent (N, Val);
5261    end Set_Name;
5262
5263    procedure Set_Names
5264       (N : Node_Id; Val : List_Id) is
5265    begin
5266       pragma Assert (False
5267         or else NT (N).Nkind = N_Abort_Statement
5268         or else NT (N).Nkind = N_Use_Package_Clause);
5269       Set_List2_With_Parent (N, Val);
5270    end Set_Names;
5271
5272    procedure Set_Next_Entity
5273       (N : Node_Id; Val : Node_Id) is
5274    begin
5275       pragma Assert (False
5276         or else NT (N).Nkind = N_Defining_Character_Literal
5277         or else NT (N).Nkind = N_Defining_Identifier
5278         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5279       Set_Node2 (N, Val); -- semantic field, no parent set
5280    end Set_Next_Entity;
5281
5282    procedure Set_Next_Exit_Statement
5283       (N : Node_Id; Val : Node_Id) is
5284    begin
5285       pragma Assert (False
5286         or else NT (N).Nkind = N_Exit_Statement);
5287       Set_Node3 (N, Val); -- semantic field, no parent set
5288    end Set_Next_Exit_Statement;
5289
5290    procedure Set_Next_Implicit_With
5291       (N : Node_Id; Val : Node_Id) is
5292    begin
5293       pragma Assert (False
5294         or else NT (N).Nkind = N_With_Clause);
5295       Set_Node3 (N, Val); -- semantic field, no parent set
5296    end Set_Next_Implicit_With;
5297
5298    procedure Set_Next_Named_Actual
5299       (N : Node_Id; Val : Node_Id) is
5300    begin
5301       pragma Assert (False
5302         or else NT (N).Nkind = N_Parameter_Association);
5303       Set_Node4 (N, Val); -- semantic field, no parent set
5304    end Set_Next_Named_Actual;
5305
5306    procedure Set_Next_Pragma
5307       (N : Node_Id; Val : Node_Id) is
5308    begin
5309       pragma Assert (False
5310         or else NT (N).Nkind = N_Pragma);
5311       Set_Node1 (N, Val); -- semantic field, no parent set
5312    end Set_Next_Pragma;
5313
5314    procedure Set_Next_Rep_Item
5315       (N : Node_Id; Val : Node_Id) is
5316    begin
5317       pragma Assert (False
5318         or else NT (N).Nkind = N_Aspect_Specification
5319         or else NT (N).Nkind = N_Attribute_Definition_Clause
5320         or else NT (N).Nkind = N_Enumeration_Representation_Clause
5321         or else NT (N).Nkind = N_Pragma
5322         or else NT (N).Nkind = N_Record_Representation_Clause);
5323       Set_Node5 (N, Val); -- semantic field, no parent set
5324    end Set_Next_Rep_Item;
5325
5326    procedure Set_Next_Use_Clause
5327       (N : Node_Id; Val : Node_Id) is
5328    begin
5329       pragma Assert (False
5330         or else NT (N).Nkind = N_Use_Package_Clause
5331         or else NT (N).Nkind = N_Use_Type_Clause);
5332       Set_Node3 (N, Val); -- semantic field, no parent set
5333    end Set_Next_Use_Clause;
5334
5335    procedure Set_No_Ctrl_Actions
5336       (N : Node_Id; Val : Boolean := True) is
5337    begin
5338       pragma Assert (False
5339         or else NT (N).Nkind = N_Assignment_Statement);
5340       Set_Flag7 (N, Val);
5341    end Set_No_Ctrl_Actions;
5342
5343    procedure Set_No_Elaboration_Check
5344       (N : Node_Id; Val : Boolean := True) is
5345    begin
5346       pragma Assert (False
5347         or else NT (N).Nkind = N_Function_Call
5348         or else NT (N).Nkind = N_Procedure_Call_Statement);
5349       Set_Flag14 (N, Val);
5350    end Set_No_Elaboration_Check;
5351
5352    procedure Set_No_Entities_Ref_In_Spec
5353       (N : Node_Id; Val : Boolean := True) is
5354    begin
5355       pragma Assert (False
5356         or else NT (N).Nkind = N_With_Clause);
5357       Set_Flag8 (N, Val);
5358    end Set_No_Entities_Ref_In_Spec;
5359
5360    procedure Set_No_Initialization
5361       (N : Node_Id; Val : Boolean := True) is
5362    begin
5363       pragma Assert (False
5364         or else NT (N).Nkind = N_Allocator
5365         or else NT (N).Nkind = N_Object_Declaration);
5366       Set_Flag13 (N, Val);
5367    end Set_No_Initialization;
5368
5369    procedure Set_No_Truncation
5370       (N : Node_Id; Val : Boolean := True) is
5371    begin
5372       pragma Assert (False
5373         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5374       Set_Flag17 (N, Val);
5375    end Set_No_Truncation;
5376
5377    procedure Set_Null_Present
5378       (N : Node_Id; Val : Boolean := True) is
5379    begin
5380       pragma Assert (False
5381         or else NT (N).Nkind = N_Component_List
5382         or else NT (N).Nkind = N_Procedure_Specification
5383         or else NT (N).Nkind = N_Record_Definition);
5384       Set_Flag13 (N, Val);
5385    end Set_Null_Present;
5386
5387    procedure Set_Null_Exclusion_Present
5388       (N : Node_Id; Val : Boolean := True) is
5389    begin
5390       pragma Assert (False
5391         or else NT (N).Nkind = N_Access_Definition
5392         or else NT (N).Nkind = N_Access_Function_Definition
5393         or else NT (N).Nkind = N_Access_Procedure_Definition
5394         or else NT (N).Nkind = N_Access_To_Object_Definition
5395         or else NT (N).Nkind = N_Allocator
5396         or else NT (N).Nkind = N_Component_Definition
5397         or else NT (N).Nkind = N_Derived_Type_Definition
5398         or else NT (N).Nkind = N_Discriminant_Specification
5399         or else NT (N).Nkind = N_Formal_Object_Declaration
5400         or else NT (N).Nkind = N_Function_Specification
5401         or else NT (N).Nkind = N_Object_Declaration
5402         or else NT (N).Nkind = N_Object_Renaming_Declaration
5403         or else NT (N).Nkind = N_Parameter_Specification
5404         or else NT (N).Nkind = N_Subtype_Declaration);
5405       Set_Flag11 (N, Val);
5406    end Set_Null_Exclusion_Present;
5407
5408    procedure Set_Null_Exclusion_In_Return_Present
5409       (N : Node_Id; Val : Boolean := True) is
5410    begin
5411       pragma Assert (False
5412         or else NT (N).Nkind = N_Access_Function_Definition);
5413       Set_Flag14 (N, Val);
5414    end Set_Null_Exclusion_In_Return_Present;
5415
5416    procedure Set_Null_Record_Present
5417       (N : Node_Id; Val : Boolean := True) is
5418    begin
5419       pragma Assert (False
5420         or else NT (N).Nkind = N_Aggregate
5421         or else NT (N).Nkind = N_Extension_Aggregate);
5422       Set_Flag17 (N, Val);
5423    end Set_Null_Record_Present;
5424
5425    procedure Set_Object_Definition
5426       (N : Node_Id; Val : Node_Id) is
5427    begin
5428       pragma Assert (False
5429         or else NT (N).Nkind = N_Object_Declaration);
5430       Set_Node4_With_Parent (N, Val);
5431    end Set_Object_Definition;
5432
5433    procedure Set_Of_Present
5434       (N : Node_Id; Val : Boolean := True) is
5435    begin
5436       pragma Assert (False
5437         or else NT (N).Nkind = N_Iterator_Specification);
5438       Set_Flag16 (N, Val);
5439    end Set_Of_Present;
5440
5441    procedure Set_Original_Discriminant
5442       (N : Node_Id; Val : Node_Id) is
5443    begin
5444       pragma Assert (False
5445         or else NT (N).Nkind = N_Identifier);
5446       Set_Node2 (N, Val); -- semantic field, no parent set
5447    end Set_Original_Discriminant;
5448
5449    procedure Set_Original_Entity
5450       (N : Node_Id; Val : Entity_Id) is
5451    begin
5452       pragma Assert (False
5453         or else NT (N).Nkind = N_Integer_Literal
5454         or else NT (N).Nkind = N_Real_Literal);
5455       Set_Node2 (N, Val); --  semantic field, no parent set
5456    end Set_Original_Entity;
5457
5458    procedure Set_Others_Discrete_Choices
5459       (N : Node_Id; Val : List_Id) is
5460    begin
5461       pragma Assert (False
5462         or else NT (N).Nkind = N_Others_Choice);
5463       Set_List1_With_Parent (N, Val);
5464    end Set_Others_Discrete_Choices;
5465
5466    procedure Set_Out_Present
5467       (N : Node_Id; Val : Boolean := True) is
5468    begin
5469       pragma Assert (False
5470         or else NT (N).Nkind = N_Formal_Object_Declaration
5471         or else NT (N).Nkind = N_Parameter_Specification);
5472       Set_Flag17 (N, Val);
5473    end Set_Out_Present;
5474
5475    procedure Set_Parameter_Associations
5476       (N : Node_Id; Val : List_Id) is
5477    begin
5478       pragma Assert (False
5479         or else NT (N).Nkind = N_Entry_Call_Statement
5480         or else NT (N).Nkind = N_Function_Call
5481         or else NT (N).Nkind = N_Procedure_Call_Statement);
5482       Set_List3_With_Parent (N, Val);
5483    end Set_Parameter_Associations;
5484
5485    procedure Set_Parameter_List_Truncated
5486       (N : Node_Id; Val : Boolean := True) is
5487    begin
5488       pragma Assert (False
5489         or else NT (N).Nkind = N_Function_Call
5490         or else NT (N).Nkind = N_Procedure_Call_Statement);
5491       Set_Flag17 (N, Val);
5492    end Set_Parameter_List_Truncated;
5493
5494    procedure Set_Parameter_Specifications
5495       (N : Node_Id; Val : List_Id) is
5496    begin
5497       pragma Assert (False
5498         or else NT (N).Nkind = N_Accept_Statement
5499         or else NT (N).Nkind = N_Access_Function_Definition
5500         or else NT (N).Nkind = N_Access_Procedure_Definition
5501         or else NT (N).Nkind = N_Entry_Body_Formal_Part
5502         or else NT (N).Nkind = N_Entry_Declaration
5503         or else NT (N).Nkind = N_Function_Specification
5504         or else NT (N).Nkind = N_Procedure_Specification);
5505       Set_List3_With_Parent (N, Val);
5506    end Set_Parameter_Specifications;
5507
5508    procedure Set_Parameter_Type
5509       (N : Node_Id; Val : Node_Id) is
5510    begin
5511       pragma Assert (False
5512         or else NT (N).Nkind = N_Parameter_Specification);
5513       Set_Node2_With_Parent (N, Val);
5514    end Set_Parameter_Type;
5515
5516    procedure Set_Parent_Spec
5517       (N : Node_Id; Val : Node_Id) is
5518    begin
5519       pragma Assert (False
5520         or else NT (N).Nkind = N_Function_Instantiation
5521         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5522         or else NT (N).Nkind = N_Generic_Package_Declaration
5523         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5524         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5525         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5526         or else NT (N).Nkind = N_Package_Declaration
5527         or else NT (N).Nkind = N_Package_Instantiation
5528         or else NT (N).Nkind = N_Package_Renaming_Declaration
5529         or else NT (N).Nkind = N_Procedure_Instantiation
5530         or else NT (N).Nkind = N_Subprogram_Declaration
5531         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5532       Set_Node4 (N, Val); -- semantic field, no parent set
5533    end Set_Parent_Spec;
5534
5535    procedure Set_Position
5536       (N : Node_Id; Val : Node_Id) is
5537    begin
5538       pragma Assert (False
5539         or else NT (N).Nkind = N_Component_Clause);
5540       Set_Node2_With_Parent (N, Val);
5541    end Set_Position;
5542
5543    procedure Set_Pragma_Argument_Associations
5544       (N : Node_Id; Val : List_Id) is
5545    begin
5546       pragma Assert (False
5547         or else NT (N).Nkind = N_Pragma);
5548       Set_List2_With_Parent (N, Val);
5549    end Set_Pragma_Argument_Associations;
5550
5551    procedure Set_Pragma_Identifier
5552       (N : Node_Id; Val : Node_Id) is
5553    begin
5554       pragma Assert (False
5555         or else NT (N).Nkind = N_Pragma);
5556       Set_Node4_With_Parent (N, Val);
5557    end Set_Pragma_Identifier;
5558
5559    procedure Set_Pragmas_After
5560       (N : Node_Id; Val : List_Id) is
5561    begin
5562       pragma Assert (False
5563         or else NT (N).Nkind = N_Compilation_Unit_Aux
5564         or else NT (N).Nkind = N_Terminate_Alternative);
5565       Set_List5_With_Parent (N, Val);
5566    end Set_Pragmas_After;
5567
5568    procedure Set_Pragmas_Before
5569       (N : Node_Id; Val : List_Id) is
5570    begin
5571       pragma Assert (False
5572         or else NT (N).Nkind = N_Accept_Alternative
5573         or else NT (N).Nkind = N_Delay_Alternative
5574         or else NT (N).Nkind = N_Entry_Call_Alternative
5575         or else NT (N).Nkind = N_Mod_Clause
5576         or else NT (N).Nkind = N_Terminate_Alternative
5577         or else NT (N).Nkind = N_Triggering_Alternative);
5578       Set_List4_With_Parent (N, Val);
5579    end Set_Pragmas_Before;
5580
5581    procedure Set_Prefix
5582       (N : Node_Id; Val : Node_Id) is
5583    begin
5584       pragma Assert (False
5585         or else NT (N).Nkind = N_Attribute_Reference
5586         or else NT (N).Nkind = N_Expanded_Name
5587         or else NT (N).Nkind = N_Explicit_Dereference
5588         or else NT (N).Nkind = N_Indexed_Component
5589         or else NT (N).Nkind = N_Reference
5590         or else NT (N).Nkind = N_Selected_Component
5591         or else NT (N).Nkind = N_Slice);
5592       Set_Node3_With_Parent (N, Val);
5593    end Set_Prefix;
5594
5595    procedure Set_Premature_Use
5596       (N : Node_Id; Val : Node_Id) is
5597    begin
5598       pragma Assert (False
5599         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5600       Set_Node5 (N, Val);
5601    end Set_Premature_Use;
5602
5603    procedure Set_Present_Expr
5604       (N : Node_Id; Val : Uint) is
5605    begin
5606       pragma Assert (False
5607         or else NT (N).Nkind = N_Variant);
5608       Set_Uint3 (N, Val);
5609    end Set_Present_Expr;
5610
5611    procedure Set_Prev_Ids
5612       (N : Node_Id; Val : Boolean := True) is
5613    begin
5614       pragma Assert (False
5615         or else NT (N).Nkind = N_Component_Declaration
5616         or else NT (N).Nkind = N_Discriminant_Specification
5617         or else NT (N).Nkind = N_Exception_Declaration
5618         or else NT (N).Nkind = N_Formal_Object_Declaration
5619         or else NT (N).Nkind = N_Number_Declaration
5620         or else NT (N).Nkind = N_Object_Declaration
5621         or else NT (N).Nkind = N_Parameter_Specification);
5622       Set_Flag6 (N, Val);
5623    end Set_Prev_Ids;
5624
5625    procedure Set_Print_In_Hex
5626       (N : Node_Id; Val : Boolean := True) is
5627    begin
5628       pragma Assert (False
5629         or else NT (N).Nkind = N_Integer_Literal);
5630       Set_Flag13 (N, Val);
5631    end Set_Print_In_Hex;
5632
5633    procedure Set_Private_Declarations
5634       (N : Node_Id; Val : List_Id) is
5635    begin
5636       pragma Assert (False
5637         or else NT (N).Nkind = N_Package_Specification
5638         or else NT (N).Nkind = N_Protected_Definition
5639         or else NT (N).Nkind = N_Task_Definition);
5640       Set_List3_With_Parent (N, Val);
5641    end Set_Private_Declarations;
5642
5643    procedure Set_Private_Present
5644       (N : Node_Id; Val : Boolean := True) is
5645    begin
5646       pragma Assert (False
5647         or else NT (N).Nkind = N_Compilation_Unit
5648         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5649         or else NT (N).Nkind = N_With_Clause);
5650       Set_Flag15 (N, Val);
5651    end Set_Private_Present;
5652
5653    procedure Set_Procedure_To_Call
5654       (N : Node_Id; Val : Node_Id) is
5655    begin
5656       pragma Assert (False
5657         or else NT (N).Nkind = N_Allocator
5658         or else NT (N).Nkind = N_Extended_Return_Statement
5659         or else NT (N).Nkind = N_Free_Statement
5660         or else NT (N).Nkind = N_Return_Statement);
5661       Set_Node2 (N, Val); -- semantic field, no parent set
5662    end Set_Procedure_To_Call;
5663
5664    procedure Set_Proper_Body
5665       (N : Node_Id; Val : Node_Id) is
5666    begin
5667       pragma Assert (False
5668         or else NT (N).Nkind = N_Subunit);
5669       Set_Node1_With_Parent (N, Val);
5670    end Set_Proper_Body;
5671
5672    procedure Set_Protected_Definition
5673       (N : Node_Id; Val : Node_Id) is
5674    begin
5675       pragma Assert (False
5676         or else NT (N).Nkind = N_Protected_Type_Declaration
5677         or else NT (N).Nkind = N_Single_Protected_Declaration);
5678       Set_Node3_With_Parent (N, Val);
5679    end Set_Protected_Definition;
5680
5681    procedure Set_Protected_Present
5682       (N : Node_Id; Val : Boolean := True) is
5683    begin
5684       pragma Assert (False
5685         or else NT (N).Nkind = N_Access_Function_Definition
5686         or else NT (N).Nkind = N_Access_Procedure_Definition
5687         or else NT (N).Nkind = N_Derived_Type_Definition
5688         or else NT (N).Nkind = N_Record_Definition);
5689       Set_Flag6 (N, Val);
5690    end Set_Protected_Present;
5691
5692    procedure Set_Raises_Constraint_Error
5693       (N : Node_Id; Val : Boolean := True) is
5694    begin
5695       pragma Assert (False
5696         or else NT (N).Nkind in N_Subexpr);
5697       Set_Flag7 (N, Val);
5698    end Set_Raises_Constraint_Error;
5699
5700    procedure Set_Range_Constraint
5701       (N : Node_Id; Val : Node_Id) is
5702    begin
5703       pragma Assert (False
5704         or else NT (N).Nkind = N_Delta_Constraint
5705         or else NT (N).Nkind = N_Digits_Constraint);
5706       Set_Node4_With_Parent (N, Val);
5707    end Set_Range_Constraint;
5708
5709    procedure Set_Range_Expression
5710       (N : Node_Id; Val : Node_Id) is
5711    begin
5712       pragma Assert (False
5713         or else NT (N).Nkind = N_Range_Constraint);
5714       Set_Node4_With_Parent (N, Val);
5715    end Set_Range_Expression;
5716
5717    procedure Set_Real_Range_Specification
5718       (N : Node_Id; Val : Node_Id) is
5719    begin
5720       pragma Assert (False
5721         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5722         or else NT (N).Nkind = N_Floating_Point_Definition
5723         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5724       Set_Node4_With_Parent (N, Val);
5725    end Set_Real_Range_Specification;
5726
5727    procedure Set_Realval
5728      (N : Node_Id; Val : Ureal) is
5729    begin
5730       pragma Assert (False
5731         or else NT (N).Nkind = N_Real_Literal);
5732       Set_Ureal3 (N, Val);
5733    end Set_Realval;
5734
5735    procedure Set_Reason
5736       (N : Node_Id; Val : Uint) is
5737    begin
5738       pragma Assert (False
5739         or else NT (N).Nkind = N_Raise_Constraint_Error
5740         or else NT (N).Nkind = N_Raise_Program_Error
5741         or else NT (N).Nkind = N_Raise_Storage_Error);
5742       Set_Uint3 (N, Val);
5743    end Set_Reason;
5744
5745    procedure Set_Record_Extension_Part
5746       (N : Node_Id; Val : Node_Id) is
5747    begin
5748       pragma Assert (False
5749         or else NT (N).Nkind = N_Derived_Type_Definition);
5750       Set_Node3_With_Parent (N, Val);
5751    end Set_Record_Extension_Part;
5752
5753    procedure Set_Redundant_Use
5754       (N : Node_Id; Val : Boolean := True) is
5755    begin
5756       pragma Assert (False
5757         or else NT (N).Nkind = N_Attribute_Reference
5758         or else NT (N).Nkind = N_Expanded_Name
5759         or else NT (N).Nkind = N_Identifier);
5760       Set_Flag13 (N, Val);
5761    end Set_Redundant_Use;
5762
5763    procedure Set_Renaming_Exception
5764       (N : Node_Id; Val : Node_Id) is
5765    begin
5766       pragma Assert (False
5767         or else NT (N).Nkind = N_Exception_Declaration);
5768       Set_Node2 (N, Val);
5769    end Set_Renaming_Exception;
5770
5771    procedure Set_Result_Definition
5772      (N : Node_Id; Val : Node_Id) is
5773    begin
5774       pragma Assert (False
5775         or else NT (N).Nkind = N_Access_Function_Definition
5776         or else NT (N).Nkind = N_Function_Specification);
5777       Set_Node4_With_Parent (N, Val);
5778    end Set_Result_Definition;
5779
5780    procedure Set_Return_Object_Declarations
5781      (N : Node_Id; Val : List_Id) is
5782    begin
5783       pragma Assert (False
5784         or else NT (N).Nkind = N_Extended_Return_Statement);
5785       Set_List3_With_Parent (N, Val);
5786    end Set_Return_Object_Declarations;
5787
5788    procedure Set_Return_Statement_Entity
5789      (N : Node_Id; Val : Node_Id) is
5790    begin
5791       pragma Assert (False
5792         or else NT (N).Nkind = N_Extended_Return_Statement
5793         or else NT (N).Nkind = N_Return_Statement);
5794       Set_Node5 (N, Val); -- semantic field, no parent set
5795    end Set_Return_Statement_Entity;
5796
5797    procedure Set_Reverse_Present
5798       (N : Node_Id; Val : Boolean := True) is
5799    begin
5800       pragma Assert (False
5801         or else NT (N).Nkind = N_Iterator_Specification
5802         or else NT (N).Nkind = N_Loop_Parameter_Specification);
5803       Set_Flag15 (N, Val);
5804    end Set_Reverse_Present;
5805
5806    procedure Set_Right_Opnd
5807       (N : Node_Id; Val : Node_Id) is
5808    begin
5809       pragma Assert (False
5810         or else NT (N).Nkind in N_Op
5811         or else NT (N).Nkind = N_And_Then
5812         or else NT (N).Nkind = N_In
5813         or else NT (N).Nkind = N_Not_In
5814         or else NT (N).Nkind = N_Or_Else);
5815       Set_Node3_With_Parent (N, Val);
5816    end Set_Right_Opnd;
5817
5818    procedure Set_Rounded_Result
5819       (N : Node_Id; Val : Boolean := True) is
5820    begin
5821       pragma Assert (False
5822         or else NT (N).Nkind = N_Op_Divide
5823         or else NT (N).Nkind = N_Op_Multiply
5824         or else NT (N).Nkind = N_Type_Conversion);
5825       Set_Flag18 (N, Val);
5826    end Set_Rounded_Result;
5827
5828    procedure Set_SCIL_Controlling_Tag
5829       (N : Node_Id; Val : Node_Id) is
5830    begin
5831       pragma Assert (False
5832         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5833       Set_Node5 (N, Val); -- semantic field, no parent set
5834    end Set_SCIL_Controlling_Tag;
5835
5836    procedure Set_SCIL_Entity
5837       (N : Node_Id; Val : Node_Id) is
5838    begin
5839       pragma Assert (False
5840         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5841         or else NT (N).Nkind = N_SCIL_Dispatching_Call
5842         or else NT (N).Nkind = N_SCIL_Membership_Test);
5843       Set_Node4 (N, Val); -- semantic field, no parent set
5844    end Set_SCIL_Entity;
5845
5846    procedure Set_SCIL_Tag_Value
5847       (N : Node_Id; Val : Node_Id) is
5848    begin
5849       pragma Assert (False
5850         or else NT (N).Nkind = N_SCIL_Membership_Test);
5851       Set_Node5 (N, Val); -- semantic field, no parent set
5852    end Set_SCIL_Tag_Value;
5853
5854    procedure Set_SCIL_Target_Prim
5855       (N : Node_Id; Val : Node_Id) is
5856    begin
5857       pragma Assert (False
5858         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5859       Set_Node2 (N, Val); -- semantic field, no parent set
5860    end Set_SCIL_Target_Prim;
5861
5862    procedure Set_Scope
5863       (N : Node_Id; Val : Node_Id) is
5864    begin
5865       pragma Assert (False
5866         or else NT (N).Nkind = N_Defining_Character_Literal
5867         or else NT (N).Nkind = N_Defining_Identifier
5868         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5869       Set_Node3 (N, Val); -- semantic field, no parent set
5870    end Set_Scope;
5871
5872    procedure Set_Select_Alternatives
5873       (N : Node_Id; Val : List_Id) is
5874    begin
5875       pragma Assert (False
5876         or else NT (N).Nkind = N_Selective_Accept);
5877       Set_List1_With_Parent (N, Val);
5878    end Set_Select_Alternatives;
5879
5880    procedure Set_Selector_Name
5881       (N : Node_Id; Val : Node_Id) is
5882    begin
5883       pragma Assert (False
5884         or else NT (N).Nkind = N_Expanded_Name
5885         or else NT (N).Nkind = N_Generic_Association
5886         or else NT (N).Nkind = N_Parameter_Association
5887         or else NT (N).Nkind = N_Selected_Component);
5888       Set_Node2_With_Parent (N, Val);
5889    end Set_Selector_Name;
5890
5891    procedure Set_Selector_Names
5892       (N : Node_Id; Val : List_Id) is
5893    begin
5894       pragma Assert (False
5895         or else NT (N).Nkind = N_Discriminant_Association);
5896       Set_List1_With_Parent (N, Val);
5897    end Set_Selector_Names;
5898
5899    procedure Set_Shift_Count_OK
5900       (N : Node_Id; Val : Boolean := True) is
5901    begin
5902       pragma Assert (False
5903         or else NT (N).Nkind = N_Op_Rotate_Left
5904         or else NT (N).Nkind = N_Op_Rotate_Right
5905         or else NT (N).Nkind = N_Op_Shift_Left
5906         or else NT (N).Nkind = N_Op_Shift_Right
5907         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5908       Set_Flag4 (N, Val);
5909    end Set_Shift_Count_OK;
5910
5911    procedure Set_Source_Type
5912       (N : Node_Id; Val : Entity_Id) is
5913    begin
5914       pragma Assert (False
5915         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5916       Set_Node1 (N, Val); -- semantic field, no parent set
5917    end Set_Source_Type;
5918
5919    procedure Set_Spec_PPC_List
5920       (N : Node_Id; Val : Node_Id) is
5921    begin
5922       pragma Assert (False
5923         or else NT (N).Nkind = N_Contract);
5924       Set_Node1 (N, Val); -- semantic field, no parent set
5925    end Set_Spec_PPC_List;
5926
5927    procedure Set_Spec_CTC_List
5928       (N : Node_Id; Val : Node_Id) is
5929    begin
5930       pragma Assert (False
5931         or else NT (N).Nkind = N_Contract);
5932       Set_Node2 (N, Val); -- semantic field, no parent set
5933    end Set_Spec_CTC_List;
5934
5935    procedure Set_Specification
5936       (N : Node_Id; Val : Node_Id) is
5937    begin
5938       pragma Assert (False
5939         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5940         or else NT (N).Nkind = N_Expression_Function
5941         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5942         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5943         or else NT (N).Nkind = N_Generic_Package_Declaration
5944         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5945         or else NT (N).Nkind = N_Package_Declaration
5946         or else NT (N).Nkind = N_Subprogram_Body
5947         or else NT (N).Nkind = N_Subprogram_Body_Stub
5948         or else NT (N).Nkind = N_Subprogram_Declaration
5949         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5950       Set_Node1_With_Parent (N, Val);
5951    end Set_Specification;
5952
5953    procedure Set_Split_PPC
5954       (N : Node_Id; Val : Boolean) is
5955    begin
5956       pragma Assert (False
5957         or else NT (N).Nkind = N_Aspect_Specification
5958         or else NT (N).Nkind = N_Pragma);
5959       Set_Flag17 (N, Val);
5960    end Set_Split_PPC;
5961
5962    procedure Set_Statements
5963       (N : Node_Id; Val : List_Id) is
5964    begin
5965       pragma Assert (False
5966         or else NT (N).Nkind = N_Abortable_Part
5967         or else NT (N).Nkind = N_Accept_Alternative
5968         or else NT (N).Nkind = N_Case_Statement_Alternative
5969         or else NT (N).Nkind = N_Delay_Alternative
5970         or else NT (N).Nkind = N_Entry_Call_Alternative
5971         or else NT (N).Nkind = N_Exception_Handler
5972         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5973         or else NT (N).Nkind = N_Loop_Statement
5974         or else NT (N).Nkind = N_Triggering_Alternative);
5975       Set_List3_With_Parent (N, Val);
5976    end Set_Statements;
5977
5978    procedure Set_Static_Processing_OK
5979       (N : Node_Id; Val : Boolean) is
5980    begin
5981       pragma Assert (False
5982         or else NT (N).Nkind = N_Aggregate);
5983       Set_Flag4 (N, Val);
5984    end Set_Static_Processing_OK;
5985
5986    procedure Set_Storage_Pool
5987       (N : Node_Id; Val : Node_Id) is
5988    begin
5989       pragma Assert (False
5990         or else NT (N).Nkind = N_Allocator
5991         or else NT (N).Nkind = N_Extended_Return_Statement
5992         or else NT (N).Nkind = N_Free_Statement
5993         or else NT (N).Nkind = N_Return_Statement);
5994       Set_Node1 (N, Val); -- semantic field, no parent set
5995    end Set_Storage_Pool;
5996
5997    procedure Set_Subpool_Handle_Name
5998       (N : Node_Id; Val : Node_Id) is
5999    begin
6000       pragma Assert (False
6001         or else NT (N).Nkind = N_Allocator);
6002       Set_Node4_With_Parent (N, Val);
6003    end Set_Subpool_Handle_Name;
6004
6005    procedure Set_Strval
6006       (N : Node_Id; Val : String_Id) is
6007    begin
6008       pragma Assert (False
6009         or else NT (N).Nkind = N_Operator_Symbol
6010         or else NT (N).Nkind = N_String_Literal);
6011       Set_Str3 (N, Val);
6012    end Set_Strval;
6013
6014    procedure Set_Subtype_Indication
6015       (N : Node_Id; Val : Node_Id) is
6016    begin
6017       pragma Assert (False
6018         or else NT (N).Nkind = N_Access_To_Object_Definition
6019         or else NT (N).Nkind = N_Component_Definition
6020         or else NT (N).Nkind = N_Derived_Type_Definition
6021         or else NT (N).Nkind = N_Iterator_Specification
6022         or else NT (N).Nkind = N_Private_Extension_Declaration
6023         or else NT (N).Nkind = N_Subtype_Declaration);
6024       Set_Node5_With_Parent (N, Val);
6025    end Set_Subtype_Indication;
6026
6027    procedure Set_Subtype_Mark
6028       (N : Node_Id; Val : Node_Id) is
6029    begin
6030       pragma Assert (False
6031         or else NT (N).Nkind = N_Access_Definition
6032         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6033         or else NT (N).Nkind = N_Formal_Object_Declaration
6034         or else NT (N).Nkind = N_Object_Renaming_Declaration
6035         or else NT (N).Nkind = N_Qualified_Expression
6036         or else NT (N).Nkind = N_Subtype_Indication
6037         or else NT (N).Nkind = N_Type_Conversion
6038         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6039       Set_Node4_With_Parent (N, Val);
6040    end Set_Subtype_Mark;
6041
6042    procedure Set_Subtype_Marks
6043       (N : Node_Id; Val : List_Id) is
6044    begin
6045       pragma Assert (False
6046         or else NT (N).Nkind = N_Unconstrained_Array_Definition
6047         or else NT (N).Nkind = N_Use_Type_Clause);
6048       Set_List2_With_Parent (N, Val);
6049    end Set_Subtype_Marks;
6050
6051    procedure Set_Suppress_Assignment_Checks
6052       (N : Node_Id; Val : Boolean := True) is
6053    begin
6054       pragma Assert (False
6055         or else NT (N).Nkind = N_Assignment_Statement
6056         or else NT (N).Nkind = N_Object_Declaration);
6057       Set_Flag18 (N, Val);
6058    end Set_Suppress_Assignment_Checks;
6059
6060    procedure Set_Suppress_Loop_Warnings
6061       (N : Node_Id; Val : Boolean := True) is
6062    begin
6063       pragma Assert (False
6064         or else NT (N).Nkind = N_Loop_Statement);
6065       Set_Flag17 (N, Val);
6066    end Set_Suppress_Loop_Warnings;
6067
6068    procedure Set_Synchronized_Present
6069      (N : Node_Id; Val : Boolean := True) is
6070    begin
6071       pragma Assert (False
6072         or else NT (N).Nkind = N_Derived_Type_Definition
6073         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6074         or else NT (N).Nkind = N_Private_Extension_Declaration
6075         or else NT (N).Nkind = N_Record_Definition);
6076       Set_Flag7 (N, Val);
6077    end Set_Synchronized_Present;
6078
6079    procedure Set_Tagged_Present
6080       (N : Node_Id; Val : Boolean := True) is
6081    begin
6082       pragma Assert (False
6083         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6084         or else NT (N).Nkind = N_Formal_Private_Type_Definition
6085         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6086         or else NT (N).Nkind = N_Private_Type_Declaration
6087         or else NT (N).Nkind = N_Record_Definition);
6088       Set_Flag15 (N, Val);
6089    end Set_Tagged_Present;
6090
6091    procedure Set_Target_Type
6092       (N : Node_Id; Val : Entity_Id) is
6093    begin
6094       pragma Assert (False
6095         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6096       Set_Node2 (N, Val); -- semantic field, no parent set
6097    end Set_Target_Type;
6098
6099    procedure Set_Task_Definition
6100       (N : Node_Id; Val : Node_Id) is
6101    begin
6102       pragma Assert (False
6103         or else NT (N).Nkind = N_Single_Task_Declaration
6104         or else NT (N).Nkind = N_Task_Type_Declaration);
6105       Set_Node3_With_Parent (N, Val);
6106    end Set_Task_Definition;
6107
6108    procedure Set_Task_Present
6109      (N : Node_Id; Val : Boolean := True) is
6110    begin
6111       pragma Assert (False
6112         or else NT (N).Nkind = N_Derived_Type_Definition
6113         or else NT (N).Nkind = N_Record_Definition);
6114       Set_Flag5 (N, Val);
6115    end Set_Task_Present;
6116
6117    procedure Set_Then_Actions
6118       (N : Node_Id; Val : List_Id) is
6119    begin
6120       pragma Assert (False
6121         or else NT (N).Nkind = N_Conditional_Expression);
6122       Set_List2 (N, Val); -- semantic field, no parent set
6123    end Set_Then_Actions;
6124
6125    procedure Set_Then_Statements
6126       (N : Node_Id; Val : List_Id) is
6127    begin
6128       pragma Assert (False
6129         or else NT (N).Nkind = N_Elsif_Part
6130         or else NT (N).Nkind = N_If_Statement);
6131       Set_List2_With_Parent (N, Val);
6132    end Set_Then_Statements;
6133
6134    procedure Set_Treat_Fixed_As_Integer
6135       (N : Node_Id; Val : Boolean := True) is
6136    begin
6137       pragma Assert (False
6138         or else NT (N).Nkind = N_Op_Divide
6139         or else NT (N).Nkind = N_Op_Mod
6140         or else NT (N).Nkind = N_Op_Multiply
6141         or else NT (N).Nkind = N_Op_Rem);
6142       Set_Flag14 (N, Val);
6143    end Set_Treat_Fixed_As_Integer;
6144
6145    procedure Set_Triggering_Alternative
6146       (N : Node_Id; Val : Node_Id) is
6147    begin
6148       pragma Assert (False
6149         or else NT (N).Nkind = N_Asynchronous_Select);
6150       Set_Node1_With_Parent (N, Val);
6151    end Set_Triggering_Alternative;
6152
6153    procedure Set_Triggering_Statement
6154       (N : Node_Id; Val : Node_Id) is
6155    begin
6156       pragma Assert (False
6157         or else NT (N).Nkind = N_Triggering_Alternative);
6158       Set_Node1_With_Parent (N, Val);
6159    end Set_Triggering_Statement;
6160
6161    procedure Set_TSS_Elist
6162       (N : Node_Id; Val : Elist_Id) is
6163    begin
6164       pragma Assert (False
6165         or else NT (N).Nkind = N_Freeze_Entity);
6166       Set_Elist3 (N, Val); -- semantic field, no parent set
6167    end Set_TSS_Elist;
6168
6169    procedure Set_Type_Definition
6170       (N : Node_Id; Val : Node_Id) is
6171    begin
6172       pragma Assert (False
6173         or else NT (N).Nkind = N_Full_Type_Declaration);
6174       Set_Node3_With_Parent (N, Val);
6175    end Set_Type_Definition;
6176
6177    procedure Set_Unit
6178       (N : Node_Id; Val : Node_Id) is
6179    begin
6180       pragma Assert (False
6181         or else NT (N).Nkind = N_Compilation_Unit);
6182       Set_Node2_With_Parent (N, Val);
6183    end Set_Unit;
6184
6185    procedure Set_Unknown_Discriminants_Present
6186       (N : Node_Id; Val : Boolean := True) is
6187    begin
6188       pragma Assert (False
6189         or else NT (N).Nkind = N_Formal_Type_Declaration
6190         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6191         or else NT (N).Nkind = N_Private_Extension_Declaration
6192         or else NT (N).Nkind = N_Private_Type_Declaration);
6193       Set_Flag13 (N, Val);
6194    end Set_Unknown_Discriminants_Present;
6195
6196    procedure Set_Unreferenced_In_Spec
6197       (N : Node_Id; Val : Boolean := True) is
6198    begin
6199       pragma Assert (False
6200         or else NT (N).Nkind = N_With_Clause);
6201       Set_Flag7 (N, Val);
6202    end Set_Unreferenced_In_Spec;
6203
6204    procedure Set_Variant_Part
6205       (N : Node_Id; Val : Node_Id) is
6206    begin
6207       pragma Assert (False
6208         or else NT (N).Nkind = N_Component_List);
6209       Set_Node4_With_Parent (N, Val);
6210    end Set_Variant_Part;
6211
6212    procedure Set_Variants
6213       (N : Node_Id; Val : List_Id) is
6214    begin
6215       pragma Assert (False
6216         or else NT (N).Nkind = N_Variant_Part);
6217       Set_List1_With_Parent (N, Val);
6218    end Set_Variants;
6219
6220    procedure Set_Visible_Declarations
6221       (N : Node_Id; Val : List_Id) is
6222    begin
6223       pragma Assert (False
6224         or else NT (N).Nkind = N_Package_Specification
6225         or else NT (N).Nkind = N_Protected_Definition
6226         or else NT (N).Nkind = N_Task_Definition);
6227       Set_List2_With_Parent (N, Val);
6228    end Set_Visible_Declarations;
6229
6230    procedure Set_Used_Operations
6231      (N : Node_Id; Val :  Elist_Id) is
6232    begin
6233       pragma Assert (False
6234         or else NT (N).Nkind = N_Use_Type_Clause);
6235       Set_Elist5 (N, Val);
6236    end Set_Used_Operations;
6237
6238    procedure Set_Was_Originally_Stub
6239       (N : Node_Id; Val : Boolean := True) is
6240    begin
6241       pragma Assert (False
6242         or else NT (N).Nkind = N_Package_Body
6243         or else NT (N).Nkind = N_Protected_Body
6244         or else NT (N).Nkind = N_Subprogram_Body
6245         or else NT (N).Nkind = N_Task_Body);
6246       Set_Flag13 (N, Val);
6247    end Set_Was_Originally_Stub;
6248
6249    procedure Set_Withed_Body
6250      (N : Node_Id; Val : Node_Id) is
6251    begin
6252       pragma Assert (False
6253         or else NT (N).Nkind = N_With_Clause);
6254       Set_Node1 (N, Val);
6255    end Set_Withed_Body;
6256
6257    -------------------------
6258    -- Iterator Procedures --
6259    -------------------------
6260
6261    procedure Next_Entity       (N : in out Node_Id) is
6262    begin
6263       N := Next_Entity (N);
6264    end Next_Entity;
6265
6266    procedure Next_Named_Actual (N : in out Node_Id) is
6267    begin
6268       N := Next_Named_Actual (N);
6269    end Next_Named_Actual;
6270
6271    procedure Next_Rep_Item     (N : in out Node_Id) is
6272    begin
6273       N := Next_Rep_Item (N);
6274    end Next_Rep_Item;
6275
6276    procedure Next_Use_Clause   (N : in out Node_Id) is
6277    begin
6278       N := Next_Use_Clause (N);
6279    end Next_Use_Clause;
6280
6281    ------------------
6282    -- End_Location --
6283    ------------------
6284
6285    function End_Location (N : Node_Id) return Source_Ptr is
6286       L : constant Uint := End_Span (N);
6287    begin
6288       if L = No_Uint then
6289          return No_Location;
6290       else
6291          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6292       end if;
6293    end End_Location;
6294
6295    --------------------
6296    -- Get_Pragma_Arg --
6297    --------------------
6298
6299    function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6300    begin
6301       if Nkind (Arg) = N_Pragma_Argument_Association then
6302          return Expression (Arg);
6303       else
6304          return Arg;
6305       end if;
6306    end Get_Pragma_Arg;
6307
6308    ----------------------
6309    -- Set_End_Location --
6310    ----------------------
6311
6312    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6313    begin
6314       Set_End_Span (N,
6315         UI_From_Int (Int (S) - Int (Sloc (N))));
6316    end Set_End_Location;
6317
6318    --------------
6319    -- Nkind_In --
6320    --------------
6321
6322    function Nkind_In
6323      (T  : Node_Kind;
6324       V1 : Node_Kind;
6325       V2 : Node_Kind) return Boolean
6326    is
6327    begin
6328       return T = V1 or else
6329              T = V2;
6330    end Nkind_In;
6331
6332    function Nkind_In
6333      (T  : Node_Kind;
6334       V1 : Node_Kind;
6335       V2 : Node_Kind;
6336       V3 : Node_Kind) return Boolean
6337    is
6338    begin
6339       return T = V1 or else
6340              T = V2 or else
6341              T = V3;
6342    end Nkind_In;
6343
6344    function Nkind_In
6345      (T  : Node_Kind;
6346       V1 : Node_Kind;
6347       V2 : Node_Kind;
6348       V3 : Node_Kind;
6349       V4 : Node_Kind) return Boolean
6350    is
6351    begin
6352       return T = V1 or else
6353              T = V2 or else
6354              T = V3 or else
6355              T = V4;
6356    end Nkind_In;
6357
6358    function Nkind_In
6359      (T  : Node_Kind;
6360       V1 : Node_Kind;
6361       V2 : Node_Kind;
6362       V3 : Node_Kind;
6363       V4 : Node_Kind;
6364       V5 : Node_Kind) return Boolean
6365    is
6366    begin
6367       return T = V1 or else
6368              T = V2 or else
6369              T = V3 or else
6370              T = V4 or else
6371              T = V5;
6372    end Nkind_In;
6373
6374    function Nkind_In
6375      (T  : Node_Kind;
6376       V1 : Node_Kind;
6377       V2 : Node_Kind;
6378       V3 : Node_Kind;
6379       V4 : Node_Kind;
6380       V5 : Node_Kind;
6381       V6 : Node_Kind) return Boolean
6382    is
6383    begin
6384       return T = V1 or else
6385              T = V2 or else
6386              T = V3 or else
6387              T = V4 or else
6388              T = V5 or else
6389              T = V6;
6390    end Nkind_In;
6391
6392    function Nkind_In
6393      (T  : Node_Kind;
6394       V1 : Node_Kind;
6395       V2 : Node_Kind;
6396       V3 : Node_Kind;
6397       V4 : Node_Kind;
6398       V5 : Node_Kind;
6399       V6 : Node_Kind;
6400       V7 : Node_Kind) return Boolean
6401    is
6402    begin
6403       return T = V1 or else
6404              T = V2 or else
6405              T = V3 or else
6406              T = V4 or else
6407              T = V5 or else
6408              T = V6 or else
6409              T = V7;
6410    end Nkind_In;
6411
6412    function Nkind_In
6413      (T  : Node_Kind;
6414       V1 : Node_Kind;
6415       V2 : Node_Kind;
6416       V3 : Node_Kind;
6417       V4 : Node_Kind;
6418       V5 : Node_Kind;
6419       V6 : Node_Kind;
6420       V7 : Node_Kind;
6421       V8 : Node_Kind) return Boolean
6422    is
6423    begin
6424       return T = V1 or else
6425              T = V2 or else
6426              T = V3 or else
6427              T = V4 or else
6428              T = V5 or else
6429              T = V6 or else
6430              T = V7 or else
6431              T = V8;
6432    end Nkind_In;
6433
6434    function Nkind_In
6435      (T  : Node_Kind;
6436       V1 : Node_Kind;
6437       V2 : Node_Kind;
6438       V3 : Node_Kind;
6439       V4 : Node_Kind;
6440       V5 : Node_Kind;
6441       V6 : Node_Kind;
6442       V7 : Node_Kind;
6443       V8 : Node_Kind;
6444       V9 : Node_Kind) return Boolean
6445    is
6446    begin
6447       return T = V1 or else
6448              T = V2 or else
6449              T = V3 or else
6450              T = V4 or else
6451              T = V5 or else
6452              T = V6 or else
6453              T = V7 or else
6454              T = V8 or else
6455              T = V9;
6456    end Nkind_In;
6457
6458    -----------------
6459    -- Pragma_Name --
6460    -----------------
6461
6462    function Pragma_Name (N : Node_Id) return Name_Id is
6463    begin
6464       return Chars (Pragma_Identifier (N));
6465    end Pragma_Name;
6466
6467 end Sinfo;