1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Compound_Statement
152 or else NT (N).Nkind = N_Expression_With_Actions
153 or else NT (N).Nkind = N_Freeze_Entity
154 or else NT (N).Nkind = N_Or_Else);
158 function Activation_Chain_Entity
159 (N : Node_Id) return Node_Id is
162 or else NT (N).Nkind = N_Block_Statement
163 or else NT (N).Nkind = N_Entry_Body
164 or else NT (N).Nkind = N_Generic_Package_Declaration
165 or else NT (N).Nkind = N_Package_Declaration
166 or else NT (N).Nkind = N_Subprogram_Body
167 or else NT (N).Nkind = N_Task_Body);
169 end Activation_Chain_Entity;
171 function Acts_As_Spec
172 (N : Node_Id) return Boolean is
175 or else NT (N).Nkind = N_Compilation_Unit
176 or else NT (N).Nkind = N_Subprogram_Body);
180 function Actual_Designated_Subtype
181 (N : Node_Id) return Node_Id is
184 or else NT (N).Nkind = N_Explicit_Dereference
185 or else NT (N).Nkind = N_Free_Statement);
187 end Actual_Designated_Subtype;
189 function Address_Warning_Posted
190 (N : Node_Id) return Boolean is
193 or else NT (N).Nkind = N_Attribute_Definition_Clause);
195 end Address_Warning_Posted;
197 function Aggregate_Bounds
198 (N : Node_Id) return Node_Id is
201 or else NT (N).Nkind = N_Aggregate);
203 end Aggregate_Bounds;
205 function Aliased_Present
206 (N : Node_Id) return Boolean is
209 or else NT (N).Nkind = N_Component_Definition
210 or else NT (N).Nkind = N_Object_Declaration
211 or else NT (N).Nkind = N_Parameter_Specification);
216 (N : Node_Id) return Boolean is
219 or else NT (N).Nkind = N_Others_Choice);
224 (N : Node_Id) return Boolean is
227 or else NT (N).Nkind = N_Access_Definition
228 or else NT (N).Nkind = N_Access_To_Object_Definition
229 or else NT (N).Nkind = N_Quantified_Expression
230 or else NT (N).Nkind = N_Use_Type_Clause);
234 function Alternatives
235 (N : Node_Id) return List_Id is
238 or else NT (N).Nkind = N_Case_Expression
239 or else NT (N).Nkind = N_Case_Statement
240 or else NT (N).Nkind = N_In
241 or else NT (N).Nkind = N_Not_In);
245 function Ancestor_Part
246 (N : Node_Id) return Node_Id is
249 or else NT (N).Nkind = N_Extension_Aggregate);
253 function Atomic_Sync_Required
254 (N : Node_Id) return Boolean is
257 or else NT (N).Nkind = N_Expanded_Name
258 or else NT (N).Nkind = N_Explicit_Dereference
259 or else NT (N).Nkind = N_Identifier
260 or else NT (N).Nkind = N_Indexed_Component
261 or else NT (N).Nkind = N_Selected_Component);
263 end Atomic_Sync_Required;
265 function Array_Aggregate
266 (N : Node_Id) return Node_Id is
269 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
273 function Aspect_Rep_Item
274 (N : Node_Id) return Node_Id is
277 or else NT (N).Nkind = N_Aspect_Specification);
281 function Assignment_OK
282 (N : Node_Id) return Boolean is
285 or else NT (N).Nkind = N_Object_Declaration
286 or else NT (N).Nkind in N_Subexpr);
290 function Associated_Node
291 (N : Node_Id) return Node_Id is
294 or else NT (N).Nkind in N_Has_Entity
295 or else NT (N).Nkind = N_Aggregate
296 or else NT (N).Nkind = N_Extension_Aggregate
297 or else NT (N).Nkind = N_Selected_Component);
302 (N : Node_Id) return Node_Id is
305 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
309 function Attribute_Name
310 (N : Node_Id) return Name_Id is
313 or else NT (N).Nkind = N_Attribute_Reference);
317 function Aux_Decls_Node
318 (N : Node_Id) return Node_Id is
321 or else NT (N).Nkind = N_Compilation_Unit);
325 function Backwards_OK
326 (N : Node_Id) return Boolean is
329 or else NT (N).Nkind = N_Assignment_Statement);
333 function Bad_Is_Detected
334 (N : Node_Id) return Boolean is
337 or else NT (N).Nkind = N_Subprogram_Body);
341 function Body_Required
342 (N : Node_Id) return Boolean is
345 or else NT (N).Nkind = N_Compilation_Unit);
349 function Body_To_Inline
350 (N : Node_Id) return Node_Id is
353 or else NT (N).Nkind = N_Subprogram_Declaration);
358 (N : Node_Id) return Boolean is
361 or else NT (N).Nkind = N_Component_Association
362 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
364 or else NT (N).Nkind = N_Formal_Package_Declaration
365 or else NT (N).Nkind = N_Generic_Association);
370 (N : Node_Id) return Boolean is
373 or else NT (N).Nkind = N_Extended_Return_Statement
374 or else NT (N).Nkind = N_Simple_Return_Statement);
378 function Char_Literal_Value
379 (N : Node_Id) return Uint is
382 or else NT (N).Nkind = N_Character_Literal);
384 end Char_Literal_Value;
387 (N : Node_Id) return Name_Id is
390 or else NT (N).Nkind in N_Has_Chars);
394 function Check_Address_Alignment
395 (N : Node_Id) return Boolean is
398 or else NT (N).Nkind = N_Attribute_Definition_Clause);
400 end Check_Address_Alignment;
402 function Choice_Parameter
403 (N : Node_Id) return Node_Id is
406 or else NT (N).Nkind = N_Exception_Handler);
408 end Choice_Parameter;
411 (N : Node_Id) return List_Id is
414 or else NT (N).Nkind = N_Component_Association);
418 function Class_Present
419 (N : Node_Id) return Boolean is
422 or else NT (N).Nkind = N_Aspect_Specification
423 or else NT (N).Nkind = N_Pragma);
427 function Classifications
428 (N : Node_Id) return Node_Id is
431 or else NT (N).Nkind = N_Contract);
435 function Cleanup_Actions
436 (N : Node_Id) return List_Id is
439 or else NT (N).Nkind = N_Block_Statement);
443 function Comes_From_Extended_Return_Statement
444 (N : Node_Id) return Boolean is
447 or else NT (N).Nkind = N_Simple_Return_Statement);
449 end Comes_From_Extended_Return_Statement;
451 function Compile_Time_Known_Aggregate
452 (N : Node_Id) return Boolean is
455 or else NT (N).Nkind = N_Aggregate);
457 end Compile_Time_Known_Aggregate;
459 function Component_Associations
460 (N : Node_Id) return List_Id is
463 or else NT (N).Nkind = N_Aggregate
464 or else NT (N).Nkind = N_Extension_Aggregate);
466 end Component_Associations;
468 function Component_Clauses
469 (N : Node_Id) return List_Id is
472 or else NT (N).Nkind = N_Record_Representation_Clause);
474 end Component_Clauses;
476 function Component_Definition
477 (N : Node_Id) return Node_Id is
480 or else NT (N).Nkind = N_Component_Declaration
481 or else NT (N).Nkind = N_Constrained_Array_Definition
482 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
484 end Component_Definition;
486 function Component_Items
487 (N : Node_Id) return List_Id is
490 or else NT (N).Nkind = N_Component_List);
494 function Component_List
495 (N : Node_Id) return Node_Id is
498 or else NT (N).Nkind = N_Record_Definition
499 or else NT (N).Nkind = N_Variant);
503 function Component_Name
504 (N : Node_Id) return Node_Id is
507 or else NT (N).Nkind = N_Component_Clause);
511 function Componentwise_Assignment
512 (N : Node_Id) return Boolean is
515 or else NT (N).Nkind = N_Assignment_Statement);
517 end Componentwise_Assignment;
520 (N : Node_Id) return Node_Id is
523 or else NT (N).Nkind = N_Accept_Alternative
524 or else NT (N).Nkind = N_Delay_Alternative
525 or else NT (N).Nkind = N_Elsif_Part
526 or else NT (N).Nkind = N_Entry_Body_Formal_Part
527 or else NT (N).Nkind = N_Exit_Statement
528 or else NT (N).Nkind = N_If_Statement
529 or else NT (N).Nkind = N_Iteration_Scheme
530 or else NT (N).Nkind = N_Quantified_Expression
531 or else NT (N).Nkind = N_Raise_Constraint_Error
532 or else NT (N).Nkind = N_Raise_Program_Error
533 or else NT (N).Nkind = N_Raise_Storage_Error
534 or else NT (N).Nkind = N_Terminate_Alternative);
538 function Condition_Actions
539 (N : Node_Id) return List_Id is
542 or else NT (N).Nkind = N_Elsif_Part
543 or else NT (N).Nkind = N_Iteration_Scheme);
545 end Condition_Actions;
547 function Config_Pragmas
548 (N : Node_Id) return List_Id is
551 or else NT (N).Nkind = N_Compilation_Unit_Aux);
555 function Constant_Present
556 (N : Node_Id) return Boolean is
559 or else NT (N).Nkind = N_Access_Definition
560 or else NT (N).Nkind = N_Access_To_Object_Definition
561 or else NT (N).Nkind = N_Object_Declaration);
563 end Constant_Present;
566 (N : Node_Id) return Node_Id is
569 or else NT (N).Nkind = N_Subtype_Indication);
574 (N : Node_Id) return List_Id is
577 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
581 function Context_Installed
582 (N : Node_Id) return Boolean is
585 or else NT (N).Nkind = N_With_Clause);
587 end Context_Installed;
589 function Context_Items
590 (N : Node_Id) return List_Id is
593 or else NT (N).Nkind = N_Compilation_Unit);
597 function Context_Pending
598 (N : Node_Id) return Boolean is
601 or else NT (N).Nkind = N_Compilation_Unit);
605 function Contract_Test_Cases
606 (N : Node_Id) return Node_Id is
609 or else NT (N).Nkind = N_Contract);
611 end Contract_Test_Cases;
613 function Controlling_Argument
614 (N : Node_Id) return Node_Id is
617 or else NT (N).Nkind = N_Function_Call
618 or else NT (N).Nkind = N_Procedure_Call_Statement);
620 end Controlling_Argument;
622 function Conversion_OK
623 (N : Node_Id) return Boolean is
626 or else NT (N).Nkind = N_Type_Conversion);
630 function Convert_To_Return_False
631 (N : Node_Id) return Boolean is
634 or else NT (N).Nkind = N_Raise_Expression);
636 end Convert_To_Return_False;
638 function Corresponding_Aspect
639 (N : Node_Id) return Node_Id is
642 or else NT (N).Nkind = N_Pragma);
644 end Corresponding_Aspect;
646 function Corresponding_Body
647 (N : Node_Id) return Node_Id is
650 or else NT (N).Nkind = N_Entry_Declaration
651 or else NT (N).Nkind = N_Generic_Package_Declaration
652 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
653 or else NT (N).Nkind = N_Package_Body_Stub
654 or else NT (N).Nkind = N_Package_Declaration
655 or else NT (N).Nkind = N_Protected_Body_Stub
656 or else NT (N).Nkind = N_Protected_Type_Declaration
657 or else NT (N).Nkind = N_Subprogram_Body_Stub
658 or else NT (N).Nkind = N_Subprogram_Declaration
659 or else NT (N).Nkind = N_Task_Body_Stub
660 or else NT (N).Nkind = N_Task_Type_Declaration);
662 end Corresponding_Body;
664 function Corresponding_Formal_Spec
665 (N : Node_Id) return Node_Id is
668 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
670 end Corresponding_Formal_Spec;
672 function Corresponding_Generic_Association
673 (N : Node_Id) return Node_Id is
676 or else NT (N).Nkind = N_Object_Declaration
677 or else NT (N).Nkind = N_Object_Renaming_Declaration);
679 end Corresponding_Generic_Association;
681 function Corresponding_Integer_Value
682 (N : Node_Id) return Uint is
685 or else NT (N).Nkind = N_Real_Literal);
687 end Corresponding_Integer_Value;
689 function Corresponding_Spec
690 (N : Node_Id) return Node_Id is
693 or else NT (N).Nkind = N_Expression_Function
694 or else NT (N).Nkind = N_Package_Body
695 or else NT (N).Nkind = N_Protected_Body
696 or else NT (N).Nkind = N_Subprogram_Body
697 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
698 or else NT (N).Nkind = N_Task_Body
699 or else NT (N).Nkind = N_With_Clause);
701 end Corresponding_Spec;
703 function Corresponding_Spec_Of_Stub
704 (N : Node_Id) return Entity_Id is
707 or else NT (N).Nkind = N_Package_Body_Stub
708 or else NT (N).Nkind = N_Protected_Body_Stub
709 or else NT (N).Nkind = N_Subprogram_Body_Stub
710 or else NT (N).Nkind = N_Task_Body_Stub);
712 end Corresponding_Spec_Of_Stub;
714 function Corresponding_Stub
715 (N : Node_Id) return Node_Id is
718 or else NT (N).Nkind = N_Subunit);
720 end Corresponding_Stub;
722 function Dcheck_Function
723 (N : Node_Id) return Entity_Id is
726 or else NT (N).Nkind = N_Variant);
730 function Declarations
731 (N : Node_Id) return List_Id is
734 or else NT (N).Nkind = N_Accept_Statement
735 or else NT (N).Nkind = N_Block_Statement
736 or else NT (N).Nkind = N_Compilation_Unit_Aux
737 or else NT (N).Nkind = N_Entry_Body
738 or else NT (N).Nkind = N_Package_Body
739 or else NT (N).Nkind = N_Protected_Body
740 or else NT (N).Nkind = N_Subprogram_Body
741 or else NT (N).Nkind = N_Task_Body);
745 function Default_Expression
746 (N : Node_Id) return Node_Id is
749 or else NT (N).Nkind = N_Formal_Object_Declaration
750 or else NT (N).Nkind = N_Parameter_Specification);
752 end Default_Expression;
754 function Default_Storage_Pool
755 (N : Node_Id) return Node_Id is
758 or else NT (N).Nkind = N_Compilation_Unit_Aux);
760 end Default_Storage_Pool;
762 function Default_Name
763 (N : Node_Id) return Node_Id is
766 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
767 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
771 function Defining_Identifier
772 (N : Node_Id) return Entity_Id is
775 or else NT (N).Nkind = N_Component_Declaration
776 or else NT (N).Nkind = N_Defining_Program_Unit_Name
777 or else NT (N).Nkind = N_Discriminant_Specification
778 or else NT (N).Nkind = N_Entry_Body
779 or else NT (N).Nkind = N_Entry_Declaration
780 or else NT (N).Nkind = N_Entry_Index_Specification
781 or else NT (N).Nkind = N_Exception_Declaration
782 or else NT (N).Nkind = N_Exception_Renaming_Declaration
783 or else NT (N).Nkind = N_Formal_Object_Declaration
784 or else NT (N).Nkind = N_Formal_Package_Declaration
785 or else NT (N).Nkind = N_Formal_Type_Declaration
786 or else NT (N).Nkind = N_Full_Type_Declaration
787 or else NT (N).Nkind = N_Implicit_Label_Declaration
788 or else NT (N).Nkind = N_Incomplete_Type_Declaration
789 or else NT (N).Nkind = N_Iterator_Specification
790 or else NT (N).Nkind = N_Loop_Parameter_Specification
791 or else NT (N).Nkind = N_Number_Declaration
792 or else NT (N).Nkind = N_Object_Declaration
793 or else NT (N).Nkind = N_Object_Renaming_Declaration
794 or else NT (N).Nkind = N_Package_Body_Stub
795 or else NT (N).Nkind = N_Parameter_Specification
796 or else NT (N).Nkind = N_Private_Extension_Declaration
797 or else NT (N).Nkind = N_Private_Type_Declaration
798 or else NT (N).Nkind = N_Protected_Body
799 or else NT (N).Nkind = N_Protected_Body_Stub
800 or else NT (N).Nkind = N_Protected_Type_Declaration
801 or else NT (N).Nkind = N_Single_Protected_Declaration
802 or else NT (N).Nkind = N_Single_Task_Declaration
803 or else NT (N).Nkind = N_Subtype_Declaration
804 or else NT (N).Nkind = N_Task_Body
805 or else NT (N).Nkind = N_Task_Body_Stub
806 or else NT (N).Nkind = N_Task_Type_Declaration);
808 end Defining_Identifier;
810 function Defining_Unit_Name
811 (N : Node_Id) return Node_Id is
814 or else NT (N).Nkind = N_Function_Instantiation
815 or else NT (N).Nkind = N_Function_Specification
816 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
817 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
818 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
819 or else NT (N).Nkind = N_Package_Body
820 or else NT (N).Nkind = N_Package_Instantiation
821 or else NT (N).Nkind = N_Package_Renaming_Declaration
822 or else NT (N).Nkind = N_Package_Specification
823 or else NT (N).Nkind = N_Procedure_Instantiation
824 or else NT (N).Nkind = N_Procedure_Specification);
826 end Defining_Unit_Name;
828 function Delay_Alternative
829 (N : Node_Id) return Node_Id is
832 or else NT (N).Nkind = N_Timed_Entry_Call);
834 end Delay_Alternative;
836 function Delay_Statement
837 (N : Node_Id) return Node_Id is
840 or else NT (N).Nkind = N_Delay_Alternative);
844 function Delta_Expression
845 (N : Node_Id) return Node_Id is
848 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
849 or else NT (N).Nkind = N_Delta_Constraint
850 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
852 end Delta_Expression;
854 function Digits_Expression
855 (N : Node_Id) return Node_Id is
858 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
859 or else NT (N).Nkind = N_Digits_Constraint
860 or else NT (N).Nkind = N_Floating_Point_Definition);
862 end Digits_Expression;
864 function Discr_Check_Funcs_Built
865 (N : Node_Id) return Boolean is
868 or else NT (N).Nkind = N_Full_Type_Declaration);
870 end Discr_Check_Funcs_Built;
872 function Discrete_Choices
873 (N : Node_Id) return List_Id is
876 or else NT (N).Nkind = N_Case_Expression_Alternative
877 or else NT (N).Nkind = N_Case_Statement_Alternative
878 or else NT (N).Nkind = N_Variant);
880 end Discrete_Choices;
882 function Discrete_Range
883 (N : Node_Id) return Node_Id is
886 or else NT (N).Nkind = N_Slice);
890 function Discrete_Subtype_Definition
891 (N : Node_Id) return Node_Id is
894 or else NT (N).Nkind = N_Entry_Declaration
895 or else NT (N).Nkind = N_Entry_Index_Specification
896 or else NT (N).Nkind = N_Loop_Parameter_Specification);
898 end Discrete_Subtype_Definition;
900 function Discrete_Subtype_Definitions
901 (N : Node_Id) return List_Id is
904 or else NT (N).Nkind = N_Constrained_Array_Definition);
906 end Discrete_Subtype_Definitions;
908 function Discriminant_Specifications
909 (N : Node_Id) return List_Id is
912 or else NT (N).Nkind = N_Formal_Type_Declaration
913 or else NT (N).Nkind = N_Full_Type_Declaration
914 or else NT (N).Nkind = N_Incomplete_Type_Declaration
915 or else NT (N).Nkind = N_Private_Extension_Declaration
916 or else NT (N).Nkind = N_Private_Type_Declaration
917 or else NT (N).Nkind = N_Protected_Type_Declaration
918 or else NT (N).Nkind = N_Task_Type_Declaration);
920 end Discriminant_Specifications;
922 function Discriminant_Type
923 (N : Node_Id) return Node_Id is
926 or else NT (N).Nkind = N_Discriminant_Specification);
928 end Discriminant_Type;
930 function Do_Accessibility_Check
931 (N : Node_Id) return Boolean is
934 or else NT (N).Nkind = N_Parameter_Specification);
936 end Do_Accessibility_Check;
938 function Do_Discriminant_Check
939 (N : Node_Id) return Boolean is
942 or else NT (N).Nkind = N_Assignment_Statement
943 or else NT (N).Nkind = N_Selected_Component
944 or else NT (N).Nkind = N_Type_Conversion);
946 end Do_Discriminant_Check;
948 function Do_Division_Check
949 (N : Node_Id) return Boolean is
952 or else NT (N).Nkind = N_Op_Divide
953 or else NT (N).Nkind = N_Op_Mod
954 or else NT (N).Nkind = N_Op_Rem);
956 end Do_Division_Check;
958 function Do_Length_Check
959 (N : Node_Id) return Boolean is
962 or else NT (N).Nkind = N_Assignment_Statement
963 or else NT (N).Nkind = N_Op_And
964 or else NT (N).Nkind = N_Op_Or
965 or else NT (N).Nkind = N_Op_Xor
966 or else NT (N).Nkind = N_Type_Conversion);
970 function Do_Overflow_Check
971 (N : Node_Id) return Boolean is
974 or else NT (N).Nkind in N_Op
975 or else NT (N).Nkind = N_Attribute_Reference
976 or else NT (N).Nkind = N_Case_Expression
977 or else NT (N).Nkind = N_If_Expression
978 or else NT (N).Nkind = N_Type_Conversion);
980 end Do_Overflow_Check;
982 function Do_Range_Check
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind in N_Subexpr);
990 function Do_Storage_Check
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_Allocator
995 or else NT (N).Nkind = N_Subprogram_Body);
997 end Do_Storage_Check;
999 function Do_Tag_Check
1000 (N : Node_Id) return Boolean is
1002 pragma Assert (False
1003 or else NT (N).Nkind = N_Assignment_Statement
1004 or else NT (N).Nkind = N_Extended_Return_Statement
1005 or else NT (N).Nkind = N_Function_Call
1006 or else NT (N).Nkind = N_Procedure_Call_Statement
1007 or else NT (N).Nkind = N_Simple_Return_Statement
1008 or else NT (N).Nkind = N_Type_Conversion);
1012 function Elaborate_All_Desirable
1013 (N : Node_Id) return Boolean is
1015 pragma Assert (False
1016 or else NT (N).Nkind = N_With_Clause);
1018 end Elaborate_All_Desirable;
1020 function Elaborate_All_Present
1021 (N : Node_Id) return Boolean is
1023 pragma Assert (False
1024 or else NT (N).Nkind = N_With_Clause);
1026 end Elaborate_All_Present;
1028 function Elaborate_Desirable
1029 (N : Node_Id) return Boolean is
1031 pragma Assert (False
1032 or else NT (N).Nkind = N_With_Clause);
1034 end Elaborate_Desirable;
1036 function Elaborate_Present
1037 (N : Node_Id) return Boolean is
1039 pragma Assert (False
1040 or else NT (N).Nkind = N_With_Clause);
1042 end Elaborate_Present;
1044 function Elaboration_Boolean
1045 (N : Node_Id) return Node_Id is
1047 pragma Assert (False
1048 or else NT (N).Nkind = N_Function_Specification
1049 or else NT (N).Nkind = N_Procedure_Specification);
1051 end Elaboration_Boolean;
1053 function Else_Actions
1054 (N : Node_Id) return List_Id is
1056 pragma Assert (False
1057 or else NT (N).Nkind = N_If_Expression);
1061 function Else_Statements
1062 (N : Node_Id) return List_Id is
1064 pragma Assert (False
1065 or else NT (N).Nkind = N_Conditional_Entry_Call
1066 or else NT (N).Nkind = N_If_Statement
1067 or else NT (N).Nkind = N_Selective_Accept);
1069 end Else_Statements;
1071 function Elsif_Parts
1072 (N : Node_Id) return List_Id is
1074 pragma Assert (False
1075 or else NT (N).Nkind = N_If_Statement);
1079 function Enclosing_Variant
1080 (N : Node_Id) return Node_Id is
1082 pragma Assert (False
1083 or else NT (N).Nkind = N_Variant);
1085 end Enclosing_Variant;
1088 (N : Node_Id) return Node_Id is
1090 pragma Assert (False
1091 or else NT (N).Nkind = N_Enumeration_Type_Definition
1092 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1093 or else NT (N).Nkind = N_Loop_Statement
1094 or else NT (N).Nkind = N_Package_Specification
1095 or else NT (N).Nkind = N_Protected_Body
1096 or else NT (N).Nkind = N_Protected_Definition
1097 or else NT (N).Nkind = N_Record_Definition
1098 or else NT (N).Nkind = N_Task_Definition);
1103 (N : Node_Id) return Uint is
1105 pragma Assert (False
1106 or else NT (N).Nkind = N_Case_Statement
1107 or else NT (N).Nkind = N_If_Statement);
1112 (N : Node_Id) return Node_Id is
1114 pragma Assert (False
1115 or else NT (N).Nkind in N_Has_Entity
1116 or else NT (N).Nkind = N_Aspect_Specification
1117 or else NT (N).Nkind = N_Attribute_Definition_Clause
1118 or else NT (N).Nkind = N_Freeze_Entity
1119 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1123 function Entity_Or_Associated_Node
1124 (N : Node_Id) return Node_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind in N_Has_Entity
1128 or else NT (N).Nkind = N_Freeze_Entity);
1130 end Entity_Or_Associated_Node;
1132 function Entry_Body_Formal_Part
1133 (N : Node_Id) return Node_Id is
1135 pragma Assert (False
1136 or else NT (N).Nkind = N_Entry_Body);
1138 end Entry_Body_Formal_Part;
1140 function Entry_Call_Alternative
1141 (N : Node_Id) return Node_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Conditional_Entry_Call
1145 or else NT (N).Nkind = N_Timed_Entry_Call);
1147 end Entry_Call_Alternative;
1149 function Entry_Call_Statement
1150 (N : Node_Id) return Node_Id is
1152 pragma Assert (False
1153 or else NT (N).Nkind = N_Entry_Call_Alternative);
1155 end Entry_Call_Statement;
1157 function Entry_Direct_Name
1158 (N : Node_Id) return Node_Id is
1160 pragma Assert (False
1161 or else NT (N).Nkind = N_Accept_Statement);
1163 end Entry_Direct_Name;
1165 function Entry_Index
1166 (N : Node_Id) return Node_Id is
1168 pragma Assert (False
1169 or else NT (N).Nkind = N_Accept_Statement);
1173 function Entry_Index_Specification
1174 (N : Node_Id) return Node_Id is
1176 pragma Assert (False
1177 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1179 end Entry_Index_Specification;
1182 (N : Node_Id) return Node_Id is
1184 pragma Assert (False
1185 or else NT (N).Nkind in N_Has_Etype);
1189 function Exception_Choices
1190 (N : Node_Id) return List_Id is
1192 pragma Assert (False
1193 or else NT (N).Nkind = N_Exception_Handler);
1195 end Exception_Choices;
1197 function Exception_Handlers
1198 (N : Node_Id) return List_Id is
1200 pragma Assert (False
1201 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1203 end Exception_Handlers;
1205 function Exception_Junk
1206 (N : Node_Id) return Boolean is
1208 pragma Assert (False
1209 or else NT (N).Nkind = N_Block_Statement
1210 or else NT (N).Nkind = N_Goto_Statement
1211 or else NT (N).Nkind = N_Label
1212 or else NT (N).Nkind = N_Object_Declaration
1213 or else NT (N).Nkind = N_Subtype_Declaration);
1217 function Exception_Label
1218 (N : Node_Id) return Node_Id is
1220 pragma Assert (False
1221 or else NT (N).Nkind = N_Exception_Handler
1222 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1223 or else NT (N).Nkind = N_Push_Program_Error_Label
1224 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1226 end Exception_Label;
1228 function Expansion_Delayed
1229 (N : Node_Id) return Boolean is
1231 pragma Assert (False
1232 or else NT (N).Nkind = N_Aggregate
1233 or else NT (N).Nkind = N_Extension_Aggregate);
1235 end Expansion_Delayed;
1237 function Explicit_Actual_Parameter
1238 (N : Node_Id) return Node_Id is
1240 pragma Assert (False
1241 or else NT (N).Nkind = N_Parameter_Association);
1243 end Explicit_Actual_Parameter;
1245 function Explicit_Generic_Actual_Parameter
1246 (N : Node_Id) return Node_Id is
1248 pragma Assert (False
1249 or else NT (N).Nkind = N_Generic_Association);
1251 end Explicit_Generic_Actual_Parameter;
1254 (N : Node_Id) return Node_Id is
1256 pragma Assert (False
1257 or else NT (N).Nkind = N_Allocator
1258 or else NT (N).Nkind = N_Aspect_Specification
1259 or else NT (N).Nkind = N_Assignment_Statement
1260 or else NT (N).Nkind = N_At_Clause
1261 or else NT (N).Nkind = N_Attribute_Definition_Clause
1262 or else NT (N).Nkind = N_Case_Expression
1263 or else NT (N).Nkind = N_Case_Expression_Alternative
1264 or else NT (N).Nkind = N_Case_Statement
1265 or else NT (N).Nkind = N_Code_Statement
1266 or else NT (N).Nkind = N_Component_Association
1267 or else NT (N).Nkind = N_Component_Declaration
1268 or else NT (N).Nkind = N_Delay_Relative_Statement
1269 or else NT (N).Nkind = N_Delay_Until_Statement
1270 or else NT (N).Nkind = N_Discriminant_Association
1271 or else NT (N).Nkind = N_Discriminant_Specification
1272 or else NT (N).Nkind = N_Exception_Declaration
1273 or else NT (N).Nkind = N_Expression_Function
1274 or else NT (N).Nkind = N_Expression_With_Actions
1275 or else NT (N).Nkind = N_Free_Statement
1276 or else NT (N).Nkind = N_Mod_Clause
1277 or else NT (N).Nkind = N_Modular_Type_Definition
1278 or else NT (N).Nkind = N_Number_Declaration
1279 or else NT (N).Nkind = N_Object_Declaration
1280 or else NT (N).Nkind = N_Parameter_Specification
1281 or else NT (N).Nkind = N_Pragma_Argument_Association
1282 or else NT (N).Nkind = N_Qualified_Expression
1283 or else NT (N).Nkind = N_Raise_Expression
1284 or else NT (N).Nkind = N_Raise_Statement
1285 or else NT (N).Nkind = N_Simple_Return_Statement
1286 or else NT (N).Nkind = N_Type_Conversion
1287 or else NT (N).Nkind = N_Unchecked_Expression
1288 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1292 function Expressions
1293 (N : Node_Id) return List_Id is
1295 pragma Assert (False
1296 or else NT (N).Nkind = N_Aggregate
1297 or else NT (N).Nkind = N_Attribute_Reference
1298 or else NT (N).Nkind = N_Extension_Aggregate
1299 or else NT (N).Nkind = N_If_Expression
1300 or else NT (N).Nkind = N_Indexed_Component);
1305 (N : Node_Id) return Node_Id is
1307 pragma Assert (False
1308 or else NT (N).Nkind = N_Component_Clause);
1312 function First_Inlined_Subprogram
1313 (N : Node_Id) return Entity_Id is
1315 pragma Assert (False
1316 or else NT (N).Nkind = N_Compilation_Unit);
1318 end First_Inlined_Subprogram;
1321 (N : Node_Id) return Boolean is
1323 pragma Assert (False
1324 or else NT (N).Nkind = N_With_Clause);
1328 function First_Named_Actual
1329 (N : Node_Id) return Node_Id is
1331 pragma Assert (False
1332 or else NT (N).Nkind = N_Entry_Call_Statement
1333 or else NT (N).Nkind = N_Function_Call
1334 or else NT (N).Nkind = N_Procedure_Call_Statement);
1336 end First_Named_Actual;
1338 function First_Real_Statement
1339 (N : Node_Id) return Node_Id is
1341 pragma Assert (False
1342 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1344 end First_Real_Statement;
1346 function First_Subtype_Link
1347 (N : Node_Id) return Entity_Id is
1349 pragma Assert (False
1350 or else NT (N).Nkind = N_Freeze_Entity);
1352 end First_Subtype_Link;
1354 function Float_Truncate
1355 (N : Node_Id) return Boolean is
1357 pragma Assert (False
1358 or else NT (N).Nkind = N_Type_Conversion);
1362 function Formal_Type_Definition
1363 (N : Node_Id) return Node_Id is
1365 pragma Assert (False
1366 or else NT (N).Nkind = N_Formal_Type_Declaration);
1368 end Formal_Type_Definition;
1370 function Forwards_OK
1371 (N : Node_Id) return Boolean is
1373 pragma Assert (False
1374 or else NT (N).Nkind = N_Assignment_Statement);
1378 function From_Aspect_Specification
1379 (N : Node_Id) return Boolean is
1381 pragma Assert (False
1382 or else NT (N).Nkind = N_Attribute_Definition_Clause
1383 or else NT (N).Nkind = N_Pragma);
1385 end From_Aspect_Specification;
1387 function From_At_End
1388 (N : Node_Id) return Boolean is
1390 pragma Assert (False
1391 or else NT (N).Nkind = N_Raise_Statement);
1395 function From_At_Mod
1396 (N : Node_Id) return Boolean is
1398 pragma Assert (False
1399 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1403 function From_Default
1404 (N : Node_Id) return Boolean is
1406 pragma Assert (False
1407 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1411 function Generalized_Indexing
1412 (N : Node_Id) return Node_Id is
1414 pragma Assert (False
1415 or else NT (N).Nkind = N_Indexed_Component);
1417 end Generalized_Indexing;
1419 function Generic_Associations
1420 (N : Node_Id) return List_Id is
1422 pragma Assert (False
1423 or else NT (N).Nkind = N_Formal_Package_Declaration
1424 or else NT (N).Nkind = N_Function_Instantiation
1425 or else NT (N).Nkind = N_Package_Instantiation
1426 or else NT (N).Nkind = N_Procedure_Instantiation);
1428 end Generic_Associations;
1430 function Generic_Formal_Declarations
1431 (N : Node_Id) return List_Id is
1433 pragma Assert (False
1434 or else NT (N).Nkind = N_Generic_Package_Declaration
1435 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1437 end Generic_Formal_Declarations;
1439 function Generic_Parent
1440 (N : Node_Id) return Node_Id is
1442 pragma Assert (False
1443 or else NT (N).Nkind = N_Function_Specification
1444 or else NT (N).Nkind = N_Package_Specification
1445 or else NT (N).Nkind = N_Procedure_Specification);
1449 function Generic_Parent_Type
1450 (N : Node_Id) return Node_Id is
1452 pragma Assert (False
1453 or else NT (N).Nkind = N_Subtype_Declaration);
1455 end Generic_Parent_Type;
1457 function Handled_Statement_Sequence
1458 (N : Node_Id) return Node_Id is
1460 pragma Assert (False
1461 or else NT (N).Nkind = N_Accept_Statement
1462 or else NT (N).Nkind = N_Block_Statement
1463 or else NT (N).Nkind = N_Entry_Body
1464 or else NT (N).Nkind = N_Extended_Return_Statement
1465 or else NT (N).Nkind = N_Package_Body
1466 or else NT (N).Nkind = N_Subprogram_Body
1467 or else NT (N).Nkind = N_Task_Body);
1469 end Handled_Statement_Sequence;
1471 function Handler_List_Entry
1472 (N : Node_Id) return Node_Id is
1474 pragma Assert (False
1475 or else NT (N).Nkind = N_Object_Declaration);
1477 end Handler_List_Entry;
1479 function Has_Created_Identifier
1480 (N : Node_Id) return Boolean is
1482 pragma Assert (False
1483 or else NT (N).Nkind = N_Block_Statement
1484 or else NT (N).Nkind = N_Loop_Statement);
1486 end Has_Created_Identifier;
1488 function Has_Dereference_Action
1489 (N : Node_Id) return Boolean is
1491 pragma Assert (False
1492 or else NT (N).Nkind = N_Explicit_Dereference);
1494 end Has_Dereference_Action;
1496 function Has_Dynamic_Length_Check
1497 (N : Node_Id) return Boolean is
1499 pragma Assert (False
1500 or else NT (N).Nkind in N_Subexpr);
1502 end Has_Dynamic_Length_Check;
1504 function Has_Dynamic_Range_Check
1505 (N : Node_Id) return Boolean is
1507 pragma Assert (False
1508 or else NT (N).Nkind = N_Subtype_Declaration
1509 or else NT (N).Nkind in N_Subexpr);
1511 end Has_Dynamic_Range_Check;
1513 function Has_Init_Expression
1514 (N : Node_Id) return Boolean is
1516 pragma Assert (False
1517 or else NT (N).Nkind = N_Object_Declaration);
1519 end Has_Init_Expression;
1521 function Has_Local_Raise
1522 (N : Node_Id) return Boolean is
1524 pragma Assert (False
1525 or else NT (N).Nkind = N_Exception_Handler);
1527 end Has_Local_Raise;
1529 function Has_No_Elaboration_Code
1530 (N : Node_Id) return Boolean is
1532 pragma Assert (False
1533 or else NT (N).Nkind = N_Compilation_Unit);
1535 end Has_No_Elaboration_Code;
1537 function Has_Pragma_Suppress_All
1538 (N : Node_Id) return Boolean is
1540 pragma Assert (False
1541 or else NT (N).Nkind = N_Compilation_Unit);
1543 end Has_Pragma_Suppress_All;
1545 function Has_Private_View
1546 (N : Node_Id) return Boolean is
1548 pragma Assert (False
1549 or else NT (N).Nkind in N_Op
1550 or else NT (N).Nkind = N_Character_Literal
1551 or else NT (N).Nkind = N_Expanded_Name
1552 or else NT (N).Nkind = N_Identifier
1553 or else NT (N).Nkind = N_Operator_Symbol);
1555 end Has_Private_View;
1557 function Has_Relative_Deadline_Pragma
1558 (N : Node_Id) return Boolean is
1560 pragma Assert (False
1561 or else NT (N).Nkind = N_Subprogram_Body
1562 or else NT (N).Nkind = N_Task_Definition);
1564 end Has_Relative_Deadline_Pragma;
1566 function Has_Self_Reference
1567 (N : Node_Id) return Boolean is
1569 pragma Assert (False
1570 or else NT (N).Nkind = N_Aggregate
1571 or else NT (N).Nkind = N_Extension_Aggregate);
1573 end Has_Self_Reference;
1575 function Has_SP_Choice
1576 (N : Node_Id) return Boolean is
1578 pragma Assert (False
1579 or else NT (N).Nkind = N_Case_Expression_Alternative
1580 or else NT (N).Nkind = N_Case_Statement_Alternative
1581 or else NT (N).Nkind = N_Variant);
1585 function Has_Storage_Size_Pragma
1586 (N : Node_Id) return Boolean is
1588 pragma Assert (False
1589 or else NT (N).Nkind = N_Task_Definition);
1591 end Has_Storage_Size_Pragma;
1593 function Has_Wide_Character
1594 (N : Node_Id) return Boolean is
1596 pragma Assert (False
1597 or else NT (N).Nkind = N_String_Literal);
1599 end Has_Wide_Character;
1601 function Has_Wide_Wide_Character
1602 (N : Node_Id) return Boolean is
1604 pragma Assert (False
1605 or else NT (N).Nkind = N_String_Literal);
1607 end Has_Wide_Wide_Character;
1609 function Header_Size_Added
1610 (N : Node_Id) return Boolean is
1612 pragma Assert (False
1613 or else NT (N).Nkind = N_Attribute_Reference);
1615 end Header_Size_Added;
1617 function Hidden_By_Use_Clause
1618 (N : Node_Id) return Elist_Id is
1620 pragma Assert (False
1621 or else NT (N).Nkind = N_Use_Package_Clause
1622 or else NT (N).Nkind = N_Use_Type_Clause);
1624 end Hidden_By_Use_Clause;
1627 (N : Node_Id) return Node_Id is
1629 pragma Assert (False
1630 or else NT (N).Nkind = N_Range
1631 or else NT (N).Nkind = N_Real_Range_Specification
1632 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1637 (N : Node_Id) return Node_Id is
1639 pragma Assert (False
1640 or else NT (N).Nkind = N_Aspect_Specification
1641 or else NT (N).Nkind = N_At_Clause
1642 or else NT (N).Nkind = N_Block_Statement
1643 or else NT (N).Nkind = N_Designator
1644 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1645 or else NT (N).Nkind = N_Label
1646 or else NT (N).Nkind = N_Loop_Statement
1647 or else NT (N).Nkind = N_Record_Representation_Clause);
1651 function Implicit_With
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_With_Clause);
1659 function Implicit_With_From_Instantiation
1660 (N : Node_Id) return Boolean is
1662 pragma Assert (False
1663 or else NT (N).Nkind = N_With_Clause);
1665 end Implicit_With_From_Instantiation;
1667 function Interface_List
1668 (N : Node_Id) return List_Id is
1670 pragma Assert (False
1671 or else NT (N).Nkind = N_Derived_Type_Definition
1672 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1673 or else NT (N).Nkind = N_Private_Extension_Declaration
1674 or else NT (N).Nkind = N_Protected_Type_Declaration
1675 or else NT (N).Nkind = N_Record_Definition
1676 or else NT (N).Nkind = N_Single_Protected_Declaration
1677 or else NT (N).Nkind = N_Single_Task_Declaration
1678 or else NT (N).Nkind = N_Task_Type_Declaration);
1682 function Interface_Present
1683 (N : Node_Id) return Boolean is
1685 pragma Assert (False
1686 or else NT (N).Nkind = N_Derived_Type_Definition
1687 or else NT (N).Nkind = N_Record_Definition);
1689 end Interface_Present;
1691 function Import_Interface_Present
1692 (N : Node_Id) return Boolean is
1694 pragma Assert (False
1695 or else NT (N).Nkind = N_Pragma);
1697 end Import_Interface_Present;
1700 (N : Node_Id) return Boolean is
1702 pragma Assert (False
1703 or else NT (N).Nkind = N_Formal_Object_Declaration
1704 or else NT (N).Nkind = N_Parameter_Specification);
1708 function Includes_Infinities
1709 (N : Node_Id) return Boolean is
1711 pragma Assert (False
1712 or else NT (N).Nkind = N_Range);
1714 end Includes_Infinities;
1716 function Incomplete_View
1717 (N : Node_Id) return Node_Id is
1719 pragma Assert (False
1720 or else NT (N).Nkind = N_Full_Type_Declaration);
1722 end Incomplete_View;
1724 function Inherited_Discriminant
1725 (N : Node_Id) return Boolean is
1727 pragma Assert (False
1728 or else NT (N).Nkind = N_Component_Association);
1730 end Inherited_Discriminant;
1732 function Instance_Spec
1733 (N : Node_Id) return Node_Id is
1735 pragma Assert (False
1736 or else NT (N).Nkind = N_Formal_Package_Declaration
1737 or else NT (N).Nkind = N_Function_Instantiation
1738 or else NT (N).Nkind = N_Package_Instantiation
1739 or else NT (N).Nkind = N_Procedure_Instantiation);
1744 (N : Node_Id) return Uint is
1746 pragma Assert (False
1747 or else NT (N).Nkind = N_Integer_Literal);
1751 function Is_Accessibility_Actual
1752 (N : Node_Id) return Boolean is
1754 pragma Assert (False
1755 or else NT (N).Nkind = N_Parameter_Association);
1757 end Is_Accessibility_Actual;
1759 function Is_Asynchronous_Call_Block
1760 (N : Node_Id) return Boolean is
1762 pragma Assert (False
1763 or else NT (N).Nkind = N_Block_Statement);
1765 end Is_Asynchronous_Call_Block;
1767 function Is_Boolean_Aspect
1768 (N : Node_Id) return Boolean is
1770 pragma Assert (False
1771 or else NT (N).Nkind = N_Aspect_Specification);
1773 end Is_Boolean_Aspect;
1776 (N : Node_Id) return Boolean is
1778 pragma Assert (False
1779 or else NT (N).Nkind = N_Aspect_Specification
1780 or else NT (N).Nkind = N_Pragma);
1784 function Is_Component_Left_Opnd
1785 (N : Node_Id) return Boolean is
1787 pragma Assert (False
1788 or else NT (N).Nkind = N_Op_Concat);
1790 end Is_Component_Left_Opnd;
1792 function Is_Component_Right_Opnd
1793 (N : Node_Id) return Boolean is
1795 pragma Assert (False
1796 or else NT (N).Nkind = N_Op_Concat);
1798 end Is_Component_Right_Opnd;
1800 function Is_Controlling_Actual
1801 (N : Node_Id) return Boolean is
1803 pragma Assert (False
1804 or else NT (N).Nkind in N_Subexpr);
1806 end Is_Controlling_Actual;
1808 function Is_Disabled
1809 (N : Node_Id) return Boolean is
1811 pragma Assert (False
1812 or else NT (N).Nkind = N_Aspect_Specification
1813 or else NT (N).Nkind = N_Pragma);
1817 function Is_Delayed_Aspect
1818 (N : Node_Id) return Boolean is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_Aspect_Specification
1822 or else NT (N).Nkind = N_Attribute_Definition_Clause
1823 or else NT (N).Nkind = N_Pragma);
1825 end Is_Delayed_Aspect;
1827 function Is_Dynamic_Coextension
1828 (N : Node_Id) return Boolean is
1830 pragma Assert (False
1831 or else NT (N).Nkind = N_Allocator);
1833 end Is_Dynamic_Coextension;
1836 (N : Node_Id) return Boolean is
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_If_Expression);
1843 function Is_Entry_Barrier_Function
1844 (N : Node_Id) return Boolean is
1846 pragma Assert (False
1847 or else NT (N).Nkind = N_Subprogram_Body);
1849 end Is_Entry_Barrier_Function;
1851 function Is_Expanded_Build_In_Place_Call
1852 (N : Node_Id) return Boolean is
1854 pragma Assert (False
1855 or else NT (N).Nkind = N_Function_Call);
1857 end Is_Expanded_Build_In_Place_Call;
1859 function Is_Finalization_Wrapper
1860 (N : Node_Id) return Boolean is
1862 pragma Assert (False
1863 or else NT (N).Nkind = N_Block_Statement);
1865 end Is_Finalization_Wrapper;
1867 function Is_Folded_In_Parser
1868 (N : Node_Id) return Boolean is
1870 pragma Assert (False
1871 or else NT (N).Nkind = N_String_Literal);
1873 end Is_Folded_In_Parser;
1876 (N : Node_Id) return Boolean is
1878 pragma Assert (False
1879 or else NT (N).Nkind = N_Aspect_Specification
1880 or else NT (N).Nkind = N_Pragma);
1884 function Is_In_Discriminant_Check
1885 (N : Node_Id) return Boolean is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Selected_Component);
1890 end Is_In_Discriminant_Check;
1892 function Is_Machine_Number
1893 (N : Node_Id) return Boolean is
1895 pragma Assert (False
1896 or else NT (N).Nkind = N_Real_Literal);
1898 end Is_Machine_Number;
1900 function Is_Null_Loop
1901 (N : Node_Id) return Boolean is
1903 pragma Assert (False
1904 or else NT (N).Nkind = N_Loop_Statement);
1908 function Is_Overloaded
1909 (N : Node_Id) return Boolean is
1911 pragma Assert (False
1912 or else NT (N).Nkind in N_Subexpr);
1916 function Is_Power_Of_2_For_Shift
1917 (N : Node_Id) return Boolean is
1919 pragma Assert (False
1920 or else NT (N).Nkind = N_Op_Expon);
1922 end Is_Power_Of_2_For_Shift;
1924 function Is_Prefixed_Call
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Selected_Component);
1930 end Is_Prefixed_Call;
1932 function Is_Protected_Subprogram_Body
1933 (N : Node_Id) return Boolean is
1935 pragma Assert (False
1936 or else NT (N).Nkind = N_Subprogram_Body);
1938 end Is_Protected_Subprogram_Body;
1940 function Is_Static_Coextension
1941 (N : Node_Id) return Boolean is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_Allocator);
1946 end Is_Static_Coextension;
1948 function Is_Static_Expression
1949 (N : Node_Id) return Boolean is
1951 pragma Assert (False
1952 or else NT (N).Nkind in N_Subexpr);
1954 end Is_Static_Expression;
1956 function Is_Subprogram_Descriptor
1957 (N : Node_Id) return Boolean is
1959 pragma Assert (False
1960 or else NT (N).Nkind = N_Object_Declaration);
1962 end Is_Subprogram_Descriptor;
1964 function Is_Task_Allocation_Block
1965 (N : Node_Id) return Boolean is
1967 pragma Assert (False
1968 or else NT (N).Nkind = N_Block_Statement);
1970 end Is_Task_Allocation_Block;
1972 function Is_Task_Master
1973 (N : Node_Id) return Boolean is
1975 pragma Assert (False
1976 or else NT (N).Nkind = N_Block_Statement
1977 or else NT (N).Nkind = N_Subprogram_Body
1978 or else NT (N).Nkind = N_Task_Body);
1982 function Iteration_Scheme
1983 (N : Node_Id) return Node_Id is
1985 pragma Assert (False
1986 or else NT (N).Nkind = N_Loop_Statement);
1988 end Iteration_Scheme;
1990 function Iterator_Specification
1991 (N : Node_Id) return Node_Id is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Iteration_Scheme
1995 or else NT (N).Nkind = N_Quantified_Expression);
1997 end Iterator_Specification;
2000 (N : Node_Id) return Node_Id is
2002 pragma Assert (False
2003 or else NT (N).Nkind = N_Itype_Reference);
2007 function Kill_Range_Check
2008 (N : Node_Id) return Boolean is
2010 pragma Assert (False
2011 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2013 end Kill_Range_Check;
2015 function Label_Construct
2016 (N : Node_Id) return Node_Id is
2018 pragma Assert (False
2019 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2021 end Label_Construct;
2024 (N : Node_Id) return Node_Id is
2026 pragma Assert (False
2027 or else NT (N).Nkind = N_Component_Clause);
2032 (N : Node_Id) return Boolean is
2034 pragma Assert (False
2035 or else NT (N).Nkind = N_With_Clause);
2040 (N : Node_Id) return Node_Id is
2042 pragma Assert (False
2043 or else NT (N).Nkind = N_And_Then
2044 or else NT (N).Nkind = N_In
2045 or else NT (N).Nkind = N_Not_In
2046 or else NT (N).Nkind = N_Or_Else
2047 or else NT (N).Nkind in N_Binary_Op);
2051 function Library_Unit
2052 (N : Node_Id) return Node_Id is
2054 pragma Assert (False
2055 or else NT (N).Nkind = N_Compilation_Unit
2056 or else NT (N).Nkind = N_Package_Body_Stub
2057 or else NT (N).Nkind = N_Protected_Body_Stub
2058 or else NT (N).Nkind = N_Subprogram_Body_Stub
2059 or else NT (N).Nkind = N_Task_Body_Stub
2060 or else NT (N).Nkind = N_With_Clause);
2064 function Limited_View_Installed
2065 (N : Node_Id) return Boolean is
2067 pragma Assert (False
2068 or else NT (N).Nkind = N_Package_Specification
2069 or else NT (N).Nkind = N_With_Clause);
2071 end Limited_View_Installed;
2073 function Limited_Present
2074 (N : Node_Id) return Boolean is
2076 pragma Assert (False
2077 or else NT (N).Nkind = N_Derived_Type_Definition
2078 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2079 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2080 or else NT (N).Nkind = N_Private_Extension_Declaration
2081 or else NT (N).Nkind = N_Private_Type_Declaration
2082 or else NT (N).Nkind = N_Record_Definition
2083 or else NT (N).Nkind = N_With_Clause);
2085 end Limited_Present;
2088 (N : Node_Id) return List_Id is
2090 pragma Assert (False
2091 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2095 function Local_Raise_Not_OK
2096 (N : Node_Id) return Boolean is
2098 pragma Assert (False
2099 or else NT (N).Nkind = N_Exception_Handler);
2101 end Local_Raise_Not_OK;
2103 function Local_Raise_Statements
2104 (N : Node_Id) return Elist_Id is
2106 pragma Assert (False
2107 or else NT (N).Nkind = N_Exception_Handler);
2109 end Local_Raise_Statements;
2111 function Loop_Actions
2112 (N : Node_Id) return List_Id is
2114 pragma Assert (False
2115 or else NT (N).Nkind = N_Component_Association);
2119 function Loop_Parameter_Specification
2120 (N : Node_Id) return Node_Id is
2122 pragma Assert (False
2123 or else NT (N).Nkind = N_Iteration_Scheme
2124 or else NT (N).Nkind = N_Quantified_Expression);
2126 end Loop_Parameter_Specification;
2129 (N : Node_Id) return Node_Id is
2131 pragma Assert (False
2132 or else NT (N).Nkind = N_Range
2133 or else NT (N).Nkind = N_Real_Range_Specification
2134 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2139 (N : Node_Id) return Node_Id is
2141 pragma Assert (False
2142 or else NT (N).Nkind = N_Record_Representation_Clause);
2147 (N : Node_Id) return Boolean is
2149 pragma Assert (False
2150 or else NT (N).Nkind = N_Component_Declaration
2151 or else NT (N).Nkind = N_Discriminant_Specification
2152 or else NT (N).Nkind = N_Exception_Declaration
2153 or else NT (N).Nkind = N_Formal_Object_Declaration
2154 or else NT (N).Nkind = N_Number_Declaration
2155 or else NT (N).Nkind = N_Object_Declaration
2156 or else NT (N).Nkind = N_Parameter_Specification);
2160 function Must_Be_Byte_Aligned
2161 (N : Node_Id) return Boolean is
2163 pragma Assert (False
2164 or else NT (N).Nkind = N_Attribute_Reference);
2166 end Must_Be_Byte_Aligned;
2168 function Must_Not_Freeze
2169 (N : Node_Id) return Boolean is
2171 pragma Assert (False
2172 or else NT (N).Nkind = N_Subtype_Indication
2173 or else NT (N).Nkind in N_Subexpr);
2175 end Must_Not_Freeze;
2177 function Must_Not_Override
2178 (N : Node_Id) return Boolean is
2180 pragma Assert (False
2181 or else NT (N).Nkind = N_Entry_Declaration
2182 or else NT (N).Nkind = N_Function_Instantiation
2183 or else NT (N).Nkind = N_Function_Specification
2184 or else NT (N).Nkind = N_Procedure_Instantiation
2185 or else NT (N).Nkind = N_Procedure_Specification);
2187 end Must_Not_Override;
2189 function Must_Override
2190 (N : Node_Id) return Boolean is
2192 pragma Assert (False
2193 or else NT (N).Nkind = N_Entry_Declaration
2194 or else NT (N).Nkind = N_Function_Instantiation
2195 or else NT (N).Nkind = N_Function_Specification
2196 or else NT (N).Nkind = N_Procedure_Instantiation
2197 or else NT (N).Nkind = N_Procedure_Specification);
2202 (N : Node_Id) return Node_Id is
2204 pragma Assert (False
2205 or else NT (N).Nkind = N_Assignment_Statement
2206 or else NT (N).Nkind = N_Attribute_Definition_Clause
2207 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2208 or else NT (N).Nkind = N_Designator
2209 or else NT (N).Nkind = N_Entry_Call_Statement
2210 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2211 or else NT (N).Nkind = N_Exit_Statement
2212 or else NT (N).Nkind = N_Formal_Package_Declaration
2213 or else NT (N).Nkind = N_Function_Call
2214 or else NT (N).Nkind = N_Function_Instantiation
2215 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2216 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2217 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2218 or else NT (N).Nkind = N_Goto_Statement
2219 or else NT (N).Nkind = N_Iterator_Specification
2220 or else NT (N).Nkind = N_Object_Renaming_Declaration
2221 or else NT (N).Nkind = N_Package_Instantiation
2222 or else NT (N).Nkind = N_Package_Renaming_Declaration
2223 or else NT (N).Nkind = N_Procedure_Call_Statement
2224 or else NT (N).Nkind = N_Procedure_Instantiation
2225 or else NT (N).Nkind = N_Raise_Expression
2226 or else NT (N).Nkind = N_Raise_Statement
2227 or else NT (N).Nkind = N_Requeue_Statement
2228 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2229 or else NT (N).Nkind = N_Subunit
2230 or else NT (N).Nkind = N_Variant_Part
2231 or else NT (N).Nkind = N_With_Clause);
2236 (N : Node_Id) return List_Id is
2238 pragma Assert (False
2239 or else NT (N).Nkind = N_Abort_Statement
2240 or else NT (N).Nkind = N_Use_Package_Clause);
2244 function Next_Entity
2245 (N : Node_Id) return Node_Id is
2247 pragma Assert (False
2248 or else NT (N).Nkind = N_Defining_Character_Literal
2249 or else NT (N).Nkind = N_Defining_Identifier
2250 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2254 function Next_Exit_Statement
2255 (N : Node_Id) return Node_Id is
2257 pragma Assert (False
2258 or else NT (N).Nkind = N_Exit_Statement);
2260 end Next_Exit_Statement;
2262 function Next_Implicit_With
2263 (N : Node_Id) return Node_Id is
2265 pragma Assert (False
2266 or else NT (N).Nkind = N_With_Clause);
2268 end Next_Implicit_With;
2270 function Next_Named_Actual
2271 (N : Node_Id) return Node_Id is
2273 pragma Assert (False
2274 or else NT (N).Nkind = N_Parameter_Association);
2276 end Next_Named_Actual;
2278 function Next_Pragma
2279 (N : Node_Id) return Node_Id is
2281 pragma Assert (False
2282 or else NT (N).Nkind = N_Pragma);
2286 function Next_Rep_Item
2287 (N : Node_Id) return Node_Id is
2289 pragma Assert (False
2290 or else NT (N).Nkind = N_Aspect_Specification
2291 or else NT (N).Nkind = N_Attribute_Definition_Clause
2292 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2293 or else NT (N).Nkind = N_Pragma
2294 or else NT (N).Nkind = N_Record_Representation_Clause);
2298 function Next_Use_Clause
2299 (N : Node_Id) return Node_Id is
2301 pragma Assert (False
2302 or else NT (N).Nkind = N_Use_Package_Clause
2303 or else NT (N).Nkind = N_Use_Type_Clause);
2305 end Next_Use_Clause;
2307 function No_Ctrl_Actions
2308 (N : Node_Id) return Boolean is
2310 pragma Assert (False
2311 or else NT (N).Nkind = N_Assignment_Statement);
2313 end No_Ctrl_Actions;
2315 function No_Elaboration_Check
2316 (N : Node_Id) return Boolean is
2318 pragma Assert (False
2319 or else NT (N).Nkind = N_Function_Call
2320 or else NT (N).Nkind = N_Procedure_Call_Statement);
2322 end No_Elaboration_Check;
2324 function No_Entities_Ref_In_Spec
2325 (N : Node_Id) return Boolean is
2327 pragma Assert (False
2328 or else NT (N).Nkind = N_With_Clause);
2330 end No_Entities_Ref_In_Spec;
2332 function No_Initialization
2333 (N : Node_Id) return Boolean is
2335 pragma Assert (False
2336 or else NT (N).Nkind = N_Allocator
2337 or else NT (N).Nkind = N_Object_Declaration);
2339 end No_Initialization;
2341 function No_Minimize_Eliminate
2342 (N : Node_Id) return Boolean is
2344 pragma Assert (False
2345 or else NT (N).Nkind = N_In
2346 or else NT (N).Nkind = N_Not_In);
2348 end No_Minimize_Eliminate;
2350 function No_Truncation
2351 (N : Node_Id) return Boolean is
2353 pragma Assert (False
2354 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2358 function Non_Aliased_Prefix
2359 (N : Node_Id) return Boolean is
2361 pragma Assert (False
2362 or else NT (N).Nkind = N_Attribute_Reference);
2364 end Non_Aliased_Prefix;
2366 function Null_Present
2367 (N : Node_Id) return Boolean is
2369 pragma Assert (False
2370 or else NT (N).Nkind = N_Component_List
2371 or else NT (N).Nkind = N_Procedure_Specification
2372 or else NT (N).Nkind = N_Record_Definition);
2376 function Null_Exclusion_Present
2377 (N : Node_Id) return Boolean is
2379 pragma Assert (False
2380 or else NT (N).Nkind = N_Access_Definition
2381 or else NT (N).Nkind = N_Access_Function_Definition
2382 or else NT (N).Nkind = N_Access_Procedure_Definition
2383 or else NT (N).Nkind = N_Access_To_Object_Definition
2384 or else NT (N).Nkind = N_Allocator
2385 or else NT (N).Nkind = N_Component_Definition
2386 or else NT (N).Nkind = N_Derived_Type_Definition
2387 or else NT (N).Nkind = N_Discriminant_Specification
2388 or else NT (N).Nkind = N_Formal_Object_Declaration
2389 or else NT (N).Nkind = N_Function_Specification
2390 or else NT (N).Nkind = N_Object_Declaration
2391 or else NT (N).Nkind = N_Object_Renaming_Declaration
2392 or else NT (N).Nkind = N_Parameter_Specification
2393 or else NT (N).Nkind = N_Subtype_Declaration);
2395 end Null_Exclusion_Present;
2397 function Null_Exclusion_In_Return_Present
2398 (N : Node_Id) return Boolean is
2400 pragma Assert (False
2401 or else NT (N).Nkind = N_Access_Function_Definition);
2403 end Null_Exclusion_In_Return_Present;
2405 function Null_Record_Present
2406 (N : Node_Id) return Boolean is
2408 pragma Assert (False
2409 or else NT (N).Nkind = N_Aggregate
2410 or else NT (N).Nkind = N_Extension_Aggregate);
2412 end Null_Record_Present;
2414 function Object_Definition
2415 (N : Node_Id) return Node_Id is
2417 pragma Assert (False
2418 or else NT (N).Nkind = N_Object_Declaration);
2420 end Object_Definition;
2423 (N : Node_Id) return Boolean is
2425 pragma Assert (False
2426 or else NT (N).Nkind = N_Iterator_Specification);
2430 function Original_Discriminant
2431 (N : Node_Id) return Node_Id is
2433 pragma Assert (False
2434 or else NT (N).Nkind = N_Identifier);
2436 end Original_Discriminant;
2438 function Original_Entity
2439 (N : Node_Id) return Entity_Id is
2441 pragma Assert (False
2442 or else NT (N).Nkind = N_Integer_Literal
2443 or else NT (N).Nkind = N_Real_Literal);
2445 end Original_Entity;
2447 function Others_Discrete_Choices
2448 (N : Node_Id) return List_Id is
2450 pragma Assert (False
2451 or else NT (N).Nkind = N_Others_Choice);
2453 end Others_Discrete_Choices;
2455 function Out_Present
2456 (N : Node_Id) return Boolean is
2458 pragma Assert (False
2459 or else NT (N).Nkind = N_Formal_Object_Declaration
2460 or else NT (N).Nkind = N_Parameter_Specification);
2464 function Parameter_Associations
2465 (N : Node_Id) return List_Id is
2467 pragma Assert (False
2468 or else NT (N).Nkind = N_Entry_Call_Statement
2469 or else NT (N).Nkind = N_Function_Call
2470 or else NT (N).Nkind = N_Procedure_Call_Statement);
2472 end Parameter_Associations;
2474 function Parameter_List_Truncated
2475 (N : Node_Id) return Boolean is
2477 pragma Assert (False
2478 or else NT (N).Nkind = N_Function_Call
2479 or else NT (N).Nkind = N_Procedure_Call_Statement);
2481 end Parameter_List_Truncated;
2483 function Parameter_Specifications
2484 (N : Node_Id) return List_Id is
2486 pragma Assert (False
2487 or else NT (N).Nkind = N_Accept_Statement
2488 or else NT (N).Nkind = N_Access_Function_Definition
2489 or else NT (N).Nkind = N_Access_Procedure_Definition
2490 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2491 or else NT (N).Nkind = N_Entry_Declaration
2492 or else NT (N).Nkind = N_Function_Specification
2493 or else NT (N).Nkind = N_Procedure_Specification);
2495 end Parameter_Specifications;
2497 function Parameter_Type
2498 (N : Node_Id) return Node_Id is
2500 pragma Assert (False
2501 or else NT (N).Nkind = N_Parameter_Specification);
2505 function Parent_Spec
2506 (N : Node_Id) return Node_Id is
2508 pragma Assert (False
2509 or else NT (N).Nkind = N_Function_Instantiation
2510 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2511 or else NT (N).Nkind = N_Generic_Package_Declaration
2512 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2513 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2514 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2515 or else NT (N).Nkind = N_Package_Declaration
2516 or else NT (N).Nkind = N_Package_Instantiation
2517 or else NT (N).Nkind = N_Package_Renaming_Declaration
2518 or else NT (N).Nkind = N_Procedure_Instantiation
2519 or else NT (N).Nkind = N_Subprogram_Declaration
2520 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2525 (N : Node_Id) return Node_Id is
2527 pragma Assert (False
2528 or else NT (N).Nkind = N_Component_Clause);
2532 function Pragma_Argument_Associations
2533 (N : Node_Id) return List_Id is
2535 pragma Assert (False
2536 or else NT (N).Nkind = N_Pragma);
2538 end Pragma_Argument_Associations;
2540 function Pragma_Identifier
2541 (N : Node_Id) return Node_Id is
2543 pragma Assert (False
2544 or else NT (N).Nkind = N_Pragma);
2546 end Pragma_Identifier;
2548 function Pragmas_After
2549 (N : Node_Id) return List_Id is
2551 pragma Assert (False
2552 or else NT (N).Nkind = N_Compilation_Unit_Aux
2553 or else NT (N).Nkind = N_Terminate_Alternative);
2557 function Pragmas_Before
2558 (N : Node_Id) return List_Id is
2560 pragma Assert (False
2561 or else NT (N).Nkind = N_Accept_Alternative
2562 or else NT (N).Nkind = N_Delay_Alternative
2563 or else NT (N).Nkind = N_Entry_Call_Alternative
2564 or else NT (N).Nkind = N_Mod_Clause
2565 or else NT (N).Nkind = N_Terminate_Alternative
2566 or else NT (N).Nkind = N_Triggering_Alternative);
2570 function Pre_Post_Conditions
2571 (N : Node_Id) return Node_Id is
2573 pragma Assert (False
2574 or else NT (N).Nkind = N_Contract);
2576 end Pre_Post_Conditions;
2579 (N : Node_Id) return Node_Id is
2581 pragma Assert (False
2582 or else NT (N).Nkind = N_Attribute_Reference
2583 or else NT (N).Nkind = N_Expanded_Name
2584 or else NT (N).Nkind = N_Explicit_Dereference
2585 or else NT (N).Nkind = N_Indexed_Component
2586 or else NT (N).Nkind = N_Reference
2587 or else NT (N).Nkind = N_Selected_Component
2588 or else NT (N).Nkind = N_Slice);
2592 function Premature_Use
2593 (N : Node_Id) return Node_Id is
2595 pragma Assert (False
2596 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2600 function Present_Expr
2601 (N : Node_Id) return Uint is
2603 pragma Assert (False
2604 or else NT (N).Nkind = N_Variant);
2609 (N : Node_Id) return Boolean is
2611 pragma Assert (False
2612 or else NT (N).Nkind = N_Component_Declaration
2613 or else NT (N).Nkind = N_Discriminant_Specification
2614 or else NT (N).Nkind = N_Exception_Declaration
2615 or else NT (N).Nkind = N_Formal_Object_Declaration
2616 or else NT (N).Nkind = N_Number_Declaration
2617 or else NT (N).Nkind = N_Object_Declaration
2618 or else NT (N).Nkind = N_Parameter_Specification);
2622 function Print_In_Hex
2623 (N : Node_Id) return Boolean is
2625 pragma Assert (False
2626 or else NT (N).Nkind = N_Integer_Literal);
2630 function Private_Declarations
2631 (N : Node_Id) return List_Id is
2633 pragma Assert (False
2634 or else NT (N).Nkind = N_Package_Specification
2635 or else NT (N).Nkind = N_Protected_Definition
2636 or else NT (N).Nkind = N_Task_Definition);
2638 end Private_Declarations;
2640 function Private_Present
2641 (N : Node_Id) return Boolean is
2643 pragma Assert (False
2644 or else NT (N).Nkind = N_Compilation_Unit
2645 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2646 or else NT (N).Nkind = N_With_Clause);
2648 end Private_Present;
2650 function Procedure_To_Call
2651 (N : Node_Id) return Node_Id is
2653 pragma Assert (False
2654 or else NT (N).Nkind = N_Allocator
2655 or else NT (N).Nkind = N_Extended_Return_Statement
2656 or else NT (N).Nkind = N_Free_Statement
2657 or else NT (N).Nkind = N_Simple_Return_Statement);
2659 end Procedure_To_Call;
2661 function Proper_Body
2662 (N : Node_Id) return Node_Id is
2664 pragma Assert (False
2665 or else NT (N).Nkind = N_Subunit);
2669 function Protected_Definition
2670 (N : Node_Id) return Node_Id is
2672 pragma Assert (False
2673 or else NT (N).Nkind = N_Protected_Type_Declaration
2674 or else NT (N).Nkind = N_Single_Protected_Declaration);
2676 end Protected_Definition;
2678 function Protected_Present
2679 (N : Node_Id) return Boolean is
2681 pragma Assert (False
2682 or else NT (N).Nkind = N_Access_Function_Definition
2683 or else NT (N).Nkind = N_Access_Procedure_Definition
2684 or else NT (N).Nkind = N_Derived_Type_Definition
2685 or else NT (N).Nkind = N_Record_Definition);
2687 end Protected_Present;
2689 function Raises_Constraint_Error
2690 (N : Node_Id) return Boolean is
2692 pragma Assert (False
2693 or else NT (N).Nkind in N_Subexpr);
2695 end Raises_Constraint_Error;
2697 function Range_Constraint
2698 (N : Node_Id) return Node_Id is
2700 pragma Assert (False
2701 or else NT (N).Nkind = N_Delta_Constraint
2702 or else NT (N).Nkind = N_Digits_Constraint);
2704 end Range_Constraint;
2706 function Range_Expression
2707 (N : Node_Id) return Node_Id is
2709 pragma Assert (False
2710 or else NT (N).Nkind = N_Range_Constraint);
2712 end Range_Expression;
2714 function Real_Range_Specification
2715 (N : Node_Id) return Node_Id is
2717 pragma Assert (False
2718 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2719 or else NT (N).Nkind = N_Floating_Point_Definition
2720 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2722 end Real_Range_Specification;
2725 (N : Node_Id) return Ureal is
2727 pragma Assert (False
2728 or else NT (N).Nkind = N_Real_Literal);
2733 (N : Node_Id) return Uint is
2735 pragma Assert (False
2736 or else NT (N).Nkind = N_Raise_Constraint_Error
2737 or else NT (N).Nkind = N_Raise_Program_Error
2738 or else NT (N).Nkind = N_Raise_Storage_Error);
2742 function Record_Extension_Part
2743 (N : Node_Id) return Node_Id is
2745 pragma Assert (False
2746 or else NT (N).Nkind = N_Derived_Type_Definition);
2748 end Record_Extension_Part;
2750 function Redundant_Use
2751 (N : Node_Id) return Boolean is
2753 pragma Assert (False
2754 or else NT (N).Nkind = N_Attribute_Reference
2755 or else NT (N).Nkind = N_Expanded_Name
2756 or else NT (N).Nkind = N_Identifier);
2760 function Renaming_Exception
2761 (N : Node_Id) return Node_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Exception_Declaration);
2766 end Renaming_Exception;
2768 function Result_Definition
2769 (N : Node_Id) return Node_Id is
2771 pragma Assert (False
2772 or else NT (N).Nkind = N_Access_Function_Definition
2773 or else NT (N).Nkind = N_Function_Specification);
2775 end Result_Definition;
2777 function Return_Object_Declarations
2778 (N : Node_Id) return List_Id is
2780 pragma Assert (False
2781 or else NT (N).Nkind = N_Extended_Return_Statement);
2783 end Return_Object_Declarations;
2785 function Return_Statement_Entity
2786 (N : Node_Id) return Node_Id is
2788 pragma Assert (False
2789 or else NT (N).Nkind = N_Extended_Return_Statement
2790 or else NT (N).Nkind = N_Simple_Return_Statement);
2792 end Return_Statement_Entity;
2794 function Reverse_Present
2795 (N : Node_Id) return Boolean is
2797 pragma Assert (False
2798 or else NT (N).Nkind = N_Iterator_Specification
2799 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2801 end Reverse_Present;
2804 (N : Node_Id) return Node_Id is
2806 pragma Assert (False
2807 or else NT (N).Nkind in N_Op
2808 or else NT (N).Nkind = N_And_Then
2809 or else NT (N).Nkind = N_In
2810 or else NT (N).Nkind = N_Not_In
2811 or else NT (N).Nkind = N_Or_Else);
2815 function Rounded_Result
2816 (N : Node_Id) return Boolean is
2818 pragma Assert (False
2819 or else NT (N).Nkind = N_Op_Divide
2820 or else NT (N).Nkind = N_Op_Multiply
2821 or else NT (N).Nkind = N_Type_Conversion);
2825 function SCIL_Controlling_Tag
2826 (N : Node_Id) return Node_Id is
2828 pragma Assert (False
2829 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2831 end SCIL_Controlling_Tag;
2833 function SCIL_Entity
2834 (N : Node_Id) return Node_Id is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2838 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2839 or else NT (N).Nkind = N_SCIL_Membership_Test);
2843 function SCIL_Tag_Value
2844 (N : Node_Id) return Node_Id is
2846 pragma Assert (False
2847 or else NT (N).Nkind = N_SCIL_Membership_Test);
2851 function SCIL_Target_Prim
2852 (N : Node_Id) return Node_Id is
2854 pragma Assert (False
2855 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2857 end SCIL_Target_Prim;
2860 (N : Node_Id) return Node_Id is
2862 pragma Assert (False
2863 or else NT (N).Nkind = N_Defining_Character_Literal
2864 or else NT (N).Nkind = N_Defining_Identifier
2865 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2869 function Select_Alternatives
2870 (N : Node_Id) return List_Id is
2872 pragma Assert (False
2873 or else NT (N).Nkind = N_Selective_Accept);
2875 end Select_Alternatives;
2877 function Selector_Name
2878 (N : Node_Id) return Node_Id is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Expanded_Name
2882 or else NT (N).Nkind = N_Generic_Association
2883 or else NT (N).Nkind = N_Parameter_Association
2884 or else NT (N).Nkind = N_Selected_Component);
2888 function Selector_Names
2889 (N : Node_Id) return List_Id is
2891 pragma Assert (False
2892 or else NT (N).Nkind = N_Discriminant_Association);
2896 function Shift_Count_OK
2897 (N : Node_Id) return Boolean is
2899 pragma Assert (False
2900 or else NT (N).Nkind = N_Op_Rotate_Left
2901 or else NT (N).Nkind = N_Op_Rotate_Right
2902 or else NT (N).Nkind = N_Op_Shift_Left
2903 or else NT (N).Nkind = N_Op_Shift_Right
2904 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2908 function Source_Type
2909 (N : Node_Id) return Entity_Id is
2911 pragma Assert (False
2912 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2916 function Specification
2917 (N : Node_Id) return Node_Id is
2919 pragma Assert (False
2920 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2921 or else NT (N).Nkind = N_Expression_Function
2922 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2923 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2924 or else NT (N).Nkind = N_Generic_Package_Declaration
2925 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2926 or else NT (N).Nkind = N_Package_Declaration
2927 or else NT (N).Nkind = N_Subprogram_Body
2928 or else NT (N).Nkind = N_Subprogram_Body_Stub
2929 or else NT (N).Nkind = N_Subprogram_Declaration
2930 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2935 (N : Node_Id) return Boolean is
2937 pragma Assert (False
2938 or else NT (N).Nkind = N_Aspect_Specification
2939 or else NT (N).Nkind = N_Pragma);
2944 (N : Node_Id) return List_Id is
2946 pragma Assert (False
2947 or else NT (N).Nkind = N_Abortable_Part
2948 or else NT (N).Nkind = N_Accept_Alternative
2949 or else NT (N).Nkind = N_Case_Statement_Alternative
2950 or else NT (N).Nkind = N_Delay_Alternative
2951 or else NT (N).Nkind = N_Entry_Call_Alternative
2952 or else NT (N).Nkind = N_Exception_Handler
2953 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2954 or else NT (N).Nkind = N_Loop_Statement
2955 or else NT (N).Nkind = N_Triggering_Alternative);
2959 function Storage_Pool
2960 (N : Node_Id) return Node_Id is
2962 pragma Assert (False
2963 or else NT (N).Nkind = N_Allocator
2964 or else NT (N).Nkind = N_Extended_Return_Statement
2965 or else NT (N).Nkind = N_Free_Statement
2966 or else NT (N).Nkind = N_Simple_Return_Statement);
2970 function Subpool_Handle_Name
2971 (N : Node_Id) return Node_Id is
2973 pragma Assert (False
2974 or else NT (N).Nkind = N_Allocator);
2976 end Subpool_Handle_Name;
2979 (N : Node_Id) return String_Id is
2981 pragma Assert (False
2982 or else NT (N).Nkind = N_Operator_Symbol
2983 or else NT (N).Nkind = N_String_Literal);
2987 function Subtype_Indication
2988 (N : Node_Id) return Node_Id is
2990 pragma Assert (False
2991 or else NT (N).Nkind = N_Access_To_Object_Definition
2992 or else NT (N).Nkind = N_Component_Definition
2993 or else NT (N).Nkind = N_Derived_Type_Definition
2994 or else NT (N).Nkind = N_Iterator_Specification
2995 or else NT (N).Nkind = N_Private_Extension_Declaration
2996 or else NT (N).Nkind = N_Subtype_Declaration);
2998 end Subtype_Indication;
3000 function Suppress_Assignment_Checks
3001 (N : Node_Id) return Boolean is
3003 pragma Assert (False
3004 or else NT (N).Nkind = N_Assignment_Statement
3005 or else NT (N).Nkind = N_Object_Declaration);
3007 end Suppress_Assignment_Checks;
3009 function Suppress_Loop_Warnings
3010 (N : Node_Id) return Boolean is
3012 pragma Assert (False
3013 or else NT (N).Nkind = N_Loop_Statement);
3015 end Suppress_Loop_Warnings;
3017 function Subtype_Mark
3018 (N : Node_Id) return Node_Id is
3020 pragma Assert (False
3021 or else NT (N).Nkind = N_Access_Definition
3022 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3023 or else NT (N).Nkind = N_Formal_Object_Declaration
3024 or else NT (N).Nkind = N_Object_Renaming_Declaration
3025 or else NT (N).Nkind = N_Qualified_Expression
3026 or else NT (N).Nkind = N_Subtype_Indication
3027 or else NT (N).Nkind = N_Type_Conversion
3028 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3032 function Subtype_Marks
3033 (N : Node_Id) return List_Id is
3035 pragma Assert (False
3036 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3037 or else NT (N).Nkind = N_Use_Type_Clause);
3041 function Synchronized_Present
3042 (N : Node_Id) return Boolean is
3044 pragma Assert (False
3045 or else NT (N).Nkind = N_Derived_Type_Definition
3046 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3047 or else NT (N).Nkind = N_Private_Extension_Declaration
3048 or else NT (N).Nkind = N_Record_Definition);
3050 end Synchronized_Present;
3052 function Tagged_Present
3053 (N : Node_Id) return Boolean is
3055 pragma Assert (False
3056 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3057 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3058 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3059 or else NT (N).Nkind = N_Private_Type_Declaration
3060 or else NT (N).Nkind = N_Record_Definition);
3064 function Target_Type
3065 (N : Node_Id) return Entity_Id is
3067 pragma Assert (False
3068 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3072 function Task_Definition
3073 (N : Node_Id) return Node_Id is
3075 pragma Assert (False
3076 or else NT (N).Nkind = N_Single_Task_Declaration
3077 or else NT (N).Nkind = N_Task_Type_Declaration);
3079 end Task_Definition;
3081 function Task_Present
3082 (N : Node_Id) return Boolean is
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Derived_Type_Definition
3086 or else NT (N).Nkind = N_Record_Definition);
3090 function Then_Actions
3091 (N : Node_Id) return List_Id is
3093 pragma Assert (False
3094 or else NT (N).Nkind = N_If_Expression);
3098 function Then_Statements
3099 (N : Node_Id) return List_Id is
3101 pragma Assert (False
3102 or else NT (N).Nkind = N_Elsif_Part
3103 or else NT (N).Nkind = N_If_Statement);
3105 end Then_Statements;
3107 function Treat_Fixed_As_Integer
3108 (N : Node_Id) return Boolean is
3110 pragma Assert (False
3111 or else NT (N).Nkind = N_Op_Divide
3112 or else NT (N).Nkind = N_Op_Mod
3113 or else NT (N).Nkind = N_Op_Multiply
3114 or else NT (N).Nkind = N_Op_Rem);
3116 end Treat_Fixed_As_Integer;
3118 function Triggering_Alternative
3119 (N : Node_Id) return Node_Id is
3121 pragma Assert (False
3122 or else NT (N).Nkind = N_Asynchronous_Select);
3124 end Triggering_Alternative;
3126 function Triggering_Statement
3127 (N : Node_Id) return Node_Id is
3129 pragma Assert (False
3130 or else NT (N).Nkind = N_Triggering_Alternative);
3132 end Triggering_Statement;
3135 (N : Node_Id) return Elist_Id is
3137 pragma Assert (False
3138 or else NT (N).Nkind = N_Freeze_Entity);
3142 function Type_Definition
3143 (N : Node_Id) return Node_Id is
3145 pragma Assert (False
3146 or else NT (N).Nkind = N_Full_Type_Declaration);
3148 end Type_Definition;
3151 (N : Node_Id) return Node_Id is
3153 pragma Assert (False
3154 or else NT (N).Nkind = N_Compilation_Unit);
3158 function Unknown_Discriminants_Present
3159 (N : Node_Id) return Boolean is
3161 pragma Assert (False
3162 or else NT (N).Nkind = N_Formal_Type_Declaration
3163 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3164 or else NT (N).Nkind = N_Private_Extension_Declaration
3165 or else NT (N).Nkind = N_Private_Type_Declaration);
3167 end Unknown_Discriminants_Present;
3169 function Unreferenced_In_Spec
3170 (N : Node_Id) return Boolean is
3172 pragma Assert (False
3173 or else NT (N).Nkind = N_With_Clause);
3175 end Unreferenced_In_Spec;
3177 function Variant_Part
3178 (N : Node_Id) return Node_Id is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Component_List);
3186 (N : Node_Id) return List_Id is
3188 pragma Assert (False
3189 or else NT (N).Nkind = N_Variant_Part);
3193 function Visible_Declarations
3194 (N : Node_Id) return List_Id is
3196 pragma Assert (False
3197 or else NT (N).Nkind = N_Package_Specification
3198 or else NT (N).Nkind = N_Protected_Definition
3199 or else NT (N).Nkind = N_Task_Definition);
3201 end Visible_Declarations;
3203 function Uninitialized_Variable
3204 (N : Node_Id) return Node_Id is
3206 pragma Assert (False
3207 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3208 or else NT (N).Nkind = N_Private_Extension_Declaration);
3210 end Uninitialized_Variable;
3212 function Used_Operations
3213 (N : Node_Id) return Elist_Id is
3215 pragma Assert (False
3216 or else NT (N).Nkind = N_Use_Type_Clause);
3218 end Used_Operations;
3220 function Was_Originally_Stub
3221 (N : Node_Id) return Boolean is
3223 pragma Assert (False
3224 or else NT (N).Nkind = N_Package_Body
3225 or else NT (N).Nkind = N_Protected_Body
3226 or else NT (N).Nkind = N_Subprogram_Body
3227 or else NT (N).Nkind = N_Task_Body);
3229 end Was_Originally_Stub;
3231 function Withed_Body
3232 (N : Node_Id) return Node_Id is
3234 pragma Assert (False
3235 or else NT (N).Nkind = N_With_Clause);
3239 --------------------------
3240 -- Field Set Procedures --
3241 --------------------------
3243 procedure Set_ABE_Is_Certain
3244 (N : Node_Id; Val : Boolean := True) is
3246 pragma Assert (False
3247 or else NT (N).Nkind = N_Formal_Package_Declaration
3248 or else NT (N).Nkind = N_Function_Call
3249 or else NT (N).Nkind = N_Function_Instantiation
3250 or else NT (N).Nkind = N_Package_Instantiation
3251 or else NT (N).Nkind = N_Procedure_Call_Statement
3252 or else NT (N).Nkind = N_Procedure_Instantiation);
3253 Set_Flag18 (N, Val);
3254 end Set_ABE_Is_Certain;
3256 procedure Set_Abort_Present
3257 (N : Node_Id; Val : Boolean := True) is
3259 pragma Assert (False
3260 or else NT (N).Nkind = N_Requeue_Statement);
3261 Set_Flag15 (N, Val);
3262 end Set_Abort_Present;
3264 procedure Set_Abortable_Part
3265 (N : Node_Id; Val : Node_Id) is
3267 pragma Assert (False
3268 or else NT (N).Nkind = N_Asynchronous_Select);
3269 Set_Node2_With_Parent (N, Val);
3270 end Set_Abortable_Part;
3272 procedure Set_Abstract_Present
3273 (N : Node_Id; Val : Boolean := True) is
3275 pragma Assert (False
3276 or else NT (N).Nkind = N_Derived_Type_Definition
3277 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3278 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3279 or else NT (N).Nkind = N_Private_Extension_Declaration
3280 or else NT (N).Nkind = N_Private_Type_Declaration
3281 or else NT (N).Nkind = N_Record_Definition);
3283 end Set_Abstract_Present;
3285 procedure Set_Accept_Handler_Records
3286 (N : Node_Id; Val : List_Id) is
3288 pragma Assert (False
3289 or else NT (N).Nkind = N_Accept_Alternative);
3290 Set_List5 (N, Val); -- semantic field, no parent set
3291 end Set_Accept_Handler_Records;
3293 procedure Set_Accept_Statement
3294 (N : Node_Id; Val : Node_Id) is
3296 pragma Assert (False
3297 or else NT (N).Nkind = N_Accept_Alternative);
3298 Set_Node2_With_Parent (N, Val);
3299 end Set_Accept_Statement;
3301 procedure Set_Access_Definition
3302 (N : Node_Id; Val : Node_Id) is
3304 pragma Assert (False
3305 or else NT (N).Nkind = N_Component_Definition
3306 or else NT (N).Nkind = N_Formal_Object_Declaration
3307 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3308 Set_Node3_With_Parent (N, Val);
3309 end Set_Access_Definition;
3311 procedure Set_Access_To_Subprogram_Definition
3312 (N : Node_Id; Val : Node_Id) is
3314 pragma Assert (False
3315 or else NT (N).Nkind = N_Access_Definition);
3316 Set_Node3_With_Parent (N, Val);
3317 end Set_Access_To_Subprogram_Definition;
3319 procedure Set_Access_Types_To_Process
3320 (N : Node_Id; Val : Elist_Id) is
3322 pragma Assert (False
3323 or else NT (N).Nkind = N_Freeze_Entity);
3324 Set_Elist2 (N, Val); -- semantic field, no parent set
3325 end Set_Access_Types_To_Process;
3327 procedure Set_Actions
3328 (N : Node_Id; Val : List_Id) is
3330 pragma Assert (False
3331 or else NT (N).Nkind = N_And_Then
3332 or else NT (N).Nkind = N_Case_Expression_Alternative
3333 or else NT (N).Nkind = N_Compilation_Unit_Aux
3334 or else NT (N).Nkind = N_Compound_Statement
3335 or else NT (N).Nkind = N_Expression_With_Actions
3336 or else NT (N).Nkind = N_Freeze_Entity
3337 or else NT (N).Nkind = N_Or_Else);
3338 Set_List1_With_Parent (N, Val);
3341 procedure Set_Activation_Chain_Entity
3342 (N : Node_Id; Val : Node_Id) is
3344 pragma Assert (False
3345 or else NT (N).Nkind = N_Block_Statement
3346 or else NT (N).Nkind = N_Entry_Body
3347 or else NT (N).Nkind = N_Generic_Package_Declaration
3348 or else NT (N).Nkind = N_Package_Declaration
3349 or else NT (N).Nkind = N_Subprogram_Body
3350 or else NT (N).Nkind = N_Task_Body);
3351 Set_Node3 (N, Val); -- semantic field, no parent set
3352 end Set_Activation_Chain_Entity;
3354 procedure Set_Acts_As_Spec
3355 (N : Node_Id; Val : Boolean := True) is
3357 pragma Assert (False
3358 or else NT (N).Nkind = N_Compilation_Unit
3359 or else NT (N).Nkind = N_Subprogram_Body);
3361 end Set_Acts_As_Spec;
3363 procedure Set_Actual_Designated_Subtype
3364 (N : Node_Id; Val : Node_Id) is
3366 pragma Assert (False
3367 or else NT (N).Nkind = N_Explicit_Dereference
3368 or else NT (N).Nkind = N_Free_Statement);
3370 end Set_Actual_Designated_Subtype;
3372 procedure Set_Address_Warning_Posted
3373 (N : Node_Id; Val : Boolean := True) is
3375 pragma Assert (False
3376 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3377 Set_Flag18 (N, Val);
3378 end Set_Address_Warning_Posted;
3380 procedure Set_Aggregate_Bounds
3381 (N : Node_Id; Val : Node_Id) is
3383 pragma Assert (False
3384 or else NT (N).Nkind = N_Aggregate);
3385 Set_Node3 (N, Val); -- semantic field, no parent set
3386 end Set_Aggregate_Bounds;
3388 procedure Set_Aliased_Present
3389 (N : Node_Id; Val : Boolean := True) is
3391 pragma Assert (False
3392 or else NT (N).Nkind = N_Component_Definition
3393 or else NT (N).Nkind = N_Object_Declaration
3394 or else NT (N).Nkind = N_Parameter_Specification);
3396 end Set_Aliased_Present;
3398 procedure Set_All_Others
3399 (N : Node_Id; Val : Boolean := True) is
3401 pragma Assert (False
3402 or else NT (N).Nkind = N_Others_Choice);
3403 Set_Flag11 (N, Val);
3406 procedure Set_All_Present
3407 (N : Node_Id; Val : Boolean := True) is
3409 pragma Assert (False
3410 or else NT (N).Nkind = N_Access_Definition
3411 or else NT (N).Nkind = N_Access_To_Object_Definition
3412 or else NT (N).Nkind = N_Quantified_Expression
3413 or else NT (N).Nkind = N_Use_Type_Clause);
3414 Set_Flag15 (N, Val);
3415 end Set_All_Present;
3417 procedure Set_Alternatives
3418 (N : Node_Id; Val : List_Id) is
3420 pragma Assert (False
3421 or else NT (N).Nkind = N_Case_Expression
3422 or else NT (N).Nkind = N_Case_Statement
3423 or else NT (N).Nkind = N_In
3424 or else NT (N).Nkind = N_Not_In);
3425 Set_List4_With_Parent (N, Val);
3426 end Set_Alternatives;
3428 procedure Set_Ancestor_Part
3429 (N : Node_Id; Val : Node_Id) is
3431 pragma Assert (False
3432 or else NT (N).Nkind = N_Extension_Aggregate);
3433 Set_Node3_With_Parent (N, Val);
3434 end Set_Ancestor_Part;
3436 procedure Set_Atomic_Sync_Required
3437 (N : Node_Id; Val : Boolean := True) is
3439 pragma Assert (False
3440 or else NT (N).Nkind = N_Expanded_Name
3441 or else NT (N).Nkind = N_Explicit_Dereference
3442 or else NT (N).Nkind = N_Identifier
3443 or else NT (N).Nkind = N_Indexed_Component
3444 or else NT (N).Nkind = N_Selected_Component);
3445 Set_Flag14 (N, Val);
3446 end Set_Atomic_Sync_Required;
3448 procedure Set_Array_Aggregate
3449 (N : Node_Id; Val : Node_Id) is
3451 pragma Assert (False
3452 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3453 Set_Node3_With_Parent (N, Val);
3454 end Set_Array_Aggregate;
3456 procedure Set_Aspect_Rep_Item
3457 (N : Node_Id; Val : Node_Id) is
3459 pragma Assert (False
3460 or else NT (N).Nkind = N_Aspect_Specification);
3462 end Set_Aspect_Rep_Item;
3464 procedure Set_Assignment_OK
3465 (N : Node_Id; Val : Boolean := True) is
3467 pragma Assert (False
3468 or else NT (N).Nkind = N_Object_Declaration
3469 or else NT (N).Nkind in N_Subexpr);
3470 Set_Flag15 (N, Val);
3471 end Set_Assignment_OK;
3473 procedure Set_Associated_Node
3474 (N : Node_Id; Val : Node_Id) is
3476 pragma Assert (False
3477 or else NT (N).Nkind in N_Has_Entity
3478 or else NT (N).Nkind = N_Aggregate
3479 or else NT (N).Nkind = N_Extension_Aggregate
3480 or else NT (N).Nkind = N_Selected_Component);
3481 Set_Node4 (N, Val); -- semantic field, no parent set
3482 end Set_Associated_Node;
3484 procedure Set_At_End_Proc
3485 (N : Node_Id; Val : Node_Id) is
3487 pragma Assert (False
3488 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3490 end Set_At_End_Proc;
3492 procedure Set_Attribute_Name
3493 (N : Node_Id; Val : Name_Id) is
3495 pragma Assert (False
3496 or else NT (N).Nkind = N_Attribute_Reference);
3498 end Set_Attribute_Name;
3500 procedure Set_Aux_Decls_Node
3501 (N : Node_Id; Val : Node_Id) is
3503 pragma Assert (False
3504 or else NT (N).Nkind = N_Compilation_Unit);
3505 Set_Node5_With_Parent (N, Val);
3506 end Set_Aux_Decls_Node;
3508 procedure Set_Backwards_OK
3509 (N : Node_Id; Val : Boolean := True) is
3511 pragma Assert (False
3512 or else NT (N).Nkind = N_Assignment_Statement);
3514 end Set_Backwards_OK;
3516 procedure Set_Bad_Is_Detected
3517 (N : Node_Id; Val : Boolean := True) is
3519 pragma Assert (False
3520 or else NT (N).Nkind = N_Subprogram_Body);
3521 Set_Flag15 (N, Val);
3522 end Set_Bad_Is_Detected;
3524 procedure Set_Body_Required
3525 (N : Node_Id; Val : Boolean := True) is
3527 pragma Assert (False
3528 or else NT (N).Nkind = N_Compilation_Unit);
3529 Set_Flag13 (N, Val);
3530 end Set_Body_Required;
3532 procedure Set_Body_To_Inline
3533 (N : Node_Id; Val : Node_Id) is
3535 pragma Assert (False
3536 or else NT (N).Nkind = N_Subprogram_Declaration);
3538 end Set_Body_To_Inline;
3540 procedure Set_Box_Present
3541 (N : Node_Id; Val : Boolean := True) is
3543 pragma Assert (False
3544 or else NT (N).Nkind = N_Component_Association
3545 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3546 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3547 or else NT (N).Nkind = N_Formal_Package_Declaration
3548 or else NT (N).Nkind = N_Generic_Association);
3549 Set_Flag15 (N, Val);
3550 end Set_Box_Present;
3552 procedure Set_By_Ref
3553 (N : Node_Id; Val : Boolean := True) is
3555 pragma Assert (False
3556 or else NT (N).Nkind = N_Extended_Return_Statement
3557 or else NT (N).Nkind = N_Simple_Return_Statement);
3561 procedure Set_Char_Literal_Value
3562 (N : Node_Id; Val : Uint) is
3564 pragma Assert (False
3565 or else NT (N).Nkind = N_Character_Literal);
3567 end Set_Char_Literal_Value;
3570 (N : Node_Id; Val : Name_Id) is
3572 pragma Assert (False
3573 or else NT (N).Nkind in N_Has_Chars);
3577 procedure Set_Check_Address_Alignment
3578 (N : Node_Id; Val : Boolean := True) is
3580 pragma Assert (False
3581 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3582 Set_Flag11 (N, Val);
3583 end Set_Check_Address_Alignment;
3585 procedure Set_Choice_Parameter
3586 (N : Node_Id; Val : Node_Id) is
3588 pragma Assert (False
3589 or else NT (N).Nkind = N_Exception_Handler);
3590 Set_Node2_With_Parent (N, Val);
3591 end Set_Choice_Parameter;
3593 procedure Set_Choices
3594 (N : Node_Id; Val : List_Id) is
3596 pragma Assert (False
3597 or else NT (N).Nkind = N_Component_Association);
3598 Set_List1_With_Parent (N, Val);
3601 procedure Set_Class_Present
3602 (N : Node_Id; Val : Boolean := True) is
3604 pragma Assert (False
3605 or else NT (N).Nkind = N_Aspect_Specification
3606 or else NT (N).Nkind = N_Pragma);
3608 end Set_Class_Present;
3610 procedure Set_Classifications
3611 (N : Node_Id; Val : Node_Id) is
3613 pragma Assert (False
3614 or else NT (N).Nkind = N_Contract);
3615 Set_Node3 (N, Val); -- semantic field, no parent set
3616 end Set_Classifications;
3618 procedure Set_Cleanup_Actions
3619 (N : Node_Id; Val : List_Id) is
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_Block_Statement);
3623 Set_List5 (N, Val); -- semantic field, no parent set
3624 end Set_Cleanup_Actions;
3626 procedure Set_Comes_From_Extended_Return_Statement
3627 (N : Node_Id; Val : Boolean := True) is
3629 pragma Assert (False
3630 or else NT (N).Nkind = N_Simple_Return_Statement);
3631 Set_Flag18 (N, Val);
3632 end Set_Comes_From_Extended_Return_Statement;
3634 procedure Set_Compile_Time_Known_Aggregate
3635 (N : Node_Id; Val : Boolean := True) is
3637 pragma Assert (False
3638 or else NT (N).Nkind = N_Aggregate);
3639 Set_Flag18 (N, Val);
3640 end Set_Compile_Time_Known_Aggregate;
3642 procedure Set_Component_Associations
3643 (N : Node_Id; Val : List_Id) is
3645 pragma Assert (False
3646 or else NT (N).Nkind = N_Aggregate
3647 or else NT (N).Nkind = N_Extension_Aggregate);
3648 Set_List2_With_Parent (N, Val);
3649 end Set_Component_Associations;
3651 procedure Set_Component_Clauses
3652 (N : Node_Id; Val : List_Id) is
3654 pragma Assert (False
3655 or else NT (N).Nkind = N_Record_Representation_Clause);
3656 Set_List3_With_Parent (N, Val);
3657 end Set_Component_Clauses;
3659 procedure Set_Component_Definition
3660 (N : Node_Id; Val : Node_Id) is
3662 pragma Assert (False
3663 or else NT (N).Nkind = N_Component_Declaration
3664 or else NT (N).Nkind = N_Constrained_Array_Definition
3665 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3666 Set_Node4_With_Parent (N, Val);
3667 end Set_Component_Definition;
3669 procedure Set_Component_Items
3670 (N : Node_Id; Val : List_Id) is
3672 pragma Assert (False
3673 or else NT (N).Nkind = N_Component_List);
3674 Set_List3_With_Parent (N, Val);
3675 end Set_Component_Items;
3677 procedure Set_Component_List
3678 (N : Node_Id; Val : Node_Id) is
3680 pragma Assert (False
3681 or else NT (N).Nkind = N_Record_Definition
3682 or else NT (N).Nkind = N_Variant);
3683 Set_Node1_With_Parent (N, Val);
3684 end Set_Component_List;
3686 procedure Set_Component_Name
3687 (N : Node_Id; Val : Node_Id) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Component_Clause);
3691 Set_Node1_With_Parent (N, Val);
3692 end Set_Component_Name;
3694 procedure Set_Componentwise_Assignment
3695 (N : Node_Id; Val : Boolean := True) is
3697 pragma Assert (False
3698 or else NT (N).Nkind = N_Assignment_Statement);
3699 Set_Flag14 (N, Val);
3700 end Set_Componentwise_Assignment;
3702 procedure Set_Condition
3703 (N : Node_Id; Val : Node_Id) is
3705 pragma Assert (False
3706 or else NT (N).Nkind = N_Accept_Alternative
3707 or else NT (N).Nkind = N_Delay_Alternative
3708 or else NT (N).Nkind = N_Elsif_Part
3709 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3710 or else NT (N).Nkind = N_Exit_Statement
3711 or else NT (N).Nkind = N_If_Statement
3712 or else NT (N).Nkind = N_Iteration_Scheme
3713 or else NT (N).Nkind = N_Quantified_Expression
3714 or else NT (N).Nkind = N_Raise_Constraint_Error
3715 or else NT (N).Nkind = N_Raise_Program_Error
3716 or else NT (N).Nkind = N_Raise_Storage_Error
3717 or else NT (N).Nkind = N_Terminate_Alternative);
3718 Set_Node1_With_Parent (N, Val);
3721 procedure Set_Condition_Actions
3722 (N : Node_Id; Val : List_Id) is
3724 pragma Assert (False
3725 or else NT (N).Nkind = N_Elsif_Part
3726 or else NT (N).Nkind = N_Iteration_Scheme);
3727 Set_List3 (N, Val); -- semantic field, no parent set
3728 end Set_Condition_Actions;
3730 procedure Set_Config_Pragmas
3731 (N : Node_Id; Val : List_Id) is
3733 pragma Assert (False
3734 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3735 Set_List4_With_Parent (N, Val);
3736 end Set_Config_Pragmas;
3738 procedure Set_Constant_Present
3739 (N : Node_Id; Val : Boolean := True) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Access_Definition
3743 or else NT (N).Nkind = N_Access_To_Object_Definition
3744 or else NT (N).Nkind = N_Object_Declaration);
3745 Set_Flag17 (N, Val);
3746 end Set_Constant_Present;
3748 procedure Set_Constraint
3749 (N : Node_Id; Val : Node_Id) is
3751 pragma Assert (False
3752 or else NT (N).Nkind = N_Subtype_Indication);
3753 Set_Node3_With_Parent (N, Val);
3756 procedure Set_Constraints
3757 (N : Node_Id; Val : List_Id) is
3759 pragma Assert (False
3760 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3761 Set_List1_With_Parent (N, Val);
3762 end Set_Constraints;
3764 procedure Set_Context_Installed
3765 (N : Node_Id; Val : Boolean := True) is
3767 pragma Assert (False
3768 or else NT (N).Nkind = N_With_Clause);
3769 Set_Flag13 (N, Val);
3770 end Set_Context_Installed;
3772 procedure Set_Context_Items
3773 (N : Node_Id; Val : List_Id) is
3775 pragma Assert (False
3776 or else NT (N).Nkind = N_Compilation_Unit);
3777 Set_List1_With_Parent (N, Val);
3778 end Set_Context_Items;
3780 procedure Set_Context_Pending
3781 (N : Node_Id; Val : Boolean := True) is
3783 pragma Assert (False
3784 or else NT (N).Nkind = N_Compilation_Unit);
3785 Set_Flag16 (N, Val);
3786 end Set_Context_Pending;
3788 procedure Set_Contract_Test_Cases
3789 (N : Node_Id; Val : Node_Id) is
3791 pragma Assert (False
3792 or else NT (N).Nkind = N_Contract);
3793 Set_Node2 (N, Val); -- semantic field, no parent set
3794 end Set_Contract_Test_Cases;
3796 procedure Set_Controlling_Argument
3797 (N : Node_Id; Val : Node_Id) is
3799 pragma Assert (False
3800 or else NT (N).Nkind = N_Function_Call
3801 or else NT (N).Nkind = N_Procedure_Call_Statement);
3802 Set_Node1 (N, Val); -- semantic field, no parent set
3803 end Set_Controlling_Argument;
3805 procedure Set_Conversion_OK
3806 (N : Node_Id; Val : Boolean := True) is
3808 pragma Assert (False
3809 or else NT (N).Nkind = N_Type_Conversion);
3810 Set_Flag14 (N, Val);
3811 end Set_Conversion_OK;
3813 procedure Set_Convert_To_Return_False
3814 (N : Node_Id; Val : Boolean := True) is
3816 pragma Assert (False
3817 or else NT (N).Nkind = N_Raise_Expression);
3818 Set_Flag13 (N, Val);
3819 end Set_Convert_To_Return_False;
3821 procedure Set_Corresponding_Aspect
3822 (N : Node_Id; Val : Node_Id) is
3824 pragma Assert (False
3825 or else NT (N).Nkind = N_Pragma);
3827 end Set_Corresponding_Aspect;
3829 procedure Set_Corresponding_Body
3830 (N : Node_Id; Val : Node_Id) is
3832 pragma Assert (False
3833 or else NT (N).Nkind = N_Entry_Declaration
3834 or else NT (N).Nkind = N_Generic_Package_Declaration
3835 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3836 or else NT (N).Nkind = N_Package_Body_Stub
3837 or else NT (N).Nkind = N_Package_Declaration
3838 or else NT (N).Nkind = N_Protected_Body_Stub
3839 or else NT (N).Nkind = N_Protected_Type_Declaration
3840 or else NT (N).Nkind = N_Subprogram_Body_Stub
3841 or else NT (N).Nkind = N_Subprogram_Declaration
3842 or else NT (N).Nkind = N_Task_Body_Stub
3843 or else NT (N).Nkind = N_Task_Type_Declaration);
3844 Set_Node5 (N, Val); -- semantic field, no parent set
3845 end Set_Corresponding_Body;
3847 procedure Set_Corresponding_Formal_Spec
3848 (N : Node_Id; Val : Node_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3852 Set_Node3 (N, Val); -- semantic field, no parent set
3853 end Set_Corresponding_Formal_Spec;
3855 procedure Set_Corresponding_Generic_Association
3856 (N : Node_Id; Val : Node_Id) is
3858 pragma Assert (False
3859 or else NT (N).Nkind = N_Object_Declaration
3860 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3861 Set_Node5 (N, Val); -- semantic field, no parent set
3862 end Set_Corresponding_Generic_Association;
3864 procedure Set_Corresponding_Integer_Value
3865 (N : Node_Id; Val : Uint) is
3867 pragma Assert (False
3868 or else NT (N).Nkind = N_Real_Literal);
3869 Set_Uint4 (N, Val); -- semantic field, no parent set
3870 end Set_Corresponding_Integer_Value;
3872 procedure Set_Corresponding_Spec
3873 (N : Node_Id; Val : Node_Id) is
3875 pragma Assert (False
3876 or else NT (N).Nkind = N_Expression_Function
3877 or else NT (N).Nkind = N_Package_Body
3878 or else NT (N).Nkind = N_Protected_Body
3879 or else NT (N).Nkind = N_Subprogram_Body
3880 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3881 or else NT (N).Nkind = N_Task_Body
3882 or else NT (N).Nkind = N_With_Clause);
3883 Set_Node5 (N, Val); -- semantic field, no parent set
3884 end Set_Corresponding_Spec;
3886 procedure Set_Corresponding_Spec_Of_Stub
3887 (N : Node_Id; Val : Entity_Id) is
3889 pragma Assert (False
3890 or else NT (N).Nkind = N_Package_Body_Stub
3891 or else NT (N).Nkind = N_Protected_Body_Stub
3892 or else NT (N).Nkind = N_Subprogram_Body_Stub
3893 or else NT (N).Nkind = N_Task_Body_Stub);
3894 Set_Node2 (N, Val); -- semantic field, no parent set
3895 end Set_Corresponding_Spec_Of_Stub;
3897 procedure Set_Corresponding_Stub
3898 (N : Node_Id; Val : Node_Id) is
3900 pragma Assert (False
3901 or else NT (N).Nkind = N_Subunit);
3903 end Set_Corresponding_Stub;
3905 procedure Set_Dcheck_Function
3906 (N : Node_Id; Val : Entity_Id) is
3908 pragma Assert (False
3909 or else NT (N).Nkind = N_Variant);
3910 Set_Node5 (N, Val); -- semantic field, no parent set
3911 end Set_Dcheck_Function;
3913 procedure Set_Declarations
3914 (N : Node_Id; Val : List_Id) is
3916 pragma Assert (False
3917 or else NT (N).Nkind = N_Accept_Statement
3918 or else NT (N).Nkind = N_Block_Statement
3919 or else NT (N).Nkind = N_Compilation_Unit_Aux
3920 or else NT (N).Nkind = N_Entry_Body
3921 or else NT (N).Nkind = N_Package_Body
3922 or else NT (N).Nkind = N_Protected_Body
3923 or else NT (N).Nkind = N_Subprogram_Body
3924 or else NT (N).Nkind = N_Task_Body);
3925 Set_List2_With_Parent (N, Val);
3926 end Set_Declarations;
3928 procedure Set_Default_Expression
3929 (N : Node_Id; Val : Node_Id) is
3931 pragma Assert (False
3932 or else NT (N).Nkind = N_Formal_Object_Declaration
3933 or else NT (N).Nkind = N_Parameter_Specification);
3934 Set_Node5 (N, Val); -- semantic field, no parent set
3935 end Set_Default_Expression;
3937 procedure Set_Default_Storage_Pool
3938 (N : Node_Id; Val : Node_Id) is
3940 pragma Assert (False
3941 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3942 Set_Node3 (N, Val); -- semantic field, no parent set
3943 end Set_Default_Storage_Pool;
3945 procedure Set_Default_Name
3946 (N : Node_Id; Val : Node_Id) is
3948 pragma Assert (False
3949 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3950 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3951 Set_Node2_With_Parent (N, Val);
3952 end Set_Default_Name;
3954 procedure Set_Defining_Identifier
3955 (N : Node_Id; Val : Entity_Id) is
3957 pragma Assert (False
3958 or else NT (N).Nkind = N_Component_Declaration
3959 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3960 or else NT (N).Nkind = N_Discriminant_Specification
3961 or else NT (N).Nkind = N_Entry_Body
3962 or else NT (N).Nkind = N_Entry_Declaration
3963 or else NT (N).Nkind = N_Entry_Index_Specification
3964 or else NT (N).Nkind = N_Exception_Declaration
3965 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3966 or else NT (N).Nkind = N_Formal_Object_Declaration
3967 or else NT (N).Nkind = N_Formal_Package_Declaration
3968 or else NT (N).Nkind = N_Formal_Type_Declaration
3969 or else NT (N).Nkind = N_Full_Type_Declaration
3970 or else NT (N).Nkind = N_Implicit_Label_Declaration
3971 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3972 or else NT (N).Nkind = N_Iterator_Specification
3973 or else NT (N).Nkind = N_Loop_Parameter_Specification
3974 or else NT (N).Nkind = N_Number_Declaration
3975 or else NT (N).Nkind = N_Object_Declaration
3976 or else NT (N).Nkind = N_Object_Renaming_Declaration
3977 or else NT (N).Nkind = N_Package_Body_Stub
3978 or else NT (N).Nkind = N_Parameter_Specification
3979 or else NT (N).Nkind = N_Private_Extension_Declaration
3980 or else NT (N).Nkind = N_Private_Type_Declaration
3981 or else NT (N).Nkind = N_Protected_Body
3982 or else NT (N).Nkind = N_Protected_Body_Stub
3983 or else NT (N).Nkind = N_Protected_Type_Declaration
3984 or else NT (N).Nkind = N_Single_Protected_Declaration
3985 or else NT (N).Nkind = N_Single_Task_Declaration
3986 or else NT (N).Nkind = N_Subtype_Declaration
3987 or else NT (N).Nkind = N_Task_Body
3988 or else NT (N).Nkind = N_Task_Body_Stub
3989 or else NT (N).Nkind = N_Task_Type_Declaration);
3990 Set_Node1_With_Parent (N, Val);
3991 end Set_Defining_Identifier;
3993 procedure Set_Defining_Unit_Name
3994 (N : Node_Id; Val : Node_Id) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Function_Instantiation
3998 or else NT (N).Nkind = N_Function_Specification
3999 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4000 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4001 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4002 or else NT (N).Nkind = N_Package_Body
4003 or else NT (N).Nkind = N_Package_Instantiation
4004 or else NT (N).Nkind = N_Package_Renaming_Declaration
4005 or else NT (N).Nkind = N_Package_Specification
4006 or else NT (N).Nkind = N_Procedure_Instantiation
4007 or else NT (N).Nkind = N_Procedure_Specification);
4008 Set_Node1_With_Parent (N, Val);
4009 end Set_Defining_Unit_Name;
4011 procedure Set_Delay_Alternative
4012 (N : Node_Id; Val : Node_Id) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_Timed_Entry_Call);
4016 Set_Node4_With_Parent (N, Val);
4017 end Set_Delay_Alternative;
4019 procedure Set_Delay_Statement
4020 (N : Node_Id; Val : Node_Id) is
4022 pragma Assert (False
4023 or else NT (N).Nkind = N_Delay_Alternative);
4024 Set_Node2_With_Parent (N, Val);
4025 end Set_Delay_Statement;
4027 procedure Set_Delta_Expression
4028 (N : Node_Id; Val : Node_Id) is
4030 pragma Assert (False
4031 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4032 or else NT (N).Nkind = N_Delta_Constraint
4033 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4034 Set_Node3_With_Parent (N, Val);
4035 end Set_Delta_Expression;
4037 procedure Set_Digits_Expression
4038 (N : Node_Id; Val : Node_Id) is
4040 pragma Assert (False
4041 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4042 or else NT (N).Nkind = N_Digits_Constraint
4043 or else NT (N).Nkind = N_Floating_Point_Definition);
4044 Set_Node2_With_Parent (N, Val);
4045 end Set_Digits_Expression;
4047 procedure Set_Discr_Check_Funcs_Built
4048 (N : Node_Id; Val : Boolean := True) is
4050 pragma Assert (False
4051 or else NT (N).Nkind = N_Full_Type_Declaration);
4052 Set_Flag11 (N, Val);
4053 end Set_Discr_Check_Funcs_Built;
4055 procedure Set_Discrete_Choices
4056 (N : Node_Id; Val : List_Id) is
4058 pragma Assert (False
4059 or else NT (N).Nkind = N_Case_Expression_Alternative
4060 or else NT (N).Nkind = N_Case_Statement_Alternative
4061 or else NT (N).Nkind = N_Variant);
4062 Set_List4_With_Parent (N, Val);
4063 end Set_Discrete_Choices;
4065 procedure Set_Discrete_Range
4066 (N : Node_Id; Val : Node_Id) is
4068 pragma Assert (False
4069 or else NT (N).Nkind = N_Slice);
4070 Set_Node4_With_Parent (N, Val);
4071 end Set_Discrete_Range;
4073 procedure Set_Discrete_Subtype_Definition
4074 (N : Node_Id; Val : Node_Id) is
4076 pragma Assert (False
4077 or else NT (N).Nkind = N_Entry_Declaration
4078 or else NT (N).Nkind = N_Entry_Index_Specification
4079 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4080 Set_Node4_With_Parent (N, Val);
4081 end Set_Discrete_Subtype_Definition;
4083 procedure Set_Discrete_Subtype_Definitions
4084 (N : Node_Id; Val : List_Id) is
4086 pragma Assert (False
4087 or else NT (N).Nkind = N_Constrained_Array_Definition);
4088 Set_List2_With_Parent (N, Val);
4089 end Set_Discrete_Subtype_Definitions;
4091 procedure Set_Discriminant_Specifications
4092 (N : Node_Id; Val : List_Id) is
4094 pragma Assert (False
4095 or else NT (N).Nkind = N_Formal_Type_Declaration
4096 or else NT (N).Nkind = N_Full_Type_Declaration
4097 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4098 or else NT (N).Nkind = N_Private_Extension_Declaration
4099 or else NT (N).Nkind = N_Private_Type_Declaration
4100 or else NT (N).Nkind = N_Protected_Type_Declaration
4101 or else NT (N).Nkind = N_Task_Type_Declaration);
4102 Set_List4_With_Parent (N, Val);
4103 end Set_Discriminant_Specifications;
4105 procedure Set_Discriminant_Type
4106 (N : Node_Id; Val : Node_Id) is
4108 pragma Assert (False
4109 or else NT (N).Nkind = N_Discriminant_Specification);
4110 Set_Node5_With_Parent (N, Val);
4111 end Set_Discriminant_Type;
4113 procedure Set_Do_Accessibility_Check
4114 (N : Node_Id; Val : Boolean := True) is
4116 pragma Assert (False
4117 or else NT (N).Nkind = N_Parameter_Specification);
4118 Set_Flag13 (N, Val);
4119 end Set_Do_Accessibility_Check;
4121 procedure Set_Do_Discriminant_Check
4122 (N : Node_Id; Val : Boolean := True) is
4124 pragma Assert (False
4125 or else NT (N).Nkind = N_Assignment_Statement
4126 or else NT (N).Nkind = N_Selected_Component
4127 or else NT (N).Nkind = N_Type_Conversion);
4129 end Set_Do_Discriminant_Check;
4131 procedure Set_Do_Division_Check
4132 (N : Node_Id; Val : Boolean := True) is
4134 pragma Assert (False
4135 or else NT (N).Nkind = N_Op_Divide
4136 or else NT (N).Nkind = N_Op_Mod
4137 or else NT (N).Nkind = N_Op_Rem);
4138 Set_Flag13 (N, Val);
4139 end Set_Do_Division_Check;
4141 procedure Set_Do_Length_Check
4142 (N : Node_Id; Val : Boolean := True) is
4144 pragma Assert (False
4145 or else NT (N).Nkind = N_Assignment_Statement
4146 or else NT (N).Nkind = N_Op_And
4147 or else NT (N).Nkind = N_Op_Or
4148 or else NT (N).Nkind = N_Op_Xor
4149 or else NT (N).Nkind = N_Type_Conversion);
4151 end Set_Do_Length_Check;
4153 procedure Set_Do_Overflow_Check
4154 (N : Node_Id; Val : Boolean := True) is
4156 pragma Assert (False
4157 or else NT (N).Nkind in N_Op
4158 or else NT (N).Nkind = N_Attribute_Reference
4159 or else NT (N).Nkind = N_Case_Expression
4160 or else NT (N).Nkind = N_If_Expression
4161 or else NT (N).Nkind = N_Type_Conversion);
4162 Set_Flag17 (N, Val);
4163 end Set_Do_Overflow_Check;
4165 procedure Set_Do_Range_Check
4166 (N : Node_Id; Val : Boolean := True) is
4168 pragma Assert (False
4169 or else NT (N).Nkind in N_Subexpr);
4171 end Set_Do_Range_Check;
4173 procedure Set_Do_Storage_Check
4174 (N : Node_Id; Val : Boolean := True) is
4176 pragma Assert (False
4177 or else NT (N).Nkind = N_Allocator
4178 or else NT (N).Nkind = N_Subprogram_Body);
4179 Set_Flag17 (N, Val);
4180 end Set_Do_Storage_Check;
4182 procedure Set_Do_Tag_Check
4183 (N : Node_Id; Val : Boolean := True) is
4185 pragma Assert (False
4186 or else NT (N).Nkind = N_Assignment_Statement
4187 or else NT (N).Nkind = N_Extended_Return_Statement
4188 or else NT (N).Nkind = N_Function_Call
4189 or else NT (N).Nkind = N_Procedure_Call_Statement
4190 or else NT (N).Nkind = N_Simple_Return_Statement
4191 or else NT (N).Nkind = N_Type_Conversion);
4192 Set_Flag13 (N, Val);
4193 end Set_Do_Tag_Check;
4195 procedure Set_Elaborate_All_Desirable
4196 (N : Node_Id; Val : Boolean := True) is
4198 pragma Assert (False
4199 or else NT (N).Nkind = N_With_Clause);
4201 end Set_Elaborate_All_Desirable;
4203 procedure Set_Elaborate_All_Present
4204 (N : Node_Id; Val : Boolean := True) is
4206 pragma Assert (False
4207 or else NT (N).Nkind = N_With_Clause);
4208 Set_Flag14 (N, Val);
4209 end Set_Elaborate_All_Present;
4211 procedure Set_Elaborate_Desirable
4212 (N : Node_Id; Val : Boolean := True) is
4214 pragma Assert (False
4215 or else NT (N).Nkind = N_With_Clause);
4216 Set_Flag11 (N, Val);
4217 end Set_Elaborate_Desirable;
4219 procedure Set_Elaborate_Present
4220 (N : Node_Id; Val : Boolean := True) is
4222 pragma Assert (False
4223 or else NT (N).Nkind = N_With_Clause);
4225 end Set_Elaborate_Present;
4227 procedure Set_Elaboration_Boolean
4228 (N : Node_Id; Val : Node_Id) is
4230 pragma Assert (False
4231 or else NT (N).Nkind = N_Function_Specification
4232 or else NT (N).Nkind = N_Procedure_Specification);
4234 end Set_Elaboration_Boolean;
4236 procedure Set_Else_Actions
4237 (N : Node_Id; Val : List_Id) is
4239 pragma Assert (False
4240 or else NT (N).Nkind = N_If_Expression);
4241 Set_List3_With_Parent (N, Val); -- semantic field, but needs parents
4242 end Set_Else_Actions;
4244 procedure Set_Else_Statements
4245 (N : Node_Id; Val : List_Id) is
4247 pragma Assert (False
4248 or else NT (N).Nkind = N_Conditional_Entry_Call
4249 or else NT (N).Nkind = N_If_Statement
4250 or else NT (N).Nkind = N_Selective_Accept);
4251 Set_List4_With_Parent (N, Val);
4252 end Set_Else_Statements;
4254 procedure Set_Elsif_Parts
4255 (N : Node_Id; Val : List_Id) is
4257 pragma Assert (False
4258 or else NT (N).Nkind = N_If_Statement);
4259 Set_List3_With_Parent (N, Val);
4260 end Set_Elsif_Parts;
4262 procedure Set_Enclosing_Variant
4263 (N : Node_Id; Val : Node_Id) is
4265 pragma Assert (False
4266 or else NT (N).Nkind = N_Variant);
4267 Set_Node2 (N, Val); -- semantic field, no parent set
4268 end Set_Enclosing_Variant;
4270 procedure Set_End_Label
4271 (N : Node_Id; Val : Node_Id) is
4273 pragma Assert (False
4274 or else NT (N).Nkind = N_Enumeration_Type_Definition
4275 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4276 or else NT (N).Nkind = N_Loop_Statement
4277 or else NT (N).Nkind = N_Package_Specification
4278 or else NT (N).Nkind = N_Protected_Body
4279 or else NT (N).Nkind = N_Protected_Definition
4280 or else NT (N).Nkind = N_Record_Definition
4281 or else NT (N).Nkind = N_Task_Definition);
4282 Set_Node4_With_Parent (N, Val);
4285 procedure Set_End_Span
4286 (N : Node_Id; Val : Uint) is
4288 pragma Assert (False
4289 or else NT (N).Nkind = N_Case_Statement
4290 or else NT (N).Nkind = N_If_Statement);
4294 procedure Set_Entity
4295 (N : Node_Id; Val : Node_Id) is
4297 pragma Assert (False
4298 or else NT (N).Nkind in N_Has_Entity
4299 or else NT (N).Nkind = N_Aspect_Specification
4300 or else NT (N).Nkind = N_Attribute_Definition_Clause
4301 or else NT (N).Nkind = N_Freeze_Entity
4302 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4303 Set_Node4 (N, Val); -- semantic field, no parent set
4306 procedure Set_Entry_Body_Formal_Part
4307 (N : Node_Id; Val : Node_Id) is
4309 pragma Assert (False
4310 or else NT (N).Nkind = N_Entry_Body);
4311 Set_Node5_With_Parent (N, Val);
4312 end Set_Entry_Body_Formal_Part;
4314 procedure Set_Entry_Call_Alternative
4315 (N : Node_Id; Val : Node_Id) is
4317 pragma Assert (False
4318 or else NT (N).Nkind = N_Conditional_Entry_Call
4319 or else NT (N).Nkind = N_Timed_Entry_Call);
4320 Set_Node1_With_Parent (N, Val);
4321 end Set_Entry_Call_Alternative;
4323 procedure Set_Entry_Call_Statement
4324 (N : Node_Id; Val : Node_Id) is
4326 pragma Assert (False
4327 or else NT (N).Nkind = N_Entry_Call_Alternative);
4328 Set_Node1_With_Parent (N, Val);
4329 end Set_Entry_Call_Statement;
4331 procedure Set_Entry_Direct_Name
4332 (N : Node_Id; Val : Node_Id) is
4334 pragma Assert (False
4335 or else NT (N).Nkind = N_Accept_Statement);
4336 Set_Node1_With_Parent (N, Val);
4337 end Set_Entry_Direct_Name;
4339 procedure Set_Entry_Index
4340 (N : Node_Id; Val : Node_Id) is
4342 pragma Assert (False
4343 or else NT (N).Nkind = N_Accept_Statement);
4344 Set_Node5_With_Parent (N, Val);
4345 end Set_Entry_Index;
4347 procedure Set_Entry_Index_Specification
4348 (N : Node_Id; Val : Node_Id) is
4350 pragma Assert (False
4351 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4352 Set_Node4_With_Parent (N, Val);
4353 end Set_Entry_Index_Specification;
4356 (N : Node_Id; Val : Node_Id) is
4358 pragma Assert (False
4359 or else NT (N).Nkind in N_Has_Etype);
4360 Set_Node5 (N, Val); -- semantic field, no parent set
4363 procedure Set_Exception_Choices
4364 (N : Node_Id; Val : List_Id) is
4366 pragma Assert (False
4367 or else NT (N).Nkind = N_Exception_Handler);
4368 Set_List4_With_Parent (N, Val);
4369 end Set_Exception_Choices;
4371 procedure Set_Exception_Handlers
4372 (N : Node_Id; Val : List_Id) is
4374 pragma Assert (False
4375 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4376 Set_List5_With_Parent (N, Val);
4377 end Set_Exception_Handlers;
4379 procedure Set_Exception_Junk
4380 (N : Node_Id; Val : Boolean := True) is
4382 pragma Assert (False
4383 or else NT (N).Nkind = N_Block_Statement
4384 or else NT (N).Nkind = N_Goto_Statement
4385 or else NT (N).Nkind = N_Label
4386 or else NT (N).Nkind = N_Object_Declaration
4387 or else NT (N).Nkind = N_Subtype_Declaration);
4389 end Set_Exception_Junk;
4391 procedure Set_Exception_Label
4392 (N : Node_Id; Val : Node_Id) is
4394 pragma Assert (False
4395 or else NT (N).Nkind = N_Exception_Handler
4396 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4397 or else NT (N).Nkind = N_Push_Program_Error_Label
4398 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4399 Set_Node5 (N, Val); -- semantic field, no parent set
4400 end Set_Exception_Label;
4402 procedure Set_Expansion_Delayed
4403 (N : Node_Id; Val : Boolean := True) is
4405 pragma Assert (False
4406 or else NT (N).Nkind = N_Aggregate
4407 or else NT (N).Nkind = N_Extension_Aggregate);
4408 Set_Flag11 (N, Val);
4409 end Set_Expansion_Delayed;
4411 procedure Set_Explicit_Actual_Parameter
4412 (N : Node_Id; Val : Node_Id) is
4414 pragma Assert (False
4415 or else NT (N).Nkind = N_Parameter_Association);
4416 Set_Node3_With_Parent (N, Val);
4417 end Set_Explicit_Actual_Parameter;
4419 procedure Set_Explicit_Generic_Actual_Parameter
4420 (N : Node_Id; Val : Node_Id) is
4422 pragma Assert (False
4423 or else NT (N).Nkind = N_Generic_Association);
4424 Set_Node1_With_Parent (N, Val);
4425 end Set_Explicit_Generic_Actual_Parameter;
4427 procedure Set_Expression
4428 (N : Node_Id; Val : Node_Id) is
4430 pragma Assert (False
4431 or else NT (N).Nkind = N_Allocator
4432 or else NT (N).Nkind = N_Aspect_Specification
4433 or else NT (N).Nkind = N_Assignment_Statement
4434 or else NT (N).Nkind = N_At_Clause
4435 or else NT (N).Nkind = N_Attribute_Definition_Clause
4436 or else NT (N).Nkind = N_Case_Expression
4437 or else NT (N).Nkind = N_Case_Expression_Alternative
4438 or else NT (N).Nkind = N_Case_Statement
4439 or else NT (N).Nkind = N_Code_Statement
4440 or else NT (N).Nkind = N_Component_Association
4441 or else NT (N).Nkind = N_Component_Declaration
4442 or else NT (N).Nkind = N_Delay_Relative_Statement
4443 or else NT (N).Nkind = N_Delay_Until_Statement
4444 or else NT (N).Nkind = N_Discriminant_Association
4445 or else NT (N).Nkind = N_Discriminant_Specification
4446 or else NT (N).Nkind = N_Exception_Declaration
4447 or else NT (N).Nkind = N_Expression_Function
4448 or else NT (N).Nkind = N_Expression_With_Actions
4449 or else NT (N).Nkind = N_Free_Statement
4450 or else NT (N).Nkind = N_Mod_Clause
4451 or else NT (N).Nkind = N_Modular_Type_Definition
4452 or else NT (N).Nkind = N_Number_Declaration
4453 or else NT (N).Nkind = N_Object_Declaration
4454 or else NT (N).Nkind = N_Parameter_Specification
4455 or else NT (N).Nkind = N_Pragma_Argument_Association
4456 or else NT (N).Nkind = N_Qualified_Expression
4457 or else NT (N).Nkind = N_Raise_Expression
4458 or else NT (N).Nkind = N_Raise_Statement
4459 or else NT (N).Nkind = N_Simple_Return_Statement
4460 or else NT (N).Nkind = N_Type_Conversion
4461 or else NT (N).Nkind = N_Unchecked_Expression
4462 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4463 Set_Node3_With_Parent (N, Val);
4466 procedure Set_Expressions
4467 (N : Node_Id; Val : List_Id) is
4469 pragma Assert (False
4470 or else NT (N).Nkind = N_Aggregate
4471 or else NT (N).Nkind = N_Attribute_Reference
4472 or else NT (N).Nkind = N_Extension_Aggregate
4473 or else NT (N).Nkind = N_If_Expression
4474 or else NT (N).Nkind = N_Indexed_Component);
4475 Set_List1_With_Parent (N, Val);
4476 end Set_Expressions;
4478 procedure Set_First_Bit
4479 (N : Node_Id; Val : Node_Id) is
4481 pragma Assert (False
4482 or else NT (N).Nkind = N_Component_Clause);
4483 Set_Node3_With_Parent (N, Val);
4486 procedure Set_First_Inlined_Subprogram
4487 (N : Node_Id; Val : Entity_Id) is
4489 pragma Assert (False
4490 or else NT (N).Nkind = N_Compilation_Unit);
4491 Set_Node3 (N, Val); -- semantic field, no parent set
4492 end Set_First_Inlined_Subprogram;
4494 procedure Set_First_Name
4495 (N : Node_Id; Val : Boolean := True) is
4497 pragma Assert (False
4498 or else NT (N).Nkind = N_With_Clause);
4502 procedure Set_First_Named_Actual
4503 (N : Node_Id; Val : Node_Id) is
4505 pragma Assert (False
4506 or else NT (N).Nkind = N_Entry_Call_Statement
4507 or else NT (N).Nkind = N_Function_Call
4508 or else NT (N).Nkind = N_Procedure_Call_Statement);
4509 Set_Node4 (N, Val); -- semantic field, no parent set
4510 end Set_First_Named_Actual;
4512 procedure Set_First_Real_Statement
4513 (N : Node_Id; Val : Node_Id) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4517 Set_Node2 (N, Val); -- semantic field, no parent set
4518 end Set_First_Real_Statement;
4520 procedure Set_First_Subtype_Link
4521 (N : Node_Id; Val : Entity_Id) is
4523 pragma Assert (False
4524 or else NT (N).Nkind = N_Freeze_Entity);
4525 Set_Node5 (N, Val); -- semantic field, no parent set
4526 end Set_First_Subtype_Link;
4528 procedure Set_Float_Truncate
4529 (N : Node_Id; Val : Boolean := True) is
4531 pragma Assert (False
4532 or else NT (N).Nkind = N_Type_Conversion);
4533 Set_Flag11 (N, Val);
4534 end Set_Float_Truncate;
4536 procedure Set_Formal_Type_Definition
4537 (N : Node_Id; Val : Node_Id) is
4539 pragma Assert (False
4540 or else NT (N).Nkind = N_Formal_Type_Declaration);
4541 Set_Node3_With_Parent (N, Val);
4542 end Set_Formal_Type_Definition;
4544 procedure Set_Forwards_OK
4545 (N : Node_Id; Val : Boolean := True) is
4547 pragma Assert (False
4548 or else NT (N).Nkind = N_Assignment_Statement);
4550 end Set_Forwards_OK;
4552 procedure Set_From_Aspect_Specification
4553 (N : Node_Id; Val : Boolean := True) is
4555 pragma Assert (False
4556 or else NT (N).Nkind = N_Attribute_Definition_Clause
4557 or else NT (N).Nkind = N_Pragma);
4558 Set_Flag13 (N, Val);
4559 end Set_From_Aspect_Specification;
4561 procedure Set_From_At_End
4562 (N : Node_Id; Val : Boolean := True) is
4564 pragma Assert (False
4565 or else NT (N).Nkind = N_Raise_Statement);
4567 end Set_From_At_End;
4569 procedure Set_From_At_Mod
4570 (N : Node_Id; Val : Boolean := True) is
4572 pragma Assert (False
4573 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4575 end Set_From_At_Mod;
4577 procedure Set_From_Default
4578 (N : Node_Id; Val : Boolean := True) is
4580 pragma Assert (False
4581 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4583 end Set_From_Default;
4585 procedure Set_Generalized_Indexing
4586 (N : Node_Id; Val : Node_Id) is
4588 pragma Assert (False
4589 or else NT (N).Nkind = N_Indexed_Component);
4591 end Set_Generalized_Indexing;
4593 procedure Set_Generic_Associations
4594 (N : Node_Id; Val : List_Id) is
4596 pragma Assert (False
4597 or else NT (N).Nkind = N_Formal_Package_Declaration
4598 or else NT (N).Nkind = N_Function_Instantiation
4599 or else NT (N).Nkind = N_Package_Instantiation
4600 or else NT (N).Nkind = N_Procedure_Instantiation);
4601 Set_List3_With_Parent (N, Val);
4602 end Set_Generic_Associations;
4604 procedure Set_Generic_Formal_Declarations
4605 (N : Node_Id; Val : List_Id) is
4607 pragma Assert (False
4608 or else NT (N).Nkind = N_Generic_Package_Declaration
4609 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4610 Set_List2_With_Parent (N, Val);
4611 end Set_Generic_Formal_Declarations;
4613 procedure Set_Generic_Parent
4614 (N : Node_Id; Val : Node_Id) is
4616 pragma Assert (False
4617 or else NT (N).Nkind = N_Function_Specification
4618 or else NT (N).Nkind = N_Package_Specification
4619 or else NT (N).Nkind = N_Procedure_Specification);
4621 end Set_Generic_Parent;
4623 procedure Set_Generic_Parent_Type
4624 (N : Node_Id; Val : Node_Id) is
4626 pragma Assert (False
4627 or else NT (N).Nkind = N_Subtype_Declaration);
4629 end Set_Generic_Parent_Type;
4631 procedure Set_Handled_Statement_Sequence
4632 (N : Node_Id; Val : Node_Id) is
4634 pragma Assert (False
4635 or else NT (N).Nkind = N_Accept_Statement
4636 or else NT (N).Nkind = N_Block_Statement
4637 or else NT (N).Nkind = N_Entry_Body
4638 or else NT (N).Nkind = N_Extended_Return_Statement
4639 or else NT (N).Nkind = N_Package_Body
4640 or else NT (N).Nkind = N_Subprogram_Body
4641 or else NT (N).Nkind = N_Task_Body);
4642 Set_Node4_With_Parent (N, Val);
4643 end Set_Handled_Statement_Sequence;
4645 procedure Set_Handler_List_Entry
4646 (N : Node_Id; Val : Node_Id) is
4648 pragma Assert (False
4649 or else NT (N).Nkind = N_Object_Declaration);
4651 end Set_Handler_List_Entry;
4653 procedure Set_Has_Created_Identifier
4654 (N : Node_Id; Val : Boolean := True) is
4656 pragma Assert (False
4657 or else NT (N).Nkind = N_Block_Statement
4658 or else NT (N).Nkind = N_Loop_Statement);
4659 Set_Flag15 (N, Val);
4660 end Set_Has_Created_Identifier;
4662 procedure Set_Has_Dereference_Action
4663 (N : Node_Id; Val : Boolean := True) is
4665 pragma Assert (False
4666 or else NT (N).Nkind = N_Explicit_Dereference);
4667 Set_Flag13 (N, Val);
4668 end Set_Has_Dereference_Action;
4670 procedure Set_Has_Dynamic_Length_Check
4671 (N : Node_Id; Val : Boolean := True) is
4673 pragma Assert (False
4674 or else NT (N).Nkind in N_Subexpr);
4675 Set_Flag10 (N, Val);
4676 end Set_Has_Dynamic_Length_Check;
4678 procedure Set_Has_Dynamic_Range_Check
4679 (N : Node_Id; Val : Boolean := True) is
4681 pragma Assert (False
4682 or else NT (N).Nkind = N_Subtype_Declaration
4683 or else NT (N).Nkind in N_Subexpr);
4684 Set_Flag12 (N, Val);
4685 end Set_Has_Dynamic_Range_Check;
4687 procedure Set_Has_Init_Expression
4688 (N : Node_Id; Val : Boolean := True) is
4690 pragma Assert (False
4691 or else NT (N).Nkind = N_Object_Declaration);
4692 Set_Flag14 (N, Val);
4693 end Set_Has_Init_Expression;
4695 procedure Set_Has_Local_Raise
4696 (N : Node_Id; Val : Boolean := True) is
4698 pragma Assert (False
4699 or else NT (N).Nkind = N_Exception_Handler);
4701 end Set_Has_Local_Raise;
4703 procedure Set_Has_No_Elaboration_Code
4704 (N : Node_Id; Val : Boolean := True) is
4706 pragma Assert (False
4707 or else NT (N).Nkind = N_Compilation_Unit);
4708 Set_Flag17 (N, Val);
4709 end Set_Has_No_Elaboration_Code;
4711 procedure Set_Has_Pragma_Suppress_All
4712 (N : Node_Id; Val : Boolean := True) is
4714 pragma Assert (False
4715 or else NT (N).Nkind = N_Compilation_Unit);
4716 Set_Flag14 (N, Val);
4717 end Set_Has_Pragma_Suppress_All;
4719 procedure Set_Has_Private_View
4720 (N : Node_Id; Val : Boolean := True) is
4722 pragma Assert (False
4723 or else NT (N).Nkind in N_Op
4724 or else NT (N).Nkind = N_Character_Literal
4725 or else NT (N).Nkind = N_Expanded_Name
4726 or else NT (N).Nkind = N_Identifier
4727 or else NT (N).Nkind = N_Operator_Symbol);
4728 Set_Flag11 (N, Val);
4729 end Set_Has_Private_View;
4731 procedure Set_Has_Relative_Deadline_Pragma
4732 (N : Node_Id; Val : Boolean := True) is
4734 pragma Assert (False
4735 or else NT (N).Nkind = N_Subprogram_Body
4736 or else NT (N).Nkind = N_Task_Definition);
4738 end Set_Has_Relative_Deadline_Pragma;
4740 procedure Set_Has_Self_Reference
4741 (N : Node_Id; Val : Boolean := True) is
4743 pragma Assert (False
4744 or else NT (N).Nkind = N_Aggregate
4745 or else NT (N).Nkind = N_Extension_Aggregate);
4746 Set_Flag13 (N, Val);
4747 end Set_Has_Self_Reference;
4749 procedure Set_Has_SP_Choice
4750 (N : Node_Id; Val : Boolean := True) is
4752 pragma Assert (False
4753 or else NT (N).Nkind = N_Case_Expression_Alternative
4754 or else NT (N).Nkind = N_Case_Statement_Alternative
4755 or else NT (N).Nkind = N_Variant);
4756 Set_Flag15 (N, Val);
4757 end Set_Has_SP_Choice;
4759 procedure Set_Has_Storage_Size_Pragma
4760 (N : Node_Id; Val : Boolean := True) is
4762 pragma Assert (False
4763 or else NT (N).Nkind = N_Task_Definition);
4765 end Set_Has_Storage_Size_Pragma;
4767 procedure Set_Has_Wide_Character
4768 (N : Node_Id; Val : Boolean := True) is
4770 pragma Assert (False
4771 or else NT (N).Nkind = N_String_Literal);
4772 Set_Flag11 (N, Val);
4773 end Set_Has_Wide_Character;
4775 procedure Set_Has_Wide_Wide_Character
4776 (N : Node_Id; Val : Boolean := True) is
4778 pragma Assert (False
4779 or else NT (N).Nkind = N_String_Literal);
4780 Set_Flag13 (N, Val);
4781 end Set_Has_Wide_Wide_Character;
4783 procedure Set_Header_Size_Added
4784 (N : Node_Id; Val : Boolean := True) is
4786 pragma Assert (False
4787 or else NT (N).Nkind = N_Attribute_Reference);
4788 Set_Flag11 (N, Val);
4789 end Set_Header_Size_Added;
4791 procedure Set_Hidden_By_Use_Clause
4792 (N : Node_Id; Val : Elist_Id) is
4794 pragma Assert (False
4795 or else NT (N).Nkind = N_Use_Package_Clause
4796 or else NT (N).Nkind = N_Use_Type_Clause);
4797 Set_Elist4 (N, Val);
4798 end Set_Hidden_By_Use_Clause;
4800 procedure Set_High_Bound
4801 (N : Node_Id; Val : Node_Id) is
4803 pragma Assert (False
4804 or else NT (N).Nkind = N_Range
4805 or else NT (N).Nkind = N_Real_Range_Specification
4806 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4807 Set_Node2_With_Parent (N, Val);
4810 procedure Set_Identifier
4811 (N : Node_Id; Val : Node_Id) is
4813 pragma Assert (False
4814 or else NT (N).Nkind = N_Aspect_Specification
4815 or else NT (N).Nkind = N_At_Clause
4816 or else NT (N).Nkind = N_Block_Statement
4817 or else NT (N).Nkind = N_Designator
4818 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4819 or else NT (N).Nkind = N_Label
4820 or else NT (N).Nkind = N_Loop_Statement
4821 or else NT (N).Nkind = N_Record_Representation_Clause);
4822 Set_Node1_With_Parent (N, Val);
4825 procedure Set_Implicit_With
4826 (N : Node_Id; Val : Boolean := True) is
4828 pragma Assert (False
4829 or else NT (N).Nkind = N_With_Clause);
4830 Set_Flag16 (N, Val);
4831 end Set_Implicit_With;
4833 procedure Set_Implicit_With_From_Instantiation
4834 (N : Node_Id; Val : Boolean := True) is
4836 pragma Assert (False
4837 or else NT (N).Nkind = N_With_Clause);
4838 Set_Flag12 (N, Val);
4839 end Set_Implicit_With_From_Instantiation;
4841 procedure Set_Interface_List
4842 (N : Node_Id; Val : List_Id) is
4844 pragma Assert (False
4845 or else NT (N).Nkind = N_Derived_Type_Definition
4846 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4847 or else NT (N).Nkind = N_Private_Extension_Declaration
4848 or else NT (N).Nkind = N_Protected_Type_Declaration
4849 or else NT (N).Nkind = N_Record_Definition
4850 or else NT (N).Nkind = N_Single_Protected_Declaration
4851 or else NT (N).Nkind = N_Single_Task_Declaration
4852 or else NT (N).Nkind = N_Task_Type_Declaration);
4853 Set_List2_With_Parent (N, Val);
4854 end Set_Interface_List;
4856 procedure Set_Interface_Present
4857 (N : Node_Id; Val : Boolean := True) is
4859 pragma Assert (False
4860 or else NT (N).Nkind = N_Derived_Type_Definition
4861 or else NT (N).Nkind = N_Record_Definition);
4862 Set_Flag16 (N, Val);
4863 end Set_Interface_Present;
4865 procedure Set_Import_Interface_Present
4866 (N : Node_Id; Val : Boolean := True) is
4868 pragma Assert (False
4869 or else NT (N).Nkind = N_Pragma);
4870 Set_Flag16 (N, Val);
4871 end Set_Import_Interface_Present;
4873 procedure Set_In_Present
4874 (N : Node_Id; Val : Boolean := True) is
4876 pragma Assert (False
4877 or else NT (N).Nkind = N_Formal_Object_Declaration
4878 or else NT (N).Nkind = N_Parameter_Specification);
4879 Set_Flag15 (N, Val);
4882 procedure Set_Includes_Infinities
4883 (N : Node_Id; Val : Boolean := True) is
4885 pragma Assert (False
4886 or else NT (N).Nkind = N_Range);
4887 Set_Flag11 (N, Val);
4888 end Set_Includes_Infinities;
4890 procedure Set_Incomplete_View
4891 (N : Node_Id; Val : Node_Id) is
4893 pragma Assert (False
4894 or else NT (N).Nkind = N_Full_Type_Declaration);
4895 Set_Node2 (N, Val); -- semantic field, no Parent set
4896 end Set_Incomplete_View;
4898 procedure Set_Inherited_Discriminant
4899 (N : Node_Id; Val : Boolean := True) is
4901 pragma Assert (False
4902 or else NT (N).Nkind = N_Component_Association);
4903 Set_Flag13 (N, Val);
4904 end Set_Inherited_Discriminant;
4906 procedure Set_Instance_Spec
4907 (N : Node_Id; Val : Node_Id) is
4909 pragma Assert (False
4910 or else NT (N).Nkind = N_Formal_Package_Declaration
4911 or else NT (N).Nkind = N_Function_Instantiation
4912 or else NT (N).Nkind = N_Package_Instantiation
4913 or else NT (N).Nkind = N_Procedure_Instantiation);
4914 Set_Node5 (N, Val); -- semantic field, no Parent set
4915 end Set_Instance_Spec;
4917 procedure Set_Intval
4918 (N : Node_Id; Val : Uint) is
4920 pragma Assert (False
4921 or else NT (N).Nkind = N_Integer_Literal);
4925 procedure Set_Is_Accessibility_Actual
4926 (N : Node_Id; Val : Boolean := True) is
4928 pragma Assert (False
4929 or else NT (N).Nkind = N_Parameter_Association);
4930 Set_Flag13 (N, Val);
4931 end Set_Is_Accessibility_Actual;
4933 procedure Set_Is_Asynchronous_Call_Block
4934 (N : Node_Id; Val : Boolean := True) is
4936 pragma Assert (False
4937 or else NT (N).Nkind = N_Block_Statement);
4939 end Set_Is_Asynchronous_Call_Block;
4941 procedure Set_Is_Boolean_Aspect
4942 (N : Node_Id; Val : Boolean := True) is
4944 pragma Assert (False
4945 or else NT (N).Nkind = N_Aspect_Specification);
4946 Set_Flag16 (N, Val);
4947 end Set_Is_Boolean_Aspect;
4949 procedure Set_Is_Checked
4950 (N : Node_Id; Val : Boolean := True) is
4952 pragma Assert (False
4953 or else NT (N).Nkind = N_Aspect_Specification
4954 or else NT (N).Nkind = N_Pragma);
4955 Set_Flag11 (N, Val);
4958 procedure Set_Is_Component_Left_Opnd
4959 (N : Node_Id; Val : Boolean := True) is
4961 pragma Assert (False
4962 or else NT (N).Nkind = N_Op_Concat);
4963 Set_Flag13 (N, Val);
4964 end Set_Is_Component_Left_Opnd;
4966 procedure Set_Is_Component_Right_Opnd
4967 (N : Node_Id; Val : Boolean := True) is
4969 pragma Assert (False
4970 or else NT (N).Nkind = N_Op_Concat);
4971 Set_Flag14 (N, Val);
4972 end Set_Is_Component_Right_Opnd;
4974 procedure Set_Is_Controlling_Actual
4975 (N : Node_Id; Val : Boolean := True) is
4977 pragma Assert (False
4978 or else NT (N).Nkind in N_Subexpr);
4979 Set_Flag16 (N, Val);
4980 end Set_Is_Controlling_Actual;
4982 procedure Set_Is_Delayed_Aspect
4983 (N : Node_Id; Val : Boolean := True) is
4985 pragma Assert (False
4986 or else NT (N).Nkind = N_Aspect_Specification
4987 or else NT (N).Nkind = N_Attribute_Definition_Clause
4988 or else NT (N).Nkind = N_Pragma);
4989 Set_Flag14 (N, Val);
4990 end Set_Is_Delayed_Aspect;
4992 procedure Set_Is_Disabled
4993 (N : Node_Id; Val : Boolean := True) is
4995 pragma Assert (False
4996 or else NT (N).Nkind = N_Aspect_Specification
4997 or else NT (N).Nkind = N_Pragma);
4998 Set_Flag15 (N, Val);
4999 end Set_Is_Disabled;
5001 procedure Set_Is_Dynamic_Coextension
5002 (N : Node_Id; Val : Boolean := True) is
5004 pragma Assert (False
5005 or else NT (N).Nkind = N_Allocator);
5006 Set_Flag18 (N, Val);
5007 end Set_Is_Dynamic_Coextension;
5009 procedure Set_Is_Elsif
5010 (N : Node_Id; Val : Boolean := True) is
5012 pragma Assert (False
5013 or else NT (N).Nkind = N_If_Expression);
5014 Set_Flag13 (N, Val);
5017 procedure Set_Is_Entry_Barrier_Function
5018 (N : Node_Id; Val : Boolean := True) is
5020 pragma Assert (False
5021 or else NT (N).Nkind = N_Subprogram_Body);
5023 end Set_Is_Entry_Barrier_Function;
5025 procedure Set_Is_Expanded_Build_In_Place_Call
5026 (N : Node_Id; Val : Boolean := True) is
5028 pragma Assert (False
5029 or else NT (N).Nkind = N_Function_Call);
5030 Set_Flag11 (N, Val);
5031 end Set_Is_Expanded_Build_In_Place_Call;
5033 procedure Set_Is_Finalization_Wrapper
5034 (N : Node_Id; Val : Boolean := True) is
5036 pragma Assert (False
5037 or else NT (N).Nkind = N_Block_Statement);
5039 end Set_Is_Finalization_Wrapper;
5041 procedure Set_Is_Folded_In_Parser
5042 (N : Node_Id; Val : Boolean := True) is
5044 pragma Assert (False
5045 or else NT (N).Nkind = N_String_Literal);
5047 end Set_Is_Folded_In_Parser;
5049 procedure Set_Is_Ignored
5050 (N : Node_Id; Val : Boolean := True) is
5052 pragma Assert (False
5053 or else NT (N).Nkind = N_Aspect_Specification
5054 or else NT (N).Nkind = N_Pragma);
5058 procedure Set_Is_In_Discriminant_Check
5059 (N : Node_Id; Val : Boolean := True) is
5061 pragma Assert (False
5062 or else NT (N).Nkind = N_Selected_Component);
5063 Set_Flag11 (N, Val);
5064 end Set_Is_In_Discriminant_Check;
5066 procedure Set_Is_Machine_Number
5067 (N : Node_Id; Val : Boolean := True) is
5069 pragma Assert (False
5070 or else NT (N).Nkind = N_Real_Literal);
5071 Set_Flag11 (N, Val);
5072 end Set_Is_Machine_Number;
5074 procedure Set_Is_Null_Loop
5075 (N : Node_Id; Val : Boolean := True) is
5077 pragma Assert (False
5078 or else NT (N).Nkind = N_Loop_Statement);
5079 Set_Flag16 (N, Val);
5080 end Set_Is_Null_Loop;
5082 procedure Set_Is_Overloaded
5083 (N : Node_Id; Val : Boolean := True) is
5085 pragma Assert (False
5086 or else NT (N).Nkind in N_Subexpr);
5088 end Set_Is_Overloaded;
5090 procedure Set_Is_Power_Of_2_For_Shift
5091 (N : Node_Id; Val : Boolean := True) is
5093 pragma Assert (False
5094 or else NT (N).Nkind = N_Op_Expon);
5095 Set_Flag13 (N, Val);
5096 end Set_Is_Power_Of_2_For_Shift;
5098 procedure Set_Is_Prefixed_Call
5099 (N : Node_Id; Val : Boolean := True) is
5101 pragma Assert (False
5102 or else NT (N).Nkind = N_Selected_Component);
5103 Set_Flag17 (N, Val);
5104 end Set_Is_Prefixed_Call;
5106 procedure Set_Is_Protected_Subprogram_Body
5107 (N : Node_Id; Val : Boolean := True) is
5109 pragma Assert (False
5110 or else NT (N).Nkind = N_Subprogram_Body);
5112 end Set_Is_Protected_Subprogram_Body;
5114 procedure Set_Is_Static_Coextension
5115 (N : Node_Id; Val : Boolean := True) is
5117 pragma Assert (False
5118 or else NT (N).Nkind = N_Allocator);
5119 Set_Flag14 (N, Val);
5120 end Set_Is_Static_Coextension;
5122 procedure Set_Is_Static_Expression
5123 (N : Node_Id; Val : Boolean := True) is
5125 pragma Assert (False
5126 or else NT (N).Nkind in N_Subexpr);
5128 end Set_Is_Static_Expression;
5130 procedure Set_Is_Subprogram_Descriptor
5131 (N : Node_Id; Val : Boolean := True) is
5133 pragma Assert (False
5134 or else NT (N).Nkind = N_Object_Declaration);
5135 Set_Flag16 (N, Val);
5136 end Set_Is_Subprogram_Descriptor;
5138 procedure Set_Is_Task_Allocation_Block
5139 (N : Node_Id; Val : Boolean := True) is
5141 pragma Assert (False
5142 or else NT (N).Nkind = N_Block_Statement);
5144 end Set_Is_Task_Allocation_Block;
5146 procedure Set_Is_Task_Master
5147 (N : Node_Id; Val : Boolean := True) is
5149 pragma Assert (False
5150 or else NT (N).Nkind = N_Block_Statement
5151 or else NT (N).Nkind = N_Subprogram_Body
5152 or else NT (N).Nkind = N_Task_Body);
5154 end Set_Is_Task_Master;
5156 procedure Set_Iteration_Scheme
5157 (N : Node_Id; Val : Node_Id) is
5159 pragma Assert (False
5160 or else NT (N).Nkind = N_Loop_Statement);
5161 Set_Node2_With_Parent (N, Val);
5162 end Set_Iteration_Scheme;
5164 procedure Set_Iterator_Specification
5165 (N : Node_Id; Val : Node_Id) is
5167 pragma Assert (False
5168 or else NT (N).Nkind = N_Iteration_Scheme
5169 or else NT (N).Nkind = N_Quantified_Expression);
5170 Set_Node2_With_Parent (N, Val);
5171 end Set_Iterator_Specification;
5174 (N : Node_Id; Val : Entity_Id) is
5176 pragma Assert (False
5177 or else NT (N).Nkind = N_Itype_Reference);
5178 Set_Node1 (N, Val); -- no parent, semantic field
5181 procedure Set_Kill_Range_Check
5182 (N : Node_Id; Val : Boolean := True) is
5184 pragma Assert (False
5185 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5186 Set_Flag11 (N, Val);
5187 end Set_Kill_Range_Check;
5189 procedure Set_Label_Construct
5190 (N : Node_Id; Val : Node_Id) is
5192 pragma Assert (False
5193 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5194 Set_Node2 (N, Val); -- semantic field, no parent set
5195 end Set_Label_Construct;
5197 procedure Set_Last_Bit
5198 (N : Node_Id; Val : Node_Id) is
5200 pragma Assert (False
5201 or else NT (N).Nkind = N_Component_Clause);
5202 Set_Node4_With_Parent (N, Val);
5205 procedure Set_Last_Name
5206 (N : Node_Id; Val : Boolean := True) is
5208 pragma Assert (False
5209 or else NT (N).Nkind = N_With_Clause);
5213 procedure Set_Left_Opnd
5214 (N : Node_Id; Val : Node_Id) is
5216 pragma Assert (False
5217 or else NT (N).Nkind = N_And_Then
5218 or else NT (N).Nkind = N_In
5219 or else NT (N).Nkind = N_Not_In
5220 or else NT (N).Nkind = N_Or_Else
5221 or else NT (N).Nkind in N_Binary_Op);
5222 Set_Node2_With_Parent (N, Val);
5225 procedure Set_Library_Unit
5226 (N : Node_Id; Val : Node_Id) is
5228 pragma Assert (False
5229 or else NT (N).Nkind = N_Compilation_Unit
5230 or else NT (N).Nkind = N_Package_Body_Stub
5231 or else NT (N).Nkind = N_Protected_Body_Stub
5232 or else NT (N).Nkind = N_Subprogram_Body_Stub
5233 or else NT (N).Nkind = N_Task_Body_Stub
5234 or else NT (N).Nkind = N_With_Clause);
5235 Set_Node4 (N, Val); -- semantic field, no parent set
5236 end Set_Library_Unit;
5238 procedure Set_Limited_View_Installed
5239 (N : Node_Id; Val : Boolean := True) is
5241 pragma Assert (False
5242 or else NT (N).Nkind = N_Package_Specification
5243 or else NT (N).Nkind = N_With_Clause);
5244 Set_Flag18 (N, Val);
5245 end Set_Limited_View_Installed;
5247 procedure Set_Limited_Present
5248 (N : Node_Id; Val : Boolean := True) is
5250 pragma Assert (False
5251 or else NT (N).Nkind = N_Derived_Type_Definition
5252 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5253 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5254 or else NT (N).Nkind = N_Private_Extension_Declaration
5255 or else NT (N).Nkind = N_Private_Type_Declaration
5256 or else NT (N).Nkind = N_Record_Definition
5257 or else NT (N).Nkind = N_With_Clause);
5258 Set_Flag17 (N, Val);
5259 end Set_Limited_Present;
5261 procedure Set_Literals
5262 (N : Node_Id; Val : List_Id) is
5264 pragma Assert (False
5265 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5266 Set_List1_With_Parent (N, Val);
5269 procedure Set_Local_Raise_Not_OK
5270 (N : Node_Id; Val : Boolean := True) is
5272 pragma Assert (False
5273 or else NT (N).Nkind = N_Exception_Handler);
5275 end Set_Local_Raise_Not_OK;
5277 procedure Set_Local_Raise_Statements
5278 (N : Node_Id; Val : Elist_Id) is
5280 pragma Assert (False
5281 or else NT (N).Nkind = N_Exception_Handler);
5282 Set_Elist1 (N, Val);
5283 end Set_Local_Raise_Statements;
5285 procedure Set_Loop_Actions
5286 (N : Node_Id; Val : List_Id) is
5288 pragma Assert (False
5289 or else NT (N).Nkind = N_Component_Association);
5290 Set_List2 (N, Val); -- semantic field, no parent set
5291 end Set_Loop_Actions;
5293 procedure Set_Loop_Parameter_Specification
5294 (N : Node_Id; Val : Node_Id) is
5296 pragma Assert (False
5297 or else NT (N).Nkind = N_Iteration_Scheme
5298 or else NT (N).Nkind = N_Quantified_Expression);
5299 Set_Node4_With_Parent (N, Val);
5300 end Set_Loop_Parameter_Specification;
5302 procedure Set_Low_Bound
5303 (N : Node_Id; Val : Node_Id) is
5305 pragma Assert (False
5306 or else NT (N).Nkind = N_Range
5307 or else NT (N).Nkind = N_Real_Range_Specification
5308 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5309 Set_Node1_With_Parent (N, Val);
5312 procedure Set_Mod_Clause
5313 (N : Node_Id; Val : Node_Id) is
5315 pragma Assert (False
5316 or else NT (N).Nkind = N_Record_Representation_Clause);
5317 Set_Node2_With_Parent (N, Val);
5320 procedure Set_More_Ids
5321 (N : Node_Id; Val : Boolean := True) is
5323 pragma Assert (False
5324 or else NT (N).Nkind = N_Component_Declaration
5325 or else NT (N).Nkind = N_Discriminant_Specification
5326 or else NT (N).Nkind = N_Exception_Declaration
5327 or else NT (N).Nkind = N_Formal_Object_Declaration
5328 or else NT (N).Nkind = N_Number_Declaration
5329 or else NT (N).Nkind = N_Object_Declaration
5330 or else NT (N).Nkind = N_Parameter_Specification);
5334 procedure Set_Must_Be_Byte_Aligned
5335 (N : Node_Id; Val : Boolean := True) is
5337 pragma Assert (False
5338 or else NT (N).Nkind = N_Attribute_Reference);
5339 Set_Flag14 (N, Val);
5340 end Set_Must_Be_Byte_Aligned;
5342 procedure Set_Must_Not_Freeze
5343 (N : Node_Id; Val : Boolean := True) is
5345 pragma Assert (False
5346 or else NT (N).Nkind = N_Subtype_Indication
5347 or else NT (N).Nkind in N_Subexpr);
5349 end Set_Must_Not_Freeze;
5351 procedure Set_Must_Not_Override
5352 (N : Node_Id; Val : Boolean := True) is
5354 pragma Assert (False
5355 or else NT (N).Nkind = N_Entry_Declaration
5356 or else NT (N).Nkind = N_Function_Instantiation
5357 or else NT (N).Nkind = N_Function_Specification
5358 or else NT (N).Nkind = N_Procedure_Instantiation
5359 or else NT (N).Nkind = N_Procedure_Specification);
5360 Set_Flag15 (N, Val);
5361 end Set_Must_Not_Override;
5363 procedure Set_Must_Override
5364 (N : Node_Id; Val : Boolean := True) is
5366 pragma Assert (False
5367 or else NT (N).Nkind = N_Entry_Declaration
5368 or else NT (N).Nkind = N_Function_Instantiation
5369 or else NT (N).Nkind = N_Function_Specification
5370 or else NT (N).Nkind = N_Procedure_Instantiation
5371 or else NT (N).Nkind = N_Procedure_Specification);
5372 Set_Flag14 (N, Val);
5373 end Set_Must_Override;
5376 (N : Node_Id; Val : Node_Id) is
5378 pragma Assert (False
5379 or else NT (N).Nkind = N_Assignment_Statement
5380 or else NT (N).Nkind = N_Attribute_Definition_Clause
5381 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5382 or else NT (N).Nkind = N_Designator
5383 or else NT (N).Nkind = N_Entry_Call_Statement
5384 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5385 or else NT (N).Nkind = N_Exit_Statement
5386 or else NT (N).Nkind = N_Formal_Package_Declaration
5387 or else NT (N).Nkind = N_Function_Call
5388 or else NT (N).Nkind = N_Function_Instantiation
5389 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5390 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5391 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5392 or else NT (N).Nkind = N_Goto_Statement
5393 or else NT (N).Nkind = N_Iterator_Specification
5394 or else NT (N).Nkind = N_Object_Renaming_Declaration
5395 or else NT (N).Nkind = N_Package_Instantiation
5396 or else NT (N).Nkind = N_Package_Renaming_Declaration
5397 or else NT (N).Nkind = N_Procedure_Call_Statement
5398 or else NT (N).Nkind = N_Procedure_Instantiation
5399 or else NT (N).Nkind = N_Raise_Expression
5400 or else NT (N).Nkind = N_Raise_Statement
5401 or else NT (N).Nkind = N_Requeue_Statement
5402 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5403 or else NT (N).Nkind = N_Subunit
5404 or else NT (N).Nkind = N_Variant_Part
5405 or else NT (N).Nkind = N_With_Clause);
5406 Set_Node2_With_Parent (N, Val);
5410 (N : Node_Id; Val : List_Id) is
5412 pragma Assert (False
5413 or else NT (N).Nkind = N_Abort_Statement
5414 or else NT (N).Nkind = N_Use_Package_Clause);
5415 Set_List2_With_Parent (N, Val);
5418 procedure Set_Next_Entity
5419 (N : Node_Id; Val : Node_Id) is
5421 pragma Assert (False
5422 or else NT (N).Nkind = N_Defining_Character_Literal
5423 or else NT (N).Nkind = N_Defining_Identifier
5424 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5425 Set_Node2 (N, Val); -- semantic field, no parent set
5426 end Set_Next_Entity;
5428 procedure Set_Next_Exit_Statement
5429 (N : Node_Id; Val : Node_Id) is
5431 pragma Assert (False
5432 or else NT (N).Nkind = N_Exit_Statement);
5433 Set_Node3 (N, Val); -- semantic field, no parent set
5434 end Set_Next_Exit_Statement;
5436 procedure Set_Next_Implicit_With
5437 (N : Node_Id; Val : Node_Id) is
5439 pragma Assert (False
5440 or else NT (N).Nkind = N_With_Clause);
5441 Set_Node3 (N, Val); -- semantic field, no parent set
5442 end Set_Next_Implicit_With;
5444 procedure Set_Next_Named_Actual
5445 (N : Node_Id; Val : Node_Id) is
5447 pragma Assert (False
5448 or else NT (N).Nkind = N_Parameter_Association);
5449 Set_Node4 (N, Val); -- semantic field, no parent set
5450 end Set_Next_Named_Actual;
5452 procedure Set_Next_Pragma
5453 (N : Node_Id; Val : Node_Id) is
5455 pragma Assert (False
5456 or else NT (N).Nkind = N_Pragma);
5457 Set_Node1 (N, Val); -- semantic field, no parent set
5458 end Set_Next_Pragma;
5460 procedure Set_Next_Rep_Item
5461 (N : Node_Id; Val : Node_Id) is
5463 pragma Assert (False
5464 or else NT (N).Nkind = N_Aspect_Specification
5465 or else NT (N).Nkind = N_Attribute_Definition_Clause
5466 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5467 or else NT (N).Nkind = N_Pragma
5468 or else NT (N).Nkind = N_Record_Representation_Clause);
5469 Set_Node5 (N, Val); -- semantic field, no parent set
5470 end Set_Next_Rep_Item;
5472 procedure Set_Next_Use_Clause
5473 (N : Node_Id; Val : Node_Id) is
5475 pragma Assert (False
5476 or else NT (N).Nkind = N_Use_Package_Clause
5477 or else NT (N).Nkind = N_Use_Type_Clause);
5478 Set_Node3 (N, Val); -- semantic field, no parent set
5479 end Set_Next_Use_Clause;
5481 procedure Set_No_Ctrl_Actions
5482 (N : Node_Id; Val : Boolean := True) is
5484 pragma Assert (False
5485 or else NT (N).Nkind = N_Assignment_Statement);
5487 end Set_No_Ctrl_Actions;
5489 procedure Set_No_Elaboration_Check
5490 (N : Node_Id; Val : Boolean := True) is
5492 pragma Assert (False
5493 or else NT (N).Nkind = N_Function_Call
5494 or else NT (N).Nkind = N_Procedure_Call_Statement);
5495 Set_Flag14 (N, Val);
5496 end Set_No_Elaboration_Check;
5498 procedure Set_No_Entities_Ref_In_Spec
5499 (N : Node_Id; Val : Boolean := True) is
5501 pragma Assert (False
5502 or else NT (N).Nkind = N_With_Clause);
5504 end Set_No_Entities_Ref_In_Spec;
5506 procedure Set_No_Initialization
5507 (N : Node_Id; Val : Boolean := True) is
5509 pragma Assert (False
5510 or else NT (N).Nkind = N_Allocator
5511 or else NT (N).Nkind = N_Object_Declaration);
5512 Set_Flag13 (N, Val);
5513 end Set_No_Initialization;
5515 procedure Set_No_Minimize_Eliminate
5516 (N : Node_Id; Val : Boolean := True) is
5518 pragma Assert (False
5519 or else NT (N).Nkind = N_In
5520 or else NT (N).Nkind = N_Not_In);
5521 Set_Flag17 (N, Val);
5522 end Set_No_Minimize_Eliminate;
5524 procedure Set_No_Truncation
5525 (N : Node_Id; Val : Boolean := True) is
5527 pragma Assert (False
5528 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5529 Set_Flag17 (N, Val);
5530 end Set_No_Truncation;
5532 procedure Set_Non_Aliased_Prefix
5533 (N : Node_Id; Val : Boolean := True) is
5535 pragma Assert (False
5536 or else NT (N).Nkind = N_Attribute_Reference);
5537 Set_Flag18 (N, Val);
5538 end Set_Non_Aliased_Prefix;
5540 procedure Set_Null_Present
5541 (N : Node_Id; Val : Boolean := True) is
5543 pragma Assert (False
5544 or else NT (N).Nkind = N_Component_List
5545 or else NT (N).Nkind = N_Procedure_Specification
5546 or else NT (N).Nkind = N_Record_Definition);
5547 Set_Flag13 (N, Val);
5548 end Set_Null_Present;
5550 procedure Set_Null_Exclusion_Present
5551 (N : Node_Id; Val : Boolean := True) is
5553 pragma Assert (False
5554 or else NT (N).Nkind = N_Access_Definition
5555 or else NT (N).Nkind = N_Access_Function_Definition
5556 or else NT (N).Nkind = N_Access_Procedure_Definition
5557 or else NT (N).Nkind = N_Access_To_Object_Definition
5558 or else NT (N).Nkind = N_Allocator
5559 or else NT (N).Nkind = N_Component_Definition
5560 or else NT (N).Nkind = N_Derived_Type_Definition
5561 or else NT (N).Nkind = N_Discriminant_Specification
5562 or else NT (N).Nkind = N_Formal_Object_Declaration
5563 or else NT (N).Nkind = N_Function_Specification
5564 or else NT (N).Nkind = N_Object_Declaration
5565 or else NT (N).Nkind = N_Object_Renaming_Declaration
5566 or else NT (N).Nkind = N_Parameter_Specification
5567 or else NT (N).Nkind = N_Subtype_Declaration);
5568 Set_Flag11 (N, Val);
5569 end Set_Null_Exclusion_Present;
5571 procedure Set_Null_Exclusion_In_Return_Present
5572 (N : Node_Id; Val : Boolean := True) is
5574 pragma Assert (False
5575 or else NT (N).Nkind = N_Access_Function_Definition);
5576 Set_Flag14 (N, Val);
5577 end Set_Null_Exclusion_In_Return_Present;
5579 procedure Set_Null_Record_Present
5580 (N : Node_Id; Val : Boolean := True) is
5582 pragma Assert (False
5583 or else NT (N).Nkind = N_Aggregate
5584 or else NT (N).Nkind = N_Extension_Aggregate);
5585 Set_Flag17 (N, Val);
5586 end Set_Null_Record_Present;
5588 procedure Set_Object_Definition
5589 (N : Node_Id; Val : Node_Id) is
5591 pragma Assert (False
5592 or else NT (N).Nkind = N_Object_Declaration);
5593 Set_Node4_With_Parent (N, Val);
5594 end Set_Object_Definition;
5596 procedure Set_Of_Present
5597 (N : Node_Id; Val : Boolean := True) is
5599 pragma Assert (False
5600 or else NT (N).Nkind = N_Iterator_Specification);
5601 Set_Flag16 (N, Val);
5604 procedure Set_Original_Discriminant
5605 (N : Node_Id; Val : Node_Id) is
5607 pragma Assert (False
5608 or else NT (N).Nkind = N_Identifier);
5609 Set_Node2 (N, Val); -- semantic field, no parent set
5610 end Set_Original_Discriminant;
5612 procedure Set_Original_Entity
5613 (N : Node_Id; Val : Entity_Id) is
5615 pragma Assert (False
5616 or else NT (N).Nkind = N_Integer_Literal
5617 or else NT (N).Nkind = N_Real_Literal);
5618 Set_Node2 (N, Val); -- semantic field, no parent set
5619 end Set_Original_Entity;
5621 procedure Set_Others_Discrete_Choices
5622 (N : Node_Id; Val : List_Id) is
5624 pragma Assert (False
5625 or else NT (N).Nkind = N_Others_Choice);
5626 Set_List1_With_Parent (N, Val);
5627 end Set_Others_Discrete_Choices;
5629 procedure Set_Out_Present
5630 (N : Node_Id; Val : Boolean := True) is
5632 pragma Assert (False
5633 or else NT (N).Nkind = N_Formal_Object_Declaration
5634 or else NT (N).Nkind = N_Parameter_Specification);
5635 Set_Flag17 (N, Val);
5636 end Set_Out_Present;
5638 procedure Set_Parameter_Associations
5639 (N : Node_Id; Val : List_Id) is
5641 pragma Assert (False
5642 or else NT (N).Nkind = N_Entry_Call_Statement
5643 or else NT (N).Nkind = N_Function_Call
5644 or else NT (N).Nkind = N_Procedure_Call_Statement);
5645 Set_List3_With_Parent (N, Val);
5646 end Set_Parameter_Associations;
5648 procedure Set_Parameter_List_Truncated
5649 (N : Node_Id; Val : Boolean := True) is
5651 pragma Assert (False
5652 or else NT (N).Nkind = N_Function_Call
5653 or else NT (N).Nkind = N_Procedure_Call_Statement);
5654 Set_Flag17 (N, Val);
5655 end Set_Parameter_List_Truncated;
5657 procedure Set_Parameter_Specifications
5658 (N : Node_Id; Val : List_Id) is
5660 pragma Assert (False
5661 or else NT (N).Nkind = N_Accept_Statement
5662 or else NT (N).Nkind = N_Access_Function_Definition
5663 or else NT (N).Nkind = N_Access_Procedure_Definition
5664 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5665 or else NT (N).Nkind = N_Entry_Declaration
5666 or else NT (N).Nkind = N_Function_Specification
5667 or else NT (N).Nkind = N_Procedure_Specification);
5668 Set_List3_With_Parent (N, Val);
5669 end Set_Parameter_Specifications;
5671 procedure Set_Parameter_Type
5672 (N : Node_Id; Val : Node_Id) is
5674 pragma Assert (False
5675 or else NT (N).Nkind = N_Parameter_Specification);
5676 Set_Node2_With_Parent (N, Val);
5677 end Set_Parameter_Type;
5679 procedure Set_Parent_Spec
5680 (N : Node_Id; Val : Node_Id) is
5682 pragma Assert (False
5683 or else NT (N).Nkind = N_Function_Instantiation
5684 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5685 or else NT (N).Nkind = N_Generic_Package_Declaration
5686 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5687 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5688 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5689 or else NT (N).Nkind = N_Package_Declaration
5690 or else NT (N).Nkind = N_Package_Instantiation
5691 or else NT (N).Nkind = N_Package_Renaming_Declaration
5692 or else NT (N).Nkind = N_Procedure_Instantiation
5693 or else NT (N).Nkind = N_Subprogram_Declaration
5694 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5695 Set_Node4 (N, Val); -- semantic field, no parent set
5696 end Set_Parent_Spec;
5698 procedure Set_Position
5699 (N : Node_Id; Val : Node_Id) is
5701 pragma Assert (False
5702 or else NT (N).Nkind = N_Component_Clause);
5703 Set_Node2_With_Parent (N, Val);
5706 procedure Set_Pragma_Argument_Associations
5707 (N : Node_Id; Val : List_Id) is
5709 pragma Assert (False
5710 or else NT (N).Nkind = N_Pragma);
5711 Set_List2_With_Parent (N, Val);
5712 end Set_Pragma_Argument_Associations;
5714 procedure Set_Pragma_Identifier
5715 (N : Node_Id; Val : Node_Id) is
5717 pragma Assert (False
5718 or else NT (N).Nkind = N_Pragma);
5719 Set_Node4_With_Parent (N, Val);
5720 end Set_Pragma_Identifier;
5722 procedure Set_Pragmas_After
5723 (N : Node_Id; Val : List_Id) is
5725 pragma Assert (False
5726 or else NT (N).Nkind = N_Compilation_Unit_Aux
5727 or else NT (N).Nkind = N_Terminate_Alternative);
5728 Set_List5_With_Parent (N, Val);
5729 end Set_Pragmas_After;
5731 procedure Set_Pragmas_Before
5732 (N : Node_Id; Val : List_Id) is
5734 pragma Assert (False
5735 or else NT (N).Nkind = N_Accept_Alternative
5736 or else NT (N).Nkind = N_Delay_Alternative
5737 or else NT (N).Nkind = N_Entry_Call_Alternative
5738 or else NT (N).Nkind = N_Mod_Clause
5739 or else NT (N).Nkind = N_Terminate_Alternative
5740 or else NT (N).Nkind = N_Triggering_Alternative);
5741 Set_List4_With_Parent (N, Val);
5742 end Set_Pragmas_Before;
5744 procedure Set_Pre_Post_Conditions
5745 (N : Node_Id; Val : Node_Id) is
5747 pragma Assert (False
5748 or else NT (N).Nkind = N_Contract);
5749 Set_Node1 (N, Val); -- semantic field, no parent set
5750 end Set_Pre_Post_Conditions;
5752 procedure Set_Prefix
5753 (N : Node_Id; Val : Node_Id) is
5755 pragma Assert (False
5756 or else NT (N).Nkind = N_Attribute_Reference
5757 or else NT (N).Nkind = N_Expanded_Name
5758 or else NT (N).Nkind = N_Explicit_Dereference
5759 or else NT (N).Nkind = N_Indexed_Component
5760 or else NT (N).Nkind = N_Reference
5761 or else NT (N).Nkind = N_Selected_Component
5762 or else NT (N).Nkind = N_Slice);
5763 Set_Node3_With_Parent (N, Val);
5766 procedure Set_Premature_Use
5767 (N : Node_Id; Val : Node_Id) is
5769 pragma Assert (False
5770 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5772 end Set_Premature_Use;
5774 procedure Set_Present_Expr
5775 (N : Node_Id; Val : Uint) is
5777 pragma Assert (False
5778 or else NT (N).Nkind = N_Variant);
5780 end Set_Present_Expr;
5782 procedure Set_Prev_Ids
5783 (N : Node_Id; Val : Boolean := True) is
5785 pragma Assert (False
5786 or else NT (N).Nkind = N_Component_Declaration
5787 or else NT (N).Nkind = N_Discriminant_Specification
5788 or else NT (N).Nkind = N_Exception_Declaration
5789 or else NT (N).Nkind = N_Formal_Object_Declaration
5790 or else NT (N).Nkind = N_Number_Declaration
5791 or else NT (N).Nkind = N_Object_Declaration
5792 or else NT (N).Nkind = N_Parameter_Specification);
5796 procedure Set_Print_In_Hex
5797 (N : Node_Id; Val : Boolean := True) is
5799 pragma Assert (False
5800 or else NT (N).Nkind = N_Integer_Literal);
5801 Set_Flag13 (N, Val);
5802 end Set_Print_In_Hex;
5804 procedure Set_Private_Declarations
5805 (N : Node_Id; Val : List_Id) is
5807 pragma Assert (False
5808 or else NT (N).Nkind = N_Package_Specification
5809 or else NT (N).Nkind = N_Protected_Definition
5810 or else NT (N).Nkind = N_Task_Definition);
5811 Set_List3_With_Parent (N, Val);
5812 end Set_Private_Declarations;
5814 procedure Set_Private_Present
5815 (N : Node_Id; Val : Boolean := True) is
5817 pragma Assert (False
5818 or else NT (N).Nkind = N_Compilation_Unit
5819 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5820 or else NT (N).Nkind = N_With_Clause);
5821 Set_Flag15 (N, Val);
5822 end Set_Private_Present;
5824 procedure Set_Procedure_To_Call
5825 (N : Node_Id; Val : Node_Id) is
5827 pragma Assert (False
5828 or else NT (N).Nkind = N_Allocator
5829 or else NT (N).Nkind = N_Extended_Return_Statement
5830 or else NT (N).Nkind = N_Free_Statement
5831 or else NT (N).Nkind = N_Simple_Return_Statement);
5832 Set_Node2 (N, Val); -- semantic field, no parent set
5833 end Set_Procedure_To_Call;
5835 procedure Set_Proper_Body
5836 (N : Node_Id; Val : Node_Id) is
5838 pragma Assert (False
5839 or else NT (N).Nkind = N_Subunit);
5840 Set_Node1_With_Parent (N, Val);
5841 end Set_Proper_Body;
5843 procedure Set_Protected_Definition
5844 (N : Node_Id; Val : Node_Id) is
5846 pragma Assert (False
5847 or else NT (N).Nkind = N_Protected_Type_Declaration
5848 or else NT (N).Nkind = N_Single_Protected_Declaration);
5849 Set_Node3_With_Parent (N, Val);
5850 end Set_Protected_Definition;
5852 procedure Set_Protected_Present
5853 (N : Node_Id; Val : Boolean := True) is
5855 pragma Assert (False
5856 or else NT (N).Nkind = N_Access_Function_Definition
5857 or else NT (N).Nkind = N_Access_Procedure_Definition
5858 or else NT (N).Nkind = N_Derived_Type_Definition
5859 or else NT (N).Nkind = N_Record_Definition);
5861 end Set_Protected_Present;
5863 procedure Set_Raises_Constraint_Error
5864 (N : Node_Id; Val : Boolean := True) is
5866 pragma Assert (False
5867 or else NT (N).Nkind in N_Subexpr);
5869 end Set_Raises_Constraint_Error;
5871 procedure Set_Range_Constraint
5872 (N : Node_Id; Val : Node_Id) is
5874 pragma Assert (False
5875 or else NT (N).Nkind = N_Delta_Constraint
5876 or else NT (N).Nkind = N_Digits_Constraint);
5877 Set_Node4_With_Parent (N, Val);
5878 end Set_Range_Constraint;
5880 procedure Set_Range_Expression
5881 (N : Node_Id; Val : Node_Id) is
5883 pragma Assert (False
5884 or else NT (N).Nkind = N_Range_Constraint);
5885 Set_Node4_With_Parent (N, Val);
5886 end Set_Range_Expression;
5888 procedure Set_Real_Range_Specification
5889 (N : Node_Id; Val : Node_Id) is
5891 pragma Assert (False
5892 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5893 or else NT (N).Nkind = N_Floating_Point_Definition
5894 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5895 Set_Node4_With_Parent (N, Val);
5896 end Set_Real_Range_Specification;
5898 procedure Set_Realval
5899 (N : Node_Id; Val : Ureal) is
5901 pragma Assert (False
5902 or else NT (N).Nkind = N_Real_Literal);
5903 Set_Ureal3 (N, Val);
5906 procedure Set_Reason
5907 (N : Node_Id; Val : Uint) is
5909 pragma Assert (False
5910 or else NT (N).Nkind = N_Raise_Constraint_Error
5911 or else NT (N).Nkind = N_Raise_Program_Error
5912 or else NT (N).Nkind = N_Raise_Storage_Error);
5916 procedure Set_Record_Extension_Part
5917 (N : Node_Id; Val : Node_Id) is
5919 pragma Assert (False
5920 or else NT (N).Nkind = N_Derived_Type_Definition);
5921 Set_Node3_With_Parent (N, Val);
5922 end Set_Record_Extension_Part;
5924 procedure Set_Redundant_Use
5925 (N : Node_Id; Val : Boolean := True) is
5927 pragma Assert (False
5928 or else NT (N).Nkind = N_Attribute_Reference
5929 or else NT (N).Nkind = N_Expanded_Name
5930 or else NT (N).Nkind = N_Identifier);
5931 Set_Flag13 (N, Val);
5932 end Set_Redundant_Use;
5934 procedure Set_Renaming_Exception
5935 (N : Node_Id; Val : Node_Id) is
5937 pragma Assert (False
5938 or else NT (N).Nkind = N_Exception_Declaration);
5940 end Set_Renaming_Exception;
5942 procedure Set_Result_Definition
5943 (N : Node_Id; Val : Node_Id) is
5945 pragma Assert (False
5946 or else NT (N).Nkind = N_Access_Function_Definition
5947 or else NT (N).Nkind = N_Function_Specification);
5948 Set_Node4_With_Parent (N, Val);
5949 end Set_Result_Definition;
5951 procedure Set_Return_Object_Declarations
5952 (N : Node_Id; Val : List_Id) is
5954 pragma Assert (False
5955 or else NT (N).Nkind = N_Extended_Return_Statement);
5956 Set_List3_With_Parent (N, Val);
5957 end Set_Return_Object_Declarations;
5959 procedure Set_Return_Statement_Entity
5960 (N : Node_Id; Val : Node_Id) is
5962 pragma Assert (False
5963 or else NT (N).Nkind = N_Extended_Return_Statement
5964 or else NT (N).Nkind = N_Simple_Return_Statement);
5965 Set_Node5 (N, Val); -- semantic field, no parent set
5966 end Set_Return_Statement_Entity;
5968 procedure Set_Reverse_Present
5969 (N : Node_Id; Val : Boolean := True) is
5971 pragma Assert (False
5972 or else NT (N).Nkind = N_Iterator_Specification
5973 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5974 Set_Flag15 (N, Val);
5975 end Set_Reverse_Present;
5977 procedure Set_Right_Opnd
5978 (N : Node_Id; Val : Node_Id) is
5980 pragma Assert (False
5981 or else NT (N).Nkind in N_Op
5982 or else NT (N).Nkind = N_And_Then
5983 or else NT (N).Nkind = N_In
5984 or else NT (N).Nkind = N_Not_In
5985 or else NT (N).Nkind = N_Or_Else);
5986 Set_Node3_With_Parent (N, Val);
5989 procedure Set_Rounded_Result
5990 (N : Node_Id; Val : Boolean := True) is
5992 pragma Assert (False
5993 or else NT (N).Nkind = N_Op_Divide
5994 or else NT (N).Nkind = N_Op_Multiply
5995 or else NT (N).Nkind = N_Type_Conversion);
5996 Set_Flag18 (N, Val);
5997 end Set_Rounded_Result;
5999 procedure Set_SCIL_Controlling_Tag
6000 (N : Node_Id; Val : Node_Id) is
6002 pragma Assert (False
6003 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6004 Set_Node5 (N, Val); -- semantic field, no parent set
6005 end Set_SCIL_Controlling_Tag;
6007 procedure Set_SCIL_Entity
6008 (N : Node_Id; Val : Node_Id) is
6010 pragma Assert (False
6011 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
6012 or else NT (N).Nkind = N_SCIL_Dispatching_Call
6013 or else NT (N).Nkind = N_SCIL_Membership_Test);
6014 Set_Node4 (N, Val); -- semantic field, no parent set
6015 end Set_SCIL_Entity;
6017 procedure Set_SCIL_Tag_Value
6018 (N : Node_Id; Val : Node_Id) is
6020 pragma Assert (False
6021 or else NT (N).Nkind = N_SCIL_Membership_Test);
6022 Set_Node5 (N, Val); -- semantic field, no parent set
6023 end Set_SCIL_Tag_Value;
6025 procedure Set_SCIL_Target_Prim
6026 (N : Node_Id; Val : Node_Id) is
6028 pragma Assert (False
6029 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6030 Set_Node2 (N, Val); -- semantic field, no parent set
6031 end Set_SCIL_Target_Prim;
6034 (N : Node_Id; Val : Node_Id) is
6036 pragma Assert (False
6037 or else NT (N).Nkind = N_Defining_Character_Literal
6038 or else NT (N).Nkind = N_Defining_Identifier
6039 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6040 Set_Node3 (N, Val); -- semantic field, no parent set
6043 procedure Set_Select_Alternatives
6044 (N : Node_Id; Val : List_Id) is
6046 pragma Assert (False
6047 or else NT (N).Nkind = N_Selective_Accept);
6048 Set_List1_With_Parent (N, Val);
6049 end Set_Select_Alternatives;
6051 procedure Set_Selector_Name
6052 (N : Node_Id; Val : Node_Id) is
6054 pragma Assert (False
6055 or else NT (N).Nkind = N_Expanded_Name
6056 or else NT (N).Nkind = N_Generic_Association
6057 or else NT (N).Nkind = N_Parameter_Association
6058 or else NT (N).Nkind = N_Selected_Component);
6059 Set_Node2_With_Parent (N, Val);
6060 end Set_Selector_Name;
6062 procedure Set_Selector_Names
6063 (N : Node_Id; Val : List_Id) is
6065 pragma Assert (False
6066 or else NT (N).Nkind = N_Discriminant_Association);
6067 Set_List1_With_Parent (N, Val);
6068 end Set_Selector_Names;
6070 procedure Set_Shift_Count_OK
6071 (N : Node_Id; Val : Boolean := True) is
6073 pragma Assert (False
6074 or else NT (N).Nkind = N_Op_Rotate_Left
6075 or else NT (N).Nkind = N_Op_Rotate_Right
6076 or else NT (N).Nkind = N_Op_Shift_Left
6077 or else NT (N).Nkind = N_Op_Shift_Right
6078 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6080 end Set_Shift_Count_OK;
6082 procedure Set_Source_Type
6083 (N : Node_Id; Val : Entity_Id) is
6085 pragma Assert (False
6086 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6087 Set_Node1 (N, Val); -- semantic field, no parent set
6088 end Set_Source_Type;
6090 procedure Set_Specification
6091 (N : Node_Id; Val : Node_Id) is
6093 pragma Assert (False
6094 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6095 or else NT (N).Nkind = N_Expression_Function
6096 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6097 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6098 or else NT (N).Nkind = N_Generic_Package_Declaration
6099 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6100 or else NT (N).Nkind = N_Package_Declaration
6101 or else NT (N).Nkind = N_Subprogram_Body
6102 or else NT (N).Nkind = N_Subprogram_Body_Stub
6103 or else NT (N).Nkind = N_Subprogram_Declaration
6104 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6105 Set_Node1_With_Parent (N, Val);
6106 end Set_Specification;
6108 procedure Set_Split_PPC
6109 (N : Node_Id; Val : Boolean) is
6111 pragma Assert (False
6112 or else NT (N).Nkind = N_Aspect_Specification
6113 or else NT (N).Nkind = N_Pragma);
6114 Set_Flag17 (N, Val);
6117 procedure Set_Statements
6118 (N : Node_Id; Val : List_Id) is
6120 pragma Assert (False
6121 or else NT (N).Nkind = N_Abortable_Part
6122 or else NT (N).Nkind = N_Accept_Alternative
6123 or else NT (N).Nkind = N_Case_Statement_Alternative
6124 or else NT (N).Nkind = N_Delay_Alternative
6125 or else NT (N).Nkind = N_Entry_Call_Alternative
6126 or else NT (N).Nkind = N_Exception_Handler
6127 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6128 or else NT (N).Nkind = N_Loop_Statement
6129 or else NT (N).Nkind = N_Triggering_Alternative);
6130 Set_List3_With_Parent (N, Val);
6133 procedure Set_Storage_Pool
6134 (N : Node_Id; Val : Node_Id) is
6136 pragma Assert (False
6137 or else NT (N).Nkind = N_Allocator
6138 or else NT (N).Nkind = N_Extended_Return_Statement
6139 or else NT (N).Nkind = N_Free_Statement
6140 or else NT (N).Nkind = N_Simple_Return_Statement);
6141 Set_Node1 (N, Val); -- semantic field, no parent set
6142 end Set_Storage_Pool;
6144 procedure Set_Subpool_Handle_Name
6145 (N : Node_Id; Val : Node_Id) is
6147 pragma Assert (False
6148 or else NT (N).Nkind = N_Allocator);
6149 Set_Node4_With_Parent (N, Val);
6150 end Set_Subpool_Handle_Name;
6152 procedure Set_Strval
6153 (N : Node_Id; Val : String_Id) is
6155 pragma Assert (False
6156 or else NT (N).Nkind = N_Operator_Symbol
6157 or else NT (N).Nkind = N_String_Literal);
6161 procedure Set_Subtype_Indication
6162 (N : Node_Id; Val : Node_Id) is
6164 pragma Assert (False
6165 or else NT (N).Nkind = N_Access_To_Object_Definition
6166 or else NT (N).Nkind = N_Component_Definition
6167 or else NT (N).Nkind = N_Derived_Type_Definition
6168 or else NT (N).Nkind = N_Iterator_Specification
6169 or else NT (N).Nkind = N_Private_Extension_Declaration
6170 or else NT (N).Nkind = N_Subtype_Declaration);
6171 Set_Node5_With_Parent (N, Val);
6172 end Set_Subtype_Indication;
6174 procedure Set_Subtype_Mark
6175 (N : Node_Id; Val : Node_Id) is
6177 pragma Assert (False
6178 or else NT (N).Nkind = N_Access_Definition
6179 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6180 or else NT (N).Nkind = N_Formal_Object_Declaration
6181 or else NT (N).Nkind = N_Object_Renaming_Declaration
6182 or else NT (N).Nkind = N_Qualified_Expression
6183 or else NT (N).Nkind = N_Subtype_Indication
6184 or else NT (N).Nkind = N_Type_Conversion
6185 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6186 Set_Node4_With_Parent (N, Val);
6187 end Set_Subtype_Mark;
6189 procedure Set_Subtype_Marks
6190 (N : Node_Id; Val : List_Id) is
6192 pragma Assert (False
6193 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6194 or else NT (N).Nkind = N_Use_Type_Clause);
6195 Set_List2_With_Parent (N, Val);
6196 end Set_Subtype_Marks;
6198 procedure Set_Suppress_Assignment_Checks
6199 (N : Node_Id; Val : Boolean := True) is
6201 pragma Assert (False
6202 or else NT (N).Nkind = N_Assignment_Statement
6203 or else NT (N).Nkind = N_Object_Declaration);
6204 Set_Flag18 (N, Val);
6205 end Set_Suppress_Assignment_Checks;
6207 procedure Set_Suppress_Loop_Warnings
6208 (N : Node_Id; Val : Boolean := True) is
6210 pragma Assert (False
6211 or else NT (N).Nkind = N_Loop_Statement);
6212 Set_Flag17 (N, Val);
6213 end Set_Suppress_Loop_Warnings;
6215 procedure Set_Synchronized_Present
6216 (N : Node_Id; Val : Boolean := True) is
6218 pragma Assert (False
6219 or else NT (N).Nkind = N_Derived_Type_Definition
6220 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6221 or else NT (N).Nkind = N_Private_Extension_Declaration
6222 or else NT (N).Nkind = N_Record_Definition);
6224 end Set_Synchronized_Present;
6226 procedure Set_Tagged_Present
6227 (N : Node_Id; Val : Boolean := True) is
6229 pragma Assert (False
6230 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6231 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6232 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6233 or else NT (N).Nkind = N_Private_Type_Declaration
6234 or else NT (N).Nkind = N_Record_Definition);
6235 Set_Flag15 (N, Val);
6236 end Set_Tagged_Present;
6238 procedure Set_Target_Type
6239 (N : Node_Id; Val : Entity_Id) is
6241 pragma Assert (False
6242 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6243 Set_Node2 (N, Val); -- semantic field, no parent set
6244 end Set_Target_Type;
6246 procedure Set_Task_Definition
6247 (N : Node_Id; Val : Node_Id) is
6249 pragma Assert (False
6250 or else NT (N).Nkind = N_Single_Task_Declaration
6251 or else NT (N).Nkind = N_Task_Type_Declaration);
6252 Set_Node3_With_Parent (N, Val);
6253 end Set_Task_Definition;
6255 procedure Set_Task_Present
6256 (N : Node_Id; Val : Boolean := True) is
6258 pragma Assert (False
6259 or else NT (N).Nkind = N_Derived_Type_Definition
6260 or else NT (N).Nkind = N_Record_Definition);
6262 end Set_Task_Present;
6264 procedure Set_Then_Actions
6265 (N : Node_Id; Val : List_Id) is
6267 pragma Assert (False
6268 or else NT (N).Nkind = N_If_Expression);
6269 Set_List2_With_Parent (N, Val); -- semantic field, but needs parents
6270 end Set_Then_Actions;
6272 procedure Set_Then_Statements
6273 (N : Node_Id; Val : List_Id) is
6275 pragma Assert (False
6276 or else NT (N).Nkind = N_Elsif_Part
6277 or else NT (N).Nkind = N_If_Statement);
6278 Set_List2_With_Parent (N, Val);
6279 end Set_Then_Statements;
6281 procedure Set_Treat_Fixed_As_Integer
6282 (N : Node_Id; Val : Boolean := True) is
6284 pragma Assert (False
6285 or else NT (N).Nkind = N_Op_Divide
6286 or else NT (N).Nkind = N_Op_Mod
6287 or else NT (N).Nkind = N_Op_Multiply
6288 or else NT (N).Nkind = N_Op_Rem);
6289 Set_Flag14 (N, Val);
6290 end Set_Treat_Fixed_As_Integer;
6292 procedure Set_Triggering_Alternative
6293 (N : Node_Id; Val : Node_Id) is
6295 pragma Assert (False
6296 or else NT (N).Nkind = N_Asynchronous_Select);
6297 Set_Node1_With_Parent (N, Val);
6298 end Set_Triggering_Alternative;
6300 procedure Set_Triggering_Statement
6301 (N : Node_Id; Val : Node_Id) is
6303 pragma Assert (False
6304 or else NT (N).Nkind = N_Triggering_Alternative);
6305 Set_Node1_With_Parent (N, Val);
6306 end Set_Triggering_Statement;
6308 procedure Set_TSS_Elist
6309 (N : Node_Id; Val : Elist_Id) is
6311 pragma Assert (False
6312 or else NT (N).Nkind = N_Freeze_Entity);
6313 Set_Elist3 (N, Val); -- semantic field, no parent set
6316 procedure Set_Type_Definition
6317 (N : Node_Id; Val : Node_Id) is
6319 pragma Assert (False
6320 or else NT (N).Nkind = N_Full_Type_Declaration);
6321 Set_Node3_With_Parent (N, Val);
6322 end Set_Type_Definition;
6325 (N : Node_Id; Val : Node_Id) is
6327 pragma Assert (False
6328 or else NT (N).Nkind = N_Compilation_Unit);
6329 Set_Node2_With_Parent (N, Val);
6332 procedure Set_Unknown_Discriminants_Present
6333 (N : Node_Id; Val : Boolean := True) is
6335 pragma Assert (False
6336 or else NT (N).Nkind = N_Formal_Type_Declaration
6337 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6338 or else NT (N).Nkind = N_Private_Extension_Declaration
6339 or else NT (N).Nkind = N_Private_Type_Declaration);
6340 Set_Flag13 (N, Val);
6341 end Set_Unknown_Discriminants_Present;
6343 procedure Set_Unreferenced_In_Spec
6344 (N : Node_Id; Val : Boolean := True) is
6346 pragma Assert (False
6347 or else NT (N).Nkind = N_With_Clause);
6349 end Set_Unreferenced_In_Spec;
6351 procedure Set_Variant_Part
6352 (N : Node_Id; Val : Node_Id) is
6354 pragma Assert (False
6355 or else NT (N).Nkind = N_Component_List);
6356 Set_Node4_With_Parent (N, Val);
6357 end Set_Variant_Part;
6359 procedure Set_Variants
6360 (N : Node_Id; Val : List_Id) is
6362 pragma Assert (False
6363 or else NT (N).Nkind = N_Variant_Part);
6364 Set_List1_With_Parent (N, Val);
6367 procedure Set_Visible_Declarations
6368 (N : Node_Id; Val : List_Id) is
6370 pragma Assert (False
6371 or else NT (N).Nkind = N_Package_Specification
6372 or else NT (N).Nkind = N_Protected_Definition
6373 or else NT (N).Nkind = N_Task_Definition);
6374 Set_List2_With_Parent (N, Val);
6375 end Set_Visible_Declarations;
6377 procedure Set_Uninitialized_Variable
6378 (N : Node_Id; Val : Node_Id) is
6380 pragma Assert (False
6381 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6382 or else NT (N).Nkind = N_Private_Extension_Declaration);
6384 end Set_Uninitialized_Variable;
6386 procedure Set_Used_Operations
6387 (N : Node_Id; Val : Elist_Id) is
6389 pragma Assert (False
6390 or else NT (N).Nkind = N_Use_Type_Clause);
6391 Set_Elist5 (N, Val);
6392 end Set_Used_Operations;
6394 procedure Set_Was_Originally_Stub
6395 (N : Node_Id; Val : Boolean := True) is
6397 pragma Assert (False
6398 or else NT (N).Nkind = N_Package_Body
6399 or else NT (N).Nkind = N_Protected_Body
6400 or else NT (N).Nkind = N_Subprogram_Body
6401 or else NT (N).Nkind = N_Task_Body);
6402 Set_Flag13 (N, Val);
6403 end Set_Was_Originally_Stub;
6405 procedure Set_Withed_Body
6406 (N : Node_Id; Val : Node_Id) is
6408 pragma Assert (False
6409 or else NT (N).Nkind = N_With_Clause);
6411 end Set_Withed_Body;
6413 -------------------------
6414 -- Iterator Procedures --
6415 -------------------------
6417 procedure Next_Entity (N : in out Node_Id) is
6419 N := Next_Entity (N);
6422 procedure Next_Named_Actual (N : in out Node_Id) is
6424 N := Next_Named_Actual (N);
6425 end Next_Named_Actual;
6427 procedure Next_Rep_Item (N : in out Node_Id) is
6429 N := Next_Rep_Item (N);
6432 procedure Next_Use_Clause (N : in out Node_Id) is
6434 N := Next_Use_Clause (N);
6435 end Next_Use_Clause;
6441 function End_Location (N : Node_Id) return Source_Ptr is
6442 L : constant Uint := End_Span (N);
6447 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6451 --------------------
6452 -- Get_Pragma_Arg --
6453 --------------------
6455 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6457 if Nkind (Arg) = N_Pragma_Argument_Association then
6458 return Expression (Arg);
6464 ----------------------
6465 -- Set_End_Location --
6466 ----------------------
6468 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6471 UI_From_Int (Int (S) - Int (Sloc (N))));
6472 end Set_End_Location;
6481 V2 : Node_Kind) return Boolean
6484 return T = V1 or else
6492 V3 : Node_Kind) return Boolean
6495 return T = V1 or else
6505 V4 : Node_Kind) return Boolean
6508 return T = V1 or else
6520 V5 : Node_Kind) return Boolean
6523 return T = V1 or else
6537 V6 : Node_Kind) return Boolean
6540 return T = V1 or else
6556 V7 : Node_Kind) return Boolean
6559 return T = V1 or else
6577 V8 : Node_Kind) return Boolean
6580 return T = V1 or else
6600 V9 : Node_Kind) return Boolean
6603 return T = V1 or else
6618 function Pragma_Name (N : Node_Id) return Name_Id is
6620 return Chars (Pragma_Identifier (N));