gcc/ada/sinfo.adb

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