1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2011, 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_Expression_With_Actions
152 or else NT (N).Nkind = N_Freeze_Entity
153 or else NT (N).Nkind = N_Or_Else);
157 function Activation_Chain_Entity
158 (N : Node_Id) return Node_Id is
161 or else NT (N).Nkind = N_Block_Statement
162 or else NT (N).Nkind = N_Entry_Body
163 or else NT (N).Nkind = N_Generic_Package_Declaration
164 or else NT (N).Nkind = N_Package_Declaration
165 or else NT (N).Nkind = N_Subprogram_Body
166 or else NT (N).Nkind = N_Task_Body);
168 end Activation_Chain_Entity;
170 function Acts_As_Spec
171 (N : Node_Id) return Boolean is
174 or else NT (N).Nkind = N_Compilation_Unit
175 or else NT (N).Nkind = N_Subprogram_Body);
179 function Actual_Designated_Subtype
180 (N : Node_Id) return Node_Id is
183 or else NT (N).Nkind = N_Explicit_Dereference
184 or else NT (N).Nkind = N_Free_Statement);
186 end Actual_Designated_Subtype;
188 function Address_Warning_Posted
189 (N : Node_Id) return Boolean is
192 or else NT (N).Nkind = N_Attribute_Definition_Clause);
194 end Address_Warning_Posted;
196 function Aggregate_Bounds
197 (N : Node_Id) return Node_Id is
200 or else NT (N).Nkind = N_Aggregate);
202 end Aggregate_Bounds;
204 function Aliased_Present
205 (N : Node_Id) return Boolean is
208 or else NT (N).Nkind = N_Component_Definition
209 or else NT (N).Nkind = N_Object_Declaration
210 or else NT (N).Nkind = N_Parameter_Specification);
215 (N : Node_Id) return Boolean is
218 or else NT (N).Nkind = N_Others_Choice);
223 (N : Node_Id) return Boolean is
226 or else NT (N).Nkind = N_Access_Definition
227 or else NT (N).Nkind = N_Access_To_Object_Definition
228 or else NT (N).Nkind = N_Quantified_Expression
229 or else NT (N).Nkind = N_Use_Type_Clause);
233 function Alternatives
234 (N : Node_Id) return List_Id is
237 or else NT (N).Nkind = N_Case_Expression
238 or else NT (N).Nkind = N_Case_Statement
239 or else NT (N).Nkind = N_In
240 or else NT (N).Nkind = N_Not_In);
244 function Ancestor_Part
245 (N : Node_Id) return Node_Id is
248 or else NT (N).Nkind = N_Extension_Aggregate);
252 function Array_Aggregate
253 (N : Node_Id) return Node_Id is
256 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
260 function Aspect_Rep_Item
261 (N : Node_Id) return Node_Id is
264 or else NT (N).Nkind = N_Aspect_Specification);
268 function Assignment_OK
269 (N : Node_Id) return Boolean is
272 or else NT (N).Nkind = N_Object_Declaration
273 or else NT (N).Nkind in N_Subexpr);
277 function Associated_Node
278 (N : Node_Id) return Node_Id is
281 or else NT (N).Nkind in N_Has_Entity
282 or else NT (N).Nkind = N_Aggregate
283 or else NT (N).Nkind = N_Extension_Aggregate
284 or else NT (N).Nkind = N_Selected_Component);
289 (N : Node_Id) return Node_Id is
292 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
296 function Attribute_Name
297 (N : Node_Id) return Name_Id is
300 or else NT (N).Nkind = N_Attribute_Reference);
304 function Aux_Decls_Node
305 (N : Node_Id) return Node_Id is
308 or else NT (N).Nkind = N_Compilation_Unit);
312 function Backwards_OK
313 (N : Node_Id) return Boolean is
316 or else NT (N).Nkind = N_Assignment_Statement);
320 function Bad_Is_Detected
321 (N : Node_Id) return Boolean is
324 or else NT (N).Nkind = N_Subprogram_Body);
328 function Body_Required
329 (N : Node_Id) return Boolean is
332 or else NT (N).Nkind = N_Compilation_Unit);
336 function Body_To_Inline
337 (N : Node_Id) return Node_Id is
340 or else NT (N).Nkind = N_Subprogram_Declaration);
345 (N : Node_Id) return Boolean is
348 or else NT (N).Nkind = N_Component_Association
349 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
350 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
351 or else NT (N).Nkind = N_Formal_Package_Declaration
352 or else NT (N).Nkind = N_Generic_Association);
357 (N : Node_Id) return Boolean is
360 or else NT (N).Nkind = N_Extended_Return_Statement
361 or else NT (N).Nkind = N_Return_Statement);
365 function Char_Literal_Value
366 (N : Node_Id) return Uint is
369 or else NT (N).Nkind = N_Character_Literal);
371 end Char_Literal_Value;
374 (N : Node_Id) return Name_Id is
377 or else NT (N).Nkind in N_Has_Chars);
381 function Check_Address_Alignment
382 (N : Node_Id) return Boolean is
385 or else NT (N).Nkind = N_Attribute_Definition_Clause);
387 end Check_Address_Alignment;
389 function Choice_Parameter
390 (N : Node_Id) return Node_Id is
393 or else NT (N).Nkind = N_Exception_Handler);
395 end Choice_Parameter;
398 (N : Node_Id) return List_Id is
401 or else NT (N).Nkind = N_Component_Association);
405 function Class_Present
406 (N : Node_Id) return Boolean is
409 or else NT (N).Nkind = N_Aspect_Specification
410 or else NT (N).Nkind = N_Pragma);
414 function Comes_From_Extended_Return_Statement
415 (N : Node_Id) return Boolean is
418 or else NT (N).Nkind = N_Return_Statement);
420 end Comes_From_Extended_Return_Statement;
422 function Compile_Time_Known_Aggregate
423 (N : Node_Id) return Boolean is
426 or else NT (N).Nkind = N_Aggregate);
428 end Compile_Time_Known_Aggregate;
430 function Component_Associations
431 (N : Node_Id) return List_Id is
434 or else NT (N).Nkind = N_Aggregate
435 or else NT (N).Nkind = N_Extension_Aggregate);
437 end Component_Associations;
439 function Component_Clauses
440 (N : Node_Id) return List_Id is
443 or else NT (N).Nkind = N_Record_Representation_Clause);
445 end Component_Clauses;
447 function Component_Definition
448 (N : Node_Id) return Node_Id is
451 or else NT (N).Nkind = N_Component_Declaration
452 or else NT (N).Nkind = N_Constrained_Array_Definition
453 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
455 end Component_Definition;
457 function Component_Items
458 (N : Node_Id) return List_Id is
461 or else NT (N).Nkind = N_Component_List);
465 function Component_List
466 (N : Node_Id) return Node_Id is
469 or else NT (N).Nkind = N_Record_Definition
470 or else NT (N).Nkind = N_Variant);
474 function Component_Name
475 (N : Node_Id) return Node_Id is
478 or else NT (N).Nkind = N_Component_Clause);
482 function Componentwise_Assignment
483 (N : Node_Id) return Boolean is
486 or else NT (N).Nkind = N_Assignment_Statement);
488 end Componentwise_Assignment;
491 (N : Node_Id) return Node_Id is
494 or else NT (N).Nkind = N_Accept_Alternative
495 or else NT (N).Nkind = N_Delay_Alternative
496 or else NT (N).Nkind = N_Elsif_Part
497 or else NT (N).Nkind = N_Entry_Body_Formal_Part
498 or else NT (N).Nkind = N_Exit_Statement
499 or else NT (N).Nkind = N_If_Statement
500 or else NT (N).Nkind = N_Iteration_Scheme
501 or else NT (N).Nkind = N_Quantified_Expression
502 or else NT (N).Nkind = N_Raise_Constraint_Error
503 or else NT (N).Nkind = N_Raise_Program_Error
504 or else NT (N).Nkind = N_Raise_Storage_Error
505 or else NT (N).Nkind = N_Terminate_Alternative);
509 function Condition_Actions
510 (N : Node_Id) return List_Id is
513 or else NT (N).Nkind = N_Elsif_Part
514 or else NT (N).Nkind = N_Iteration_Scheme);
516 end Condition_Actions;
518 function Config_Pragmas
519 (N : Node_Id) return List_Id is
522 or else NT (N).Nkind = N_Compilation_Unit_Aux);
526 function Constant_Present
527 (N : Node_Id) return Boolean is
530 or else NT (N).Nkind = N_Access_Definition
531 or else NT (N).Nkind = N_Access_To_Object_Definition
532 or else NT (N).Nkind = N_Object_Declaration);
534 end Constant_Present;
537 (N : Node_Id) return Node_Id is
540 or else NT (N).Nkind = N_Subtype_Indication);
545 (N : Node_Id) return List_Id is
548 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
552 function Context_Installed
553 (N : Node_Id) return Boolean is
556 or else NT (N).Nkind = N_With_Clause);
558 end Context_Installed;
560 function Context_Items
561 (N : Node_Id) return List_Id is
564 or else NT (N).Nkind = N_Compilation_Unit);
568 function Context_Pending
569 (N : Node_Id) return Boolean is
572 or else NT (N).Nkind = N_Compilation_Unit);
576 function Controlling_Argument
577 (N : Node_Id) return Node_Id is
580 or else NT (N).Nkind = N_Function_Call
581 or else NT (N).Nkind = N_Procedure_Call_Statement);
583 end Controlling_Argument;
585 function Conversion_OK
586 (N : Node_Id) return Boolean is
589 or else NT (N).Nkind = N_Type_Conversion);
593 function Corresponding_Aspect
594 (N : Node_Id) return Node_Id is
597 or else NT (N).Nkind = N_Pragma);
599 end Corresponding_Aspect;
601 function Corresponding_Body
602 (N : Node_Id) return Node_Id is
605 or else NT (N).Nkind = N_Entry_Declaration
606 or else NT (N).Nkind = N_Generic_Package_Declaration
607 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
608 or else NT (N).Nkind = N_Package_Body_Stub
609 or else NT (N).Nkind = N_Package_Declaration
610 or else NT (N).Nkind = N_Protected_Body_Stub
611 or else NT (N).Nkind = N_Protected_Type_Declaration
612 or else NT (N).Nkind = N_Subprogram_Body_Stub
613 or else NT (N).Nkind = N_Subprogram_Declaration
614 or else NT (N).Nkind = N_Task_Body_Stub
615 or else NT (N).Nkind = N_Task_Type_Declaration);
617 end Corresponding_Body;
619 function Corresponding_Formal_Spec
620 (N : Node_Id) return Node_Id is
623 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
625 end Corresponding_Formal_Spec;
627 function Corresponding_Generic_Association
628 (N : Node_Id) return Node_Id is
631 or else NT (N).Nkind = N_Object_Declaration
632 or else NT (N).Nkind = N_Object_Renaming_Declaration);
634 end Corresponding_Generic_Association;
636 function Corresponding_Integer_Value
637 (N : Node_Id) return Uint is
640 or else NT (N).Nkind = N_Real_Literal);
642 end Corresponding_Integer_Value;
644 function Corresponding_Spec
645 (N : Node_Id) return Node_Id is
648 or else NT (N).Nkind = N_Package_Body
649 or else NT (N).Nkind = N_Protected_Body
650 or else NT (N).Nkind = N_Subprogram_Body
651 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
652 or else NT (N).Nkind = N_Task_Body
653 or else NT (N).Nkind = N_With_Clause);
655 end Corresponding_Spec;
657 function Corresponding_Stub
658 (N : Node_Id) return Node_Id is
661 or else NT (N).Nkind = N_Subunit);
663 end Corresponding_Stub;
665 function Dcheck_Function
666 (N : Node_Id) return Entity_Id is
669 or else NT (N).Nkind = N_Variant);
673 function Declarations
674 (N : Node_Id) return List_Id is
677 or else NT (N).Nkind = N_Accept_Statement
678 or else NT (N).Nkind = N_Block_Statement
679 or else NT (N).Nkind = N_Compilation_Unit_Aux
680 or else NT (N).Nkind = N_Entry_Body
681 or else NT (N).Nkind = N_Package_Body
682 or else NT (N).Nkind = N_Protected_Body
683 or else NT (N).Nkind = N_Subprogram_Body
684 or else NT (N).Nkind = N_Task_Body);
688 function Default_Expression
689 (N : Node_Id) return Node_Id is
692 or else NT (N).Nkind = N_Formal_Object_Declaration
693 or else NT (N).Nkind = N_Parameter_Specification);
695 end Default_Expression;
697 function Default_Storage_Pool
698 (N : Node_Id) return Node_Id is
701 or else NT (N).Nkind = N_Compilation_Unit_Aux);
703 end Default_Storage_Pool;
705 function Default_Name
706 (N : Node_Id) return Node_Id is
709 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
710 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
714 function Defining_Identifier
715 (N : Node_Id) return Entity_Id is
718 or else NT (N).Nkind = N_Component_Declaration
719 or else NT (N).Nkind = N_Defining_Program_Unit_Name
720 or else NT (N).Nkind = N_Discriminant_Specification
721 or else NT (N).Nkind = N_Entry_Body
722 or else NT (N).Nkind = N_Entry_Declaration
723 or else NT (N).Nkind = N_Entry_Index_Specification
724 or else NT (N).Nkind = N_Exception_Declaration
725 or else NT (N).Nkind = N_Exception_Renaming_Declaration
726 or else NT (N).Nkind = N_Formal_Object_Declaration
727 or else NT (N).Nkind = N_Formal_Package_Declaration
728 or else NT (N).Nkind = N_Formal_Type_Declaration
729 or else NT (N).Nkind = N_Full_Type_Declaration
730 or else NT (N).Nkind = N_Implicit_Label_Declaration
731 or else NT (N).Nkind = N_Incomplete_Type_Declaration
732 or else NT (N).Nkind = N_Iterator_Specification
733 or else NT (N).Nkind = N_Loop_Parameter_Specification
734 or else NT (N).Nkind = N_Number_Declaration
735 or else NT (N).Nkind = N_Object_Declaration
736 or else NT (N).Nkind = N_Object_Renaming_Declaration
737 or else NT (N).Nkind = N_Package_Body_Stub
738 or else NT (N).Nkind = N_Parameter_Specification
739 or else NT (N).Nkind = N_Private_Extension_Declaration
740 or else NT (N).Nkind = N_Private_Type_Declaration
741 or else NT (N).Nkind = N_Protected_Body
742 or else NT (N).Nkind = N_Protected_Body_Stub
743 or else NT (N).Nkind = N_Protected_Type_Declaration
744 or else NT (N).Nkind = N_Single_Protected_Declaration
745 or else NT (N).Nkind = N_Single_Task_Declaration
746 or else NT (N).Nkind = N_Subtype_Declaration
747 or else NT (N).Nkind = N_Task_Body
748 or else NT (N).Nkind = N_Task_Body_Stub
749 or else NT (N).Nkind = N_Task_Type_Declaration);
751 end Defining_Identifier;
753 function Defining_Unit_Name
754 (N : Node_Id) return Node_Id is
757 or else NT (N).Nkind = N_Function_Instantiation
758 or else NT (N).Nkind = N_Function_Specification
759 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
760 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
761 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
762 or else NT (N).Nkind = N_Package_Body
763 or else NT (N).Nkind = N_Package_Instantiation
764 or else NT (N).Nkind = N_Package_Renaming_Declaration
765 or else NT (N).Nkind = N_Package_Specification
766 or else NT (N).Nkind = N_Procedure_Instantiation
767 or else NT (N).Nkind = N_Procedure_Specification);
769 end Defining_Unit_Name;
771 function Delay_Alternative
772 (N : Node_Id) return Node_Id is
775 or else NT (N).Nkind = N_Timed_Entry_Call);
777 end Delay_Alternative;
779 function Delay_Statement
780 (N : Node_Id) return Node_Id is
783 or else NT (N).Nkind = N_Delay_Alternative);
787 function Delta_Expression
788 (N : Node_Id) return Node_Id is
791 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
792 or else NT (N).Nkind = N_Delta_Constraint
793 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
795 end Delta_Expression;
797 function Digits_Expression
798 (N : Node_Id) return Node_Id is
801 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
802 or else NT (N).Nkind = N_Digits_Constraint
803 or else NT (N).Nkind = N_Floating_Point_Definition);
805 end Digits_Expression;
807 function Discr_Check_Funcs_Built
808 (N : Node_Id) return Boolean is
811 or else NT (N).Nkind = N_Full_Type_Declaration);
813 end Discr_Check_Funcs_Built;
815 function Discrete_Choices
816 (N : Node_Id) return List_Id is
819 or else NT (N).Nkind = N_Case_Expression_Alternative
820 or else NT (N).Nkind = N_Case_Statement_Alternative
821 or else NT (N).Nkind = N_Variant);
823 end Discrete_Choices;
825 function Discrete_Range
826 (N : Node_Id) return Node_Id is
829 or else NT (N).Nkind = N_Slice);
833 function Discrete_Subtype_Definition
834 (N : Node_Id) return Node_Id is
837 or else NT (N).Nkind = N_Entry_Declaration
838 or else NT (N).Nkind = N_Entry_Index_Specification
839 or else NT (N).Nkind = N_Loop_Parameter_Specification);
841 end Discrete_Subtype_Definition;
843 function Discrete_Subtype_Definitions
844 (N : Node_Id) return List_Id is
847 or else NT (N).Nkind = N_Constrained_Array_Definition);
849 end Discrete_Subtype_Definitions;
851 function Discriminant_Specifications
852 (N : Node_Id) return List_Id is
855 or else NT (N).Nkind = N_Formal_Type_Declaration
856 or else NT (N).Nkind = N_Full_Type_Declaration
857 or else NT (N).Nkind = N_Incomplete_Type_Declaration
858 or else NT (N).Nkind = N_Private_Extension_Declaration
859 or else NT (N).Nkind = N_Private_Type_Declaration
860 or else NT (N).Nkind = N_Protected_Type_Declaration
861 or else NT (N).Nkind = N_Task_Type_Declaration);
863 end Discriminant_Specifications;
865 function Discriminant_Type
866 (N : Node_Id) return Node_Id is
869 or else NT (N).Nkind = N_Discriminant_Specification);
871 end Discriminant_Type;
873 function Do_Accessibility_Check
874 (N : Node_Id) return Boolean is
877 or else NT (N).Nkind = N_Parameter_Specification);
879 end Do_Accessibility_Check;
881 function Do_Discriminant_Check
882 (N : Node_Id) return Boolean is
885 or else NT (N).Nkind = N_Selected_Component);
887 end Do_Discriminant_Check;
889 function Do_Division_Check
890 (N : Node_Id) return Boolean is
893 or else NT (N).Nkind = N_Op_Divide
894 or else NT (N).Nkind = N_Op_Mod
895 or else NT (N).Nkind = N_Op_Rem);
897 end Do_Division_Check;
899 function Do_Length_Check
900 (N : Node_Id) return Boolean is
903 or else NT (N).Nkind = N_Assignment_Statement
904 or else NT (N).Nkind = N_Op_And
905 or else NT (N).Nkind = N_Op_Or
906 or else NT (N).Nkind = N_Op_Xor
907 or else NT (N).Nkind = N_Type_Conversion);
911 function Do_Overflow_Check
912 (N : Node_Id) return Boolean is
915 or else NT (N).Nkind in N_Op
916 or else NT (N).Nkind = N_Attribute_Reference
917 or else NT (N).Nkind = N_Type_Conversion);
919 end Do_Overflow_Check;
921 function Do_Range_Check
922 (N : Node_Id) return Boolean is
925 or else NT (N).Nkind in N_Subexpr);
929 function Do_Storage_Check
930 (N : Node_Id) return Boolean is
933 or else NT (N).Nkind = N_Allocator
934 or else NT (N).Nkind = N_Subprogram_Body);
936 end Do_Storage_Check;
938 function Do_Tag_Check
939 (N : Node_Id) return Boolean is
942 or else NT (N).Nkind = N_Assignment_Statement
943 or else NT (N).Nkind = N_Extended_Return_Statement
944 or else NT (N).Nkind = N_Function_Call
945 or else NT (N).Nkind = N_Procedure_Call_Statement
946 or else NT (N).Nkind = N_Return_Statement
947 or else NT (N).Nkind = N_Type_Conversion);
951 function Elaborate_All_Desirable
952 (N : Node_Id) return Boolean is
955 or else NT (N).Nkind = N_With_Clause);
957 end Elaborate_All_Desirable;
959 function Elaborate_All_Present
960 (N : Node_Id) return Boolean is
963 or else NT (N).Nkind = N_With_Clause);
965 end Elaborate_All_Present;
967 function Elaborate_Desirable
968 (N : Node_Id) return Boolean is
971 or else NT (N).Nkind = N_With_Clause);
973 end Elaborate_Desirable;
975 function Elaborate_Present
976 (N : Node_Id) return Boolean is
979 or else NT (N).Nkind = N_With_Clause);
981 end Elaborate_Present;
983 function Elaboration_Boolean
984 (N : Node_Id) return Node_Id is
987 or else NT (N).Nkind = N_Function_Specification
988 or else NT (N).Nkind = N_Procedure_Specification);
990 end Elaboration_Boolean;
992 function Else_Actions
993 (N : Node_Id) return List_Id is
996 or else NT (N).Nkind = N_Conditional_Expression);
1000 function Else_Statements
1001 (N : Node_Id) return List_Id is
1003 pragma Assert (False
1004 or else NT (N).Nkind = N_Conditional_Entry_Call
1005 or else NT (N).Nkind = N_If_Statement
1006 or else NT (N).Nkind = N_Selective_Accept);
1008 end Else_Statements;
1010 function Elsif_Parts
1011 (N : Node_Id) return List_Id is
1013 pragma Assert (False
1014 or else NT (N).Nkind = N_If_Statement);
1018 function Enclosing_Variant
1019 (N : Node_Id) return Node_Id is
1021 pragma Assert (False
1022 or else NT (N).Nkind = N_Variant);
1024 end Enclosing_Variant;
1027 (N : Node_Id) return Node_Id is
1029 pragma Assert (False
1030 or else NT (N).Nkind = N_Enumeration_Type_Definition
1031 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1032 or else NT (N).Nkind = N_Loop_Statement
1033 or else NT (N).Nkind = N_Package_Specification
1034 or else NT (N).Nkind = N_Protected_Body
1035 or else NT (N).Nkind = N_Protected_Definition
1036 or else NT (N).Nkind = N_Record_Definition
1037 or else NT (N).Nkind = N_Task_Definition);
1042 (N : Node_Id) return Uint is
1044 pragma Assert (False
1045 or else NT (N).Nkind = N_Case_Statement
1046 or else NT (N).Nkind = N_If_Statement);
1051 (N : Node_Id) return Node_Id is
1053 pragma Assert (False
1054 or else NT (N).Nkind in N_Has_Entity
1055 or else NT (N).Nkind = N_Aspect_Specification
1056 or else NT (N).Nkind = N_Attribute_Definition_Clause
1057 or else NT (N).Nkind = N_Freeze_Entity);
1061 function Entity_Or_Associated_Node
1062 (N : Node_Id) return Node_Id is
1064 pragma Assert (False
1065 or else NT (N).Nkind in N_Has_Entity
1066 or else NT (N).Nkind = N_Freeze_Entity);
1068 end Entity_Or_Associated_Node;
1070 function Entry_Body_Formal_Part
1071 (N : Node_Id) return Node_Id is
1073 pragma Assert (False
1074 or else NT (N).Nkind = N_Entry_Body);
1076 end Entry_Body_Formal_Part;
1078 function Entry_Call_Alternative
1079 (N : Node_Id) return Node_Id is
1081 pragma Assert (False
1082 or else NT (N).Nkind = N_Conditional_Entry_Call
1083 or else NT (N).Nkind = N_Timed_Entry_Call);
1085 end Entry_Call_Alternative;
1087 function Entry_Call_Statement
1088 (N : Node_Id) return Node_Id is
1090 pragma Assert (False
1091 or else NT (N).Nkind = N_Entry_Call_Alternative);
1093 end Entry_Call_Statement;
1095 function Entry_Direct_Name
1096 (N : Node_Id) return Node_Id is
1098 pragma Assert (False
1099 or else NT (N).Nkind = N_Accept_Statement);
1101 end Entry_Direct_Name;
1103 function Entry_Index
1104 (N : Node_Id) return Node_Id is
1106 pragma Assert (False
1107 or else NT (N).Nkind = N_Accept_Statement);
1111 function Entry_Index_Specification
1112 (N : Node_Id) return Node_Id is
1114 pragma Assert (False
1115 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1117 end Entry_Index_Specification;
1120 (N : Node_Id) return Node_Id is
1122 pragma Assert (False
1123 or else NT (N).Nkind in N_Has_Etype);
1127 function Exception_Choices
1128 (N : Node_Id) return List_Id is
1130 pragma Assert (False
1131 or else NT (N).Nkind = N_Exception_Handler);
1133 end Exception_Choices;
1135 function Exception_Handlers
1136 (N : Node_Id) return List_Id is
1138 pragma Assert (False
1139 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1141 end Exception_Handlers;
1143 function Exception_Junk
1144 (N : Node_Id) return Boolean is
1146 pragma Assert (False
1147 or else NT (N).Nkind = N_Block_Statement
1148 or else NT (N).Nkind = N_Goto_Statement
1149 or else NT (N).Nkind = N_Label
1150 or else NT (N).Nkind = N_Object_Declaration
1151 or else NT (N).Nkind = N_Subtype_Declaration);
1155 function Exception_Label
1156 (N : Node_Id) return Node_Id is
1158 pragma Assert (False
1159 or else NT (N).Nkind = N_Exception_Handler
1160 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1161 or else NT (N).Nkind = N_Push_Program_Error_Label
1162 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1164 end Exception_Label;
1166 function Expansion_Delayed
1167 (N : Node_Id) return Boolean is
1169 pragma Assert (False
1170 or else NT (N).Nkind = N_Aggregate
1171 or else NT (N).Nkind = N_Extension_Aggregate);
1173 end Expansion_Delayed;
1175 function Explicit_Actual_Parameter
1176 (N : Node_Id) return Node_Id is
1178 pragma Assert (False
1179 or else NT (N).Nkind = N_Parameter_Association);
1181 end Explicit_Actual_Parameter;
1183 function Explicit_Generic_Actual_Parameter
1184 (N : Node_Id) return Node_Id is
1186 pragma Assert (False
1187 or else NT (N).Nkind = N_Generic_Association);
1189 end Explicit_Generic_Actual_Parameter;
1192 (N : Node_Id) return Node_Id is
1194 pragma Assert (False
1195 or else NT (N).Nkind = N_Allocator
1196 or else NT (N).Nkind = N_Aspect_Specification
1197 or else NT (N).Nkind = N_Assignment_Statement
1198 or else NT (N).Nkind = N_At_Clause
1199 or else NT (N).Nkind = N_Attribute_Definition_Clause
1200 or else NT (N).Nkind = N_Case_Expression
1201 or else NT (N).Nkind = N_Case_Expression_Alternative
1202 or else NT (N).Nkind = N_Case_Statement
1203 or else NT (N).Nkind = N_Code_Statement
1204 or else NT (N).Nkind = N_Component_Association
1205 or else NT (N).Nkind = N_Component_Declaration
1206 or else NT (N).Nkind = N_Delay_Relative_Statement
1207 or else NT (N).Nkind = N_Delay_Until_Statement
1208 or else NT (N).Nkind = N_Discriminant_Association
1209 or else NT (N).Nkind = N_Discriminant_Specification
1210 or else NT (N).Nkind = N_Exception_Declaration
1211 or else NT (N).Nkind = N_Expression_Function
1212 or else NT (N).Nkind = N_Expression_With_Actions
1213 or else NT (N).Nkind = N_Free_Statement
1214 or else NT (N).Nkind = N_Mod_Clause
1215 or else NT (N).Nkind = N_Modular_Type_Definition
1216 or else NT (N).Nkind = N_Number_Declaration
1217 or else NT (N).Nkind = N_Object_Declaration
1218 or else NT (N).Nkind = N_Parameter_Specification
1219 or else NT (N).Nkind = N_Pragma_Argument_Association
1220 or else NT (N).Nkind = N_Qualified_Expression
1221 or else NT (N).Nkind = N_Raise_Statement
1222 or else NT (N).Nkind = N_Return_Statement
1223 or else NT (N).Nkind = N_Type_Conversion
1224 or else NT (N).Nkind = N_Unchecked_Expression
1225 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1229 function Expressions
1230 (N : Node_Id) return List_Id is
1232 pragma Assert (False
1233 or else NT (N).Nkind = N_Aggregate
1234 or else NT (N).Nkind = N_Attribute_Reference
1235 or else NT (N).Nkind = N_Conditional_Expression
1236 or else NT (N).Nkind = N_Extension_Aggregate
1237 or else NT (N).Nkind = N_Indexed_Component);
1242 (N : Node_Id) return Node_Id is
1244 pragma Assert (False
1245 or else NT (N).Nkind = N_Component_Clause);
1249 function First_Inlined_Subprogram
1250 (N : Node_Id) return Entity_Id is
1252 pragma Assert (False
1253 or else NT (N).Nkind = N_Compilation_Unit);
1255 end First_Inlined_Subprogram;
1258 (N : Node_Id) return Boolean is
1260 pragma Assert (False
1261 or else NT (N).Nkind = N_With_Clause);
1265 function First_Named_Actual
1266 (N : Node_Id) return Node_Id is
1268 pragma Assert (False
1269 or else NT (N).Nkind = N_Entry_Call_Statement
1270 or else NT (N).Nkind = N_Function_Call
1271 or else NT (N).Nkind = N_Procedure_Call_Statement);
1273 end First_Named_Actual;
1275 function First_Real_Statement
1276 (N : Node_Id) return Node_Id is
1278 pragma Assert (False
1279 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1281 end First_Real_Statement;
1283 function First_Subtype_Link
1284 (N : Node_Id) return Entity_Id is
1286 pragma Assert (False
1287 or else NT (N).Nkind = N_Freeze_Entity);
1289 end First_Subtype_Link;
1291 function Float_Truncate
1292 (N : Node_Id) return Boolean is
1294 pragma Assert (False
1295 or else NT (N).Nkind = N_Type_Conversion);
1299 function Formal_Type_Definition
1300 (N : Node_Id) return Node_Id is
1302 pragma Assert (False
1303 or else NT (N).Nkind = N_Formal_Type_Declaration);
1305 end Formal_Type_Definition;
1307 function Forwards_OK
1308 (N : Node_Id) return Boolean is
1310 pragma Assert (False
1311 or else NT (N).Nkind = N_Assignment_Statement);
1315 function From_Aspect_Specification
1316 (N : Node_Id) return Boolean is
1318 pragma Assert (False
1319 or else NT (N).Nkind = N_Attribute_Definition_Clause
1320 or else NT (N).Nkind = N_Pragma);
1322 end From_Aspect_Specification;
1324 function From_At_End
1325 (N : Node_Id) return Boolean is
1327 pragma Assert (False
1328 or else NT (N).Nkind = N_Raise_Statement);
1332 function From_At_Mod
1333 (N : Node_Id) return Boolean is
1335 pragma Assert (False
1336 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1340 function From_Default
1341 (N : Node_Id) return Boolean is
1343 pragma Assert (False
1344 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1348 function Generic_Associations
1349 (N : Node_Id) return List_Id is
1351 pragma Assert (False
1352 or else NT (N).Nkind = N_Formal_Package_Declaration
1353 or else NT (N).Nkind = N_Function_Instantiation
1354 or else NT (N).Nkind = N_Package_Instantiation
1355 or else NT (N).Nkind = N_Procedure_Instantiation);
1357 end Generic_Associations;
1359 function Generic_Formal_Declarations
1360 (N : Node_Id) return List_Id is
1362 pragma Assert (False
1363 or else NT (N).Nkind = N_Generic_Package_Declaration
1364 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1366 end Generic_Formal_Declarations;
1368 function Generic_Parent
1369 (N : Node_Id) return Node_Id is
1371 pragma Assert (False
1372 or else NT (N).Nkind = N_Function_Specification
1373 or else NT (N).Nkind = N_Package_Specification
1374 or else NT (N).Nkind = N_Procedure_Specification);
1378 function Generic_Parent_Type
1379 (N : Node_Id) return Node_Id is
1381 pragma Assert (False
1382 or else NT (N).Nkind = N_Subtype_Declaration);
1384 end Generic_Parent_Type;
1386 function Handled_Statement_Sequence
1387 (N : Node_Id) return Node_Id is
1389 pragma Assert (False
1390 or else NT (N).Nkind = N_Accept_Statement
1391 or else NT (N).Nkind = N_Block_Statement
1392 or else NT (N).Nkind = N_Entry_Body
1393 or else NT (N).Nkind = N_Extended_Return_Statement
1394 or else NT (N).Nkind = N_Package_Body
1395 or else NT (N).Nkind = N_Subprogram_Body
1396 or else NT (N).Nkind = N_Task_Body);
1398 end Handled_Statement_Sequence;
1400 function Handler_List_Entry
1401 (N : Node_Id) return Node_Id is
1403 pragma Assert (False
1404 or else NT (N).Nkind = N_Object_Declaration);
1406 end Handler_List_Entry;
1408 function Has_Created_Identifier
1409 (N : Node_Id) return Boolean is
1411 pragma Assert (False
1412 or else NT (N).Nkind = N_Block_Statement
1413 or else NT (N).Nkind = N_Loop_Statement);
1415 end Has_Created_Identifier;
1417 function Has_Dynamic_Length_Check
1418 (N : Node_Id) return Boolean is
1420 pragma Assert (False
1421 or else NT (N).Nkind in N_Subexpr);
1423 end Has_Dynamic_Length_Check;
1425 function Has_Dynamic_Range_Check
1426 (N : Node_Id) return Boolean is
1428 pragma Assert (False
1429 or else NT (N).Nkind = N_Subtype_Declaration
1430 or else NT (N).Nkind in N_Subexpr);
1432 end Has_Dynamic_Range_Check;
1434 function Has_Init_Expression
1435 (N : Node_Id) return Boolean is
1437 pragma Assert (False
1438 or else NT (N).Nkind = N_Object_Declaration);
1440 end Has_Init_Expression;
1442 function Has_Local_Raise
1443 (N : Node_Id) return Boolean is
1445 pragma Assert (False
1446 or else NT (N).Nkind = N_Exception_Handler);
1448 end Has_Local_Raise;
1450 function Has_No_Elaboration_Code
1451 (N : Node_Id) return Boolean is
1453 pragma Assert (False
1454 or else NT (N).Nkind = N_Compilation_Unit);
1456 end Has_No_Elaboration_Code;
1458 function Has_Pragma_CPU
1459 (N : Node_Id) return Boolean is
1461 pragma Assert (False
1462 or else NT (N).Nkind = N_Subprogram_Body
1463 or else NT (N).Nkind = N_Task_Definition);
1467 function Has_Pragma_Dispatching_Domain
1468 (N : Node_Id) return Boolean is
1470 pragma Assert (False
1471 or else NT (N).Nkind = N_Task_Definition);
1473 end Has_Pragma_Dispatching_Domain;
1475 function Has_Pragma_Priority
1476 (N : Node_Id) return Boolean is
1478 pragma Assert (False
1479 or else NT (N).Nkind = N_Protected_Definition
1480 or else NT (N).Nkind = N_Subprogram_Body
1481 or else NT (N).Nkind = N_Task_Definition);
1483 end Has_Pragma_Priority;
1485 function Has_Pragma_Suppress_All
1486 (N : Node_Id) return Boolean is
1488 pragma Assert (False
1489 or else NT (N).Nkind = N_Compilation_Unit);
1491 end Has_Pragma_Suppress_All;
1493 function Has_Private_View
1494 (N : Node_Id) return Boolean is
1496 pragma Assert (False
1497 or else NT (N).Nkind in N_Op
1498 or else NT (N).Nkind = N_Character_Literal
1499 or else NT (N).Nkind = N_Expanded_Name
1500 or else NT (N).Nkind = N_Identifier
1501 or else NT (N).Nkind = N_Operator_Symbol);
1503 end Has_Private_View;
1505 function Has_Relative_Deadline_Pragma
1506 (N : Node_Id) return Boolean is
1508 pragma Assert (False
1509 or else NT (N).Nkind = N_Subprogram_Body
1510 or else NT (N).Nkind = N_Task_Definition);
1512 end Has_Relative_Deadline_Pragma;
1514 function Has_Self_Reference
1515 (N : Node_Id) return Boolean is
1517 pragma Assert (False
1518 or else NT (N).Nkind = N_Aggregate
1519 or else NT (N).Nkind = N_Extension_Aggregate);
1521 end Has_Self_Reference;
1523 function Has_Storage_Size_Pragma
1524 (N : Node_Id) return Boolean is
1526 pragma Assert (False
1527 or else NT (N).Nkind = N_Task_Definition);
1529 end Has_Storage_Size_Pragma;
1531 function Has_Task_Info_Pragma
1532 (N : Node_Id) return Boolean is
1534 pragma Assert (False
1535 or else NT (N).Nkind = N_Task_Definition);
1537 end Has_Task_Info_Pragma;
1539 function Has_Task_Name_Pragma
1540 (N : Node_Id) return Boolean is
1542 pragma Assert (False
1543 or else NT (N).Nkind = N_Task_Definition);
1545 end Has_Task_Name_Pragma;
1547 function Has_Wide_Character
1548 (N : Node_Id) return Boolean is
1550 pragma Assert (False
1551 or else NT (N).Nkind = N_String_Literal);
1553 end Has_Wide_Character;
1555 function Has_Wide_Wide_Character
1556 (N : Node_Id) return Boolean is
1558 pragma Assert (False
1559 or else NT (N).Nkind = N_String_Literal);
1561 end Has_Wide_Wide_Character;
1563 function Hidden_By_Use_Clause
1564 (N : Node_Id) return Elist_Id is
1566 pragma Assert (False
1567 or else NT (N).Nkind = N_Use_Package_Clause
1568 or else NT (N).Nkind = N_Use_Type_Clause);
1570 end Hidden_By_Use_Clause;
1573 (N : Node_Id) return Node_Id is
1575 pragma Assert (False
1576 or else NT (N).Nkind = N_Range
1577 or else NT (N).Nkind = N_Real_Range_Specification
1578 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1583 (N : Node_Id) return Node_Id is
1585 pragma Assert (False
1586 or else NT (N).Nkind = N_Aspect_Specification
1587 or else NT (N).Nkind = N_At_Clause
1588 or else NT (N).Nkind = N_Block_Statement
1589 or else NT (N).Nkind = N_Designator
1590 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1591 or else NT (N).Nkind = N_Label
1592 or else NT (N).Nkind = N_Loop_Statement
1593 or else NT (N).Nkind = N_Record_Representation_Clause
1594 or else NT (N).Nkind = N_Subprogram_Info);
1598 function Implicit_With
1599 (N : Node_Id) return Boolean is
1601 pragma Assert (False
1602 or else NT (N).Nkind = N_With_Clause);
1606 function Interface_List
1607 (N : Node_Id) return List_Id is
1609 pragma Assert (False
1610 or else NT (N).Nkind = N_Derived_Type_Definition
1611 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1612 or else NT (N).Nkind = N_Private_Extension_Declaration
1613 or else NT (N).Nkind = N_Protected_Type_Declaration
1614 or else NT (N).Nkind = N_Record_Definition
1615 or else NT (N).Nkind = N_Single_Protected_Declaration
1616 or else NT (N).Nkind = N_Single_Task_Declaration
1617 or else NT (N).Nkind = N_Task_Type_Declaration);
1621 function Interface_Present
1622 (N : Node_Id) return Boolean is
1624 pragma Assert (False
1625 or else NT (N).Nkind = N_Derived_Type_Definition
1626 or else NT (N).Nkind = N_Record_Definition);
1628 end Interface_Present;
1630 function Import_Interface_Present
1631 (N : Node_Id) return Boolean is
1633 pragma Assert (False
1634 or else NT (N).Nkind = N_Pragma);
1636 end Import_Interface_Present;
1639 (N : Node_Id) return Boolean is
1641 pragma Assert (False
1642 or else NT (N).Nkind = N_Formal_Object_Declaration
1643 or else NT (N).Nkind = N_Parameter_Specification);
1647 function Includes_Infinities
1648 (N : Node_Id) return Boolean is
1650 pragma Assert (False
1651 or else NT (N).Nkind = N_Range);
1653 end Includes_Infinities;
1655 function Inherited_Discriminant
1656 (N : Node_Id) return Boolean is
1658 pragma Assert (False
1659 or else NT (N).Nkind = N_Component_Association);
1661 end Inherited_Discriminant;
1663 function Instance_Spec
1664 (N : Node_Id) return Node_Id is
1666 pragma Assert (False
1667 or else NT (N).Nkind = N_Formal_Package_Declaration
1668 or else NT (N).Nkind = N_Function_Instantiation
1669 or else NT (N).Nkind = N_Package_Instantiation
1670 or else NT (N).Nkind = N_Procedure_Instantiation);
1675 (N : Node_Id) return Uint is
1677 pragma Assert (False
1678 or else NT (N).Nkind = N_Integer_Literal);
1682 function Is_Accessibility_Actual
1683 (N : Node_Id) return Boolean is
1685 pragma Assert (False
1686 or else NT (N).Nkind = N_Parameter_Association);
1688 end Is_Accessibility_Actual;
1690 function Is_Asynchronous_Call_Block
1691 (N : Node_Id) return Boolean is
1693 pragma Assert (False
1694 or else NT (N).Nkind = N_Block_Statement);
1696 end Is_Asynchronous_Call_Block;
1698 function Is_Boolean_Aspect
1699 (N : Node_Id) return Boolean is
1701 pragma Assert (False
1702 or else NT (N).Nkind = N_Aspect_Specification);
1704 end Is_Boolean_Aspect;
1706 function Is_Component_Left_Opnd
1707 (N : Node_Id) return Boolean is
1709 pragma Assert (False
1710 or else NT (N).Nkind = N_Op_Concat);
1712 end Is_Component_Left_Opnd;
1714 function Is_Component_Right_Opnd
1715 (N : Node_Id) return Boolean is
1717 pragma Assert (False
1718 or else NT (N).Nkind = N_Op_Concat);
1720 end Is_Component_Right_Opnd;
1722 function Is_Controlling_Actual
1723 (N : Node_Id) return Boolean is
1725 pragma Assert (False
1726 or else NT (N).Nkind in N_Subexpr);
1728 end Is_Controlling_Actual;
1730 function Is_Delayed_Aspect
1731 (N : Node_Id) return Boolean is
1733 pragma Assert (False
1734 or else NT (N).Nkind = N_Aspect_Specification
1735 or else NT (N).Nkind = N_Attribute_Definition_Clause
1736 or else NT (N).Nkind = N_Pragma);
1738 end Is_Delayed_Aspect;
1740 function Is_Dynamic_Coextension
1741 (N : Node_Id) return Boolean is
1743 pragma Assert (False
1744 or else NT (N).Nkind = N_Allocator);
1746 end Is_Dynamic_Coextension;
1749 (N : Node_Id) return Boolean is
1751 pragma Assert (False
1752 or else NT (N).Nkind = N_Conditional_Expression);
1756 function Is_Entry_Barrier_Function
1757 (N : Node_Id) return Boolean is
1759 pragma Assert (False
1760 or else NT (N).Nkind = N_Subprogram_Body);
1762 end Is_Entry_Barrier_Function;
1764 function Is_Expanded_Build_In_Place_Call
1765 (N : Node_Id) return Boolean is
1767 pragma Assert (False
1768 or else NT (N).Nkind = N_Function_Call);
1770 end Is_Expanded_Build_In_Place_Call;
1772 function Is_Folded_In_Parser
1773 (N : Node_Id) return Boolean is
1775 pragma Assert (False
1776 or else NT (N).Nkind = N_String_Literal);
1778 end Is_Folded_In_Parser;
1780 function Is_In_Discriminant_Check
1781 (N : Node_Id) return Boolean is
1783 pragma Assert (False
1784 or else NT (N).Nkind = N_Selected_Component);
1786 end Is_In_Discriminant_Check;
1788 function Is_Machine_Number
1789 (N : Node_Id) return Boolean is
1791 pragma Assert (False
1792 or else NT (N).Nkind = N_Real_Literal);
1794 end Is_Machine_Number;
1796 function Is_Null_Loop
1797 (N : Node_Id) return Boolean is
1799 pragma Assert (False
1800 or else NT (N).Nkind = N_Loop_Statement);
1804 function Is_Overloaded
1805 (N : Node_Id) return Boolean is
1807 pragma Assert (False
1808 or else NT (N).Nkind in N_Subexpr);
1812 function Is_Power_Of_2_For_Shift
1813 (N : Node_Id) return Boolean is
1815 pragma Assert (False
1816 or else NT (N).Nkind = N_Op_Expon);
1818 end Is_Power_Of_2_For_Shift;
1820 function Is_Protected_Subprogram_Body
1821 (N : Node_Id) return Boolean is
1823 pragma Assert (False
1824 or else NT (N).Nkind = N_Subprogram_Body);
1826 end Is_Protected_Subprogram_Body;
1828 function Is_Static_Coextension
1829 (N : Node_Id) return Boolean is
1831 pragma Assert (False
1832 or else NT (N).Nkind = N_Allocator);
1834 end Is_Static_Coextension;
1836 function Is_Static_Expression
1837 (N : Node_Id) return Boolean is
1839 pragma Assert (False
1840 or else NT (N).Nkind in N_Subexpr);
1842 end Is_Static_Expression;
1844 function Is_Subprogram_Descriptor
1845 (N : Node_Id) return Boolean is
1847 pragma Assert (False
1848 or else NT (N).Nkind = N_Object_Declaration);
1850 end Is_Subprogram_Descriptor;
1852 function Is_Task_Allocation_Block
1853 (N : Node_Id) return Boolean is
1855 pragma Assert (False
1856 or else NT (N).Nkind = N_Block_Statement);
1858 end Is_Task_Allocation_Block;
1860 function Is_Task_Master
1861 (N : Node_Id) return Boolean is
1863 pragma Assert (False
1864 or else NT (N).Nkind = N_Block_Statement
1865 or else NT (N).Nkind = N_Subprogram_Body
1866 or else NT (N).Nkind = N_Task_Body);
1870 function Iteration_Scheme
1871 (N : Node_Id) return Node_Id is
1873 pragma Assert (False
1874 or else NT (N).Nkind = N_Loop_Statement);
1876 end Iteration_Scheme;
1878 function Iterator_Specification
1879 (N : Node_Id) return Node_Id is
1881 pragma Assert (False
1882 or else NT (N).Nkind = N_Iteration_Scheme
1883 or else NT (N).Nkind = N_Quantified_Expression);
1885 end Iterator_Specification;
1888 (N : Node_Id) return Node_Id is
1890 pragma Assert (False
1891 or else NT (N).Nkind = N_Itype_Reference);
1895 function Kill_Range_Check
1896 (N : Node_Id) return Boolean is
1898 pragma Assert (False
1899 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1901 end Kill_Range_Check;
1903 function Label_Construct
1904 (N : Node_Id) return Node_Id is
1906 pragma Assert (False
1907 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1909 end Label_Construct;
1912 (N : Node_Id) return Node_Id is
1914 pragma Assert (False
1915 or else NT (N).Nkind = N_Component_Clause);
1920 (N : Node_Id) return Boolean is
1922 pragma Assert (False
1923 or else NT (N).Nkind = N_With_Clause);
1928 (N : Node_Id) return Node_Id is
1930 pragma Assert (False
1931 or else NT (N).Nkind = N_And_Then
1932 or else NT (N).Nkind = N_In
1933 or else NT (N).Nkind = N_Not_In
1934 or else NT (N).Nkind = N_Or_Else
1935 or else NT (N).Nkind in N_Binary_Op);
1939 function Library_Unit
1940 (N : Node_Id) return Node_Id is
1942 pragma Assert (False
1943 or else NT (N).Nkind = N_Compilation_Unit
1944 or else NT (N).Nkind = N_Package_Body_Stub
1945 or else NT (N).Nkind = N_Protected_Body_Stub
1946 or else NT (N).Nkind = N_Subprogram_Body_Stub
1947 or else NT (N).Nkind = N_Task_Body_Stub
1948 or else NT (N).Nkind = N_With_Clause);
1952 function Limited_View_Installed
1953 (N : Node_Id) return Boolean is
1955 pragma Assert (False
1956 or else NT (N).Nkind = N_Package_Specification
1957 or else NT (N).Nkind = N_With_Clause);
1959 end Limited_View_Installed;
1961 function Limited_Present
1962 (N : Node_Id) return Boolean is
1964 pragma Assert (False
1965 or else NT (N).Nkind = N_Derived_Type_Definition
1966 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1967 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1968 or else NT (N).Nkind = N_Private_Extension_Declaration
1969 or else NT (N).Nkind = N_Private_Type_Declaration
1970 or else NT (N).Nkind = N_Record_Definition
1971 or else NT (N).Nkind = N_With_Clause);
1973 end Limited_Present;
1976 (N : Node_Id) return List_Id is
1978 pragma Assert (False
1979 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1983 function Local_Raise_Not_OK
1984 (N : Node_Id) return Boolean is
1986 pragma Assert (False
1987 or else NT (N).Nkind = N_Exception_Handler);
1989 end Local_Raise_Not_OK;
1991 function Local_Raise_Statements
1992 (N : Node_Id) return Elist_Id is
1994 pragma Assert (False
1995 or else NT (N).Nkind = N_Exception_Handler);
1997 end Local_Raise_Statements;
1999 function Loop_Actions
2000 (N : Node_Id) return List_Id is
2002 pragma Assert (False
2003 or else NT (N).Nkind = N_Component_Association);
2007 function Loop_Parameter_Specification
2008 (N : Node_Id) return Node_Id is
2010 pragma Assert (False
2011 or else NT (N).Nkind = N_Iteration_Scheme
2012 or else NT (N).Nkind = N_Quantified_Expression);
2014 end Loop_Parameter_Specification;
2017 (N : Node_Id) return Node_Id is
2019 pragma Assert (False
2020 or else NT (N).Nkind = N_Range
2021 or else NT (N).Nkind = N_Real_Range_Specification
2022 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2027 (N : Node_Id) return Node_Id is
2029 pragma Assert (False
2030 or else NT (N).Nkind = N_Record_Representation_Clause);
2035 (N : Node_Id) return Boolean is
2037 pragma Assert (False
2038 or else NT (N).Nkind = N_Component_Declaration
2039 or else NT (N).Nkind = N_Discriminant_Specification
2040 or else NT (N).Nkind = N_Exception_Declaration
2041 or else NT (N).Nkind = N_Formal_Object_Declaration
2042 or else NT (N).Nkind = N_Number_Declaration
2043 or else NT (N).Nkind = N_Object_Declaration
2044 or else NT (N).Nkind = N_Parameter_Specification);
2048 function Must_Be_Byte_Aligned
2049 (N : Node_Id) return Boolean is
2051 pragma Assert (False
2052 or else NT (N).Nkind = N_Attribute_Reference);
2054 end Must_Be_Byte_Aligned;
2056 function Must_Not_Freeze
2057 (N : Node_Id) return Boolean is
2059 pragma Assert (False
2060 or else NT (N).Nkind = N_Subtype_Indication
2061 or else NT (N).Nkind in N_Subexpr);
2063 end Must_Not_Freeze;
2065 function Must_Not_Override
2066 (N : Node_Id) return Boolean is
2068 pragma Assert (False
2069 or else NT (N).Nkind = N_Entry_Declaration
2070 or else NT (N).Nkind = N_Function_Instantiation
2071 or else NT (N).Nkind = N_Function_Specification
2072 or else NT (N).Nkind = N_Procedure_Instantiation
2073 or else NT (N).Nkind = N_Procedure_Specification);
2075 end Must_Not_Override;
2077 function Must_Override
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Entry_Declaration
2082 or else NT (N).Nkind = N_Function_Instantiation
2083 or else NT (N).Nkind = N_Function_Specification
2084 or else NT (N).Nkind = N_Procedure_Instantiation
2085 or else NT (N).Nkind = N_Procedure_Specification);
2090 (N : Node_Id) return Node_Id is
2092 pragma Assert (False
2093 or else NT (N).Nkind = N_Assignment_Statement
2094 or else NT (N).Nkind = N_Attribute_Definition_Clause
2095 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2096 or else NT (N).Nkind = N_Designator
2097 or else NT (N).Nkind = N_Entry_Call_Statement
2098 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2099 or else NT (N).Nkind = N_Exit_Statement
2100 or else NT (N).Nkind = N_Formal_Package_Declaration
2101 or else NT (N).Nkind = N_Function_Call
2102 or else NT (N).Nkind = N_Function_Instantiation
2103 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2104 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2105 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2106 or else NT (N).Nkind = N_Goto_Statement
2107 or else NT (N).Nkind = N_Iterator_Specification
2108 or else NT (N).Nkind = N_Object_Renaming_Declaration
2109 or else NT (N).Nkind = N_Package_Instantiation
2110 or else NT (N).Nkind = N_Package_Renaming_Declaration
2111 or else NT (N).Nkind = N_Procedure_Call_Statement
2112 or else NT (N).Nkind = N_Procedure_Instantiation
2113 or else NT (N).Nkind = N_Raise_Statement
2114 or else NT (N).Nkind = N_Requeue_Statement
2115 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2116 or else NT (N).Nkind = N_Subunit
2117 or else NT (N).Nkind = N_Variant_Part
2118 or else NT (N).Nkind = N_With_Clause);
2123 (N : Node_Id) return List_Id is
2125 pragma Assert (False
2126 or else NT (N).Nkind = N_Abort_Statement
2127 or else NT (N).Nkind = N_Use_Package_Clause);
2131 function Next_Entity
2132 (N : Node_Id) return Node_Id is
2134 pragma Assert (False
2135 or else NT (N).Nkind = N_Defining_Character_Literal
2136 or else NT (N).Nkind = N_Defining_Identifier
2137 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2141 function Next_Exit_Statement
2142 (N : Node_Id) return Node_Id is
2144 pragma Assert (False
2145 or else NT (N).Nkind = N_Exit_Statement);
2147 end Next_Exit_Statement;
2149 function Next_Implicit_With
2150 (N : Node_Id) return Node_Id is
2152 pragma Assert (False
2153 or else NT (N).Nkind = N_With_Clause);
2155 end Next_Implicit_With;
2157 function Next_Named_Actual
2158 (N : Node_Id) return Node_Id is
2160 pragma Assert (False
2161 or else NT (N).Nkind = N_Parameter_Association);
2163 end Next_Named_Actual;
2165 function Next_Pragma
2166 (N : Node_Id) return Node_Id is
2168 pragma Assert (False
2169 or else NT (N).Nkind = N_Pragma);
2173 function Next_Rep_Item
2174 (N : Node_Id) return Node_Id is
2176 pragma Assert (False
2177 or else NT (N).Nkind = N_Aspect_Specification
2178 or else NT (N).Nkind = N_Attribute_Definition_Clause
2179 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2180 or else NT (N).Nkind = N_Pragma
2181 or else NT (N).Nkind = N_Record_Representation_Clause);
2185 function Next_Use_Clause
2186 (N : Node_Id) return Node_Id is
2188 pragma Assert (False
2189 or else NT (N).Nkind = N_Use_Package_Clause
2190 or else NT (N).Nkind = N_Use_Type_Clause);
2192 end Next_Use_Clause;
2194 function No_Ctrl_Actions
2195 (N : Node_Id) return Boolean is
2197 pragma Assert (False
2198 or else NT (N).Nkind = N_Assignment_Statement);
2200 end No_Ctrl_Actions;
2202 function No_Elaboration_Check
2203 (N : Node_Id) return Boolean is
2205 pragma Assert (False
2206 or else NT (N).Nkind = N_Function_Call
2207 or else NT (N).Nkind = N_Procedure_Call_Statement);
2209 end No_Elaboration_Check;
2211 function No_Entities_Ref_In_Spec
2212 (N : Node_Id) return Boolean is
2214 pragma Assert (False
2215 or else NT (N).Nkind = N_With_Clause);
2217 end No_Entities_Ref_In_Spec;
2219 function No_Initialization
2220 (N : Node_Id) return Boolean is
2222 pragma Assert (False
2223 or else NT (N).Nkind = N_Allocator
2224 or else NT (N).Nkind = N_Object_Declaration);
2226 end No_Initialization;
2228 function No_Truncation
2229 (N : Node_Id) return Boolean is
2231 pragma Assert (False
2232 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2236 function Null_Present
2237 (N : Node_Id) return Boolean is
2239 pragma Assert (False
2240 or else NT (N).Nkind = N_Component_List
2241 or else NT (N).Nkind = N_Procedure_Specification
2242 or else NT (N).Nkind = N_Record_Definition);
2246 function Null_Exclusion_Present
2247 (N : Node_Id) return Boolean is
2249 pragma Assert (False
2250 or else NT (N).Nkind = N_Access_Definition
2251 or else NT (N).Nkind = N_Access_Function_Definition
2252 or else NT (N).Nkind = N_Access_Procedure_Definition
2253 or else NT (N).Nkind = N_Access_To_Object_Definition
2254 or else NT (N).Nkind = N_Allocator
2255 or else NT (N).Nkind = N_Component_Definition
2256 or else NT (N).Nkind = N_Derived_Type_Definition
2257 or else NT (N).Nkind = N_Discriminant_Specification
2258 or else NT (N).Nkind = N_Formal_Object_Declaration
2259 or else NT (N).Nkind = N_Function_Specification
2260 or else NT (N).Nkind = N_Object_Declaration
2261 or else NT (N).Nkind = N_Object_Renaming_Declaration
2262 or else NT (N).Nkind = N_Parameter_Specification
2263 or else NT (N).Nkind = N_Subtype_Declaration);
2265 end Null_Exclusion_Present;
2267 function Null_Exclusion_In_Return_Present
2268 (N : Node_Id) return Boolean is
2270 pragma Assert (False
2271 or else NT (N).Nkind = N_Access_Function_Definition);
2273 end Null_Exclusion_In_Return_Present;
2275 function Null_Record_Present
2276 (N : Node_Id) return Boolean is
2278 pragma Assert (False
2279 or else NT (N).Nkind = N_Aggregate
2280 or else NT (N).Nkind = N_Extension_Aggregate);
2282 end Null_Record_Present;
2284 function Object_Definition
2285 (N : Node_Id) return Node_Id is
2287 pragma Assert (False
2288 or else NT (N).Nkind = N_Object_Declaration);
2290 end Object_Definition;
2293 (N : Node_Id) return Boolean is
2295 pragma Assert (False
2296 or else NT (N).Nkind = N_Iterator_Specification);
2300 function Original_Discriminant
2301 (N : Node_Id) return Node_Id is
2303 pragma Assert (False
2304 or else NT (N).Nkind = N_Identifier);
2306 end Original_Discriminant;
2308 function Original_Entity
2309 (N : Node_Id) return Entity_Id is
2311 pragma Assert (False
2312 or else NT (N).Nkind = N_Integer_Literal
2313 or else NT (N).Nkind = N_Real_Literal);
2315 end Original_Entity;
2317 function Others_Discrete_Choices
2318 (N : Node_Id) return List_Id is
2320 pragma Assert (False
2321 or else NT (N).Nkind = N_Others_Choice);
2323 end Others_Discrete_Choices;
2325 function Out_Present
2326 (N : Node_Id) return Boolean is
2328 pragma Assert (False
2329 or else NT (N).Nkind = N_Formal_Object_Declaration
2330 or else NT (N).Nkind = N_Parameter_Specification);
2334 function Parameter_Associations
2335 (N : Node_Id) return List_Id is
2337 pragma Assert (False
2338 or else NT (N).Nkind = N_Entry_Call_Statement
2339 or else NT (N).Nkind = N_Function_Call
2340 or else NT (N).Nkind = N_Procedure_Call_Statement);
2342 end Parameter_Associations;
2344 function Parameter_List_Truncated
2345 (N : Node_Id) return Boolean is
2347 pragma Assert (False
2348 or else NT (N).Nkind = N_Function_Call
2349 or else NT (N).Nkind = N_Procedure_Call_Statement);
2351 end Parameter_List_Truncated;
2353 function Parameter_Specifications
2354 (N : Node_Id) return List_Id is
2356 pragma Assert (False
2357 or else NT (N).Nkind = N_Accept_Statement
2358 or else NT (N).Nkind = N_Access_Function_Definition
2359 or else NT (N).Nkind = N_Access_Procedure_Definition
2360 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2361 or else NT (N).Nkind = N_Entry_Declaration
2362 or else NT (N).Nkind = N_Function_Specification
2363 or else NT (N).Nkind = N_Procedure_Specification);
2365 end Parameter_Specifications;
2367 function Parameter_Type
2368 (N : Node_Id) return Node_Id is
2370 pragma Assert (False
2371 or else NT (N).Nkind = N_Parameter_Specification);
2375 function Parent_Spec
2376 (N : Node_Id) return Node_Id is
2378 pragma Assert (False
2379 or else NT (N).Nkind = N_Function_Instantiation
2380 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2381 or else NT (N).Nkind = N_Generic_Package_Declaration
2382 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2383 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2384 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2385 or else NT (N).Nkind = N_Package_Declaration
2386 or else NT (N).Nkind = N_Package_Instantiation
2387 or else NT (N).Nkind = N_Package_Renaming_Declaration
2388 or else NT (N).Nkind = N_Procedure_Instantiation
2389 or else NT (N).Nkind = N_Subprogram_Declaration
2390 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2395 (N : Node_Id) return Node_Id is
2397 pragma Assert (False
2398 or else NT (N).Nkind = N_Component_Clause);
2402 function Pragma_Argument_Associations
2403 (N : Node_Id) return List_Id is
2405 pragma Assert (False
2406 or else NT (N).Nkind = N_Pragma);
2408 end Pragma_Argument_Associations;
2410 function Pragma_Identifier
2411 (N : Node_Id) return Node_Id is
2413 pragma Assert (False
2414 or else NT (N).Nkind = N_Pragma);
2416 end Pragma_Identifier;
2418 function Pragmas_After
2419 (N : Node_Id) return List_Id is
2421 pragma Assert (False
2422 or else NT (N).Nkind = N_Compilation_Unit_Aux
2423 or else NT (N).Nkind = N_Terminate_Alternative);
2427 function Pragmas_Before
2428 (N : Node_Id) return List_Id is
2430 pragma Assert (False
2431 or else NT (N).Nkind = N_Accept_Alternative
2432 or else NT (N).Nkind = N_Delay_Alternative
2433 or else NT (N).Nkind = N_Entry_Call_Alternative
2434 or else NT (N).Nkind = N_Mod_Clause
2435 or else NT (N).Nkind = N_Terminate_Alternative
2436 or else NT (N).Nkind = N_Triggering_Alternative);
2441 (N : Node_Id) return Node_Id is
2443 pragma Assert (False
2444 or else NT (N).Nkind = N_Attribute_Reference
2445 or else NT (N).Nkind = N_Expanded_Name
2446 or else NT (N).Nkind = N_Explicit_Dereference
2447 or else NT (N).Nkind = N_Indexed_Component
2448 or else NT (N).Nkind = N_Reference
2449 or else NT (N).Nkind = N_Selected_Component
2450 or else NT (N).Nkind = N_Slice);
2454 function Premature_Use
2455 (N : Node_Id) return Node_Id is
2457 pragma Assert (False
2458 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2462 function Present_Expr
2463 (N : Node_Id) return Uint is
2465 pragma Assert (False
2466 or else NT (N).Nkind = N_Variant);
2471 (N : Node_Id) return Boolean is
2473 pragma Assert (False
2474 or else NT (N).Nkind = N_Component_Declaration
2475 or else NT (N).Nkind = N_Discriminant_Specification
2476 or else NT (N).Nkind = N_Exception_Declaration
2477 or else NT (N).Nkind = N_Formal_Object_Declaration
2478 or else NT (N).Nkind = N_Number_Declaration
2479 or else NT (N).Nkind = N_Object_Declaration
2480 or else NT (N).Nkind = N_Parameter_Specification);
2484 function Print_In_Hex
2485 (N : Node_Id) return Boolean is
2487 pragma Assert (False
2488 or else NT (N).Nkind = N_Integer_Literal);
2492 function Private_Declarations
2493 (N : Node_Id) return List_Id is
2495 pragma Assert (False
2496 or else NT (N).Nkind = N_Package_Specification
2497 or else NT (N).Nkind = N_Protected_Definition
2498 or else NT (N).Nkind = N_Task_Definition);
2500 end Private_Declarations;
2502 function Private_Present
2503 (N : Node_Id) return Boolean is
2505 pragma Assert (False
2506 or else NT (N).Nkind = N_Compilation_Unit
2507 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2508 or else NT (N).Nkind = N_With_Clause);
2510 end Private_Present;
2512 function Procedure_To_Call
2513 (N : Node_Id) return Node_Id is
2515 pragma Assert (False
2516 or else NT (N).Nkind = N_Allocator
2517 or else NT (N).Nkind = N_Extended_Return_Statement
2518 or else NT (N).Nkind = N_Free_Statement
2519 or else NT (N).Nkind = N_Return_Statement);
2521 end Procedure_To_Call;
2523 function Proper_Body
2524 (N : Node_Id) return Node_Id is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Subunit);
2531 function Protected_Definition
2532 (N : Node_Id) return Node_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Protected_Type_Declaration
2536 or else NT (N).Nkind = N_Single_Protected_Declaration);
2538 end Protected_Definition;
2540 function Protected_Present
2541 (N : Node_Id) return Boolean is
2543 pragma Assert (False
2544 or else NT (N).Nkind = N_Access_Function_Definition
2545 or else NT (N).Nkind = N_Access_Procedure_Definition
2546 or else NT (N).Nkind = N_Derived_Type_Definition
2547 or else NT (N).Nkind = N_Record_Definition);
2549 end Protected_Present;
2551 function Raises_Constraint_Error
2552 (N : Node_Id) return Boolean is
2554 pragma Assert (False
2555 or else NT (N).Nkind in N_Subexpr);
2557 end Raises_Constraint_Error;
2559 function Range_Constraint
2560 (N : Node_Id) return Node_Id is
2562 pragma Assert (False
2563 or else NT (N).Nkind = N_Delta_Constraint
2564 or else NT (N).Nkind = N_Digits_Constraint);
2566 end Range_Constraint;
2568 function Range_Expression
2569 (N : Node_Id) return Node_Id is
2571 pragma Assert (False
2572 or else NT (N).Nkind = N_Range_Constraint);
2574 end Range_Expression;
2576 function Real_Range_Specification
2577 (N : Node_Id) return Node_Id is
2579 pragma Assert (False
2580 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2581 or else NT (N).Nkind = N_Floating_Point_Definition
2582 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2584 end Real_Range_Specification;
2587 (N : Node_Id) return Ureal is
2589 pragma Assert (False
2590 or else NT (N).Nkind = N_Real_Literal);
2595 (N : Node_Id) return Uint is
2597 pragma Assert (False
2598 or else NT (N).Nkind = N_Raise_Constraint_Error
2599 or else NT (N).Nkind = N_Raise_Program_Error
2600 or else NT (N).Nkind = N_Raise_Storage_Error);
2604 function Record_Extension_Part
2605 (N : Node_Id) return Node_Id is
2607 pragma Assert (False
2608 or else NT (N).Nkind = N_Derived_Type_Definition);
2610 end Record_Extension_Part;
2612 function Redundant_Use
2613 (N : Node_Id) return Boolean is
2615 pragma Assert (False
2616 or else NT (N).Nkind = N_Attribute_Reference
2617 or else NT (N).Nkind = N_Expanded_Name
2618 or else NT (N).Nkind = N_Identifier);
2622 function Renaming_Exception
2623 (N : Node_Id) return Node_Id is
2625 pragma Assert (False
2626 or else NT (N).Nkind = N_Exception_Declaration);
2628 end Renaming_Exception;
2630 function Result_Definition
2631 (N : Node_Id) return Node_Id is
2633 pragma Assert (False
2634 or else NT (N).Nkind = N_Access_Function_Definition
2635 or else NT (N).Nkind = N_Function_Specification);
2637 end Result_Definition;
2639 function Return_Object_Declarations
2640 (N : Node_Id) return List_Id is
2642 pragma Assert (False
2643 or else NT (N).Nkind = N_Extended_Return_Statement);
2645 end Return_Object_Declarations;
2647 function Return_Statement_Entity
2648 (N : Node_Id) return Node_Id is
2650 pragma Assert (False
2651 or else NT (N).Nkind = N_Extended_Return_Statement
2652 or else NT (N).Nkind = N_Return_Statement);
2654 end Return_Statement_Entity;
2656 function Reverse_Present
2657 (N : Node_Id) return Boolean is
2659 pragma Assert (False
2660 or else NT (N).Nkind = N_Iterator_Specification
2661 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2663 end Reverse_Present;
2666 (N : Node_Id) return Node_Id is
2668 pragma Assert (False
2669 or else NT (N).Nkind in N_Op
2670 or else NT (N).Nkind = N_And_Then
2671 or else NT (N).Nkind = N_In
2672 or else NT (N).Nkind = N_Not_In
2673 or else NT (N).Nkind = N_Or_Else);
2677 function Rounded_Result
2678 (N : Node_Id) return Boolean is
2680 pragma Assert (False
2681 or else NT (N).Nkind = N_Op_Divide
2682 or else NT (N).Nkind = N_Op_Multiply
2683 or else NT (N).Nkind = N_Type_Conversion);
2687 function SCIL_Controlling_Tag
2688 (N : Node_Id) return Node_Id is
2690 pragma Assert (False
2691 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2693 end SCIL_Controlling_Tag;
2695 function SCIL_Entity
2696 (N : Node_Id) return Node_Id is
2698 pragma Assert (False
2699 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2700 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2701 or else NT (N).Nkind = N_SCIL_Membership_Test);
2705 function SCIL_Tag_Value
2706 (N : Node_Id) return Node_Id is
2708 pragma Assert (False
2709 or else NT (N).Nkind = N_SCIL_Membership_Test);
2713 function SCIL_Target_Prim
2714 (N : Node_Id) return Node_Id is
2716 pragma Assert (False
2717 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2719 end SCIL_Target_Prim;
2722 (N : Node_Id) return Node_Id is
2724 pragma Assert (False
2725 or else NT (N).Nkind = N_Defining_Character_Literal
2726 or else NT (N).Nkind = N_Defining_Identifier
2727 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2731 function Select_Alternatives
2732 (N : Node_Id) return List_Id is
2734 pragma Assert (False
2735 or else NT (N).Nkind = N_Selective_Accept);
2737 end Select_Alternatives;
2739 function Selector_Name
2740 (N : Node_Id) return Node_Id is
2742 pragma Assert (False
2743 or else NT (N).Nkind = N_Expanded_Name
2744 or else NT (N).Nkind = N_Generic_Association
2745 or else NT (N).Nkind = N_Parameter_Association
2746 or else NT (N).Nkind = N_Selected_Component);
2750 function Selector_Names
2751 (N : Node_Id) return List_Id is
2753 pragma Assert (False
2754 or else NT (N).Nkind = N_Discriminant_Association);
2758 function Shift_Count_OK
2759 (N : Node_Id) return Boolean is
2761 pragma Assert (False
2762 or else NT (N).Nkind = N_Op_Rotate_Left
2763 or else NT (N).Nkind = N_Op_Rotate_Right
2764 or else NT (N).Nkind = N_Op_Shift_Left
2765 or else NT (N).Nkind = N_Op_Shift_Right
2766 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2770 function Source_Type
2771 (N : Node_Id) return Entity_Id is
2773 pragma Assert (False
2774 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2778 function Spec_PPC_List
2779 (N : Node_Id) return Node_Id is
2781 pragma Assert (False
2782 or else NT (N).Nkind = N_Contract);
2786 function Spec_TC_List
2787 (N : Node_Id) return Node_Id is
2789 pragma Assert (False
2790 or else NT (N).Nkind = N_Contract);
2794 function Specification
2795 (N : Node_Id) return Node_Id is
2797 pragma Assert (False
2798 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2799 or else NT (N).Nkind = N_Expression_Function
2800 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2801 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2802 or else NT (N).Nkind = N_Generic_Package_Declaration
2803 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2804 or else NT (N).Nkind = N_Package_Declaration
2805 or else NT (N).Nkind = N_Subprogram_Body
2806 or else NT (N).Nkind = N_Subprogram_Body_Stub
2807 or else NT (N).Nkind = N_Subprogram_Declaration
2808 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2813 (N : Node_Id) return Boolean is
2815 pragma Assert (False
2816 or else NT (N).Nkind = N_Aspect_Specification
2817 or else NT (N).Nkind = N_Pragma);
2822 (N : Node_Id) return List_Id is
2824 pragma Assert (False
2825 or else NT (N).Nkind = N_Abortable_Part
2826 or else NT (N).Nkind = N_Accept_Alternative
2827 or else NT (N).Nkind = N_Case_Statement_Alternative
2828 or else NT (N).Nkind = N_Delay_Alternative
2829 or else NT (N).Nkind = N_Entry_Call_Alternative
2830 or else NT (N).Nkind = N_Exception_Handler
2831 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2832 or else NT (N).Nkind = N_Loop_Statement
2833 or else NT (N).Nkind = N_Triggering_Alternative);
2837 function Static_Processing_OK
2838 (N : Node_Id) return Boolean is
2840 pragma Assert (False
2841 or else NT (N).Nkind = N_Aggregate);
2843 end Static_Processing_OK;
2845 function Storage_Pool
2846 (N : Node_Id) return Node_Id is
2848 pragma Assert (False
2849 or else NT (N).Nkind = N_Allocator
2850 or else NT (N).Nkind = N_Extended_Return_Statement
2851 or else NT (N).Nkind = N_Free_Statement
2852 or else NT (N).Nkind = N_Return_Statement);
2856 function Subpool_Handle_Name
2857 (N : Node_Id) return Node_Id is
2859 pragma Assert (False
2860 or else NT (N).Nkind = N_Allocator);
2862 end Subpool_Handle_Name;
2865 (N : Node_Id) return String_Id is
2867 pragma Assert (False
2868 or else NT (N).Nkind = N_Operator_Symbol
2869 or else NT (N).Nkind = N_String_Literal);
2873 function Subtype_Indication
2874 (N : Node_Id) return Node_Id is
2876 pragma Assert (False
2877 or else NT (N).Nkind = N_Access_To_Object_Definition
2878 or else NT (N).Nkind = N_Component_Definition
2879 or else NT (N).Nkind = N_Derived_Type_Definition
2880 or else NT (N).Nkind = N_Iterator_Specification
2881 or else NT (N).Nkind = N_Private_Extension_Declaration
2882 or else NT (N).Nkind = N_Subtype_Declaration);
2884 end Subtype_Indication;
2886 function Suppress_Assignment_Checks
2887 (N : Node_Id) return Boolean is
2889 pragma Assert (False
2890 or else NT (N).Nkind = N_Assignment_Statement
2891 or else NT (N).Nkind = N_Object_Declaration);
2893 end Suppress_Assignment_Checks;
2895 function Suppress_Loop_Warnings
2896 (N : Node_Id) return Boolean is
2898 pragma Assert (False
2899 or else NT (N).Nkind = N_Loop_Statement);
2901 end Suppress_Loop_Warnings;
2903 function Subtype_Mark
2904 (N : Node_Id) return Node_Id is
2906 pragma Assert (False
2907 or else NT (N).Nkind = N_Access_Definition
2908 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2909 or else NT (N).Nkind = N_Formal_Object_Declaration
2910 or else NT (N).Nkind = N_Object_Renaming_Declaration
2911 or else NT (N).Nkind = N_Qualified_Expression
2912 or else NT (N).Nkind = N_Subtype_Indication
2913 or else NT (N).Nkind = N_Type_Conversion
2914 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2918 function Subtype_Marks
2919 (N : Node_Id) return List_Id is
2921 pragma Assert (False
2922 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2923 or else NT (N).Nkind = N_Use_Type_Clause);
2927 function Synchronized_Present
2928 (N : Node_Id) return Boolean is
2930 pragma Assert (False
2931 or else NT (N).Nkind = N_Derived_Type_Definition
2932 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2933 or else NT (N).Nkind = N_Private_Extension_Declaration
2934 or else NT (N).Nkind = N_Record_Definition);
2936 end Synchronized_Present;
2938 function Tagged_Present
2939 (N : Node_Id) return Boolean is
2941 pragma Assert (False
2942 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2943 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2944 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2945 or else NT (N).Nkind = N_Private_Type_Declaration
2946 or else NT (N).Nkind = N_Record_Definition);
2950 function Target_Type
2951 (N : Node_Id) return Entity_Id is
2953 pragma Assert (False
2954 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2958 function Task_Definition
2959 (N : Node_Id) return Node_Id is
2961 pragma Assert (False
2962 or else NT (N).Nkind = N_Single_Task_Declaration
2963 or else NT (N).Nkind = N_Task_Type_Declaration);
2965 end Task_Definition;
2967 function Task_Present
2968 (N : Node_Id) return Boolean is
2970 pragma Assert (False
2971 or else NT (N).Nkind = N_Derived_Type_Definition
2972 or else NT (N).Nkind = N_Record_Definition);
2976 function Then_Actions
2977 (N : Node_Id) return List_Id is
2979 pragma Assert (False
2980 or else NT (N).Nkind = N_Conditional_Expression);
2984 function Then_Statements
2985 (N : Node_Id) return List_Id is
2987 pragma Assert (False
2988 or else NT (N).Nkind = N_Elsif_Part
2989 or else NT (N).Nkind = N_If_Statement);
2991 end Then_Statements;
2993 function Treat_Fixed_As_Integer
2994 (N : Node_Id) return Boolean is
2996 pragma Assert (False
2997 or else NT (N).Nkind = N_Op_Divide
2998 or else NT (N).Nkind = N_Op_Mod
2999 or else NT (N).Nkind = N_Op_Multiply
3000 or else NT (N).Nkind = N_Op_Rem);
3002 end Treat_Fixed_As_Integer;
3004 function Triggering_Alternative
3005 (N : Node_Id) return Node_Id is
3007 pragma Assert (False
3008 or else NT (N).Nkind = N_Asynchronous_Select);
3010 end Triggering_Alternative;
3012 function Triggering_Statement
3013 (N : Node_Id) return Node_Id is
3015 pragma Assert (False
3016 or else NT (N).Nkind = N_Triggering_Alternative);
3018 end Triggering_Statement;
3021 (N : Node_Id) return Elist_Id is
3023 pragma Assert (False
3024 or else NT (N).Nkind = N_Freeze_Entity);
3028 function Type_Definition
3029 (N : Node_Id) return Node_Id is
3031 pragma Assert (False
3032 or else NT (N).Nkind = N_Full_Type_Declaration);
3034 end Type_Definition;
3037 (N : Node_Id) return Node_Id is
3039 pragma Assert (False
3040 or else NT (N).Nkind = N_Compilation_Unit);
3044 function Unknown_Discriminants_Present
3045 (N : Node_Id) return Boolean is
3047 pragma Assert (False
3048 or else NT (N).Nkind = N_Formal_Type_Declaration
3049 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3050 or else NT (N).Nkind = N_Private_Extension_Declaration
3051 or else NT (N).Nkind = N_Private_Type_Declaration);
3053 end Unknown_Discriminants_Present;
3055 function Unreferenced_In_Spec
3056 (N : Node_Id) return Boolean is
3058 pragma Assert (False
3059 or else NT (N).Nkind = N_With_Clause);
3061 end Unreferenced_In_Spec;
3063 function Variant_Part
3064 (N : Node_Id) return Node_Id is
3066 pragma Assert (False
3067 or else NT (N).Nkind = N_Component_List);
3072 (N : Node_Id) return List_Id is
3074 pragma Assert (False
3075 or else NT (N).Nkind = N_Variant_Part);
3079 function Visible_Declarations
3080 (N : Node_Id) return List_Id is
3082 pragma Assert (False
3083 or else NT (N).Nkind = N_Package_Specification
3084 or else NT (N).Nkind = N_Protected_Definition
3085 or else NT (N).Nkind = N_Task_Definition);
3087 end Visible_Declarations;
3089 function Used_Operations
3090 (N : Node_Id) return Elist_Id is
3092 pragma Assert (False
3093 or else NT (N).Nkind = N_Use_Type_Clause);
3095 end Used_Operations;
3097 function Was_Originally_Stub
3098 (N : Node_Id) return Boolean is
3100 pragma Assert (False
3101 or else NT (N).Nkind = N_Package_Body
3102 or else NT (N).Nkind = N_Protected_Body
3103 or else NT (N).Nkind = N_Subprogram_Body
3104 or else NT (N).Nkind = N_Task_Body);
3106 end Was_Originally_Stub;
3108 function Withed_Body
3109 (N : Node_Id) return Node_Id is
3111 pragma Assert (False
3112 or else NT (N).Nkind = N_With_Clause);
3116 --------------------------
3117 -- Field Set Procedures --
3118 --------------------------
3120 procedure Set_ABE_Is_Certain
3121 (N : Node_Id; Val : Boolean := True) is
3123 pragma Assert (False
3124 or else NT (N).Nkind = N_Formal_Package_Declaration
3125 or else NT (N).Nkind = N_Function_Call
3126 or else NT (N).Nkind = N_Function_Instantiation
3127 or else NT (N).Nkind = N_Package_Instantiation
3128 or else NT (N).Nkind = N_Procedure_Call_Statement
3129 or else NT (N).Nkind = N_Procedure_Instantiation);
3130 Set_Flag18 (N, Val);
3131 end Set_ABE_Is_Certain;
3133 procedure Set_Abort_Present
3134 (N : Node_Id; Val : Boolean := True) is
3136 pragma Assert (False
3137 or else NT (N).Nkind = N_Requeue_Statement);
3138 Set_Flag15 (N, Val);
3139 end Set_Abort_Present;
3141 procedure Set_Abortable_Part
3142 (N : Node_Id; Val : Node_Id) is
3144 pragma Assert (False
3145 or else NT (N).Nkind = N_Asynchronous_Select);
3146 Set_Node2_With_Parent (N, Val);
3147 end Set_Abortable_Part;
3149 procedure Set_Abstract_Present
3150 (N : Node_Id; Val : Boolean := True) is
3152 pragma Assert (False
3153 or else NT (N).Nkind = N_Derived_Type_Definition
3154 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3155 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3156 or else NT (N).Nkind = N_Private_Extension_Declaration
3157 or else NT (N).Nkind = N_Private_Type_Declaration
3158 or else NT (N).Nkind = N_Record_Definition);
3160 end Set_Abstract_Present;
3162 procedure Set_Accept_Handler_Records
3163 (N : Node_Id; Val : List_Id) is
3165 pragma Assert (False
3166 or else NT (N).Nkind = N_Accept_Alternative);
3167 Set_List5 (N, Val); -- semantic field, no parent set
3168 end Set_Accept_Handler_Records;
3170 procedure Set_Accept_Statement
3171 (N : Node_Id; Val : Node_Id) is
3173 pragma Assert (False
3174 or else NT (N).Nkind = N_Accept_Alternative);
3175 Set_Node2_With_Parent (N, Val);
3176 end Set_Accept_Statement;
3178 procedure Set_Access_Definition
3179 (N : Node_Id; Val : Node_Id) is
3181 pragma Assert (False
3182 or else NT (N).Nkind = N_Component_Definition
3183 or else NT (N).Nkind = N_Formal_Object_Declaration
3184 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3185 Set_Node3_With_Parent (N, Val);
3186 end Set_Access_Definition;
3188 procedure Set_Access_To_Subprogram_Definition
3189 (N : Node_Id; Val : Node_Id) is
3191 pragma Assert (False
3192 or else NT (N).Nkind = N_Access_Definition);
3193 Set_Node3_With_Parent (N, Val);
3194 end Set_Access_To_Subprogram_Definition;
3196 procedure Set_Access_Types_To_Process
3197 (N : Node_Id; Val : Elist_Id) is
3199 pragma Assert (False
3200 or else NT (N).Nkind = N_Freeze_Entity);
3201 Set_Elist2 (N, Val); -- semantic field, no parent set
3202 end Set_Access_Types_To_Process;
3204 procedure Set_Actions
3205 (N : Node_Id; Val : List_Id) is
3207 pragma Assert (False
3208 or else NT (N).Nkind = N_And_Then
3209 or else NT (N).Nkind = N_Case_Expression_Alternative
3210 or else NT (N).Nkind = N_Compilation_Unit_Aux
3211 or else NT (N).Nkind = N_Expression_With_Actions
3212 or else NT (N).Nkind = N_Freeze_Entity
3213 or else NT (N).Nkind = N_Or_Else);
3214 Set_List1_With_Parent (N, Val);
3217 procedure Set_Activation_Chain_Entity
3218 (N : Node_Id; Val : Node_Id) is
3220 pragma Assert (False
3221 or else NT (N).Nkind = N_Block_Statement
3222 or else NT (N).Nkind = N_Entry_Body
3223 or else NT (N).Nkind = N_Generic_Package_Declaration
3224 or else NT (N).Nkind = N_Package_Declaration
3225 or else NT (N).Nkind = N_Subprogram_Body
3226 or else NT (N).Nkind = N_Task_Body);
3227 Set_Node3 (N, Val); -- semantic field, no parent set
3228 end Set_Activation_Chain_Entity;
3230 procedure Set_Acts_As_Spec
3231 (N : Node_Id; Val : Boolean := True) is
3233 pragma Assert (False
3234 or else NT (N).Nkind = N_Compilation_Unit
3235 or else NT (N).Nkind = N_Subprogram_Body);
3237 end Set_Acts_As_Spec;
3239 procedure Set_Actual_Designated_Subtype
3240 (N : Node_Id; Val : Node_Id) is
3242 pragma Assert (False
3243 or else NT (N).Nkind = N_Explicit_Dereference
3244 or else NT (N).Nkind = N_Free_Statement);
3246 end Set_Actual_Designated_Subtype;
3248 procedure Set_Address_Warning_Posted
3249 (N : Node_Id; Val : Boolean := True) is
3251 pragma Assert (False
3252 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3253 Set_Flag18 (N, Val);
3254 end Set_Address_Warning_Posted;
3256 procedure Set_Aggregate_Bounds
3257 (N : Node_Id; Val : Node_Id) is
3259 pragma Assert (False
3260 or else NT (N).Nkind = N_Aggregate);
3261 Set_Node3 (N, Val); -- semantic field, no parent set
3262 end Set_Aggregate_Bounds;
3264 procedure Set_Aliased_Present
3265 (N : Node_Id; Val : Boolean := True) is
3267 pragma Assert (False
3268 or else NT (N).Nkind = N_Component_Definition
3269 or else NT (N).Nkind = N_Object_Declaration
3270 or else NT (N).Nkind = N_Parameter_Specification);
3272 end Set_Aliased_Present;
3274 procedure Set_All_Others
3275 (N : Node_Id; Val : Boolean := True) is
3277 pragma Assert (False
3278 or else NT (N).Nkind = N_Others_Choice);
3279 Set_Flag11 (N, Val);
3282 procedure Set_All_Present
3283 (N : Node_Id; Val : Boolean := True) is
3285 pragma Assert (False
3286 or else NT (N).Nkind = N_Access_Definition
3287 or else NT (N).Nkind = N_Access_To_Object_Definition
3288 or else NT (N).Nkind = N_Quantified_Expression
3289 or else NT (N).Nkind = N_Use_Type_Clause);
3290 Set_Flag15 (N, Val);
3291 end Set_All_Present;
3293 procedure Set_Alternatives
3294 (N : Node_Id; Val : List_Id) is
3296 pragma Assert (False
3297 or else NT (N).Nkind = N_Case_Expression
3298 or else NT (N).Nkind = N_Case_Statement
3299 or else NT (N).Nkind = N_In
3300 or else NT (N).Nkind = N_Not_In);
3301 Set_List4_With_Parent (N, Val);
3302 end Set_Alternatives;
3304 procedure Set_Ancestor_Part
3305 (N : Node_Id; Val : Node_Id) is
3307 pragma Assert (False
3308 or else NT (N).Nkind = N_Extension_Aggregate);
3309 Set_Node3_With_Parent (N, Val);
3310 end Set_Ancestor_Part;
3312 procedure Set_Array_Aggregate
3313 (N : Node_Id; Val : Node_Id) is
3315 pragma Assert (False
3316 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3317 Set_Node3_With_Parent (N, Val);
3318 end Set_Array_Aggregate;
3320 procedure Set_Aspect_Rep_Item
3321 (N : Node_Id; Val : Node_Id) is
3323 pragma Assert (False
3324 or else NT (N).Nkind = N_Aspect_Specification);
3326 end Set_Aspect_Rep_Item;
3328 procedure Set_Assignment_OK
3329 (N : Node_Id; Val : Boolean := True) is
3331 pragma Assert (False
3332 or else NT (N).Nkind = N_Object_Declaration
3333 or else NT (N).Nkind in N_Subexpr);
3334 Set_Flag15 (N, Val);
3335 end Set_Assignment_OK;
3337 procedure Set_Associated_Node
3338 (N : Node_Id; Val : Node_Id) is
3340 pragma Assert (False
3341 or else NT (N).Nkind in N_Has_Entity
3342 or else NT (N).Nkind = N_Aggregate
3343 or else NT (N).Nkind = N_Extension_Aggregate
3344 or else NT (N).Nkind = N_Selected_Component);
3345 Set_Node4 (N, Val); -- semantic field, no parent set
3346 end Set_Associated_Node;
3348 procedure Set_At_End_Proc
3349 (N : Node_Id; Val : Node_Id) is
3351 pragma Assert (False
3352 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3354 end Set_At_End_Proc;
3356 procedure Set_Attribute_Name
3357 (N : Node_Id; Val : Name_Id) is
3359 pragma Assert (False
3360 or else NT (N).Nkind = N_Attribute_Reference);
3362 end Set_Attribute_Name;
3364 procedure Set_Aux_Decls_Node
3365 (N : Node_Id; Val : Node_Id) is
3367 pragma Assert (False
3368 or else NT (N).Nkind = N_Compilation_Unit);
3369 Set_Node5_With_Parent (N, Val);
3370 end Set_Aux_Decls_Node;
3372 procedure Set_Backwards_OK
3373 (N : Node_Id; Val : Boolean := True) is
3375 pragma Assert (False
3376 or else NT (N).Nkind = N_Assignment_Statement);
3378 end Set_Backwards_OK;
3380 procedure Set_Bad_Is_Detected
3381 (N : Node_Id; Val : Boolean := True) is
3383 pragma Assert (False
3384 or else NT (N).Nkind = N_Subprogram_Body);
3385 Set_Flag15 (N, Val);
3386 end Set_Bad_Is_Detected;
3388 procedure Set_Body_Required
3389 (N : Node_Id; Val : Boolean := True) is
3391 pragma Assert (False
3392 or else NT (N).Nkind = N_Compilation_Unit);
3393 Set_Flag13 (N, Val);
3394 end Set_Body_Required;
3396 procedure Set_Body_To_Inline
3397 (N : Node_Id; Val : Node_Id) is
3399 pragma Assert (False
3400 or else NT (N).Nkind = N_Subprogram_Declaration);
3402 end Set_Body_To_Inline;
3404 procedure Set_Box_Present
3405 (N : Node_Id; Val : Boolean := True) is
3407 pragma Assert (False
3408 or else NT (N).Nkind = N_Component_Association
3409 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3410 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3411 or else NT (N).Nkind = N_Formal_Package_Declaration
3412 or else NT (N).Nkind = N_Generic_Association);
3413 Set_Flag15 (N, Val);
3414 end Set_Box_Present;
3416 procedure Set_By_Ref
3417 (N : Node_Id; Val : Boolean := True) is
3419 pragma Assert (False
3420 or else NT (N).Nkind = N_Extended_Return_Statement
3421 or else NT (N).Nkind = N_Return_Statement);
3425 procedure Set_Char_Literal_Value
3426 (N : Node_Id; Val : Uint) is
3428 pragma Assert (False
3429 or else NT (N).Nkind = N_Character_Literal);
3431 end Set_Char_Literal_Value;
3434 (N : Node_Id; Val : Name_Id) is
3436 pragma Assert (False
3437 or else NT (N).Nkind in N_Has_Chars);
3441 procedure Set_Check_Address_Alignment
3442 (N : Node_Id; Val : Boolean := True) is
3444 pragma Assert (False
3445 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3446 Set_Flag11 (N, Val);
3447 end Set_Check_Address_Alignment;
3449 procedure Set_Choice_Parameter
3450 (N : Node_Id; Val : Node_Id) is
3452 pragma Assert (False
3453 or else NT (N).Nkind = N_Exception_Handler);
3454 Set_Node2_With_Parent (N, Val);
3455 end Set_Choice_Parameter;
3457 procedure Set_Choices
3458 (N : Node_Id; Val : List_Id) is
3460 pragma Assert (False
3461 or else NT (N).Nkind = N_Component_Association);
3462 Set_List1_With_Parent (N, Val);
3465 procedure Set_Class_Present
3466 (N : Node_Id; Val : Boolean := True) is
3468 pragma Assert (False
3469 or else NT (N).Nkind = N_Aspect_Specification
3470 or else NT (N).Nkind = N_Pragma);
3472 end Set_Class_Present;
3474 procedure Set_Comes_From_Extended_Return_Statement
3475 (N : Node_Id; Val : Boolean := True) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Return_Statement);
3479 Set_Flag18 (N, Val);
3480 end Set_Comes_From_Extended_Return_Statement;
3482 procedure Set_Compile_Time_Known_Aggregate
3483 (N : Node_Id; Val : Boolean := True) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Aggregate);
3487 Set_Flag18 (N, Val);
3488 end Set_Compile_Time_Known_Aggregate;
3490 procedure Set_Component_Associations
3491 (N : Node_Id; Val : List_Id) is
3493 pragma Assert (False
3494 or else NT (N).Nkind = N_Aggregate
3495 or else NT (N).Nkind = N_Extension_Aggregate);
3496 Set_List2_With_Parent (N, Val);
3497 end Set_Component_Associations;
3499 procedure Set_Component_Clauses
3500 (N : Node_Id; Val : List_Id) is
3502 pragma Assert (False
3503 or else NT (N).Nkind = N_Record_Representation_Clause);
3504 Set_List3_With_Parent (N, Val);
3505 end Set_Component_Clauses;
3507 procedure Set_Component_Definition
3508 (N : Node_Id; Val : Node_Id) is
3510 pragma Assert (False
3511 or else NT (N).Nkind = N_Component_Declaration
3512 or else NT (N).Nkind = N_Constrained_Array_Definition
3513 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3514 Set_Node4_With_Parent (N, Val);
3515 end Set_Component_Definition;
3517 procedure Set_Component_Items
3518 (N : Node_Id; Val : List_Id) is
3520 pragma Assert (False
3521 or else NT (N).Nkind = N_Component_List);
3522 Set_List3_With_Parent (N, Val);
3523 end Set_Component_Items;
3525 procedure Set_Component_List
3526 (N : Node_Id; Val : Node_Id) is
3528 pragma Assert (False
3529 or else NT (N).Nkind = N_Record_Definition
3530 or else NT (N).Nkind = N_Variant);
3531 Set_Node1_With_Parent (N, Val);
3532 end Set_Component_List;
3534 procedure Set_Component_Name
3535 (N : Node_Id; Val : Node_Id) is
3537 pragma Assert (False
3538 or else NT (N).Nkind = N_Component_Clause);
3539 Set_Node1_With_Parent (N, Val);
3540 end Set_Component_Name;
3542 procedure Set_Componentwise_Assignment
3543 (N : Node_Id; Val : Boolean := True) is
3545 pragma Assert (False
3546 or else NT (N).Nkind = N_Assignment_Statement);
3547 Set_Flag14 (N, Val);
3548 end Set_Componentwise_Assignment;
3550 procedure Set_Condition
3551 (N : Node_Id; Val : Node_Id) is
3553 pragma Assert (False
3554 or else NT (N).Nkind = N_Accept_Alternative
3555 or else NT (N).Nkind = N_Delay_Alternative
3556 or else NT (N).Nkind = N_Elsif_Part
3557 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3558 or else NT (N).Nkind = N_Exit_Statement
3559 or else NT (N).Nkind = N_If_Statement
3560 or else NT (N).Nkind = N_Iteration_Scheme
3561 or else NT (N).Nkind = N_Quantified_Expression
3562 or else NT (N).Nkind = N_Raise_Constraint_Error
3563 or else NT (N).Nkind = N_Raise_Program_Error
3564 or else NT (N).Nkind = N_Raise_Storage_Error
3565 or else NT (N).Nkind = N_Terminate_Alternative);
3566 Set_Node1_With_Parent (N, Val);
3569 procedure Set_Condition_Actions
3570 (N : Node_Id; Val : List_Id) is
3572 pragma Assert (False
3573 or else NT (N).Nkind = N_Elsif_Part
3574 or else NT (N).Nkind = N_Iteration_Scheme);
3575 Set_List3 (N, Val); -- semantic field, no parent set
3576 end Set_Condition_Actions;
3578 procedure Set_Config_Pragmas
3579 (N : Node_Id; Val : List_Id) is
3581 pragma Assert (False
3582 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3583 Set_List4_With_Parent (N, Val);
3584 end Set_Config_Pragmas;
3586 procedure Set_Constant_Present
3587 (N : Node_Id; Val : Boolean := True) is
3589 pragma Assert (False
3590 or else NT (N).Nkind = N_Access_Definition
3591 or else NT (N).Nkind = N_Access_To_Object_Definition
3592 or else NT (N).Nkind = N_Object_Declaration);
3593 Set_Flag17 (N, Val);
3594 end Set_Constant_Present;
3596 procedure Set_Constraint
3597 (N : Node_Id; Val : Node_Id) is
3599 pragma Assert (False
3600 or else NT (N).Nkind = N_Subtype_Indication);
3601 Set_Node3_With_Parent (N, Val);
3604 procedure Set_Constraints
3605 (N : Node_Id; Val : List_Id) is
3607 pragma Assert (False
3608 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3609 Set_List1_With_Parent (N, Val);
3610 end Set_Constraints;
3612 procedure Set_Context_Installed
3613 (N : Node_Id; Val : Boolean := True) is
3615 pragma Assert (False
3616 or else NT (N).Nkind = N_With_Clause);
3617 Set_Flag13 (N, Val);
3618 end Set_Context_Installed;
3620 procedure Set_Context_Items
3621 (N : Node_Id; Val : List_Id) is
3623 pragma Assert (False
3624 or else NT (N).Nkind = N_Compilation_Unit);
3625 Set_List1_With_Parent (N, Val);
3626 end Set_Context_Items;
3628 procedure Set_Context_Pending
3629 (N : Node_Id; Val : Boolean := True) is
3631 pragma Assert (False
3632 or else NT (N).Nkind = N_Compilation_Unit);
3633 Set_Flag16 (N, Val);
3634 end Set_Context_Pending;
3636 procedure Set_Controlling_Argument
3637 (N : Node_Id; Val : Node_Id) is
3639 pragma Assert (False
3640 or else NT (N).Nkind = N_Function_Call
3641 or else NT (N).Nkind = N_Procedure_Call_Statement);
3642 Set_Node1 (N, Val); -- semantic field, no parent set
3643 end Set_Controlling_Argument;
3645 procedure Set_Conversion_OK
3646 (N : Node_Id; Val : Boolean := True) is
3648 pragma Assert (False
3649 or else NT (N).Nkind = N_Type_Conversion);
3650 Set_Flag14 (N, Val);
3651 end Set_Conversion_OK;
3653 procedure Set_Corresponding_Aspect
3654 (N : Node_Id; Val : Node_Id) is
3656 pragma Assert (False
3657 or else NT (N).Nkind = N_Pragma);
3659 end Set_Corresponding_Aspect;
3661 procedure Set_Corresponding_Body
3662 (N : Node_Id; Val : Node_Id) is
3664 pragma Assert (False
3665 or else NT (N).Nkind = N_Entry_Declaration
3666 or else NT (N).Nkind = N_Generic_Package_Declaration
3667 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3668 or else NT (N).Nkind = N_Package_Body_Stub
3669 or else NT (N).Nkind = N_Package_Declaration
3670 or else NT (N).Nkind = N_Protected_Body_Stub
3671 or else NT (N).Nkind = N_Protected_Type_Declaration
3672 or else NT (N).Nkind = N_Subprogram_Body_Stub
3673 or else NT (N).Nkind = N_Subprogram_Declaration
3674 or else NT (N).Nkind = N_Task_Body_Stub
3675 or else NT (N).Nkind = N_Task_Type_Declaration);
3676 Set_Node5 (N, Val); -- semantic field, no parent set
3677 end Set_Corresponding_Body;
3679 procedure Set_Corresponding_Formal_Spec
3680 (N : Node_Id; Val : Node_Id) is
3682 pragma Assert (False
3683 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3684 Set_Node3 (N, Val); -- semantic field, no parent set
3685 end Set_Corresponding_Formal_Spec;
3687 procedure Set_Corresponding_Generic_Association
3688 (N : Node_Id; Val : Node_Id) is
3690 pragma Assert (False
3691 or else NT (N).Nkind = N_Object_Declaration
3692 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3693 Set_Node5 (N, Val); -- semantic field, no parent set
3694 end Set_Corresponding_Generic_Association;
3696 procedure Set_Corresponding_Integer_Value
3697 (N : Node_Id; Val : Uint) is
3699 pragma Assert (False
3700 or else NT (N).Nkind = N_Real_Literal);
3701 Set_Uint4 (N, Val); -- semantic field, no parent set
3702 end Set_Corresponding_Integer_Value;
3704 procedure Set_Corresponding_Spec
3705 (N : Node_Id; Val : Node_Id) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Package_Body
3709 or else NT (N).Nkind = N_Protected_Body
3710 or else NT (N).Nkind = N_Subprogram_Body
3711 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3712 or else NT (N).Nkind = N_Task_Body
3713 or else NT (N).Nkind = N_With_Clause);
3714 Set_Node5 (N, Val); -- semantic field, no parent set
3715 end Set_Corresponding_Spec;
3717 procedure Set_Corresponding_Stub
3718 (N : Node_Id; Val : Node_Id) is
3720 pragma Assert (False
3721 or else NT (N).Nkind = N_Subunit);
3723 end Set_Corresponding_Stub;
3725 procedure Set_Dcheck_Function
3726 (N : Node_Id; Val : Entity_Id) is
3728 pragma Assert (False
3729 or else NT (N).Nkind = N_Variant);
3730 Set_Node5 (N, Val); -- semantic field, no parent set
3731 end Set_Dcheck_Function;
3733 procedure Set_Declarations
3734 (N : Node_Id; Val : List_Id) is
3736 pragma Assert (False
3737 or else NT (N).Nkind = N_Accept_Statement
3738 or else NT (N).Nkind = N_Block_Statement
3739 or else NT (N).Nkind = N_Compilation_Unit_Aux
3740 or else NT (N).Nkind = N_Entry_Body
3741 or else NT (N).Nkind = N_Package_Body
3742 or else NT (N).Nkind = N_Protected_Body
3743 or else NT (N).Nkind = N_Subprogram_Body
3744 or else NT (N).Nkind = N_Task_Body);
3745 Set_List2_With_Parent (N, Val);
3746 end Set_Declarations;
3748 procedure Set_Default_Expression
3749 (N : Node_Id; Val : Node_Id) is
3751 pragma Assert (False
3752 or else NT (N).Nkind = N_Formal_Object_Declaration
3753 or else NT (N).Nkind = N_Parameter_Specification);
3754 Set_Node5 (N, Val); -- semantic field, no parent set
3755 end Set_Default_Expression;
3757 procedure Set_Default_Storage_Pool
3758 (N : Node_Id; Val : Node_Id) is
3760 pragma Assert (False
3761 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3762 Set_Node3 (N, Val); -- semantic field, no parent set
3763 end Set_Default_Storage_Pool;
3765 procedure Set_Default_Name
3766 (N : Node_Id; Val : Node_Id) is
3768 pragma Assert (False
3769 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3770 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3771 Set_Node2_With_Parent (N, Val);
3772 end Set_Default_Name;
3774 procedure Set_Defining_Identifier
3775 (N : Node_Id; Val : Entity_Id) is
3777 pragma Assert (False
3778 or else NT (N).Nkind = N_Component_Declaration
3779 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3780 or else NT (N).Nkind = N_Discriminant_Specification
3781 or else NT (N).Nkind = N_Entry_Body
3782 or else NT (N).Nkind = N_Entry_Declaration
3783 or else NT (N).Nkind = N_Entry_Index_Specification
3784 or else NT (N).Nkind = N_Exception_Declaration
3785 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3786 or else NT (N).Nkind = N_Formal_Object_Declaration
3787 or else NT (N).Nkind = N_Formal_Package_Declaration
3788 or else NT (N).Nkind = N_Formal_Type_Declaration
3789 or else NT (N).Nkind = N_Full_Type_Declaration
3790 or else NT (N).Nkind = N_Implicit_Label_Declaration
3791 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3792 or else NT (N).Nkind = N_Iterator_Specification
3793 or else NT (N).Nkind = N_Loop_Parameter_Specification
3794 or else NT (N).Nkind = N_Number_Declaration
3795 or else NT (N).Nkind = N_Object_Declaration
3796 or else NT (N).Nkind = N_Object_Renaming_Declaration
3797 or else NT (N).Nkind = N_Package_Body_Stub
3798 or else NT (N).Nkind = N_Parameter_Specification
3799 or else NT (N).Nkind = N_Private_Extension_Declaration
3800 or else NT (N).Nkind = N_Private_Type_Declaration
3801 or else NT (N).Nkind = N_Protected_Body
3802 or else NT (N).Nkind = N_Protected_Body_Stub
3803 or else NT (N).Nkind = N_Protected_Type_Declaration
3804 or else NT (N).Nkind = N_Single_Protected_Declaration
3805 or else NT (N).Nkind = N_Single_Task_Declaration
3806 or else NT (N).Nkind = N_Subtype_Declaration
3807 or else NT (N).Nkind = N_Task_Body
3808 or else NT (N).Nkind = N_Task_Body_Stub
3809 or else NT (N).Nkind = N_Task_Type_Declaration);
3810 Set_Node1_With_Parent (N, Val);
3811 end Set_Defining_Identifier;
3813 procedure Set_Defining_Unit_Name
3814 (N : Node_Id; Val : Node_Id) is
3816 pragma Assert (False
3817 or else NT (N).Nkind = N_Function_Instantiation
3818 or else NT (N).Nkind = N_Function_Specification
3819 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3820 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3821 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3822 or else NT (N).Nkind = N_Package_Body
3823 or else NT (N).Nkind = N_Package_Instantiation
3824 or else NT (N).Nkind = N_Package_Renaming_Declaration
3825 or else NT (N).Nkind = N_Package_Specification
3826 or else NT (N).Nkind = N_Procedure_Instantiation
3827 or else NT (N).Nkind = N_Procedure_Specification);
3828 Set_Node1_With_Parent (N, Val);
3829 end Set_Defining_Unit_Name;
3831 procedure Set_Delay_Alternative
3832 (N : Node_Id; Val : Node_Id) is
3834 pragma Assert (False
3835 or else NT (N).Nkind = N_Timed_Entry_Call);
3836 Set_Node4_With_Parent (N, Val);
3837 end Set_Delay_Alternative;
3839 procedure Set_Delay_Statement
3840 (N : Node_Id; Val : Node_Id) is
3842 pragma Assert (False
3843 or else NT (N).Nkind = N_Delay_Alternative);
3844 Set_Node2_With_Parent (N, Val);
3845 end Set_Delay_Statement;
3847 procedure Set_Delta_Expression
3848 (N : Node_Id; Val : Node_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3852 or else NT (N).Nkind = N_Delta_Constraint
3853 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3854 Set_Node3_With_Parent (N, Val);
3855 end Set_Delta_Expression;
3857 procedure Set_Digits_Expression
3858 (N : Node_Id; Val : Node_Id) is
3860 pragma Assert (False
3861 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3862 or else NT (N).Nkind = N_Digits_Constraint
3863 or else NT (N).Nkind = N_Floating_Point_Definition);
3864 Set_Node2_With_Parent (N, Val);
3865 end Set_Digits_Expression;
3867 procedure Set_Discr_Check_Funcs_Built
3868 (N : Node_Id; Val : Boolean := True) is
3870 pragma Assert (False
3871 or else NT (N).Nkind = N_Full_Type_Declaration);
3872 Set_Flag11 (N, Val);
3873 end Set_Discr_Check_Funcs_Built;
3875 procedure Set_Discrete_Choices
3876 (N : Node_Id; Val : List_Id) is
3878 pragma Assert (False
3879 or else NT (N).Nkind = N_Case_Expression_Alternative
3880 or else NT (N).Nkind = N_Case_Statement_Alternative
3881 or else NT (N).Nkind = N_Variant);
3882 Set_List4_With_Parent (N, Val);
3883 end Set_Discrete_Choices;
3885 procedure Set_Discrete_Range
3886 (N : Node_Id; Val : Node_Id) is
3888 pragma Assert (False
3889 or else NT (N).Nkind = N_Slice);
3890 Set_Node4_With_Parent (N, Val);
3891 end Set_Discrete_Range;
3893 procedure Set_Discrete_Subtype_Definition
3894 (N : Node_Id; Val : Node_Id) is
3896 pragma Assert (False
3897 or else NT (N).Nkind = N_Entry_Declaration
3898 or else NT (N).Nkind = N_Entry_Index_Specification
3899 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3900 Set_Node4_With_Parent (N, Val);
3901 end Set_Discrete_Subtype_Definition;
3903 procedure Set_Discrete_Subtype_Definitions
3904 (N : Node_Id; Val : List_Id) is
3906 pragma Assert (False
3907 or else NT (N).Nkind = N_Constrained_Array_Definition);
3908 Set_List2_With_Parent (N, Val);
3909 end Set_Discrete_Subtype_Definitions;
3911 procedure Set_Discriminant_Specifications
3912 (N : Node_Id; Val : List_Id) is
3914 pragma Assert (False
3915 or else NT (N).Nkind = N_Formal_Type_Declaration
3916 or else NT (N).Nkind = N_Full_Type_Declaration
3917 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3918 or else NT (N).Nkind = N_Private_Extension_Declaration
3919 or else NT (N).Nkind = N_Private_Type_Declaration
3920 or else NT (N).Nkind = N_Protected_Type_Declaration
3921 or else NT (N).Nkind = N_Task_Type_Declaration);
3922 Set_List4_With_Parent (N, Val);
3923 end Set_Discriminant_Specifications;
3925 procedure Set_Discriminant_Type
3926 (N : Node_Id; Val : Node_Id) is
3928 pragma Assert (False
3929 or else NT (N).Nkind = N_Discriminant_Specification);
3930 Set_Node5_With_Parent (N, Val);
3931 end Set_Discriminant_Type;
3933 procedure Set_Do_Accessibility_Check
3934 (N : Node_Id; Val : Boolean := True) is
3936 pragma Assert (False
3937 or else NT (N).Nkind = N_Parameter_Specification);
3938 Set_Flag13 (N, Val);
3939 end Set_Do_Accessibility_Check;
3941 procedure Set_Do_Discriminant_Check
3942 (N : Node_Id; Val : Boolean := True) is
3944 pragma Assert (False
3945 or else NT (N).Nkind = N_Selected_Component);
3946 Set_Flag13 (N, Val);
3947 end Set_Do_Discriminant_Check;
3949 procedure Set_Do_Division_Check
3950 (N : Node_Id; Val : Boolean := True) is
3952 pragma Assert (False
3953 or else NT (N).Nkind = N_Op_Divide
3954 or else NT (N).Nkind = N_Op_Mod
3955 or else NT (N).Nkind = N_Op_Rem);
3956 Set_Flag13 (N, Val);
3957 end Set_Do_Division_Check;
3959 procedure Set_Do_Length_Check
3960 (N : Node_Id; Val : Boolean := True) is
3962 pragma Assert (False
3963 or else NT (N).Nkind = N_Assignment_Statement
3964 or else NT (N).Nkind = N_Op_And
3965 or else NT (N).Nkind = N_Op_Or
3966 or else NT (N).Nkind = N_Op_Xor
3967 or else NT (N).Nkind = N_Type_Conversion);
3969 end Set_Do_Length_Check;
3971 procedure Set_Do_Overflow_Check
3972 (N : Node_Id; Val : Boolean := True) is
3974 pragma Assert (False
3975 or else NT (N).Nkind in N_Op
3976 or else NT (N).Nkind = N_Attribute_Reference
3977 or else NT (N).Nkind = N_Type_Conversion);
3978 Set_Flag17 (N, Val);
3979 end Set_Do_Overflow_Check;
3981 procedure Set_Do_Range_Check
3982 (N : Node_Id; Val : Boolean := True) is
3984 pragma Assert (False
3985 or else NT (N).Nkind in N_Subexpr);
3987 end Set_Do_Range_Check;
3989 procedure Set_Do_Storage_Check
3990 (N : Node_Id; Val : Boolean := True) is
3992 pragma Assert (False
3993 or else NT (N).Nkind = N_Allocator
3994 or else NT (N).Nkind = N_Subprogram_Body);
3995 Set_Flag17 (N, Val);
3996 end Set_Do_Storage_Check;
3998 procedure Set_Do_Tag_Check
3999 (N : Node_Id; Val : Boolean := True) is
4001 pragma Assert (False
4002 or else NT (N).Nkind = N_Assignment_Statement
4003 or else NT (N).Nkind = N_Extended_Return_Statement
4004 or else NT (N).Nkind = N_Function_Call
4005 or else NT (N).Nkind = N_Procedure_Call_Statement
4006 or else NT (N).Nkind = N_Return_Statement
4007 or else NT (N).Nkind = N_Type_Conversion);
4008 Set_Flag13 (N, Val);
4009 end Set_Do_Tag_Check;
4011 procedure Set_Elaborate_All_Desirable
4012 (N : Node_Id; Val : Boolean := True) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_With_Clause);
4017 end Set_Elaborate_All_Desirable;
4019 procedure Set_Elaborate_All_Present
4020 (N : Node_Id; Val : Boolean := True) is
4022 pragma Assert (False
4023 or else NT (N).Nkind = N_With_Clause);
4024 Set_Flag14 (N, Val);
4025 end Set_Elaborate_All_Present;
4027 procedure Set_Elaborate_Desirable
4028 (N : Node_Id; Val : Boolean := True) is
4030 pragma Assert (False
4031 or else NT (N).Nkind = N_With_Clause);
4032 Set_Flag11 (N, Val);
4033 end Set_Elaborate_Desirable;
4035 procedure Set_Elaborate_Present
4036 (N : Node_Id; Val : Boolean := True) is
4038 pragma Assert (False
4039 or else NT (N).Nkind = N_With_Clause);
4041 end Set_Elaborate_Present;
4043 procedure Set_Elaboration_Boolean
4044 (N : Node_Id; Val : Node_Id) is
4046 pragma Assert (False
4047 or else NT (N).Nkind = N_Function_Specification
4048 or else NT (N).Nkind = N_Procedure_Specification);
4050 end Set_Elaboration_Boolean;
4052 procedure Set_Else_Actions
4053 (N : Node_Id; Val : List_Id) is
4055 pragma Assert (False
4056 or else NT (N).Nkind = N_Conditional_Expression);
4057 Set_List3 (N, Val); -- semantic field, no parent set
4058 end Set_Else_Actions;
4060 procedure Set_Else_Statements
4061 (N : Node_Id; Val : List_Id) is
4063 pragma Assert (False
4064 or else NT (N).Nkind = N_Conditional_Entry_Call
4065 or else NT (N).Nkind = N_If_Statement
4066 or else NT (N).Nkind = N_Selective_Accept);
4067 Set_List4_With_Parent (N, Val);
4068 end Set_Else_Statements;
4070 procedure Set_Elsif_Parts
4071 (N : Node_Id; Val : List_Id) is
4073 pragma Assert (False
4074 or else NT (N).Nkind = N_If_Statement);
4075 Set_List3_With_Parent (N, Val);
4076 end Set_Elsif_Parts;
4078 procedure Set_Enclosing_Variant
4079 (N : Node_Id; Val : Node_Id) is
4081 pragma Assert (False
4082 or else NT (N).Nkind = N_Variant);
4083 Set_Node2 (N, Val); -- semantic field, no parent set
4084 end Set_Enclosing_Variant;
4086 procedure Set_End_Label
4087 (N : Node_Id; Val : Node_Id) is
4089 pragma Assert (False
4090 or else NT (N).Nkind = N_Enumeration_Type_Definition
4091 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4092 or else NT (N).Nkind = N_Loop_Statement
4093 or else NT (N).Nkind = N_Package_Specification
4094 or else NT (N).Nkind = N_Protected_Body
4095 or else NT (N).Nkind = N_Protected_Definition
4096 or else NT (N).Nkind = N_Record_Definition
4097 or else NT (N).Nkind = N_Task_Definition);
4098 Set_Node4_With_Parent (N, Val);
4101 procedure Set_End_Span
4102 (N : Node_Id; Val : Uint) is
4104 pragma Assert (False
4105 or else NT (N).Nkind = N_Case_Statement
4106 or else NT (N).Nkind = N_If_Statement);
4110 procedure Set_Entity
4111 (N : Node_Id; Val : Node_Id) is
4113 pragma Assert (False
4114 or else NT (N).Nkind in N_Has_Entity
4115 or else NT (N).Nkind = N_Aspect_Specification
4116 or else NT (N).Nkind = N_Attribute_Definition_Clause
4117 or else NT (N).Nkind = N_Freeze_Entity);
4118 Set_Node4 (N, Val); -- semantic field, no parent set
4121 procedure Set_Entry_Body_Formal_Part
4122 (N : Node_Id; Val : Node_Id) is
4124 pragma Assert (False
4125 or else NT (N).Nkind = N_Entry_Body);
4126 Set_Node5_With_Parent (N, Val);
4127 end Set_Entry_Body_Formal_Part;
4129 procedure Set_Entry_Call_Alternative
4130 (N : Node_Id; Val : Node_Id) is
4132 pragma Assert (False
4133 or else NT (N).Nkind = N_Conditional_Entry_Call
4134 or else NT (N).Nkind = N_Timed_Entry_Call);
4135 Set_Node1_With_Parent (N, Val);
4136 end Set_Entry_Call_Alternative;
4138 procedure Set_Entry_Call_Statement
4139 (N : Node_Id; Val : Node_Id) is
4141 pragma Assert (False
4142 or else NT (N).Nkind = N_Entry_Call_Alternative);
4143 Set_Node1_With_Parent (N, Val);
4144 end Set_Entry_Call_Statement;
4146 procedure Set_Entry_Direct_Name
4147 (N : Node_Id; Val : Node_Id) is
4149 pragma Assert (False
4150 or else NT (N).Nkind = N_Accept_Statement);
4151 Set_Node1_With_Parent (N, Val);
4152 end Set_Entry_Direct_Name;
4154 procedure Set_Entry_Index
4155 (N : Node_Id; Val : Node_Id) is
4157 pragma Assert (False
4158 or else NT (N).Nkind = N_Accept_Statement);
4159 Set_Node5_With_Parent (N, Val);
4160 end Set_Entry_Index;
4162 procedure Set_Entry_Index_Specification
4163 (N : Node_Id; Val : Node_Id) is
4165 pragma Assert (False
4166 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4167 Set_Node4_With_Parent (N, Val);
4168 end Set_Entry_Index_Specification;
4171 (N : Node_Id; Val : Node_Id) is
4173 pragma Assert (False
4174 or else NT (N).Nkind in N_Has_Etype);
4175 Set_Node5 (N, Val); -- semantic field, no parent set
4178 procedure Set_Exception_Choices
4179 (N : Node_Id; Val : List_Id) is
4181 pragma Assert (False
4182 or else NT (N).Nkind = N_Exception_Handler);
4183 Set_List4_With_Parent (N, Val);
4184 end Set_Exception_Choices;
4186 procedure Set_Exception_Handlers
4187 (N : Node_Id; Val : List_Id) is
4189 pragma Assert (False
4190 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4191 Set_List5_With_Parent (N, Val);
4192 end Set_Exception_Handlers;
4194 procedure Set_Exception_Junk
4195 (N : Node_Id; Val : Boolean := True) is
4197 pragma Assert (False
4198 or else NT (N).Nkind = N_Block_Statement
4199 or else NT (N).Nkind = N_Goto_Statement
4200 or else NT (N).Nkind = N_Label
4201 or else NT (N).Nkind = N_Object_Declaration
4202 or else NT (N).Nkind = N_Subtype_Declaration);
4204 end Set_Exception_Junk;
4206 procedure Set_Exception_Label
4207 (N : Node_Id; Val : Node_Id) is
4209 pragma Assert (False
4210 or else NT (N).Nkind = N_Exception_Handler
4211 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4212 or else NT (N).Nkind = N_Push_Program_Error_Label
4213 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4214 Set_Node5 (N, Val); -- semantic field, no parent set
4215 end Set_Exception_Label;
4217 procedure Set_Expansion_Delayed
4218 (N : Node_Id; Val : Boolean := True) is
4220 pragma Assert (False
4221 or else NT (N).Nkind = N_Aggregate
4222 or else NT (N).Nkind = N_Extension_Aggregate);
4223 Set_Flag11 (N, Val);
4224 end Set_Expansion_Delayed;
4226 procedure Set_Explicit_Actual_Parameter
4227 (N : Node_Id; Val : Node_Id) is
4229 pragma Assert (False
4230 or else NT (N).Nkind = N_Parameter_Association);
4231 Set_Node3_With_Parent (N, Val);
4232 end Set_Explicit_Actual_Parameter;
4234 procedure Set_Explicit_Generic_Actual_Parameter
4235 (N : Node_Id; Val : Node_Id) is
4237 pragma Assert (False
4238 or else NT (N).Nkind = N_Generic_Association);
4239 Set_Node1_With_Parent (N, Val);
4240 end Set_Explicit_Generic_Actual_Parameter;
4242 procedure Set_Expression
4243 (N : Node_Id; Val : Node_Id) is
4245 pragma Assert (False
4246 or else NT (N).Nkind = N_Allocator
4247 or else NT (N).Nkind = N_Aspect_Specification
4248 or else NT (N).Nkind = N_Assignment_Statement
4249 or else NT (N).Nkind = N_At_Clause
4250 or else NT (N).Nkind = N_Attribute_Definition_Clause
4251 or else NT (N).Nkind = N_Case_Expression
4252 or else NT (N).Nkind = N_Case_Expression_Alternative
4253 or else NT (N).Nkind = N_Case_Statement
4254 or else NT (N).Nkind = N_Code_Statement
4255 or else NT (N).Nkind = N_Component_Association
4256 or else NT (N).Nkind = N_Component_Declaration
4257 or else NT (N).Nkind = N_Delay_Relative_Statement
4258 or else NT (N).Nkind = N_Delay_Until_Statement
4259 or else NT (N).Nkind = N_Discriminant_Association
4260 or else NT (N).Nkind = N_Discriminant_Specification
4261 or else NT (N).Nkind = N_Exception_Declaration
4262 or else NT (N).Nkind = N_Expression_Function
4263 or else NT (N).Nkind = N_Expression_With_Actions
4264 or else NT (N).Nkind = N_Free_Statement
4265 or else NT (N).Nkind = N_Mod_Clause
4266 or else NT (N).Nkind = N_Modular_Type_Definition
4267 or else NT (N).Nkind = N_Number_Declaration
4268 or else NT (N).Nkind = N_Object_Declaration
4269 or else NT (N).Nkind = N_Parameter_Specification
4270 or else NT (N).Nkind = N_Pragma_Argument_Association
4271 or else NT (N).Nkind = N_Qualified_Expression
4272 or else NT (N).Nkind = N_Raise_Statement
4273 or else NT (N).Nkind = N_Return_Statement
4274 or else NT (N).Nkind = N_Type_Conversion
4275 or else NT (N).Nkind = N_Unchecked_Expression
4276 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4277 Set_Node3_With_Parent (N, Val);
4280 procedure Set_Expressions
4281 (N : Node_Id; Val : List_Id) is
4283 pragma Assert (False
4284 or else NT (N).Nkind = N_Aggregate
4285 or else NT (N).Nkind = N_Attribute_Reference
4286 or else NT (N).Nkind = N_Conditional_Expression
4287 or else NT (N).Nkind = N_Extension_Aggregate
4288 or else NT (N).Nkind = N_Indexed_Component);
4289 Set_List1_With_Parent (N, Val);
4290 end Set_Expressions;
4292 procedure Set_First_Bit
4293 (N : Node_Id; Val : Node_Id) is
4295 pragma Assert (False
4296 or else NT (N).Nkind = N_Component_Clause);
4297 Set_Node3_With_Parent (N, Val);
4300 procedure Set_First_Inlined_Subprogram
4301 (N : Node_Id; Val : Entity_Id) is
4303 pragma Assert (False
4304 or else NT (N).Nkind = N_Compilation_Unit);
4305 Set_Node3 (N, Val); -- semantic field, no parent set
4306 end Set_First_Inlined_Subprogram;
4308 procedure Set_First_Name
4309 (N : Node_Id; Val : Boolean := True) is
4311 pragma Assert (False
4312 or else NT (N).Nkind = N_With_Clause);
4316 procedure Set_First_Named_Actual
4317 (N : Node_Id; Val : Node_Id) is
4319 pragma Assert (False
4320 or else NT (N).Nkind = N_Entry_Call_Statement
4321 or else NT (N).Nkind = N_Function_Call
4322 or else NT (N).Nkind = N_Procedure_Call_Statement);
4323 Set_Node4 (N, Val); -- semantic field, no parent set
4324 end Set_First_Named_Actual;
4326 procedure Set_First_Real_Statement
4327 (N : Node_Id; Val : Node_Id) is
4329 pragma Assert (False
4330 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4331 Set_Node2 (N, Val); -- semantic field, no parent set
4332 end Set_First_Real_Statement;
4334 procedure Set_First_Subtype_Link
4335 (N : Node_Id; Val : Entity_Id) is
4337 pragma Assert (False
4338 or else NT (N).Nkind = N_Freeze_Entity);
4339 Set_Node5 (N, Val); -- semantic field, no parent set
4340 end Set_First_Subtype_Link;
4342 procedure Set_Float_Truncate
4343 (N : Node_Id; Val : Boolean := True) is
4345 pragma Assert (False
4346 or else NT (N).Nkind = N_Type_Conversion);
4347 Set_Flag11 (N, Val);
4348 end Set_Float_Truncate;
4350 procedure Set_Formal_Type_Definition
4351 (N : Node_Id; Val : Node_Id) is
4353 pragma Assert (False
4354 or else NT (N).Nkind = N_Formal_Type_Declaration);
4355 Set_Node3_With_Parent (N, Val);
4356 end Set_Formal_Type_Definition;
4358 procedure Set_Forwards_OK
4359 (N : Node_Id; Val : Boolean := True) is
4361 pragma Assert (False
4362 or else NT (N).Nkind = N_Assignment_Statement);
4364 end Set_Forwards_OK;
4366 procedure Set_From_Aspect_Specification
4367 (N : Node_Id; Val : Boolean := True) is
4369 pragma Assert (False
4370 or else NT (N).Nkind = N_Attribute_Definition_Clause
4371 or else NT (N).Nkind = N_Pragma);
4372 Set_Flag13 (N, Val);
4373 end Set_From_Aspect_Specification;
4375 procedure Set_From_At_End
4376 (N : Node_Id; Val : Boolean := True) is
4378 pragma Assert (False
4379 or else NT (N).Nkind = N_Raise_Statement);
4381 end Set_From_At_End;
4383 procedure Set_From_At_Mod
4384 (N : Node_Id; Val : Boolean := True) is
4386 pragma Assert (False
4387 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4389 end Set_From_At_Mod;
4391 procedure Set_From_Default
4392 (N : Node_Id; Val : Boolean := True) is
4394 pragma Assert (False
4395 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4397 end Set_From_Default;
4399 procedure Set_Generic_Associations
4400 (N : Node_Id; Val : List_Id) is
4402 pragma Assert (False
4403 or else NT (N).Nkind = N_Formal_Package_Declaration
4404 or else NT (N).Nkind = N_Function_Instantiation
4405 or else NT (N).Nkind = N_Package_Instantiation
4406 or else NT (N).Nkind = N_Procedure_Instantiation);
4407 Set_List3_With_Parent (N, Val);
4408 end Set_Generic_Associations;
4410 procedure Set_Generic_Formal_Declarations
4411 (N : Node_Id; Val : List_Id) is
4413 pragma Assert (False
4414 or else NT (N).Nkind = N_Generic_Package_Declaration
4415 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4416 Set_List2_With_Parent (N, Val);
4417 end Set_Generic_Formal_Declarations;
4419 procedure Set_Generic_Parent
4420 (N : Node_Id; Val : Node_Id) is
4422 pragma Assert (False
4423 or else NT (N).Nkind = N_Function_Specification
4424 or else NT (N).Nkind = N_Package_Specification
4425 or else NT (N).Nkind = N_Procedure_Specification);
4427 end Set_Generic_Parent;
4429 procedure Set_Generic_Parent_Type
4430 (N : Node_Id; Val : Node_Id) is
4432 pragma Assert (False
4433 or else NT (N).Nkind = N_Subtype_Declaration);
4435 end Set_Generic_Parent_Type;
4437 procedure Set_Handled_Statement_Sequence
4438 (N : Node_Id; Val : Node_Id) is
4440 pragma Assert (False
4441 or else NT (N).Nkind = N_Accept_Statement
4442 or else NT (N).Nkind = N_Block_Statement
4443 or else NT (N).Nkind = N_Entry_Body
4444 or else NT (N).Nkind = N_Extended_Return_Statement
4445 or else NT (N).Nkind = N_Package_Body
4446 or else NT (N).Nkind = N_Subprogram_Body
4447 or else NT (N).Nkind = N_Task_Body);
4448 Set_Node4_With_Parent (N, Val);
4449 end Set_Handled_Statement_Sequence;
4451 procedure Set_Handler_List_Entry
4452 (N : Node_Id; Val : Node_Id) is
4454 pragma Assert (False
4455 or else NT (N).Nkind = N_Object_Declaration);
4457 end Set_Handler_List_Entry;
4459 procedure Set_Has_Created_Identifier
4460 (N : Node_Id; Val : Boolean := True) is
4462 pragma Assert (False
4463 or else NT (N).Nkind = N_Block_Statement
4464 or else NT (N).Nkind = N_Loop_Statement);
4465 Set_Flag15 (N, Val);
4466 end Set_Has_Created_Identifier;
4468 procedure Set_Has_Dynamic_Length_Check
4469 (N : Node_Id; Val : Boolean := True) is
4471 pragma Assert (False
4472 or else NT (N).Nkind in N_Subexpr);
4473 Set_Flag10 (N, Val);
4474 end Set_Has_Dynamic_Length_Check;
4476 procedure Set_Has_Dynamic_Range_Check
4477 (N : Node_Id; Val : Boolean := True) is
4479 pragma Assert (False
4480 or else NT (N).Nkind = N_Subtype_Declaration
4481 or else NT (N).Nkind in N_Subexpr);
4482 Set_Flag12 (N, Val);
4483 end Set_Has_Dynamic_Range_Check;
4485 procedure Set_Has_Init_Expression
4486 (N : Node_Id; Val : Boolean := True) is
4488 pragma Assert (False
4489 or else NT (N).Nkind = N_Object_Declaration);
4490 Set_Flag14 (N, Val);
4491 end Set_Has_Init_Expression;
4493 procedure Set_Has_Local_Raise
4494 (N : Node_Id; Val : Boolean := True) is
4496 pragma Assert (False
4497 or else NT (N).Nkind = N_Exception_Handler);
4499 end Set_Has_Local_Raise;
4501 procedure Set_Has_No_Elaboration_Code
4502 (N : Node_Id; Val : Boolean := True) is
4504 pragma Assert (False
4505 or else NT (N).Nkind = N_Compilation_Unit);
4506 Set_Flag17 (N, Val);
4507 end Set_Has_No_Elaboration_Code;
4509 procedure Set_Has_Pragma_CPU
4510 (N : Node_Id; Val : Boolean := True) is
4512 pragma Assert (False
4513 or else NT (N).Nkind = N_Subprogram_Body
4514 or else NT (N).Nkind = N_Task_Definition);
4515 Set_Flag14 (N, Val);
4516 end Set_Has_Pragma_CPU;
4518 procedure Set_Has_Pragma_Dispatching_Domain
4519 (N : Node_Id; Val : Boolean := True) is
4521 pragma Assert (False
4522 or else NT (N).Nkind = N_Task_Definition);
4523 Set_Flag15 (N, Val);
4524 end Set_Has_Pragma_Dispatching_Domain;
4526 procedure Set_Has_Pragma_Priority
4527 (N : Node_Id; Val : Boolean := True) is
4529 pragma Assert (False
4530 or else NT (N).Nkind = N_Protected_Definition
4531 or else NT (N).Nkind = N_Subprogram_Body
4532 or else NT (N).Nkind = N_Task_Definition);
4534 end Set_Has_Pragma_Priority;
4536 procedure Set_Has_Pragma_Suppress_All
4537 (N : Node_Id; Val : Boolean := True) is
4539 pragma Assert (False
4540 or else NT (N).Nkind = N_Compilation_Unit);
4541 Set_Flag14 (N, Val);
4542 end Set_Has_Pragma_Suppress_All;
4544 procedure Set_Has_Private_View
4545 (N : Node_Id; Val : Boolean := True) is
4547 pragma Assert (False
4548 or else NT (N).Nkind in N_Op
4549 or else NT (N).Nkind = N_Character_Literal
4550 or else NT (N).Nkind = N_Expanded_Name
4551 or else NT (N).Nkind = N_Identifier
4552 or else NT (N).Nkind = N_Operator_Symbol);
4553 Set_Flag11 (N, Val);
4554 end Set_Has_Private_View;
4556 procedure Set_Has_Relative_Deadline_Pragma
4557 (N : Node_Id; Val : Boolean := True) is
4559 pragma Assert (False
4560 or else NT (N).Nkind = N_Subprogram_Body
4561 or else NT (N).Nkind = N_Task_Definition);
4563 end Set_Has_Relative_Deadline_Pragma;
4565 procedure Set_Has_Self_Reference
4566 (N : Node_Id; Val : Boolean := True) is
4568 pragma Assert (False
4569 or else NT (N).Nkind = N_Aggregate
4570 or else NT (N).Nkind = N_Extension_Aggregate);
4571 Set_Flag13 (N, Val);
4572 end Set_Has_Self_Reference;
4574 procedure Set_Has_Storage_Size_Pragma
4575 (N : Node_Id; Val : Boolean := True) is
4577 pragma Assert (False
4578 or else NT (N).Nkind = N_Task_Definition);
4580 end Set_Has_Storage_Size_Pragma;
4582 procedure Set_Has_Task_Info_Pragma
4583 (N : Node_Id; Val : Boolean := True) is
4585 pragma Assert (False
4586 or else NT (N).Nkind = N_Task_Definition);
4588 end Set_Has_Task_Info_Pragma;
4590 procedure Set_Has_Task_Name_Pragma
4591 (N : Node_Id; Val : Boolean := True) is
4593 pragma Assert (False
4594 or else NT (N).Nkind = N_Task_Definition);
4596 end Set_Has_Task_Name_Pragma;
4598 procedure Set_Has_Wide_Character
4599 (N : Node_Id; Val : Boolean := True) is
4601 pragma Assert (False
4602 or else NT (N).Nkind = N_String_Literal);
4603 Set_Flag11 (N, Val);
4604 end Set_Has_Wide_Character;
4606 procedure Set_Has_Wide_Wide_Character
4607 (N : Node_Id; Val : Boolean := True) is
4609 pragma Assert (False
4610 or else NT (N).Nkind = N_String_Literal);
4611 Set_Flag13 (N, Val);
4612 end Set_Has_Wide_Wide_Character;
4614 procedure Set_Hidden_By_Use_Clause
4615 (N : Node_Id; Val : Elist_Id) is
4617 pragma Assert (False
4618 or else NT (N).Nkind = N_Use_Package_Clause
4619 or else NT (N).Nkind = N_Use_Type_Clause);
4620 Set_Elist4 (N, Val);
4621 end Set_Hidden_By_Use_Clause;
4623 procedure Set_High_Bound
4624 (N : Node_Id; Val : Node_Id) is
4626 pragma Assert (False
4627 or else NT (N).Nkind = N_Range
4628 or else NT (N).Nkind = N_Real_Range_Specification
4629 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4630 Set_Node2_With_Parent (N, Val);
4633 procedure Set_Identifier
4634 (N : Node_Id; Val : Node_Id) is
4636 pragma Assert (False
4637 or else NT (N).Nkind = N_Aspect_Specification
4638 or else NT (N).Nkind = N_At_Clause
4639 or else NT (N).Nkind = N_Block_Statement
4640 or else NT (N).Nkind = N_Designator
4641 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4642 or else NT (N).Nkind = N_Label
4643 or else NT (N).Nkind = N_Loop_Statement
4644 or else NT (N).Nkind = N_Record_Representation_Clause
4645 or else NT (N).Nkind = N_Subprogram_Info);
4646 Set_Node1_With_Parent (N, Val);
4649 procedure Set_Implicit_With
4650 (N : Node_Id; Val : Boolean := True) is
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_With_Clause);
4654 Set_Flag16 (N, Val);
4655 end Set_Implicit_With;
4657 procedure Set_Interface_List
4658 (N : Node_Id; Val : List_Id) is
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Derived_Type_Definition
4662 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4663 or else NT (N).Nkind = N_Private_Extension_Declaration
4664 or else NT (N).Nkind = N_Protected_Type_Declaration
4665 or else NT (N).Nkind = N_Record_Definition
4666 or else NT (N).Nkind = N_Single_Protected_Declaration
4667 or else NT (N).Nkind = N_Single_Task_Declaration
4668 or else NT (N).Nkind = N_Task_Type_Declaration);
4669 Set_List2_With_Parent (N, Val);
4670 end Set_Interface_List;
4672 procedure Set_Interface_Present
4673 (N : Node_Id; Val : Boolean := True) is
4675 pragma Assert (False
4676 or else NT (N).Nkind = N_Derived_Type_Definition
4677 or else NT (N).Nkind = N_Record_Definition);
4678 Set_Flag16 (N, Val);
4679 end Set_Interface_Present;
4681 procedure Set_Import_Interface_Present
4682 (N : Node_Id; Val : Boolean := True) is
4684 pragma Assert (False
4685 or else NT (N).Nkind = N_Pragma);
4686 Set_Flag16 (N, Val);
4687 end Set_Import_Interface_Present;
4689 procedure Set_In_Present
4690 (N : Node_Id; Val : Boolean := True) is
4692 pragma Assert (False
4693 or else NT (N).Nkind = N_Formal_Object_Declaration
4694 or else NT (N).Nkind = N_Parameter_Specification);
4695 Set_Flag15 (N, Val);
4698 procedure Set_Includes_Infinities
4699 (N : Node_Id; Val : Boolean := True) is
4701 pragma Assert (False
4702 or else NT (N).Nkind = N_Range);
4703 Set_Flag11 (N, Val);
4704 end Set_Includes_Infinities;
4706 procedure Set_Inherited_Discriminant
4707 (N : Node_Id; Val : Boolean := True) is
4709 pragma Assert (False
4710 or else NT (N).Nkind = N_Component_Association);
4711 Set_Flag13 (N, Val);
4712 end Set_Inherited_Discriminant;
4714 procedure Set_Instance_Spec
4715 (N : Node_Id; Val : Node_Id) is
4717 pragma Assert (False
4718 or else NT (N).Nkind = N_Formal_Package_Declaration
4719 or else NT (N).Nkind = N_Function_Instantiation
4720 or else NT (N).Nkind = N_Package_Instantiation
4721 or else NT (N).Nkind = N_Procedure_Instantiation);
4722 Set_Node5 (N, Val); -- semantic field, no Parent set
4723 end Set_Instance_Spec;
4725 procedure Set_Intval
4726 (N : Node_Id; Val : Uint) is
4728 pragma Assert (False
4729 or else NT (N).Nkind = N_Integer_Literal);
4733 procedure Set_Is_Accessibility_Actual
4734 (N : Node_Id; Val : Boolean := True) is
4736 pragma Assert (False
4737 or else NT (N).Nkind = N_Parameter_Association);
4738 Set_Flag13 (N, Val);
4739 end Set_Is_Accessibility_Actual;
4741 procedure Set_Is_Asynchronous_Call_Block
4742 (N : Node_Id; Val : Boolean := True) is
4744 pragma Assert (False
4745 or else NT (N).Nkind = N_Block_Statement);
4747 end Set_Is_Asynchronous_Call_Block;
4749 procedure Set_Is_Boolean_Aspect
4750 (N : Node_Id; Val : Boolean := True) is
4752 pragma Assert (False
4753 or else NT (N).Nkind = N_Aspect_Specification);
4754 Set_Flag16 (N, Val);
4755 end Set_Is_Boolean_Aspect;
4757 procedure Set_Is_Component_Left_Opnd
4758 (N : Node_Id; Val : Boolean := True) is
4760 pragma Assert (False
4761 or else NT (N).Nkind = N_Op_Concat);
4762 Set_Flag13 (N, Val);
4763 end Set_Is_Component_Left_Opnd;
4765 procedure Set_Is_Component_Right_Opnd
4766 (N : Node_Id; Val : Boolean := True) is
4768 pragma Assert (False
4769 or else NT (N).Nkind = N_Op_Concat);
4770 Set_Flag14 (N, Val);
4771 end Set_Is_Component_Right_Opnd;
4773 procedure Set_Is_Controlling_Actual
4774 (N : Node_Id; Val : Boolean := True) is
4776 pragma Assert (False
4777 or else NT (N).Nkind in N_Subexpr);
4778 Set_Flag16 (N, Val);
4779 end Set_Is_Controlling_Actual;
4781 procedure Set_Is_Delayed_Aspect
4782 (N : Node_Id; Val : Boolean := True) is
4784 pragma Assert (False
4785 or else NT (N).Nkind = N_Aspect_Specification
4786 or else NT (N).Nkind = N_Attribute_Definition_Clause
4787 or else NT (N).Nkind = N_Pragma);
4788 Set_Flag14 (N, Val);
4789 end Set_Is_Delayed_Aspect;
4791 procedure Set_Is_Dynamic_Coextension
4792 (N : Node_Id; Val : Boolean := True) is
4794 pragma Assert (False
4795 or else NT (N).Nkind = N_Allocator);
4796 Set_Flag18 (N, Val);
4797 end Set_Is_Dynamic_Coextension;
4799 procedure Set_Is_Elsif
4800 (N : Node_Id; Val : Boolean := True) is
4802 pragma Assert (False
4803 or else NT (N).Nkind = N_Conditional_Expression);
4804 Set_Flag13 (N, Val);
4807 procedure Set_Is_Entry_Barrier_Function
4808 (N : Node_Id; Val : Boolean := True) is
4810 pragma Assert (False
4811 or else NT (N).Nkind = N_Subprogram_Body);
4813 end Set_Is_Entry_Barrier_Function;
4815 procedure Set_Is_Expanded_Build_In_Place_Call
4816 (N : Node_Id; Val : Boolean := True) is
4818 pragma Assert (False
4819 or else NT (N).Nkind = N_Function_Call);
4820 Set_Flag11 (N, Val);
4821 end Set_Is_Expanded_Build_In_Place_Call;
4823 procedure Set_Is_Folded_In_Parser
4824 (N : Node_Id; Val : Boolean := True) is
4826 pragma Assert (False
4827 or else NT (N).Nkind = N_String_Literal);
4829 end Set_Is_Folded_In_Parser;
4831 procedure Set_Is_In_Discriminant_Check
4832 (N : Node_Id; Val : Boolean := True) is
4834 pragma Assert (False
4835 or else NT (N).Nkind = N_Selected_Component);
4836 Set_Flag11 (N, Val);
4837 end Set_Is_In_Discriminant_Check;
4839 procedure Set_Is_Machine_Number
4840 (N : Node_Id; Val : Boolean := True) is
4842 pragma Assert (False
4843 or else NT (N).Nkind = N_Real_Literal);
4844 Set_Flag11 (N, Val);
4845 end Set_Is_Machine_Number;
4847 procedure Set_Is_Null_Loop
4848 (N : Node_Id; Val : Boolean := True) is
4850 pragma Assert (False
4851 or else NT (N).Nkind = N_Loop_Statement);
4852 Set_Flag16 (N, Val);
4853 end Set_Is_Null_Loop;
4855 procedure Set_Is_Overloaded
4856 (N : Node_Id; Val : Boolean := True) is
4858 pragma Assert (False
4859 or else NT (N).Nkind in N_Subexpr);
4861 end Set_Is_Overloaded;
4863 procedure Set_Is_Power_Of_2_For_Shift
4864 (N : Node_Id; Val : Boolean := True) is
4866 pragma Assert (False
4867 or else NT (N).Nkind = N_Op_Expon);
4868 Set_Flag13 (N, Val);
4869 end Set_Is_Power_Of_2_For_Shift;
4871 procedure Set_Is_Protected_Subprogram_Body
4872 (N : Node_Id; Val : Boolean := True) is
4874 pragma Assert (False
4875 or else NT (N).Nkind = N_Subprogram_Body);
4877 end Set_Is_Protected_Subprogram_Body;
4879 procedure Set_Is_Static_Coextension
4880 (N : Node_Id; Val : Boolean := True) is
4882 pragma Assert (False
4883 or else NT (N).Nkind = N_Allocator);
4884 Set_Flag14 (N, Val);
4885 end Set_Is_Static_Coextension;
4887 procedure Set_Is_Static_Expression
4888 (N : Node_Id; Val : Boolean := True) is
4890 pragma Assert (False
4891 or else NT (N).Nkind in N_Subexpr);
4893 end Set_Is_Static_Expression;
4895 procedure Set_Is_Subprogram_Descriptor
4896 (N : Node_Id; Val : Boolean := True) is
4898 pragma Assert (False
4899 or else NT (N).Nkind = N_Object_Declaration);
4900 Set_Flag16 (N, Val);
4901 end Set_Is_Subprogram_Descriptor;
4903 procedure Set_Is_Task_Allocation_Block
4904 (N : Node_Id; Val : Boolean := True) is
4906 pragma Assert (False
4907 or else NT (N).Nkind = N_Block_Statement);
4909 end Set_Is_Task_Allocation_Block;
4911 procedure Set_Is_Task_Master
4912 (N : Node_Id; Val : Boolean := True) is
4914 pragma Assert (False
4915 or else NT (N).Nkind = N_Block_Statement
4916 or else NT (N).Nkind = N_Subprogram_Body
4917 or else NT (N).Nkind = N_Task_Body);
4919 end Set_Is_Task_Master;
4921 procedure Set_Iteration_Scheme
4922 (N : Node_Id; Val : Node_Id) is
4924 pragma Assert (False
4925 or else NT (N).Nkind = N_Loop_Statement);
4926 Set_Node2_With_Parent (N, Val);
4927 end Set_Iteration_Scheme;
4929 procedure Set_Iterator_Specification
4930 (N : Node_Id; Val : Node_Id) is
4932 pragma Assert (False
4933 or else NT (N).Nkind = N_Iteration_Scheme
4934 or else NT (N).Nkind = N_Quantified_Expression);
4935 Set_Node2_With_Parent (N, Val);
4936 end Set_Iterator_Specification;
4939 (N : Node_Id; Val : Entity_Id) is
4941 pragma Assert (False
4942 or else NT (N).Nkind = N_Itype_Reference);
4943 Set_Node1 (N, Val); -- no parent, semantic field
4946 procedure Set_Kill_Range_Check
4947 (N : Node_Id; Val : Boolean := True) is
4949 pragma Assert (False
4950 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4951 Set_Flag11 (N, Val);
4952 end Set_Kill_Range_Check;
4954 procedure Set_Label_Construct
4955 (N : Node_Id; Val : Node_Id) is
4957 pragma Assert (False
4958 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4959 Set_Node2 (N, Val); -- semantic field, no parent set
4960 end Set_Label_Construct;
4962 procedure Set_Last_Bit
4963 (N : Node_Id; Val : Node_Id) is
4965 pragma Assert (False
4966 or else NT (N).Nkind = N_Component_Clause);
4967 Set_Node4_With_Parent (N, Val);
4970 procedure Set_Last_Name
4971 (N : Node_Id; Val : Boolean := True) is
4973 pragma Assert (False
4974 or else NT (N).Nkind = N_With_Clause);
4978 procedure Set_Left_Opnd
4979 (N : Node_Id; Val : Node_Id) is
4981 pragma Assert (False
4982 or else NT (N).Nkind = N_And_Then
4983 or else NT (N).Nkind = N_In
4984 or else NT (N).Nkind = N_Not_In
4985 or else NT (N).Nkind = N_Or_Else
4986 or else NT (N).Nkind in N_Binary_Op);
4987 Set_Node2_With_Parent (N, Val);
4990 procedure Set_Library_Unit
4991 (N : Node_Id; Val : Node_Id) is
4993 pragma Assert (False
4994 or else NT (N).Nkind = N_Compilation_Unit
4995 or else NT (N).Nkind = N_Package_Body_Stub
4996 or else NT (N).Nkind = N_Protected_Body_Stub
4997 or else NT (N).Nkind = N_Subprogram_Body_Stub
4998 or else NT (N).Nkind = N_Task_Body_Stub
4999 or else NT (N).Nkind = N_With_Clause);
5000 Set_Node4 (N, Val); -- semantic field, no parent set
5001 end Set_Library_Unit;
5003 procedure Set_Limited_View_Installed
5004 (N : Node_Id; Val : Boolean := True) is
5006 pragma Assert (False
5007 or else NT (N).Nkind = N_Package_Specification
5008 or else NT (N).Nkind = N_With_Clause);
5009 Set_Flag18 (N, Val);
5010 end Set_Limited_View_Installed;
5012 procedure Set_Limited_Present
5013 (N : Node_Id; Val : Boolean := True) is
5015 pragma Assert (False
5016 or else NT (N).Nkind = N_Derived_Type_Definition
5017 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5018 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5019 or else NT (N).Nkind = N_Private_Extension_Declaration
5020 or else NT (N).Nkind = N_Private_Type_Declaration
5021 or else NT (N).Nkind = N_Record_Definition
5022 or else NT (N).Nkind = N_With_Clause);
5023 Set_Flag17 (N, Val);
5024 end Set_Limited_Present;
5026 procedure Set_Literals
5027 (N : Node_Id; Val : List_Id) is
5029 pragma Assert (False
5030 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5031 Set_List1_With_Parent (N, Val);
5034 procedure Set_Local_Raise_Not_OK
5035 (N : Node_Id; Val : Boolean := True) is
5037 pragma Assert (False
5038 or else NT (N).Nkind = N_Exception_Handler);
5040 end Set_Local_Raise_Not_OK;
5042 procedure Set_Local_Raise_Statements
5043 (N : Node_Id; Val : Elist_Id) is
5045 pragma Assert (False
5046 or else NT (N).Nkind = N_Exception_Handler);
5047 Set_Elist1 (N, Val);
5048 end Set_Local_Raise_Statements;
5050 procedure Set_Loop_Actions
5051 (N : Node_Id; Val : List_Id) is
5053 pragma Assert (False
5054 or else NT (N).Nkind = N_Component_Association);
5055 Set_List2 (N, Val); -- semantic field, no parent set
5056 end Set_Loop_Actions;
5058 procedure Set_Loop_Parameter_Specification
5059 (N : Node_Id; Val : Node_Id) is
5061 pragma Assert (False
5062 or else NT (N).Nkind = N_Iteration_Scheme
5063 or else NT (N).Nkind = N_Quantified_Expression);
5064 Set_Node4_With_Parent (N, Val);
5065 end Set_Loop_Parameter_Specification;
5067 procedure Set_Low_Bound
5068 (N : Node_Id; Val : Node_Id) is
5070 pragma Assert (False
5071 or else NT (N).Nkind = N_Range
5072 or else NT (N).Nkind = N_Real_Range_Specification
5073 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5074 Set_Node1_With_Parent (N, Val);
5077 procedure Set_Mod_Clause
5078 (N : Node_Id; Val : Node_Id) is
5080 pragma Assert (False
5081 or else NT (N).Nkind = N_Record_Representation_Clause);
5082 Set_Node2_With_Parent (N, Val);
5085 procedure Set_More_Ids
5086 (N : Node_Id; Val : Boolean := True) is
5088 pragma Assert (False
5089 or else NT (N).Nkind = N_Component_Declaration
5090 or else NT (N).Nkind = N_Discriminant_Specification
5091 or else NT (N).Nkind = N_Exception_Declaration
5092 or else NT (N).Nkind = N_Formal_Object_Declaration
5093 or else NT (N).Nkind = N_Number_Declaration
5094 or else NT (N).Nkind = N_Object_Declaration
5095 or else NT (N).Nkind = N_Parameter_Specification);
5099 procedure Set_Must_Be_Byte_Aligned
5100 (N : Node_Id; Val : Boolean := True) is
5102 pragma Assert (False
5103 or else NT (N).Nkind = N_Attribute_Reference);
5104 Set_Flag14 (N, Val);
5105 end Set_Must_Be_Byte_Aligned;
5107 procedure Set_Must_Not_Freeze
5108 (N : Node_Id; Val : Boolean := True) is
5110 pragma Assert (False
5111 or else NT (N).Nkind = N_Subtype_Indication
5112 or else NT (N).Nkind in N_Subexpr);
5114 end Set_Must_Not_Freeze;
5116 procedure Set_Must_Not_Override
5117 (N : Node_Id; Val : Boolean := True) is
5119 pragma Assert (False
5120 or else NT (N).Nkind = N_Entry_Declaration
5121 or else NT (N).Nkind = N_Function_Instantiation
5122 or else NT (N).Nkind = N_Function_Specification
5123 or else NT (N).Nkind = N_Procedure_Instantiation
5124 or else NT (N).Nkind = N_Procedure_Specification);
5125 Set_Flag15 (N, Val);
5126 end Set_Must_Not_Override;
5128 procedure Set_Must_Override
5129 (N : Node_Id; Val : Boolean := True) is
5131 pragma Assert (False
5132 or else NT (N).Nkind = N_Entry_Declaration
5133 or else NT (N).Nkind = N_Function_Instantiation
5134 or else NT (N).Nkind = N_Function_Specification
5135 or else NT (N).Nkind = N_Procedure_Instantiation
5136 or else NT (N).Nkind = N_Procedure_Specification);
5137 Set_Flag14 (N, Val);
5138 end Set_Must_Override;
5141 (N : Node_Id; Val : Node_Id) is
5143 pragma Assert (False
5144 or else NT (N).Nkind = N_Assignment_Statement
5145 or else NT (N).Nkind = N_Attribute_Definition_Clause
5146 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5147 or else NT (N).Nkind = N_Designator
5148 or else NT (N).Nkind = N_Entry_Call_Statement
5149 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5150 or else NT (N).Nkind = N_Exit_Statement
5151 or else NT (N).Nkind = N_Formal_Package_Declaration
5152 or else NT (N).Nkind = N_Function_Call
5153 or else NT (N).Nkind = N_Function_Instantiation
5154 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5155 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5156 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5157 or else NT (N).Nkind = N_Goto_Statement
5158 or else NT (N).Nkind = N_Iterator_Specification
5159 or else NT (N).Nkind = N_Object_Renaming_Declaration
5160 or else NT (N).Nkind = N_Package_Instantiation
5161 or else NT (N).Nkind = N_Package_Renaming_Declaration
5162 or else NT (N).Nkind = N_Procedure_Call_Statement
5163 or else NT (N).Nkind = N_Procedure_Instantiation
5164 or else NT (N).Nkind = N_Raise_Statement
5165 or else NT (N).Nkind = N_Requeue_Statement
5166 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5167 or else NT (N).Nkind = N_Subunit
5168 or else NT (N).Nkind = N_Variant_Part
5169 or else NT (N).Nkind = N_With_Clause);
5170 Set_Node2_With_Parent (N, Val);
5174 (N : Node_Id; Val : List_Id) is
5176 pragma Assert (False
5177 or else NT (N).Nkind = N_Abort_Statement
5178 or else NT (N).Nkind = N_Use_Package_Clause);
5179 Set_List2_With_Parent (N, Val);
5182 procedure Set_Next_Entity
5183 (N : Node_Id; Val : Node_Id) is
5185 pragma Assert (False
5186 or else NT (N).Nkind = N_Defining_Character_Literal
5187 or else NT (N).Nkind = N_Defining_Identifier
5188 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5189 Set_Node2 (N, Val); -- semantic field, no parent set
5190 end Set_Next_Entity;
5192 procedure Set_Next_Exit_Statement
5193 (N : Node_Id; Val : Node_Id) is
5195 pragma Assert (False
5196 or else NT (N).Nkind = N_Exit_Statement);
5197 Set_Node3 (N, Val); -- semantic field, no parent set
5198 end Set_Next_Exit_Statement;
5200 procedure Set_Next_Implicit_With
5201 (N : Node_Id; Val : Node_Id) is
5203 pragma Assert (False
5204 or else NT (N).Nkind = N_With_Clause);
5205 Set_Node3 (N, Val); -- semantic field, no parent set
5206 end Set_Next_Implicit_With;
5208 procedure Set_Next_Named_Actual
5209 (N : Node_Id; Val : Node_Id) is
5211 pragma Assert (False
5212 or else NT (N).Nkind = N_Parameter_Association);
5213 Set_Node4 (N, Val); -- semantic field, no parent set
5214 end Set_Next_Named_Actual;
5216 procedure Set_Next_Pragma
5217 (N : Node_Id; Val : Node_Id) is
5219 pragma Assert (False
5220 or else NT (N).Nkind = N_Pragma);
5221 Set_Node1 (N, Val); -- semantic field, no parent set
5222 end Set_Next_Pragma;
5224 procedure Set_Next_Rep_Item
5225 (N : Node_Id; Val : Node_Id) is
5227 pragma Assert (False
5228 or else NT (N).Nkind = N_Aspect_Specification
5229 or else NT (N).Nkind = N_Attribute_Definition_Clause
5230 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5231 or else NT (N).Nkind = N_Pragma
5232 or else NT (N).Nkind = N_Record_Representation_Clause);
5233 Set_Node5 (N, Val); -- semantic field, no parent set
5234 end Set_Next_Rep_Item;
5236 procedure Set_Next_Use_Clause
5237 (N : Node_Id; Val : Node_Id) is
5239 pragma Assert (False
5240 or else NT (N).Nkind = N_Use_Package_Clause
5241 or else NT (N).Nkind = N_Use_Type_Clause);
5242 Set_Node3 (N, Val); -- semantic field, no parent set
5243 end Set_Next_Use_Clause;
5245 procedure Set_No_Ctrl_Actions
5246 (N : Node_Id; Val : Boolean := True) is
5248 pragma Assert (False
5249 or else NT (N).Nkind = N_Assignment_Statement);
5251 end Set_No_Ctrl_Actions;
5253 procedure Set_No_Elaboration_Check
5254 (N : Node_Id; Val : Boolean := True) is
5256 pragma Assert (False
5257 or else NT (N).Nkind = N_Function_Call
5258 or else NT (N).Nkind = N_Procedure_Call_Statement);
5259 Set_Flag14 (N, Val);
5260 end Set_No_Elaboration_Check;
5262 procedure Set_No_Entities_Ref_In_Spec
5263 (N : Node_Id; Val : Boolean := True) is
5265 pragma Assert (False
5266 or else NT (N).Nkind = N_With_Clause);
5268 end Set_No_Entities_Ref_In_Spec;
5270 procedure Set_No_Initialization
5271 (N : Node_Id; Val : Boolean := True) is
5273 pragma Assert (False
5274 or else NT (N).Nkind = N_Allocator
5275 or else NT (N).Nkind = N_Object_Declaration);
5276 Set_Flag13 (N, Val);
5277 end Set_No_Initialization;
5279 procedure Set_No_Truncation
5280 (N : Node_Id; Val : Boolean := True) is
5282 pragma Assert (False
5283 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5284 Set_Flag17 (N, Val);
5285 end Set_No_Truncation;
5287 procedure Set_Null_Present
5288 (N : Node_Id; Val : Boolean := True) is
5290 pragma Assert (False
5291 or else NT (N).Nkind = N_Component_List
5292 or else NT (N).Nkind = N_Procedure_Specification
5293 or else NT (N).Nkind = N_Record_Definition);
5294 Set_Flag13 (N, Val);
5295 end Set_Null_Present;
5297 procedure Set_Null_Exclusion_Present
5298 (N : Node_Id; Val : Boolean := True) is
5300 pragma Assert (False
5301 or else NT (N).Nkind = N_Access_Definition
5302 or else NT (N).Nkind = N_Access_Function_Definition
5303 or else NT (N).Nkind = N_Access_Procedure_Definition
5304 or else NT (N).Nkind = N_Access_To_Object_Definition
5305 or else NT (N).Nkind = N_Allocator
5306 or else NT (N).Nkind = N_Component_Definition
5307 or else NT (N).Nkind = N_Derived_Type_Definition
5308 or else NT (N).Nkind = N_Discriminant_Specification
5309 or else NT (N).Nkind = N_Formal_Object_Declaration
5310 or else NT (N).Nkind = N_Function_Specification
5311 or else NT (N).Nkind = N_Object_Declaration
5312 or else NT (N).Nkind = N_Object_Renaming_Declaration
5313 or else NT (N).Nkind = N_Parameter_Specification
5314 or else NT (N).Nkind = N_Subtype_Declaration);
5315 Set_Flag11 (N, Val);
5316 end Set_Null_Exclusion_Present;
5318 procedure Set_Null_Exclusion_In_Return_Present
5319 (N : Node_Id; Val : Boolean := True) is
5321 pragma Assert (False
5322 or else NT (N).Nkind = N_Access_Function_Definition);
5323 Set_Flag14 (N, Val);
5324 end Set_Null_Exclusion_In_Return_Present;
5326 procedure Set_Null_Record_Present
5327 (N : Node_Id; Val : Boolean := True) is
5329 pragma Assert (False
5330 or else NT (N).Nkind = N_Aggregate
5331 or else NT (N).Nkind = N_Extension_Aggregate);
5332 Set_Flag17 (N, Val);
5333 end Set_Null_Record_Present;
5335 procedure Set_Object_Definition
5336 (N : Node_Id; Val : Node_Id) is
5338 pragma Assert (False
5339 or else NT (N).Nkind = N_Object_Declaration);
5340 Set_Node4_With_Parent (N, Val);
5341 end Set_Object_Definition;
5343 procedure Set_Of_Present
5344 (N : Node_Id; Val : Boolean := True) is
5346 pragma Assert (False
5347 or else NT (N).Nkind = N_Iterator_Specification);
5348 Set_Flag16 (N, Val);
5351 procedure Set_Original_Discriminant
5352 (N : Node_Id; Val : Node_Id) is
5354 pragma Assert (False
5355 or else NT (N).Nkind = N_Identifier);
5356 Set_Node2 (N, Val); -- semantic field, no parent set
5357 end Set_Original_Discriminant;
5359 procedure Set_Original_Entity
5360 (N : Node_Id; Val : Entity_Id) is
5362 pragma Assert (False
5363 or else NT (N).Nkind = N_Integer_Literal
5364 or else NT (N).Nkind = N_Real_Literal);
5365 Set_Node2 (N, Val); -- semantic field, no parent set
5366 end Set_Original_Entity;
5368 procedure Set_Others_Discrete_Choices
5369 (N : Node_Id; Val : List_Id) is
5371 pragma Assert (False
5372 or else NT (N).Nkind = N_Others_Choice);
5373 Set_List1_With_Parent (N, Val);
5374 end Set_Others_Discrete_Choices;
5376 procedure Set_Out_Present
5377 (N : Node_Id; Val : Boolean := True) is
5379 pragma Assert (False
5380 or else NT (N).Nkind = N_Formal_Object_Declaration
5381 or else NT (N).Nkind = N_Parameter_Specification);
5382 Set_Flag17 (N, Val);
5383 end Set_Out_Present;
5385 procedure Set_Parameter_Associations
5386 (N : Node_Id; Val : List_Id) is
5388 pragma Assert (False
5389 or else NT (N).Nkind = N_Entry_Call_Statement
5390 or else NT (N).Nkind = N_Function_Call
5391 or else NT (N).Nkind = N_Procedure_Call_Statement);
5392 Set_List3_With_Parent (N, Val);
5393 end Set_Parameter_Associations;
5395 procedure Set_Parameter_List_Truncated
5396 (N : Node_Id; Val : Boolean := True) is
5398 pragma Assert (False
5399 or else NT (N).Nkind = N_Function_Call
5400 or else NT (N).Nkind = N_Procedure_Call_Statement);
5401 Set_Flag17 (N, Val);
5402 end Set_Parameter_List_Truncated;
5404 procedure Set_Parameter_Specifications
5405 (N : Node_Id; Val : List_Id) is
5407 pragma Assert (False
5408 or else NT (N).Nkind = N_Accept_Statement
5409 or else NT (N).Nkind = N_Access_Function_Definition
5410 or else NT (N).Nkind = N_Access_Procedure_Definition
5411 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5412 or else NT (N).Nkind = N_Entry_Declaration
5413 or else NT (N).Nkind = N_Function_Specification
5414 or else NT (N).Nkind = N_Procedure_Specification);
5415 Set_List3_With_Parent (N, Val);
5416 end Set_Parameter_Specifications;
5418 procedure Set_Parameter_Type
5419 (N : Node_Id; Val : Node_Id) is
5421 pragma Assert (False
5422 or else NT (N).Nkind = N_Parameter_Specification);
5423 Set_Node2_With_Parent (N, Val);
5424 end Set_Parameter_Type;
5426 procedure Set_Parent_Spec
5427 (N : Node_Id; Val : Node_Id) is
5429 pragma Assert (False
5430 or else NT (N).Nkind = N_Function_Instantiation
5431 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5432 or else NT (N).Nkind = N_Generic_Package_Declaration
5433 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5434 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5435 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5436 or else NT (N).Nkind = N_Package_Declaration
5437 or else NT (N).Nkind = N_Package_Instantiation
5438 or else NT (N).Nkind = N_Package_Renaming_Declaration
5439 or else NT (N).Nkind = N_Procedure_Instantiation
5440 or else NT (N).Nkind = N_Subprogram_Declaration
5441 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5442 Set_Node4 (N, Val); -- semantic field, no parent set
5443 end Set_Parent_Spec;
5445 procedure Set_Position
5446 (N : Node_Id; Val : Node_Id) is
5448 pragma Assert (False
5449 or else NT (N).Nkind = N_Component_Clause);
5450 Set_Node2_With_Parent (N, Val);
5453 procedure Set_Pragma_Argument_Associations
5454 (N : Node_Id; Val : List_Id) is
5456 pragma Assert (False
5457 or else NT (N).Nkind = N_Pragma);
5458 Set_List2_With_Parent (N, Val);
5459 end Set_Pragma_Argument_Associations;
5461 procedure Set_Pragma_Identifier
5462 (N : Node_Id; Val : Node_Id) is
5464 pragma Assert (False
5465 or else NT (N).Nkind = N_Pragma);
5466 Set_Node4_With_Parent (N, Val);
5467 end Set_Pragma_Identifier;
5469 procedure Set_Pragmas_After
5470 (N : Node_Id; Val : List_Id) is
5472 pragma Assert (False
5473 or else NT (N).Nkind = N_Compilation_Unit_Aux
5474 or else NT (N).Nkind = N_Terminate_Alternative);
5475 Set_List5_With_Parent (N, Val);
5476 end Set_Pragmas_After;
5478 procedure Set_Pragmas_Before
5479 (N : Node_Id; Val : List_Id) is
5481 pragma Assert (False
5482 or else NT (N).Nkind = N_Accept_Alternative
5483 or else NT (N).Nkind = N_Delay_Alternative
5484 or else NT (N).Nkind = N_Entry_Call_Alternative
5485 or else NT (N).Nkind = N_Mod_Clause
5486 or else NT (N).Nkind = N_Terminate_Alternative
5487 or else NT (N).Nkind = N_Triggering_Alternative);
5488 Set_List4_With_Parent (N, Val);
5489 end Set_Pragmas_Before;
5491 procedure Set_Prefix
5492 (N : Node_Id; Val : Node_Id) is
5494 pragma Assert (False
5495 or else NT (N).Nkind = N_Attribute_Reference
5496 or else NT (N).Nkind = N_Expanded_Name
5497 or else NT (N).Nkind = N_Explicit_Dereference
5498 or else NT (N).Nkind = N_Indexed_Component
5499 or else NT (N).Nkind = N_Reference
5500 or else NT (N).Nkind = N_Selected_Component
5501 or else NT (N).Nkind = N_Slice);
5502 Set_Node3_With_Parent (N, Val);
5505 procedure Set_Premature_Use
5506 (N : Node_Id; Val : Node_Id) is
5508 pragma Assert (False
5509 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5511 end Set_Premature_Use;
5513 procedure Set_Present_Expr
5514 (N : Node_Id; Val : Uint) is
5516 pragma Assert (False
5517 or else NT (N).Nkind = N_Variant);
5519 end Set_Present_Expr;
5521 procedure Set_Prev_Ids
5522 (N : Node_Id; Val : Boolean := True) is
5524 pragma Assert (False
5525 or else NT (N).Nkind = N_Component_Declaration
5526 or else NT (N).Nkind = N_Discriminant_Specification
5527 or else NT (N).Nkind = N_Exception_Declaration
5528 or else NT (N).Nkind = N_Formal_Object_Declaration
5529 or else NT (N).Nkind = N_Number_Declaration
5530 or else NT (N).Nkind = N_Object_Declaration
5531 or else NT (N).Nkind = N_Parameter_Specification);
5535 procedure Set_Print_In_Hex
5536 (N : Node_Id; Val : Boolean := True) is
5538 pragma Assert (False
5539 or else NT (N).Nkind = N_Integer_Literal);
5540 Set_Flag13 (N, Val);
5541 end Set_Print_In_Hex;
5543 procedure Set_Private_Declarations
5544 (N : Node_Id; Val : List_Id) is
5546 pragma Assert (False
5547 or else NT (N).Nkind = N_Package_Specification
5548 or else NT (N).Nkind = N_Protected_Definition
5549 or else NT (N).Nkind = N_Task_Definition);
5550 Set_List3_With_Parent (N, Val);
5551 end Set_Private_Declarations;
5553 procedure Set_Private_Present
5554 (N : Node_Id; Val : Boolean := True) is
5556 pragma Assert (False
5557 or else NT (N).Nkind = N_Compilation_Unit
5558 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5559 or else NT (N).Nkind = N_With_Clause);
5560 Set_Flag15 (N, Val);
5561 end Set_Private_Present;
5563 procedure Set_Procedure_To_Call
5564 (N : Node_Id; Val : Node_Id) is
5566 pragma Assert (False
5567 or else NT (N).Nkind = N_Allocator
5568 or else NT (N).Nkind = N_Extended_Return_Statement
5569 or else NT (N).Nkind = N_Free_Statement
5570 or else NT (N).Nkind = N_Return_Statement);
5571 Set_Node2 (N, Val); -- semantic field, no parent set
5572 end Set_Procedure_To_Call;
5574 procedure Set_Proper_Body
5575 (N : Node_Id; Val : Node_Id) is
5577 pragma Assert (False
5578 or else NT (N).Nkind = N_Subunit);
5579 Set_Node1_With_Parent (N, Val);
5580 end Set_Proper_Body;
5582 procedure Set_Protected_Definition
5583 (N : Node_Id; Val : Node_Id) is
5585 pragma Assert (False
5586 or else NT (N).Nkind = N_Protected_Type_Declaration
5587 or else NT (N).Nkind = N_Single_Protected_Declaration);
5588 Set_Node3_With_Parent (N, Val);
5589 end Set_Protected_Definition;
5591 procedure Set_Protected_Present
5592 (N : Node_Id; Val : Boolean := True) is
5594 pragma Assert (False
5595 or else NT (N).Nkind = N_Access_Function_Definition
5596 or else NT (N).Nkind = N_Access_Procedure_Definition
5597 or else NT (N).Nkind = N_Derived_Type_Definition
5598 or else NT (N).Nkind = N_Record_Definition);
5600 end Set_Protected_Present;
5602 procedure Set_Raises_Constraint_Error
5603 (N : Node_Id; Val : Boolean := True) is
5605 pragma Assert (False
5606 or else NT (N).Nkind in N_Subexpr);
5608 end Set_Raises_Constraint_Error;
5610 procedure Set_Range_Constraint
5611 (N : Node_Id; Val : Node_Id) is
5613 pragma Assert (False
5614 or else NT (N).Nkind = N_Delta_Constraint
5615 or else NT (N).Nkind = N_Digits_Constraint);
5616 Set_Node4_With_Parent (N, Val);
5617 end Set_Range_Constraint;
5619 procedure Set_Range_Expression
5620 (N : Node_Id; Val : Node_Id) is
5622 pragma Assert (False
5623 or else NT (N).Nkind = N_Range_Constraint);
5624 Set_Node4_With_Parent (N, Val);
5625 end Set_Range_Expression;
5627 procedure Set_Real_Range_Specification
5628 (N : Node_Id; Val : Node_Id) is
5630 pragma Assert (False
5631 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5632 or else NT (N).Nkind = N_Floating_Point_Definition
5633 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5634 Set_Node4_With_Parent (N, Val);
5635 end Set_Real_Range_Specification;
5637 procedure Set_Realval
5638 (N : Node_Id; Val : Ureal) is
5640 pragma Assert (False
5641 or else NT (N).Nkind = N_Real_Literal);
5642 Set_Ureal3 (N, Val);
5645 procedure Set_Reason
5646 (N : Node_Id; Val : Uint) is
5648 pragma Assert (False
5649 or else NT (N).Nkind = N_Raise_Constraint_Error
5650 or else NT (N).Nkind = N_Raise_Program_Error
5651 or else NT (N).Nkind = N_Raise_Storage_Error);
5655 procedure Set_Record_Extension_Part
5656 (N : Node_Id; Val : Node_Id) is
5658 pragma Assert (False
5659 or else NT (N).Nkind = N_Derived_Type_Definition);
5660 Set_Node3_With_Parent (N, Val);
5661 end Set_Record_Extension_Part;
5663 procedure Set_Redundant_Use
5664 (N : Node_Id; Val : Boolean := True) is
5666 pragma Assert (False
5667 or else NT (N).Nkind = N_Attribute_Reference
5668 or else NT (N).Nkind = N_Expanded_Name
5669 or else NT (N).Nkind = N_Identifier);
5670 Set_Flag13 (N, Val);
5671 end Set_Redundant_Use;
5673 procedure Set_Renaming_Exception
5674 (N : Node_Id; Val : Node_Id) is
5676 pragma Assert (False
5677 or else NT (N).Nkind = N_Exception_Declaration);
5679 end Set_Renaming_Exception;
5681 procedure Set_Result_Definition
5682 (N : Node_Id; Val : Node_Id) is
5684 pragma Assert (False
5685 or else NT (N).Nkind = N_Access_Function_Definition
5686 or else NT (N).Nkind = N_Function_Specification);
5687 Set_Node4_With_Parent (N, Val);
5688 end Set_Result_Definition;
5690 procedure Set_Return_Object_Declarations
5691 (N : Node_Id; Val : List_Id) is
5693 pragma Assert (False
5694 or else NT (N).Nkind = N_Extended_Return_Statement);
5695 Set_List3_With_Parent (N, Val);
5696 end Set_Return_Object_Declarations;
5698 procedure Set_Return_Statement_Entity
5699 (N : Node_Id; Val : Node_Id) is
5701 pragma Assert (False
5702 or else NT (N).Nkind = N_Extended_Return_Statement
5703 or else NT (N).Nkind = N_Return_Statement);
5704 Set_Node5 (N, Val); -- semantic field, no parent set
5705 end Set_Return_Statement_Entity;
5707 procedure Set_Reverse_Present
5708 (N : Node_Id; Val : Boolean := True) is
5710 pragma Assert (False
5711 or else NT (N).Nkind = N_Iterator_Specification
5712 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5713 Set_Flag15 (N, Val);
5714 end Set_Reverse_Present;
5716 procedure Set_Right_Opnd
5717 (N : Node_Id; Val : Node_Id) is
5719 pragma Assert (False
5720 or else NT (N).Nkind in N_Op
5721 or else NT (N).Nkind = N_And_Then
5722 or else NT (N).Nkind = N_In
5723 or else NT (N).Nkind = N_Not_In
5724 or else NT (N).Nkind = N_Or_Else);
5725 Set_Node3_With_Parent (N, Val);
5728 procedure Set_Rounded_Result
5729 (N : Node_Id; Val : Boolean := True) is
5731 pragma Assert (False
5732 or else NT (N).Nkind = N_Op_Divide
5733 or else NT (N).Nkind = N_Op_Multiply
5734 or else NT (N).Nkind = N_Type_Conversion);
5735 Set_Flag18 (N, Val);
5736 end Set_Rounded_Result;
5738 procedure Set_SCIL_Controlling_Tag
5739 (N : Node_Id; Val : Node_Id) is
5741 pragma Assert (False
5742 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5743 Set_Node5 (N, Val); -- semantic field, no parent set
5744 end Set_SCIL_Controlling_Tag;
5746 procedure Set_SCIL_Entity
5747 (N : Node_Id; Val : Node_Id) is
5749 pragma Assert (False
5750 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5751 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5752 or else NT (N).Nkind = N_SCIL_Membership_Test);
5753 Set_Node4 (N, Val); -- semantic field, no parent set
5754 end Set_SCIL_Entity;
5756 procedure Set_SCIL_Tag_Value
5757 (N : Node_Id; Val : Node_Id) is
5759 pragma Assert (False
5760 or else NT (N).Nkind = N_SCIL_Membership_Test);
5761 Set_Node5 (N, Val); -- semantic field, no parent set
5762 end Set_SCIL_Tag_Value;
5764 procedure Set_SCIL_Target_Prim
5765 (N : Node_Id; Val : Node_Id) is
5767 pragma Assert (False
5768 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5769 Set_Node2 (N, Val); -- semantic field, no parent set
5770 end Set_SCIL_Target_Prim;
5773 (N : Node_Id; Val : Node_Id) is
5775 pragma Assert (False
5776 or else NT (N).Nkind = N_Defining_Character_Literal
5777 or else NT (N).Nkind = N_Defining_Identifier
5778 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5779 Set_Node3 (N, Val); -- semantic field, no parent set
5782 procedure Set_Select_Alternatives
5783 (N : Node_Id; Val : List_Id) is
5785 pragma Assert (False
5786 or else NT (N).Nkind = N_Selective_Accept);
5787 Set_List1_With_Parent (N, Val);
5788 end Set_Select_Alternatives;
5790 procedure Set_Selector_Name
5791 (N : Node_Id; Val : Node_Id) is
5793 pragma Assert (False
5794 or else NT (N).Nkind = N_Expanded_Name
5795 or else NT (N).Nkind = N_Generic_Association
5796 or else NT (N).Nkind = N_Parameter_Association
5797 or else NT (N).Nkind = N_Selected_Component);
5798 Set_Node2_With_Parent (N, Val);
5799 end Set_Selector_Name;
5801 procedure Set_Selector_Names
5802 (N : Node_Id; Val : List_Id) is
5804 pragma Assert (False
5805 or else NT (N).Nkind = N_Discriminant_Association);
5806 Set_List1_With_Parent (N, Val);
5807 end Set_Selector_Names;
5809 procedure Set_Shift_Count_OK
5810 (N : Node_Id; Val : Boolean := True) is
5812 pragma Assert (False
5813 or else NT (N).Nkind = N_Op_Rotate_Left
5814 or else NT (N).Nkind = N_Op_Rotate_Right
5815 or else NT (N).Nkind = N_Op_Shift_Left
5816 or else NT (N).Nkind = N_Op_Shift_Right
5817 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5819 end Set_Shift_Count_OK;
5821 procedure Set_Source_Type
5822 (N : Node_Id; Val : Entity_Id) is
5824 pragma Assert (False
5825 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5826 Set_Node1 (N, Val); -- semantic field, no parent set
5827 end Set_Source_Type;
5829 procedure Set_Spec_PPC_List
5830 (N : Node_Id; Val : Node_Id) is
5832 pragma Assert (False
5833 or else NT (N).Nkind = N_Contract);
5834 Set_Node1 (N, Val); -- semantic field, no parent set
5835 end Set_Spec_PPC_List;
5837 procedure Set_Spec_TC_List
5838 (N : Node_Id; Val : Node_Id) is
5840 pragma Assert (False
5841 or else NT (N).Nkind = N_Contract);
5842 Set_Node2 (N, Val); -- semantic field, no parent set
5843 end Set_Spec_TC_List;
5845 procedure Set_Specification
5846 (N : Node_Id; Val : Node_Id) is
5848 pragma Assert (False
5849 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5850 or else NT (N).Nkind = N_Expression_Function
5851 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5852 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5853 or else NT (N).Nkind = N_Generic_Package_Declaration
5854 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5855 or else NT (N).Nkind = N_Package_Declaration
5856 or else NT (N).Nkind = N_Subprogram_Body
5857 or else NT (N).Nkind = N_Subprogram_Body_Stub
5858 or else NT (N).Nkind = N_Subprogram_Declaration
5859 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5860 Set_Node1_With_Parent (N, Val);
5861 end Set_Specification;
5863 procedure Set_Split_PPC
5864 (N : Node_Id; Val : Boolean) is
5866 pragma Assert (False
5867 or else NT (N).Nkind = N_Aspect_Specification
5868 or else NT (N).Nkind = N_Pragma);
5869 Set_Flag17 (N, Val);
5872 procedure Set_Statements
5873 (N : Node_Id; Val : List_Id) is
5875 pragma Assert (False
5876 or else NT (N).Nkind = N_Abortable_Part
5877 or else NT (N).Nkind = N_Accept_Alternative
5878 or else NT (N).Nkind = N_Case_Statement_Alternative
5879 or else NT (N).Nkind = N_Delay_Alternative
5880 or else NT (N).Nkind = N_Entry_Call_Alternative
5881 or else NT (N).Nkind = N_Exception_Handler
5882 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5883 or else NT (N).Nkind = N_Loop_Statement
5884 or else NT (N).Nkind = N_Triggering_Alternative);
5885 Set_List3_With_Parent (N, Val);
5888 procedure Set_Static_Processing_OK
5889 (N : Node_Id; Val : Boolean) is
5891 pragma Assert (False
5892 or else NT (N).Nkind = N_Aggregate);
5894 end Set_Static_Processing_OK;
5896 procedure Set_Storage_Pool
5897 (N : Node_Id; Val : Node_Id) is
5899 pragma Assert (False
5900 or else NT (N).Nkind = N_Allocator
5901 or else NT (N).Nkind = N_Extended_Return_Statement
5902 or else NT (N).Nkind = N_Free_Statement
5903 or else NT (N).Nkind = N_Return_Statement);
5904 Set_Node1 (N, Val); -- semantic field, no parent set
5905 end Set_Storage_Pool;
5907 procedure Set_Subpool_Handle_Name
5908 (N : Node_Id; Val : Node_Id) is
5910 pragma Assert (False
5911 or else NT (N).Nkind = N_Allocator);
5912 Set_Node4_With_Parent (N, Val);
5913 end Set_Subpool_Handle_Name;
5915 procedure Set_Strval
5916 (N : Node_Id; Val : String_Id) is
5918 pragma Assert (False
5919 or else NT (N).Nkind = N_Operator_Symbol
5920 or else NT (N).Nkind = N_String_Literal);
5924 procedure Set_Subtype_Indication
5925 (N : Node_Id; Val : Node_Id) is
5927 pragma Assert (False
5928 or else NT (N).Nkind = N_Access_To_Object_Definition
5929 or else NT (N).Nkind = N_Component_Definition
5930 or else NT (N).Nkind = N_Derived_Type_Definition
5931 or else NT (N).Nkind = N_Iterator_Specification
5932 or else NT (N).Nkind = N_Private_Extension_Declaration
5933 or else NT (N).Nkind = N_Subtype_Declaration);
5934 Set_Node5_With_Parent (N, Val);
5935 end Set_Subtype_Indication;
5937 procedure Set_Subtype_Mark
5938 (N : Node_Id; Val : Node_Id) is
5940 pragma Assert (False
5941 or else NT (N).Nkind = N_Access_Definition
5942 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5943 or else NT (N).Nkind = N_Formal_Object_Declaration
5944 or else NT (N).Nkind = N_Object_Renaming_Declaration
5945 or else NT (N).Nkind = N_Qualified_Expression
5946 or else NT (N).Nkind = N_Subtype_Indication
5947 or else NT (N).Nkind = N_Type_Conversion
5948 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5949 Set_Node4_With_Parent (N, Val);
5950 end Set_Subtype_Mark;
5952 procedure Set_Subtype_Marks
5953 (N : Node_Id; Val : List_Id) is
5955 pragma Assert (False
5956 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5957 or else NT (N).Nkind = N_Use_Type_Clause);
5958 Set_List2_With_Parent (N, Val);
5959 end Set_Subtype_Marks;
5961 procedure Set_Suppress_Assignment_Checks
5962 (N : Node_Id; Val : Boolean := True) is
5964 pragma Assert (False
5965 or else NT (N).Nkind = N_Assignment_Statement
5966 or else NT (N).Nkind = N_Object_Declaration);
5967 Set_Flag18 (N, Val);
5968 end Set_Suppress_Assignment_Checks;
5970 procedure Set_Suppress_Loop_Warnings
5971 (N : Node_Id; Val : Boolean := True) is
5973 pragma Assert (False
5974 or else NT (N).Nkind = N_Loop_Statement);
5975 Set_Flag17 (N, Val);
5976 end Set_Suppress_Loop_Warnings;
5978 procedure Set_Synchronized_Present
5979 (N : Node_Id; Val : Boolean := True) is
5981 pragma Assert (False
5982 or else NT (N).Nkind = N_Derived_Type_Definition
5983 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5984 or else NT (N).Nkind = N_Private_Extension_Declaration
5985 or else NT (N).Nkind = N_Record_Definition);
5987 end Set_Synchronized_Present;
5989 procedure Set_Tagged_Present
5990 (N : Node_Id; Val : Boolean := True) is
5992 pragma Assert (False
5993 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
5994 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5995 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5996 or else NT (N).Nkind = N_Private_Type_Declaration
5997 or else NT (N).Nkind = N_Record_Definition);
5998 Set_Flag15 (N, Val);
5999 end Set_Tagged_Present;
6001 procedure Set_Target_Type
6002 (N : Node_Id; Val : Entity_Id) is
6004 pragma Assert (False
6005 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6006 Set_Node2 (N, Val); -- semantic field, no parent set
6007 end Set_Target_Type;
6009 procedure Set_Task_Definition
6010 (N : Node_Id; Val : Node_Id) is
6012 pragma Assert (False
6013 or else NT (N).Nkind = N_Single_Task_Declaration
6014 or else NT (N).Nkind = N_Task_Type_Declaration);
6015 Set_Node3_With_Parent (N, Val);
6016 end Set_Task_Definition;
6018 procedure Set_Task_Present
6019 (N : Node_Id; Val : Boolean := True) is
6021 pragma Assert (False
6022 or else NT (N).Nkind = N_Derived_Type_Definition
6023 or else NT (N).Nkind = N_Record_Definition);
6025 end Set_Task_Present;
6027 procedure Set_Then_Actions
6028 (N : Node_Id; Val : List_Id) is
6030 pragma Assert (False
6031 or else NT (N).Nkind = N_Conditional_Expression);
6032 Set_List2 (N, Val); -- semantic field, no parent set
6033 end Set_Then_Actions;
6035 procedure Set_Then_Statements
6036 (N : Node_Id; Val : List_Id) is
6038 pragma Assert (False
6039 or else NT (N).Nkind = N_Elsif_Part
6040 or else NT (N).Nkind = N_If_Statement);
6041 Set_List2_With_Parent (N, Val);
6042 end Set_Then_Statements;
6044 procedure Set_Treat_Fixed_As_Integer
6045 (N : Node_Id; Val : Boolean := True) is
6047 pragma Assert (False
6048 or else NT (N).Nkind = N_Op_Divide
6049 or else NT (N).Nkind = N_Op_Mod
6050 or else NT (N).Nkind = N_Op_Multiply
6051 or else NT (N).Nkind = N_Op_Rem);
6052 Set_Flag14 (N, Val);
6053 end Set_Treat_Fixed_As_Integer;
6055 procedure Set_Triggering_Alternative
6056 (N : Node_Id; Val : Node_Id) is
6058 pragma Assert (False
6059 or else NT (N).Nkind = N_Asynchronous_Select);
6060 Set_Node1_With_Parent (N, Val);
6061 end Set_Triggering_Alternative;
6063 procedure Set_Triggering_Statement
6064 (N : Node_Id; Val : Node_Id) is
6066 pragma Assert (False
6067 or else NT (N).Nkind = N_Triggering_Alternative);
6068 Set_Node1_With_Parent (N, Val);
6069 end Set_Triggering_Statement;
6071 procedure Set_TSS_Elist
6072 (N : Node_Id; Val : Elist_Id) is
6074 pragma Assert (False
6075 or else NT (N).Nkind = N_Freeze_Entity);
6076 Set_Elist3 (N, Val); -- semantic field, no parent set
6079 procedure Set_Type_Definition
6080 (N : Node_Id; Val : Node_Id) is
6082 pragma Assert (False
6083 or else NT (N).Nkind = N_Full_Type_Declaration);
6084 Set_Node3_With_Parent (N, Val);
6085 end Set_Type_Definition;
6088 (N : Node_Id; Val : Node_Id) is
6090 pragma Assert (False
6091 or else NT (N).Nkind = N_Compilation_Unit);
6092 Set_Node2_With_Parent (N, Val);
6095 procedure Set_Unknown_Discriminants_Present
6096 (N : Node_Id; Val : Boolean := True) is
6098 pragma Assert (False
6099 or else NT (N).Nkind = N_Formal_Type_Declaration
6100 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6101 or else NT (N).Nkind = N_Private_Extension_Declaration
6102 or else NT (N).Nkind = N_Private_Type_Declaration);
6103 Set_Flag13 (N, Val);
6104 end Set_Unknown_Discriminants_Present;
6106 procedure Set_Unreferenced_In_Spec
6107 (N : Node_Id; Val : Boolean := True) is
6109 pragma Assert (False
6110 or else NT (N).Nkind = N_With_Clause);
6112 end Set_Unreferenced_In_Spec;
6114 procedure Set_Variant_Part
6115 (N : Node_Id; Val : Node_Id) is
6117 pragma Assert (False
6118 or else NT (N).Nkind = N_Component_List);
6119 Set_Node4_With_Parent (N, Val);
6120 end Set_Variant_Part;
6122 procedure Set_Variants
6123 (N : Node_Id; Val : List_Id) is
6125 pragma Assert (False
6126 or else NT (N).Nkind = N_Variant_Part);
6127 Set_List1_With_Parent (N, Val);
6130 procedure Set_Visible_Declarations
6131 (N : Node_Id; Val : List_Id) is
6133 pragma Assert (False
6134 or else NT (N).Nkind = N_Package_Specification
6135 or else NT (N).Nkind = N_Protected_Definition
6136 or else NT (N).Nkind = N_Task_Definition);
6137 Set_List2_With_Parent (N, Val);
6138 end Set_Visible_Declarations;
6140 procedure Set_Used_Operations
6141 (N : Node_Id; Val : Elist_Id) is
6143 pragma Assert (False
6144 or else NT (N).Nkind = N_Use_Type_Clause);
6145 Set_Elist5 (N, Val);
6146 end Set_Used_Operations;
6148 procedure Set_Was_Originally_Stub
6149 (N : Node_Id; Val : Boolean := True) is
6151 pragma Assert (False
6152 or else NT (N).Nkind = N_Package_Body
6153 or else NT (N).Nkind = N_Protected_Body
6154 or else NT (N).Nkind = N_Subprogram_Body
6155 or else NT (N).Nkind = N_Task_Body);
6156 Set_Flag13 (N, Val);
6157 end Set_Was_Originally_Stub;
6159 procedure Set_Withed_Body
6160 (N : Node_Id; Val : Node_Id) is
6162 pragma Assert (False
6163 or else NT (N).Nkind = N_With_Clause);
6165 end Set_Withed_Body;
6167 -------------------------
6168 -- Iterator Procedures --
6169 -------------------------
6171 procedure Next_Entity (N : in out Node_Id) is
6173 N := Next_Entity (N);
6176 procedure Next_Named_Actual (N : in out Node_Id) is
6178 N := Next_Named_Actual (N);
6179 end Next_Named_Actual;
6181 procedure Next_Rep_Item (N : in out Node_Id) is
6183 N := Next_Rep_Item (N);
6186 procedure Next_Use_Clause (N : in out Node_Id) is
6188 N := Next_Use_Clause (N);
6189 end Next_Use_Clause;
6195 function End_Location (N : Node_Id) return Source_Ptr is
6196 L : constant Uint := End_Span (N);
6201 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6205 --------------------
6206 -- Get_Pragma_Arg --
6207 --------------------
6209 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6211 if Nkind (Arg) = N_Pragma_Argument_Association then
6212 return Expression (Arg);
6218 ----------------------
6219 -- Set_End_Location --
6220 ----------------------
6222 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6225 UI_From_Int (Int (S) - Int (Sloc (N))));
6226 end Set_End_Location;
6235 V2 : Node_Kind) return Boolean
6238 return T = V1 or else
6246 V3 : Node_Kind) return Boolean
6249 return T = V1 or else
6259 V4 : Node_Kind) return Boolean
6262 return T = V1 or else
6274 V5 : Node_Kind) return Boolean
6277 return T = V1 or else
6291 V6 : Node_Kind) return Boolean
6294 return T = V1 or else
6310 V7 : Node_Kind) return Boolean
6313 return T = V1 or else
6331 V8 : Node_Kind) return Boolean
6334 return T = V1 or else
6354 V9 : Node_Kind) return Boolean
6357 return T = V1 or else
6372 function Pragma_Name (N : Node_Id) return Name_Id is
6374 return Chars (Pragma_Identifier (N));