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);
1111 function Entity_Or_Associated_Node
1112 (N : Node_Id) return Node_Id is
1114 pragma Assert (False
1115 or else NT (N).Nkind in N_Has_Entity
1116 or else NT (N).Nkind = N_Freeze_Entity);
1118 end Entity_Or_Associated_Node;
1120 function Entry_Body_Formal_Part
1121 (N : Node_Id) return Node_Id is
1123 pragma Assert (False
1124 or else NT (N).Nkind = N_Entry_Body);
1126 end Entry_Body_Formal_Part;
1128 function Entry_Call_Alternative
1129 (N : Node_Id) return Node_Id is
1131 pragma Assert (False
1132 or else NT (N).Nkind = N_Conditional_Entry_Call
1133 or else NT (N).Nkind = N_Timed_Entry_Call);
1135 end Entry_Call_Alternative;
1137 function Entry_Call_Statement
1138 (N : Node_Id) return Node_Id is
1140 pragma Assert (False
1141 or else NT (N).Nkind = N_Entry_Call_Alternative);
1143 end Entry_Call_Statement;
1145 function Entry_Direct_Name
1146 (N : Node_Id) return Node_Id is
1148 pragma Assert (False
1149 or else NT (N).Nkind = N_Accept_Statement);
1151 end Entry_Direct_Name;
1153 function Entry_Index
1154 (N : Node_Id) return Node_Id is
1156 pragma Assert (False
1157 or else NT (N).Nkind = N_Accept_Statement);
1161 function Entry_Index_Specification
1162 (N : Node_Id) return Node_Id is
1164 pragma Assert (False
1165 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1167 end Entry_Index_Specification;
1170 (N : Node_Id) return Node_Id is
1172 pragma Assert (False
1173 or else NT (N).Nkind in N_Has_Etype);
1177 function Exception_Choices
1178 (N : Node_Id) return List_Id is
1180 pragma Assert (False
1181 or else NT (N).Nkind = N_Exception_Handler);
1183 end Exception_Choices;
1185 function Exception_Handlers
1186 (N : Node_Id) return List_Id is
1188 pragma Assert (False
1189 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1191 end Exception_Handlers;
1193 function Exception_Junk
1194 (N : Node_Id) return Boolean is
1196 pragma Assert (False
1197 or else NT (N).Nkind = N_Block_Statement
1198 or else NT (N).Nkind = N_Goto_Statement
1199 or else NT (N).Nkind = N_Label
1200 or else NT (N).Nkind = N_Object_Declaration
1201 or else NT (N).Nkind = N_Subtype_Declaration);
1205 function Exception_Label
1206 (N : Node_Id) return Node_Id is
1208 pragma Assert (False
1209 or else NT (N).Nkind = N_Exception_Handler
1210 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1211 or else NT (N).Nkind = N_Push_Program_Error_Label
1212 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1214 end Exception_Label;
1216 function Expansion_Delayed
1217 (N : Node_Id) return Boolean is
1219 pragma Assert (False
1220 or else NT (N).Nkind = N_Aggregate
1221 or else NT (N).Nkind = N_Extension_Aggregate);
1223 end Expansion_Delayed;
1225 function Explicit_Actual_Parameter
1226 (N : Node_Id) return Node_Id is
1228 pragma Assert (False
1229 or else NT (N).Nkind = N_Parameter_Association);
1231 end Explicit_Actual_Parameter;
1233 function Explicit_Generic_Actual_Parameter
1234 (N : Node_Id) return Node_Id is
1236 pragma Assert (False
1237 or else NT (N).Nkind = N_Generic_Association);
1239 end Explicit_Generic_Actual_Parameter;
1242 (N : Node_Id) return Node_Id is
1244 pragma Assert (False
1245 or else NT (N).Nkind = N_Allocator
1246 or else NT (N).Nkind = N_Aspect_Specification
1247 or else NT (N).Nkind = N_Assignment_Statement
1248 or else NT (N).Nkind = N_At_Clause
1249 or else NT (N).Nkind = N_Attribute_Definition_Clause
1250 or else NT (N).Nkind = N_Case_Expression
1251 or else NT (N).Nkind = N_Case_Expression_Alternative
1252 or else NT (N).Nkind = N_Case_Statement
1253 or else NT (N).Nkind = N_Code_Statement
1254 or else NT (N).Nkind = N_Component_Association
1255 or else NT (N).Nkind = N_Component_Declaration
1256 or else NT (N).Nkind = N_Delay_Relative_Statement
1257 or else NT (N).Nkind = N_Delay_Until_Statement
1258 or else NT (N).Nkind = N_Discriminant_Association
1259 or else NT (N).Nkind = N_Discriminant_Specification
1260 or else NT (N).Nkind = N_Exception_Declaration
1261 or else NT (N).Nkind = N_Expression_Function
1262 or else NT (N).Nkind = N_Expression_With_Actions
1263 or else NT (N).Nkind = N_Free_Statement
1264 or else NT (N).Nkind = N_Mod_Clause
1265 or else NT (N).Nkind = N_Modular_Type_Definition
1266 or else NT (N).Nkind = N_Number_Declaration
1267 or else NT (N).Nkind = N_Object_Declaration
1268 or else NT (N).Nkind = N_Parameter_Specification
1269 or else NT (N).Nkind = N_Pragma_Argument_Association
1270 or else NT (N).Nkind = N_Qualified_Expression
1271 or else NT (N).Nkind = N_Raise_Expression
1272 or else NT (N).Nkind = N_Raise_Statement
1273 or else NT (N).Nkind = N_Simple_Return_Statement
1274 or else NT (N).Nkind = N_Type_Conversion
1275 or else NT (N).Nkind = N_Unchecked_Expression
1276 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1280 function Expressions
1281 (N : Node_Id) return List_Id is
1283 pragma Assert (False
1284 or else NT (N).Nkind = N_Aggregate
1285 or else NT (N).Nkind = N_Attribute_Reference
1286 or else NT (N).Nkind = N_Extension_Aggregate
1287 or else NT (N).Nkind = N_If_Expression
1288 or else NT (N).Nkind = N_Indexed_Component);
1293 (N : Node_Id) return Node_Id is
1295 pragma Assert (False
1296 or else NT (N).Nkind = N_Component_Clause);
1300 function First_Inlined_Subprogram
1301 (N : Node_Id) return Entity_Id is
1303 pragma Assert (False
1304 or else NT (N).Nkind = N_Compilation_Unit);
1306 end First_Inlined_Subprogram;
1309 (N : Node_Id) return Boolean is
1311 pragma Assert (False
1312 or else NT (N).Nkind = N_With_Clause);
1316 function First_Named_Actual
1317 (N : Node_Id) return Node_Id is
1319 pragma Assert (False
1320 or else NT (N).Nkind = N_Entry_Call_Statement
1321 or else NT (N).Nkind = N_Function_Call
1322 or else NT (N).Nkind = N_Procedure_Call_Statement);
1324 end First_Named_Actual;
1326 function First_Real_Statement
1327 (N : Node_Id) return Node_Id is
1329 pragma Assert (False
1330 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1332 end First_Real_Statement;
1334 function First_Subtype_Link
1335 (N : Node_Id) return Entity_Id is
1337 pragma Assert (False
1338 or else NT (N).Nkind = N_Freeze_Entity);
1340 end First_Subtype_Link;
1342 function Float_Truncate
1343 (N : Node_Id) return Boolean is
1345 pragma Assert (False
1346 or else NT (N).Nkind = N_Type_Conversion);
1350 function Formal_Type_Definition
1351 (N : Node_Id) return Node_Id is
1353 pragma Assert (False
1354 or else NT (N).Nkind = N_Formal_Type_Declaration);
1356 end Formal_Type_Definition;
1358 function Forwards_OK
1359 (N : Node_Id) return Boolean is
1361 pragma Assert (False
1362 or else NT (N).Nkind = N_Assignment_Statement);
1366 function From_Aspect_Specification
1367 (N : Node_Id) return Boolean is
1369 pragma Assert (False
1370 or else NT (N).Nkind = N_Attribute_Definition_Clause
1371 or else NT (N).Nkind = N_Pragma);
1373 end From_Aspect_Specification;
1375 function From_At_End
1376 (N : Node_Id) return Boolean is
1378 pragma Assert (False
1379 or else NT (N).Nkind = N_Raise_Statement);
1383 function From_At_Mod
1384 (N : Node_Id) return Boolean is
1386 pragma Assert (False
1387 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1391 function From_Default
1392 (N : Node_Id) return Boolean is
1394 pragma Assert (False
1395 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1399 function Generic_Associations
1400 (N : Node_Id) return List_Id is
1402 pragma Assert (False
1403 or else NT (N).Nkind = N_Formal_Package_Declaration
1404 or else NT (N).Nkind = N_Function_Instantiation
1405 or else NT (N).Nkind = N_Package_Instantiation
1406 or else NT (N).Nkind = N_Procedure_Instantiation);
1408 end Generic_Associations;
1410 function Generic_Formal_Declarations
1411 (N : Node_Id) return List_Id is
1413 pragma Assert (False
1414 or else NT (N).Nkind = N_Generic_Package_Declaration
1415 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1417 end Generic_Formal_Declarations;
1419 function Generic_Parent
1420 (N : Node_Id) return Node_Id is
1422 pragma Assert (False
1423 or else NT (N).Nkind = N_Function_Specification
1424 or else NT (N).Nkind = N_Package_Specification
1425 or else NT (N).Nkind = N_Procedure_Specification);
1429 function Generic_Parent_Type
1430 (N : Node_Id) return Node_Id is
1432 pragma Assert (False
1433 or else NT (N).Nkind = N_Subtype_Declaration);
1435 end Generic_Parent_Type;
1437 function Handled_Statement_Sequence
1438 (N : Node_Id) return Node_Id is
1440 pragma Assert (False
1441 or else NT (N).Nkind = N_Accept_Statement
1442 or else NT (N).Nkind = N_Block_Statement
1443 or else NT (N).Nkind = N_Entry_Body
1444 or else NT (N).Nkind = N_Extended_Return_Statement
1445 or else NT (N).Nkind = N_Package_Body
1446 or else NT (N).Nkind = N_Subprogram_Body
1447 or else NT (N).Nkind = N_Task_Body);
1449 end Handled_Statement_Sequence;
1451 function Handler_List_Entry
1452 (N : Node_Id) return Node_Id is
1454 pragma Assert (False
1455 or else NT (N).Nkind = N_Object_Declaration);
1457 end Handler_List_Entry;
1459 function Has_Created_Identifier
1460 (N : Node_Id) return Boolean is
1462 pragma Assert (False
1463 or else NT (N).Nkind = N_Block_Statement
1464 or else NT (N).Nkind = N_Loop_Statement);
1466 end Has_Created_Identifier;
1468 function Has_Dereference_Action
1469 (N : Node_Id) return Boolean is
1471 pragma Assert (False
1472 or else NT (N).Nkind = N_Explicit_Dereference);
1474 end Has_Dereference_Action;
1476 function Has_Dynamic_Length_Check
1477 (N : Node_Id) return Boolean is
1479 pragma Assert (False
1480 or else NT (N).Nkind in N_Subexpr);
1482 end Has_Dynamic_Length_Check;
1484 function Has_Dynamic_Range_Check
1485 (N : Node_Id) return Boolean is
1487 pragma Assert (False
1488 or else NT (N).Nkind = N_Subtype_Declaration
1489 or else NT (N).Nkind in N_Subexpr);
1491 end Has_Dynamic_Range_Check;
1493 function Has_Init_Expression
1494 (N : Node_Id) return Boolean is
1496 pragma Assert (False
1497 or else NT (N).Nkind = N_Object_Declaration);
1499 end Has_Init_Expression;
1501 function Has_Local_Raise
1502 (N : Node_Id) return Boolean is
1504 pragma Assert (False
1505 or else NT (N).Nkind = N_Exception_Handler);
1507 end Has_Local_Raise;
1509 function Has_No_Elaboration_Code
1510 (N : Node_Id) return Boolean is
1512 pragma Assert (False
1513 or else NT (N).Nkind = N_Compilation_Unit);
1515 end Has_No_Elaboration_Code;
1517 function Has_Pragma_Suppress_All
1518 (N : Node_Id) return Boolean is
1520 pragma Assert (False
1521 or else NT (N).Nkind = N_Compilation_Unit);
1523 end Has_Pragma_Suppress_All;
1525 function Has_Private_View
1526 (N : Node_Id) return Boolean is
1528 pragma Assert (False
1529 or else NT (N).Nkind in N_Op
1530 or else NT (N).Nkind = N_Character_Literal
1531 or else NT (N).Nkind = N_Expanded_Name
1532 or else NT (N).Nkind = N_Identifier
1533 or else NT (N).Nkind = N_Operator_Symbol);
1535 end Has_Private_View;
1537 function Has_Relative_Deadline_Pragma
1538 (N : Node_Id) return Boolean is
1540 pragma Assert (False
1541 or else NT (N).Nkind = N_Subprogram_Body
1542 or else NT (N).Nkind = N_Task_Definition);
1544 end Has_Relative_Deadline_Pragma;
1546 function Has_Self_Reference
1547 (N : Node_Id) return Boolean is
1549 pragma Assert (False
1550 or else NT (N).Nkind = N_Aggregate
1551 or else NT (N).Nkind = N_Extension_Aggregate);
1553 end Has_Self_Reference;
1555 function Has_Storage_Size_Pragma
1556 (N : Node_Id) return Boolean is
1558 pragma Assert (False
1559 or else NT (N).Nkind = N_Task_Definition);
1561 end Has_Storage_Size_Pragma;
1563 function Has_Wide_Character
1564 (N : Node_Id) return Boolean is
1566 pragma Assert (False
1567 or else NT (N).Nkind = N_String_Literal);
1569 end Has_Wide_Character;
1571 function Has_Wide_Wide_Character
1572 (N : Node_Id) return Boolean is
1574 pragma Assert (False
1575 or else NT (N).Nkind = N_String_Literal);
1577 end Has_Wide_Wide_Character;
1579 function Header_Size_Added
1580 (N : Node_Id) return Boolean is
1582 pragma Assert (False
1583 or else NT (N).Nkind = N_Attribute_Reference);
1585 end Header_Size_Added;
1587 function Hidden_By_Use_Clause
1588 (N : Node_Id) return Elist_Id is
1590 pragma Assert (False
1591 or else NT (N).Nkind = N_Use_Package_Clause
1592 or else NT (N).Nkind = N_Use_Type_Clause);
1594 end Hidden_By_Use_Clause;
1597 (N : Node_Id) return Node_Id is
1599 pragma Assert (False
1600 or else NT (N).Nkind = N_Range
1601 or else NT (N).Nkind = N_Real_Range_Specification
1602 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1607 (N : Node_Id) return Node_Id is
1609 pragma Assert (False
1610 or else NT (N).Nkind = N_Aspect_Specification
1611 or else NT (N).Nkind = N_At_Clause
1612 or else NT (N).Nkind = N_Block_Statement
1613 or else NT (N).Nkind = N_Designator
1614 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1615 or else NT (N).Nkind = N_Label
1616 or else NT (N).Nkind = N_Loop_Statement
1617 or else NT (N).Nkind = N_Record_Representation_Clause
1618 or else NT (N).Nkind = N_Subprogram_Info);
1622 function Implicit_With
1623 (N : Node_Id) return Boolean is
1625 pragma Assert (False
1626 or else NT (N).Nkind = N_With_Clause);
1630 function Implicit_With_From_Instantiation
1631 (N : Node_Id) return Boolean is
1633 pragma Assert (False
1634 or else NT (N).Nkind = N_With_Clause);
1636 end Implicit_With_From_Instantiation;
1638 function Interface_List
1639 (N : Node_Id) return List_Id is
1641 pragma Assert (False
1642 or else NT (N).Nkind = N_Derived_Type_Definition
1643 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1644 or else NT (N).Nkind = N_Private_Extension_Declaration
1645 or else NT (N).Nkind = N_Protected_Type_Declaration
1646 or else NT (N).Nkind = N_Record_Definition
1647 or else NT (N).Nkind = N_Single_Protected_Declaration
1648 or else NT (N).Nkind = N_Single_Task_Declaration
1649 or else NT (N).Nkind = N_Task_Type_Declaration);
1653 function Interface_Present
1654 (N : Node_Id) return Boolean is
1656 pragma Assert (False
1657 or else NT (N).Nkind = N_Derived_Type_Definition
1658 or else NT (N).Nkind = N_Record_Definition);
1660 end Interface_Present;
1662 function Import_Interface_Present
1663 (N : Node_Id) return Boolean is
1665 pragma Assert (False
1666 or else NT (N).Nkind = N_Pragma);
1668 end Import_Interface_Present;
1670 function In_Assertion_Expression
1671 (N : Node_Id) return Boolean is
1673 pragma Assert (False
1674 or else NT (N).Nkind = N_Function_Call);
1676 end In_Assertion_Expression;
1679 (N : Node_Id) return Boolean is
1681 pragma Assert (False
1682 or else NT (N).Nkind = N_Formal_Object_Declaration
1683 or else NT (N).Nkind = N_Parameter_Specification);
1687 function Includes_Infinities
1688 (N : Node_Id) return Boolean is
1690 pragma Assert (False
1691 or else NT (N).Nkind = N_Range);
1693 end Includes_Infinities;
1695 function Inherited_Discriminant
1696 (N : Node_Id) return Boolean is
1698 pragma Assert (False
1699 or else NT (N).Nkind = N_Component_Association);
1701 end Inherited_Discriminant;
1703 function Instance_Spec
1704 (N : Node_Id) return Node_Id is
1706 pragma Assert (False
1707 or else NT (N).Nkind = N_Formal_Package_Declaration
1708 or else NT (N).Nkind = N_Function_Instantiation
1709 or else NT (N).Nkind = N_Package_Instantiation
1710 or else NT (N).Nkind = N_Procedure_Instantiation);
1715 (N : Node_Id) return Uint is
1717 pragma Assert (False
1718 or else NT (N).Nkind = N_Integer_Literal);
1722 function Is_Accessibility_Actual
1723 (N : Node_Id) return Boolean is
1725 pragma Assert (False
1726 or else NT (N).Nkind = N_Parameter_Association);
1728 end Is_Accessibility_Actual;
1730 function Is_Asynchronous_Call_Block
1731 (N : Node_Id) return Boolean is
1733 pragma Assert (False
1734 or else NT (N).Nkind = N_Block_Statement);
1736 end Is_Asynchronous_Call_Block;
1738 function Is_Boolean_Aspect
1739 (N : Node_Id) return Boolean is
1741 pragma Assert (False
1742 or else NT (N).Nkind = N_Aspect_Specification);
1744 end Is_Boolean_Aspect;
1747 (N : Node_Id) return Boolean is
1749 pragma Assert (False
1750 or else NT (N).Nkind = N_Aspect_Specification
1751 or else NT (N).Nkind = N_Pragma);
1755 function Is_Component_Left_Opnd
1756 (N : Node_Id) return Boolean is
1758 pragma Assert (False
1759 or else NT (N).Nkind = N_Op_Concat);
1761 end Is_Component_Left_Opnd;
1763 function Is_Component_Right_Opnd
1764 (N : Node_Id) return Boolean is
1766 pragma Assert (False
1767 or else NT (N).Nkind = N_Op_Concat);
1769 end Is_Component_Right_Opnd;
1771 function Is_Controlling_Actual
1772 (N : Node_Id) return Boolean is
1774 pragma Assert (False
1775 or else NT (N).Nkind in N_Subexpr);
1777 end Is_Controlling_Actual;
1779 function Is_Disabled
1780 (N : Node_Id) return Boolean is
1782 pragma Assert (False
1783 or else NT (N).Nkind = N_Aspect_Specification
1784 or else NT (N).Nkind = N_Pragma);
1788 function Is_Delayed_Aspect
1789 (N : Node_Id) return Boolean is
1791 pragma Assert (False
1792 or else NT (N).Nkind = N_Aspect_Specification
1793 or else NT (N).Nkind = N_Attribute_Definition_Clause
1794 or else NT (N).Nkind = N_Pragma);
1796 end Is_Delayed_Aspect;
1798 function Is_Dynamic_Coextension
1799 (N : Node_Id) return Boolean is
1801 pragma Assert (False
1802 or else NT (N).Nkind = N_Allocator);
1804 end Is_Dynamic_Coextension;
1807 (N : Node_Id) return Boolean is
1809 pragma Assert (False
1810 or else NT (N).Nkind = N_If_Expression);
1814 function Is_Entry_Barrier_Function
1815 (N : Node_Id) return Boolean is
1817 pragma Assert (False
1818 or else NT (N).Nkind = N_Subprogram_Body);
1820 end Is_Entry_Barrier_Function;
1822 function Is_Expanded_Build_In_Place_Call
1823 (N : Node_Id) return Boolean is
1825 pragma Assert (False
1826 or else NT (N).Nkind = N_Function_Call);
1828 end Is_Expanded_Build_In_Place_Call;
1830 function Is_Finalization_Wrapper
1831 (N : Node_Id) return Boolean is
1833 pragma Assert (False
1834 or else NT (N).Nkind = N_Block_Statement);
1836 end Is_Finalization_Wrapper;
1838 function Is_Folded_In_Parser
1839 (N : Node_Id) return Boolean is
1841 pragma Assert (False
1842 or else NT (N).Nkind = N_String_Literal);
1844 end Is_Folded_In_Parser;
1847 (N : Node_Id) return Boolean is
1849 pragma Assert (False
1850 or else NT (N).Nkind = N_Aspect_Specification
1851 or else NT (N).Nkind = N_Pragma);
1855 function Is_In_Discriminant_Check
1856 (N : Node_Id) return Boolean is
1858 pragma Assert (False
1859 or else NT (N).Nkind = N_Selected_Component);
1861 end Is_In_Discriminant_Check;
1863 function Is_Machine_Number
1864 (N : Node_Id) return Boolean is
1866 pragma Assert (False
1867 or else NT (N).Nkind = N_Real_Literal);
1869 end Is_Machine_Number;
1871 function Is_Null_Loop
1872 (N : Node_Id) return Boolean is
1874 pragma Assert (False
1875 or else NT (N).Nkind = N_Loop_Statement);
1879 function Is_Overloaded
1880 (N : Node_Id) return Boolean is
1882 pragma Assert (False
1883 or else NT (N).Nkind in N_Subexpr);
1887 function Is_Power_Of_2_For_Shift
1888 (N : Node_Id) return Boolean is
1890 pragma Assert (False
1891 or else NT (N).Nkind = N_Op_Expon);
1893 end Is_Power_Of_2_For_Shift;
1895 function Is_Prefixed_Call
1896 (N : Node_Id) return Boolean is
1898 pragma Assert (False
1899 or else NT (N).Nkind = N_Selected_Component);
1901 end Is_Prefixed_Call;
1903 function Is_Protected_Subprogram_Body
1904 (N : Node_Id) return Boolean is
1906 pragma Assert (False
1907 or else NT (N).Nkind = N_Subprogram_Body);
1909 end Is_Protected_Subprogram_Body;
1911 function Is_Static_Coextension
1912 (N : Node_Id) return Boolean is
1914 pragma Assert (False
1915 or else NT (N).Nkind = N_Allocator);
1917 end Is_Static_Coextension;
1919 function Is_Static_Expression
1920 (N : Node_Id) return Boolean is
1922 pragma Assert (False
1923 or else NT (N).Nkind in N_Subexpr);
1925 end Is_Static_Expression;
1927 function Is_Subprogram_Descriptor
1928 (N : Node_Id) return Boolean is
1930 pragma Assert (False
1931 or else NT (N).Nkind = N_Object_Declaration);
1933 end Is_Subprogram_Descriptor;
1935 function Is_Task_Allocation_Block
1936 (N : Node_Id) return Boolean is
1938 pragma Assert (False
1939 or else NT (N).Nkind = N_Block_Statement);
1941 end Is_Task_Allocation_Block;
1943 function Is_Task_Master
1944 (N : Node_Id) return Boolean is
1946 pragma Assert (False
1947 or else NT (N).Nkind = N_Block_Statement
1948 or else NT (N).Nkind = N_Subprogram_Body
1949 or else NT (N).Nkind = N_Task_Body);
1953 function Iteration_Scheme
1954 (N : Node_Id) return Node_Id is
1956 pragma Assert (False
1957 or else NT (N).Nkind = N_Loop_Statement);
1959 end Iteration_Scheme;
1961 function Iterator_Specification
1962 (N : Node_Id) return Node_Id is
1964 pragma Assert (False
1965 or else NT (N).Nkind = N_Iteration_Scheme
1966 or else NT (N).Nkind = N_Quantified_Expression);
1968 end Iterator_Specification;
1971 (N : Node_Id) return Node_Id is
1973 pragma Assert (False
1974 or else NT (N).Nkind = N_Itype_Reference);
1978 function Kill_Range_Check
1979 (N : Node_Id) return Boolean is
1981 pragma Assert (False
1982 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1984 end Kill_Range_Check;
1986 function Label_Construct
1987 (N : Node_Id) return Node_Id is
1989 pragma Assert (False
1990 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1992 end Label_Construct;
1995 (N : Node_Id) return Node_Id is
1997 pragma Assert (False
1998 or else NT (N).Nkind = N_Component_Clause);
2003 (N : Node_Id) return Boolean is
2005 pragma Assert (False
2006 or else NT (N).Nkind = N_With_Clause);
2011 (N : Node_Id) return Node_Id is
2013 pragma Assert (False
2014 or else NT (N).Nkind = N_And_Then
2015 or else NT (N).Nkind = N_In
2016 or else NT (N).Nkind = N_Not_In
2017 or else NT (N).Nkind = N_Or_Else
2018 or else NT (N).Nkind in N_Binary_Op);
2022 function Library_Unit
2023 (N : Node_Id) return Node_Id is
2025 pragma Assert (False
2026 or else NT (N).Nkind = N_Compilation_Unit
2027 or else NT (N).Nkind = N_Package_Body_Stub
2028 or else NT (N).Nkind = N_Protected_Body_Stub
2029 or else NT (N).Nkind = N_Subprogram_Body_Stub
2030 or else NT (N).Nkind = N_Task_Body_Stub
2031 or else NT (N).Nkind = N_With_Clause);
2035 function Limited_View_Installed
2036 (N : Node_Id) return Boolean is
2038 pragma Assert (False
2039 or else NT (N).Nkind = N_Package_Specification
2040 or else NT (N).Nkind = N_With_Clause);
2042 end Limited_View_Installed;
2044 function Limited_Present
2045 (N : Node_Id) return Boolean is
2047 pragma Assert (False
2048 or else NT (N).Nkind = N_Derived_Type_Definition
2049 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2050 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2051 or else NT (N).Nkind = N_Private_Extension_Declaration
2052 or else NT (N).Nkind = N_Private_Type_Declaration
2053 or else NT (N).Nkind = N_Record_Definition
2054 or else NT (N).Nkind = N_With_Clause);
2056 end Limited_Present;
2059 (N : Node_Id) return List_Id is
2061 pragma Assert (False
2062 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2066 function Local_Raise_Not_OK
2067 (N : Node_Id) return Boolean is
2069 pragma Assert (False
2070 or else NT (N).Nkind = N_Exception_Handler);
2072 end Local_Raise_Not_OK;
2074 function Local_Raise_Statements
2075 (N : Node_Id) return Elist_Id is
2077 pragma Assert (False
2078 or else NT (N).Nkind = N_Exception_Handler);
2080 end Local_Raise_Statements;
2082 function Loop_Actions
2083 (N : Node_Id) return List_Id is
2085 pragma Assert (False
2086 or else NT (N).Nkind = N_Component_Association);
2090 function Loop_Parameter_Specification
2091 (N : Node_Id) return Node_Id is
2093 pragma Assert (False
2094 or else NT (N).Nkind = N_Iteration_Scheme
2095 or else NT (N).Nkind = N_Quantified_Expression);
2097 end Loop_Parameter_Specification;
2100 (N : Node_Id) return Node_Id is
2102 pragma Assert (False
2103 or else NT (N).Nkind = N_Range
2104 or else NT (N).Nkind = N_Real_Range_Specification
2105 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2110 (N : Node_Id) return Node_Id is
2112 pragma Assert (False
2113 or else NT (N).Nkind = N_Record_Representation_Clause);
2118 (N : Node_Id) return Boolean is
2120 pragma Assert (False
2121 or else NT (N).Nkind = N_Component_Declaration
2122 or else NT (N).Nkind = N_Discriminant_Specification
2123 or else NT (N).Nkind = N_Exception_Declaration
2124 or else NT (N).Nkind = N_Formal_Object_Declaration
2125 or else NT (N).Nkind = N_Number_Declaration
2126 or else NT (N).Nkind = N_Object_Declaration
2127 or else NT (N).Nkind = N_Parameter_Specification);
2131 function Must_Be_Byte_Aligned
2132 (N : Node_Id) return Boolean is
2134 pragma Assert (False
2135 or else NT (N).Nkind = N_Attribute_Reference);
2137 end Must_Be_Byte_Aligned;
2139 function Must_Not_Freeze
2140 (N : Node_Id) return Boolean is
2142 pragma Assert (False
2143 or else NT (N).Nkind = N_Subtype_Indication
2144 or else NT (N).Nkind in N_Subexpr);
2146 end Must_Not_Freeze;
2148 function Must_Not_Override
2149 (N : Node_Id) return Boolean is
2151 pragma Assert (False
2152 or else NT (N).Nkind = N_Entry_Declaration
2153 or else NT (N).Nkind = N_Function_Instantiation
2154 or else NT (N).Nkind = N_Function_Specification
2155 or else NT (N).Nkind = N_Procedure_Instantiation
2156 or else NT (N).Nkind = N_Procedure_Specification);
2158 end Must_Not_Override;
2160 function Must_Override
2161 (N : Node_Id) return Boolean is
2163 pragma Assert (False
2164 or else NT (N).Nkind = N_Entry_Declaration
2165 or else NT (N).Nkind = N_Function_Instantiation
2166 or else NT (N).Nkind = N_Function_Specification
2167 or else NT (N).Nkind = N_Procedure_Instantiation
2168 or else NT (N).Nkind = N_Procedure_Specification);
2173 (N : Node_Id) return Node_Id is
2175 pragma Assert (False
2176 or else NT (N).Nkind = N_Assignment_Statement
2177 or else NT (N).Nkind = N_Attribute_Definition_Clause
2178 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2179 or else NT (N).Nkind = N_Designator
2180 or else NT (N).Nkind = N_Entry_Call_Statement
2181 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2182 or else NT (N).Nkind = N_Exit_Statement
2183 or else NT (N).Nkind = N_Formal_Package_Declaration
2184 or else NT (N).Nkind = N_Function_Call
2185 or else NT (N).Nkind = N_Function_Instantiation
2186 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2187 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2188 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2189 or else NT (N).Nkind = N_Goto_Statement
2190 or else NT (N).Nkind = N_Iterator_Specification
2191 or else NT (N).Nkind = N_Object_Renaming_Declaration
2192 or else NT (N).Nkind = N_Package_Instantiation
2193 or else NT (N).Nkind = N_Package_Renaming_Declaration
2194 or else NT (N).Nkind = N_Procedure_Call_Statement
2195 or else NT (N).Nkind = N_Procedure_Instantiation
2196 or else NT (N).Nkind = N_Raise_Expression
2197 or else NT (N).Nkind = N_Raise_Statement
2198 or else NT (N).Nkind = N_Requeue_Statement
2199 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2200 or else NT (N).Nkind = N_Subunit
2201 or else NT (N).Nkind = N_Variant_Part
2202 or else NT (N).Nkind = N_With_Clause);
2207 (N : Node_Id) return List_Id is
2209 pragma Assert (False
2210 or else NT (N).Nkind = N_Abort_Statement
2211 or else NT (N).Nkind = N_Use_Package_Clause);
2215 function Next_Entity
2216 (N : Node_Id) return Node_Id is
2218 pragma Assert (False
2219 or else NT (N).Nkind = N_Defining_Character_Literal
2220 or else NT (N).Nkind = N_Defining_Identifier
2221 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2225 function Next_Exit_Statement
2226 (N : Node_Id) return Node_Id is
2228 pragma Assert (False
2229 or else NT (N).Nkind = N_Exit_Statement);
2231 end Next_Exit_Statement;
2233 function Next_Implicit_With
2234 (N : Node_Id) return Node_Id is
2236 pragma Assert (False
2237 or else NT (N).Nkind = N_With_Clause);
2239 end Next_Implicit_With;
2241 function Next_Named_Actual
2242 (N : Node_Id) return Node_Id is
2244 pragma Assert (False
2245 or else NT (N).Nkind = N_Parameter_Association);
2247 end Next_Named_Actual;
2249 function Next_Pragma
2250 (N : Node_Id) return Node_Id is
2252 pragma Assert (False
2253 or else NT (N).Nkind = N_Pragma);
2257 function Next_Rep_Item
2258 (N : Node_Id) return Node_Id is
2260 pragma Assert (False
2261 or else NT (N).Nkind = N_Aspect_Specification
2262 or else NT (N).Nkind = N_Attribute_Definition_Clause
2263 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2264 or else NT (N).Nkind = N_Pragma
2265 or else NT (N).Nkind = N_Record_Representation_Clause);
2269 function Next_Use_Clause
2270 (N : Node_Id) return Node_Id is
2272 pragma Assert (False
2273 or else NT (N).Nkind = N_Use_Package_Clause
2274 or else NT (N).Nkind = N_Use_Type_Clause);
2276 end Next_Use_Clause;
2278 function No_Ctrl_Actions
2279 (N : Node_Id) return Boolean is
2281 pragma Assert (False
2282 or else NT (N).Nkind = N_Assignment_Statement);
2284 end No_Ctrl_Actions;
2286 function No_Elaboration_Check
2287 (N : Node_Id) return Boolean is
2289 pragma Assert (False
2290 or else NT (N).Nkind = N_Function_Call
2291 or else NT (N).Nkind = N_Procedure_Call_Statement);
2293 end No_Elaboration_Check;
2295 function No_Entities_Ref_In_Spec
2296 (N : Node_Id) return Boolean is
2298 pragma Assert (False
2299 or else NT (N).Nkind = N_With_Clause);
2301 end No_Entities_Ref_In_Spec;
2303 function No_Initialization
2304 (N : Node_Id) return Boolean is
2306 pragma Assert (False
2307 or else NT (N).Nkind = N_Allocator
2308 or else NT (N).Nkind = N_Object_Declaration);
2310 end No_Initialization;
2312 function No_Minimize_Eliminate
2313 (N : Node_Id) return Boolean is
2315 pragma Assert (False
2316 or else NT (N).Nkind = N_In
2317 or else NT (N).Nkind = N_Not_In);
2319 end No_Minimize_Eliminate;
2321 function No_Truncation
2322 (N : Node_Id) return Boolean is
2324 pragma Assert (False
2325 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2329 function Null_Present
2330 (N : Node_Id) return Boolean is
2332 pragma Assert (False
2333 or else NT (N).Nkind = N_Component_List
2334 or else NT (N).Nkind = N_Procedure_Specification
2335 or else NT (N).Nkind = N_Record_Definition);
2339 function Null_Exclusion_Present
2340 (N : Node_Id) return Boolean is
2342 pragma Assert (False
2343 or else NT (N).Nkind = N_Access_Definition
2344 or else NT (N).Nkind = N_Access_Function_Definition
2345 or else NT (N).Nkind = N_Access_Procedure_Definition
2346 or else NT (N).Nkind = N_Access_To_Object_Definition
2347 or else NT (N).Nkind = N_Allocator
2348 or else NT (N).Nkind = N_Component_Definition
2349 or else NT (N).Nkind = N_Derived_Type_Definition
2350 or else NT (N).Nkind = N_Discriminant_Specification
2351 or else NT (N).Nkind = N_Formal_Object_Declaration
2352 or else NT (N).Nkind = N_Function_Specification
2353 or else NT (N).Nkind = N_Object_Declaration
2354 or else NT (N).Nkind = N_Object_Renaming_Declaration
2355 or else NT (N).Nkind = N_Parameter_Specification
2356 or else NT (N).Nkind = N_Subtype_Declaration);
2358 end Null_Exclusion_Present;
2360 function Null_Exclusion_In_Return_Present
2361 (N : Node_Id) return Boolean is
2363 pragma Assert (False
2364 or else NT (N).Nkind = N_Access_Function_Definition);
2366 end Null_Exclusion_In_Return_Present;
2368 function Null_Record_Present
2369 (N : Node_Id) return Boolean is
2371 pragma Assert (False
2372 or else NT (N).Nkind = N_Aggregate
2373 or else NT (N).Nkind = N_Extension_Aggregate);
2375 end Null_Record_Present;
2377 function Object_Definition
2378 (N : Node_Id) return Node_Id is
2380 pragma Assert (False
2381 or else NT (N).Nkind = N_Object_Declaration);
2383 end Object_Definition;
2386 (N : Node_Id) return Boolean is
2388 pragma Assert (False
2389 or else NT (N).Nkind = N_Iterator_Specification);
2393 function Original_Discriminant
2394 (N : Node_Id) return Node_Id is
2396 pragma Assert (False
2397 or else NT (N).Nkind = N_Identifier);
2399 end Original_Discriminant;
2401 function Original_Entity
2402 (N : Node_Id) return Entity_Id is
2404 pragma Assert (False
2405 or else NT (N).Nkind = N_Integer_Literal
2406 or else NT (N).Nkind = N_Real_Literal);
2408 end Original_Entity;
2410 function Others_Discrete_Choices
2411 (N : Node_Id) return List_Id is
2413 pragma Assert (False
2414 or else NT (N).Nkind = N_Others_Choice);
2416 end Others_Discrete_Choices;
2418 function Out_Present
2419 (N : Node_Id) return Boolean is
2421 pragma Assert (False
2422 or else NT (N).Nkind = N_Formal_Object_Declaration
2423 or else NT (N).Nkind = N_Parameter_Specification);
2427 function Parameter_Associations
2428 (N : Node_Id) return List_Id is
2430 pragma Assert (False
2431 or else NT (N).Nkind = N_Entry_Call_Statement
2432 or else NT (N).Nkind = N_Function_Call
2433 or else NT (N).Nkind = N_Procedure_Call_Statement);
2435 end Parameter_Associations;
2437 function Parameter_List_Truncated
2438 (N : Node_Id) return Boolean is
2440 pragma Assert (False
2441 or else NT (N).Nkind = N_Function_Call
2442 or else NT (N).Nkind = N_Procedure_Call_Statement);
2444 end Parameter_List_Truncated;
2446 function Parameter_Specifications
2447 (N : Node_Id) return List_Id is
2449 pragma Assert (False
2450 or else NT (N).Nkind = N_Accept_Statement
2451 or else NT (N).Nkind = N_Access_Function_Definition
2452 or else NT (N).Nkind = N_Access_Procedure_Definition
2453 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2454 or else NT (N).Nkind = N_Entry_Declaration
2455 or else NT (N).Nkind = N_Function_Specification
2456 or else NT (N).Nkind = N_Procedure_Specification);
2458 end Parameter_Specifications;
2460 function Parameter_Type
2461 (N : Node_Id) return Node_Id is
2463 pragma Assert (False
2464 or else NT (N).Nkind = N_Parameter_Specification);
2468 function Parent_Spec
2469 (N : Node_Id) return Node_Id is
2471 pragma Assert (False
2472 or else NT (N).Nkind = N_Function_Instantiation
2473 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2474 or else NT (N).Nkind = N_Generic_Package_Declaration
2475 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2476 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2477 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2478 or else NT (N).Nkind = N_Package_Declaration
2479 or else NT (N).Nkind = N_Package_Instantiation
2480 or else NT (N).Nkind = N_Package_Renaming_Declaration
2481 or else NT (N).Nkind = N_Procedure_Instantiation
2482 or else NT (N).Nkind = N_Subprogram_Declaration
2483 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2488 (N : Node_Id) return Node_Id is
2490 pragma Assert (False
2491 or else NT (N).Nkind = N_Component_Clause);
2495 function Pragma_Argument_Associations
2496 (N : Node_Id) return List_Id is
2498 pragma Assert (False
2499 or else NT (N).Nkind = N_Pragma);
2501 end Pragma_Argument_Associations;
2503 function Pragma_Identifier
2504 (N : Node_Id) return Node_Id is
2506 pragma Assert (False
2507 or else NT (N).Nkind = N_Pragma);
2509 end Pragma_Identifier;
2511 function Pragmas_After
2512 (N : Node_Id) return List_Id is
2514 pragma Assert (False
2515 or else NT (N).Nkind = N_Compilation_Unit_Aux
2516 or else NT (N).Nkind = N_Terminate_Alternative);
2520 function Pragmas_Before
2521 (N : Node_Id) return List_Id is
2523 pragma Assert (False
2524 or else NT (N).Nkind = N_Accept_Alternative
2525 or else NT (N).Nkind = N_Delay_Alternative
2526 or else NT (N).Nkind = N_Entry_Call_Alternative
2527 or else NT (N).Nkind = N_Mod_Clause
2528 or else NT (N).Nkind = N_Terminate_Alternative
2529 or else NT (N).Nkind = N_Triggering_Alternative);
2533 function Pre_Post_Conditions
2534 (N : Node_Id) return Node_Id is
2536 pragma Assert (False
2537 or else NT (N).Nkind = N_Contract);
2539 end Pre_Post_Conditions;
2542 (N : Node_Id) return Node_Id is
2544 pragma Assert (False
2545 or else NT (N).Nkind = N_Attribute_Reference
2546 or else NT (N).Nkind = N_Expanded_Name
2547 or else NT (N).Nkind = N_Explicit_Dereference
2548 or else NT (N).Nkind = N_Indexed_Component
2549 or else NT (N).Nkind = N_Reference
2550 or else NT (N).Nkind = N_Selected_Component
2551 or else NT (N).Nkind = N_Slice);
2555 function Premature_Use
2556 (N : Node_Id) return Node_Id is
2558 pragma Assert (False
2559 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2563 function Present_Expr
2564 (N : Node_Id) return Uint is
2566 pragma Assert (False
2567 or else NT (N).Nkind = N_Variant);
2572 (N : Node_Id) return Boolean is
2574 pragma Assert (False
2575 or else NT (N).Nkind = N_Component_Declaration
2576 or else NT (N).Nkind = N_Discriminant_Specification
2577 or else NT (N).Nkind = N_Exception_Declaration
2578 or else NT (N).Nkind = N_Formal_Object_Declaration
2579 or else NT (N).Nkind = N_Number_Declaration
2580 or else NT (N).Nkind = N_Object_Declaration
2581 or else NT (N).Nkind = N_Parameter_Specification);
2585 function Print_In_Hex
2586 (N : Node_Id) return Boolean is
2588 pragma Assert (False
2589 or else NT (N).Nkind = N_Integer_Literal);
2593 function Private_Declarations
2594 (N : Node_Id) return List_Id is
2596 pragma Assert (False
2597 or else NT (N).Nkind = N_Package_Specification
2598 or else NT (N).Nkind = N_Protected_Definition
2599 or else NT (N).Nkind = N_Task_Definition);
2601 end Private_Declarations;
2603 function Private_Present
2604 (N : Node_Id) return Boolean is
2606 pragma Assert (False
2607 or else NT (N).Nkind = N_Compilation_Unit
2608 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2609 or else NT (N).Nkind = N_With_Clause);
2611 end Private_Present;
2613 function Procedure_To_Call
2614 (N : Node_Id) return Node_Id is
2616 pragma Assert (False
2617 or else NT (N).Nkind = N_Allocator
2618 or else NT (N).Nkind = N_Extended_Return_Statement
2619 or else NT (N).Nkind = N_Free_Statement
2620 or else NT (N).Nkind = N_Simple_Return_Statement);
2622 end Procedure_To_Call;
2624 function Proper_Body
2625 (N : Node_Id) return Node_Id is
2627 pragma Assert (False
2628 or else NT (N).Nkind = N_Subunit);
2632 function Protected_Definition
2633 (N : Node_Id) return Node_Id is
2635 pragma Assert (False
2636 or else NT (N).Nkind = N_Protected_Type_Declaration
2637 or else NT (N).Nkind = N_Single_Protected_Declaration);
2639 end Protected_Definition;
2641 function Protected_Present
2642 (N : Node_Id) return Boolean is
2644 pragma Assert (False
2645 or else NT (N).Nkind = N_Access_Function_Definition
2646 or else NT (N).Nkind = N_Access_Procedure_Definition
2647 or else NT (N).Nkind = N_Derived_Type_Definition
2648 or else NT (N).Nkind = N_Record_Definition);
2650 end Protected_Present;
2652 function Raises_Constraint_Error
2653 (N : Node_Id) return Boolean is
2655 pragma Assert (False
2656 or else NT (N).Nkind in N_Subexpr);
2658 end Raises_Constraint_Error;
2660 function Range_Constraint
2661 (N : Node_Id) return Node_Id is
2663 pragma Assert (False
2664 or else NT (N).Nkind = N_Delta_Constraint
2665 or else NT (N).Nkind = N_Digits_Constraint);
2667 end Range_Constraint;
2669 function Range_Expression
2670 (N : Node_Id) return Node_Id is
2672 pragma Assert (False
2673 or else NT (N).Nkind = N_Range_Constraint);
2675 end Range_Expression;
2677 function Real_Range_Specification
2678 (N : Node_Id) return Node_Id is
2680 pragma Assert (False
2681 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2682 or else NT (N).Nkind = N_Floating_Point_Definition
2683 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2685 end Real_Range_Specification;
2688 (N : Node_Id) return Ureal is
2690 pragma Assert (False
2691 or else NT (N).Nkind = N_Real_Literal);
2696 (N : Node_Id) return Uint is
2698 pragma Assert (False
2699 or else NT (N).Nkind = N_Raise_Constraint_Error
2700 or else NT (N).Nkind = N_Raise_Program_Error
2701 or else NT (N).Nkind = N_Raise_Storage_Error);
2705 function Record_Extension_Part
2706 (N : Node_Id) return Node_Id is
2708 pragma Assert (False
2709 or else NT (N).Nkind = N_Derived_Type_Definition);
2711 end Record_Extension_Part;
2713 function Redundant_Use
2714 (N : Node_Id) return Boolean is
2716 pragma Assert (False
2717 or else NT (N).Nkind = N_Attribute_Reference
2718 or else NT (N).Nkind = N_Expanded_Name
2719 or else NT (N).Nkind = N_Identifier);
2723 function Renaming_Exception
2724 (N : Node_Id) return Node_Id is
2726 pragma Assert (False
2727 or else NT (N).Nkind = N_Exception_Declaration);
2729 end Renaming_Exception;
2731 function Result_Definition
2732 (N : Node_Id) return Node_Id is
2734 pragma Assert (False
2735 or else NT (N).Nkind = N_Access_Function_Definition
2736 or else NT (N).Nkind = N_Function_Specification);
2738 end Result_Definition;
2740 function Return_Object_Declarations
2741 (N : Node_Id) return List_Id is
2743 pragma Assert (False
2744 or else NT (N).Nkind = N_Extended_Return_Statement);
2746 end Return_Object_Declarations;
2748 function Return_Statement_Entity
2749 (N : Node_Id) return Node_Id is
2751 pragma Assert (False
2752 or else NT (N).Nkind = N_Extended_Return_Statement
2753 or else NT (N).Nkind = N_Simple_Return_Statement);
2755 end Return_Statement_Entity;
2757 function Reverse_Present
2758 (N : Node_Id) return Boolean is
2760 pragma Assert (False
2761 or else NT (N).Nkind = N_Iterator_Specification
2762 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2764 end Reverse_Present;
2767 (N : Node_Id) return Node_Id is
2769 pragma Assert (False
2770 or else NT (N).Nkind in N_Op
2771 or else NT (N).Nkind = N_And_Then
2772 or else NT (N).Nkind = N_In
2773 or else NT (N).Nkind = N_Not_In
2774 or else NT (N).Nkind = N_Or_Else);
2778 function Rounded_Result
2779 (N : Node_Id) return Boolean is
2781 pragma Assert (False
2782 or else NT (N).Nkind = N_Op_Divide
2783 or else NT (N).Nkind = N_Op_Multiply
2784 or else NT (N).Nkind = N_Type_Conversion);
2788 function SCIL_Controlling_Tag
2789 (N : Node_Id) return Node_Id is
2791 pragma Assert (False
2792 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2794 end SCIL_Controlling_Tag;
2796 function SCIL_Entity
2797 (N : Node_Id) return Node_Id is
2799 pragma Assert (False
2800 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2801 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2802 or else NT (N).Nkind = N_SCIL_Membership_Test);
2806 function SCIL_Tag_Value
2807 (N : Node_Id) return Node_Id is
2809 pragma Assert (False
2810 or else NT (N).Nkind = N_SCIL_Membership_Test);
2814 function SCIL_Target_Prim
2815 (N : Node_Id) return Node_Id is
2817 pragma Assert (False
2818 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2820 end SCIL_Target_Prim;
2823 (N : Node_Id) return Node_Id is
2825 pragma Assert (False
2826 or else NT (N).Nkind = N_Defining_Character_Literal
2827 or else NT (N).Nkind = N_Defining_Identifier
2828 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2832 function Select_Alternatives
2833 (N : Node_Id) return List_Id is
2835 pragma Assert (False
2836 or else NT (N).Nkind = N_Selective_Accept);
2838 end Select_Alternatives;
2840 function Selector_Name
2841 (N : Node_Id) return Node_Id is
2843 pragma Assert (False
2844 or else NT (N).Nkind = N_Expanded_Name
2845 or else NT (N).Nkind = N_Generic_Association
2846 or else NT (N).Nkind = N_Parameter_Association
2847 or else NT (N).Nkind = N_Selected_Component);
2851 function Selector_Names
2852 (N : Node_Id) return List_Id is
2854 pragma Assert (False
2855 or else NT (N).Nkind = N_Discriminant_Association);
2859 function Shift_Count_OK
2860 (N : Node_Id) return Boolean is
2862 pragma Assert (False
2863 or else NT (N).Nkind = N_Op_Rotate_Left
2864 or else NT (N).Nkind = N_Op_Rotate_Right
2865 or else NT (N).Nkind = N_Op_Shift_Left
2866 or else NT (N).Nkind = N_Op_Shift_Right
2867 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2871 function Source_Type
2872 (N : Node_Id) return Entity_Id is
2874 pragma Assert (False
2875 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2879 function Specification
2880 (N : Node_Id) return Node_Id is
2882 pragma Assert (False
2883 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2884 or else NT (N).Nkind = N_Expression_Function
2885 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2886 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2887 or else NT (N).Nkind = N_Generic_Package_Declaration
2888 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2889 or else NT (N).Nkind = N_Package_Declaration
2890 or else NT (N).Nkind = N_Subprogram_Body
2891 or else NT (N).Nkind = N_Subprogram_Body_Stub
2892 or else NT (N).Nkind = N_Subprogram_Declaration
2893 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2898 (N : Node_Id) return Boolean is
2900 pragma Assert (False
2901 or else NT (N).Nkind = N_Aspect_Specification
2902 or else NT (N).Nkind = N_Pragma);
2907 (N : Node_Id) return List_Id is
2909 pragma Assert (False
2910 or else NT (N).Nkind = N_Abortable_Part
2911 or else NT (N).Nkind = N_Accept_Alternative
2912 or else NT (N).Nkind = N_Case_Statement_Alternative
2913 or else NT (N).Nkind = N_Delay_Alternative
2914 or else NT (N).Nkind = N_Entry_Call_Alternative
2915 or else NT (N).Nkind = N_Exception_Handler
2916 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2917 or else NT (N).Nkind = N_Loop_Statement
2918 or else NT (N).Nkind = N_Triggering_Alternative);
2922 function Storage_Pool
2923 (N : Node_Id) return Node_Id is
2925 pragma Assert (False
2926 or else NT (N).Nkind = N_Allocator
2927 or else NT (N).Nkind = N_Extended_Return_Statement
2928 or else NT (N).Nkind = N_Free_Statement
2929 or else NT (N).Nkind = N_Simple_Return_Statement);
2933 function Subpool_Handle_Name
2934 (N : Node_Id) return Node_Id is
2936 pragma Assert (False
2937 or else NT (N).Nkind = N_Allocator);
2939 end Subpool_Handle_Name;
2942 (N : Node_Id) return String_Id is
2944 pragma Assert (False
2945 or else NT (N).Nkind = N_Operator_Symbol
2946 or else NT (N).Nkind = N_String_Literal);
2950 function Subtype_Indication
2951 (N : Node_Id) return Node_Id is
2953 pragma Assert (False
2954 or else NT (N).Nkind = N_Access_To_Object_Definition
2955 or else NT (N).Nkind = N_Component_Definition
2956 or else NT (N).Nkind = N_Derived_Type_Definition
2957 or else NT (N).Nkind = N_Iterator_Specification
2958 or else NT (N).Nkind = N_Private_Extension_Declaration
2959 or else NT (N).Nkind = N_Subtype_Declaration);
2961 end Subtype_Indication;
2963 function Suppress_Assignment_Checks
2964 (N : Node_Id) return Boolean is
2966 pragma Assert (False
2967 or else NT (N).Nkind = N_Assignment_Statement
2968 or else NT (N).Nkind = N_Object_Declaration);
2970 end Suppress_Assignment_Checks;
2972 function Suppress_Loop_Warnings
2973 (N : Node_Id) return Boolean is
2975 pragma Assert (False
2976 or else NT (N).Nkind = N_Loop_Statement);
2978 end Suppress_Loop_Warnings;
2980 function Subtype_Mark
2981 (N : Node_Id) return Node_Id is
2983 pragma Assert (False
2984 or else NT (N).Nkind = N_Access_Definition
2985 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2986 or else NT (N).Nkind = N_Formal_Object_Declaration
2987 or else NT (N).Nkind = N_Object_Renaming_Declaration
2988 or else NT (N).Nkind = N_Qualified_Expression
2989 or else NT (N).Nkind = N_Subtype_Indication
2990 or else NT (N).Nkind = N_Type_Conversion
2991 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2995 function Subtype_Marks
2996 (N : Node_Id) return List_Id is
2998 pragma Assert (False
2999 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3000 or else NT (N).Nkind = N_Use_Type_Clause);
3004 function Synchronized_Present
3005 (N : Node_Id) return Boolean is
3007 pragma Assert (False
3008 or else NT (N).Nkind = N_Derived_Type_Definition
3009 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3010 or else NT (N).Nkind = N_Private_Extension_Declaration
3011 or else NT (N).Nkind = N_Record_Definition);
3013 end Synchronized_Present;
3015 function Tagged_Present
3016 (N : Node_Id) return Boolean is
3018 pragma Assert (False
3019 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3020 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3021 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3022 or else NT (N).Nkind = N_Private_Type_Declaration
3023 or else NT (N).Nkind = N_Record_Definition);
3027 function Target_Type
3028 (N : Node_Id) return Entity_Id is
3030 pragma Assert (False
3031 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3035 function Task_Definition
3036 (N : Node_Id) return Node_Id is
3038 pragma Assert (False
3039 or else NT (N).Nkind = N_Single_Task_Declaration
3040 or else NT (N).Nkind = N_Task_Type_Declaration);
3042 end Task_Definition;
3044 function Task_Present
3045 (N : Node_Id) return Boolean is
3047 pragma Assert (False
3048 or else NT (N).Nkind = N_Derived_Type_Definition
3049 or else NT (N).Nkind = N_Record_Definition);
3053 function Then_Actions
3054 (N : Node_Id) return List_Id is
3056 pragma Assert (False
3057 or else NT (N).Nkind = N_If_Expression);
3061 function Then_Statements
3062 (N : Node_Id) return List_Id is
3064 pragma Assert (False
3065 or else NT (N).Nkind = N_Elsif_Part
3066 or else NT (N).Nkind = N_If_Statement);
3068 end Then_Statements;
3070 function Treat_Fixed_As_Integer
3071 (N : Node_Id) return Boolean is
3073 pragma Assert (False
3074 or else NT (N).Nkind = N_Op_Divide
3075 or else NT (N).Nkind = N_Op_Mod
3076 or else NT (N).Nkind = N_Op_Multiply
3077 or else NT (N).Nkind = N_Op_Rem);
3079 end Treat_Fixed_As_Integer;
3081 function Triggering_Alternative
3082 (N : Node_Id) return Node_Id is
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Asynchronous_Select);
3087 end Triggering_Alternative;
3089 function Triggering_Statement
3090 (N : Node_Id) return Node_Id is
3092 pragma Assert (False
3093 or else NT (N).Nkind = N_Triggering_Alternative);
3095 end Triggering_Statement;
3098 (N : Node_Id) return Elist_Id is
3100 pragma Assert (False
3101 or else NT (N).Nkind = N_Freeze_Entity);
3105 function Type_Definition
3106 (N : Node_Id) return Node_Id is
3108 pragma Assert (False
3109 or else NT (N).Nkind = N_Full_Type_Declaration);
3111 end Type_Definition;
3114 (N : Node_Id) return Node_Id is
3116 pragma Assert (False
3117 or else NT (N).Nkind = N_Compilation_Unit);
3121 function Unknown_Discriminants_Present
3122 (N : Node_Id) return Boolean is
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_Formal_Type_Declaration
3126 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3127 or else NT (N).Nkind = N_Private_Extension_Declaration
3128 or else NT (N).Nkind = N_Private_Type_Declaration);
3130 end Unknown_Discriminants_Present;
3132 function Unreferenced_In_Spec
3133 (N : Node_Id) return Boolean is
3135 pragma Assert (False
3136 or else NT (N).Nkind = N_With_Clause);
3138 end Unreferenced_In_Spec;
3140 function Variant_Part
3141 (N : Node_Id) return Node_Id is
3143 pragma Assert (False
3144 or else NT (N).Nkind = N_Component_List);
3149 (N : Node_Id) return List_Id is
3151 pragma Assert (False
3152 or else NT (N).Nkind = N_Variant_Part);
3156 function Visible_Declarations
3157 (N : Node_Id) return List_Id is
3159 pragma Assert (False
3160 or else NT (N).Nkind = N_Package_Specification
3161 or else NT (N).Nkind = N_Protected_Definition
3162 or else NT (N).Nkind = N_Task_Definition);
3164 end Visible_Declarations;
3166 function Used_Operations
3167 (N : Node_Id) return Elist_Id is
3169 pragma Assert (False
3170 or else NT (N).Nkind = N_Use_Type_Clause);
3172 end Used_Operations;
3174 function Was_Originally_Stub
3175 (N : Node_Id) return Boolean is
3177 pragma Assert (False
3178 or else NT (N).Nkind = N_Package_Body
3179 or else NT (N).Nkind = N_Protected_Body
3180 or else NT (N).Nkind = N_Subprogram_Body
3181 or else NT (N).Nkind = N_Task_Body);
3183 end Was_Originally_Stub;
3185 function Withed_Body
3186 (N : Node_Id) return Node_Id is
3188 pragma Assert (False
3189 or else NT (N).Nkind = N_With_Clause);
3193 --------------------------
3194 -- Field Set Procedures --
3195 --------------------------
3197 procedure Set_ABE_Is_Certain
3198 (N : Node_Id; Val : Boolean := True) is
3200 pragma Assert (False
3201 or else NT (N).Nkind = N_Formal_Package_Declaration
3202 or else NT (N).Nkind = N_Function_Call
3203 or else NT (N).Nkind = N_Function_Instantiation
3204 or else NT (N).Nkind = N_Package_Instantiation
3205 or else NT (N).Nkind = N_Procedure_Call_Statement
3206 or else NT (N).Nkind = N_Procedure_Instantiation);
3207 Set_Flag18 (N, Val);
3208 end Set_ABE_Is_Certain;
3210 procedure Set_Abort_Present
3211 (N : Node_Id; Val : Boolean := True) is
3213 pragma Assert (False
3214 or else NT (N).Nkind = N_Requeue_Statement);
3215 Set_Flag15 (N, Val);
3216 end Set_Abort_Present;
3218 procedure Set_Abortable_Part
3219 (N : Node_Id; Val : Node_Id) is
3221 pragma Assert (False
3222 or else NT (N).Nkind = N_Asynchronous_Select);
3223 Set_Node2_With_Parent (N, Val);
3224 end Set_Abortable_Part;
3226 procedure Set_Abstract_Present
3227 (N : Node_Id; Val : Boolean := True) is
3229 pragma Assert (False
3230 or else NT (N).Nkind = N_Derived_Type_Definition
3231 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3232 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3233 or else NT (N).Nkind = N_Private_Extension_Declaration
3234 or else NT (N).Nkind = N_Private_Type_Declaration
3235 or else NT (N).Nkind = N_Record_Definition);
3237 end Set_Abstract_Present;
3239 procedure Set_Accept_Handler_Records
3240 (N : Node_Id; Val : List_Id) is
3242 pragma Assert (False
3243 or else NT (N).Nkind = N_Accept_Alternative);
3244 Set_List5 (N, Val); -- semantic field, no parent set
3245 end Set_Accept_Handler_Records;
3247 procedure Set_Accept_Statement
3248 (N : Node_Id; Val : Node_Id) is
3250 pragma Assert (False
3251 or else NT (N).Nkind = N_Accept_Alternative);
3252 Set_Node2_With_Parent (N, Val);
3253 end Set_Accept_Statement;
3255 procedure Set_Access_Definition
3256 (N : Node_Id; Val : Node_Id) is
3258 pragma Assert (False
3259 or else NT (N).Nkind = N_Component_Definition
3260 or else NT (N).Nkind = N_Formal_Object_Declaration
3261 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3262 Set_Node3_With_Parent (N, Val);
3263 end Set_Access_Definition;
3265 procedure Set_Access_To_Subprogram_Definition
3266 (N : Node_Id; Val : Node_Id) is
3268 pragma Assert (False
3269 or else NT (N).Nkind = N_Access_Definition);
3270 Set_Node3_With_Parent (N, Val);
3271 end Set_Access_To_Subprogram_Definition;
3273 procedure Set_Access_Types_To_Process
3274 (N : Node_Id; Val : Elist_Id) is
3276 pragma Assert (False
3277 or else NT (N).Nkind = N_Freeze_Entity);
3278 Set_Elist2 (N, Val); -- semantic field, no parent set
3279 end Set_Access_Types_To_Process;
3281 procedure Set_Actions
3282 (N : Node_Id; Val : List_Id) is
3284 pragma Assert (False
3285 or else NT (N).Nkind = N_And_Then
3286 or else NT (N).Nkind = N_Case_Expression_Alternative
3287 or else NT (N).Nkind = N_Compilation_Unit_Aux
3288 or else NT (N).Nkind = N_Expression_With_Actions
3289 or else NT (N).Nkind = N_Freeze_Entity
3290 or else NT (N).Nkind = N_Or_Else);
3291 Set_List1_With_Parent (N, Val);
3294 procedure Set_Activation_Chain_Entity
3295 (N : Node_Id; Val : Node_Id) is
3297 pragma Assert (False
3298 or else NT (N).Nkind = N_Block_Statement
3299 or else NT (N).Nkind = N_Entry_Body
3300 or else NT (N).Nkind = N_Generic_Package_Declaration
3301 or else NT (N).Nkind = N_Package_Declaration
3302 or else NT (N).Nkind = N_Subprogram_Body
3303 or else NT (N).Nkind = N_Task_Body);
3304 Set_Node3 (N, Val); -- semantic field, no parent set
3305 end Set_Activation_Chain_Entity;
3307 procedure Set_Acts_As_Spec
3308 (N : Node_Id; Val : Boolean := True) is
3310 pragma Assert (False
3311 or else NT (N).Nkind = N_Compilation_Unit
3312 or else NT (N).Nkind = N_Subprogram_Body);
3314 end Set_Acts_As_Spec;
3316 procedure Set_Actual_Designated_Subtype
3317 (N : Node_Id; Val : Node_Id) is
3319 pragma Assert (False
3320 or else NT (N).Nkind = N_Explicit_Dereference
3321 or else NT (N).Nkind = N_Free_Statement);
3323 end Set_Actual_Designated_Subtype;
3325 procedure Set_Address_Warning_Posted
3326 (N : Node_Id; Val : Boolean := True) is
3328 pragma Assert (False
3329 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3330 Set_Flag18 (N, Val);
3331 end Set_Address_Warning_Posted;
3333 procedure Set_Aggregate_Bounds
3334 (N : Node_Id; Val : Node_Id) is
3336 pragma Assert (False
3337 or else NT (N).Nkind = N_Aggregate);
3338 Set_Node3 (N, Val); -- semantic field, no parent set
3339 end Set_Aggregate_Bounds;
3341 procedure Set_Aliased_Present
3342 (N : Node_Id; Val : Boolean := True) is
3344 pragma Assert (False
3345 or else NT (N).Nkind = N_Component_Definition
3346 or else NT (N).Nkind = N_Object_Declaration
3347 or else NT (N).Nkind = N_Parameter_Specification);
3349 end Set_Aliased_Present;
3351 procedure Set_All_Others
3352 (N : Node_Id; Val : Boolean := True) is
3354 pragma Assert (False
3355 or else NT (N).Nkind = N_Others_Choice);
3356 Set_Flag11 (N, Val);
3359 procedure Set_All_Present
3360 (N : Node_Id; Val : Boolean := True) is
3362 pragma Assert (False
3363 or else NT (N).Nkind = N_Access_Definition
3364 or else NT (N).Nkind = N_Access_To_Object_Definition
3365 or else NT (N).Nkind = N_Quantified_Expression
3366 or else NT (N).Nkind = N_Use_Type_Clause);
3367 Set_Flag15 (N, Val);
3368 end Set_All_Present;
3370 procedure Set_Alternatives
3371 (N : Node_Id; Val : List_Id) is
3373 pragma Assert (False
3374 or else NT (N).Nkind = N_Case_Expression
3375 or else NT (N).Nkind = N_Case_Statement
3376 or else NT (N).Nkind = N_In
3377 or else NT (N).Nkind = N_Not_In);
3378 Set_List4_With_Parent (N, Val);
3379 end Set_Alternatives;
3381 procedure Set_Ancestor_Part
3382 (N : Node_Id; Val : Node_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Extension_Aggregate);
3386 Set_Node3_With_Parent (N, Val);
3387 end Set_Ancestor_Part;
3389 procedure Set_Atomic_Sync_Required
3390 (N : Node_Id; Val : Boolean := True) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Expanded_Name
3394 or else NT (N).Nkind = N_Explicit_Dereference
3395 or else NT (N).Nkind = N_Identifier
3396 or else NT (N).Nkind = N_Indexed_Component
3397 or else NT (N).Nkind = N_Selected_Component);
3398 Set_Flag14 (N, Val);
3399 end Set_Atomic_Sync_Required;
3401 procedure Set_Array_Aggregate
3402 (N : Node_Id; Val : Node_Id) is
3404 pragma Assert (False
3405 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3406 Set_Node3_With_Parent (N, Val);
3407 end Set_Array_Aggregate;
3409 procedure Set_Aspect_Rep_Item
3410 (N : Node_Id; Val : Node_Id) is
3412 pragma Assert (False
3413 or else NT (N).Nkind = N_Aspect_Specification);
3415 end Set_Aspect_Rep_Item;
3417 procedure Set_Assignment_OK
3418 (N : Node_Id; Val : Boolean := True) is
3420 pragma Assert (False
3421 or else NT (N).Nkind = N_Object_Declaration
3422 or else NT (N).Nkind in N_Subexpr);
3423 Set_Flag15 (N, Val);
3424 end Set_Assignment_OK;
3426 procedure Set_Associated_Node
3427 (N : Node_Id; Val : Node_Id) is
3429 pragma Assert (False
3430 or else NT (N).Nkind in N_Has_Entity
3431 or else NT (N).Nkind = N_Aggregate
3432 or else NT (N).Nkind = N_Extension_Aggregate
3433 or else NT (N).Nkind = N_Selected_Component);
3434 Set_Node4 (N, Val); -- semantic field, no parent set
3435 end Set_Associated_Node;
3437 procedure Set_At_End_Proc
3438 (N : Node_Id; Val : Node_Id) is
3440 pragma Assert (False
3441 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3443 end Set_At_End_Proc;
3445 procedure Set_Attribute_Name
3446 (N : Node_Id; Val : Name_Id) is
3448 pragma Assert (False
3449 or else NT (N).Nkind = N_Attribute_Reference);
3451 end Set_Attribute_Name;
3453 procedure Set_Aux_Decls_Node
3454 (N : Node_Id; Val : Node_Id) is
3456 pragma Assert (False
3457 or else NT (N).Nkind = N_Compilation_Unit);
3458 Set_Node5_With_Parent (N, Val);
3459 end Set_Aux_Decls_Node;
3461 procedure Set_Backwards_OK
3462 (N : Node_Id; Val : Boolean := True) is
3464 pragma Assert (False
3465 or else NT (N).Nkind = N_Assignment_Statement);
3467 end Set_Backwards_OK;
3469 procedure Set_Bad_Is_Detected
3470 (N : Node_Id; Val : Boolean := True) is
3472 pragma Assert (False
3473 or else NT (N).Nkind = N_Subprogram_Body);
3474 Set_Flag15 (N, Val);
3475 end Set_Bad_Is_Detected;
3477 procedure Set_Body_Required
3478 (N : Node_Id; Val : Boolean := True) is
3480 pragma Assert (False
3481 or else NT (N).Nkind = N_Compilation_Unit);
3482 Set_Flag13 (N, Val);
3483 end Set_Body_Required;
3485 procedure Set_Body_To_Inline
3486 (N : Node_Id; Val : Node_Id) is
3488 pragma Assert (False
3489 or else NT (N).Nkind = N_Subprogram_Declaration);
3491 end Set_Body_To_Inline;
3493 procedure Set_Box_Present
3494 (N : Node_Id; Val : Boolean := True) is
3496 pragma Assert (False
3497 or else NT (N).Nkind = N_Component_Association
3498 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3499 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3500 or else NT (N).Nkind = N_Formal_Package_Declaration
3501 or else NT (N).Nkind = N_Generic_Association);
3502 Set_Flag15 (N, Val);
3503 end Set_Box_Present;
3505 procedure Set_By_Ref
3506 (N : Node_Id; Val : Boolean := True) is
3508 pragma Assert (False
3509 or else NT (N).Nkind = N_Extended_Return_Statement
3510 or else NT (N).Nkind = N_Simple_Return_Statement);
3514 procedure Set_Char_Literal_Value
3515 (N : Node_Id; Val : Uint) is
3517 pragma Assert (False
3518 or else NT (N).Nkind = N_Character_Literal);
3520 end Set_Char_Literal_Value;
3523 (N : Node_Id; Val : Name_Id) is
3525 pragma Assert (False
3526 or else NT (N).Nkind in N_Has_Chars);
3530 procedure Set_Check_Address_Alignment
3531 (N : Node_Id; Val : Boolean := True) is
3533 pragma Assert (False
3534 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3535 Set_Flag11 (N, Val);
3536 end Set_Check_Address_Alignment;
3538 procedure Set_Choice_Parameter
3539 (N : Node_Id; Val : Node_Id) is
3541 pragma Assert (False
3542 or else NT (N).Nkind = N_Exception_Handler);
3543 Set_Node2_With_Parent (N, Val);
3544 end Set_Choice_Parameter;
3546 procedure Set_Choices
3547 (N : Node_Id; Val : List_Id) is
3549 pragma Assert (False
3550 or else NT (N).Nkind = N_Component_Association);
3551 Set_List1_With_Parent (N, Val);
3554 procedure Set_Class_Present
3555 (N : Node_Id; Val : Boolean := True) is
3557 pragma Assert (False
3558 or else NT (N).Nkind = N_Aspect_Specification
3559 or else NT (N).Nkind = N_Pragma);
3561 end Set_Class_Present;
3563 procedure Set_Classifications
3564 (N : Node_Id; Val : Node_Id) is
3566 pragma Assert (False
3567 or else NT (N).Nkind = N_Contract);
3568 Set_Node3 (N, Val); -- semantic field, no parent set
3569 end Set_Classifications;
3571 procedure Set_Comes_From_Extended_Return_Statement
3572 (N : Node_Id; Val : Boolean := True) is
3574 pragma Assert (False
3575 or else NT (N).Nkind = N_Simple_Return_Statement);
3576 Set_Flag18 (N, Val);
3577 end Set_Comes_From_Extended_Return_Statement;
3579 procedure Set_Compile_Time_Known_Aggregate
3580 (N : Node_Id; Val : Boolean := True) is
3582 pragma Assert (False
3583 or else NT (N).Nkind = N_Aggregate);
3584 Set_Flag18 (N, Val);
3585 end Set_Compile_Time_Known_Aggregate;
3587 procedure Set_Component_Associations
3588 (N : Node_Id; Val : List_Id) is
3590 pragma Assert (False
3591 or else NT (N).Nkind = N_Aggregate
3592 or else NT (N).Nkind = N_Extension_Aggregate);
3593 Set_List2_With_Parent (N, Val);
3594 end Set_Component_Associations;
3596 procedure Set_Component_Clauses
3597 (N : Node_Id; Val : List_Id) is
3599 pragma Assert (False
3600 or else NT (N).Nkind = N_Record_Representation_Clause);
3601 Set_List3_With_Parent (N, Val);
3602 end Set_Component_Clauses;
3604 procedure Set_Component_Definition
3605 (N : Node_Id; Val : Node_Id) is
3607 pragma Assert (False
3608 or else NT (N).Nkind = N_Component_Declaration
3609 or else NT (N).Nkind = N_Constrained_Array_Definition
3610 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3611 Set_Node4_With_Parent (N, Val);
3612 end Set_Component_Definition;
3614 procedure Set_Component_Items
3615 (N : Node_Id; Val : List_Id) is
3617 pragma Assert (False
3618 or else NT (N).Nkind = N_Component_List);
3619 Set_List3_With_Parent (N, Val);
3620 end Set_Component_Items;
3622 procedure Set_Component_List
3623 (N : Node_Id; Val : Node_Id) is
3625 pragma Assert (False
3626 or else NT (N).Nkind = N_Record_Definition
3627 or else NT (N).Nkind = N_Variant);
3628 Set_Node1_With_Parent (N, Val);
3629 end Set_Component_List;
3631 procedure Set_Component_Name
3632 (N : Node_Id; Val : Node_Id) is
3634 pragma Assert (False
3635 or else NT (N).Nkind = N_Component_Clause);
3636 Set_Node1_With_Parent (N, Val);
3637 end Set_Component_Name;
3639 procedure Set_Componentwise_Assignment
3640 (N : Node_Id; Val : Boolean := True) is
3642 pragma Assert (False
3643 or else NT (N).Nkind = N_Assignment_Statement);
3644 Set_Flag14 (N, Val);
3645 end Set_Componentwise_Assignment;
3647 procedure Set_Condition
3648 (N : Node_Id; Val : Node_Id) is
3650 pragma Assert (False
3651 or else NT (N).Nkind = N_Accept_Alternative
3652 or else NT (N).Nkind = N_Delay_Alternative
3653 or else NT (N).Nkind = N_Elsif_Part
3654 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3655 or else NT (N).Nkind = N_Exit_Statement
3656 or else NT (N).Nkind = N_If_Statement
3657 or else NT (N).Nkind = N_Iteration_Scheme
3658 or else NT (N).Nkind = N_Quantified_Expression
3659 or else NT (N).Nkind = N_Raise_Constraint_Error
3660 or else NT (N).Nkind = N_Raise_Program_Error
3661 or else NT (N).Nkind = N_Raise_Storage_Error
3662 or else NT (N).Nkind = N_Terminate_Alternative);
3663 Set_Node1_With_Parent (N, Val);
3666 procedure Set_Condition_Actions
3667 (N : Node_Id; Val : List_Id) is
3669 pragma Assert (False
3670 or else NT (N).Nkind = N_Elsif_Part
3671 or else NT (N).Nkind = N_Iteration_Scheme);
3672 Set_List3 (N, Val); -- semantic field, no parent set
3673 end Set_Condition_Actions;
3675 procedure Set_Config_Pragmas
3676 (N : Node_Id; Val : List_Id) is
3678 pragma Assert (False
3679 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3680 Set_List4_With_Parent (N, Val);
3681 end Set_Config_Pragmas;
3683 procedure Set_Constant_Present
3684 (N : Node_Id; Val : Boolean := True) is
3686 pragma Assert (False
3687 or else NT (N).Nkind = N_Access_Definition
3688 or else NT (N).Nkind = N_Access_To_Object_Definition
3689 or else NT (N).Nkind = N_Object_Declaration);
3690 Set_Flag17 (N, Val);
3691 end Set_Constant_Present;
3693 procedure Set_Constraint
3694 (N : Node_Id; Val : Node_Id) is
3696 pragma Assert (False
3697 or else NT (N).Nkind = N_Subtype_Indication);
3698 Set_Node3_With_Parent (N, Val);
3701 procedure Set_Constraints
3702 (N : Node_Id; Val : List_Id) is
3704 pragma Assert (False
3705 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3706 Set_List1_With_Parent (N, Val);
3707 end Set_Constraints;
3709 procedure Set_Context_Installed
3710 (N : Node_Id; Val : Boolean := True) is
3712 pragma Assert (False
3713 or else NT (N).Nkind = N_With_Clause);
3714 Set_Flag13 (N, Val);
3715 end Set_Context_Installed;
3717 procedure Set_Context_Items
3718 (N : Node_Id; Val : List_Id) is
3720 pragma Assert (False
3721 or else NT (N).Nkind = N_Compilation_Unit);
3722 Set_List1_With_Parent (N, Val);
3723 end Set_Context_Items;
3725 procedure Set_Context_Pending
3726 (N : Node_Id; Val : Boolean := True) is
3728 pragma Assert (False
3729 or else NT (N).Nkind = N_Compilation_Unit);
3730 Set_Flag16 (N, Val);
3731 end Set_Context_Pending;
3733 procedure Set_Contract_Test_Cases
3734 (N : Node_Id; Val : Node_Id) is
3736 pragma Assert (False
3737 or else NT (N).Nkind = N_Contract);
3738 Set_Node2 (N, Val); -- semantic field, no parent set
3739 end Set_Contract_Test_Cases;
3741 procedure Set_Controlling_Argument
3742 (N : Node_Id; Val : Node_Id) is
3744 pragma Assert (False
3745 or else NT (N).Nkind = N_Function_Call
3746 or else NT (N).Nkind = N_Procedure_Call_Statement);
3747 Set_Node1 (N, Val); -- semantic field, no parent set
3748 end Set_Controlling_Argument;
3750 procedure Set_Conversion_OK
3751 (N : Node_Id; Val : Boolean := True) is
3753 pragma Assert (False
3754 or else NT (N).Nkind = N_Type_Conversion);
3755 Set_Flag14 (N, Val);
3756 end Set_Conversion_OK;
3758 procedure Set_Convert_To_Return_False
3759 (N : Node_Id; Val : Boolean := True) is
3761 pragma Assert (False
3762 or else NT (N).Nkind = N_Raise_Expression);
3763 Set_Flag13 (N, Val);
3764 end Set_Convert_To_Return_False;
3766 procedure Set_Corresponding_Aspect
3767 (N : Node_Id; Val : Node_Id) is
3769 pragma Assert (False
3770 or else NT (N).Nkind = N_Pragma);
3772 end Set_Corresponding_Aspect;
3774 procedure Set_Corresponding_Body
3775 (N : Node_Id; Val : Node_Id) is
3777 pragma Assert (False
3778 or else NT (N).Nkind = N_Entry_Declaration
3779 or else NT (N).Nkind = N_Generic_Package_Declaration
3780 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3781 or else NT (N).Nkind = N_Package_Body_Stub
3782 or else NT (N).Nkind = N_Package_Declaration
3783 or else NT (N).Nkind = N_Protected_Body_Stub
3784 or else NT (N).Nkind = N_Protected_Type_Declaration
3785 or else NT (N).Nkind = N_Subprogram_Body_Stub
3786 or else NT (N).Nkind = N_Subprogram_Declaration
3787 or else NT (N).Nkind = N_Task_Body_Stub
3788 or else NT (N).Nkind = N_Task_Type_Declaration);
3789 Set_Node5 (N, Val); -- semantic field, no parent set
3790 end Set_Corresponding_Body;
3792 procedure Set_Corresponding_Formal_Spec
3793 (N : Node_Id; Val : Node_Id) is
3795 pragma Assert (False
3796 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3797 Set_Node3 (N, Val); -- semantic field, no parent set
3798 end Set_Corresponding_Formal_Spec;
3800 procedure Set_Corresponding_Generic_Association
3801 (N : Node_Id; Val : Node_Id) is
3803 pragma Assert (False
3804 or else NT (N).Nkind = N_Object_Declaration
3805 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3806 Set_Node5 (N, Val); -- semantic field, no parent set
3807 end Set_Corresponding_Generic_Association;
3809 procedure Set_Corresponding_Integer_Value
3810 (N : Node_Id; Val : Uint) is
3812 pragma Assert (False
3813 or else NT (N).Nkind = N_Real_Literal);
3814 Set_Uint4 (N, Val); -- semantic field, no parent set
3815 end Set_Corresponding_Integer_Value;
3817 procedure Set_Corresponding_Spec
3818 (N : Node_Id; Val : Node_Id) is
3820 pragma Assert (False
3821 or else NT (N).Nkind = N_Expression_Function
3822 or else NT (N).Nkind = N_Package_Body
3823 or else NT (N).Nkind = N_Protected_Body
3824 or else NT (N).Nkind = N_Subprogram_Body
3825 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3826 or else NT (N).Nkind = N_Task_Body
3827 or else NT (N).Nkind = N_With_Clause);
3828 Set_Node5 (N, Val); -- semantic field, no parent set
3829 end Set_Corresponding_Spec;
3831 procedure Set_Corresponding_Spec_Of_Stub
3832 (N : Node_Id; Val : Entity_Id) is
3834 pragma Assert (False
3835 or else NT (N).Nkind = N_Package_Body_Stub
3836 or else NT (N).Nkind = N_Protected_Body_Stub
3837 or else NT (N).Nkind = N_Subprogram_Body_Stub
3838 or else NT (N).Nkind = N_Task_Body_Stub);
3839 Set_Node2 (N, Val); -- semantic field, no parent set
3840 end Set_Corresponding_Spec_Of_Stub;
3842 procedure Set_Corresponding_Stub
3843 (N : Node_Id; Val : Node_Id) is
3845 pragma Assert (False
3846 or else NT (N).Nkind = N_Subunit);
3848 end Set_Corresponding_Stub;
3850 procedure Set_Dcheck_Function
3851 (N : Node_Id; Val : Entity_Id) is
3853 pragma Assert (False
3854 or else NT (N).Nkind = N_Variant);
3855 Set_Node5 (N, Val); -- semantic field, no parent set
3856 end Set_Dcheck_Function;
3858 procedure Set_Declarations
3859 (N : Node_Id; Val : List_Id) is
3861 pragma Assert (False
3862 or else NT (N).Nkind = N_Accept_Statement
3863 or else NT (N).Nkind = N_Block_Statement
3864 or else NT (N).Nkind = N_Compilation_Unit_Aux
3865 or else NT (N).Nkind = N_Entry_Body
3866 or else NT (N).Nkind = N_Package_Body
3867 or else NT (N).Nkind = N_Protected_Body
3868 or else NT (N).Nkind = N_Subprogram_Body
3869 or else NT (N).Nkind = N_Task_Body);
3870 Set_List2_With_Parent (N, Val);
3871 end Set_Declarations;
3873 procedure Set_Default_Expression
3874 (N : Node_Id; Val : Node_Id) is
3876 pragma Assert (False
3877 or else NT (N).Nkind = N_Formal_Object_Declaration
3878 or else NT (N).Nkind = N_Parameter_Specification);
3879 Set_Node5 (N, Val); -- semantic field, no parent set
3880 end Set_Default_Expression;
3882 procedure Set_Default_Storage_Pool
3883 (N : Node_Id; Val : Node_Id) is
3885 pragma Assert (False
3886 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3887 Set_Node3 (N, Val); -- semantic field, no parent set
3888 end Set_Default_Storage_Pool;
3890 procedure Set_Default_Name
3891 (N : Node_Id; Val : Node_Id) is
3893 pragma Assert (False
3894 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3895 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3896 Set_Node2_With_Parent (N, Val);
3897 end Set_Default_Name;
3899 procedure Set_Defining_Identifier
3900 (N : Node_Id; Val : Entity_Id) is
3902 pragma Assert (False
3903 or else NT (N).Nkind = N_Component_Declaration
3904 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3905 or else NT (N).Nkind = N_Discriminant_Specification
3906 or else NT (N).Nkind = N_Entry_Body
3907 or else NT (N).Nkind = N_Entry_Declaration
3908 or else NT (N).Nkind = N_Entry_Index_Specification
3909 or else NT (N).Nkind = N_Exception_Declaration
3910 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3911 or else NT (N).Nkind = N_Formal_Object_Declaration
3912 or else NT (N).Nkind = N_Formal_Package_Declaration
3913 or else NT (N).Nkind = N_Formal_Type_Declaration
3914 or else NT (N).Nkind = N_Full_Type_Declaration
3915 or else NT (N).Nkind = N_Implicit_Label_Declaration
3916 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3917 or else NT (N).Nkind = N_Iterator_Specification
3918 or else NT (N).Nkind = N_Loop_Parameter_Specification
3919 or else NT (N).Nkind = N_Number_Declaration
3920 or else NT (N).Nkind = N_Object_Declaration
3921 or else NT (N).Nkind = N_Object_Renaming_Declaration
3922 or else NT (N).Nkind = N_Package_Body_Stub
3923 or else NT (N).Nkind = N_Parameter_Specification
3924 or else NT (N).Nkind = N_Private_Extension_Declaration
3925 or else NT (N).Nkind = N_Private_Type_Declaration
3926 or else NT (N).Nkind = N_Protected_Body
3927 or else NT (N).Nkind = N_Protected_Body_Stub
3928 or else NT (N).Nkind = N_Protected_Type_Declaration
3929 or else NT (N).Nkind = N_Single_Protected_Declaration
3930 or else NT (N).Nkind = N_Single_Task_Declaration
3931 or else NT (N).Nkind = N_Subtype_Declaration
3932 or else NT (N).Nkind = N_Task_Body
3933 or else NT (N).Nkind = N_Task_Body_Stub
3934 or else NT (N).Nkind = N_Task_Type_Declaration);
3935 Set_Node1_With_Parent (N, Val);
3936 end Set_Defining_Identifier;
3938 procedure Set_Defining_Unit_Name
3939 (N : Node_Id; Val : Node_Id) is
3941 pragma Assert (False
3942 or else NT (N).Nkind = N_Function_Instantiation
3943 or else NT (N).Nkind = N_Function_Specification
3944 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3945 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3946 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3947 or else NT (N).Nkind = N_Package_Body
3948 or else NT (N).Nkind = N_Package_Instantiation
3949 or else NT (N).Nkind = N_Package_Renaming_Declaration
3950 or else NT (N).Nkind = N_Package_Specification
3951 or else NT (N).Nkind = N_Procedure_Instantiation
3952 or else NT (N).Nkind = N_Procedure_Specification);
3953 Set_Node1_With_Parent (N, Val);
3954 end Set_Defining_Unit_Name;
3956 procedure Set_Delay_Alternative
3957 (N : Node_Id; Val : Node_Id) is
3959 pragma Assert (False
3960 or else NT (N).Nkind = N_Timed_Entry_Call);
3961 Set_Node4_With_Parent (N, Val);
3962 end Set_Delay_Alternative;
3964 procedure Set_Delay_Statement
3965 (N : Node_Id; Val : Node_Id) is
3967 pragma Assert (False
3968 or else NT (N).Nkind = N_Delay_Alternative);
3969 Set_Node2_With_Parent (N, Val);
3970 end Set_Delay_Statement;
3972 procedure Set_Delta_Expression
3973 (N : Node_Id; Val : Node_Id) is
3975 pragma Assert (False
3976 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3977 or else NT (N).Nkind = N_Delta_Constraint
3978 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3979 Set_Node3_With_Parent (N, Val);
3980 end Set_Delta_Expression;
3982 procedure Set_Digits_Expression
3983 (N : Node_Id; Val : Node_Id) is
3985 pragma Assert (False
3986 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3987 or else NT (N).Nkind = N_Digits_Constraint
3988 or else NT (N).Nkind = N_Floating_Point_Definition);
3989 Set_Node2_With_Parent (N, Val);
3990 end Set_Digits_Expression;
3992 procedure Set_Discr_Check_Funcs_Built
3993 (N : Node_Id; Val : Boolean := True) is
3995 pragma Assert (False
3996 or else NT (N).Nkind = N_Full_Type_Declaration);
3997 Set_Flag11 (N, Val);
3998 end Set_Discr_Check_Funcs_Built;
4000 procedure Set_Discrete_Choices
4001 (N : Node_Id; Val : List_Id) is
4003 pragma Assert (False
4004 or else NT (N).Nkind = N_Case_Expression_Alternative
4005 or else NT (N).Nkind = N_Case_Statement_Alternative
4006 or else NT (N).Nkind = N_Variant);
4007 Set_List4_With_Parent (N, Val);
4008 end Set_Discrete_Choices;
4010 procedure Set_Discrete_Range
4011 (N : Node_Id; Val : Node_Id) is
4013 pragma Assert (False
4014 or else NT (N).Nkind = N_Slice);
4015 Set_Node4_With_Parent (N, Val);
4016 end Set_Discrete_Range;
4018 procedure Set_Discrete_Subtype_Definition
4019 (N : Node_Id; Val : Node_Id) is
4021 pragma Assert (False
4022 or else NT (N).Nkind = N_Entry_Declaration
4023 or else NT (N).Nkind = N_Entry_Index_Specification
4024 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4025 Set_Node4_With_Parent (N, Val);
4026 end Set_Discrete_Subtype_Definition;
4028 procedure Set_Discrete_Subtype_Definitions
4029 (N : Node_Id; Val : List_Id) is
4031 pragma Assert (False
4032 or else NT (N).Nkind = N_Constrained_Array_Definition);
4033 Set_List2_With_Parent (N, Val);
4034 end Set_Discrete_Subtype_Definitions;
4036 procedure Set_Discriminant_Specifications
4037 (N : Node_Id; Val : List_Id) is
4039 pragma Assert (False
4040 or else NT (N).Nkind = N_Formal_Type_Declaration
4041 or else NT (N).Nkind = N_Full_Type_Declaration
4042 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4043 or else NT (N).Nkind = N_Private_Extension_Declaration
4044 or else NT (N).Nkind = N_Private_Type_Declaration
4045 or else NT (N).Nkind = N_Protected_Type_Declaration
4046 or else NT (N).Nkind = N_Task_Type_Declaration);
4047 Set_List4_With_Parent (N, Val);
4048 end Set_Discriminant_Specifications;
4050 procedure Set_Discriminant_Type
4051 (N : Node_Id; Val : Node_Id) is
4053 pragma Assert (False
4054 or else NT (N).Nkind = N_Discriminant_Specification);
4055 Set_Node5_With_Parent (N, Val);
4056 end Set_Discriminant_Type;
4058 procedure Set_Do_Accessibility_Check
4059 (N : Node_Id; Val : Boolean := True) is
4061 pragma Assert (False
4062 or else NT (N).Nkind = N_Parameter_Specification);
4063 Set_Flag13 (N, Val);
4064 end Set_Do_Accessibility_Check;
4066 procedure Set_Do_Discriminant_Check
4067 (N : Node_Id; Val : Boolean := True) is
4069 pragma Assert (False
4070 or else NT (N).Nkind = N_Selected_Component);
4071 Set_Flag13 (N, Val);
4072 end Set_Do_Discriminant_Check;
4074 procedure Set_Do_Division_Check
4075 (N : Node_Id; Val : Boolean := True) is
4077 pragma Assert (False
4078 or else NT (N).Nkind = N_Op_Divide
4079 or else NT (N).Nkind = N_Op_Mod
4080 or else NT (N).Nkind = N_Op_Rem);
4081 Set_Flag13 (N, Val);
4082 end Set_Do_Division_Check;
4084 procedure Set_Do_Length_Check
4085 (N : Node_Id; Val : Boolean := True) is
4087 pragma Assert (False
4088 or else NT (N).Nkind = N_Assignment_Statement
4089 or else NT (N).Nkind = N_Op_And
4090 or else NT (N).Nkind = N_Op_Or
4091 or else NT (N).Nkind = N_Op_Xor
4092 or else NT (N).Nkind = N_Type_Conversion);
4094 end Set_Do_Length_Check;
4096 procedure Set_Do_Overflow_Check
4097 (N : Node_Id; Val : Boolean := True) is
4099 pragma Assert (False
4100 or else NT (N).Nkind in N_Op
4101 or else NT (N).Nkind = N_Attribute_Reference
4102 or else NT (N).Nkind = N_Case_Expression
4103 or else NT (N).Nkind = N_If_Expression
4104 or else NT (N).Nkind = N_Type_Conversion);
4105 Set_Flag17 (N, Val);
4106 end Set_Do_Overflow_Check;
4108 procedure Set_Do_Range_Check
4109 (N : Node_Id; Val : Boolean := True) is
4111 pragma Assert (False
4112 or else NT (N).Nkind in N_Subexpr);
4114 end Set_Do_Range_Check;
4116 procedure Set_Do_Storage_Check
4117 (N : Node_Id; Val : Boolean := True) is
4119 pragma Assert (False
4120 or else NT (N).Nkind = N_Allocator
4121 or else NT (N).Nkind = N_Subprogram_Body);
4122 Set_Flag17 (N, Val);
4123 end Set_Do_Storage_Check;
4125 procedure Set_Do_Tag_Check
4126 (N : Node_Id; Val : Boolean := True) is
4128 pragma Assert (False
4129 or else NT (N).Nkind = N_Assignment_Statement
4130 or else NT (N).Nkind = N_Extended_Return_Statement
4131 or else NT (N).Nkind = N_Function_Call
4132 or else NT (N).Nkind = N_Procedure_Call_Statement
4133 or else NT (N).Nkind = N_Simple_Return_Statement
4134 or else NT (N).Nkind = N_Type_Conversion);
4135 Set_Flag13 (N, Val);
4136 end Set_Do_Tag_Check;
4138 procedure Set_Elaborate_All_Desirable
4139 (N : Node_Id; Val : Boolean := True) is
4141 pragma Assert (False
4142 or else NT (N).Nkind = N_With_Clause);
4144 end Set_Elaborate_All_Desirable;
4146 procedure Set_Elaborate_All_Present
4147 (N : Node_Id; Val : Boolean := True) is
4149 pragma Assert (False
4150 or else NT (N).Nkind = N_With_Clause);
4151 Set_Flag14 (N, Val);
4152 end Set_Elaborate_All_Present;
4154 procedure Set_Elaborate_Desirable
4155 (N : Node_Id; Val : Boolean := True) is
4157 pragma Assert (False
4158 or else NT (N).Nkind = N_With_Clause);
4159 Set_Flag11 (N, Val);
4160 end Set_Elaborate_Desirable;
4162 procedure Set_Elaborate_Present
4163 (N : Node_Id; Val : Boolean := True) is
4165 pragma Assert (False
4166 or else NT (N).Nkind = N_With_Clause);
4168 end Set_Elaborate_Present;
4170 procedure Set_Elaboration_Boolean
4171 (N : Node_Id; Val : Node_Id) is
4173 pragma Assert (False
4174 or else NT (N).Nkind = N_Function_Specification
4175 or else NT (N).Nkind = N_Procedure_Specification);
4177 end Set_Elaboration_Boolean;
4179 procedure Set_Else_Actions
4180 (N : Node_Id; Val : List_Id) is
4182 pragma Assert (False
4183 or else NT (N).Nkind = N_If_Expression);
4184 Set_List3 (N, Val); -- semantic field, no parent set
4185 end Set_Else_Actions;
4187 procedure Set_Else_Statements
4188 (N : Node_Id; Val : List_Id) is
4190 pragma Assert (False
4191 or else NT (N).Nkind = N_Conditional_Entry_Call
4192 or else NT (N).Nkind = N_If_Statement
4193 or else NT (N).Nkind = N_Selective_Accept);
4194 Set_List4_With_Parent (N, Val);
4195 end Set_Else_Statements;
4197 procedure Set_Elsif_Parts
4198 (N : Node_Id; Val : List_Id) is
4200 pragma Assert (False
4201 or else NT (N).Nkind = N_If_Statement);
4202 Set_List3_With_Parent (N, Val);
4203 end Set_Elsif_Parts;
4205 procedure Set_Enclosing_Variant
4206 (N : Node_Id; Val : Node_Id) is
4208 pragma Assert (False
4209 or else NT (N).Nkind = N_Variant);
4210 Set_Node2 (N, Val); -- semantic field, no parent set
4211 end Set_Enclosing_Variant;
4213 procedure Set_End_Label
4214 (N : Node_Id; Val : Node_Id) is
4216 pragma Assert (False
4217 or else NT (N).Nkind = N_Enumeration_Type_Definition
4218 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4219 or else NT (N).Nkind = N_Loop_Statement
4220 or else NT (N).Nkind = N_Package_Specification
4221 or else NT (N).Nkind = N_Protected_Body
4222 or else NT (N).Nkind = N_Protected_Definition
4223 or else NT (N).Nkind = N_Record_Definition
4224 or else NT (N).Nkind = N_Task_Definition);
4225 Set_Node4_With_Parent (N, Val);
4228 procedure Set_End_Span
4229 (N : Node_Id; Val : Uint) is
4231 pragma Assert (False
4232 or else NT (N).Nkind = N_Case_Statement
4233 or else NT (N).Nkind = N_If_Statement);
4237 procedure Set_Entity
4238 (N : Node_Id; Val : Node_Id) is
4240 pragma Assert (False
4241 or else NT (N).Nkind in N_Has_Entity
4242 or else NT (N).Nkind = N_Aspect_Specification
4243 or else NT (N).Nkind = N_Attribute_Definition_Clause
4244 or else NT (N).Nkind = N_Freeze_Entity);
4245 Set_Node4 (N, Val); -- semantic field, no parent set
4248 procedure Set_Entry_Body_Formal_Part
4249 (N : Node_Id; Val : Node_Id) is
4251 pragma Assert (False
4252 or else NT (N).Nkind = N_Entry_Body);
4253 Set_Node5_With_Parent (N, Val);
4254 end Set_Entry_Body_Formal_Part;
4256 procedure Set_Entry_Call_Alternative
4257 (N : Node_Id; Val : Node_Id) is
4259 pragma Assert (False
4260 or else NT (N).Nkind = N_Conditional_Entry_Call
4261 or else NT (N).Nkind = N_Timed_Entry_Call);
4262 Set_Node1_With_Parent (N, Val);
4263 end Set_Entry_Call_Alternative;
4265 procedure Set_Entry_Call_Statement
4266 (N : Node_Id; Val : Node_Id) is
4268 pragma Assert (False
4269 or else NT (N).Nkind = N_Entry_Call_Alternative);
4270 Set_Node1_With_Parent (N, Val);
4271 end Set_Entry_Call_Statement;
4273 procedure Set_Entry_Direct_Name
4274 (N : Node_Id; Val : Node_Id) is
4276 pragma Assert (False
4277 or else NT (N).Nkind = N_Accept_Statement);
4278 Set_Node1_With_Parent (N, Val);
4279 end Set_Entry_Direct_Name;
4281 procedure Set_Entry_Index
4282 (N : Node_Id; Val : Node_Id) is
4284 pragma Assert (False
4285 or else NT (N).Nkind = N_Accept_Statement);
4286 Set_Node5_With_Parent (N, Val);
4287 end Set_Entry_Index;
4289 procedure Set_Entry_Index_Specification
4290 (N : Node_Id; Val : Node_Id) is
4292 pragma Assert (False
4293 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4294 Set_Node4_With_Parent (N, Val);
4295 end Set_Entry_Index_Specification;
4298 (N : Node_Id; Val : Node_Id) is
4300 pragma Assert (False
4301 or else NT (N).Nkind in N_Has_Etype);
4302 Set_Node5 (N, Val); -- semantic field, no parent set
4305 procedure Set_Exception_Choices
4306 (N : Node_Id; Val : List_Id) is
4308 pragma Assert (False
4309 or else NT (N).Nkind = N_Exception_Handler);
4310 Set_List4_With_Parent (N, Val);
4311 end Set_Exception_Choices;
4313 procedure Set_Exception_Handlers
4314 (N : Node_Id; Val : List_Id) is
4316 pragma Assert (False
4317 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4318 Set_List5_With_Parent (N, Val);
4319 end Set_Exception_Handlers;
4321 procedure Set_Exception_Junk
4322 (N : Node_Id; Val : Boolean := True) is
4324 pragma Assert (False
4325 or else NT (N).Nkind = N_Block_Statement
4326 or else NT (N).Nkind = N_Goto_Statement
4327 or else NT (N).Nkind = N_Label
4328 or else NT (N).Nkind = N_Object_Declaration
4329 or else NT (N).Nkind = N_Subtype_Declaration);
4331 end Set_Exception_Junk;
4333 procedure Set_Exception_Label
4334 (N : Node_Id; Val : Node_Id) is
4336 pragma Assert (False
4337 or else NT (N).Nkind = N_Exception_Handler
4338 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4339 or else NT (N).Nkind = N_Push_Program_Error_Label
4340 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4341 Set_Node5 (N, Val); -- semantic field, no parent set
4342 end Set_Exception_Label;
4344 procedure Set_Expansion_Delayed
4345 (N : Node_Id; Val : Boolean := True) is
4347 pragma Assert (False
4348 or else NT (N).Nkind = N_Aggregate
4349 or else NT (N).Nkind = N_Extension_Aggregate);
4350 Set_Flag11 (N, Val);
4351 end Set_Expansion_Delayed;
4353 procedure Set_Explicit_Actual_Parameter
4354 (N : Node_Id; Val : Node_Id) is
4356 pragma Assert (False
4357 or else NT (N).Nkind = N_Parameter_Association);
4358 Set_Node3_With_Parent (N, Val);
4359 end Set_Explicit_Actual_Parameter;
4361 procedure Set_Explicit_Generic_Actual_Parameter
4362 (N : Node_Id; Val : Node_Id) is
4364 pragma Assert (False
4365 or else NT (N).Nkind = N_Generic_Association);
4366 Set_Node1_With_Parent (N, Val);
4367 end Set_Explicit_Generic_Actual_Parameter;
4369 procedure Set_Expression
4370 (N : Node_Id; Val : Node_Id) is
4372 pragma Assert (False
4373 or else NT (N).Nkind = N_Allocator
4374 or else NT (N).Nkind = N_Aspect_Specification
4375 or else NT (N).Nkind = N_Assignment_Statement
4376 or else NT (N).Nkind = N_At_Clause
4377 or else NT (N).Nkind = N_Attribute_Definition_Clause
4378 or else NT (N).Nkind = N_Case_Expression
4379 or else NT (N).Nkind = N_Case_Expression_Alternative
4380 or else NT (N).Nkind = N_Case_Statement
4381 or else NT (N).Nkind = N_Code_Statement
4382 or else NT (N).Nkind = N_Component_Association
4383 or else NT (N).Nkind = N_Component_Declaration
4384 or else NT (N).Nkind = N_Delay_Relative_Statement
4385 or else NT (N).Nkind = N_Delay_Until_Statement
4386 or else NT (N).Nkind = N_Discriminant_Association
4387 or else NT (N).Nkind = N_Discriminant_Specification
4388 or else NT (N).Nkind = N_Exception_Declaration
4389 or else NT (N).Nkind = N_Expression_Function
4390 or else NT (N).Nkind = N_Expression_With_Actions
4391 or else NT (N).Nkind = N_Free_Statement
4392 or else NT (N).Nkind = N_Mod_Clause
4393 or else NT (N).Nkind = N_Modular_Type_Definition
4394 or else NT (N).Nkind = N_Number_Declaration
4395 or else NT (N).Nkind = N_Object_Declaration
4396 or else NT (N).Nkind = N_Parameter_Specification
4397 or else NT (N).Nkind = N_Pragma_Argument_Association
4398 or else NT (N).Nkind = N_Qualified_Expression
4399 or else NT (N).Nkind = N_Raise_Expression
4400 or else NT (N).Nkind = N_Raise_Statement
4401 or else NT (N).Nkind = N_Simple_Return_Statement
4402 or else NT (N).Nkind = N_Type_Conversion
4403 or else NT (N).Nkind = N_Unchecked_Expression
4404 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4405 Set_Node3_With_Parent (N, Val);
4408 procedure Set_Expressions
4409 (N : Node_Id; Val : List_Id) is
4411 pragma Assert (False
4412 or else NT (N).Nkind = N_Aggregate
4413 or else NT (N).Nkind = N_Attribute_Reference
4414 or else NT (N).Nkind = N_Extension_Aggregate
4415 or else NT (N).Nkind = N_If_Expression
4416 or else NT (N).Nkind = N_Indexed_Component);
4417 Set_List1_With_Parent (N, Val);
4418 end Set_Expressions;
4420 procedure Set_First_Bit
4421 (N : Node_Id; Val : Node_Id) is
4423 pragma Assert (False
4424 or else NT (N).Nkind = N_Component_Clause);
4425 Set_Node3_With_Parent (N, Val);
4428 procedure Set_First_Inlined_Subprogram
4429 (N : Node_Id; Val : Entity_Id) is
4431 pragma Assert (False
4432 or else NT (N).Nkind = N_Compilation_Unit);
4433 Set_Node3 (N, Val); -- semantic field, no parent set
4434 end Set_First_Inlined_Subprogram;
4436 procedure Set_First_Name
4437 (N : Node_Id; Val : Boolean := True) is
4439 pragma Assert (False
4440 or else NT (N).Nkind = N_With_Clause);
4444 procedure Set_First_Named_Actual
4445 (N : Node_Id; Val : Node_Id) is
4447 pragma Assert (False
4448 or else NT (N).Nkind = N_Entry_Call_Statement
4449 or else NT (N).Nkind = N_Function_Call
4450 or else NT (N).Nkind = N_Procedure_Call_Statement);
4451 Set_Node4 (N, Val); -- semantic field, no parent set
4452 end Set_First_Named_Actual;
4454 procedure Set_First_Real_Statement
4455 (N : Node_Id; Val : Node_Id) is
4457 pragma Assert (False
4458 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4459 Set_Node2 (N, Val); -- semantic field, no parent set
4460 end Set_First_Real_Statement;
4462 procedure Set_First_Subtype_Link
4463 (N : Node_Id; Val : Entity_Id) is
4465 pragma Assert (False
4466 or else NT (N).Nkind = N_Freeze_Entity);
4467 Set_Node5 (N, Val); -- semantic field, no parent set
4468 end Set_First_Subtype_Link;
4470 procedure Set_Float_Truncate
4471 (N : Node_Id; Val : Boolean := True) is
4473 pragma Assert (False
4474 or else NT (N).Nkind = N_Type_Conversion);
4475 Set_Flag11 (N, Val);
4476 end Set_Float_Truncate;
4478 procedure Set_Formal_Type_Definition
4479 (N : Node_Id; Val : Node_Id) is
4481 pragma Assert (False
4482 or else NT (N).Nkind = N_Formal_Type_Declaration);
4483 Set_Node3_With_Parent (N, Val);
4484 end Set_Formal_Type_Definition;
4486 procedure Set_Forwards_OK
4487 (N : Node_Id; Val : Boolean := True) is
4489 pragma Assert (False
4490 or else NT (N).Nkind = N_Assignment_Statement);
4492 end Set_Forwards_OK;
4494 procedure Set_From_Aspect_Specification
4495 (N : Node_Id; Val : Boolean := True) is
4497 pragma Assert (False
4498 or else NT (N).Nkind = N_Attribute_Definition_Clause
4499 or else NT (N).Nkind = N_Pragma);
4500 Set_Flag13 (N, Val);
4501 end Set_From_Aspect_Specification;
4503 procedure Set_From_At_End
4504 (N : Node_Id; Val : Boolean := True) is
4506 pragma Assert (False
4507 or else NT (N).Nkind = N_Raise_Statement);
4509 end Set_From_At_End;
4511 procedure Set_From_At_Mod
4512 (N : Node_Id; Val : Boolean := True) is
4514 pragma Assert (False
4515 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4517 end Set_From_At_Mod;
4519 procedure Set_From_Default
4520 (N : Node_Id; Val : Boolean := True) is
4522 pragma Assert (False
4523 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4525 end Set_From_Default;
4527 procedure Set_Generic_Associations
4528 (N : Node_Id; Val : List_Id) is
4530 pragma Assert (False
4531 or else NT (N).Nkind = N_Formal_Package_Declaration
4532 or else NT (N).Nkind = N_Function_Instantiation
4533 or else NT (N).Nkind = N_Package_Instantiation
4534 or else NT (N).Nkind = N_Procedure_Instantiation);
4535 Set_List3_With_Parent (N, Val);
4536 end Set_Generic_Associations;
4538 procedure Set_Generic_Formal_Declarations
4539 (N : Node_Id; Val : List_Id) is
4541 pragma Assert (False
4542 or else NT (N).Nkind = N_Generic_Package_Declaration
4543 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4544 Set_List2_With_Parent (N, Val);
4545 end Set_Generic_Formal_Declarations;
4547 procedure Set_Generic_Parent
4548 (N : Node_Id; Val : Node_Id) is
4550 pragma Assert (False
4551 or else NT (N).Nkind = N_Function_Specification
4552 or else NT (N).Nkind = N_Package_Specification
4553 or else NT (N).Nkind = N_Procedure_Specification);
4555 end Set_Generic_Parent;
4557 procedure Set_Generic_Parent_Type
4558 (N : Node_Id; Val : Node_Id) is
4560 pragma Assert (False
4561 or else NT (N).Nkind = N_Subtype_Declaration);
4563 end Set_Generic_Parent_Type;
4565 procedure Set_Handled_Statement_Sequence
4566 (N : Node_Id; Val : Node_Id) is
4568 pragma Assert (False
4569 or else NT (N).Nkind = N_Accept_Statement
4570 or else NT (N).Nkind = N_Block_Statement
4571 or else NT (N).Nkind = N_Entry_Body
4572 or else NT (N).Nkind = N_Extended_Return_Statement
4573 or else NT (N).Nkind = N_Package_Body
4574 or else NT (N).Nkind = N_Subprogram_Body
4575 or else NT (N).Nkind = N_Task_Body);
4576 Set_Node4_With_Parent (N, Val);
4577 end Set_Handled_Statement_Sequence;
4579 procedure Set_Handler_List_Entry
4580 (N : Node_Id; Val : Node_Id) is
4582 pragma Assert (False
4583 or else NT (N).Nkind = N_Object_Declaration);
4585 end Set_Handler_List_Entry;
4587 procedure Set_Has_Created_Identifier
4588 (N : Node_Id; Val : Boolean := True) is
4590 pragma Assert (False
4591 or else NT (N).Nkind = N_Block_Statement
4592 or else NT (N).Nkind = N_Loop_Statement);
4593 Set_Flag15 (N, Val);
4594 end Set_Has_Created_Identifier;
4596 procedure Set_Has_Dereference_Action
4597 (N : Node_Id; Val : Boolean := True) is
4599 pragma Assert (False
4600 or else NT (N).Nkind = N_Explicit_Dereference);
4601 Set_Flag13 (N, Val);
4602 end Set_Has_Dereference_Action;
4604 procedure Set_Has_Dynamic_Length_Check
4605 (N : Node_Id; Val : Boolean := True) is
4607 pragma Assert (False
4608 or else NT (N).Nkind in N_Subexpr);
4609 Set_Flag10 (N, Val);
4610 end Set_Has_Dynamic_Length_Check;
4612 procedure Set_Has_Dynamic_Range_Check
4613 (N : Node_Id; Val : Boolean := True) is
4615 pragma Assert (False
4616 or else NT (N).Nkind = N_Subtype_Declaration
4617 or else NT (N).Nkind in N_Subexpr);
4618 Set_Flag12 (N, Val);
4619 end Set_Has_Dynamic_Range_Check;
4621 procedure Set_Has_Init_Expression
4622 (N : Node_Id; Val : Boolean := True) is
4624 pragma Assert (False
4625 or else NT (N).Nkind = N_Object_Declaration);
4626 Set_Flag14 (N, Val);
4627 end Set_Has_Init_Expression;
4629 procedure Set_Has_Local_Raise
4630 (N : Node_Id; Val : Boolean := True) is
4632 pragma Assert (False
4633 or else NT (N).Nkind = N_Exception_Handler);
4635 end Set_Has_Local_Raise;
4637 procedure Set_Has_No_Elaboration_Code
4638 (N : Node_Id; Val : Boolean := True) is
4640 pragma Assert (False
4641 or else NT (N).Nkind = N_Compilation_Unit);
4642 Set_Flag17 (N, Val);
4643 end Set_Has_No_Elaboration_Code;
4645 procedure Set_Has_Pragma_Suppress_All
4646 (N : Node_Id; Val : Boolean := True) is
4648 pragma Assert (False
4649 or else NT (N).Nkind = N_Compilation_Unit);
4650 Set_Flag14 (N, Val);
4651 end Set_Has_Pragma_Suppress_All;
4653 procedure Set_Has_Private_View
4654 (N : Node_Id; Val : Boolean := True) is
4656 pragma Assert (False
4657 or else NT (N).Nkind in N_Op
4658 or else NT (N).Nkind = N_Character_Literal
4659 or else NT (N).Nkind = N_Expanded_Name
4660 or else NT (N).Nkind = N_Identifier
4661 or else NT (N).Nkind = N_Operator_Symbol);
4662 Set_Flag11 (N, Val);
4663 end Set_Has_Private_View;
4665 procedure Set_Has_Relative_Deadline_Pragma
4666 (N : Node_Id; Val : Boolean := True) is
4668 pragma Assert (False
4669 or else NT (N).Nkind = N_Subprogram_Body
4670 or else NT (N).Nkind = N_Task_Definition);
4672 end Set_Has_Relative_Deadline_Pragma;
4674 procedure Set_Has_Self_Reference
4675 (N : Node_Id; Val : Boolean := True) is
4677 pragma Assert (False
4678 or else NT (N).Nkind = N_Aggregate
4679 or else NT (N).Nkind = N_Extension_Aggregate);
4680 Set_Flag13 (N, Val);
4681 end Set_Has_Self_Reference;
4683 procedure Set_Has_Storage_Size_Pragma
4684 (N : Node_Id; Val : Boolean := True) is
4686 pragma Assert (False
4687 or else NT (N).Nkind = N_Task_Definition);
4689 end Set_Has_Storage_Size_Pragma;
4691 procedure Set_Has_Wide_Character
4692 (N : Node_Id; Val : Boolean := True) is
4694 pragma Assert (False
4695 or else NT (N).Nkind = N_String_Literal);
4696 Set_Flag11 (N, Val);
4697 end Set_Has_Wide_Character;
4699 procedure Set_Has_Wide_Wide_Character
4700 (N : Node_Id; Val : Boolean := True) is
4702 pragma Assert (False
4703 or else NT (N).Nkind = N_String_Literal);
4704 Set_Flag13 (N, Val);
4705 end Set_Has_Wide_Wide_Character;
4707 procedure Set_Header_Size_Added
4708 (N : Node_Id; Val : Boolean := True) is
4710 pragma Assert (False
4711 or else NT (N).Nkind = N_Attribute_Reference);
4712 Set_Flag11 (N, Val);
4713 end Set_Header_Size_Added;
4715 procedure Set_Hidden_By_Use_Clause
4716 (N : Node_Id; Val : Elist_Id) is
4718 pragma Assert (False
4719 or else NT (N).Nkind = N_Use_Package_Clause
4720 or else NT (N).Nkind = N_Use_Type_Clause);
4721 Set_Elist4 (N, Val);
4722 end Set_Hidden_By_Use_Clause;
4724 procedure Set_High_Bound
4725 (N : Node_Id; Val : Node_Id) is
4727 pragma Assert (False
4728 or else NT (N).Nkind = N_Range
4729 or else NT (N).Nkind = N_Real_Range_Specification
4730 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4731 Set_Node2_With_Parent (N, Val);
4734 procedure Set_Identifier
4735 (N : Node_Id; Val : Node_Id) is
4737 pragma Assert (False
4738 or else NT (N).Nkind = N_Aspect_Specification
4739 or else NT (N).Nkind = N_At_Clause
4740 or else NT (N).Nkind = N_Block_Statement
4741 or else NT (N).Nkind = N_Designator
4742 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4743 or else NT (N).Nkind = N_Label
4744 or else NT (N).Nkind = N_Loop_Statement
4745 or else NT (N).Nkind = N_Record_Representation_Clause
4746 or else NT (N).Nkind = N_Subprogram_Info);
4747 Set_Node1_With_Parent (N, Val);
4750 procedure Set_Implicit_With
4751 (N : Node_Id; Val : Boolean := True) is
4753 pragma Assert (False
4754 or else NT (N).Nkind = N_With_Clause);
4755 Set_Flag16 (N, Val);
4756 end Set_Implicit_With;
4758 procedure Set_Implicit_With_From_Instantiation
4759 (N : Node_Id; Val : Boolean := True) is
4761 pragma Assert (False
4762 or else NT (N).Nkind = N_With_Clause);
4763 Set_Flag12 (N, Val);
4764 end Set_Implicit_With_From_Instantiation;
4766 procedure Set_Interface_List
4767 (N : Node_Id; Val : List_Id) is
4769 pragma Assert (False
4770 or else NT (N).Nkind = N_Derived_Type_Definition
4771 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4772 or else NT (N).Nkind = N_Private_Extension_Declaration
4773 or else NT (N).Nkind = N_Protected_Type_Declaration
4774 or else NT (N).Nkind = N_Record_Definition
4775 or else NT (N).Nkind = N_Single_Protected_Declaration
4776 or else NT (N).Nkind = N_Single_Task_Declaration
4777 or else NT (N).Nkind = N_Task_Type_Declaration);
4778 Set_List2_With_Parent (N, Val);
4779 end Set_Interface_List;
4781 procedure Set_Interface_Present
4782 (N : Node_Id; Val : Boolean := True) is
4784 pragma Assert (False
4785 or else NT (N).Nkind = N_Derived_Type_Definition
4786 or else NT (N).Nkind = N_Record_Definition);
4787 Set_Flag16 (N, Val);
4788 end Set_Interface_Present;
4790 procedure Set_Import_Interface_Present
4791 (N : Node_Id; Val : Boolean := True) is
4793 pragma Assert (False
4794 or else NT (N).Nkind = N_Pragma);
4795 Set_Flag16 (N, Val);
4796 end Set_Import_Interface_Present;
4798 procedure Set_In_Assertion_Expression
4799 (N : Node_Id; Val : Boolean := True) is
4801 pragma Assert (False
4802 or else NT (N).Nkind = N_Function_Call);
4804 end Set_In_Assertion_Expression;
4806 procedure Set_In_Present
4807 (N : Node_Id; Val : Boolean := True) is
4809 pragma Assert (False
4810 or else NT (N).Nkind = N_Formal_Object_Declaration
4811 or else NT (N).Nkind = N_Parameter_Specification);
4812 Set_Flag15 (N, Val);
4815 procedure Set_Includes_Infinities
4816 (N : Node_Id; Val : Boolean := True) is
4818 pragma Assert (False
4819 or else NT (N).Nkind = N_Range);
4820 Set_Flag11 (N, Val);
4821 end Set_Includes_Infinities;
4823 procedure Set_Inherited_Discriminant
4824 (N : Node_Id; Val : Boolean := True) is
4826 pragma Assert (False
4827 or else NT (N).Nkind = N_Component_Association);
4828 Set_Flag13 (N, Val);
4829 end Set_Inherited_Discriminant;
4831 procedure Set_Instance_Spec
4832 (N : Node_Id; Val : Node_Id) is
4834 pragma Assert (False
4835 or else NT (N).Nkind = N_Formal_Package_Declaration
4836 or else NT (N).Nkind = N_Function_Instantiation
4837 or else NT (N).Nkind = N_Package_Instantiation
4838 or else NT (N).Nkind = N_Procedure_Instantiation);
4839 Set_Node5 (N, Val); -- semantic field, no Parent set
4840 end Set_Instance_Spec;
4842 procedure Set_Intval
4843 (N : Node_Id; Val : Uint) is
4845 pragma Assert (False
4846 or else NT (N).Nkind = N_Integer_Literal);
4850 procedure Set_Is_Accessibility_Actual
4851 (N : Node_Id; Val : Boolean := True) is
4853 pragma Assert (False
4854 or else NT (N).Nkind = N_Parameter_Association);
4855 Set_Flag13 (N, Val);
4856 end Set_Is_Accessibility_Actual;
4858 procedure Set_Is_Asynchronous_Call_Block
4859 (N : Node_Id; Val : Boolean := True) is
4861 pragma Assert (False
4862 or else NT (N).Nkind = N_Block_Statement);
4864 end Set_Is_Asynchronous_Call_Block;
4866 procedure Set_Is_Boolean_Aspect
4867 (N : Node_Id; Val : Boolean := True) is
4869 pragma Assert (False
4870 or else NT (N).Nkind = N_Aspect_Specification);
4871 Set_Flag16 (N, Val);
4872 end Set_Is_Boolean_Aspect;
4874 procedure Set_Is_Checked
4875 (N : Node_Id; Val : Boolean := True) is
4877 pragma Assert (False
4878 or else NT (N).Nkind = N_Aspect_Specification
4879 or else NT (N).Nkind = N_Pragma);
4880 Set_Flag11 (N, Val);
4883 procedure Set_Is_Component_Left_Opnd
4884 (N : Node_Id; Val : Boolean := True) is
4886 pragma Assert (False
4887 or else NT (N).Nkind = N_Op_Concat);
4888 Set_Flag13 (N, Val);
4889 end Set_Is_Component_Left_Opnd;
4891 procedure Set_Is_Component_Right_Opnd
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Op_Concat);
4896 Set_Flag14 (N, Val);
4897 end Set_Is_Component_Right_Opnd;
4899 procedure Set_Is_Controlling_Actual
4900 (N : Node_Id; Val : Boolean := True) is
4902 pragma Assert (False
4903 or else NT (N).Nkind in N_Subexpr);
4904 Set_Flag16 (N, Val);
4905 end Set_Is_Controlling_Actual;
4907 procedure Set_Is_Delayed_Aspect
4908 (N : Node_Id; Val : Boolean := True) is
4910 pragma Assert (False
4911 or else NT (N).Nkind = N_Aspect_Specification
4912 or else NT (N).Nkind = N_Attribute_Definition_Clause
4913 or else NT (N).Nkind = N_Pragma);
4914 Set_Flag14 (N, Val);
4915 end Set_Is_Delayed_Aspect;
4917 procedure Set_Is_Disabled
4918 (N : Node_Id; Val : Boolean := True) is
4920 pragma Assert (False
4921 or else NT (N).Nkind = N_Aspect_Specification
4922 or else NT (N).Nkind = N_Pragma);
4923 Set_Flag15 (N, Val);
4924 end Set_Is_Disabled;
4926 procedure Set_Is_Dynamic_Coextension
4927 (N : Node_Id; Val : Boolean := True) is
4929 pragma Assert (False
4930 or else NT (N).Nkind = N_Allocator);
4931 Set_Flag18 (N, Val);
4932 end Set_Is_Dynamic_Coextension;
4934 procedure Set_Is_Elsif
4935 (N : Node_Id; Val : Boolean := True) is
4937 pragma Assert (False
4938 or else NT (N).Nkind = N_If_Expression);
4939 Set_Flag13 (N, Val);
4942 procedure Set_Is_Entry_Barrier_Function
4943 (N : Node_Id; Val : Boolean := True) is
4945 pragma Assert (False
4946 or else NT (N).Nkind = N_Subprogram_Body);
4948 end Set_Is_Entry_Barrier_Function;
4950 procedure Set_Is_Expanded_Build_In_Place_Call
4951 (N : Node_Id; Val : Boolean := True) is
4953 pragma Assert (False
4954 or else NT (N).Nkind = N_Function_Call);
4955 Set_Flag11 (N, Val);
4956 end Set_Is_Expanded_Build_In_Place_Call;
4958 procedure Set_Is_Finalization_Wrapper
4959 (N : Node_Id; Val : Boolean := True) is
4961 pragma Assert (False
4962 or else NT (N).Nkind = N_Block_Statement);
4964 end Set_Is_Finalization_Wrapper;
4966 procedure Set_Is_Folded_In_Parser
4967 (N : Node_Id; Val : Boolean := True) is
4969 pragma Assert (False
4970 or else NT (N).Nkind = N_String_Literal);
4972 end Set_Is_Folded_In_Parser;
4974 procedure Set_Is_Ignored
4975 (N : Node_Id; Val : Boolean := True) is
4977 pragma Assert (False
4978 or else NT (N).Nkind = N_Aspect_Specification
4979 or else NT (N).Nkind = N_Pragma);
4983 procedure Set_Is_In_Discriminant_Check
4984 (N : Node_Id; Val : Boolean := True) is
4986 pragma Assert (False
4987 or else NT (N).Nkind = N_Selected_Component);
4988 Set_Flag11 (N, Val);
4989 end Set_Is_In_Discriminant_Check;
4991 procedure Set_Is_Machine_Number
4992 (N : Node_Id; Val : Boolean := True) is
4994 pragma Assert (False
4995 or else NT (N).Nkind = N_Real_Literal);
4996 Set_Flag11 (N, Val);
4997 end Set_Is_Machine_Number;
4999 procedure Set_Is_Null_Loop
5000 (N : Node_Id; Val : Boolean := True) is
5002 pragma Assert (False
5003 or else NT (N).Nkind = N_Loop_Statement);
5004 Set_Flag16 (N, Val);
5005 end Set_Is_Null_Loop;
5007 procedure Set_Is_Overloaded
5008 (N : Node_Id; Val : Boolean := True) is
5010 pragma Assert (False
5011 or else NT (N).Nkind in N_Subexpr);
5013 end Set_Is_Overloaded;
5015 procedure Set_Is_Power_Of_2_For_Shift
5016 (N : Node_Id; Val : Boolean := True) is
5018 pragma Assert (False
5019 or else NT (N).Nkind = N_Op_Expon);
5020 Set_Flag13 (N, Val);
5021 end Set_Is_Power_Of_2_For_Shift;
5023 procedure Set_Is_Prefixed_Call
5024 (N : Node_Id; Val : Boolean := True) is
5026 pragma Assert (False
5027 or else NT (N).Nkind = N_Selected_Component);
5028 Set_Flag17 (N, Val);
5029 end Set_Is_Prefixed_Call;
5031 procedure Set_Is_Protected_Subprogram_Body
5032 (N : Node_Id; Val : Boolean := True) is
5034 pragma Assert (False
5035 or else NT (N).Nkind = N_Subprogram_Body);
5037 end Set_Is_Protected_Subprogram_Body;
5039 procedure Set_Is_Static_Coextension
5040 (N : Node_Id; Val : Boolean := True) is
5042 pragma Assert (False
5043 or else NT (N).Nkind = N_Allocator);
5044 Set_Flag14 (N, Val);
5045 end Set_Is_Static_Coextension;
5047 procedure Set_Is_Static_Expression
5048 (N : Node_Id; Val : Boolean := True) is
5050 pragma Assert (False
5051 or else NT (N).Nkind in N_Subexpr);
5053 end Set_Is_Static_Expression;
5055 procedure Set_Is_Subprogram_Descriptor
5056 (N : Node_Id; Val : Boolean := True) is
5058 pragma Assert (False
5059 or else NT (N).Nkind = N_Object_Declaration);
5060 Set_Flag16 (N, Val);
5061 end Set_Is_Subprogram_Descriptor;
5063 procedure Set_Is_Task_Allocation_Block
5064 (N : Node_Id; Val : Boolean := True) is
5066 pragma Assert (False
5067 or else NT (N).Nkind = N_Block_Statement);
5069 end Set_Is_Task_Allocation_Block;
5071 procedure Set_Is_Task_Master
5072 (N : Node_Id; Val : Boolean := True) is
5074 pragma Assert (False
5075 or else NT (N).Nkind = N_Block_Statement
5076 or else NT (N).Nkind = N_Subprogram_Body
5077 or else NT (N).Nkind = N_Task_Body);
5079 end Set_Is_Task_Master;
5081 procedure Set_Iteration_Scheme
5082 (N : Node_Id; Val : Node_Id) is
5084 pragma Assert (False
5085 or else NT (N).Nkind = N_Loop_Statement);
5086 Set_Node2_With_Parent (N, Val);
5087 end Set_Iteration_Scheme;
5089 procedure Set_Iterator_Specification
5090 (N : Node_Id; Val : Node_Id) is
5092 pragma Assert (False
5093 or else NT (N).Nkind = N_Iteration_Scheme
5094 or else NT (N).Nkind = N_Quantified_Expression);
5095 Set_Node2_With_Parent (N, Val);
5096 end Set_Iterator_Specification;
5099 (N : Node_Id; Val : Entity_Id) is
5101 pragma Assert (False
5102 or else NT (N).Nkind = N_Itype_Reference);
5103 Set_Node1 (N, Val); -- no parent, semantic field
5106 procedure Set_Kill_Range_Check
5107 (N : Node_Id; Val : Boolean := True) is
5109 pragma Assert (False
5110 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5111 Set_Flag11 (N, Val);
5112 end Set_Kill_Range_Check;
5114 procedure Set_Label_Construct
5115 (N : Node_Id; Val : Node_Id) is
5117 pragma Assert (False
5118 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5119 Set_Node2 (N, Val); -- semantic field, no parent set
5120 end Set_Label_Construct;
5122 procedure Set_Last_Bit
5123 (N : Node_Id; Val : Node_Id) is
5125 pragma Assert (False
5126 or else NT (N).Nkind = N_Component_Clause);
5127 Set_Node4_With_Parent (N, Val);
5130 procedure Set_Last_Name
5131 (N : Node_Id; Val : Boolean := True) is
5133 pragma Assert (False
5134 or else NT (N).Nkind = N_With_Clause);
5138 procedure Set_Left_Opnd
5139 (N : Node_Id; Val : Node_Id) is
5141 pragma Assert (False
5142 or else NT (N).Nkind = N_And_Then
5143 or else NT (N).Nkind = N_In
5144 or else NT (N).Nkind = N_Not_In
5145 or else NT (N).Nkind = N_Or_Else
5146 or else NT (N).Nkind in N_Binary_Op);
5147 Set_Node2_With_Parent (N, Val);
5150 procedure Set_Library_Unit
5151 (N : Node_Id; Val : Node_Id) is
5153 pragma Assert (False
5154 or else NT (N).Nkind = N_Compilation_Unit
5155 or else NT (N).Nkind = N_Package_Body_Stub
5156 or else NT (N).Nkind = N_Protected_Body_Stub
5157 or else NT (N).Nkind = N_Subprogram_Body_Stub
5158 or else NT (N).Nkind = N_Task_Body_Stub
5159 or else NT (N).Nkind = N_With_Clause);
5160 Set_Node4 (N, Val); -- semantic field, no parent set
5161 end Set_Library_Unit;
5163 procedure Set_Limited_View_Installed
5164 (N : Node_Id; Val : Boolean := True) is
5166 pragma Assert (False
5167 or else NT (N).Nkind = N_Package_Specification
5168 or else NT (N).Nkind = N_With_Clause);
5169 Set_Flag18 (N, Val);
5170 end Set_Limited_View_Installed;
5172 procedure Set_Limited_Present
5173 (N : Node_Id; Val : Boolean := True) is
5175 pragma Assert (False
5176 or else NT (N).Nkind = N_Derived_Type_Definition
5177 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5178 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5179 or else NT (N).Nkind = N_Private_Extension_Declaration
5180 or else NT (N).Nkind = N_Private_Type_Declaration
5181 or else NT (N).Nkind = N_Record_Definition
5182 or else NT (N).Nkind = N_With_Clause);
5183 Set_Flag17 (N, Val);
5184 end Set_Limited_Present;
5186 procedure Set_Literals
5187 (N : Node_Id; Val : List_Id) is
5189 pragma Assert (False
5190 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5191 Set_List1_With_Parent (N, Val);
5194 procedure Set_Local_Raise_Not_OK
5195 (N : Node_Id; Val : Boolean := True) is
5197 pragma Assert (False
5198 or else NT (N).Nkind = N_Exception_Handler);
5200 end Set_Local_Raise_Not_OK;
5202 procedure Set_Local_Raise_Statements
5203 (N : Node_Id; Val : Elist_Id) is
5205 pragma Assert (False
5206 or else NT (N).Nkind = N_Exception_Handler);
5207 Set_Elist1 (N, Val);
5208 end Set_Local_Raise_Statements;
5210 procedure Set_Loop_Actions
5211 (N : Node_Id; Val : List_Id) is
5213 pragma Assert (False
5214 or else NT (N).Nkind = N_Component_Association);
5215 Set_List2 (N, Val); -- semantic field, no parent set
5216 end Set_Loop_Actions;
5218 procedure Set_Loop_Parameter_Specification
5219 (N : Node_Id; Val : Node_Id) is
5221 pragma Assert (False
5222 or else NT (N).Nkind = N_Iteration_Scheme
5223 or else NT (N).Nkind = N_Quantified_Expression);
5224 Set_Node4_With_Parent (N, Val);
5225 end Set_Loop_Parameter_Specification;
5227 procedure Set_Low_Bound
5228 (N : Node_Id; Val : Node_Id) is
5230 pragma Assert (False
5231 or else NT (N).Nkind = N_Range
5232 or else NT (N).Nkind = N_Real_Range_Specification
5233 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5234 Set_Node1_With_Parent (N, Val);
5237 procedure Set_Mod_Clause
5238 (N : Node_Id; Val : Node_Id) is
5240 pragma Assert (False
5241 or else NT (N).Nkind = N_Record_Representation_Clause);
5242 Set_Node2_With_Parent (N, Val);
5245 procedure Set_More_Ids
5246 (N : Node_Id; Val : Boolean := True) is
5248 pragma Assert (False
5249 or else NT (N).Nkind = N_Component_Declaration
5250 or else NT (N).Nkind = N_Discriminant_Specification
5251 or else NT (N).Nkind = N_Exception_Declaration
5252 or else NT (N).Nkind = N_Formal_Object_Declaration
5253 or else NT (N).Nkind = N_Number_Declaration
5254 or else NT (N).Nkind = N_Object_Declaration
5255 or else NT (N).Nkind = N_Parameter_Specification);
5259 procedure Set_Must_Be_Byte_Aligned
5260 (N : Node_Id; Val : Boolean := True) is
5262 pragma Assert (False
5263 or else NT (N).Nkind = N_Attribute_Reference);
5264 Set_Flag14 (N, Val);
5265 end Set_Must_Be_Byte_Aligned;
5267 procedure Set_Must_Not_Freeze
5268 (N : Node_Id; Val : Boolean := True) is
5270 pragma Assert (False
5271 or else NT (N).Nkind = N_Subtype_Indication
5272 or else NT (N).Nkind in N_Subexpr);
5274 end Set_Must_Not_Freeze;
5276 procedure Set_Must_Not_Override
5277 (N : Node_Id; Val : Boolean := True) is
5279 pragma Assert (False
5280 or else NT (N).Nkind = N_Entry_Declaration
5281 or else NT (N).Nkind = N_Function_Instantiation
5282 or else NT (N).Nkind = N_Function_Specification
5283 or else NT (N).Nkind = N_Procedure_Instantiation
5284 or else NT (N).Nkind = N_Procedure_Specification);
5285 Set_Flag15 (N, Val);
5286 end Set_Must_Not_Override;
5288 procedure Set_Must_Override
5289 (N : Node_Id; Val : Boolean := True) is
5291 pragma Assert (False
5292 or else NT (N).Nkind = N_Entry_Declaration
5293 or else NT (N).Nkind = N_Function_Instantiation
5294 or else NT (N).Nkind = N_Function_Specification
5295 or else NT (N).Nkind = N_Procedure_Instantiation
5296 or else NT (N).Nkind = N_Procedure_Specification);
5297 Set_Flag14 (N, Val);
5298 end Set_Must_Override;
5301 (N : Node_Id; Val : Node_Id) is
5303 pragma Assert (False
5304 or else NT (N).Nkind = N_Assignment_Statement
5305 or else NT (N).Nkind = N_Attribute_Definition_Clause
5306 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5307 or else NT (N).Nkind = N_Designator
5308 or else NT (N).Nkind = N_Entry_Call_Statement
5309 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5310 or else NT (N).Nkind = N_Exit_Statement
5311 or else NT (N).Nkind = N_Formal_Package_Declaration
5312 or else NT (N).Nkind = N_Function_Call
5313 or else NT (N).Nkind = N_Function_Instantiation
5314 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5315 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5316 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5317 or else NT (N).Nkind = N_Goto_Statement
5318 or else NT (N).Nkind = N_Iterator_Specification
5319 or else NT (N).Nkind = N_Object_Renaming_Declaration
5320 or else NT (N).Nkind = N_Package_Instantiation
5321 or else NT (N).Nkind = N_Package_Renaming_Declaration
5322 or else NT (N).Nkind = N_Procedure_Call_Statement
5323 or else NT (N).Nkind = N_Procedure_Instantiation
5324 or else NT (N).Nkind = N_Raise_Expression
5325 or else NT (N).Nkind = N_Raise_Statement
5326 or else NT (N).Nkind = N_Requeue_Statement
5327 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5328 or else NT (N).Nkind = N_Subunit
5329 or else NT (N).Nkind = N_Variant_Part
5330 or else NT (N).Nkind = N_With_Clause);
5331 Set_Node2_With_Parent (N, Val);
5335 (N : Node_Id; Val : List_Id) is
5337 pragma Assert (False
5338 or else NT (N).Nkind = N_Abort_Statement
5339 or else NT (N).Nkind = N_Use_Package_Clause);
5340 Set_List2_With_Parent (N, Val);
5343 procedure Set_Next_Entity
5344 (N : Node_Id; Val : Node_Id) is
5346 pragma Assert (False
5347 or else NT (N).Nkind = N_Defining_Character_Literal
5348 or else NT (N).Nkind = N_Defining_Identifier
5349 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5350 Set_Node2 (N, Val); -- semantic field, no parent set
5351 end Set_Next_Entity;
5353 procedure Set_Next_Exit_Statement
5354 (N : Node_Id; Val : Node_Id) is
5356 pragma Assert (False
5357 or else NT (N).Nkind = N_Exit_Statement);
5358 Set_Node3 (N, Val); -- semantic field, no parent set
5359 end Set_Next_Exit_Statement;
5361 procedure Set_Next_Implicit_With
5362 (N : Node_Id; Val : Node_Id) is
5364 pragma Assert (False
5365 or else NT (N).Nkind = N_With_Clause);
5366 Set_Node3 (N, Val); -- semantic field, no parent set
5367 end Set_Next_Implicit_With;
5369 procedure Set_Next_Named_Actual
5370 (N : Node_Id; Val : Node_Id) is
5372 pragma Assert (False
5373 or else NT (N).Nkind = N_Parameter_Association);
5374 Set_Node4 (N, Val); -- semantic field, no parent set
5375 end Set_Next_Named_Actual;
5377 procedure Set_Next_Pragma
5378 (N : Node_Id; Val : Node_Id) is
5380 pragma Assert (False
5381 or else NT (N).Nkind = N_Pragma);
5382 Set_Node1 (N, Val); -- semantic field, no parent set
5383 end Set_Next_Pragma;
5385 procedure Set_Next_Rep_Item
5386 (N : Node_Id; Val : Node_Id) is
5388 pragma Assert (False
5389 or else NT (N).Nkind = N_Aspect_Specification
5390 or else NT (N).Nkind = N_Attribute_Definition_Clause
5391 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5392 or else NT (N).Nkind = N_Pragma
5393 or else NT (N).Nkind = N_Record_Representation_Clause);
5394 Set_Node5 (N, Val); -- semantic field, no parent set
5395 end Set_Next_Rep_Item;
5397 procedure Set_Next_Use_Clause
5398 (N : Node_Id; Val : Node_Id) is
5400 pragma Assert (False
5401 or else NT (N).Nkind = N_Use_Package_Clause
5402 or else NT (N).Nkind = N_Use_Type_Clause);
5403 Set_Node3 (N, Val); -- semantic field, no parent set
5404 end Set_Next_Use_Clause;
5406 procedure Set_No_Ctrl_Actions
5407 (N : Node_Id; Val : Boolean := True) is
5409 pragma Assert (False
5410 or else NT (N).Nkind = N_Assignment_Statement);
5412 end Set_No_Ctrl_Actions;
5414 procedure Set_No_Elaboration_Check
5415 (N : Node_Id; Val : Boolean := True) is
5417 pragma Assert (False
5418 or else NT (N).Nkind = N_Function_Call
5419 or else NT (N).Nkind = N_Procedure_Call_Statement);
5420 Set_Flag14 (N, Val);
5421 end Set_No_Elaboration_Check;
5423 procedure Set_No_Entities_Ref_In_Spec
5424 (N : Node_Id; Val : Boolean := True) is
5426 pragma Assert (False
5427 or else NT (N).Nkind = N_With_Clause);
5429 end Set_No_Entities_Ref_In_Spec;
5431 procedure Set_No_Initialization
5432 (N : Node_Id; Val : Boolean := True) is
5434 pragma Assert (False
5435 or else NT (N).Nkind = N_Allocator
5436 or else NT (N).Nkind = N_Object_Declaration);
5437 Set_Flag13 (N, Val);
5438 end Set_No_Initialization;
5440 procedure Set_No_Minimize_Eliminate
5441 (N : Node_Id; Val : Boolean := True) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_In
5445 or else NT (N).Nkind = N_Not_In);
5446 Set_Flag17 (N, Val);
5447 end Set_No_Minimize_Eliminate;
5449 procedure Set_No_Truncation
5450 (N : Node_Id; Val : Boolean := True) is
5452 pragma Assert (False
5453 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5454 Set_Flag17 (N, Val);
5455 end Set_No_Truncation;
5457 procedure Set_Null_Present
5458 (N : Node_Id; Val : Boolean := True) is
5460 pragma Assert (False
5461 or else NT (N).Nkind = N_Component_List
5462 or else NT (N).Nkind = N_Procedure_Specification
5463 or else NT (N).Nkind = N_Record_Definition);
5464 Set_Flag13 (N, Val);
5465 end Set_Null_Present;
5467 procedure Set_Null_Exclusion_Present
5468 (N : Node_Id; Val : Boolean := True) is
5470 pragma Assert (False
5471 or else NT (N).Nkind = N_Access_Definition
5472 or else NT (N).Nkind = N_Access_Function_Definition
5473 or else NT (N).Nkind = N_Access_Procedure_Definition
5474 or else NT (N).Nkind = N_Access_To_Object_Definition
5475 or else NT (N).Nkind = N_Allocator
5476 or else NT (N).Nkind = N_Component_Definition
5477 or else NT (N).Nkind = N_Derived_Type_Definition
5478 or else NT (N).Nkind = N_Discriminant_Specification
5479 or else NT (N).Nkind = N_Formal_Object_Declaration
5480 or else NT (N).Nkind = N_Function_Specification
5481 or else NT (N).Nkind = N_Object_Declaration
5482 or else NT (N).Nkind = N_Object_Renaming_Declaration
5483 or else NT (N).Nkind = N_Parameter_Specification
5484 or else NT (N).Nkind = N_Subtype_Declaration);
5485 Set_Flag11 (N, Val);
5486 end Set_Null_Exclusion_Present;
5488 procedure Set_Null_Exclusion_In_Return_Present
5489 (N : Node_Id; Val : Boolean := True) is
5491 pragma Assert (False
5492 or else NT (N).Nkind = N_Access_Function_Definition);
5493 Set_Flag14 (N, Val);
5494 end Set_Null_Exclusion_In_Return_Present;
5496 procedure Set_Null_Record_Present
5497 (N : Node_Id; Val : Boolean := True) is
5499 pragma Assert (False
5500 or else NT (N).Nkind = N_Aggregate
5501 or else NT (N).Nkind = N_Extension_Aggregate);
5502 Set_Flag17 (N, Val);
5503 end Set_Null_Record_Present;
5505 procedure Set_Object_Definition
5506 (N : Node_Id; Val : Node_Id) is
5508 pragma Assert (False
5509 or else NT (N).Nkind = N_Object_Declaration);
5510 Set_Node4_With_Parent (N, Val);
5511 end Set_Object_Definition;
5513 procedure Set_Of_Present
5514 (N : Node_Id; Val : Boolean := True) is
5516 pragma Assert (False
5517 or else NT (N).Nkind = N_Iterator_Specification);
5518 Set_Flag16 (N, Val);
5521 procedure Set_Original_Discriminant
5522 (N : Node_Id; Val : Node_Id) is
5524 pragma Assert (False
5525 or else NT (N).Nkind = N_Identifier);
5526 Set_Node2 (N, Val); -- semantic field, no parent set
5527 end Set_Original_Discriminant;
5529 procedure Set_Original_Entity
5530 (N : Node_Id; Val : Entity_Id) is
5532 pragma Assert (False
5533 or else NT (N).Nkind = N_Integer_Literal
5534 or else NT (N).Nkind = N_Real_Literal);
5535 Set_Node2 (N, Val); -- semantic field, no parent set
5536 end Set_Original_Entity;
5538 procedure Set_Others_Discrete_Choices
5539 (N : Node_Id; Val : List_Id) is
5541 pragma Assert (False
5542 or else NT (N).Nkind = N_Others_Choice);
5543 Set_List1_With_Parent (N, Val);
5544 end Set_Others_Discrete_Choices;
5546 procedure Set_Out_Present
5547 (N : Node_Id; Val : Boolean := True) is
5549 pragma Assert (False
5550 or else NT (N).Nkind = N_Formal_Object_Declaration
5551 or else NT (N).Nkind = N_Parameter_Specification);
5552 Set_Flag17 (N, Val);
5553 end Set_Out_Present;
5555 procedure Set_Parameter_Associations
5556 (N : Node_Id; Val : List_Id) is
5558 pragma Assert (False
5559 or else NT (N).Nkind = N_Entry_Call_Statement
5560 or else NT (N).Nkind = N_Function_Call
5561 or else NT (N).Nkind = N_Procedure_Call_Statement);
5562 Set_List3_With_Parent (N, Val);
5563 end Set_Parameter_Associations;
5565 procedure Set_Parameter_List_Truncated
5566 (N : Node_Id; Val : Boolean := True) is
5568 pragma Assert (False
5569 or else NT (N).Nkind = N_Function_Call
5570 or else NT (N).Nkind = N_Procedure_Call_Statement);
5571 Set_Flag17 (N, Val);
5572 end Set_Parameter_List_Truncated;
5574 procedure Set_Parameter_Specifications
5575 (N : Node_Id; Val : List_Id) is
5577 pragma Assert (False
5578 or else NT (N).Nkind = N_Accept_Statement
5579 or else NT (N).Nkind = N_Access_Function_Definition
5580 or else NT (N).Nkind = N_Access_Procedure_Definition
5581 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5582 or else NT (N).Nkind = N_Entry_Declaration
5583 or else NT (N).Nkind = N_Function_Specification
5584 or else NT (N).Nkind = N_Procedure_Specification);
5585 Set_List3_With_Parent (N, Val);
5586 end Set_Parameter_Specifications;
5588 procedure Set_Parameter_Type
5589 (N : Node_Id; Val : Node_Id) is
5591 pragma Assert (False
5592 or else NT (N).Nkind = N_Parameter_Specification);
5593 Set_Node2_With_Parent (N, Val);
5594 end Set_Parameter_Type;
5596 procedure Set_Parent_Spec
5597 (N : Node_Id; Val : Node_Id) is
5599 pragma Assert (False
5600 or else NT (N).Nkind = N_Function_Instantiation
5601 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5602 or else NT (N).Nkind = N_Generic_Package_Declaration
5603 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5604 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5605 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5606 or else NT (N).Nkind = N_Package_Declaration
5607 or else NT (N).Nkind = N_Package_Instantiation
5608 or else NT (N).Nkind = N_Package_Renaming_Declaration
5609 or else NT (N).Nkind = N_Procedure_Instantiation
5610 or else NT (N).Nkind = N_Subprogram_Declaration
5611 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5612 Set_Node4 (N, Val); -- semantic field, no parent set
5613 end Set_Parent_Spec;
5615 procedure Set_Position
5616 (N : Node_Id; Val : Node_Id) is
5618 pragma Assert (False
5619 or else NT (N).Nkind = N_Component_Clause);
5620 Set_Node2_With_Parent (N, Val);
5623 procedure Set_Pragma_Argument_Associations
5624 (N : Node_Id; Val : List_Id) is
5626 pragma Assert (False
5627 or else NT (N).Nkind = N_Pragma);
5628 Set_List2_With_Parent (N, Val);
5629 end Set_Pragma_Argument_Associations;
5631 procedure Set_Pragma_Identifier
5632 (N : Node_Id; Val : Node_Id) is
5634 pragma Assert (False
5635 or else NT (N).Nkind = N_Pragma);
5636 Set_Node4_With_Parent (N, Val);
5637 end Set_Pragma_Identifier;
5639 procedure Set_Pragmas_After
5640 (N : Node_Id; Val : List_Id) is
5642 pragma Assert (False
5643 or else NT (N).Nkind = N_Compilation_Unit_Aux
5644 or else NT (N).Nkind = N_Terminate_Alternative);
5645 Set_List5_With_Parent (N, Val);
5646 end Set_Pragmas_After;
5648 procedure Set_Pragmas_Before
5649 (N : Node_Id; Val : List_Id) is
5651 pragma Assert (False
5652 or else NT (N).Nkind = N_Accept_Alternative
5653 or else NT (N).Nkind = N_Delay_Alternative
5654 or else NT (N).Nkind = N_Entry_Call_Alternative
5655 or else NT (N).Nkind = N_Mod_Clause
5656 or else NT (N).Nkind = N_Terminate_Alternative
5657 or else NT (N).Nkind = N_Triggering_Alternative);
5658 Set_List4_With_Parent (N, Val);
5659 end Set_Pragmas_Before;
5661 procedure Set_Pre_Post_Conditions
5662 (N : Node_Id; Val : Node_Id) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Contract);
5666 Set_Node1 (N, Val); -- semantic field, no parent set
5667 end Set_Pre_Post_Conditions;
5669 procedure Set_Prefix
5670 (N : Node_Id; Val : Node_Id) is
5672 pragma Assert (False
5673 or else NT (N).Nkind = N_Attribute_Reference
5674 or else NT (N).Nkind = N_Expanded_Name
5675 or else NT (N).Nkind = N_Explicit_Dereference
5676 or else NT (N).Nkind = N_Indexed_Component
5677 or else NT (N).Nkind = N_Reference
5678 or else NT (N).Nkind = N_Selected_Component
5679 or else NT (N).Nkind = N_Slice);
5680 Set_Node3_With_Parent (N, Val);
5683 procedure Set_Premature_Use
5684 (N : Node_Id; Val : Node_Id) is
5686 pragma Assert (False
5687 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5689 end Set_Premature_Use;
5691 procedure Set_Present_Expr
5692 (N : Node_Id; Val : Uint) is
5694 pragma Assert (False
5695 or else NT (N).Nkind = N_Variant);
5697 end Set_Present_Expr;
5699 procedure Set_Prev_Ids
5700 (N : Node_Id; Val : Boolean := True) is
5702 pragma Assert (False
5703 or else NT (N).Nkind = N_Component_Declaration
5704 or else NT (N).Nkind = N_Discriminant_Specification
5705 or else NT (N).Nkind = N_Exception_Declaration
5706 or else NT (N).Nkind = N_Formal_Object_Declaration
5707 or else NT (N).Nkind = N_Number_Declaration
5708 or else NT (N).Nkind = N_Object_Declaration
5709 or else NT (N).Nkind = N_Parameter_Specification);
5713 procedure Set_Print_In_Hex
5714 (N : Node_Id; Val : Boolean := True) is
5716 pragma Assert (False
5717 or else NT (N).Nkind = N_Integer_Literal);
5718 Set_Flag13 (N, Val);
5719 end Set_Print_In_Hex;
5721 procedure Set_Private_Declarations
5722 (N : Node_Id; Val : List_Id) is
5724 pragma Assert (False
5725 or else NT (N).Nkind = N_Package_Specification
5726 or else NT (N).Nkind = N_Protected_Definition
5727 or else NT (N).Nkind = N_Task_Definition);
5728 Set_List3_With_Parent (N, Val);
5729 end Set_Private_Declarations;
5731 procedure Set_Private_Present
5732 (N : Node_Id; Val : Boolean := True) is
5734 pragma Assert (False
5735 or else NT (N).Nkind = N_Compilation_Unit
5736 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5737 or else NT (N).Nkind = N_With_Clause);
5738 Set_Flag15 (N, Val);
5739 end Set_Private_Present;
5741 procedure Set_Procedure_To_Call
5742 (N : Node_Id; Val : Node_Id) is
5744 pragma Assert (False
5745 or else NT (N).Nkind = N_Allocator
5746 or else NT (N).Nkind = N_Extended_Return_Statement
5747 or else NT (N).Nkind = N_Free_Statement
5748 or else NT (N).Nkind = N_Simple_Return_Statement);
5749 Set_Node2 (N, Val); -- semantic field, no parent set
5750 end Set_Procedure_To_Call;
5752 procedure Set_Proper_Body
5753 (N : Node_Id; Val : Node_Id) is
5755 pragma Assert (False
5756 or else NT (N).Nkind = N_Subunit);
5757 Set_Node1_With_Parent (N, Val);
5758 end Set_Proper_Body;
5760 procedure Set_Protected_Definition
5761 (N : Node_Id; Val : Node_Id) is
5763 pragma Assert (False
5764 or else NT (N).Nkind = N_Protected_Type_Declaration
5765 or else NT (N).Nkind = N_Single_Protected_Declaration);
5766 Set_Node3_With_Parent (N, Val);
5767 end Set_Protected_Definition;
5769 procedure Set_Protected_Present
5770 (N : Node_Id; Val : Boolean := True) is
5772 pragma Assert (False
5773 or else NT (N).Nkind = N_Access_Function_Definition
5774 or else NT (N).Nkind = N_Access_Procedure_Definition
5775 or else NT (N).Nkind = N_Derived_Type_Definition
5776 or else NT (N).Nkind = N_Record_Definition);
5778 end Set_Protected_Present;
5780 procedure Set_Raises_Constraint_Error
5781 (N : Node_Id; Val : Boolean := True) is
5783 pragma Assert (False
5784 or else NT (N).Nkind in N_Subexpr);
5786 end Set_Raises_Constraint_Error;
5788 procedure Set_Range_Constraint
5789 (N : Node_Id; Val : Node_Id) is
5791 pragma Assert (False
5792 or else NT (N).Nkind = N_Delta_Constraint
5793 or else NT (N).Nkind = N_Digits_Constraint);
5794 Set_Node4_With_Parent (N, Val);
5795 end Set_Range_Constraint;
5797 procedure Set_Range_Expression
5798 (N : Node_Id; Val : Node_Id) is
5800 pragma Assert (False
5801 or else NT (N).Nkind = N_Range_Constraint);
5802 Set_Node4_With_Parent (N, Val);
5803 end Set_Range_Expression;
5805 procedure Set_Real_Range_Specification
5806 (N : Node_Id; Val : Node_Id) is
5808 pragma Assert (False
5809 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5810 or else NT (N).Nkind = N_Floating_Point_Definition
5811 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5812 Set_Node4_With_Parent (N, Val);
5813 end Set_Real_Range_Specification;
5815 procedure Set_Realval
5816 (N : Node_Id; Val : Ureal) is
5818 pragma Assert (False
5819 or else NT (N).Nkind = N_Real_Literal);
5820 Set_Ureal3 (N, Val);
5823 procedure Set_Reason
5824 (N : Node_Id; Val : Uint) is
5826 pragma Assert (False
5827 or else NT (N).Nkind = N_Raise_Constraint_Error
5828 or else NT (N).Nkind = N_Raise_Program_Error
5829 or else NT (N).Nkind = N_Raise_Storage_Error);
5833 procedure Set_Record_Extension_Part
5834 (N : Node_Id; Val : Node_Id) is
5836 pragma Assert (False
5837 or else NT (N).Nkind = N_Derived_Type_Definition);
5838 Set_Node3_With_Parent (N, Val);
5839 end Set_Record_Extension_Part;
5841 procedure Set_Redundant_Use
5842 (N : Node_Id; Val : Boolean := True) is
5844 pragma Assert (False
5845 or else NT (N).Nkind = N_Attribute_Reference
5846 or else NT (N).Nkind = N_Expanded_Name
5847 or else NT (N).Nkind = N_Identifier);
5848 Set_Flag13 (N, Val);
5849 end Set_Redundant_Use;
5851 procedure Set_Renaming_Exception
5852 (N : Node_Id; Val : Node_Id) is
5854 pragma Assert (False
5855 or else NT (N).Nkind = N_Exception_Declaration);
5857 end Set_Renaming_Exception;
5859 procedure Set_Result_Definition
5860 (N : Node_Id; Val : Node_Id) is
5862 pragma Assert (False
5863 or else NT (N).Nkind = N_Access_Function_Definition
5864 or else NT (N).Nkind = N_Function_Specification);
5865 Set_Node4_With_Parent (N, Val);
5866 end Set_Result_Definition;
5868 procedure Set_Return_Object_Declarations
5869 (N : Node_Id; Val : List_Id) is
5871 pragma Assert (False
5872 or else NT (N).Nkind = N_Extended_Return_Statement);
5873 Set_List3_With_Parent (N, Val);
5874 end Set_Return_Object_Declarations;
5876 procedure Set_Return_Statement_Entity
5877 (N : Node_Id; Val : Node_Id) is
5879 pragma Assert (False
5880 or else NT (N).Nkind = N_Extended_Return_Statement
5881 or else NT (N).Nkind = N_Simple_Return_Statement);
5882 Set_Node5 (N, Val); -- semantic field, no parent set
5883 end Set_Return_Statement_Entity;
5885 procedure Set_Reverse_Present
5886 (N : Node_Id; Val : Boolean := True) is
5888 pragma Assert (False
5889 or else NT (N).Nkind = N_Iterator_Specification
5890 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5891 Set_Flag15 (N, Val);
5892 end Set_Reverse_Present;
5894 procedure Set_Right_Opnd
5895 (N : Node_Id; Val : Node_Id) is
5897 pragma Assert (False
5898 or else NT (N).Nkind in N_Op
5899 or else NT (N).Nkind = N_And_Then
5900 or else NT (N).Nkind = N_In
5901 or else NT (N).Nkind = N_Not_In
5902 or else NT (N).Nkind = N_Or_Else);
5903 Set_Node3_With_Parent (N, Val);
5906 procedure Set_Rounded_Result
5907 (N : Node_Id; Val : Boolean := True) is
5909 pragma Assert (False
5910 or else NT (N).Nkind = N_Op_Divide
5911 or else NT (N).Nkind = N_Op_Multiply
5912 or else NT (N).Nkind = N_Type_Conversion);
5913 Set_Flag18 (N, Val);
5914 end Set_Rounded_Result;
5916 procedure Set_SCIL_Controlling_Tag
5917 (N : Node_Id; Val : Node_Id) is
5919 pragma Assert (False
5920 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5921 Set_Node5 (N, Val); -- semantic field, no parent set
5922 end Set_SCIL_Controlling_Tag;
5924 procedure Set_SCIL_Entity
5925 (N : Node_Id; Val : Node_Id) is
5927 pragma Assert (False
5928 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5929 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5930 or else NT (N).Nkind = N_SCIL_Membership_Test);
5931 Set_Node4 (N, Val); -- semantic field, no parent set
5932 end Set_SCIL_Entity;
5934 procedure Set_SCIL_Tag_Value
5935 (N : Node_Id; Val : Node_Id) is
5937 pragma Assert (False
5938 or else NT (N).Nkind = N_SCIL_Membership_Test);
5939 Set_Node5 (N, Val); -- semantic field, no parent set
5940 end Set_SCIL_Tag_Value;
5942 procedure Set_SCIL_Target_Prim
5943 (N : Node_Id; Val : Node_Id) is
5945 pragma Assert (False
5946 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5947 Set_Node2 (N, Val); -- semantic field, no parent set
5948 end Set_SCIL_Target_Prim;
5951 (N : Node_Id; Val : Node_Id) is
5953 pragma Assert (False
5954 or else NT (N).Nkind = N_Defining_Character_Literal
5955 or else NT (N).Nkind = N_Defining_Identifier
5956 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5957 Set_Node3 (N, Val); -- semantic field, no parent set
5960 procedure Set_Select_Alternatives
5961 (N : Node_Id; Val : List_Id) is
5963 pragma Assert (False
5964 or else NT (N).Nkind = N_Selective_Accept);
5965 Set_List1_With_Parent (N, Val);
5966 end Set_Select_Alternatives;
5968 procedure Set_Selector_Name
5969 (N : Node_Id; Val : Node_Id) is
5971 pragma Assert (False
5972 or else NT (N).Nkind = N_Expanded_Name
5973 or else NT (N).Nkind = N_Generic_Association
5974 or else NT (N).Nkind = N_Parameter_Association
5975 or else NT (N).Nkind = N_Selected_Component);
5976 Set_Node2_With_Parent (N, Val);
5977 end Set_Selector_Name;
5979 procedure Set_Selector_Names
5980 (N : Node_Id; Val : List_Id) is
5982 pragma Assert (False
5983 or else NT (N).Nkind = N_Discriminant_Association);
5984 Set_List1_With_Parent (N, Val);
5985 end Set_Selector_Names;
5987 procedure Set_Shift_Count_OK
5988 (N : Node_Id; Val : Boolean := True) is
5990 pragma Assert (False
5991 or else NT (N).Nkind = N_Op_Rotate_Left
5992 or else NT (N).Nkind = N_Op_Rotate_Right
5993 or else NT (N).Nkind = N_Op_Shift_Left
5994 or else NT (N).Nkind = N_Op_Shift_Right
5995 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5997 end Set_Shift_Count_OK;
5999 procedure Set_Source_Type
6000 (N : Node_Id; Val : Entity_Id) is
6002 pragma Assert (False
6003 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6004 Set_Node1 (N, Val); -- semantic field, no parent set
6005 end Set_Source_Type;
6007 procedure Set_Specification
6008 (N : Node_Id; Val : Node_Id) is
6010 pragma Assert (False
6011 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6012 or else NT (N).Nkind = N_Expression_Function
6013 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6014 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6015 or else NT (N).Nkind = N_Generic_Package_Declaration
6016 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6017 or else NT (N).Nkind = N_Package_Declaration
6018 or else NT (N).Nkind = N_Subprogram_Body
6019 or else NT (N).Nkind = N_Subprogram_Body_Stub
6020 or else NT (N).Nkind = N_Subprogram_Declaration
6021 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6022 Set_Node1_With_Parent (N, Val);
6023 end Set_Specification;
6025 procedure Set_Split_PPC
6026 (N : Node_Id; Val : Boolean) is
6028 pragma Assert (False
6029 or else NT (N).Nkind = N_Aspect_Specification
6030 or else NT (N).Nkind = N_Pragma);
6031 Set_Flag17 (N, Val);
6034 procedure Set_Statements
6035 (N : Node_Id; Val : List_Id) is
6037 pragma Assert (False
6038 or else NT (N).Nkind = N_Abortable_Part
6039 or else NT (N).Nkind = N_Accept_Alternative
6040 or else NT (N).Nkind = N_Case_Statement_Alternative
6041 or else NT (N).Nkind = N_Delay_Alternative
6042 or else NT (N).Nkind = N_Entry_Call_Alternative
6043 or else NT (N).Nkind = N_Exception_Handler
6044 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6045 or else NT (N).Nkind = N_Loop_Statement
6046 or else NT (N).Nkind = N_Triggering_Alternative);
6047 Set_List3_With_Parent (N, Val);
6050 procedure Set_Storage_Pool
6051 (N : Node_Id; Val : Node_Id) is
6053 pragma Assert (False
6054 or else NT (N).Nkind = N_Allocator
6055 or else NT (N).Nkind = N_Extended_Return_Statement
6056 or else NT (N).Nkind = N_Free_Statement
6057 or else NT (N).Nkind = N_Simple_Return_Statement);
6058 Set_Node1 (N, Val); -- semantic field, no parent set
6059 end Set_Storage_Pool;
6061 procedure Set_Subpool_Handle_Name
6062 (N : Node_Id; Val : Node_Id) is
6064 pragma Assert (False
6065 or else NT (N).Nkind = N_Allocator);
6066 Set_Node4_With_Parent (N, Val);
6067 end Set_Subpool_Handle_Name;
6069 procedure Set_Strval
6070 (N : Node_Id; Val : String_Id) is
6072 pragma Assert (False
6073 or else NT (N).Nkind = N_Operator_Symbol
6074 or else NT (N).Nkind = N_String_Literal);
6078 procedure Set_Subtype_Indication
6079 (N : Node_Id; Val : Node_Id) is
6081 pragma Assert (False
6082 or else NT (N).Nkind = N_Access_To_Object_Definition
6083 or else NT (N).Nkind = N_Component_Definition
6084 or else NT (N).Nkind = N_Derived_Type_Definition
6085 or else NT (N).Nkind = N_Iterator_Specification
6086 or else NT (N).Nkind = N_Private_Extension_Declaration
6087 or else NT (N).Nkind = N_Subtype_Declaration);
6088 Set_Node5_With_Parent (N, Val);
6089 end Set_Subtype_Indication;
6091 procedure Set_Subtype_Mark
6092 (N : Node_Id; Val : Node_Id) is
6094 pragma Assert (False
6095 or else NT (N).Nkind = N_Access_Definition
6096 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6097 or else NT (N).Nkind = N_Formal_Object_Declaration
6098 or else NT (N).Nkind = N_Object_Renaming_Declaration
6099 or else NT (N).Nkind = N_Qualified_Expression
6100 or else NT (N).Nkind = N_Subtype_Indication
6101 or else NT (N).Nkind = N_Type_Conversion
6102 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6103 Set_Node4_With_Parent (N, Val);
6104 end Set_Subtype_Mark;
6106 procedure Set_Subtype_Marks
6107 (N : Node_Id; Val : List_Id) is
6109 pragma Assert (False
6110 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6111 or else NT (N).Nkind = N_Use_Type_Clause);
6112 Set_List2_With_Parent (N, Val);
6113 end Set_Subtype_Marks;
6115 procedure Set_Suppress_Assignment_Checks
6116 (N : Node_Id; Val : Boolean := True) is
6118 pragma Assert (False
6119 or else NT (N).Nkind = N_Assignment_Statement
6120 or else NT (N).Nkind = N_Object_Declaration);
6121 Set_Flag18 (N, Val);
6122 end Set_Suppress_Assignment_Checks;
6124 procedure Set_Suppress_Loop_Warnings
6125 (N : Node_Id; Val : Boolean := True) is
6127 pragma Assert (False
6128 or else NT (N).Nkind = N_Loop_Statement);
6129 Set_Flag17 (N, Val);
6130 end Set_Suppress_Loop_Warnings;
6132 procedure Set_Synchronized_Present
6133 (N : Node_Id; Val : Boolean := True) is
6135 pragma Assert (False
6136 or else NT (N).Nkind = N_Derived_Type_Definition
6137 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6138 or else NT (N).Nkind = N_Private_Extension_Declaration
6139 or else NT (N).Nkind = N_Record_Definition);
6141 end Set_Synchronized_Present;
6143 procedure Set_Tagged_Present
6144 (N : Node_Id; Val : Boolean := True) is
6146 pragma Assert (False
6147 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6148 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6149 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6150 or else NT (N).Nkind = N_Private_Type_Declaration
6151 or else NT (N).Nkind = N_Record_Definition);
6152 Set_Flag15 (N, Val);
6153 end Set_Tagged_Present;
6155 procedure Set_Target_Type
6156 (N : Node_Id; Val : Entity_Id) is
6158 pragma Assert (False
6159 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6160 Set_Node2 (N, Val); -- semantic field, no parent set
6161 end Set_Target_Type;
6163 procedure Set_Task_Definition
6164 (N : Node_Id; Val : Node_Id) is
6166 pragma Assert (False
6167 or else NT (N).Nkind = N_Single_Task_Declaration
6168 or else NT (N).Nkind = N_Task_Type_Declaration);
6169 Set_Node3_With_Parent (N, Val);
6170 end Set_Task_Definition;
6172 procedure Set_Task_Present
6173 (N : Node_Id; Val : Boolean := True) is
6175 pragma Assert (False
6176 or else NT (N).Nkind = N_Derived_Type_Definition
6177 or else NT (N).Nkind = N_Record_Definition);
6179 end Set_Task_Present;
6181 procedure Set_Then_Actions
6182 (N : Node_Id; Val : List_Id) is
6184 pragma Assert (False
6185 or else NT (N).Nkind = N_If_Expression);
6186 Set_List2 (N, Val); -- semantic field, no parent set
6187 end Set_Then_Actions;
6189 procedure Set_Then_Statements
6190 (N : Node_Id; Val : List_Id) is
6192 pragma Assert (False
6193 or else NT (N).Nkind = N_Elsif_Part
6194 or else NT (N).Nkind = N_If_Statement);
6195 Set_List2_With_Parent (N, Val);
6196 end Set_Then_Statements;
6198 procedure Set_Treat_Fixed_As_Integer
6199 (N : Node_Id; Val : Boolean := True) is
6201 pragma Assert (False
6202 or else NT (N).Nkind = N_Op_Divide
6203 or else NT (N).Nkind = N_Op_Mod
6204 or else NT (N).Nkind = N_Op_Multiply
6205 or else NT (N).Nkind = N_Op_Rem);
6206 Set_Flag14 (N, Val);
6207 end Set_Treat_Fixed_As_Integer;
6209 procedure Set_Triggering_Alternative
6210 (N : Node_Id; Val : Node_Id) is
6212 pragma Assert (False
6213 or else NT (N).Nkind = N_Asynchronous_Select);
6214 Set_Node1_With_Parent (N, Val);
6215 end Set_Triggering_Alternative;
6217 procedure Set_Triggering_Statement
6218 (N : Node_Id; Val : Node_Id) is
6220 pragma Assert (False
6221 or else NT (N).Nkind = N_Triggering_Alternative);
6222 Set_Node1_With_Parent (N, Val);
6223 end Set_Triggering_Statement;
6225 procedure Set_TSS_Elist
6226 (N : Node_Id; Val : Elist_Id) is
6228 pragma Assert (False
6229 or else NT (N).Nkind = N_Freeze_Entity);
6230 Set_Elist3 (N, Val); -- semantic field, no parent set
6233 procedure Set_Type_Definition
6234 (N : Node_Id; Val : Node_Id) is
6236 pragma Assert (False
6237 or else NT (N).Nkind = N_Full_Type_Declaration);
6238 Set_Node3_With_Parent (N, Val);
6239 end Set_Type_Definition;
6242 (N : Node_Id; Val : Node_Id) is
6244 pragma Assert (False
6245 or else NT (N).Nkind = N_Compilation_Unit);
6246 Set_Node2_With_Parent (N, Val);
6249 procedure Set_Unknown_Discriminants_Present
6250 (N : Node_Id; Val : Boolean := True) is
6252 pragma Assert (False
6253 or else NT (N).Nkind = N_Formal_Type_Declaration
6254 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6255 or else NT (N).Nkind = N_Private_Extension_Declaration
6256 or else NT (N).Nkind = N_Private_Type_Declaration);
6257 Set_Flag13 (N, Val);
6258 end Set_Unknown_Discriminants_Present;
6260 procedure Set_Unreferenced_In_Spec
6261 (N : Node_Id; Val : Boolean := True) is
6263 pragma Assert (False
6264 or else NT (N).Nkind = N_With_Clause);
6266 end Set_Unreferenced_In_Spec;
6268 procedure Set_Variant_Part
6269 (N : Node_Id; Val : Node_Id) is
6271 pragma Assert (False
6272 or else NT (N).Nkind = N_Component_List);
6273 Set_Node4_With_Parent (N, Val);
6274 end Set_Variant_Part;
6276 procedure Set_Variants
6277 (N : Node_Id; Val : List_Id) is
6279 pragma Assert (False
6280 or else NT (N).Nkind = N_Variant_Part);
6281 Set_List1_With_Parent (N, Val);
6284 procedure Set_Visible_Declarations
6285 (N : Node_Id; Val : List_Id) is
6287 pragma Assert (False
6288 or else NT (N).Nkind = N_Package_Specification
6289 or else NT (N).Nkind = N_Protected_Definition
6290 or else NT (N).Nkind = N_Task_Definition);
6291 Set_List2_With_Parent (N, Val);
6292 end Set_Visible_Declarations;
6294 procedure Set_Used_Operations
6295 (N : Node_Id; Val : Elist_Id) is
6297 pragma Assert (False
6298 or else NT (N).Nkind = N_Use_Type_Clause);
6299 Set_Elist5 (N, Val);
6300 end Set_Used_Operations;
6302 procedure Set_Was_Originally_Stub
6303 (N : Node_Id; Val : Boolean := True) is
6305 pragma Assert (False
6306 or else NT (N).Nkind = N_Package_Body
6307 or else NT (N).Nkind = N_Protected_Body
6308 or else NT (N).Nkind = N_Subprogram_Body
6309 or else NT (N).Nkind = N_Task_Body);
6310 Set_Flag13 (N, Val);
6311 end Set_Was_Originally_Stub;
6313 procedure Set_Withed_Body
6314 (N : Node_Id; Val : Node_Id) is
6316 pragma Assert (False
6317 or else NT (N).Nkind = N_With_Clause);
6319 end Set_Withed_Body;
6321 -------------------------
6322 -- Iterator Procedures --
6323 -------------------------
6325 procedure Next_Entity (N : in out Node_Id) is
6327 N := Next_Entity (N);
6330 procedure Next_Named_Actual (N : in out Node_Id) is
6332 N := Next_Named_Actual (N);
6333 end Next_Named_Actual;
6335 procedure Next_Rep_Item (N : in out Node_Id) is
6337 N := Next_Rep_Item (N);
6340 procedure Next_Use_Clause (N : in out Node_Id) is
6342 N := Next_Use_Clause (N);
6343 end Next_Use_Clause;
6349 function End_Location (N : Node_Id) return Source_Ptr is
6350 L : constant Uint := End_Span (N);
6355 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6359 --------------------
6360 -- Get_Pragma_Arg --
6361 --------------------
6363 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6365 if Nkind (Arg) = N_Pragma_Argument_Association then
6366 return Expression (Arg);
6372 ----------------------
6373 -- Set_End_Location --
6374 ----------------------
6376 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6379 UI_From_Int (Int (S) - Int (Sloc (N))));
6380 end Set_End_Location;
6389 V2 : Node_Kind) return Boolean
6392 return T = V1 or else
6400 V3 : Node_Kind) return Boolean
6403 return T = V1 or else
6413 V4 : Node_Kind) return Boolean
6416 return T = V1 or else
6428 V5 : Node_Kind) return Boolean
6431 return T = V1 or else
6445 V6 : Node_Kind) return Boolean
6448 return T = V1 or else
6464 V7 : Node_Kind) return Boolean
6467 return T = V1 or else
6485 V8 : Node_Kind) return Boolean
6488 return T = V1 or else
6508 V9 : Node_Kind) return Boolean
6511 return T = V1 or else
6526 function Pragma_Name (N : Node_Id) return Name_Id is
6528 return Chars (Pragma_Identifier (N));