gcc/ada/sinfo.adb

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