gcc/ada/sinfo.adb

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