gcc/ada/sinfo.adb

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