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