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