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 Comes_From_Extended_Return_Statement
436 (N : Node_Id) return Boolean is
439 or else NT (N).Nkind = N_Simple_Return_Statement);
441 end Comes_From_Extended_Return_Statement;
443 function Compile_Time_Known_Aggregate
444 (N : Node_Id) return Boolean is
447 or else NT (N).Nkind = N_Aggregate);
449 end Compile_Time_Known_Aggregate;
451 function Component_Associations
452 (N : Node_Id) return List_Id is
455 or else NT (N).Nkind = N_Aggregate
456 or else NT (N).Nkind = N_Extension_Aggregate);
458 end Component_Associations;
460 function Component_Clauses
461 (N : Node_Id) return List_Id is
464 or else NT (N).Nkind = N_Record_Representation_Clause);
466 end Component_Clauses;
468 function Component_Definition
469 (N : Node_Id) return Node_Id is
472 or else NT (N).Nkind = N_Component_Declaration
473 or else NT (N).Nkind = N_Constrained_Array_Definition
474 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
476 end Component_Definition;
478 function Component_Items
479 (N : Node_Id) return List_Id is
482 or else NT (N).Nkind = N_Component_List);
486 function Component_List
487 (N : Node_Id) return Node_Id is
490 or else NT (N).Nkind = N_Record_Definition
491 or else NT (N).Nkind = N_Variant);
495 function Component_Name
496 (N : Node_Id) return Node_Id is
499 or else NT (N).Nkind = N_Component_Clause);
503 function Componentwise_Assignment
504 (N : Node_Id) return Boolean is
507 or else NT (N).Nkind = N_Assignment_Statement);
509 end Componentwise_Assignment;
512 (N : Node_Id) return Node_Id is
515 or else NT (N).Nkind = N_Accept_Alternative
516 or else NT (N).Nkind = N_Delay_Alternative
517 or else NT (N).Nkind = N_Elsif_Part
518 or else NT (N).Nkind = N_Entry_Body_Formal_Part
519 or else NT (N).Nkind = N_Exit_Statement
520 or else NT (N).Nkind = N_If_Statement
521 or else NT (N).Nkind = N_Iteration_Scheme
522 or else NT (N).Nkind = N_Quantified_Expression
523 or else NT (N).Nkind = N_Raise_Constraint_Error
524 or else NT (N).Nkind = N_Raise_Program_Error
525 or else NT (N).Nkind = N_Raise_Storage_Error
526 or else NT (N).Nkind = N_Terminate_Alternative);
530 function Condition_Actions
531 (N : Node_Id) return List_Id is
534 or else NT (N).Nkind = N_Elsif_Part
535 or else NT (N).Nkind = N_Iteration_Scheme);
537 end Condition_Actions;
539 function Config_Pragmas
540 (N : Node_Id) return List_Id is
543 or else NT (N).Nkind = N_Compilation_Unit_Aux);
547 function Constant_Present
548 (N : Node_Id) return Boolean is
551 or else NT (N).Nkind = N_Access_Definition
552 or else NT (N).Nkind = N_Access_To_Object_Definition
553 or else NT (N).Nkind = N_Object_Declaration);
555 end Constant_Present;
558 (N : Node_Id) return Node_Id is
561 or else NT (N).Nkind = N_Subtype_Indication);
566 (N : Node_Id) return List_Id is
569 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
573 function Context_Installed
574 (N : Node_Id) return Boolean is
577 or else NT (N).Nkind = N_With_Clause);
579 end Context_Installed;
581 function Context_Items
582 (N : Node_Id) return List_Id is
585 or else NT (N).Nkind = N_Compilation_Unit);
589 function Context_Pending
590 (N : Node_Id) return Boolean is
593 or else NT (N).Nkind = N_Compilation_Unit);
597 function Contract_Test_Cases
598 (N : Node_Id) return Node_Id is
601 or else NT (N).Nkind = N_Contract);
603 end Contract_Test_Cases;
605 function Controlling_Argument
606 (N : Node_Id) return Node_Id is
609 or else NT (N).Nkind = N_Function_Call
610 or else NT (N).Nkind = N_Procedure_Call_Statement);
612 end Controlling_Argument;
614 function Conversion_OK
615 (N : Node_Id) return Boolean is
618 or else NT (N).Nkind = N_Type_Conversion);
622 function Convert_To_Return_False
623 (N : Node_Id) return Boolean is
626 or else NT (N).Nkind = N_Raise_Expression);
628 end Convert_To_Return_False;
630 function Corresponding_Aspect
631 (N : Node_Id) return Node_Id is
634 or else NT (N).Nkind = N_Pragma);
636 end Corresponding_Aspect;
638 function Corresponding_Body
639 (N : Node_Id) return Node_Id is
642 or else NT (N).Nkind = N_Entry_Declaration
643 or else NT (N).Nkind = N_Generic_Package_Declaration
644 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
645 or else NT (N).Nkind = N_Package_Body_Stub
646 or else NT (N).Nkind = N_Package_Declaration
647 or else NT (N).Nkind = N_Protected_Body_Stub
648 or else NT (N).Nkind = N_Protected_Type_Declaration
649 or else NT (N).Nkind = N_Subprogram_Body_Stub
650 or else NT (N).Nkind = N_Subprogram_Declaration
651 or else NT (N).Nkind = N_Task_Body_Stub
652 or else NT (N).Nkind = N_Task_Type_Declaration);
654 end Corresponding_Body;
656 function Corresponding_Formal_Spec
657 (N : Node_Id) return Node_Id is
660 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
662 end Corresponding_Formal_Spec;
664 function Corresponding_Generic_Association
665 (N : Node_Id) return Node_Id is
668 or else NT (N).Nkind = N_Object_Declaration
669 or else NT (N).Nkind = N_Object_Renaming_Declaration);
671 end Corresponding_Generic_Association;
673 function Corresponding_Integer_Value
674 (N : Node_Id) return Uint is
677 or else NT (N).Nkind = N_Real_Literal);
679 end Corresponding_Integer_Value;
681 function Corresponding_Spec
682 (N : Node_Id) return Node_Id is
685 or else NT (N).Nkind = N_Expression_Function
686 or else NT (N).Nkind = N_Package_Body
687 or else NT (N).Nkind = N_Protected_Body
688 or else NT (N).Nkind = N_Subprogram_Body
689 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
690 or else NT (N).Nkind = N_Task_Body
691 or else NT (N).Nkind = N_With_Clause);
693 end Corresponding_Spec;
695 function Corresponding_Spec_Of_Stub
696 (N : Node_Id) return Entity_Id is
699 or else NT (N).Nkind = N_Package_Body_Stub
700 or else NT (N).Nkind = N_Protected_Body_Stub
701 or else NT (N).Nkind = N_Subprogram_Body_Stub
702 or else NT (N).Nkind = N_Task_Body_Stub);
704 end Corresponding_Spec_Of_Stub;
706 function Corresponding_Stub
707 (N : Node_Id) return Node_Id is
710 or else NT (N).Nkind = N_Subunit);
712 end Corresponding_Stub;
714 function Dcheck_Function
715 (N : Node_Id) return Entity_Id is
718 or else NT (N).Nkind = N_Variant);
722 function Declarations
723 (N : Node_Id) return List_Id is
726 or else NT (N).Nkind = N_Accept_Statement
727 or else NT (N).Nkind = N_Block_Statement
728 or else NT (N).Nkind = N_Compilation_Unit_Aux
729 or else NT (N).Nkind = N_Entry_Body
730 or else NT (N).Nkind = N_Package_Body
731 or else NT (N).Nkind = N_Protected_Body
732 or else NT (N).Nkind = N_Subprogram_Body
733 or else NT (N).Nkind = N_Task_Body);
737 function Default_Expression
738 (N : Node_Id) return Node_Id is
741 or else NT (N).Nkind = N_Formal_Object_Declaration
742 or else NT (N).Nkind = N_Parameter_Specification);
744 end Default_Expression;
746 function Default_Storage_Pool
747 (N : Node_Id) return Node_Id is
750 or else NT (N).Nkind = N_Compilation_Unit_Aux);
752 end Default_Storage_Pool;
754 function Default_Name
755 (N : Node_Id) return Node_Id is
758 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
759 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
763 function Defining_Identifier
764 (N : Node_Id) return Entity_Id is
767 or else NT (N).Nkind = N_Component_Declaration
768 or else NT (N).Nkind = N_Defining_Program_Unit_Name
769 or else NT (N).Nkind = N_Discriminant_Specification
770 or else NT (N).Nkind = N_Entry_Body
771 or else NT (N).Nkind = N_Entry_Declaration
772 or else NT (N).Nkind = N_Entry_Index_Specification
773 or else NT (N).Nkind = N_Exception_Declaration
774 or else NT (N).Nkind = N_Exception_Renaming_Declaration
775 or else NT (N).Nkind = N_Formal_Object_Declaration
776 or else NT (N).Nkind = N_Formal_Package_Declaration
777 or else NT (N).Nkind = N_Formal_Type_Declaration
778 or else NT (N).Nkind = N_Full_Type_Declaration
779 or else NT (N).Nkind = N_Implicit_Label_Declaration
780 or else NT (N).Nkind = N_Incomplete_Type_Declaration
781 or else NT (N).Nkind = N_Iterator_Specification
782 or else NT (N).Nkind = N_Loop_Parameter_Specification
783 or else NT (N).Nkind = N_Number_Declaration
784 or else NT (N).Nkind = N_Object_Declaration
785 or else NT (N).Nkind = N_Object_Renaming_Declaration
786 or else NT (N).Nkind = N_Package_Body_Stub
787 or else NT (N).Nkind = N_Parameter_Specification
788 or else NT (N).Nkind = N_Private_Extension_Declaration
789 or else NT (N).Nkind = N_Private_Type_Declaration
790 or else NT (N).Nkind = N_Protected_Body
791 or else NT (N).Nkind = N_Protected_Body_Stub
792 or else NT (N).Nkind = N_Protected_Type_Declaration
793 or else NT (N).Nkind = N_Single_Protected_Declaration
794 or else NT (N).Nkind = N_Single_Task_Declaration
795 or else NT (N).Nkind = N_Subtype_Declaration
796 or else NT (N).Nkind = N_Task_Body
797 or else NT (N).Nkind = N_Task_Body_Stub
798 or else NT (N).Nkind = N_Task_Type_Declaration);
800 end Defining_Identifier;
802 function Defining_Unit_Name
803 (N : Node_Id) return Node_Id is
806 or else NT (N).Nkind = N_Function_Instantiation
807 or else NT (N).Nkind = N_Function_Specification
808 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
809 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
810 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
811 or else NT (N).Nkind = N_Package_Body
812 or else NT (N).Nkind = N_Package_Instantiation
813 or else NT (N).Nkind = N_Package_Renaming_Declaration
814 or else NT (N).Nkind = N_Package_Specification
815 or else NT (N).Nkind = N_Procedure_Instantiation
816 or else NT (N).Nkind = N_Procedure_Specification);
818 end Defining_Unit_Name;
820 function Delay_Alternative
821 (N : Node_Id) return Node_Id is
824 or else NT (N).Nkind = N_Timed_Entry_Call);
826 end Delay_Alternative;
828 function Delay_Statement
829 (N : Node_Id) return Node_Id is
832 or else NT (N).Nkind = N_Delay_Alternative);
836 function Delta_Expression
837 (N : Node_Id) return Node_Id is
840 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
841 or else NT (N).Nkind = N_Delta_Constraint
842 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
844 end Delta_Expression;
846 function Digits_Expression
847 (N : Node_Id) return Node_Id is
850 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
851 or else NT (N).Nkind = N_Digits_Constraint
852 or else NT (N).Nkind = N_Floating_Point_Definition);
854 end Digits_Expression;
856 function Discr_Check_Funcs_Built
857 (N : Node_Id) return Boolean is
860 or else NT (N).Nkind = N_Full_Type_Declaration);
862 end Discr_Check_Funcs_Built;
864 function Discrete_Choices
865 (N : Node_Id) return List_Id is
868 or else NT (N).Nkind = N_Case_Expression_Alternative
869 or else NT (N).Nkind = N_Case_Statement_Alternative
870 or else NT (N).Nkind = N_Variant);
872 end Discrete_Choices;
874 function Discrete_Range
875 (N : Node_Id) return Node_Id is
878 or else NT (N).Nkind = N_Slice);
882 function Discrete_Subtype_Definition
883 (N : Node_Id) return Node_Id is
886 or else NT (N).Nkind = N_Entry_Declaration
887 or else NT (N).Nkind = N_Entry_Index_Specification
888 or else NT (N).Nkind = N_Loop_Parameter_Specification);
890 end Discrete_Subtype_Definition;
892 function Discrete_Subtype_Definitions
893 (N : Node_Id) return List_Id is
896 or else NT (N).Nkind = N_Constrained_Array_Definition);
898 end Discrete_Subtype_Definitions;
900 function Discriminant_Specifications
901 (N : Node_Id) return List_Id is
904 or else NT (N).Nkind = N_Formal_Type_Declaration
905 or else NT (N).Nkind = N_Full_Type_Declaration
906 or else NT (N).Nkind = N_Incomplete_Type_Declaration
907 or else NT (N).Nkind = N_Private_Extension_Declaration
908 or else NT (N).Nkind = N_Private_Type_Declaration
909 or else NT (N).Nkind = N_Protected_Type_Declaration
910 or else NT (N).Nkind = N_Task_Type_Declaration);
912 end Discriminant_Specifications;
914 function Discriminant_Type
915 (N : Node_Id) return Node_Id is
918 or else NT (N).Nkind = N_Discriminant_Specification);
920 end Discriminant_Type;
922 function Do_Accessibility_Check
923 (N : Node_Id) return Boolean is
926 or else NT (N).Nkind = N_Parameter_Specification);
928 end Do_Accessibility_Check;
930 function Do_Discriminant_Check
931 (N : Node_Id) return Boolean is
934 or else NT (N).Nkind = N_Assignment_Statement
935 or else NT (N).Nkind = N_Selected_Component
936 or else NT (N).Nkind = N_Type_Conversion);
938 end Do_Discriminant_Check;
940 function Do_Division_Check
941 (N : Node_Id) return Boolean is
944 or else NT (N).Nkind = N_Op_Divide
945 or else NT (N).Nkind = N_Op_Mod
946 or else NT (N).Nkind = N_Op_Rem);
948 end Do_Division_Check;
950 function Do_Length_Check
951 (N : Node_Id) return Boolean is
954 or else NT (N).Nkind = N_Assignment_Statement
955 or else NT (N).Nkind = N_Op_And
956 or else NT (N).Nkind = N_Op_Or
957 or else NT (N).Nkind = N_Op_Xor
958 or else NT (N).Nkind = N_Type_Conversion);
962 function Do_Overflow_Check
963 (N : Node_Id) return Boolean is
966 or else NT (N).Nkind in N_Op
967 or else NT (N).Nkind = N_Attribute_Reference
968 or else NT (N).Nkind = N_Case_Expression
969 or else NT (N).Nkind = N_If_Expression
970 or else NT (N).Nkind = N_Type_Conversion);
972 end Do_Overflow_Check;
974 function Do_Range_Check
975 (N : Node_Id) return Boolean is
978 or else NT (N).Nkind in N_Subexpr);
982 function Do_Storage_Check
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind = N_Allocator
987 or else NT (N).Nkind = N_Subprogram_Body);
989 end Do_Storage_Check;
991 function Do_Tag_Check
992 (N : Node_Id) return Boolean is
995 or else NT (N).Nkind = N_Assignment_Statement
996 or else NT (N).Nkind = N_Extended_Return_Statement
997 or else NT (N).Nkind = N_Function_Call
998 or else NT (N).Nkind = N_Procedure_Call_Statement
999 or else NT (N).Nkind = N_Simple_Return_Statement
1000 or else NT (N).Nkind = N_Type_Conversion);
1004 function Elaborate_All_Desirable
1005 (N : Node_Id) return Boolean is
1007 pragma Assert (False
1008 or else NT (N).Nkind = N_With_Clause);
1010 end Elaborate_All_Desirable;
1012 function Elaborate_All_Present
1013 (N : Node_Id) return Boolean is
1015 pragma Assert (False
1016 or else NT (N).Nkind = N_With_Clause);
1018 end Elaborate_All_Present;
1020 function Elaborate_Desirable
1021 (N : Node_Id) return Boolean is
1023 pragma Assert (False
1024 or else NT (N).Nkind = N_With_Clause);
1026 end Elaborate_Desirable;
1028 function Elaborate_Present
1029 (N : Node_Id) return Boolean is
1031 pragma Assert (False
1032 or else NT (N).Nkind = N_With_Clause);
1034 end Elaborate_Present;
1036 function Elaboration_Boolean
1037 (N : Node_Id) return Node_Id is
1039 pragma Assert (False
1040 or else NT (N).Nkind = N_Function_Specification
1041 or else NT (N).Nkind = N_Procedure_Specification);
1043 end Elaboration_Boolean;
1045 function Else_Actions
1046 (N : Node_Id) return List_Id is
1048 pragma Assert (False
1049 or else NT (N).Nkind = N_If_Expression);
1053 function Else_Statements
1054 (N : Node_Id) return List_Id is
1056 pragma Assert (False
1057 or else NT (N).Nkind = N_Conditional_Entry_Call
1058 or else NT (N).Nkind = N_If_Statement
1059 or else NT (N).Nkind = N_Selective_Accept);
1061 end Else_Statements;
1063 function Elsif_Parts
1064 (N : Node_Id) return List_Id is
1066 pragma Assert (False
1067 or else NT (N).Nkind = N_If_Statement);
1071 function Enclosing_Variant
1072 (N : Node_Id) return Node_Id is
1074 pragma Assert (False
1075 or else NT (N).Nkind = N_Variant);
1077 end Enclosing_Variant;
1080 (N : Node_Id) return Node_Id is
1082 pragma Assert (False
1083 or else NT (N).Nkind = N_Enumeration_Type_Definition
1084 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1085 or else NT (N).Nkind = N_Loop_Statement
1086 or else NT (N).Nkind = N_Package_Specification
1087 or else NT (N).Nkind = N_Protected_Body
1088 or else NT (N).Nkind = N_Protected_Definition
1089 or else NT (N).Nkind = N_Record_Definition
1090 or else NT (N).Nkind = N_Task_Definition);
1095 (N : Node_Id) return Uint is
1097 pragma Assert (False
1098 or else NT (N).Nkind = N_Case_Statement
1099 or else NT (N).Nkind = N_If_Statement);
1104 (N : Node_Id) return Node_Id is
1106 pragma Assert (False
1107 or else NT (N).Nkind in N_Has_Entity
1108 or else NT (N).Nkind = N_Aspect_Specification
1109 or else NT (N).Nkind = N_Attribute_Definition_Clause
1110 or else NT (N).Nkind = N_Freeze_Entity
1111 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1115 function Entity_Or_Associated_Node
1116 (N : Node_Id) return Node_Id is
1118 pragma Assert (False
1119 or else NT (N).Nkind in N_Has_Entity
1120 or else NT (N).Nkind = N_Freeze_Entity);
1122 end Entity_Or_Associated_Node;
1124 function Entry_Body_Formal_Part
1125 (N : Node_Id) return Node_Id is
1127 pragma Assert (False
1128 or else NT (N).Nkind = N_Entry_Body);
1130 end Entry_Body_Formal_Part;
1132 function Entry_Call_Alternative
1133 (N : Node_Id) return Node_Id is
1135 pragma Assert (False
1136 or else NT (N).Nkind = N_Conditional_Entry_Call
1137 or else NT (N).Nkind = N_Timed_Entry_Call);
1139 end Entry_Call_Alternative;
1141 function Entry_Call_Statement
1142 (N : Node_Id) return Node_Id is
1144 pragma Assert (False
1145 or else NT (N).Nkind = N_Entry_Call_Alternative);
1147 end Entry_Call_Statement;
1149 function Entry_Direct_Name
1150 (N : Node_Id) return Node_Id is
1152 pragma Assert (False
1153 or else NT (N).Nkind = N_Accept_Statement);
1155 end Entry_Direct_Name;
1157 function Entry_Index
1158 (N : Node_Id) return Node_Id is
1160 pragma Assert (False
1161 or else NT (N).Nkind = N_Accept_Statement);
1165 function Entry_Index_Specification
1166 (N : Node_Id) return Node_Id is
1168 pragma Assert (False
1169 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1171 end Entry_Index_Specification;
1174 (N : Node_Id) return Node_Id is
1176 pragma Assert (False
1177 or else NT (N).Nkind in N_Has_Etype);
1181 function Exception_Choices
1182 (N : Node_Id) return List_Id is
1184 pragma Assert (False
1185 or else NT (N).Nkind = N_Exception_Handler);
1187 end Exception_Choices;
1189 function Exception_Handlers
1190 (N : Node_Id) return List_Id is
1192 pragma Assert (False
1193 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1195 end Exception_Handlers;
1197 function Exception_Junk
1198 (N : Node_Id) return Boolean is
1200 pragma Assert (False
1201 or else NT (N).Nkind = N_Block_Statement
1202 or else NT (N).Nkind = N_Goto_Statement
1203 or else NT (N).Nkind = N_Label
1204 or else NT (N).Nkind = N_Object_Declaration
1205 or else NT (N).Nkind = N_Subtype_Declaration);
1209 function Exception_Label
1210 (N : Node_Id) return Node_Id is
1212 pragma Assert (False
1213 or else NT (N).Nkind = N_Exception_Handler
1214 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1215 or else NT (N).Nkind = N_Push_Program_Error_Label
1216 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1218 end Exception_Label;
1220 function Expansion_Delayed
1221 (N : Node_Id) return Boolean is
1223 pragma Assert (False
1224 or else NT (N).Nkind = N_Aggregate
1225 or else NT (N).Nkind = N_Extension_Aggregate);
1227 end Expansion_Delayed;
1229 function Explicit_Actual_Parameter
1230 (N : Node_Id) return Node_Id is
1232 pragma Assert (False
1233 or else NT (N).Nkind = N_Parameter_Association);
1235 end Explicit_Actual_Parameter;
1237 function Explicit_Generic_Actual_Parameter
1238 (N : Node_Id) return Node_Id is
1240 pragma Assert (False
1241 or else NT (N).Nkind = N_Generic_Association);
1243 end Explicit_Generic_Actual_Parameter;
1246 (N : Node_Id) return Node_Id is
1248 pragma Assert (False
1249 or else NT (N).Nkind = N_Allocator
1250 or else NT (N).Nkind = N_Aspect_Specification
1251 or else NT (N).Nkind = N_Assignment_Statement
1252 or else NT (N).Nkind = N_At_Clause
1253 or else NT (N).Nkind = N_Attribute_Definition_Clause
1254 or else NT (N).Nkind = N_Case_Expression
1255 or else NT (N).Nkind = N_Case_Expression_Alternative
1256 or else NT (N).Nkind = N_Case_Statement
1257 or else NT (N).Nkind = N_Code_Statement
1258 or else NT (N).Nkind = N_Component_Association
1259 or else NT (N).Nkind = N_Component_Declaration
1260 or else NT (N).Nkind = N_Delay_Relative_Statement
1261 or else NT (N).Nkind = N_Delay_Until_Statement
1262 or else NT (N).Nkind = N_Discriminant_Association
1263 or else NT (N).Nkind = N_Discriminant_Specification
1264 or else NT (N).Nkind = N_Exception_Declaration
1265 or else NT (N).Nkind = N_Expression_Function
1266 or else NT (N).Nkind = N_Expression_With_Actions
1267 or else NT (N).Nkind = N_Free_Statement
1268 or else NT (N).Nkind = N_Mod_Clause
1269 or else NT (N).Nkind = N_Modular_Type_Definition
1270 or else NT (N).Nkind = N_Number_Declaration
1271 or else NT (N).Nkind = N_Object_Declaration
1272 or else NT (N).Nkind = N_Parameter_Specification
1273 or else NT (N).Nkind = N_Pragma_Argument_Association
1274 or else NT (N).Nkind = N_Qualified_Expression
1275 or else NT (N).Nkind = N_Raise_Expression
1276 or else NT (N).Nkind = N_Raise_Statement
1277 or else NT (N).Nkind = N_Simple_Return_Statement
1278 or else NT (N).Nkind = N_Type_Conversion
1279 or else NT (N).Nkind = N_Unchecked_Expression
1280 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1284 function Expressions
1285 (N : Node_Id) return List_Id is
1287 pragma Assert (False
1288 or else NT (N).Nkind = N_Aggregate
1289 or else NT (N).Nkind = N_Attribute_Reference
1290 or else NT (N).Nkind = N_Extension_Aggregate
1291 or else NT (N).Nkind = N_If_Expression
1292 or else NT (N).Nkind = N_Indexed_Component);
1297 (N : Node_Id) return Node_Id is
1299 pragma Assert (False
1300 or else NT (N).Nkind = N_Component_Clause);
1304 function First_Inlined_Subprogram
1305 (N : Node_Id) return Entity_Id is
1307 pragma Assert (False
1308 or else NT (N).Nkind = N_Compilation_Unit);
1310 end First_Inlined_Subprogram;
1313 (N : Node_Id) return Boolean is
1315 pragma Assert (False
1316 or else NT (N).Nkind = N_With_Clause);
1320 function First_Named_Actual
1321 (N : Node_Id) return Node_Id is
1323 pragma Assert (False
1324 or else NT (N).Nkind = N_Entry_Call_Statement
1325 or else NT (N).Nkind = N_Function_Call
1326 or else NT (N).Nkind = N_Procedure_Call_Statement);
1328 end First_Named_Actual;
1330 function First_Real_Statement
1331 (N : Node_Id) return Node_Id is
1333 pragma Assert (False
1334 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1336 end First_Real_Statement;
1338 function First_Subtype_Link
1339 (N : Node_Id) return Entity_Id is
1341 pragma Assert (False
1342 or else NT (N).Nkind = N_Freeze_Entity);
1344 end First_Subtype_Link;
1346 function Float_Truncate
1347 (N : Node_Id) return Boolean is
1349 pragma Assert (False
1350 or else NT (N).Nkind = N_Type_Conversion);
1354 function Formal_Type_Definition
1355 (N : Node_Id) return Node_Id is
1357 pragma Assert (False
1358 or else NT (N).Nkind = N_Formal_Type_Declaration);
1360 end Formal_Type_Definition;
1362 function Forwards_OK
1363 (N : Node_Id) return Boolean is
1365 pragma Assert (False
1366 or else NT (N).Nkind = N_Assignment_Statement);
1370 function From_Aspect_Specification
1371 (N : Node_Id) return Boolean is
1373 pragma Assert (False
1374 or else NT (N).Nkind = N_Attribute_Definition_Clause
1375 or else NT (N).Nkind = N_Pragma);
1377 end From_Aspect_Specification;
1379 function From_At_End
1380 (N : Node_Id) return Boolean is
1382 pragma Assert (False
1383 or else NT (N).Nkind = N_Raise_Statement);
1387 function From_At_Mod
1388 (N : Node_Id) return Boolean is
1390 pragma Assert (False
1391 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1395 function From_Default
1396 (N : Node_Id) return Boolean is
1398 pragma Assert (False
1399 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1403 function Generalized_Indexing
1404 (N : Node_Id) return Node_Id is
1406 pragma Assert (False
1407 or else NT (N).Nkind = N_Indexed_Component);
1409 end Generalized_Indexing;
1411 function Generic_Associations
1412 (N : Node_Id) return List_Id is
1414 pragma Assert (False
1415 or else NT (N).Nkind = N_Formal_Package_Declaration
1416 or else NT (N).Nkind = N_Function_Instantiation
1417 or else NT (N).Nkind = N_Package_Instantiation
1418 or else NT (N).Nkind = N_Procedure_Instantiation);
1420 end Generic_Associations;
1422 function Generic_Formal_Declarations
1423 (N : Node_Id) return List_Id is
1425 pragma Assert (False
1426 or else NT (N).Nkind = N_Generic_Package_Declaration
1427 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1429 end Generic_Formal_Declarations;
1431 function Generic_Parent
1432 (N : Node_Id) return Node_Id is
1434 pragma Assert (False
1435 or else NT (N).Nkind = N_Function_Specification
1436 or else NT (N).Nkind = N_Package_Specification
1437 or else NT (N).Nkind = N_Procedure_Specification);
1441 function Generic_Parent_Type
1442 (N : Node_Id) return Node_Id is
1444 pragma Assert (False
1445 or else NT (N).Nkind = N_Subtype_Declaration);
1447 end Generic_Parent_Type;
1449 function Handled_Statement_Sequence
1450 (N : Node_Id) return Node_Id is
1452 pragma Assert (False
1453 or else NT (N).Nkind = N_Accept_Statement
1454 or else NT (N).Nkind = N_Block_Statement
1455 or else NT (N).Nkind = N_Entry_Body
1456 or else NT (N).Nkind = N_Extended_Return_Statement
1457 or else NT (N).Nkind = N_Package_Body
1458 or else NT (N).Nkind = N_Subprogram_Body
1459 or else NT (N).Nkind = N_Task_Body);
1461 end Handled_Statement_Sequence;
1463 function Handler_List_Entry
1464 (N : Node_Id) return Node_Id is
1466 pragma Assert (False
1467 or else NT (N).Nkind = N_Object_Declaration);
1469 end Handler_List_Entry;
1471 function Has_Created_Identifier
1472 (N : Node_Id) return Boolean is
1474 pragma Assert (False
1475 or else NT (N).Nkind = N_Block_Statement
1476 or else NT (N).Nkind = N_Loop_Statement);
1478 end Has_Created_Identifier;
1480 function Has_Dereference_Action
1481 (N : Node_Id) return Boolean is
1483 pragma Assert (False
1484 or else NT (N).Nkind = N_Explicit_Dereference);
1486 end Has_Dereference_Action;
1488 function Has_Dynamic_Length_Check
1489 (N : Node_Id) return Boolean is
1491 pragma Assert (False
1492 or else NT (N).Nkind in N_Subexpr);
1494 end Has_Dynamic_Length_Check;
1496 function Has_Dynamic_Range_Check
1497 (N : Node_Id) return Boolean is
1499 pragma Assert (False
1500 or else NT (N).Nkind = N_Subtype_Declaration
1501 or else NT (N).Nkind in N_Subexpr);
1503 end Has_Dynamic_Range_Check;
1505 function Has_Init_Expression
1506 (N : Node_Id) return Boolean is
1508 pragma Assert (False
1509 or else NT (N).Nkind = N_Object_Declaration);
1511 end Has_Init_Expression;
1513 function Has_Local_Raise
1514 (N : Node_Id) return Boolean is
1516 pragma Assert (False
1517 or else NT (N).Nkind = N_Exception_Handler);
1519 end Has_Local_Raise;
1521 function Has_No_Elaboration_Code
1522 (N : Node_Id) return Boolean is
1524 pragma Assert (False
1525 or else NT (N).Nkind = N_Compilation_Unit);
1527 end Has_No_Elaboration_Code;
1529 function Has_Pragma_Suppress_All
1530 (N : Node_Id) return Boolean is
1532 pragma Assert (False
1533 or else NT (N).Nkind = N_Compilation_Unit);
1535 end Has_Pragma_Suppress_All;
1537 function Has_Private_View
1538 (N : Node_Id) return Boolean is
1540 pragma Assert (False
1541 or else NT (N).Nkind in N_Op
1542 or else NT (N).Nkind = N_Character_Literal
1543 or else NT (N).Nkind = N_Expanded_Name
1544 or else NT (N).Nkind = N_Identifier
1545 or else NT (N).Nkind = N_Operator_Symbol);
1547 end Has_Private_View;
1549 function Has_Relative_Deadline_Pragma
1550 (N : Node_Id) return Boolean is
1552 pragma Assert (False
1553 or else NT (N).Nkind = N_Subprogram_Body
1554 or else NT (N).Nkind = N_Task_Definition);
1556 end Has_Relative_Deadline_Pragma;
1558 function Has_Self_Reference
1559 (N : Node_Id) return Boolean is
1561 pragma Assert (False
1562 or else NT (N).Nkind = N_Aggregate
1563 or else NT (N).Nkind = N_Extension_Aggregate);
1565 end Has_Self_Reference;
1567 function Has_SP_Choice
1568 (N : Node_Id) return Boolean is
1570 pragma Assert (False
1571 or else NT (N).Nkind = N_Case_Expression_Alternative
1572 or else NT (N).Nkind = N_Case_Statement_Alternative
1573 or else NT (N).Nkind = N_Variant);
1577 function Has_Storage_Size_Pragma
1578 (N : Node_Id) return Boolean is
1580 pragma Assert (False
1581 or else NT (N).Nkind = N_Task_Definition);
1583 end Has_Storage_Size_Pragma;
1585 function Has_Wide_Character
1586 (N : Node_Id) return Boolean is
1588 pragma Assert (False
1589 or else NT (N).Nkind = N_String_Literal);
1591 end Has_Wide_Character;
1593 function Has_Wide_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_Wide_Character;
1601 function Header_Size_Added
1602 (N : Node_Id) return Boolean is
1604 pragma Assert (False
1605 or else NT (N).Nkind = N_Attribute_Reference);
1607 end Header_Size_Added;
1609 function Hidden_By_Use_Clause
1610 (N : Node_Id) return Elist_Id is
1612 pragma Assert (False
1613 or else NT (N).Nkind = N_Use_Package_Clause
1614 or else NT (N).Nkind = N_Use_Type_Clause);
1616 end Hidden_By_Use_Clause;
1619 (N : Node_Id) return Node_Id is
1621 pragma Assert (False
1622 or else NT (N).Nkind = N_Range
1623 or else NT (N).Nkind = N_Real_Range_Specification
1624 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1629 (N : Node_Id) return Node_Id is
1631 pragma Assert (False
1632 or else NT (N).Nkind = N_Aspect_Specification
1633 or else NT (N).Nkind = N_At_Clause
1634 or else NT (N).Nkind = N_Block_Statement
1635 or else NT (N).Nkind = N_Designator
1636 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1637 or else NT (N).Nkind = N_Label
1638 or else NT (N).Nkind = N_Loop_Statement
1639 or else NT (N).Nkind = N_Record_Representation_Clause);
1643 function Implicit_With
1644 (N : Node_Id) return Boolean is
1646 pragma Assert (False
1647 or else NT (N).Nkind = N_With_Clause);
1651 function Implicit_With_From_Instantiation
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_With_Clause);
1657 end Implicit_With_From_Instantiation;
1659 function Interface_List
1660 (N : Node_Id) return List_Id is
1662 pragma Assert (False
1663 or else NT (N).Nkind = N_Derived_Type_Definition
1664 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1665 or else NT (N).Nkind = N_Private_Extension_Declaration
1666 or else NT (N).Nkind = N_Protected_Type_Declaration
1667 or else NT (N).Nkind = N_Record_Definition
1668 or else NT (N).Nkind = N_Single_Protected_Declaration
1669 or else NT (N).Nkind = N_Single_Task_Declaration
1670 or else NT (N).Nkind = N_Task_Type_Declaration);
1674 function Interface_Present
1675 (N : Node_Id) return Boolean is
1677 pragma Assert (False
1678 or else NT (N).Nkind = N_Derived_Type_Definition
1679 or else NT (N).Nkind = N_Record_Definition);
1681 end Interface_Present;
1683 function Import_Interface_Present
1684 (N : Node_Id) return Boolean is
1686 pragma Assert (False
1687 or else NT (N).Nkind = N_Pragma);
1689 end Import_Interface_Present;
1692 (N : Node_Id) return Boolean is
1694 pragma Assert (False
1695 or else NT (N).Nkind = N_Formal_Object_Declaration
1696 or else NT (N).Nkind = N_Parameter_Specification);
1700 function Includes_Infinities
1701 (N : Node_Id) return Boolean is
1703 pragma Assert (False
1704 or else NT (N).Nkind = N_Range);
1706 end Includes_Infinities;
1708 function Inherited_Discriminant
1709 (N : Node_Id) return Boolean is
1711 pragma Assert (False
1712 or else NT (N).Nkind = N_Component_Association);
1714 end Inherited_Discriminant;
1716 function Instance_Spec
1717 (N : Node_Id) return Node_Id is
1719 pragma Assert (False
1720 or else NT (N).Nkind = N_Formal_Package_Declaration
1721 or else NT (N).Nkind = N_Function_Instantiation
1722 or else NT (N).Nkind = N_Package_Instantiation
1723 or else NT (N).Nkind = N_Procedure_Instantiation);
1728 (N : Node_Id) return Uint is
1730 pragma Assert (False
1731 or else NT (N).Nkind = N_Integer_Literal);
1735 function Is_Accessibility_Actual
1736 (N : Node_Id) return Boolean is
1738 pragma Assert (False
1739 or else NT (N).Nkind = N_Parameter_Association);
1741 end Is_Accessibility_Actual;
1743 function Is_Asynchronous_Call_Block
1744 (N : Node_Id) return Boolean is
1746 pragma Assert (False
1747 or else NT (N).Nkind = N_Block_Statement);
1749 end Is_Asynchronous_Call_Block;
1751 function Is_Boolean_Aspect
1752 (N : Node_Id) return Boolean is
1754 pragma Assert (False
1755 or else NT (N).Nkind = N_Aspect_Specification);
1757 end Is_Boolean_Aspect;
1760 (N : Node_Id) return Boolean is
1762 pragma Assert (False
1763 or else NT (N).Nkind = N_Aspect_Specification
1764 or else NT (N).Nkind = N_Pragma);
1768 function Is_Component_Left_Opnd
1769 (N : Node_Id) return Boolean is
1771 pragma Assert (False
1772 or else NT (N).Nkind = N_Op_Concat);
1774 end Is_Component_Left_Opnd;
1776 function Is_Component_Right_Opnd
1777 (N : Node_Id) return Boolean is
1779 pragma Assert (False
1780 or else NT (N).Nkind = N_Op_Concat);
1782 end Is_Component_Right_Opnd;
1784 function Is_Controlling_Actual
1785 (N : Node_Id) return Boolean is
1787 pragma Assert (False
1788 or else NT (N).Nkind in N_Subexpr);
1790 end Is_Controlling_Actual;
1792 function Is_Disabled
1793 (N : Node_Id) return Boolean is
1795 pragma Assert (False
1796 or else NT (N).Nkind = N_Aspect_Specification
1797 or else NT (N).Nkind = N_Pragma);
1801 function Is_Delayed_Aspect
1802 (N : Node_Id) return Boolean is
1804 pragma Assert (False
1805 or else NT (N).Nkind = N_Aspect_Specification
1806 or else NT (N).Nkind = N_Attribute_Definition_Clause
1807 or else NT (N).Nkind = N_Pragma);
1809 end Is_Delayed_Aspect;
1811 function Is_Dynamic_Coextension
1812 (N : Node_Id) return Boolean is
1814 pragma Assert (False
1815 or else NT (N).Nkind = N_Allocator);
1817 end Is_Dynamic_Coextension;
1820 (N : Node_Id) return Boolean is
1822 pragma Assert (False
1823 or else NT (N).Nkind = N_If_Expression);
1827 function Is_Entry_Barrier_Function
1828 (N : Node_Id) return Boolean is
1830 pragma Assert (False
1831 or else NT (N).Nkind = N_Subprogram_Body);
1833 end Is_Entry_Barrier_Function;
1835 function Is_Expanded_Build_In_Place_Call
1836 (N : Node_Id) return Boolean is
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_Function_Call);
1841 end Is_Expanded_Build_In_Place_Call;
1843 function Is_Finalization_Wrapper
1844 (N : Node_Id) return Boolean is
1846 pragma Assert (False
1847 or else NT (N).Nkind = N_Block_Statement);
1849 end Is_Finalization_Wrapper;
1851 function Is_Folded_In_Parser
1852 (N : Node_Id) return Boolean is
1854 pragma Assert (False
1855 or else NT (N).Nkind = N_String_Literal);
1857 end Is_Folded_In_Parser;
1860 (N : Node_Id) return Boolean is
1862 pragma Assert (False
1863 or else NT (N).Nkind = N_Aspect_Specification
1864 or else NT (N).Nkind = N_Pragma);
1868 function Is_In_Discriminant_Check
1869 (N : Node_Id) return Boolean is
1871 pragma Assert (False
1872 or else NT (N).Nkind = N_Selected_Component);
1874 end Is_In_Discriminant_Check;
1876 function Is_Machine_Number
1877 (N : Node_Id) return Boolean is
1879 pragma Assert (False
1880 or else NT (N).Nkind = N_Real_Literal);
1882 end Is_Machine_Number;
1884 function Is_Null_Loop
1885 (N : Node_Id) return Boolean is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Loop_Statement);
1892 function Is_Overloaded
1893 (N : Node_Id) return Boolean is
1895 pragma Assert (False
1896 or else NT (N).Nkind in N_Subexpr);
1900 function Is_Power_Of_2_For_Shift
1901 (N : Node_Id) return Boolean is
1903 pragma Assert (False
1904 or else NT (N).Nkind = N_Op_Expon);
1906 end Is_Power_Of_2_For_Shift;
1908 function Is_Prefixed_Call
1909 (N : Node_Id) return Boolean is
1911 pragma Assert (False
1912 or else NT (N).Nkind = N_Selected_Component);
1914 end Is_Prefixed_Call;
1916 function Is_Protected_Subprogram_Body
1917 (N : Node_Id) return Boolean is
1919 pragma Assert (False
1920 or else NT (N).Nkind = N_Subprogram_Body);
1922 end Is_Protected_Subprogram_Body;
1924 function Is_Static_Coextension
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Allocator);
1930 end Is_Static_Coextension;
1932 function Is_Static_Expression
1933 (N : Node_Id) return Boolean is
1935 pragma Assert (False
1936 or else NT (N).Nkind in N_Subexpr);
1938 end Is_Static_Expression;
1940 function Is_Subprogram_Descriptor
1941 (N : Node_Id) return Boolean is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_Object_Declaration);
1946 end Is_Subprogram_Descriptor;
1948 function Is_Task_Allocation_Block
1949 (N : Node_Id) return Boolean is
1951 pragma Assert (False
1952 or else NT (N).Nkind = N_Block_Statement);
1954 end Is_Task_Allocation_Block;
1956 function Is_Task_Master
1957 (N : Node_Id) return Boolean is
1959 pragma Assert (False
1960 or else NT (N).Nkind = N_Block_Statement
1961 or else NT (N).Nkind = N_Subprogram_Body
1962 or else NT (N).Nkind = N_Task_Body);
1966 function Iteration_Scheme
1967 (N : Node_Id) return Node_Id is
1969 pragma Assert (False
1970 or else NT (N).Nkind = N_Loop_Statement);
1972 end Iteration_Scheme;
1974 function Iterator_Specification
1975 (N : Node_Id) return Node_Id is
1977 pragma Assert (False
1978 or else NT (N).Nkind = N_Iteration_Scheme
1979 or else NT (N).Nkind = N_Quantified_Expression);
1981 end Iterator_Specification;
1984 (N : Node_Id) return Node_Id is
1986 pragma Assert (False
1987 or else NT (N).Nkind = N_Itype_Reference);
1991 function Kill_Range_Check
1992 (N : Node_Id) return Boolean is
1994 pragma Assert (False
1995 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1997 end Kill_Range_Check;
1999 function Label_Construct
2000 (N : Node_Id) return Node_Id is
2002 pragma Assert (False
2003 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2005 end Label_Construct;
2008 (N : Node_Id) return Node_Id is
2010 pragma Assert (False
2011 or else NT (N).Nkind = N_Component_Clause);
2016 (N : Node_Id) return Boolean is
2018 pragma Assert (False
2019 or else NT (N).Nkind = N_With_Clause);
2024 (N : Node_Id) return Node_Id is
2026 pragma Assert (False
2027 or else NT (N).Nkind = N_And_Then
2028 or else NT (N).Nkind = N_In
2029 or else NT (N).Nkind = N_Not_In
2030 or else NT (N).Nkind = N_Or_Else
2031 or else NT (N).Nkind in N_Binary_Op);
2035 function Library_Unit
2036 (N : Node_Id) return Node_Id is
2038 pragma Assert (False
2039 or else NT (N).Nkind = N_Compilation_Unit
2040 or else NT (N).Nkind = N_Package_Body_Stub
2041 or else NT (N).Nkind = N_Protected_Body_Stub
2042 or else NT (N).Nkind = N_Subprogram_Body_Stub
2043 or else NT (N).Nkind = N_Task_Body_Stub
2044 or else NT (N).Nkind = N_With_Clause);
2048 function Limited_View_Installed
2049 (N : Node_Id) return Boolean is
2051 pragma Assert (False
2052 or else NT (N).Nkind = N_Package_Specification
2053 or else NT (N).Nkind = N_With_Clause);
2055 end Limited_View_Installed;
2057 function Limited_Present
2058 (N : Node_Id) return Boolean is
2060 pragma Assert (False
2061 or else NT (N).Nkind = N_Derived_Type_Definition
2062 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2063 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2064 or else NT (N).Nkind = N_Private_Extension_Declaration
2065 or else NT (N).Nkind = N_Private_Type_Declaration
2066 or else NT (N).Nkind = N_Record_Definition
2067 or else NT (N).Nkind = N_With_Clause);
2069 end Limited_Present;
2072 (N : Node_Id) return List_Id is
2074 pragma Assert (False
2075 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2079 function Local_Raise_Not_OK
2080 (N : Node_Id) return Boolean is
2082 pragma Assert (False
2083 or else NT (N).Nkind = N_Exception_Handler);
2085 end Local_Raise_Not_OK;
2087 function Local_Raise_Statements
2088 (N : Node_Id) return Elist_Id is
2090 pragma Assert (False
2091 or else NT (N).Nkind = N_Exception_Handler);
2093 end Local_Raise_Statements;
2095 function Loop_Actions
2096 (N : Node_Id) return List_Id is
2098 pragma Assert (False
2099 or else NT (N).Nkind = N_Component_Association);
2103 function Loop_Parameter_Specification
2104 (N : Node_Id) return Node_Id is
2106 pragma Assert (False
2107 or else NT (N).Nkind = N_Iteration_Scheme
2108 or else NT (N).Nkind = N_Quantified_Expression);
2110 end Loop_Parameter_Specification;
2113 (N : Node_Id) return Node_Id is
2115 pragma Assert (False
2116 or else NT (N).Nkind = N_Range
2117 or else NT (N).Nkind = N_Real_Range_Specification
2118 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2123 (N : Node_Id) return Node_Id is
2125 pragma Assert (False
2126 or else NT (N).Nkind = N_Record_Representation_Clause);
2131 (N : Node_Id) return Boolean is
2133 pragma Assert (False
2134 or else NT (N).Nkind = N_Component_Declaration
2135 or else NT (N).Nkind = N_Discriminant_Specification
2136 or else NT (N).Nkind = N_Exception_Declaration
2137 or else NT (N).Nkind = N_Formal_Object_Declaration
2138 or else NT (N).Nkind = N_Number_Declaration
2139 or else NT (N).Nkind = N_Object_Declaration
2140 or else NT (N).Nkind = N_Parameter_Specification);
2144 function Must_Be_Byte_Aligned
2145 (N : Node_Id) return Boolean is
2147 pragma Assert (False
2148 or else NT (N).Nkind = N_Attribute_Reference);
2150 end Must_Be_Byte_Aligned;
2152 function Must_Not_Freeze
2153 (N : Node_Id) return Boolean is
2155 pragma Assert (False
2156 or else NT (N).Nkind = N_Subtype_Indication
2157 or else NT (N).Nkind in N_Subexpr);
2159 end Must_Not_Freeze;
2161 function Must_Not_Override
2162 (N : Node_Id) return Boolean is
2164 pragma Assert (False
2165 or else NT (N).Nkind = N_Entry_Declaration
2166 or else NT (N).Nkind = N_Function_Instantiation
2167 or else NT (N).Nkind = N_Function_Specification
2168 or else NT (N).Nkind = N_Procedure_Instantiation
2169 or else NT (N).Nkind = N_Procedure_Specification);
2171 end Must_Not_Override;
2173 function Must_Override
2174 (N : Node_Id) return Boolean is
2176 pragma Assert (False
2177 or else NT (N).Nkind = N_Entry_Declaration
2178 or else NT (N).Nkind = N_Function_Instantiation
2179 or else NT (N).Nkind = N_Function_Specification
2180 or else NT (N).Nkind = N_Procedure_Instantiation
2181 or else NT (N).Nkind = N_Procedure_Specification);
2186 (N : Node_Id) return Node_Id is
2188 pragma Assert (False
2189 or else NT (N).Nkind = N_Assignment_Statement
2190 or else NT (N).Nkind = N_Attribute_Definition_Clause
2191 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2192 or else NT (N).Nkind = N_Designator
2193 or else NT (N).Nkind = N_Entry_Call_Statement
2194 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2195 or else NT (N).Nkind = N_Exit_Statement
2196 or else NT (N).Nkind = N_Formal_Package_Declaration
2197 or else NT (N).Nkind = N_Function_Call
2198 or else NT (N).Nkind = N_Function_Instantiation
2199 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2200 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2201 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2202 or else NT (N).Nkind = N_Goto_Statement
2203 or else NT (N).Nkind = N_Iterator_Specification
2204 or else NT (N).Nkind = N_Object_Renaming_Declaration
2205 or else NT (N).Nkind = N_Package_Instantiation
2206 or else NT (N).Nkind = N_Package_Renaming_Declaration
2207 or else NT (N).Nkind = N_Procedure_Call_Statement
2208 or else NT (N).Nkind = N_Procedure_Instantiation
2209 or else NT (N).Nkind = N_Raise_Expression
2210 or else NT (N).Nkind = N_Raise_Statement
2211 or else NT (N).Nkind = N_Requeue_Statement
2212 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2213 or else NT (N).Nkind = N_Subunit
2214 or else NT (N).Nkind = N_Variant_Part
2215 or else NT (N).Nkind = N_With_Clause);
2220 (N : Node_Id) return List_Id is
2222 pragma Assert (False
2223 or else NT (N).Nkind = N_Abort_Statement
2224 or else NT (N).Nkind = N_Use_Package_Clause);
2228 function Next_Entity
2229 (N : Node_Id) return Node_Id is
2231 pragma Assert (False
2232 or else NT (N).Nkind = N_Defining_Character_Literal
2233 or else NT (N).Nkind = N_Defining_Identifier
2234 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2238 function Next_Exit_Statement
2239 (N : Node_Id) return Node_Id is
2241 pragma Assert (False
2242 or else NT (N).Nkind = N_Exit_Statement);
2244 end Next_Exit_Statement;
2246 function Next_Implicit_With
2247 (N : Node_Id) return Node_Id is
2249 pragma Assert (False
2250 or else NT (N).Nkind = N_With_Clause);
2252 end Next_Implicit_With;
2254 function Next_Named_Actual
2255 (N : Node_Id) return Node_Id is
2257 pragma Assert (False
2258 or else NT (N).Nkind = N_Parameter_Association);
2260 end Next_Named_Actual;
2262 function Next_Pragma
2263 (N : Node_Id) return Node_Id is
2265 pragma Assert (False
2266 or else NT (N).Nkind = N_Pragma);
2270 function Next_Rep_Item
2271 (N : Node_Id) return Node_Id is
2273 pragma Assert (False
2274 or else NT (N).Nkind = N_Aspect_Specification
2275 or else NT (N).Nkind = N_Attribute_Definition_Clause
2276 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2277 or else NT (N).Nkind = N_Pragma
2278 or else NT (N).Nkind = N_Record_Representation_Clause);
2282 function Next_Use_Clause
2283 (N : Node_Id) return Node_Id is
2285 pragma Assert (False
2286 or else NT (N).Nkind = N_Use_Package_Clause
2287 or else NT (N).Nkind = N_Use_Type_Clause);
2289 end Next_Use_Clause;
2291 function No_Ctrl_Actions
2292 (N : Node_Id) return Boolean is
2294 pragma Assert (False
2295 or else NT (N).Nkind = N_Assignment_Statement);
2297 end No_Ctrl_Actions;
2299 function No_Elaboration_Check
2300 (N : Node_Id) return Boolean is
2302 pragma Assert (False
2303 or else NT (N).Nkind = N_Function_Call
2304 or else NT (N).Nkind = N_Procedure_Call_Statement);
2306 end No_Elaboration_Check;
2308 function No_Entities_Ref_In_Spec
2309 (N : Node_Id) return Boolean is
2311 pragma Assert (False
2312 or else NT (N).Nkind = N_With_Clause);
2314 end No_Entities_Ref_In_Spec;
2316 function No_Initialization
2317 (N : Node_Id) return Boolean is
2319 pragma Assert (False
2320 or else NT (N).Nkind = N_Allocator
2321 or else NT (N).Nkind = N_Object_Declaration);
2323 end No_Initialization;
2325 function No_Minimize_Eliminate
2326 (N : Node_Id) return Boolean is
2328 pragma Assert (False
2329 or else NT (N).Nkind = N_In
2330 or else NT (N).Nkind = N_Not_In);
2332 end No_Minimize_Eliminate;
2334 function No_Truncation
2335 (N : Node_Id) return Boolean is
2337 pragma Assert (False
2338 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2342 function Non_Aliased_Prefix
2343 (N : Node_Id) return Boolean is
2345 pragma Assert (False
2346 or else NT (N).Nkind = N_Attribute_Reference);
2348 end Non_Aliased_Prefix;
2350 function Null_Present
2351 (N : Node_Id) return Boolean is
2353 pragma Assert (False
2354 or else NT (N).Nkind = N_Component_List
2355 or else NT (N).Nkind = N_Procedure_Specification
2356 or else NT (N).Nkind = N_Record_Definition);
2360 function Null_Exclusion_Present
2361 (N : Node_Id) return Boolean is
2363 pragma Assert (False
2364 or else NT (N).Nkind = N_Access_Definition
2365 or else NT (N).Nkind = N_Access_Function_Definition
2366 or else NT (N).Nkind = N_Access_Procedure_Definition
2367 or else NT (N).Nkind = N_Access_To_Object_Definition
2368 or else NT (N).Nkind = N_Allocator
2369 or else NT (N).Nkind = N_Component_Definition
2370 or else NT (N).Nkind = N_Derived_Type_Definition
2371 or else NT (N).Nkind = N_Discriminant_Specification
2372 or else NT (N).Nkind = N_Formal_Object_Declaration
2373 or else NT (N).Nkind = N_Function_Specification
2374 or else NT (N).Nkind = N_Object_Declaration
2375 or else NT (N).Nkind = N_Object_Renaming_Declaration
2376 or else NT (N).Nkind = N_Parameter_Specification
2377 or else NT (N).Nkind = N_Subtype_Declaration);
2379 end Null_Exclusion_Present;
2381 function Null_Exclusion_In_Return_Present
2382 (N : Node_Id) return Boolean is
2384 pragma Assert (False
2385 or else NT (N).Nkind = N_Access_Function_Definition);
2387 end Null_Exclusion_In_Return_Present;
2389 function Null_Record_Present
2390 (N : Node_Id) return Boolean is
2392 pragma Assert (False
2393 or else NT (N).Nkind = N_Aggregate
2394 or else NT (N).Nkind = N_Extension_Aggregate);
2396 end Null_Record_Present;
2398 function Object_Definition
2399 (N : Node_Id) return Node_Id is
2401 pragma Assert (False
2402 or else NT (N).Nkind = N_Object_Declaration);
2404 end Object_Definition;
2407 (N : Node_Id) return Boolean is
2409 pragma Assert (False
2410 or else NT (N).Nkind = N_Iterator_Specification);
2414 function Original_Discriminant
2415 (N : Node_Id) return Node_Id is
2417 pragma Assert (False
2418 or else NT (N).Nkind = N_Identifier);
2420 end Original_Discriminant;
2422 function Original_Entity
2423 (N : Node_Id) return Entity_Id is
2425 pragma Assert (False
2426 or else NT (N).Nkind = N_Integer_Literal
2427 or else NT (N).Nkind = N_Real_Literal);
2429 end Original_Entity;
2431 function Others_Discrete_Choices
2432 (N : Node_Id) return List_Id is
2434 pragma Assert (False
2435 or else NT (N).Nkind = N_Others_Choice);
2437 end Others_Discrete_Choices;
2439 function Out_Present
2440 (N : Node_Id) return Boolean is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Formal_Object_Declaration
2444 or else NT (N).Nkind = N_Parameter_Specification);
2448 function Parameter_Associations
2449 (N : Node_Id) return List_Id is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Entry_Call_Statement
2453 or else NT (N).Nkind = N_Function_Call
2454 or else NT (N).Nkind = N_Procedure_Call_Statement);
2456 end Parameter_Associations;
2458 function Parameter_List_Truncated
2459 (N : Node_Id) return Boolean is
2461 pragma Assert (False
2462 or else NT (N).Nkind = N_Function_Call
2463 or else NT (N).Nkind = N_Procedure_Call_Statement);
2465 end Parameter_List_Truncated;
2467 function Parameter_Specifications
2468 (N : Node_Id) return List_Id is
2470 pragma Assert (False
2471 or else NT (N).Nkind = N_Accept_Statement
2472 or else NT (N).Nkind = N_Access_Function_Definition
2473 or else NT (N).Nkind = N_Access_Procedure_Definition
2474 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2475 or else NT (N).Nkind = N_Entry_Declaration
2476 or else NT (N).Nkind = N_Function_Specification
2477 or else NT (N).Nkind = N_Procedure_Specification);
2479 end Parameter_Specifications;
2481 function Parameter_Type
2482 (N : Node_Id) return Node_Id is
2484 pragma Assert (False
2485 or else NT (N).Nkind = N_Parameter_Specification);
2489 function Parent_Spec
2490 (N : Node_Id) return Node_Id is
2492 pragma Assert (False
2493 or else NT (N).Nkind = N_Function_Instantiation
2494 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2495 or else NT (N).Nkind = N_Generic_Package_Declaration
2496 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2497 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2498 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2499 or else NT (N).Nkind = N_Package_Declaration
2500 or else NT (N).Nkind = N_Package_Instantiation
2501 or else NT (N).Nkind = N_Package_Renaming_Declaration
2502 or else NT (N).Nkind = N_Procedure_Instantiation
2503 or else NT (N).Nkind = N_Subprogram_Declaration
2504 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2509 (N : Node_Id) return Node_Id is
2511 pragma Assert (False
2512 or else NT (N).Nkind = N_Component_Clause);
2516 function Pragma_Argument_Associations
2517 (N : Node_Id) return List_Id is
2519 pragma Assert (False
2520 or else NT (N).Nkind = N_Pragma);
2522 end Pragma_Argument_Associations;
2524 function Pragma_Identifier
2525 (N : Node_Id) return Node_Id is
2527 pragma Assert (False
2528 or else NT (N).Nkind = N_Pragma);
2530 end Pragma_Identifier;
2532 function Pragmas_After
2533 (N : Node_Id) return List_Id is
2535 pragma Assert (False
2536 or else NT (N).Nkind = N_Compilation_Unit_Aux
2537 or else NT (N).Nkind = N_Terminate_Alternative);
2541 function Pragmas_Before
2542 (N : Node_Id) return List_Id is
2544 pragma Assert (False
2545 or else NT (N).Nkind = N_Accept_Alternative
2546 or else NT (N).Nkind = N_Delay_Alternative
2547 or else NT (N).Nkind = N_Entry_Call_Alternative
2548 or else NT (N).Nkind = N_Mod_Clause
2549 or else NT (N).Nkind = N_Terminate_Alternative
2550 or else NT (N).Nkind = N_Triggering_Alternative);
2554 function Pre_Post_Conditions
2555 (N : Node_Id) return Node_Id is
2557 pragma Assert (False
2558 or else NT (N).Nkind = N_Contract);
2560 end Pre_Post_Conditions;
2563 (N : Node_Id) return Node_Id is
2565 pragma Assert (False
2566 or else NT (N).Nkind = N_Attribute_Reference
2567 or else NT (N).Nkind = N_Expanded_Name
2568 or else NT (N).Nkind = N_Explicit_Dereference
2569 or else NT (N).Nkind = N_Indexed_Component
2570 or else NT (N).Nkind = N_Reference
2571 or else NT (N).Nkind = N_Selected_Component
2572 or else NT (N).Nkind = N_Slice);
2576 function Premature_Use
2577 (N : Node_Id) return Node_Id is
2579 pragma Assert (False
2580 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2584 function Present_Expr
2585 (N : Node_Id) return Uint is
2587 pragma Assert (False
2588 or else NT (N).Nkind = N_Variant);
2593 (N : Node_Id) return Boolean is
2595 pragma Assert (False
2596 or else NT (N).Nkind = N_Component_Declaration
2597 or else NT (N).Nkind = N_Discriminant_Specification
2598 or else NT (N).Nkind = N_Exception_Declaration
2599 or else NT (N).Nkind = N_Formal_Object_Declaration
2600 or else NT (N).Nkind = N_Number_Declaration
2601 or else NT (N).Nkind = N_Object_Declaration
2602 or else NT (N).Nkind = N_Parameter_Specification);
2606 function Print_In_Hex
2607 (N : Node_Id) return Boolean is
2609 pragma Assert (False
2610 or else NT (N).Nkind = N_Integer_Literal);
2614 function Private_Declarations
2615 (N : Node_Id) return List_Id is
2617 pragma Assert (False
2618 or else NT (N).Nkind = N_Package_Specification
2619 or else NT (N).Nkind = N_Protected_Definition
2620 or else NT (N).Nkind = N_Task_Definition);
2622 end Private_Declarations;
2624 function Private_Present
2625 (N : Node_Id) return Boolean is
2627 pragma Assert (False
2628 or else NT (N).Nkind = N_Compilation_Unit
2629 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2630 or else NT (N).Nkind = N_With_Clause);
2632 end Private_Present;
2634 function Procedure_To_Call
2635 (N : Node_Id) return Node_Id is
2637 pragma Assert (False
2638 or else NT (N).Nkind = N_Allocator
2639 or else NT (N).Nkind = N_Extended_Return_Statement
2640 or else NT (N).Nkind = N_Free_Statement
2641 or else NT (N).Nkind = N_Simple_Return_Statement);
2643 end Procedure_To_Call;
2645 function Proper_Body
2646 (N : Node_Id) return Node_Id is
2648 pragma Assert (False
2649 or else NT (N).Nkind = N_Subunit);
2653 function Protected_Definition
2654 (N : Node_Id) return Node_Id is
2656 pragma Assert (False
2657 or else NT (N).Nkind = N_Protected_Type_Declaration
2658 or else NT (N).Nkind = N_Single_Protected_Declaration);
2660 end Protected_Definition;
2662 function Protected_Present
2663 (N : Node_Id) return Boolean is
2665 pragma Assert (False
2666 or else NT (N).Nkind = N_Access_Function_Definition
2667 or else NT (N).Nkind = N_Access_Procedure_Definition
2668 or else NT (N).Nkind = N_Derived_Type_Definition
2669 or else NT (N).Nkind = N_Record_Definition);
2671 end Protected_Present;
2673 function Raises_Constraint_Error
2674 (N : Node_Id) return Boolean is
2676 pragma Assert (False
2677 or else NT (N).Nkind in N_Subexpr);
2679 end Raises_Constraint_Error;
2681 function Range_Constraint
2682 (N : Node_Id) return Node_Id is
2684 pragma Assert (False
2685 or else NT (N).Nkind = N_Delta_Constraint
2686 or else NT (N).Nkind = N_Digits_Constraint);
2688 end Range_Constraint;
2690 function Range_Expression
2691 (N : Node_Id) return Node_Id is
2693 pragma Assert (False
2694 or else NT (N).Nkind = N_Range_Constraint);
2696 end Range_Expression;
2698 function Real_Range_Specification
2699 (N : Node_Id) return Node_Id is
2701 pragma Assert (False
2702 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2703 or else NT (N).Nkind = N_Floating_Point_Definition
2704 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2706 end Real_Range_Specification;
2709 (N : Node_Id) return Ureal is
2711 pragma Assert (False
2712 or else NT (N).Nkind = N_Real_Literal);
2717 (N : Node_Id) return Uint is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_Raise_Constraint_Error
2721 or else NT (N).Nkind = N_Raise_Program_Error
2722 or else NT (N).Nkind = N_Raise_Storage_Error);
2726 function Record_Extension_Part
2727 (N : Node_Id) return Node_Id is
2729 pragma Assert (False
2730 or else NT (N).Nkind = N_Derived_Type_Definition);
2732 end Record_Extension_Part;
2734 function Redundant_Use
2735 (N : Node_Id) return Boolean is
2737 pragma Assert (False
2738 or else NT (N).Nkind = N_Attribute_Reference
2739 or else NT (N).Nkind = N_Expanded_Name
2740 or else NT (N).Nkind = N_Identifier);
2744 function Renaming_Exception
2745 (N : Node_Id) return Node_Id is
2747 pragma Assert (False
2748 or else NT (N).Nkind = N_Exception_Declaration);
2750 end Renaming_Exception;
2752 function Result_Definition
2753 (N : Node_Id) return Node_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_Access_Function_Definition
2757 or else NT (N).Nkind = N_Function_Specification);
2759 end Result_Definition;
2761 function Return_Object_Declarations
2762 (N : Node_Id) return List_Id is
2764 pragma Assert (False
2765 or else NT (N).Nkind = N_Extended_Return_Statement);
2767 end Return_Object_Declarations;
2769 function Return_Statement_Entity
2770 (N : Node_Id) return Node_Id is
2772 pragma Assert (False
2773 or else NT (N).Nkind = N_Extended_Return_Statement
2774 or else NT (N).Nkind = N_Simple_Return_Statement);
2776 end Return_Statement_Entity;
2778 function Reverse_Present
2779 (N : Node_Id) return Boolean is
2781 pragma Assert (False
2782 or else NT (N).Nkind = N_Iterator_Specification
2783 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2785 end Reverse_Present;
2788 (N : Node_Id) return Node_Id is
2790 pragma Assert (False
2791 or else NT (N).Nkind in N_Op
2792 or else NT (N).Nkind = N_And_Then
2793 or else NT (N).Nkind = N_In
2794 or else NT (N).Nkind = N_Not_In
2795 or else NT (N).Nkind = N_Or_Else);
2799 function Rounded_Result
2800 (N : Node_Id) return Boolean is
2802 pragma Assert (False
2803 or else NT (N).Nkind = N_Op_Divide
2804 or else NT (N).Nkind = N_Op_Multiply
2805 or else NT (N).Nkind = N_Type_Conversion);
2809 function SCIL_Controlling_Tag
2810 (N : Node_Id) return Node_Id is
2812 pragma Assert (False
2813 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2815 end SCIL_Controlling_Tag;
2817 function SCIL_Entity
2818 (N : Node_Id) return Node_Id is
2820 pragma Assert (False
2821 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2822 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2823 or else NT (N).Nkind = N_SCIL_Membership_Test);
2827 function SCIL_Tag_Value
2828 (N : Node_Id) return Node_Id is
2830 pragma Assert (False
2831 or else NT (N).Nkind = N_SCIL_Membership_Test);
2835 function SCIL_Target_Prim
2836 (N : Node_Id) return Node_Id is
2838 pragma Assert (False
2839 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2841 end SCIL_Target_Prim;
2844 (N : Node_Id) return Node_Id is
2846 pragma Assert (False
2847 or else NT (N).Nkind = N_Defining_Character_Literal
2848 or else NT (N).Nkind = N_Defining_Identifier
2849 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2853 function Select_Alternatives
2854 (N : Node_Id) return List_Id is
2856 pragma Assert (False
2857 or else NT (N).Nkind = N_Selective_Accept);
2859 end Select_Alternatives;
2861 function Selector_Name
2862 (N : Node_Id) return Node_Id is
2864 pragma Assert (False
2865 or else NT (N).Nkind = N_Expanded_Name
2866 or else NT (N).Nkind = N_Generic_Association
2867 or else NT (N).Nkind = N_Parameter_Association
2868 or else NT (N).Nkind = N_Selected_Component);
2872 function Selector_Names
2873 (N : Node_Id) return List_Id is
2875 pragma Assert (False
2876 or else NT (N).Nkind = N_Discriminant_Association);
2880 function Shift_Count_OK
2881 (N : Node_Id) return Boolean is
2883 pragma Assert (False
2884 or else NT (N).Nkind = N_Op_Rotate_Left
2885 or else NT (N).Nkind = N_Op_Rotate_Right
2886 or else NT (N).Nkind = N_Op_Shift_Left
2887 or else NT (N).Nkind = N_Op_Shift_Right
2888 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2892 function Source_Type
2893 (N : Node_Id) return Entity_Id is
2895 pragma Assert (False
2896 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2900 function Specification
2901 (N : Node_Id) return Node_Id is
2903 pragma Assert (False
2904 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2905 or else NT (N).Nkind = N_Expression_Function
2906 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2907 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2908 or else NT (N).Nkind = N_Generic_Package_Declaration
2909 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2910 or else NT (N).Nkind = N_Package_Declaration
2911 or else NT (N).Nkind = N_Subprogram_Body
2912 or else NT (N).Nkind = N_Subprogram_Body_Stub
2913 or else NT (N).Nkind = N_Subprogram_Declaration
2914 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2919 (N : Node_Id) return Boolean is
2921 pragma Assert (False
2922 or else NT (N).Nkind = N_Aspect_Specification
2923 or else NT (N).Nkind = N_Pragma);
2928 (N : Node_Id) return List_Id is
2930 pragma Assert (False
2931 or else NT (N).Nkind = N_Abortable_Part
2932 or else NT (N).Nkind = N_Accept_Alternative
2933 or else NT (N).Nkind = N_Case_Statement_Alternative
2934 or else NT (N).Nkind = N_Delay_Alternative
2935 or else NT (N).Nkind = N_Entry_Call_Alternative
2936 or else NT (N).Nkind = N_Exception_Handler
2937 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2938 or else NT (N).Nkind = N_Loop_Statement
2939 or else NT (N).Nkind = N_Triggering_Alternative);
2943 function Storage_Pool
2944 (N : Node_Id) return Node_Id is
2946 pragma Assert (False
2947 or else NT (N).Nkind = N_Allocator
2948 or else NT (N).Nkind = N_Extended_Return_Statement
2949 or else NT (N).Nkind = N_Free_Statement
2950 or else NT (N).Nkind = N_Simple_Return_Statement);
2954 function Subpool_Handle_Name
2955 (N : Node_Id) return Node_Id is
2957 pragma Assert (False
2958 or else NT (N).Nkind = N_Allocator);
2960 end Subpool_Handle_Name;
2963 (N : Node_Id) return String_Id is
2965 pragma Assert (False
2966 or else NT (N).Nkind = N_Operator_Symbol
2967 or else NT (N).Nkind = N_String_Literal);
2971 function Subtype_Indication
2972 (N : Node_Id) return Node_Id is
2974 pragma Assert (False
2975 or else NT (N).Nkind = N_Access_To_Object_Definition
2976 or else NT (N).Nkind = N_Component_Definition
2977 or else NT (N).Nkind = N_Derived_Type_Definition
2978 or else NT (N).Nkind = N_Iterator_Specification
2979 or else NT (N).Nkind = N_Private_Extension_Declaration
2980 or else NT (N).Nkind = N_Subtype_Declaration);
2982 end Subtype_Indication;
2984 function Suppress_Assignment_Checks
2985 (N : Node_Id) return Boolean is
2987 pragma Assert (False
2988 or else NT (N).Nkind = N_Assignment_Statement
2989 or else NT (N).Nkind = N_Object_Declaration);
2991 end Suppress_Assignment_Checks;
2993 function Suppress_Loop_Warnings
2994 (N : Node_Id) return Boolean is
2996 pragma Assert (False
2997 or else NT (N).Nkind = N_Loop_Statement);
2999 end Suppress_Loop_Warnings;
3001 function Subtype_Mark
3002 (N : Node_Id) return Node_Id is
3004 pragma Assert (False
3005 or else NT (N).Nkind = N_Access_Definition
3006 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3007 or else NT (N).Nkind = N_Formal_Object_Declaration
3008 or else NT (N).Nkind = N_Object_Renaming_Declaration
3009 or else NT (N).Nkind = N_Qualified_Expression
3010 or else NT (N).Nkind = N_Subtype_Indication
3011 or else NT (N).Nkind = N_Type_Conversion
3012 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3016 function Subtype_Marks
3017 (N : Node_Id) return List_Id is
3019 pragma Assert (False
3020 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3021 or else NT (N).Nkind = N_Use_Type_Clause);
3025 function Synchronized_Present
3026 (N : Node_Id) return Boolean is
3028 pragma Assert (False
3029 or else NT (N).Nkind = N_Derived_Type_Definition
3030 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3031 or else NT (N).Nkind = N_Private_Extension_Declaration
3032 or else NT (N).Nkind = N_Record_Definition);
3034 end Synchronized_Present;
3036 function Tagged_Present
3037 (N : Node_Id) return Boolean is
3039 pragma Assert (False
3040 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3041 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3042 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3043 or else NT (N).Nkind = N_Private_Type_Declaration
3044 or else NT (N).Nkind = N_Record_Definition);
3048 function Target_Type
3049 (N : Node_Id) return Entity_Id is
3051 pragma Assert (False
3052 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3056 function Task_Definition
3057 (N : Node_Id) return Node_Id is
3059 pragma Assert (False
3060 or else NT (N).Nkind = N_Single_Task_Declaration
3061 or else NT (N).Nkind = N_Task_Type_Declaration);
3063 end Task_Definition;
3065 function Task_Present
3066 (N : Node_Id) return Boolean is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_Derived_Type_Definition
3070 or else NT (N).Nkind = N_Record_Definition);
3074 function Then_Actions
3075 (N : Node_Id) return List_Id is
3077 pragma Assert (False
3078 or else NT (N).Nkind = N_If_Expression);
3082 function Then_Statements
3083 (N : Node_Id) return List_Id is
3085 pragma Assert (False
3086 or else NT (N).Nkind = N_Elsif_Part
3087 or else NT (N).Nkind = N_If_Statement);
3089 end Then_Statements;
3091 function Treat_Fixed_As_Integer
3092 (N : Node_Id) return Boolean is
3094 pragma Assert (False
3095 or else NT (N).Nkind = N_Op_Divide
3096 or else NT (N).Nkind = N_Op_Mod
3097 or else NT (N).Nkind = N_Op_Multiply
3098 or else NT (N).Nkind = N_Op_Rem);
3100 end Treat_Fixed_As_Integer;
3102 function Triggering_Alternative
3103 (N : Node_Id) return Node_Id is
3105 pragma Assert (False
3106 or else NT (N).Nkind = N_Asynchronous_Select);
3108 end Triggering_Alternative;
3110 function Triggering_Statement
3111 (N : Node_Id) return Node_Id is
3113 pragma Assert (False
3114 or else NT (N).Nkind = N_Triggering_Alternative);
3116 end Triggering_Statement;
3119 (N : Node_Id) return Elist_Id is
3121 pragma Assert (False
3122 or else NT (N).Nkind = N_Freeze_Entity);
3126 function Type_Definition
3127 (N : Node_Id) return Node_Id is
3129 pragma Assert (False
3130 or else NT (N).Nkind = N_Full_Type_Declaration);
3132 end Type_Definition;
3135 (N : Node_Id) return Node_Id is
3137 pragma Assert (False
3138 or else NT (N).Nkind = N_Compilation_Unit);
3142 function Unknown_Discriminants_Present
3143 (N : Node_Id) return Boolean is
3145 pragma Assert (False
3146 or else NT (N).Nkind = N_Formal_Type_Declaration
3147 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3148 or else NT (N).Nkind = N_Private_Extension_Declaration
3149 or else NT (N).Nkind = N_Private_Type_Declaration);
3151 end Unknown_Discriminants_Present;
3153 function Unreferenced_In_Spec
3154 (N : Node_Id) return Boolean is
3156 pragma Assert (False
3157 or else NT (N).Nkind = N_With_Clause);
3159 end Unreferenced_In_Spec;
3161 function Variant_Part
3162 (N : Node_Id) return Node_Id is
3164 pragma Assert (False
3165 or else NT (N).Nkind = N_Component_List);
3170 (N : Node_Id) return List_Id is
3172 pragma Assert (False
3173 or else NT (N).Nkind = N_Variant_Part);
3177 function Visible_Declarations
3178 (N : Node_Id) return List_Id is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Package_Specification
3182 or else NT (N).Nkind = N_Protected_Definition
3183 or else NT (N).Nkind = N_Task_Definition);
3185 end Visible_Declarations;
3187 function Uninitialized_Variable
3188 (N : Node_Id) return Node_Id is
3190 pragma Assert (False
3191 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3192 or else NT (N).Nkind = N_Private_Extension_Declaration);
3194 end Uninitialized_Variable;
3196 function Used_Operations
3197 (N : Node_Id) return Elist_Id is
3199 pragma Assert (False
3200 or else NT (N).Nkind = N_Use_Type_Clause);
3202 end Used_Operations;
3204 function Was_Originally_Stub
3205 (N : Node_Id) return Boolean is
3207 pragma Assert (False
3208 or else NT (N).Nkind = N_Package_Body
3209 or else NT (N).Nkind = N_Protected_Body
3210 or else NT (N).Nkind = N_Subprogram_Body
3211 or else NT (N).Nkind = N_Task_Body);
3213 end Was_Originally_Stub;
3215 function Withed_Body
3216 (N : Node_Id) return Node_Id is
3218 pragma Assert (False
3219 or else NT (N).Nkind = N_With_Clause);
3223 --------------------------
3224 -- Field Set Procedures --
3225 --------------------------
3227 procedure Set_ABE_Is_Certain
3228 (N : Node_Id; Val : Boolean := True) is
3230 pragma Assert (False
3231 or else NT (N).Nkind = N_Formal_Package_Declaration
3232 or else NT (N).Nkind = N_Function_Call
3233 or else NT (N).Nkind = N_Function_Instantiation
3234 or else NT (N).Nkind = N_Package_Instantiation
3235 or else NT (N).Nkind = N_Procedure_Call_Statement
3236 or else NT (N).Nkind = N_Procedure_Instantiation);
3237 Set_Flag18 (N, Val);
3238 end Set_ABE_Is_Certain;
3240 procedure Set_Abort_Present
3241 (N : Node_Id; Val : Boolean := True) is
3243 pragma Assert (False
3244 or else NT (N).Nkind = N_Requeue_Statement);
3245 Set_Flag15 (N, Val);
3246 end Set_Abort_Present;
3248 procedure Set_Abortable_Part
3249 (N : Node_Id; Val : Node_Id) is
3251 pragma Assert (False
3252 or else NT (N).Nkind = N_Asynchronous_Select);
3253 Set_Node2_With_Parent (N, Val);
3254 end Set_Abortable_Part;
3256 procedure Set_Abstract_Present
3257 (N : Node_Id; Val : Boolean := True) is
3259 pragma Assert (False
3260 or else NT (N).Nkind = N_Derived_Type_Definition
3261 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3262 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3263 or else NT (N).Nkind = N_Private_Extension_Declaration
3264 or else NT (N).Nkind = N_Private_Type_Declaration
3265 or else NT (N).Nkind = N_Record_Definition);
3267 end Set_Abstract_Present;
3269 procedure Set_Accept_Handler_Records
3270 (N : Node_Id; Val : List_Id) is
3272 pragma Assert (False
3273 or else NT (N).Nkind = N_Accept_Alternative);
3274 Set_List5 (N, Val); -- semantic field, no parent set
3275 end Set_Accept_Handler_Records;
3277 procedure Set_Accept_Statement
3278 (N : Node_Id; Val : Node_Id) is
3280 pragma Assert (False
3281 or else NT (N).Nkind = N_Accept_Alternative);
3282 Set_Node2_With_Parent (N, Val);
3283 end Set_Accept_Statement;
3285 procedure Set_Access_Definition
3286 (N : Node_Id; Val : Node_Id) is
3288 pragma Assert (False
3289 or else NT (N).Nkind = N_Component_Definition
3290 or else NT (N).Nkind = N_Formal_Object_Declaration
3291 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3292 Set_Node3_With_Parent (N, Val);
3293 end Set_Access_Definition;
3295 procedure Set_Access_To_Subprogram_Definition
3296 (N : Node_Id; Val : Node_Id) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Access_Definition);
3300 Set_Node3_With_Parent (N, Val);
3301 end Set_Access_To_Subprogram_Definition;
3303 procedure Set_Access_Types_To_Process
3304 (N : Node_Id; Val : Elist_Id) is
3306 pragma Assert (False
3307 or else NT (N).Nkind = N_Freeze_Entity);
3308 Set_Elist2 (N, Val); -- semantic field, no parent set
3309 end Set_Access_Types_To_Process;
3311 procedure Set_Actions
3312 (N : Node_Id; Val : List_Id) is
3314 pragma Assert (False
3315 or else NT (N).Nkind = N_And_Then
3316 or else NT (N).Nkind = N_Case_Expression_Alternative
3317 or else NT (N).Nkind = N_Compilation_Unit_Aux
3318 or else NT (N).Nkind = N_Compound_Statement
3319 or else NT (N).Nkind = N_Expression_With_Actions
3320 or else NT (N).Nkind = N_Freeze_Entity
3321 or else NT (N).Nkind = N_Or_Else);
3322 Set_List1_With_Parent (N, Val);
3325 procedure Set_Activation_Chain_Entity
3326 (N : Node_Id; Val : Node_Id) is
3328 pragma Assert (False
3329 or else NT (N).Nkind = N_Block_Statement
3330 or else NT (N).Nkind = N_Entry_Body
3331 or else NT (N).Nkind = N_Generic_Package_Declaration
3332 or else NT (N).Nkind = N_Package_Declaration
3333 or else NT (N).Nkind = N_Subprogram_Body
3334 or else NT (N).Nkind = N_Task_Body);
3335 Set_Node3 (N, Val); -- semantic field, no parent set
3336 end Set_Activation_Chain_Entity;
3338 procedure Set_Acts_As_Spec
3339 (N : Node_Id; Val : Boolean := True) is
3341 pragma Assert (False
3342 or else NT (N).Nkind = N_Compilation_Unit
3343 or else NT (N).Nkind = N_Subprogram_Body);
3345 end Set_Acts_As_Spec;
3347 procedure Set_Actual_Designated_Subtype
3348 (N : Node_Id; Val : Node_Id) is
3350 pragma Assert (False
3351 or else NT (N).Nkind = N_Explicit_Dereference
3352 or else NT (N).Nkind = N_Free_Statement);
3354 end Set_Actual_Designated_Subtype;
3356 procedure Set_Address_Warning_Posted
3357 (N : Node_Id; Val : Boolean := True) is
3359 pragma Assert (False
3360 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3361 Set_Flag18 (N, Val);
3362 end Set_Address_Warning_Posted;
3364 procedure Set_Aggregate_Bounds
3365 (N : Node_Id; Val : Node_Id) is
3367 pragma Assert (False
3368 or else NT (N).Nkind = N_Aggregate);
3369 Set_Node3 (N, Val); -- semantic field, no parent set
3370 end Set_Aggregate_Bounds;
3372 procedure Set_Aliased_Present
3373 (N : Node_Id; Val : Boolean := True) is
3375 pragma Assert (False
3376 or else NT (N).Nkind = N_Component_Definition
3377 or else NT (N).Nkind = N_Object_Declaration
3378 or else NT (N).Nkind = N_Parameter_Specification);
3380 end Set_Aliased_Present;
3382 procedure Set_All_Others
3383 (N : Node_Id; Val : Boolean := True) is
3385 pragma Assert (False
3386 or else NT (N).Nkind = N_Others_Choice);
3387 Set_Flag11 (N, Val);
3390 procedure Set_All_Present
3391 (N : Node_Id; Val : Boolean := True) is
3393 pragma Assert (False
3394 or else NT (N).Nkind = N_Access_Definition
3395 or else NT (N).Nkind = N_Access_To_Object_Definition
3396 or else NT (N).Nkind = N_Quantified_Expression
3397 or else NT (N).Nkind = N_Use_Type_Clause);
3398 Set_Flag15 (N, Val);
3399 end Set_All_Present;
3401 procedure Set_Alternatives
3402 (N : Node_Id; Val : List_Id) is
3404 pragma Assert (False
3405 or else NT (N).Nkind = N_Case_Expression
3406 or else NT (N).Nkind = N_Case_Statement
3407 or else NT (N).Nkind = N_In
3408 or else NT (N).Nkind = N_Not_In);
3409 Set_List4_With_Parent (N, Val);
3410 end Set_Alternatives;
3412 procedure Set_Ancestor_Part
3413 (N : Node_Id; Val : Node_Id) is
3415 pragma Assert (False
3416 or else NT (N).Nkind = N_Extension_Aggregate);
3417 Set_Node3_With_Parent (N, Val);
3418 end Set_Ancestor_Part;
3420 procedure Set_Atomic_Sync_Required
3421 (N : Node_Id; Val : Boolean := True) is
3423 pragma Assert (False
3424 or else NT (N).Nkind = N_Expanded_Name
3425 or else NT (N).Nkind = N_Explicit_Dereference
3426 or else NT (N).Nkind = N_Identifier
3427 or else NT (N).Nkind = N_Indexed_Component
3428 or else NT (N).Nkind = N_Selected_Component);
3429 Set_Flag14 (N, Val);
3430 end Set_Atomic_Sync_Required;
3432 procedure Set_Array_Aggregate
3433 (N : Node_Id; Val : Node_Id) is
3435 pragma Assert (False
3436 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3437 Set_Node3_With_Parent (N, Val);
3438 end Set_Array_Aggregate;
3440 procedure Set_Aspect_Rep_Item
3441 (N : Node_Id; Val : Node_Id) is
3443 pragma Assert (False
3444 or else NT (N).Nkind = N_Aspect_Specification);
3446 end Set_Aspect_Rep_Item;
3448 procedure Set_Assignment_OK
3449 (N : Node_Id; Val : Boolean := True) is
3451 pragma Assert (False
3452 or else NT (N).Nkind = N_Object_Declaration
3453 or else NT (N).Nkind in N_Subexpr);
3454 Set_Flag15 (N, Val);
3455 end Set_Assignment_OK;
3457 procedure Set_Associated_Node
3458 (N : Node_Id; Val : Node_Id) is
3460 pragma Assert (False
3461 or else NT (N).Nkind in N_Has_Entity
3462 or else NT (N).Nkind = N_Aggregate
3463 or else NT (N).Nkind = N_Extension_Aggregate
3464 or else NT (N).Nkind = N_Selected_Component);
3465 Set_Node4 (N, Val); -- semantic field, no parent set
3466 end Set_Associated_Node;
3468 procedure Set_At_End_Proc
3469 (N : Node_Id; Val : Node_Id) is
3471 pragma Assert (False
3472 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3474 end Set_At_End_Proc;
3476 procedure Set_Attribute_Name
3477 (N : Node_Id; Val : Name_Id) is
3479 pragma Assert (False
3480 or else NT (N).Nkind = N_Attribute_Reference);
3482 end Set_Attribute_Name;
3484 procedure Set_Aux_Decls_Node
3485 (N : Node_Id; Val : Node_Id) is
3487 pragma Assert (False
3488 or else NT (N).Nkind = N_Compilation_Unit);
3489 Set_Node5_With_Parent (N, Val);
3490 end Set_Aux_Decls_Node;
3492 procedure Set_Backwards_OK
3493 (N : Node_Id; Val : Boolean := True) is
3495 pragma Assert (False
3496 or else NT (N).Nkind = N_Assignment_Statement);
3498 end Set_Backwards_OK;
3500 procedure Set_Bad_Is_Detected
3501 (N : Node_Id; Val : Boolean := True) is
3503 pragma Assert (False
3504 or else NT (N).Nkind = N_Subprogram_Body);
3505 Set_Flag15 (N, Val);
3506 end Set_Bad_Is_Detected;
3508 procedure Set_Body_Required
3509 (N : Node_Id; Val : Boolean := True) is
3511 pragma Assert (False
3512 or else NT (N).Nkind = N_Compilation_Unit);
3513 Set_Flag13 (N, Val);
3514 end Set_Body_Required;
3516 procedure Set_Body_To_Inline
3517 (N : Node_Id; Val : Node_Id) is
3519 pragma Assert (False
3520 or else NT (N).Nkind = N_Subprogram_Declaration);
3522 end Set_Body_To_Inline;
3524 procedure Set_Box_Present
3525 (N : Node_Id; Val : Boolean := True) is
3527 pragma Assert (False
3528 or else NT (N).Nkind = N_Component_Association
3529 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3530 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3531 or else NT (N).Nkind = N_Formal_Package_Declaration
3532 or else NT (N).Nkind = N_Generic_Association);
3533 Set_Flag15 (N, Val);
3534 end Set_Box_Present;
3536 procedure Set_By_Ref
3537 (N : Node_Id; Val : Boolean := True) is
3539 pragma Assert (False
3540 or else NT (N).Nkind = N_Extended_Return_Statement
3541 or else NT (N).Nkind = N_Simple_Return_Statement);
3545 procedure Set_Char_Literal_Value
3546 (N : Node_Id; Val : Uint) is
3548 pragma Assert (False
3549 or else NT (N).Nkind = N_Character_Literal);
3551 end Set_Char_Literal_Value;
3554 (N : Node_Id; Val : Name_Id) is
3556 pragma Assert (False
3557 or else NT (N).Nkind in N_Has_Chars);
3561 procedure Set_Check_Address_Alignment
3562 (N : Node_Id; Val : Boolean := True) is
3564 pragma Assert (False
3565 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3566 Set_Flag11 (N, Val);
3567 end Set_Check_Address_Alignment;
3569 procedure Set_Choice_Parameter
3570 (N : Node_Id; Val : Node_Id) is
3572 pragma Assert (False
3573 or else NT (N).Nkind = N_Exception_Handler);
3574 Set_Node2_With_Parent (N, Val);
3575 end Set_Choice_Parameter;
3577 procedure Set_Choices
3578 (N : Node_Id; Val : List_Id) is
3580 pragma Assert (False
3581 or else NT (N).Nkind = N_Component_Association);
3582 Set_List1_With_Parent (N, Val);
3585 procedure Set_Class_Present
3586 (N : Node_Id; Val : Boolean := True) is
3588 pragma Assert (False
3589 or else NT (N).Nkind = N_Aspect_Specification
3590 or else NT (N).Nkind = N_Pragma);
3592 end Set_Class_Present;
3594 procedure Set_Classifications
3595 (N : Node_Id; Val : Node_Id) is
3597 pragma Assert (False
3598 or else NT (N).Nkind = N_Contract);
3599 Set_Node3 (N, Val); -- semantic field, no parent set
3600 end Set_Classifications;
3602 procedure Set_Comes_From_Extended_Return_Statement
3603 (N : Node_Id; Val : Boolean := True) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Simple_Return_Statement);
3607 Set_Flag18 (N, Val);
3608 end Set_Comes_From_Extended_Return_Statement;
3610 procedure Set_Compile_Time_Known_Aggregate
3611 (N : Node_Id; Val : Boolean := True) is
3613 pragma Assert (False
3614 or else NT (N).Nkind = N_Aggregate);
3615 Set_Flag18 (N, Val);
3616 end Set_Compile_Time_Known_Aggregate;
3618 procedure Set_Component_Associations
3619 (N : Node_Id; Val : List_Id) is
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_Aggregate
3623 or else NT (N).Nkind = N_Extension_Aggregate);
3624 Set_List2_With_Parent (N, Val);
3625 end Set_Component_Associations;
3627 procedure Set_Component_Clauses
3628 (N : Node_Id; Val : List_Id) is
3630 pragma Assert (False
3631 or else NT (N).Nkind = N_Record_Representation_Clause);
3632 Set_List3_With_Parent (N, Val);
3633 end Set_Component_Clauses;
3635 procedure Set_Component_Definition
3636 (N : Node_Id; Val : Node_Id) is
3638 pragma Assert (False
3639 or else NT (N).Nkind = N_Component_Declaration
3640 or else NT (N).Nkind = N_Constrained_Array_Definition
3641 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3642 Set_Node4_With_Parent (N, Val);
3643 end Set_Component_Definition;
3645 procedure Set_Component_Items
3646 (N : Node_Id; Val : List_Id) is
3648 pragma Assert (False
3649 or else NT (N).Nkind = N_Component_List);
3650 Set_List3_With_Parent (N, Val);
3651 end Set_Component_Items;
3653 procedure Set_Component_List
3654 (N : Node_Id; Val : Node_Id) is
3656 pragma Assert (False
3657 or else NT (N).Nkind = N_Record_Definition
3658 or else NT (N).Nkind = N_Variant);
3659 Set_Node1_With_Parent (N, Val);
3660 end Set_Component_List;
3662 procedure Set_Component_Name
3663 (N : Node_Id; Val : Node_Id) is
3665 pragma Assert (False
3666 or else NT (N).Nkind = N_Component_Clause);
3667 Set_Node1_With_Parent (N, Val);
3668 end Set_Component_Name;
3670 procedure Set_Componentwise_Assignment
3671 (N : Node_Id; Val : Boolean := True) is
3673 pragma Assert (False
3674 or else NT (N).Nkind = N_Assignment_Statement);
3675 Set_Flag14 (N, Val);
3676 end Set_Componentwise_Assignment;
3678 procedure Set_Condition
3679 (N : Node_Id; Val : Node_Id) is
3681 pragma Assert (False
3682 or else NT (N).Nkind = N_Accept_Alternative
3683 or else NT (N).Nkind = N_Delay_Alternative
3684 or else NT (N).Nkind = N_Elsif_Part
3685 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3686 or else NT (N).Nkind = N_Exit_Statement
3687 or else NT (N).Nkind = N_If_Statement
3688 or else NT (N).Nkind = N_Iteration_Scheme
3689 or else NT (N).Nkind = N_Quantified_Expression
3690 or else NT (N).Nkind = N_Raise_Constraint_Error
3691 or else NT (N).Nkind = N_Raise_Program_Error
3692 or else NT (N).Nkind = N_Raise_Storage_Error
3693 or else NT (N).Nkind = N_Terminate_Alternative);
3694 Set_Node1_With_Parent (N, Val);
3697 procedure Set_Condition_Actions
3698 (N : Node_Id; Val : List_Id) is
3700 pragma Assert (False
3701 or else NT (N).Nkind = N_Elsif_Part
3702 or else NT (N).Nkind = N_Iteration_Scheme);
3703 Set_List3 (N, Val); -- semantic field, no parent set
3704 end Set_Condition_Actions;
3706 procedure Set_Config_Pragmas
3707 (N : Node_Id; Val : List_Id) is
3709 pragma Assert (False
3710 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3711 Set_List4_With_Parent (N, Val);
3712 end Set_Config_Pragmas;
3714 procedure Set_Constant_Present
3715 (N : Node_Id; Val : Boolean := True) is
3717 pragma Assert (False
3718 or else NT (N).Nkind = N_Access_Definition
3719 or else NT (N).Nkind = N_Access_To_Object_Definition
3720 or else NT (N).Nkind = N_Object_Declaration);
3721 Set_Flag17 (N, Val);
3722 end Set_Constant_Present;
3724 procedure Set_Constraint
3725 (N : Node_Id; Val : Node_Id) is
3727 pragma Assert (False
3728 or else NT (N).Nkind = N_Subtype_Indication);
3729 Set_Node3_With_Parent (N, Val);
3732 procedure Set_Constraints
3733 (N : Node_Id; Val : List_Id) is
3735 pragma Assert (False
3736 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3737 Set_List1_With_Parent (N, Val);
3738 end Set_Constraints;
3740 procedure Set_Context_Installed
3741 (N : Node_Id; Val : Boolean := True) is
3743 pragma Assert (False
3744 or else NT (N).Nkind = N_With_Clause);
3745 Set_Flag13 (N, Val);
3746 end Set_Context_Installed;
3748 procedure Set_Context_Items
3749 (N : Node_Id; Val : List_Id) is
3751 pragma Assert (False
3752 or else NT (N).Nkind = N_Compilation_Unit);
3753 Set_List1_With_Parent (N, Val);
3754 end Set_Context_Items;
3756 procedure Set_Context_Pending
3757 (N : Node_Id; Val : Boolean := True) is
3759 pragma Assert (False
3760 or else NT (N).Nkind = N_Compilation_Unit);
3761 Set_Flag16 (N, Val);
3762 end Set_Context_Pending;
3764 procedure Set_Contract_Test_Cases
3765 (N : Node_Id; Val : Node_Id) is
3767 pragma Assert (False
3768 or else NT (N).Nkind = N_Contract);
3769 Set_Node2 (N, Val); -- semantic field, no parent set
3770 end Set_Contract_Test_Cases;
3772 procedure Set_Controlling_Argument
3773 (N : Node_Id; Val : Node_Id) is
3775 pragma Assert (False
3776 or else NT (N).Nkind = N_Function_Call
3777 or else NT (N).Nkind = N_Procedure_Call_Statement);
3778 Set_Node1 (N, Val); -- semantic field, no parent set
3779 end Set_Controlling_Argument;
3781 procedure Set_Conversion_OK
3782 (N : Node_Id; Val : Boolean := True) is
3784 pragma Assert (False
3785 or else NT (N).Nkind = N_Type_Conversion);
3786 Set_Flag14 (N, Val);
3787 end Set_Conversion_OK;
3789 procedure Set_Convert_To_Return_False
3790 (N : Node_Id; Val : Boolean := True) is
3792 pragma Assert (False
3793 or else NT (N).Nkind = N_Raise_Expression);
3794 Set_Flag13 (N, Val);
3795 end Set_Convert_To_Return_False;
3797 procedure Set_Corresponding_Aspect
3798 (N : Node_Id; Val : Node_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Pragma);
3803 end Set_Corresponding_Aspect;
3805 procedure Set_Corresponding_Body
3806 (N : Node_Id; Val : Node_Id) is
3808 pragma Assert (False
3809 or else NT (N).Nkind = N_Entry_Declaration
3810 or else NT (N).Nkind = N_Generic_Package_Declaration
3811 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3812 or else NT (N).Nkind = N_Package_Body_Stub
3813 or else NT (N).Nkind = N_Package_Declaration
3814 or else NT (N).Nkind = N_Protected_Body_Stub
3815 or else NT (N).Nkind = N_Protected_Type_Declaration
3816 or else NT (N).Nkind = N_Subprogram_Body_Stub
3817 or else NT (N).Nkind = N_Subprogram_Declaration
3818 or else NT (N).Nkind = N_Task_Body_Stub
3819 or else NT (N).Nkind = N_Task_Type_Declaration);
3820 Set_Node5 (N, Val); -- semantic field, no parent set
3821 end Set_Corresponding_Body;
3823 procedure Set_Corresponding_Formal_Spec
3824 (N : Node_Id; Val : Node_Id) is
3826 pragma Assert (False
3827 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3828 Set_Node3 (N, Val); -- semantic field, no parent set
3829 end Set_Corresponding_Formal_Spec;
3831 procedure Set_Corresponding_Generic_Association
3832 (N : Node_Id; Val : Node_Id) is
3834 pragma Assert (False
3835 or else NT (N).Nkind = N_Object_Declaration
3836 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3837 Set_Node5 (N, Val); -- semantic field, no parent set
3838 end Set_Corresponding_Generic_Association;
3840 procedure Set_Corresponding_Integer_Value
3841 (N : Node_Id; Val : Uint) is
3843 pragma Assert (False
3844 or else NT (N).Nkind = N_Real_Literal);
3845 Set_Uint4 (N, Val); -- semantic field, no parent set
3846 end Set_Corresponding_Integer_Value;
3848 procedure Set_Corresponding_Spec
3849 (N : Node_Id; Val : Node_Id) is
3851 pragma Assert (False
3852 or else NT (N).Nkind = N_Expression_Function
3853 or else NT (N).Nkind = N_Package_Body
3854 or else NT (N).Nkind = N_Protected_Body
3855 or else NT (N).Nkind = N_Subprogram_Body
3856 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3857 or else NT (N).Nkind = N_Task_Body
3858 or else NT (N).Nkind = N_With_Clause);
3859 Set_Node5 (N, Val); -- semantic field, no parent set
3860 end Set_Corresponding_Spec;
3862 procedure Set_Corresponding_Spec_Of_Stub
3863 (N : Node_Id; Val : Entity_Id) is
3865 pragma Assert (False
3866 or else NT (N).Nkind = N_Package_Body_Stub
3867 or else NT (N).Nkind = N_Protected_Body_Stub
3868 or else NT (N).Nkind = N_Subprogram_Body_Stub
3869 or else NT (N).Nkind = N_Task_Body_Stub);
3870 Set_Node2 (N, Val); -- semantic field, no parent set
3871 end Set_Corresponding_Spec_Of_Stub;
3873 procedure Set_Corresponding_Stub
3874 (N : Node_Id; Val : Node_Id) is
3876 pragma Assert (False
3877 or else NT (N).Nkind = N_Subunit);
3879 end Set_Corresponding_Stub;
3881 procedure Set_Dcheck_Function
3882 (N : Node_Id; Val : Entity_Id) is
3884 pragma Assert (False
3885 or else NT (N).Nkind = N_Variant);
3886 Set_Node5 (N, Val); -- semantic field, no parent set
3887 end Set_Dcheck_Function;
3889 procedure Set_Declarations
3890 (N : Node_Id; Val : List_Id) is
3892 pragma Assert (False
3893 or else NT (N).Nkind = N_Accept_Statement
3894 or else NT (N).Nkind = N_Block_Statement
3895 or else NT (N).Nkind = N_Compilation_Unit_Aux
3896 or else NT (N).Nkind = N_Entry_Body
3897 or else NT (N).Nkind = N_Package_Body
3898 or else NT (N).Nkind = N_Protected_Body
3899 or else NT (N).Nkind = N_Subprogram_Body
3900 or else NT (N).Nkind = N_Task_Body);
3901 Set_List2_With_Parent (N, Val);
3902 end Set_Declarations;
3904 procedure Set_Default_Expression
3905 (N : Node_Id; Val : Node_Id) is
3907 pragma Assert (False
3908 or else NT (N).Nkind = N_Formal_Object_Declaration
3909 or else NT (N).Nkind = N_Parameter_Specification);
3910 Set_Node5 (N, Val); -- semantic field, no parent set
3911 end Set_Default_Expression;
3913 procedure Set_Default_Storage_Pool
3914 (N : Node_Id; Val : Node_Id) is
3916 pragma Assert (False
3917 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3918 Set_Node3 (N, Val); -- semantic field, no parent set
3919 end Set_Default_Storage_Pool;
3921 procedure Set_Default_Name
3922 (N : Node_Id; Val : Node_Id) is
3924 pragma Assert (False
3925 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3926 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3927 Set_Node2_With_Parent (N, Val);
3928 end Set_Default_Name;
3930 procedure Set_Defining_Identifier
3931 (N : Node_Id; Val : Entity_Id) is
3933 pragma Assert (False
3934 or else NT (N).Nkind = N_Component_Declaration
3935 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3936 or else NT (N).Nkind = N_Discriminant_Specification
3937 or else NT (N).Nkind = N_Entry_Body
3938 or else NT (N).Nkind = N_Entry_Declaration
3939 or else NT (N).Nkind = N_Entry_Index_Specification
3940 or else NT (N).Nkind = N_Exception_Declaration
3941 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3942 or else NT (N).Nkind = N_Formal_Object_Declaration
3943 or else NT (N).Nkind = N_Formal_Package_Declaration
3944 or else NT (N).Nkind = N_Formal_Type_Declaration
3945 or else NT (N).Nkind = N_Full_Type_Declaration
3946 or else NT (N).Nkind = N_Implicit_Label_Declaration
3947 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3948 or else NT (N).Nkind = N_Iterator_Specification
3949 or else NT (N).Nkind = N_Loop_Parameter_Specification
3950 or else NT (N).Nkind = N_Number_Declaration
3951 or else NT (N).Nkind = N_Object_Declaration
3952 or else NT (N).Nkind = N_Object_Renaming_Declaration
3953 or else NT (N).Nkind = N_Package_Body_Stub
3954 or else NT (N).Nkind = N_Parameter_Specification
3955 or else NT (N).Nkind = N_Private_Extension_Declaration
3956 or else NT (N).Nkind = N_Private_Type_Declaration
3957 or else NT (N).Nkind = N_Protected_Body
3958 or else NT (N).Nkind = N_Protected_Body_Stub
3959 or else NT (N).Nkind = N_Protected_Type_Declaration
3960 or else NT (N).Nkind = N_Single_Protected_Declaration
3961 or else NT (N).Nkind = N_Single_Task_Declaration
3962 or else NT (N).Nkind = N_Subtype_Declaration
3963 or else NT (N).Nkind = N_Task_Body
3964 or else NT (N).Nkind = N_Task_Body_Stub
3965 or else NT (N).Nkind = N_Task_Type_Declaration);
3966 Set_Node1_With_Parent (N, Val);
3967 end Set_Defining_Identifier;
3969 procedure Set_Defining_Unit_Name
3970 (N : Node_Id; Val : Node_Id) is
3972 pragma Assert (False
3973 or else NT (N).Nkind = N_Function_Instantiation
3974 or else NT (N).Nkind = N_Function_Specification
3975 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3976 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3977 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3978 or else NT (N).Nkind = N_Package_Body
3979 or else NT (N).Nkind = N_Package_Instantiation
3980 or else NT (N).Nkind = N_Package_Renaming_Declaration
3981 or else NT (N).Nkind = N_Package_Specification
3982 or else NT (N).Nkind = N_Procedure_Instantiation
3983 or else NT (N).Nkind = N_Procedure_Specification);
3984 Set_Node1_With_Parent (N, Val);
3985 end Set_Defining_Unit_Name;
3987 procedure Set_Delay_Alternative
3988 (N : Node_Id; Val : Node_Id) is
3990 pragma Assert (False
3991 or else NT (N).Nkind = N_Timed_Entry_Call);
3992 Set_Node4_With_Parent (N, Val);
3993 end Set_Delay_Alternative;
3995 procedure Set_Delay_Statement
3996 (N : Node_Id; Val : Node_Id) is
3998 pragma Assert (False
3999 or else NT (N).Nkind = N_Delay_Alternative);
4000 Set_Node2_With_Parent (N, Val);
4001 end Set_Delay_Statement;
4003 procedure Set_Delta_Expression
4004 (N : Node_Id; Val : Node_Id) is
4006 pragma Assert (False
4007 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4008 or else NT (N).Nkind = N_Delta_Constraint
4009 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4010 Set_Node3_With_Parent (N, Val);
4011 end Set_Delta_Expression;
4013 procedure Set_Digits_Expression
4014 (N : Node_Id; Val : Node_Id) is
4016 pragma Assert (False
4017 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4018 or else NT (N).Nkind = N_Digits_Constraint
4019 or else NT (N).Nkind = N_Floating_Point_Definition);
4020 Set_Node2_With_Parent (N, Val);
4021 end Set_Digits_Expression;
4023 procedure Set_Discr_Check_Funcs_Built
4024 (N : Node_Id; Val : Boolean := True) is
4026 pragma Assert (False
4027 or else NT (N).Nkind = N_Full_Type_Declaration);
4028 Set_Flag11 (N, Val);
4029 end Set_Discr_Check_Funcs_Built;
4031 procedure Set_Discrete_Choices
4032 (N : Node_Id; Val : List_Id) is
4034 pragma Assert (False
4035 or else NT (N).Nkind = N_Case_Expression_Alternative
4036 or else NT (N).Nkind = N_Case_Statement_Alternative
4037 or else NT (N).Nkind = N_Variant);
4038 Set_List4_With_Parent (N, Val);
4039 end Set_Discrete_Choices;
4041 procedure Set_Discrete_Range
4042 (N : Node_Id; Val : Node_Id) is
4044 pragma Assert (False
4045 or else NT (N).Nkind = N_Slice);
4046 Set_Node4_With_Parent (N, Val);
4047 end Set_Discrete_Range;
4049 procedure Set_Discrete_Subtype_Definition
4050 (N : Node_Id; Val : Node_Id) is
4052 pragma Assert (False
4053 or else NT (N).Nkind = N_Entry_Declaration
4054 or else NT (N).Nkind = N_Entry_Index_Specification
4055 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4056 Set_Node4_With_Parent (N, Val);
4057 end Set_Discrete_Subtype_Definition;
4059 procedure Set_Discrete_Subtype_Definitions
4060 (N : Node_Id; Val : List_Id) is
4062 pragma Assert (False
4063 or else NT (N).Nkind = N_Constrained_Array_Definition);
4064 Set_List2_With_Parent (N, Val);
4065 end Set_Discrete_Subtype_Definitions;
4067 procedure Set_Discriminant_Specifications
4068 (N : Node_Id; Val : List_Id) is
4070 pragma Assert (False
4071 or else NT (N).Nkind = N_Formal_Type_Declaration
4072 or else NT (N).Nkind = N_Full_Type_Declaration
4073 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4074 or else NT (N).Nkind = N_Private_Extension_Declaration
4075 or else NT (N).Nkind = N_Private_Type_Declaration
4076 or else NT (N).Nkind = N_Protected_Type_Declaration
4077 or else NT (N).Nkind = N_Task_Type_Declaration);
4078 Set_List4_With_Parent (N, Val);
4079 end Set_Discriminant_Specifications;
4081 procedure Set_Discriminant_Type
4082 (N : Node_Id; Val : Node_Id) is
4084 pragma Assert (False
4085 or else NT (N).Nkind = N_Discriminant_Specification);
4086 Set_Node5_With_Parent (N, Val);
4087 end Set_Discriminant_Type;
4089 procedure Set_Do_Accessibility_Check
4090 (N : Node_Id; Val : Boolean := True) is
4092 pragma Assert (False
4093 or else NT (N).Nkind = N_Parameter_Specification);
4094 Set_Flag13 (N, Val);
4095 end Set_Do_Accessibility_Check;
4097 procedure Set_Do_Discriminant_Check
4098 (N : Node_Id; Val : Boolean := True) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_Assignment_Statement
4102 or else NT (N).Nkind = N_Selected_Component
4103 or else NT (N).Nkind = N_Type_Conversion);
4105 end Set_Do_Discriminant_Check;
4107 procedure Set_Do_Division_Check
4108 (N : Node_Id; Val : Boolean := True) is
4110 pragma Assert (False
4111 or else NT (N).Nkind = N_Op_Divide
4112 or else NT (N).Nkind = N_Op_Mod
4113 or else NT (N).Nkind = N_Op_Rem);
4114 Set_Flag13 (N, Val);
4115 end Set_Do_Division_Check;
4117 procedure Set_Do_Length_Check
4118 (N : Node_Id; Val : Boolean := True) is
4120 pragma Assert (False
4121 or else NT (N).Nkind = N_Assignment_Statement
4122 or else NT (N).Nkind = N_Op_And
4123 or else NT (N).Nkind = N_Op_Or
4124 or else NT (N).Nkind = N_Op_Xor
4125 or else NT (N).Nkind = N_Type_Conversion);
4127 end Set_Do_Length_Check;
4129 procedure Set_Do_Overflow_Check
4130 (N : Node_Id; Val : Boolean := True) is
4132 pragma Assert (False
4133 or else NT (N).Nkind in N_Op
4134 or else NT (N).Nkind = N_Attribute_Reference
4135 or else NT (N).Nkind = N_Case_Expression
4136 or else NT (N).Nkind = N_If_Expression
4137 or else NT (N).Nkind = N_Type_Conversion);
4138 Set_Flag17 (N, Val);
4139 end Set_Do_Overflow_Check;
4141 procedure Set_Do_Range_Check
4142 (N : Node_Id; Val : Boolean := True) is
4144 pragma Assert (False
4145 or else NT (N).Nkind in N_Subexpr);
4147 end Set_Do_Range_Check;
4149 procedure Set_Do_Storage_Check
4150 (N : Node_Id; Val : Boolean := True) is
4152 pragma Assert (False
4153 or else NT (N).Nkind = N_Allocator
4154 or else NT (N).Nkind = N_Subprogram_Body);
4155 Set_Flag17 (N, Val);
4156 end Set_Do_Storage_Check;
4158 procedure Set_Do_Tag_Check
4159 (N : Node_Id; Val : Boolean := True) is
4161 pragma Assert (False
4162 or else NT (N).Nkind = N_Assignment_Statement
4163 or else NT (N).Nkind = N_Extended_Return_Statement
4164 or else NT (N).Nkind = N_Function_Call
4165 or else NT (N).Nkind = N_Procedure_Call_Statement
4166 or else NT (N).Nkind = N_Simple_Return_Statement
4167 or else NT (N).Nkind = N_Type_Conversion);
4168 Set_Flag13 (N, Val);
4169 end Set_Do_Tag_Check;
4171 procedure Set_Elaborate_All_Desirable
4172 (N : Node_Id; Val : Boolean := True) is
4174 pragma Assert (False
4175 or else NT (N).Nkind = N_With_Clause);
4177 end Set_Elaborate_All_Desirable;
4179 procedure Set_Elaborate_All_Present
4180 (N : Node_Id; Val : Boolean := True) is
4182 pragma Assert (False
4183 or else NT (N).Nkind = N_With_Clause);
4184 Set_Flag14 (N, Val);
4185 end Set_Elaborate_All_Present;
4187 procedure Set_Elaborate_Desirable
4188 (N : Node_Id; Val : Boolean := True) is
4190 pragma Assert (False
4191 or else NT (N).Nkind = N_With_Clause);
4192 Set_Flag11 (N, Val);
4193 end Set_Elaborate_Desirable;
4195 procedure Set_Elaborate_Present
4196 (N : Node_Id; Val : Boolean := True) is
4198 pragma Assert (False
4199 or else NT (N).Nkind = N_With_Clause);
4201 end Set_Elaborate_Present;
4203 procedure Set_Elaboration_Boolean
4204 (N : Node_Id; Val : Node_Id) is
4206 pragma Assert (False
4207 or else NT (N).Nkind = N_Function_Specification
4208 or else NT (N).Nkind = N_Procedure_Specification);
4210 end Set_Elaboration_Boolean;
4212 procedure Set_Else_Actions
4213 (N : Node_Id; Val : List_Id) is
4215 pragma Assert (False
4216 or else NT (N).Nkind = N_If_Expression);
4217 Set_List3 (N, Val); -- semantic field, no parent set
4218 end Set_Else_Actions;
4220 procedure Set_Else_Statements
4221 (N : Node_Id; Val : List_Id) is
4223 pragma Assert (False
4224 or else NT (N).Nkind = N_Conditional_Entry_Call
4225 or else NT (N).Nkind = N_If_Statement
4226 or else NT (N).Nkind = N_Selective_Accept);
4227 Set_List4_With_Parent (N, Val);
4228 end Set_Else_Statements;
4230 procedure Set_Elsif_Parts
4231 (N : Node_Id; Val : List_Id) is
4233 pragma Assert (False
4234 or else NT (N).Nkind = N_If_Statement);
4235 Set_List3_With_Parent (N, Val);
4236 end Set_Elsif_Parts;
4238 procedure Set_Enclosing_Variant
4239 (N : Node_Id; Val : Node_Id) is
4241 pragma Assert (False
4242 or else NT (N).Nkind = N_Variant);
4243 Set_Node2 (N, Val); -- semantic field, no parent set
4244 end Set_Enclosing_Variant;
4246 procedure Set_End_Label
4247 (N : Node_Id; Val : Node_Id) is
4249 pragma Assert (False
4250 or else NT (N).Nkind = N_Enumeration_Type_Definition
4251 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4252 or else NT (N).Nkind = N_Loop_Statement
4253 or else NT (N).Nkind = N_Package_Specification
4254 or else NT (N).Nkind = N_Protected_Body
4255 or else NT (N).Nkind = N_Protected_Definition
4256 or else NT (N).Nkind = N_Record_Definition
4257 or else NT (N).Nkind = N_Task_Definition);
4258 Set_Node4_With_Parent (N, Val);
4261 procedure Set_End_Span
4262 (N : Node_Id; Val : Uint) is
4264 pragma Assert (False
4265 or else NT (N).Nkind = N_Case_Statement
4266 or else NT (N).Nkind = N_If_Statement);
4270 procedure Set_Entity
4271 (N : Node_Id; Val : Node_Id) is
4273 pragma Assert (False
4274 or else NT (N).Nkind in N_Has_Entity
4275 or else NT (N).Nkind = N_Aspect_Specification
4276 or else NT (N).Nkind = N_Attribute_Definition_Clause
4277 or else NT (N).Nkind = N_Freeze_Entity
4278 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4279 Set_Node4 (N, Val); -- semantic field, no parent set
4282 procedure Set_Entry_Body_Formal_Part
4283 (N : Node_Id; Val : Node_Id) is
4285 pragma Assert (False
4286 or else NT (N).Nkind = N_Entry_Body);
4287 Set_Node5_With_Parent (N, Val);
4288 end Set_Entry_Body_Formal_Part;
4290 procedure Set_Entry_Call_Alternative
4291 (N : Node_Id; Val : Node_Id) is
4293 pragma Assert (False
4294 or else NT (N).Nkind = N_Conditional_Entry_Call
4295 or else NT (N).Nkind = N_Timed_Entry_Call);
4296 Set_Node1_With_Parent (N, Val);
4297 end Set_Entry_Call_Alternative;
4299 procedure Set_Entry_Call_Statement
4300 (N : Node_Id; Val : Node_Id) is
4302 pragma Assert (False
4303 or else NT (N).Nkind = N_Entry_Call_Alternative);
4304 Set_Node1_With_Parent (N, Val);
4305 end Set_Entry_Call_Statement;
4307 procedure Set_Entry_Direct_Name
4308 (N : Node_Id; Val : Node_Id) is
4310 pragma Assert (False
4311 or else NT (N).Nkind = N_Accept_Statement);
4312 Set_Node1_With_Parent (N, Val);
4313 end Set_Entry_Direct_Name;
4315 procedure Set_Entry_Index
4316 (N : Node_Id; Val : Node_Id) is
4318 pragma Assert (False
4319 or else NT (N).Nkind = N_Accept_Statement);
4320 Set_Node5_With_Parent (N, Val);
4321 end Set_Entry_Index;
4323 procedure Set_Entry_Index_Specification
4324 (N : Node_Id; Val : Node_Id) is
4326 pragma Assert (False
4327 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4328 Set_Node4_With_Parent (N, Val);
4329 end Set_Entry_Index_Specification;
4332 (N : Node_Id; Val : Node_Id) is
4334 pragma Assert (False
4335 or else NT (N).Nkind in N_Has_Etype);
4336 Set_Node5 (N, Val); -- semantic field, no parent set
4339 procedure Set_Exception_Choices
4340 (N : Node_Id; Val : List_Id) is
4342 pragma Assert (False
4343 or else NT (N).Nkind = N_Exception_Handler);
4344 Set_List4_With_Parent (N, Val);
4345 end Set_Exception_Choices;
4347 procedure Set_Exception_Handlers
4348 (N : Node_Id; Val : List_Id) is
4350 pragma Assert (False
4351 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4352 Set_List5_With_Parent (N, Val);
4353 end Set_Exception_Handlers;
4355 procedure Set_Exception_Junk
4356 (N : Node_Id; Val : Boolean := True) is
4358 pragma Assert (False
4359 or else NT (N).Nkind = N_Block_Statement
4360 or else NT (N).Nkind = N_Goto_Statement
4361 or else NT (N).Nkind = N_Label
4362 or else NT (N).Nkind = N_Object_Declaration
4363 or else NT (N).Nkind = N_Subtype_Declaration);
4365 end Set_Exception_Junk;
4367 procedure Set_Exception_Label
4368 (N : Node_Id; Val : Node_Id) is
4370 pragma Assert (False
4371 or else NT (N).Nkind = N_Exception_Handler
4372 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4373 or else NT (N).Nkind = N_Push_Program_Error_Label
4374 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4375 Set_Node5 (N, Val); -- semantic field, no parent set
4376 end Set_Exception_Label;
4378 procedure Set_Expansion_Delayed
4379 (N : Node_Id; Val : Boolean := True) is
4381 pragma Assert (False
4382 or else NT (N).Nkind = N_Aggregate
4383 or else NT (N).Nkind = N_Extension_Aggregate);
4384 Set_Flag11 (N, Val);
4385 end Set_Expansion_Delayed;
4387 procedure Set_Explicit_Actual_Parameter
4388 (N : Node_Id; Val : Node_Id) is
4390 pragma Assert (False
4391 or else NT (N).Nkind = N_Parameter_Association);
4392 Set_Node3_With_Parent (N, Val);
4393 end Set_Explicit_Actual_Parameter;
4395 procedure Set_Explicit_Generic_Actual_Parameter
4396 (N : Node_Id; Val : Node_Id) is
4398 pragma Assert (False
4399 or else NT (N).Nkind = N_Generic_Association);
4400 Set_Node1_With_Parent (N, Val);
4401 end Set_Explicit_Generic_Actual_Parameter;
4403 procedure Set_Expression
4404 (N : Node_Id; Val : Node_Id) is
4406 pragma Assert (False
4407 or else NT (N).Nkind = N_Allocator
4408 or else NT (N).Nkind = N_Aspect_Specification
4409 or else NT (N).Nkind = N_Assignment_Statement
4410 or else NT (N).Nkind = N_At_Clause
4411 or else NT (N).Nkind = N_Attribute_Definition_Clause
4412 or else NT (N).Nkind = N_Case_Expression
4413 or else NT (N).Nkind = N_Case_Expression_Alternative
4414 or else NT (N).Nkind = N_Case_Statement
4415 or else NT (N).Nkind = N_Code_Statement
4416 or else NT (N).Nkind = N_Component_Association
4417 or else NT (N).Nkind = N_Component_Declaration
4418 or else NT (N).Nkind = N_Delay_Relative_Statement
4419 or else NT (N).Nkind = N_Delay_Until_Statement
4420 or else NT (N).Nkind = N_Discriminant_Association
4421 or else NT (N).Nkind = N_Discriminant_Specification
4422 or else NT (N).Nkind = N_Exception_Declaration
4423 or else NT (N).Nkind = N_Expression_Function
4424 or else NT (N).Nkind = N_Expression_With_Actions
4425 or else NT (N).Nkind = N_Free_Statement
4426 or else NT (N).Nkind = N_Mod_Clause
4427 or else NT (N).Nkind = N_Modular_Type_Definition
4428 or else NT (N).Nkind = N_Number_Declaration
4429 or else NT (N).Nkind = N_Object_Declaration
4430 or else NT (N).Nkind = N_Parameter_Specification
4431 or else NT (N).Nkind = N_Pragma_Argument_Association
4432 or else NT (N).Nkind = N_Qualified_Expression
4433 or else NT (N).Nkind = N_Raise_Expression
4434 or else NT (N).Nkind = N_Raise_Statement
4435 or else NT (N).Nkind = N_Simple_Return_Statement
4436 or else NT (N).Nkind = N_Type_Conversion
4437 or else NT (N).Nkind = N_Unchecked_Expression
4438 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4439 Set_Node3_With_Parent (N, Val);
4442 procedure Set_Expressions
4443 (N : Node_Id; Val : List_Id) is
4445 pragma Assert (False
4446 or else NT (N).Nkind = N_Aggregate
4447 or else NT (N).Nkind = N_Attribute_Reference
4448 or else NT (N).Nkind = N_Extension_Aggregate
4449 or else NT (N).Nkind = N_If_Expression
4450 or else NT (N).Nkind = N_Indexed_Component);
4451 Set_List1_With_Parent (N, Val);
4452 end Set_Expressions;
4454 procedure Set_First_Bit
4455 (N : Node_Id; Val : Node_Id) is
4457 pragma Assert (False
4458 or else NT (N).Nkind = N_Component_Clause);
4459 Set_Node3_With_Parent (N, Val);
4462 procedure Set_First_Inlined_Subprogram
4463 (N : Node_Id; Val : Entity_Id) is
4465 pragma Assert (False
4466 or else NT (N).Nkind = N_Compilation_Unit);
4467 Set_Node3 (N, Val); -- semantic field, no parent set
4468 end Set_First_Inlined_Subprogram;
4470 procedure Set_First_Name
4471 (N : Node_Id; Val : Boolean := True) is
4473 pragma Assert (False
4474 or else NT (N).Nkind = N_With_Clause);
4478 procedure Set_First_Named_Actual
4479 (N : Node_Id; Val : Node_Id) is
4481 pragma Assert (False
4482 or else NT (N).Nkind = N_Entry_Call_Statement
4483 or else NT (N).Nkind = N_Function_Call
4484 or else NT (N).Nkind = N_Procedure_Call_Statement);
4485 Set_Node4 (N, Val); -- semantic field, no parent set
4486 end Set_First_Named_Actual;
4488 procedure Set_First_Real_Statement
4489 (N : Node_Id; Val : Node_Id) is
4491 pragma Assert (False
4492 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4493 Set_Node2 (N, Val); -- semantic field, no parent set
4494 end Set_First_Real_Statement;
4496 procedure Set_First_Subtype_Link
4497 (N : Node_Id; Val : Entity_Id) is
4499 pragma Assert (False
4500 or else NT (N).Nkind = N_Freeze_Entity);
4501 Set_Node5 (N, Val); -- semantic field, no parent set
4502 end Set_First_Subtype_Link;
4504 procedure Set_Float_Truncate
4505 (N : Node_Id; Val : Boolean := True) is
4507 pragma Assert (False
4508 or else NT (N).Nkind = N_Type_Conversion);
4509 Set_Flag11 (N, Val);
4510 end Set_Float_Truncate;
4512 procedure Set_Formal_Type_Definition
4513 (N : Node_Id; Val : Node_Id) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Formal_Type_Declaration);
4517 Set_Node3_With_Parent (N, Val);
4518 end Set_Formal_Type_Definition;
4520 procedure Set_Forwards_OK
4521 (N : Node_Id; Val : Boolean := True) is
4523 pragma Assert (False
4524 or else NT (N).Nkind = N_Assignment_Statement);
4526 end Set_Forwards_OK;
4528 procedure Set_From_Aspect_Specification
4529 (N : Node_Id; Val : Boolean := True) is
4531 pragma Assert (False
4532 or else NT (N).Nkind = N_Attribute_Definition_Clause
4533 or else NT (N).Nkind = N_Pragma);
4534 Set_Flag13 (N, Val);
4535 end Set_From_Aspect_Specification;
4537 procedure Set_From_At_End
4538 (N : Node_Id; Val : Boolean := True) is
4540 pragma Assert (False
4541 or else NT (N).Nkind = N_Raise_Statement);
4543 end Set_From_At_End;
4545 procedure Set_From_At_Mod
4546 (N : Node_Id; Val : Boolean := True) is
4548 pragma Assert (False
4549 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4551 end Set_From_At_Mod;
4553 procedure Set_From_Default
4554 (N : Node_Id; Val : Boolean := True) is
4556 pragma Assert (False
4557 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4559 end Set_From_Default;
4561 procedure Set_Generalized_Indexing
4562 (N : Node_Id; Val : Node_Id) is
4564 pragma Assert (False
4565 or else NT (N).Nkind = N_Indexed_Component);
4567 end Set_Generalized_Indexing;
4569 procedure Set_Generic_Associations
4570 (N : Node_Id; Val : List_Id) is
4572 pragma Assert (False
4573 or else NT (N).Nkind = N_Formal_Package_Declaration
4574 or else NT (N).Nkind = N_Function_Instantiation
4575 or else NT (N).Nkind = N_Package_Instantiation
4576 or else NT (N).Nkind = N_Procedure_Instantiation);
4577 Set_List3_With_Parent (N, Val);
4578 end Set_Generic_Associations;
4580 procedure Set_Generic_Formal_Declarations
4581 (N : Node_Id; Val : List_Id) is
4583 pragma Assert (False
4584 or else NT (N).Nkind = N_Generic_Package_Declaration
4585 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4586 Set_List2_With_Parent (N, Val);
4587 end Set_Generic_Formal_Declarations;
4589 procedure Set_Generic_Parent
4590 (N : Node_Id; Val : Node_Id) is
4592 pragma Assert (False
4593 or else NT (N).Nkind = N_Function_Specification
4594 or else NT (N).Nkind = N_Package_Specification
4595 or else NT (N).Nkind = N_Procedure_Specification);
4597 end Set_Generic_Parent;
4599 procedure Set_Generic_Parent_Type
4600 (N : Node_Id; Val : Node_Id) is
4602 pragma Assert (False
4603 or else NT (N).Nkind = N_Subtype_Declaration);
4605 end Set_Generic_Parent_Type;
4607 procedure Set_Handled_Statement_Sequence
4608 (N : Node_Id; Val : Node_Id) is
4610 pragma Assert (False
4611 or else NT (N).Nkind = N_Accept_Statement
4612 or else NT (N).Nkind = N_Block_Statement
4613 or else NT (N).Nkind = N_Entry_Body
4614 or else NT (N).Nkind = N_Extended_Return_Statement
4615 or else NT (N).Nkind = N_Package_Body
4616 or else NT (N).Nkind = N_Subprogram_Body
4617 or else NT (N).Nkind = N_Task_Body);
4618 Set_Node4_With_Parent (N, Val);
4619 end Set_Handled_Statement_Sequence;
4621 procedure Set_Handler_List_Entry
4622 (N : Node_Id; Val : Node_Id) is
4624 pragma Assert (False
4625 or else NT (N).Nkind = N_Object_Declaration);
4627 end Set_Handler_List_Entry;
4629 procedure Set_Has_Created_Identifier
4630 (N : Node_Id; Val : Boolean := True) is
4632 pragma Assert (False
4633 or else NT (N).Nkind = N_Block_Statement
4634 or else NT (N).Nkind = N_Loop_Statement);
4635 Set_Flag15 (N, Val);
4636 end Set_Has_Created_Identifier;
4638 procedure Set_Has_Dereference_Action
4639 (N : Node_Id; Val : Boolean := True) is
4641 pragma Assert (False
4642 or else NT (N).Nkind = N_Explicit_Dereference);
4643 Set_Flag13 (N, Val);
4644 end Set_Has_Dereference_Action;
4646 procedure Set_Has_Dynamic_Length_Check
4647 (N : Node_Id; Val : Boolean := True) is
4649 pragma Assert (False
4650 or else NT (N).Nkind in N_Subexpr);
4651 Set_Flag10 (N, Val);
4652 end Set_Has_Dynamic_Length_Check;
4654 procedure Set_Has_Dynamic_Range_Check
4655 (N : Node_Id; Val : Boolean := True) is
4657 pragma Assert (False
4658 or else NT (N).Nkind = N_Subtype_Declaration
4659 or else NT (N).Nkind in N_Subexpr);
4660 Set_Flag12 (N, Val);
4661 end Set_Has_Dynamic_Range_Check;
4663 procedure Set_Has_Init_Expression
4664 (N : Node_Id; Val : Boolean := True) is
4666 pragma Assert (False
4667 or else NT (N).Nkind = N_Object_Declaration);
4668 Set_Flag14 (N, Val);
4669 end Set_Has_Init_Expression;
4671 procedure Set_Has_Local_Raise
4672 (N : Node_Id; Val : Boolean := True) is
4674 pragma Assert (False
4675 or else NT (N).Nkind = N_Exception_Handler);
4677 end Set_Has_Local_Raise;
4679 procedure Set_Has_No_Elaboration_Code
4680 (N : Node_Id; Val : Boolean := True) is
4682 pragma Assert (False
4683 or else NT (N).Nkind = N_Compilation_Unit);
4684 Set_Flag17 (N, Val);
4685 end Set_Has_No_Elaboration_Code;
4687 procedure Set_Has_Pragma_Suppress_All
4688 (N : Node_Id; Val : Boolean := True) is
4690 pragma Assert (False
4691 or else NT (N).Nkind = N_Compilation_Unit);
4692 Set_Flag14 (N, Val);
4693 end Set_Has_Pragma_Suppress_All;
4695 procedure Set_Has_Private_View
4696 (N : Node_Id; Val : Boolean := True) is
4698 pragma Assert (False
4699 or else NT (N).Nkind in N_Op
4700 or else NT (N).Nkind = N_Character_Literal
4701 or else NT (N).Nkind = N_Expanded_Name
4702 or else NT (N).Nkind = N_Identifier
4703 or else NT (N).Nkind = N_Operator_Symbol);
4704 Set_Flag11 (N, Val);
4705 end Set_Has_Private_View;
4707 procedure Set_Has_Relative_Deadline_Pragma
4708 (N : Node_Id; Val : Boolean := True) is
4710 pragma Assert (False
4711 or else NT (N).Nkind = N_Subprogram_Body
4712 or else NT (N).Nkind = N_Task_Definition);
4714 end Set_Has_Relative_Deadline_Pragma;
4716 procedure Set_Has_Self_Reference
4717 (N : Node_Id; Val : Boolean := True) is
4719 pragma Assert (False
4720 or else NT (N).Nkind = N_Aggregate
4721 or else NT (N).Nkind = N_Extension_Aggregate);
4722 Set_Flag13 (N, Val);
4723 end Set_Has_Self_Reference;
4725 procedure Set_Has_SP_Choice
4726 (N : Node_Id; Val : Boolean := True) is
4728 pragma Assert (False
4729 or else NT (N).Nkind = N_Case_Expression_Alternative
4730 or else NT (N).Nkind = N_Case_Statement_Alternative
4731 or else NT (N).Nkind = N_Variant);
4732 Set_Flag15 (N, Val);
4733 end Set_Has_SP_Choice;
4735 procedure Set_Has_Storage_Size_Pragma
4736 (N : Node_Id; Val : Boolean := True) is
4738 pragma Assert (False
4739 or else NT (N).Nkind = N_Task_Definition);
4741 end Set_Has_Storage_Size_Pragma;
4743 procedure Set_Has_Wide_Character
4744 (N : Node_Id; Val : Boolean := True) is
4746 pragma Assert (False
4747 or else NT (N).Nkind = N_String_Literal);
4748 Set_Flag11 (N, Val);
4749 end Set_Has_Wide_Character;
4751 procedure Set_Has_Wide_Wide_Character
4752 (N : Node_Id; Val : Boolean := True) is
4754 pragma Assert (False
4755 or else NT (N).Nkind = N_String_Literal);
4756 Set_Flag13 (N, Val);
4757 end Set_Has_Wide_Wide_Character;
4759 procedure Set_Header_Size_Added
4760 (N : Node_Id; Val : Boolean := True) is
4762 pragma Assert (False
4763 or else NT (N).Nkind = N_Attribute_Reference);
4764 Set_Flag11 (N, Val);
4765 end Set_Header_Size_Added;
4767 procedure Set_Hidden_By_Use_Clause
4768 (N : Node_Id; Val : Elist_Id) is
4770 pragma Assert (False
4771 or else NT (N).Nkind = N_Use_Package_Clause
4772 or else NT (N).Nkind = N_Use_Type_Clause);
4773 Set_Elist4 (N, Val);
4774 end Set_Hidden_By_Use_Clause;
4776 procedure Set_High_Bound
4777 (N : Node_Id; Val : Node_Id) is
4779 pragma Assert (False
4780 or else NT (N).Nkind = N_Range
4781 or else NT (N).Nkind = N_Real_Range_Specification
4782 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4783 Set_Node2_With_Parent (N, Val);
4786 procedure Set_Identifier
4787 (N : Node_Id; Val : Node_Id) is
4789 pragma Assert (False
4790 or else NT (N).Nkind = N_Aspect_Specification
4791 or else NT (N).Nkind = N_At_Clause
4792 or else NT (N).Nkind = N_Block_Statement
4793 or else NT (N).Nkind = N_Designator
4794 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4795 or else NT (N).Nkind = N_Label
4796 or else NT (N).Nkind = N_Loop_Statement
4797 or else NT (N).Nkind = N_Record_Representation_Clause);
4798 Set_Node1_With_Parent (N, Val);
4801 procedure Set_Implicit_With
4802 (N : Node_Id; Val : Boolean := True) is
4804 pragma Assert (False
4805 or else NT (N).Nkind = N_With_Clause);
4806 Set_Flag16 (N, Val);
4807 end Set_Implicit_With;
4809 procedure Set_Implicit_With_From_Instantiation
4810 (N : Node_Id; Val : Boolean := True) is
4812 pragma Assert (False
4813 or else NT (N).Nkind = N_With_Clause);
4814 Set_Flag12 (N, Val);
4815 end Set_Implicit_With_From_Instantiation;
4817 procedure Set_Interface_List
4818 (N : Node_Id; Val : List_Id) is
4820 pragma Assert (False
4821 or else NT (N).Nkind = N_Derived_Type_Definition
4822 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4823 or else NT (N).Nkind = N_Private_Extension_Declaration
4824 or else NT (N).Nkind = N_Protected_Type_Declaration
4825 or else NT (N).Nkind = N_Record_Definition
4826 or else NT (N).Nkind = N_Single_Protected_Declaration
4827 or else NT (N).Nkind = N_Single_Task_Declaration
4828 or else NT (N).Nkind = N_Task_Type_Declaration);
4829 Set_List2_With_Parent (N, Val);
4830 end Set_Interface_List;
4832 procedure Set_Interface_Present
4833 (N : Node_Id; Val : Boolean := True) is
4835 pragma Assert (False
4836 or else NT (N).Nkind = N_Derived_Type_Definition
4837 or else NT (N).Nkind = N_Record_Definition);
4838 Set_Flag16 (N, Val);
4839 end Set_Interface_Present;
4841 procedure Set_Import_Interface_Present
4842 (N : Node_Id; Val : Boolean := True) is
4844 pragma Assert (False
4845 or else NT (N).Nkind = N_Pragma);
4846 Set_Flag16 (N, Val);
4847 end Set_Import_Interface_Present;
4849 procedure Set_In_Present
4850 (N : Node_Id; Val : Boolean := True) is
4852 pragma Assert (False
4853 or else NT (N).Nkind = N_Formal_Object_Declaration
4854 or else NT (N).Nkind = N_Parameter_Specification);
4855 Set_Flag15 (N, Val);
4858 procedure Set_Includes_Infinities
4859 (N : Node_Id; Val : Boolean := True) is
4861 pragma Assert (False
4862 or else NT (N).Nkind = N_Range);
4863 Set_Flag11 (N, Val);
4864 end Set_Includes_Infinities;
4866 procedure Set_Inherited_Discriminant
4867 (N : Node_Id; Val : Boolean := True) is
4869 pragma Assert (False
4870 or else NT (N).Nkind = N_Component_Association);
4871 Set_Flag13 (N, Val);
4872 end Set_Inherited_Discriminant;
4874 procedure Set_Instance_Spec
4875 (N : Node_Id; Val : Node_Id) is
4877 pragma Assert (False
4878 or else NT (N).Nkind = N_Formal_Package_Declaration
4879 or else NT (N).Nkind = N_Function_Instantiation
4880 or else NT (N).Nkind = N_Package_Instantiation
4881 or else NT (N).Nkind = N_Procedure_Instantiation);
4882 Set_Node5 (N, Val); -- semantic field, no Parent set
4883 end Set_Instance_Spec;
4885 procedure Set_Intval
4886 (N : Node_Id; Val : Uint) is
4888 pragma Assert (False
4889 or else NT (N).Nkind = N_Integer_Literal);
4893 procedure Set_Is_Accessibility_Actual
4894 (N : Node_Id; Val : Boolean := True) is
4896 pragma Assert (False
4897 or else NT (N).Nkind = N_Parameter_Association);
4898 Set_Flag13 (N, Val);
4899 end Set_Is_Accessibility_Actual;
4901 procedure Set_Is_Asynchronous_Call_Block
4902 (N : Node_Id; Val : Boolean := True) is
4904 pragma Assert (False
4905 or else NT (N).Nkind = N_Block_Statement);
4907 end Set_Is_Asynchronous_Call_Block;
4909 procedure Set_Is_Boolean_Aspect
4910 (N : Node_Id; Val : Boolean := True) is
4912 pragma Assert (False
4913 or else NT (N).Nkind = N_Aspect_Specification);
4914 Set_Flag16 (N, Val);
4915 end Set_Is_Boolean_Aspect;
4917 procedure Set_Is_Checked
4918 (N : Node_Id; Val : Boolean := True) is
4920 pragma Assert (False
4921 or else NT (N).Nkind = N_Aspect_Specification
4922 or else NT (N).Nkind = N_Pragma);
4923 Set_Flag11 (N, Val);
4926 procedure Set_Is_Component_Left_Opnd
4927 (N : Node_Id; Val : Boolean := True) is
4929 pragma Assert (False
4930 or else NT (N).Nkind = N_Op_Concat);
4931 Set_Flag13 (N, Val);
4932 end Set_Is_Component_Left_Opnd;
4934 procedure Set_Is_Component_Right_Opnd
4935 (N : Node_Id; Val : Boolean := True) is
4937 pragma Assert (False
4938 or else NT (N).Nkind = N_Op_Concat);
4939 Set_Flag14 (N, Val);
4940 end Set_Is_Component_Right_Opnd;
4942 procedure Set_Is_Controlling_Actual
4943 (N : Node_Id; Val : Boolean := True) is
4945 pragma Assert (False
4946 or else NT (N).Nkind in N_Subexpr);
4947 Set_Flag16 (N, Val);
4948 end Set_Is_Controlling_Actual;
4950 procedure Set_Is_Delayed_Aspect
4951 (N : Node_Id; Val : Boolean := True) is
4953 pragma Assert (False
4954 or else NT (N).Nkind = N_Aspect_Specification
4955 or else NT (N).Nkind = N_Attribute_Definition_Clause
4956 or else NT (N).Nkind = N_Pragma);
4957 Set_Flag14 (N, Val);
4958 end Set_Is_Delayed_Aspect;
4960 procedure Set_Is_Disabled
4961 (N : Node_Id; Val : Boolean := True) is
4963 pragma Assert (False
4964 or else NT (N).Nkind = N_Aspect_Specification
4965 or else NT (N).Nkind = N_Pragma);
4966 Set_Flag15 (N, Val);
4967 end Set_Is_Disabled;
4969 procedure Set_Is_Dynamic_Coextension
4970 (N : Node_Id; Val : Boolean := True) is
4972 pragma Assert (False
4973 or else NT (N).Nkind = N_Allocator);
4974 Set_Flag18 (N, Val);
4975 end Set_Is_Dynamic_Coextension;
4977 procedure Set_Is_Elsif
4978 (N : Node_Id; Val : Boolean := True) is
4980 pragma Assert (False
4981 or else NT (N).Nkind = N_If_Expression);
4982 Set_Flag13 (N, Val);
4985 procedure Set_Is_Entry_Barrier_Function
4986 (N : Node_Id; Val : Boolean := True) is
4988 pragma Assert (False
4989 or else NT (N).Nkind = N_Subprogram_Body);
4991 end Set_Is_Entry_Barrier_Function;
4993 procedure Set_Is_Expanded_Build_In_Place_Call
4994 (N : Node_Id; Val : Boolean := True) is
4996 pragma Assert (False
4997 or else NT (N).Nkind = N_Function_Call);
4998 Set_Flag11 (N, Val);
4999 end Set_Is_Expanded_Build_In_Place_Call;
5001 procedure Set_Is_Finalization_Wrapper
5002 (N : Node_Id; Val : Boolean := True) is
5004 pragma Assert (False
5005 or else NT (N).Nkind = N_Block_Statement);
5007 end Set_Is_Finalization_Wrapper;
5009 procedure Set_Is_Folded_In_Parser
5010 (N : Node_Id; Val : Boolean := True) is
5012 pragma Assert (False
5013 or else NT (N).Nkind = N_String_Literal);
5015 end Set_Is_Folded_In_Parser;
5017 procedure Set_Is_Ignored
5018 (N : Node_Id; Val : Boolean := True) is
5020 pragma Assert (False
5021 or else NT (N).Nkind = N_Aspect_Specification
5022 or else NT (N).Nkind = N_Pragma);
5026 procedure Set_Is_In_Discriminant_Check
5027 (N : Node_Id; Val : Boolean := True) is
5029 pragma Assert (False
5030 or else NT (N).Nkind = N_Selected_Component);
5031 Set_Flag11 (N, Val);
5032 end Set_Is_In_Discriminant_Check;
5034 procedure Set_Is_Machine_Number
5035 (N : Node_Id; Val : Boolean := True) is
5037 pragma Assert (False
5038 or else NT (N).Nkind = N_Real_Literal);
5039 Set_Flag11 (N, Val);
5040 end Set_Is_Machine_Number;
5042 procedure Set_Is_Null_Loop
5043 (N : Node_Id; Val : Boolean := True) is
5045 pragma Assert (False
5046 or else NT (N).Nkind = N_Loop_Statement);
5047 Set_Flag16 (N, Val);
5048 end Set_Is_Null_Loop;
5050 procedure Set_Is_Overloaded
5051 (N : Node_Id; Val : Boolean := True) is
5053 pragma Assert (False
5054 or else NT (N).Nkind in N_Subexpr);
5056 end Set_Is_Overloaded;
5058 procedure Set_Is_Power_Of_2_For_Shift
5059 (N : Node_Id; Val : Boolean := True) is
5061 pragma Assert (False
5062 or else NT (N).Nkind = N_Op_Expon);
5063 Set_Flag13 (N, Val);
5064 end Set_Is_Power_Of_2_For_Shift;
5066 procedure Set_Is_Prefixed_Call
5067 (N : Node_Id; Val : Boolean := True) is
5069 pragma Assert (False
5070 or else NT (N).Nkind = N_Selected_Component);
5071 Set_Flag17 (N, Val);
5072 end Set_Is_Prefixed_Call;
5074 procedure Set_Is_Protected_Subprogram_Body
5075 (N : Node_Id; Val : Boolean := True) is
5077 pragma Assert (False
5078 or else NT (N).Nkind = N_Subprogram_Body);
5080 end Set_Is_Protected_Subprogram_Body;
5082 procedure Set_Is_Static_Coextension
5083 (N : Node_Id; Val : Boolean := True) is
5085 pragma Assert (False
5086 or else NT (N).Nkind = N_Allocator);
5087 Set_Flag14 (N, Val);
5088 end Set_Is_Static_Coextension;
5090 procedure Set_Is_Static_Expression
5091 (N : Node_Id; Val : Boolean := True) is
5093 pragma Assert (False
5094 or else NT (N).Nkind in N_Subexpr);
5096 end Set_Is_Static_Expression;
5098 procedure Set_Is_Subprogram_Descriptor
5099 (N : Node_Id; Val : Boolean := True) is
5101 pragma Assert (False
5102 or else NT (N).Nkind = N_Object_Declaration);
5103 Set_Flag16 (N, Val);
5104 end Set_Is_Subprogram_Descriptor;
5106 procedure Set_Is_Task_Allocation_Block
5107 (N : Node_Id; Val : Boolean := True) is
5109 pragma Assert (False
5110 or else NT (N).Nkind = N_Block_Statement);
5112 end Set_Is_Task_Allocation_Block;
5114 procedure Set_Is_Task_Master
5115 (N : Node_Id; Val : Boolean := True) is
5117 pragma Assert (False
5118 or else NT (N).Nkind = N_Block_Statement
5119 or else NT (N).Nkind = N_Subprogram_Body
5120 or else NT (N).Nkind = N_Task_Body);
5122 end Set_Is_Task_Master;
5124 procedure Set_Iteration_Scheme
5125 (N : Node_Id; Val : Node_Id) is
5127 pragma Assert (False
5128 or else NT (N).Nkind = N_Loop_Statement);
5129 Set_Node2_With_Parent (N, Val);
5130 end Set_Iteration_Scheme;
5132 procedure Set_Iterator_Specification
5133 (N : Node_Id; Val : Node_Id) is
5135 pragma Assert (False
5136 or else NT (N).Nkind = N_Iteration_Scheme
5137 or else NT (N).Nkind = N_Quantified_Expression);
5138 Set_Node2_With_Parent (N, Val);
5139 end Set_Iterator_Specification;
5142 (N : Node_Id; Val : Entity_Id) is
5144 pragma Assert (False
5145 or else NT (N).Nkind = N_Itype_Reference);
5146 Set_Node1 (N, Val); -- no parent, semantic field
5149 procedure Set_Kill_Range_Check
5150 (N : Node_Id; Val : Boolean := True) is
5152 pragma Assert (False
5153 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5154 Set_Flag11 (N, Val);
5155 end Set_Kill_Range_Check;
5157 procedure Set_Label_Construct
5158 (N : Node_Id; Val : Node_Id) is
5160 pragma Assert (False
5161 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5162 Set_Node2 (N, Val); -- semantic field, no parent set
5163 end Set_Label_Construct;
5165 procedure Set_Last_Bit
5166 (N : Node_Id; Val : Node_Id) is
5168 pragma Assert (False
5169 or else NT (N).Nkind = N_Component_Clause);
5170 Set_Node4_With_Parent (N, Val);
5173 procedure Set_Last_Name
5174 (N : Node_Id; Val : Boolean := True) is
5176 pragma Assert (False
5177 or else NT (N).Nkind = N_With_Clause);
5181 procedure Set_Left_Opnd
5182 (N : Node_Id; Val : Node_Id) is
5184 pragma Assert (False
5185 or else NT (N).Nkind = N_And_Then
5186 or else NT (N).Nkind = N_In
5187 or else NT (N).Nkind = N_Not_In
5188 or else NT (N).Nkind = N_Or_Else
5189 or else NT (N).Nkind in N_Binary_Op);
5190 Set_Node2_With_Parent (N, Val);
5193 procedure Set_Library_Unit
5194 (N : Node_Id; Val : Node_Id) is
5196 pragma Assert (False
5197 or else NT (N).Nkind = N_Compilation_Unit
5198 or else NT (N).Nkind = N_Package_Body_Stub
5199 or else NT (N).Nkind = N_Protected_Body_Stub
5200 or else NT (N).Nkind = N_Subprogram_Body_Stub
5201 or else NT (N).Nkind = N_Task_Body_Stub
5202 or else NT (N).Nkind = N_With_Clause);
5203 Set_Node4 (N, Val); -- semantic field, no parent set
5204 end Set_Library_Unit;
5206 procedure Set_Limited_View_Installed
5207 (N : Node_Id; Val : Boolean := True) is
5209 pragma Assert (False
5210 or else NT (N).Nkind = N_Package_Specification
5211 or else NT (N).Nkind = N_With_Clause);
5212 Set_Flag18 (N, Val);
5213 end Set_Limited_View_Installed;
5215 procedure Set_Limited_Present
5216 (N : Node_Id; Val : Boolean := True) is
5218 pragma Assert (False
5219 or else NT (N).Nkind = N_Derived_Type_Definition
5220 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5221 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5222 or else NT (N).Nkind = N_Private_Extension_Declaration
5223 or else NT (N).Nkind = N_Private_Type_Declaration
5224 or else NT (N).Nkind = N_Record_Definition
5225 or else NT (N).Nkind = N_With_Clause);
5226 Set_Flag17 (N, Val);
5227 end Set_Limited_Present;
5229 procedure Set_Literals
5230 (N : Node_Id; Val : List_Id) is
5232 pragma Assert (False
5233 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5234 Set_List1_With_Parent (N, Val);
5237 procedure Set_Local_Raise_Not_OK
5238 (N : Node_Id; Val : Boolean := True) is
5240 pragma Assert (False
5241 or else NT (N).Nkind = N_Exception_Handler);
5243 end Set_Local_Raise_Not_OK;
5245 procedure Set_Local_Raise_Statements
5246 (N : Node_Id; Val : Elist_Id) is
5248 pragma Assert (False
5249 or else NT (N).Nkind = N_Exception_Handler);
5250 Set_Elist1 (N, Val);
5251 end Set_Local_Raise_Statements;
5253 procedure Set_Loop_Actions
5254 (N : Node_Id; Val : List_Id) is
5256 pragma Assert (False
5257 or else NT (N).Nkind = N_Component_Association);
5258 Set_List2 (N, Val); -- semantic field, no parent set
5259 end Set_Loop_Actions;
5261 procedure Set_Loop_Parameter_Specification
5262 (N : Node_Id; Val : Node_Id) is
5264 pragma Assert (False
5265 or else NT (N).Nkind = N_Iteration_Scheme
5266 or else NT (N).Nkind = N_Quantified_Expression);
5267 Set_Node4_With_Parent (N, Val);
5268 end Set_Loop_Parameter_Specification;
5270 procedure Set_Low_Bound
5271 (N : Node_Id; Val : Node_Id) is
5273 pragma Assert (False
5274 or else NT (N).Nkind = N_Range
5275 or else NT (N).Nkind = N_Real_Range_Specification
5276 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5277 Set_Node1_With_Parent (N, Val);
5280 procedure Set_Mod_Clause
5281 (N : Node_Id; Val : Node_Id) is
5283 pragma Assert (False
5284 or else NT (N).Nkind = N_Record_Representation_Clause);
5285 Set_Node2_With_Parent (N, Val);
5288 procedure Set_More_Ids
5289 (N : Node_Id; Val : Boolean := True) is
5291 pragma Assert (False
5292 or else NT (N).Nkind = N_Component_Declaration
5293 or else NT (N).Nkind = N_Discriminant_Specification
5294 or else NT (N).Nkind = N_Exception_Declaration
5295 or else NT (N).Nkind = N_Formal_Object_Declaration
5296 or else NT (N).Nkind = N_Number_Declaration
5297 or else NT (N).Nkind = N_Object_Declaration
5298 or else NT (N).Nkind = N_Parameter_Specification);
5302 procedure Set_Must_Be_Byte_Aligned
5303 (N : Node_Id; Val : Boolean := True) is
5305 pragma Assert (False
5306 or else NT (N).Nkind = N_Attribute_Reference);
5307 Set_Flag14 (N, Val);
5308 end Set_Must_Be_Byte_Aligned;
5310 procedure Set_Must_Not_Freeze
5311 (N : Node_Id; Val : Boolean := True) is
5313 pragma Assert (False
5314 or else NT (N).Nkind = N_Subtype_Indication
5315 or else NT (N).Nkind in N_Subexpr);
5317 end Set_Must_Not_Freeze;
5319 procedure Set_Must_Not_Override
5320 (N : Node_Id; Val : Boolean := True) is
5322 pragma Assert (False
5323 or else NT (N).Nkind = N_Entry_Declaration
5324 or else NT (N).Nkind = N_Function_Instantiation
5325 or else NT (N).Nkind = N_Function_Specification
5326 or else NT (N).Nkind = N_Procedure_Instantiation
5327 or else NT (N).Nkind = N_Procedure_Specification);
5328 Set_Flag15 (N, Val);
5329 end Set_Must_Not_Override;
5331 procedure Set_Must_Override
5332 (N : Node_Id; Val : Boolean := True) is
5334 pragma Assert (False
5335 or else NT (N).Nkind = N_Entry_Declaration
5336 or else NT (N).Nkind = N_Function_Instantiation
5337 or else NT (N).Nkind = N_Function_Specification
5338 or else NT (N).Nkind = N_Procedure_Instantiation
5339 or else NT (N).Nkind = N_Procedure_Specification);
5340 Set_Flag14 (N, Val);
5341 end Set_Must_Override;
5344 (N : Node_Id; Val : Node_Id) is
5346 pragma Assert (False
5347 or else NT (N).Nkind = N_Assignment_Statement
5348 or else NT (N).Nkind = N_Attribute_Definition_Clause
5349 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5350 or else NT (N).Nkind = N_Designator
5351 or else NT (N).Nkind = N_Entry_Call_Statement
5352 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5353 or else NT (N).Nkind = N_Exit_Statement
5354 or else NT (N).Nkind = N_Formal_Package_Declaration
5355 or else NT (N).Nkind = N_Function_Call
5356 or else NT (N).Nkind = N_Function_Instantiation
5357 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5358 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5359 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5360 or else NT (N).Nkind = N_Goto_Statement
5361 or else NT (N).Nkind = N_Iterator_Specification
5362 or else NT (N).Nkind = N_Object_Renaming_Declaration
5363 or else NT (N).Nkind = N_Package_Instantiation
5364 or else NT (N).Nkind = N_Package_Renaming_Declaration
5365 or else NT (N).Nkind = N_Procedure_Call_Statement
5366 or else NT (N).Nkind = N_Procedure_Instantiation
5367 or else NT (N).Nkind = N_Raise_Expression
5368 or else NT (N).Nkind = N_Raise_Statement
5369 or else NT (N).Nkind = N_Requeue_Statement
5370 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5371 or else NT (N).Nkind = N_Subunit
5372 or else NT (N).Nkind = N_Variant_Part
5373 or else NT (N).Nkind = N_With_Clause);
5374 Set_Node2_With_Parent (N, Val);
5378 (N : Node_Id; Val : List_Id) is
5380 pragma Assert (False
5381 or else NT (N).Nkind = N_Abort_Statement
5382 or else NT (N).Nkind = N_Use_Package_Clause);
5383 Set_List2_With_Parent (N, Val);
5386 procedure Set_Next_Entity
5387 (N : Node_Id; Val : Node_Id) is
5389 pragma Assert (False
5390 or else NT (N).Nkind = N_Defining_Character_Literal
5391 or else NT (N).Nkind = N_Defining_Identifier
5392 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5393 Set_Node2 (N, Val); -- semantic field, no parent set
5394 end Set_Next_Entity;
5396 procedure Set_Next_Exit_Statement
5397 (N : Node_Id; Val : Node_Id) is
5399 pragma Assert (False
5400 or else NT (N).Nkind = N_Exit_Statement);
5401 Set_Node3 (N, Val); -- semantic field, no parent set
5402 end Set_Next_Exit_Statement;
5404 procedure Set_Next_Implicit_With
5405 (N : Node_Id; Val : Node_Id) is
5407 pragma Assert (False
5408 or else NT (N).Nkind = N_With_Clause);
5409 Set_Node3 (N, Val); -- semantic field, no parent set
5410 end Set_Next_Implicit_With;
5412 procedure Set_Next_Named_Actual
5413 (N : Node_Id; Val : Node_Id) is
5415 pragma Assert (False
5416 or else NT (N).Nkind = N_Parameter_Association);
5417 Set_Node4 (N, Val); -- semantic field, no parent set
5418 end Set_Next_Named_Actual;
5420 procedure Set_Next_Pragma
5421 (N : Node_Id; Val : Node_Id) is
5423 pragma Assert (False
5424 or else NT (N).Nkind = N_Pragma);
5425 Set_Node1 (N, Val); -- semantic field, no parent set
5426 end Set_Next_Pragma;
5428 procedure Set_Next_Rep_Item
5429 (N : Node_Id; Val : Node_Id) is
5431 pragma Assert (False
5432 or else NT (N).Nkind = N_Aspect_Specification
5433 or else NT (N).Nkind = N_Attribute_Definition_Clause
5434 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5435 or else NT (N).Nkind = N_Pragma
5436 or else NT (N).Nkind = N_Record_Representation_Clause);
5437 Set_Node5 (N, Val); -- semantic field, no parent set
5438 end Set_Next_Rep_Item;
5440 procedure Set_Next_Use_Clause
5441 (N : Node_Id; Val : Node_Id) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_Use_Package_Clause
5445 or else NT (N).Nkind = N_Use_Type_Clause);
5446 Set_Node3 (N, Val); -- semantic field, no parent set
5447 end Set_Next_Use_Clause;
5449 procedure Set_No_Ctrl_Actions
5450 (N : Node_Id; Val : Boolean := True) is
5452 pragma Assert (False
5453 or else NT (N).Nkind = N_Assignment_Statement);
5455 end Set_No_Ctrl_Actions;
5457 procedure Set_No_Elaboration_Check
5458 (N : Node_Id; Val : Boolean := True) is
5460 pragma Assert (False
5461 or else NT (N).Nkind = N_Function_Call
5462 or else NT (N).Nkind = N_Procedure_Call_Statement);
5463 Set_Flag14 (N, Val);
5464 end Set_No_Elaboration_Check;
5466 procedure Set_No_Entities_Ref_In_Spec
5467 (N : Node_Id; Val : Boolean := True) is
5469 pragma Assert (False
5470 or else NT (N).Nkind = N_With_Clause);
5472 end Set_No_Entities_Ref_In_Spec;
5474 procedure Set_No_Initialization
5475 (N : Node_Id; Val : Boolean := True) is
5477 pragma Assert (False
5478 or else NT (N).Nkind = N_Allocator
5479 or else NT (N).Nkind = N_Object_Declaration);
5480 Set_Flag13 (N, Val);
5481 end Set_No_Initialization;
5483 procedure Set_No_Minimize_Eliminate
5484 (N : Node_Id; Val : Boolean := True) is
5486 pragma Assert (False
5487 or else NT (N).Nkind = N_In
5488 or else NT (N).Nkind = N_Not_In);
5489 Set_Flag17 (N, Val);
5490 end Set_No_Minimize_Eliminate;
5492 procedure Set_No_Truncation
5493 (N : Node_Id; Val : Boolean := True) is
5495 pragma Assert (False
5496 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5497 Set_Flag17 (N, Val);
5498 end Set_No_Truncation;
5500 procedure Set_Non_Aliased_Prefix
5501 (N : Node_Id; Val : Boolean := True) is
5503 pragma Assert (False
5504 or else NT (N).Nkind = N_Attribute_Reference);
5505 Set_Flag18 (N, Val);
5506 end Set_Non_Aliased_Prefix;
5508 procedure Set_Null_Present
5509 (N : Node_Id; Val : Boolean := True) is
5511 pragma Assert (False
5512 or else NT (N).Nkind = N_Component_List
5513 or else NT (N).Nkind = N_Procedure_Specification
5514 or else NT (N).Nkind = N_Record_Definition);
5515 Set_Flag13 (N, Val);
5516 end Set_Null_Present;
5518 procedure Set_Null_Exclusion_Present
5519 (N : Node_Id; Val : Boolean := True) is
5521 pragma Assert (False
5522 or else NT (N).Nkind = N_Access_Definition
5523 or else NT (N).Nkind = N_Access_Function_Definition
5524 or else NT (N).Nkind = N_Access_Procedure_Definition
5525 or else NT (N).Nkind = N_Access_To_Object_Definition
5526 or else NT (N).Nkind = N_Allocator
5527 or else NT (N).Nkind = N_Component_Definition
5528 or else NT (N).Nkind = N_Derived_Type_Definition
5529 or else NT (N).Nkind = N_Discriminant_Specification
5530 or else NT (N).Nkind = N_Formal_Object_Declaration
5531 or else NT (N).Nkind = N_Function_Specification
5532 or else NT (N).Nkind = N_Object_Declaration
5533 or else NT (N).Nkind = N_Object_Renaming_Declaration
5534 or else NT (N).Nkind = N_Parameter_Specification
5535 or else NT (N).Nkind = N_Subtype_Declaration);
5536 Set_Flag11 (N, Val);
5537 end Set_Null_Exclusion_Present;
5539 procedure Set_Null_Exclusion_In_Return_Present
5540 (N : Node_Id; Val : Boolean := True) is
5542 pragma Assert (False
5543 or else NT (N).Nkind = N_Access_Function_Definition);
5544 Set_Flag14 (N, Val);
5545 end Set_Null_Exclusion_In_Return_Present;
5547 procedure Set_Null_Record_Present
5548 (N : Node_Id; Val : Boolean := True) is
5550 pragma Assert (False
5551 or else NT (N).Nkind = N_Aggregate
5552 or else NT (N).Nkind = N_Extension_Aggregate);
5553 Set_Flag17 (N, Val);
5554 end Set_Null_Record_Present;
5556 procedure Set_Object_Definition
5557 (N : Node_Id; Val : Node_Id) is
5559 pragma Assert (False
5560 or else NT (N).Nkind = N_Object_Declaration);
5561 Set_Node4_With_Parent (N, Val);
5562 end Set_Object_Definition;
5564 procedure Set_Of_Present
5565 (N : Node_Id; Val : Boolean := True) is
5567 pragma Assert (False
5568 or else NT (N).Nkind = N_Iterator_Specification);
5569 Set_Flag16 (N, Val);
5572 procedure Set_Original_Discriminant
5573 (N : Node_Id; Val : Node_Id) is
5575 pragma Assert (False
5576 or else NT (N).Nkind = N_Identifier);
5577 Set_Node2 (N, Val); -- semantic field, no parent set
5578 end Set_Original_Discriminant;
5580 procedure Set_Original_Entity
5581 (N : Node_Id; Val : Entity_Id) is
5583 pragma Assert (False
5584 or else NT (N).Nkind = N_Integer_Literal
5585 or else NT (N).Nkind = N_Real_Literal);
5586 Set_Node2 (N, Val); -- semantic field, no parent set
5587 end Set_Original_Entity;
5589 procedure Set_Others_Discrete_Choices
5590 (N : Node_Id; Val : List_Id) is
5592 pragma Assert (False
5593 or else NT (N).Nkind = N_Others_Choice);
5594 Set_List1_With_Parent (N, Val);
5595 end Set_Others_Discrete_Choices;
5597 procedure Set_Out_Present
5598 (N : Node_Id; Val : Boolean := True) is
5600 pragma Assert (False
5601 or else NT (N).Nkind = N_Formal_Object_Declaration
5602 or else NT (N).Nkind = N_Parameter_Specification);
5603 Set_Flag17 (N, Val);
5604 end Set_Out_Present;
5606 procedure Set_Parameter_Associations
5607 (N : Node_Id; Val : List_Id) is
5609 pragma Assert (False
5610 or else NT (N).Nkind = N_Entry_Call_Statement
5611 or else NT (N).Nkind = N_Function_Call
5612 or else NT (N).Nkind = N_Procedure_Call_Statement);
5613 Set_List3_With_Parent (N, Val);
5614 end Set_Parameter_Associations;
5616 procedure Set_Parameter_List_Truncated
5617 (N : Node_Id; Val : Boolean := True) is
5619 pragma Assert (False
5620 or else NT (N).Nkind = N_Function_Call
5621 or else NT (N).Nkind = N_Procedure_Call_Statement);
5622 Set_Flag17 (N, Val);
5623 end Set_Parameter_List_Truncated;
5625 procedure Set_Parameter_Specifications
5626 (N : Node_Id; Val : List_Id) is
5628 pragma Assert (False
5629 or else NT (N).Nkind = N_Accept_Statement
5630 or else NT (N).Nkind = N_Access_Function_Definition
5631 or else NT (N).Nkind = N_Access_Procedure_Definition
5632 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5633 or else NT (N).Nkind = N_Entry_Declaration
5634 or else NT (N).Nkind = N_Function_Specification
5635 or else NT (N).Nkind = N_Procedure_Specification);
5636 Set_List3_With_Parent (N, Val);
5637 end Set_Parameter_Specifications;
5639 procedure Set_Parameter_Type
5640 (N : Node_Id; Val : Node_Id) is
5642 pragma Assert (False
5643 or else NT (N).Nkind = N_Parameter_Specification);
5644 Set_Node2_With_Parent (N, Val);
5645 end Set_Parameter_Type;
5647 procedure Set_Parent_Spec
5648 (N : Node_Id; Val : Node_Id) is
5650 pragma Assert (False
5651 or else NT (N).Nkind = N_Function_Instantiation
5652 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5653 or else NT (N).Nkind = N_Generic_Package_Declaration
5654 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5655 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5656 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5657 or else NT (N).Nkind = N_Package_Declaration
5658 or else NT (N).Nkind = N_Package_Instantiation
5659 or else NT (N).Nkind = N_Package_Renaming_Declaration
5660 or else NT (N).Nkind = N_Procedure_Instantiation
5661 or else NT (N).Nkind = N_Subprogram_Declaration
5662 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5663 Set_Node4 (N, Val); -- semantic field, no parent set
5664 end Set_Parent_Spec;
5666 procedure Set_Position
5667 (N : Node_Id; Val : Node_Id) is
5669 pragma Assert (False
5670 or else NT (N).Nkind = N_Component_Clause);
5671 Set_Node2_With_Parent (N, Val);
5674 procedure Set_Pragma_Argument_Associations
5675 (N : Node_Id; Val : List_Id) is
5677 pragma Assert (False
5678 or else NT (N).Nkind = N_Pragma);
5679 Set_List2_With_Parent (N, Val);
5680 end Set_Pragma_Argument_Associations;
5682 procedure Set_Pragma_Identifier
5683 (N : Node_Id; Val : Node_Id) is
5685 pragma Assert (False
5686 or else NT (N).Nkind = N_Pragma);
5687 Set_Node4_With_Parent (N, Val);
5688 end Set_Pragma_Identifier;
5690 procedure Set_Pragmas_After
5691 (N : Node_Id; Val : List_Id) is
5693 pragma Assert (False
5694 or else NT (N).Nkind = N_Compilation_Unit_Aux
5695 or else NT (N).Nkind = N_Terminate_Alternative);
5696 Set_List5_With_Parent (N, Val);
5697 end Set_Pragmas_After;
5699 procedure Set_Pragmas_Before
5700 (N : Node_Id; Val : List_Id) is
5702 pragma Assert (False
5703 or else NT (N).Nkind = N_Accept_Alternative
5704 or else NT (N).Nkind = N_Delay_Alternative
5705 or else NT (N).Nkind = N_Entry_Call_Alternative
5706 or else NT (N).Nkind = N_Mod_Clause
5707 or else NT (N).Nkind = N_Terminate_Alternative
5708 or else NT (N).Nkind = N_Triggering_Alternative);
5709 Set_List4_With_Parent (N, Val);
5710 end Set_Pragmas_Before;
5712 procedure Set_Pre_Post_Conditions
5713 (N : Node_Id; Val : Node_Id) is
5715 pragma Assert (False
5716 or else NT (N).Nkind = N_Contract);
5717 Set_Node1 (N, Val); -- semantic field, no parent set
5718 end Set_Pre_Post_Conditions;
5720 procedure Set_Prefix
5721 (N : Node_Id; Val : Node_Id) is
5723 pragma Assert (False
5724 or else NT (N).Nkind = N_Attribute_Reference
5725 or else NT (N).Nkind = N_Expanded_Name
5726 or else NT (N).Nkind = N_Explicit_Dereference
5727 or else NT (N).Nkind = N_Indexed_Component
5728 or else NT (N).Nkind = N_Reference
5729 or else NT (N).Nkind = N_Selected_Component
5730 or else NT (N).Nkind = N_Slice);
5731 Set_Node3_With_Parent (N, Val);
5734 procedure Set_Premature_Use
5735 (N : Node_Id; Val : Node_Id) is
5737 pragma Assert (False
5738 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5740 end Set_Premature_Use;
5742 procedure Set_Present_Expr
5743 (N : Node_Id; Val : Uint) is
5745 pragma Assert (False
5746 or else NT (N).Nkind = N_Variant);
5748 end Set_Present_Expr;
5750 procedure Set_Prev_Ids
5751 (N : Node_Id; Val : Boolean := True) is
5753 pragma Assert (False
5754 or else NT (N).Nkind = N_Component_Declaration
5755 or else NT (N).Nkind = N_Discriminant_Specification
5756 or else NT (N).Nkind = N_Exception_Declaration
5757 or else NT (N).Nkind = N_Formal_Object_Declaration
5758 or else NT (N).Nkind = N_Number_Declaration
5759 or else NT (N).Nkind = N_Object_Declaration
5760 or else NT (N).Nkind = N_Parameter_Specification);
5764 procedure Set_Print_In_Hex
5765 (N : Node_Id; Val : Boolean := True) is
5767 pragma Assert (False
5768 or else NT (N).Nkind = N_Integer_Literal);
5769 Set_Flag13 (N, Val);
5770 end Set_Print_In_Hex;
5772 procedure Set_Private_Declarations
5773 (N : Node_Id; Val : List_Id) is
5775 pragma Assert (False
5776 or else NT (N).Nkind = N_Package_Specification
5777 or else NT (N).Nkind = N_Protected_Definition
5778 or else NT (N).Nkind = N_Task_Definition);
5779 Set_List3_With_Parent (N, Val);
5780 end Set_Private_Declarations;
5782 procedure Set_Private_Present
5783 (N : Node_Id; Val : Boolean := True) is
5785 pragma Assert (False
5786 or else NT (N).Nkind = N_Compilation_Unit
5787 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5788 or else NT (N).Nkind = N_With_Clause);
5789 Set_Flag15 (N, Val);
5790 end Set_Private_Present;
5792 procedure Set_Procedure_To_Call
5793 (N : Node_Id; Val : Node_Id) is
5795 pragma Assert (False
5796 or else NT (N).Nkind = N_Allocator
5797 or else NT (N).Nkind = N_Extended_Return_Statement
5798 or else NT (N).Nkind = N_Free_Statement
5799 or else NT (N).Nkind = N_Simple_Return_Statement);
5800 Set_Node2 (N, Val); -- semantic field, no parent set
5801 end Set_Procedure_To_Call;
5803 procedure Set_Proper_Body
5804 (N : Node_Id; Val : Node_Id) is
5806 pragma Assert (False
5807 or else NT (N).Nkind = N_Subunit);
5808 Set_Node1_With_Parent (N, Val);
5809 end Set_Proper_Body;
5811 procedure Set_Protected_Definition
5812 (N : Node_Id; Val : Node_Id) is
5814 pragma Assert (False
5815 or else NT (N).Nkind = N_Protected_Type_Declaration
5816 or else NT (N).Nkind = N_Single_Protected_Declaration);
5817 Set_Node3_With_Parent (N, Val);
5818 end Set_Protected_Definition;
5820 procedure Set_Protected_Present
5821 (N : Node_Id; Val : Boolean := True) is
5823 pragma Assert (False
5824 or else NT (N).Nkind = N_Access_Function_Definition
5825 or else NT (N).Nkind = N_Access_Procedure_Definition
5826 or else NT (N).Nkind = N_Derived_Type_Definition
5827 or else NT (N).Nkind = N_Record_Definition);
5829 end Set_Protected_Present;
5831 procedure Set_Raises_Constraint_Error
5832 (N : Node_Id; Val : Boolean := True) is
5834 pragma Assert (False
5835 or else NT (N).Nkind in N_Subexpr);
5837 end Set_Raises_Constraint_Error;
5839 procedure Set_Range_Constraint
5840 (N : Node_Id; Val : Node_Id) is
5842 pragma Assert (False
5843 or else NT (N).Nkind = N_Delta_Constraint
5844 or else NT (N).Nkind = N_Digits_Constraint);
5845 Set_Node4_With_Parent (N, Val);
5846 end Set_Range_Constraint;
5848 procedure Set_Range_Expression
5849 (N : Node_Id; Val : Node_Id) is
5851 pragma Assert (False
5852 or else NT (N).Nkind = N_Range_Constraint);
5853 Set_Node4_With_Parent (N, Val);
5854 end Set_Range_Expression;
5856 procedure Set_Real_Range_Specification
5857 (N : Node_Id; Val : Node_Id) is
5859 pragma Assert (False
5860 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5861 or else NT (N).Nkind = N_Floating_Point_Definition
5862 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5863 Set_Node4_With_Parent (N, Val);
5864 end Set_Real_Range_Specification;
5866 procedure Set_Realval
5867 (N : Node_Id; Val : Ureal) is
5869 pragma Assert (False
5870 or else NT (N).Nkind = N_Real_Literal);
5871 Set_Ureal3 (N, Val);
5874 procedure Set_Reason
5875 (N : Node_Id; Val : Uint) is
5877 pragma Assert (False
5878 or else NT (N).Nkind = N_Raise_Constraint_Error
5879 or else NT (N).Nkind = N_Raise_Program_Error
5880 or else NT (N).Nkind = N_Raise_Storage_Error);
5884 procedure Set_Record_Extension_Part
5885 (N : Node_Id; Val : Node_Id) is
5887 pragma Assert (False
5888 or else NT (N).Nkind = N_Derived_Type_Definition);
5889 Set_Node3_With_Parent (N, Val);
5890 end Set_Record_Extension_Part;
5892 procedure Set_Redundant_Use
5893 (N : Node_Id; Val : Boolean := True) is
5895 pragma Assert (False
5896 or else NT (N).Nkind = N_Attribute_Reference
5897 or else NT (N).Nkind = N_Expanded_Name
5898 or else NT (N).Nkind = N_Identifier);
5899 Set_Flag13 (N, Val);
5900 end Set_Redundant_Use;
5902 procedure Set_Renaming_Exception
5903 (N : Node_Id; Val : Node_Id) is
5905 pragma Assert (False
5906 or else NT (N).Nkind = N_Exception_Declaration);
5908 end Set_Renaming_Exception;
5910 procedure Set_Result_Definition
5911 (N : Node_Id; Val : Node_Id) is
5913 pragma Assert (False
5914 or else NT (N).Nkind = N_Access_Function_Definition
5915 or else NT (N).Nkind = N_Function_Specification);
5916 Set_Node4_With_Parent (N, Val);
5917 end Set_Result_Definition;
5919 procedure Set_Return_Object_Declarations
5920 (N : Node_Id; Val : List_Id) is
5922 pragma Assert (False
5923 or else NT (N).Nkind = N_Extended_Return_Statement);
5924 Set_List3_With_Parent (N, Val);
5925 end Set_Return_Object_Declarations;
5927 procedure Set_Return_Statement_Entity
5928 (N : Node_Id; Val : Node_Id) is
5930 pragma Assert (False
5931 or else NT (N).Nkind = N_Extended_Return_Statement
5932 or else NT (N).Nkind = N_Simple_Return_Statement);
5933 Set_Node5 (N, Val); -- semantic field, no parent set
5934 end Set_Return_Statement_Entity;
5936 procedure Set_Reverse_Present
5937 (N : Node_Id; Val : Boolean := True) is
5939 pragma Assert (False
5940 or else NT (N).Nkind = N_Iterator_Specification
5941 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5942 Set_Flag15 (N, Val);
5943 end Set_Reverse_Present;
5945 procedure Set_Right_Opnd
5946 (N : Node_Id; Val : Node_Id) is
5948 pragma Assert (False
5949 or else NT (N).Nkind in N_Op
5950 or else NT (N).Nkind = N_And_Then
5951 or else NT (N).Nkind = N_In
5952 or else NT (N).Nkind = N_Not_In
5953 or else NT (N).Nkind = N_Or_Else);
5954 Set_Node3_With_Parent (N, Val);
5957 procedure Set_Rounded_Result
5958 (N : Node_Id; Val : Boolean := True) is
5960 pragma Assert (False
5961 or else NT (N).Nkind = N_Op_Divide
5962 or else NT (N).Nkind = N_Op_Multiply
5963 or else NT (N).Nkind = N_Type_Conversion);
5964 Set_Flag18 (N, Val);
5965 end Set_Rounded_Result;
5967 procedure Set_SCIL_Controlling_Tag
5968 (N : Node_Id; Val : Node_Id) is
5970 pragma Assert (False
5971 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5972 Set_Node5 (N, Val); -- semantic field, no parent set
5973 end Set_SCIL_Controlling_Tag;
5975 procedure Set_SCIL_Entity
5976 (N : Node_Id; Val : Node_Id) is
5978 pragma Assert (False
5979 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5980 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5981 or else NT (N).Nkind = N_SCIL_Membership_Test);
5982 Set_Node4 (N, Val); -- semantic field, no parent set
5983 end Set_SCIL_Entity;
5985 procedure Set_SCIL_Tag_Value
5986 (N : Node_Id; Val : Node_Id) is
5988 pragma Assert (False
5989 or else NT (N).Nkind = N_SCIL_Membership_Test);
5990 Set_Node5 (N, Val); -- semantic field, no parent set
5991 end Set_SCIL_Tag_Value;
5993 procedure Set_SCIL_Target_Prim
5994 (N : Node_Id; Val : Node_Id) is
5996 pragma Assert (False
5997 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5998 Set_Node2 (N, Val); -- semantic field, no parent set
5999 end Set_SCIL_Target_Prim;
6002 (N : Node_Id; Val : Node_Id) is
6004 pragma Assert (False
6005 or else NT (N).Nkind = N_Defining_Character_Literal
6006 or else NT (N).Nkind = N_Defining_Identifier
6007 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6008 Set_Node3 (N, Val); -- semantic field, no parent set
6011 procedure Set_Select_Alternatives
6012 (N : Node_Id; Val : List_Id) is
6014 pragma Assert (False
6015 or else NT (N).Nkind = N_Selective_Accept);
6016 Set_List1_With_Parent (N, Val);
6017 end Set_Select_Alternatives;
6019 procedure Set_Selector_Name
6020 (N : Node_Id; Val : Node_Id) is
6022 pragma Assert (False
6023 or else NT (N).Nkind = N_Expanded_Name
6024 or else NT (N).Nkind = N_Generic_Association
6025 or else NT (N).Nkind = N_Parameter_Association
6026 or else NT (N).Nkind = N_Selected_Component);
6027 Set_Node2_With_Parent (N, Val);
6028 end Set_Selector_Name;
6030 procedure Set_Selector_Names
6031 (N : Node_Id; Val : List_Id) is
6033 pragma Assert (False
6034 or else NT (N).Nkind = N_Discriminant_Association);
6035 Set_List1_With_Parent (N, Val);
6036 end Set_Selector_Names;
6038 procedure Set_Shift_Count_OK
6039 (N : Node_Id; Val : Boolean := True) is
6041 pragma Assert (False
6042 or else NT (N).Nkind = N_Op_Rotate_Left
6043 or else NT (N).Nkind = N_Op_Rotate_Right
6044 or else NT (N).Nkind = N_Op_Shift_Left
6045 or else NT (N).Nkind = N_Op_Shift_Right
6046 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6048 end Set_Shift_Count_OK;
6050 procedure Set_Source_Type
6051 (N : Node_Id; Val : Entity_Id) is
6053 pragma Assert (False
6054 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6055 Set_Node1 (N, Val); -- semantic field, no parent set
6056 end Set_Source_Type;
6058 procedure Set_Specification
6059 (N : Node_Id; Val : Node_Id) is
6061 pragma Assert (False
6062 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6063 or else NT (N).Nkind = N_Expression_Function
6064 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6065 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6066 or else NT (N).Nkind = N_Generic_Package_Declaration
6067 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6068 or else NT (N).Nkind = N_Package_Declaration
6069 or else NT (N).Nkind = N_Subprogram_Body
6070 or else NT (N).Nkind = N_Subprogram_Body_Stub
6071 or else NT (N).Nkind = N_Subprogram_Declaration
6072 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6073 Set_Node1_With_Parent (N, Val);
6074 end Set_Specification;
6076 procedure Set_Split_PPC
6077 (N : Node_Id; Val : Boolean) is
6079 pragma Assert (False
6080 or else NT (N).Nkind = N_Aspect_Specification
6081 or else NT (N).Nkind = N_Pragma);
6082 Set_Flag17 (N, Val);
6085 procedure Set_Statements
6086 (N : Node_Id; Val : List_Id) is
6088 pragma Assert (False
6089 or else NT (N).Nkind = N_Abortable_Part
6090 or else NT (N).Nkind = N_Accept_Alternative
6091 or else NT (N).Nkind = N_Case_Statement_Alternative
6092 or else NT (N).Nkind = N_Delay_Alternative
6093 or else NT (N).Nkind = N_Entry_Call_Alternative
6094 or else NT (N).Nkind = N_Exception_Handler
6095 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6096 or else NT (N).Nkind = N_Loop_Statement
6097 or else NT (N).Nkind = N_Triggering_Alternative);
6098 Set_List3_With_Parent (N, Val);
6101 procedure Set_Storage_Pool
6102 (N : Node_Id; Val : Node_Id) is
6104 pragma Assert (False
6105 or else NT (N).Nkind = N_Allocator
6106 or else NT (N).Nkind = N_Extended_Return_Statement
6107 or else NT (N).Nkind = N_Free_Statement
6108 or else NT (N).Nkind = N_Simple_Return_Statement);
6109 Set_Node1 (N, Val); -- semantic field, no parent set
6110 end Set_Storage_Pool;
6112 procedure Set_Subpool_Handle_Name
6113 (N : Node_Id; Val : Node_Id) is
6115 pragma Assert (False
6116 or else NT (N).Nkind = N_Allocator);
6117 Set_Node4_With_Parent (N, Val);
6118 end Set_Subpool_Handle_Name;
6120 procedure Set_Strval
6121 (N : Node_Id; Val : String_Id) is
6123 pragma Assert (False
6124 or else NT (N).Nkind = N_Operator_Symbol
6125 or else NT (N).Nkind = N_String_Literal);
6129 procedure Set_Subtype_Indication
6130 (N : Node_Id; Val : Node_Id) is
6132 pragma Assert (False
6133 or else NT (N).Nkind = N_Access_To_Object_Definition
6134 or else NT (N).Nkind = N_Component_Definition
6135 or else NT (N).Nkind = N_Derived_Type_Definition
6136 or else NT (N).Nkind = N_Iterator_Specification
6137 or else NT (N).Nkind = N_Private_Extension_Declaration
6138 or else NT (N).Nkind = N_Subtype_Declaration);
6139 Set_Node5_With_Parent (N, Val);
6140 end Set_Subtype_Indication;
6142 procedure Set_Subtype_Mark
6143 (N : Node_Id; Val : Node_Id) is
6145 pragma Assert (False
6146 or else NT (N).Nkind = N_Access_Definition
6147 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6148 or else NT (N).Nkind = N_Formal_Object_Declaration
6149 or else NT (N).Nkind = N_Object_Renaming_Declaration
6150 or else NT (N).Nkind = N_Qualified_Expression
6151 or else NT (N).Nkind = N_Subtype_Indication
6152 or else NT (N).Nkind = N_Type_Conversion
6153 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6154 Set_Node4_With_Parent (N, Val);
6155 end Set_Subtype_Mark;
6157 procedure Set_Subtype_Marks
6158 (N : Node_Id; Val : List_Id) is
6160 pragma Assert (False
6161 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6162 or else NT (N).Nkind = N_Use_Type_Clause);
6163 Set_List2_With_Parent (N, Val);
6164 end Set_Subtype_Marks;
6166 procedure Set_Suppress_Assignment_Checks
6167 (N : Node_Id; Val : Boolean := True) is
6169 pragma Assert (False
6170 or else NT (N).Nkind = N_Assignment_Statement
6171 or else NT (N).Nkind = N_Object_Declaration);
6172 Set_Flag18 (N, Val);
6173 end Set_Suppress_Assignment_Checks;
6175 procedure Set_Suppress_Loop_Warnings
6176 (N : Node_Id; Val : Boolean := True) is
6178 pragma Assert (False
6179 or else NT (N).Nkind = N_Loop_Statement);
6180 Set_Flag17 (N, Val);
6181 end Set_Suppress_Loop_Warnings;
6183 procedure Set_Synchronized_Present
6184 (N : Node_Id; Val : Boolean := True) is
6186 pragma Assert (False
6187 or else NT (N).Nkind = N_Derived_Type_Definition
6188 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6189 or else NT (N).Nkind = N_Private_Extension_Declaration
6190 or else NT (N).Nkind = N_Record_Definition);
6192 end Set_Synchronized_Present;
6194 procedure Set_Tagged_Present
6195 (N : Node_Id; Val : Boolean := True) is
6197 pragma Assert (False
6198 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6199 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6200 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6201 or else NT (N).Nkind = N_Private_Type_Declaration
6202 or else NT (N).Nkind = N_Record_Definition);
6203 Set_Flag15 (N, Val);
6204 end Set_Tagged_Present;
6206 procedure Set_Target_Type
6207 (N : Node_Id; Val : Entity_Id) is
6209 pragma Assert (False
6210 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6211 Set_Node2 (N, Val); -- semantic field, no parent set
6212 end Set_Target_Type;
6214 procedure Set_Task_Definition
6215 (N : Node_Id; Val : Node_Id) is
6217 pragma Assert (False
6218 or else NT (N).Nkind = N_Single_Task_Declaration
6219 or else NT (N).Nkind = N_Task_Type_Declaration);
6220 Set_Node3_With_Parent (N, Val);
6221 end Set_Task_Definition;
6223 procedure Set_Task_Present
6224 (N : Node_Id; Val : Boolean := True) is
6226 pragma Assert (False
6227 or else NT (N).Nkind = N_Derived_Type_Definition
6228 or else NT (N).Nkind = N_Record_Definition);
6230 end Set_Task_Present;
6232 procedure Set_Then_Actions
6233 (N : Node_Id; Val : List_Id) is
6235 pragma Assert (False
6236 or else NT (N).Nkind = N_If_Expression);
6237 Set_List2 (N, Val); -- semantic field, no parent set
6238 end Set_Then_Actions;
6240 procedure Set_Then_Statements
6241 (N : Node_Id; Val : List_Id) is
6243 pragma Assert (False
6244 or else NT (N).Nkind = N_Elsif_Part
6245 or else NT (N).Nkind = N_If_Statement);
6246 Set_List2_With_Parent (N, Val);
6247 end Set_Then_Statements;
6249 procedure Set_Treat_Fixed_As_Integer
6250 (N : Node_Id; Val : Boolean := True) is
6252 pragma Assert (False
6253 or else NT (N).Nkind = N_Op_Divide
6254 or else NT (N).Nkind = N_Op_Mod
6255 or else NT (N).Nkind = N_Op_Multiply
6256 or else NT (N).Nkind = N_Op_Rem);
6257 Set_Flag14 (N, Val);
6258 end Set_Treat_Fixed_As_Integer;
6260 procedure Set_Triggering_Alternative
6261 (N : Node_Id; Val : Node_Id) is
6263 pragma Assert (False
6264 or else NT (N).Nkind = N_Asynchronous_Select);
6265 Set_Node1_With_Parent (N, Val);
6266 end Set_Triggering_Alternative;
6268 procedure Set_Triggering_Statement
6269 (N : Node_Id; Val : Node_Id) is
6271 pragma Assert (False
6272 or else NT (N).Nkind = N_Triggering_Alternative);
6273 Set_Node1_With_Parent (N, Val);
6274 end Set_Triggering_Statement;
6276 procedure Set_TSS_Elist
6277 (N : Node_Id; Val : Elist_Id) is
6279 pragma Assert (False
6280 or else NT (N).Nkind = N_Freeze_Entity);
6281 Set_Elist3 (N, Val); -- semantic field, no parent set
6284 procedure Set_Type_Definition
6285 (N : Node_Id; Val : Node_Id) is
6287 pragma Assert (False
6288 or else NT (N).Nkind = N_Full_Type_Declaration);
6289 Set_Node3_With_Parent (N, Val);
6290 end Set_Type_Definition;
6293 (N : Node_Id; Val : Node_Id) is
6295 pragma Assert (False
6296 or else NT (N).Nkind = N_Compilation_Unit);
6297 Set_Node2_With_Parent (N, Val);
6300 procedure Set_Unknown_Discriminants_Present
6301 (N : Node_Id; Val : Boolean := True) is
6303 pragma Assert (False
6304 or else NT (N).Nkind = N_Formal_Type_Declaration
6305 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6306 or else NT (N).Nkind = N_Private_Extension_Declaration
6307 or else NT (N).Nkind = N_Private_Type_Declaration);
6308 Set_Flag13 (N, Val);
6309 end Set_Unknown_Discriminants_Present;
6311 procedure Set_Unreferenced_In_Spec
6312 (N : Node_Id; Val : Boolean := True) is
6314 pragma Assert (False
6315 or else NT (N).Nkind = N_With_Clause);
6317 end Set_Unreferenced_In_Spec;
6319 procedure Set_Variant_Part
6320 (N : Node_Id; Val : Node_Id) is
6322 pragma Assert (False
6323 or else NT (N).Nkind = N_Component_List);
6324 Set_Node4_With_Parent (N, Val);
6325 end Set_Variant_Part;
6327 procedure Set_Variants
6328 (N : Node_Id; Val : List_Id) is
6330 pragma Assert (False
6331 or else NT (N).Nkind = N_Variant_Part);
6332 Set_List1_With_Parent (N, Val);
6335 procedure Set_Visible_Declarations
6336 (N : Node_Id; Val : List_Id) is
6338 pragma Assert (False
6339 or else NT (N).Nkind = N_Package_Specification
6340 or else NT (N).Nkind = N_Protected_Definition
6341 or else NT (N).Nkind = N_Task_Definition);
6342 Set_List2_With_Parent (N, Val);
6343 end Set_Visible_Declarations;
6345 procedure Set_Uninitialized_Variable
6346 (N : Node_Id; Val : Node_Id) is
6348 pragma Assert (False
6349 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6350 or else NT (N).Nkind = N_Private_Extension_Declaration);
6352 end Set_Uninitialized_Variable;
6354 procedure Set_Used_Operations
6355 (N : Node_Id; Val : Elist_Id) is
6357 pragma Assert (False
6358 or else NT (N).Nkind = N_Use_Type_Clause);
6359 Set_Elist5 (N, Val);
6360 end Set_Used_Operations;
6362 procedure Set_Was_Originally_Stub
6363 (N : Node_Id; Val : Boolean := True) is
6365 pragma Assert (False
6366 or else NT (N).Nkind = N_Package_Body
6367 or else NT (N).Nkind = N_Protected_Body
6368 or else NT (N).Nkind = N_Subprogram_Body
6369 or else NT (N).Nkind = N_Task_Body);
6370 Set_Flag13 (N, Val);
6371 end Set_Was_Originally_Stub;
6373 procedure Set_Withed_Body
6374 (N : Node_Id; Val : Node_Id) is
6376 pragma Assert (False
6377 or else NT (N).Nkind = N_With_Clause);
6379 end Set_Withed_Body;
6381 -------------------------
6382 -- Iterator Procedures --
6383 -------------------------
6385 procedure Next_Entity (N : in out Node_Id) is
6387 N := Next_Entity (N);
6390 procedure Next_Named_Actual (N : in out Node_Id) is
6392 N := Next_Named_Actual (N);
6393 end Next_Named_Actual;
6395 procedure Next_Rep_Item (N : in out Node_Id) is
6397 N := Next_Rep_Item (N);
6400 procedure Next_Use_Clause (N : in out Node_Id) is
6402 N := Next_Use_Clause (N);
6403 end Next_Use_Clause;
6409 function End_Location (N : Node_Id) return Source_Ptr is
6410 L : constant Uint := End_Span (N);
6415 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6419 --------------------
6420 -- Get_Pragma_Arg --
6421 --------------------
6423 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6425 if Nkind (Arg) = N_Pragma_Argument_Association then
6426 return Expression (Arg);
6432 ----------------------
6433 -- Set_End_Location --
6434 ----------------------
6436 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6439 UI_From_Int (Int (S) - Int (Sloc (N))));
6440 end Set_End_Location;
6449 V2 : Node_Kind) return Boolean
6452 return T = V1 or else
6460 V3 : Node_Kind) return Boolean
6463 return T = V1 or else
6473 V4 : Node_Kind) return Boolean
6476 return T = V1 or else
6488 V5 : Node_Kind) return Boolean
6491 return T = V1 or else
6505 V6 : Node_Kind) return Boolean
6508 return T = V1 or else
6524 V7 : Node_Kind) return Boolean
6527 return T = V1 or else
6545 V8 : Node_Kind) return Boolean
6548 return T = V1 or else
6568 V9 : Node_Kind) return Boolean
6571 return T = V1 or else
6586 function Pragma_Name (N : Node_Id) return Name_Id is
6588 return Chars (Pragma_Identifier (N));