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