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