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