1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2013, 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 Atomic_Sync_Required
253 (N : Node_Id) return Boolean is
256 or else NT (N).Nkind = N_Expanded_Name
257 or else NT (N).Nkind = N_Explicit_Dereference
258 or else NT (N).Nkind = N_Identifier
259 or else NT (N).Nkind = N_Indexed_Component
260 or else NT (N).Nkind = N_Selected_Component);
262 end Atomic_Sync_Required;
264 function Array_Aggregate
265 (N : Node_Id) return Node_Id is
268 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
272 function Aspect_Rep_Item
273 (N : Node_Id) return Node_Id is
276 or else NT (N).Nkind = N_Aspect_Specification);
280 function Assignment_OK
281 (N : Node_Id) return Boolean is
284 or else NT (N).Nkind = N_Object_Declaration
285 or else NT (N).Nkind in N_Subexpr);
289 function Associated_Node
290 (N : Node_Id) return Node_Id is
293 or else NT (N).Nkind in N_Has_Entity
294 or else NT (N).Nkind = N_Aggregate
295 or else NT (N).Nkind = N_Extension_Aggregate
296 or else NT (N).Nkind = N_Selected_Component);
301 (N : Node_Id) return Node_Id is
304 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
308 function Attribute_Name
309 (N : Node_Id) return Name_Id is
312 or else NT (N).Nkind = N_Attribute_Reference);
316 function Aux_Decls_Node
317 (N : Node_Id) return Node_Id is
320 or else NT (N).Nkind = N_Compilation_Unit);
324 function Backwards_OK
325 (N : Node_Id) return Boolean is
328 or else NT (N).Nkind = N_Assignment_Statement);
332 function Bad_Is_Detected
333 (N : Node_Id) return Boolean is
336 or else NT (N).Nkind = N_Subprogram_Body);
340 function Body_Required
341 (N : Node_Id) return Boolean is
344 or else NT (N).Nkind = N_Compilation_Unit);
348 function Body_To_Inline
349 (N : Node_Id) return Node_Id is
352 or else NT (N).Nkind = N_Subprogram_Declaration);
357 (N : Node_Id) return Boolean is
360 or else NT (N).Nkind = N_Component_Association
361 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
362 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Package_Declaration
364 or else NT (N).Nkind = N_Generic_Association);
369 (N : Node_Id) return Boolean is
372 or else NT (N).Nkind = N_Extended_Return_Statement
373 or else NT (N).Nkind = N_Simple_Return_Statement);
377 function Char_Literal_Value
378 (N : Node_Id) return Uint is
381 or else NT (N).Nkind = N_Character_Literal);
383 end Char_Literal_Value;
386 (N : Node_Id) return Name_Id is
389 or else NT (N).Nkind in N_Has_Chars);
393 function Check_Address_Alignment
394 (N : Node_Id) return Boolean is
397 or else NT (N).Nkind = N_Attribute_Definition_Clause);
399 end Check_Address_Alignment;
401 function Choice_Parameter
402 (N : Node_Id) return Node_Id is
405 or else NT (N).Nkind = N_Exception_Handler);
407 end Choice_Parameter;
410 (N : Node_Id) return List_Id is
413 or else NT (N).Nkind = N_Component_Association);
417 function Class_Present
418 (N : Node_Id) return Boolean is
421 or else NT (N).Nkind = N_Aspect_Specification
422 or else NT (N).Nkind = N_Pragma);
426 function Classifications
427 (N : Node_Id) return Node_Id is
430 or else NT (N).Nkind = N_Contract);
434 function Comes_From_Extended_Return_Statement
435 (N : Node_Id) return Boolean is
438 or else NT (N).Nkind = N_Simple_Return_Statement);
440 end Comes_From_Extended_Return_Statement;
442 function Compile_Time_Known_Aggregate
443 (N : Node_Id) return Boolean is
446 or else NT (N).Nkind = N_Aggregate);
448 end Compile_Time_Known_Aggregate;
450 function Component_Associations
451 (N : Node_Id) return List_Id is
454 or else NT (N).Nkind = N_Aggregate
455 or else NT (N).Nkind = N_Extension_Aggregate);
457 end Component_Associations;
459 function Component_Clauses
460 (N : Node_Id) return List_Id is
463 or else NT (N).Nkind = N_Record_Representation_Clause);
465 end Component_Clauses;
467 function Component_Definition
468 (N : Node_Id) return Node_Id is
471 or else NT (N).Nkind = N_Component_Declaration
472 or else NT (N).Nkind = N_Constrained_Array_Definition
473 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
475 end Component_Definition;
477 function Component_Items
478 (N : Node_Id) return List_Id is
481 or else NT (N).Nkind = N_Component_List);
485 function Component_List
486 (N : Node_Id) return Node_Id is
489 or else NT (N).Nkind = N_Record_Definition
490 or else NT (N).Nkind = N_Variant);
494 function Component_Name
495 (N : Node_Id) return Node_Id is
498 or else NT (N).Nkind = N_Component_Clause);
502 function Componentwise_Assignment
503 (N : Node_Id) return Boolean is
506 or else NT (N).Nkind = N_Assignment_Statement);
508 end Componentwise_Assignment;
511 (N : Node_Id) return Node_Id is
514 or else NT (N).Nkind = N_Accept_Alternative
515 or else NT (N).Nkind = N_Delay_Alternative
516 or else NT (N).Nkind = N_Elsif_Part
517 or else NT (N).Nkind = N_Entry_Body_Formal_Part
518 or else NT (N).Nkind = N_Exit_Statement
519 or else NT (N).Nkind = N_If_Statement
520 or else NT (N).Nkind = N_Iteration_Scheme
521 or else NT (N).Nkind = N_Quantified_Expression
522 or else NT (N).Nkind = N_Raise_Constraint_Error
523 or else NT (N).Nkind = N_Raise_Program_Error
524 or else NT (N).Nkind = N_Raise_Storage_Error
525 or else NT (N).Nkind = N_Terminate_Alternative);
529 function Condition_Actions
530 (N : Node_Id) return List_Id is
533 or else NT (N).Nkind = N_Elsif_Part
534 or else NT (N).Nkind = N_Iteration_Scheme);
536 end Condition_Actions;
538 function Config_Pragmas
539 (N : Node_Id) return List_Id is
542 or else NT (N).Nkind = N_Compilation_Unit_Aux);
546 function Constant_Present
547 (N : Node_Id) return Boolean is
550 or else NT (N).Nkind = N_Access_Definition
551 or else NT (N).Nkind = N_Access_To_Object_Definition
552 or else NT (N).Nkind = N_Object_Declaration);
554 end Constant_Present;
557 (N : Node_Id) return Node_Id is
560 or else NT (N).Nkind = N_Subtype_Indication);
565 (N : Node_Id) return List_Id is
568 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
572 function Context_Installed
573 (N : Node_Id) return Boolean is
576 or else NT (N).Nkind = N_With_Clause);
578 end Context_Installed;
580 function Context_Items
581 (N : Node_Id) return List_Id is
584 or else NT (N).Nkind = N_Compilation_Unit);
588 function Context_Pending
589 (N : Node_Id) return Boolean is
592 or else NT (N).Nkind = N_Compilation_Unit);
596 function Contract_Test_Cases
597 (N : Node_Id) return Node_Id is
600 or else NT (N).Nkind = N_Contract);
602 end Contract_Test_Cases;
604 function Controlling_Argument
605 (N : Node_Id) return Node_Id is
608 or else NT (N).Nkind = N_Function_Call
609 or else NT (N).Nkind = N_Procedure_Call_Statement);
611 end Controlling_Argument;
613 function Conversion_OK
614 (N : Node_Id) return Boolean is
617 or else NT (N).Nkind = N_Type_Conversion);
621 function Convert_To_Return_False
622 (N : Node_Id) return Boolean is
625 or else NT (N).Nkind = N_Raise_Expression);
627 end Convert_To_Return_False;
629 function Corresponding_Aspect
630 (N : Node_Id) return Node_Id is
633 or else NT (N).Nkind = N_Pragma);
635 end Corresponding_Aspect;
637 function Corresponding_Body
638 (N : Node_Id) return Node_Id is
641 or else NT (N).Nkind = N_Entry_Declaration
642 or else NT (N).Nkind = N_Generic_Package_Declaration
643 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
644 or else NT (N).Nkind = N_Package_Body_Stub
645 or else NT (N).Nkind = N_Package_Declaration
646 or else NT (N).Nkind = N_Protected_Body_Stub
647 or else NT (N).Nkind = N_Protected_Type_Declaration
648 or else NT (N).Nkind = N_Subprogram_Body_Stub
649 or else NT (N).Nkind = N_Subprogram_Declaration
650 or else NT (N).Nkind = N_Task_Body_Stub
651 or else NT (N).Nkind = N_Task_Type_Declaration);
653 end Corresponding_Body;
655 function Corresponding_Formal_Spec
656 (N : Node_Id) return Node_Id is
659 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
661 end Corresponding_Formal_Spec;
663 function Corresponding_Generic_Association
664 (N : Node_Id) return Node_Id is
667 or else NT (N).Nkind = N_Object_Declaration
668 or else NT (N).Nkind = N_Object_Renaming_Declaration);
670 end Corresponding_Generic_Association;
672 function Corresponding_Integer_Value
673 (N : Node_Id) return Uint is
676 or else NT (N).Nkind = N_Real_Literal);
678 end Corresponding_Integer_Value;
680 function Corresponding_Spec
681 (N : Node_Id) return Node_Id is
684 or else NT (N).Nkind = N_Expression_Function
685 or else NT (N).Nkind = N_Package_Body
686 or else NT (N).Nkind = N_Protected_Body
687 or else NT (N).Nkind = N_Subprogram_Body
688 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
689 or else NT (N).Nkind = N_Task_Body
690 or else NT (N).Nkind = N_With_Clause);
692 end Corresponding_Spec;
694 function Corresponding_Spec_Of_Stub
695 (N : Node_Id) return Entity_Id is
698 or else NT (N).Nkind = N_Package_Body_Stub
699 or else NT (N).Nkind = N_Protected_Body_Stub
700 or else NT (N).Nkind = N_Subprogram_Body_Stub
701 or else NT (N).Nkind = N_Task_Body_Stub);
703 end Corresponding_Spec_Of_Stub;
705 function Corresponding_Stub
706 (N : Node_Id) return Node_Id is
709 or else NT (N).Nkind = N_Subunit);
711 end Corresponding_Stub;
713 function Dcheck_Function
714 (N : Node_Id) return Entity_Id is
717 or else NT (N).Nkind = N_Variant);
721 function Declarations
722 (N : Node_Id) return List_Id is
725 or else NT (N).Nkind = N_Accept_Statement
726 or else NT (N).Nkind = N_Block_Statement
727 or else NT (N).Nkind = N_Compilation_Unit_Aux
728 or else NT (N).Nkind = N_Entry_Body
729 or else NT (N).Nkind = N_Package_Body
730 or else NT (N).Nkind = N_Protected_Body
731 or else NT (N).Nkind = N_Subprogram_Body
732 or else NT (N).Nkind = N_Task_Body);
736 function Default_Expression
737 (N : Node_Id) return Node_Id is
740 or else NT (N).Nkind = N_Formal_Object_Declaration
741 or else NT (N).Nkind = N_Parameter_Specification);
743 end Default_Expression;
745 function Default_Storage_Pool
746 (N : Node_Id) return Node_Id is
749 or else NT (N).Nkind = N_Compilation_Unit_Aux);
751 end Default_Storage_Pool;
753 function Default_Name
754 (N : Node_Id) return Node_Id is
757 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
758 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
762 function Defining_Identifier
763 (N : Node_Id) return Entity_Id is
766 or else NT (N).Nkind = N_Component_Declaration
767 or else NT (N).Nkind = N_Defining_Program_Unit_Name
768 or else NT (N).Nkind = N_Discriminant_Specification
769 or else NT (N).Nkind = N_Entry_Body
770 or else NT (N).Nkind = N_Entry_Declaration
771 or else NT (N).Nkind = N_Entry_Index_Specification
772 or else NT (N).Nkind = N_Exception_Declaration
773 or else NT (N).Nkind = N_Exception_Renaming_Declaration
774 or else NT (N).Nkind = N_Formal_Object_Declaration
775 or else NT (N).Nkind = N_Formal_Package_Declaration
776 or else NT (N).Nkind = N_Formal_Type_Declaration
777 or else NT (N).Nkind = N_Full_Type_Declaration
778 or else NT (N).Nkind = N_Implicit_Label_Declaration
779 or else NT (N).Nkind = N_Incomplete_Type_Declaration
780 or else NT (N).Nkind = N_Iterator_Specification
781 or else NT (N).Nkind = N_Loop_Parameter_Specification
782 or else NT (N).Nkind = N_Number_Declaration
783 or else NT (N).Nkind = N_Object_Declaration
784 or else NT (N).Nkind = N_Object_Renaming_Declaration
785 or else NT (N).Nkind = N_Package_Body_Stub
786 or else NT (N).Nkind = N_Parameter_Specification
787 or else NT (N).Nkind = N_Private_Extension_Declaration
788 or else NT (N).Nkind = N_Private_Type_Declaration
789 or else NT (N).Nkind = N_Protected_Body
790 or else NT (N).Nkind = N_Protected_Body_Stub
791 or else NT (N).Nkind = N_Protected_Type_Declaration
792 or else NT (N).Nkind = N_Single_Protected_Declaration
793 or else NT (N).Nkind = N_Single_Task_Declaration
794 or else NT (N).Nkind = N_Subtype_Declaration
795 or else NT (N).Nkind = N_Task_Body
796 or else NT (N).Nkind = N_Task_Body_Stub
797 or else NT (N).Nkind = N_Task_Type_Declaration);
799 end Defining_Identifier;
801 function Defining_Unit_Name
802 (N : Node_Id) return Node_Id is
805 or else NT (N).Nkind = N_Function_Instantiation
806 or else NT (N).Nkind = N_Function_Specification
807 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
808 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
809 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
810 or else NT (N).Nkind = N_Package_Body
811 or else NT (N).Nkind = N_Package_Instantiation
812 or else NT (N).Nkind = N_Package_Renaming_Declaration
813 or else NT (N).Nkind = N_Package_Specification
814 or else NT (N).Nkind = N_Procedure_Instantiation
815 or else NT (N).Nkind = N_Procedure_Specification);
817 end Defining_Unit_Name;
819 function Delay_Alternative
820 (N : Node_Id) return Node_Id is
823 or else NT (N).Nkind = N_Timed_Entry_Call);
825 end Delay_Alternative;
827 function Delay_Statement
828 (N : Node_Id) return Node_Id is
831 or else NT (N).Nkind = N_Delay_Alternative);
835 function Delta_Expression
836 (N : Node_Id) return Node_Id is
839 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
840 or else NT (N).Nkind = N_Delta_Constraint
841 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
843 end Delta_Expression;
845 function Digits_Expression
846 (N : Node_Id) return Node_Id is
849 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
850 or else NT (N).Nkind = N_Digits_Constraint
851 or else NT (N).Nkind = N_Floating_Point_Definition);
853 end Digits_Expression;
855 function Discr_Check_Funcs_Built
856 (N : Node_Id) return Boolean is
859 or else NT (N).Nkind = N_Full_Type_Declaration);
861 end Discr_Check_Funcs_Built;
863 function Discrete_Choices
864 (N : Node_Id) return List_Id is
867 or else NT (N).Nkind = N_Case_Expression_Alternative
868 or else NT (N).Nkind = N_Case_Statement_Alternative
869 or else NT (N).Nkind = N_Variant);
871 end Discrete_Choices;
873 function Discrete_Range
874 (N : Node_Id) return Node_Id is
877 or else NT (N).Nkind = N_Slice);
881 function Discrete_Subtype_Definition
882 (N : Node_Id) return Node_Id is
885 or else NT (N).Nkind = N_Entry_Declaration
886 or else NT (N).Nkind = N_Entry_Index_Specification
887 or else NT (N).Nkind = N_Loop_Parameter_Specification);
889 end Discrete_Subtype_Definition;
891 function Discrete_Subtype_Definitions
892 (N : Node_Id) return List_Id is
895 or else NT (N).Nkind = N_Constrained_Array_Definition);
897 end Discrete_Subtype_Definitions;
899 function Discriminant_Specifications
900 (N : Node_Id) return List_Id is
903 or else NT (N).Nkind = N_Formal_Type_Declaration
904 or else NT (N).Nkind = N_Full_Type_Declaration
905 or else NT (N).Nkind = N_Incomplete_Type_Declaration
906 or else NT (N).Nkind = N_Private_Extension_Declaration
907 or else NT (N).Nkind = N_Private_Type_Declaration
908 or else NT (N).Nkind = N_Protected_Type_Declaration
909 or else NT (N).Nkind = N_Task_Type_Declaration);
911 end Discriminant_Specifications;
913 function Discriminant_Type
914 (N : Node_Id) return Node_Id is
917 or else NT (N).Nkind = N_Discriminant_Specification);
919 end Discriminant_Type;
921 function Do_Accessibility_Check
922 (N : Node_Id) return Boolean is
925 or else NT (N).Nkind = N_Parameter_Specification);
927 end Do_Accessibility_Check;
929 function Do_Discriminant_Check
930 (N : Node_Id) return Boolean is
933 or else NT (N).Nkind = N_Selected_Component);
935 end Do_Discriminant_Check;
937 function Do_Division_Check
938 (N : Node_Id) return Boolean is
941 or else NT (N).Nkind = N_Op_Divide
942 or else NT (N).Nkind = N_Op_Mod
943 or else NT (N).Nkind = N_Op_Rem);
945 end Do_Division_Check;
947 function Do_Length_Check
948 (N : Node_Id) return Boolean is
951 or else NT (N).Nkind = N_Assignment_Statement
952 or else NT (N).Nkind = N_Op_And
953 or else NT (N).Nkind = N_Op_Or
954 or else NT (N).Nkind = N_Op_Xor
955 or else NT (N).Nkind = N_Type_Conversion);
959 function Do_Overflow_Check
960 (N : Node_Id) return Boolean is
963 or else NT (N).Nkind in N_Op
964 or else NT (N).Nkind = N_Attribute_Reference
965 or else NT (N).Nkind = N_Case_Expression
966 or else NT (N).Nkind = N_If_Expression
967 or else NT (N).Nkind = N_Type_Conversion);
969 end Do_Overflow_Check;
971 function Do_Range_Check
972 (N : Node_Id) return Boolean is
975 or else NT (N).Nkind in N_Subexpr);
979 function Do_Storage_Check
980 (N : Node_Id) return Boolean is
983 or else NT (N).Nkind = N_Allocator
984 or else NT (N).Nkind = N_Subprogram_Body);
986 end Do_Storage_Check;
988 function Do_Tag_Check
989 (N : Node_Id) return Boolean is
992 or else NT (N).Nkind = N_Assignment_Statement
993 or else NT (N).Nkind = N_Extended_Return_Statement
994 or else NT (N).Nkind = N_Function_Call
995 or else NT (N).Nkind = N_Procedure_Call_Statement
996 or else NT (N).Nkind = N_Simple_Return_Statement
997 or else NT (N).Nkind = N_Type_Conversion);
1001 function Elaborate_All_Desirable
1002 (N : Node_Id) return Boolean is
1004 pragma Assert (False
1005 or else NT (N).Nkind = N_With_Clause);
1007 end Elaborate_All_Desirable;
1009 function Elaborate_All_Present
1010 (N : Node_Id) return Boolean is
1012 pragma Assert (False
1013 or else NT (N).Nkind = N_With_Clause);
1015 end Elaborate_All_Present;
1017 function Elaborate_Desirable
1018 (N : Node_Id) return Boolean is
1020 pragma Assert (False
1021 or else NT (N).Nkind = N_With_Clause);
1023 end Elaborate_Desirable;
1025 function Elaborate_Present
1026 (N : Node_Id) return Boolean is
1028 pragma Assert (False
1029 or else NT (N).Nkind = N_With_Clause);
1031 end Elaborate_Present;
1033 function Elaboration_Boolean
1034 (N : Node_Id) return Node_Id is
1036 pragma Assert (False
1037 or else NT (N).Nkind = N_Function_Specification
1038 or else NT (N).Nkind = N_Procedure_Specification);
1040 end Elaboration_Boolean;
1042 function Else_Actions
1043 (N : Node_Id) return List_Id is
1045 pragma Assert (False
1046 or else NT (N).Nkind = N_If_Expression);
1050 function Else_Statements
1051 (N : Node_Id) return List_Id is
1053 pragma Assert (False
1054 or else NT (N).Nkind = N_Conditional_Entry_Call
1055 or else NT (N).Nkind = N_If_Statement
1056 or else NT (N).Nkind = N_Selective_Accept);
1058 end Else_Statements;
1060 function Elsif_Parts
1061 (N : Node_Id) return List_Id is
1063 pragma Assert (False
1064 or else NT (N).Nkind = N_If_Statement);
1068 function Enclosing_Variant
1069 (N : Node_Id) return Node_Id is
1071 pragma Assert (False
1072 or else NT (N).Nkind = N_Variant);
1074 end Enclosing_Variant;
1077 (N : Node_Id) return Node_Id is
1079 pragma Assert (False
1080 or else NT (N).Nkind = N_Enumeration_Type_Definition
1081 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1082 or else NT (N).Nkind = N_Loop_Statement
1083 or else NT (N).Nkind = N_Package_Specification
1084 or else NT (N).Nkind = N_Protected_Body
1085 or else NT (N).Nkind = N_Protected_Definition
1086 or else NT (N).Nkind = N_Record_Definition
1087 or else NT (N).Nkind = N_Task_Definition);
1092 (N : Node_Id) return Uint is
1094 pragma Assert (False
1095 or else NT (N).Nkind = N_Case_Statement
1096 or else NT (N).Nkind = N_If_Statement);
1101 (N : Node_Id) return Node_Id is
1103 pragma Assert (False
1104 or else NT (N).Nkind in N_Has_Entity
1105 or else NT (N).Nkind = N_Aspect_Specification
1106 or else NT (N).Nkind = N_Attribute_Definition_Clause
1107 or else NT (N).Nkind = N_Freeze_Entity
1108 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1112 function Entity_Or_Associated_Node
1113 (N : Node_Id) return Node_Id is
1115 pragma Assert (False
1116 or else NT (N).Nkind in N_Has_Entity
1117 or else NT (N).Nkind = N_Freeze_Entity);
1119 end Entity_Or_Associated_Node;
1121 function Entry_Body_Formal_Part
1122 (N : Node_Id) return Node_Id is
1124 pragma Assert (False
1125 or else NT (N).Nkind = N_Entry_Body);
1127 end Entry_Body_Formal_Part;
1129 function Entry_Call_Alternative
1130 (N : Node_Id) return Node_Id is
1132 pragma Assert (False
1133 or else NT (N).Nkind = N_Conditional_Entry_Call
1134 or else NT (N).Nkind = N_Timed_Entry_Call);
1136 end Entry_Call_Alternative;
1138 function Entry_Call_Statement
1139 (N : Node_Id) return Node_Id is
1141 pragma Assert (False
1142 or else NT (N).Nkind = N_Entry_Call_Alternative);
1144 end Entry_Call_Statement;
1146 function Entry_Direct_Name
1147 (N : Node_Id) return Node_Id is
1149 pragma Assert (False
1150 or else NT (N).Nkind = N_Accept_Statement);
1152 end Entry_Direct_Name;
1154 function Entry_Index
1155 (N : Node_Id) return Node_Id is
1157 pragma Assert (False
1158 or else NT (N).Nkind = N_Accept_Statement);
1162 function Entry_Index_Specification
1163 (N : Node_Id) return Node_Id is
1165 pragma Assert (False
1166 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1168 end Entry_Index_Specification;
1171 (N : Node_Id) return Node_Id is
1173 pragma Assert (False
1174 or else NT (N).Nkind in N_Has_Etype);
1178 function Exception_Choices
1179 (N : Node_Id) return List_Id is
1181 pragma Assert (False
1182 or else NT (N).Nkind = N_Exception_Handler);
1184 end Exception_Choices;
1186 function Exception_Handlers
1187 (N : Node_Id) return List_Id is
1189 pragma Assert (False
1190 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1192 end Exception_Handlers;
1194 function Exception_Junk
1195 (N : Node_Id) return Boolean is
1197 pragma Assert (False
1198 or else NT (N).Nkind = N_Block_Statement
1199 or else NT (N).Nkind = N_Goto_Statement
1200 or else NT (N).Nkind = N_Label
1201 or else NT (N).Nkind = N_Object_Declaration
1202 or else NT (N).Nkind = N_Subtype_Declaration);
1206 function Exception_Label
1207 (N : Node_Id) return Node_Id is
1209 pragma Assert (False
1210 or else NT (N).Nkind = N_Exception_Handler
1211 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1212 or else NT (N).Nkind = N_Push_Program_Error_Label
1213 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1215 end Exception_Label;
1217 function Expansion_Delayed
1218 (N : Node_Id) return Boolean is
1220 pragma Assert (False
1221 or else NT (N).Nkind = N_Aggregate
1222 or else NT (N).Nkind = N_Extension_Aggregate);
1224 end Expansion_Delayed;
1226 function Explicit_Actual_Parameter
1227 (N : Node_Id) return Node_Id is
1229 pragma Assert (False
1230 or else NT (N).Nkind = N_Parameter_Association);
1232 end Explicit_Actual_Parameter;
1234 function Explicit_Generic_Actual_Parameter
1235 (N : Node_Id) return Node_Id is
1237 pragma Assert (False
1238 or else NT (N).Nkind = N_Generic_Association);
1240 end Explicit_Generic_Actual_Parameter;
1243 (N : Node_Id) return Node_Id is
1245 pragma Assert (False
1246 or else NT (N).Nkind = N_Allocator
1247 or else NT (N).Nkind = N_Aspect_Specification
1248 or else NT (N).Nkind = N_Assignment_Statement
1249 or else NT (N).Nkind = N_At_Clause
1250 or else NT (N).Nkind = N_Attribute_Definition_Clause
1251 or else NT (N).Nkind = N_Case_Expression
1252 or else NT (N).Nkind = N_Case_Expression_Alternative
1253 or else NT (N).Nkind = N_Case_Statement
1254 or else NT (N).Nkind = N_Code_Statement
1255 or else NT (N).Nkind = N_Component_Association
1256 or else NT (N).Nkind = N_Component_Declaration
1257 or else NT (N).Nkind = N_Delay_Relative_Statement
1258 or else NT (N).Nkind = N_Delay_Until_Statement
1259 or else NT (N).Nkind = N_Discriminant_Association
1260 or else NT (N).Nkind = N_Discriminant_Specification
1261 or else NT (N).Nkind = N_Exception_Declaration
1262 or else NT (N).Nkind = N_Expression_Function
1263 or else NT (N).Nkind = N_Expression_With_Actions
1264 or else NT (N).Nkind = N_Free_Statement
1265 or else NT (N).Nkind = N_Mod_Clause
1266 or else NT (N).Nkind = N_Modular_Type_Definition
1267 or else NT (N).Nkind = N_Number_Declaration
1268 or else NT (N).Nkind = N_Object_Declaration
1269 or else NT (N).Nkind = N_Parameter_Specification
1270 or else NT (N).Nkind = N_Pragma_Argument_Association
1271 or else NT (N).Nkind = N_Qualified_Expression
1272 or else NT (N).Nkind = N_Raise_Expression
1273 or else NT (N).Nkind = N_Raise_Statement
1274 or else NT (N).Nkind = N_Simple_Return_Statement
1275 or else NT (N).Nkind = N_Type_Conversion
1276 or else NT (N).Nkind = N_Unchecked_Expression
1277 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1281 function Expressions
1282 (N : Node_Id) return List_Id is
1284 pragma Assert (False
1285 or else NT (N).Nkind = N_Aggregate
1286 or else NT (N).Nkind = N_Attribute_Reference
1287 or else NT (N).Nkind = N_Extension_Aggregate
1288 or else NT (N).Nkind = N_If_Expression
1289 or else NT (N).Nkind = N_Indexed_Component);
1294 (N : Node_Id) return Node_Id is
1296 pragma Assert (False
1297 or else NT (N).Nkind = N_Component_Clause);
1301 function First_Inlined_Subprogram
1302 (N : Node_Id) return Entity_Id is
1304 pragma Assert (False
1305 or else NT (N).Nkind = N_Compilation_Unit);
1307 end First_Inlined_Subprogram;
1310 (N : Node_Id) return Boolean is
1312 pragma Assert (False
1313 or else NT (N).Nkind = N_With_Clause);
1317 function First_Named_Actual
1318 (N : Node_Id) return Node_Id is
1320 pragma Assert (False
1321 or else NT (N).Nkind = N_Entry_Call_Statement
1322 or else NT (N).Nkind = N_Function_Call
1323 or else NT (N).Nkind = N_Procedure_Call_Statement);
1325 end First_Named_Actual;
1327 function First_Real_Statement
1328 (N : Node_Id) return Node_Id is
1330 pragma Assert (False
1331 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1333 end First_Real_Statement;
1335 function First_Subtype_Link
1336 (N : Node_Id) return Entity_Id is
1338 pragma Assert (False
1339 or else NT (N).Nkind = N_Freeze_Entity);
1341 end First_Subtype_Link;
1343 function Float_Truncate
1344 (N : Node_Id) return Boolean is
1346 pragma Assert (False
1347 or else NT (N).Nkind = N_Type_Conversion);
1351 function Formal_Type_Definition
1352 (N : Node_Id) return Node_Id is
1354 pragma Assert (False
1355 or else NT (N).Nkind = N_Formal_Type_Declaration);
1357 end Formal_Type_Definition;
1359 function Forwards_OK
1360 (N : Node_Id) return Boolean is
1362 pragma Assert (False
1363 or else NT (N).Nkind = N_Assignment_Statement);
1367 function From_Aspect_Specification
1368 (N : Node_Id) return Boolean is
1370 pragma Assert (False
1371 or else NT (N).Nkind = N_Attribute_Definition_Clause
1372 or else NT (N).Nkind = N_Pragma);
1374 end From_Aspect_Specification;
1376 function From_At_End
1377 (N : Node_Id) return Boolean is
1379 pragma Assert (False
1380 or else NT (N).Nkind = N_Raise_Statement);
1384 function From_At_Mod
1385 (N : Node_Id) return Boolean is
1387 pragma Assert (False
1388 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1392 function From_Default
1393 (N : Node_Id) return Boolean is
1395 pragma Assert (False
1396 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1400 function Generic_Associations
1401 (N : Node_Id) return List_Id is
1403 pragma Assert (False
1404 or else NT (N).Nkind = N_Formal_Package_Declaration
1405 or else NT (N).Nkind = N_Function_Instantiation
1406 or else NT (N).Nkind = N_Package_Instantiation
1407 or else NT (N).Nkind = N_Procedure_Instantiation);
1409 end Generic_Associations;
1411 function Generic_Formal_Declarations
1412 (N : Node_Id) return List_Id is
1414 pragma Assert (False
1415 or else NT (N).Nkind = N_Generic_Package_Declaration
1416 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1418 end Generic_Formal_Declarations;
1420 function Generic_Parent
1421 (N : Node_Id) return Node_Id is
1423 pragma Assert (False
1424 or else NT (N).Nkind = N_Function_Specification
1425 or else NT (N).Nkind = N_Package_Specification
1426 or else NT (N).Nkind = N_Procedure_Specification);
1430 function Generic_Parent_Type
1431 (N : Node_Id) return Node_Id is
1433 pragma Assert (False
1434 or else NT (N).Nkind = N_Subtype_Declaration);
1436 end Generic_Parent_Type;
1438 function Handled_Statement_Sequence
1439 (N : Node_Id) return Node_Id is
1441 pragma Assert (False
1442 or else NT (N).Nkind = N_Accept_Statement
1443 or else NT (N).Nkind = N_Block_Statement
1444 or else NT (N).Nkind = N_Entry_Body
1445 or else NT (N).Nkind = N_Extended_Return_Statement
1446 or else NT (N).Nkind = N_Package_Body
1447 or else NT (N).Nkind = N_Subprogram_Body
1448 or else NT (N).Nkind = N_Task_Body);
1450 end Handled_Statement_Sequence;
1452 function Handler_List_Entry
1453 (N : Node_Id) return Node_Id is
1455 pragma Assert (False
1456 or else NT (N).Nkind = N_Object_Declaration);
1458 end Handler_List_Entry;
1460 function Has_Created_Identifier
1461 (N : Node_Id) return Boolean is
1463 pragma Assert (False
1464 or else NT (N).Nkind = N_Block_Statement
1465 or else NT (N).Nkind = N_Loop_Statement);
1467 end Has_Created_Identifier;
1469 function Has_Dereference_Action
1470 (N : Node_Id) return Boolean is
1472 pragma Assert (False
1473 or else NT (N).Nkind = N_Explicit_Dereference);
1475 end Has_Dereference_Action;
1477 function Has_Dynamic_Length_Check
1478 (N : Node_Id) return Boolean is
1480 pragma Assert (False
1481 or else NT (N).Nkind in N_Subexpr);
1483 end Has_Dynamic_Length_Check;
1485 function Has_Dynamic_Range_Check
1486 (N : Node_Id) return Boolean is
1488 pragma Assert (False
1489 or else NT (N).Nkind = N_Subtype_Declaration
1490 or else NT (N).Nkind in N_Subexpr);
1492 end Has_Dynamic_Range_Check;
1494 function Has_Init_Expression
1495 (N : Node_Id) return Boolean is
1497 pragma Assert (False
1498 or else NT (N).Nkind = N_Object_Declaration);
1500 end Has_Init_Expression;
1502 function Has_Local_Raise
1503 (N : Node_Id) return Boolean is
1505 pragma Assert (False
1506 or else NT (N).Nkind = N_Exception_Handler);
1508 end Has_Local_Raise;
1510 function Has_No_Elaboration_Code
1511 (N : Node_Id) return Boolean is
1513 pragma Assert (False
1514 or else NT (N).Nkind = N_Compilation_Unit);
1516 end Has_No_Elaboration_Code;
1518 function Has_Pragma_Suppress_All
1519 (N : Node_Id) return Boolean is
1521 pragma Assert (False
1522 or else NT (N).Nkind = N_Compilation_Unit);
1524 end Has_Pragma_Suppress_All;
1526 function Has_Private_View
1527 (N : Node_Id) return Boolean is
1529 pragma Assert (False
1530 or else NT (N).Nkind in N_Op
1531 or else NT (N).Nkind = N_Character_Literal
1532 or else NT (N).Nkind = N_Expanded_Name
1533 or else NT (N).Nkind = N_Identifier
1534 or else NT (N).Nkind = N_Operator_Symbol);
1536 end Has_Private_View;
1538 function Has_Relative_Deadline_Pragma
1539 (N : Node_Id) return Boolean is
1541 pragma Assert (False
1542 or else NT (N).Nkind = N_Subprogram_Body
1543 or else NT (N).Nkind = N_Task_Definition);
1545 end Has_Relative_Deadline_Pragma;
1547 function Has_Self_Reference
1548 (N : Node_Id) return Boolean is
1550 pragma Assert (False
1551 or else NT (N).Nkind = N_Aggregate
1552 or else NT (N).Nkind = N_Extension_Aggregate);
1554 end Has_Self_Reference;
1556 function Has_SP_Choice
1557 (N : Node_Id) return Boolean is
1559 pragma Assert (False
1560 or else NT (N).Nkind = N_Case_Expression_Alternative
1561 or else NT (N).Nkind = N_Case_Statement_Alternative
1562 or else NT (N).Nkind = N_Variant);
1566 function Has_Storage_Size_Pragma
1567 (N : Node_Id) return Boolean is
1569 pragma Assert (False
1570 or else NT (N).Nkind = N_Task_Definition);
1572 end Has_Storage_Size_Pragma;
1574 function Has_Wide_Character
1575 (N : Node_Id) return Boolean is
1577 pragma Assert (False
1578 or else NT (N).Nkind = N_String_Literal);
1580 end Has_Wide_Character;
1582 function Has_Wide_Wide_Character
1583 (N : Node_Id) return Boolean is
1585 pragma Assert (False
1586 or else NT (N).Nkind = N_String_Literal);
1588 end Has_Wide_Wide_Character;
1590 function Header_Size_Added
1591 (N : Node_Id) return Boolean is
1593 pragma Assert (False
1594 or else NT (N).Nkind = N_Attribute_Reference);
1596 end Header_Size_Added;
1598 function Hidden_By_Use_Clause
1599 (N : Node_Id) return Elist_Id is
1601 pragma Assert (False
1602 or else NT (N).Nkind = N_Use_Package_Clause
1603 or else NT (N).Nkind = N_Use_Type_Clause);
1605 end Hidden_By_Use_Clause;
1608 (N : Node_Id) return Node_Id is
1610 pragma Assert (False
1611 or else NT (N).Nkind = N_Range
1612 or else NT (N).Nkind = N_Real_Range_Specification
1613 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1618 (N : Node_Id) return Node_Id is
1620 pragma Assert (False
1621 or else NT (N).Nkind = N_Aspect_Specification
1622 or else NT (N).Nkind = N_At_Clause
1623 or else NT (N).Nkind = N_Block_Statement
1624 or else NT (N).Nkind = N_Designator
1625 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1626 or else NT (N).Nkind = N_Label
1627 or else NT (N).Nkind = N_Loop_Statement
1628 or else NT (N).Nkind = N_Record_Representation_Clause
1629 or else NT (N).Nkind = N_Subprogram_Info);
1633 function Implicit_With
1634 (N : Node_Id) return Boolean is
1636 pragma Assert (False
1637 or else NT (N).Nkind = N_With_Clause);
1641 function Implicit_With_From_Instantiation
1642 (N : Node_Id) return Boolean is
1644 pragma Assert (False
1645 or else NT (N).Nkind = N_With_Clause);
1647 end Implicit_With_From_Instantiation;
1649 function Interface_List
1650 (N : Node_Id) return List_Id is
1652 pragma Assert (False
1653 or else NT (N).Nkind = N_Derived_Type_Definition
1654 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1655 or else NT (N).Nkind = N_Private_Extension_Declaration
1656 or else NT (N).Nkind = N_Protected_Type_Declaration
1657 or else NT (N).Nkind = N_Record_Definition
1658 or else NT (N).Nkind = N_Single_Protected_Declaration
1659 or else NT (N).Nkind = N_Single_Task_Declaration
1660 or else NT (N).Nkind = N_Task_Type_Declaration);
1664 function Interface_Present
1665 (N : Node_Id) return Boolean is
1667 pragma Assert (False
1668 or else NT (N).Nkind = N_Derived_Type_Definition
1669 or else NT (N).Nkind = N_Record_Definition);
1671 end Interface_Present;
1673 function Import_Interface_Present
1674 (N : Node_Id) return Boolean is
1676 pragma Assert (False
1677 or else NT (N).Nkind = N_Pragma);
1679 end Import_Interface_Present;
1681 function In_Assertion_Expression
1682 (N : Node_Id) return Boolean is
1684 pragma Assert (False
1685 or else NT (N).Nkind = N_Function_Call);
1687 end In_Assertion_Expression;
1690 (N : Node_Id) return Boolean is
1692 pragma Assert (False
1693 or else NT (N).Nkind = N_Formal_Object_Declaration
1694 or else NT (N).Nkind = N_Parameter_Specification);
1698 function Includes_Infinities
1699 (N : Node_Id) return Boolean is
1701 pragma Assert (False
1702 or else NT (N).Nkind = N_Range);
1704 end Includes_Infinities;
1706 function Inherited_Discriminant
1707 (N : Node_Id) return Boolean is
1709 pragma Assert (False
1710 or else NT (N).Nkind = N_Component_Association);
1712 end Inherited_Discriminant;
1714 function Instance_Spec
1715 (N : Node_Id) return Node_Id is
1717 pragma Assert (False
1718 or else NT (N).Nkind = N_Formal_Package_Declaration
1719 or else NT (N).Nkind = N_Function_Instantiation
1720 or else NT (N).Nkind = N_Package_Instantiation
1721 or else NT (N).Nkind = N_Procedure_Instantiation);
1726 (N : Node_Id) return Uint is
1728 pragma Assert (False
1729 or else NT (N).Nkind = N_Integer_Literal);
1733 function Is_Accessibility_Actual
1734 (N : Node_Id) return Boolean is
1736 pragma Assert (False
1737 or else NT (N).Nkind = N_Parameter_Association);
1739 end Is_Accessibility_Actual;
1741 function Is_Asynchronous_Call_Block
1742 (N : Node_Id) return Boolean is
1744 pragma Assert (False
1745 or else NT (N).Nkind = N_Block_Statement);
1747 end Is_Asynchronous_Call_Block;
1749 function Is_Boolean_Aspect
1750 (N : Node_Id) return Boolean is
1752 pragma Assert (False
1753 or else NT (N).Nkind = N_Aspect_Specification);
1755 end Is_Boolean_Aspect;
1758 (N : Node_Id) return Boolean is
1760 pragma Assert (False
1761 or else NT (N).Nkind = N_Aspect_Specification
1762 or else NT (N).Nkind = N_Pragma);
1766 function Is_Component_Left_Opnd
1767 (N : Node_Id) return Boolean is
1769 pragma Assert (False
1770 or else NT (N).Nkind = N_Op_Concat);
1772 end Is_Component_Left_Opnd;
1774 function Is_Component_Right_Opnd
1775 (N : Node_Id) return Boolean is
1777 pragma Assert (False
1778 or else NT (N).Nkind = N_Op_Concat);
1780 end Is_Component_Right_Opnd;
1782 function Is_Controlling_Actual
1783 (N : Node_Id) return Boolean is
1785 pragma Assert (False
1786 or else NT (N).Nkind in N_Subexpr);
1788 end Is_Controlling_Actual;
1790 function Is_Disabled
1791 (N : Node_Id) return Boolean is
1793 pragma Assert (False
1794 or else NT (N).Nkind = N_Aspect_Specification
1795 or else NT (N).Nkind = N_Pragma);
1799 function Is_Delayed_Aspect
1800 (N : Node_Id) return Boolean is
1802 pragma Assert (False
1803 or else NT (N).Nkind = N_Aspect_Specification
1804 or else NT (N).Nkind = N_Attribute_Definition_Clause
1805 or else NT (N).Nkind = N_Pragma);
1807 end Is_Delayed_Aspect;
1809 function Is_Dynamic_Coextension
1810 (N : Node_Id) return Boolean is
1812 pragma Assert (False
1813 or else NT (N).Nkind = N_Allocator);
1815 end Is_Dynamic_Coextension;
1818 (N : Node_Id) return Boolean is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_If_Expression);
1825 function Is_Entry_Barrier_Function
1826 (N : Node_Id) return Boolean is
1828 pragma Assert (False
1829 or else NT (N).Nkind = N_Subprogram_Body);
1831 end Is_Entry_Barrier_Function;
1833 function Is_Expanded_Build_In_Place_Call
1834 (N : Node_Id) return Boolean is
1836 pragma Assert (False
1837 or else NT (N).Nkind = N_Function_Call);
1839 end Is_Expanded_Build_In_Place_Call;
1841 function Is_Finalization_Wrapper
1842 (N : Node_Id) return Boolean is
1844 pragma Assert (False
1845 or else NT (N).Nkind = N_Block_Statement);
1847 end Is_Finalization_Wrapper;
1849 function Is_Folded_In_Parser
1850 (N : Node_Id) return Boolean is
1852 pragma Assert (False
1853 or else NT (N).Nkind = N_String_Literal);
1855 end Is_Folded_In_Parser;
1858 (N : Node_Id) return Boolean is
1860 pragma Assert (False
1861 or else NT (N).Nkind = N_Aspect_Specification
1862 or else NT (N).Nkind = N_Pragma);
1866 function Is_In_Discriminant_Check
1867 (N : Node_Id) return Boolean is
1869 pragma Assert (False
1870 or else NT (N).Nkind = N_Selected_Component);
1872 end Is_In_Discriminant_Check;
1874 function Is_Machine_Number
1875 (N : Node_Id) return Boolean is
1877 pragma Assert (False
1878 or else NT (N).Nkind = N_Real_Literal);
1880 end Is_Machine_Number;
1882 function Is_Null_Loop
1883 (N : Node_Id) return Boolean is
1885 pragma Assert (False
1886 or else NT (N).Nkind = N_Loop_Statement);
1890 function Is_Overloaded
1891 (N : Node_Id) return Boolean is
1893 pragma Assert (False
1894 or else NT (N).Nkind in N_Subexpr);
1898 function Is_Power_Of_2_For_Shift
1899 (N : Node_Id) return Boolean is
1901 pragma Assert (False
1902 or else NT (N).Nkind = N_Op_Expon);
1904 end Is_Power_Of_2_For_Shift;
1906 function Is_Prefixed_Call
1907 (N : Node_Id) return Boolean is
1909 pragma Assert (False
1910 or else NT (N).Nkind = N_Selected_Component);
1912 end Is_Prefixed_Call;
1914 function Is_Protected_Subprogram_Body
1915 (N : Node_Id) return Boolean is
1917 pragma Assert (False
1918 or else NT (N).Nkind = N_Subprogram_Body);
1920 end Is_Protected_Subprogram_Body;
1922 function Is_Static_Coextension
1923 (N : Node_Id) return Boolean is
1925 pragma Assert (False
1926 or else NT (N).Nkind = N_Allocator);
1928 end Is_Static_Coextension;
1930 function Is_Static_Expression
1931 (N : Node_Id) return Boolean is
1933 pragma Assert (False
1934 or else NT (N).Nkind in N_Subexpr);
1936 end Is_Static_Expression;
1938 function Is_Subprogram_Descriptor
1939 (N : Node_Id) return Boolean is
1941 pragma Assert (False
1942 or else NT (N).Nkind = N_Object_Declaration);
1944 end Is_Subprogram_Descriptor;
1946 function Is_Task_Allocation_Block
1947 (N : Node_Id) return Boolean is
1949 pragma Assert (False
1950 or else NT (N).Nkind = N_Block_Statement);
1952 end Is_Task_Allocation_Block;
1954 function Is_Task_Master
1955 (N : Node_Id) return Boolean is
1957 pragma Assert (False
1958 or else NT (N).Nkind = N_Block_Statement
1959 or else NT (N).Nkind = N_Subprogram_Body
1960 or else NT (N).Nkind = N_Task_Body);
1964 function Iteration_Scheme
1965 (N : Node_Id) return Node_Id is
1967 pragma Assert (False
1968 or else NT (N).Nkind = N_Loop_Statement);
1970 end Iteration_Scheme;
1972 function Iterator_Specification
1973 (N : Node_Id) return Node_Id is
1975 pragma Assert (False
1976 or else NT (N).Nkind = N_Iteration_Scheme
1977 or else NT (N).Nkind = N_Quantified_Expression);
1979 end Iterator_Specification;
1982 (N : Node_Id) return Node_Id is
1984 pragma Assert (False
1985 or else NT (N).Nkind = N_Itype_Reference);
1989 function Kill_Range_Check
1990 (N : Node_Id) return Boolean is
1992 pragma Assert (False
1993 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1995 end Kill_Range_Check;
1997 function Label_Construct
1998 (N : Node_Id) return Node_Id is
2000 pragma Assert (False
2001 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2003 end Label_Construct;
2006 (N : Node_Id) return Node_Id is
2008 pragma Assert (False
2009 or else NT (N).Nkind = N_Component_Clause);
2014 (N : Node_Id) return Boolean is
2016 pragma Assert (False
2017 or else NT (N).Nkind = N_With_Clause);
2022 (N : Node_Id) return Node_Id is
2024 pragma Assert (False
2025 or else NT (N).Nkind = N_And_Then
2026 or else NT (N).Nkind = N_In
2027 or else NT (N).Nkind = N_Not_In
2028 or else NT (N).Nkind = N_Or_Else
2029 or else NT (N).Nkind in N_Binary_Op);
2033 function Library_Unit
2034 (N : Node_Id) return Node_Id is
2036 pragma Assert (False
2037 or else NT (N).Nkind = N_Compilation_Unit
2038 or else NT (N).Nkind = N_Package_Body_Stub
2039 or else NT (N).Nkind = N_Protected_Body_Stub
2040 or else NT (N).Nkind = N_Subprogram_Body_Stub
2041 or else NT (N).Nkind = N_Task_Body_Stub
2042 or else NT (N).Nkind = N_With_Clause);
2046 function Limited_View_Installed
2047 (N : Node_Id) return Boolean is
2049 pragma Assert (False
2050 or else NT (N).Nkind = N_Package_Specification
2051 or else NT (N).Nkind = N_With_Clause);
2053 end Limited_View_Installed;
2055 function Limited_Present
2056 (N : Node_Id) return Boolean is
2058 pragma Assert (False
2059 or else NT (N).Nkind = N_Derived_Type_Definition
2060 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2061 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2062 or else NT (N).Nkind = N_Private_Extension_Declaration
2063 or else NT (N).Nkind = N_Private_Type_Declaration
2064 or else NT (N).Nkind = N_Record_Definition
2065 or else NT (N).Nkind = N_With_Clause);
2067 end Limited_Present;
2070 (N : Node_Id) return List_Id is
2072 pragma Assert (False
2073 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2077 function Local_Raise_Not_OK
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Exception_Handler);
2083 end Local_Raise_Not_OK;
2085 function Local_Raise_Statements
2086 (N : Node_Id) return Elist_Id is
2088 pragma Assert (False
2089 or else NT (N).Nkind = N_Exception_Handler);
2091 end Local_Raise_Statements;
2093 function Loop_Actions
2094 (N : Node_Id) return List_Id is
2096 pragma Assert (False
2097 or else NT (N).Nkind = N_Component_Association);
2101 function Loop_Parameter_Specification
2102 (N : Node_Id) return Node_Id is
2104 pragma Assert (False
2105 or else NT (N).Nkind = N_Iteration_Scheme
2106 or else NT (N).Nkind = N_Quantified_Expression);
2108 end Loop_Parameter_Specification;
2111 (N : Node_Id) return Node_Id is
2113 pragma Assert (False
2114 or else NT (N).Nkind = N_Range
2115 or else NT (N).Nkind = N_Real_Range_Specification
2116 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2121 (N : Node_Id) return Node_Id is
2123 pragma Assert (False
2124 or else NT (N).Nkind = N_Record_Representation_Clause);
2129 (N : Node_Id) return Boolean is
2131 pragma Assert (False
2132 or else NT (N).Nkind = N_Component_Declaration
2133 or else NT (N).Nkind = N_Discriminant_Specification
2134 or else NT (N).Nkind = N_Exception_Declaration
2135 or else NT (N).Nkind = N_Formal_Object_Declaration
2136 or else NT (N).Nkind = N_Number_Declaration
2137 or else NT (N).Nkind = N_Object_Declaration
2138 or else NT (N).Nkind = N_Parameter_Specification);
2142 function Must_Be_Byte_Aligned
2143 (N : Node_Id) return Boolean is
2145 pragma Assert (False
2146 or else NT (N).Nkind = N_Attribute_Reference);
2148 end Must_Be_Byte_Aligned;
2150 function Must_Not_Freeze
2151 (N : Node_Id) return Boolean is
2153 pragma Assert (False
2154 or else NT (N).Nkind = N_Subtype_Indication
2155 or else NT (N).Nkind in N_Subexpr);
2157 end Must_Not_Freeze;
2159 function Must_Not_Override
2160 (N : Node_Id) return Boolean is
2162 pragma Assert (False
2163 or else NT (N).Nkind = N_Entry_Declaration
2164 or else NT (N).Nkind = N_Function_Instantiation
2165 or else NT (N).Nkind = N_Function_Specification
2166 or else NT (N).Nkind = N_Procedure_Instantiation
2167 or else NT (N).Nkind = N_Procedure_Specification);
2169 end Must_Not_Override;
2171 function Must_Override
2172 (N : Node_Id) return Boolean is
2174 pragma Assert (False
2175 or else NT (N).Nkind = N_Entry_Declaration
2176 or else NT (N).Nkind = N_Function_Instantiation
2177 or else NT (N).Nkind = N_Function_Specification
2178 or else NT (N).Nkind = N_Procedure_Instantiation
2179 or else NT (N).Nkind = N_Procedure_Specification);
2184 (N : Node_Id) return Node_Id is
2186 pragma Assert (False
2187 or else NT (N).Nkind = N_Assignment_Statement
2188 or else NT (N).Nkind = N_Attribute_Definition_Clause
2189 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2190 or else NT (N).Nkind = N_Designator
2191 or else NT (N).Nkind = N_Entry_Call_Statement
2192 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2193 or else NT (N).Nkind = N_Exit_Statement
2194 or else NT (N).Nkind = N_Formal_Package_Declaration
2195 or else NT (N).Nkind = N_Function_Call
2196 or else NT (N).Nkind = N_Function_Instantiation
2197 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2198 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2199 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2200 or else NT (N).Nkind = N_Goto_Statement
2201 or else NT (N).Nkind = N_Iterator_Specification
2202 or else NT (N).Nkind = N_Object_Renaming_Declaration
2203 or else NT (N).Nkind = N_Package_Instantiation
2204 or else NT (N).Nkind = N_Package_Renaming_Declaration
2205 or else NT (N).Nkind = N_Procedure_Call_Statement
2206 or else NT (N).Nkind = N_Procedure_Instantiation
2207 or else NT (N).Nkind = N_Raise_Expression
2208 or else NT (N).Nkind = N_Raise_Statement
2209 or else NT (N).Nkind = N_Requeue_Statement
2210 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2211 or else NT (N).Nkind = N_Subunit
2212 or else NT (N).Nkind = N_Variant_Part
2213 or else NT (N).Nkind = N_With_Clause);
2218 (N : Node_Id) return List_Id is
2220 pragma Assert (False
2221 or else NT (N).Nkind = N_Abort_Statement
2222 or else NT (N).Nkind = N_Use_Package_Clause);
2226 function Next_Entity
2227 (N : Node_Id) return Node_Id is
2229 pragma Assert (False
2230 or else NT (N).Nkind = N_Defining_Character_Literal
2231 or else NT (N).Nkind = N_Defining_Identifier
2232 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2236 function Next_Exit_Statement
2237 (N : Node_Id) return Node_Id is
2239 pragma Assert (False
2240 or else NT (N).Nkind = N_Exit_Statement);
2242 end Next_Exit_Statement;
2244 function Next_Implicit_With
2245 (N : Node_Id) return Node_Id is
2247 pragma Assert (False
2248 or else NT (N).Nkind = N_With_Clause);
2250 end Next_Implicit_With;
2252 function Next_Named_Actual
2253 (N : Node_Id) return Node_Id is
2255 pragma Assert (False
2256 or else NT (N).Nkind = N_Parameter_Association);
2258 end Next_Named_Actual;
2260 function Next_Pragma
2261 (N : Node_Id) return Node_Id is
2263 pragma Assert (False
2264 or else NT (N).Nkind = N_Pragma);
2268 function Next_Rep_Item
2269 (N : Node_Id) return Node_Id is
2271 pragma Assert (False
2272 or else NT (N).Nkind = N_Aspect_Specification
2273 or else NT (N).Nkind = N_Attribute_Definition_Clause
2274 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2275 or else NT (N).Nkind = N_Pragma
2276 or else NT (N).Nkind = N_Record_Representation_Clause);
2280 function Next_Use_Clause
2281 (N : Node_Id) return Node_Id is
2283 pragma Assert (False
2284 or else NT (N).Nkind = N_Use_Package_Clause
2285 or else NT (N).Nkind = N_Use_Type_Clause);
2287 end Next_Use_Clause;
2289 function No_Ctrl_Actions
2290 (N : Node_Id) return Boolean is
2292 pragma Assert (False
2293 or else NT (N).Nkind = N_Assignment_Statement);
2295 end No_Ctrl_Actions;
2297 function No_Elaboration_Check
2298 (N : Node_Id) return Boolean is
2300 pragma Assert (False
2301 or else NT (N).Nkind = N_Function_Call
2302 or else NT (N).Nkind = N_Procedure_Call_Statement);
2304 end No_Elaboration_Check;
2306 function No_Entities_Ref_In_Spec
2307 (N : Node_Id) return Boolean is
2309 pragma Assert (False
2310 or else NT (N).Nkind = N_With_Clause);
2312 end No_Entities_Ref_In_Spec;
2314 function No_Initialization
2315 (N : Node_Id) return Boolean is
2317 pragma Assert (False
2318 or else NT (N).Nkind = N_Allocator
2319 or else NT (N).Nkind = N_Object_Declaration);
2321 end No_Initialization;
2323 function No_Minimize_Eliminate
2324 (N : Node_Id) return Boolean is
2326 pragma Assert (False
2327 or else NT (N).Nkind = N_In
2328 or else NT (N).Nkind = N_Not_In);
2330 end No_Minimize_Eliminate;
2332 function No_Truncation
2333 (N : Node_Id) return Boolean is
2335 pragma Assert (False
2336 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2340 function Null_Present
2341 (N : Node_Id) return Boolean is
2343 pragma Assert (False
2344 or else NT (N).Nkind = N_Component_List
2345 or else NT (N).Nkind = N_Procedure_Specification
2346 or else NT (N).Nkind = N_Record_Definition);
2350 function Null_Exclusion_Present
2351 (N : Node_Id) return Boolean is
2353 pragma Assert (False
2354 or else NT (N).Nkind = N_Access_Definition
2355 or else NT (N).Nkind = N_Access_Function_Definition
2356 or else NT (N).Nkind = N_Access_Procedure_Definition
2357 or else NT (N).Nkind = N_Access_To_Object_Definition
2358 or else NT (N).Nkind = N_Allocator
2359 or else NT (N).Nkind = N_Component_Definition
2360 or else NT (N).Nkind = N_Derived_Type_Definition
2361 or else NT (N).Nkind = N_Discriminant_Specification
2362 or else NT (N).Nkind = N_Formal_Object_Declaration
2363 or else NT (N).Nkind = N_Function_Specification
2364 or else NT (N).Nkind = N_Object_Declaration
2365 or else NT (N).Nkind = N_Object_Renaming_Declaration
2366 or else NT (N).Nkind = N_Parameter_Specification
2367 or else NT (N).Nkind = N_Subtype_Declaration);
2369 end Null_Exclusion_Present;
2371 function Null_Exclusion_In_Return_Present
2372 (N : Node_Id) return Boolean is
2374 pragma Assert (False
2375 or else NT (N).Nkind = N_Access_Function_Definition);
2377 end Null_Exclusion_In_Return_Present;
2379 function Null_Record_Present
2380 (N : Node_Id) return Boolean is
2382 pragma Assert (False
2383 or else NT (N).Nkind = N_Aggregate
2384 or else NT (N).Nkind = N_Extension_Aggregate);
2386 end Null_Record_Present;
2388 function Object_Definition
2389 (N : Node_Id) return Node_Id is
2391 pragma Assert (False
2392 or else NT (N).Nkind = N_Object_Declaration);
2394 end Object_Definition;
2397 (N : Node_Id) return Boolean is
2399 pragma Assert (False
2400 or else NT (N).Nkind = N_Iterator_Specification);
2404 function Original_Discriminant
2405 (N : Node_Id) return Node_Id is
2407 pragma Assert (False
2408 or else NT (N).Nkind = N_Identifier);
2410 end Original_Discriminant;
2412 function Original_Entity
2413 (N : Node_Id) return Entity_Id is
2415 pragma Assert (False
2416 or else NT (N).Nkind = N_Integer_Literal
2417 or else NT (N).Nkind = N_Real_Literal);
2419 end Original_Entity;
2421 function Others_Discrete_Choices
2422 (N : Node_Id) return List_Id is
2424 pragma Assert (False
2425 or else NT (N).Nkind = N_Others_Choice);
2427 end Others_Discrete_Choices;
2429 function Out_Present
2430 (N : Node_Id) return Boolean is
2432 pragma Assert (False
2433 or else NT (N).Nkind = N_Formal_Object_Declaration
2434 or else NT (N).Nkind = N_Parameter_Specification);
2438 function Parameter_Associations
2439 (N : Node_Id) return List_Id is
2441 pragma Assert (False
2442 or else NT (N).Nkind = N_Entry_Call_Statement
2443 or else NT (N).Nkind = N_Function_Call
2444 or else NT (N).Nkind = N_Procedure_Call_Statement);
2446 end Parameter_Associations;
2448 function Parameter_List_Truncated
2449 (N : Node_Id) return Boolean is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Function_Call
2453 or else NT (N).Nkind = N_Procedure_Call_Statement);
2455 end Parameter_List_Truncated;
2457 function Parameter_Specifications
2458 (N : Node_Id) return List_Id is
2460 pragma Assert (False
2461 or else NT (N).Nkind = N_Accept_Statement
2462 or else NT (N).Nkind = N_Access_Function_Definition
2463 or else NT (N).Nkind = N_Access_Procedure_Definition
2464 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2465 or else NT (N).Nkind = N_Entry_Declaration
2466 or else NT (N).Nkind = N_Function_Specification
2467 or else NT (N).Nkind = N_Procedure_Specification);
2469 end Parameter_Specifications;
2471 function Parameter_Type
2472 (N : Node_Id) return Node_Id is
2474 pragma Assert (False
2475 or else NT (N).Nkind = N_Parameter_Specification);
2479 function Parent_Spec
2480 (N : Node_Id) return Node_Id is
2482 pragma Assert (False
2483 or else NT (N).Nkind = N_Function_Instantiation
2484 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2485 or else NT (N).Nkind = N_Generic_Package_Declaration
2486 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2487 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2488 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2489 or else NT (N).Nkind = N_Package_Declaration
2490 or else NT (N).Nkind = N_Package_Instantiation
2491 or else NT (N).Nkind = N_Package_Renaming_Declaration
2492 or else NT (N).Nkind = N_Procedure_Instantiation
2493 or else NT (N).Nkind = N_Subprogram_Declaration
2494 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2499 (N : Node_Id) return Node_Id is
2501 pragma Assert (False
2502 or else NT (N).Nkind = N_Component_Clause);
2506 function Pragma_Argument_Associations
2507 (N : Node_Id) return List_Id is
2509 pragma Assert (False
2510 or else NT (N).Nkind = N_Pragma);
2512 end Pragma_Argument_Associations;
2514 function Pragma_Identifier
2515 (N : Node_Id) return Node_Id is
2517 pragma Assert (False
2518 or else NT (N).Nkind = N_Pragma);
2520 end Pragma_Identifier;
2522 function Pragmas_After
2523 (N : Node_Id) return List_Id is
2525 pragma Assert (False
2526 or else NT (N).Nkind = N_Compilation_Unit_Aux
2527 or else NT (N).Nkind = N_Terminate_Alternative);
2531 function Pragmas_Before
2532 (N : Node_Id) return List_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Accept_Alternative
2536 or else NT (N).Nkind = N_Delay_Alternative
2537 or else NT (N).Nkind = N_Entry_Call_Alternative
2538 or else NT (N).Nkind = N_Mod_Clause
2539 or else NT (N).Nkind = N_Terminate_Alternative
2540 or else NT (N).Nkind = N_Triggering_Alternative);
2544 function Pre_Post_Conditions
2545 (N : Node_Id) return Node_Id is
2547 pragma Assert (False
2548 or else NT (N).Nkind = N_Contract);
2550 end Pre_Post_Conditions;
2553 (N : Node_Id) return Node_Id is
2555 pragma Assert (False
2556 or else NT (N).Nkind = N_Attribute_Reference
2557 or else NT (N).Nkind = N_Expanded_Name
2558 or else NT (N).Nkind = N_Explicit_Dereference
2559 or else NT (N).Nkind = N_Indexed_Component
2560 or else NT (N).Nkind = N_Reference
2561 or else NT (N).Nkind = N_Selected_Component
2562 or else NT (N).Nkind = N_Slice);
2566 function Premature_Use
2567 (N : Node_Id) return Node_Id is
2569 pragma Assert (False
2570 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2574 function Present_Expr
2575 (N : Node_Id) return Uint is
2577 pragma Assert (False
2578 or else NT (N).Nkind = N_Variant);
2583 (N : Node_Id) return Boolean is
2585 pragma Assert (False
2586 or else NT (N).Nkind = N_Component_Declaration
2587 or else NT (N).Nkind = N_Discriminant_Specification
2588 or else NT (N).Nkind = N_Exception_Declaration
2589 or else NT (N).Nkind = N_Formal_Object_Declaration
2590 or else NT (N).Nkind = N_Number_Declaration
2591 or else NT (N).Nkind = N_Object_Declaration
2592 or else NT (N).Nkind = N_Parameter_Specification);
2596 function Print_In_Hex
2597 (N : Node_Id) return Boolean is
2599 pragma Assert (False
2600 or else NT (N).Nkind = N_Integer_Literal);
2604 function Private_Declarations
2605 (N : Node_Id) return List_Id is
2607 pragma Assert (False
2608 or else NT (N).Nkind = N_Package_Specification
2609 or else NT (N).Nkind = N_Protected_Definition
2610 or else NT (N).Nkind = N_Task_Definition);
2612 end Private_Declarations;
2614 function Private_Present
2615 (N : Node_Id) return Boolean is
2617 pragma Assert (False
2618 or else NT (N).Nkind = N_Compilation_Unit
2619 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2620 or else NT (N).Nkind = N_With_Clause);
2622 end Private_Present;
2624 function Procedure_To_Call
2625 (N : Node_Id) return Node_Id is
2627 pragma Assert (False
2628 or else NT (N).Nkind = N_Allocator
2629 or else NT (N).Nkind = N_Extended_Return_Statement
2630 or else NT (N).Nkind = N_Free_Statement
2631 or else NT (N).Nkind = N_Simple_Return_Statement);
2633 end Procedure_To_Call;
2635 function Proper_Body
2636 (N : Node_Id) return Node_Id is
2638 pragma Assert (False
2639 or else NT (N).Nkind = N_Subunit);
2643 function Protected_Definition
2644 (N : Node_Id) return Node_Id is
2646 pragma Assert (False
2647 or else NT (N).Nkind = N_Protected_Type_Declaration
2648 or else NT (N).Nkind = N_Single_Protected_Declaration);
2650 end Protected_Definition;
2652 function Protected_Present
2653 (N : Node_Id) return Boolean is
2655 pragma Assert (False
2656 or else NT (N).Nkind = N_Access_Function_Definition
2657 or else NT (N).Nkind = N_Access_Procedure_Definition
2658 or else NT (N).Nkind = N_Derived_Type_Definition
2659 or else NT (N).Nkind = N_Record_Definition);
2661 end Protected_Present;
2663 function Raises_Constraint_Error
2664 (N : Node_Id) return Boolean is
2666 pragma Assert (False
2667 or else NT (N).Nkind in N_Subexpr);
2669 end Raises_Constraint_Error;
2671 function Range_Constraint
2672 (N : Node_Id) return Node_Id is
2674 pragma Assert (False
2675 or else NT (N).Nkind = N_Delta_Constraint
2676 or else NT (N).Nkind = N_Digits_Constraint);
2678 end Range_Constraint;
2680 function Range_Expression
2681 (N : Node_Id) return Node_Id is
2683 pragma Assert (False
2684 or else NT (N).Nkind = N_Range_Constraint);
2686 end Range_Expression;
2688 function Real_Range_Specification
2689 (N : Node_Id) return Node_Id is
2691 pragma Assert (False
2692 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2693 or else NT (N).Nkind = N_Floating_Point_Definition
2694 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2696 end Real_Range_Specification;
2699 (N : Node_Id) return Ureal is
2701 pragma Assert (False
2702 or else NT (N).Nkind = N_Real_Literal);
2707 (N : Node_Id) return Uint is
2709 pragma Assert (False
2710 or else NT (N).Nkind = N_Raise_Constraint_Error
2711 or else NT (N).Nkind = N_Raise_Program_Error
2712 or else NT (N).Nkind = N_Raise_Storage_Error);
2716 function Record_Extension_Part
2717 (N : Node_Id) return Node_Id is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_Derived_Type_Definition);
2722 end Record_Extension_Part;
2724 function Redundant_Use
2725 (N : Node_Id) return Boolean is
2727 pragma Assert (False
2728 or else NT (N).Nkind = N_Attribute_Reference
2729 or else NT (N).Nkind = N_Expanded_Name
2730 or else NT (N).Nkind = N_Identifier);
2734 function Renaming_Exception
2735 (N : Node_Id) return Node_Id is
2737 pragma Assert (False
2738 or else NT (N).Nkind = N_Exception_Declaration);
2740 end Renaming_Exception;
2742 function Result_Definition
2743 (N : Node_Id) return Node_Id is
2745 pragma Assert (False
2746 or else NT (N).Nkind = N_Access_Function_Definition
2747 or else NT (N).Nkind = N_Function_Specification);
2749 end Result_Definition;
2751 function Return_Object_Declarations
2752 (N : Node_Id) return List_Id is
2754 pragma Assert (False
2755 or else NT (N).Nkind = N_Extended_Return_Statement);
2757 end Return_Object_Declarations;
2759 function Return_Statement_Entity
2760 (N : Node_Id) return Node_Id is
2762 pragma Assert (False
2763 or else NT (N).Nkind = N_Extended_Return_Statement
2764 or else NT (N).Nkind = N_Simple_Return_Statement);
2766 end Return_Statement_Entity;
2768 function Reverse_Present
2769 (N : Node_Id) return Boolean is
2771 pragma Assert (False
2772 or else NT (N).Nkind = N_Iterator_Specification
2773 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2775 end Reverse_Present;
2778 (N : Node_Id) return Node_Id is
2780 pragma Assert (False
2781 or else NT (N).Nkind in N_Op
2782 or else NT (N).Nkind = N_And_Then
2783 or else NT (N).Nkind = N_In
2784 or else NT (N).Nkind = N_Not_In
2785 or else NT (N).Nkind = N_Or_Else);
2789 function Rounded_Result
2790 (N : Node_Id) return Boolean is
2792 pragma Assert (False
2793 or else NT (N).Nkind = N_Op_Divide
2794 or else NT (N).Nkind = N_Op_Multiply
2795 or else NT (N).Nkind = N_Type_Conversion);
2799 function SCIL_Controlling_Tag
2800 (N : Node_Id) return Node_Id is
2802 pragma Assert (False
2803 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2805 end SCIL_Controlling_Tag;
2807 function SCIL_Entity
2808 (N : Node_Id) return Node_Id is
2810 pragma Assert (False
2811 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2812 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2813 or else NT (N).Nkind = N_SCIL_Membership_Test);
2817 function SCIL_Tag_Value
2818 (N : Node_Id) return Node_Id is
2820 pragma Assert (False
2821 or else NT (N).Nkind = N_SCIL_Membership_Test);
2825 function SCIL_Target_Prim
2826 (N : Node_Id) return Node_Id is
2828 pragma Assert (False
2829 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2831 end SCIL_Target_Prim;
2834 (N : Node_Id) return Node_Id is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_Defining_Character_Literal
2838 or else NT (N).Nkind = N_Defining_Identifier
2839 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2843 function Select_Alternatives
2844 (N : Node_Id) return List_Id is
2846 pragma Assert (False
2847 or else NT (N).Nkind = N_Selective_Accept);
2849 end Select_Alternatives;
2851 function Selector_Name
2852 (N : Node_Id) return Node_Id is
2854 pragma Assert (False
2855 or else NT (N).Nkind = N_Expanded_Name
2856 or else NT (N).Nkind = N_Generic_Association
2857 or else NT (N).Nkind = N_Parameter_Association
2858 or else NT (N).Nkind = N_Selected_Component);
2862 function Selector_Names
2863 (N : Node_Id) return List_Id is
2865 pragma Assert (False
2866 or else NT (N).Nkind = N_Discriminant_Association);
2870 function Shift_Count_OK
2871 (N : Node_Id) return Boolean is
2873 pragma Assert (False
2874 or else NT (N).Nkind = N_Op_Rotate_Left
2875 or else NT (N).Nkind = N_Op_Rotate_Right
2876 or else NT (N).Nkind = N_Op_Shift_Left
2877 or else NT (N).Nkind = N_Op_Shift_Right
2878 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2882 function Source_Type
2883 (N : Node_Id) return Entity_Id is
2885 pragma Assert (False
2886 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2890 function Specification
2891 (N : Node_Id) return Node_Id is
2893 pragma Assert (False
2894 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2895 or else NT (N).Nkind = N_Expression_Function
2896 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2897 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2898 or else NT (N).Nkind = N_Generic_Package_Declaration
2899 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2900 or else NT (N).Nkind = N_Package_Declaration
2901 or else NT (N).Nkind = N_Subprogram_Body
2902 or else NT (N).Nkind = N_Subprogram_Body_Stub
2903 or else NT (N).Nkind = N_Subprogram_Declaration
2904 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2909 (N : Node_Id) return Boolean is
2911 pragma Assert (False
2912 or else NT (N).Nkind = N_Aspect_Specification
2913 or else NT (N).Nkind = N_Pragma);
2918 (N : Node_Id) return List_Id is
2920 pragma Assert (False
2921 or else NT (N).Nkind = N_Abortable_Part
2922 or else NT (N).Nkind = N_Accept_Alternative
2923 or else NT (N).Nkind = N_Case_Statement_Alternative
2924 or else NT (N).Nkind = N_Delay_Alternative
2925 or else NT (N).Nkind = N_Entry_Call_Alternative
2926 or else NT (N).Nkind = N_Exception_Handler
2927 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2928 or else NT (N).Nkind = N_Loop_Statement
2929 or else NT (N).Nkind = N_Triggering_Alternative);
2933 function Storage_Pool
2934 (N : Node_Id) return Node_Id is
2936 pragma Assert (False
2937 or else NT (N).Nkind = N_Allocator
2938 or else NT (N).Nkind = N_Extended_Return_Statement
2939 or else NT (N).Nkind = N_Free_Statement
2940 or else NT (N).Nkind = N_Simple_Return_Statement);
2944 function Subpool_Handle_Name
2945 (N : Node_Id) return Node_Id is
2947 pragma Assert (False
2948 or else NT (N).Nkind = N_Allocator);
2950 end Subpool_Handle_Name;
2953 (N : Node_Id) return String_Id is
2955 pragma Assert (False
2956 or else NT (N).Nkind = N_Operator_Symbol
2957 or else NT (N).Nkind = N_String_Literal);
2961 function Subtype_Indication
2962 (N : Node_Id) return Node_Id is
2964 pragma Assert (False
2965 or else NT (N).Nkind = N_Access_To_Object_Definition
2966 or else NT (N).Nkind = N_Component_Definition
2967 or else NT (N).Nkind = N_Derived_Type_Definition
2968 or else NT (N).Nkind = N_Iterator_Specification
2969 or else NT (N).Nkind = N_Private_Extension_Declaration
2970 or else NT (N).Nkind = N_Subtype_Declaration);
2972 end Subtype_Indication;
2974 function Suppress_Assignment_Checks
2975 (N : Node_Id) return Boolean is
2977 pragma Assert (False
2978 or else NT (N).Nkind = N_Assignment_Statement
2979 or else NT (N).Nkind = N_Object_Declaration);
2981 end Suppress_Assignment_Checks;
2983 function Suppress_Loop_Warnings
2984 (N : Node_Id) return Boolean is
2986 pragma Assert (False
2987 or else NT (N).Nkind = N_Loop_Statement);
2989 end Suppress_Loop_Warnings;
2991 function Subtype_Mark
2992 (N : Node_Id) return Node_Id is
2994 pragma Assert (False
2995 or else NT (N).Nkind = N_Access_Definition
2996 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2997 or else NT (N).Nkind = N_Formal_Object_Declaration
2998 or else NT (N).Nkind = N_Object_Renaming_Declaration
2999 or else NT (N).Nkind = N_Qualified_Expression
3000 or else NT (N).Nkind = N_Subtype_Indication
3001 or else NT (N).Nkind = N_Type_Conversion
3002 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3006 function Subtype_Marks
3007 (N : Node_Id) return List_Id is
3009 pragma Assert (False
3010 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3011 or else NT (N).Nkind = N_Use_Type_Clause);
3015 function Synchronized_Present
3016 (N : Node_Id) return Boolean is
3018 pragma Assert (False
3019 or else NT (N).Nkind = N_Derived_Type_Definition
3020 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3021 or else NT (N).Nkind = N_Private_Extension_Declaration
3022 or else NT (N).Nkind = N_Record_Definition);
3024 end Synchronized_Present;
3026 function Tagged_Present
3027 (N : Node_Id) return Boolean is
3029 pragma Assert (False
3030 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3031 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3032 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3033 or else NT (N).Nkind = N_Private_Type_Declaration
3034 or else NT (N).Nkind = N_Record_Definition);
3038 function Target_Type
3039 (N : Node_Id) return Entity_Id is
3041 pragma Assert (False
3042 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3046 function Task_Definition
3047 (N : Node_Id) return Node_Id is
3049 pragma Assert (False
3050 or else NT (N).Nkind = N_Single_Task_Declaration
3051 or else NT (N).Nkind = N_Task_Type_Declaration);
3053 end Task_Definition;
3055 function Task_Present
3056 (N : Node_Id) return Boolean is
3058 pragma Assert (False
3059 or else NT (N).Nkind = N_Derived_Type_Definition
3060 or else NT (N).Nkind = N_Record_Definition);
3064 function Then_Actions
3065 (N : Node_Id) return List_Id is
3067 pragma Assert (False
3068 or else NT (N).Nkind = N_If_Expression);
3072 function Then_Statements
3073 (N : Node_Id) return List_Id is
3075 pragma Assert (False
3076 or else NT (N).Nkind = N_Elsif_Part
3077 or else NT (N).Nkind = N_If_Statement);
3079 end Then_Statements;
3081 function Treat_Fixed_As_Integer
3082 (N : Node_Id) return Boolean is
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Op_Divide
3086 or else NT (N).Nkind = N_Op_Mod
3087 or else NT (N).Nkind = N_Op_Multiply
3088 or else NT (N).Nkind = N_Op_Rem);
3090 end Treat_Fixed_As_Integer;
3092 function Triggering_Alternative
3093 (N : Node_Id) return Node_Id is
3095 pragma Assert (False
3096 or else NT (N).Nkind = N_Asynchronous_Select);
3098 end Triggering_Alternative;
3100 function Triggering_Statement
3101 (N : Node_Id) return Node_Id is
3103 pragma Assert (False
3104 or else NT (N).Nkind = N_Triggering_Alternative);
3106 end Triggering_Statement;
3109 (N : Node_Id) return Elist_Id is
3111 pragma Assert (False
3112 or else NT (N).Nkind = N_Freeze_Entity);
3116 function Type_Definition
3117 (N : Node_Id) return Node_Id is
3119 pragma Assert (False
3120 or else NT (N).Nkind = N_Full_Type_Declaration);
3122 end Type_Definition;
3125 (N : Node_Id) return Node_Id is
3127 pragma Assert (False
3128 or else NT (N).Nkind = N_Compilation_Unit);
3132 function Unknown_Discriminants_Present
3133 (N : Node_Id) return Boolean is
3135 pragma Assert (False
3136 or else NT (N).Nkind = N_Formal_Type_Declaration
3137 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3138 or else NT (N).Nkind = N_Private_Extension_Declaration
3139 or else NT (N).Nkind = N_Private_Type_Declaration);
3141 end Unknown_Discriminants_Present;
3143 function Unreferenced_In_Spec
3144 (N : Node_Id) return Boolean is
3146 pragma Assert (False
3147 or else NT (N).Nkind = N_With_Clause);
3149 end Unreferenced_In_Spec;
3151 function Variant_Part
3152 (N : Node_Id) return Node_Id is
3154 pragma Assert (False
3155 or else NT (N).Nkind = N_Component_List);
3160 (N : Node_Id) return List_Id is
3162 pragma Assert (False
3163 or else NT (N).Nkind = N_Variant_Part);
3167 function Visible_Declarations
3168 (N : Node_Id) return List_Id is
3170 pragma Assert (False
3171 or else NT (N).Nkind = N_Package_Specification
3172 or else NT (N).Nkind = N_Protected_Definition
3173 or else NT (N).Nkind = N_Task_Definition);
3175 end Visible_Declarations;
3177 function Used_Operations
3178 (N : Node_Id) return Elist_Id is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Use_Type_Clause);
3183 end Used_Operations;
3185 function Was_Originally_Stub
3186 (N : Node_Id) return Boolean is
3188 pragma Assert (False
3189 or else NT (N).Nkind = N_Package_Body
3190 or else NT (N).Nkind = N_Protected_Body
3191 or else NT (N).Nkind = N_Subprogram_Body
3192 or else NT (N).Nkind = N_Task_Body);
3194 end Was_Originally_Stub;
3196 function Withed_Body
3197 (N : Node_Id) return Node_Id is
3199 pragma Assert (False
3200 or else NT (N).Nkind = N_With_Clause);
3204 --------------------------
3205 -- Field Set Procedures --
3206 --------------------------
3208 procedure Set_ABE_Is_Certain
3209 (N : Node_Id; Val : Boolean := True) is
3211 pragma Assert (False
3212 or else NT (N).Nkind = N_Formal_Package_Declaration
3213 or else NT (N).Nkind = N_Function_Call
3214 or else NT (N).Nkind = N_Function_Instantiation
3215 or else NT (N).Nkind = N_Package_Instantiation
3216 or else NT (N).Nkind = N_Procedure_Call_Statement
3217 or else NT (N).Nkind = N_Procedure_Instantiation);
3218 Set_Flag18 (N, Val);
3219 end Set_ABE_Is_Certain;
3221 procedure Set_Abort_Present
3222 (N : Node_Id; Val : Boolean := True) is
3224 pragma Assert (False
3225 or else NT (N).Nkind = N_Requeue_Statement);
3226 Set_Flag15 (N, Val);
3227 end Set_Abort_Present;
3229 procedure Set_Abortable_Part
3230 (N : Node_Id; Val : Node_Id) is
3232 pragma Assert (False
3233 or else NT (N).Nkind = N_Asynchronous_Select);
3234 Set_Node2_With_Parent (N, Val);
3235 end Set_Abortable_Part;
3237 procedure Set_Abstract_Present
3238 (N : Node_Id; Val : Boolean := True) is
3240 pragma Assert (False
3241 or else NT (N).Nkind = N_Derived_Type_Definition
3242 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3243 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3244 or else NT (N).Nkind = N_Private_Extension_Declaration
3245 or else NT (N).Nkind = N_Private_Type_Declaration
3246 or else NT (N).Nkind = N_Record_Definition);
3248 end Set_Abstract_Present;
3250 procedure Set_Accept_Handler_Records
3251 (N : Node_Id; Val : List_Id) is
3253 pragma Assert (False
3254 or else NT (N).Nkind = N_Accept_Alternative);
3255 Set_List5 (N, Val); -- semantic field, no parent set
3256 end Set_Accept_Handler_Records;
3258 procedure Set_Accept_Statement
3259 (N : Node_Id; Val : Node_Id) is
3261 pragma Assert (False
3262 or else NT (N).Nkind = N_Accept_Alternative);
3263 Set_Node2_With_Parent (N, Val);
3264 end Set_Accept_Statement;
3266 procedure Set_Access_Definition
3267 (N : Node_Id; Val : Node_Id) is
3269 pragma Assert (False
3270 or else NT (N).Nkind = N_Component_Definition
3271 or else NT (N).Nkind = N_Formal_Object_Declaration
3272 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3273 Set_Node3_With_Parent (N, Val);
3274 end Set_Access_Definition;
3276 procedure Set_Access_To_Subprogram_Definition
3277 (N : Node_Id; Val : Node_Id) is
3279 pragma Assert (False
3280 or else NT (N).Nkind = N_Access_Definition);
3281 Set_Node3_With_Parent (N, Val);
3282 end Set_Access_To_Subprogram_Definition;
3284 procedure Set_Access_Types_To_Process
3285 (N : Node_Id; Val : Elist_Id) is
3287 pragma Assert (False
3288 or else NT (N).Nkind = N_Freeze_Entity);
3289 Set_Elist2 (N, Val); -- semantic field, no parent set
3290 end Set_Access_Types_To_Process;
3292 procedure Set_Actions
3293 (N : Node_Id; Val : List_Id) is
3295 pragma Assert (False
3296 or else NT (N).Nkind = N_And_Then
3297 or else NT (N).Nkind = N_Case_Expression_Alternative
3298 or else NT (N).Nkind = N_Compilation_Unit_Aux
3299 or else NT (N).Nkind = N_Expression_With_Actions
3300 or else NT (N).Nkind = N_Freeze_Entity
3301 or else NT (N).Nkind = N_Or_Else);
3302 Set_List1_With_Parent (N, Val);
3305 procedure Set_Activation_Chain_Entity
3306 (N : Node_Id; Val : Node_Id) is
3308 pragma Assert (False
3309 or else NT (N).Nkind = N_Block_Statement
3310 or else NT (N).Nkind = N_Entry_Body
3311 or else NT (N).Nkind = N_Generic_Package_Declaration
3312 or else NT (N).Nkind = N_Package_Declaration
3313 or else NT (N).Nkind = N_Subprogram_Body
3314 or else NT (N).Nkind = N_Task_Body);
3315 Set_Node3 (N, Val); -- semantic field, no parent set
3316 end Set_Activation_Chain_Entity;
3318 procedure Set_Acts_As_Spec
3319 (N : Node_Id; Val : Boolean := True) is
3321 pragma Assert (False
3322 or else NT (N).Nkind = N_Compilation_Unit
3323 or else NT (N).Nkind = N_Subprogram_Body);
3325 end Set_Acts_As_Spec;
3327 procedure Set_Actual_Designated_Subtype
3328 (N : Node_Id; Val : Node_Id) is
3330 pragma Assert (False
3331 or else NT (N).Nkind = N_Explicit_Dereference
3332 or else NT (N).Nkind = N_Free_Statement);
3334 end Set_Actual_Designated_Subtype;
3336 procedure Set_Address_Warning_Posted
3337 (N : Node_Id; Val : Boolean := True) is
3339 pragma Assert (False
3340 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3341 Set_Flag18 (N, Val);
3342 end Set_Address_Warning_Posted;
3344 procedure Set_Aggregate_Bounds
3345 (N : Node_Id; Val : Node_Id) is
3347 pragma Assert (False
3348 or else NT (N).Nkind = N_Aggregate);
3349 Set_Node3 (N, Val); -- semantic field, no parent set
3350 end Set_Aggregate_Bounds;
3352 procedure Set_Aliased_Present
3353 (N : Node_Id; Val : Boolean := True) is
3355 pragma Assert (False
3356 or else NT (N).Nkind = N_Component_Definition
3357 or else NT (N).Nkind = N_Object_Declaration
3358 or else NT (N).Nkind = N_Parameter_Specification);
3360 end Set_Aliased_Present;
3362 procedure Set_All_Others
3363 (N : Node_Id; Val : Boolean := True) is
3365 pragma Assert (False
3366 or else NT (N).Nkind = N_Others_Choice);
3367 Set_Flag11 (N, Val);
3370 procedure Set_All_Present
3371 (N : Node_Id; Val : Boolean := True) is
3373 pragma Assert (False
3374 or else NT (N).Nkind = N_Access_Definition
3375 or else NT (N).Nkind = N_Access_To_Object_Definition
3376 or else NT (N).Nkind = N_Quantified_Expression
3377 or else NT (N).Nkind = N_Use_Type_Clause);
3378 Set_Flag15 (N, Val);
3379 end Set_All_Present;
3381 procedure Set_Alternatives
3382 (N : Node_Id; Val : List_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Case_Expression
3386 or else NT (N).Nkind = N_Case_Statement
3387 or else NT (N).Nkind = N_In
3388 or else NT (N).Nkind = N_Not_In);
3389 Set_List4_With_Parent (N, Val);
3390 end Set_Alternatives;
3392 procedure Set_Ancestor_Part
3393 (N : Node_Id; Val : Node_Id) is
3395 pragma Assert (False
3396 or else NT (N).Nkind = N_Extension_Aggregate);
3397 Set_Node3_With_Parent (N, Val);
3398 end Set_Ancestor_Part;
3400 procedure Set_Atomic_Sync_Required
3401 (N : Node_Id; Val : Boolean := True) is
3403 pragma Assert (False
3404 or else NT (N).Nkind = N_Expanded_Name
3405 or else NT (N).Nkind = N_Explicit_Dereference
3406 or else NT (N).Nkind = N_Identifier
3407 or else NT (N).Nkind = N_Indexed_Component
3408 or else NT (N).Nkind = N_Selected_Component);
3409 Set_Flag14 (N, Val);
3410 end Set_Atomic_Sync_Required;
3412 procedure Set_Array_Aggregate
3413 (N : Node_Id; Val : Node_Id) is
3415 pragma Assert (False
3416 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3417 Set_Node3_With_Parent (N, Val);
3418 end Set_Array_Aggregate;
3420 procedure Set_Aspect_Rep_Item
3421 (N : Node_Id; Val : Node_Id) is
3423 pragma Assert (False
3424 or else NT (N).Nkind = N_Aspect_Specification);
3426 end Set_Aspect_Rep_Item;
3428 procedure Set_Assignment_OK
3429 (N : Node_Id; Val : Boolean := True) is
3431 pragma Assert (False
3432 or else NT (N).Nkind = N_Object_Declaration
3433 or else NT (N).Nkind in N_Subexpr);
3434 Set_Flag15 (N, Val);
3435 end Set_Assignment_OK;
3437 procedure Set_Associated_Node
3438 (N : Node_Id; Val : Node_Id) is
3440 pragma Assert (False
3441 or else NT (N).Nkind in N_Has_Entity
3442 or else NT (N).Nkind = N_Aggregate
3443 or else NT (N).Nkind = N_Extension_Aggregate
3444 or else NT (N).Nkind = N_Selected_Component);
3445 Set_Node4 (N, Val); -- semantic field, no parent set
3446 end Set_Associated_Node;
3448 procedure Set_At_End_Proc
3449 (N : Node_Id; Val : Node_Id) is
3451 pragma Assert (False
3452 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3454 end Set_At_End_Proc;
3456 procedure Set_Attribute_Name
3457 (N : Node_Id; Val : Name_Id) is
3459 pragma Assert (False
3460 or else NT (N).Nkind = N_Attribute_Reference);
3462 end Set_Attribute_Name;
3464 procedure Set_Aux_Decls_Node
3465 (N : Node_Id; Val : Node_Id) is
3467 pragma Assert (False
3468 or else NT (N).Nkind = N_Compilation_Unit);
3469 Set_Node5_With_Parent (N, Val);
3470 end Set_Aux_Decls_Node;
3472 procedure Set_Backwards_OK
3473 (N : Node_Id; Val : Boolean := True) is
3475 pragma Assert (False
3476 or else NT (N).Nkind = N_Assignment_Statement);
3478 end Set_Backwards_OK;
3480 procedure Set_Bad_Is_Detected
3481 (N : Node_Id; Val : Boolean := True) is
3483 pragma Assert (False
3484 or else NT (N).Nkind = N_Subprogram_Body);
3485 Set_Flag15 (N, Val);
3486 end Set_Bad_Is_Detected;
3488 procedure Set_Body_Required
3489 (N : Node_Id; Val : Boolean := True) is
3491 pragma Assert (False
3492 or else NT (N).Nkind = N_Compilation_Unit);
3493 Set_Flag13 (N, Val);
3494 end Set_Body_Required;
3496 procedure Set_Body_To_Inline
3497 (N : Node_Id; Val : Node_Id) is
3499 pragma Assert (False
3500 or else NT (N).Nkind = N_Subprogram_Declaration);
3502 end Set_Body_To_Inline;
3504 procedure Set_Box_Present
3505 (N : Node_Id; Val : Boolean := True) is
3507 pragma Assert (False
3508 or else NT (N).Nkind = N_Component_Association
3509 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3510 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3511 or else NT (N).Nkind = N_Formal_Package_Declaration
3512 or else NT (N).Nkind = N_Generic_Association);
3513 Set_Flag15 (N, Val);
3514 end Set_Box_Present;
3516 procedure Set_By_Ref
3517 (N : Node_Id; Val : Boolean := True) is
3519 pragma Assert (False
3520 or else NT (N).Nkind = N_Extended_Return_Statement
3521 or else NT (N).Nkind = N_Simple_Return_Statement);
3525 procedure Set_Char_Literal_Value
3526 (N : Node_Id; Val : Uint) is
3528 pragma Assert (False
3529 or else NT (N).Nkind = N_Character_Literal);
3531 end Set_Char_Literal_Value;
3534 (N : Node_Id; Val : Name_Id) is
3536 pragma Assert (False
3537 or else NT (N).Nkind in N_Has_Chars);
3541 procedure Set_Check_Address_Alignment
3542 (N : Node_Id; Val : Boolean := True) is
3544 pragma Assert (False
3545 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3546 Set_Flag11 (N, Val);
3547 end Set_Check_Address_Alignment;
3549 procedure Set_Choice_Parameter
3550 (N : Node_Id; Val : Node_Id) is
3552 pragma Assert (False
3553 or else NT (N).Nkind = N_Exception_Handler);
3554 Set_Node2_With_Parent (N, Val);
3555 end Set_Choice_Parameter;
3557 procedure Set_Choices
3558 (N : Node_Id; Val : List_Id) is
3560 pragma Assert (False
3561 or else NT (N).Nkind = N_Component_Association);
3562 Set_List1_With_Parent (N, Val);
3565 procedure Set_Class_Present
3566 (N : Node_Id; Val : Boolean := True) is
3568 pragma Assert (False
3569 or else NT (N).Nkind = N_Aspect_Specification
3570 or else NT (N).Nkind = N_Pragma);
3572 end Set_Class_Present;
3574 procedure Set_Classifications
3575 (N : Node_Id; Val : Node_Id) is
3577 pragma Assert (False
3578 or else NT (N).Nkind = N_Contract);
3579 Set_Node3 (N, Val); -- semantic field, no parent set
3580 end Set_Classifications;
3582 procedure Set_Comes_From_Extended_Return_Statement
3583 (N : Node_Id; Val : Boolean := True) is
3585 pragma Assert (False
3586 or else NT (N).Nkind = N_Simple_Return_Statement);
3587 Set_Flag18 (N, Val);
3588 end Set_Comes_From_Extended_Return_Statement;
3590 procedure Set_Compile_Time_Known_Aggregate
3591 (N : Node_Id; Val : Boolean := True) is
3593 pragma Assert (False
3594 or else NT (N).Nkind = N_Aggregate);
3595 Set_Flag18 (N, Val);
3596 end Set_Compile_Time_Known_Aggregate;
3598 procedure Set_Component_Associations
3599 (N : Node_Id; Val : List_Id) is
3601 pragma Assert (False
3602 or else NT (N).Nkind = N_Aggregate
3603 or else NT (N).Nkind = N_Extension_Aggregate);
3604 Set_List2_With_Parent (N, Val);
3605 end Set_Component_Associations;
3607 procedure Set_Component_Clauses
3608 (N : Node_Id; Val : List_Id) is
3610 pragma Assert (False
3611 or else NT (N).Nkind = N_Record_Representation_Clause);
3612 Set_List3_With_Parent (N, Val);
3613 end Set_Component_Clauses;
3615 procedure Set_Component_Definition
3616 (N : Node_Id; Val : Node_Id) is
3618 pragma Assert (False
3619 or else NT (N).Nkind = N_Component_Declaration
3620 or else NT (N).Nkind = N_Constrained_Array_Definition
3621 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3622 Set_Node4_With_Parent (N, Val);
3623 end Set_Component_Definition;
3625 procedure Set_Component_Items
3626 (N : Node_Id; Val : List_Id) is
3628 pragma Assert (False
3629 or else NT (N).Nkind = N_Component_List);
3630 Set_List3_With_Parent (N, Val);
3631 end Set_Component_Items;
3633 procedure Set_Component_List
3634 (N : Node_Id; Val : Node_Id) is
3636 pragma Assert (False
3637 or else NT (N).Nkind = N_Record_Definition
3638 or else NT (N).Nkind = N_Variant);
3639 Set_Node1_With_Parent (N, Val);
3640 end Set_Component_List;
3642 procedure Set_Component_Name
3643 (N : Node_Id; Val : Node_Id) is
3645 pragma Assert (False
3646 or else NT (N).Nkind = N_Component_Clause);
3647 Set_Node1_With_Parent (N, Val);
3648 end Set_Component_Name;
3650 procedure Set_Componentwise_Assignment
3651 (N : Node_Id; Val : Boolean := True) is
3653 pragma Assert (False
3654 or else NT (N).Nkind = N_Assignment_Statement);
3655 Set_Flag14 (N, Val);
3656 end Set_Componentwise_Assignment;
3658 procedure Set_Condition
3659 (N : Node_Id; Val : Node_Id) is
3661 pragma Assert (False
3662 or else NT (N).Nkind = N_Accept_Alternative
3663 or else NT (N).Nkind = N_Delay_Alternative
3664 or else NT (N).Nkind = N_Elsif_Part
3665 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3666 or else NT (N).Nkind = N_Exit_Statement
3667 or else NT (N).Nkind = N_If_Statement
3668 or else NT (N).Nkind = N_Iteration_Scheme
3669 or else NT (N).Nkind = N_Quantified_Expression
3670 or else NT (N).Nkind = N_Raise_Constraint_Error
3671 or else NT (N).Nkind = N_Raise_Program_Error
3672 or else NT (N).Nkind = N_Raise_Storage_Error
3673 or else NT (N).Nkind = N_Terminate_Alternative);
3674 Set_Node1_With_Parent (N, Val);
3677 procedure Set_Condition_Actions
3678 (N : Node_Id; Val : List_Id) is
3680 pragma Assert (False
3681 or else NT (N).Nkind = N_Elsif_Part
3682 or else NT (N).Nkind = N_Iteration_Scheme);
3683 Set_List3 (N, Val); -- semantic field, no parent set
3684 end Set_Condition_Actions;
3686 procedure Set_Config_Pragmas
3687 (N : Node_Id; Val : List_Id) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3691 Set_List4_With_Parent (N, Val);
3692 end Set_Config_Pragmas;
3694 procedure Set_Constant_Present
3695 (N : Node_Id; Val : Boolean := True) is
3697 pragma Assert (False
3698 or else NT (N).Nkind = N_Access_Definition
3699 or else NT (N).Nkind = N_Access_To_Object_Definition
3700 or else NT (N).Nkind = N_Object_Declaration);
3701 Set_Flag17 (N, Val);
3702 end Set_Constant_Present;
3704 procedure Set_Constraint
3705 (N : Node_Id; Val : Node_Id) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Subtype_Indication);
3709 Set_Node3_With_Parent (N, Val);
3712 procedure Set_Constraints
3713 (N : Node_Id; Val : List_Id) is
3715 pragma Assert (False
3716 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3717 Set_List1_With_Parent (N, Val);
3718 end Set_Constraints;
3720 procedure Set_Context_Installed
3721 (N : Node_Id; Val : Boolean := True) is
3723 pragma Assert (False
3724 or else NT (N).Nkind = N_With_Clause);
3725 Set_Flag13 (N, Val);
3726 end Set_Context_Installed;
3728 procedure Set_Context_Items
3729 (N : Node_Id; Val : List_Id) is
3731 pragma Assert (False
3732 or else NT (N).Nkind = N_Compilation_Unit);
3733 Set_List1_With_Parent (N, Val);
3734 end Set_Context_Items;
3736 procedure Set_Context_Pending
3737 (N : Node_Id; Val : Boolean := True) is
3739 pragma Assert (False
3740 or else NT (N).Nkind = N_Compilation_Unit);
3741 Set_Flag16 (N, Val);
3742 end Set_Context_Pending;
3744 procedure Set_Contract_Test_Cases
3745 (N : Node_Id; Val : Node_Id) is
3747 pragma Assert (False
3748 or else NT (N).Nkind = N_Contract);
3749 Set_Node2 (N, Val); -- semantic field, no parent set
3750 end Set_Contract_Test_Cases;
3752 procedure Set_Controlling_Argument
3753 (N : Node_Id; Val : Node_Id) is
3755 pragma Assert (False
3756 or else NT (N).Nkind = N_Function_Call
3757 or else NT (N).Nkind = N_Procedure_Call_Statement);
3758 Set_Node1 (N, Val); -- semantic field, no parent set
3759 end Set_Controlling_Argument;
3761 procedure Set_Conversion_OK
3762 (N : Node_Id; Val : Boolean := True) is
3764 pragma Assert (False
3765 or else NT (N).Nkind = N_Type_Conversion);
3766 Set_Flag14 (N, Val);
3767 end Set_Conversion_OK;
3769 procedure Set_Convert_To_Return_False
3770 (N : Node_Id; Val : Boolean := True) is
3772 pragma Assert (False
3773 or else NT (N).Nkind = N_Raise_Expression);
3774 Set_Flag13 (N, Val);
3775 end Set_Convert_To_Return_False;
3777 procedure Set_Corresponding_Aspect
3778 (N : Node_Id; Val : Node_Id) is
3780 pragma Assert (False
3781 or else NT (N).Nkind = N_Pragma);
3783 end Set_Corresponding_Aspect;
3785 procedure Set_Corresponding_Body
3786 (N : Node_Id; Val : Node_Id) is
3788 pragma Assert (False
3789 or else NT (N).Nkind = N_Entry_Declaration
3790 or else NT (N).Nkind = N_Generic_Package_Declaration
3791 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3792 or else NT (N).Nkind = N_Package_Body_Stub
3793 or else NT (N).Nkind = N_Package_Declaration
3794 or else NT (N).Nkind = N_Protected_Body_Stub
3795 or else NT (N).Nkind = N_Protected_Type_Declaration
3796 or else NT (N).Nkind = N_Subprogram_Body_Stub
3797 or else NT (N).Nkind = N_Subprogram_Declaration
3798 or else NT (N).Nkind = N_Task_Body_Stub
3799 or else NT (N).Nkind = N_Task_Type_Declaration);
3800 Set_Node5 (N, Val); -- semantic field, no parent set
3801 end Set_Corresponding_Body;
3803 procedure Set_Corresponding_Formal_Spec
3804 (N : Node_Id; Val : Node_Id) is
3806 pragma Assert (False
3807 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3808 Set_Node3 (N, Val); -- semantic field, no parent set
3809 end Set_Corresponding_Formal_Spec;
3811 procedure Set_Corresponding_Generic_Association
3812 (N : Node_Id; Val : Node_Id) is
3814 pragma Assert (False
3815 or else NT (N).Nkind = N_Object_Declaration
3816 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3817 Set_Node5 (N, Val); -- semantic field, no parent set
3818 end Set_Corresponding_Generic_Association;
3820 procedure Set_Corresponding_Integer_Value
3821 (N : Node_Id; Val : Uint) is
3823 pragma Assert (False
3824 or else NT (N).Nkind = N_Real_Literal);
3825 Set_Uint4 (N, Val); -- semantic field, no parent set
3826 end Set_Corresponding_Integer_Value;
3828 procedure Set_Corresponding_Spec
3829 (N : Node_Id; Val : Node_Id) is
3831 pragma Assert (False
3832 or else NT (N).Nkind = N_Expression_Function
3833 or else NT (N).Nkind = N_Package_Body
3834 or else NT (N).Nkind = N_Protected_Body
3835 or else NT (N).Nkind = N_Subprogram_Body
3836 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3837 or else NT (N).Nkind = N_Task_Body
3838 or else NT (N).Nkind = N_With_Clause);
3839 Set_Node5 (N, Val); -- semantic field, no parent set
3840 end Set_Corresponding_Spec;
3842 procedure Set_Corresponding_Spec_Of_Stub
3843 (N : Node_Id; Val : Entity_Id) is
3845 pragma Assert (False
3846 or else NT (N).Nkind = N_Package_Body_Stub
3847 or else NT (N).Nkind = N_Protected_Body_Stub
3848 or else NT (N).Nkind = N_Subprogram_Body_Stub
3849 or else NT (N).Nkind = N_Task_Body_Stub);
3850 Set_Node2 (N, Val); -- semantic field, no parent set
3851 end Set_Corresponding_Spec_Of_Stub;
3853 procedure Set_Corresponding_Stub
3854 (N : Node_Id; Val : Node_Id) is
3856 pragma Assert (False
3857 or else NT (N).Nkind = N_Subunit);
3859 end Set_Corresponding_Stub;
3861 procedure Set_Dcheck_Function
3862 (N : Node_Id; Val : Entity_Id) is
3864 pragma Assert (False
3865 or else NT (N).Nkind = N_Variant);
3866 Set_Node5 (N, Val); -- semantic field, no parent set
3867 end Set_Dcheck_Function;
3869 procedure Set_Declarations
3870 (N : Node_Id; Val : List_Id) is
3872 pragma Assert (False
3873 or else NT (N).Nkind = N_Accept_Statement
3874 or else NT (N).Nkind = N_Block_Statement
3875 or else NT (N).Nkind = N_Compilation_Unit_Aux
3876 or else NT (N).Nkind = N_Entry_Body
3877 or else NT (N).Nkind = N_Package_Body
3878 or else NT (N).Nkind = N_Protected_Body
3879 or else NT (N).Nkind = N_Subprogram_Body
3880 or else NT (N).Nkind = N_Task_Body);
3881 Set_List2_With_Parent (N, Val);
3882 end Set_Declarations;
3884 procedure Set_Default_Expression
3885 (N : Node_Id; Val : Node_Id) is
3887 pragma Assert (False
3888 or else NT (N).Nkind = N_Formal_Object_Declaration
3889 or else NT (N).Nkind = N_Parameter_Specification);
3890 Set_Node5 (N, Val); -- semantic field, no parent set
3891 end Set_Default_Expression;
3893 procedure Set_Default_Storage_Pool
3894 (N : Node_Id; Val : Node_Id) is
3896 pragma Assert (False
3897 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3898 Set_Node3 (N, Val); -- semantic field, no parent set
3899 end Set_Default_Storage_Pool;
3901 procedure Set_Default_Name
3902 (N : Node_Id; Val : Node_Id) is
3904 pragma Assert (False
3905 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3906 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3907 Set_Node2_With_Parent (N, Val);
3908 end Set_Default_Name;
3910 procedure Set_Defining_Identifier
3911 (N : Node_Id; Val : Entity_Id) is
3913 pragma Assert (False
3914 or else NT (N).Nkind = N_Component_Declaration
3915 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3916 or else NT (N).Nkind = N_Discriminant_Specification
3917 or else NT (N).Nkind = N_Entry_Body
3918 or else NT (N).Nkind = N_Entry_Declaration
3919 or else NT (N).Nkind = N_Entry_Index_Specification
3920 or else NT (N).Nkind = N_Exception_Declaration
3921 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3922 or else NT (N).Nkind = N_Formal_Object_Declaration
3923 or else NT (N).Nkind = N_Formal_Package_Declaration
3924 or else NT (N).Nkind = N_Formal_Type_Declaration
3925 or else NT (N).Nkind = N_Full_Type_Declaration
3926 or else NT (N).Nkind = N_Implicit_Label_Declaration
3927 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3928 or else NT (N).Nkind = N_Iterator_Specification
3929 or else NT (N).Nkind = N_Loop_Parameter_Specification
3930 or else NT (N).Nkind = N_Number_Declaration
3931 or else NT (N).Nkind = N_Object_Declaration
3932 or else NT (N).Nkind = N_Object_Renaming_Declaration
3933 or else NT (N).Nkind = N_Package_Body_Stub
3934 or else NT (N).Nkind = N_Parameter_Specification
3935 or else NT (N).Nkind = N_Private_Extension_Declaration
3936 or else NT (N).Nkind = N_Private_Type_Declaration
3937 or else NT (N).Nkind = N_Protected_Body
3938 or else NT (N).Nkind = N_Protected_Body_Stub
3939 or else NT (N).Nkind = N_Protected_Type_Declaration
3940 or else NT (N).Nkind = N_Single_Protected_Declaration
3941 or else NT (N).Nkind = N_Single_Task_Declaration
3942 or else NT (N).Nkind = N_Subtype_Declaration
3943 or else NT (N).Nkind = N_Task_Body
3944 or else NT (N).Nkind = N_Task_Body_Stub
3945 or else NT (N).Nkind = N_Task_Type_Declaration);
3946 Set_Node1_With_Parent (N, Val);
3947 end Set_Defining_Identifier;
3949 procedure Set_Defining_Unit_Name
3950 (N : Node_Id; Val : Node_Id) is
3952 pragma Assert (False
3953 or else NT (N).Nkind = N_Function_Instantiation
3954 or else NT (N).Nkind = N_Function_Specification
3955 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3956 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3957 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3958 or else NT (N).Nkind = N_Package_Body
3959 or else NT (N).Nkind = N_Package_Instantiation
3960 or else NT (N).Nkind = N_Package_Renaming_Declaration
3961 or else NT (N).Nkind = N_Package_Specification
3962 or else NT (N).Nkind = N_Procedure_Instantiation
3963 or else NT (N).Nkind = N_Procedure_Specification);
3964 Set_Node1_With_Parent (N, Val);
3965 end Set_Defining_Unit_Name;
3967 procedure Set_Delay_Alternative
3968 (N : Node_Id; Val : Node_Id) is
3970 pragma Assert (False
3971 or else NT (N).Nkind = N_Timed_Entry_Call);
3972 Set_Node4_With_Parent (N, Val);
3973 end Set_Delay_Alternative;
3975 procedure Set_Delay_Statement
3976 (N : Node_Id; Val : Node_Id) is
3978 pragma Assert (False
3979 or else NT (N).Nkind = N_Delay_Alternative);
3980 Set_Node2_With_Parent (N, Val);
3981 end Set_Delay_Statement;
3983 procedure Set_Delta_Expression
3984 (N : Node_Id; Val : Node_Id) is
3986 pragma Assert (False
3987 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3988 or else NT (N).Nkind = N_Delta_Constraint
3989 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3990 Set_Node3_With_Parent (N, Val);
3991 end Set_Delta_Expression;
3993 procedure Set_Digits_Expression
3994 (N : Node_Id; Val : Node_Id) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3998 or else NT (N).Nkind = N_Digits_Constraint
3999 or else NT (N).Nkind = N_Floating_Point_Definition);
4000 Set_Node2_With_Parent (N, Val);
4001 end Set_Digits_Expression;
4003 procedure Set_Discr_Check_Funcs_Built
4004 (N : Node_Id; Val : Boolean := True) is
4006 pragma Assert (False
4007 or else NT (N).Nkind = N_Full_Type_Declaration);
4008 Set_Flag11 (N, Val);
4009 end Set_Discr_Check_Funcs_Built;
4011 procedure Set_Discrete_Choices
4012 (N : Node_Id; Val : List_Id) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_Case_Expression_Alternative
4016 or else NT (N).Nkind = N_Case_Statement_Alternative
4017 or else NT (N).Nkind = N_Variant);
4018 Set_List4_With_Parent (N, Val);
4019 end Set_Discrete_Choices;
4021 procedure Set_Discrete_Range
4022 (N : Node_Id; Val : Node_Id) is
4024 pragma Assert (False
4025 or else NT (N).Nkind = N_Slice);
4026 Set_Node4_With_Parent (N, Val);
4027 end Set_Discrete_Range;
4029 procedure Set_Discrete_Subtype_Definition
4030 (N : Node_Id; Val : Node_Id) is
4032 pragma Assert (False
4033 or else NT (N).Nkind = N_Entry_Declaration
4034 or else NT (N).Nkind = N_Entry_Index_Specification
4035 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4036 Set_Node4_With_Parent (N, Val);
4037 end Set_Discrete_Subtype_Definition;
4039 procedure Set_Discrete_Subtype_Definitions
4040 (N : Node_Id; Val : List_Id) is
4042 pragma Assert (False
4043 or else NT (N).Nkind = N_Constrained_Array_Definition);
4044 Set_List2_With_Parent (N, Val);
4045 end Set_Discrete_Subtype_Definitions;
4047 procedure Set_Discriminant_Specifications
4048 (N : Node_Id; Val : List_Id) is
4050 pragma Assert (False
4051 or else NT (N).Nkind = N_Formal_Type_Declaration
4052 or else NT (N).Nkind = N_Full_Type_Declaration
4053 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4054 or else NT (N).Nkind = N_Private_Extension_Declaration
4055 or else NT (N).Nkind = N_Private_Type_Declaration
4056 or else NT (N).Nkind = N_Protected_Type_Declaration
4057 or else NT (N).Nkind = N_Task_Type_Declaration);
4058 Set_List4_With_Parent (N, Val);
4059 end Set_Discriminant_Specifications;
4061 procedure Set_Discriminant_Type
4062 (N : Node_Id; Val : Node_Id) is
4064 pragma Assert (False
4065 or else NT (N).Nkind = N_Discriminant_Specification);
4066 Set_Node5_With_Parent (N, Val);
4067 end Set_Discriminant_Type;
4069 procedure Set_Do_Accessibility_Check
4070 (N : Node_Id; Val : Boolean := True) is
4072 pragma Assert (False
4073 or else NT (N).Nkind = N_Parameter_Specification);
4074 Set_Flag13 (N, Val);
4075 end Set_Do_Accessibility_Check;
4077 procedure Set_Do_Discriminant_Check
4078 (N : Node_Id; Val : Boolean := True) is
4080 pragma Assert (False
4081 or else NT (N).Nkind = N_Selected_Component);
4082 Set_Flag13 (N, Val);
4083 end Set_Do_Discriminant_Check;
4085 procedure Set_Do_Division_Check
4086 (N : Node_Id; Val : Boolean := True) is
4088 pragma Assert (False
4089 or else NT (N).Nkind = N_Op_Divide
4090 or else NT (N).Nkind = N_Op_Mod
4091 or else NT (N).Nkind = N_Op_Rem);
4092 Set_Flag13 (N, Val);
4093 end Set_Do_Division_Check;
4095 procedure Set_Do_Length_Check
4096 (N : Node_Id; Val : Boolean := True) is
4098 pragma Assert (False
4099 or else NT (N).Nkind = N_Assignment_Statement
4100 or else NT (N).Nkind = N_Op_And
4101 or else NT (N).Nkind = N_Op_Or
4102 or else NT (N).Nkind = N_Op_Xor
4103 or else NT (N).Nkind = N_Type_Conversion);
4105 end Set_Do_Length_Check;
4107 procedure Set_Do_Overflow_Check
4108 (N : Node_Id; Val : Boolean := True) is
4110 pragma Assert (False
4111 or else NT (N).Nkind in N_Op
4112 or else NT (N).Nkind = N_Attribute_Reference
4113 or else NT (N).Nkind = N_Case_Expression
4114 or else NT (N).Nkind = N_If_Expression
4115 or else NT (N).Nkind = N_Type_Conversion);
4116 Set_Flag17 (N, Val);
4117 end Set_Do_Overflow_Check;
4119 procedure Set_Do_Range_Check
4120 (N : Node_Id; Val : Boolean := True) is
4122 pragma Assert (False
4123 or else NT (N).Nkind in N_Subexpr);
4125 end Set_Do_Range_Check;
4127 procedure Set_Do_Storage_Check
4128 (N : Node_Id; Val : Boolean := True) is
4130 pragma Assert (False
4131 or else NT (N).Nkind = N_Allocator
4132 or else NT (N).Nkind = N_Subprogram_Body);
4133 Set_Flag17 (N, Val);
4134 end Set_Do_Storage_Check;
4136 procedure Set_Do_Tag_Check
4137 (N : Node_Id; Val : Boolean := True) is
4139 pragma Assert (False
4140 or else NT (N).Nkind = N_Assignment_Statement
4141 or else NT (N).Nkind = N_Extended_Return_Statement
4142 or else NT (N).Nkind = N_Function_Call
4143 or else NT (N).Nkind = N_Procedure_Call_Statement
4144 or else NT (N).Nkind = N_Simple_Return_Statement
4145 or else NT (N).Nkind = N_Type_Conversion);
4146 Set_Flag13 (N, Val);
4147 end Set_Do_Tag_Check;
4149 procedure Set_Elaborate_All_Desirable
4150 (N : Node_Id; Val : Boolean := True) is
4152 pragma Assert (False
4153 or else NT (N).Nkind = N_With_Clause);
4155 end Set_Elaborate_All_Desirable;
4157 procedure Set_Elaborate_All_Present
4158 (N : Node_Id; Val : Boolean := True) is
4160 pragma Assert (False
4161 or else NT (N).Nkind = N_With_Clause);
4162 Set_Flag14 (N, Val);
4163 end Set_Elaborate_All_Present;
4165 procedure Set_Elaborate_Desirable
4166 (N : Node_Id; Val : Boolean := True) is
4168 pragma Assert (False
4169 or else NT (N).Nkind = N_With_Clause);
4170 Set_Flag11 (N, Val);
4171 end Set_Elaborate_Desirable;
4173 procedure Set_Elaborate_Present
4174 (N : Node_Id; Val : Boolean := True) is
4176 pragma Assert (False
4177 or else NT (N).Nkind = N_With_Clause);
4179 end Set_Elaborate_Present;
4181 procedure Set_Elaboration_Boolean
4182 (N : Node_Id; Val : Node_Id) is
4184 pragma Assert (False
4185 or else NT (N).Nkind = N_Function_Specification
4186 or else NT (N).Nkind = N_Procedure_Specification);
4188 end Set_Elaboration_Boolean;
4190 procedure Set_Else_Actions
4191 (N : Node_Id; Val : List_Id) is
4193 pragma Assert (False
4194 or else NT (N).Nkind = N_If_Expression);
4195 Set_List3 (N, Val); -- semantic field, no parent set
4196 end Set_Else_Actions;
4198 procedure Set_Else_Statements
4199 (N : Node_Id; Val : List_Id) is
4201 pragma Assert (False
4202 or else NT (N).Nkind = N_Conditional_Entry_Call
4203 or else NT (N).Nkind = N_If_Statement
4204 or else NT (N).Nkind = N_Selective_Accept);
4205 Set_List4_With_Parent (N, Val);
4206 end Set_Else_Statements;
4208 procedure Set_Elsif_Parts
4209 (N : Node_Id; Val : List_Id) is
4211 pragma Assert (False
4212 or else NT (N).Nkind = N_If_Statement);
4213 Set_List3_With_Parent (N, Val);
4214 end Set_Elsif_Parts;
4216 procedure Set_Enclosing_Variant
4217 (N : Node_Id; Val : Node_Id) is
4219 pragma Assert (False
4220 or else NT (N).Nkind = N_Variant);
4221 Set_Node2 (N, Val); -- semantic field, no parent set
4222 end Set_Enclosing_Variant;
4224 procedure Set_End_Label
4225 (N : Node_Id; Val : Node_Id) is
4227 pragma Assert (False
4228 or else NT (N).Nkind = N_Enumeration_Type_Definition
4229 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4230 or else NT (N).Nkind = N_Loop_Statement
4231 or else NT (N).Nkind = N_Package_Specification
4232 or else NT (N).Nkind = N_Protected_Body
4233 or else NT (N).Nkind = N_Protected_Definition
4234 or else NT (N).Nkind = N_Record_Definition
4235 or else NT (N).Nkind = N_Task_Definition);
4236 Set_Node4_With_Parent (N, Val);
4239 procedure Set_End_Span
4240 (N : Node_Id; Val : Uint) is
4242 pragma Assert (False
4243 or else NT (N).Nkind = N_Case_Statement
4244 or else NT (N).Nkind = N_If_Statement);
4248 procedure Set_Entity
4249 (N : Node_Id; Val : Node_Id) is
4251 pragma Assert (False
4252 or else NT (N).Nkind in N_Has_Entity
4253 or else NT (N).Nkind = N_Aspect_Specification
4254 or else NT (N).Nkind = N_Attribute_Definition_Clause
4255 or else NT (N).Nkind = N_Freeze_Entity
4256 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4257 Set_Node4 (N, Val); -- semantic field, no parent set
4260 procedure Set_Entry_Body_Formal_Part
4261 (N : Node_Id; Val : Node_Id) is
4263 pragma Assert (False
4264 or else NT (N).Nkind = N_Entry_Body);
4265 Set_Node5_With_Parent (N, Val);
4266 end Set_Entry_Body_Formal_Part;
4268 procedure Set_Entry_Call_Alternative
4269 (N : Node_Id; Val : Node_Id) is
4271 pragma Assert (False
4272 or else NT (N).Nkind = N_Conditional_Entry_Call
4273 or else NT (N).Nkind = N_Timed_Entry_Call);
4274 Set_Node1_With_Parent (N, Val);
4275 end Set_Entry_Call_Alternative;
4277 procedure Set_Entry_Call_Statement
4278 (N : Node_Id; Val : Node_Id) is
4280 pragma Assert (False
4281 or else NT (N).Nkind = N_Entry_Call_Alternative);
4282 Set_Node1_With_Parent (N, Val);
4283 end Set_Entry_Call_Statement;
4285 procedure Set_Entry_Direct_Name
4286 (N : Node_Id; Val : Node_Id) is
4288 pragma Assert (False
4289 or else NT (N).Nkind = N_Accept_Statement);
4290 Set_Node1_With_Parent (N, Val);
4291 end Set_Entry_Direct_Name;
4293 procedure Set_Entry_Index
4294 (N : Node_Id; Val : Node_Id) is
4296 pragma Assert (False
4297 or else NT (N).Nkind = N_Accept_Statement);
4298 Set_Node5_With_Parent (N, Val);
4299 end Set_Entry_Index;
4301 procedure Set_Entry_Index_Specification
4302 (N : Node_Id; Val : Node_Id) is
4304 pragma Assert (False
4305 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4306 Set_Node4_With_Parent (N, Val);
4307 end Set_Entry_Index_Specification;
4310 (N : Node_Id; Val : Node_Id) is
4312 pragma Assert (False
4313 or else NT (N).Nkind in N_Has_Etype);
4314 Set_Node5 (N, Val); -- semantic field, no parent set
4317 procedure Set_Exception_Choices
4318 (N : Node_Id; Val : List_Id) is
4320 pragma Assert (False
4321 or else NT (N).Nkind = N_Exception_Handler);
4322 Set_List4_With_Parent (N, Val);
4323 end Set_Exception_Choices;
4325 procedure Set_Exception_Handlers
4326 (N : Node_Id; Val : List_Id) is
4328 pragma Assert (False
4329 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4330 Set_List5_With_Parent (N, Val);
4331 end Set_Exception_Handlers;
4333 procedure Set_Exception_Junk
4334 (N : Node_Id; Val : Boolean := True) is
4336 pragma Assert (False
4337 or else NT (N).Nkind = N_Block_Statement
4338 or else NT (N).Nkind = N_Goto_Statement
4339 or else NT (N).Nkind = N_Label
4340 or else NT (N).Nkind = N_Object_Declaration
4341 or else NT (N).Nkind = N_Subtype_Declaration);
4343 end Set_Exception_Junk;
4345 procedure Set_Exception_Label
4346 (N : Node_Id; Val : Node_Id) is
4348 pragma Assert (False
4349 or else NT (N).Nkind = N_Exception_Handler
4350 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4351 or else NT (N).Nkind = N_Push_Program_Error_Label
4352 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4353 Set_Node5 (N, Val); -- semantic field, no parent set
4354 end Set_Exception_Label;
4356 procedure Set_Expansion_Delayed
4357 (N : Node_Id; Val : Boolean := True) is
4359 pragma Assert (False
4360 or else NT (N).Nkind = N_Aggregate
4361 or else NT (N).Nkind = N_Extension_Aggregate);
4362 Set_Flag11 (N, Val);
4363 end Set_Expansion_Delayed;
4365 procedure Set_Explicit_Actual_Parameter
4366 (N : Node_Id; Val : Node_Id) is
4368 pragma Assert (False
4369 or else NT (N).Nkind = N_Parameter_Association);
4370 Set_Node3_With_Parent (N, Val);
4371 end Set_Explicit_Actual_Parameter;
4373 procedure Set_Explicit_Generic_Actual_Parameter
4374 (N : Node_Id; Val : Node_Id) is
4376 pragma Assert (False
4377 or else NT (N).Nkind = N_Generic_Association);
4378 Set_Node1_With_Parent (N, Val);
4379 end Set_Explicit_Generic_Actual_Parameter;
4381 procedure Set_Expression
4382 (N : Node_Id; Val : Node_Id) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Allocator
4386 or else NT (N).Nkind = N_Aspect_Specification
4387 or else NT (N).Nkind = N_Assignment_Statement
4388 or else NT (N).Nkind = N_At_Clause
4389 or else NT (N).Nkind = N_Attribute_Definition_Clause
4390 or else NT (N).Nkind = N_Case_Expression
4391 or else NT (N).Nkind = N_Case_Expression_Alternative
4392 or else NT (N).Nkind = N_Case_Statement
4393 or else NT (N).Nkind = N_Code_Statement
4394 or else NT (N).Nkind = N_Component_Association
4395 or else NT (N).Nkind = N_Component_Declaration
4396 or else NT (N).Nkind = N_Delay_Relative_Statement
4397 or else NT (N).Nkind = N_Delay_Until_Statement
4398 or else NT (N).Nkind = N_Discriminant_Association
4399 or else NT (N).Nkind = N_Discriminant_Specification
4400 or else NT (N).Nkind = N_Exception_Declaration
4401 or else NT (N).Nkind = N_Expression_Function
4402 or else NT (N).Nkind = N_Expression_With_Actions
4403 or else NT (N).Nkind = N_Free_Statement
4404 or else NT (N).Nkind = N_Mod_Clause
4405 or else NT (N).Nkind = N_Modular_Type_Definition
4406 or else NT (N).Nkind = N_Number_Declaration
4407 or else NT (N).Nkind = N_Object_Declaration
4408 or else NT (N).Nkind = N_Parameter_Specification
4409 or else NT (N).Nkind = N_Pragma_Argument_Association
4410 or else NT (N).Nkind = N_Qualified_Expression
4411 or else NT (N).Nkind = N_Raise_Expression
4412 or else NT (N).Nkind = N_Raise_Statement
4413 or else NT (N).Nkind = N_Simple_Return_Statement
4414 or else NT (N).Nkind = N_Type_Conversion
4415 or else NT (N).Nkind = N_Unchecked_Expression
4416 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4417 Set_Node3_With_Parent (N, Val);
4420 procedure Set_Expressions
4421 (N : Node_Id; Val : List_Id) is
4423 pragma Assert (False
4424 or else NT (N).Nkind = N_Aggregate
4425 or else NT (N).Nkind = N_Attribute_Reference
4426 or else NT (N).Nkind = N_Extension_Aggregate
4427 or else NT (N).Nkind = N_If_Expression
4428 or else NT (N).Nkind = N_Indexed_Component);
4429 Set_List1_With_Parent (N, Val);
4430 end Set_Expressions;
4432 procedure Set_First_Bit
4433 (N : Node_Id; Val : Node_Id) is
4435 pragma Assert (False
4436 or else NT (N).Nkind = N_Component_Clause);
4437 Set_Node3_With_Parent (N, Val);
4440 procedure Set_First_Inlined_Subprogram
4441 (N : Node_Id; Val : Entity_Id) is
4443 pragma Assert (False
4444 or else NT (N).Nkind = N_Compilation_Unit);
4445 Set_Node3 (N, Val); -- semantic field, no parent set
4446 end Set_First_Inlined_Subprogram;
4448 procedure Set_First_Name
4449 (N : Node_Id; Val : Boolean := True) is
4451 pragma Assert (False
4452 or else NT (N).Nkind = N_With_Clause);
4456 procedure Set_First_Named_Actual
4457 (N : Node_Id; Val : Node_Id) is
4459 pragma Assert (False
4460 or else NT (N).Nkind = N_Entry_Call_Statement
4461 or else NT (N).Nkind = N_Function_Call
4462 or else NT (N).Nkind = N_Procedure_Call_Statement);
4463 Set_Node4 (N, Val); -- semantic field, no parent set
4464 end Set_First_Named_Actual;
4466 procedure Set_First_Real_Statement
4467 (N : Node_Id; Val : Node_Id) is
4469 pragma Assert (False
4470 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4471 Set_Node2 (N, Val); -- semantic field, no parent set
4472 end Set_First_Real_Statement;
4474 procedure Set_First_Subtype_Link
4475 (N : Node_Id; Val : Entity_Id) is
4477 pragma Assert (False
4478 or else NT (N).Nkind = N_Freeze_Entity);
4479 Set_Node5 (N, Val); -- semantic field, no parent set
4480 end Set_First_Subtype_Link;
4482 procedure Set_Float_Truncate
4483 (N : Node_Id; Val : Boolean := True) is
4485 pragma Assert (False
4486 or else NT (N).Nkind = N_Type_Conversion);
4487 Set_Flag11 (N, Val);
4488 end Set_Float_Truncate;
4490 procedure Set_Formal_Type_Definition
4491 (N : Node_Id; Val : Node_Id) is
4493 pragma Assert (False
4494 or else NT (N).Nkind = N_Formal_Type_Declaration);
4495 Set_Node3_With_Parent (N, Val);
4496 end Set_Formal_Type_Definition;
4498 procedure Set_Forwards_OK
4499 (N : Node_Id; Val : Boolean := True) is
4501 pragma Assert (False
4502 or else NT (N).Nkind = N_Assignment_Statement);
4504 end Set_Forwards_OK;
4506 procedure Set_From_Aspect_Specification
4507 (N : Node_Id; Val : Boolean := True) is
4509 pragma Assert (False
4510 or else NT (N).Nkind = N_Attribute_Definition_Clause
4511 or else NT (N).Nkind = N_Pragma);
4512 Set_Flag13 (N, Val);
4513 end Set_From_Aspect_Specification;
4515 procedure Set_From_At_End
4516 (N : Node_Id; Val : Boolean := True) is
4518 pragma Assert (False
4519 or else NT (N).Nkind = N_Raise_Statement);
4521 end Set_From_At_End;
4523 procedure Set_From_At_Mod
4524 (N : Node_Id; Val : Boolean := True) is
4526 pragma Assert (False
4527 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4529 end Set_From_At_Mod;
4531 procedure Set_From_Default
4532 (N : Node_Id; Val : Boolean := True) is
4534 pragma Assert (False
4535 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4537 end Set_From_Default;
4539 procedure Set_Generic_Associations
4540 (N : Node_Id; Val : List_Id) is
4542 pragma Assert (False
4543 or else NT (N).Nkind = N_Formal_Package_Declaration
4544 or else NT (N).Nkind = N_Function_Instantiation
4545 or else NT (N).Nkind = N_Package_Instantiation
4546 or else NT (N).Nkind = N_Procedure_Instantiation);
4547 Set_List3_With_Parent (N, Val);
4548 end Set_Generic_Associations;
4550 procedure Set_Generic_Formal_Declarations
4551 (N : Node_Id; Val : List_Id) is
4553 pragma Assert (False
4554 or else NT (N).Nkind = N_Generic_Package_Declaration
4555 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4556 Set_List2_With_Parent (N, Val);
4557 end Set_Generic_Formal_Declarations;
4559 procedure Set_Generic_Parent
4560 (N : Node_Id; Val : Node_Id) is
4562 pragma Assert (False
4563 or else NT (N).Nkind = N_Function_Specification
4564 or else NT (N).Nkind = N_Package_Specification
4565 or else NT (N).Nkind = N_Procedure_Specification);
4567 end Set_Generic_Parent;
4569 procedure Set_Generic_Parent_Type
4570 (N : Node_Id; Val : Node_Id) is
4572 pragma Assert (False
4573 or else NT (N).Nkind = N_Subtype_Declaration);
4575 end Set_Generic_Parent_Type;
4577 procedure Set_Handled_Statement_Sequence
4578 (N : Node_Id; Val : Node_Id) is
4580 pragma Assert (False
4581 or else NT (N).Nkind = N_Accept_Statement
4582 or else NT (N).Nkind = N_Block_Statement
4583 or else NT (N).Nkind = N_Entry_Body
4584 or else NT (N).Nkind = N_Extended_Return_Statement
4585 or else NT (N).Nkind = N_Package_Body
4586 or else NT (N).Nkind = N_Subprogram_Body
4587 or else NT (N).Nkind = N_Task_Body);
4588 Set_Node4_With_Parent (N, Val);
4589 end Set_Handled_Statement_Sequence;
4591 procedure Set_Handler_List_Entry
4592 (N : Node_Id; Val : Node_Id) is
4594 pragma Assert (False
4595 or else NT (N).Nkind = N_Object_Declaration);
4597 end Set_Handler_List_Entry;
4599 procedure Set_Has_Created_Identifier
4600 (N : Node_Id; Val : Boolean := True) is
4602 pragma Assert (False
4603 or else NT (N).Nkind = N_Block_Statement
4604 or else NT (N).Nkind = N_Loop_Statement);
4605 Set_Flag15 (N, Val);
4606 end Set_Has_Created_Identifier;
4608 procedure Set_Has_Dereference_Action
4609 (N : Node_Id; Val : Boolean := True) is
4611 pragma Assert (False
4612 or else NT (N).Nkind = N_Explicit_Dereference);
4613 Set_Flag13 (N, Val);
4614 end Set_Has_Dereference_Action;
4616 procedure Set_Has_Dynamic_Length_Check
4617 (N : Node_Id; Val : Boolean := True) is
4619 pragma Assert (False
4620 or else NT (N).Nkind in N_Subexpr);
4621 Set_Flag10 (N, Val);
4622 end Set_Has_Dynamic_Length_Check;
4624 procedure Set_Has_Dynamic_Range_Check
4625 (N : Node_Id; Val : Boolean := True) is
4627 pragma Assert (False
4628 or else NT (N).Nkind = N_Subtype_Declaration
4629 or else NT (N).Nkind in N_Subexpr);
4630 Set_Flag12 (N, Val);
4631 end Set_Has_Dynamic_Range_Check;
4633 procedure Set_Has_Init_Expression
4634 (N : Node_Id; Val : Boolean := True) is
4636 pragma Assert (False
4637 or else NT (N).Nkind = N_Object_Declaration);
4638 Set_Flag14 (N, Val);
4639 end Set_Has_Init_Expression;
4641 procedure Set_Has_Local_Raise
4642 (N : Node_Id; Val : Boolean := True) is
4644 pragma Assert (False
4645 or else NT (N).Nkind = N_Exception_Handler);
4647 end Set_Has_Local_Raise;
4649 procedure Set_Has_No_Elaboration_Code
4650 (N : Node_Id; Val : Boolean := True) is
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_Compilation_Unit);
4654 Set_Flag17 (N, Val);
4655 end Set_Has_No_Elaboration_Code;
4657 procedure Set_Has_Pragma_Suppress_All
4658 (N : Node_Id; Val : Boolean := True) is
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Compilation_Unit);
4662 Set_Flag14 (N, Val);
4663 end Set_Has_Pragma_Suppress_All;
4665 procedure Set_Has_Private_View
4666 (N : Node_Id; Val : Boolean := True) is
4668 pragma Assert (False
4669 or else NT (N).Nkind in N_Op
4670 or else NT (N).Nkind = N_Character_Literal
4671 or else NT (N).Nkind = N_Expanded_Name
4672 or else NT (N).Nkind = N_Identifier
4673 or else NT (N).Nkind = N_Operator_Symbol);
4674 Set_Flag11 (N, Val);
4675 end Set_Has_Private_View;
4677 procedure Set_Has_Relative_Deadline_Pragma
4678 (N : Node_Id; Val : Boolean := True) is
4680 pragma Assert (False
4681 or else NT (N).Nkind = N_Subprogram_Body
4682 or else NT (N).Nkind = N_Task_Definition);
4684 end Set_Has_Relative_Deadline_Pragma;
4686 procedure Set_Has_Self_Reference
4687 (N : Node_Id; Val : Boolean := True) is
4689 pragma Assert (False
4690 or else NT (N).Nkind = N_Aggregate
4691 or else NT (N).Nkind = N_Extension_Aggregate);
4692 Set_Flag13 (N, Val);
4693 end Set_Has_Self_Reference;
4695 procedure Set_Has_SP_Choice
4696 (N : Node_Id; Val : Boolean := True) is
4698 pragma Assert (False
4699 or else NT (N).Nkind = N_Case_Expression_Alternative
4700 or else NT (N).Nkind = N_Case_Statement_Alternative
4701 or else NT (N).Nkind = N_Variant);
4702 Set_Flag15 (N, Val);
4703 end Set_Has_SP_Choice;
4705 procedure Set_Has_Storage_Size_Pragma
4706 (N : Node_Id; Val : Boolean := True) is
4708 pragma Assert (False
4709 or else NT (N).Nkind = N_Task_Definition);
4711 end Set_Has_Storage_Size_Pragma;
4713 procedure Set_Has_Wide_Character
4714 (N : Node_Id; Val : Boolean := True) is
4716 pragma Assert (False
4717 or else NT (N).Nkind = N_String_Literal);
4718 Set_Flag11 (N, Val);
4719 end Set_Has_Wide_Character;
4721 procedure Set_Has_Wide_Wide_Character
4722 (N : Node_Id; Val : Boolean := True) is
4724 pragma Assert (False
4725 or else NT (N).Nkind = N_String_Literal);
4726 Set_Flag13 (N, Val);
4727 end Set_Has_Wide_Wide_Character;
4729 procedure Set_Header_Size_Added
4730 (N : Node_Id; Val : Boolean := True) is
4732 pragma Assert (False
4733 or else NT (N).Nkind = N_Attribute_Reference);
4734 Set_Flag11 (N, Val);
4735 end Set_Header_Size_Added;
4737 procedure Set_Hidden_By_Use_Clause
4738 (N : Node_Id; Val : Elist_Id) is
4740 pragma Assert (False
4741 or else NT (N).Nkind = N_Use_Package_Clause
4742 or else NT (N).Nkind = N_Use_Type_Clause);
4743 Set_Elist4 (N, Val);
4744 end Set_Hidden_By_Use_Clause;
4746 procedure Set_High_Bound
4747 (N : Node_Id; Val : Node_Id) is
4749 pragma Assert (False
4750 or else NT (N).Nkind = N_Range
4751 or else NT (N).Nkind = N_Real_Range_Specification
4752 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4753 Set_Node2_With_Parent (N, Val);
4756 procedure Set_Identifier
4757 (N : Node_Id; Val : Node_Id) is
4759 pragma Assert (False
4760 or else NT (N).Nkind = N_Aspect_Specification
4761 or else NT (N).Nkind = N_At_Clause
4762 or else NT (N).Nkind = N_Block_Statement
4763 or else NT (N).Nkind = N_Designator
4764 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4765 or else NT (N).Nkind = N_Label
4766 or else NT (N).Nkind = N_Loop_Statement
4767 or else NT (N).Nkind = N_Record_Representation_Clause
4768 or else NT (N).Nkind = N_Subprogram_Info);
4769 Set_Node1_With_Parent (N, Val);
4772 procedure Set_Implicit_With
4773 (N : Node_Id; Val : Boolean := True) is
4775 pragma Assert (False
4776 or else NT (N).Nkind = N_With_Clause);
4777 Set_Flag16 (N, Val);
4778 end Set_Implicit_With;
4780 procedure Set_Implicit_With_From_Instantiation
4781 (N : Node_Id; Val : Boolean := True) is
4783 pragma Assert (False
4784 or else NT (N).Nkind = N_With_Clause);
4785 Set_Flag12 (N, Val);
4786 end Set_Implicit_With_From_Instantiation;
4788 procedure Set_Interface_List
4789 (N : Node_Id; Val : List_Id) is
4791 pragma Assert (False
4792 or else NT (N).Nkind = N_Derived_Type_Definition
4793 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4794 or else NT (N).Nkind = N_Private_Extension_Declaration
4795 or else NT (N).Nkind = N_Protected_Type_Declaration
4796 or else NT (N).Nkind = N_Record_Definition
4797 or else NT (N).Nkind = N_Single_Protected_Declaration
4798 or else NT (N).Nkind = N_Single_Task_Declaration
4799 or else NT (N).Nkind = N_Task_Type_Declaration);
4800 Set_List2_With_Parent (N, Val);
4801 end Set_Interface_List;
4803 procedure Set_Interface_Present
4804 (N : Node_Id; Val : Boolean := True) is
4806 pragma Assert (False
4807 or else NT (N).Nkind = N_Derived_Type_Definition
4808 or else NT (N).Nkind = N_Record_Definition);
4809 Set_Flag16 (N, Val);
4810 end Set_Interface_Present;
4812 procedure Set_Import_Interface_Present
4813 (N : Node_Id; Val : Boolean := True) is
4815 pragma Assert (False
4816 or else NT (N).Nkind = N_Pragma);
4817 Set_Flag16 (N, Val);
4818 end Set_Import_Interface_Present;
4820 procedure Set_In_Assertion_Expression
4821 (N : Node_Id; Val : Boolean := True) is
4823 pragma Assert (False
4824 or else NT (N).Nkind = N_Function_Call);
4826 end Set_In_Assertion_Expression;
4828 procedure Set_In_Present
4829 (N : Node_Id; Val : Boolean := True) is
4831 pragma Assert (False
4832 or else NT (N).Nkind = N_Formal_Object_Declaration
4833 or else NT (N).Nkind = N_Parameter_Specification);
4834 Set_Flag15 (N, Val);
4837 procedure Set_Includes_Infinities
4838 (N : Node_Id; Val : Boolean := True) is
4840 pragma Assert (False
4841 or else NT (N).Nkind = N_Range);
4842 Set_Flag11 (N, Val);
4843 end Set_Includes_Infinities;
4845 procedure Set_Inherited_Discriminant
4846 (N : Node_Id; Val : Boolean := True) is
4848 pragma Assert (False
4849 or else NT (N).Nkind = N_Component_Association);
4850 Set_Flag13 (N, Val);
4851 end Set_Inherited_Discriminant;
4853 procedure Set_Instance_Spec
4854 (N : Node_Id; Val : Node_Id) is
4856 pragma Assert (False
4857 or else NT (N).Nkind = N_Formal_Package_Declaration
4858 or else NT (N).Nkind = N_Function_Instantiation
4859 or else NT (N).Nkind = N_Package_Instantiation
4860 or else NT (N).Nkind = N_Procedure_Instantiation);
4861 Set_Node5 (N, Val); -- semantic field, no Parent set
4862 end Set_Instance_Spec;
4864 procedure Set_Intval
4865 (N : Node_Id; Val : Uint) is
4867 pragma Assert (False
4868 or else NT (N).Nkind = N_Integer_Literal);
4872 procedure Set_Is_Accessibility_Actual
4873 (N : Node_Id; Val : Boolean := True) is
4875 pragma Assert (False
4876 or else NT (N).Nkind = N_Parameter_Association);
4877 Set_Flag13 (N, Val);
4878 end Set_Is_Accessibility_Actual;
4880 procedure Set_Is_Asynchronous_Call_Block
4881 (N : Node_Id; Val : Boolean := True) is
4883 pragma Assert (False
4884 or else NT (N).Nkind = N_Block_Statement);
4886 end Set_Is_Asynchronous_Call_Block;
4888 procedure Set_Is_Boolean_Aspect
4889 (N : Node_Id; Val : Boolean := True) is
4891 pragma Assert (False
4892 or else NT (N).Nkind = N_Aspect_Specification);
4893 Set_Flag16 (N, Val);
4894 end Set_Is_Boolean_Aspect;
4896 procedure Set_Is_Checked
4897 (N : Node_Id; Val : Boolean := True) is
4899 pragma Assert (False
4900 or else NT (N).Nkind = N_Aspect_Specification
4901 or else NT (N).Nkind = N_Pragma);
4902 Set_Flag11 (N, Val);
4905 procedure Set_Is_Component_Left_Opnd
4906 (N : Node_Id; Val : Boolean := True) is
4908 pragma Assert (False
4909 or else NT (N).Nkind = N_Op_Concat);
4910 Set_Flag13 (N, Val);
4911 end Set_Is_Component_Left_Opnd;
4913 procedure Set_Is_Component_Right_Opnd
4914 (N : Node_Id; Val : Boolean := True) is
4916 pragma Assert (False
4917 or else NT (N).Nkind = N_Op_Concat);
4918 Set_Flag14 (N, Val);
4919 end Set_Is_Component_Right_Opnd;
4921 procedure Set_Is_Controlling_Actual
4922 (N : Node_Id; Val : Boolean := True) is
4924 pragma Assert (False
4925 or else NT (N).Nkind in N_Subexpr);
4926 Set_Flag16 (N, Val);
4927 end Set_Is_Controlling_Actual;
4929 procedure Set_Is_Delayed_Aspect
4930 (N : Node_Id; Val : Boolean := True) is
4932 pragma Assert (False
4933 or else NT (N).Nkind = N_Aspect_Specification
4934 or else NT (N).Nkind = N_Attribute_Definition_Clause
4935 or else NT (N).Nkind = N_Pragma);
4936 Set_Flag14 (N, Val);
4937 end Set_Is_Delayed_Aspect;
4939 procedure Set_Is_Disabled
4940 (N : Node_Id; Val : Boolean := True) is
4942 pragma Assert (False
4943 or else NT (N).Nkind = N_Aspect_Specification
4944 or else NT (N).Nkind = N_Pragma);
4945 Set_Flag15 (N, Val);
4946 end Set_Is_Disabled;
4948 procedure Set_Is_Dynamic_Coextension
4949 (N : Node_Id; Val : Boolean := True) is
4951 pragma Assert (False
4952 or else NT (N).Nkind = N_Allocator);
4953 Set_Flag18 (N, Val);
4954 end Set_Is_Dynamic_Coextension;
4956 procedure Set_Is_Elsif
4957 (N : Node_Id; Val : Boolean := True) is
4959 pragma Assert (False
4960 or else NT (N).Nkind = N_If_Expression);
4961 Set_Flag13 (N, Val);
4964 procedure Set_Is_Entry_Barrier_Function
4965 (N : Node_Id; Val : Boolean := True) is
4967 pragma Assert (False
4968 or else NT (N).Nkind = N_Subprogram_Body);
4970 end Set_Is_Entry_Barrier_Function;
4972 procedure Set_Is_Expanded_Build_In_Place_Call
4973 (N : Node_Id; Val : Boolean := True) is
4975 pragma Assert (False
4976 or else NT (N).Nkind = N_Function_Call);
4977 Set_Flag11 (N, Val);
4978 end Set_Is_Expanded_Build_In_Place_Call;
4980 procedure Set_Is_Finalization_Wrapper
4981 (N : Node_Id; Val : Boolean := True) is
4983 pragma Assert (False
4984 or else NT (N).Nkind = N_Block_Statement);
4986 end Set_Is_Finalization_Wrapper;
4988 procedure Set_Is_Folded_In_Parser
4989 (N : Node_Id; Val : Boolean := True) is
4991 pragma Assert (False
4992 or else NT (N).Nkind = N_String_Literal);
4994 end Set_Is_Folded_In_Parser;
4996 procedure Set_Is_Ignored
4997 (N : Node_Id; Val : Boolean := True) is
4999 pragma Assert (False
5000 or else NT (N).Nkind = N_Aspect_Specification
5001 or else NT (N).Nkind = N_Pragma);
5005 procedure Set_Is_In_Discriminant_Check
5006 (N : Node_Id; Val : Boolean := True) is
5008 pragma Assert (False
5009 or else NT (N).Nkind = N_Selected_Component);
5010 Set_Flag11 (N, Val);
5011 end Set_Is_In_Discriminant_Check;
5013 procedure Set_Is_Machine_Number
5014 (N : Node_Id; Val : Boolean := True) is
5016 pragma Assert (False
5017 or else NT (N).Nkind = N_Real_Literal);
5018 Set_Flag11 (N, Val);
5019 end Set_Is_Machine_Number;
5021 procedure Set_Is_Null_Loop
5022 (N : Node_Id; Val : Boolean := True) is
5024 pragma Assert (False
5025 or else NT (N).Nkind = N_Loop_Statement);
5026 Set_Flag16 (N, Val);
5027 end Set_Is_Null_Loop;
5029 procedure Set_Is_Overloaded
5030 (N : Node_Id; Val : Boolean := True) is
5032 pragma Assert (False
5033 or else NT (N).Nkind in N_Subexpr);
5035 end Set_Is_Overloaded;
5037 procedure Set_Is_Power_Of_2_For_Shift
5038 (N : Node_Id; Val : Boolean := True) is
5040 pragma Assert (False
5041 or else NT (N).Nkind = N_Op_Expon);
5042 Set_Flag13 (N, Val);
5043 end Set_Is_Power_Of_2_For_Shift;
5045 procedure Set_Is_Prefixed_Call
5046 (N : Node_Id; Val : Boolean := True) is
5048 pragma Assert (False
5049 or else NT (N).Nkind = N_Selected_Component);
5050 Set_Flag17 (N, Val);
5051 end Set_Is_Prefixed_Call;
5053 procedure Set_Is_Protected_Subprogram_Body
5054 (N : Node_Id; Val : Boolean := True) is
5056 pragma Assert (False
5057 or else NT (N).Nkind = N_Subprogram_Body);
5059 end Set_Is_Protected_Subprogram_Body;
5061 procedure Set_Is_Static_Coextension
5062 (N : Node_Id; Val : Boolean := True) is
5064 pragma Assert (False
5065 or else NT (N).Nkind = N_Allocator);
5066 Set_Flag14 (N, Val);
5067 end Set_Is_Static_Coextension;
5069 procedure Set_Is_Static_Expression
5070 (N : Node_Id; Val : Boolean := True) is
5072 pragma Assert (False
5073 or else NT (N).Nkind in N_Subexpr);
5075 end Set_Is_Static_Expression;
5077 procedure Set_Is_Subprogram_Descriptor
5078 (N : Node_Id; Val : Boolean := True) is
5080 pragma Assert (False
5081 or else NT (N).Nkind = N_Object_Declaration);
5082 Set_Flag16 (N, Val);
5083 end Set_Is_Subprogram_Descriptor;
5085 procedure Set_Is_Task_Allocation_Block
5086 (N : Node_Id; Val : Boolean := True) is
5088 pragma Assert (False
5089 or else NT (N).Nkind = N_Block_Statement);
5091 end Set_Is_Task_Allocation_Block;
5093 procedure Set_Is_Task_Master
5094 (N : Node_Id; Val : Boolean := True) is
5096 pragma Assert (False
5097 or else NT (N).Nkind = N_Block_Statement
5098 or else NT (N).Nkind = N_Subprogram_Body
5099 or else NT (N).Nkind = N_Task_Body);
5101 end Set_Is_Task_Master;
5103 procedure Set_Iteration_Scheme
5104 (N : Node_Id; Val : Node_Id) is
5106 pragma Assert (False
5107 or else NT (N).Nkind = N_Loop_Statement);
5108 Set_Node2_With_Parent (N, Val);
5109 end Set_Iteration_Scheme;
5111 procedure Set_Iterator_Specification
5112 (N : Node_Id; Val : Node_Id) is
5114 pragma Assert (False
5115 or else NT (N).Nkind = N_Iteration_Scheme
5116 or else NT (N).Nkind = N_Quantified_Expression);
5117 Set_Node2_With_Parent (N, Val);
5118 end Set_Iterator_Specification;
5121 (N : Node_Id; Val : Entity_Id) is
5123 pragma Assert (False
5124 or else NT (N).Nkind = N_Itype_Reference);
5125 Set_Node1 (N, Val); -- no parent, semantic field
5128 procedure Set_Kill_Range_Check
5129 (N : Node_Id; Val : Boolean := True) is
5131 pragma Assert (False
5132 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5133 Set_Flag11 (N, Val);
5134 end Set_Kill_Range_Check;
5136 procedure Set_Label_Construct
5137 (N : Node_Id; Val : Node_Id) is
5139 pragma Assert (False
5140 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5141 Set_Node2 (N, Val); -- semantic field, no parent set
5142 end Set_Label_Construct;
5144 procedure Set_Last_Bit
5145 (N : Node_Id; Val : Node_Id) is
5147 pragma Assert (False
5148 or else NT (N).Nkind = N_Component_Clause);
5149 Set_Node4_With_Parent (N, Val);
5152 procedure Set_Last_Name
5153 (N : Node_Id; Val : Boolean := True) is
5155 pragma Assert (False
5156 or else NT (N).Nkind = N_With_Clause);
5160 procedure Set_Left_Opnd
5161 (N : Node_Id; Val : Node_Id) is
5163 pragma Assert (False
5164 or else NT (N).Nkind = N_And_Then
5165 or else NT (N).Nkind = N_In
5166 or else NT (N).Nkind = N_Not_In
5167 or else NT (N).Nkind = N_Or_Else
5168 or else NT (N).Nkind in N_Binary_Op);
5169 Set_Node2_With_Parent (N, Val);
5172 procedure Set_Library_Unit
5173 (N : Node_Id; Val : Node_Id) is
5175 pragma Assert (False
5176 or else NT (N).Nkind = N_Compilation_Unit
5177 or else NT (N).Nkind = N_Package_Body_Stub
5178 or else NT (N).Nkind = N_Protected_Body_Stub
5179 or else NT (N).Nkind = N_Subprogram_Body_Stub
5180 or else NT (N).Nkind = N_Task_Body_Stub
5181 or else NT (N).Nkind = N_With_Clause);
5182 Set_Node4 (N, Val); -- semantic field, no parent set
5183 end Set_Library_Unit;
5185 procedure Set_Limited_View_Installed
5186 (N : Node_Id; Val : Boolean := True) is
5188 pragma Assert (False
5189 or else NT (N).Nkind = N_Package_Specification
5190 or else NT (N).Nkind = N_With_Clause);
5191 Set_Flag18 (N, Val);
5192 end Set_Limited_View_Installed;
5194 procedure Set_Limited_Present
5195 (N : Node_Id; Val : Boolean := True) is
5197 pragma Assert (False
5198 or else NT (N).Nkind = N_Derived_Type_Definition
5199 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5200 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5201 or else NT (N).Nkind = N_Private_Extension_Declaration
5202 or else NT (N).Nkind = N_Private_Type_Declaration
5203 or else NT (N).Nkind = N_Record_Definition
5204 or else NT (N).Nkind = N_With_Clause);
5205 Set_Flag17 (N, Val);
5206 end Set_Limited_Present;
5208 procedure Set_Literals
5209 (N : Node_Id; Val : List_Id) is
5211 pragma Assert (False
5212 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5213 Set_List1_With_Parent (N, Val);
5216 procedure Set_Local_Raise_Not_OK
5217 (N : Node_Id; Val : Boolean := True) is
5219 pragma Assert (False
5220 or else NT (N).Nkind = N_Exception_Handler);
5222 end Set_Local_Raise_Not_OK;
5224 procedure Set_Local_Raise_Statements
5225 (N : Node_Id; Val : Elist_Id) is
5227 pragma Assert (False
5228 or else NT (N).Nkind = N_Exception_Handler);
5229 Set_Elist1 (N, Val);
5230 end Set_Local_Raise_Statements;
5232 procedure Set_Loop_Actions
5233 (N : Node_Id; Val : List_Id) is
5235 pragma Assert (False
5236 or else NT (N).Nkind = N_Component_Association);
5237 Set_List2 (N, Val); -- semantic field, no parent set
5238 end Set_Loop_Actions;
5240 procedure Set_Loop_Parameter_Specification
5241 (N : Node_Id; Val : Node_Id) is
5243 pragma Assert (False
5244 or else NT (N).Nkind = N_Iteration_Scheme
5245 or else NT (N).Nkind = N_Quantified_Expression);
5246 Set_Node4_With_Parent (N, Val);
5247 end Set_Loop_Parameter_Specification;
5249 procedure Set_Low_Bound
5250 (N : Node_Id; Val : Node_Id) is
5252 pragma Assert (False
5253 or else NT (N).Nkind = N_Range
5254 or else NT (N).Nkind = N_Real_Range_Specification
5255 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5256 Set_Node1_With_Parent (N, Val);
5259 procedure Set_Mod_Clause
5260 (N : Node_Id; Val : Node_Id) is
5262 pragma Assert (False
5263 or else NT (N).Nkind = N_Record_Representation_Clause);
5264 Set_Node2_With_Parent (N, Val);
5267 procedure Set_More_Ids
5268 (N : Node_Id; Val : Boolean := True) is
5270 pragma Assert (False
5271 or else NT (N).Nkind = N_Component_Declaration
5272 or else NT (N).Nkind = N_Discriminant_Specification
5273 or else NT (N).Nkind = N_Exception_Declaration
5274 or else NT (N).Nkind = N_Formal_Object_Declaration
5275 or else NT (N).Nkind = N_Number_Declaration
5276 or else NT (N).Nkind = N_Object_Declaration
5277 or else NT (N).Nkind = N_Parameter_Specification);
5281 procedure Set_Must_Be_Byte_Aligned
5282 (N : Node_Id; Val : Boolean := True) is
5284 pragma Assert (False
5285 or else NT (N).Nkind = N_Attribute_Reference);
5286 Set_Flag14 (N, Val);
5287 end Set_Must_Be_Byte_Aligned;
5289 procedure Set_Must_Not_Freeze
5290 (N : Node_Id; Val : Boolean := True) is
5292 pragma Assert (False
5293 or else NT (N).Nkind = N_Subtype_Indication
5294 or else NT (N).Nkind in N_Subexpr);
5296 end Set_Must_Not_Freeze;
5298 procedure Set_Must_Not_Override
5299 (N : Node_Id; Val : Boolean := True) is
5301 pragma Assert (False
5302 or else NT (N).Nkind = N_Entry_Declaration
5303 or else NT (N).Nkind = N_Function_Instantiation
5304 or else NT (N).Nkind = N_Function_Specification
5305 or else NT (N).Nkind = N_Procedure_Instantiation
5306 or else NT (N).Nkind = N_Procedure_Specification);
5307 Set_Flag15 (N, Val);
5308 end Set_Must_Not_Override;
5310 procedure Set_Must_Override
5311 (N : Node_Id; Val : Boolean := True) is
5313 pragma Assert (False
5314 or else NT (N).Nkind = N_Entry_Declaration
5315 or else NT (N).Nkind = N_Function_Instantiation
5316 or else NT (N).Nkind = N_Function_Specification
5317 or else NT (N).Nkind = N_Procedure_Instantiation
5318 or else NT (N).Nkind = N_Procedure_Specification);
5319 Set_Flag14 (N, Val);
5320 end Set_Must_Override;
5323 (N : Node_Id; Val : Node_Id) is
5325 pragma Assert (False
5326 or else NT (N).Nkind = N_Assignment_Statement
5327 or else NT (N).Nkind = N_Attribute_Definition_Clause
5328 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5329 or else NT (N).Nkind = N_Designator
5330 or else NT (N).Nkind = N_Entry_Call_Statement
5331 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5332 or else NT (N).Nkind = N_Exit_Statement
5333 or else NT (N).Nkind = N_Formal_Package_Declaration
5334 or else NT (N).Nkind = N_Function_Call
5335 or else NT (N).Nkind = N_Function_Instantiation
5336 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5337 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5338 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5339 or else NT (N).Nkind = N_Goto_Statement
5340 or else NT (N).Nkind = N_Iterator_Specification
5341 or else NT (N).Nkind = N_Object_Renaming_Declaration
5342 or else NT (N).Nkind = N_Package_Instantiation
5343 or else NT (N).Nkind = N_Package_Renaming_Declaration
5344 or else NT (N).Nkind = N_Procedure_Call_Statement
5345 or else NT (N).Nkind = N_Procedure_Instantiation
5346 or else NT (N).Nkind = N_Raise_Expression
5347 or else NT (N).Nkind = N_Raise_Statement
5348 or else NT (N).Nkind = N_Requeue_Statement
5349 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5350 or else NT (N).Nkind = N_Subunit
5351 or else NT (N).Nkind = N_Variant_Part
5352 or else NT (N).Nkind = N_With_Clause);
5353 Set_Node2_With_Parent (N, Val);
5357 (N : Node_Id; Val : List_Id) is
5359 pragma Assert (False
5360 or else NT (N).Nkind = N_Abort_Statement
5361 or else NT (N).Nkind = N_Use_Package_Clause);
5362 Set_List2_With_Parent (N, Val);
5365 procedure Set_Next_Entity
5366 (N : Node_Id; Val : Node_Id) is
5368 pragma Assert (False
5369 or else NT (N).Nkind = N_Defining_Character_Literal
5370 or else NT (N).Nkind = N_Defining_Identifier
5371 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5372 Set_Node2 (N, Val); -- semantic field, no parent set
5373 end Set_Next_Entity;
5375 procedure Set_Next_Exit_Statement
5376 (N : Node_Id; Val : Node_Id) is
5378 pragma Assert (False
5379 or else NT (N).Nkind = N_Exit_Statement);
5380 Set_Node3 (N, Val); -- semantic field, no parent set
5381 end Set_Next_Exit_Statement;
5383 procedure Set_Next_Implicit_With
5384 (N : Node_Id; Val : Node_Id) is
5386 pragma Assert (False
5387 or else NT (N).Nkind = N_With_Clause);
5388 Set_Node3 (N, Val); -- semantic field, no parent set
5389 end Set_Next_Implicit_With;
5391 procedure Set_Next_Named_Actual
5392 (N : Node_Id; Val : Node_Id) is
5394 pragma Assert (False
5395 or else NT (N).Nkind = N_Parameter_Association);
5396 Set_Node4 (N, Val); -- semantic field, no parent set
5397 end Set_Next_Named_Actual;
5399 procedure Set_Next_Pragma
5400 (N : Node_Id; Val : Node_Id) is
5402 pragma Assert (False
5403 or else NT (N).Nkind = N_Pragma);
5404 Set_Node1 (N, Val); -- semantic field, no parent set
5405 end Set_Next_Pragma;
5407 procedure Set_Next_Rep_Item
5408 (N : Node_Id; Val : Node_Id) is
5410 pragma Assert (False
5411 or else NT (N).Nkind = N_Aspect_Specification
5412 or else NT (N).Nkind = N_Attribute_Definition_Clause
5413 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5414 or else NT (N).Nkind = N_Pragma
5415 or else NT (N).Nkind = N_Record_Representation_Clause);
5416 Set_Node5 (N, Val); -- semantic field, no parent set
5417 end Set_Next_Rep_Item;
5419 procedure Set_Next_Use_Clause
5420 (N : Node_Id; Val : Node_Id) is
5422 pragma Assert (False
5423 or else NT (N).Nkind = N_Use_Package_Clause
5424 or else NT (N).Nkind = N_Use_Type_Clause);
5425 Set_Node3 (N, Val); -- semantic field, no parent set
5426 end Set_Next_Use_Clause;
5428 procedure Set_No_Ctrl_Actions
5429 (N : Node_Id; Val : Boolean := True) is
5431 pragma Assert (False
5432 or else NT (N).Nkind = N_Assignment_Statement);
5434 end Set_No_Ctrl_Actions;
5436 procedure Set_No_Elaboration_Check
5437 (N : Node_Id; Val : Boolean := True) is
5439 pragma Assert (False
5440 or else NT (N).Nkind = N_Function_Call
5441 or else NT (N).Nkind = N_Procedure_Call_Statement);
5442 Set_Flag14 (N, Val);
5443 end Set_No_Elaboration_Check;
5445 procedure Set_No_Entities_Ref_In_Spec
5446 (N : Node_Id; Val : Boolean := True) is
5448 pragma Assert (False
5449 or else NT (N).Nkind = N_With_Clause);
5451 end Set_No_Entities_Ref_In_Spec;
5453 procedure Set_No_Initialization
5454 (N : Node_Id; Val : Boolean := True) is
5456 pragma Assert (False
5457 or else NT (N).Nkind = N_Allocator
5458 or else NT (N).Nkind = N_Object_Declaration);
5459 Set_Flag13 (N, Val);
5460 end Set_No_Initialization;
5462 procedure Set_No_Minimize_Eliminate
5463 (N : Node_Id; Val : Boolean := True) is
5465 pragma Assert (False
5466 or else NT (N).Nkind = N_In
5467 or else NT (N).Nkind = N_Not_In);
5468 Set_Flag17 (N, Val);
5469 end Set_No_Minimize_Eliminate;
5471 procedure Set_No_Truncation
5472 (N : Node_Id; Val : Boolean := True) is
5474 pragma Assert (False
5475 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5476 Set_Flag17 (N, Val);
5477 end Set_No_Truncation;
5479 procedure Set_Null_Present
5480 (N : Node_Id; Val : Boolean := True) is
5482 pragma Assert (False
5483 or else NT (N).Nkind = N_Component_List
5484 or else NT (N).Nkind = N_Procedure_Specification
5485 or else NT (N).Nkind = N_Record_Definition);
5486 Set_Flag13 (N, Val);
5487 end Set_Null_Present;
5489 procedure Set_Null_Exclusion_Present
5490 (N : Node_Id; Val : Boolean := True) is
5492 pragma Assert (False
5493 or else NT (N).Nkind = N_Access_Definition
5494 or else NT (N).Nkind = N_Access_Function_Definition
5495 or else NT (N).Nkind = N_Access_Procedure_Definition
5496 or else NT (N).Nkind = N_Access_To_Object_Definition
5497 or else NT (N).Nkind = N_Allocator
5498 or else NT (N).Nkind = N_Component_Definition
5499 or else NT (N).Nkind = N_Derived_Type_Definition
5500 or else NT (N).Nkind = N_Discriminant_Specification
5501 or else NT (N).Nkind = N_Formal_Object_Declaration
5502 or else NT (N).Nkind = N_Function_Specification
5503 or else NT (N).Nkind = N_Object_Declaration
5504 or else NT (N).Nkind = N_Object_Renaming_Declaration
5505 or else NT (N).Nkind = N_Parameter_Specification
5506 or else NT (N).Nkind = N_Subtype_Declaration);
5507 Set_Flag11 (N, Val);
5508 end Set_Null_Exclusion_Present;
5510 procedure Set_Null_Exclusion_In_Return_Present
5511 (N : Node_Id; Val : Boolean := True) is
5513 pragma Assert (False
5514 or else NT (N).Nkind = N_Access_Function_Definition);
5515 Set_Flag14 (N, Val);
5516 end Set_Null_Exclusion_In_Return_Present;
5518 procedure Set_Null_Record_Present
5519 (N : Node_Id; Val : Boolean := True) is
5521 pragma Assert (False
5522 or else NT (N).Nkind = N_Aggregate
5523 or else NT (N).Nkind = N_Extension_Aggregate);
5524 Set_Flag17 (N, Val);
5525 end Set_Null_Record_Present;
5527 procedure Set_Object_Definition
5528 (N : Node_Id; Val : Node_Id) is
5530 pragma Assert (False
5531 or else NT (N).Nkind = N_Object_Declaration);
5532 Set_Node4_With_Parent (N, Val);
5533 end Set_Object_Definition;
5535 procedure Set_Of_Present
5536 (N : Node_Id; Val : Boolean := True) is
5538 pragma Assert (False
5539 or else NT (N).Nkind = N_Iterator_Specification);
5540 Set_Flag16 (N, Val);
5543 procedure Set_Original_Discriminant
5544 (N : Node_Id; Val : Node_Id) is
5546 pragma Assert (False
5547 or else NT (N).Nkind = N_Identifier);
5548 Set_Node2 (N, Val); -- semantic field, no parent set
5549 end Set_Original_Discriminant;
5551 procedure Set_Original_Entity
5552 (N : Node_Id; Val : Entity_Id) is
5554 pragma Assert (False
5555 or else NT (N).Nkind = N_Integer_Literal
5556 or else NT (N).Nkind = N_Real_Literal);
5557 Set_Node2 (N, Val); -- semantic field, no parent set
5558 end Set_Original_Entity;
5560 procedure Set_Others_Discrete_Choices
5561 (N : Node_Id; Val : List_Id) is
5563 pragma Assert (False
5564 or else NT (N).Nkind = N_Others_Choice);
5565 Set_List1_With_Parent (N, Val);
5566 end Set_Others_Discrete_Choices;
5568 procedure Set_Out_Present
5569 (N : Node_Id; Val : Boolean := True) is
5571 pragma Assert (False
5572 or else NT (N).Nkind = N_Formal_Object_Declaration
5573 or else NT (N).Nkind = N_Parameter_Specification);
5574 Set_Flag17 (N, Val);
5575 end Set_Out_Present;
5577 procedure Set_Parameter_Associations
5578 (N : Node_Id; Val : List_Id) is
5580 pragma Assert (False
5581 or else NT (N).Nkind = N_Entry_Call_Statement
5582 or else NT (N).Nkind = N_Function_Call
5583 or else NT (N).Nkind = N_Procedure_Call_Statement);
5584 Set_List3_With_Parent (N, Val);
5585 end Set_Parameter_Associations;
5587 procedure Set_Parameter_List_Truncated
5588 (N : Node_Id; Val : Boolean := True) is
5590 pragma Assert (False
5591 or else NT (N).Nkind = N_Function_Call
5592 or else NT (N).Nkind = N_Procedure_Call_Statement);
5593 Set_Flag17 (N, Val);
5594 end Set_Parameter_List_Truncated;
5596 procedure Set_Parameter_Specifications
5597 (N : Node_Id; Val : List_Id) is
5599 pragma Assert (False
5600 or else NT (N).Nkind = N_Accept_Statement
5601 or else NT (N).Nkind = N_Access_Function_Definition
5602 or else NT (N).Nkind = N_Access_Procedure_Definition
5603 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5604 or else NT (N).Nkind = N_Entry_Declaration
5605 or else NT (N).Nkind = N_Function_Specification
5606 or else NT (N).Nkind = N_Procedure_Specification);
5607 Set_List3_With_Parent (N, Val);
5608 end Set_Parameter_Specifications;
5610 procedure Set_Parameter_Type
5611 (N : Node_Id; Val : Node_Id) is
5613 pragma Assert (False
5614 or else NT (N).Nkind = N_Parameter_Specification);
5615 Set_Node2_With_Parent (N, Val);
5616 end Set_Parameter_Type;
5618 procedure Set_Parent_Spec
5619 (N : Node_Id; Val : Node_Id) is
5621 pragma Assert (False
5622 or else NT (N).Nkind = N_Function_Instantiation
5623 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5624 or else NT (N).Nkind = N_Generic_Package_Declaration
5625 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5626 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5627 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5628 or else NT (N).Nkind = N_Package_Declaration
5629 or else NT (N).Nkind = N_Package_Instantiation
5630 or else NT (N).Nkind = N_Package_Renaming_Declaration
5631 or else NT (N).Nkind = N_Procedure_Instantiation
5632 or else NT (N).Nkind = N_Subprogram_Declaration
5633 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5634 Set_Node4 (N, Val); -- semantic field, no parent set
5635 end Set_Parent_Spec;
5637 procedure Set_Position
5638 (N : Node_Id; Val : Node_Id) is
5640 pragma Assert (False
5641 or else NT (N).Nkind = N_Component_Clause);
5642 Set_Node2_With_Parent (N, Val);
5645 procedure Set_Pragma_Argument_Associations
5646 (N : Node_Id; Val : List_Id) is
5648 pragma Assert (False
5649 or else NT (N).Nkind = N_Pragma);
5650 Set_List2_With_Parent (N, Val);
5651 end Set_Pragma_Argument_Associations;
5653 procedure Set_Pragma_Identifier
5654 (N : Node_Id; Val : Node_Id) is
5656 pragma Assert (False
5657 or else NT (N).Nkind = N_Pragma);
5658 Set_Node4_With_Parent (N, Val);
5659 end Set_Pragma_Identifier;
5661 procedure Set_Pragmas_After
5662 (N : Node_Id; Val : List_Id) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Compilation_Unit_Aux
5666 or else NT (N).Nkind = N_Terminate_Alternative);
5667 Set_List5_With_Parent (N, Val);
5668 end Set_Pragmas_After;
5670 procedure Set_Pragmas_Before
5671 (N : Node_Id; Val : List_Id) is
5673 pragma Assert (False
5674 or else NT (N).Nkind = N_Accept_Alternative
5675 or else NT (N).Nkind = N_Delay_Alternative
5676 or else NT (N).Nkind = N_Entry_Call_Alternative
5677 or else NT (N).Nkind = N_Mod_Clause
5678 or else NT (N).Nkind = N_Terminate_Alternative
5679 or else NT (N).Nkind = N_Triggering_Alternative);
5680 Set_List4_With_Parent (N, Val);
5681 end Set_Pragmas_Before;
5683 procedure Set_Pre_Post_Conditions
5684 (N : Node_Id; Val : Node_Id) is
5686 pragma Assert (False
5687 or else NT (N).Nkind = N_Contract);
5688 Set_Node1 (N, Val); -- semantic field, no parent set
5689 end Set_Pre_Post_Conditions;
5691 procedure Set_Prefix
5692 (N : Node_Id; Val : Node_Id) is
5694 pragma Assert (False
5695 or else NT (N).Nkind = N_Attribute_Reference
5696 or else NT (N).Nkind = N_Expanded_Name
5697 or else NT (N).Nkind = N_Explicit_Dereference
5698 or else NT (N).Nkind = N_Indexed_Component
5699 or else NT (N).Nkind = N_Reference
5700 or else NT (N).Nkind = N_Selected_Component
5701 or else NT (N).Nkind = N_Slice);
5702 Set_Node3_With_Parent (N, Val);
5705 procedure Set_Premature_Use
5706 (N : Node_Id; Val : Node_Id) is
5708 pragma Assert (False
5709 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5711 end Set_Premature_Use;
5713 procedure Set_Present_Expr
5714 (N : Node_Id; Val : Uint) is
5716 pragma Assert (False
5717 or else NT (N).Nkind = N_Variant);
5719 end Set_Present_Expr;
5721 procedure Set_Prev_Ids
5722 (N : Node_Id; Val : Boolean := True) is
5724 pragma Assert (False
5725 or else NT (N).Nkind = N_Component_Declaration
5726 or else NT (N).Nkind = N_Discriminant_Specification
5727 or else NT (N).Nkind = N_Exception_Declaration
5728 or else NT (N).Nkind = N_Formal_Object_Declaration
5729 or else NT (N).Nkind = N_Number_Declaration
5730 or else NT (N).Nkind = N_Object_Declaration
5731 or else NT (N).Nkind = N_Parameter_Specification);
5735 procedure Set_Print_In_Hex
5736 (N : Node_Id; Val : Boolean := True) is
5738 pragma Assert (False
5739 or else NT (N).Nkind = N_Integer_Literal);
5740 Set_Flag13 (N, Val);
5741 end Set_Print_In_Hex;
5743 procedure Set_Private_Declarations
5744 (N : Node_Id; Val : List_Id) is
5746 pragma Assert (False
5747 or else NT (N).Nkind = N_Package_Specification
5748 or else NT (N).Nkind = N_Protected_Definition
5749 or else NT (N).Nkind = N_Task_Definition);
5750 Set_List3_With_Parent (N, Val);
5751 end Set_Private_Declarations;
5753 procedure Set_Private_Present
5754 (N : Node_Id; Val : Boolean := True) is
5756 pragma Assert (False
5757 or else NT (N).Nkind = N_Compilation_Unit
5758 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5759 or else NT (N).Nkind = N_With_Clause);
5760 Set_Flag15 (N, Val);
5761 end Set_Private_Present;
5763 procedure Set_Procedure_To_Call
5764 (N : Node_Id; Val : Node_Id) is
5766 pragma Assert (False
5767 or else NT (N).Nkind = N_Allocator
5768 or else NT (N).Nkind = N_Extended_Return_Statement
5769 or else NT (N).Nkind = N_Free_Statement
5770 or else NT (N).Nkind = N_Simple_Return_Statement);
5771 Set_Node2 (N, Val); -- semantic field, no parent set
5772 end Set_Procedure_To_Call;
5774 procedure Set_Proper_Body
5775 (N : Node_Id; Val : Node_Id) is
5777 pragma Assert (False
5778 or else NT (N).Nkind = N_Subunit);
5779 Set_Node1_With_Parent (N, Val);
5780 end Set_Proper_Body;
5782 procedure Set_Protected_Definition
5783 (N : Node_Id; Val : Node_Id) is
5785 pragma Assert (False
5786 or else NT (N).Nkind = N_Protected_Type_Declaration
5787 or else NT (N).Nkind = N_Single_Protected_Declaration);
5788 Set_Node3_With_Parent (N, Val);
5789 end Set_Protected_Definition;
5791 procedure Set_Protected_Present
5792 (N : Node_Id; Val : Boolean := True) is
5794 pragma Assert (False
5795 or else NT (N).Nkind = N_Access_Function_Definition
5796 or else NT (N).Nkind = N_Access_Procedure_Definition
5797 or else NT (N).Nkind = N_Derived_Type_Definition
5798 or else NT (N).Nkind = N_Record_Definition);
5800 end Set_Protected_Present;
5802 procedure Set_Raises_Constraint_Error
5803 (N : Node_Id; Val : Boolean := True) is
5805 pragma Assert (False
5806 or else NT (N).Nkind in N_Subexpr);
5808 end Set_Raises_Constraint_Error;
5810 procedure Set_Range_Constraint
5811 (N : Node_Id; Val : Node_Id) is
5813 pragma Assert (False
5814 or else NT (N).Nkind = N_Delta_Constraint
5815 or else NT (N).Nkind = N_Digits_Constraint);
5816 Set_Node4_With_Parent (N, Val);
5817 end Set_Range_Constraint;
5819 procedure Set_Range_Expression
5820 (N : Node_Id; Val : Node_Id) is
5822 pragma Assert (False
5823 or else NT (N).Nkind = N_Range_Constraint);
5824 Set_Node4_With_Parent (N, Val);
5825 end Set_Range_Expression;
5827 procedure Set_Real_Range_Specification
5828 (N : Node_Id; Val : Node_Id) is
5830 pragma Assert (False
5831 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5832 or else NT (N).Nkind = N_Floating_Point_Definition
5833 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5834 Set_Node4_With_Parent (N, Val);
5835 end Set_Real_Range_Specification;
5837 procedure Set_Realval
5838 (N : Node_Id; Val : Ureal) is
5840 pragma Assert (False
5841 or else NT (N).Nkind = N_Real_Literal);
5842 Set_Ureal3 (N, Val);
5845 procedure Set_Reason
5846 (N : Node_Id; Val : Uint) is
5848 pragma Assert (False
5849 or else NT (N).Nkind = N_Raise_Constraint_Error
5850 or else NT (N).Nkind = N_Raise_Program_Error
5851 or else NT (N).Nkind = N_Raise_Storage_Error);
5855 procedure Set_Record_Extension_Part
5856 (N : Node_Id; Val : Node_Id) is
5858 pragma Assert (False
5859 or else NT (N).Nkind = N_Derived_Type_Definition);
5860 Set_Node3_With_Parent (N, Val);
5861 end Set_Record_Extension_Part;
5863 procedure Set_Redundant_Use
5864 (N : Node_Id; Val : Boolean := True) is
5866 pragma Assert (False
5867 or else NT (N).Nkind = N_Attribute_Reference
5868 or else NT (N).Nkind = N_Expanded_Name
5869 or else NT (N).Nkind = N_Identifier);
5870 Set_Flag13 (N, Val);
5871 end Set_Redundant_Use;
5873 procedure Set_Renaming_Exception
5874 (N : Node_Id; Val : Node_Id) is
5876 pragma Assert (False
5877 or else NT (N).Nkind = N_Exception_Declaration);
5879 end Set_Renaming_Exception;
5881 procedure Set_Result_Definition
5882 (N : Node_Id; Val : Node_Id) is
5884 pragma Assert (False
5885 or else NT (N).Nkind = N_Access_Function_Definition
5886 or else NT (N).Nkind = N_Function_Specification);
5887 Set_Node4_With_Parent (N, Val);
5888 end Set_Result_Definition;
5890 procedure Set_Return_Object_Declarations
5891 (N : Node_Id; Val : List_Id) is
5893 pragma Assert (False
5894 or else NT (N).Nkind = N_Extended_Return_Statement);
5895 Set_List3_With_Parent (N, Val);
5896 end Set_Return_Object_Declarations;
5898 procedure Set_Return_Statement_Entity
5899 (N : Node_Id; Val : Node_Id) is
5901 pragma Assert (False
5902 or else NT (N).Nkind = N_Extended_Return_Statement
5903 or else NT (N).Nkind = N_Simple_Return_Statement);
5904 Set_Node5 (N, Val); -- semantic field, no parent set
5905 end Set_Return_Statement_Entity;
5907 procedure Set_Reverse_Present
5908 (N : Node_Id; Val : Boolean := True) is
5910 pragma Assert (False
5911 or else NT (N).Nkind = N_Iterator_Specification
5912 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5913 Set_Flag15 (N, Val);
5914 end Set_Reverse_Present;
5916 procedure Set_Right_Opnd
5917 (N : Node_Id; Val : Node_Id) is
5919 pragma Assert (False
5920 or else NT (N).Nkind in N_Op
5921 or else NT (N).Nkind = N_And_Then
5922 or else NT (N).Nkind = N_In
5923 or else NT (N).Nkind = N_Not_In
5924 or else NT (N).Nkind = N_Or_Else);
5925 Set_Node3_With_Parent (N, Val);
5928 procedure Set_Rounded_Result
5929 (N : Node_Id; Val : Boolean := True) is
5931 pragma Assert (False
5932 or else NT (N).Nkind = N_Op_Divide
5933 or else NT (N).Nkind = N_Op_Multiply
5934 or else NT (N).Nkind = N_Type_Conversion);
5935 Set_Flag18 (N, Val);
5936 end Set_Rounded_Result;
5938 procedure Set_SCIL_Controlling_Tag
5939 (N : Node_Id; Val : Node_Id) is
5941 pragma Assert (False
5942 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5943 Set_Node5 (N, Val); -- semantic field, no parent set
5944 end Set_SCIL_Controlling_Tag;
5946 procedure Set_SCIL_Entity
5947 (N : Node_Id; Val : Node_Id) is
5949 pragma Assert (False
5950 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5951 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5952 or else NT (N).Nkind = N_SCIL_Membership_Test);
5953 Set_Node4 (N, Val); -- semantic field, no parent set
5954 end Set_SCIL_Entity;
5956 procedure Set_SCIL_Tag_Value
5957 (N : Node_Id; Val : Node_Id) is
5959 pragma Assert (False
5960 or else NT (N).Nkind = N_SCIL_Membership_Test);
5961 Set_Node5 (N, Val); -- semantic field, no parent set
5962 end Set_SCIL_Tag_Value;
5964 procedure Set_SCIL_Target_Prim
5965 (N : Node_Id; Val : Node_Id) is
5967 pragma Assert (False
5968 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5969 Set_Node2 (N, Val); -- semantic field, no parent set
5970 end Set_SCIL_Target_Prim;
5973 (N : Node_Id; Val : Node_Id) is
5975 pragma Assert (False
5976 or else NT (N).Nkind = N_Defining_Character_Literal
5977 or else NT (N).Nkind = N_Defining_Identifier
5978 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5979 Set_Node3 (N, Val); -- semantic field, no parent set
5982 procedure Set_Select_Alternatives
5983 (N : Node_Id; Val : List_Id) is
5985 pragma Assert (False
5986 or else NT (N).Nkind = N_Selective_Accept);
5987 Set_List1_With_Parent (N, Val);
5988 end Set_Select_Alternatives;
5990 procedure Set_Selector_Name
5991 (N : Node_Id; Val : Node_Id) is
5993 pragma Assert (False
5994 or else NT (N).Nkind = N_Expanded_Name
5995 or else NT (N).Nkind = N_Generic_Association
5996 or else NT (N).Nkind = N_Parameter_Association
5997 or else NT (N).Nkind = N_Selected_Component);
5998 Set_Node2_With_Parent (N, Val);
5999 end Set_Selector_Name;
6001 procedure Set_Selector_Names
6002 (N : Node_Id; Val : List_Id) is
6004 pragma Assert (False
6005 or else NT (N).Nkind = N_Discriminant_Association);
6006 Set_List1_With_Parent (N, Val);
6007 end Set_Selector_Names;
6009 procedure Set_Shift_Count_OK
6010 (N : Node_Id; Val : Boolean := True) is
6012 pragma Assert (False
6013 or else NT (N).Nkind = N_Op_Rotate_Left
6014 or else NT (N).Nkind = N_Op_Rotate_Right
6015 or else NT (N).Nkind = N_Op_Shift_Left
6016 or else NT (N).Nkind = N_Op_Shift_Right
6017 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6019 end Set_Shift_Count_OK;
6021 procedure Set_Source_Type
6022 (N : Node_Id; Val : Entity_Id) is
6024 pragma Assert (False
6025 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6026 Set_Node1 (N, Val); -- semantic field, no parent set
6027 end Set_Source_Type;
6029 procedure Set_Specification
6030 (N : Node_Id; Val : Node_Id) is
6032 pragma Assert (False
6033 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6034 or else NT (N).Nkind = N_Expression_Function
6035 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6036 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6037 or else NT (N).Nkind = N_Generic_Package_Declaration
6038 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6039 or else NT (N).Nkind = N_Package_Declaration
6040 or else NT (N).Nkind = N_Subprogram_Body
6041 or else NT (N).Nkind = N_Subprogram_Body_Stub
6042 or else NT (N).Nkind = N_Subprogram_Declaration
6043 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6044 Set_Node1_With_Parent (N, Val);
6045 end Set_Specification;
6047 procedure Set_Split_PPC
6048 (N : Node_Id; Val : Boolean) is
6050 pragma Assert (False
6051 or else NT (N).Nkind = N_Aspect_Specification
6052 or else NT (N).Nkind = N_Pragma);
6053 Set_Flag17 (N, Val);
6056 procedure Set_Statements
6057 (N : Node_Id; Val : List_Id) is
6059 pragma Assert (False
6060 or else NT (N).Nkind = N_Abortable_Part
6061 or else NT (N).Nkind = N_Accept_Alternative
6062 or else NT (N).Nkind = N_Case_Statement_Alternative
6063 or else NT (N).Nkind = N_Delay_Alternative
6064 or else NT (N).Nkind = N_Entry_Call_Alternative
6065 or else NT (N).Nkind = N_Exception_Handler
6066 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6067 or else NT (N).Nkind = N_Loop_Statement
6068 or else NT (N).Nkind = N_Triggering_Alternative);
6069 Set_List3_With_Parent (N, Val);
6072 procedure Set_Storage_Pool
6073 (N : Node_Id; Val : Node_Id) is
6075 pragma Assert (False
6076 or else NT (N).Nkind = N_Allocator
6077 or else NT (N).Nkind = N_Extended_Return_Statement
6078 or else NT (N).Nkind = N_Free_Statement
6079 or else NT (N).Nkind = N_Simple_Return_Statement);
6080 Set_Node1 (N, Val); -- semantic field, no parent set
6081 end Set_Storage_Pool;
6083 procedure Set_Subpool_Handle_Name
6084 (N : Node_Id; Val : Node_Id) is
6086 pragma Assert (False
6087 or else NT (N).Nkind = N_Allocator);
6088 Set_Node4_With_Parent (N, Val);
6089 end Set_Subpool_Handle_Name;
6091 procedure Set_Strval
6092 (N : Node_Id; Val : String_Id) is
6094 pragma Assert (False
6095 or else NT (N).Nkind = N_Operator_Symbol
6096 or else NT (N).Nkind = N_String_Literal);
6100 procedure Set_Subtype_Indication
6101 (N : Node_Id; Val : Node_Id) is
6103 pragma Assert (False
6104 or else NT (N).Nkind = N_Access_To_Object_Definition
6105 or else NT (N).Nkind = N_Component_Definition
6106 or else NT (N).Nkind = N_Derived_Type_Definition
6107 or else NT (N).Nkind = N_Iterator_Specification
6108 or else NT (N).Nkind = N_Private_Extension_Declaration
6109 or else NT (N).Nkind = N_Subtype_Declaration);
6110 Set_Node5_With_Parent (N, Val);
6111 end Set_Subtype_Indication;
6113 procedure Set_Subtype_Mark
6114 (N : Node_Id; Val : Node_Id) is
6116 pragma Assert (False
6117 or else NT (N).Nkind = N_Access_Definition
6118 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6119 or else NT (N).Nkind = N_Formal_Object_Declaration
6120 or else NT (N).Nkind = N_Object_Renaming_Declaration
6121 or else NT (N).Nkind = N_Qualified_Expression
6122 or else NT (N).Nkind = N_Subtype_Indication
6123 or else NT (N).Nkind = N_Type_Conversion
6124 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6125 Set_Node4_With_Parent (N, Val);
6126 end Set_Subtype_Mark;
6128 procedure Set_Subtype_Marks
6129 (N : Node_Id; Val : List_Id) is
6131 pragma Assert (False
6132 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6133 or else NT (N).Nkind = N_Use_Type_Clause);
6134 Set_List2_With_Parent (N, Val);
6135 end Set_Subtype_Marks;
6137 procedure Set_Suppress_Assignment_Checks
6138 (N : Node_Id; Val : Boolean := True) is
6140 pragma Assert (False
6141 or else NT (N).Nkind = N_Assignment_Statement
6142 or else NT (N).Nkind = N_Object_Declaration);
6143 Set_Flag18 (N, Val);
6144 end Set_Suppress_Assignment_Checks;
6146 procedure Set_Suppress_Loop_Warnings
6147 (N : Node_Id; Val : Boolean := True) is
6149 pragma Assert (False
6150 or else NT (N).Nkind = N_Loop_Statement);
6151 Set_Flag17 (N, Val);
6152 end Set_Suppress_Loop_Warnings;
6154 procedure Set_Synchronized_Present
6155 (N : Node_Id; Val : Boolean := True) is
6157 pragma Assert (False
6158 or else NT (N).Nkind = N_Derived_Type_Definition
6159 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6160 or else NT (N).Nkind = N_Private_Extension_Declaration
6161 or else NT (N).Nkind = N_Record_Definition);
6163 end Set_Synchronized_Present;
6165 procedure Set_Tagged_Present
6166 (N : Node_Id; Val : Boolean := True) is
6168 pragma Assert (False
6169 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6170 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6171 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6172 or else NT (N).Nkind = N_Private_Type_Declaration
6173 or else NT (N).Nkind = N_Record_Definition);
6174 Set_Flag15 (N, Val);
6175 end Set_Tagged_Present;
6177 procedure Set_Target_Type
6178 (N : Node_Id; Val : Entity_Id) is
6180 pragma Assert (False
6181 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6182 Set_Node2 (N, Val); -- semantic field, no parent set
6183 end Set_Target_Type;
6185 procedure Set_Task_Definition
6186 (N : Node_Id; Val : Node_Id) is
6188 pragma Assert (False
6189 or else NT (N).Nkind = N_Single_Task_Declaration
6190 or else NT (N).Nkind = N_Task_Type_Declaration);
6191 Set_Node3_With_Parent (N, Val);
6192 end Set_Task_Definition;
6194 procedure Set_Task_Present
6195 (N : Node_Id; Val : Boolean := True) is
6197 pragma Assert (False
6198 or else NT (N).Nkind = N_Derived_Type_Definition
6199 or else NT (N).Nkind = N_Record_Definition);
6201 end Set_Task_Present;
6203 procedure Set_Then_Actions
6204 (N : Node_Id; Val : List_Id) is
6206 pragma Assert (False
6207 or else NT (N).Nkind = N_If_Expression);
6208 Set_List2 (N, Val); -- semantic field, no parent set
6209 end Set_Then_Actions;
6211 procedure Set_Then_Statements
6212 (N : Node_Id; Val : List_Id) is
6214 pragma Assert (False
6215 or else NT (N).Nkind = N_Elsif_Part
6216 or else NT (N).Nkind = N_If_Statement);
6217 Set_List2_With_Parent (N, Val);
6218 end Set_Then_Statements;
6220 procedure Set_Treat_Fixed_As_Integer
6221 (N : Node_Id; Val : Boolean := True) is
6223 pragma Assert (False
6224 or else NT (N).Nkind = N_Op_Divide
6225 or else NT (N).Nkind = N_Op_Mod
6226 or else NT (N).Nkind = N_Op_Multiply
6227 or else NT (N).Nkind = N_Op_Rem);
6228 Set_Flag14 (N, Val);
6229 end Set_Treat_Fixed_As_Integer;
6231 procedure Set_Triggering_Alternative
6232 (N : Node_Id; Val : Node_Id) is
6234 pragma Assert (False
6235 or else NT (N).Nkind = N_Asynchronous_Select);
6236 Set_Node1_With_Parent (N, Val);
6237 end Set_Triggering_Alternative;
6239 procedure Set_Triggering_Statement
6240 (N : Node_Id; Val : Node_Id) is
6242 pragma Assert (False
6243 or else NT (N).Nkind = N_Triggering_Alternative);
6244 Set_Node1_With_Parent (N, Val);
6245 end Set_Triggering_Statement;
6247 procedure Set_TSS_Elist
6248 (N : Node_Id; Val : Elist_Id) is
6250 pragma Assert (False
6251 or else NT (N).Nkind = N_Freeze_Entity);
6252 Set_Elist3 (N, Val); -- semantic field, no parent set
6255 procedure Set_Type_Definition
6256 (N : Node_Id; Val : Node_Id) is
6258 pragma Assert (False
6259 or else NT (N).Nkind = N_Full_Type_Declaration);
6260 Set_Node3_With_Parent (N, Val);
6261 end Set_Type_Definition;
6264 (N : Node_Id; Val : Node_Id) is
6266 pragma Assert (False
6267 or else NT (N).Nkind = N_Compilation_Unit);
6268 Set_Node2_With_Parent (N, Val);
6271 procedure Set_Unknown_Discriminants_Present
6272 (N : Node_Id; Val : Boolean := True) is
6274 pragma Assert (False
6275 or else NT (N).Nkind = N_Formal_Type_Declaration
6276 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6277 or else NT (N).Nkind = N_Private_Extension_Declaration
6278 or else NT (N).Nkind = N_Private_Type_Declaration);
6279 Set_Flag13 (N, Val);
6280 end Set_Unknown_Discriminants_Present;
6282 procedure Set_Unreferenced_In_Spec
6283 (N : Node_Id; Val : Boolean := True) is
6285 pragma Assert (False
6286 or else NT (N).Nkind = N_With_Clause);
6288 end Set_Unreferenced_In_Spec;
6290 procedure Set_Variant_Part
6291 (N : Node_Id; Val : Node_Id) is
6293 pragma Assert (False
6294 or else NT (N).Nkind = N_Component_List);
6295 Set_Node4_With_Parent (N, Val);
6296 end Set_Variant_Part;
6298 procedure Set_Variants
6299 (N : Node_Id; Val : List_Id) is
6301 pragma Assert (False
6302 or else NT (N).Nkind = N_Variant_Part);
6303 Set_List1_With_Parent (N, Val);
6306 procedure Set_Visible_Declarations
6307 (N : Node_Id; Val : List_Id) is
6309 pragma Assert (False
6310 or else NT (N).Nkind = N_Package_Specification
6311 or else NT (N).Nkind = N_Protected_Definition
6312 or else NT (N).Nkind = N_Task_Definition);
6313 Set_List2_With_Parent (N, Val);
6314 end Set_Visible_Declarations;
6316 procedure Set_Used_Operations
6317 (N : Node_Id; Val : Elist_Id) is
6319 pragma Assert (False
6320 or else NT (N).Nkind = N_Use_Type_Clause);
6321 Set_Elist5 (N, Val);
6322 end Set_Used_Operations;
6324 procedure Set_Was_Originally_Stub
6325 (N : Node_Id; Val : Boolean := True) is
6327 pragma Assert (False
6328 or else NT (N).Nkind = N_Package_Body
6329 or else NT (N).Nkind = N_Protected_Body
6330 or else NT (N).Nkind = N_Subprogram_Body
6331 or else NT (N).Nkind = N_Task_Body);
6332 Set_Flag13 (N, Val);
6333 end Set_Was_Originally_Stub;
6335 procedure Set_Withed_Body
6336 (N : Node_Id; Val : Node_Id) is
6338 pragma Assert (False
6339 or else NT (N).Nkind = N_With_Clause);
6341 end Set_Withed_Body;
6343 -------------------------
6344 -- Iterator Procedures --
6345 -------------------------
6347 procedure Next_Entity (N : in out Node_Id) is
6349 N := Next_Entity (N);
6352 procedure Next_Named_Actual (N : in out Node_Id) is
6354 N := Next_Named_Actual (N);
6355 end Next_Named_Actual;
6357 procedure Next_Rep_Item (N : in out Node_Id) is
6359 N := Next_Rep_Item (N);
6362 procedure Next_Use_Clause (N : in out Node_Id) is
6364 N := Next_Use_Clause (N);
6365 end Next_Use_Clause;
6371 function End_Location (N : Node_Id) return Source_Ptr is
6372 L : constant Uint := End_Span (N);
6377 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6381 --------------------
6382 -- Get_Pragma_Arg --
6383 --------------------
6385 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6387 if Nkind (Arg) = N_Pragma_Argument_Association then
6388 return Expression (Arg);
6394 ----------------------
6395 -- Set_End_Location --
6396 ----------------------
6398 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6401 UI_From_Int (Int (S) - Int (Sloc (N))));
6402 end Set_End_Location;
6411 V2 : Node_Kind) return Boolean
6414 return T = V1 or else
6422 V3 : Node_Kind) return Boolean
6425 return T = V1 or else
6435 V4 : Node_Kind) return Boolean
6438 return T = V1 or else
6450 V5 : Node_Kind) return Boolean
6453 return T = V1 or else
6467 V6 : Node_Kind) return Boolean
6470 return T = V1 or else
6486 V7 : Node_Kind) return Boolean
6489 return T = V1 or else
6507 V8 : Node_Kind) return Boolean
6510 return T = V1 or else
6530 V9 : Node_Kind) return Boolean
6533 return T = V1 or else
6548 function Pragma_Name (N : Node_Id) return Name_Id is
6550 return Chars (Pragma_Identifier (N));