1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_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_Assignment_Statement
934 or else NT (N).Nkind = N_Selected_Component
935 or else NT (N).Nkind = N_Type_Conversion);
937 end Do_Discriminant_Check;
939 function Do_Division_Check
940 (N : Node_Id) return Boolean is
943 or else NT (N).Nkind = N_Op_Divide
944 or else NT (N).Nkind = N_Op_Mod
945 or else NT (N).Nkind = N_Op_Rem);
947 end Do_Division_Check;
949 function Do_Length_Check
950 (N : Node_Id) return Boolean is
953 or else NT (N).Nkind = N_Assignment_Statement
954 or else NT (N).Nkind = N_Op_And
955 or else NT (N).Nkind = N_Op_Or
956 or else NT (N).Nkind = N_Op_Xor
957 or else NT (N).Nkind = N_Type_Conversion);
961 function Do_Overflow_Check
962 (N : Node_Id) return Boolean is
965 or else NT (N).Nkind in N_Op
966 or else NT (N).Nkind = N_Attribute_Reference
967 or else NT (N).Nkind = N_Case_Expression
968 or else NT (N).Nkind = N_If_Expression
969 or else NT (N).Nkind = N_Type_Conversion);
971 end Do_Overflow_Check;
973 function Do_Range_Check
974 (N : Node_Id) return Boolean is
977 or else NT (N).Nkind in N_Subexpr);
981 function Do_Storage_Check
982 (N : Node_Id) return Boolean is
985 or else NT (N).Nkind = N_Allocator
986 or else NT (N).Nkind = N_Subprogram_Body);
988 end Do_Storage_Check;
990 function Do_Tag_Check
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_Assignment_Statement
995 or else NT (N).Nkind = N_Extended_Return_Statement
996 or else NT (N).Nkind = N_Function_Call
997 or else NT (N).Nkind = N_Procedure_Call_Statement
998 or else NT (N).Nkind = N_Simple_Return_Statement
999 or else NT (N).Nkind = N_Type_Conversion);
1003 function Elaborate_All_Desirable
1004 (N : Node_Id) return Boolean is
1006 pragma Assert (False
1007 or else NT (N).Nkind = N_With_Clause);
1009 end Elaborate_All_Desirable;
1011 function Elaborate_All_Present
1012 (N : Node_Id) return Boolean is
1014 pragma Assert (False
1015 or else NT (N).Nkind = N_With_Clause);
1017 end Elaborate_All_Present;
1019 function Elaborate_Desirable
1020 (N : Node_Id) return Boolean is
1022 pragma Assert (False
1023 or else NT (N).Nkind = N_With_Clause);
1025 end Elaborate_Desirable;
1027 function Elaborate_Present
1028 (N : Node_Id) return Boolean is
1030 pragma Assert (False
1031 or else NT (N).Nkind = N_With_Clause);
1033 end Elaborate_Present;
1035 function Elaboration_Boolean
1036 (N : Node_Id) return Node_Id is
1038 pragma Assert (False
1039 or else NT (N).Nkind = N_Function_Specification
1040 or else NT (N).Nkind = N_Procedure_Specification);
1042 end Elaboration_Boolean;
1044 function Else_Actions
1045 (N : Node_Id) return List_Id is
1047 pragma Assert (False
1048 or else NT (N).Nkind = N_If_Expression);
1052 function Else_Statements
1053 (N : Node_Id) return List_Id is
1055 pragma Assert (False
1056 or else NT (N).Nkind = N_Conditional_Entry_Call
1057 or else NT (N).Nkind = N_If_Statement
1058 or else NT (N).Nkind = N_Selective_Accept);
1060 end Else_Statements;
1062 function Elsif_Parts
1063 (N : Node_Id) return List_Id is
1065 pragma Assert (False
1066 or else NT (N).Nkind = N_If_Statement);
1070 function Enclosing_Variant
1071 (N : Node_Id) return Node_Id is
1073 pragma Assert (False
1074 or else NT (N).Nkind = N_Variant);
1076 end Enclosing_Variant;
1079 (N : Node_Id) return Node_Id is
1081 pragma Assert (False
1082 or else NT (N).Nkind = N_Enumeration_Type_Definition
1083 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1084 or else NT (N).Nkind = N_Loop_Statement
1085 or else NT (N).Nkind = N_Package_Specification
1086 or else NT (N).Nkind = N_Protected_Body
1087 or else NT (N).Nkind = N_Protected_Definition
1088 or else NT (N).Nkind = N_Record_Definition
1089 or else NT (N).Nkind = N_Task_Definition);
1094 (N : Node_Id) return Uint is
1096 pragma Assert (False
1097 or else NT (N).Nkind = N_Case_Statement
1098 or else NT (N).Nkind = N_If_Statement);
1103 (N : Node_Id) return Node_Id is
1105 pragma Assert (False
1106 or else NT (N).Nkind in N_Has_Entity
1107 or else NT (N).Nkind = N_Aspect_Specification
1108 or else NT (N).Nkind = N_Attribute_Definition_Clause
1109 or else NT (N).Nkind = N_Freeze_Entity
1110 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1114 function Entity_Or_Associated_Node
1115 (N : Node_Id) return Node_Id is
1117 pragma Assert (False
1118 or else NT (N).Nkind in N_Has_Entity
1119 or else NT (N).Nkind = N_Freeze_Entity);
1121 end Entity_Or_Associated_Node;
1123 function Entry_Body_Formal_Part
1124 (N : Node_Id) return Node_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind = N_Entry_Body);
1129 end Entry_Body_Formal_Part;
1131 function Entry_Call_Alternative
1132 (N : Node_Id) return Node_Id is
1134 pragma Assert (False
1135 or else NT (N).Nkind = N_Conditional_Entry_Call
1136 or else NT (N).Nkind = N_Timed_Entry_Call);
1138 end Entry_Call_Alternative;
1140 function Entry_Call_Statement
1141 (N : Node_Id) return Node_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Entry_Call_Alternative);
1146 end Entry_Call_Statement;
1148 function Entry_Direct_Name
1149 (N : Node_Id) return Node_Id is
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Accept_Statement);
1154 end Entry_Direct_Name;
1156 function Entry_Index
1157 (N : Node_Id) return Node_Id is
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Accept_Statement);
1164 function Entry_Index_Specification
1165 (N : Node_Id) return Node_Id is
1167 pragma Assert (False
1168 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1170 end Entry_Index_Specification;
1173 (N : Node_Id) return Node_Id is
1175 pragma Assert (False
1176 or else NT (N).Nkind in N_Has_Etype);
1180 function Exception_Choices
1181 (N : Node_Id) return List_Id is
1183 pragma Assert (False
1184 or else NT (N).Nkind = N_Exception_Handler);
1186 end Exception_Choices;
1188 function Exception_Handlers
1189 (N : Node_Id) return List_Id is
1191 pragma Assert (False
1192 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1194 end Exception_Handlers;
1196 function Exception_Junk
1197 (N : Node_Id) return Boolean is
1199 pragma Assert (False
1200 or else NT (N).Nkind = N_Block_Statement
1201 or else NT (N).Nkind = N_Goto_Statement
1202 or else NT (N).Nkind = N_Label
1203 or else NT (N).Nkind = N_Object_Declaration
1204 or else NT (N).Nkind = N_Subtype_Declaration);
1208 function Exception_Label
1209 (N : Node_Id) return Node_Id is
1211 pragma Assert (False
1212 or else NT (N).Nkind = N_Exception_Handler
1213 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1214 or else NT (N).Nkind = N_Push_Program_Error_Label
1215 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1217 end Exception_Label;
1219 function Expansion_Delayed
1220 (N : Node_Id) return Boolean is
1222 pragma Assert (False
1223 or else NT (N).Nkind = N_Aggregate
1224 or else NT (N).Nkind = N_Extension_Aggregate);
1226 end Expansion_Delayed;
1228 function Explicit_Actual_Parameter
1229 (N : Node_Id) return Node_Id is
1231 pragma Assert (False
1232 or else NT (N).Nkind = N_Parameter_Association);
1234 end Explicit_Actual_Parameter;
1236 function Explicit_Generic_Actual_Parameter
1237 (N : Node_Id) return Node_Id is
1239 pragma Assert (False
1240 or else NT (N).Nkind = N_Generic_Association);
1242 end Explicit_Generic_Actual_Parameter;
1245 (N : Node_Id) return Node_Id is
1247 pragma Assert (False
1248 or else NT (N).Nkind = N_Allocator
1249 or else NT (N).Nkind = N_Aspect_Specification
1250 or else NT (N).Nkind = N_Assignment_Statement
1251 or else NT (N).Nkind = N_At_Clause
1252 or else NT (N).Nkind = N_Attribute_Definition_Clause
1253 or else NT (N).Nkind = N_Case_Expression
1254 or else NT (N).Nkind = N_Case_Expression_Alternative
1255 or else NT (N).Nkind = N_Case_Statement
1256 or else NT (N).Nkind = N_Code_Statement
1257 or else NT (N).Nkind = N_Component_Association
1258 or else NT (N).Nkind = N_Component_Declaration
1259 or else NT (N).Nkind = N_Delay_Relative_Statement
1260 or else NT (N).Nkind = N_Delay_Until_Statement
1261 or else NT (N).Nkind = N_Discriminant_Association
1262 or else NT (N).Nkind = N_Discriminant_Specification
1263 or else NT (N).Nkind = N_Exception_Declaration
1264 or else NT (N).Nkind = N_Expression_Function
1265 or else NT (N).Nkind = N_Expression_With_Actions
1266 or else NT (N).Nkind = N_Free_Statement
1267 or else NT (N).Nkind = N_Mod_Clause
1268 or else NT (N).Nkind = N_Modular_Type_Definition
1269 or else NT (N).Nkind = N_Number_Declaration
1270 or else NT (N).Nkind = N_Object_Declaration
1271 or else NT (N).Nkind = N_Parameter_Specification
1272 or else NT (N).Nkind = N_Pragma_Argument_Association
1273 or else NT (N).Nkind = N_Qualified_Expression
1274 or else NT (N).Nkind = N_Raise_Expression
1275 or else NT (N).Nkind = N_Raise_Statement
1276 or else NT (N).Nkind = N_Simple_Return_Statement
1277 or else NT (N).Nkind = N_Type_Conversion
1278 or else NT (N).Nkind = N_Unchecked_Expression
1279 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1283 function Expressions
1284 (N : Node_Id) return List_Id is
1286 pragma Assert (False
1287 or else NT (N).Nkind = N_Aggregate
1288 or else NT (N).Nkind = N_Attribute_Reference
1289 or else NT (N).Nkind = N_Extension_Aggregate
1290 or else NT (N).Nkind = N_If_Expression
1291 or else NT (N).Nkind = N_Indexed_Component);
1296 (N : Node_Id) return Node_Id is
1298 pragma Assert (False
1299 or else NT (N).Nkind = N_Component_Clause);
1303 function First_Inlined_Subprogram
1304 (N : Node_Id) return Entity_Id is
1306 pragma Assert (False
1307 or else NT (N).Nkind = N_Compilation_Unit);
1309 end First_Inlined_Subprogram;
1312 (N : Node_Id) return Boolean is
1314 pragma Assert (False
1315 or else NT (N).Nkind = N_With_Clause);
1319 function First_Named_Actual
1320 (N : Node_Id) return Node_Id is
1322 pragma Assert (False
1323 or else NT (N).Nkind = N_Entry_Call_Statement
1324 or else NT (N).Nkind = N_Function_Call
1325 or else NT (N).Nkind = N_Procedure_Call_Statement);
1327 end First_Named_Actual;
1329 function First_Real_Statement
1330 (N : Node_Id) return Node_Id is
1332 pragma Assert (False
1333 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1335 end First_Real_Statement;
1337 function First_Subtype_Link
1338 (N : Node_Id) return Entity_Id is
1340 pragma Assert (False
1341 or else NT (N).Nkind = N_Freeze_Entity);
1343 end First_Subtype_Link;
1345 function Float_Truncate
1346 (N : Node_Id) return Boolean is
1348 pragma Assert (False
1349 or else NT (N).Nkind = N_Type_Conversion);
1353 function Formal_Type_Definition
1354 (N : Node_Id) return Node_Id is
1356 pragma Assert (False
1357 or else NT (N).Nkind = N_Formal_Type_Declaration);
1359 end Formal_Type_Definition;
1361 function Forwards_OK
1362 (N : Node_Id) return Boolean is
1364 pragma Assert (False
1365 or else NT (N).Nkind = N_Assignment_Statement);
1369 function From_Aspect_Specification
1370 (N : Node_Id) return Boolean is
1372 pragma Assert (False
1373 or else NT (N).Nkind = N_Attribute_Definition_Clause
1374 or else NT (N).Nkind = N_Pragma);
1376 end From_Aspect_Specification;
1378 function From_At_End
1379 (N : Node_Id) return Boolean is
1381 pragma Assert (False
1382 or else NT (N).Nkind = N_Raise_Statement);
1386 function From_At_Mod
1387 (N : Node_Id) return Boolean is
1389 pragma Assert (False
1390 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1394 function From_Default
1395 (N : Node_Id) return Boolean is
1397 pragma Assert (False
1398 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1402 function Generalized_Indexing
1403 (N : Node_Id) return Node_Id is
1405 pragma Assert (False
1406 or else NT (N).Nkind = N_Indexed_Component);
1408 end Generalized_Indexing;
1410 function Generic_Associations
1411 (N : Node_Id) return List_Id is
1413 pragma Assert (False
1414 or else NT (N).Nkind = N_Formal_Package_Declaration
1415 or else NT (N).Nkind = N_Function_Instantiation
1416 or else NT (N).Nkind = N_Package_Instantiation
1417 or else NT (N).Nkind = N_Procedure_Instantiation);
1419 end Generic_Associations;
1421 function Generic_Formal_Declarations
1422 (N : Node_Id) return List_Id is
1424 pragma Assert (False
1425 or else NT (N).Nkind = N_Generic_Package_Declaration
1426 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1428 end Generic_Formal_Declarations;
1430 function Generic_Parent
1431 (N : Node_Id) return Node_Id is
1433 pragma Assert (False
1434 or else NT (N).Nkind = N_Function_Specification
1435 or else NT (N).Nkind = N_Package_Specification
1436 or else NT (N).Nkind = N_Procedure_Specification);
1440 function Generic_Parent_Type
1441 (N : Node_Id) return Node_Id is
1443 pragma Assert (False
1444 or else NT (N).Nkind = N_Subtype_Declaration);
1446 end Generic_Parent_Type;
1448 function Handled_Statement_Sequence
1449 (N : Node_Id) return Node_Id is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Accept_Statement
1453 or else NT (N).Nkind = N_Block_Statement
1454 or else NT (N).Nkind = N_Entry_Body
1455 or else NT (N).Nkind = N_Extended_Return_Statement
1456 or else NT (N).Nkind = N_Package_Body
1457 or else NT (N).Nkind = N_Subprogram_Body
1458 or else NT (N).Nkind = N_Task_Body);
1460 end Handled_Statement_Sequence;
1462 function Handler_List_Entry
1463 (N : Node_Id) return Node_Id is
1465 pragma Assert (False
1466 or else NT (N).Nkind = N_Object_Declaration);
1468 end Handler_List_Entry;
1470 function Has_Created_Identifier
1471 (N : Node_Id) return Boolean is
1473 pragma Assert (False
1474 or else NT (N).Nkind = N_Block_Statement
1475 or else NT (N).Nkind = N_Loop_Statement);
1477 end Has_Created_Identifier;
1479 function Has_Dereference_Action
1480 (N : Node_Id) return Boolean is
1482 pragma Assert (False
1483 or else NT (N).Nkind = N_Explicit_Dereference);
1485 end Has_Dereference_Action;
1487 function Has_Dynamic_Length_Check
1488 (N : Node_Id) return Boolean is
1490 pragma Assert (False
1491 or else NT (N).Nkind in N_Subexpr);
1493 end Has_Dynamic_Length_Check;
1495 function Has_Dynamic_Range_Check
1496 (N : Node_Id) return Boolean is
1498 pragma Assert (False
1499 or else NT (N).Nkind = N_Subtype_Declaration
1500 or else NT (N).Nkind in N_Subexpr);
1502 end Has_Dynamic_Range_Check;
1504 function Has_Init_Expression
1505 (N : Node_Id) return Boolean is
1507 pragma Assert (False
1508 or else NT (N).Nkind = N_Object_Declaration);
1510 end Has_Init_Expression;
1512 function Has_Local_Raise
1513 (N : Node_Id) return Boolean is
1515 pragma Assert (False
1516 or else NT (N).Nkind = N_Exception_Handler);
1518 end Has_Local_Raise;
1520 function Has_No_Elaboration_Code
1521 (N : Node_Id) return Boolean is
1523 pragma Assert (False
1524 or else NT (N).Nkind = N_Compilation_Unit);
1526 end Has_No_Elaboration_Code;
1528 function Has_Pragma_Suppress_All
1529 (N : Node_Id) return Boolean is
1531 pragma Assert (False
1532 or else NT (N).Nkind = N_Compilation_Unit);
1534 end Has_Pragma_Suppress_All;
1536 function Has_Private_View
1537 (N : Node_Id) return Boolean is
1539 pragma Assert (False
1540 or else NT (N).Nkind in N_Op
1541 or else NT (N).Nkind = N_Character_Literal
1542 or else NT (N).Nkind = N_Expanded_Name
1543 or else NT (N).Nkind = N_Identifier
1544 or else NT (N).Nkind = N_Operator_Symbol);
1546 end Has_Private_View;
1548 function Has_Relative_Deadline_Pragma
1549 (N : Node_Id) return Boolean is
1551 pragma Assert (False
1552 or else NT (N).Nkind = N_Subprogram_Body
1553 or else NT (N).Nkind = N_Task_Definition);
1555 end Has_Relative_Deadline_Pragma;
1557 function Has_Self_Reference
1558 (N : Node_Id) return Boolean is
1560 pragma Assert (False
1561 or else NT (N).Nkind = N_Aggregate
1562 or else NT (N).Nkind = N_Extension_Aggregate);
1564 end Has_Self_Reference;
1566 function Has_SP_Choice
1567 (N : Node_Id) return Boolean is
1569 pragma Assert (False
1570 or else NT (N).Nkind = N_Case_Expression_Alternative
1571 or else NT (N).Nkind = N_Case_Statement_Alternative
1572 or else NT (N).Nkind = N_Variant);
1576 function Has_Storage_Size_Pragma
1577 (N : Node_Id) return Boolean is
1579 pragma Assert (False
1580 or else NT (N).Nkind = N_Task_Definition);
1582 end Has_Storage_Size_Pragma;
1584 function Has_Wide_Character
1585 (N : Node_Id) return Boolean is
1587 pragma Assert (False
1588 or else NT (N).Nkind = N_String_Literal);
1590 end Has_Wide_Character;
1592 function Has_Wide_Wide_Character
1593 (N : Node_Id) return Boolean is
1595 pragma Assert (False
1596 or else NT (N).Nkind = N_String_Literal);
1598 end Has_Wide_Wide_Character;
1600 function Header_Size_Added
1601 (N : Node_Id) return Boolean is
1603 pragma Assert (False
1604 or else NT (N).Nkind = N_Attribute_Reference);
1606 end Header_Size_Added;
1608 function Hidden_By_Use_Clause
1609 (N : Node_Id) return Elist_Id is
1611 pragma Assert (False
1612 or else NT (N).Nkind = N_Use_Package_Clause
1613 or else NT (N).Nkind = N_Use_Type_Clause);
1615 end Hidden_By_Use_Clause;
1618 (N : Node_Id) return Node_Id is
1620 pragma Assert (False
1621 or else NT (N).Nkind = N_Range
1622 or else NT (N).Nkind = N_Real_Range_Specification
1623 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1628 (N : Node_Id) return Node_Id is
1630 pragma Assert (False
1631 or else NT (N).Nkind = N_Aspect_Specification
1632 or else NT (N).Nkind = N_At_Clause
1633 or else NT (N).Nkind = N_Block_Statement
1634 or else NT (N).Nkind = N_Designator
1635 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1636 or else NT (N).Nkind = N_Label
1637 or else NT (N).Nkind = N_Loop_Statement
1638 or else NT (N).Nkind = N_Record_Representation_Clause);
1642 function Implicit_With
1643 (N : Node_Id) return Boolean is
1645 pragma Assert (False
1646 or else NT (N).Nkind = N_With_Clause);
1650 function Implicit_With_From_Instantiation
1651 (N : Node_Id) return Boolean is
1653 pragma Assert (False
1654 or else NT (N).Nkind = N_With_Clause);
1656 end Implicit_With_From_Instantiation;
1658 function Interface_List
1659 (N : Node_Id) return List_Id is
1661 pragma Assert (False
1662 or else NT (N).Nkind = N_Derived_Type_Definition
1663 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1664 or else NT (N).Nkind = N_Private_Extension_Declaration
1665 or else NT (N).Nkind = N_Protected_Type_Declaration
1666 or else NT (N).Nkind = N_Record_Definition
1667 or else NT (N).Nkind = N_Single_Protected_Declaration
1668 or else NT (N).Nkind = N_Single_Task_Declaration
1669 or else NT (N).Nkind = N_Task_Type_Declaration);
1673 function Interface_Present
1674 (N : Node_Id) return Boolean is
1676 pragma Assert (False
1677 or else NT (N).Nkind = N_Derived_Type_Definition
1678 or else NT (N).Nkind = N_Record_Definition);
1680 end Interface_Present;
1682 function Import_Interface_Present
1683 (N : Node_Id) return Boolean is
1685 pragma Assert (False
1686 or else NT (N).Nkind = N_Pragma);
1688 end Import_Interface_Present;
1691 (N : Node_Id) return Boolean is
1693 pragma Assert (False
1694 or else NT (N).Nkind = N_Formal_Object_Declaration
1695 or else NT (N).Nkind = N_Parameter_Specification);
1699 function Includes_Infinities
1700 (N : Node_Id) return Boolean is
1702 pragma Assert (False
1703 or else NT (N).Nkind = N_Range);
1705 end Includes_Infinities;
1707 function Inherited_Discriminant
1708 (N : Node_Id) return Boolean is
1710 pragma Assert (False
1711 or else NT (N).Nkind = N_Component_Association);
1713 end Inherited_Discriminant;
1715 function Instance_Spec
1716 (N : Node_Id) return Node_Id is
1718 pragma Assert (False
1719 or else NT (N).Nkind = N_Formal_Package_Declaration
1720 or else NT (N).Nkind = N_Function_Instantiation
1721 or else NT (N).Nkind = N_Package_Instantiation
1722 or else NT (N).Nkind = N_Procedure_Instantiation);
1727 (N : Node_Id) return Uint is
1729 pragma Assert (False
1730 or else NT (N).Nkind = N_Integer_Literal);
1734 function Is_Accessibility_Actual
1735 (N : Node_Id) return Boolean is
1737 pragma Assert (False
1738 or else NT (N).Nkind = N_Parameter_Association);
1740 end Is_Accessibility_Actual;
1742 function Is_Asynchronous_Call_Block
1743 (N : Node_Id) return Boolean is
1745 pragma Assert (False
1746 or else NT (N).Nkind = N_Block_Statement);
1748 end Is_Asynchronous_Call_Block;
1750 function Is_Boolean_Aspect
1751 (N : Node_Id) return Boolean is
1753 pragma Assert (False
1754 or else NT (N).Nkind = N_Aspect_Specification);
1756 end Is_Boolean_Aspect;
1759 (N : Node_Id) return Boolean is
1761 pragma Assert (False
1762 or else NT (N).Nkind = N_Aspect_Specification
1763 or else NT (N).Nkind = N_Pragma);
1767 function Is_Component_Left_Opnd
1768 (N : Node_Id) return Boolean is
1770 pragma Assert (False
1771 or else NT (N).Nkind = N_Op_Concat);
1773 end Is_Component_Left_Opnd;
1775 function Is_Component_Right_Opnd
1776 (N : Node_Id) return Boolean is
1778 pragma Assert (False
1779 or else NT (N).Nkind = N_Op_Concat);
1781 end Is_Component_Right_Opnd;
1783 function Is_Controlling_Actual
1784 (N : Node_Id) return Boolean is
1786 pragma Assert (False
1787 or else NT (N).Nkind in N_Subexpr);
1789 end Is_Controlling_Actual;
1791 function Is_Disabled
1792 (N : Node_Id) return Boolean is
1794 pragma Assert (False
1795 or else NT (N).Nkind = N_Aspect_Specification
1796 or else NT (N).Nkind = N_Pragma);
1800 function Is_Delayed_Aspect
1801 (N : Node_Id) return Boolean is
1803 pragma Assert (False
1804 or else NT (N).Nkind = N_Aspect_Specification
1805 or else NT (N).Nkind = N_Attribute_Definition_Clause
1806 or else NT (N).Nkind = N_Pragma);
1808 end Is_Delayed_Aspect;
1810 function Is_Dynamic_Coextension
1811 (N : Node_Id) return Boolean is
1813 pragma Assert (False
1814 or else NT (N).Nkind = N_Allocator);
1816 end Is_Dynamic_Coextension;
1819 (N : Node_Id) return Boolean is
1821 pragma Assert (False
1822 or else NT (N).Nkind = N_If_Expression);
1826 function Is_Entry_Barrier_Function
1827 (N : Node_Id) return Boolean is
1829 pragma Assert (False
1830 or else NT (N).Nkind = N_Subprogram_Body);
1832 end Is_Entry_Barrier_Function;
1834 function Is_Expanded_Build_In_Place_Call
1835 (N : Node_Id) return Boolean is
1837 pragma Assert (False
1838 or else NT (N).Nkind = N_Function_Call);
1840 end Is_Expanded_Build_In_Place_Call;
1842 function Is_Finalization_Wrapper
1843 (N : Node_Id) return Boolean is
1845 pragma Assert (False
1846 or else NT (N).Nkind = N_Block_Statement);
1848 end Is_Finalization_Wrapper;
1850 function Is_Folded_In_Parser
1851 (N : Node_Id) return Boolean is
1853 pragma Assert (False
1854 or else NT (N).Nkind = N_String_Literal);
1856 end Is_Folded_In_Parser;
1859 (N : Node_Id) return Boolean is
1861 pragma Assert (False
1862 or else NT (N).Nkind = N_Aspect_Specification
1863 or else NT (N).Nkind = N_Pragma);
1867 function Is_In_Discriminant_Check
1868 (N : Node_Id) return Boolean is
1870 pragma Assert (False
1871 or else NT (N).Nkind = N_Selected_Component);
1873 end Is_In_Discriminant_Check;
1875 function Is_Machine_Number
1876 (N : Node_Id) return Boolean is
1878 pragma Assert (False
1879 or else NT (N).Nkind = N_Real_Literal);
1881 end Is_Machine_Number;
1883 function Is_Null_Loop
1884 (N : Node_Id) return Boolean is
1886 pragma Assert (False
1887 or else NT (N).Nkind = N_Loop_Statement);
1891 function Is_Overloaded
1892 (N : Node_Id) return Boolean is
1894 pragma Assert (False
1895 or else NT (N).Nkind in N_Subexpr);
1899 function Is_Power_Of_2_For_Shift
1900 (N : Node_Id) return Boolean is
1902 pragma Assert (False
1903 or else NT (N).Nkind = N_Op_Expon);
1905 end Is_Power_Of_2_For_Shift;
1907 function Is_Prefixed_Call
1908 (N : Node_Id) return Boolean is
1910 pragma Assert (False
1911 or else NT (N).Nkind = N_Selected_Component);
1913 end Is_Prefixed_Call;
1915 function Is_Protected_Subprogram_Body
1916 (N : Node_Id) return Boolean is
1918 pragma Assert (False
1919 or else NT (N).Nkind = N_Subprogram_Body);
1921 end Is_Protected_Subprogram_Body;
1923 function Is_Static_Coextension
1924 (N : Node_Id) return Boolean is
1926 pragma Assert (False
1927 or else NT (N).Nkind = N_Allocator);
1929 end Is_Static_Coextension;
1931 function Is_Static_Expression
1932 (N : Node_Id) return Boolean is
1934 pragma Assert (False
1935 or else NT (N).Nkind in N_Subexpr);
1937 end Is_Static_Expression;
1939 function Is_Subprogram_Descriptor
1940 (N : Node_Id) return Boolean is
1942 pragma Assert (False
1943 or else NT (N).Nkind = N_Object_Declaration);
1945 end Is_Subprogram_Descriptor;
1947 function Is_Task_Allocation_Block
1948 (N : Node_Id) return Boolean is
1950 pragma Assert (False
1951 or else NT (N).Nkind = N_Block_Statement);
1953 end Is_Task_Allocation_Block;
1955 function Is_Task_Master
1956 (N : Node_Id) return Boolean is
1958 pragma Assert (False
1959 or else NT (N).Nkind = N_Block_Statement
1960 or else NT (N).Nkind = N_Subprogram_Body
1961 or else NT (N).Nkind = N_Task_Body);
1965 function Iteration_Scheme
1966 (N : Node_Id) return Node_Id is
1968 pragma Assert (False
1969 or else NT (N).Nkind = N_Loop_Statement);
1971 end Iteration_Scheme;
1973 function Iterator_Specification
1974 (N : Node_Id) return Node_Id is
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Iteration_Scheme
1978 or else NT (N).Nkind = N_Quantified_Expression);
1980 end Iterator_Specification;
1983 (N : Node_Id) return Node_Id is
1985 pragma Assert (False
1986 or else NT (N).Nkind = N_Itype_Reference);
1990 function Kill_Range_Check
1991 (N : Node_Id) return Boolean is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1996 end Kill_Range_Check;
1998 function Label_Construct
1999 (N : Node_Id) return Node_Id is
2001 pragma Assert (False
2002 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2004 end Label_Construct;
2007 (N : Node_Id) return Node_Id is
2009 pragma Assert (False
2010 or else NT (N).Nkind = N_Component_Clause);
2015 (N : Node_Id) return Boolean is
2017 pragma Assert (False
2018 or else NT (N).Nkind = N_With_Clause);
2023 (N : Node_Id) return Node_Id is
2025 pragma Assert (False
2026 or else NT (N).Nkind = N_And_Then
2027 or else NT (N).Nkind = N_In
2028 or else NT (N).Nkind = N_Not_In
2029 or else NT (N).Nkind = N_Or_Else
2030 or else NT (N).Nkind in N_Binary_Op);
2034 function Library_Unit
2035 (N : Node_Id) return Node_Id is
2037 pragma Assert (False
2038 or else NT (N).Nkind = N_Compilation_Unit
2039 or else NT (N).Nkind = N_Package_Body_Stub
2040 or else NT (N).Nkind = N_Protected_Body_Stub
2041 or else NT (N).Nkind = N_Subprogram_Body_Stub
2042 or else NT (N).Nkind = N_Task_Body_Stub
2043 or else NT (N).Nkind = N_With_Clause);
2047 function Limited_View_Installed
2048 (N : Node_Id) return Boolean is
2050 pragma Assert (False
2051 or else NT (N).Nkind = N_Package_Specification
2052 or else NT (N).Nkind = N_With_Clause);
2054 end Limited_View_Installed;
2056 function Limited_Present
2057 (N : Node_Id) return Boolean is
2059 pragma Assert (False
2060 or else NT (N).Nkind = N_Derived_Type_Definition
2061 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2062 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2063 or else NT (N).Nkind = N_Private_Extension_Declaration
2064 or else NT (N).Nkind = N_Private_Type_Declaration
2065 or else NT (N).Nkind = N_Record_Definition
2066 or else NT (N).Nkind = N_With_Clause);
2068 end Limited_Present;
2071 (N : Node_Id) return List_Id is
2073 pragma Assert (False
2074 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2078 function Local_Raise_Not_OK
2079 (N : Node_Id) return Boolean is
2081 pragma Assert (False
2082 or else NT (N).Nkind = N_Exception_Handler);
2084 end Local_Raise_Not_OK;
2086 function Local_Raise_Statements
2087 (N : Node_Id) return Elist_Id is
2089 pragma Assert (False
2090 or else NT (N).Nkind = N_Exception_Handler);
2092 end Local_Raise_Statements;
2094 function Loop_Actions
2095 (N : Node_Id) return List_Id is
2097 pragma Assert (False
2098 or else NT (N).Nkind = N_Component_Association);
2102 function Loop_Parameter_Specification
2103 (N : Node_Id) return Node_Id is
2105 pragma Assert (False
2106 or else NT (N).Nkind = N_Iteration_Scheme
2107 or else NT (N).Nkind = N_Quantified_Expression);
2109 end Loop_Parameter_Specification;
2112 (N : Node_Id) return Node_Id is
2114 pragma Assert (False
2115 or else NT (N).Nkind = N_Range
2116 or else NT (N).Nkind = N_Real_Range_Specification
2117 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2122 (N : Node_Id) return Node_Id is
2124 pragma Assert (False
2125 or else NT (N).Nkind = N_Record_Representation_Clause);
2130 (N : Node_Id) return Boolean is
2132 pragma Assert (False
2133 or else NT (N).Nkind = N_Component_Declaration
2134 or else NT (N).Nkind = N_Discriminant_Specification
2135 or else NT (N).Nkind = N_Exception_Declaration
2136 or else NT (N).Nkind = N_Formal_Object_Declaration
2137 or else NT (N).Nkind = N_Number_Declaration
2138 or else NT (N).Nkind = N_Object_Declaration
2139 or else NT (N).Nkind = N_Parameter_Specification);
2143 function Must_Be_Byte_Aligned
2144 (N : Node_Id) return Boolean is
2146 pragma Assert (False
2147 or else NT (N).Nkind = N_Attribute_Reference);
2149 end Must_Be_Byte_Aligned;
2151 function Must_Not_Freeze
2152 (N : Node_Id) return Boolean is
2154 pragma Assert (False
2155 or else NT (N).Nkind = N_Subtype_Indication
2156 or else NT (N).Nkind in N_Subexpr);
2158 end Must_Not_Freeze;
2160 function Must_Not_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);
2170 end Must_Not_Override;
2172 function Must_Override
2173 (N : Node_Id) return Boolean is
2175 pragma Assert (False
2176 or else NT (N).Nkind = N_Entry_Declaration
2177 or else NT (N).Nkind = N_Function_Instantiation
2178 or else NT (N).Nkind = N_Function_Specification
2179 or else NT (N).Nkind = N_Procedure_Instantiation
2180 or else NT (N).Nkind = N_Procedure_Specification);
2185 (N : Node_Id) return Node_Id is
2187 pragma Assert (False
2188 or else NT (N).Nkind = N_Assignment_Statement
2189 or else NT (N).Nkind = N_Attribute_Definition_Clause
2190 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2191 or else NT (N).Nkind = N_Designator
2192 or else NT (N).Nkind = N_Entry_Call_Statement
2193 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2194 or else NT (N).Nkind = N_Exit_Statement
2195 or else NT (N).Nkind = N_Formal_Package_Declaration
2196 or else NT (N).Nkind = N_Function_Call
2197 or else NT (N).Nkind = N_Function_Instantiation
2198 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2199 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2200 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2201 or else NT (N).Nkind = N_Goto_Statement
2202 or else NT (N).Nkind = N_Iterator_Specification
2203 or else NT (N).Nkind = N_Object_Renaming_Declaration
2204 or else NT (N).Nkind = N_Package_Instantiation
2205 or else NT (N).Nkind = N_Package_Renaming_Declaration
2206 or else NT (N).Nkind = N_Procedure_Call_Statement
2207 or else NT (N).Nkind = N_Procedure_Instantiation
2208 or else NT (N).Nkind = N_Raise_Expression
2209 or else NT (N).Nkind = N_Raise_Statement
2210 or else NT (N).Nkind = N_Requeue_Statement
2211 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2212 or else NT (N).Nkind = N_Subunit
2213 or else NT (N).Nkind = N_Variant_Part
2214 or else NT (N).Nkind = N_With_Clause);
2219 (N : Node_Id) return List_Id is
2221 pragma Assert (False
2222 or else NT (N).Nkind = N_Abort_Statement
2223 or else NT (N).Nkind = N_Use_Package_Clause);
2227 function Next_Entity
2228 (N : Node_Id) return Node_Id is
2230 pragma Assert (False
2231 or else NT (N).Nkind = N_Defining_Character_Literal
2232 or else NT (N).Nkind = N_Defining_Identifier
2233 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2237 function Next_Exit_Statement
2238 (N : Node_Id) return Node_Id is
2240 pragma Assert (False
2241 or else NT (N).Nkind = N_Exit_Statement);
2243 end Next_Exit_Statement;
2245 function Next_Implicit_With
2246 (N : Node_Id) return Node_Id is
2248 pragma Assert (False
2249 or else NT (N).Nkind = N_With_Clause);
2251 end Next_Implicit_With;
2253 function Next_Named_Actual
2254 (N : Node_Id) return Node_Id is
2256 pragma Assert (False
2257 or else NT (N).Nkind = N_Parameter_Association);
2259 end Next_Named_Actual;
2261 function Next_Pragma
2262 (N : Node_Id) return Node_Id is
2264 pragma Assert (False
2265 or else NT (N).Nkind = N_Pragma);
2269 function Next_Rep_Item
2270 (N : Node_Id) return Node_Id is
2272 pragma Assert (False
2273 or else NT (N).Nkind = N_Aspect_Specification
2274 or else NT (N).Nkind = N_Attribute_Definition_Clause
2275 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2276 or else NT (N).Nkind = N_Pragma
2277 or else NT (N).Nkind = N_Record_Representation_Clause);
2281 function Next_Use_Clause
2282 (N : Node_Id) return Node_Id is
2284 pragma Assert (False
2285 or else NT (N).Nkind = N_Use_Package_Clause
2286 or else NT (N).Nkind = N_Use_Type_Clause);
2288 end Next_Use_Clause;
2290 function No_Ctrl_Actions
2291 (N : Node_Id) return Boolean is
2293 pragma Assert (False
2294 or else NT (N).Nkind = N_Assignment_Statement);
2296 end No_Ctrl_Actions;
2298 function No_Elaboration_Check
2299 (N : Node_Id) return Boolean is
2301 pragma Assert (False
2302 or else NT (N).Nkind = N_Function_Call
2303 or else NT (N).Nkind = N_Procedure_Call_Statement);
2305 end No_Elaboration_Check;
2307 function No_Entities_Ref_In_Spec
2308 (N : Node_Id) return Boolean is
2310 pragma Assert (False
2311 or else NT (N).Nkind = N_With_Clause);
2313 end No_Entities_Ref_In_Spec;
2315 function No_Initialization
2316 (N : Node_Id) return Boolean is
2318 pragma Assert (False
2319 or else NT (N).Nkind = N_Allocator
2320 or else NT (N).Nkind = N_Object_Declaration);
2322 end No_Initialization;
2324 function No_Minimize_Eliminate
2325 (N : Node_Id) return Boolean is
2327 pragma Assert (False
2328 or else NT (N).Nkind = N_In
2329 or else NT (N).Nkind = N_Not_In);
2331 end No_Minimize_Eliminate;
2333 function No_Truncation
2334 (N : Node_Id) return Boolean is
2336 pragma Assert (False
2337 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2341 function Null_Present
2342 (N : Node_Id) return Boolean is
2344 pragma Assert (False
2345 or else NT (N).Nkind = N_Component_List
2346 or else NT (N).Nkind = N_Procedure_Specification
2347 or else NT (N).Nkind = N_Record_Definition);
2351 function Null_Exclusion_Present
2352 (N : Node_Id) return Boolean is
2354 pragma Assert (False
2355 or else NT (N).Nkind = N_Access_Definition
2356 or else NT (N).Nkind = N_Access_Function_Definition
2357 or else NT (N).Nkind = N_Access_Procedure_Definition
2358 or else NT (N).Nkind = N_Access_To_Object_Definition
2359 or else NT (N).Nkind = N_Allocator
2360 or else NT (N).Nkind = N_Component_Definition
2361 or else NT (N).Nkind = N_Derived_Type_Definition
2362 or else NT (N).Nkind = N_Discriminant_Specification
2363 or else NT (N).Nkind = N_Formal_Object_Declaration
2364 or else NT (N).Nkind = N_Function_Specification
2365 or else NT (N).Nkind = N_Object_Declaration
2366 or else NT (N).Nkind = N_Object_Renaming_Declaration
2367 or else NT (N).Nkind = N_Parameter_Specification
2368 or else NT (N).Nkind = N_Subtype_Declaration);
2370 end Null_Exclusion_Present;
2372 function Null_Exclusion_In_Return_Present
2373 (N : Node_Id) return Boolean is
2375 pragma Assert (False
2376 or else NT (N).Nkind = N_Access_Function_Definition);
2378 end Null_Exclusion_In_Return_Present;
2380 function Null_Record_Present
2381 (N : Node_Id) return Boolean is
2383 pragma Assert (False
2384 or else NT (N).Nkind = N_Aggregate
2385 or else NT (N).Nkind = N_Extension_Aggregate);
2387 end Null_Record_Present;
2389 function Object_Definition
2390 (N : Node_Id) return Node_Id is
2392 pragma Assert (False
2393 or else NT (N).Nkind = N_Object_Declaration);
2395 end Object_Definition;
2398 (N : Node_Id) return Boolean is
2400 pragma Assert (False
2401 or else NT (N).Nkind = N_Iterator_Specification);
2405 function Original_Discriminant
2406 (N : Node_Id) return Node_Id is
2408 pragma Assert (False
2409 or else NT (N).Nkind = N_Identifier);
2411 end Original_Discriminant;
2413 function Original_Entity
2414 (N : Node_Id) return Entity_Id is
2416 pragma Assert (False
2417 or else NT (N).Nkind = N_Integer_Literal
2418 or else NT (N).Nkind = N_Real_Literal);
2420 end Original_Entity;
2422 function Others_Discrete_Choices
2423 (N : Node_Id) return List_Id is
2425 pragma Assert (False
2426 or else NT (N).Nkind = N_Others_Choice);
2428 end Others_Discrete_Choices;
2430 function Out_Present
2431 (N : Node_Id) return Boolean is
2433 pragma Assert (False
2434 or else NT (N).Nkind = N_Formal_Object_Declaration
2435 or else NT (N).Nkind = N_Parameter_Specification);
2439 function Parameter_Associations
2440 (N : Node_Id) return List_Id is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Entry_Call_Statement
2444 or else NT (N).Nkind = N_Function_Call
2445 or else NT (N).Nkind = N_Procedure_Call_Statement);
2447 end Parameter_Associations;
2449 function Parameter_List_Truncated
2450 (N : Node_Id) return Boolean is
2452 pragma Assert (False
2453 or else NT (N).Nkind = N_Function_Call
2454 or else NT (N).Nkind = N_Procedure_Call_Statement);
2456 end Parameter_List_Truncated;
2458 function Parameter_Specifications
2459 (N : Node_Id) return List_Id is
2461 pragma Assert (False
2462 or else NT (N).Nkind = N_Accept_Statement
2463 or else NT (N).Nkind = N_Access_Function_Definition
2464 or else NT (N).Nkind = N_Access_Procedure_Definition
2465 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2466 or else NT (N).Nkind = N_Entry_Declaration
2467 or else NT (N).Nkind = N_Function_Specification
2468 or else NT (N).Nkind = N_Procedure_Specification);
2470 end Parameter_Specifications;
2472 function Parameter_Type
2473 (N : Node_Id) return Node_Id is
2475 pragma Assert (False
2476 or else NT (N).Nkind = N_Parameter_Specification);
2480 function Parent_Spec
2481 (N : Node_Id) return Node_Id is
2483 pragma Assert (False
2484 or else NT (N).Nkind = N_Function_Instantiation
2485 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2486 or else NT (N).Nkind = N_Generic_Package_Declaration
2487 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2488 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2489 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2490 or else NT (N).Nkind = N_Package_Declaration
2491 or else NT (N).Nkind = N_Package_Instantiation
2492 or else NT (N).Nkind = N_Package_Renaming_Declaration
2493 or else NT (N).Nkind = N_Procedure_Instantiation
2494 or else NT (N).Nkind = N_Subprogram_Declaration
2495 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2500 (N : Node_Id) return Node_Id is
2502 pragma Assert (False
2503 or else NT (N).Nkind = N_Component_Clause);
2507 function Pragma_Argument_Associations
2508 (N : Node_Id) return List_Id is
2510 pragma Assert (False
2511 or else NT (N).Nkind = N_Pragma);
2513 end Pragma_Argument_Associations;
2515 function Pragma_Identifier
2516 (N : Node_Id) return Node_Id is
2518 pragma Assert (False
2519 or else NT (N).Nkind = N_Pragma);
2521 end Pragma_Identifier;
2523 function Pragmas_After
2524 (N : Node_Id) return List_Id is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Compilation_Unit_Aux
2528 or else NT (N).Nkind = N_Terminate_Alternative);
2532 function Pragmas_Before
2533 (N : Node_Id) return List_Id is
2535 pragma Assert (False
2536 or else NT (N).Nkind = N_Accept_Alternative
2537 or else NT (N).Nkind = N_Delay_Alternative
2538 or else NT (N).Nkind = N_Entry_Call_Alternative
2539 or else NT (N).Nkind = N_Mod_Clause
2540 or else NT (N).Nkind = N_Terminate_Alternative
2541 or else NT (N).Nkind = N_Triggering_Alternative);
2545 function Pre_Post_Conditions
2546 (N : Node_Id) return Node_Id is
2548 pragma Assert (False
2549 or else NT (N).Nkind = N_Contract);
2551 end Pre_Post_Conditions;
2554 (N : Node_Id) return Node_Id is
2556 pragma Assert (False
2557 or else NT (N).Nkind = N_Attribute_Reference
2558 or else NT (N).Nkind = N_Expanded_Name
2559 or else NT (N).Nkind = N_Explicit_Dereference
2560 or else NT (N).Nkind = N_Indexed_Component
2561 or else NT (N).Nkind = N_Reference
2562 or else NT (N).Nkind = N_Selected_Component
2563 or else NT (N).Nkind = N_Slice);
2567 function Premature_Use
2568 (N : Node_Id) return Node_Id is
2570 pragma Assert (False
2571 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2575 function Present_Expr
2576 (N : Node_Id) return Uint is
2578 pragma Assert (False
2579 or else NT (N).Nkind = N_Variant);
2584 (N : Node_Id) return Boolean is
2586 pragma Assert (False
2587 or else NT (N).Nkind = N_Component_Declaration
2588 or else NT (N).Nkind = N_Discriminant_Specification
2589 or else NT (N).Nkind = N_Exception_Declaration
2590 or else NT (N).Nkind = N_Formal_Object_Declaration
2591 or else NT (N).Nkind = N_Number_Declaration
2592 or else NT (N).Nkind = N_Object_Declaration
2593 or else NT (N).Nkind = N_Parameter_Specification);
2597 function Print_In_Hex
2598 (N : Node_Id) return Boolean is
2600 pragma Assert (False
2601 or else NT (N).Nkind = N_Integer_Literal);
2605 function Private_Declarations
2606 (N : Node_Id) return List_Id is
2608 pragma Assert (False
2609 or else NT (N).Nkind = N_Package_Specification
2610 or else NT (N).Nkind = N_Protected_Definition
2611 or else NT (N).Nkind = N_Task_Definition);
2613 end Private_Declarations;
2615 function Private_Present
2616 (N : Node_Id) return Boolean is
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Compilation_Unit
2620 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2621 or else NT (N).Nkind = N_With_Clause);
2623 end Private_Present;
2625 function Procedure_To_Call
2626 (N : Node_Id) return Node_Id is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Allocator
2630 or else NT (N).Nkind = N_Extended_Return_Statement
2631 or else NT (N).Nkind = N_Free_Statement
2632 or else NT (N).Nkind = N_Simple_Return_Statement);
2634 end Procedure_To_Call;
2636 function Proper_Body
2637 (N : Node_Id) return Node_Id is
2639 pragma Assert (False
2640 or else NT (N).Nkind = N_Subunit);
2644 function Protected_Definition
2645 (N : Node_Id) return Node_Id is
2647 pragma Assert (False
2648 or else NT (N).Nkind = N_Protected_Type_Declaration
2649 or else NT (N).Nkind = N_Single_Protected_Declaration);
2651 end Protected_Definition;
2653 function Protected_Present
2654 (N : Node_Id) return Boolean is
2656 pragma Assert (False
2657 or else NT (N).Nkind = N_Access_Function_Definition
2658 or else NT (N).Nkind = N_Access_Procedure_Definition
2659 or else NT (N).Nkind = N_Derived_Type_Definition
2660 or else NT (N).Nkind = N_Record_Definition);
2662 end Protected_Present;
2664 function Raises_Constraint_Error
2665 (N : Node_Id) return Boolean is
2667 pragma Assert (False
2668 or else NT (N).Nkind in N_Subexpr);
2670 end Raises_Constraint_Error;
2672 function Range_Constraint
2673 (N : Node_Id) return Node_Id is
2675 pragma Assert (False
2676 or else NT (N).Nkind = N_Delta_Constraint
2677 or else NT (N).Nkind = N_Digits_Constraint);
2679 end Range_Constraint;
2681 function Range_Expression
2682 (N : Node_Id) return Node_Id is
2684 pragma Assert (False
2685 or else NT (N).Nkind = N_Range_Constraint);
2687 end Range_Expression;
2689 function Real_Range_Specification
2690 (N : Node_Id) return Node_Id is
2692 pragma Assert (False
2693 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2694 or else NT (N).Nkind = N_Floating_Point_Definition
2695 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2697 end Real_Range_Specification;
2700 (N : Node_Id) return Ureal is
2702 pragma Assert (False
2703 or else NT (N).Nkind = N_Real_Literal);
2708 (N : Node_Id) return Uint is
2710 pragma Assert (False
2711 or else NT (N).Nkind = N_Raise_Constraint_Error
2712 or else NT (N).Nkind = N_Raise_Program_Error
2713 or else NT (N).Nkind = N_Raise_Storage_Error);
2717 function Record_Extension_Part
2718 (N : Node_Id) return Node_Id is
2720 pragma Assert (False
2721 or else NT (N).Nkind = N_Derived_Type_Definition);
2723 end Record_Extension_Part;
2725 function Redundant_Use
2726 (N : Node_Id) return Boolean is
2728 pragma Assert (False
2729 or else NT (N).Nkind = N_Attribute_Reference
2730 or else NT (N).Nkind = N_Expanded_Name
2731 or else NT (N).Nkind = N_Identifier);
2735 function Renaming_Exception
2736 (N : Node_Id) return Node_Id is
2738 pragma Assert (False
2739 or else NT (N).Nkind = N_Exception_Declaration);
2741 end Renaming_Exception;
2743 function Result_Definition
2744 (N : Node_Id) return Node_Id is
2746 pragma Assert (False
2747 or else NT (N).Nkind = N_Access_Function_Definition
2748 or else NT (N).Nkind = N_Function_Specification);
2750 end Result_Definition;
2752 function Return_Object_Declarations
2753 (N : Node_Id) return List_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_Extended_Return_Statement);
2758 end Return_Object_Declarations;
2760 function Return_Statement_Entity
2761 (N : Node_Id) return Node_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Extended_Return_Statement
2765 or else NT (N).Nkind = N_Simple_Return_Statement);
2767 end Return_Statement_Entity;
2769 function Reverse_Present
2770 (N : Node_Id) return Boolean is
2772 pragma Assert (False
2773 or else NT (N).Nkind = N_Iterator_Specification
2774 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2776 end Reverse_Present;
2779 (N : Node_Id) return Node_Id is
2781 pragma Assert (False
2782 or else NT (N).Nkind in N_Op
2783 or else NT (N).Nkind = N_And_Then
2784 or else NT (N).Nkind = N_In
2785 or else NT (N).Nkind = N_Not_In
2786 or else NT (N).Nkind = N_Or_Else);
2790 function Rounded_Result
2791 (N : Node_Id) return Boolean is
2793 pragma Assert (False
2794 or else NT (N).Nkind = N_Op_Divide
2795 or else NT (N).Nkind = N_Op_Multiply
2796 or else NT (N).Nkind = N_Type_Conversion);
2800 function SCIL_Controlling_Tag
2801 (N : Node_Id) return Node_Id is
2803 pragma Assert (False
2804 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2806 end SCIL_Controlling_Tag;
2808 function SCIL_Entity
2809 (N : Node_Id) return Node_Id is
2811 pragma Assert (False
2812 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2813 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2814 or else NT (N).Nkind = N_SCIL_Membership_Test);
2818 function SCIL_Tag_Value
2819 (N : Node_Id) return Node_Id is
2821 pragma Assert (False
2822 or else NT (N).Nkind = N_SCIL_Membership_Test);
2826 function SCIL_Target_Prim
2827 (N : Node_Id) return Node_Id is
2829 pragma Assert (False
2830 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2832 end SCIL_Target_Prim;
2835 (N : Node_Id) return Node_Id is
2837 pragma Assert (False
2838 or else NT (N).Nkind = N_Defining_Character_Literal
2839 or else NT (N).Nkind = N_Defining_Identifier
2840 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2844 function Select_Alternatives
2845 (N : Node_Id) return List_Id is
2847 pragma Assert (False
2848 or else NT (N).Nkind = N_Selective_Accept);
2850 end Select_Alternatives;
2852 function Selector_Name
2853 (N : Node_Id) return Node_Id is
2855 pragma Assert (False
2856 or else NT (N).Nkind = N_Expanded_Name
2857 or else NT (N).Nkind = N_Generic_Association
2858 or else NT (N).Nkind = N_Parameter_Association
2859 or else NT (N).Nkind = N_Selected_Component);
2863 function Selector_Names
2864 (N : Node_Id) return List_Id is
2866 pragma Assert (False
2867 or else NT (N).Nkind = N_Discriminant_Association);
2871 function Shift_Count_OK
2872 (N : Node_Id) return Boolean is
2874 pragma Assert (False
2875 or else NT (N).Nkind = N_Op_Rotate_Left
2876 or else NT (N).Nkind = N_Op_Rotate_Right
2877 or else NT (N).Nkind = N_Op_Shift_Left
2878 or else NT (N).Nkind = N_Op_Shift_Right
2879 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2883 function Source_Type
2884 (N : Node_Id) return Entity_Id is
2886 pragma Assert (False
2887 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2891 function Specification
2892 (N : Node_Id) return Node_Id is
2894 pragma Assert (False
2895 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2896 or else NT (N).Nkind = N_Expression_Function
2897 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2898 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2899 or else NT (N).Nkind = N_Generic_Package_Declaration
2900 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2901 or else NT (N).Nkind = N_Package_Declaration
2902 or else NT (N).Nkind = N_Subprogram_Body
2903 or else NT (N).Nkind = N_Subprogram_Body_Stub
2904 or else NT (N).Nkind = N_Subprogram_Declaration
2905 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2910 (N : Node_Id) return Boolean is
2912 pragma Assert (False
2913 or else NT (N).Nkind = N_Aspect_Specification
2914 or else NT (N).Nkind = N_Pragma);
2919 (N : Node_Id) return List_Id is
2921 pragma Assert (False
2922 or else NT (N).Nkind = N_Abortable_Part
2923 or else NT (N).Nkind = N_Accept_Alternative
2924 or else NT (N).Nkind = N_Case_Statement_Alternative
2925 or else NT (N).Nkind = N_Delay_Alternative
2926 or else NT (N).Nkind = N_Entry_Call_Alternative
2927 or else NT (N).Nkind = N_Exception_Handler
2928 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2929 or else NT (N).Nkind = N_Loop_Statement
2930 or else NT (N).Nkind = N_Triggering_Alternative);
2934 function Storage_Pool
2935 (N : Node_Id) return Node_Id is
2937 pragma Assert (False
2938 or else NT (N).Nkind = N_Allocator
2939 or else NT (N).Nkind = N_Extended_Return_Statement
2940 or else NT (N).Nkind = N_Free_Statement
2941 or else NT (N).Nkind = N_Simple_Return_Statement);
2945 function Subpool_Handle_Name
2946 (N : Node_Id) return Node_Id is
2948 pragma Assert (False
2949 or else NT (N).Nkind = N_Allocator);
2951 end Subpool_Handle_Name;
2954 (N : Node_Id) return String_Id is
2956 pragma Assert (False
2957 or else NT (N).Nkind = N_Operator_Symbol
2958 or else NT (N).Nkind = N_String_Literal);
2962 function Subtype_Indication
2963 (N : Node_Id) return Node_Id is
2965 pragma Assert (False
2966 or else NT (N).Nkind = N_Access_To_Object_Definition
2967 or else NT (N).Nkind = N_Component_Definition
2968 or else NT (N).Nkind = N_Derived_Type_Definition
2969 or else NT (N).Nkind = N_Iterator_Specification
2970 or else NT (N).Nkind = N_Private_Extension_Declaration
2971 or else NT (N).Nkind = N_Subtype_Declaration);
2973 end Subtype_Indication;
2975 function Suppress_Assignment_Checks
2976 (N : Node_Id) return Boolean is
2978 pragma Assert (False
2979 or else NT (N).Nkind = N_Assignment_Statement
2980 or else NT (N).Nkind = N_Object_Declaration);
2982 end Suppress_Assignment_Checks;
2984 function Suppress_Loop_Warnings
2985 (N : Node_Id) return Boolean is
2987 pragma Assert (False
2988 or else NT (N).Nkind = N_Loop_Statement);
2990 end Suppress_Loop_Warnings;
2992 function Subtype_Mark
2993 (N : Node_Id) return Node_Id is
2995 pragma Assert (False
2996 or else NT (N).Nkind = N_Access_Definition
2997 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2998 or else NT (N).Nkind = N_Formal_Object_Declaration
2999 or else NT (N).Nkind = N_Object_Renaming_Declaration
3000 or else NT (N).Nkind = N_Qualified_Expression
3001 or else NT (N).Nkind = N_Subtype_Indication
3002 or else NT (N).Nkind = N_Type_Conversion
3003 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3007 function Subtype_Marks
3008 (N : Node_Id) return List_Id is
3010 pragma Assert (False
3011 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3012 or else NT (N).Nkind = N_Use_Type_Clause);
3016 function Synchronized_Present
3017 (N : Node_Id) return Boolean is
3019 pragma Assert (False
3020 or else NT (N).Nkind = N_Derived_Type_Definition
3021 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3022 or else NT (N).Nkind = N_Private_Extension_Declaration
3023 or else NT (N).Nkind = N_Record_Definition);
3025 end Synchronized_Present;
3027 function Tagged_Present
3028 (N : Node_Id) return Boolean is
3030 pragma Assert (False
3031 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3032 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3033 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3034 or else NT (N).Nkind = N_Private_Type_Declaration
3035 or else NT (N).Nkind = N_Record_Definition);
3039 function Target_Type
3040 (N : Node_Id) return Entity_Id is
3042 pragma Assert (False
3043 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3047 function Task_Definition
3048 (N : Node_Id) return Node_Id is
3050 pragma Assert (False
3051 or else NT (N).Nkind = N_Single_Task_Declaration
3052 or else NT (N).Nkind = N_Task_Type_Declaration);
3054 end Task_Definition;
3056 function Task_Present
3057 (N : Node_Id) return Boolean is
3059 pragma Assert (False
3060 or else NT (N).Nkind = N_Derived_Type_Definition
3061 or else NT (N).Nkind = N_Record_Definition);
3065 function Then_Actions
3066 (N : Node_Id) return List_Id is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_If_Expression);
3073 function Then_Statements
3074 (N : Node_Id) return List_Id is
3076 pragma Assert (False
3077 or else NT (N).Nkind = N_Elsif_Part
3078 or else NT (N).Nkind = N_If_Statement);
3080 end Then_Statements;
3082 function Treat_Fixed_As_Integer
3083 (N : Node_Id) return Boolean is
3085 pragma Assert (False
3086 or else NT (N).Nkind = N_Op_Divide
3087 or else NT (N).Nkind = N_Op_Mod
3088 or else NT (N).Nkind = N_Op_Multiply
3089 or else NT (N).Nkind = N_Op_Rem);
3091 end Treat_Fixed_As_Integer;
3093 function Triggering_Alternative
3094 (N : Node_Id) return Node_Id is
3096 pragma Assert (False
3097 or else NT (N).Nkind = N_Asynchronous_Select);
3099 end Triggering_Alternative;
3101 function Triggering_Statement
3102 (N : Node_Id) return Node_Id is
3104 pragma Assert (False
3105 or else NT (N).Nkind = N_Triggering_Alternative);
3107 end Triggering_Statement;
3110 (N : Node_Id) return Elist_Id is
3112 pragma Assert (False
3113 or else NT (N).Nkind = N_Freeze_Entity);
3117 function Type_Definition
3118 (N : Node_Id) return Node_Id is
3120 pragma Assert (False
3121 or else NT (N).Nkind = N_Full_Type_Declaration);
3123 end Type_Definition;
3126 (N : Node_Id) return Node_Id is
3128 pragma Assert (False
3129 or else NT (N).Nkind = N_Compilation_Unit);
3133 function Unknown_Discriminants_Present
3134 (N : Node_Id) return Boolean is
3136 pragma Assert (False
3137 or else NT (N).Nkind = N_Formal_Type_Declaration
3138 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3139 or else NT (N).Nkind = N_Private_Extension_Declaration
3140 or else NT (N).Nkind = N_Private_Type_Declaration);
3142 end Unknown_Discriminants_Present;
3144 function Unreferenced_In_Spec
3145 (N : Node_Id) return Boolean is
3147 pragma Assert (False
3148 or else NT (N).Nkind = N_With_Clause);
3150 end Unreferenced_In_Spec;
3152 function Variant_Part
3153 (N : Node_Id) return Node_Id is
3155 pragma Assert (False
3156 or else NT (N).Nkind = N_Component_List);
3161 (N : Node_Id) return List_Id is
3163 pragma Assert (False
3164 or else NT (N).Nkind = N_Variant_Part);
3168 function Visible_Declarations
3169 (N : Node_Id) return List_Id is
3171 pragma Assert (False
3172 or else NT (N).Nkind = N_Package_Specification
3173 or else NT (N).Nkind = N_Protected_Definition
3174 or else NT (N).Nkind = N_Task_Definition);
3176 end Visible_Declarations;
3178 function Uninitialized_Variable
3179 (N : Node_Id) return Node_Id is
3181 pragma Assert (False
3182 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3183 or else NT (N).Nkind = N_Private_Extension_Declaration);
3185 end Uninitialized_Variable;
3187 function Used_Operations
3188 (N : Node_Id) return Elist_Id is
3190 pragma Assert (False
3191 or else NT (N).Nkind = N_Use_Type_Clause);
3193 end Used_Operations;
3195 function Was_Originally_Stub
3196 (N : Node_Id) return Boolean is
3198 pragma Assert (False
3199 or else NT (N).Nkind = N_Package_Body
3200 or else NT (N).Nkind = N_Protected_Body
3201 or else NT (N).Nkind = N_Subprogram_Body
3202 or else NT (N).Nkind = N_Task_Body);
3204 end Was_Originally_Stub;
3206 function Withed_Body
3207 (N : Node_Id) return Node_Id is
3209 pragma Assert (False
3210 or else NT (N).Nkind = N_With_Clause);
3214 --------------------------
3215 -- Field Set Procedures --
3216 --------------------------
3218 procedure Set_ABE_Is_Certain
3219 (N : Node_Id; Val : Boolean := True) is
3221 pragma Assert (False
3222 or else NT (N).Nkind = N_Formal_Package_Declaration
3223 or else NT (N).Nkind = N_Function_Call
3224 or else NT (N).Nkind = N_Function_Instantiation
3225 or else NT (N).Nkind = N_Package_Instantiation
3226 or else NT (N).Nkind = N_Procedure_Call_Statement
3227 or else NT (N).Nkind = N_Procedure_Instantiation);
3228 Set_Flag18 (N, Val);
3229 end Set_ABE_Is_Certain;
3231 procedure Set_Abort_Present
3232 (N : Node_Id; Val : Boolean := True) is
3234 pragma Assert (False
3235 or else NT (N).Nkind = N_Requeue_Statement);
3236 Set_Flag15 (N, Val);
3237 end Set_Abort_Present;
3239 procedure Set_Abortable_Part
3240 (N : Node_Id; Val : Node_Id) is
3242 pragma Assert (False
3243 or else NT (N).Nkind = N_Asynchronous_Select);
3244 Set_Node2_With_Parent (N, Val);
3245 end Set_Abortable_Part;
3247 procedure Set_Abstract_Present
3248 (N : Node_Id; Val : Boolean := True) is
3250 pragma Assert (False
3251 or else NT (N).Nkind = N_Derived_Type_Definition
3252 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3253 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3254 or else NT (N).Nkind = N_Private_Extension_Declaration
3255 or else NT (N).Nkind = N_Private_Type_Declaration
3256 or else NT (N).Nkind = N_Record_Definition);
3258 end Set_Abstract_Present;
3260 procedure Set_Accept_Handler_Records
3261 (N : Node_Id; Val : List_Id) is
3263 pragma Assert (False
3264 or else NT (N).Nkind = N_Accept_Alternative);
3265 Set_List5 (N, Val); -- semantic field, no parent set
3266 end Set_Accept_Handler_Records;
3268 procedure Set_Accept_Statement
3269 (N : Node_Id; Val : Node_Id) is
3271 pragma Assert (False
3272 or else NT (N).Nkind = N_Accept_Alternative);
3273 Set_Node2_With_Parent (N, Val);
3274 end Set_Accept_Statement;
3276 procedure Set_Access_Definition
3277 (N : Node_Id; Val : Node_Id) is
3279 pragma Assert (False
3280 or else NT (N).Nkind = N_Component_Definition
3281 or else NT (N).Nkind = N_Formal_Object_Declaration
3282 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3283 Set_Node3_With_Parent (N, Val);
3284 end Set_Access_Definition;
3286 procedure Set_Access_To_Subprogram_Definition
3287 (N : Node_Id; Val : Node_Id) is
3289 pragma Assert (False
3290 or else NT (N).Nkind = N_Access_Definition);
3291 Set_Node3_With_Parent (N, Val);
3292 end Set_Access_To_Subprogram_Definition;
3294 procedure Set_Access_Types_To_Process
3295 (N : Node_Id; Val : Elist_Id) is
3297 pragma Assert (False
3298 or else NT (N).Nkind = N_Freeze_Entity);
3299 Set_Elist2 (N, Val); -- semantic field, no parent set
3300 end Set_Access_Types_To_Process;
3302 procedure Set_Actions
3303 (N : Node_Id; Val : List_Id) is
3305 pragma Assert (False
3306 or else NT (N).Nkind = N_And_Then
3307 or else NT (N).Nkind = N_Case_Expression_Alternative
3308 or else NT (N).Nkind = N_Compilation_Unit_Aux
3309 or else NT (N).Nkind = N_Expression_With_Actions
3310 or else NT (N).Nkind = N_Freeze_Entity
3311 or else NT (N).Nkind = N_Or_Else);
3312 Set_List1_With_Parent (N, Val);
3315 procedure Set_Activation_Chain_Entity
3316 (N : Node_Id; Val : Node_Id) is
3318 pragma Assert (False
3319 or else NT (N).Nkind = N_Block_Statement
3320 or else NT (N).Nkind = N_Entry_Body
3321 or else NT (N).Nkind = N_Generic_Package_Declaration
3322 or else NT (N).Nkind = N_Package_Declaration
3323 or else NT (N).Nkind = N_Subprogram_Body
3324 or else NT (N).Nkind = N_Task_Body);
3325 Set_Node3 (N, Val); -- semantic field, no parent set
3326 end Set_Activation_Chain_Entity;
3328 procedure Set_Acts_As_Spec
3329 (N : Node_Id; Val : Boolean := True) is
3331 pragma Assert (False
3332 or else NT (N).Nkind = N_Compilation_Unit
3333 or else NT (N).Nkind = N_Subprogram_Body);
3335 end Set_Acts_As_Spec;
3337 procedure Set_Actual_Designated_Subtype
3338 (N : Node_Id; Val : Node_Id) is
3340 pragma Assert (False
3341 or else NT (N).Nkind = N_Explicit_Dereference
3342 or else NT (N).Nkind = N_Free_Statement);
3344 end Set_Actual_Designated_Subtype;
3346 procedure Set_Address_Warning_Posted
3347 (N : Node_Id; Val : Boolean := True) is
3349 pragma Assert (False
3350 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3351 Set_Flag18 (N, Val);
3352 end Set_Address_Warning_Posted;
3354 procedure Set_Aggregate_Bounds
3355 (N : Node_Id; Val : Node_Id) is
3357 pragma Assert (False
3358 or else NT (N).Nkind = N_Aggregate);
3359 Set_Node3 (N, Val); -- semantic field, no parent set
3360 end Set_Aggregate_Bounds;
3362 procedure Set_Aliased_Present
3363 (N : Node_Id; Val : Boolean := True) is
3365 pragma Assert (False
3366 or else NT (N).Nkind = N_Component_Definition
3367 or else NT (N).Nkind = N_Object_Declaration
3368 or else NT (N).Nkind = N_Parameter_Specification);
3370 end Set_Aliased_Present;
3372 procedure Set_All_Others
3373 (N : Node_Id; Val : Boolean := True) is
3375 pragma Assert (False
3376 or else NT (N).Nkind = N_Others_Choice);
3377 Set_Flag11 (N, Val);
3380 procedure Set_All_Present
3381 (N : Node_Id; Val : Boolean := True) is
3383 pragma Assert (False
3384 or else NT (N).Nkind = N_Access_Definition
3385 or else NT (N).Nkind = N_Access_To_Object_Definition
3386 or else NT (N).Nkind = N_Quantified_Expression
3387 or else NT (N).Nkind = N_Use_Type_Clause);
3388 Set_Flag15 (N, Val);
3389 end Set_All_Present;
3391 procedure Set_Alternatives
3392 (N : Node_Id; Val : List_Id) is
3394 pragma Assert (False
3395 or else NT (N).Nkind = N_Case_Expression
3396 or else NT (N).Nkind = N_Case_Statement
3397 or else NT (N).Nkind = N_In
3398 or else NT (N).Nkind = N_Not_In);
3399 Set_List4_With_Parent (N, Val);
3400 end Set_Alternatives;
3402 procedure Set_Ancestor_Part
3403 (N : Node_Id; Val : Node_Id) is
3405 pragma Assert (False
3406 or else NT (N).Nkind = N_Extension_Aggregate);
3407 Set_Node3_With_Parent (N, Val);
3408 end Set_Ancestor_Part;
3410 procedure Set_Atomic_Sync_Required
3411 (N : Node_Id; Val : Boolean := True) is
3413 pragma Assert (False
3414 or else NT (N).Nkind = N_Expanded_Name
3415 or else NT (N).Nkind = N_Explicit_Dereference
3416 or else NT (N).Nkind = N_Identifier
3417 or else NT (N).Nkind = N_Indexed_Component
3418 or else NT (N).Nkind = N_Selected_Component);
3419 Set_Flag14 (N, Val);
3420 end Set_Atomic_Sync_Required;
3422 procedure Set_Array_Aggregate
3423 (N : Node_Id; Val : Node_Id) is
3425 pragma Assert (False
3426 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3427 Set_Node3_With_Parent (N, Val);
3428 end Set_Array_Aggregate;
3430 procedure Set_Aspect_Rep_Item
3431 (N : Node_Id; Val : Node_Id) is
3433 pragma Assert (False
3434 or else NT (N).Nkind = N_Aspect_Specification);
3436 end Set_Aspect_Rep_Item;
3438 procedure Set_Assignment_OK
3439 (N : Node_Id; Val : Boolean := True) is
3441 pragma Assert (False
3442 or else NT (N).Nkind = N_Object_Declaration
3443 or else NT (N).Nkind in N_Subexpr);
3444 Set_Flag15 (N, Val);
3445 end Set_Assignment_OK;
3447 procedure Set_Associated_Node
3448 (N : Node_Id; Val : Node_Id) is
3450 pragma Assert (False
3451 or else NT (N).Nkind in N_Has_Entity
3452 or else NT (N).Nkind = N_Aggregate
3453 or else NT (N).Nkind = N_Extension_Aggregate
3454 or else NT (N).Nkind = N_Selected_Component);
3455 Set_Node4 (N, Val); -- semantic field, no parent set
3456 end Set_Associated_Node;
3458 procedure Set_At_End_Proc
3459 (N : Node_Id; Val : Node_Id) is
3461 pragma Assert (False
3462 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3464 end Set_At_End_Proc;
3466 procedure Set_Attribute_Name
3467 (N : Node_Id; Val : Name_Id) is
3469 pragma Assert (False
3470 or else NT (N).Nkind = N_Attribute_Reference);
3472 end Set_Attribute_Name;
3474 procedure Set_Aux_Decls_Node
3475 (N : Node_Id; Val : Node_Id) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Compilation_Unit);
3479 Set_Node5_With_Parent (N, Val);
3480 end Set_Aux_Decls_Node;
3482 procedure Set_Backwards_OK
3483 (N : Node_Id; Val : Boolean := True) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Assignment_Statement);
3488 end Set_Backwards_OK;
3490 procedure Set_Bad_Is_Detected
3491 (N : Node_Id; Val : Boolean := True) is
3493 pragma Assert (False
3494 or else NT (N).Nkind = N_Subprogram_Body);
3495 Set_Flag15 (N, Val);
3496 end Set_Bad_Is_Detected;
3498 procedure Set_Body_Required
3499 (N : Node_Id; Val : Boolean := True) is
3501 pragma Assert (False
3502 or else NT (N).Nkind = N_Compilation_Unit);
3503 Set_Flag13 (N, Val);
3504 end Set_Body_Required;
3506 procedure Set_Body_To_Inline
3507 (N : Node_Id; Val : Node_Id) is
3509 pragma Assert (False
3510 or else NT (N).Nkind = N_Subprogram_Declaration);
3512 end Set_Body_To_Inline;
3514 procedure Set_Box_Present
3515 (N : Node_Id; Val : Boolean := True) is
3517 pragma Assert (False
3518 or else NT (N).Nkind = N_Component_Association
3519 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3520 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3521 or else NT (N).Nkind = N_Formal_Package_Declaration
3522 or else NT (N).Nkind = N_Generic_Association);
3523 Set_Flag15 (N, Val);
3524 end Set_Box_Present;
3526 procedure Set_By_Ref
3527 (N : Node_Id; Val : Boolean := True) is
3529 pragma Assert (False
3530 or else NT (N).Nkind = N_Extended_Return_Statement
3531 or else NT (N).Nkind = N_Simple_Return_Statement);
3535 procedure Set_Char_Literal_Value
3536 (N : Node_Id; Val : Uint) is
3538 pragma Assert (False
3539 or else NT (N).Nkind = N_Character_Literal);
3541 end Set_Char_Literal_Value;
3544 (N : Node_Id; Val : Name_Id) is
3546 pragma Assert (False
3547 or else NT (N).Nkind in N_Has_Chars);
3551 procedure Set_Check_Address_Alignment
3552 (N : Node_Id; Val : Boolean := True) is
3554 pragma Assert (False
3555 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3556 Set_Flag11 (N, Val);
3557 end Set_Check_Address_Alignment;
3559 procedure Set_Choice_Parameter
3560 (N : Node_Id; Val : Node_Id) is
3562 pragma Assert (False
3563 or else NT (N).Nkind = N_Exception_Handler);
3564 Set_Node2_With_Parent (N, Val);
3565 end Set_Choice_Parameter;
3567 procedure Set_Choices
3568 (N : Node_Id; Val : List_Id) is
3570 pragma Assert (False
3571 or else NT (N).Nkind = N_Component_Association);
3572 Set_List1_With_Parent (N, Val);
3575 procedure Set_Class_Present
3576 (N : Node_Id; Val : Boolean := True) is
3578 pragma Assert (False
3579 or else NT (N).Nkind = N_Aspect_Specification
3580 or else NT (N).Nkind = N_Pragma);
3582 end Set_Class_Present;
3584 procedure Set_Classifications
3585 (N : Node_Id; Val : Node_Id) is
3587 pragma Assert (False
3588 or else NT (N).Nkind = N_Contract);
3589 Set_Node3 (N, Val); -- semantic field, no parent set
3590 end Set_Classifications;
3592 procedure Set_Comes_From_Extended_Return_Statement
3593 (N : Node_Id; Val : Boolean := True) is
3595 pragma Assert (False
3596 or else NT (N).Nkind = N_Simple_Return_Statement);
3597 Set_Flag18 (N, Val);
3598 end Set_Comes_From_Extended_Return_Statement;
3600 procedure Set_Compile_Time_Known_Aggregate
3601 (N : Node_Id; Val : Boolean := True) is
3603 pragma Assert (False
3604 or else NT (N).Nkind = N_Aggregate);
3605 Set_Flag18 (N, Val);
3606 end Set_Compile_Time_Known_Aggregate;
3608 procedure Set_Component_Associations
3609 (N : Node_Id; Val : List_Id) is
3611 pragma Assert (False
3612 or else NT (N).Nkind = N_Aggregate
3613 or else NT (N).Nkind = N_Extension_Aggregate);
3614 Set_List2_With_Parent (N, Val);
3615 end Set_Component_Associations;
3617 procedure Set_Component_Clauses
3618 (N : Node_Id; Val : List_Id) is
3620 pragma Assert (False
3621 or else NT (N).Nkind = N_Record_Representation_Clause);
3622 Set_List3_With_Parent (N, Val);
3623 end Set_Component_Clauses;
3625 procedure Set_Component_Definition
3626 (N : Node_Id; Val : Node_Id) is
3628 pragma Assert (False
3629 or else NT (N).Nkind = N_Component_Declaration
3630 or else NT (N).Nkind = N_Constrained_Array_Definition
3631 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3632 Set_Node4_With_Parent (N, Val);
3633 end Set_Component_Definition;
3635 procedure Set_Component_Items
3636 (N : Node_Id; Val : List_Id) is
3638 pragma Assert (False
3639 or else NT (N).Nkind = N_Component_List);
3640 Set_List3_With_Parent (N, Val);
3641 end Set_Component_Items;
3643 procedure Set_Component_List
3644 (N : Node_Id; Val : Node_Id) is
3646 pragma Assert (False
3647 or else NT (N).Nkind = N_Record_Definition
3648 or else NT (N).Nkind = N_Variant);
3649 Set_Node1_With_Parent (N, Val);
3650 end Set_Component_List;
3652 procedure Set_Component_Name
3653 (N : Node_Id; Val : Node_Id) is
3655 pragma Assert (False
3656 or else NT (N).Nkind = N_Component_Clause);
3657 Set_Node1_With_Parent (N, Val);
3658 end Set_Component_Name;
3660 procedure Set_Componentwise_Assignment
3661 (N : Node_Id; Val : Boolean := True) is
3663 pragma Assert (False
3664 or else NT (N).Nkind = N_Assignment_Statement);
3665 Set_Flag14 (N, Val);
3666 end Set_Componentwise_Assignment;
3668 procedure Set_Condition
3669 (N : Node_Id; Val : Node_Id) is
3671 pragma Assert (False
3672 or else NT (N).Nkind = N_Accept_Alternative
3673 or else NT (N).Nkind = N_Delay_Alternative
3674 or else NT (N).Nkind = N_Elsif_Part
3675 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3676 or else NT (N).Nkind = N_Exit_Statement
3677 or else NT (N).Nkind = N_If_Statement
3678 or else NT (N).Nkind = N_Iteration_Scheme
3679 or else NT (N).Nkind = N_Quantified_Expression
3680 or else NT (N).Nkind = N_Raise_Constraint_Error
3681 or else NT (N).Nkind = N_Raise_Program_Error
3682 or else NT (N).Nkind = N_Raise_Storage_Error
3683 or else NT (N).Nkind = N_Terminate_Alternative);
3684 Set_Node1_With_Parent (N, Val);
3687 procedure Set_Condition_Actions
3688 (N : Node_Id; Val : List_Id) is
3690 pragma Assert (False
3691 or else NT (N).Nkind = N_Elsif_Part
3692 or else NT (N).Nkind = N_Iteration_Scheme);
3693 Set_List3 (N, Val); -- semantic field, no parent set
3694 end Set_Condition_Actions;
3696 procedure Set_Config_Pragmas
3697 (N : Node_Id; Val : List_Id) is
3699 pragma Assert (False
3700 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3701 Set_List4_With_Parent (N, Val);
3702 end Set_Config_Pragmas;
3704 procedure Set_Constant_Present
3705 (N : Node_Id; Val : Boolean := True) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Access_Definition
3709 or else NT (N).Nkind = N_Access_To_Object_Definition
3710 or else NT (N).Nkind = N_Object_Declaration);
3711 Set_Flag17 (N, Val);
3712 end Set_Constant_Present;
3714 procedure Set_Constraint
3715 (N : Node_Id; Val : Node_Id) is
3717 pragma Assert (False
3718 or else NT (N).Nkind = N_Subtype_Indication);
3719 Set_Node3_With_Parent (N, Val);
3722 procedure Set_Constraints
3723 (N : Node_Id; Val : List_Id) is
3725 pragma Assert (False
3726 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3727 Set_List1_With_Parent (N, Val);
3728 end Set_Constraints;
3730 procedure Set_Context_Installed
3731 (N : Node_Id; Val : Boolean := True) is
3733 pragma Assert (False
3734 or else NT (N).Nkind = N_With_Clause);
3735 Set_Flag13 (N, Val);
3736 end Set_Context_Installed;
3738 procedure Set_Context_Items
3739 (N : Node_Id; Val : List_Id) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Compilation_Unit);
3743 Set_List1_With_Parent (N, Val);
3744 end Set_Context_Items;
3746 procedure Set_Context_Pending
3747 (N : Node_Id; Val : Boolean := True) is
3749 pragma Assert (False
3750 or else NT (N).Nkind = N_Compilation_Unit);
3751 Set_Flag16 (N, Val);
3752 end Set_Context_Pending;
3754 procedure Set_Contract_Test_Cases
3755 (N : Node_Id; Val : Node_Id) is
3757 pragma Assert (False
3758 or else NT (N).Nkind = N_Contract);
3759 Set_Node2 (N, Val); -- semantic field, no parent set
3760 end Set_Contract_Test_Cases;
3762 procedure Set_Controlling_Argument
3763 (N : Node_Id; Val : Node_Id) is
3765 pragma Assert (False
3766 or else NT (N).Nkind = N_Function_Call
3767 or else NT (N).Nkind = N_Procedure_Call_Statement);
3768 Set_Node1 (N, Val); -- semantic field, no parent set
3769 end Set_Controlling_Argument;
3771 procedure Set_Conversion_OK
3772 (N : Node_Id; Val : Boolean := True) is
3774 pragma Assert (False
3775 or else NT (N).Nkind = N_Type_Conversion);
3776 Set_Flag14 (N, Val);
3777 end Set_Conversion_OK;
3779 procedure Set_Convert_To_Return_False
3780 (N : Node_Id; Val : Boolean := True) is
3782 pragma Assert (False
3783 or else NT (N).Nkind = N_Raise_Expression);
3784 Set_Flag13 (N, Val);
3785 end Set_Convert_To_Return_False;
3787 procedure Set_Corresponding_Aspect
3788 (N : Node_Id; Val : Node_Id) is
3790 pragma Assert (False
3791 or else NT (N).Nkind = N_Pragma);
3793 end Set_Corresponding_Aspect;
3795 procedure Set_Corresponding_Body
3796 (N : Node_Id; Val : Node_Id) is
3798 pragma Assert (False
3799 or else NT (N).Nkind = N_Entry_Declaration
3800 or else NT (N).Nkind = N_Generic_Package_Declaration
3801 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3802 or else NT (N).Nkind = N_Package_Body_Stub
3803 or else NT (N).Nkind = N_Package_Declaration
3804 or else NT (N).Nkind = N_Protected_Body_Stub
3805 or else NT (N).Nkind = N_Protected_Type_Declaration
3806 or else NT (N).Nkind = N_Subprogram_Body_Stub
3807 or else NT (N).Nkind = N_Subprogram_Declaration
3808 or else NT (N).Nkind = N_Task_Body_Stub
3809 or else NT (N).Nkind = N_Task_Type_Declaration);
3810 Set_Node5 (N, Val); -- semantic field, no parent set
3811 end Set_Corresponding_Body;
3813 procedure Set_Corresponding_Formal_Spec
3814 (N : Node_Id; Val : Node_Id) is
3816 pragma Assert (False
3817 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3818 Set_Node3 (N, Val); -- semantic field, no parent set
3819 end Set_Corresponding_Formal_Spec;
3821 procedure Set_Corresponding_Generic_Association
3822 (N : Node_Id; Val : Node_Id) is
3824 pragma Assert (False
3825 or else NT (N).Nkind = N_Object_Declaration
3826 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3827 Set_Node5 (N, Val); -- semantic field, no parent set
3828 end Set_Corresponding_Generic_Association;
3830 procedure Set_Corresponding_Integer_Value
3831 (N : Node_Id; Val : Uint) is
3833 pragma Assert (False
3834 or else NT (N).Nkind = N_Real_Literal);
3835 Set_Uint4 (N, Val); -- semantic field, no parent set
3836 end Set_Corresponding_Integer_Value;
3838 procedure Set_Corresponding_Spec
3839 (N : Node_Id; Val : Node_Id) is
3841 pragma Assert (False
3842 or else NT (N).Nkind = N_Expression_Function
3843 or else NT (N).Nkind = N_Package_Body
3844 or else NT (N).Nkind = N_Protected_Body
3845 or else NT (N).Nkind = N_Subprogram_Body
3846 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3847 or else NT (N).Nkind = N_Task_Body
3848 or else NT (N).Nkind = N_With_Clause);
3849 Set_Node5 (N, Val); -- semantic field, no parent set
3850 end Set_Corresponding_Spec;
3852 procedure Set_Corresponding_Spec_Of_Stub
3853 (N : Node_Id; Val : Entity_Id) is
3855 pragma Assert (False
3856 or else NT (N).Nkind = N_Package_Body_Stub
3857 or else NT (N).Nkind = N_Protected_Body_Stub
3858 or else NT (N).Nkind = N_Subprogram_Body_Stub
3859 or else NT (N).Nkind = N_Task_Body_Stub);
3860 Set_Node2 (N, Val); -- semantic field, no parent set
3861 end Set_Corresponding_Spec_Of_Stub;
3863 procedure Set_Corresponding_Stub
3864 (N : Node_Id; Val : Node_Id) is
3866 pragma Assert (False
3867 or else NT (N).Nkind = N_Subunit);
3869 end Set_Corresponding_Stub;
3871 procedure Set_Dcheck_Function
3872 (N : Node_Id; Val : Entity_Id) is
3874 pragma Assert (False
3875 or else NT (N).Nkind = N_Variant);
3876 Set_Node5 (N, Val); -- semantic field, no parent set
3877 end Set_Dcheck_Function;
3879 procedure Set_Declarations
3880 (N : Node_Id; Val : List_Id) is
3882 pragma Assert (False
3883 or else NT (N).Nkind = N_Accept_Statement
3884 or else NT (N).Nkind = N_Block_Statement
3885 or else NT (N).Nkind = N_Compilation_Unit_Aux
3886 or else NT (N).Nkind = N_Entry_Body
3887 or else NT (N).Nkind = N_Package_Body
3888 or else NT (N).Nkind = N_Protected_Body
3889 or else NT (N).Nkind = N_Subprogram_Body
3890 or else NT (N).Nkind = N_Task_Body);
3891 Set_List2_With_Parent (N, Val);
3892 end Set_Declarations;
3894 procedure Set_Default_Expression
3895 (N : Node_Id; Val : Node_Id) is
3897 pragma Assert (False
3898 or else NT (N).Nkind = N_Formal_Object_Declaration
3899 or else NT (N).Nkind = N_Parameter_Specification);
3900 Set_Node5 (N, Val); -- semantic field, no parent set
3901 end Set_Default_Expression;
3903 procedure Set_Default_Storage_Pool
3904 (N : Node_Id; Val : Node_Id) is
3906 pragma Assert (False
3907 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3908 Set_Node3 (N, Val); -- semantic field, no parent set
3909 end Set_Default_Storage_Pool;
3911 procedure Set_Default_Name
3912 (N : Node_Id; Val : Node_Id) is
3914 pragma Assert (False
3915 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3916 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3917 Set_Node2_With_Parent (N, Val);
3918 end Set_Default_Name;
3920 procedure Set_Defining_Identifier
3921 (N : Node_Id; Val : Entity_Id) is
3923 pragma Assert (False
3924 or else NT (N).Nkind = N_Component_Declaration
3925 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3926 or else NT (N).Nkind = N_Discriminant_Specification
3927 or else NT (N).Nkind = N_Entry_Body
3928 or else NT (N).Nkind = N_Entry_Declaration
3929 or else NT (N).Nkind = N_Entry_Index_Specification
3930 or else NT (N).Nkind = N_Exception_Declaration
3931 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3932 or else NT (N).Nkind = N_Formal_Object_Declaration
3933 or else NT (N).Nkind = N_Formal_Package_Declaration
3934 or else NT (N).Nkind = N_Formal_Type_Declaration
3935 or else NT (N).Nkind = N_Full_Type_Declaration
3936 or else NT (N).Nkind = N_Implicit_Label_Declaration
3937 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3938 or else NT (N).Nkind = N_Iterator_Specification
3939 or else NT (N).Nkind = N_Loop_Parameter_Specification
3940 or else NT (N).Nkind = N_Number_Declaration
3941 or else NT (N).Nkind = N_Object_Declaration
3942 or else NT (N).Nkind = N_Object_Renaming_Declaration
3943 or else NT (N).Nkind = N_Package_Body_Stub
3944 or else NT (N).Nkind = N_Parameter_Specification
3945 or else NT (N).Nkind = N_Private_Extension_Declaration
3946 or else NT (N).Nkind = N_Private_Type_Declaration
3947 or else NT (N).Nkind = N_Protected_Body
3948 or else NT (N).Nkind = N_Protected_Body_Stub
3949 or else NT (N).Nkind = N_Protected_Type_Declaration
3950 or else NT (N).Nkind = N_Single_Protected_Declaration
3951 or else NT (N).Nkind = N_Single_Task_Declaration
3952 or else NT (N).Nkind = N_Subtype_Declaration
3953 or else NT (N).Nkind = N_Task_Body
3954 or else NT (N).Nkind = N_Task_Body_Stub
3955 or else NT (N).Nkind = N_Task_Type_Declaration);
3956 Set_Node1_With_Parent (N, Val);
3957 end Set_Defining_Identifier;
3959 procedure Set_Defining_Unit_Name
3960 (N : Node_Id; Val : Node_Id) is
3962 pragma Assert (False
3963 or else NT (N).Nkind = N_Function_Instantiation
3964 or else NT (N).Nkind = N_Function_Specification
3965 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3966 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3967 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3968 or else NT (N).Nkind = N_Package_Body
3969 or else NT (N).Nkind = N_Package_Instantiation
3970 or else NT (N).Nkind = N_Package_Renaming_Declaration
3971 or else NT (N).Nkind = N_Package_Specification
3972 or else NT (N).Nkind = N_Procedure_Instantiation
3973 or else NT (N).Nkind = N_Procedure_Specification);
3974 Set_Node1_With_Parent (N, Val);
3975 end Set_Defining_Unit_Name;
3977 procedure Set_Delay_Alternative
3978 (N : Node_Id; Val : Node_Id) is
3980 pragma Assert (False
3981 or else NT (N).Nkind = N_Timed_Entry_Call);
3982 Set_Node4_With_Parent (N, Val);
3983 end Set_Delay_Alternative;
3985 procedure Set_Delay_Statement
3986 (N : Node_Id; Val : Node_Id) is
3988 pragma Assert (False
3989 or else NT (N).Nkind = N_Delay_Alternative);
3990 Set_Node2_With_Parent (N, Val);
3991 end Set_Delay_Statement;
3993 procedure Set_Delta_Expression
3994 (N : Node_Id; Val : Node_Id) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3998 or else NT (N).Nkind = N_Delta_Constraint
3999 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4000 Set_Node3_With_Parent (N, Val);
4001 end Set_Delta_Expression;
4003 procedure Set_Digits_Expression
4004 (N : Node_Id; Val : Node_Id) is
4006 pragma Assert (False
4007 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4008 or else NT (N).Nkind = N_Digits_Constraint
4009 or else NT (N).Nkind = N_Floating_Point_Definition);
4010 Set_Node2_With_Parent (N, Val);
4011 end Set_Digits_Expression;
4013 procedure Set_Discr_Check_Funcs_Built
4014 (N : Node_Id; Val : Boolean := True) is
4016 pragma Assert (False
4017 or else NT (N).Nkind = N_Full_Type_Declaration);
4018 Set_Flag11 (N, Val);
4019 end Set_Discr_Check_Funcs_Built;
4021 procedure Set_Discrete_Choices
4022 (N : Node_Id; Val : List_Id) is
4024 pragma Assert (False
4025 or else NT (N).Nkind = N_Case_Expression_Alternative
4026 or else NT (N).Nkind = N_Case_Statement_Alternative
4027 or else NT (N).Nkind = N_Variant);
4028 Set_List4_With_Parent (N, Val);
4029 end Set_Discrete_Choices;
4031 procedure Set_Discrete_Range
4032 (N : Node_Id; Val : Node_Id) is
4034 pragma Assert (False
4035 or else NT (N).Nkind = N_Slice);
4036 Set_Node4_With_Parent (N, Val);
4037 end Set_Discrete_Range;
4039 procedure Set_Discrete_Subtype_Definition
4040 (N : Node_Id; Val : Node_Id) is
4042 pragma Assert (False
4043 or else NT (N).Nkind = N_Entry_Declaration
4044 or else NT (N).Nkind = N_Entry_Index_Specification
4045 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4046 Set_Node4_With_Parent (N, Val);
4047 end Set_Discrete_Subtype_Definition;
4049 procedure Set_Discrete_Subtype_Definitions
4050 (N : Node_Id; Val : List_Id) is
4052 pragma Assert (False
4053 or else NT (N).Nkind = N_Constrained_Array_Definition);
4054 Set_List2_With_Parent (N, Val);
4055 end Set_Discrete_Subtype_Definitions;
4057 procedure Set_Discriminant_Specifications
4058 (N : Node_Id; Val : List_Id) is
4060 pragma Assert (False
4061 or else NT (N).Nkind = N_Formal_Type_Declaration
4062 or else NT (N).Nkind = N_Full_Type_Declaration
4063 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4064 or else NT (N).Nkind = N_Private_Extension_Declaration
4065 or else NT (N).Nkind = N_Private_Type_Declaration
4066 or else NT (N).Nkind = N_Protected_Type_Declaration
4067 or else NT (N).Nkind = N_Task_Type_Declaration);
4068 Set_List4_With_Parent (N, Val);
4069 end Set_Discriminant_Specifications;
4071 procedure Set_Discriminant_Type
4072 (N : Node_Id; Val : Node_Id) is
4074 pragma Assert (False
4075 or else NT (N).Nkind = N_Discriminant_Specification);
4076 Set_Node5_With_Parent (N, Val);
4077 end Set_Discriminant_Type;
4079 procedure Set_Do_Accessibility_Check
4080 (N : Node_Id; Val : Boolean := True) is
4082 pragma Assert (False
4083 or else NT (N).Nkind = N_Parameter_Specification);
4084 Set_Flag13 (N, Val);
4085 end Set_Do_Accessibility_Check;
4087 procedure Set_Do_Discriminant_Check
4088 (N : Node_Id; Val : Boolean := True) is
4090 pragma Assert (False
4091 or else NT (N).Nkind = N_Assignment_Statement
4092 or else NT (N).Nkind = N_Selected_Component
4093 or else NT (N).Nkind = N_Type_Conversion);
4095 end Set_Do_Discriminant_Check;
4097 procedure Set_Do_Division_Check
4098 (N : Node_Id; Val : Boolean := True) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_Op_Divide
4102 or else NT (N).Nkind = N_Op_Mod
4103 or else NT (N).Nkind = N_Op_Rem);
4104 Set_Flag13 (N, Val);
4105 end Set_Do_Division_Check;
4107 procedure Set_Do_Length_Check
4108 (N : Node_Id; Val : Boolean := True) is
4110 pragma Assert (False
4111 or else NT (N).Nkind = N_Assignment_Statement
4112 or else NT (N).Nkind = N_Op_And
4113 or else NT (N).Nkind = N_Op_Or
4114 or else NT (N).Nkind = N_Op_Xor
4115 or else NT (N).Nkind = N_Type_Conversion);
4117 end Set_Do_Length_Check;
4119 procedure Set_Do_Overflow_Check
4120 (N : Node_Id; Val : Boolean := True) is
4122 pragma Assert (False
4123 or else NT (N).Nkind in N_Op
4124 or else NT (N).Nkind = N_Attribute_Reference
4125 or else NT (N).Nkind = N_Case_Expression
4126 or else NT (N).Nkind = N_If_Expression
4127 or else NT (N).Nkind = N_Type_Conversion);
4128 Set_Flag17 (N, Val);
4129 end Set_Do_Overflow_Check;
4131 procedure Set_Do_Range_Check
4132 (N : Node_Id; Val : Boolean := True) is
4134 pragma Assert (False
4135 or else NT (N).Nkind in N_Subexpr);
4137 end Set_Do_Range_Check;
4139 procedure Set_Do_Storage_Check
4140 (N : Node_Id; Val : Boolean := True) is
4142 pragma Assert (False
4143 or else NT (N).Nkind = N_Allocator
4144 or else NT (N).Nkind = N_Subprogram_Body);
4145 Set_Flag17 (N, Val);
4146 end Set_Do_Storage_Check;
4148 procedure Set_Do_Tag_Check
4149 (N : Node_Id; Val : Boolean := True) is
4151 pragma Assert (False
4152 or else NT (N).Nkind = N_Assignment_Statement
4153 or else NT (N).Nkind = N_Extended_Return_Statement
4154 or else NT (N).Nkind = N_Function_Call
4155 or else NT (N).Nkind = N_Procedure_Call_Statement
4156 or else NT (N).Nkind = N_Simple_Return_Statement
4157 or else NT (N).Nkind = N_Type_Conversion);
4158 Set_Flag13 (N, Val);
4159 end Set_Do_Tag_Check;
4161 procedure Set_Elaborate_All_Desirable
4162 (N : Node_Id; Val : Boolean := True) is
4164 pragma Assert (False
4165 or else NT (N).Nkind = N_With_Clause);
4167 end Set_Elaborate_All_Desirable;
4169 procedure Set_Elaborate_All_Present
4170 (N : Node_Id; Val : Boolean := True) is
4172 pragma Assert (False
4173 or else NT (N).Nkind = N_With_Clause);
4174 Set_Flag14 (N, Val);
4175 end Set_Elaborate_All_Present;
4177 procedure Set_Elaborate_Desirable
4178 (N : Node_Id; Val : Boolean := True) is
4180 pragma Assert (False
4181 or else NT (N).Nkind = N_With_Clause);
4182 Set_Flag11 (N, Val);
4183 end Set_Elaborate_Desirable;
4185 procedure Set_Elaborate_Present
4186 (N : Node_Id; Val : Boolean := True) is
4188 pragma Assert (False
4189 or else NT (N).Nkind = N_With_Clause);
4191 end Set_Elaborate_Present;
4193 procedure Set_Elaboration_Boolean
4194 (N : Node_Id; Val : Node_Id) is
4196 pragma Assert (False
4197 or else NT (N).Nkind = N_Function_Specification
4198 or else NT (N).Nkind = N_Procedure_Specification);
4200 end Set_Elaboration_Boolean;
4202 procedure Set_Else_Actions
4203 (N : Node_Id; Val : List_Id) is
4205 pragma Assert (False
4206 or else NT (N).Nkind = N_If_Expression);
4207 Set_List3 (N, Val); -- semantic field, no parent set
4208 end Set_Else_Actions;
4210 procedure Set_Else_Statements
4211 (N : Node_Id; Val : List_Id) is
4213 pragma Assert (False
4214 or else NT (N).Nkind = N_Conditional_Entry_Call
4215 or else NT (N).Nkind = N_If_Statement
4216 or else NT (N).Nkind = N_Selective_Accept);
4217 Set_List4_With_Parent (N, Val);
4218 end Set_Else_Statements;
4220 procedure Set_Elsif_Parts
4221 (N : Node_Id; Val : List_Id) is
4223 pragma Assert (False
4224 or else NT (N).Nkind = N_If_Statement);
4225 Set_List3_With_Parent (N, Val);
4226 end Set_Elsif_Parts;
4228 procedure Set_Enclosing_Variant
4229 (N : Node_Id; Val : Node_Id) is
4231 pragma Assert (False
4232 or else NT (N).Nkind = N_Variant);
4233 Set_Node2 (N, Val); -- semantic field, no parent set
4234 end Set_Enclosing_Variant;
4236 procedure Set_End_Label
4237 (N : Node_Id; Val : Node_Id) is
4239 pragma Assert (False
4240 or else NT (N).Nkind = N_Enumeration_Type_Definition
4241 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4242 or else NT (N).Nkind = N_Loop_Statement
4243 or else NT (N).Nkind = N_Package_Specification
4244 or else NT (N).Nkind = N_Protected_Body
4245 or else NT (N).Nkind = N_Protected_Definition
4246 or else NT (N).Nkind = N_Record_Definition
4247 or else NT (N).Nkind = N_Task_Definition);
4248 Set_Node4_With_Parent (N, Val);
4251 procedure Set_End_Span
4252 (N : Node_Id; Val : Uint) is
4254 pragma Assert (False
4255 or else NT (N).Nkind = N_Case_Statement
4256 or else NT (N).Nkind = N_If_Statement);
4260 procedure Set_Entity
4261 (N : Node_Id; Val : Node_Id) is
4263 pragma Assert (False
4264 or else NT (N).Nkind in N_Has_Entity
4265 or else NT (N).Nkind = N_Aspect_Specification
4266 or else NT (N).Nkind = N_Attribute_Definition_Clause
4267 or else NT (N).Nkind = N_Freeze_Entity
4268 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4269 Set_Node4 (N, Val); -- semantic field, no parent set
4272 procedure Set_Entry_Body_Formal_Part
4273 (N : Node_Id; Val : Node_Id) is
4275 pragma Assert (False
4276 or else NT (N).Nkind = N_Entry_Body);
4277 Set_Node5_With_Parent (N, Val);
4278 end Set_Entry_Body_Formal_Part;
4280 procedure Set_Entry_Call_Alternative
4281 (N : Node_Id; Val : Node_Id) is
4283 pragma Assert (False
4284 or else NT (N).Nkind = N_Conditional_Entry_Call
4285 or else NT (N).Nkind = N_Timed_Entry_Call);
4286 Set_Node1_With_Parent (N, Val);
4287 end Set_Entry_Call_Alternative;
4289 procedure Set_Entry_Call_Statement
4290 (N : Node_Id; Val : Node_Id) is
4292 pragma Assert (False
4293 or else NT (N).Nkind = N_Entry_Call_Alternative);
4294 Set_Node1_With_Parent (N, Val);
4295 end Set_Entry_Call_Statement;
4297 procedure Set_Entry_Direct_Name
4298 (N : Node_Id; Val : Node_Id) is
4300 pragma Assert (False
4301 or else NT (N).Nkind = N_Accept_Statement);
4302 Set_Node1_With_Parent (N, Val);
4303 end Set_Entry_Direct_Name;
4305 procedure Set_Entry_Index
4306 (N : Node_Id; Val : Node_Id) is
4308 pragma Assert (False
4309 or else NT (N).Nkind = N_Accept_Statement);
4310 Set_Node5_With_Parent (N, Val);
4311 end Set_Entry_Index;
4313 procedure Set_Entry_Index_Specification
4314 (N : Node_Id; Val : Node_Id) is
4316 pragma Assert (False
4317 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4318 Set_Node4_With_Parent (N, Val);
4319 end Set_Entry_Index_Specification;
4322 (N : Node_Id; Val : Node_Id) is
4324 pragma Assert (False
4325 or else NT (N).Nkind in N_Has_Etype);
4326 Set_Node5 (N, Val); -- semantic field, no parent set
4329 procedure Set_Exception_Choices
4330 (N : Node_Id; Val : List_Id) is
4332 pragma Assert (False
4333 or else NT (N).Nkind = N_Exception_Handler);
4334 Set_List4_With_Parent (N, Val);
4335 end Set_Exception_Choices;
4337 procedure Set_Exception_Handlers
4338 (N : Node_Id; Val : List_Id) is
4340 pragma Assert (False
4341 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4342 Set_List5_With_Parent (N, Val);
4343 end Set_Exception_Handlers;
4345 procedure Set_Exception_Junk
4346 (N : Node_Id; Val : Boolean := True) is
4348 pragma Assert (False
4349 or else NT (N).Nkind = N_Block_Statement
4350 or else NT (N).Nkind = N_Goto_Statement
4351 or else NT (N).Nkind = N_Label
4352 or else NT (N).Nkind = N_Object_Declaration
4353 or else NT (N).Nkind = N_Subtype_Declaration);
4355 end Set_Exception_Junk;
4357 procedure Set_Exception_Label
4358 (N : Node_Id; Val : Node_Id) is
4360 pragma Assert (False
4361 or else NT (N).Nkind = N_Exception_Handler
4362 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4363 or else NT (N).Nkind = N_Push_Program_Error_Label
4364 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4365 Set_Node5 (N, Val); -- semantic field, no parent set
4366 end Set_Exception_Label;
4368 procedure Set_Expansion_Delayed
4369 (N : Node_Id; Val : Boolean := True) is
4371 pragma Assert (False
4372 or else NT (N).Nkind = N_Aggregate
4373 or else NT (N).Nkind = N_Extension_Aggregate);
4374 Set_Flag11 (N, Val);
4375 end Set_Expansion_Delayed;
4377 procedure Set_Explicit_Actual_Parameter
4378 (N : Node_Id; Val : Node_Id) is
4380 pragma Assert (False
4381 or else NT (N).Nkind = N_Parameter_Association);
4382 Set_Node3_With_Parent (N, Val);
4383 end Set_Explicit_Actual_Parameter;
4385 procedure Set_Explicit_Generic_Actual_Parameter
4386 (N : Node_Id; Val : Node_Id) is
4388 pragma Assert (False
4389 or else NT (N).Nkind = N_Generic_Association);
4390 Set_Node1_With_Parent (N, Val);
4391 end Set_Explicit_Generic_Actual_Parameter;
4393 procedure Set_Expression
4394 (N : Node_Id; Val : Node_Id) is
4396 pragma Assert (False
4397 or else NT (N).Nkind = N_Allocator
4398 or else NT (N).Nkind = N_Aspect_Specification
4399 or else NT (N).Nkind = N_Assignment_Statement
4400 or else NT (N).Nkind = N_At_Clause
4401 or else NT (N).Nkind = N_Attribute_Definition_Clause
4402 or else NT (N).Nkind = N_Case_Expression
4403 or else NT (N).Nkind = N_Case_Expression_Alternative
4404 or else NT (N).Nkind = N_Case_Statement
4405 or else NT (N).Nkind = N_Code_Statement
4406 or else NT (N).Nkind = N_Component_Association
4407 or else NT (N).Nkind = N_Component_Declaration
4408 or else NT (N).Nkind = N_Delay_Relative_Statement
4409 or else NT (N).Nkind = N_Delay_Until_Statement
4410 or else NT (N).Nkind = N_Discriminant_Association
4411 or else NT (N).Nkind = N_Discriminant_Specification
4412 or else NT (N).Nkind = N_Exception_Declaration
4413 or else NT (N).Nkind = N_Expression_Function
4414 or else NT (N).Nkind = N_Expression_With_Actions
4415 or else NT (N).Nkind = N_Free_Statement
4416 or else NT (N).Nkind = N_Mod_Clause
4417 or else NT (N).Nkind = N_Modular_Type_Definition
4418 or else NT (N).Nkind = N_Number_Declaration
4419 or else NT (N).Nkind = N_Object_Declaration
4420 or else NT (N).Nkind = N_Parameter_Specification
4421 or else NT (N).Nkind = N_Pragma_Argument_Association
4422 or else NT (N).Nkind = N_Qualified_Expression
4423 or else NT (N).Nkind = N_Raise_Expression
4424 or else NT (N).Nkind = N_Raise_Statement
4425 or else NT (N).Nkind = N_Simple_Return_Statement
4426 or else NT (N).Nkind = N_Type_Conversion
4427 or else NT (N).Nkind = N_Unchecked_Expression
4428 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4429 Set_Node3_With_Parent (N, Val);
4432 procedure Set_Expressions
4433 (N : Node_Id; Val : List_Id) is
4435 pragma Assert (False
4436 or else NT (N).Nkind = N_Aggregate
4437 or else NT (N).Nkind = N_Attribute_Reference
4438 or else NT (N).Nkind = N_Extension_Aggregate
4439 or else NT (N).Nkind = N_If_Expression
4440 or else NT (N).Nkind = N_Indexed_Component);
4441 Set_List1_With_Parent (N, Val);
4442 end Set_Expressions;
4444 procedure Set_First_Bit
4445 (N : Node_Id; Val : Node_Id) is
4447 pragma Assert (False
4448 or else NT (N).Nkind = N_Component_Clause);
4449 Set_Node3_With_Parent (N, Val);
4452 procedure Set_First_Inlined_Subprogram
4453 (N : Node_Id; Val : Entity_Id) is
4455 pragma Assert (False
4456 or else NT (N).Nkind = N_Compilation_Unit);
4457 Set_Node3 (N, Val); -- semantic field, no parent set
4458 end Set_First_Inlined_Subprogram;
4460 procedure Set_First_Name
4461 (N : Node_Id; Val : Boolean := True) is
4463 pragma Assert (False
4464 or else NT (N).Nkind = N_With_Clause);
4468 procedure Set_First_Named_Actual
4469 (N : Node_Id; Val : Node_Id) is
4471 pragma Assert (False
4472 or else NT (N).Nkind = N_Entry_Call_Statement
4473 or else NT (N).Nkind = N_Function_Call
4474 or else NT (N).Nkind = N_Procedure_Call_Statement);
4475 Set_Node4 (N, Val); -- semantic field, no parent set
4476 end Set_First_Named_Actual;
4478 procedure Set_First_Real_Statement
4479 (N : Node_Id; Val : Node_Id) is
4481 pragma Assert (False
4482 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4483 Set_Node2 (N, Val); -- semantic field, no parent set
4484 end Set_First_Real_Statement;
4486 procedure Set_First_Subtype_Link
4487 (N : Node_Id; Val : Entity_Id) is
4489 pragma Assert (False
4490 or else NT (N).Nkind = N_Freeze_Entity);
4491 Set_Node5 (N, Val); -- semantic field, no parent set
4492 end Set_First_Subtype_Link;
4494 procedure Set_Float_Truncate
4495 (N : Node_Id; Val : Boolean := True) is
4497 pragma Assert (False
4498 or else NT (N).Nkind = N_Type_Conversion);
4499 Set_Flag11 (N, Val);
4500 end Set_Float_Truncate;
4502 procedure Set_Formal_Type_Definition
4503 (N : Node_Id; Val : Node_Id) is
4505 pragma Assert (False
4506 or else NT (N).Nkind = N_Formal_Type_Declaration);
4507 Set_Node3_With_Parent (N, Val);
4508 end Set_Formal_Type_Definition;
4510 procedure Set_Forwards_OK
4511 (N : Node_Id; Val : Boolean := True) is
4513 pragma Assert (False
4514 or else NT (N).Nkind = N_Assignment_Statement);
4516 end Set_Forwards_OK;
4518 procedure Set_From_Aspect_Specification
4519 (N : Node_Id; Val : Boolean := True) is
4521 pragma Assert (False
4522 or else NT (N).Nkind = N_Attribute_Definition_Clause
4523 or else NT (N).Nkind = N_Pragma);
4524 Set_Flag13 (N, Val);
4525 end Set_From_Aspect_Specification;
4527 procedure Set_From_At_End
4528 (N : Node_Id; Val : Boolean := True) is
4530 pragma Assert (False
4531 or else NT (N).Nkind = N_Raise_Statement);
4533 end Set_From_At_End;
4535 procedure Set_From_At_Mod
4536 (N : Node_Id; Val : Boolean := True) is
4538 pragma Assert (False
4539 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4541 end Set_From_At_Mod;
4543 procedure Set_From_Default
4544 (N : Node_Id; Val : Boolean := True) is
4546 pragma Assert (False
4547 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4549 end Set_From_Default;
4551 procedure Set_Generalized_Indexing
4552 (N : Node_Id; Val : Node_Id) is
4554 pragma Assert (False
4555 or else NT (N).Nkind = N_Indexed_Component);
4557 end Set_Generalized_Indexing;
4559 procedure Set_Generic_Associations
4560 (N : Node_Id; Val : List_Id) is
4562 pragma Assert (False
4563 or else NT (N).Nkind = N_Formal_Package_Declaration
4564 or else NT (N).Nkind = N_Function_Instantiation
4565 or else NT (N).Nkind = N_Package_Instantiation
4566 or else NT (N).Nkind = N_Procedure_Instantiation);
4567 Set_List3_With_Parent (N, Val);
4568 end Set_Generic_Associations;
4570 procedure Set_Generic_Formal_Declarations
4571 (N : Node_Id; Val : List_Id) is
4573 pragma Assert (False
4574 or else NT (N).Nkind = N_Generic_Package_Declaration
4575 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4576 Set_List2_With_Parent (N, Val);
4577 end Set_Generic_Formal_Declarations;
4579 procedure Set_Generic_Parent
4580 (N : Node_Id; Val : Node_Id) is
4582 pragma Assert (False
4583 or else NT (N).Nkind = N_Function_Specification
4584 or else NT (N).Nkind = N_Package_Specification
4585 or else NT (N).Nkind = N_Procedure_Specification);
4587 end Set_Generic_Parent;
4589 procedure Set_Generic_Parent_Type
4590 (N : Node_Id; Val : Node_Id) is
4592 pragma Assert (False
4593 or else NT (N).Nkind = N_Subtype_Declaration);
4595 end Set_Generic_Parent_Type;
4597 procedure Set_Handled_Statement_Sequence
4598 (N : Node_Id; Val : Node_Id) is
4600 pragma Assert (False
4601 or else NT (N).Nkind = N_Accept_Statement
4602 or else NT (N).Nkind = N_Block_Statement
4603 or else NT (N).Nkind = N_Entry_Body
4604 or else NT (N).Nkind = N_Extended_Return_Statement
4605 or else NT (N).Nkind = N_Package_Body
4606 or else NT (N).Nkind = N_Subprogram_Body
4607 or else NT (N).Nkind = N_Task_Body);
4608 Set_Node4_With_Parent (N, Val);
4609 end Set_Handled_Statement_Sequence;
4611 procedure Set_Handler_List_Entry
4612 (N : Node_Id; Val : Node_Id) is
4614 pragma Assert (False
4615 or else NT (N).Nkind = N_Object_Declaration);
4617 end Set_Handler_List_Entry;
4619 procedure Set_Has_Created_Identifier
4620 (N : Node_Id; Val : Boolean := True) is
4622 pragma Assert (False
4623 or else NT (N).Nkind = N_Block_Statement
4624 or else NT (N).Nkind = N_Loop_Statement);
4625 Set_Flag15 (N, Val);
4626 end Set_Has_Created_Identifier;
4628 procedure Set_Has_Dereference_Action
4629 (N : Node_Id; Val : Boolean := True) is
4631 pragma Assert (False
4632 or else NT (N).Nkind = N_Explicit_Dereference);
4633 Set_Flag13 (N, Val);
4634 end Set_Has_Dereference_Action;
4636 procedure Set_Has_Dynamic_Length_Check
4637 (N : Node_Id; Val : Boolean := True) is
4639 pragma Assert (False
4640 or else NT (N).Nkind in N_Subexpr);
4641 Set_Flag10 (N, Val);
4642 end Set_Has_Dynamic_Length_Check;
4644 procedure Set_Has_Dynamic_Range_Check
4645 (N : Node_Id; Val : Boolean := True) is
4647 pragma Assert (False
4648 or else NT (N).Nkind = N_Subtype_Declaration
4649 or else NT (N).Nkind in N_Subexpr);
4650 Set_Flag12 (N, Val);
4651 end Set_Has_Dynamic_Range_Check;
4653 procedure Set_Has_Init_Expression
4654 (N : Node_Id; Val : Boolean := True) is
4656 pragma Assert (False
4657 or else NT (N).Nkind = N_Object_Declaration);
4658 Set_Flag14 (N, Val);
4659 end Set_Has_Init_Expression;
4661 procedure Set_Has_Local_Raise
4662 (N : Node_Id; Val : Boolean := True) is
4664 pragma Assert (False
4665 or else NT (N).Nkind = N_Exception_Handler);
4667 end Set_Has_Local_Raise;
4669 procedure Set_Has_No_Elaboration_Code
4670 (N : Node_Id; Val : Boolean := True) is
4672 pragma Assert (False
4673 or else NT (N).Nkind = N_Compilation_Unit);
4674 Set_Flag17 (N, Val);
4675 end Set_Has_No_Elaboration_Code;
4677 procedure Set_Has_Pragma_Suppress_All
4678 (N : Node_Id; Val : Boolean := True) is
4680 pragma Assert (False
4681 or else NT (N).Nkind = N_Compilation_Unit);
4682 Set_Flag14 (N, Val);
4683 end Set_Has_Pragma_Suppress_All;
4685 procedure Set_Has_Private_View
4686 (N : Node_Id; Val : Boolean := True) is
4688 pragma Assert (False
4689 or else NT (N).Nkind in N_Op
4690 or else NT (N).Nkind = N_Character_Literal
4691 or else NT (N).Nkind = N_Expanded_Name
4692 or else NT (N).Nkind = N_Identifier
4693 or else NT (N).Nkind = N_Operator_Symbol);
4694 Set_Flag11 (N, Val);
4695 end Set_Has_Private_View;
4697 procedure Set_Has_Relative_Deadline_Pragma
4698 (N : Node_Id; Val : Boolean := True) is
4700 pragma Assert (False
4701 or else NT (N).Nkind = N_Subprogram_Body
4702 or else NT (N).Nkind = N_Task_Definition);
4704 end Set_Has_Relative_Deadline_Pragma;
4706 procedure Set_Has_Self_Reference
4707 (N : Node_Id; Val : Boolean := True) is
4709 pragma Assert (False
4710 or else NT (N).Nkind = N_Aggregate
4711 or else NT (N).Nkind = N_Extension_Aggregate);
4712 Set_Flag13 (N, Val);
4713 end Set_Has_Self_Reference;
4715 procedure Set_Has_SP_Choice
4716 (N : Node_Id; Val : Boolean := True) is
4718 pragma Assert (False
4719 or else NT (N).Nkind = N_Case_Expression_Alternative
4720 or else NT (N).Nkind = N_Case_Statement_Alternative
4721 or else NT (N).Nkind = N_Variant);
4722 Set_Flag15 (N, Val);
4723 end Set_Has_SP_Choice;
4725 procedure Set_Has_Storage_Size_Pragma
4726 (N : Node_Id; Val : Boolean := True) is
4728 pragma Assert (False
4729 or else NT (N).Nkind = N_Task_Definition);
4731 end Set_Has_Storage_Size_Pragma;
4733 procedure Set_Has_Wide_Character
4734 (N : Node_Id; Val : Boolean := True) is
4736 pragma Assert (False
4737 or else NT (N).Nkind = N_String_Literal);
4738 Set_Flag11 (N, Val);
4739 end Set_Has_Wide_Character;
4741 procedure Set_Has_Wide_Wide_Character
4742 (N : Node_Id; Val : Boolean := True) is
4744 pragma Assert (False
4745 or else NT (N).Nkind = N_String_Literal);
4746 Set_Flag13 (N, Val);
4747 end Set_Has_Wide_Wide_Character;
4749 procedure Set_Header_Size_Added
4750 (N : Node_Id; Val : Boolean := True) is
4752 pragma Assert (False
4753 or else NT (N).Nkind = N_Attribute_Reference);
4754 Set_Flag11 (N, Val);
4755 end Set_Header_Size_Added;
4757 procedure Set_Hidden_By_Use_Clause
4758 (N : Node_Id; Val : Elist_Id) is
4760 pragma Assert (False
4761 or else NT (N).Nkind = N_Use_Package_Clause
4762 or else NT (N).Nkind = N_Use_Type_Clause);
4763 Set_Elist4 (N, Val);
4764 end Set_Hidden_By_Use_Clause;
4766 procedure Set_High_Bound
4767 (N : Node_Id; Val : Node_Id) is
4769 pragma Assert (False
4770 or else NT (N).Nkind = N_Range
4771 or else NT (N).Nkind = N_Real_Range_Specification
4772 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4773 Set_Node2_With_Parent (N, Val);
4776 procedure Set_Identifier
4777 (N : Node_Id; Val : Node_Id) is
4779 pragma Assert (False
4780 or else NT (N).Nkind = N_Aspect_Specification
4781 or else NT (N).Nkind = N_At_Clause
4782 or else NT (N).Nkind = N_Block_Statement
4783 or else NT (N).Nkind = N_Designator
4784 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4785 or else NT (N).Nkind = N_Label
4786 or else NT (N).Nkind = N_Loop_Statement
4787 or else NT (N).Nkind = N_Record_Representation_Clause);
4788 Set_Node1_With_Parent (N, Val);
4791 procedure Set_Implicit_With
4792 (N : Node_Id; Val : Boolean := True) is
4794 pragma Assert (False
4795 or else NT (N).Nkind = N_With_Clause);
4796 Set_Flag16 (N, Val);
4797 end Set_Implicit_With;
4799 procedure Set_Implicit_With_From_Instantiation
4800 (N : Node_Id; Val : Boolean := True) is
4802 pragma Assert (False
4803 or else NT (N).Nkind = N_With_Clause);
4804 Set_Flag12 (N, Val);
4805 end Set_Implicit_With_From_Instantiation;
4807 procedure Set_Interface_List
4808 (N : Node_Id; Val : List_Id) is
4810 pragma Assert (False
4811 or else NT (N).Nkind = N_Derived_Type_Definition
4812 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4813 or else NT (N).Nkind = N_Private_Extension_Declaration
4814 or else NT (N).Nkind = N_Protected_Type_Declaration
4815 or else NT (N).Nkind = N_Record_Definition
4816 or else NT (N).Nkind = N_Single_Protected_Declaration
4817 or else NT (N).Nkind = N_Single_Task_Declaration
4818 or else NT (N).Nkind = N_Task_Type_Declaration);
4819 Set_List2_With_Parent (N, Val);
4820 end Set_Interface_List;
4822 procedure Set_Interface_Present
4823 (N : Node_Id; Val : Boolean := True) is
4825 pragma Assert (False
4826 or else NT (N).Nkind = N_Derived_Type_Definition
4827 or else NT (N).Nkind = N_Record_Definition);
4828 Set_Flag16 (N, Val);
4829 end Set_Interface_Present;
4831 procedure Set_Import_Interface_Present
4832 (N : Node_Id; Val : Boolean := True) is
4834 pragma Assert (False
4835 or else NT (N).Nkind = N_Pragma);
4836 Set_Flag16 (N, Val);
4837 end Set_Import_Interface_Present;
4839 procedure Set_In_Present
4840 (N : Node_Id; Val : Boolean := True) is
4842 pragma Assert (False
4843 or else NT (N).Nkind = N_Formal_Object_Declaration
4844 or else NT (N).Nkind = N_Parameter_Specification);
4845 Set_Flag15 (N, Val);
4848 procedure Set_Includes_Infinities
4849 (N : Node_Id; Val : Boolean := True) is
4851 pragma Assert (False
4852 or else NT (N).Nkind = N_Range);
4853 Set_Flag11 (N, Val);
4854 end Set_Includes_Infinities;
4856 procedure Set_Inherited_Discriminant
4857 (N : Node_Id; Val : Boolean := True) is
4859 pragma Assert (False
4860 or else NT (N).Nkind = N_Component_Association);
4861 Set_Flag13 (N, Val);
4862 end Set_Inherited_Discriminant;
4864 procedure Set_Instance_Spec
4865 (N : Node_Id; Val : Node_Id) is
4867 pragma Assert (False
4868 or else NT (N).Nkind = N_Formal_Package_Declaration
4869 or else NT (N).Nkind = N_Function_Instantiation
4870 or else NT (N).Nkind = N_Package_Instantiation
4871 or else NT (N).Nkind = N_Procedure_Instantiation);
4872 Set_Node5 (N, Val); -- semantic field, no Parent set
4873 end Set_Instance_Spec;
4875 procedure Set_Intval
4876 (N : Node_Id; Val : Uint) is
4878 pragma Assert (False
4879 or else NT (N).Nkind = N_Integer_Literal);
4883 procedure Set_Is_Accessibility_Actual
4884 (N : Node_Id; Val : Boolean := True) is
4886 pragma Assert (False
4887 or else NT (N).Nkind = N_Parameter_Association);
4888 Set_Flag13 (N, Val);
4889 end Set_Is_Accessibility_Actual;
4891 procedure Set_Is_Asynchronous_Call_Block
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Block_Statement);
4897 end Set_Is_Asynchronous_Call_Block;
4899 procedure Set_Is_Boolean_Aspect
4900 (N : Node_Id; Val : Boolean := True) is
4902 pragma Assert (False
4903 or else NT (N).Nkind = N_Aspect_Specification);
4904 Set_Flag16 (N, Val);
4905 end Set_Is_Boolean_Aspect;
4907 procedure Set_Is_Checked
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_Pragma);
4913 Set_Flag11 (N, Val);
4916 procedure Set_Is_Component_Left_Opnd
4917 (N : Node_Id; Val : Boolean := True) is
4919 pragma Assert (False
4920 or else NT (N).Nkind = N_Op_Concat);
4921 Set_Flag13 (N, Val);
4922 end Set_Is_Component_Left_Opnd;
4924 procedure Set_Is_Component_Right_Opnd
4925 (N : Node_Id; Val : Boolean := True) is
4927 pragma Assert (False
4928 or else NT (N).Nkind = N_Op_Concat);
4929 Set_Flag14 (N, Val);
4930 end Set_Is_Component_Right_Opnd;
4932 procedure Set_Is_Controlling_Actual
4933 (N : Node_Id; Val : Boolean := True) is
4935 pragma Assert (False
4936 or else NT (N).Nkind in N_Subexpr);
4937 Set_Flag16 (N, Val);
4938 end Set_Is_Controlling_Actual;
4940 procedure Set_Is_Delayed_Aspect
4941 (N : Node_Id; Val : Boolean := True) is
4943 pragma Assert (False
4944 or else NT (N).Nkind = N_Aspect_Specification
4945 or else NT (N).Nkind = N_Attribute_Definition_Clause
4946 or else NT (N).Nkind = N_Pragma);
4947 Set_Flag14 (N, Val);
4948 end Set_Is_Delayed_Aspect;
4950 procedure Set_Is_Disabled
4951 (N : Node_Id; Val : Boolean := True) is
4953 pragma Assert (False
4954 or else NT (N).Nkind = N_Aspect_Specification
4955 or else NT (N).Nkind = N_Pragma);
4956 Set_Flag15 (N, Val);
4957 end Set_Is_Disabled;
4959 procedure Set_Is_Dynamic_Coextension
4960 (N : Node_Id; Val : Boolean := True) is
4962 pragma Assert (False
4963 or else NT (N).Nkind = N_Allocator);
4964 Set_Flag18 (N, Val);
4965 end Set_Is_Dynamic_Coextension;
4967 procedure Set_Is_Elsif
4968 (N : Node_Id; Val : Boolean := True) is
4970 pragma Assert (False
4971 or else NT (N).Nkind = N_If_Expression);
4972 Set_Flag13 (N, Val);
4975 procedure Set_Is_Entry_Barrier_Function
4976 (N : Node_Id; Val : Boolean := True) is
4978 pragma Assert (False
4979 or else NT (N).Nkind = N_Subprogram_Body);
4981 end Set_Is_Entry_Barrier_Function;
4983 procedure Set_Is_Expanded_Build_In_Place_Call
4984 (N : Node_Id; Val : Boolean := True) is
4986 pragma Assert (False
4987 or else NT (N).Nkind = N_Function_Call);
4988 Set_Flag11 (N, Val);
4989 end Set_Is_Expanded_Build_In_Place_Call;
4991 procedure Set_Is_Finalization_Wrapper
4992 (N : Node_Id; Val : Boolean := True) is
4994 pragma Assert (False
4995 or else NT (N).Nkind = N_Block_Statement);
4997 end Set_Is_Finalization_Wrapper;
4999 procedure Set_Is_Folded_In_Parser
5000 (N : Node_Id; Val : Boolean := True) is
5002 pragma Assert (False
5003 or else NT (N).Nkind = N_String_Literal);
5005 end Set_Is_Folded_In_Parser;
5007 procedure Set_Is_Ignored
5008 (N : Node_Id; Val : Boolean := True) is
5010 pragma Assert (False
5011 or else NT (N).Nkind = N_Aspect_Specification
5012 or else NT (N).Nkind = N_Pragma);
5016 procedure Set_Is_In_Discriminant_Check
5017 (N : Node_Id; Val : Boolean := True) is
5019 pragma Assert (False
5020 or else NT (N).Nkind = N_Selected_Component);
5021 Set_Flag11 (N, Val);
5022 end Set_Is_In_Discriminant_Check;
5024 procedure Set_Is_Machine_Number
5025 (N : Node_Id; Val : Boolean := True) is
5027 pragma Assert (False
5028 or else NT (N).Nkind = N_Real_Literal);
5029 Set_Flag11 (N, Val);
5030 end Set_Is_Machine_Number;
5032 procedure Set_Is_Null_Loop
5033 (N : Node_Id; Val : Boolean := True) is
5035 pragma Assert (False
5036 or else NT (N).Nkind = N_Loop_Statement);
5037 Set_Flag16 (N, Val);
5038 end Set_Is_Null_Loop;
5040 procedure Set_Is_Overloaded
5041 (N : Node_Id; Val : Boolean := True) is
5043 pragma Assert (False
5044 or else NT (N).Nkind in N_Subexpr);
5046 end Set_Is_Overloaded;
5048 procedure Set_Is_Power_Of_2_For_Shift
5049 (N : Node_Id; Val : Boolean := True) is
5051 pragma Assert (False
5052 or else NT (N).Nkind = N_Op_Expon);
5053 Set_Flag13 (N, Val);
5054 end Set_Is_Power_Of_2_For_Shift;
5056 procedure Set_Is_Prefixed_Call
5057 (N : Node_Id; Val : Boolean := True) is
5059 pragma Assert (False
5060 or else NT (N).Nkind = N_Selected_Component);
5061 Set_Flag17 (N, Val);
5062 end Set_Is_Prefixed_Call;
5064 procedure Set_Is_Protected_Subprogram_Body
5065 (N : Node_Id; Val : Boolean := True) is
5067 pragma Assert (False
5068 or else NT (N).Nkind = N_Subprogram_Body);
5070 end Set_Is_Protected_Subprogram_Body;
5072 procedure Set_Is_Static_Coextension
5073 (N : Node_Id; Val : Boolean := True) is
5075 pragma Assert (False
5076 or else NT (N).Nkind = N_Allocator);
5077 Set_Flag14 (N, Val);
5078 end Set_Is_Static_Coextension;
5080 procedure Set_Is_Static_Expression
5081 (N : Node_Id; Val : Boolean := True) is
5083 pragma Assert (False
5084 or else NT (N).Nkind in N_Subexpr);
5086 end Set_Is_Static_Expression;
5088 procedure Set_Is_Subprogram_Descriptor
5089 (N : Node_Id; Val : Boolean := True) is
5091 pragma Assert (False
5092 or else NT (N).Nkind = N_Object_Declaration);
5093 Set_Flag16 (N, Val);
5094 end Set_Is_Subprogram_Descriptor;
5096 procedure Set_Is_Task_Allocation_Block
5097 (N : Node_Id; Val : Boolean := True) is
5099 pragma Assert (False
5100 or else NT (N).Nkind = N_Block_Statement);
5102 end Set_Is_Task_Allocation_Block;
5104 procedure Set_Is_Task_Master
5105 (N : Node_Id; Val : Boolean := True) is
5107 pragma Assert (False
5108 or else NT (N).Nkind = N_Block_Statement
5109 or else NT (N).Nkind = N_Subprogram_Body
5110 or else NT (N).Nkind = N_Task_Body);
5112 end Set_Is_Task_Master;
5114 procedure Set_Iteration_Scheme
5115 (N : Node_Id; Val : Node_Id) is
5117 pragma Assert (False
5118 or else NT (N).Nkind = N_Loop_Statement);
5119 Set_Node2_With_Parent (N, Val);
5120 end Set_Iteration_Scheme;
5122 procedure Set_Iterator_Specification
5123 (N : Node_Id; Val : Node_Id) is
5125 pragma Assert (False
5126 or else NT (N).Nkind = N_Iteration_Scheme
5127 or else NT (N).Nkind = N_Quantified_Expression);
5128 Set_Node2_With_Parent (N, Val);
5129 end Set_Iterator_Specification;
5132 (N : Node_Id; Val : Entity_Id) is
5134 pragma Assert (False
5135 or else NT (N).Nkind = N_Itype_Reference);
5136 Set_Node1 (N, Val); -- no parent, semantic field
5139 procedure Set_Kill_Range_Check
5140 (N : Node_Id; Val : Boolean := True) is
5142 pragma Assert (False
5143 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5144 Set_Flag11 (N, Val);
5145 end Set_Kill_Range_Check;
5147 procedure Set_Label_Construct
5148 (N : Node_Id; Val : Node_Id) is
5150 pragma Assert (False
5151 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5152 Set_Node2 (N, Val); -- semantic field, no parent set
5153 end Set_Label_Construct;
5155 procedure Set_Last_Bit
5156 (N : Node_Id; Val : Node_Id) is
5158 pragma Assert (False
5159 or else NT (N).Nkind = N_Component_Clause);
5160 Set_Node4_With_Parent (N, Val);
5163 procedure Set_Last_Name
5164 (N : Node_Id; Val : Boolean := True) is
5166 pragma Assert (False
5167 or else NT (N).Nkind = N_With_Clause);
5171 procedure Set_Left_Opnd
5172 (N : Node_Id; Val : Node_Id) is
5174 pragma Assert (False
5175 or else NT (N).Nkind = N_And_Then
5176 or else NT (N).Nkind = N_In
5177 or else NT (N).Nkind = N_Not_In
5178 or else NT (N).Nkind = N_Or_Else
5179 or else NT (N).Nkind in N_Binary_Op);
5180 Set_Node2_With_Parent (N, Val);
5183 procedure Set_Library_Unit
5184 (N : Node_Id; Val : Node_Id) is
5186 pragma Assert (False
5187 or else NT (N).Nkind = N_Compilation_Unit
5188 or else NT (N).Nkind = N_Package_Body_Stub
5189 or else NT (N).Nkind = N_Protected_Body_Stub
5190 or else NT (N).Nkind = N_Subprogram_Body_Stub
5191 or else NT (N).Nkind = N_Task_Body_Stub
5192 or else NT (N).Nkind = N_With_Clause);
5193 Set_Node4 (N, Val); -- semantic field, no parent set
5194 end Set_Library_Unit;
5196 procedure Set_Limited_View_Installed
5197 (N : Node_Id; Val : Boolean := True) is
5199 pragma Assert (False
5200 or else NT (N).Nkind = N_Package_Specification
5201 or else NT (N).Nkind = N_With_Clause);
5202 Set_Flag18 (N, Val);
5203 end Set_Limited_View_Installed;
5205 procedure Set_Limited_Present
5206 (N : Node_Id; Val : Boolean := True) is
5208 pragma Assert (False
5209 or else NT (N).Nkind = N_Derived_Type_Definition
5210 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5211 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5212 or else NT (N).Nkind = N_Private_Extension_Declaration
5213 or else NT (N).Nkind = N_Private_Type_Declaration
5214 or else NT (N).Nkind = N_Record_Definition
5215 or else NT (N).Nkind = N_With_Clause);
5216 Set_Flag17 (N, Val);
5217 end Set_Limited_Present;
5219 procedure Set_Literals
5220 (N : Node_Id; Val : List_Id) is
5222 pragma Assert (False
5223 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5224 Set_List1_With_Parent (N, Val);
5227 procedure Set_Local_Raise_Not_OK
5228 (N : Node_Id; Val : Boolean := True) is
5230 pragma Assert (False
5231 or else NT (N).Nkind = N_Exception_Handler);
5233 end Set_Local_Raise_Not_OK;
5235 procedure Set_Local_Raise_Statements
5236 (N : Node_Id; Val : Elist_Id) is
5238 pragma Assert (False
5239 or else NT (N).Nkind = N_Exception_Handler);
5240 Set_Elist1 (N, Val);
5241 end Set_Local_Raise_Statements;
5243 procedure Set_Loop_Actions
5244 (N : Node_Id; Val : List_Id) is
5246 pragma Assert (False
5247 or else NT (N).Nkind = N_Component_Association);
5248 Set_List2 (N, Val); -- semantic field, no parent set
5249 end Set_Loop_Actions;
5251 procedure Set_Loop_Parameter_Specification
5252 (N : Node_Id; Val : Node_Id) is
5254 pragma Assert (False
5255 or else NT (N).Nkind = N_Iteration_Scheme
5256 or else NT (N).Nkind = N_Quantified_Expression);
5257 Set_Node4_With_Parent (N, Val);
5258 end Set_Loop_Parameter_Specification;
5260 procedure Set_Low_Bound
5261 (N : Node_Id; Val : Node_Id) is
5263 pragma Assert (False
5264 or else NT (N).Nkind = N_Range
5265 or else NT (N).Nkind = N_Real_Range_Specification
5266 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5267 Set_Node1_With_Parent (N, Val);
5270 procedure Set_Mod_Clause
5271 (N : Node_Id; Val : Node_Id) is
5273 pragma Assert (False
5274 or else NT (N).Nkind = N_Record_Representation_Clause);
5275 Set_Node2_With_Parent (N, Val);
5278 procedure Set_More_Ids
5279 (N : Node_Id; Val : Boolean := True) is
5281 pragma Assert (False
5282 or else NT (N).Nkind = N_Component_Declaration
5283 or else NT (N).Nkind = N_Discriminant_Specification
5284 or else NT (N).Nkind = N_Exception_Declaration
5285 or else NT (N).Nkind = N_Formal_Object_Declaration
5286 or else NT (N).Nkind = N_Number_Declaration
5287 or else NT (N).Nkind = N_Object_Declaration
5288 or else NT (N).Nkind = N_Parameter_Specification);
5292 procedure Set_Must_Be_Byte_Aligned
5293 (N : Node_Id; Val : Boolean := True) is
5295 pragma Assert (False
5296 or else NT (N).Nkind = N_Attribute_Reference);
5297 Set_Flag14 (N, Val);
5298 end Set_Must_Be_Byte_Aligned;
5300 procedure Set_Must_Not_Freeze
5301 (N : Node_Id; Val : Boolean := True) is
5303 pragma Assert (False
5304 or else NT (N).Nkind = N_Subtype_Indication
5305 or else NT (N).Nkind in N_Subexpr);
5307 end Set_Must_Not_Freeze;
5309 procedure Set_Must_Not_Override
5310 (N : Node_Id; Val : Boolean := True) is
5312 pragma Assert (False
5313 or else NT (N).Nkind = N_Entry_Declaration
5314 or else NT (N).Nkind = N_Function_Instantiation
5315 or else NT (N).Nkind = N_Function_Specification
5316 or else NT (N).Nkind = N_Procedure_Instantiation
5317 or else NT (N).Nkind = N_Procedure_Specification);
5318 Set_Flag15 (N, Val);
5319 end Set_Must_Not_Override;
5321 procedure Set_Must_Override
5322 (N : Node_Id; Val : Boolean := True) is
5324 pragma Assert (False
5325 or else NT (N).Nkind = N_Entry_Declaration
5326 or else NT (N).Nkind = N_Function_Instantiation
5327 or else NT (N).Nkind = N_Function_Specification
5328 or else NT (N).Nkind = N_Procedure_Instantiation
5329 or else NT (N).Nkind = N_Procedure_Specification);
5330 Set_Flag14 (N, Val);
5331 end Set_Must_Override;
5334 (N : Node_Id; Val : Node_Id) is
5336 pragma Assert (False
5337 or else NT (N).Nkind = N_Assignment_Statement
5338 or else NT (N).Nkind = N_Attribute_Definition_Clause
5339 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5340 or else NT (N).Nkind = N_Designator
5341 or else NT (N).Nkind = N_Entry_Call_Statement
5342 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5343 or else NT (N).Nkind = N_Exit_Statement
5344 or else NT (N).Nkind = N_Formal_Package_Declaration
5345 or else NT (N).Nkind = N_Function_Call
5346 or else NT (N).Nkind = N_Function_Instantiation
5347 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5348 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5349 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5350 or else NT (N).Nkind = N_Goto_Statement
5351 or else NT (N).Nkind = N_Iterator_Specification
5352 or else NT (N).Nkind = N_Object_Renaming_Declaration
5353 or else NT (N).Nkind = N_Package_Instantiation
5354 or else NT (N).Nkind = N_Package_Renaming_Declaration
5355 or else NT (N).Nkind = N_Procedure_Call_Statement
5356 or else NT (N).Nkind = N_Procedure_Instantiation
5357 or else NT (N).Nkind = N_Raise_Expression
5358 or else NT (N).Nkind = N_Raise_Statement
5359 or else NT (N).Nkind = N_Requeue_Statement
5360 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5361 or else NT (N).Nkind = N_Subunit
5362 or else NT (N).Nkind = N_Variant_Part
5363 or else NT (N).Nkind = N_With_Clause);
5364 Set_Node2_With_Parent (N, Val);
5368 (N : Node_Id; Val : List_Id) is
5370 pragma Assert (False
5371 or else NT (N).Nkind = N_Abort_Statement
5372 or else NT (N).Nkind = N_Use_Package_Clause);
5373 Set_List2_With_Parent (N, Val);
5376 procedure Set_Next_Entity
5377 (N : Node_Id; Val : Node_Id) is
5379 pragma Assert (False
5380 or else NT (N).Nkind = N_Defining_Character_Literal
5381 or else NT (N).Nkind = N_Defining_Identifier
5382 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5383 Set_Node2 (N, Val); -- semantic field, no parent set
5384 end Set_Next_Entity;
5386 procedure Set_Next_Exit_Statement
5387 (N : Node_Id; Val : Node_Id) is
5389 pragma Assert (False
5390 or else NT (N).Nkind = N_Exit_Statement);
5391 Set_Node3 (N, Val); -- semantic field, no parent set
5392 end Set_Next_Exit_Statement;
5394 procedure Set_Next_Implicit_With
5395 (N : Node_Id; Val : Node_Id) is
5397 pragma Assert (False
5398 or else NT (N).Nkind = N_With_Clause);
5399 Set_Node3 (N, Val); -- semantic field, no parent set
5400 end Set_Next_Implicit_With;
5402 procedure Set_Next_Named_Actual
5403 (N : Node_Id; Val : Node_Id) is
5405 pragma Assert (False
5406 or else NT (N).Nkind = N_Parameter_Association);
5407 Set_Node4 (N, Val); -- semantic field, no parent set
5408 end Set_Next_Named_Actual;
5410 procedure Set_Next_Pragma
5411 (N : Node_Id; Val : Node_Id) is
5413 pragma Assert (False
5414 or else NT (N).Nkind = N_Pragma);
5415 Set_Node1 (N, Val); -- semantic field, no parent set
5416 end Set_Next_Pragma;
5418 procedure Set_Next_Rep_Item
5419 (N : Node_Id; Val : Node_Id) is
5421 pragma Assert (False
5422 or else NT (N).Nkind = N_Aspect_Specification
5423 or else NT (N).Nkind = N_Attribute_Definition_Clause
5424 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5425 or else NT (N).Nkind = N_Pragma
5426 or else NT (N).Nkind = N_Record_Representation_Clause);
5427 Set_Node5 (N, Val); -- semantic field, no parent set
5428 end Set_Next_Rep_Item;
5430 procedure Set_Next_Use_Clause
5431 (N : Node_Id; Val : Node_Id) is
5433 pragma Assert (False
5434 or else NT (N).Nkind = N_Use_Package_Clause
5435 or else NT (N).Nkind = N_Use_Type_Clause);
5436 Set_Node3 (N, Val); -- semantic field, no parent set
5437 end Set_Next_Use_Clause;
5439 procedure Set_No_Ctrl_Actions
5440 (N : Node_Id; Val : Boolean := True) is
5442 pragma Assert (False
5443 or else NT (N).Nkind = N_Assignment_Statement);
5445 end Set_No_Ctrl_Actions;
5447 procedure Set_No_Elaboration_Check
5448 (N : Node_Id; Val : Boolean := True) is
5450 pragma Assert (False
5451 or else NT (N).Nkind = N_Function_Call
5452 or else NT (N).Nkind = N_Procedure_Call_Statement);
5453 Set_Flag14 (N, Val);
5454 end Set_No_Elaboration_Check;
5456 procedure Set_No_Entities_Ref_In_Spec
5457 (N : Node_Id; Val : Boolean := True) is
5459 pragma Assert (False
5460 or else NT (N).Nkind = N_With_Clause);
5462 end Set_No_Entities_Ref_In_Spec;
5464 procedure Set_No_Initialization
5465 (N : Node_Id; Val : Boolean := True) is
5467 pragma Assert (False
5468 or else NT (N).Nkind = N_Allocator
5469 or else NT (N).Nkind = N_Object_Declaration);
5470 Set_Flag13 (N, Val);
5471 end Set_No_Initialization;
5473 procedure Set_No_Minimize_Eliminate
5474 (N : Node_Id; Val : Boolean := True) is
5476 pragma Assert (False
5477 or else NT (N).Nkind = N_In
5478 or else NT (N).Nkind = N_Not_In);
5479 Set_Flag17 (N, Val);
5480 end Set_No_Minimize_Eliminate;
5482 procedure Set_No_Truncation
5483 (N : Node_Id; Val : Boolean := True) is
5485 pragma Assert (False
5486 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5487 Set_Flag17 (N, Val);
5488 end Set_No_Truncation;
5490 procedure Set_Null_Present
5491 (N : Node_Id; Val : Boolean := True) is
5493 pragma Assert (False
5494 or else NT (N).Nkind = N_Component_List
5495 or else NT (N).Nkind = N_Procedure_Specification
5496 or else NT (N).Nkind = N_Record_Definition);
5497 Set_Flag13 (N, Val);
5498 end Set_Null_Present;
5500 procedure Set_Null_Exclusion_Present
5501 (N : Node_Id; Val : Boolean := True) is
5503 pragma Assert (False
5504 or else NT (N).Nkind = N_Access_Definition
5505 or else NT (N).Nkind = N_Access_Function_Definition
5506 or else NT (N).Nkind = N_Access_Procedure_Definition
5507 or else NT (N).Nkind = N_Access_To_Object_Definition
5508 or else NT (N).Nkind = N_Allocator
5509 or else NT (N).Nkind = N_Component_Definition
5510 or else NT (N).Nkind = N_Derived_Type_Definition
5511 or else NT (N).Nkind = N_Discriminant_Specification
5512 or else NT (N).Nkind = N_Formal_Object_Declaration
5513 or else NT (N).Nkind = N_Function_Specification
5514 or else NT (N).Nkind = N_Object_Declaration
5515 or else NT (N).Nkind = N_Object_Renaming_Declaration
5516 or else NT (N).Nkind = N_Parameter_Specification
5517 or else NT (N).Nkind = N_Subtype_Declaration);
5518 Set_Flag11 (N, Val);
5519 end Set_Null_Exclusion_Present;
5521 procedure Set_Null_Exclusion_In_Return_Present
5522 (N : Node_Id; Val : Boolean := True) is
5524 pragma Assert (False
5525 or else NT (N).Nkind = N_Access_Function_Definition);
5526 Set_Flag14 (N, Val);
5527 end Set_Null_Exclusion_In_Return_Present;
5529 procedure Set_Null_Record_Present
5530 (N : Node_Id; Val : Boolean := True) is
5532 pragma Assert (False
5533 or else NT (N).Nkind = N_Aggregate
5534 or else NT (N).Nkind = N_Extension_Aggregate);
5535 Set_Flag17 (N, Val);
5536 end Set_Null_Record_Present;
5538 procedure Set_Object_Definition
5539 (N : Node_Id; Val : Node_Id) is
5541 pragma Assert (False
5542 or else NT (N).Nkind = N_Object_Declaration);
5543 Set_Node4_With_Parent (N, Val);
5544 end Set_Object_Definition;
5546 procedure Set_Of_Present
5547 (N : Node_Id; Val : Boolean := True) is
5549 pragma Assert (False
5550 or else NT (N).Nkind = N_Iterator_Specification);
5551 Set_Flag16 (N, Val);
5554 procedure Set_Original_Discriminant
5555 (N : Node_Id; Val : Node_Id) is
5557 pragma Assert (False
5558 or else NT (N).Nkind = N_Identifier);
5559 Set_Node2 (N, Val); -- semantic field, no parent set
5560 end Set_Original_Discriminant;
5562 procedure Set_Original_Entity
5563 (N : Node_Id; Val : Entity_Id) is
5565 pragma Assert (False
5566 or else NT (N).Nkind = N_Integer_Literal
5567 or else NT (N).Nkind = N_Real_Literal);
5568 Set_Node2 (N, Val); -- semantic field, no parent set
5569 end Set_Original_Entity;
5571 procedure Set_Others_Discrete_Choices
5572 (N : Node_Id; Val : List_Id) is
5574 pragma Assert (False
5575 or else NT (N).Nkind = N_Others_Choice);
5576 Set_List1_With_Parent (N, Val);
5577 end Set_Others_Discrete_Choices;
5579 procedure Set_Out_Present
5580 (N : Node_Id; Val : Boolean := True) is
5582 pragma Assert (False
5583 or else NT (N).Nkind = N_Formal_Object_Declaration
5584 or else NT (N).Nkind = N_Parameter_Specification);
5585 Set_Flag17 (N, Val);
5586 end Set_Out_Present;
5588 procedure Set_Parameter_Associations
5589 (N : Node_Id; Val : List_Id) is
5591 pragma Assert (False
5592 or else NT (N).Nkind = N_Entry_Call_Statement
5593 or else NT (N).Nkind = N_Function_Call
5594 or else NT (N).Nkind = N_Procedure_Call_Statement);
5595 Set_List3_With_Parent (N, Val);
5596 end Set_Parameter_Associations;
5598 procedure Set_Parameter_List_Truncated
5599 (N : Node_Id; Val : Boolean := True) is
5601 pragma Assert (False
5602 or else NT (N).Nkind = N_Function_Call
5603 or else NT (N).Nkind = N_Procedure_Call_Statement);
5604 Set_Flag17 (N, Val);
5605 end Set_Parameter_List_Truncated;
5607 procedure Set_Parameter_Specifications
5608 (N : Node_Id; Val : List_Id) is
5610 pragma Assert (False
5611 or else NT (N).Nkind = N_Accept_Statement
5612 or else NT (N).Nkind = N_Access_Function_Definition
5613 or else NT (N).Nkind = N_Access_Procedure_Definition
5614 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5615 or else NT (N).Nkind = N_Entry_Declaration
5616 or else NT (N).Nkind = N_Function_Specification
5617 or else NT (N).Nkind = N_Procedure_Specification);
5618 Set_List3_With_Parent (N, Val);
5619 end Set_Parameter_Specifications;
5621 procedure Set_Parameter_Type
5622 (N : Node_Id; Val : Node_Id) is
5624 pragma Assert (False
5625 or else NT (N).Nkind = N_Parameter_Specification);
5626 Set_Node2_With_Parent (N, Val);
5627 end Set_Parameter_Type;
5629 procedure Set_Parent_Spec
5630 (N : Node_Id; Val : Node_Id) is
5632 pragma Assert (False
5633 or else NT (N).Nkind = N_Function_Instantiation
5634 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5635 or else NT (N).Nkind = N_Generic_Package_Declaration
5636 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5637 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5638 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5639 or else NT (N).Nkind = N_Package_Declaration
5640 or else NT (N).Nkind = N_Package_Instantiation
5641 or else NT (N).Nkind = N_Package_Renaming_Declaration
5642 or else NT (N).Nkind = N_Procedure_Instantiation
5643 or else NT (N).Nkind = N_Subprogram_Declaration
5644 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5645 Set_Node4 (N, Val); -- semantic field, no parent set
5646 end Set_Parent_Spec;
5648 procedure Set_Position
5649 (N : Node_Id; Val : Node_Id) is
5651 pragma Assert (False
5652 or else NT (N).Nkind = N_Component_Clause);
5653 Set_Node2_With_Parent (N, Val);
5656 procedure Set_Pragma_Argument_Associations
5657 (N : Node_Id; Val : List_Id) is
5659 pragma Assert (False
5660 or else NT (N).Nkind = N_Pragma);
5661 Set_List2_With_Parent (N, Val);
5662 end Set_Pragma_Argument_Associations;
5664 procedure Set_Pragma_Identifier
5665 (N : Node_Id; Val : Node_Id) is
5667 pragma Assert (False
5668 or else NT (N).Nkind = N_Pragma);
5669 Set_Node4_With_Parent (N, Val);
5670 end Set_Pragma_Identifier;
5672 procedure Set_Pragmas_After
5673 (N : Node_Id; Val : List_Id) is
5675 pragma Assert (False
5676 or else NT (N).Nkind = N_Compilation_Unit_Aux
5677 or else NT (N).Nkind = N_Terminate_Alternative);
5678 Set_List5_With_Parent (N, Val);
5679 end Set_Pragmas_After;
5681 procedure Set_Pragmas_Before
5682 (N : Node_Id; Val : List_Id) is
5684 pragma Assert (False
5685 or else NT (N).Nkind = N_Accept_Alternative
5686 or else NT (N).Nkind = N_Delay_Alternative
5687 or else NT (N).Nkind = N_Entry_Call_Alternative
5688 or else NT (N).Nkind = N_Mod_Clause
5689 or else NT (N).Nkind = N_Terminate_Alternative
5690 or else NT (N).Nkind = N_Triggering_Alternative);
5691 Set_List4_With_Parent (N, Val);
5692 end Set_Pragmas_Before;
5694 procedure Set_Pre_Post_Conditions
5695 (N : Node_Id; Val : Node_Id) is
5697 pragma Assert (False
5698 or else NT (N).Nkind = N_Contract);
5699 Set_Node1 (N, Val); -- semantic field, no parent set
5700 end Set_Pre_Post_Conditions;
5702 procedure Set_Prefix
5703 (N : Node_Id; Val : Node_Id) is
5705 pragma Assert (False
5706 or else NT (N).Nkind = N_Attribute_Reference
5707 or else NT (N).Nkind = N_Expanded_Name
5708 or else NT (N).Nkind = N_Explicit_Dereference
5709 or else NT (N).Nkind = N_Indexed_Component
5710 or else NT (N).Nkind = N_Reference
5711 or else NT (N).Nkind = N_Selected_Component
5712 or else NT (N).Nkind = N_Slice);
5713 Set_Node3_With_Parent (N, Val);
5716 procedure Set_Premature_Use
5717 (N : Node_Id; Val : Node_Id) is
5719 pragma Assert (False
5720 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5722 end Set_Premature_Use;
5724 procedure Set_Present_Expr
5725 (N : Node_Id; Val : Uint) is
5727 pragma Assert (False
5728 or else NT (N).Nkind = N_Variant);
5730 end Set_Present_Expr;
5732 procedure Set_Prev_Ids
5733 (N : Node_Id; Val : Boolean := True) is
5735 pragma Assert (False
5736 or else NT (N).Nkind = N_Component_Declaration
5737 or else NT (N).Nkind = N_Discriminant_Specification
5738 or else NT (N).Nkind = N_Exception_Declaration
5739 or else NT (N).Nkind = N_Formal_Object_Declaration
5740 or else NT (N).Nkind = N_Number_Declaration
5741 or else NT (N).Nkind = N_Object_Declaration
5742 or else NT (N).Nkind = N_Parameter_Specification);
5746 procedure Set_Print_In_Hex
5747 (N : Node_Id; Val : Boolean := True) is
5749 pragma Assert (False
5750 or else NT (N).Nkind = N_Integer_Literal);
5751 Set_Flag13 (N, Val);
5752 end Set_Print_In_Hex;
5754 procedure Set_Private_Declarations
5755 (N : Node_Id; Val : List_Id) is
5757 pragma Assert (False
5758 or else NT (N).Nkind = N_Package_Specification
5759 or else NT (N).Nkind = N_Protected_Definition
5760 or else NT (N).Nkind = N_Task_Definition);
5761 Set_List3_With_Parent (N, Val);
5762 end Set_Private_Declarations;
5764 procedure Set_Private_Present
5765 (N : Node_Id; Val : Boolean := True) is
5767 pragma Assert (False
5768 or else NT (N).Nkind = N_Compilation_Unit
5769 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5770 or else NT (N).Nkind = N_With_Clause);
5771 Set_Flag15 (N, Val);
5772 end Set_Private_Present;
5774 procedure Set_Procedure_To_Call
5775 (N : Node_Id; Val : Node_Id) is
5777 pragma Assert (False
5778 or else NT (N).Nkind = N_Allocator
5779 or else NT (N).Nkind = N_Extended_Return_Statement
5780 or else NT (N).Nkind = N_Free_Statement
5781 or else NT (N).Nkind = N_Simple_Return_Statement);
5782 Set_Node2 (N, Val); -- semantic field, no parent set
5783 end Set_Procedure_To_Call;
5785 procedure Set_Proper_Body
5786 (N : Node_Id; Val : Node_Id) is
5788 pragma Assert (False
5789 or else NT (N).Nkind = N_Subunit);
5790 Set_Node1_With_Parent (N, Val);
5791 end Set_Proper_Body;
5793 procedure Set_Protected_Definition
5794 (N : Node_Id; Val : Node_Id) is
5796 pragma Assert (False
5797 or else NT (N).Nkind = N_Protected_Type_Declaration
5798 or else NT (N).Nkind = N_Single_Protected_Declaration);
5799 Set_Node3_With_Parent (N, Val);
5800 end Set_Protected_Definition;
5802 procedure Set_Protected_Present
5803 (N : Node_Id; Val : Boolean := True) is
5805 pragma Assert (False
5806 or else NT (N).Nkind = N_Access_Function_Definition
5807 or else NT (N).Nkind = N_Access_Procedure_Definition
5808 or else NT (N).Nkind = N_Derived_Type_Definition
5809 or else NT (N).Nkind = N_Record_Definition);
5811 end Set_Protected_Present;
5813 procedure Set_Raises_Constraint_Error
5814 (N : Node_Id; Val : Boolean := True) is
5816 pragma Assert (False
5817 or else NT (N).Nkind in N_Subexpr);
5819 end Set_Raises_Constraint_Error;
5821 procedure Set_Range_Constraint
5822 (N : Node_Id; Val : Node_Id) is
5824 pragma Assert (False
5825 or else NT (N).Nkind = N_Delta_Constraint
5826 or else NT (N).Nkind = N_Digits_Constraint);
5827 Set_Node4_With_Parent (N, Val);
5828 end Set_Range_Constraint;
5830 procedure Set_Range_Expression
5831 (N : Node_Id; Val : Node_Id) is
5833 pragma Assert (False
5834 or else NT (N).Nkind = N_Range_Constraint);
5835 Set_Node4_With_Parent (N, Val);
5836 end Set_Range_Expression;
5838 procedure Set_Real_Range_Specification
5839 (N : Node_Id; Val : Node_Id) is
5841 pragma Assert (False
5842 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5843 or else NT (N).Nkind = N_Floating_Point_Definition
5844 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5845 Set_Node4_With_Parent (N, Val);
5846 end Set_Real_Range_Specification;
5848 procedure Set_Realval
5849 (N : Node_Id; Val : Ureal) is
5851 pragma Assert (False
5852 or else NT (N).Nkind = N_Real_Literal);
5853 Set_Ureal3 (N, Val);
5856 procedure Set_Reason
5857 (N : Node_Id; Val : Uint) is
5859 pragma Assert (False
5860 or else NT (N).Nkind = N_Raise_Constraint_Error
5861 or else NT (N).Nkind = N_Raise_Program_Error
5862 or else NT (N).Nkind = N_Raise_Storage_Error);
5866 procedure Set_Record_Extension_Part
5867 (N : Node_Id; Val : Node_Id) is
5869 pragma Assert (False
5870 or else NT (N).Nkind = N_Derived_Type_Definition);
5871 Set_Node3_With_Parent (N, Val);
5872 end Set_Record_Extension_Part;
5874 procedure Set_Redundant_Use
5875 (N : Node_Id; Val : Boolean := True) is
5877 pragma Assert (False
5878 or else NT (N).Nkind = N_Attribute_Reference
5879 or else NT (N).Nkind = N_Expanded_Name
5880 or else NT (N).Nkind = N_Identifier);
5881 Set_Flag13 (N, Val);
5882 end Set_Redundant_Use;
5884 procedure Set_Renaming_Exception
5885 (N : Node_Id; Val : Node_Id) is
5887 pragma Assert (False
5888 or else NT (N).Nkind = N_Exception_Declaration);
5890 end Set_Renaming_Exception;
5892 procedure Set_Result_Definition
5893 (N : Node_Id; Val : Node_Id) is
5895 pragma Assert (False
5896 or else NT (N).Nkind = N_Access_Function_Definition
5897 or else NT (N).Nkind = N_Function_Specification);
5898 Set_Node4_With_Parent (N, Val);
5899 end Set_Result_Definition;
5901 procedure Set_Return_Object_Declarations
5902 (N : Node_Id; Val : List_Id) is
5904 pragma Assert (False
5905 or else NT (N).Nkind = N_Extended_Return_Statement);
5906 Set_List3_With_Parent (N, Val);
5907 end Set_Return_Object_Declarations;
5909 procedure Set_Return_Statement_Entity
5910 (N : Node_Id; Val : Node_Id) is
5912 pragma Assert (False
5913 or else NT (N).Nkind = N_Extended_Return_Statement
5914 or else NT (N).Nkind = N_Simple_Return_Statement);
5915 Set_Node5 (N, Val); -- semantic field, no parent set
5916 end Set_Return_Statement_Entity;
5918 procedure Set_Reverse_Present
5919 (N : Node_Id; Val : Boolean := True) is
5921 pragma Assert (False
5922 or else NT (N).Nkind = N_Iterator_Specification
5923 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5924 Set_Flag15 (N, Val);
5925 end Set_Reverse_Present;
5927 procedure Set_Right_Opnd
5928 (N : Node_Id; Val : Node_Id) is
5930 pragma Assert (False
5931 or else NT (N).Nkind in N_Op
5932 or else NT (N).Nkind = N_And_Then
5933 or else NT (N).Nkind = N_In
5934 or else NT (N).Nkind = N_Not_In
5935 or else NT (N).Nkind = N_Or_Else);
5936 Set_Node3_With_Parent (N, Val);
5939 procedure Set_Rounded_Result
5940 (N : Node_Id; Val : Boolean := True) is
5942 pragma Assert (False
5943 or else NT (N).Nkind = N_Op_Divide
5944 or else NT (N).Nkind = N_Op_Multiply
5945 or else NT (N).Nkind = N_Type_Conversion);
5946 Set_Flag18 (N, Val);
5947 end Set_Rounded_Result;
5949 procedure Set_SCIL_Controlling_Tag
5950 (N : Node_Id; Val : Node_Id) is
5952 pragma Assert (False
5953 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5954 Set_Node5 (N, Val); -- semantic field, no parent set
5955 end Set_SCIL_Controlling_Tag;
5957 procedure Set_SCIL_Entity
5958 (N : Node_Id; Val : Node_Id) is
5960 pragma Assert (False
5961 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5962 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5963 or else NT (N).Nkind = N_SCIL_Membership_Test);
5964 Set_Node4 (N, Val); -- semantic field, no parent set
5965 end Set_SCIL_Entity;
5967 procedure Set_SCIL_Tag_Value
5968 (N : Node_Id; Val : Node_Id) is
5970 pragma Assert (False
5971 or else NT (N).Nkind = N_SCIL_Membership_Test);
5972 Set_Node5 (N, Val); -- semantic field, no parent set
5973 end Set_SCIL_Tag_Value;
5975 procedure Set_SCIL_Target_Prim
5976 (N : Node_Id; Val : Node_Id) is
5978 pragma Assert (False
5979 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5980 Set_Node2 (N, Val); -- semantic field, no parent set
5981 end Set_SCIL_Target_Prim;
5984 (N : Node_Id; Val : Node_Id) is
5986 pragma Assert (False
5987 or else NT (N).Nkind = N_Defining_Character_Literal
5988 or else NT (N).Nkind = N_Defining_Identifier
5989 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5990 Set_Node3 (N, Val); -- semantic field, no parent set
5993 procedure Set_Select_Alternatives
5994 (N : Node_Id; Val : List_Id) is
5996 pragma Assert (False
5997 or else NT (N).Nkind = N_Selective_Accept);
5998 Set_List1_With_Parent (N, Val);
5999 end Set_Select_Alternatives;
6001 procedure Set_Selector_Name
6002 (N : Node_Id; Val : Node_Id) is
6004 pragma Assert (False
6005 or else NT (N).Nkind = N_Expanded_Name
6006 or else NT (N).Nkind = N_Generic_Association
6007 or else NT (N).Nkind = N_Parameter_Association
6008 or else NT (N).Nkind = N_Selected_Component);
6009 Set_Node2_With_Parent (N, Val);
6010 end Set_Selector_Name;
6012 procedure Set_Selector_Names
6013 (N : Node_Id; Val : List_Id) is
6015 pragma Assert (False
6016 or else NT (N).Nkind = N_Discriminant_Association);
6017 Set_List1_With_Parent (N, Val);
6018 end Set_Selector_Names;
6020 procedure Set_Shift_Count_OK
6021 (N : Node_Id; Val : Boolean := True) is
6023 pragma Assert (False
6024 or else NT (N).Nkind = N_Op_Rotate_Left
6025 or else NT (N).Nkind = N_Op_Rotate_Right
6026 or else NT (N).Nkind = N_Op_Shift_Left
6027 or else NT (N).Nkind = N_Op_Shift_Right
6028 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6030 end Set_Shift_Count_OK;
6032 procedure Set_Source_Type
6033 (N : Node_Id; Val : Entity_Id) is
6035 pragma Assert (False
6036 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6037 Set_Node1 (N, Val); -- semantic field, no parent set
6038 end Set_Source_Type;
6040 procedure Set_Specification
6041 (N : Node_Id; Val : Node_Id) is
6043 pragma Assert (False
6044 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6045 or else NT (N).Nkind = N_Expression_Function
6046 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6047 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6048 or else NT (N).Nkind = N_Generic_Package_Declaration
6049 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6050 or else NT (N).Nkind = N_Package_Declaration
6051 or else NT (N).Nkind = N_Subprogram_Body
6052 or else NT (N).Nkind = N_Subprogram_Body_Stub
6053 or else NT (N).Nkind = N_Subprogram_Declaration
6054 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6055 Set_Node1_With_Parent (N, Val);
6056 end Set_Specification;
6058 procedure Set_Split_PPC
6059 (N : Node_Id; Val : Boolean) is
6061 pragma Assert (False
6062 or else NT (N).Nkind = N_Aspect_Specification
6063 or else NT (N).Nkind = N_Pragma);
6064 Set_Flag17 (N, Val);
6067 procedure Set_Statements
6068 (N : Node_Id; Val : List_Id) is
6070 pragma Assert (False
6071 or else NT (N).Nkind = N_Abortable_Part
6072 or else NT (N).Nkind = N_Accept_Alternative
6073 or else NT (N).Nkind = N_Case_Statement_Alternative
6074 or else NT (N).Nkind = N_Delay_Alternative
6075 or else NT (N).Nkind = N_Entry_Call_Alternative
6076 or else NT (N).Nkind = N_Exception_Handler
6077 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6078 or else NT (N).Nkind = N_Loop_Statement
6079 or else NT (N).Nkind = N_Triggering_Alternative);
6080 Set_List3_With_Parent (N, Val);
6083 procedure Set_Storage_Pool
6084 (N : Node_Id; Val : Node_Id) is
6086 pragma Assert (False
6087 or else NT (N).Nkind = N_Allocator
6088 or else NT (N).Nkind = N_Extended_Return_Statement
6089 or else NT (N).Nkind = N_Free_Statement
6090 or else NT (N).Nkind = N_Simple_Return_Statement);
6091 Set_Node1 (N, Val); -- semantic field, no parent set
6092 end Set_Storage_Pool;
6094 procedure Set_Subpool_Handle_Name
6095 (N : Node_Id; Val : Node_Id) is
6097 pragma Assert (False
6098 or else NT (N).Nkind = N_Allocator);
6099 Set_Node4_With_Parent (N, Val);
6100 end Set_Subpool_Handle_Name;
6102 procedure Set_Strval
6103 (N : Node_Id; Val : String_Id) is
6105 pragma Assert (False
6106 or else NT (N).Nkind = N_Operator_Symbol
6107 or else NT (N).Nkind = N_String_Literal);
6111 procedure Set_Subtype_Indication
6112 (N : Node_Id; Val : Node_Id) is
6114 pragma Assert (False
6115 or else NT (N).Nkind = N_Access_To_Object_Definition
6116 or else NT (N).Nkind = N_Component_Definition
6117 or else NT (N).Nkind = N_Derived_Type_Definition
6118 or else NT (N).Nkind = N_Iterator_Specification
6119 or else NT (N).Nkind = N_Private_Extension_Declaration
6120 or else NT (N).Nkind = N_Subtype_Declaration);
6121 Set_Node5_With_Parent (N, Val);
6122 end Set_Subtype_Indication;
6124 procedure Set_Subtype_Mark
6125 (N : Node_Id; Val : Node_Id) is
6127 pragma Assert (False
6128 or else NT (N).Nkind = N_Access_Definition
6129 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6130 or else NT (N).Nkind = N_Formal_Object_Declaration
6131 or else NT (N).Nkind = N_Object_Renaming_Declaration
6132 or else NT (N).Nkind = N_Qualified_Expression
6133 or else NT (N).Nkind = N_Subtype_Indication
6134 or else NT (N).Nkind = N_Type_Conversion
6135 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6136 Set_Node4_With_Parent (N, Val);
6137 end Set_Subtype_Mark;
6139 procedure Set_Subtype_Marks
6140 (N : Node_Id; Val : List_Id) is
6142 pragma Assert (False
6143 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6144 or else NT (N).Nkind = N_Use_Type_Clause);
6145 Set_List2_With_Parent (N, Val);
6146 end Set_Subtype_Marks;
6148 procedure Set_Suppress_Assignment_Checks
6149 (N : Node_Id; Val : Boolean := True) is
6151 pragma Assert (False
6152 or else NT (N).Nkind = N_Assignment_Statement
6153 or else NT (N).Nkind = N_Object_Declaration);
6154 Set_Flag18 (N, Val);
6155 end Set_Suppress_Assignment_Checks;
6157 procedure Set_Suppress_Loop_Warnings
6158 (N : Node_Id; Val : Boolean := True) is
6160 pragma Assert (False
6161 or else NT (N).Nkind = N_Loop_Statement);
6162 Set_Flag17 (N, Val);
6163 end Set_Suppress_Loop_Warnings;
6165 procedure Set_Synchronized_Present
6166 (N : Node_Id; Val : Boolean := True) is
6168 pragma Assert (False
6169 or else NT (N).Nkind = N_Derived_Type_Definition
6170 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6171 or else NT (N).Nkind = N_Private_Extension_Declaration
6172 or else NT (N).Nkind = N_Record_Definition);
6174 end Set_Synchronized_Present;
6176 procedure Set_Tagged_Present
6177 (N : Node_Id; Val : Boolean := True) is
6179 pragma Assert (False
6180 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6181 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6182 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6183 or else NT (N).Nkind = N_Private_Type_Declaration
6184 or else NT (N).Nkind = N_Record_Definition);
6185 Set_Flag15 (N, Val);
6186 end Set_Tagged_Present;
6188 procedure Set_Target_Type
6189 (N : Node_Id; Val : Entity_Id) is
6191 pragma Assert (False
6192 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6193 Set_Node2 (N, Val); -- semantic field, no parent set
6194 end Set_Target_Type;
6196 procedure Set_Task_Definition
6197 (N : Node_Id; Val : Node_Id) is
6199 pragma Assert (False
6200 or else NT (N).Nkind = N_Single_Task_Declaration
6201 or else NT (N).Nkind = N_Task_Type_Declaration);
6202 Set_Node3_With_Parent (N, Val);
6203 end Set_Task_Definition;
6205 procedure Set_Task_Present
6206 (N : Node_Id; Val : Boolean := True) is
6208 pragma Assert (False
6209 or else NT (N).Nkind = N_Derived_Type_Definition
6210 or else NT (N).Nkind = N_Record_Definition);
6212 end Set_Task_Present;
6214 procedure Set_Then_Actions
6215 (N : Node_Id; Val : List_Id) is
6217 pragma Assert (False
6218 or else NT (N).Nkind = N_If_Expression);
6219 Set_List2 (N, Val); -- semantic field, no parent set
6220 end Set_Then_Actions;
6222 procedure Set_Then_Statements
6223 (N : Node_Id; Val : List_Id) is
6225 pragma Assert (False
6226 or else NT (N).Nkind = N_Elsif_Part
6227 or else NT (N).Nkind = N_If_Statement);
6228 Set_List2_With_Parent (N, Val);
6229 end Set_Then_Statements;
6231 procedure Set_Treat_Fixed_As_Integer
6232 (N : Node_Id; Val : Boolean := True) is
6234 pragma Assert (False
6235 or else NT (N).Nkind = N_Op_Divide
6236 or else NT (N).Nkind = N_Op_Mod
6237 or else NT (N).Nkind = N_Op_Multiply
6238 or else NT (N).Nkind = N_Op_Rem);
6239 Set_Flag14 (N, Val);
6240 end Set_Treat_Fixed_As_Integer;
6242 procedure Set_Triggering_Alternative
6243 (N : Node_Id; Val : Node_Id) is
6245 pragma Assert (False
6246 or else NT (N).Nkind = N_Asynchronous_Select);
6247 Set_Node1_With_Parent (N, Val);
6248 end Set_Triggering_Alternative;
6250 procedure Set_Triggering_Statement
6251 (N : Node_Id; Val : Node_Id) is
6253 pragma Assert (False
6254 or else NT (N).Nkind = N_Triggering_Alternative);
6255 Set_Node1_With_Parent (N, Val);
6256 end Set_Triggering_Statement;
6258 procedure Set_TSS_Elist
6259 (N : Node_Id; Val : Elist_Id) is
6261 pragma Assert (False
6262 or else NT (N).Nkind = N_Freeze_Entity);
6263 Set_Elist3 (N, Val); -- semantic field, no parent set
6266 procedure Set_Type_Definition
6267 (N : Node_Id; Val : Node_Id) is
6269 pragma Assert (False
6270 or else NT (N).Nkind = N_Full_Type_Declaration);
6271 Set_Node3_With_Parent (N, Val);
6272 end Set_Type_Definition;
6275 (N : Node_Id; Val : Node_Id) is
6277 pragma Assert (False
6278 or else NT (N).Nkind = N_Compilation_Unit);
6279 Set_Node2_With_Parent (N, Val);
6282 procedure Set_Unknown_Discriminants_Present
6283 (N : Node_Id; Val : Boolean := True) is
6285 pragma Assert (False
6286 or else NT (N).Nkind = N_Formal_Type_Declaration
6287 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6288 or else NT (N).Nkind = N_Private_Extension_Declaration
6289 or else NT (N).Nkind = N_Private_Type_Declaration);
6290 Set_Flag13 (N, Val);
6291 end Set_Unknown_Discriminants_Present;
6293 procedure Set_Unreferenced_In_Spec
6294 (N : Node_Id; Val : Boolean := True) is
6296 pragma Assert (False
6297 or else NT (N).Nkind = N_With_Clause);
6299 end Set_Unreferenced_In_Spec;
6301 procedure Set_Variant_Part
6302 (N : Node_Id; Val : Node_Id) is
6304 pragma Assert (False
6305 or else NT (N).Nkind = N_Component_List);
6306 Set_Node4_With_Parent (N, Val);
6307 end Set_Variant_Part;
6309 procedure Set_Variants
6310 (N : Node_Id; Val : List_Id) is
6312 pragma Assert (False
6313 or else NT (N).Nkind = N_Variant_Part);
6314 Set_List1_With_Parent (N, Val);
6317 procedure Set_Visible_Declarations
6318 (N : Node_Id; Val : List_Id) is
6320 pragma Assert (False
6321 or else NT (N).Nkind = N_Package_Specification
6322 or else NT (N).Nkind = N_Protected_Definition
6323 or else NT (N).Nkind = N_Task_Definition);
6324 Set_List2_With_Parent (N, Val);
6325 end Set_Visible_Declarations;
6327 procedure Set_Uninitialized_Variable
6328 (N : Node_Id; Val : Node_Id) is
6330 pragma Assert (False
6331 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6332 or else NT (N).Nkind = N_Private_Extension_Declaration);
6334 end Set_Uninitialized_Variable;
6336 procedure Set_Used_Operations
6337 (N : Node_Id; Val : Elist_Id) is
6339 pragma Assert (False
6340 or else NT (N).Nkind = N_Use_Type_Clause);
6341 Set_Elist5 (N, Val);
6342 end Set_Used_Operations;
6344 procedure Set_Was_Originally_Stub
6345 (N : Node_Id; Val : Boolean := True) is
6347 pragma Assert (False
6348 or else NT (N).Nkind = N_Package_Body
6349 or else NT (N).Nkind = N_Protected_Body
6350 or else NT (N).Nkind = N_Subprogram_Body
6351 or else NT (N).Nkind = N_Task_Body);
6352 Set_Flag13 (N, Val);
6353 end Set_Was_Originally_Stub;
6355 procedure Set_Withed_Body
6356 (N : Node_Id; Val : Node_Id) is
6358 pragma Assert (False
6359 or else NT (N).Nkind = N_With_Clause);
6361 end Set_Withed_Body;
6363 -------------------------
6364 -- Iterator Procedures --
6365 -------------------------
6367 procedure Next_Entity (N : in out Node_Id) is
6369 N := Next_Entity (N);
6372 procedure Next_Named_Actual (N : in out Node_Id) is
6374 N := Next_Named_Actual (N);
6375 end Next_Named_Actual;
6377 procedure Next_Rep_Item (N : in out Node_Id) is
6379 N := Next_Rep_Item (N);
6382 procedure Next_Use_Clause (N : in out Node_Id) is
6384 N := Next_Use_Clause (N);
6385 end Next_Use_Clause;
6391 function End_Location (N : Node_Id) return Source_Ptr is
6392 L : constant Uint := End_Span (N);
6397 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6401 --------------------
6402 -- Get_Pragma_Arg --
6403 --------------------
6405 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6407 if Nkind (Arg) = N_Pragma_Argument_Association then
6408 return Expression (Arg);
6414 ----------------------
6415 -- Set_End_Location --
6416 ----------------------
6418 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6421 UI_From_Int (Int (S) - Int (Sloc (N))));
6422 end Set_End_Location;
6431 V2 : Node_Kind) return Boolean
6434 return T = V1 or else
6442 V3 : Node_Kind) return Boolean
6445 return T = V1 or else
6455 V4 : Node_Kind) return Boolean
6458 return T = V1 or else
6470 V5 : Node_Kind) return Boolean
6473 return T = V1 or else
6487 V6 : Node_Kind) return Boolean
6490 return T = V1 or else
6506 V7 : Node_Kind) return Boolean
6509 return T = V1 or else
6527 V8 : Node_Kind) return Boolean
6530 return T = V1 or else
6550 V9 : Node_Kind) return Boolean
6553 return T = V1 or else
6568 function Pragma_Name (N : Node_Id) return Name_Id is
6570 return Chars (Pragma_Identifier (N));