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