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 Else_Actions
1045 (N : Node_Id) return List_Id is
1047 pragma Assert (False
1048 or else NT (N).Nkind = N_If_Expression);
1052 function Else_Statements
1053 (N : Node_Id) return List_Id is
1055 pragma Assert (False
1056 or else NT (N).Nkind = N_Conditional_Entry_Call
1057 or else NT (N).Nkind = N_If_Statement
1058 or else NT (N).Nkind = N_Selective_Accept);
1060 end Else_Statements;
1062 function Elsif_Parts
1063 (N : Node_Id) return List_Id is
1065 pragma Assert (False
1066 or else NT (N).Nkind = N_If_Statement);
1070 function Enclosing_Variant
1071 (N : Node_Id) return Node_Id is
1073 pragma Assert (False
1074 or else NT (N).Nkind = N_Variant);
1076 end Enclosing_Variant;
1079 (N : Node_Id) return Node_Id is
1081 pragma Assert (False
1082 or else NT (N).Nkind = N_Enumeration_Type_Definition
1083 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1084 or else NT (N).Nkind = N_Loop_Statement
1085 or else NT (N).Nkind = N_Package_Specification
1086 or else NT (N).Nkind = N_Protected_Body
1087 or else NT (N).Nkind = N_Protected_Definition
1088 or else NT (N).Nkind = N_Record_Definition
1089 or else NT (N).Nkind = N_Task_Definition);
1094 (N : Node_Id) return Uint is
1096 pragma Assert (False
1097 or else NT (N).Nkind = N_Case_Statement
1098 or else NT (N).Nkind = N_If_Statement);
1103 (N : Node_Id) return Node_Id is
1105 pragma Assert (False
1106 or else NT (N).Nkind in N_Has_Entity
1107 or else NT (N).Nkind = N_Aspect_Specification
1108 or else NT (N).Nkind = N_Attribute_Definition_Clause
1109 or else NT (N).Nkind = N_Freeze_Entity
1110 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1114 function Entity_Or_Associated_Node
1115 (N : Node_Id) return Node_Id is
1117 pragma Assert (False
1118 or else NT (N).Nkind in N_Has_Entity
1119 or else NT (N).Nkind = N_Freeze_Entity);
1121 end Entity_Or_Associated_Node;
1123 function Entry_Body_Formal_Part
1124 (N : Node_Id) return Node_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind = N_Entry_Body);
1129 end Entry_Body_Formal_Part;
1131 function Entry_Call_Alternative
1132 (N : Node_Id) return Node_Id is
1134 pragma Assert (False
1135 or else NT (N).Nkind = N_Conditional_Entry_Call
1136 or else NT (N).Nkind = N_Timed_Entry_Call);
1138 end Entry_Call_Alternative;
1140 function Entry_Call_Statement
1141 (N : Node_Id) return Node_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Entry_Call_Alternative);
1146 end Entry_Call_Statement;
1148 function Entry_Direct_Name
1149 (N : Node_Id) return Node_Id is
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Accept_Statement);
1154 end Entry_Direct_Name;
1156 function Entry_Index
1157 (N : Node_Id) return Node_Id is
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Accept_Statement);
1164 function Entry_Index_Specification
1165 (N : Node_Id) return Node_Id is
1167 pragma Assert (False
1168 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1170 end Entry_Index_Specification;
1173 (N : Node_Id) return Node_Id is
1175 pragma Assert (False
1176 or else NT (N).Nkind in N_Has_Etype);
1180 function Exception_Choices
1181 (N : Node_Id) return List_Id is
1183 pragma Assert (False
1184 or else NT (N).Nkind = N_Exception_Handler);
1186 end Exception_Choices;
1188 function Exception_Handlers
1189 (N : Node_Id) return List_Id is
1191 pragma Assert (False
1192 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1194 end Exception_Handlers;
1196 function Exception_Junk
1197 (N : Node_Id) return Boolean is
1199 pragma Assert (False
1200 or else NT (N).Nkind = N_Block_Statement
1201 or else NT (N).Nkind = N_Goto_Statement
1202 or else NT (N).Nkind = N_Label
1203 or else NT (N).Nkind = N_Object_Declaration
1204 or else NT (N).Nkind = N_Subtype_Declaration);
1208 function Exception_Label
1209 (N : Node_Id) return Node_Id is
1211 pragma Assert (False
1212 or else NT (N).Nkind = N_Exception_Handler
1213 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1214 or else NT (N).Nkind = N_Push_Program_Error_Label
1215 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1217 end Exception_Label;
1219 function Expansion_Delayed
1220 (N : Node_Id) return Boolean is
1222 pragma Assert (False
1223 or else NT (N).Nkind = N_Aggregate
1224 or else NT (N).Nkind = N_Extension_Aggregate);
1226 end Expansion_Delayed;
1228 function Explicit_Actual_Parameter
1229 (N : Node_Id) return Node_Id is
1231 pragma Assert (False
1232 or else NT (N).Nkind = N_Parameter_Association);
1234 end Explicit_Actual_Parameter;
1236 function Explicit_Generic_Actual_Parameter
1237 (N : Node_Id) return Node_Id is
1239 pragma Assert (False
1240 or else NT (N).Nkind = N_Generic_Association);
1242 end Explicit_Generic_Actual_Parameter;
1245 (N : Node_Id) return Node_Id is
1247 pragma Assert (False
1248 or else NT (N).Nkind = N_Allocator
1249 or else NT (N).Nkind = N_Aspect_Specification
1250 or else NT (N).Nkind = N_Assignment_Statement
1251 or else NT (N).Nkind = N_At_Clause
1252 or else NT (N).Nkind = N_Attribute_Definition_Clause
1253 or else NT (N).Nkind = N_Case_Expression
1254 or else NT (N).Nkind = N_Case_Expression_Alternative
1255 or else NT (N).Nkind = N_Case_Statement
1256 or else NT (N).Nkind = N_Code_Statement
1257 or else NT (N).Nkind = N_Component_Association
1258 or else NT (N).Nkind = N_Component_Declaration
1259 or else NT (N).Nkind = N_Delay_Relative_Statement
1260 or else NT (N).Nkind = N_Delay_Until_Statement
1261 or else NT (N).Nkind = N_Discriminant_Association
1262 or else NT (N).Nkind = N_Discriminant_Specification
1263 or else NT (N).Nkind = N_Exception_Declaration
1264 or else NT (N).Nkind = N_Expression_Function
1265 or else NT (N).Nkind = N_Expression_With_Actions
1266 or else NT (N).Nkind = N_Free_Statement
1267 or else NT (N).Nkind = N_Mod_Clause
1268 or else NT (N).Nkind = N_Modular_Type_Definition
1269 or else NT (N).Nkind = N_Number_Declaration
1270 or else NT (N).Nkind = N_Object_Declaration
1271 or else NT (N).Nkind = N_Parameter_Specification
1272 or else NT (N).Nkind = N_Pragma_Argument_Association
1273 or else NT (N).Nkind = N_Qualified_Expression
1274 or else NT (N).Nkind = N_Raise_Expression
1275 or else NT (N).Nkind = N_Raise_Statement
1276 or else NT (N).Nkind = N_Simple_Return_Statement
1277 or else NT (N).Nkind = N_Type_Conversion
1278 or else NT (N).Nkind = N_Unchecked_Expression
1279 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1283 function Expressions
1284 (N : Node_Id) return List_Id is
1286 pragma Assert (False
1287 or else NT (N).Nkind = N_Aggregate
1288 or else NT (N).Nkind = N_Attribute_Reference
1289 or else NT (N).Nkind = N_Extension_Aggregate
1290 or else NT (N).Nkind = N_If_Expression
1291 or else NT (N).Nkind = N_Indexed_Component);
1296 (N : Node_Id) return Node_Id is
1298 pragma Assert (False
1299 or else NT (N).Nkind = N_Component_Clause);
1303 function First_Inlined_Subprogram
1304 (N : Node_Id) return Entity_Id is
1306 pragma Assert (False
1307 or else NT (N).Nkind = N_Compilation_Unit);
1309 end First_Inlined_Subprogram;
1312 (N : Node_Id) return Boolean is
1314 pragma Assert (False
1315 or else NT (N).Nkind = N_With_Clause);
1319 function First_Named_Actual
1320 (N : Node_Id) return Node_Id is
1322 pragma Assert (False
1323 or else NT (N).Nkind = N_Entry_Call_Statement
1324 or else NT (N).Nkind = N_Function_Call
1325 or else NT (N).Nkind = N_Procedure_Call_Statement);
1327 end First_Named_Actual;
1329 function First_Real_Statement
1330 (N : Node_Id) return Node_Id is
1332 pragma Assert (False
1333 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1335 end First_Real_Statement;
1337 function First_Subtype_Link
1338 (N : Node_Id) return Entity_Id is
1340 pragma Assert (False
1341 or else NT (N).Nkind = N_Freeze_Entity);
1343 end First_Subtype_Link;
1345 function Float_Truncate
1346 (N : Node_Id) return Boolean is
1348 pragma Assert (False
1349 or else NT (N).Nkind = N_Type_Conversion);
1353 function Formal_Type_Definition
1354 (N : Node_Id) return Node_Id is
1356 pragma Assert (False
1357 or else NT (N).Nkind = N_Formal_Type_Declaration);
1359 end Formal_Type_Definition;
1361 function Forwards_OK
1362 (N : Node_Id) return Boolean is
1364 pragma Assert (False
1365 or else NT (N).Nkind = N_Assignment_Statement);
1369 function From_Aspect_Specification
1370 (N : Node_Id) return Boolean is
1372 pragma Assert (False
1373 or else NT (N).Nkind = N_Attribute_Definition_Clause
1374 or else NT (N).Nkind = N_Pragma);
1376 end From_Aspect_Specification;
1378 function From_At_End
1379 (N : Node_Id) return Boolean is
1381 pragma Assert (False
1382 or else NT (N).Nkind = N_Raise_Statement);
1386 function From_At_Mod
1387 (N : Node_Id) return Boolean is
1389 pragma Assert (False
1390 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1394 function From_Conditional_Expression
1395 (N : Node_Id) return Boolean is
1397 pragma Assert (False
1398 or else NT (N).Nkind = N_Case_Statement
1399 or else NT (N).Nkind = N_If_Statement);
1401 end From_Conditional_Expression;
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_Inherited
1893 (N : Node_Id) return Boolean is
1895 pragma Assert (False
1896 or else NT (N).Nkind = N_Pragma);
1900 function Is_Machine_Number
1901 (N : Node_Id) return Boolean is
1903 pragma Assert (False
1904 or else NT (N).Nkind = N_Real_Literal);
1906 end Is_Machine_Number;
1908 function Is_Null_Loop
1909 (N : Node_Id) return Boolean is
1911 pragma Assert (False
1912 or else NT (N).Nkind = N_Loop_Statement);
1916 function Is_Overloaded
1917 (N : Node_Id) return Boolean is
1919 pragma Assert (False
1920 or else NT (N).Nkind in N_Subexpr);
1924 function Is_Power_Of_2_For_Shift
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Op_Expon);
1930 end Is_Power_Of_2_For_Shift;
1932 function Is_Prefixed_Call
1933 (N : Node_Id) return Boolean is
1935 pragma Assert (False
1936 or else NT (N).Nkind = N_Selected_Component);
1938 end Is_Prefixed_Call;
1940 function Is_Protected_Subprogram_Body
1941 (N : Node_Id) return Boolean is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_Subprogram_Body);
1946 end Is_Protected_Subprogram_Body;
1948 function Is_Static_Coextension
1949 (N : Node_Id) return Boolean is
1951 pragma Assert (False
1952 or else NT (N).Nkind = N_Allocator);
1954 end Is_Static_Coextension;
1956 function Is_Static_Expression
1957 (N : Node_Id) return Boolean is
1959 pragma Assert (False
1960 or else NT (N).Nkind in N_Subexpr);
1962 end Is_Static_Expression;
1964 function Is_Subprogram_Descriptor
1965 (N : Node_Id) return Boolean is
1967 pragma Assert (False
1968 or else NT (N).Nkind = N_Object_Declaration);
1970 end Is_Subprogram_Descriptor;
1972 function Is_Task_Allocation_Block
1973 (N : Node_Id) return Boolean is
1975 pragma Assert (False
1976 or else NT (N).Nkind = N_Block_Statement);
1978 end Is_Task_Allocation_Block;
1980 function Is_Task_Master
1981 (N : Node_Id) return Boolean is
1983 pragma Assert (False
1984 or else NT (N).Nkind = N_Block_Statement
1985 or else NT (N).Nkind = N_Subprogram_Body
1986 or else NT (N).Nkind = N_Task_Body);
1990 function Iteration_Scheme
1991 (N : Node_Id) return Node_Id is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Loop_Statement);
1996 end Iteration_Scheme;
1998 function Iterator_Specification
1999 (N : Node_Id) return Node_Id is
2001 pragma Assert (False
2002 or else NT (N).Nkind = N_Iteration_Scheme
2003 or else NT (N).Nkind = N_Quantified_Expression);
2005 end Iterator_Specification;
2008 (N : Node_Id) return Node_Id is
2010 pragma Assert (False
2011 or else NT (N).Nkind = N_Itype_Reference);
2015 function Kill_Range_Check
2016 (N : Node_Id) return Boolean is
2018 pragma Assert (False
2019 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2021 end Kill_Range_Check;
2023 function Label_Construct
2024 (N : Node_Id) return Node_Id is
2026 pragma Assert (False
2027 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2029 end Label_Construct;
2032 (N : Node_Id) return Node_Id is
2034 pragma Assert (False
2035 or else NT (N).Nkind = N_Component_Clause);
2040 (N : Node_Id) return Boolean is
2042 pragma Assert (False
2043 or else NT (N).Nkind = N_With_Clause);
2048 (N : Node_Id) return Node_Id is
2050 pragma Assert (False
2051 or else NT (N).Nkind = N_And_Then
2052 or else NT (N).Nkind = N_In
2053 or else NT (N).Nkind = N_Not_In
2054 or else NT (N).Nkind = N_Or_Else
2055 or else NT (N).Nkind in N_Binary_Op);
2059 function Library_Unit
2060 (N : Node_Id) return Node_Id is
2062 pragma Assert (False
2063 or else NT (N).Nkind = N_Compilation_Unit
2064 or else NT (N).Nkind = N_Package_Body_Stub
2065 or else NT (N).Nkind = N_Protected_Body_Stub
2066 or else NT (N).Nkind = N_Subprogram_Body_Stub
2067 or else NT (N).Nkind = N_Task_Body_Stub
2068 or else NT (N).Nkind = N_With_Clause);
2072 function Limited_View_Installed
2073 (N : Node_Id) return Boolean is
2075 pragma Assert (False
2076 or else NT (N).Nkind = N_Package_Specification
2077 or else NT (N).Nkind = N_With_Clause);
2079 end Limited_View_Installed;
2081 function Limited_Present
2082 (N : Node_Id) return Boolean is
2084 pragma Assert (False
2085 or else NT (N).Nkind = N_Derived_Type_Definition
2086 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2087 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2088 or else NT (N).Nkind = N_Private_Extension_Declaration
2089 or else NT (N).Nkind = N_Private_Type_Declaration
2090 or else NT (N).Nkind = N_Record_Definition
2091 or else NT (N).Nkind = N_With_Clause);
2093 end Limited_Present;
2096 (N : Node_Id) return List_Id is
2098 pragma Assert (False
2099 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2103 function Local_Raise_Not_OK
2104 (N : Node_Id) return Boolean is
2106 pragma Assert (False
2107 or else NT (N).Nkind = N_Exception_Handler);
2109 end Local_Raise_Not_OK;
2111 function Local_Raise_Statements
2112 (N : Node_Id) return Elist_Id is
2114 pragma Assert (False
2115 or else NT (N).Nkind = N_Exception_Handler);
2117 end Local_Raise_Statements;
2119 function Loop_Actions
2120 (N : Node_Id) return List_Id is
2122 pragma Assert (False
2123 or else NT (N).Nkind = N_Component_Association);
2127 function Loop_Parameter_Specification
2128 (N : Node_Id) return Node_Id is
2130 pragma Assert (False
2131 or else NT (N).Nkind = N_Iteration_Scheme
2132 or else NT (N).Nkind = N_Quantified_Expression);
2134 end Loop_Parameter_Specification;
2137 (N : Node_Id) return Node_Id is
2139 pragma Assert (False
2140 or else NT (N).Nkind = N_Range
2141 or else NT (N).Nkind = N_Real_Range_Specification
2142 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2147 (N : Node_Id) return Node_Id is
2149 pragma Assert (False
2150 or else NT (N).Nkind = N_Record_Representation_Clause);
2155 (N : Node_Id) return Boolean is
2157 pragma Assert (False
2158 or else NT (N).Nkind = N_Component_Declaration
2159 or else NT (N).Nkind = N_Discriminant_Specification
2160 or else NT (N).Nkind = N_Exception_Declaration
2161 or else NT (N).Nkind = N_Formal_Object_Declaration
2162 or else NT (N).Nkind = N_Number_Declaration
2163 or else NT (N).Nkind = N_Object_Declaration
2164 or else NT (N).Nkind = N_Parameter_Specification);
2168 function Must_Be_Byte_Aligned
2169 (N : Node_Id) return Boolean is
2171 pragma Assert (False
2172 or else NT (N).Nkind = N_Attribute_Reference);
2174 end Must_Be_Byte_Aligned;
2176 function Must_Not_Freeze
2177 (N : Node_Id) return Boolean is
2179 pragma Assert (False
2180 or else NT (N).Nkind = N_Subtype_Indication
2181 or else NT (N).Nkind in N_Subexpr);
2183 end Must_Not_Freeze;
2185 function Must_Not_Override
2186 (N : Node_Id) return Boolean is
2188 pragma Assert (False
2189 or else NT (N).Nkind = N_Entry_Declaration
2190 or else NT (N).Nkind = N_Function_Instantiation
2191 or else NT (N).Nkind = N_Function_Specification
2192 or else NT (N).Nkind = N_Procedure_Instantiation
2193 or else NT (N).Nkind = N_Procedure_Specification);
2195 end Must_Not_Override;
2197 function Must_Override
2198 (N : Node_Id) return Boolean is
2200 pragma Assert (False
2201 or else NT (N).Nkind = N_Entry_Declaration
2202 or else NT (N).Nkind = N_Function_Instantiation
2203 or else NT (N).Nkind = N_Function_Specification
2204 or else NT (N).Nkind = N_Procedure_Instantiation
2205 or else NT (N).Nkind = N_Procedure_Specification);
2210 (N : Node_Id) return Node_Id is
2212 pragma Assert (False
2213 or else NT (N).Nkind = N_Assignment_Statement
2214 or else NT (N).Nkind = N_Attribute_Definition_Clause
2215 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2216 or else NT (N).Nkind = N_Designator
2217 or else NT (N).Nkind = N_Entry_Call_Statement
2218 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2219 or else NT (N).Nkind = N_Exit_Statement
2220 or else NT (N).Nkind = N_Formal_Package_Declaration
2221 or else NT (N).Nkind = N_Function_Call
2222 or else NT (N).Nkind = N_Function_Instantiation
2223 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2224 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2225 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2226 or else NT (N).Nkind = N_Goto_Statement
2227 or else NT (N).Nkind = N_Iterator_Specification
2228 or else NT (N).Nkind = N_Object_Renaming_Declaration
2229 or else NT (N).Nkind = N_Package_Instantiation
2230 or else NT (N).Nkind = N_Package_Renaming_Declaration
2231 or else NT (N).Nkind = N_Procedure_Call_Statement
2232 or else NT (N).Nkind = N_Procedure_Instantiation
2233 or else NT (N).Nkind = N_Raise_Expression
2234 or else NT (N).Nkind = N_Raise_Statement
2235 or else NT (N).Nkind = N_Requeue_Statement
2236 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2237 or else NT (N).Nkind = N_Subunit
2238 or else NT (N).Nkind = N_Variant_Part
2239 or else NT (N).Nkind = N_With_Clause);
2244 (N : Node_Id) return List_Id is
2246 pragma Assert (False
2247 or else NT (N).Nkind = N_Abort_Statement
2248 or else NT (N).Nkind = N_Use_Package_Clause);
2252 function Next_Entity
2253 (N : Node_Id) return Node_Id is
2255 pragma Assert (False
2256 or else NT (N).Nkind = N_Defining_Character_Literal
2257 or else NT (N).Nkind = N_Defining_Identifier
2258 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2262 function Next_Exit_Statement
2263 (N : Node_Id) return Node_Id is
2265 pragma Assert (False
2266 or else NT (N).Nkind = N_Exit_Statement);
2268 end Next_Exit_Statement;
2270 function Next_Implicit_With
2271 (N : Node_Id) return Node_Id is
2273 pragma Assert (False
2274 or else NT (N).Nkind = N_With_Clause);
2276 end Next_Implicit_With;
2278 function Next_Named_Actual
2279 (N : Node_Id) return Node_Id is
2281 pragma Assert (False
2282 or else NT (N).Nkind = N_Parameter_Association);
2284 end Next_Named_Actual;
2286 function Next_Pragma
2287 (N : Node_Id) return Node_Id is
2289 pragma Assert (False
2290 or else NT (N).Nkind = N_Pragma);
2294 function Next_Rep_Item
2295 (N : Node_Id) return Node_Id is
2297 pragma Assert (False
2298 or else NT (N).Nkind = N_Aspect_Specification
2299 or else NT (N).Nkind = N_Attribute_Definition_Clause
2300 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2301 or else NT (N).Nkind = N_Pragma
2302 or else NT (N).Nkind = N_Record_Representation_Clause);
2306 function Next_Use_Clause
2307 (N : Node_Id) return Node_Id is
2309 pragma Assert (False
2310 or else NT (N).Nkind = N_Use_Package_Clause
2311 or else NT (N).Nkind = N_Use_Type_Clause);
2313 end Next_Use_Clause;
2315 function No_Ctrl_Actions
2316 (N : Node_Id) return Boolean is
2318 pragma Assert (False
2319 or else NT (N).Nkind = N_Assignment_Statement);
2321 end No_Ctrl_Actions;
2323 function No_Elaboration_Check
2324 (N : Node_Id) return Boolean is
2326 pragma Assert (False
2327 or else NT (N).Nkind = N_Function_Call
2328 or else NT (N).Nkind = N_Procedure_Call_Statement);
2330 end No_Elaboration_Check;
2332 function No_Entities_Ref_In_Spec
2333 (N : Node_Id) return Boolean is
2335 pragma Assert (False
2336 or else NT (N).Nkind = N_With_Clause);
2338 end No_Entities_Ref_In_Spec;
2340 function No_Initialization
2341 (N : Node_Id) return Boolean is
2343 pragma Assert (False
2344 or else NT (N).Nkind = N_Allocator
2345 or else NT (N).Nkind = N_Object_Declaration);
2347 end No_Initialization;
2349 function No_Minimize_Eliminate
2350 (N : Node_Id) return Boolean is
2352 pragma Assert (False
2353 or else NT (N).Nkind = N_In
2354 or else NT (N).Nkind = N_Not_In);
2356 end No_Minimize_Eliminate;
2358 function No_Truncation
2359 (N : Node_Id) return Boolean is
2361 pragma Assert (False
2362 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2366 function Non_Aliased_Prefix
2367 (N : Node_Id) return Boolean is
2369 pragma Assert (False
2370 or else NT (N).Nkind = N_Attribute_Reference);
2372 end Non_Aliased_Prefix;
2374 function Null_Present
2375 (N : Node_Id) return Boolean is
2377 pragma Assert (False
2378 or else NT (N).Nkind = N_Component_List
2379 or else NT (N).Nkind = N_Procedure_Specification
2380 or else NT (N).Nkind = N_Record_Definition);
2384 function Null_Excluding_Subtype
2385 (N : Node_Id) return Boolean is
2387 pragma Assert (False
2388 or else NT (N).Nkind = N_Access_To_Object_Definition);
2390 end Null_Excluding_Subtype;
2392 function Null_Exclusion_Present
2393 (N : Node_Id) return Boolean is
2395 pragma Assert (False
2396 or else NT (N).Nkind = N_Access_Definition
2397 or else NT (N).Nkind = N_Access_Function_Definition
2398 or else NT (N).Nkind = N_Access_Procedure_Definition
2399 or else NT (N).Nkind = N_Access_To_Object_Definition
2400 or else NT (N).Nkind = N_Allocator
2401 or else NT (N).Nkind = N_Component_Definition
2402 or else NT (N).Nkind = N_Derived_Type_Definition
2403 or else NT (N).Nkind = N_Discriminant_Specification
2404 or else NT (N).Nkind = N_Formal_Object_Declaration
2405 or else NT (N).Nkind = N_Function_Specification
2406 or else NT (N).Nkind = N_Object_Declaration
2407 or else NT (N).Nkind = N_Object_Renaming_Declaration
2408 or else NT (N).Nkind = N_Parameter_Specification
2409 or else NT (N).Nkind = N_Subtype_Declaration);
2411 end Null_Exclusion_Present;
2413 function Null_Exclusion_In_Return_Present
2414 (N : Node_Id) return Boolean is
2416 pragma Assert (False
2417 or else NT (N).Nkind = N_Access_Function_Definition);
2419 end Null_Exclusion_In_Return_Present;
2421 function Null_Record_Present
2422 (N : Node_Id) return Boolean is
2424 pragma Assert (False
2425 or else NT (N).Nkind = N_Aggregate
2426 or else NT (N).Nkind = N_Extension_Aggregate);
2428 end Null_Record_Present;
2430 function Object_Definition
2431 (N : Node_Id) return Node_Id is
2433 pragma Assert (False
2434 or else NT (N).Nkind = N_Object_Declaration);
2436 end Object_Definition;
2439 (N : Node_Id) return Boolean is
2441 pragma Assert (False
2442 or else NT (N).Nkind = N_Iterator_Specification);
2446 function Original_Discriminant
2447 (N : Node_Id) return Node_Id is
2449 pragma Assert (False
2450 or else NT (N).Nkind = N_Identifier);
2452 end Original_Discriminant;
2454 function Original_Entity
2455 (N : Node_Id) return Entity_Id is
2457 pragma Assert (False
2458 or else NT (N).Nkind = N_Integer_Literal
2459 or else NT (N).Nkind = N_Real_Literal);
2461 end Original_Entity;
2463 function Others_Discrete_Choices
2464 (N : Node_Id) return List_Id is
2466 pragma Assert (False
2467 or else NT (N).Nkind = N_Others_Choice);
2469 end Others_Discrete_Choices;
2471 function Out_Present
2472 (N : Node_Id) return Boolean is
2474 pragma Assert (False
2475 or else NT (N).Nkind = N_Formal_Object_Declaration
2476 or else NT (N).Nkind = N_Parameter_Specification);
2480 function Parameter_Associations
2481 (N : Node_Id) return List_Id is
2483 pragma Assert (False
2484 or else NT (N).Nkind = N_Entry_Call_Statement
2485 or else NT (N).Nkind = N_Function_Call
2486 or else NT (N).Nkind = N_Procedure_Call_Statement);
2488 end Parameter_Associations;
2490 function Parameter_Specifications
2491 (N : Node_Id) return List_Id is
2493 pragma Assert (False
2494 or else NT (N).Nkind = N_Accept_Statement
2495 or else NT (N).Nkind = N_Access_Function_Definition
2496 or else NT (N).Nkind = N_Access_Procedure_Definition
2497 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2498 or else NT (N).Nkind = N_Entry_Declaration
2499 or else NT (N).Nkind = N_Function_Specification
2500 or else NT (N).Nkind = N_Procedure_Specification);
2502 end Parameter_Specifications;
2504 function Parameter_Type
2505 (N : Node_Id) return Node_Id is
2507 pragma Assert (False
2508 or else NT (N).Nkind = N_Parameter_Specification);
2512 function Parent_Spec
2513 (N : Node_Id) return Node_Id is
2515 pragma Assert (False
2516 or else NT (N).Nkind = N_Function_Instantiation
2517 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2518 or else NT (N).Nkind = N_Generic_Package_Declaration
2519 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2520 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2521 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2522 or else NT (N).Nkind = N_Package_Declaration
2523 or else NT (N).Nkind = N_Package_Instantiation
2524 or else NT (N).Nkind = N_Package_Renaming_Declaration
2525 or else NT (N).Nkind = N_Procedure_Instantiation
2526 or else NT (N).Nkind = N_Subprogram_Declaration
2527 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2532 (N : Node_Id) return Node_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Component_Clause);
2539 function Pragma_Argument_Associations
2540 (N : Node_Id) return List_Id is
2542 pragma Assert (False
2543 or else NT (N).Nkind = N_Pragma);
2545 end Pragma_Argument_Associations;
2547 function Pragma_Identifier
2548 (N : Node_Id) return Node_Id is
2550 pragma Assert (False
2551 or else NT (N).Nkind = N_Pragma);
2553 end Pragma_Identifier;
2555 function Pragmas_After
2556 (N : Node_Id) return List_Id is
2558 pragma Assert (False
2559 or else NT (N).Nkind = N_Compilation_Unit_Aux
2560 or else NT (N).Nkind = N_Terminate_Alternative);
2564 function Pragmas_Before
2565 (N : Node_Id) return List_Id is
2567 pragma Assert (False
2568 or else NT (N).Nkind = N_Accept_Alternative
2569 or else NT (N).Nkind = N_Delay_Alternative
2570 or else NT (N).Nkind = N_Entry_Call_Alternative
2571 or else NT (N).Nkind = N_Mod_Clause
2572 or else NT (N).Nkind = N_Terminate_Alternative
2573 or else NT (N).Nkind = N_Triggering_Alternative);
2577 function Pre_Post_Conditions
2578 (N : Node_Id) return Node_Id is
2580 pragma Assert (False
2581 or else NT (N).Nkind = N_Contract);
2583 end Pre_Post_Conditions;
2586 (N : Node_Id) return Node_Id is
2588 pragma Assert (False
2589 or else NT (N).Nkind = N_Attribute_Reference
2590 or else NT (N).Nkind = N_Expanded_Name
2591 or else NT (N).Nkind = N_Explicit_Dereference
2592 or else NT (N).Nkind = N_Indexed_Component
2593 or else NT (N).Nkind = N_Reference
2594 or else NT (N).Nkind = N_Selected_Component
2595 or else NT (N).Nkind = N_Slice);
2599 function Premature_Use
2600 (N : Node_Id) return Node_Id is
2602 pragma Assert (False
2603 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2607 function Present_Expr
2608 (N : Node_Id) return Uint is
2610 pragma Assert (False
2611 or else NT (N).Nkind = N_Variant);
2616 (N : Node_Id) return Boolean is
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Component_Declaration
2620 or else NT (N).Nkind = N_Discriminant_Specification
2621 or else NT (N).Nkind = N_Exception_Declaration
2622 or else NT (N).Nkind = N_Formal_Object_Declaration
2623 or else NT (N).Nkind = N_Number_Declaration
2624 or else NT (N).Nkind = N_Object_Declaration
2625 or else NT (N).Nkind = N_Parameter_Specification);
2629 function Print_In_Hex
2630 (N : Node_Id) return Boolean is
2632 pragma Assert (False
2633 or else NT (N).Nkind = N_Integer_Literal);
2637 function Private_Declarations
2638 (N : Node_Id) return List_Id is
2640 pragma Assert (False
2641 or else NT (N).Nkind = N_Package_Specification
2642 or else NT (N).Nkind = N_Protected_Definition
2643 or else NT (N).Nkind = N_Task_Definition);
2645 end Private_Declarations;
2647 function Private_Present
2648 (N : Node_Id) return Boolean is
2650 pragma Assert (False
2651 or else NT (N).Nkind = N_Compilation_Unit
2652 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2653 or else NT (N).Nkind = N_With_Clause);
2655 end Private_Present;
2657 function Procedure_To_Call
2658 (N : Node_Id) return Node_Id is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_Allocator
2662 or else NT (N).Nkind = N_Extended_Return_Statement
2663 or else NT (N).Nkind = N_Free_Statement
2664 or else NT (N).Nkind = N_Simple_Return_Statement);
2666 end Procedure_To_Call;
2668 function Proper_Body
2669 (N : Node_Id) return Node_Id is
2671 pragma Assert (False
2672 or else NT (N).Nkind = N_Subunit);
2676 function Protected_Definition
2677 (N : Node_Id) return Node_Id is
2679 pragma Assert (False
2680 or else NT (N).Nkind = N_Protected_Type_Declaration
2681 or else NT (N).Nkind = N_Single_Protected_Declaration);
2683 end Protected_Definition;
2685 function Protected_Present
2686 (N : Node_Id) return Boolean is
2688 pragma Assert (False
2689 or else NT (N).Nkind = N_Access_Function_Definition
2690 or else NT (N).Nkind = N_Access_Procedure_Definition
2691 or else NT (N).Nkind = N_Derived_Type_Definition
2692 or else NT (N).Nkind = N_Record_Definition);
2694 end Protected_Present;
2696 function Raises_Constraint_Error
2697 (N : Node_Id) return Boolean is
2699 pragma Assert (False
2700 or else NT (N).Nkind in N_Subexpr);
2702 end Raises_Constraint_Error;
2704 function Range_Constraint
2705 (N : Node_Id) return Node_Id is
2707 pragma Assert (False
2708 or else NT (N).Nkind = N_Delta_Constraint
2709 or else NT (N).Nkind = N_Digits_Constraint);
2711 end Range_Constraint;
2713 function Range_Expression
2714 (N : Node_Id) return Node_Id is
2716 pragma Assert (False
2717 or else NT (N).Nkind = N_Range_Constraint);
2719 end Range_Expression;
2721 function Real_Range_Specification
2722 (N : Node_Id) return Node_Id is
2724 pragma Assert (False
2725 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2726 or else NT (N).Nkind = N_Floating_Point_Definition
2727 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2729 end Real_Range_Specification;
2732 (N : Node_Id) return Ureal is
2734 pragma Assert (False
2735 or else NT (N).Nkind = N_Real_Literal);
2740 (N : Node_Id) return Uint is
2742 pragma Assert (False
2743 or else NT (N).Nkind = N_Raise_Constraint_Error
2744 or else NT (N).Nkind = N_Raise_Program_Error
2745 or else NT (N).Nkind = N_Raise_Storage_Error);
2749 function Record_Extension_Part
2750 (N : Node_Id) return Node_Id is
2752 pragma Assert (False
2753 or else NT (N).Nkind = N_Derived_Type_Definition);
2755 end Record_Extension_Part;
2757 function Redundant_Use
2758 (N : Node_Id) return Boolean is
2760 pragma Assert (False
2761 or else NT (N).Nkind = N_Attribute_Reference
2762 or else NT (N).Nkind = N_Expanded_Name
2763 or else NT (N).Nkind = N_Identifier);
2767 function Renaming_Exception
2768 (N : Node_Id) return Node_Id is
2770 pragma Assert (False
2771 or else NT (N).Nkind = N_Exception_Declaration);
2773 end Renaming_Exception;
2775 function Result_Definition
2776 (N : Node_Id) return Node_Id is
2778 pragma Assert (False
2779 or else NT (N).Nkind = N_Access_Function_Definition
2780 or else NT (N).Nkind = N_Function_Specification);
2782 end Result_Definition;
2784 function Return_Object_Declarations
2785 (N : Node_Id) return List_Id is
2787 pragma Assert (False
2788 or else NT (N).Nkind = N_Extended_Return_Statement);
2790 end Return_Object_Declarations;
2792 function Return_Statement_Entity
2793 (N : Node_Id) return Node_Id is
2795 pragma Assert (False
2796 or else NT (N).Nkind = N_Extended_Return_Statement
2797 or else NT (N).Nkind = N_Simple_Return_Statement);
2799 end Return_Statement_Entity;
2801 function Reverse_Present
2802 (N : Node_Id) return Boolean is
2804 pragma Assert (False
2805 or else NT (N).Nkind = N_Iterator_Specification
2806 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2808 end Reverse_Present;
2811 (N : Node_Id) return Node_Id is
2813 pragma Assert (False
2814 or else NT (N).Nkind in N_Op
2815 or else NT (N).Nkind = N_And_Then
2816 or else NT (N).Nkind = N_In
2817 or else NT (N).Nkind = N_Not_In
2818 or else NT (N).Nkind = N_Or_Else);
2822 function Rounded_Result
2823 (N : Node_Id) return Boolean is
2825 pragma Assert (False
2826 or else NT (N).Nkind = N_Op_Divide
2827 or else NT (N).Nkind = N_Op_Multiply
2828 or else NT (N).Nkind = N_Type_Conversion);
2832 function SCIL_Controlling_Tag
2833 (N : Node_Id) return Node_Id is
2835 pragma Assert (False
2836 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2838 end SCIL_Controlling_Tag;
2840 function SCIL_Entity
2841 (N : Node_Id) return Node_Id is
2843 pragma Assert (False
2844 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2845 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2846 or else NT (N).Nkind = N_SCIL_Membership_Test);
2850 function SCIL_Tag_Value
2851 (N : Node_Id) return Node_Id is
2853 pragma Assert (False
2854 or else NT (N).Nkind = N_SCIL_Membership_Test);
2858 function SCIL_Target_Prim
2859 (N : Node_Id) return Node_Id is
2861 pragma Assert (False
2862 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2864 end SCIL_Target_Prim;
2867 (N : Node_Id) return Node_Id is
2869 pragma Assert (False
2870 or else NT (N).Nkind = N_Defining_Character_Literal
2871 or else NT (N).Nkind = N_Defining_Identifier
2872 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2876 function Select_Alternatives
2877 (N : Node_Id) return List_Id is
2879 pragma Assert (False
2880 or else NT (N).Nkind = N_Selective_Accept);
2882 end Select_Alternatives;
2884 function Selector_Name
2885 (N : Node_Id) return Node_Id is
2887 pragma Assert (False
2888 or else NT (N).Nkind = N_Expanded_Name
2889 or else NT (N).Nkind = N_Generic_Association
2890 or else NT (N).Nkind = N_Parameter_Association
2891 or else NT (N).Nkind = N_Selected_Component);
2895 function Selector_Names
2896 (N : Node_Id) return List_Id is
2898 pragma Assert (False
2899 or else NT (N).Nkind = N_Discriminant_Association);
2903 function Shift_Count_OK
2904 (N : Node_Id) return Boolean is
2906 pragma Assert (False
2907 or else NT (N).Nkind = N_Op_Rotate_Left
2908 or else NT (N).Nkind = N_Op_Rotate_Right
2909 or else NT (N).Nkind = N_Op_Shift_Left
2910 or else NT (N).Nkind = N_Op_Shift_Right
2911 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2915 function Source_Type
2916 (N : Node_Id) return Entity_Id is
2918 pragma Assert (False
2919 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2923 function Specification
2924 (N : Node_Id) return Node_Id is
2926 pragma Assert (False
2927 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2928 or else NT (N).Nkind = N_Expression_Function
2929 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2930 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2931 or else NT (N).Nkind = N_Generic_Package_Declaration
2932 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2933 or else NT (N).Nkind = N_Package_Declaration
2934 or else NT (N).Nkind = N_Subprogram_Body
2935 or else NT (N).Nkind = N_Subprogram_Body_Stub
2936 or else NT (N).Nkind = N_Subprogram_Declaration
2937 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2942 (N : Node_Id) return Boolean is
2944 pragma Assert (False
2945 or else NT (N).Nkind = N_Aspect_Specification
2946 or else NT (N).Nkind = N_Pragma);
2951 (N : Node_Id) return List_Id is
2953 pragma Assert (False
2954 or else NT (N).Nkind = N_Abortable_Part
2955 or else NT (N).Nkind = N_Accept_Alternative
2956 or else NT (N).Nkind = N_Case_Statement_Alternative
2957 or else NT (N).Nkind = N_Delay_Alternative
2958 or else NT (N).Nkind = N_Entry_Call_Alternative
2959 or else NT (N).Nkind = N_Exception_Handler
2960 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2961 or else NT (N).Nkind = N_Loop_Statement
2962 or else NT (N).Nkind = N_Triggering_Alternative);
2966 function Storage_Pool
2967 (N : Node_Id) return Node_Id is
2969 pragma Assert (False
2970 or else NT (N).Nkind = N_Allocator
2971 or else NT (N).Nkind = N_Extended_Return_Statement
2972 or else NT (N).Nkind = N_Free_Statement
2973 or else NT (N).Nkind = N_Simple_Return_Statement);
2977 function Subpool_Handle_Name
2978 (N : Node_Id) return Node_Id is
2980 pragma Assert (False
2981 or else NT (N).Nkind = N_Allocator);
2983 end Subpool_Handle_Name;
2986 (N : Node_Id) return String_Id is
2988 pragma Assert (False
2989 or else NT (N).Nkind = N_Operator_Symbol
2990 or else NT (N).Nkind = N_String_Literal);
2994 function Subtype_Indication
2995 (N : Node_Id) return Node_Id is
2997 pragma Assert (False
2998 or else NT (N).Nkind = N_Access_To_Object_Definition
2999 or else NT (N).Nkind = N_Component_Definition
3000 or else NT (N).Nkind = N_Derived_Type_Definition
3001 or else NT (N).Nkind = N_Iterator_Specification
3002 or else NT (N).Nkind = N_Private_Extension_Declaration
3003 or else NT (N).Nkind = N_Subtype_Declaration);
3005 end Subtype_Indication;
3007 function Suppress_Assignment_Checks
3008 (N : Node_Id) return Boolean is
3010 pragma Assert (False
3011 or else NT (N).Nkind = N_Assignment_Statement
3012 or else NT (N).Nkind = N_Object_Declaration);
3014 end Suppress_Assignment_Checks;
3016 function Suppress_Loop_Warnings
3017 (N : Node_Id) return Boolean is
3019 pragma Assert (False
3020 or else NT (N).Nkind = N_Loop_Statement);
3022 end Suppress_Loop_Warnings;
3024 function Subtype_Mark
3025 (N : Node_Id) return Node_Id is
3027 pragma Assert (False
3028 or else NT (N).Nkind = N_Access_Definition
3029 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3030 or else NT (N).Nkind = N_Formal_Object_Declaration
3031 or else NT (N).Nkind = N_Object_Renaming_Declaration
3032 or else NT (N).Nkind = N_Qualified_Expression
3033 or else NT (N).Nkind = N_Subtype_Indication
3034 or else NT (N).Nkind = N_Type_Conversion
3035 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3039 function Subtype_Marks
3040 (N : Node_Id) return List_Id is
3042 pragma Assert (False
3043 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3044 or else NT (N).Nkind = N_Use_Type_Clause);
3048 function Synchronized_Present
3049 (N : Node_Id) return Boolean is
3051 pragma Assert (False
3052 or else NT (N).Nkind = N_Derived_Type_Definition
3053 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3054 or else NT (N).Nkind = N_Private_Extension_Declaration
3055 or else NT (N).Nkind = N_Record_Definition);
3057 end Synchronized_Present;
3059 function Tagged_Present
3060 (N : Node_Id) return Boolean is
3062 pragma Assert (False
3063 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3064 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3065 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3066 or else NT (N).Nkind = N_Private_Type_Declaration
3067 or else NT (N).Nkind = N_Record_Definition);
3071 function Target_Type
3072 (N : Node_Id) return Entity_Id is
3074 pragma Assert (False
3075 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3079 function Task_Definition
3080 (N : Node_Id) return Node_Id is
3082 pragma Assert (False
3083 or else NT (N).Nkind = N_Single_Task_Declaration
3084 or else NT (N).Nkind = N_Task_Type_Declaration);
3086 end Task_Definition;
3088 function Task_Present
3089 (N : Node_Id) return Boolean is
3091 pragma Assert (False
3092 or else NT (N).Nkind = N_Derived_Type_Definition
3093 or else NT (N).Nkind = N_Record_Definition);
3097 function Then_Actions
3098 (N : Node_Id) return List_Id is
3100 pragma Assert (False
3101 or else NT (N).Nkind = N_If_Expression);
3105 function Then_Statements
3106 (N : Node_Id) return List_Id is
3108 pragma Assert (False
3109 or else NT (N).Nkind = N_Elsif_Part
3110 or else NT (N).Nkind = N_If_Statement);
3112 end Then_Statements;
3114 function Treat_Fixed_As_Integer
3115 (N : Node_Id) return Boolean is
3117 pragma Assert (False
3118 or else NT (N).Nkind = N_Op_Divide
3119 or else NT (N).Nkind = N_Op_Mod
3120 or else NT (N).Nkind = N_Op_Multiply
3121 or else NT (N).Nkind = N_Op_Rem);
3123 end Treat_Fixed_As_Integer;
3125 function Triggering_Alternative
3126 (N : Node_Id) return Node_Id is
3128 pragma Assert (False
3129 or else NT (N).Nkind = N_Asynchronous_Select);
3131 end Triggering_Alternative;
3133 function Triggering_Statement
3134 (N : Node_Id) return Node_Id is
3136 pragma Assert (False
3137 or else NT (N).Nkind = N_Triggering_Alternative);
3139 end Triggering_Statement;
3142 (N : Node_Id) return Elist_Id is
3144 pragma Assert (False
3145 or else NT (N).Nkind = N_Freeze_Entity);
3149 function Type_Definition
3150 (N : Node_Id) return Node_Id is
3152 pragma Assert (False
3153 or else NT (N).Nkind = N_Full_Type_Declaration);
3155 end Type_Definition;
3157 function Uneval_Old_Accept
3158 (N : Node_Id) return Boolean is
3160 pragma Assert (False
3161 or else NT (N).Nkind = N_Pragma);
3163 end Uneval_Old_Accept;
3165 function Uneval_Old_Warn
3166 (N : Node_Id) return Boolean is
3168 pragma Assert (False
3169 or else NT (N).Nkind = N_Pragma);
3171 end Uneval_Old_Warn;
3174 (N : Node_Id) return Node_Id is
3176 pragma Assert (False
3177 or else NT (N).Nkind = N_Compilation_Unit);
3181 function Unknown_Discriminants_Present
3182 (N : Node_Id) return Boolean is
3184 pragma Assert (False
3185 or else NT (N).Nkind = N_Formal_Type_Declaration
3186 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3187 or else NT (N).Nkind = N_Private_Extension_Declaration
3188 or else NT (N).Nkind = N_Private_Type_Declaration);
3190 end Unknown_Discriminants_Present;
3192 function Unreferenced_In_Spec
3193 (N : Node_Id) return Boolean is
3195 pragma Assert (False
3196 or else NT (N).Nkind = N_With_Clause);
3198 end Unreferenced_In_Spec;
3200 function Variant_Part
3201 (N : Node_Id) return Node_Id is
3203 pragma Assert (False
3204 or else NT (N).Nkind = N_Component_List);
3209 (N : Node_Id) return List_Id is
3211 pragma Assert (False
3212 or else NT (N).Nkind = N_Variant_Part);
3216 function Visible_Declarations
3217 (N : Node_Id) return List_Id is
3219 pragma Assert (False
3220 or else NT (N).Nkind = N_Package_Specification
3221 or else NT (N).Nkind = N_Protected_Definition
3222 or else NT (N).Nkind = N_Task_Definition);
3224 end Visible_Declarations;
3226 function Uninitialized_Variable
3227 (N : Node_Id) return Node_Id is
3229 pragma Assert (False
3230 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3231 or else NT (N).Nkind = N_Private_Extension_Declaration);
3233 end Uninitialized_Variable;
3235 function Used_Operations
3236 (N : Node_Id) return Elist_Id is
3238 pragma Assert (False
3239 or else NT (N).Nkind = N_Use_Type_Clause);
3241 end Used_Operations;
3243 function Was_Originally_Stub
3244 (N : Node_Id) return Boolean is
3246 pragma Assert (False
3247 or else NT (N).Nkind = N_Package_Body
3248 or else NT (N).Nkind = N_Protected_Body
3249 or else NT (N).Nkind = N_Subprogram_Body
3250 or else NT (N).Nkind = N_Task_Body);
3252 end Was_Originally_Stub;
3254 function Withed_Body
3255 (N : Node_Id) return Node_Id is
3257 pragma Assert (False
3258 or else NT (N).Nkind = N_With_Clause);
3262 --------------------------
3263 -- Field Set Procedures --
3264 --------------------------
3266 procedure Set_ABE_Is_Certain
3267 (N : Node_Id; Val : Boolean := True) is
3269 pragma Assert (False
3270 or else NT (N).Nkind = N_Formal_Package_Declaration
3271 or else NT (N).Nkind = N_Function_Call
3272 or else NT (N).Nkind = N_Function_Instantiation
3273 or else NT (N).Nkind = N_Package_Instantiation
3274 or else NT (N).Nkind = N_Procedure_Call_Statement
3275 or else NT (N).Nkind = N_Procedure_Instantiation);
3276 Set_Flag18 (N, Val);
3277 end Set_ABE_Is_Certain;
3279 procedure Set_Abort_Present
3280 (N : Node_Id; Val : Boolean := True) is
3282 pragma Assert (False
3283 or else NT (N).Nkind = N_Requeue_Statement);
3284 Set_Flag15 (N, Val);
3285 end Set_Abort_Present;
3287 procedure Set_Abortable_Part
3288 (N : Node_Id; Val : Node_Id) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Asynchronous_Select);
3292 Set_Node2_With_Parent (N, Val);
3293 end Set_Abortable_Part;
3295 procedure Set_Abstract_Present
3296 (N : Node_Id; Val : Boolean := True) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Derived_Type_Definition
3300 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3301 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3302 or else NT (N).Nkind = N_Private_Extension_Declaration
3303 or else NT (N).Nkind = N_Private_Type_Declaration
3304 or else NT (N).Nkind = N_Record_Definition);
3306 end Set_Abstract_Present;
3308 procedure Set_Accept_Handler_Records
3309 (N : Node_Id; Val : List_Id) is
3311 pragma Assert (False
3312 or else NT (N).Nkind = N_Accept_Alternative);
3313 Set_List5 (N, Val); -- semantic field, no parent set
3314 end Set_Accept_Handler_Records;
3316 procedure Set_Accept_Statement
3317 (N : Node_Id; Val : Node_Id) is
3319 pragma Assert (False
3320 or else NT (N).Nkind = N_Accept_Alternative);
3321 Set_Node2_With_Parent (N, Val);
3322 end Set_Accept_Statement;
3324 procedure Set_Access_Definition
3325 (N : Node_Id; Val : Node_Id) is
3327 pragma Assert (False
3328 or else NT (N).Nkind = N_Component_Definition
3329 or else NT (N).Nkind = N_Formal_Object_Declaration
3330 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3331 Set_Node3_With_Parent (N, Val);
3332 end Set_Access_Definition;
3334 procedure Set_Access_To_Subprogram_Definition
3335 (N : Node_Id; Val : Node_Id) is
3337 pragma Assert (False
3338 or else NT (N).Nkind = N_Access_Definition);
3339 Set_Node3_With_Parent (N, Val);
3340 end Set_Access_To_Subprogram_Definition;
3342 procedure Set_Access_Types_To_Process
3343 (N : Node_Id; Val : Elist_Id) is
3345 pragma Assert (False
3346 or else NT (N).Nkind = N_Freeze_Entity);
3347 Set_Elist2 (N, Val); -- semantic field, no parent set
3348 end Set_Access_Types_To_Process;
3350 procedure Set_Actions
3351 (N : Node_Id; Val : List_Id) is
3353 pragma Assert (False
3354 or else NT (N).Nkind = N_And_Then
3355 or else NT (N).Nkind = N_Case_Expression_Alternative
3356 or else NT (N).Nkind = N_Compilation_Unit_Aux
3357 or else NT (N).Nkind = N_Compound_Statement
3358 or else NT (N).Nkind = N_Expression_With_Actions
3359 or else NT (N).Nkind = N_Freeze_Entity
3360 or else NT (N).Nkind = N_Or_Else);
3361 Set_List1_With_Parent (N, Val);
3364 procedure Set_Activation_Chain_Entity
3365 (N : Node_Id; Val : Node_Id) is
3367 pragma Assert (False
3368 or else NT (N).Nkind = N_Block_Statement
3369 or else NT (N).Nkind = N_Entry_Body
3370 or else NT (N).Nkind = N_Generic_Package_Declaration
3371 or else NT (N).Nkind = N_Package_Declaration
3372 or else NT (N).Nkind = N_Subprogram_Body
3373 or else NT (N).Nkind = N_Task_Body);
3374 Set_Node3 (N, Val); -- semantic field, no parent set
3375 end Set_Activation_Chain_Entity;
3377 procedure Set_Acts_As_Spec
3378 (N : Node_Id; Val : Boolean := True) is
3380 pragma Assert (False
3381 or else NT (N).Nkind = N_Compilation_Unit
3382 or else NT (N).Nkind = N_Subprogram_Body);
3384 end Set_Acts_As_Spec;
3386 procedure Set_Actual_Designated_Subtype
3387 (N : Node_Id; Val : Node_Id) is
3389 pragma Assert (False
3390 or else NT (N).Nkind = N_Explicit_Dereference
3391 or else NT (N).Nkind = N_Free_Statement);
3393 end Set_Actual_Designated_Subtype;
3395 procedure Set_Address_Warning_Posted
3396 (N : Node_Id; Val : Boolean := True) is
3398 pragma Assert (False
3399 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3400 Set_Flag18 (N, Val);
3401 end Set_Address_Warning_Posted;
3403 procedure Set_Aggregate_Bounds
3404 (N : Node_Id; Val : Node_Id) is
3406 pragma Assert (False
3407 or else NT (N).Nkind = N_Aggregate);
3408 Set_Node3 (N, Val); -- semantic field, no parent set
3409 end Set_Aggregate_Bounds;
3411 procedure Set_Aliased_Present
3412 (N : Node_Id; Val : Boolean := True) is
3414 pragma Assert (False
3415 or else NT (N).Nkind = N_Component_Definition
3416 or else NT (N).Nkind = N_Object_Declaration
3417 or else NT (N).Nkind = N_Parameter_Specification);
3419 end Set_Aliased_Present;
3421 procedure Set_All_Others
3422 (N : Node_Id; Val : Boolean := True) is
3424 pragma Assert (False
3425 or else NT (N).Nkind = N_Others_Choice);
3426 Set_Flag11 (N, Val);
3429 procedure Set_All_Present
3430 (N : Node_Id; Val : Boolean := True) is
3432 pragma Assert (False
3433 or else NT (N).Nkind = N_Access_Definition
3434 or else NT (N).Nkind = N_Access_To_Object_Definition
3435 or else NT (N).Nkind = N_Quantified_Expression
3436 or else NT (N).Nkind = N_Use_Type_Clause);
3437 Set_Flag15 (N, Val);
3438 end Set_All_Present;
3440 procedure Set_Alternatives
3441 (N : Node_Id; Val : List_Id) is
3443 pragma Assert (False
3444 or else NT (N).Nkind = N_Case_Expression
3445 or else NT (N).Nkind = N_Case_Statement
3446 or else NT (N).Nkind = N_In
3447 or else NT (N).Nkind = N_Not_In);
3448 Set_List4_With_Parent (N, Val);
3449 end Set_Alternatives;
3451 procedure Set_Ancestor_Part
3452 (N : Node_Id; Val : Node_Id) is
3454 pragma Assert (False
3455 or else NT (N).Nkind = N_Extension_Aggregate);
3456 Set_Node3_With_Parent (N, Val);
3457 end Set_Ancestor_Part;
3459 procedure Set_Atomic_Sync_Required
3460 (N : Node_Id; Val : Boolean := True) is
3462 pragma Assert (False
3463 or else NT (N).Nkind = N_Expanded_Name
3464 or else NT (N).Nkind = N_Explicit_Dereference
3465 or else NT (N).Nkind = N_Identifier
3466 or else NT (N).Nkind = N_Indexed_Component
3467 or else NT (N).Nkind = N_Selected_Component);
3468 Set_Flag14 (N, Val);
3469 end Set_Atomic_Sync_Required;
3471 procedure Set_Array_Aggregate
3472 (N : Node_Id; Val : Node_Id) is
3474 pragma Assert (False
3475 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3476 Set_Node3_With_Parent (N, Val);
3477 end Set_Array_Aggregate;
3479 procedure Set_Aspect_Rep_Item
3480 (N : Node_Id; Val : Node_Id) is
3482 pragma Assert (False
3483 or else NT (N).Nkind = N_Aspect_Specification);
3485 end Set_Aspect_Rep_Item;
3487 procedure Set_Assignment_OK
3488 (N : Node_Id; Val : Boolean := True) is
3490 pragma Assert (False
3491 or else NT (N).Nkind = N_Object_Declaration
3492 or else NT (N).Nkind in N_Subexpr);
3493 Set_Flag15 (N, Val);
3494 end Set_Assignment_OK;
3496 procedure Set_Associated_Node
3497 (N : Node_Id; Val : Node_Id) is
3499 pragma Assert (False
3500 or else NT (N).Nkind in N_Has_Entity
3501 or else NT (N).Nkind = N_Aggregate
3502 or else NT (N).Nkind = N_Extension_Aggregate
3503 or else NT (N).Nkind = N_Selected_Component);
3504 Set_Node4 (N, Val); -- semantic field, no parent set
3505 end Set_Associated_Node;
3507 procedure Set_At_End_Proc
3508 (N : Node_Id; Val : Node_Id) is
3510 pragma Assert (False
3511 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3513 end Set_At_End_Proc;
3515 procedure Set_Attribute_Name
3516 (N : Node_Id; Val : Name_Id) is
3518 pragma Assert (False
3519 or else NT (N).Nkind = N_Attribute_Reference);
3521 end Set_Attribute_Name;
3523 procedure Set_Aux_Decls_Node
3524 (N : Node_Id; Val : Node_Id) is
3526 pragma Assert (False
3527 or else NT (N).Nkind = N_Compilation_Unit);
3528 Set_Node5_With_Parent (N, Val);
3529 end Set_Aux_Decls_Node;
3531 procedure Set_Backwards_OK
3532 (N : Node_Id; Val : Boolean := True) is
3534 pragma Assert (False
3535 or else NT (N).Nkind = N_Assignment_Statement);
3537 end Set_Backwards_OK;
3539 procedure Set_Bad_Is_Detected
3540 (N : Node_Id; Val : Boolean := True) is
3542 pragma Assert (False
3543 or else NT (N).Nkind = N_Subprogram_Body);
3544 Set_Flag15 (N, Val);
3545 end Set_Bad_Is_Detected;
3547 procedure Set_Body_Required
3548 (N : Node_Id; Val : Boolean := True) is
3550 pragma Assert (False
3551 or else NT (N).Nkind = N_Compilation_Unit);
3552 Set_Flag13 (N, Val);
3553 end Set_Body_Required;
3555 procedure Set_Body_To_Inline
3556 (N : Node_Id; Val : Node_Id) is
3558 pragma Assert (False
3559 or else NT (N).Nkind = N_Subprogram_Declaration);
3561 end Set_Body_To_Inline;
3563 procedure Set_Box_Present
3564 (N : Node_Id; Val : Boolean := True) is
3566 pragma Assert (False
3567 or else NT (N).Nkind = N_Component_Association
3568 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3569 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3570 or else NT (N).Nkind = N_Formal_Package_Declaration
3571 or else NT (N).Nkind = N_Generic_Association);
3572 Set_Flag15 (N, Val);
3573 end Set_Box_Present;
3575 procedure Set_By_Ref
3576 (N : Node_Id; Val : Boolean := True) is
3578 pragma Assert (False
3579 or else NT (N).Nkind = N_Extended_Return_Statement
3580 or else NT (N).Nkind = N_Simple_Return_Statement);
3584 procedure Set_Char_Literal_Value
3585 (N : Node_Id; Val : Uint) is
3587 pragma Assert (False
3588 or else NT (N).Nkind = N_Character_Literal);
3590 end Set_Char_Literal_Value;
3593 (N : Node_Id; Val : Name_Id) is
3595 pragma Assert (False
3596 or else NT (N).Nkind in N_Has_Chars);
3600 procedure Set_Check_Address_Alignment
3601 (N : Node_Id; Val : Boolean := True) is
3603 pragma Assert (False
3604 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3605 Set_Flag11 (N, Val);
3606 end Set_Check_Address_Alignment;
3608 procedure Set_Choice_Parameter
3609 (N : Node_Id; Val : Node_Id) is
3611 pragma Assert (False
3612 or else NT (N).Nkind = N_Exception_Handler);
3613 Set_Node2_With_Parent (N, Val);
3614 end Set_Choice_Parameter;
3616 procedure Set_Choices
3617 (N : Node_Id; Val : List_Id) is
3619 pragma Assert (False
3620 or else NT (N).Nkind = N_Component_Association);
3621 Set_List1_With_Parent (N, Val);
3624 procedure Set_Class_Present
3625 (N : Node_Id; Val : Boolean := True) is
3627 pragma Assert (False
3628 or else NT (N).Nkind = N_Aspect_Specification
3629 or else NT (N).Nkind = N_Pragma);
3631 end Set_Class_Present;
3633 procedure Set_Classifications
3634 (N : Node_Id; Val : Node_Id) is
3636 pragma Assert (False
3637 or else NT (N).Nkind = N_Contract);
3638 Set_Node3 (N, Val); -- semantic field, no parent set
3639 end Set_Classifications;
3641 procedure Set_Cleanup_Actions
3642 (N : Node_Id; Val : List_Id) is
3644 pragma Assert (False
3645 or else NT (N).Nkind = N_Block_Statement);
3646 Set_List5 (N, Val); -- semantic field, no parent set
3647 end Set_Cleanup_Actions;
3649 procedure Set_Comes_From_Extended_Return_Statement
3650 (N : Node_Id; Val : Boolean := True) is
3652 pragma Assert (False
3653 or else NT (N).Nkind = N_Simple_Return_Statement);
3654 Set_Flag18 (N, Val);
3655 end Set_Comes_From_Extended_Return_Statement;
3657 procedure Set_Compile_Time_Known_Aggregate
3658 (N : Node_Id; Val : Boolean := True) is
3660 pragma Assert (False
3661 or else NT (N).Nkind = N_Aggregate);
3662 Set_Flag18 (N, Val);
3663 end Set_Compile_Time_Known_Aggregate;
3665 procedure Set_Component_Associations
3666 (N : Node_Id; Val : List_Id) is
3668 pragma Assert (False
3669 or else NT (N).Nkind = N_Aggregate
3670 or else NT (N).Nkind = N_Extension_Aggregate);
3671 Set_List2_With_Parent (N, Val);
3672 end Set_Component_Associations;
3674 procedure Set_Component_Clauses
3675 (N : Node_Id; Val : List_Id) is
3677 pragma Assert (False
3678 or else NT (N).Nkind = N_Record_Representation_Clause);
3679 Set_List3_With_Parent (N, Val);
3680 end Set_Component_Clauses;
3682 procedure Set_Component_Definition
3683 (N : Node_Id; Val : Node_Id) is
3685 pragma Assert (False
3686 or else NT (N).Nkind = N_Component_Declaration
3687 or else NT (N).Nkind = N_Constrained_Array_Definition
3688 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3689 Set_Node4_With_Parent (N, Val);
3690 end Set_Component_Definition;
3692 procedure Set_Component_Items
3693 (N : Node_Id; Val : List_Id) is
3695 pragma Assert (False
3696 or else NT (N).Nkind = N_Component_List);
3697 Set_List3_With_Parent (N, Val);
3698 end Set_Component_Items;
3700 procedure Set_Component_List
3701 (N : Node_Id; Val : Node_Id) is
3703 pragma Assert (False
3704 or else NT (N).Nkind = N_Record_Definition
3705 or else NT (N).Nkind = N_Variant);
3706 Set_Node1_With_Parent (N, Val);
3707 end Set_Component_List;
3709 procedure Set_Component_Name
3710 (N : Node_Id; Val : Node_Id) is
3712 pragma Assert (False
3713 or else NT (N).Nkind = N_Component_Clause);
3714 Set_Node1_With_Parent (N, Val);
3715 end Set_Component_Name;
3717 procedure Set_Componentwise_Assignment
3718 (N : Node_Id; Val : Boolean := True) is
3720 pragma Assert (False
3721 or else NT (N).Nkind = N_Assignment_Statement);
3722 Set_Flag14 (N, Val);
3723 end Set_Componentwise_Assignment;
3725 procedure Set_Condition
3726 (N : Node_Id; Val : Node_Id) is
3728 pragma Assert (False
3729 or else NT (N).Nkind = N_Accept_Alternative
3730 or else NT (N).Nkind = N_Delay_Alternative
3731 or else NT (N).Nkind = N_Elsif_Part
3732 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3733 or else NT (N).Nkind = N_Exit_Statement
3734 or else NT (N).Nkind = N_If_Statement
3735 or else NT (N).Nkind = N_Iteration_Scheme
3736 or else NT (N).Nkind = N_Quantified_Expression
3737 or else NT (N).Nkind = N_Raise_Constraint_Error
3738 or else NT (N).Nkind = N_Raise_Program_Error
3739 or else NT (N).Nkind = N_Raise_Storage_Error
3740 or else NT (N).Nkind = N_Terminate_Alternative);
3741 Set_Node1_With_Parent (N, Val);
3744 procedure Set_Condition_Actions
3745 (N : Node_Id; Val : List_Id) is
3747 pragma Assert (False
3748 or else NT (N).Nkind = N_Elsif_Part
3749 or else NT (N).Nkind = N_Iteration_Scheme);
3750 Set_List3 (N, Val); -- semantic field, no parent set
3751 end Set_Condition_Actions;
3753 procedure Set_Config_Pragmas
3754 (N : Node_Id; Val : List_Id) is
3756 pragma Assert (False
3757 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3758 Set_List4_With_Parent (N, Val);
3759 end Set_Config_Pragmas;
3761 procedure Set_Constant_Present
3762 (N : Node_Id; Val : Boolean := True) is
3764 pragma Assert (False
3765 or else NT (N).Nkind = N_Access_Definition
3766 or else NT (N).Nkind = N_Access_To_Object_Definition
3767 or else NT (N).Nkind = N_Object_Declaration);
3768 Set_Flag17 (N, Val);
3769 end Set_Constant_Present;
3771 procedure Set_Constraint
3772 (N : Node_Id; Val : Node_Id) is
3774 pragma Assert (False
3775 or else NT (N).Nkind = N_Subtype_Indication);
3776 Set_Node3_With_Parent (N, Val);
3779 procedure Set_Constraints
3780 (N : Node_Id; Val : List_Id) is
3782 pragma Assert (False
3783 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3784 Set_List1_With_Parent (N, Val);
3785 end Set_Constraints;
3787 procedure Set_Context_Installed
3788 (N : Node_Id; Val : Boolean := True) is
3790 pragma Assert (False
3791 or else NT (N).Nkind = N_With_Clause);
3792 Set_Flag13 (N, Val);
3793 end Set_Context_Installed;
3795 procedure Set_Context_Items
3796 (N : Node_Id; Val : List_Id) is
3798 pragma Assert (False
3799 or else NT (N).Nkind = N_Compilation_Unit);
3800 Set_List1_With_Parent (N, Val);
3801 end Set_Context_Items;
3803 procedure Set_Context_Pending
3804 (N : Node_Id; Val : Boolean := True) is
3806 pragma Assert (False
3807 or else NT (N).Nkind = N_Compilation_Unit);
3808 Set_Flag16 (N, Val);
3809 end Set_Context_Pending;
3811 procedure Set_Contract_Test_Cases
3812 (N : Node_Id; Val : Node_Id) is
3814 pragma Assert (False
3815 or else NT (N).Nkind = N_Contract);
3816 Set_Node2 (N, Val); -- semantic field, no parent set
3817 end Set_Contract_Test_Cases;
3819 procedure Set_Controlling_Argument
3820 (N : Node_Id; Val : Node_Id) is
3822 pragma Assert (False
3823 or else NT (N).Nkind = N_Function_Call
3824 or else NT (N).Nkind = N_Procedure_Call_Statement);
3825 Set_Node1 (N, Val); -- semantic field, no parent set
3826 end Set_Controlling_Argument;
3828 procedure Set_Conversion_OK
3829 (N : Node_Id; Val : Boolean := True) is
3831 pragma Assert (False
3832 or else NT (N).Nkind = N_Type_Conversion);
3833 Set_Flag14 (N, Val);
3834 end Set_Conversion_OK;
3836 procedure Set_Convert_To_Return_False
3837 (N : Node_Id; Val : Boolean := True) is
3839 pragma Assert (False
3840 or else NT (N).Nkind = N_Raise_Expression);
3841 Set_Flag13 (N, Val);
3842 end Set_Convert_To_Return_False;
3844 procedure Set_Corresponding_Aspect
3845 (N : Node_Id; Val : Node_Id) is
3847 pragma Assert (False
3848 or else NT (N).Nkind = N_Pragma);
3850 end Set_Corresponding_Aspect;
3852 procedure Set_Corresponding_Body
3853 (N : Node_Id; Val : Node_Id) is
3855 pragma Assert (False
3856 or else NT (N).Nkind = N_Entry_Declaration
3857 or else NT (N).Nkind = N_Generic_Package_Declaration
3858 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3859 or else NT (N).Nkind = N_Package_Body_Stub
3860 or else NT (N).Nkind = N_Package_Declaration
3861 or else NT (N).Nkind = N_Protected_Body_Stub
3862 or else NT (N).Nkind = N_Protected_Type_Declaration
3863 or else NT (N).Nkind = N_Subprogram_Body_Stub
3864 or else NT (N).Nkind = N_Subprogram_Declaration
3865 or else NT (N).Nkind = N_Task_Body_Stub
3866 or else NT (N).Nkind = N_Task_Type_Declaration);
3867 Set_Node5 (N, Val); -- semantic field, no parent set
3868 end Set_Corresponding_Body;
3870 procedure Set_Corresponding_Formal_Spec
3871 (N : Node_Id; Val : Node_Id) is
3873 pragma Assert (False
3874 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3875 Set_Node3 (N, Val); -- semantic field, no parent set
3876 end Set_Corresponding_Formal_Spec;
3878 procedure Set_Corresponding_Generic_Association
3879 (N : Node_Id; Val : Node_Id) is
3881 pragma Assert (False
3882 or else NT (N).Nkind = N_Object_Declaration
3883 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3884 Set_Node5 (N, Val); -- semantic field, no parent set
3885 end Set_Corresponding_Generic_Association;
3887 procedure Set_Corresponding_Integer_Value
3888 (N : Node_Id; Val : Uint) is
3890 pragma Assert (False
3891 or else NT (N).Nkind = N_Real_Literal);
3892 Set_Uint4 (N, Val); -- semantic field, no parent set
3893 end Set_Corresponding_Integer_Value;
3895 procedure Set_Corresponding_Spec
3896 (N : Node_Id; Val : Node_Id) is
3898 pragma Assert (False
3899 or else NT (N).Nkind = N_Expression_Function
3900 or else NT (N).Nkind = N_Package_Body
3901 or else NT (N).Nkind = N_Protected_Body
3902 or else NT (N).Nkind = N_Subprogram_Body
3903 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3904 or else NT (N).Nkind = N_Task_Body
3905 or else NT (N).Nkind = N_With_Clause);
3906 Set_Node5 (N, Val); -- semantic field, no parent set
3907 end Set_Corresponding_Spec;
3909 procedure Set_Corresponding_Spec_Of_Stub
3910 (N : Node_Id; Val : Entity_Id) is
3912 pragma Assert (False
3913 or else NT (N).Nkind = N_Package_Body_Stub
3914 or else NT (N).Nkind = N_Protected_Body_Stub
3915 or else NT (N).Nkind = N_Subprogram_Body_Stub
3916 or else NT (N).Nkind = N_Task_Body_Stub);
3917 Set_Node2 (N, Val); -- semantic field, no parent set
3918 end Set_Corresponding_Spec_Of_Stub;
3920 procedure Set_Corresponding_Stub
3921 (N : Node_Id; Val : Node_Id) is
3923 pragma Assert (False
3924 or else NT (N).Nkind = N_Subunit);
3926 end Set_Corresponding_Stub;
3928 procedure Set_Dcheck_Function
3929 (N : Node_Id; Val : Entity_Id) is
3931 pragma Assert (False
3932 or else NT (N).Nkind = N_Variant);
3933 Set_Node5 (N, Val); -- semantic field, no parent set
3934 end Set_Dcheck_Function;
3936 procedure Set_Declarations
3937 (N : Node_Id; Val : List_Id) is
3939 pragma Assert (False
3940 or else NT (N).Nkind = N_Accept_Statement
3941 or else NT (N).Nkind = N_Block_Statement
3942 or else NT (N).Nkind = N_Compilation_Unit_Aux
3943 or else NT (N).Nkind = N_Entry_Body
3944 or else NT (N).Nkind = N_Package_Body
3945 or else NT (N).Nkind = N_Protected_Body
3946 or else NT (N).Nkind = N_Subprogram_Body
3947 or else NT (N).Nkind = N_Task_Body);
3948 Set_List2_With_Parent (N, Val);
3949 end Set_Declarations;
3951 procedure Set_Default_Expression
3952 (N : Node_Id; Val : Node_Id) is
3954 pragma Assert (False
3955 or else NT (N).Nkind = N_Formal_Object_Declaration
3956 or else NT (N).Nkind = N_Parameter_Specification);
3957 Set_Node5 (N, Val); -- semantic field, no parent set
3958 end Set_Default_Expression;
3960 procedure Set_Default_Storage_Pool
3961 (N : Node_Id; Val : Node_Id) is
3963 pragma Assert (False
3964 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3965 Set_Node3 (N, Val); -- semantic field, no parent set
3966 end Set_Default_Storage_Pool;
3968 procedure Set_Default_Name
3969 (N : Node_Id; Val : Node_Id) is
3971 pragma Assert (False
3972 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3973 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3974 Set_Node2_With_Parent (N, Val);
3975 end Set_Default_Name;
3977 procedure Set_Defining_Identifier
3978 (N : Node_Id; Val : Entity_Id) is
3980 pragma Assert (False
3981 or else NT (N).Nkind = N_Component_Declaration
3982 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3983 or else NT (N).Nkind = N_Discriminant_Specification
3984 or else NT (N).Nkind = N_Entry_Body
3985 or else NT (N).Nkind = N_Entry_Declaration
3986 or else NT (N).Nkind = N_Entry_Index_Specification
3987 or else NT (N).Nkind = N_Exception_Declaration
3988 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3989 or else NT (N).Nkind = N_Formal_Object_Declaration
3990 or else NT (N).Nkind = N_Formal_Package_Declaration
3991 or else NT (N).Nkind = N_Formal_Type_Declaration
3992 or else NT (N).Nkind = N_Full_Type_Declaration
3993 or else NT (N).Nkind = N_Implicit_Label_Declaration
3994 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3995 or else NT (N).Nkind = N_Iterator_Specification
3996 or else NT (N).Nkind = N_Loop_Parameter_Specification
3997 or else NT (N).Nkind = N_Number_Declaration
3998 or else NT (N).Nkind = N_Object_Declaration
3999 or else NT (N).Nkind = N_Object_Renaming_Declaration
4000 or else NT (N).Nkind = N_Package_Body_Stub
4001 or else NT (N).Nkind = N_Parameter_Specification
4002 or else NT (N).Nkind = N_Private_Extension_Declaration
4003 or else NT (N).Nkind = N_Private_Type_Declaration
4004 or else NT (N).Nkind = N_Protected_Body
4005 or else NT (N).Nkind = N_Protected_Body_Stub
4006 or else NT (N).Nkind = N_Protected_Type_Declaration
4007 or else NT (N).Nkind = N_Single_Protected_Declaration
4008 or else NT (N).Nkind = N_Single_Task_Declaration
4009 or else NT (N).Nkind = N_Subtype_Declaration
4010 or else NT (N).Nkind = N_Task_Body
4011 or else NT (N).Nkind = N_Task_Body_Stub
4012 or else NT (N).Nkind = N_Task_Type_Declaration);
4013 Set_Node1_With_Parent (N, Val);
4014 end Set_Defining_Identifier;
4016 procedure Set_Defining_Unit_Name
4017 (N : Node_Id; Val : Node_Id) is
4019 pragma Assert (False
4020 or else NT (N).Nkind = N_Function_Instantiation
4021 or else NT (N).Nkind = N_Function_Specification
4022 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4023 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4024 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4025 or else NT (N).Nkind = N_Package_Body
4026 or else NT (N).Nkind = N_Package_Instantiation
4027 or else NT (N).Nkind = N_Package_Renaming_Declaration
4028 or else NT (N).Nkind = N_Package_Specification
4029 or else NT (N).Nkind = N_Procedure_Instantiation
4030 or else NT (N).Nkind = N_Procedure_Specification);
4031 Set_Node1_With_Parent (N, Val);
4032 end Set_Defining_Unit_Name;
4034 procedure Set_Delay_Alternative
4035 (N : Node_Id; Val : Node_Id) is
4037 pragma Assert (False
4038 or else NT (N).Nkind = N_Timed_Entry_Call);
4039 Set_Node4_With_Parent (N, Val);
4040 end Set_Delay_Alternative;
4042 procedure Set_Delay_Statement
4043 (N : Node_Id; Val : Node_Id) is
4045 pragma Assert (False
4046 or else NT (N).Nkind = N_Delay_Alternative);
4047 Set_Node2_With_Parent (N, Val);
4048 end Set_Delay_Statement;
4050 procedure Set_Delta_Expression
4051 (N : Node_Id; Val : Node_Id) is
4053 pragma Assert (False
4054 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4055 or else NT (N).Nkind = N_Delta_Constraint
4056 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4057 Set_Node3_With_Parent (N, Val);
4058 end Set_Delta_Expression;
4060 procedure Set_Digits_Expression
4061 (N : Node_Id; Val : Node_Id) is
4063 pragma Assert (False
4064 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4065 or else NT (N).Nkind = N_Digits_Constraint
4066 or else NT (N).Nkind = N_Floating_Point_Definition);
4067 Set_Node2_With_Parent (N, Val);
4068 end Set_Digits_Expression;
4070 procedure Set_Discr_Check_Funcs_Built
4071 (N : Node_Id; Val : Boolean := True) is
4073 pragma Assert (False
4074 or else NT (N).Nkind = N_Full_Type_Declaration);
4075 Set_Flag11 (N, Val);
4076 end Set_Discr_Check_Funcs_Built;
4078 procedure Set_Discrete_Choices
4079 (N : Node_Id; Val : List_Id) is
4081 pragma Assert (False
4082 or else NT (N).Nkind = N_Case_Expression_Alternative
4083 or else NT (N).Nkind = N_Case_Statement_Alternative
4084 or else NT (N).Nkind = N_Variant);
4085 Set_List4_With_Parent (N, Val);
4086 end Set_Discrete_Choices;
4088 procedure Set_Discrete_Range
4089 (N : Node_Id; Val : Node_Id) is
4091 pragma Assert (False
4092 or else NT (N).Nkind = N_Slice);
4093 Set_Node4_With_Parent (N, Val);
4094 end Set_Discrete_Range;
4096 procedure Set_Discrete_Subtype_Definition
4097 (N : Node_Id; Val : Node_Id) is
4099 pragma Assert (False
4100 or else NT (N).Nkind = N_Entry_Declaration
4101 or else NT (N).Nkind = N_Entry_Index_Specification
4102 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4103 Set_Node4_With_Parent (N, Val);
4104 end Set_Discrete_Subtype_Definition;
4106 procedure Set_Discrete_Subtype_Definitions
4107 (N : Node_Id; Val : List_Id) is
4109 pragma Assert (False
4110 or else NT (N).Nkind = N_Constrained_Array_Definition);
4111 Set_List2_With_Parent (N, Val);
4112 end Set_Discrete_Subtype_Definitions;
4114 procedure Set_Discriminant_Specifications
4115 (N : Node_Id; Val : List_Id) is
4117 pragma Assert (False
4118 or else NT (N).Nkind = N_Formal_Type_Declaration
4119 or else NT (N).Nkind = N_Full_Type_Declaration
4120 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4121 or else NT (N).Nkind = N_Private_Extension_Declaration
4122 or else NT (N).Nkind = N_Private_Type_Declaration
4123 or else NT (N).Nkind = N_Protected_Type_Declaration
4124 or else NT (N).Nkind = N_Task_Type_Declaration);
4125 Set_List4_With_Parent (N, Val);
4126 end Set_Discriminant_Specifications;
4128 procedure Set_Discriminant_Type
4129 (N : Node_Id; Val : Node_Id) is
4131 pragma Assert (False
4132 or else NT (N).Nkind = N_Discriminant_Specification);
4133 Set_Node5_With_Parent (N, Val);
4134 end Set_Discriminant_Type;
4136 procedure Set_Do_Accessibility_Check
4137 (N : Node_Id; Val : Boolean := True) is
4139 pragma Assert (False
4140 or else NT (N).Nkind = N_Parameter_Specification);
4141 Set_Flag13 (N, Val);
4142 end Set_Do_Accessibility_Check;
4144 procedure Set_Do_Discriminant_Check
4145 (N : Node_Id; Val : Boolean := True) is
4147 pragma Assert (False
4148 or else NT (N).Nkind = N_Assignment_Statement
4149 or else NT (N).Nkind = N_Selected_Component
4150 or else NT (N).Nkind = N_Type_Conversion);
4152 end Set_Do_Discriminant_Check;
4154 procedure Set_Do_Division_Check
4155 (N : Node_Id; Val : Boolean := True) is
4157 pragma Assert (False
4158 or else NT (N).Nkind = N_Op_Divide
4159 or else NT (N).Nkind = N_Op_Mod
4160 or else NT (N).Nkind = N_Op_Rem);
4161 Set_Flag13 (N, Val);
4162 end Set_Do_Division_Check;
4164 procedure Set_Do_Length_Check
4165 (N : Node_Id; Val : Boolean := True) is
4167 pragma Assert (False
4168 or else NT (N).Nkind = N_Assignment_Statement
4169 or else NT (N).Nkind = N_Op_And
4170 or else NT (N).Nkind = N_Op_Or
4171 or else NT (N).Nkind = N_Op_Xor
4172 or else NT (N).Nkind = N_Type_Conversion);
4174 end Set_Do_Length_Check;
4176 procedure Set_Do_Overflow_Check
4177 (N : Node_Id; Val : Boolean := True) is
4179 pragma Assert (False
4180 or else NT (N).Nkind in N_Op
4181 or else NT (N).Nkind = N_Attribute_Reference
4182 or else NT (N).Nkind = N_Case_Expression
4183 or else NT (N).Nkind = N_If_Expression
4184 or else NT (N).Nkind = N_Type_Conversion);
4185 Set_Flag17 (N, Val);
4186 end Set_Do_Overflow_Check;
4188 procedure Set_Do_Range_Check
4189 (N : Node_Id; Val : Boolean := True) is
4191 pragma Assert (False
4192 or else NT (N).Nkind in N_Subexpr);
4194 end Set_Do_Range_Check;
4196 procedure Set_Do_Storage_Check
4197 (N : Node_Id; Val : Boolean := True) is
4199 pragma Assert (False
4200 or else NT (N).Nkind = N_Allocator
4201 or else NT (N).Nkind = N_Subprogram_Body);
4202 Set_Flag17 (N, Val);
4203 end Set_Do_Storage_Check;
4205 procedure Set_Do_Tag_Check
4206 (N : Node_Id; Val : Boolean := True) is
4208 pragma Assert (False
4209 or else NT (N).Nkind = N_Assignment_Statement
4210 or else NT (N).Nkind = N_Extended_Return_Statement
4211 or else NT (N).Nkind = N_Function_Call
4212 or else NT (N).Nkind = N_Procedure_Call_Statement
4213 or else NT (N).Nkind = N_Simple_Return_Statement
4214 or else NT (N).Nkind = N_Type_Conversion);
4215 Set_Flag13 (N, Val);
4216 end Set_Do_Tag_Check;
4218 procedure Set_Elaborate_All_Desirable
4219 (N : Node_Id; Val : Boolean := True) is
4221 pragma Assert (False
4222 or else NT (N).Nkind = N_With_Clause);
4224 end Set_Elaborate_All_Desirable;
4226 procedure Set_Elaborate_All_Present
4227 (N : Node_Id; Val : Boolean := True) is
4229 pragma Assert (False
4230 or else NT (N).Nkind = N_With_Clause);
4231 Set_Flag14 (N, Val);
4232 end Set_Elaborate_All_Present;
4234 procedure Set_Elaborate_Desirable
4235 (N : Node_Id; Val : Boolean := True) is
4237 pragma Assert (False
4238 or else NT (N).Nkind = N_With_Clause);
4239 Set_Flag11 (N, Val);
4240 end Set_Elaborate_Desirable;
4242 procedure Set_Elaborate_Present
4243 (N : Node_Id; Val : Boolean := True) is
4245 pragma Assert (False
4246 or else NT (N).Nkind = N_With_Clause);
4248 end Set_Elaborate_Present;
4250 procedure Set_Else_Actions
4251 (N : Node_Id; Val : List_Id) is
4253 pragma Assert (False
4254 or else NT (N).Nkind = N_If_Expression);
4255 Set_List3_With_Parent (N, Val); -- semantic field, but needs parents
4256 end Set_Else_Actions;
4258 procedure Set_Else_Statements
4259 (N : Node_Id; Val : List_Id) is
4261 pragma Assert (False
4262 or else NT (N).Nkind = N_Conditional_Entry_Call
4263 or else NT (N).Nkind = N_If_Statement
4264 or else NT (N).Nkind = N_Selective_Accept);
4265 Set_List4_With_Parent (N, Val);
4266 end Set_Else_Statements;
4268 procedure Set_Elsif_Parts
4269 (N : Node_Id; Val : List_Id) is
4271 pragma Assert (False
4272 or else NT (N).Nkind = N_If_Statement);
4273 Set_List3_With_Parent (N, Val);
4274 end Set_Elsif_Parts;
4276 procedure Set_Enclosing_Variant
4277 (N : Node_Id; Val : Node_Id) is
4279 pragma Assert (False
4280 or else NT (N).Nkind = N_Variant);
4281 Set_Node2 (N, Val); -- semantic field, no parent set
4282 end Set_Enclosing_Variant;
4284 procedure Set_End_Label
4285 (N : Node_Id; Val : Node_Id) is
4287 pragma Assert (False
4288 or else NT (N).Nkind = N_Enumeration_Type_Definition
4289 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4290 or else NT (N).Nkind = N_Loop_Statement
4291 or else NT (N).Nkind = N_Package_Specification
4292 or else NT (N).Nkind = N_Protected_Body
4293 or else NT (N).Nkind = N_Protected_Definition
4294 or else NT (N).Nkind = N_Record_Definition
4295 or else NT (N).Nkind = N_Task_Definition);
4296 Set_Node4_With_Parent (N, Val);
4299 procedure Set_End_Span
4300 (N : Node_Id; Val : Uint) is
4302 pragma Assert (False
4303 or else NT (N).Nkind = N_Case_Statement
4304 or else NT (N).Nkind = N_If_Statement);
4308 procedure Set_Entity
4309 (N : Node_Id; Val : Node_Id) is
4311 pragma Assert (False
4312 or else NT (N).Nkind in N_Has_Entity
4313 or else NT (N).Nkind = N_Aspect_Specification
4314 or else NT (N).Nkind = N_Attribute_Definition_Clause
4315 or else NT (N).Nkind = N_Freeze_Entity
4316 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4317 Set_Node4 (N, Val); -- semantic field, no parent set
4320 procedure Set_Entry_Body_Formal_Part
4321 (N : Node_Id; Val : Node_Id) is
4323 pragma Assert (False
4324 or else NT (N).Nkind = N_Entry_Body);
4325 Set_Node5_With_Parent (N, Val);
4326 end Set_Entry_Body_Formal_Part;
4328 procedure Set_Entry_Call_Alternative
4329 (N : Node_Id; Val : Node_Id) is
4331 pragma Assert (False
4332 or else NT (N).Nkind = N_Conditional_Entry_Call
4333 or else NT (N).Nkind = N_Timed_Entry_Call);
4334 Set_Node1_With_Parent (N, Val);
4335 end Set_Entry_Call_Alternative;
4337 procedure Set_Entry_Call_Statement
4338 (N : Node_Id; Val : Node_Id) is
4340 pragma Assert (False
4341 or else NT (N).Nkind = N_Entry_Call_Alternative);
4342 Set_Node1_With_Parent (N, Val);
4343 end Set_Entry_Call_Statement;
4345 procedure Set_Entry_Direct_Name
4346 (N : Node_Id; Val : Node_Id) is
4348 pragma Assert (False
4349 or else NT (N).Nkind = N_Accept_Statement);
4350 Set_Node1_With_Parent (N, Val);
4351 end Set_Entry_Direct_Name;
4353 procedure Set_Entry_Index
4354 (N : Node_Id; Val : Node_Id) is
4356 pragma Assert (False
4357 or else NT (N).Nkind = N_Accept_Statement);
4358 Set_Node5_With_Parent (N, Val);
4359 end Set_Entry_Index;
4361 procedure Set_Entry_Index_Specification
4362 (N : Node_Id; Val : Node_Id) is
4364 pragma Assert (False
4365 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4366 Set_Node4_With_Parent (N, Val);
4367 end Set_Entry_Index_Specification;
4370 (N : Node_Id; Val : Node_Id) is
4372 pragma Assert (False
4373 or else NT (N).Nkind in N_Has_Etype);
4374 Set_Node5 (N, Val); -- semantic field, no parent set
4377 procedure Set_Exception_Choices
4378 (N : Node_Id; Val : List_Id) is
4380 pragma Assert (False
4381 or else NT (N).Nkind = N_Exception_Handler);
4382 Set_List4_With_Parent (N, Val);
4383 end Set_Exception_Choices;
4385 procedure Set_Exception_Handlers
4386 (N : Node_Id; Val : List_Id) is
4388 pragma Assert (False
4389 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4390 Set_List5_With_Parent (N, Val);
4391 end Set_Exception_Handlers;
4393 procedure Set_Exception_Junk
4394 (N : Node_Id; Val : Boolean := True) is
4396 pragma Assert (False
4397 or else NT (N).Nkind = N_Block_Statement
4398 or else NT (N).Nkind = N_Goto_Statement
4399 or else NT (N).Nkind = N_Label
4400 or else NT (N).Nkind = N_Object_Declaration
4401 or else NT (N).Nkind = N_Subtype_Declaration);
4403 end Set_Exception_Junk;
4405 procedure Set_Exception_Label
4406 (N : Node_Id; Val : Node_Id) is
4408 pragma Assert (False
4409 or else NT (N).Nkind = N_Exception_Handler
4410 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4411 or else NT (N).Nkind = N_Push_Program_Error_Label
4412 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4413 Set_Node5 (N, Val); -- semantic field, no parent set
4414 end Set_Exception_Label;
4416 procedure Set_Expansion_Delayed
4417 (N : Node_Id; Val : Boolean := True) is
4419 pragma Assert (False
4420 or else NT (N).Nkind = N_Aggregate
4421 or else NT (N).Nkind = N_Extension_Aggregate);
4422 Set_Flag11 (N, Val);
4423 end Set_Expansion_Delayed;
4425 procedure Set_Explicit_Actual_Parameter
4426 (N : Node_Id; Val : Node_Id) is
4428 pragma Assert (False
4429 or else NT (N).Nkind = N_Parameter_Association);
4430 Set_Node3_With_Parent (N, Val);
4431 end Set_Explicit_Actual_Parameter;
4433 procedure Set_Explicit_Generic_Actual_Parameter
4434 (N : Node_Id; Val : Node_Id) is
4436 pragma Assert (False
4437 or else NT (N).Nkind = N_Generic_Association);
4438 Set_Node1_With_Parent (N, Val);
4439 end Set_Explicit_Generic_Actual_Parameter;
4441 procedure Set_Expression
4442 (N : Node_Id; Val : Node_Id) is
4444 pragma Assert (False
4445 or else NT (N).Nkind = N_Allocator
4446 or else NT (N).Nkind = N_Aspect_Specification
4447 or else NT (N).Nkind = N_Assignment_Statement
4448 or else NT (N).Nkind = N_At_Clause
4449 or else NT (N).Nkind = N_Attribute_Definition_Clause
4450 or else NT (N).Nkind = N_Case_Expression
4451 or else NT (N).Nkind = N_Case_Expression_Alternative
4452 or else NT (N).Nkind = N_Case_Statement
4453 or else NT (N).Nkind = N_Code_Statement
4454 or else NT (N).Nkind = N_Component_Association
4455 or else NT (N).Nkind = N_Component_Declaration
4456 or else NT (N).Nkind = N_Delay_Relative_Statement
4457 or else NT (N).Nkind = N_Delay_Until_Statement
4458 or else NT (N).Nkind = N_Discriminant_Association
4459 or else NT (N).Nkind = N_Discriminant_Specification
4460 or else NT (N).Nkind = N_Exception_Declaration
4461 or else NT (N).Nkind = N_Expression_Function
4462 or else NT (N).Nkind = N_Expression_With_Actions
4463 or else NT (N).Nkind = N_Free_Statement
4464 or else NT (N).Nkind = N_Mod_Clause
4465 or else NT (N).Nkind = N_Modular_Type_Definition
4466 or else NT (N).Nkind = N_Number_Declaration
4467 or else NT (N).Nkind = N_Object_Declaration
4468 or else NT (N).Nkind = N_Parameter_Specification
4469 or else NT (N).Nkind = N_Pragma_Argument_Association
4470 or else NT (N).Nkind = N_Qualified_Expression
4471 or else NT (N).Nkind = N_Raise_Expression
4472 or else NT (N).Nkind = N_Raise_Statement
4473 or else NT (N).Nkind = N_Simple_Return_Statement
4474 or else NT (N).Nkind = N_Type_Conversion
4475 or else NT (N).Nkind = N_Unchecked_Expression
4476 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4477 Set_Node3_With_Parent (N, Val);
4480 procedure Set_Expressions
4481 (N : Node_Id; Val : List_Id) is
4483 pragma Assert (False
4484 or else NT (N).Nkind = N_Aggregate
4485 or else NT (N).Nkind = N_Attribute_Reference
4486 or else NT (N).Nkind = N_Extension_Aggregate
4487 or else NT (N).Nkind = N_If_Expression
4488 or else NT (N).Nkind = N_Indexed_Component);
4489 Set_List1_With_Parent (N, Val);
4490 end Set_Expressions;
4492 procedure Set_First_Bit
4493 (N : Node_Id; Val : Node_Id) is
4495 pragma Assert (False
4496 or else NT (N).Nkind = N_Component_Clause);
4497 Set_Node3_With_Parent (N, Val);
4500 procedure Set_First_Inlined_Subprogram
4501 (N : Node_Id; Val : Entity_Id) is
4503 pragma Assert (False
4504 or else NT (N).Nkind = N_Compilation_Unit);
4505 Set_Node3 (N, Val); -- semantic field, no parent set
4506 end Set_First_Inlined_Subprogram;
4508 procedure Set_First_Name
4509 (N : Node_Id; Val : Boolean := True) is
4511 pragma Assert (False
4512 or else NT (N).Nkind = N_With_Clause);
4516 procedure Set_First_Named_Actual
4517 (N : Node_Id; Val : Node_Id) is
4519 pragma Assert (False
4520 or else NT (N).Nkind = N_Entry_Call_Statement
4521 or else NT (N).Nkind = N_Function_Call
4522 or else NT (N).Nkind = N_Procedure_Call_Statement);
4523 Set_Node4 (N, Val); -- semantic field, no parent set
4524 end Set_First_Named_Actual;
4526 procedure Set_First_Real_Statement
4527 (N : Node_Id; Val : Node_Id) is
4529 pragma Assert (False
4530 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4531 Set_Node2 (N, Val); -- semantic field, no parent set
4532 end Set_First_Real_Statement;
4534 procedure Set_First_Subtype_Link
4535 (N : Node_Id; Val : Entity_Id) is
4537 pragma Assert (False
4538 or else NT (N).Nkind = N_Freeze_Entity);
4539 Set_Node5 (N, Val); -- semantic field, no parent set
4540 end Set_First_Subtype_Link;
4542 procedure Set_Float_Truncate
4543 (N : Node_Id; Val : Boolean := True) is
4545 pragma Assert (False
4546 or else NT (N).Nkind = N_Type_Conversion);
4547 Set_Flag11 (N, Val);
4548 end Set_Float_Truncate;
4550 procedure Set_Formal_Type_Definition
4551 (N : Node_Id; Val : Node_Id) is
4553 pragma Assert (False
4554 or else NT (N).Nkind = N_Formal_Type_Declaration);
4555 Set_Node3_With_Parent (N, Val);
4556 end Set_Formal_Type_Definition;
4558 procedure Set_Forwards_OK
4559 (N : Node_Id; Val : Boolean := True) is
4561 pragma Assert (False
4562 or else NT (N).Nkind = N_Assignment_Statement);
4564 end Set_Forwards_OK;
4566 procedure Set_From_Aspect_Specification
4567 (N : Node_Id; Val : Boolean := True) is
4569 pragma Assert (False
4570 or else NT (N).Nkind = N_Attribute_Definition_Clause
4571 or else NT (N).Nkind = N_Pragma);
4572 Set_Flag13 (N, Val);
4573 end Set_From_Aspect_Specification;
4575 procedure Set_From_At_End
4576 (N : Node_Id; Val : Boolean := True) is
4578 pragma Assert (False
4579 or else NT (N).Nkind = N_Raise_Statement);
4581 end Set_From_At_End;
4583 procedure Set_From_At_Mod
4584 (N : Node_Id; Val : Boolean := True) is
4586 pragma Assert (False
4587 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4589 end Set_From_At_Mod;
4591 procedure Set_From_Conditional_Expression
4592 (N : Node_Id; Val : Boolean := True) is
4594 pragma Assert (False
4595 or else NT (N).Nkind = N_Case_Statement
4596 or else NT (N).Nkind = N_If_Statement);
4598 end Set_From_Conditional_Expression;
4600 procedure Set_From_Default
4601 (N : Node_Id; Val : Boolean := True) is
4603 pragma Assert (False
4604 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4606 end Set_From_Default;
4608 procedure Set_Generalized_Indexing
4609 (N : Node_Id; Val : Node_Id) is
4611 pragma Assert (False
4612 or else NT (N).Nkind = N_Indexed_Component);
4614 end Set_Generalized_Indexing;
4616 procedure Set_Generic_Associations
4617 (N : Node_Id; Val : List_Id) is
4619 pragma Assert (False
4620 or else NT (N).Nkind = N_Formal_Package_Declaration
4621 or else NT (N).Nkind = N_Function_Instantiation
4622 or else NT (N).Nkind = N_Package_Instantiation
4623 or else NT (N).Nkind = N_Procedure_Instantiation);
4624 Set_List3_With_Parent (N, Val);
4625 end Set_Generic_Associations;
4627 procedure Set_Generic_Formal_Declarations
4628 (N : Node_Id; Val : List_Id) is
4630 pragma Assert (False
4631 or else NT (N).Nkind = N_Generic_Package_Declaration
4632 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4633 Set_List2_With_Parent (N, Val);
4634 end Set_Generic_Formal_Declarations;
4636 procedure Set_Generic_Parent
4637 (N : Node_Id; Val : Node_Id) is
4639 pragma Assert (False
4640 or else NT (N).Nkind = N_Function_Specification
4641 or else NT (N).Nkind = N_Package_Specification
4642 or else NT (N).Nkind = N_Procedure_Specification);
4644 end Set_Generic_Parent;
4646 procedure Set_Generic_Parent_Type
4647 (N : Node_Id; Val : Node_Id) is
4649 pragma Assert (False
4650 or else NT (N).Nkind = N_Subtype_Declaration);
4652 end Set_Generic_Parent_Type;
4654 procedure Set_Handled_Statement_Sequence
4655 (N : Node_Id; Val : Node_Id) is
4657 pragma Assert (False
4658 or else NT (N).Nkind = N_Accept_Statement
4659 or else NT (N).Nkind = N_Block_Statement
4660 or else NT (N).Nkind = N_Entry_Body
4661 or else NT (N).Nkind = N_Extended_Return_Statement
4662 or else NT (N).Nkind = N_Package_Body
4663 or else NT (N).Nkind = N_Subprogram_Body
4664 or else NT (N).Nkind = N_Task_Body);
4665 Set_Node4_With_Parent (N, Val);
4666 end Set_Handled_Statement_Sequence;
4668 procedure Set_Handler_List_Entry
4669 (N : Node_Id; Val : Node_Id) is
4671 pragma Assert (False
4672 or else NT (N).Nkind = N_Object_Declaration);
4674 end Set_Handler_List_Entry;
4676 procedure Set_Has_Created_Identifier
4677 (N : Node_Id; Val : Boolean := True) is
4679 pragma Assert (False
4680 or else NT (N).Nkind = N_Block_Statement
4681 or else NT (N).Nkind = N_Loop_Statement);
4682 Set_Flag15 (N, Val);
4683 end Set_Has_Created_Identifier;
4685 procedure Set_Has_Dereference_Action
4686 (N : Node_Id; Val : Boolean := True) is
4688 pragma Assert (False
4689 or else NT (N).Nkind = N_Explicit_Dereference);
4690 Set_Flag13 (N, Val);
4691 end Set_Has_Dereference_Action;
4693 procedure Set_Has_Dynamic_Length_Check
4694 (N : Node_Id; Val : Boolean := True) is
4696 pragma Assert (False
4697 or else NT (N).Nkind in N_Subexpr);
4698 Set_Flag10 (N, Val);
4699 end Set_Has_Dynamic_Length_Check;
4701 procedure Set_Has_Dynamic_Range_Check
4702 (N : Node_Id; Val : Boolean := True) is
4704 pragma Assert (False
4705 or else NT (N).Nkind = N_Subtype_Declaration
4706 or else NT (N).Nkind in N_Subexpr);
4707 Set_Flag12 (N, Val);
4708 end Set_Has_Dynamic_Range_Check;
4710 procedure Set_Has_Init_Expression
4711 (N : Node_Id; Val : Boolean := True) is
4713 pragma Assert (False
4714 or else NT (N).Nkind = N_Object_Declaration);
4715 Set_Flag14 (N, Val);
4716 end Set_Has_Init_Expression;
4718 procedure Set_Has_Local_Raise
4719 (N : Node_Id; Val : Boolean := True) is
4721 pragma Assert (False
4722 or else NT (N).Nkind = N_Exception_Handler);
4724 end Set_Has_Local_Raise;
4726 procedure Set_Has_No_Elaboration_Code
4727 (N : Node_Id; Val : Boolean := True) is
4729 pragma Assert (False
4730 or else NT (N).Nkind = N_Compilation_Unit);
4731 Set_Flag17 (N, Val);
4732 end Set_Has_No_Elaboration_Code;
4734 procedure Set_Has_Pragma_Suppress_All
4735 (N : Node_Id; Val : Boolean := True) is
4737 pragma Assert (False
4738 or else NT (N).Nkind = N_Compilation_Unit);
4739 Set_Flag14 (N, Val);
4740 end Set_Has_Pragma_Suppress_All;
4742 procedure Set_Has_Private_View
4743 (N : Node_Id; Val : Boolean := True) is
4745 pragma Assert (False
4746 or else NT (N).Nkind in N_Op
4747 or else NT (N).Nkind = N_Character_Literal
4748 or else NT (N).Nkind = N_Expanded_Name
4749 or else NT (N).Nkind = N_Identifier
4750 or else NT (N).Nkind = N_Operator_Symbol);
4751 Set_Flag11 (N, Val);
4752 end Set_Has_Private_View;
4754 procedure Set_Has_Relative_Deadline_Pragma
4755 (N : Node_Id; Val : Boolean := True) is
4757 pragma Assert (False
4758 or else NT (N).Nkind = N_Subprogram_Body
4759 or else NT (N).Nkind = N_Task_Definition);
4761 end Set_Has_Relative_Deadline_Pragma;
4763 procedure Set_Has_Self_Reference
4764 (N : Node_Id; Val : Boolean := True) is
4766 pragma Assert (False
4767 or else NT (N).Nkind = N_Aggregate
4768 or else NT (N).Nkind = N_Extension_Aggregate);
4769 Set_Flag13 (N, Val);
4770 end Set_Has_Self_Reference;
4772 procedure Set_Has_SP_Choice
4773 (N : Node_Id; Val : Boolean := True) is
4775 pragma Assert (False
4776 or else NT (N).Nkind = N_Case_Expression_Alternative
4777 or else NT (N).Nkind = N_Case_Statement_Alternative
4778 or else NT (N).Nkind = N_Variant);
4779 Set_Flag15 (N, Val);
4780 end Set_Has_SP_Choice;
4782 procedure Set_Has_Storage_Size_Pragma
4783 (N : Node_Id; Val : Boolean := True) is
4785 pragma Assert (False
4786 or else NT (N).Nkind = N_Task_Definition);
4788 end Set_Has_Storage_Size_Pragma;
4790 procedure Set_Has_Wide_Character
4791 (N : Node_Id; Val : Boolean := True) is
4793 pragma Assert (False
4794 or else NT (N).Nkind = N_String_Literal);
4795 Set_Flag11 (N, Val);
4796 end Set_Has_Wide_Character;
4798 procedure Set_Has_Wide_Wide_Character
4799 (N : Node_Id; Val : Boolean := True) is
4801 pragma Assert (False
4802 or else NT (N).Nkind = N_String_Literal);
4803 Set_Flag13 (N, Val);
4804 end Set_Has_Wide_Wide_Character;
4806 procedure Set_Header_Size_Added
4807 (N : Node_Id; Val : Boolean := True) is
4809 pragma Assert (False
4810 or else NT (N).Nkind = N_Attribute_Reference);
4811 Set_Flag11 (N, Val);
4812 end Set_Header_Size_Added;
4814 procedure Set_Hidden_By_Use_Clause
4815 (N : Node_Id; Val : Elist_Id) is
4817 pragma Assert (False
4818 or else NT (N).Nkind = N_Use_Package_Clause
4819 or else NT (N).Nkind = N_Use_Type_Clause);
4820 Set_Elist4 (N, Val);
4821 end Set_Hidden_By_Use_Clause;
4823 procedure Set_High_Bound
4824 (N : Node_Id; Val : Node_Id) is
4826 pragma Assert (False
4827 or else NT (N).Nkind = N_Range
4828 or else NT (N).Nkind = N_Real_Range_Specification
4829 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4830 Set_Node2_With_Parent (N, Val);
4833 procedure Set_Identifier
4834 (N : Node_Id; Val : Node_Id) is
4836 pragma Assert (False
4837 or else NT (N).Nkind = N_Aspect_Specification
4838 or else NT (N).Nkind = N_At_Clause
4839 or else NT (N).Nkind = N_Block_Statement
4840 or else NT (N).Nkind = N_Designator
4841 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4842 or else NT (N).Nkind = N_Label
4843 or else NT (N).Nkind = N_Loop_Statement
4844 or else NT (N).Nkind = N_Record_Representation_Clause);
4845 Set_Node1_With_Parent (N, Val);
4848 procedure Set_Implicit_With
4849 (N : Node_Id; Val : Boolean := True) is
4851 pragma Assert (False
4852 or else NT (N).Nkind = N_With_Clause);
4853 Set_Flag16 (N, Val);
4854 end Set_Implicit_With;
4856 procedure Set_Implicit_With_From_Instantiation
4857 (N : Node_Id; Val : Boolean := True) is
4859 pragma Assert (False
4860 or else NT (N).Nkind = N_With_Clause);
4861 Set_Flag12 (N, Val);
4862 end Set_Implicit_With_From_Instantiation;
4864 procedure Set_Interface_List
4865 (N : Node_Id; Val : List_Id) is
4867 pragma Assert (False
4868 or else NT (N).Nkind = N_Derived_Type_Definition
4869 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4870 or else NT (N).Nkind = N_Private_Extension_Declaration
4871 or else NT (N).Nkind = N_Protected_Type_Declaration
4872 or else NT (N).Nkind = N_Record_Definition
4873 or else NT (N).Nkind = N_Single_Protected_Declaration
4874 or else NT (N).Nkind = N_Single_Task_Declaration
4875 or else NT (N).Nkind = N_Task_Type_Declaration);
4876 Set_List2_With_Parent (N, Val);
4877 end Set_Interface_List;
4879 procedure Set_Interface_Present
4880 (N : Node_Id; Val : Boolean := True) is
4882 pragma Assert (False
4883 or else NT (N).Nkind = N_Derived_Type_Definition
4884 or else NT (N).Nkind = N_Record_Definition);
4885 Set_Flag16 (N, Val);
4886 end Set_Interface_Present;
4888 procedure Set_Import_Interface_Present
4889 (N : Node_Id; Val : Boolean := True) is
4891 pragma Assert (False
4892 or else NT (N).Nkind = N_Pragma);
4893 Set_Flag16 (N, Val);
4894 end Set_Import_Interface_Present;
4896 procedure Set_In_Present
4897 (N : Node_Id; Val : Boolean := True) is
4899 pragma Assert (False
4900 or else NT (N).Nkind = N_Formal_Object_Declaration
4901 or else NT (N).Nkind = N_Parameter_Specification);
4902 Set_Flag15 (N, Val);
4905 procedure Set_Includes_Infinities
4906 (N : Node_Id; Val : Boolean := True) is
4908 pragma Assert (False
4909 or else NT (N).Nkind = N_Range);
4910 Set_Flag11 (N, Val);
4911 end Set_Includes_Infinities;
4913 procedure Set_Incomplete_View
4914 (N : Node_Id; Val : Node_Id) is
4916 pragma Assert (False
4917 or else NT (N).Nkind = N_Full_Type_Declaration);
4918 Set_Node2 (N, Val); -- semantic field, no Parent set
4919 end Set_Incomplete_View;
4921 procedure Set_Inherited_Discriminant
4922 (N : Node_Id; Val : Boolean := True) is
4924 pragma Assert (False
4925 or else NT (N).Nkind = N_Component_Association);
4926 Set_Flag13 (N, Val);
4927 end Set_Inherited_Discriminant;
4929 procedure Set_Instance_Spec
4930 (N : Node_Id; Val : Node_Id) is
4932 pragma Assert (False
4933 or else NT (N).Nkind = N_Formal_Package_Declaration
4934 or else NT (N).Nkind = N_Function_Instantiation
4935 or else NT (N).Nkind = N_Package_Instantiation
4936 or else NT (N).Nkind = N_Procedure_Instantiation);
4937 Set_Node5 (N, Val); -- semantic field, no Parent set
4938 end Set_Instance_Spec;
4940 procedure Set_Intval
4941 (N : Node_Id; Val : Uint) is
4943 pragma Assert (False
4944 or else NT (N).Nkind = N_Integer_Literal);
4948 procedure Set_Is_Accessibility_Actual
4949 (N : Node_Id; Val : Boolean := True) is
4951 pragma Assert (False
4952 or else NT (N).Nkind = N_Parameter_Association);
4953 Set_Flag13 (N, Val);
4954 end Set_Is_Accessibility_Actual;
4956 procedure Set_Is_Asynchronous_Call_Block
4957 (N : Node_Id; Val : Boolean := True) is
4959 pragma Assert (False
4960 or else NT (N).Nkind = N_Block_Statement);
4962 end Set_Is_Asynchronous_Call_Block;
4964 procedure Set_Is_Boolean_Aspect
4965 (N : Node_Id; Val : Boolean := True) is
4967 pragma Assert (False
4968 or else NT (N).Nkind = N_Aspect_Specification);
4969 Set_Flag16 (N, Val);
4970 end Set_Is_Boolean_Aspect;
4972 procedure Set_Is_Checked
4973 (N : Node_Id; Val : Boolean := True) is
4975 pragma Assert (False
4976 or else NT (N).Nkind = N_Aspect_Specification
4977 or else NT (N).Nkind = N_Pragma);
4978 Set_Flag11 (N, Val);
4981 procedure Set_Is_Component_Left_Opnd
4982 (N : Node_Id; Val : Boolean := True) is
4984 pragma Assert (False
4985 or else NT (N).Nkind = N_Op_Concat);
4986 Set_Flag13 (N, Val);
4987 end Set_Is_Component_Left_Opnd;
4989 procedure Set_Is_Component_Right_Opnd
4990 (N : Node_Id; Val : Boolean := True) is
4992 pragma Assert (False
4993 or else NT (N).Nkind = N_Op_Concat);
4994 Set_Flag14 (N, Val);
4995 end Set_Is_Component_Right_Opnd;
4997 procedure Set_Is_Controlling_Actual
4998 (N : Node_Id; Val : Boolean := True) is
5000 pragma Assert (False
5001 or else NT (N).Nkind in N_Subexpr);
5002 Set_Flag16 (N, Val);
5003 end Set_Is_Controlling_Actual;
5005 procedure Set_Is_Delayed_Aspect
5006 (N : Node_Id; Val : Boolean := True) is
5008 pragma Assert (False
5009 or else NT (N).Nkind = N_Aspect_Specification
5010 or else NT (N).Nkind = N_Attribute_Definition_Clause
5011 or else NT (N).Nkind = N_Pragma);
5012 Set_Flag14 (N, Val);
5013 end Set_Is_Delayed_Aspect;
5015 procedure Set_Is_Disabled
5016 (N : Node_Id; Val : Boolean := True) is
5018 pragma Assert (False
5019 or else NT (N).Nkind = N_Aspect_Specification
5020 or else NT (N).Nkind = N_Pragma);
5021 Set_Flag15 (N, Val);
5022 end Set_Is_Disabled;
5024 procedure Set_Is_Dynamic_Coextension
5025 (N : Node_Id; Val : Boolean := True) is
5027 pragma Assert (False
5028 or else NT (N).Nkind = N_Allocator);
5029 Set_Flag18 (N, Val);
5030 end Set_Is_Dynamic_Coextension;
5032 procedure Set_Is_Elsif
5033 (N : Node_Id; Val : Boolean := True) is
5035 pragma Assert (False
5036 or else NT (N).Nkind = N_If_Expression);
5037 Set_Flag13 (N, Val);
5040 procedure Set_Is_Entry_Barrier_Function
5041 (N : Node_Id; Val : Boolean := True) is
5043 pragma Assert (False
5044 or else NT (N).Nkind = N_Subprogram_Body);
5046 end Set_Is_Entry_Barrier_Function;
5048 procedure Set_Is_Expanded_Build_In_Place_Call
5049 (N : Node_Id; Val : Boolean := True) is
5051 pragma Assert (False
5052 or else NT (N).Nkind = N_Function_Call);
5053 Set_Flag11 (N, Val);
5054 end Set_Is_Expanded_Build_In_Place_Call;
5056 procedure Set_Is_Finalization_Wrapper
5057 (N : Node_Id; Val : Boolean := True) is
5059 pragma Assert (False
5060 or else NT (N).Nkind = N_Block_Statement);
5062 end Set_Is_Finalization_Wrapper;
5064 procedure Set_Is_Folded_In_Parser
5065 (N : Node_Id; Val : Boolean := True) is
5067 pragma Assert (False
5068 or else NT (N).Nkind = N_String_Literal);
5070 end Set_Is_Folded_In_Parser;
5072 procedure Set_Is_Ignored
5073 (N : Node_Id; Val : Boolean := True) is
5075 pragma Assert (False
5076 or else NT (N).Nkind = N_Aspect_Specification
5077 or else NT (N).Nkind = N_Pragma);
5081 procedure Set_Is_In_Discriminant_Check
5082 (N : Node_Id; Val : Boolean := True) is
5084 pragma Assert (False
5085 or else NT (N).Nkind = N_Selected_Component);
5086 Set_Flag11 (N, Val);
5087 end Set_Is_In_Discriminant_Check;
5089 procedure Set_Is_Inherited
5090 (N : Node_Id; Val : Boolean := True) is
5092 pragma Assert (False
5093 or else NT (N).Nkind = N_Pragma);
5095 end Set_Is_Inherited;
5097 procedure Set_Is_Machine_Number
5098 (N : Node_Id; Val : Boolean := True) is
5100 pragma Assert (False
5101 or else NT (N).Nkind = N_Real_Literal);
5102 Set_Flag11 (N, Val);
5103 end Set_Is_Machine_Number;
5105 procedure Set_Is_Null_Loop
5106 (N : Node_Id; Val : Boolean := True) is
5108 pragma Assert (False
5109 or else NT (N).Nkind = N_Loop_Statement);
5110 Set_Flag16 (N, Val);
5111 end Set_Is_Null_Loop;
5113 procedure Set_Is_Overloaded
5114 (N : Node_Id; Val : Boolean := True) is
5116 pragma Assert (False
5117 or else NT (N).Nkind in N_Subexpr);
5119 end Set_Is_Overloaded;
5121 procedure Set_Is_Power_Of_2_For_Shift
5122 (N : Node_Id; Val : Boolean := True) is
5124 pragma Assert (False
5125 or else NT (N).Nkind = N_Op_Expon);
5126 Set_Flag13 (N, Val);
5127 end Set_Is_Power_Of_2_For_Shift;
5129 procedure Set_Is_Prefixed_Call
5130 (N : Node_Id; Val : Boolean := True) is
5132 pragma Assert (False
5133 or else NT (N).Nkind = N_Selected_Component);
5134 Set_Flag17 (N, Val);
5135 end Set_Is_Prefixed_Call;
5137 procedure Set_Is_Protected_Subprogram_Body
5138 (N : Node_Id; Val : Boolean := True) is
5140 pragma Assert (False
5141 or else NT (N).Nkind = N_Subprogram_Body);
5143 end Set_Is_Protected_Subprogram_Body;
5145 procedure Set_Is_Static_Coextension
5146 (N : Node_Id; Val : Boolean := True) is
5148 pragma Assert (False
5149 or else NT (N).Nkind = N_Allocator);
5150 Set_Flag14 (N, Val);
5151 end Set_Is_Static_Coextension;
5153 procedure Set_Is_Static_Expression
5154 (N : Node_Id; Val : Boolean := True) is
5156 pragma Assert (False
5157 or else NT (N).Nkind in N_Subexpr);
5159 end Set_Is_Static_Expression;
5161 procedure Set_Is_Subprogram_Descriptor
5162 (N : Node_Id; Val : Boolean := True) is
5164 pragma Assert (False
5165 or else NT (N).Nkind = N_Object_Declaration);
5166 Set_Flag16 (N, Val);
5167 end Set_Is_Subprogram_Descriptor;
5169 procedure Set_Is_Task_Allocation_Block
5170 (N : Node_Id; Val : Boolean := True) is
5172 pragma Assert (False
5173 or else NT (N).Nkind = N_Block_Statement);
5175 end Set_Is_Task_Allocation_Block;
5177 procedure Set_Is_Task_Master
5178 (N : Node_Id; Val : Boolean := True) is
5180 pragma Assert (False
5181 or else NT (N).Nkind = N_Block_Statement
5182 or else NT (N).Nkind = N_Subprogram_Body
5183 or else NT (N).Nkind = N_Task_Body);
5185 end Set_Is_Task_Master;
5187 procedure Set_Iteration_Scheme
5188 (N : Node_Id; Val : Node_Id) is
5190 pragma Assert (False
5191 or else NT (N).Nkind = N_Loop_Statement);
5192 Set_Node2_With_Parent (N, Val);
5193 end Set_Iteration_Scheme;
5195 procedure Set_Iterator_Specification
5196 (N : Node_Id; Val : Node_Id) is
5198 pragma Assert (False
5199 or else NT (N).Nkind = N_Iteration_Scheme
5200 or else NT (N).Nkind = N_Quantified_Expression);
5201 Set_Node2_With_Parent (N, Val);
5202 end Set_Iterator_Specification;
5205 (N : Node_Id; Val : Entity_Id) is
5207 pragma Assert (False
5208 or else NT (N).Nkind = N_Itype_Reference);
5209 Set_Node1 (N, Val); -- no parent, semantic field
5212 procedure Set_Kill_Range_Check
5213 (N : Node_Id; Val : Boolean := True) is
5215 pragma Assert (False
5216 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5217 Set_Flag11 (N, Val);
5218 end Set_Kill_Range_Check;
5220 procedure Set_Label_Construct
5221 (N : Node_Id; Val : Node_Id) is
5223 pragma Assert (False
5224 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5225 Set_Node2 (N, Val); -- semantic field, no parent set
5226 end Set_Label_Construct;
5228 procedure Set_Last_Bit
5229 (N : Node_Id; Val : Node_Id) is
5231 pragma Assert (False
5232 or else NT (N).Nkind = N_Component_Clause);
5233 Set_Node4_With_Parent (N, Val);
5236 procedure Set_Last_Name
5237 (N : Node_Id; Val : Boolean := True) is
5239 pragma Assert (False
5240 or else NT (N).Nkind = N_With_Clause);
5244 procedure Set_Left_Opnd
5245 (N : Node_Id; Val : Node_Id) is
5247 pragma Assert (False
5248 or else NT (N).Nkind = N_And_Then
5249 or else NT (N).Nkind = N_In
5250 or else NT (N).Nkind = N_Not_In
5251 or else NT (N).Nkind = N_Or_Else
5252 or else NT (N).Nkind in N_Binary_Op);
5253 Set_Node2_With_Parent (N, Val);
5256 procedure Set_Library_Unit
5257 (N : Node_Id; Val : Node_Id) is
5259 pragma Assert (False
5260 or else NT (N).Nkind = N_Compilation_Unit
5261 or else NT (N).Nkind = N_Package_Body_Stub
5262 or else NT (N).Nkind = N_Protected_Body_Stub
5263 or else NT (N).Nkind = N_Subprogram_Body_Stub
5264 or else NT (N).Nkind = N_Task_Body_Stub
5265 or else NT (N).Nkind = N_With_Clause);
5266 Set_Node4 (N, Val); -- semantic field, no parent set
5267 end Set_Library_Unit;
5269 procedure Set_Limited_View_Installed
5270 (N : Node_Id; Val : Boolean := True) is
5272 pragma Assert (False
5273 or else NT (N).Nkind = N_Package_Specification
5274 or else NT (N).Nkind = N_With_Clause);
5275 Set_Flag18 (N, Val);
5276 end Set_Limited_View_Installed;
5278 procedure Set_Limited_Present
5279 (N : Node_Id; Val : Boolean := True) is
5281 pragma Assert (False
5282 or else NT (N).Nkind = N_Derived_Type_Definition
5283 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5284 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5285 or else NT (N).Nkind = N_Private_Extension_Declaration
5286 or else NT (N).Nkind = N_Private_Type_Declaration
5287 or else NT (N).Nkind = N_Record_Definition
5288 or else NT (N).Nkind = N_With_Clause);
5289 Set_Flag17 (N, Val);
5290 end Set_Limited_Present;
5292 procedure Set_Literals
5293 (N : Node_Id; Val : List_Id) is
5295 pragma Assert (False
5296 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5297 Set_List1_With_Parent (N, Val);
5300 procedure Set_Local_Raise_Not_OK
5301 (N : Node_Id; Val : Boolean := True) is
5303 pragma Assert (False
5304 or else NT (N).Nkind = N_Exception_Handler);
5306 end Set_Local_Raise_Not_OK;
5308 procedure Set_Local_Raise_Statements
5309 (N : Node_Id; Val : Elist_Id) is
5311 pragma Assert (False
5312 or else NT (N).Nkind = N_Exception_Handler);
5313 Set_Elist1 (N, Val);
5314 end Set_Local_Raise_Statements;
5316 procedure Set_Loop_Actions
5317 (N : Node_Id; Val : List_Id) is
5319 pragma Assert (False
5320 or else NT (N).Nkind = N_Component_Association);
5321 Set_List2 (N, Val); -- semantic field, no parent set
5322 end Set_Loop_Actions;
5324 procedure Set_Loop_Parameter_Specification
5325 (N : Node_Id; Val : Node_Id) is
5327 pragma Assert (False
5328 or else NT (N).Nkind = N_Iteration_Scheme
5329 or else NT (N).Nkind = N_Quantified_Expression);
5330 Set_Node4_With_Parent (N, Val);
5331 end Set_Loop_Parameter_Specification;
5333 procedure Set_Low_Bound
5334 (N : Node_Id; Val : Node_Id) is
5336 pragma Assert (False
5337 or else NT (N).Nkind = N_Range
5338 or else NT (N).Nkind = N_Real_Range_Specification
5339 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5340 Set_Node1_With_Parent (N, Val);
5343 procedure Set_Mod_Clause
5344 (N : Node_Id; Val : Node_Id) is
5346 pragma Assert (False
5347 or else NT (N).Nkind = N_Record_Representation_Clause);
5348 Set_Node2_With_Parent (N, Val);
5351 procedure Set_More_Ids
5352 (N : Node_Id; Val : Boolean := True) is
5354 pragma Assert (False
5355 or else NT (N).Nkind = N_Component_Declaration
5356 or else NT (N).Nkind = N_Discriminant_Specification
5357 or else NT (N).Nkind = N_Exception_Declaration
5358 or else NT (N).Nkind = N_Formal_Object_Declaration
5359 or else NT (N).Nkind = N_Number_Declaration
5360 or else NT (N).Nkind = N_Object_Declaration
5361 or else NT (N).Nkind = N_Parameter_Specification);
5365 procedure Set_Must_Be_Byte_Aligned
5366 (N : Node_Id; Val : Boolean := True) is
5368 pragma Assert (False
5369 or else NT (N).Nkind = N_Attribute_Reference);
5370 Set_Flag14 (N, Val);
5371 end Set_Must_Be_Byte_Aligned;
5373 procedure Set_Must_Not_Freeze
5374 (N : Node_Id; Val : Boolean := True) is
5376 pragma Assert (False
5377 or else NT (N).Nkind = N_Subtype_Indication
5378 or else NT (N).Nkind in N_Subexpr);
5380 end Set_Must_Not_Freeze;
5382 procedure Set_Must_Not_Override
5383 (N : Node_Id; Val : Boolean := True) is
5385 pragma Assert (False
5386 or else NT (N).Nkind = N_Entry_Declaration
5387 or else NT (N).Nkind = N_Function_Instantiation
5388 or else NT (N).Nkind = N_Function_Specification
5389 or else NT (N).Nkind = N_Procedure_Instantiation
5390 or else NT (N).Nkind = N_Procedure_Specification);
5391 Set_Flag15 (N, Val);
5392 end Set_Must_Not_Override;
5394 procedure Set_Must_Override
5395 (N : Node_Id; Val : Boolean := True) is
5397 pragma Assert (False
5398 or else NT (N).Nkind = N_Entry_Declaration
5399 or else NT (N).Nkind = N_Function_Instantiation
5400 or else NT (N).Nkind = N_Function_Specification
5401 or else NT (N).Nkind = N_Procedure_Instantiation
5402 or else NT (N).Nkind = N_Procedure_Specification);
5403 Set_Flag14 (N, Val);
5404 end Set_Must_Override;
5407 (N : Node_Id; Val : Node_Id) is
5409 pragma Assert (False
5410 or else NT (N).Nkind = N_Assignment_Statement
5411 or else NT (N).Nkind = N_Attribute_Definition_Clause
5412 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5413 or else NT (N).Nkind = N_Designator
5414 or else NT (N).Nkind = N_Entry_Call_Statement
5415 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5416 or else NT (N).Nkind = N_Exit_Statement
5417 or else NT (N).Nkind = N_Formal_Package_Declaration
5418 or else NT (N).Nkind = N_Function_Call
5419 or else NT (N).Nkind = N_Function_Instantiation
5420 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5421 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5422 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5423 or else NT (N).Nkind = N_Goto_Statement
5424 or else NT (N).Nkind = N_Iterator_Specification
5425 or else NT (N).Nkind = N_Object_Renaming_Declaration
5426 or else NT (N).Nkind = N_Package_Instantiation
5427 or else NT (N).Nkind = N_Package_Renaming_Declaration
5428 or else NT (N).Nkind = N_Procedure_Call_Statement
5429 or else NT (N).Nkind = N_Procedure_Instantiation
5430 or else NT (N).Nkind = N_Raise_Expression
5431 or else NT (N).Nkind = N_Raise_Statement
5432 or else NT (N).Nkind = N_Requeue_Statement
5433 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5434 or else NT (N).Nkind = N_Subunit
5435 or else NT (N).Nkind = N_Variant_Part
5436 or else NT (N).Nkind = N_With_Clause);
5437 Set_Node2_With_Parent (N, Val);
5441 (N : Node_Id; Val : List_Id) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_Abort_Statement
5445 or else NT (N).Nkind = N_Use_Package_Clause);
5446 Set_List2_With_Parent (N, Val);
5449 procedure Set_Next_Entity
5450 (N : Node_Id; Val : Node_Id) is
5452 pragma Assert (False
5453 or else NT (N).Nkind = N_Defining_Character_Literal
5454 or else NT (N).Nkind = N_Defining_Identifier
5455 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5456 Set_Node2 (N, Val); -- semantic field, no parent set
5457 end Set_Next_Entity;
5459 procedure Set_Next_Exit_Statement
5460 (N : Node_Id; Val : Node_Id) is
5462 pragma Assert (False
5463 or else NT (N).Nkind = N_Exit_Statement);
5464 Set_Node3 (N, Val); -- semantic field, no parent set
5465 end Set_Next_Exit_Statement;
5467 procedure Set_Next_Implicit_With
5468 (N : Node_Id; Val : Node_Id) is
5470 pragma Assert (False
5471 or else NT (N).Nkind = N_With_Clause);
5472 Set_Node3 (N, Val); -- semantic field, no parent set
5473 end Set_Next_Implicit_With;
5475 procedure Set_Next_Named_Actual
5476 (N : Node_Id; Val : Node_Id) is
5478 pragma Assert (False
5479 or else NT (N).Nkind = N_Parameter_Association);
5480 Set_Node4 (N, Val); -- semantic field, no parent set
5481 end Set_Next_Named_Actual;
5483 procedure Set_Next_Pragma
5484 (N : Node_Id; Val : Node_Id) is
5486 pragma Assert (False
5487 or else NT (N).Nkind = N_Pragma);
5488 Set_Node1 (N, Val); -- semantic field, no parent set
5489 end Set_Next_Pragma;
5491 procedure Set_Next_Rep_Item
5492 (N : Node_Id; Val : Node_Id) is
5494 pragma Assert (False
5495 or else NT (N).Nkind = N_Aspect_Specification
5496 or else NT (N).Nkind = N_Attribute_Definition_Clause
5497 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5498 or else NT (N).Nkind = N_Pragma
5499 or else NT (N).Nkind = N_Record_Representation_Clause);
5500 Set_Node5 (N, Val); -- semantic field, no parent set
5501 end Set_Next_Rep_Item;
5503 procedure Set_Next_Use_Clause
5504 (N : Node_Id; Val : Node_Id) is
5506 pragma Assert (False
5507 or else NT (N).Nkind = N_Use_Package_Clause
5508 or else NT (N).Nkind = N_Use_Type_Clause);
5509 Set_Node3 (N, Val); -- semantic field, no parent set
5510 end Set_Next_Use_Clause;
5512 procedure Set_No_Ctrl_Actions
5513 (N : Node_Id; Val : Boolean := True) is
5515 pragma Assert (False
5516 or else NT (N).Nkind = N_Assignment_Statement);
5518 end Set_No_Ctrl_Actions;
5520 procedure Set_No_Elaboration_Check
5521 (N : Node_Id; Val : Boolean := True) is
5523 pragma Assert (False
5524 or else NT (N).Nkind = N_Function_Call
5525 or else NT (N).Nkind = N_Procedure_Call_Statement);
5526 Set_Flag14 (N, Val);
5527 end Set_No_Elaboration_Check;
5529 procedure Set_No_Entities_Ref_In_Spec
5530 (N : Node_Id; Val : Boolean := True) is
5532 pragma Assert (False
5533 or else NT (N).Nkind = N_With_Clause);
5535 end Set_No_Entities_Ref_In_Spec;
5537 procedure Set_No_Initialization
5538 (N : Node_Id; Val : Boolean := True) is
5540 pragma Assert (False
5541 or else NT (N).Nkind = N_Allocator
5542 or else NT (N).Nkind = N_Object_Declaration);
5543 Set_Flag13 (N, Val);
5544 end Set_No_Initialization;
5546 procedure Set_No_Minimize_Eliminate
5547 (N : Node_Id; Val : Boolean := True) is
5549 pragma Assert (False
5550 or else NT (N).Nkind = N_In
5551 or else NT (N).Nkind = N_Not_In);
5552 Set_Flag17 (N, Val);
5553 end Set_No_Minimize_Eliminate;
5555 procedure Set_No_Truncation
5556 (N : Node_Id; Val : Boolean := True) is
5558 pragma Assert (False
5559 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5560 Set_Flag17 (N, Val);
5561 end Set_No_Truncation;
5563 procedure Set_Non_Aliased_Prefix
5564 (N : Node_Id; Val : Boolean := True) is
5566 pragma Assert (False
5567 or else NT (N).Nkind = N_Attribute_Reference);
5568 Set_Flag18 (N, Val);
5569 end Set_Non_Aliased_Prefix;
5571 procedure Set_Null_Present
5572 (N : Node_Id; Val : Boolean := True) is
5574 pragma Assert (False
5575 or else NT (N).Nkind = N_Component_List
5576 or else NT (N).Nkind = N_Procedure_Specification
5577 or else NT (N).Nkind = N_Record_Definition);
5578 Set_Flag13 (N, Val);
5579 end Set_Null_Present;
5581 procedure Set_Null_Excluding_Subtype
5582 (N : Node_Id; Val : Boolean := True) is
5584 pragma Assert (False
5585 or else NT (N).Nkind = N_Access_To_Object_Definition);
5586 Set_Flag16 (N, Val);
5587 end Set_Null_Excluding_Subtype;
5589 procedure Set_Null_Exclusion_Present
5590 (N : Node_Id; Val : Boolean := True) is
5592 pragma Assert (False
5593 or else NT (N).Nkind = N_Access_Definition
5594 or else NT (N).Nkind = N_Access_Function_Definition
5595 or else NT (N).Nkind = N_Access_Procedure_Definition
5596 or else NT (N).Nkind = N_Access_To_Object_Definition
5597 or else NT (N).Nkind = N_Allocator
5598 or else NT (N).Nkind = N_Component_Definition
5599 or else NT (N).Nkind = N_Derived_Type_Definition
5600 or else NT (N).Nkind = N_Discriminant_Specification
5601 or else NT (N).Nkind = N_Formal_Object_Declaration
5602 or else NT (N).Nkind = N_Function_Specification
5603 or else NT (N).Nkind = N_Object_Declaration
5604 or else NT (N).Nkind = N_Object_Renaming_Declaration
5605 or else NT (N).Nkind = N_Parameter_Specification
5606 or else NT (N).Nkind = N_Subtype_Declaration);
5607 Set_Flag11 (N, Val);
5608 end Set_Null_Exclusion_Present;
5610 procedure Set_Null_Exclusion_In_Return_Present
5611 (N : Node_Id; Val : Boolean := True) is
5613 pragma Assert (False
5614 or else NT (N).Nkind = N_Access_Function_Definition);
5615 Set_Flag14 (N, Val);
5616 end Set_Null_Exclusion_In_Return_Present;
5618 procedure Set_Null_Record_Present
5619 (N : Node_Id; Val : Boolean := True) is
5621 pragma Assert (False
5622 or else NT (N).Nkind = N_Aggregate
5623 or else NT (N).Nkind = N_Extension_Aggregate);
5624 Set_Flag17 (N, Val);
5625 end Set_Null_Record_Present;
5627 procedure Set_Object_Definition
5628 (N : Node_Id; Val : Node_Id) is
5630 pragma Assert (False
5631 or else NT (N).Nkind = N_Object_Declaration);
5632 Set_Node4_With_Parent (N, Val);
5633 end Set_Object_Definition;
5635 procedure Set_Of_Present
5636 (N : Node_Id; Val : Boolean := True) is
5638 pragma Assert (False
5639 or else NT (N).Nkind = N_Iterator_Specification);
5640 Set_Flag16 (N, Val);
5643 procedure Set_Original_Discriminant
5644 (N : Node_Id; Val : Node_Id) is
5646 pragma Assert (False
5647 or else NT (N).Nkind = N_Identifier);
5648 Set_Node2 (N, Val); -- semantic field, no parent set
5649 end Set_Original_Discriminant;
5651 procedure Set_Original_Entity
5652 (N : Node_Id; Val : Entity_Id) is
5654 pragma Assert (False
5655 or else NT (N).Nkind = N_Integer_Literal
5656 or else NT (N).Nkind = N_Real_Literal);
5657 Set_Node2 (N, Val); -- semantic field, no parent set
5658 end Set_Original_Entity;
5660 procedure Set_Others_Discrete_Choices
5661 (N : Node_Id; Val : List_Id) is
5663 pragma Assert (False
5664 or else NT (N).Nkind = N_Others_Choice);
5665 Set_List1_With_Parent (N, Val);
5666 end Set_Others_Discrete_Choices;
5668 procedure Set_Out_Present
5669 (N : Node_Id; Val : Boolean := True) is
5671 pragma Assert (False
5672 or else NT (N).Nkind = N_Formal_Object_Declaration
5673 or else NT (N).Nkind = N_Parameter_Specification);
5674 Set_Flag17 (N, Val);
5675 end Set_Out_Present;
5677 procedure Set_Parameter_Associations
5678 (N : Node_Id; Val : List_Id) is
5680 pragma Assert (False
5681 or else NT (N).Nkind = N_Entry_Call_Statement
5682 or else NT (N).Nkind = N_Function_Call
5683 or else NT (N).Nkind = N_Procedure_Call_Statement);
5684 Set_List3_With_Parent (N, Val);
5685 end Set_Parameter_Associations;
5687 procedure Set_Parameter_Specifications
5688 (N : Node_Id; Val : List_Id) is
5690 pragma Assert (False
5691 or else NT (N).Nkind = N_Accept_Statement
5692 or else NT (N).Nkind = N_Access_Function_Definition
5693 or else NT (N).Nkind = N_Access_Procedure_Definition
5694 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5695 or else NT (N).Nkind = N_Entry_Declaration
5696 or else NT (N).Nkind = N_Function_Specification
5697 or else NT (N).Nkind = N_Procedure_Specification);
5698 Set_List3_With_Parent (N, Val);
5699 end Set_Parameter_Specifications;
5701 procedure Set_Parameter_Type
5702 (N : Node_Id; Val : Node_Id) is
5704 pragma Assert (False
5705 or else NT (N).Nkind = N_Parameter_Specification);
5706 Set_Node2_With_Parent (N, Val);
5707 end Set_Parameter_Type;
5709 procedure Set_Parent_Spec
5710 (N : Node_Id; Val : Node_Id) is
5712 pragma Assert (False
5713 or else NT (N).Nkind = N_Function_Instantiation
5714 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5715 or else NT (N).Nkind = N_Generic_Package_Declaration
5716 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5717 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5718 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5719 or else NT (N).Nkind = N_Package_Declaration
5720 or else NT (N).Nkind = N_Package_Instantiation
5721 or else NT (N).Nkind = N_Package_Renaming_Declaration
5722 or else NT (N).Nkind = N_Procedure_Instantiation
5723 or else NT (N).Nkind = N_Subprogram_Declaration
5724 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5725 Set_Node4 (N, Val); -- semantic field, no parent set
5726 end Set_Parent_Spec;
5728 procedure Set_Position
5729 (N : Node_Id; Val : Node_Id) is
5731 pragma Assert (False
5732 or else NT (N).Nkind = N_Component_Clause);
5733 Set_Node2_With_Parent (N, Val);
5736 procedure Set_Pragma_Argument_Associations
5737 (N : Node_Id; Val : List_Id) is
5739 pragma Assert (False
5740 or else NT (N).Nkind = N_Pragma);
5741 Set_List2_With_Parent (N, Val);
5742 end Set_Pragma_Argument_Associations;
5744 procedure Set_Pragma_Identifier
5745 (N : Node_Id; Val : Node_Id) is
5747 pragma Assert (False
5748 or else NT (N).Nkind = N_Pragma);
5749 Set_Node4_With_Parent (N, Val);
5750 end Set_Pragma_Identifier;
5752 procedure Set_Pragmas_After
5753 (N : Node_Id; Val : List_Id) is
5755 pragma Assert (False
5756 or else NT (N).Nkind = N_Compilation_Unit_Aux
5757 or else NT (N).Nkind = N_Terminate_Alternative);
5758 Set_List5_With_Parent (N, Val);
5759 end Set_Pragmas_After;
5761 procedure Set_Pragmas_Before
5762 (N : Node_Id; Val : List_Id) is
5764 pragma Assert (False
5765 or else NT (N).Nkind = N_Accept_Alternative
5766 or else NT (N).Nkind = N_Delay_Alternative
5767 or else NT (N).Nkind = N_Entry_Call_Alternative
5768 or else NT (N).Nkind = N_Mod_Clause
5769 or else NT (N).Nkind = N_Terminate_Alternative
5770 or else NT (N).Nkind = N_Triggering_Alternative);
5771 Set_List4_With_Parent (N, Val);
5772 end Set_Pragmas_Before;
5774 procedure Set_Pre_Post_Conditions
5775 (N : Node_Id; Val : Node_Id) is
5777 pragma Assert (False
5778 or else NT (N).Nkind = N_Contract);
5779 Set_Node1 (N, Val); -- semantic field, no parent set
5780 end Set_Pre_Post_Conditions;
5782 procedure Set_Prefix
5783 (N : Node_Id; Val : Node_Id) is
5785 pragma Assert (False
5786 or else NT (N).Nkind = N_Attribute_Reference
5787 or else NT (N).Nkind = N_Expanded_Name
5788 or else NT (N).Nkind = N_Explicit_Dereference
5789 or else NT (N).Nkind = N_Indexed_Component
5790 or else NT (N).Nkind = N_Reference
5791 or else NT (N).Nkind = N_Selected_Component
5792 or else NT (N).Nkind = N_Slice);
5793 Set_Node3_With_Parent (N, Val);
5796 procedure Set_Premature_Use
5797 (N : Node_Id; Val : Node_Id) is
5799 pragma Assert (False
5800 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5802 end Set_Premature_Use;
5804 procedure Set_Present_Expr
5805 (N : Node_Id; Val : Uint) is
5807 pragma Assert (False
5808 or else NT (N).Nkind = N_Variant);
5810 end Set_Present_Expr;
5812 procedure Set_Prev_Ids
5813 (N : Node_Id; Val : Boolean := True) is
5815 pragma Assert (False
5816 or else NT (N).Nkind = N_Component_Declaration
5817 or else NT (N).Nkind = N_Discriminant_Specification
5818 or else NT (N).Nkind = N_Exception_Declaration
5819 or else NT (N).Nkind = N_Formal_Object_Declaration
5820 or else NT (N).Nkind = N_Number_Declaration
5821 or else NT (N).Nkind = N_Object_Declaration
5822 or else NT (N).Nkind = N_Parameter_Specification);
5826 procedure Set_Print_In_Hex
5827 (N : Node_Id; Val : Boolean := True) is
5829 pragma Assert (False
5830 or else NT (N).Nkind = N_Integer_Literal);
5831 Set_Flag13 (N, Val);
5832 end Set_Print_In_Hex;
5834 procedure Set_Private_Declarations
5835 (N : Node_Id; Val : List_Id) is
5837 pragma Assert (False
5838 or else NT (N).Nkind = N_Package_Specification
5839 or else NT (N).Nkind = N_Protected_Definition
5840 or else NT (N).Nkind = N_Task_Definition);
5841 Set_List3_With_Parent (N, Val);
5842 end Set_Private_Declarations;
5844 procedure Set_Private_Present
5845 (N : Node_Id; Val : Boolean := True) is
5847 pragma Assert (False
5848 or else NT (N).Nkind = N_Compilation_Unit
5849 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5850 or else NT (N).Nkind = N_With_Clause);
5851 Set_Flag15 (N, Val);
5852 end Set_Private_Present;
5854 procedure Set_Procedure_To_Call
5855 (N : Node_Id; Val : Node_Id) is
5857 pragma Assert (False
5858 or else NT (N).Nkind = N_Allocator
5859 or else NT (N).Nkind = N_Extended_Return_Statement
5860 or else NT (N).Nkind = N_Free_Statement
5861 or else NT (N).Nkind = N_Simple_Return_Statement);
5862 Set_Node2 (N, Val); -- semantic field, no parent set
5863 end Set_Procedure_To_Call;
5865 procedure Set_Proper_Body
5866 (N : Node_Id; Val : Node_Id) is
5868 pragma Assert (False
5869 or else NT (N).Nkind = N_Subunit);
5870 Set_Node1_With_Parent (N, Val);
5871 end Set_Proper_Body;
5873 procedure Set_Protected_Definition
5874 (N : Node_Id; Val : Node_Id) is
5876 pragma Assert (False
5877 or else NT (N).Nkind = N_Protected_Type_Declaration
5878 or else NT (N).Nkind = N_Single_Protected_Declaration);
5879 Set_Node3_With_Parent (N, Val);
5880 end Set_Protected_Definition;
5882 procedure Set_Protected_Present
5883 (N : Node_Id; Val : Boolean := True) is
5885 pragma Assert (False
5886 or else NT (N).Nkind = N_Access_Function_Definition
5887 or else NT (N).Nkind = N_Access_Procedure_Definition
5888 or else NT (N).Nkind = N_Derived_Type_Definition
5889 or else NT (N).Nkind = N_Record_Definition);
5891 end Set_Protected_Present;
5893 procedure Set_Raises_Constraint_Error
5894 (N : Node_Id; Val : Boolean := True) is
5896 pragma Assert (False
5897 or else NT (N).Nkind in N_Subexpr);
5899 end Set_Raises_Constraint_Error;
5901 procedure Set_Range_Constraint
5902 (N : Node_Id; Val : Node_Id) is
5904 pragma Assert (False
5905 or else NT (N).Nkind = N_Delta_Constraint
5906 or else NT (N).Nkind = N_Digits_Constraint);
5907 Set_Node4_With_Parent (N, Val);
5908 end Set_Range_Constraint;
5910 procedure Set_Range_Expression
5911 (N : Node_Id; Val : Node_Id) is
5913 pragma Assert (False
5914 or else NT (N).Nkind = N_Range_Constraint);
5915 Set_Node4_With_Parent (N, Val);
5916 end Set_Range_Expression;
5918 procedure Set_Real_Range_Specification
5919 (N : Node_Id; Val : Node_Id) is
5921 pragma Assert (False
5922 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5923 or else NT (N).Nkind = N_Floating_Point_Definition
5924 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5925 Set_Node4_With_Parent (N, Val);
5926 end Set_Real_Range_Specification;
5928 procedure Set_Realval
5929 (N : Node_Id; Val : Ureal) is
5931 pragma Assert (False
5932 or else NT (N).Nkind = N_Real_Literal);
5933 Set_Ureal3 (N, Val);
5936 procedure Set_Reason
5937 (N : Node_Id; Val : Uint) is
5939 pragma Assert (False
5940 or else NT (N).Nkind = N_Raise_Constraint_Error
5941 or else NT (N).Nkind = N_Raise_Program_Error
5942 or else NT (N).Nkind = N_Raise_Storage_Error);
5946 procedure Set_Record_Extension_Part
5947 (N : Node_Id; Val : Node_Id) is
5949 pragma Assert (False
5950 or else NT (N).Nkind = N_Derived_Type_Definition);
5951 Set_Node3_With_Parent (N, Val);
5952 end Set_Record_Extension_Part;
5954 procedure Set_Redundant_Use
5955 (N : Node_Id; Val : Boolean := True) is
5957 pragma Assert (False
5958 or else NT (N).Nkind = N_Attribute_Reference
5959 or else NT (N).Nkind = N_Expanded_Name
5960 or else NT (N).Nkind = N_Identifier);
5961 Set_Flag13 (N, Val);
5962 end Set_Redundant_Use;
5964 procedure Set_Renaming_Exception
5965 (N : Node_Id; Val : Node_Id) is
5967 pragma Assert (False
5968 or else NT (N).Nkind = N_Exception_Declaration);
5970 end Set_Renaming_Exception;
5972 procedure Set_Result_Definition
5973 (N : Node_Id; Val : Node_Id) is
5975 pragma Assert (False
5976 or else NT (N).Nkind = N_Access_Function_Definition
5977 or else NT (N).Nkind = N_Function_Specification);
5978 Set_Node4_With_Parent (N, Val);
5979 end Set_Result_Definition;
5981 procedure Set_Return_Object_Declarations
5982 (N : Node_Id; Val : List_Id) is
5984 pragma Assert (False
5985 or else NT (N).Nkind = N_Extended_Return_Statement);
5986 Set_List3_With_Parent (N, Val);
5987 end Set_Return_Object_Declarations;
5989 procedure Set_Return_Statement_Entity
5990 (N : Node_Id; Val : Node_Id) is
5992 pragma Assert (False
5993 or else NT (N).Nkind = N_Extended_Return_Statement
5994 or else NT (N).Nkind = N_Simple_Return_Statement);
5995 Set_Node5 (N, Val); -- semantic field, no parent set
5996 end Set_Return_Statement_Entity;
5998 procedure Set_Reverse_Present
5999 (N : Node_Id; Val : Boolean := True) is
6001 pragma Assert (False
6002 or else NT (N).Nkind = N_Iterator_Specification
6003 or else NT (N).Nkind = N_Loop_Parameter_Specification);
6004 Set_Flag15 (N, Val);
6005 end Set_Reverse_Present;
6007 procedure Set_Right_Opnd
6008 (N : Node_Id; Val : Node_Id) is
6010 pragma Assert (False
6011 or else NT (N).Nkind in N_Op
6012 or else NT (N).Nkind = N_And_Then
6013 or else NT (N).Nkind = N_In
6014 or else NT (N).Nkind = N_Not_In
6015 or else NT (N).Nkind = N_Or_Else);
6016 Set_Node3_With_Parent (N, Val);
6019 procedure Set_Rounded_Result
6020 (N : Node_Id; Val : Boolean := True) is
6022 pragma Assert (False
6023 or else NT (N).Nkind = N_Op_Divide
6024 or else NT (N).Nkind = N_Op_Multiply
6025 or else NT (N).Nkind = N_Type_Conversion);
6026 Set_Flag18 (N, Val);
6027 end Set_Rounded_Result;
6029 procedure Set_SCIL_Controlling_Tag
6030 (N : Node_Id; Val : Node_Id) is
6032 pragma Assert (False
6033 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6034 Set_Node5 (N, Val); -- semantic field, no parent set
6035 end Set_SCIL_Controlling_Tag;
6037 procedure Set_SCIL_Entity
6038 (N : Node_Id; Val : Node_Id) is
6040 pragma Assert (False
6041 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
6042 or else NT (N).Nkind = N_SCIL_Dispatching_Call
6043 or else NT (N).Nkind = N_SCIL_Membership_Test);
6044 Set_Node4 (N, Val); -- semantic field, no parent set
6045 end Set_SCIL_Entity;
6047 procedure Set_SCIL_Tag_Value
6048 (N : Node_Id; Val : Node_Id) is
6050 pragma Assert (False
6051 or else NT (N).Nkind = N_SCIL_Membership_Test);
6052 Set_Node5 (N, Val); -- semantic field, no parent set
6053 end Set_SCIL_Tag_Value;
6055 procedure Set_SCIL_Target_Prim
6056 (N : Node_Id; Val : Node_Id) is
6058 pragma Assert (False
6059 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6060 Set_Node2 (N, Val); -- semantic field, no parent set
6061 end Set_SCIL_Target_Prim;
6064 (N : Node_Id; Val : Node_Id) is
6066 pragma Assert (False
6067 or else NT (N).Nkind = N_Defining_Character_Literal
6068 or else NT (N).Nkind = N_Defining_Identifier
6069 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6070 Set_Node3 (N, Val); -- semantic field, no parent set
6073 procedure Set_Select_Alternatives
6074 (N : Node_Id; Val : List_Id) is
6076 pragma Assert (False
6077 or else NT (N).Nkind = N_Selective_Accept);
6078 Set_List1_With_Parent (N, Val);
6079 end Set_Select_Alternatives;
6081 procedure Set_Selector_Name
6082 (N : Node_Id; Val : Node_Id) is
6084 pragma Assert (False
6085 or else NT (N).Nkind = N_Expanded_Name
6086 or else NT (N).Nkind = N_Generic_Association
6087 or else NT (N).Nkind = N_Parameter_Association
6088 or else NT (N).Nkind = N_Selected_Component);
6089 Set_Node2_With_Parent (N, Val);
6090 end Set_Selector_Name;
6092 procedure Set_Selector_Names
6093 (N : Node_Id; Val : List_Id) is
6095 pragma Assert (False
6096 or else NT (N).Nkind = N_Discriminant_Association);
6097 Set_List1_With_Parent (N, Val);
6098 end Set_Selector_Names;
6100 procedure Set_Shift_Count_OK
6101 (N : Node_Id; Val : Boolean := True) is
6103 pragma Assert (False
6104 or else NT (N).Nkind = N_Op_Rotate_Left
6105 or else NT (N).Nkind = N_Op_Rotate_Right
6106 or else NT (N).Nkind = N_Op_Shift_Left
6107 or else NT (N).Nkind = N_Op_Shift_Right
6108 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6110 end Set_Shift_Count_OK;
6112 procedure Set_Source_Type
6113 (N : Node_Id; Val : Entity_Id) is
6115 pragma Assert (False
6116 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6117 Set_Node1 (N, Val); -- semantic field, no parent set
6118 end Set_Source_Type;
6120 procedure Set_Specification
6121 (N : Node_Id; Val : Node_Id) is
6123 pragma Assert (False
6124 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6125 or else NT (N).Nkind = N_Expression_Function
6126 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6127 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6128 or else NT (N).Nkind = N_Generic_Package_Declaration
6129 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6130 or else NT (N).Nkind = N_Package_Declaration
6131 or else NT (N).Nkind = N_Subprogram_Body
6132 or else NT (N).Nkind = N_Subprogram_Body_Stub
6133 or else NT (N).Nkind = N_Subprogram_Declaration
6134 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6135 Set_Node1_With_Parent (N, Val);
6136 end Set_Specification;
6138 procedure Set_Split_PPC
6139 (N : Node_Id; Val : Boolean) is
6141 pragma Assert (False
6142 or else NT (N).Nkind = N_Aspect_Specification
6143 or else NT (N).Nkind = N_Pragma);
6144 Set_Flag17 (N, Val);
6147 procedure Set_Statements
6148 (N : Node_Id; Val : List_Id) is
6150 pragma Assert (False
6151 or else NT (N).Nkind = N_Abortable_Part
6152 or else NT (N).Nkind = N_Accept_Alternative
6153 or else NT (N).Nkind = N_Case_Statement_Alternative
6154 or else NT (N).Nkind = N_Delay_Alternative
6155 or else NT (N).Nkind = N_Entry_Call_Alternative
6156 or else NT (N).Nkind = N_Exception_Handler
6157 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6158 or else NT (N).Nkind = N_Loop_Statement
6159 or else NT (N).Nkind = N_Triggering_Alternative);
6160 Set_List3_With_Parent (N, Val);
6163 procedure Set_Storage_Pool
6164 (N : Node_Id; Val : Node_Id) is
6166 pragma Assert (False
6167 or else NT (N).Nkind = N_Allocator
6168 or else NT (N).Nkind = N_Extended_Return_Statement
6169 or else NT (N).Nkind = N_Free_Statement
6170 or else NT (N).Nkind = N_Simple_Return_Statement);
6171 Set_Node1 (N, Val); -- semantic field, no parent set
6172 end Set_Storage_Pool;
6174 procedure Set_Subpool_Handle_Name
6175 (N : Node_Id; Val : Node_Id) is
6177 pragma Assert (False
6178 or else NT (N).Nkind = N_Allocator);
6179 Set_Node4_With_Parent (N, Val);
6180 end Set_Subpool_Handle_Name;
6182 procedure Set_Strval
6183 (N : Node_Id; Val : String_Id) is
6185 pragma Assert (False
6186 or else NT (N).Nkind = N_Operator_Symbol
6187 or else NT (N).Nkind = N_String_Literal);
6191 procedure Set_Subtype_Indication
6192 (N : Node_Id; Val : Node_Id) is
6194 pragma Assert (False
6195 or else NT (N).Nkind = N_Access_To_Object_Definition
6196 or else NT (N).Nkind = N_Component_Definition
6197 or else NT (N).Nkind = N_Derived_Type_Definition
6198 or else NT (N).Nkind = N_Iterator_Specification
6199 or else NT (N).Nkind = N_Private_Extension_Declaration
6200 or else NT (N).Nkind = N_Subtype_Declaration);
6201 Set_Node5_With_Parent (N, Val);
6202 end Set_Subtype_Indication;
6204 procedure Set_Subtype_Mark
6205 (N : Node_Id; Val : Node_Id) is
6207 pragma Assert (False
6208 or else NT (N).Nkind = N_Access_Definition
6209 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6210 or else NT (N).Nkind = N_Formal_Object_Declaration
6211 or else NT (N).Nkind = N_Object_Renaming_Declaration
6212 or else NT (N).Nkind = N_Qualified_Expression
6213 or else NT (N).Nkind = N_Subtype_Indication
6214 or else NT (N).Nkind = N_Type_Conversion
6215 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6216 Set_Node4_With_Parent (N, Val);
6217 end Set_Subtype_Mark;
6219 procedure Set_Subtype_Marks
6220 (N : Node_Id; Val : List_Id) is
6222 pragma Assert (False
6223 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6224 or else NT (N).Nkind = N_Use_Type_Clause);
6225 Set_List2_With_Parent (N, Val);
6226 end Set_Subtype_Marks;
6228 procedure Set_Suppress_Assignment_Checks
6229 (N : Node_Id; Val : Boolean := True) is
6231 pragma Assert (False
6232 or else NT (N).Nkind = N_Assignment_Statement
6233 or else NT (N).Nkind = N_Object_Declaration);
6234 Set_Flag18 (N, Val);
6235 end Set_Suppress_Assignment_Checks;
6237 procedure Set_Suppress_Loop_Warnings
6238 (N : Node_Id; Val : Boolean := True) is
6240 pragma Assert (False
6241 or else NT (N).Nkind = N_Loop_Statement);
6242 Set_Flag17 (N, Val);
6243 end Set_Suppress_Loop_Warnings;
6245 procedure Set_Synchronized_Present
6246 (N : Node_Id; Val : Boolean := True) is
6248 pragma Assert (False
6249 or else NT (N).Nkind = N_Derived_Type_Definition
6250 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6251 or else NT (N).Nkind = N_Private_Extension_Declaration
6252 or else NT (N).Nkind = N_Record_Definition);
6254 end Set_Synchronized_Present;
6256 procedure Set_Tagged_Present
6257 (N : Node_Id; Val : Boolean := True) is
6259 pragma Assert (False
6260 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6261 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6262 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6263 or else NT (N).Nkind = N_Private_Type_Declaration
6264 or else NT (N).Nkind = N_Record_Definition);
6265 Set_Flag15 (N, Val);
6266 end Set_Tagged_Present;
6268 procedure Set_Target_Type
6269 (N : Node_Id; Val : Entity_Id) is
6271 pragma Assert (False
6272 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6273 Set_Node2 (N, Val); -- semantic field, no parent set
6274 end Set_Target_Type;
6276 procedure Set_Task_Definition
6277 (N : Node_Id; Val : Node_Id) is
6279 pragma Assert (False
6280 or else NT (N).Nkind = N_Single_Task_Declaration
6281 or else NT (N).Nkind = N_Task_Type_Declaration);
6282 Set_Node3_With_Parent (N, Val);
6283 end Set_Task_Definition;
6285 procedure Set_Task_Present
6286 (N : Node_Id; Val : Boolean := True) is
6288 pragma Assert (False
6289 or else NT (N).Nkind = N_Derived_Type_Definition
6290 or else NT (N).Nkind = N_Record_Definition);
6292 end Set_Task_Present;
6294 procedure Set_Then_Actions
6295 (N : Node_Id; Val : List_Id) is
6297 pragma Assert (False
6298 or else NT (N).Nkind = N_If_Expression);
6299 Set_List2_With_Parent (N, Val); -- semantic field, but needs parents
6300 end Set_Then_Actions;
6302 procedure Set_Then_Statements
6303 (N : Node_Id; Val : List_Id) is
6305 pragma Assert (False
6306 or else NT (N).Nkind = N_Elsif_Part
6307 or else NT (N).Nkind = N_If_Statement);
6308 Set_List2_With_Parent (N, Val);
6309 end Set_Then_Statements;
6311 procedure Set_Treat_Fixed_As_Integer
6312 (N : Node_Id; Val : Boolean := True) is
6314 pragma Assert (False
6315 or else NT (N).Nkind = N_Op_Divide
6316 or else NT (N).Nkind = N_Op_Mod
6317 or else NT (N).Nkind = N_Op_Multiply
6318 or else NT (N).Nkind = N_Op_Rem);
6319 Set_Flag14 (N, Val);
6320 end Set_Treat_Fixed_As_Integer;
6322 procedure Set_Triggering_Alternative
6323 (N : Node_Id; Val : Node_Id) is
6325 pragma Assert (False
6326 or else NT (N).Nkind = N_Asynchronous_Select);
6327 Set_Node1_With_Parent (N, Val);
6328 end Set_Triggering_Alternative;
6330 procedure Set_Triggering_Statement
6331 (N : Node_Id; Val : Node_Id) is
6333 pragma Assert (False
6334 or else NT (N).Nkind = N_Triggering_Alternative);
6335 Set_Node1_With_Parent (N, Val);
6336 end Set_Triggering_Statement;
6338 procedure Set_TSS_Elist
6339 (N : Node_Id; Val : Elist_Id) is
6341 pragma Assert (False
6342 or else NT (N).Nkind = N_Freeze_Entity);
6343 Set_Elist3 (N, Val); -- semantic field, no parent set
6346 procedure Set_Uneval_Old_Accept
6347 (N : Node_Id; Val : Boolean := True) is
6349 pragma Assert (False
6350 or else NT (N).Nkind = N_Pragma);
6352 end Set_Uneval_Old_Accept;
6354 procedure Set_Uneval_Old_Warn
6355 (N : Node_Id; Val : Boolean := True) is
6357 pragma Assert (False
6358 or else NT (N).Nkind = N_Pragma);
6359 Set_Flag18 (N, Val);
6360 end Set_Uneval_Old_Warn;
6362 procedure Set_Type_Definition
6363 (N : Node_Id; Val : Node_Id) is
6365 pragma Assert (False
6366 or else NT (N).Nkind = N_Full_Type_Declaration);
6367 Set_Node3_With_Parent (N, Val);
6368 end Set_Type_Definition;
6371 (N : Node_Id; Val : Node_Id) is
6373 pragma Assert (False
6374 or else NT (N).Nkind = N_Compilation_Unit);
6375 Set_Node2_With_Parent (N, Val);
6378 procedure Set_Unknown_Discriminants_Present
6379 (N : Node_Id; Val : Boolean := True) is
6381 pragma Assert (False
6382 or else NT (N).Nkind = N_Formal_Type_Declaration
6383 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6384 or else NT (N).Nkind = N_Private_Extension_Declaration
6385 or else NT (N).Nkind = N_Private_Type_Declaration);
6386 Set_Flag13 (N, Val);
6387 end Set_Unknown_Discriminants_Present;
6389 procedure Set_Unreferenced_In_Spec
6390 (N : Node_Id; Val : Boolean := True) is
6392 pragma Assert (False
6393 or else NT (N).Nkind = N_With_Clause);
6395 end Set_Unreferenced_In_Spec;
6397 procedure Set_Variant_Part
6398 (N : Node_Id; Val : Node_Id) is
6400 pragma Assert (False
6401 or else NT (N).Nkind = N_Component_List);
6402 Set_Node4_With_Parent (N, Val);
6403 end Set_Variant_Part;
6405 procedure Set_Variants
6406 (N : Node_Id; Val : List_Id) is
6408 pragma Assert (False
6409 or else NT (N).Nkind = N_Variant_Part);
6410 Set_List1_With_Parent (N, Val);
6413 procedure Set_Visible_Declarations
6414 (N : Node_Id; Val : List_Id) is
6416 pragma Assert (False
6417 or else NT (N).Nkind = N_Package_Specification
6418 or else NT (N).Nkind = N_Protected_Definition
6419 or else NT (N).Nkind = N_Task_Definition);
6420 Set_List2_With_Parent (N, Val);
6421 end Set_Visible_Declarations;
6423 procedure Set_Uninitialized_Variable
6424 (N : Node_Id; Val : Node_Id) is
6426 pragma Assert (False
6427 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6428 or else NT (N).Nkind = N_Private_Extension_Declaration);
6430 end Set_Uninitialized_Variable;
6432 procedure Set_Used_Operations
6433 (N : Node_Id; Val : Elist_Id) is
6435 pragma Assert (False
6436 or else NT (N).Nkind = N_Use_Type_Clause);
6437 Set_Elist5 (N, Val);
6438 end Set_Used_Operations;
6440 procedure Set_Was_Originally_Stub
6441 (N : Node_Id; Val : Boolean := True) is
6443 pragma Assert (False
6444 or else NT (N).Nkind = N_Package_Body
6445 or else NT (N).Nkind = N_Protected_Body
6446 or else NT (N).Nkind = N_Subprogram_Body
6447 or else NT (N).Nkind = N_Task_Body);
6448 Set_Flag13 (N, Val);
6449 end Set_Was_Originally_Stub;
6451 procedure Set_Withed_Body
6452 (N : Node_Id; Val : Node_Id) is
6454 pragma Assert (False
6455 or else NT (N).Nkind = N_With_Clause);
6457 end Set_Withed_Body;
6459 -------------------------
6460 -- Iterator Procedures --
6461 -------------------------
6463 procedure Next_Entity (N : in out Node_Id) is
6465 N := Next_Entity (N);
6468 procedure Next_Named_Actual (N : in out Node_Id) is
6470 N := Next_Named_Actual (N);
6471 end Next_Named_Actual;
6473 procedure Next_Rep_Item (N : in out Node_Id) is
6475 N := Next_Rep_Item (N);
6478 procedure Next_Use_Clause (N : in out Node_Id) is
6480 N := Next_Use_Clause (N);
6481 end Next_Use_Clause;
6487 function End_Location (N : Node_Id) return Source_Ptr is
6488 L : constant Uint := End_Span (N);
6493 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6497 --------------------
6498 -- Get_Pragma_Arg --
6499 --------------------
6501 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6503 if Nkind (Arg) = N_Pragma_Argument_Association then
6504 return Expression (Arg);
6510 ----------------------
6511 -- Set_End_Location --
6512 ----------------------
6514 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6517 UI_From_Int (Int (S) - Int (Sloc (N))));
6518 end Set_End_Location;
6527 V2 : Node_Kind) return Boolean
6530 return T = V1 or else
6538 V3 : Node_Kind) return Boolean
6541 return T = V1 or else
6551 V4 : Node_Kind) return Boolean
6554 return T = V1 or else
6566 V5 : Node_Kind) return Boolean
6569 return T = V1 or else
6583 V6 : Node_Kind) return Boolean
6586 return T = V1 or else
6602 V7 : Node_Kind) return Boolean
6605 return T = V1 or else
6623 V8 : Node_Kind) return Boolean
6626 return T = V1 or else
6646 V9 : Node_Kind) return Boolean
6649 return T = V1 or else
6664 function Pragma_Name (N : Node_Id) return Name_Id is
6666 return Chars (Pragma_Identifier (N));