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