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