1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2021, 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. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 with Atree; use Atree;
30 use Atree.Unchecked_Access;
31 -- This package is one of the few packages which is allowed to make direct
32 -- references to tree nodes (since it is in the business of providing a
33 -- higher level of tree access which other clients are expected to use and
34 -- which implements checks).
36 use Atree_Private_Part;
37 -- The only reason that we ask for direct access to the private part of
38 -- the tree package is so that we can directly reference the Nkind field
39 -- of nodes table entries. We do this since it helps the efficiency of
40 -- the Sinfo debugging checks considerably (note that when we are checking
41 -- Nkind values, we don't need to check for a valid node reference, because
42 -- we will check that anyway when we reference the field).
44 NT : Nodes.Table_Ptr renames Nodes.Table;
45 -- A short hand abbreviation, useful for the debugging checks
47 ----------------------------
48 -- Field Access Functions --
49 ----------------------------
51 -- Note: The use of Assert (False or else ...) is just a device to allow
52 -- uniform format of the conditions following this. Note that csinfo
53 -- expects this uniform format.
55 function Abort_Present
56 (N : Node_Id) return Boolean is
59 or else NT (N).Nkind = N_Requeue_Statement);
63 function Abortable_Part
64 (N : Node_Id) return Node_Id is
67 or else NT (N).Nkind = N_Asynchronous_Select);
71 function Abstract_Present
72 (N : Node_Id) return Boolean is
75 or else NT (N).Nkind = N_Derived_Type_Definition
76 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
77 or else NT (N).Nkind = N_Formal_Private_Type_Definition
78 or else NT (N).Nkind = N_Private_Extension_Declaration
79 or else NT (N).Nkind = N_Private_Type_Declaration
80 or else NT (N).Nkind = N_Record_Definition);
84 function Accept_Handler_Records
85 (N : Node_Id) return List_Id is
88 or else NT (N).Nkind = N_Accept_Alternative);
90 end Accept_Handler_Records;
92 function Accept_Statement
93 (N : Node_Id) return Node_Id is
96 or else NT (N).Nkind = N_Accept_Alternative);
100 function Access_Definition
101 (N : Node_Id) return Node_Id is
104 or else NT (N).Nkind = N_Component_Definition
105 or else NT (N).Nkind = N_Formal_Object_Declaration
106 or else NT (N).Nkind = N_Object_Renaming_Declaration);
108 end Access_Definition;
110 function Access_To_Subprogram_Definition
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Access_Definition);
116 end Access_To_Subprogram_Definition;
118 function Access_Types_To_Process
119 (N : Node_Id) return Elist_Id is
122 or else NT (N).Nkind = N_Freeze_Entity);
124 end Access_Types_To_Process;
127 (N : Node_Id) return List_Id is
130 or else NT (N).Nkind = N_And_Then
131 or else NT (N).Nkind = N_Case_Expression_Alternative
132 or else NT (N).Nkind = N_Compilation_Unit_Aux
133 or else NT (N).Nkind = N_Compound_Statement
134 or else NT (N).Nkind = N_Expression_With_Actions
135 or else NT (N).Nkind = N_Freeze_Entity
136 or else NT (N).Nkind = N_Or_Else);
140 function Activation_Chain_Entity
141 (N : Node_Id) return Node_Id is
144 or else NT (N).Nkind = N_Block_Statement
145 or else NT (N).Nkind = N_Entry_Body
146 or else NT (N).Nkind = N_Generic_Package_Declaration
147 or else NT (N).Nkind = N_Package_Declaration
148 or else NT (N).Nkind = N_Subprogram_Body
149 or else NT (N).Nkind = N_Task_Body);
151 end Activation_Chain_Entity;
153 function Acts_As_Spec
154 (N : Node_Id) return Boolean is
157 or else NT (N).Nkind = N_Compilation_Unit
158 or else NT (N).Nkind = N_Subprogram_Body);
162 function Actual_Designated_Subtype
163 (N : Node_Id) return Node_Id is
166 or else NT (N).Nkind = N_Explicit_Dereference
167 or else NT (N).Nkind = N_Free_Statement);
169 end Actual_Designated_Subtype;
171 function Address_Warning_Posted
172 (N : Node_Id) return Boolean is
175 or else NT (N).Nkind = N_Attribute_Definition_Clause);
177 end Address_Warning_Posted;
179 function Aggregate_Bounds
180 (N : Node_Id) return Node_Id is
183 or else NT (N).Nkind = N_Aggregate);
185 end Aggregate_Bounds;
187 function Aliased_Present
188 (N : Node_Id) return Boolean is
191 or else NT (N).Nkind = N_Component_Definition
192 or else NT (N).Nkind = N_Object_Declaration
193 or else NT (N).Nkind = N_Parameter_Specification);
197 function Alloc_For_BIP_Return
198 (N : Node_Id) return Boolean is
201 or else NT (N).Nkind = N_Allocator);
203 end Alloc_For_BIP_Return;
206 (N : Node_Id) return Boolean is
209 or else NT (N).Nkind = N_Others_Choice);
214 (N : Node_Id) return Boolean is
217 or else NT (N).Nkind = N_Access_Definition
218 or else NT (N).Nkind = N_Access_To_Object_Definition
219 or else NT (N).Nkind = N_Quantified_Expression
220 or else NT (N).Nkind = N_Use_Type_Clause);
224 function Alternatives
225 (N : Node_Id) return List_Id is
228 or else NT (N).Nkind = N_Case_Expression
229 or else NT (N).Nkind = N_Case_Statement
230 or else NT (N).Nkind = N_In
231 or else NT (N).Nkind = N_Not_In);
235 function Ancestor_Part
236 (N : Node_Id) return Node_Id is
239 or else NT (N).Nkind = N_Extension_Aggregate);
243 function Atomic_Sync_Required
244 (N : Node_Id) return Boolean is
247 or else NT (N).Nkind = N_Expanded_Name
248 or else NT (N).Nkind = N_Explicit_Dereference
249 or else NT (N).Nkind = N_Identifier
250 or else NT (N).Nkind = N_Indexed_Component
251 or else NT (N).Nkind = N_Selected_Component);
253 end Atomic_Sync_Required;
255 function Array_Aggregate
256 (N : Node_Id) return Node_Id is
259 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
263 function Aspect_On_Partial_View
264 (N : Node_Id) return Boolean is
267 or else NT (N).Nkind = N_Aspect_Specification);
269 end Aspect_On_Partial_View;
271 function Aspect_Rep_Item
272 (N : Node_Id) return Node_Id is
275 or else NT (N).Nkind = N_Aspect_Specification);
279 function Assignment_OK
280 (N : Node_Id) return Boolean is
283 or else NT (N).Nkind = N_Object_Declaration
284 or else NT (N).Nkind in N_Subexpr);
288 function Associated_Node
289 (N : Node_Id) return Node_Id is
292 or else NT (N).Nkind in N_Has_Entity
293 or else NT (N).Nkind = N_Aggregate
294 or else NT (N).Nkind = N_Extension_Aggregate
295 or else NT (N).Nkind = N_Selected_Component
296 or else NT (N).Nkind = N_Use_Package_Clause);
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
365 or else NT (N).Nkind = N_Iterated_Component_Association
366 or else NT (N).Nkind = N_Iterated_Element_Association);
371 (N : Node_Id) return Boolean is
374 or else NT (N).Nkind = N_Extended_Return_Statement
375 or else NT (N).Nkind = N_Simple_Return_Statement);
379 function Char_Literal_Value
380 (N : Node_Id) return Uint is
383 or else NT (N).Nkind = N_Character_Literal);
385 end Char_Literal_Value;
388 (N : Node_Id) return Name_Id is
391 or else NT (N).Nkind in N_Has_Chars);
395 function Check_Address_Alignment
396 (N : Node_Id) return Boolean is
399 or else NT (N).Nkind = N_Attribute_Definition_Clause);
401 end Check_Address_Alignment;
403 function Choice_Parameter
404 (N : Node_Id) return Node_Id is
407 or else NT (N).Nkind = N_Exception_Handler);
409 end Choice_Parameter;
412 (N : Node_Id) return List_Id is
415 or else NT (N).Nkind = N_Component_Association);
419 function Class_Present
420 (N : Node_Id) return Boolean is
423 or else NT (N).Nkind = N_Aspect_Specification
424 or else NT (N).Nkind = N_Pragma);
428 function Classifications
429 (N : Node_Id) return Node_Id is
432 or else NT (N).Nkind = N_Contract);
436 function Cleanup_Actions
437 (N : Node_Id) return List_Id is
440 or else NT (N).Nkind = N_Block_Statement);
444 function Comes_From_Extended_Return_Statement
445 (N : Node_Id) return Boolean is
448 or else NT (N).Nkind = N_Simple_Return_Statement);
450 end Comes_From_Extended_Return_Statement;
452 function Compile_Time_Known_Aggregate
453 (N : Node_Id) return Boolean is
456 or else NT (N).Nkind = N_Aggregate);
458 end Compile_Time_Known_Aggregate;
460 function Component_Associations
461 (N : Node_Id) return List_Id is
464 or else NT (N).Nkind = N_Aggregate
465 or else NT (N).Nkind = N_Delta_Aggregate
466 or else NT (N).Nkind = N_Extension_Aggregate);
468 end Component_Associations;
470 function Component_Clauses
471 (N : Node_Id) return List_Id is
474 or else NT (N).Nkind = N_Record_Representation_Clause);
476 end Component_Clauses;
478 function Component_Definition
479 (N : Node_Id) return Node_Id is
482 or else NT (N).Nkind = N_Component_Declaration
483 or else NT (N).Nkind = N_Constrained_Array_Definition
484 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
486 end Component_Definition;
488 function Component_Items
489 (N : Node_Id) return List_Id is
492 or else NT (N).Nkind = N_Component_List);
496 function Component_List
497 (N : Node_Id) return Node_Id is
500 or else NT (N).Nkind = N_Record_Definition
501 or else NT (N).Nkind = N_Variant);
505 function Component_Name
506 (N : Node_Id) return Node_Id is
509 or else NT (N).Nkind = N_Component_Clause);
513 function Componentwise_Assignment
514 (N : Node_Id) return Boolean is
517 or else NT (N).Nkind = N_Assignment_Statement);
519 end Componentwise_Assignment;
522 (N : Node_Id) return Node_Id is
525 or else NT (N).Nkind = N_Accept_Alternative
526 or else NT (N).Nkind = N_Delay_Alternative
527 or else NT (N).Nkind = N_Elsif_Part
528 or else NT (N).Nkind = N_Entry_Body_Formal_Part
529 or else NT (N).Nkind = N_Exit_Statement
530 or else NT (N).Nkind = N_If_Statement
531 or else NT (N).Nkind = N_Iteration_Scheme
532 or else NT (N).Nkind = N_Quantified_Expression
533 or else NT (N).Nkind = N_Raise_Constraint_Error
534 or else NT (N).Nkind = N_Raise_Program_Error
535 or else NT (N).Nkind = N_Raise_Storage_Error
536 or else NT (N).Nkind = N_Terminate_Alternative);
540 function Condition_Actions
541 (N : Node_Id) return List_Id is
544 or else NT (N).Nkind = N_Elsif_Part
545 or else NT (N).Nkind = N_Iteration_Scheme);
547 end Condition_Actions;
549 function Config_Pragmas
550 (N : Node_Id) return List_Id is
553 or else NT (N).Nkind = N_Compilation_Unit_Aux);
557 function Constant_Present
558 (N : Node_Id) return Boolean is
561 or else NT (N).Nkind = N_Access_Definition
562 or else NT (N).Nkind = N_Access_To_Object_Definition
563 or else NT (N).Nkind = N_Object_Declaration);
565 end Constant_Present;
568 (N : Node_Id) return Node_Id is
571 or else NT (N).Nkind = N_Subtype_Indication);
576 (N : Node_Id) return List_Id is
579 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
583 function Context_Installed
584 (N : Node_Id) return Boolean is
587 or else NT (N).Nkind = N_With_Clause);
589 end Context_Installed;
591 function Context_Items
592 (N : Node_Id) return List_Id is
595 or else NT (N).Nkind = N_Compilation_Unit);
599 function Context_Pending
600 (N : Node_Id) return Boolean is
603 or else NT (N).Nkind = N_Compilation_Unit);
607 function Contract_Test_Cases
608 (N : Node_Id) return Node_Id is
611 or else NT (N).Nkind = N_Contract);
613 end Contract_Test_Cases;
615 function Controlling_Argument
616 (N : Node_Id) return Node_Id is
619 or else NT (N).Nkind = N_Function_Call
620 or else NT (N).Nkind = N_Procedure_Call_Statement);
622 end Controlling_Argument;
624 function Conversion_OK
625 (N : Node_Id) return Boolean is
628 or else NT (N).Nkind = N_Type_Conversion);
632 function Convert_To_Return_False
633 (N : Node_Id) return Boolean is
636 or else NT (N).Nkind = N_Raise_Expression);
638 end Convert_To_Return_False;
640 function Corresponding_Aspect
641 (N : Node_Id) return Node_Id is
644 or else NT (N).Nkind = N_Pragma);
646 end Corresponding_Aspect;
648 function Corresponding_Body
649 (N : Node_Id) return Node_Id is
652 or else NT (N).Nkind = N_Entry_Declaration
653 or else NT (N).Nkind = N_Generic_Package_Declaration
654 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
655 or else NT (N).Nkind = N_Package_Body_Stub
656 or else NT (N).Nkind = N_Package_Declaration
657 or else NT (N).Nkind = N_Protected_Body_Stub
658 or else NT (N).Nkind = N_Protected_Type_Declaration
659 or else NT (N).Nkind = N_Subprogram_Body_Stub
660 or else NT (N).Nkind = N_Subprogram_Declaration
661 or else NT (N).Nkind = N_Task_Body_Stub
662 or else NT (N).Nkind = N_Task_Type_Declaration);
664 end Corresponding_Body;
666 function Corresponding_Formal_Spec
667 (N : Node_Id) return Node_Id is
670 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
672 end Corresponding_Formal_Spec;
674 function Corresponding_Generic_Association
675 (N : Node_Id) return Node_Id is
678 or else NT (N).Nkind = N_Object_Declaration
679 or else NT (N).Nkind = N_Object_Renaming_Declaration);
681 end Corresponding_Generic_Association;
683 function Corresponding_Integer_Value
684 (N : Node_Id) return Uint is
687 or else NT (N).Nkind = N_Real_Literal);
689 end Corresponding_Integer_Value;
691 function Corresponding_Spec
692 (N : Node_Id) return Entity_Id is
695 or else NT (N).Nkind = N_Expression_Function
696 or else NT (N).Nkind = N_Package_Body
697 or else NT (N).Nkind = N_Protected_Body
698 or else NT (N).Nkind = N_Subprogram_Body
699 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
700 or else NT (N).Nkind = N_Task_Body
701 or else NT (N).Nkind = N_With_Clause);
703 end Corresponding_Spec;
705 function Corresponding_Spec_Of_Stub
706 (N : Node_Id) return Entity_Id is
709 or else NT (N).Nkind = N_Package_Body_Stub
710 or else NT (N).Nkind = N_Protected_Body_Stub
711 or else NT (N).Nkind = N_Subprogram_Body_Stub
712 or else NT (N).Nkind = N_Task_Body_Stub);
714 end Corresponding_Spec_Of_Stub;
716 function Corresponding_Stub
717 (N : Node_Id) return Node_Id is
720 or else NT (N).Nkind = N_Subunit);
722 end Corresponding_Stub;
724 function Dcheck_Function
725 (N : Node_Id) return Entity_Id is
728 or else NT (N).Nkind = N_Variant);
732 function Declarations
733 (N : Node_Id) return List_Id is
736 or else NT (N).Nkind = N_Accept_Statement
737 or else NT (N).Nkind = N_Block_Statement
738 or else NT (N).Nkind = N_Compilation_Unit_Aux
739 or else NT (N).Nkind = N_Entry_Body
740 or else NT (N).Nkind = N_Package_Body
741 or else NT (N).Nkind = N_Protected_Body
742 or else NT (N).Nkind = N_Subprogram_Body
743 or else NT (N).Nkind = N_Task_Body);
747 function Default_Expression
748 (N : Node_Id) return Node_Id is
751 or else NT (N).Nkind = N_Formal_Object_Declaration
752 or else NT (N).Nkind = N_Parameter_Specification);
754 end Default_Expression;
756 function Default_Storage_Pool
757 (N : Node_Id) return Node_Id is
760 or else NT (N).Nkind = N_Compilation_Unit_Aux);
762 end Default_Storage_Pool;
764 function Default_Name
765 (N : Node_Id) return Node_Id is
768 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
769 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
773 function Defining_Identifier
774 (N : Node_Id) return Entity_Id is
777 or else NT (N).Nkind = N_Component_Declaration
778 or else NT (N).Nkind = N_Defining_Program_Unit_Name
779 or else NT (N).Nkind = N_Discriminant_Specification
780 or else NT (N).Nkind = N_Entry_Body
781 or else NT (N).Nkind = N_Entry_Declaration
782 or else NT (N).Nkind = N_Entry_Index_Specification
783 or else NT (N).Nkind = N_Exception_Declaration
784 or else NT (N).Nkind = N_Exception_Renaming_Declaration
785 or else NT (N).Nkind = N_Formal_Object_Declaration
786 or else NT (N).Nkind = N_Formal_Package_Declaration
787 or else NT (N).Nkind = N_Formal_Type_Declaration
788 or else NT (N).Nkind = N_Full_Type_Declaration
789 or else NT (N).Nkind = N_Implicit_Label_Declaration
790 or else NT (N).Nkind = N_Incomplete_Type_Declaration
791 or else NT (N).Nkind = N_Iterated_Component_Association
792 or else NT (N).Nkind = N_Iterator_Specification
793 or else NT (N).Nkind = N_Loop_Parameter_Specification
794 or else NT (N).Nkind = N_Number_Declaration
795 or else NT (N).Nkind = N_Object_Declaration
796 or else NT (N).Nkind = N_Object_Renaming_Declaration
797 or else NT (N).Nkind = N_Package_Body_Stub
798 or else NT (N).Nkind = N_Parameter_Specification
799 or else NT (N).Nkind = N_Private_Extension_Declaration
800 or else NT (N).Nkind = N_Private_Type_Declaration
801 or else NT (N).Nkind = N_Protected_Body
802 or else NT (N).Nkind = N_Protected_Body_Stub
803 or else NT (N).Nkind = N_Protected_Type_Declaration
804 or else NT (N).Nkind = N_Single_Protected_Declaration
805 or else NT (N).Nkind = N_Single_Task_Declaration
806 or else NT (N).Nkind = N_Subtype_Declaration
807 or else NT (N).Nkind = N_Task_Body
808 or else NT (N).Nkind = N_Task_Body_Stub
809 or else NT (N).Nkind = N_Task_Type_Declaration);
811 end Defining_Identifier;
813 function Defining_Unit_Name
814 (N : Node_Id) return Node_Id is
817 or else NT (N).Nkind = N_Function_Instantiation
818 or else NT (N).Nkind = N_Function_Specification
819 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
820 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
821 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
822 or else NT (N).Nkind = N_Package_Body
823 or else NT (N).Nkind = N_Package_Instantiation
824 or else NT (N).Nkind = N_Package_Renaming_Declaration
825 or else NT (N).Nkind = N_Package_Specification
826 or else NT (N).Nkind = N_Procedure_Instantiation
827 or else NT (N).Nkind = N_Procedure_Specification);
829 end Defining_Unit_Name;
831 function Delay_Alternative
832 (N : Node_Id) return Node_Id is
835 or else NT (N).Nkind = N_Timed_Entry_Call);
837 end Delay_Alternative;
839 function Delay_Statement
840 (N : Node_Id) return Node_Id is
843 or else NT (N).Nkind = N_Delay_Alternative);
847 function Delta_Expression
848 (N : Node_Id) return Node_Id is
851 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
852 or else NT (N).Nkind = N_Delta_Constraint
853 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
855 end Delta_Expression;
857 function Digits_Expression
858 (N : Node_Id) return Node_Id is
861 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
862 or else NT (N).Nkind = N_Digits_Constraint
863 or else NT (N).Nkind = N_Floating_Point_Definition);
865 end Digits_Expression;
867 function Discr_Check_Funcs_Built
868 (N : Node_Id) return Boolean is
871 or else NT (N).Nkind = N_Full_Type_Declaration);
873 end Discr_Check_Funcs_Built;
875 function Discrete_Choices
876 (N : Node_Id) return List_Id is
879 or else NT (N).Nkind = N_Case_Expression_Alternative
880 or else NT (N).Nkind = N_Case_Statement_Alternative
881 or else NT (N).Nkind = N_Iterated_Component_Association
882 or else NT (N).Nkind = N_Variant);
884 end Discrete_Choices;
886 function Discrete_Range
887 (N : Node_Id) return Node_Id is
890 or else NT (N).Nkind = N_Slice);
894 function Discrete_Subtype_Definition
895 (N : Node_Id) return Node_Id is
898 or else NT (N).Nkind = N_Entry_Declaration
899 or else NT (N).Nkind = N_Entry_Index_Specification
900 or else NT (N).Nkind = N_Loop_Parameter_Specification);
902 end Discrete_Subtype_Definition;
904 function Discrete_Subtype_Definitions
905 (N : Node_Id) return List_Id is
908 or else NT (N).Nkind = N_Constrained_Array_Definition);
910 end Discrete_Subtype_Definitions;
912 function Discriminant_Specifications
913 (N : Node_Id) return List_Id is
916 or else NT (N).Nkind = N_Formal_Type_Declaration
917 or else NT (N).Nkind = N_Full_Type_Declaration
918 or else NT (N).Nkind = N_Incomplete_Type_Declaration
919 or else NT (N).Nkind = N_Private_Extension_Declaration
920 or else NT (N).Nkind = N_Private_Type_Declaration
921 or else NT (N).Nkind = N_Protected_Type_Declaration
922 or else NT (N).Nkind = N_Task_Type_Declaration);
924 end Discriminant_Specifications;
926 function Discriminant_Type
927 (N : Node_Id) return Node_Id is
930 or else NT (N).Nkind = N_Discriminant_Specification);
932 end Discriminant_Type;
934 function Do_Accessibility_Check
935 (N : Node_Id) return Boolean is
938 or else NT (N).Nkind = N_Parameter_Specification);
940 end Do_Accessibility_Check;
942 function Do_Discriminant_Check
943 (N : Node_Id) return Boolean is
946 or else NT (N).Nkind = N_Assignment_Statement
947 or else NT (N).Nkind = N_Selected_Component
948 or else NT (N).Nkind = N_Type_Conversion);
950 end Do_Discriminant_Check;
952 function Do_Division_Check
953 (N : Node_Id) return Boolean is
956 or else NT (N).Nkind = N_Op_Divide
957 or else NT (N).Nkind = N_Op_Mod
958 or else NT (N).Nkind = N_Op_Rem);
960 end Do_Division_Check;
962 function Do_Length_Check
963 (N : Node_Id) return Boolean is
966 or else NT (N).Nkind = N_Assignment_Statement
967 or else NT (N).Nkind = N_Op_And
968 or else NT (N).Nkind = N_Op_Or
969 or else NT (N).Nkind = N_Op_Xor
970 or else NT (N).Nkind = N_Type_Conversion);
974 function Do_Overflow_Check
975 (N : Node_Id) return Boolean is
978 or else NT (N).Nkind in N_Op
979 or else NT (N).Nkind = N_Attribute_Reference
980 or else NT (N).Nkind = N_Case_Expression
981 or else NT (N).Nkind = N_If_Expression
982 or else NT (N).Nkind = N_Type_Conversion);
984 end Do_Overflow_Check;
986 function Do_Range_Check
987 (N : Node_Id) return Boolean is
990 or else NT (N).Nkind in N_Subexpr);
994 function Do_Storage_Check
995 (N : Node_Id) return Boolean is
998 or else NT (N).Nkind = N_Allocator
999 or else NT (N).Nkind = N_Subprogram_Body);
1001 end Do_Storage_Check;
1003 function Do_Tag_Check
1004 (N : Node_Id) return Boolean is
1006 pragma Assert (False
1007 or else NT (N).Nkind = N_Assignment_Statement
1008 or else NT (N).Nkind = N_Extended_Return_Statement
1009 or else NT (N).Nkind = N_Function_Call
1010 or else NT (N).Nkind = N_Procedure_Call_Statement
1011 or else NT (N).Nkind = N_Simple_Return_Statement
1012 or else NT (N).Nkind = N_Type_Conversion);
1016 function Elaborate_All_Desirable
1017 (N : Node_Id) return Boolean is
1019 pragma Assert (False
1020 or else NT (N).Nkind = N_With_Clause);
1022 end Elaborate_All_Desirable;
1024 function Elaborate_All_Present
1025 (N : Node_Id) return Boolean is
1027 pragma Assert (False
1028 or else NT (N).Nkind = N_With_Clause);
1030 end Elaborate_All_Present;
1032 function Elaborate_Desirable
1033 (N : Node_Id) return Boolean is
1035 pragma Assert (False
1036 or else NT (N).Nkind = N_With_Clause);
1038 end Elaborate_Desirable;
1040 function Elaborate_Present
1041 (N : Node_Id) return Boolean is
1043 pragma Assert (False
1044 or else NT (N).Nkind = N_With_Clause);
1046 end Elaborate_Present;
1048 function Else_Actions
1049 (N : Node_Id) return List_Id is
1051 pragma Assert (False
1052 or else NT (N).Nkind = N_If_Expression);
1056 function Else_Statements
1057 (N : Node_Id) return List_Id is
1059 pragma Assert (False
1060 or else NT (N).Nkind = N_Conditional_Entry_Call
1061 or else NT (N).Nkind = N_If_Statement
1062 or else NT (N).Nkind = N_Selective_Accept);
1064 end Else_Statements;
1066 function Elsif_Parts
1067 (N : Node_Id) return List_Id is
1069 pragma Assert (False
1070 or else NT (N).Nkind = N_If_Statement);
1074 function Enclosing_Variant
1075 (N : Node_Id) return Node_Id is
1077 pragma Assert (False
1078 or else NT (N).Nkind = N_Variant);
1080 end Enclosing_Variant;
1083 (N : Node_Id) return Node_Id is
1085 pragma Assert (False
1086 or else NT (N).Nkind = N_Enumeration_Type_Definition
1087 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1088 or else NT (N).Nkind = N_Loop_Statement
1089 or else NT (N).Nkind = N_Package_Specification
1090 or else NT (N).Nkind = N_Protected_Body
1091 or else NT (N).Nkind = N_Protected_Definition
1092 or else NT (N).Nkind = N_Record_Definition
1093 or else NT (N).Nkind = N_Task_Definition);
1098 (N : Node_Id) return Uint is
1100 pragma Assert (False
1101 or else NT (N).Nkind = N_Case_Statement
1102 or else NT (N).Nkind = N_If_Statement);
1107 (N : Node_Id) return Node_Id is
1109 pragma Assert (False
1110 or else NT (N).Nkind in N_Has_Entity
1111 or else NT (N).Nkind = N_Aspect_Specification
1112 or else NT (N).Nkind = N_Attribute_Definition_Clause
1113 or else NT (N).Nkind = N_Freeze_Entity
1114 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1118 function Entity_Or_Associated_Node
1119 (N : Node_Id) return Node_Id is
1121 pragma Assert (False
1122 or else NT (N).Nkind in N_Has_Entity
1123 or else NT (N).Nkind = N_Freeze_Entity);
1125 end Entity_Or_Associated_Node;
1127 function Entry_Body_Formal_Part
1128 (N : Node_Id) return Node_Id is
1130 pragma Assert (False
1131 or else NT (N).Nkind = N_Entry_Body);
1133 end Entry_Body_Formal_Part;
1135 function Entry_Call_Alternative
1136 (N : Node_Id) return Node_Id is
1138 pragma Assert (False
1139 or else NT (N).Nkind = N_Conditional_Entry_Call
1140 or else NT (N).Nkind = N_Timed_Entry_Call);
1142 end Entry_Call_Alternative;
1144 function Entry_Call_Statement
1145 (N : Node_Id) return Node_Id is
1147 pragma Assert (False
1148 or else NT (N).Nkind = N_Entry_Call_Alternative);
1150 end Entry_Call_Statement;
1152 function Entry_Direct_Name
1153 (N : Node_Id) return Node_Id is
1155 pragma Assert (False
1156 or else NT (N).Nkind = N_Accept_Statement);
1158 end Entry_Direct_Name;
1160 function Entry_Index
1161 (N : Node_Id) return Node_Id is
1163 pragma Assert (False
1164 or else NT (N).Nkind = N_Accept_Statement);
1168 function Entry_Index_Specification
1169 (N : Node_Id) return Node_Id is
1171 pragma Assert (False
1172 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1174 end Entry_Index_Specification;
1177 (N : Node_Id) return Node_Id is
1179 pragma Assert (False
1180 or else NT (N).Nkind in N_Has_Etype);
1184 function Exception_Choices
1185 (N : Node_Id) return List_Id is
1187 pragma Assert (False
1188 or else NT (N).Nkind = N_Exception_Handler);
1190 end Exception_Choices;
1192 function Exception_Handlers
1193 (N : Node_Id) return List_Id is
1195 pragma Assert (False
1196 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1198 end Exception_Handlers;
1200 function Exception_Junk
1201 (N : Node_Id) return Boolean is
1203 pragma Assert (False
1204 or else NT (N).Nkind = N_Block_Statement
1205 or else NT (N).Nkind = N_Goto_Statement
1206 or else NT (N).Nkind = N_Label
1207 or else NT (N).Nkind = N_Object_Declaration
1208 or else NT (N).Nkind = N_Subtype_Declaration);
1212 function Exception_Label
1213 (N : Node_Id) return Node_Id is
1215 pragma Assert (False
1216 or else NT (N).Nkind = N_Exception_Handler
1217 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1218 or else NT (N).Nkind = N_Push_Program_Error_Label
1219 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1221 end Exception_Label;
1223 function Expansion_Delayed
1224 (N : Node_Id) return Boolean is
1226 pragma Assert (False
1227 or else NT (N).Nkind = N_Aggregate
1228 or else NT (N).Nkind = N_Extension_Aggregate);
1230 end Expansion_Delayed;
1232 function Explicit_Actual_Parameter
1233 (N : Node_Id) return Node_Id is
1235 pragma Assert (False
1236 or else NT (N).Nkind = N_Parameter_Association);
1238 end Explicit_Actual_Parameter;
1240 function Explicit_Generic_Actual_Parameter
1241 (N : Node_Id) return Node_Id is
1243 pragma Assert (False
1244 or else NT (N).Nkind = N_Generic_Association);
1246 end Explicit_Generic_Actual_Parameter;
1249 (N : Node_Id) return Node_Id is
1251 pragma Assert (False
1252 or else NT (N).Nkind = N_Allocator
1253 or else NT (N).Nkind = N_Aspect_Specification
1254 or else NT (N).Nkind = N_Assignment_Statement
1255 or else NT (N).Nkind = N_At_Clause
1256 or else NT (N).Nkind = N_Attribute_Definition_Clause
1257 or else NT (N).Nkind = N_Case_Expression
1258 or else NT (N).Nkind = N_Case_Expression_Alternative
1259 or else NT (N).Nkind = N_Case_Statement
1260 or else NT (N).Nkind = N_Code_Statement
1261 or else NT (N).Nkind = N_Component_Association
1262 or else NT (N).Nkind = N_Component_Declaration
1263 or else NT (N).Nkind = N_Delay_Relative_Statement
1264 or else NT (N).Nkind = N_Delay_Until_Statement
1265 or else NT (N).Nkind = N_Delta_Aggregate
1266 or else NT (N).Nkind = N_Discriminant_Association
1267 or else NT (N).Nkind = N_Discriminant_Specification
1268 or else NT (N).Nkind = N_Exception_Declaration
1269 or else NT (N).Nkind = N_Expression_Function
1270 or else NT (N).Nkind = N_Expression_With_Actions
1271 or else NT (N).Nkind = N_Free_Statement
1272 or else NT (N).Nkind = N_Iterated_Component_Association
1273 or else NT (N).Nkind = N_Iterated_Element_Association
1274 or else NT (N).Nkind = N_Mod_Clause
1275 or else NT (N).Nkind = N_Modular_Type_Definition
1276 or else NT (N).Nkind = N_Number_Declaration
1277 or else NT (N).Nkind = N_Object_Declaration
1278 or else NT (N).Nkind = N_Parameter_Specification
1279 or else NT (N).Nkind = N_Pragma_Argument_Association
1280 or else NT (N).Nkind = N_Qualified_Expression
1281 or else NT (N).Nkind = N_Raise_Expression
1282 or else NT (N).Nkind = N_Raise_Statement
1283 or else NT (N).Nkind = N_Simple_Return_Statement
1284 or else NT (N).Nkind = N_Type_Conversion
1285 or else NT (N).Nkind = N_Unchecked_Expression
1286 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1290 function Expression_Copy
1291 (N : Node_Id) return Node_Id is
1293 pragma Assert (False
1294 or else NT (N).Nkind = N_Pragma_Argument_Association);
1296 end Expression_Copy;
1298 function Expressions
1299 (N : Node_Id) return List_Id is
1301 pragma Assert (False
1302 or else NT (N).Nkind = N_Aggregate
1303 or else NT (N).Nkind = N_Attribute_Reference
1304 or else NT (N).Nkind = N_Extension_Aggregate
1305 or else NT (N).Nkind = N_If_Expression
1306 or else NT (N).Nkind = N_Indexed_Component);
1311 (N : Node_Id) return Node_Id is
1313 pragma Assert (False
1314 or else NT (N).Nkind = N_Component_Clause);
1318 function First_Inlined_Subprogram
1319 (N : Node_Id) return Entity_Id is
1321 pragma Assert (False
1322 or else NT (N).Nkind = N_Compilation_Unit);
1324 end First_Inlined_Subprogram;
1327 (N : Node_Id) return Boolean is
1329 pragma Assert (False
1330 or else NT (N).Nkind = N_With_Clause);
1334 function First_Named_Actual
1335 (N : Node_Id) return Node_Id is
1337 pragma Assert (False
1338 or else NT (N).Nkind = N_Entry_Call_Statement
1339 or else NT (N).Nkind = N_Function_Call
1340 or else NT (N).Nkind = N_Procedure_Call_Statement);
1342 end First_Named_Actual;
1344 function First_Real_Statement
1345 (N : Node_Id) return Node_Id is
1347 pragma Assert (False
1348 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1350 end First_Real_Statement;
1352 function First_Subtype_Link
1353 (N : Node_Id) return Entity_Id is
1355 pragma Assert (False
1356 or else NT (N).Nkind = N_Freeze_Entity);
1358 end First_Subtype_Link;
1360 function Float_Truncate
1361 (N : Node_Id) return Boolean is
1363 pragma Assert (False
1364 or else NT (N).Nkind = N_Type_Conversion);
1368 function Formal_Type_Definition
1369 (N : Node_Id) return Node_Id is
1371 pragma Assert (False
1372 or else NT (N).Nkind = N_Formal_Type_Declaration);
1374 end Formal_Type_Definition;
1376 function Forwards_OK
1377 (N : Node_Id) return Boolean is
1379 pragma Assert (False
1380 or else NT (N).Nkind = N_Assignment_Statement);
1384 function From_Aspect_Specification
1385 (N : Node_Id) return Boolean is
1387 pragma Assert (False
1388 or else NT (N).Nkind = N_Attribute_Definition_Clause
1389 or else NT (N).Nkind = N_Pragma);
1391 end From_Aspect_Specification;
1393 function From_At_End
1394 (N : Node_Id) return Boolean is
1396 pragma Assert (False
1397 or else NT (N).Nkind = N_Raise_Statement);
1401 function From_At_Mod
1402 (N : Node_Id) return Boolean is
1404 pragma Assert (False
1405 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1409 function From_Conditional_Expression
1410 (N : Node_Id) return Boolean is
1412 pragma Assert (False
1413 or else NT (N).Nkind = N_Case_Statement
1414 or else NT (N).Nkind = N_If_Statement);
1416 end From_Conditional_Expression;
1418 function From_Default
1419 (N : Node_Id) return Boolean is
1421 pragma Assert (False
1422 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1426 function Generalized_Indexing
1427 (N : Node_Id) return Node_Id is
1429 pragma Assert (False
1430 or else NT (N).Nkind = N_Indexed_Component);
1432 end Generalized_Indexing;
1434 function Generic_Associations
1435 (N : Node_Id) return List_Id is
1437 pragma Assert (False
1438 or else NT (N).Nkind = N_Formal_Package_Declaration
1439 or else NT (N).Nkind = N_Function_Instantiation
1440 or else NT (N).Nkind = N_Package_Instantiation
1441 or else NT (N).Nkind = N_Procedure_Instantiation);
1443 end Generic_Associations;
1445 function Generic_Formal_Declarations
1446 (N : Node_Id) return List_Id is
1448 pragma Assert (False
1449 or else NT (N).Nkind = N_Generic_Package_Declaration
1450 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1452 end Generic_Formal_Declarations;
1454 function Generic_Parent
1455 (N : Node_Id) return Node_Id is
1457 pragma Assert (False
1458 or else NT (N).Nkind = N_Function_Specification
1459 or else NT (N).Nkind = N_Package_Specification
1460 or else NT (N).Nkind = N_Procedure_Specification);
1464 function Generic_Parent_Type
1465 (N : Node_Id) return Node_Id is
1467 pragma Assert (False
1468 or else NT (N).Nkind = N_Subtype_Declaration);
1470 end Generic_Parent_Type;
1472 function Handled_Statement_Sequence
1473 (N : Node_Id) return Node_Id is
1475 pragma Assert (False
1476 or else NT (N).Nkind = N_Accept_Statement
1477 or else NT (N).Nkind = N_Block_Statement
1478 or else NT (N).Nkind = N_Entry_Body
1479 or else NT (N).Nkind = N_Extended_Return_Statement
1480 or else NT (N).Nkind = N_Package_Body
1481 or else NT (N).Nkind = N_Subprogram_Body
1482 or else NT (N).Nkind = N_Task_Body);
1484 end Handled_Statement_Sequence;
1486 function Handler_List_Entry
1487 (N : Node_Id) return Node_Id is
1489 pragma Assert (False
1490 or else NT (N).Nkind = N_Object_Declaration);
1492 end Handler_List_Entry;
1494 function Has_Created_Identifier
1495 (N : Node_Id) return Boolean is
1497 pragma Assert (False
1498 or else NT (N).Nkind = N_Block_Statement
1499 or else NT (N).Nkind = N_Loop_Statement);
1501 end Has_Created_Identifier;
1503 function Has_Dereference_Action
1504 (N : Node_Id) return Boolean is
1506 pragma Assert (False
1507 or else NT (N).Nkind = N_Explicit_Dereference);
1509 end Has_Dereference_Action;
1511 function Has_Dynamic_Length_Check
1512 (N : Node_Id) return Boolean is
1514 pragma Assert (False
1515 or else NT (N).Nkind in N_Subexpr);
1517 end Has_Dynamic_Length_Check;
1519 function Has_Init_Expression
1520 (N : Node_Id) return Boolean is
1522 pragma Assert (False
1523 or else NT (N).Nkind = N_Object_Declaration);
1525 end Has_Init_Expression;
1527 function Has_Local_Raise
1528 (N : Node_Id) return Boolean is
1530 pragma Assert (False
1531 or else NT (N).Nkind = N_Exception_Handler);
1533 end Has_Local_Raise;
1535 function Has_No_Elaboration_Code
1536 (N : Node_Id) return Boolean is
1538 pragma Assert (False
1539 or else NT (N).Nkind = N_Compilation_Unit);
1541 end Has_No_Elaboration_Code;
1543 function Has_Pragma_Suppress_All
1544 (N : Node_Id) return Boolean is
1546 pragma Assert (False
1547 or else NT (N).Nkind = N_Compilation_Unit);
1549 end Has_Pragma_Suppress_All;
1551 function Has_Private_View
1552 (N : Node_Id) return Boolean is
1554 pragma Assert (False
1555 or else NT (N).Nkind in N_Op
1556 or else NT (N).Nkind = N_Character_Literal
1557 or else NT (N).Nkind = N_Expanded_Name
1558 or else NT (N).Nkind = N_Identifier
1559 or else NT (N).Nkind = N_Operator_Symbol);
1561 end Has_Private_View;
1563 function Has_Relative_Deadline_Pragma
1564 (N : Node_Id) return Boolean is
1566 pragma Assert (False
1567 or else NT (N).Nkind = N_Subprogram_Body
1568 or else NT (N).Nkind = N_Task_Definition);
1570 end Has_Relative_Deadline_Pragma;
1572 function Has_Self_Reference
1573 (N : Node_Id) return Boolean is
1575 pragma Assert (False
1576 or else NT (N).Nkind = N_Aggregate
1577 or else NT (N).Nkind = N_Extension_Aggregate);
1579 end Has_Self_Reference;
1581 function Has_SP_Choice
1582 (N : Node_Id) return Boolean is
1584 pragma Assert (False
1585 or else NT (N).Nkind = N_Case_Expression_Alternative
1586 or else NT (N).Nkind = N_Case_Statement_Alternative
1587 or else NT (N).Nkind = N_Variant);
1591 function Has_Storage_Size_Pragma
1592 (N : Node_Id) return Boolean is
1594 pragma Assert (False
1595 or else NT (N).Nkind = N_Task_Definition);
1597 end Has_Storage_Size_Pragma;
1599 function Has_Target_Names
1600 (N : Node_Id) return Boolean is
1602 pragma Assert (False
1603 or else NT (N).Nkind = N_Assignment_Statement);
1605 end Has_Target_Names;
1607 function Has_Wide_Character
1608 (N : Node_Id) return Boolean is
1610 pragma Assert (False
1611 or else NT (N).Nkind = N_String_Literal);
1613 end Has_Wide_Character;
1615 function Has_Wide_Wide_Character
1616 (N : Node_Id) return Boolean is
1618 pragma Assert (False
1619 or else NT (N).Nkind = N_String_Literal);
1621 end Has_Wide_Wide_Character;
1623 function Header_Size_Added
1624 (N : Node_Id) return Boolean is
1626 pragma Assert (False
1627 or else NT (N).Nkind = N_Attribute_Reference);
1629 end Header_Size_Added;
1631 function Hidden_By_Use_Clause
1632 (N : Node_Id) return Elist_Id is
1634 pragma Assert (False
1635 or else NT (N).Nkind = N_Use_Package_Clause
1636 or else NT (N).Nkind = N_Use_Type_Clause);
1638 end Hidden_By_Use_Clause;
1641 (N : Node_Id) return Node_Id is
1643 pragma Assert (False
1644 or else NT (N).Nkind = N_Range
1645 or else NT (N).Nkind = N_Real_Range_Specification
1646 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1651 (N : Node_Id) return Node_Id is
1653 pragma Assert (False
1654 or else NT (N).Nkind = N_Aspect_Specification
1655 or else NT (N).Nkind = N_At_Clause
1656 or else NT (N).Nkind = N_Block_Statement
1657 or else NT (N).Nkind = N_Designator
1658 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1659 or else NT (N).Nkind = N_Label
1660 or else NT (N).Nkind = N_Loop_Statement
1661 or else NT (N).Nkind = N_Record_Representation_Clause);
1665 function Implicit_With
1666 (N : Node_Id) return Boolean is
1668 pragma Assert (False
1669 or else NT (N).Nkind = N_With_Clause);
1673 function Interface_List
1674 (N : Node_Id) return List_Id is
1676 pragma Assert (False
1677 or else NT (N).Nkind = N_Derived_Type_Definition
1678 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1679 or else NT (N).Nkind = N_Private_Extension_Declaration
1680 or else NT (N).Nkind = N_Protected_Type_Declaration
1681 or else NT (N).Nkind = N_Record_Definition
1682 or else NT (N).Nkind = N_Single_Protected_Declaration
1683 or else NT (N).Nkind = N_Single_Task_Declaration
1684 or else NT (N).Nkind = N_Task_Type_Declaration);
1688 function Interface_Present
1689 (N : Node_Id) return Boolean is
1691 pragma Assert (False
1692 or else NT (N).Nkind = N_Derived_Type_Definition
1693 or else NT (N).Nkind = N_Record_Definition);
1695 end Interface_Present;
1697 function Import_Interface_Present
1698 (N : Node_Id) return Boolean is
1700 pragma Assert (False
1701 or else NT (N).Nkind = N_Pragma);
1703 end Import_Interface_Present;
1706 (N : Node_Id) return Boolean is
1708 pragma Assert (False
1709 or else NT (N).Nkind = N_Formal_Object_Declaration
1710 or else NT (N).Nkind = N_Parameter_Specification);
1714 function Includes_Infinities
1715 (N : Node_Id) return Boolean is
1717 pragma Assert (False
1718 or else NT (N).Nkind = N_Range);
1720 end Includes_Infinities;
1722 function Incomplete_View
1723 (N : Node_Id) return Node_Id is
1725 pragma Assert (False
1726 or else NT (N).Nkind = N_Full_Type_Declaration);
1728 end Incomplete_View;
1730 function Inherited_Discriminant
1731 (N : Node_Id) return Boolean is
1733 pragma Assert (False
1734 or else NT (N).Nkind = N_Component_Association);
1736 end Inherited_Discriminant;
1738 function Instance_Spec
1739 (N : Node_Id) return Node_Id is
1741 pragma Assert (False
1742 or else NT (N).Nkind = N_Formal_Package_Declaration
1743 or else NT (N).Nkind = N_Function_Instantiation
1744 or else NT (N).Nkind = N_Package_Instantiation
1745 or else NT (N).Nkind = N_Procedure_Instantiation);
1750 (N : Node_Id) return Uint is
1752 pragma Assert (False
1753 or else NT (N).Nkind = N_Integer_Literal);
1757 function Is_Abort_Block
1758 (N : Node_Id) return Boolean is
1760 pragma Assert (False
1761 or else NT (N).Nkind = N_Block_Statement);
1765 function Is_Accessibility_Actual
1766 (N : Node_Id) return Boolean is
1768 pragma Assert (False
1769 or else NT (N).Nkind = N_Parameter_Association);
1771 end Is_Accessibility_Actual;
1773 function Is_Analyzed_Pragma
1774 (N : Node_Id) return Boolean is
1776 pragma Assert (False
1777 or else NT (N).Nkind = N_Pragma);
1779 end Is_Analyzed_Pragma;
1781 function Is_Asynchronous_Call_Block
1782 (N : Node_Id) return Boolean is
1784 pragma Assert (False
1785 or else NT (N).Nkind = N_Block_Statement);
1787 end Is_Asynchronous_Call_Block;
1789 function Is_Boolean_Aspect
1790 (N : Node_Id) return Boolean is
1792 pragma Assert (False
1793 or else NT (N).Nkind = N_Aspect_Specification);
1795 end Is_Boolean_Aspect;
1798 (N : Node_Id) return Boolean is
1800 pragma Assert (False
1801 or else NT (N).Nkind = N_Aspect_Specification
1802 or else NT (N).Nkind = N_Pragma);
1806 function Is_Checked_Ghost_Pragma
1807 (N : Node_Id) return Boolean is
1809 pragma Assert (False
1810 or else NT (N).Nkind = N_Pragma);
1812 end Is_Checked_Ghost_Pragma;
1814 function Is_Component_Left_Opnd
1815 (N : Node_Id) return Boolean is
1817 pragma Assert (False
1818 or else NT (N).Nkind = N_Op_Concat);
1820 end Is_Component_Left_Opnd;
1822 function Is_Component_Right_Opnd
1823 (N : Node_Id) return Boolean is
1825 pragma Assert (False
1826 or else NT (N).Nkind = N_Op_Concat);
1828 end Is_Component_Right_Opnd;
1830 function Is_Controlling_Actual
1831 (N : Node_Id) return Boolean is
1833 pragma Assert (False
1834 or else NT (N).Nkind in N_Subexpr);
1836 end Is_Controlling_Actual;
1838 function Is_Declaration_Level_Node
1839 (N : Node_Id) return Boolean is
1841 pragma Assert (False
1842 or else NT (N).Nkind = N_Call_Marker
1843 or else NT (N).Nkind = N_Function_Instantiation
1844 or else NT (N).Nkind = N_Package_Instantiation
1845 or else NT (N).Nkind = N_Procedure_Instantiation);
1847 end Is_Declaration_Level_Node;
1849 function Is_Delayed_Aspect
1850 (N : Node_Id) return Boolean is
1852 pragma Assert (False
1853 or else NT (N).Nkind = N_Aspect_Specification
1854 or else NT (N).Nkind = N_Attribute_Definition_Clause
1855 or else NT (N).Nkind = N_Pragma);
1857 end Is_Delayed_Aspect;
1859 function Is_Disabled
1860 (N : Node_Id) return Boolean is
1862 pragma Assert (False
1863 or else NT (N).Nkind = N_Aspect_Specification
1864 or else NT (N).Nkind = N_Pragma);
1868 function Is_Dispatching_Call
1869 (N : Node_Id) return Boolean is
1871 pragma Assert (False
1872 or else NT (N).Nkind = N_Call_Marker);
1874 end Is_Dispatching_Call;
1876 function Is_Dynamic_Coextension
1877 (N : Node_Id) return Boolean is
1879 pragma Assert (False
1880 or else NT (N).Nkind = N_Allocator);
1882 end Is_Dynamic_Coextension;
1884 function Is_Effective_Use_Clause
1885 (N : Node_Id) return Boolean is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Use_Package_Clause
1889 or else NT (N).Nkind = N_Use_Type_Clause);
1891 end Is_Effective_Use_Clause;
1893 function Is_Elaboration_Checks_OK_Node
1894 (N : Node_Id) return Boolean is
1896 pragma Assert (False
1897 or else NT (N).Nkind = N_Assignment_Statement
1898 or else NT (N).Nkind = N_Attribute_Reference
1899 or else NT (N).Nkind = N_Call_Marker
1900 or else NT (N).Nkind = N_Entry_Call_Statement
1901 or else NT (N).Nkind = N_Expanded_Name
1902 or else NT (N).Nkind = N_Function_Call
1903 or else NT (N).Nkind = N_Function_Instantiation
1904 or else NT (N).Nkind = N_Identifier
1905 or else NT (N).Nkind = N_Package_Instantiation
1906 or else NT (N).Nkind = N_Procedure_Call_Statement
1907 or else NT (N).Nkind = N_Procedure_Instantiation
1908 or else NT (N).Nkind = N_Requeue_Statement
1909 or else NT (N).Nkind = N_Variable_Reference_Marker);
1911 end Is_Elaboration_Checks_OK_Node;
1913 function Is_Elaboration_Code
1914 (N : Node_Id) return Boolean is
1916 pragma Assert (False
1917 or else NT (N).Nkind = N_Assignment_Statement);
1919 end Is_Elaboration_Code;
1921 function Is_Elaboration_Warnings_OK_Node
1922 (N : Node_Id) return Boolean is
1924 pragma Assert (False
1925 or else NT (N).Nkind = N_Attribute_Reference
1926 or else NT (N).Nkind = N_Call_Marker
1927 or else NT (N).Nkind = N_Entry_Call_Statement
1928 or else NT (N).Nkind = N_Expanded_Name
1929 or else NT (N).Nkind = N_Function_Call
1930 or else NT (N).Nkind = N_Function_Instantiation
1931 or else NT (N).Nkind = N_Identifier
1932 or else NT (N).Nkind = N_Package_Instantiation
1933 or else NT (N).Nkind = N_Procedure_Call_Statement
1934 or else NT (N).Nkind = N_Procedure_Instantiation
1935 or else NT (N).Nkind = N_Requeue_Statement
1936 or else NT (N).Nkind = N_Variable_Reference_Marker);
1938 end Is_Elaboration_Warnings_OK_Node;
1941 (N : Node_Id) return Boolean is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_If_Expression);
1948 function Is_Entry_Barrier_Function
1949 (N : Node_Id) return Boolean is
1951 pragma Assert (False
1952 or else NT (N).Nkind = N_Subprogram_Body
1953 or else NT (N).Nkind = N_Subprogram_Declaration);
1955 end Is_Entry_Barrier_Function;
1957 function Is_Expanded_Build_In_Place_Call
1958 (N : Node_Id) return Boolean is
1960 pragma Assert (False
1961 or else NT (N).Nkind = N_Function_Call);
1963 end Is_Expanded_Build_In_Place_Call;
1965 function Is_Expanded_Contract
1966 (N : Node_Id) return Boolean is
1968 pragma Assert (False
1969 or else NT (N).Nkind = N_Contract);
1971 end Is_Expanded_Contract;
1973 function Is_Finalization_Wrapper
1974 (N : Node_Id) return Boolean is
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Block_Statement);
1979 end Is_Finalization_Wrapper;
1981 function Is_Folded_In_Parser
1982 (N : Node_Id) return Boolean is
1984 pragma Assert (False
1985 or else NT (N).Nkind = N_String_Literal);
1987 end Is_Folded_In_Parser;
1989 function Is_Generic_Contract_Pragma
1990 (N : Node_Id) return Boolean is
1992 pragma Assert (False
1993 or else NT (N).Nkind = N_Pragma);
1995 end Is_Generic_Contract_Pragma;
1997 function Is_Homogeneous_Aggregate
1998 (N : Node_Id) return Boolean is
2000 pragma Assert (False
2001 or else NT (N).Nkind = N_Aggregate);
2003 end Is_Homogeneous_Aggregate;
2006 (N : Node_Id) return Boolean is
2008 pragma Assert (False
2009 or else NT (N).Nkind = N_Aspect_Specification
2010 or else NT (N).Nkind = N_Pragma);
2014 function Is_Ignored_Ghost_Pragma
2015 (N : Node_Id) return Boolean is
2017 pragma Assert (False
2018 or else NT (N).Nkind = N_Pragma);
2020 end Is_Ignored_Ghost_Pragma;
2022 function Is_In_Discriminant_Check
2023 (N : Node_Id) return Boolean is
2025 pragma Assert (False
2026 or else NT (N).Nkind = N_Selected_Component);
2028 end Is_In_Discriminant_Check;
2030 function Is_Inherited_Pragma
2031 (N : Node_Id) return Boolean is
2033 pragma Assert (False
2034 or else NT (N).Nkind = N_Pragma);
2036 end Is_Inherited_Pragma;
2038 function Is_Initialization_Block
2039 (N : Node_Id) return Boolean is
2041 pragma Assert (False
2042 or else NT (N).Nkind = N_Block_Statement);
2044 end Is_Initialization_Block;
2046 function Is_Known_Guaranteed_ABE
2047 (N : Node_Id) return Boolean is
2049 pragma Assert (False
2050 or else NT (N).Nkind = N_Call_Marker
2051 or else NT (N).Nkind = N_Formal_Package_Declaration
2052 or else NT (N).Nkind = N_Function_Call
2053 or else NT (N).Nkind = N_Function_Instantiation
2054 or else NT (N).Nkind = N_Package_Instantiation
2055 or else NT (N).Nkind = N_Procedure_Call_Statement
2056 or else NT (N).Nkind = N_Procedure_Instantiation);
2058 end Is_Known_Guaranteed_ABE;
2060 function Is_Machine_Number
2061 (N : Node_Id) return Boolean is
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Real_Literal);
2066 end Is_Machine_Number;
2068 function Is_Null_Loop
2069 (N : Node_Id) return Boolean is
2071 pragma Assert (False
2072 or else NT (N).Nkind = N_Loop_Statement);
2076 function Is_Overloaded
2077 (N : Node_Id) return Boolean is
2079 pragma Assert (False
2080 or else NT (N).Nkind in N_Subexpr);
2084 function Is_Power_Of_2_For_Shift
2085 (N : Node_Id) return Boolean is
2087 pragma Assert (False
2088 or else NT (N).Nkind = N_Op_Expon);
2090 end Is_Power_Of_2_For_Shift;
2092 function Is_Preelaborable_Call
2093 (N : Node_Id) return Boolean is
2095 pragma Assert (False
2096 or else NT (N).Nkind = N_Call_Marker);
2098 end Is_Preelaborable_Call;
2100 function Is_Prefixed_Call
2101 (N : Node_Id) return Boolean is
2103 pragma Assert (False
2104 or else NT (N).Nkind = N_Selected_Component);
2106 end Is_Prefixed_Call;
2108 function Is_Protected_Subprogram_Body
2109 (N : Node_Id) return Boolean is
2111 pragma Assert (False
2112 or else NT (N).Nkind = N_Subprogram_Body);
2114 end Is_Protected_Subprogram_Body;
2116 function Is_Qualified_Universal_Literal
2117 (N : Node_Id) return Boolean is
2119 pragma Assert (False
2120 or else NT (N).Nkind = N_Qualified_Expression);
2122 end Is_Qualified_Universal_Literal;
2125 (N : Node_Id) return Boolean is
2127 pragma Assert (False
2128 or else NT (N).Nkind = N_Variable_Reference_Marker);
2132 function Is_Source_Call
2133 (N : Node_Id) return Boolean is
2135 pragma Assert (False
2136 or else NT (N).Nkind = N_Call_Marker);
2140 function Is_SPARK_Mode_On_Node
2141 (N : Node_Id) return Boolean is
2143 pragma Assert (False
2144 or else NT (N).Nkind = N_Assignment_Statement
2145 or else NT (N).Nkind = N_Attribute_Reference
2146 or else NT (N).Nkind = N_Call_Marker
2147 or else NT (N).Nkind = N_Entry_Call_Statement
2148 or else NT (N).Nkind = N_Expanded_Name
2149 or else NT (N).Nkind = N_Function_Call
2150 or else NT (N).Nkind = N_Function_Instantiation
2151 or else NT (N).Nkind = N_Identifier
2152 or else NT (N).Nkind = N_Package_Instantiation
2153 or else NT (N).Nkind = N_Procedure_Call_Statement
2154 or else NT (N).Nkind = N_Procedure_Instantiation
2155 or else NT (N).Nkind = N_Requeue_Statement
2156 or else NT (N).Nkind = N_Variable_Reference_Marker);
2158 end Is_SPARK_Mode_On_Node;
2160 function Is_Static_Coextension
2161 (N : Node_Id) return Boolean is
2163 pragma Assert (False
2164 or else NT (N).Nkind = N_Allocator);
2166 end Is_Static_Coextension;
2168 function Is_Static_Expression
2169 (N : Node_Id) return Boolean is
2171 pragma Assert (False
2172 or else NT (N).Nkind in N_Subexpr);
2174 end Is_Static_Expression;
2176 function Is_Subprogram_Descriptor
2177 (N : Node_Id) return Boolean is
2179 pragma Assert (False
2180 or else NT (N).Nkind = N_Object_Declaration);
2182 end Is_Subprogram_Descriptor;
2184 function Is_Task_Allocation_Block
2185 (N : Node_Id) return Boolean is
2187 pragma Assert (False
2188 or else NT (N).Nkind = N_Block_Statement);
2190 end Is_Task_Allocation_Block;
2192 function Is_Task_Body_Procedure
2193 (N : Node_Id) return Boolean is
2195 pragma Assert (False
2196 or else NT (N).Nkind = N_Subprogram_Body
2197 or else NT (N).Nkind = N_Subprogram_Declaration);
2199 end Is_Task_Body_Procedure;
2201 function Is_Task_Master
2202 (N : Node_Id) return Boolean is
2204 pragma Assert (False
2205 or else NT (N).Nkind = N_Block_Statement
2206 or else NT (N).Nkind = N_Subprogram_Body
2207 or else NT (N).Nkind = N_Task_Body);
2212 (N : Node_Id) return Boolean is
2214 pragma Assert (False
2215 or else NT (N).Nkind = N_Variable_Reference_Marker);
2219 function Iterator_Filter
2220 (N : Node_Id) return Node_Id is
2222 pragma Assert (False
2223 or else NT (N).Nkind = N_Iterator_Specification
2224 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2226 end Iterator_Filter;
2228 function Iteration_Scheme
2229 (N : Node_Id) return Node_Id is
2231 pragma Assert (False
2232 or else NT (N).Nkind = N_Loop_Statement);
2234 end Iteration_Scheme;
2236 function Iterator_Specification
2237 (N : Node_Id) return Node_Id is
2239 pragma Assert (False
2240 or else NT (N).Nkind = N_Iterated_Component_Association
2241 or else NT (N).Nkind = N_Iterated_Element_Association
2242 or else NT (N).Nkind = N_Iteration_Scheme
2243 or else NT (N).Nkind = N_Quantified_Expression);
2245 end Iterator_Specification;
2248 (N : Node_Id) return Node_Id is
2250 pragma Assert (False
2251 or else NT (N).Nkind = N_Itype_Reference);
2255 function Key_Expression
2256 (N : Node_Id) return Node_Id is
2258 pragma Assert (False
2259 or else NT (N).Nkind = N_Iterated_Element_Association);
2263 function Kill_Range_Check
2264 (N : Node_Id) return Boolean is
2266 pragma Assert (False
2267 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2269 end Kill_Range_Check;
2271 function Label_Construct
2272 (N : Node_Id) return Node_Id is
2274 pragma Assert (False
2275 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2277 end Label_Construct;
2280 (N : Node_Id) return Node_Id is
2282 pragma Assert (False
2283 or else NT (N).Nkind = N_Component_Clause);
2288 (N : Node_Id) return Boolean is
2290 pragma Assert (False
2291 or else NT (N).Nkind = N_With_Clause);
2296 (N : Node_Id) return Node_Id is
2298 pragma Assert (False
2299 or else NT (N).Nkind = N_And_Then
2300 or else NT (N).Nkind = N_In
2301 or else NT (N).Nkind = N_Not_In
2302 or else NT (N).Nkind = N_Or_Else
2303 or else NT (N).Nkind in N_Binary_Op);
2307 function Library_Unit
2308 (N : Node_Id) return Node_Id is
2310 pragma Assert (False
2311 or else NT (N).Nkind = N_Compilation_Unit
2312 or else NT (N).Nkind = N_Package_Body_Stub
2313 or else NT (N).Nkind = N_Protected_Body_Stub
2314 or else NT (N).Nkind = N_Subprogram_Body_Stub
2315 or else NT (N).Nkind = N_Task_Body_Stub
2316 or else NT (N).Nkind = N_With_Clause);
2320 function Limited_View_Installed
2321 (N : Node_Id) return Boolean is
2323 pragma Assert (False
2324 or else NT (N).Nkind = N_Package_Specification
2325 or else NT (N).Nkind = N_With_Clause);
2327 end Limited_View_Installed;
2329 function Limited_Present
2330 (N : Node_Id) return Boolean is
2332 pragma Assert (False
2333 or else NT (N).Nkind = N_Derived_Type_Definition
2334 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2335 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2336 or else NT (N).Nkind = N_Private_Extension_Declaration
2337 or else NT (N).Nkind = N_Private_Type_Declaration
2338 or else NT (N).Nkind = N_Record_Definition
2339 or else NT (N).Nkind = N_With_Clause);
2341 end Limited_Present;
2344 (N : Node_Id) return List_Id is
2346 pragma Assert (False
2347 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2351 function Local_Raise_Not_OK
2352 (N : Node_Id) return Boolean is
2354 pragma Assert (False
2355 or else NT (N).Nkind = N_Exception_Handler);
2357 end Local_Raise_Not_OK;
2359 function Local_Raise_Statements
2360 (N : Node_Id) return Elist_Id is
2362 pragma Assert (False
2363 or else NT (N).Nkind = N_Exception_Handler);
2365 end Local_Raise_Statements;
2367 function Loop_Actions
2368 (N : Node_Id) return List_Id is
2370 pragma Assert (False
2371 or else NT (N).Nkind = N_Component_Association
2372 or else NT (N).Nkind = N_Iterated_Component_Association
2373 or else NT (N).Nkind = N_Iterated_Element_Association);
2377 function Loop_Parameter_Specification
2378 (N : Node_Id) return Node_Id is
2380 pragma Assert (False
2381 or else NT (N).Nkind = N_Iterated_Element_Association
2382 or else NT (N).Nkind = N_Iteration_Scheme
2383 or else NT (N).Nkind = N_Quantified_Expression);
2385 end Loop_Parameter_Specification;
2388 (N : Node_Id) return Node_Id is
2390 pragma Assert (False
2391 or else NT (N).Nkind = N_Range
2392 or else NT (N).Nkind = N_Real_Range_Specification
2393 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2398 (N : Node_Id) return Node_Id is
2400 pragma Assert (False
2401 or else NT (N).Nkind = N_Record_Representation_Clause);
2406 (N : Node_Id) return Boolean is
2408 pragma Assert (False
2409 or else NT (N).Nkind = N_Component_Declaration
2410 or else NT (N).Nkind = N_Discriminant_Specification
2411 or else NT (N).Nkind = N_Exception_Declaration
2412 or else NT (N).Nkind = N_Formal_Object_Declaration
2413 or else NT (N).Nkind = N_Number_Declaration
2414 or else NT (N).Nkind = N_Object_Declaration
2415 or else NT (N).Nkind = N_Parameter_Specification
2416 or else NT (N).Nkind = N_Use_Package_Clause
2417 or else NT (N).Nkind = N_Use_Type_Clause);
2421 function Must_Be_Byte_Aligned
2422 (N : Node_Id) return Boolean is
2424 pragma Assert (False
2425 or else NT (N).Nkind = N_Attribute_Reference);
2427 end Must_Be_Byte_Aligned;
2429 function Must_Not_Freeze
2430 (N : Node_Id) return Boolean is
2432 pragma Assert (False
2433 or else NT (N).Nkind = N_Subtype_Indication
2434 or else NT (N).Nkind in N_Subexpr);
2436 end Must_Not_Freeze;
2438 function Must_Not_Override
2439 (N : Node_Id) return Boolean is
2441 pragma Assert (False
2442 or else NT (N).Nkind = N_Entry_Declaration
2443 or else NT (N).Nkind = N_Function_Instantiation
2444 or else NT (N).Nkind = N_Function_Specification
2445 or else NT (N).Nkind = N_Procedure_Instantiation
2446 or else NT (N).Nkind = N_Procedure_Specification);
2448 end Must_Not_Override;
2450 function Must_Override
2451 (N : Node_Id) return Boolean is
2453 pragma Assert (False
2454 or else NT (N).Nkind = N_Entry_Declaration
2455 or else NT (N).Nkind = N_Function_Instantiation
2456 or else NT (N).Nkind = N_Function_Specification
2457 or else NT (N).Nkind = N_Procedure_Instantiation
2458 or else NT (N).Nkind = N_Procedure_Specification);
2463 (N : Node_Id) return Node_Id is
2465 pragma Assert (False
2466 or else NT (N).Nkind = N_Assignment_Statement
2467 or else NT (N).Nkind = N_Attribute_Definition_Clause
2468 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2469 or else NT (N).Nkind = N_Designator
2470 or else NT (N).Nkind = N_Entry_Call_Statement
2471 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2472 or else NT (N).Nkind = N_Exit_Statement
2473 or else NT (N).Nkind = N_Formal_Package_Declaration
2474 or else NT (N).Nkind = N_Function_Call
2475 or else NT (N).Nkind = N_Function_Instantiation
2476 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2477 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2478 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2479 or else NT (N).Nkind = N_Goto_Statement
2480 or else NT (N).Nkind = N_Iterator_Specification
2481 or else NT (N).Nkind = N_Object_Renaming_Declaration
2482 or else NT (N).Nkind = N_Package_Instantiation
2483 or else NT (N).Nkind = N_Package_Renaming_Declaration
2484 or else NT (N).Nkind = N_Procedure_Call_Statement
2485 or else NT (N).Nkind = N_Procedure_Instantiation
2486 or else NT (N).Nkind = N_Raise_Expression
2487 or else NT (N).Nkind = N_Raise_Statement
2488 or else NT (N).Nkind = N_Requeue_Statement
2489 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2490 or else NT (N).Nkind = N_Subunit
2491 or else NT (N).Nkind = N_Use_Package_Clause
2492 or else NT (N).Nkind = N_Variant_Part
2493 or else NT (N).Nkind = N_With_Clause);
2498 (N : Node_Id) return List_Id is
2500 pragma Assert (False
2501 or else NT (N).Nkind = N_Abort_Statement);
2505 function Next_Entity
2506 (N : Node_Id) return Node_Id is
2508 pragma Assert (False
2509 or else NT (N).Nkind = N_Defining_Character_Literal
2510 or else NT (N).Nkind = N_Defining_Identifier
2511 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2515 function Next_Exit_Statement
2516 (N : Node_Id) return Node_Id is
2518 pragma Assert (False
2519 or else NT (N).Nkind = N_Exit_Statement);
2521 end Next_Exit_Statement;
2523 function Next_Implicit_With
2524 (N : Node_Id) return Node_Id is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_With_Clause);
2529 end Next_Implicit_With;
2531 function Next_Named_Actual
2532 (N : Node_Id) return Node_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Parameter_Association);
2537 end Next_Named_Actual;
2539 function Next_Pragma
2540 (N : Node_Id) return Node_Id is
2542 pragma Assert (False
2543 or else NT (N).Nkind = N_Pragma);
2547 function Next_Rep_Item
2548 (N : Node_Id) return Node_Id is
2550 pragma Assert (False
2551 or else NT (N).Nkind = N_Aspect_Specification
2552 or else NT (N).Nkind = N_Attribute_Definition_Clause
2553 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2554 or else NT (N).Nkind = N_Null_Statement
2555 or else NT (N).Nkind = N_Pragma
2556 or else NT (N).Nkind = N_Record_Representation_Clause);
2560 function Next_Use_Clause
2561 (N : Node_Id) return Node_Id is
2563 pragma Assert (False
2564 or else NT (N).Nkind = N_Use_Package_Clause
2565 or else NT (N).Nkind = N_Use_Type_Clause);
2567 end Next_Use_Clause;
2569 function No_Ctrl_Actions
2570 (N : Node_Id) return Boolean is
2572 pragma Assert (False
2573 or else NT (N).Nkind = N_Assignment_Statement);
2575 end No_Ctrl_Actions;
2577 function No_Elaboration_Check
2578 (N : Node_Id) return Boolean is
2580 pragma Assert (False
2581 or else NT (N).Nkind = N_Function_Call
2582 or else NT (N).Nkind = N_Procedure_Call_Statement);
2584 end No_Elaboration_Check;
2586 function No_Entities_Ref_In_Spec
2587 (N : Node_Id) return Boolean is
2589 pragma Assert (False
2590 or else NT (N).Nkind = N_With_Clause);
2592 end No_Entities_Ref_In_Spec;
2594 function No_Initialization
2595 (N : Node_Id) return Boolean is
2597 pragma Assert (False
2598 or else NT (N).Nkind = N_Allocator
2599 or else NT (N).Nkind = N_Object_Declaration);
2601 end No_Initialization;
2603 function No_Minimize_Eliminate
2604 (N : Node_Id) return Boolean is
2606 pragma Assert (False
2607 or else NT (N).Nkind = N_In
2608 or else NT (N).Nkind = N_Not_In);
2610 end No_Minimize_Eliminate;
2612 function No_Side_Effect_Removal
2613 (N : Node_Id) return Boolean is
2615 pragma Assert (False
2616 or else NT (N).Nkind = N_Function_Call);
2618 end No_Side_Effect_Removal;
2620 function No_Truncation
2621 (N : Node_Id) return Boolean is
2623 pragma Assert (False
2624 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2628 function Null_Excluding_Subtype
2629 (N : Node_Id) return Boolean is
2631 pragma Assert (False
2632 or else NT (N).Nkind = N_Access_To_Object_Definition);
2634 end Null_Excluding_Subtype;
2636 function Null_Exclusion_Present
2637 (N : Node_Id) return Boolean is
2639 pragma Assert (False
2640 or else NT (N).Nkind = N_Access_Definition
2641 or else NT (N).Nkind = N_Access_Function_Definition
2642 or else NT (N).Nkind = N_Access_Procedure_Definition
2643 or else NT (N).Nkind = N_Access_To_Object_Definition
2644 or else NT (N).Nkind = N_Allocator
2645 or else NT (N).Nkind = N_Component_Definition
2646 or else NT (N).Nkind = N_Derived_Type_Definition
2647 or else NT (N).Nkind = N_Discriminant_Specification
2648 or else NT (N).Nkind = N_Formal_Object_Declaration
2649 or else NT (N).Nkind = N_Function_Specification
2650 or else NT (N).Nkind = N_Object_Declaration
2651 or else NT (N).Nkind = N_Object_Renaming_Declaration
2652 or else NT (N).Nkind = N_Parameter_Specification
2653 or else NT (N).Nkind = N_Subtype_Declaration);
2655 end Null_Exclusion_Present;
2657 function Null_Exclusion_In_Return_Present
2658 (N : Node_Id) return Boolean is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_Access_Function_Definition);
2663 end Null_Exclusion_In_Return_Present;
2665 function Null_Present
2666 (N : Node_Id) return Boolean is
2668 pragma Assert (False
2669 or else NT (N).Nkind = N_Component_List
2670 or else NT (N).Nkind = N_Procedure_Specification
2671 or else NT (N).Nkind = N_Record_Definition);
2675 function Null_Record_Present
2676 (N : Node_Id) return Boolean is
2678 pragma Assert (False
2679 or else NT (N).Nkind = N_Aggregate
2680 or else NT (N).Nkind = N_Extension_Aggregate);
2682 end Null_Record_Present;
2684 function Null_Statement
2685 (N : Node_Id) return Node_Id is
2687 pragma Assert (False
2688 or else NT (N).Nkind = N_Procedure_Specification);
2692 function Object_Definition
2693 (N : Node_Id) return Node_Id is
2695 pragma Assert (False
2696 or else NT (N).Nkind = N_Object_Declaration);
2698 end Object_Definition;
2701 (N : Node_Id) return Boolean is
2703 pragma Assert (False
2704 or else NT (N).Nkind = N_Iterator_Specification);
2708 function Original_Discriminant
2709 (N : Node_Id) return Node_Id is
2711 pragma Assert (False
2712 or else NT (N).Nkind = N_Identifier);
2714 end Original_Discriminant;
2716 function Original_Entity
2717 (N : Node_Id) return Entity_Id is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_Integer_Literal
2721 or else NT (N).Nkind = N_Real_Literal);
2723 end Original_Entity;
2725 function Others_Discrete_Choices
2726 (N : Node_Id) return List_Id is
2728 pragma Assert (False
2729 or else NT (N).Nkind = N_Others_Choice);
2731 end Others_Discrete_Choices;
2733 function Out_Present
2734 (N : Node_Id) return Boolean is
2736 pragma Assert (False
2737 or else NT (N).Nkind = N_Formal_Object_Declaration
2738 or else NT (N).Nkind = N_Parameter_Specification);
2742 function Parameter_Associations
2743 (N : Node_Id) return List_Id is
2745 pragma Assert (False
2746 or else NT (N).Nkind = N_Entry_Call_Statement
2747 or else NT (N).Nkind = N_Function_Call
2748 or else NT (N).Nkind = N_Procedure_Call_Statement);
2750 end Parameter_Associations;
2752 function Parameter_Specifications
2753 (N : Node_Id) return List_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_Accept_Statement
2757 or else NT (N).Nkind = N_Access_Function_Definition
2758 or else NT (N).Nkind = N_Access_Procedure_Definition
2759 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2760 or else NT (N).Nkind = N_Entry_Declaration
2761 or else NT (N).Nkind = N_Function_Specification
2762 or else NT (N).Nkind = N_Procedure_Specification);
2764 end Parameter_Specifications;
2766 function Parameter_Type
2767 (N : Node_Id) return Node_Id is
2769 pragma Assert (False
2770 or else NT (N).Nkind = N_Parameter_Specification);
2774 function Parent_Spec
2775 (N : Node_Id) return Node_Id is
2777 pragma Assert (False
2778 or else NT (N).Nkind = N_Function_Instantiation
2779 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2780 or else NT (N).Nkind = N_Generic_Package_Declaration
2781 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2782 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2783 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2784 or else NT (N).Nkind = N_Package_Declaration
2785 or else NT (N).Nkind = N_Package_Instantiation
2786 or else NT (N).Nkind = N_Package_Renaming_Declaration
2787 or else NT (N).Nkind = N_Procedure_Instantiation
2788 or else NT (N).Nkind = N_Subprogram_Declaration
2789 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2793 function Parent_With
2794 (N : Node_Id) return Boolean is
2796 pragma Assert (False
2797 or else NT (N).Nkind = N_With_Clause);
2802 (N : Node_Id) return Node_Id is
2804 pragma Assert (False
2805 or else NT (N).Nkind = N_Component_Clause);
2809 function Pragma_Argument_Associations
2810 (N : Node_Id) return List_Id is
2812 pragma Assert (False
2813 or else NT (N).Nkind = N_Pragma);
2815 end Pragma_Argument_Associations;
2817 function Pragma_Identifier
2818 (N : Node_Id) return Node_Id is
2820 pragma Assert (False
2821 or else NT (N).Nkind = N_Pragma);
2823 end Pragma_Identifier;
2825 function Pragmas_After
2826 (N : Node_Id) return List_Id is
2828 pragma Assert (False
2829 or else NT (N).Nkind = N_Compilation_Unit_Aux
2830 or else NT (N).Nkind = N_Terminate_Alternative);
2834 function Pragmas_Before
2835 (N : Node_Id) return List_Id is
2837 pragma Assert (False
2838 or else NT (N).Nkind = N_Accept_Alternative
2839 or else NT (N).Nkind = N_Delay_Alternative
2840 or else NT (N).Nkind = N_Entry_Call_Alternative
2841 or else NT (N).Nkind = N_Mod_Clause
2842 or else NT (N).Nkind = N_Terminate_Alternative
2843 or else NT (N).Nkind = N_Triggering_Alternative);
2847 function Pre_Post_Conditions
2848 (N : Node_Id) return Node_Id is
2850 pragma Assert (False
2851 or else NT (N).Nkind = N_Contract);
2853 end Pre_Post_Conditions;
2856 (N : Node_Id) return Node_Id is
2858 pragma Assert (False
2859 or else NT (N).Nkind = N_Attribute_Reference
2860 or else NT (N).Nkind = N_Expanded_Name
2861 or else NT (N).Nkind = N_Explicit_Dereference
2862 or else NT (N).Nkind = N_Indexed_Component
2863 or else NT (N).Nkind = N_Reference
2864 or else NT (N).Nkind = N_Selected_Component
2865 or else NT (N).Nkind = N_Slice);
2869 function Premature_Use
2870 (N : Node_Id) return Node_Id is
2872 pragma Assert (False
2873 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2877 function Present_Expr
2878 (N : Node_Id) return Uint is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Variant);
2886 (N : Node_Id) return Boolean is
2888 pragma Assert (False
2889 or else NT (N).Nkind = N_Component_Declaration
2890 or else NT (N).Nkind = N_Discriminant_Specification
2891 or else NT (N).Nkind = N_Exception_Declaration
2892 or else NT (N).Nkind = N_Formal_Object_Declaration
2893 or else NT (N).Nkind = N_Number_Declaration
2894 or else NT (N).Nkind = N_Object_Declaration
2895 or else NT (N).Nkind = N_Parameter_Specification
2896 or else NT (N).Nkind = N_Use_Package_Clause
2897 or else NT (N).Nkind = N_Use_Type_Clause);
2901 function Prev_Use_Clause
2902 (N : Node_Id) return Node_Id is
2904 pragma Assert (False
2905 or else NT (N).Nkind = N_Use_Package_Clause
2906 or else NT (N).Nkind = N_Use_Type_Clause);
2908 end Prev_Use_Clause;
2910 function Print_In_Hex
2911 (N : Node_Id) return Boolean is
2913 pragma Assert (False
2914 or else NT (N).Nkind = N_Integer_Literal);
2918 function Private_Declarations
2919 (N : Node_Id) return List_Id is
2921 pragma Assert (False
2922 or else NT (N).Nkind = N_Package_Specification
2923 or else NT (N).Nkind = N_Protected_Definition
2924 or else NT (N).Nkind = N_Task_Definition);
2926 end Private_Declarations;
2928 function Private_Present
2929 (N : Node_Id) return Boolean is
2931 pragma Assert (False
2932 or else NT (N).Nkind = N_Compilation_Unit
2933 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2934 or else NT (N).Nkind = N_With_Clause);
2936 end Private_Present;
2938 function Procedure_To_Call
2939 (N : Node_Id) return Node_Id is
2941 pragma Assert (False
2942 or else NT (N).Nkind = N_Allocator
2943 or else NT (N).Nkind = N_Extended_Return_Statement
2944 or else NT (N).Nkind = N_Free_Statement
2945 or else NT (N).Nkind = N_Simple_Return_Statement);
2947 end Procedure_To_Call;
2949 function Proper_Body
2950 (N : Node_Id) return Node_Id is
2952 pragma Assert (False
2953 or else NT (N).Nkind = N_Subunit);
2957 function Protected_Definition
2958 (N : Node_Id) return Node_Id is
2960 pragma Assert (False
2961 or else NT (N).Nkind = N_Protected_Type_Declaration
2962 or else NT (N).Nkind = N_Single_Protected_Declaration);
2964 end Protected_Definition;
2966 function Protected_Present
2967 (N : Node_Id) return Boolean is
2969 pragma Assert (False
2970 or else NT (N).Nkind = N_Access_Function_Definition
2971 or else NT (N).Nkind = N_Access_Procedure_Definition
2972 or else NT (N).Nkind = N_Derived_Type_Definition
2973 or else NT (N).Nkind = N_Record_Definition);
2975 end Protected_Present;
2977 function Raises_Constraint_Error
2978 (N : Node_Id) return Boolean is
2980 pragma Assert (False
2981 or else NT (N).Nkind in N_Subexpr);
2983 end Raises_Constraint_Error;
2985 function Range_Constraint
2986 (N : Node_Id) return Node_Id is
2988 pragma Assert (False
2989 or else NT (N).Nkind = N_Delta_Constraint
2990 or else NT (N).Nkind = N_Digits_Constraint);
2992 end Range_Constraint;
2994 function Range_Expression
2995 (N : Node_Id) return Node_Id is
2997 pragma Assert (False
2998 or else NT (N).Nkind = N_Range_Constraint);
3000 end Range_Expression;
3002 function Real_Range_Specification
3003 (N : Node_Id) return Node_Id is
3005 pragma Assert (False
3006 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3007 or else NT (N).Nkind = N_Floating_Point_Definition
3008 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3010 end Real_Range_Specification;
3013 (N : Node_Id) return Ureal is
3015 pragma Assert (False
3016 or else NT (N).Nkind = N_Real_Literal);
3021 (N : Node_Id) return Uint is
3023 pragma Assert (False
3024 or else NT (N).Nkind = N_Raise_Constraint_Error
3025 or else NT (N).Nkind = N_Raise_Program_Error
3026 or else NT (N).Nkind = N_Raise_Storage_Error);
3030 function Record_Extension_Part
3031 (N : Node_Id) return Node_Id is
3033 pragma Assert (False
3034 or else NT (N).Nkind = N_Derived_Type_Definition);
3036 end Record_Extension_Part;
3038 function Redundant_Use
3039 (N : Node_Id) return Boolean is
3041 pragma Assert (False
3042 or else NT (N).Nkind = N_Attribute_Reference
3043 or else NT (N).Nkind = N_Expanded_Name
3044 or else NT (N).Nkind = N_Identifier);
3048 function Renaming_Exception
3049 (N : Node_Id) return Node_Id is
3051 pragma Assert (False
3052 or else NT (N).Nkind = N_Exception_Declaration);
3054 end Renaming_Exception;
3056 function Result_Definition
3057 (N : Node_Id) return Node_Id is
3059 pragma Assert (False
3060 or else NT (N).Nkind = N_Access_Function_Definition
3061 or else NT (N).Nkind = N_Function_Specification);
3063 end Result_Definition;
3065 function Return_Object_Declarations
3066 (N : Node_Id) return List_Id is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_Extended_Return_Statement);
3071 end Return_Object_Declarations;
3073 function Return_Statement_Entity
3074 (N : Node_Id) return Node_Id is
3076 pragma Assert (False
3077 or else NT (N).Nkind = N_Extended_Return_Statement
3078 or else NT (N).Nkind = N_Simple_Return_Statement);
3080 end Return_Statement_Entity;
3082 function Reverse_Present
3083 (N : Node_Id) return Boolean is
3085 pragma Assert (False
3086 or else NT (N).Nkind = N_Iterator_Specification
3087 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3089 end Reverse_Present;
3092 (N : Node_Id) return Node_Id is
3094 pragma Assert (False
3095 or else NT (N).Nkind in N_Op
3096 or else NT (N).Nkind = N_And_Then
3097 or else NT (N).Nkind = N_In
3098 or else NT (N).Nkind = N_Not_In
3099 or else NT (N).Nkind = N_Or_Else);
3103 function Rounded_Result
3104 (N : Node_Id) return Boolean is
3106 pragma Assert (False
3107 or else NT (N).Nkind = N_Op_Divide
3108 or else NT (N).Nkind = N_Op_Multiply
3109 or else NT (N).Nkind = N_Type_Conversion);
3113 function Save_Invocation_Graph_Of_Body
3114 (N : Node_Id) return Boolean is
3116 pragma Assert (False
3117 or else NT (N).Nkind = N_Compilation_Unit);
3119 end Save_Invocation_Graph_Of_Body;
3121 function SCIL_Controlling_Tag
3122 (N : Node_Id) return Node_Id is
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
3127 end SCIL_Controlling_Tag;
3129 function SCIL_Entity
3130 (N : Node_Id) return Node_Id is
3132 pragma Assert (False
3133 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
3134 or else NT (N).Nkind = N_SCIL_Dispatching_Call
3135 or else NT (N).Nkind = N_SCIL_Membership_Test);
3139 function SCIL_Tag_Value
3140 (N : Node_Id) return Node_Id is
3142 pragma Assert (False
3143 or else NT (N).Nkind = N_SCIL_Membership_Test);
3147 function SCIL_Target_Prim
3148 (N : Node_Id) return Node_Id is
3150 pragma Assert (False
3151 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
3153 end SCIL_Target_Prim;
3156 (N : Node_Id) return Node_Id is
3158 pragma Assert (False
3159 or else NT (N).Nkind = N_Defining_Character_Literal
3160 or else NT (N).Nkind = N_Defining_Identifier
3161 or else NT (N).Nkind = N_Defining_Operator_Symbol);
3165 function Select_Alternatives
3166 (N : Node_Id) return List_Id is
3168 pragma Assert (False
3169 or else NT (N).Nkind = N_Selective_Accept);
3171 end Select_Alternatives;
3173 function Selector_Name
3174 (N : Node_Id) return Node_Id is
3176 pragma Assert (False
3177 or else NT (N).Nkind = N_Expanded_Name
3178 or else NT (N).Nkind = N_Generic_Association
3179 or else NT (N).Nkind = N_Parameter_Association
3180 or else NT (N).Nkind = N_Selected_Component);
3184 function Selector_Names
3185 (N : Node_Id) return List_Id is
3187 pragma Assert (False
3188 or else NT (N).Nkind = N_Discriminant_Association);
3192 function Shift_Count_OK
3193 (N : Node_Id) return Boolean is
3195 pragma Assert (False
3196 or else NT (N).Nkind = N_Op_Rotate_Left
3197 or else NT (N).Nkind = N_Op_Rotate_Right
3198 or else NT (N).Nkind = N_Op_Shift_Left
3199 or else NT (N).Nkind = N_Op_Shift_Right
3200 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
3204 function Source_Type
3205 (N : Node_Id) return Entity_Id is
3207 pragma Assert (False
3208 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3212 function Specification
3213 (N : Node_Id) return Node_Id is
3215 pragma Assert (False
3216 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
3217 or else NT (N).Nkind = N_Expression_Function
3218 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3219 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3220 or else NT (N).Nkind = N_Generic_Package_Declaration
3221 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3222 or else NT (N).Nkind = N_Package_Declaration
3223 or else NT (N).Nkind = N_Subprogram_Body
3224 or else NT (N).Nkind = N_Subprogram_Body_Stub
3225 or else NT (N).Nkind = N_Subprogram_Declaration
3226 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3231 (N : Node_Id) return Boolean is
3233 pragma Assert (False
3234 or else NT (N).Nkind = N_Aspect_Specification
3235 or else NT (N).Nkind = N_Pragma);
3240 (N : Node_Id) return List_Id is
3242 pragma Assert (False
3243 or else NT (N).Nkind = N_Abortable_Part
3244 or else NT (N).Nkind = N_Accept_Alternative
3245 or else NT (N).Nkind = N_Case_Statement_Alternative
3246 or else NT (N).Nkind = N_Delay_Alternative
3247 or else NT (N).Nkind = N_Entry_Call_Alternative
3248 or else NT (N).Nkind = N_Exception_Handler
3249 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3250 or else NT (N).Nkind = N_Loop_Statement
3251 or else NT (N).Nkind = N_Triggering_Alternative);
3255 function Storage_Pool
3256 (N : Node_Id) return Node_Id is
3258 pragma Assert (False
3259 or else NT (N).Nkind = N_Allocator
3260 or else NT (N).Nkind = N_Extended_Return_Statement
3261 or else NT (N).Nkind = N_Free_Statement
3262 or else NT (N).Nkind = N_Simple_Return_Statement);
3266 function Subpool_Handle_Name
3267 (N : Node_Id) return Node_Id is
3269 pragma Assert (False
3270 or else NT (N).Nkind = N_Allocator);
3272 end Subpool_Handle_Name;
3275 (N : Node_Id) return String_Id is
3277 pragma Assert (False
3278 or else NT (N).Nkind = N_Operator_Symbol
3279 or else NT (N).Nkind = N_String_Literal);
3283 function Subtype_Indication
3284 (N : Node_Id) return Node_Id is
3286 pragma Assert (False
3287 or else NT (N).Nkind = N_Access_To_Object_Definition
3288 or else NT (N).Nkind = N_Component_Definition
3289 or else NT (N).Nkind = N_Derived_Type_Definition
3290 or else NT (N).Nkind = N_Iterator_Specification
3291 or else NT (N).Nkind = N_Private_Extension_Declaration
3292 or else NT (N).Nkind = N_Subtype_Declaration);
3294 end Subtype_Indication;
3296 function Suppress_Assignment_Checks
3297 (N : Node_Id) return Boolean is
3299 pragma Assert (False
3300 or else NT (N).Nkind = N_Assignment_Statement
3301 or else NT (N).Nkind = N_Object_Declaration);
3303 end Suppress_Assignment_Checks;
3305 function Suppress_Loop_Warnings
3306 (N : Node_Id) return Boolean is
3308 pragma Assert (False
3309 or else NT (N).Nkind = N_Loop_Statement);
3311 end Suppress_Loop_Warnings;
3313 function Subtype_Mark
3314 (N : Node_Id) return Node_Id is
3316 pragma Assert (False
3317 or else NT (N).Nkind = N_Access_Definition
3318 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3319 or else NT (N).Nkind = N_Formal_Object_Declaration
3320 or else NT (N).Nkind = N_Object_Renaming_Declaration
3321 or else NT (N).Nkind = N_Qualified_Expression
3322 or else NT (N).Nkind = N_Subtype_Indication
3323 or else NT (N).Nkind = N_Type_Conversion
3324 or else NT (N).Nkind = N_Unchecked_Type_Conversion
3325 or else NT (N).Nkind = N_Use_Type_Clause);
3329 function Subtype_Marks
3330 (N : Node_Id) return List_Id is
3332 pragma Assert (False
3333 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3337 function Synchronized_Present
3338 (N : Node_Id) return Boolean is
3340 pragma Assert (False
3341 or else NT (N).Nkind = N_Derived_Type_Definition
3342 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3343 or else NT (N).Nkind = N_Private_Extension_Declaration
3344 or else NT (N).Nkind = N_Record_Definition);
3346 end Synchronized_Present;
3348 function Tagged_Present
3349 (N : Node_Id) return Boolean is
3351 pragma Assert (False
3352 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3353 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3354 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3355 or else NT (N).Nkind = N_Private_Type_Declaration
3356 or else NT (N).Nkind = N_Record_Definition);
3361 (N : Node_Id) return Entity_Id is
3363 pragma Assert (False
3364 or else NT (N).Nkind = N_Call_Marker
3365 or else NT (N).Nkind = N_Variable_Reference_Marker);
3369 function Target_Type
3370 (N : Node_Id) return Entity_Id is
3372 pragma Assert (False
3373 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3377 function Task_Definition
3378 (N : Node_Id) return Node_Id is
3380 pragma Assert (False
3381 or else NT (N).Nkind = N_Single_Task_Declaration
3382 or else NT (N).Nkind = N_Task_Type_Declaration);
3384 end Task_Definition;
3386 function Task_Present
3387 (N : Node_Id) return Boolean is
3389 pragma Assert (False
3390 or else NT (N).Nkind = N_Derived_Type_Definition
3391 or else NT (N).Nkind = N_Record_Definition);
3395 function Then_Actions
3396 (N : Node_Id) return List_Id is
3398 pragma Assert (False
3399 or else NT (N).Nkind = N_If_Expression);
3403 function Then_Statements
3404 (N : Node_Id) return List_Id is
3406 pragma Assert (False
3407 or else NT (N).Nkind = N_Elsif_Part
3408 or else NT (N).Nkind = N_If_Statement);
3410 end Then_Statements;
3412 function Triggering_Alternative
3413 (N : Node_Id) return Node_Id is
3415 pragma Assert (False
3416 or else NT (N).Nkind = N_Asynchronous_Select);
3418 end Triggering_Alternative;
3420 function Triggering_Statement
3421 (N : Node_Id) return Node_Id is
3423 pragma Assert (False
3424 or else NT (N).Nkind = N_Triggering_Alternative);
3426 end Triggering_Statement;
3429 (N : Node_Id) return Elist_Id is
3431 pragma Assert (False
3432 or else NT (N).Nkind = N_Freeze_Entity);
3436 function Type_Definition
3437 (N : Node_Id) return Node_Id is
3439 pragma Assert (False
3440 or else NT (N).Nkind = N_Full_Type_Declaration);
3442 end Type_Definition;
3444 function Uneval_Old_Accept
3445 (N : Node_Id) return Boolean is
3447 pragma Assert (False
3448 or else NT (N).Nkind = N_Pragma);
3450 end Uneval_Old_Accept;
3452 function Uneval_Old_Warn
3453 (N : Node_Id) return Boolean is
3455 pragma Assert (False
3456 or else NT (N).Nkind = N_Pragma);
3458 end Uneval_Old_Warn;
3461 (N : Node_Id) return Node_Id is
3463 pragma Assert (False
3464 or else NT (N).Nkind = N_Compilation_Unit);
3468 function Unknown_Discriminants_Present
3469 (N : Node_Id) return Boolean is
3471 pragma Assert (False
3472 or else NT (N).Nkind = N_Formal_Type_Declaration
3473 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3474 or else NT (N).Nkind = N_Private_Extension_Declaration
3475 or else NT (N).Nkind = N_Private_Type_Declaration);
3477 end Unknown_Discriminants_Present;
3479 function Unreferenced_In_Spec
3480 (N : Node_Id) return Boolean is
3482 pragma Assert (False
3483 or else NT (N).Nkind = N_With_Clause);
3485 end Unreferenced_In_Spec;
3487 function Variant_Part
3488 (N : Node_Id) return Node_Id is
3490 pragma Assert (False
3491 or else NT (N).Nkind = N_Component_List);
3496 (N : Node_Id) return List_Id is
3498 pragma Assert (False
3499 or else NT (N).Nkind = N_Variant_Part);
3503 function Visible_Declarations
3504 (N : Node_Id) return List_Id is
3506 pragma Assert (False
3507 or else NT (N).Nkind = N_Package_Specification
3508 or else NT (N).Nkind = N_Protected_Definition
3509 or else NT (N).Nkind = N_Task_Definition);
3511 end Visible_Declarations;
3513 function Uninitialized_Variable
3514 (N : Node_Id) return Node_Id is
3516 pragma Assert (False
3517 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3518 or else NT (N).Nkind = N_Private_Extension_Declaration);
3520 end Uninitialized_Variable;
3522 function Used_Operations
3523 (N : Node_Id) return Elist_Id is
3525 pragma Assert (False
3526 or else NT (N).Nkind = N_Use_Type_Clause);
3528 end Used_Operations;
3530 function Was_Attribute_Reference
3531 (N : Node_Id) return Boolean is
3533 pragma Assert (False
3534 or else NT (N).Nkind = N_Subprogram_Body);
3536 end Was_Attribute_Reference;
3538 function Was_Default_Init_Box_Association
3539 (N : Node_Id) return Boolean is
3541 pragma Assert (False
3542 or else NT (N).Nkind = N_Component_Association);
3544 end Was_Default_Init_Box_Association;
3546 function Was_Expression_Function
3547 (N : Node_Id) return Boolean is
3549 pragma Assert (False
3550 or else NT (N).Nkind = N_Subprogram_Body);
3552 end Was_Expression_Function;
3554 function Was_Originally_Stub
3555 (N : Node_Id) return Boolean is
3557 pragma Assert (False
3558 or else NT (N).Nkind = N_Package_Body
3559 or else NT (N).Nkind = N_Protected_Body
3560 or else NT (N).Nkind = N_Subprogram_Body
3561 or else NT (N).Nkind = N_Task_Body);
3563 end Was_Originally_Stub;
3565 --------------------------
3566 -- Field Set Procedures --
3567 --------------------------
3569 procedure Set_Abort_Present
3570 (N : Node_Id; Val : Boolean := True) is
3572 pragma Assert (False
3573 or else NT (N).Nkind = N_Requeue_Statement);
3574 Set_Flag15 (N, Val);
3575 end Set_Abort_Present;
3577 procedure Set_Abortable_Part
3578 (N : Node_Id; Val : Node_Id) is
3580 pragma Assert (False
3581 or else NT (N).Nkind = N_Asynchronous_Select);
3582 Set_Node2_With_Parent (N, Val);
3583 end Set_Abortable_Part;
3585 procedure Set_Abstract_Present
3586 (N : Node_Id; Val : Boolean := True) is
3588 pragma Assert (False
3589 or else NT (N).Nkind = N_Derived_Type_Definition
3590 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3591 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3592 or else NT (N).Nkind = N_Private_Extension_Declaration
3593 or else NT (N).Nkind = N_Private_Type_Declaration
3594 or else NT (N).Nkind = N_Record_Definition);
3596 end Set_Abstract_Present;
3598 procedure Set_Accept_Handler_Records
3599 (N : Node_Id; Val : List_Id) is
3601 pragma Assert (False
3602 or else NT (N).Nkind = N_Accept_Alternative);
3603 Set_List5 (N, Val); -- semantic field, no parent set
3604 end Set_Accept_Handler_Records;
3606 procedure Set_Accept_Statement
3607 (N : Node_Id; Val : Node_Id) is
3609 pragma Assert (False
3610 or else NT (N).Nkind = N_Accept_Alternative);
3611 Set_Node2_With_Parent (N, Val);
3612 end Set_Accept_Statement;
3614 procedure Set_Access_Definition
3615 (N : Node_Id; Val : Node_Id) is
3617 pragma Assert (False
3618 or else NT (N).Nkind = N_Component_Definition
3619 or else NT (N).Nkind = N_Formal_Object_Declaration
3620 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3621 Set_Node3_With_Parent (N, Val);
3622 end Set_Access_Definition;
3624 procedure Set_Access_To_Subprogram_Definition
3625 (N : Node_Id; Val : Node_Id) is
3627 pragma Assert (False
3628 or else NT (N).Nkind = N_Access_Definition);
3629 Set_Node3_With_Parent (N, Val);
3630 end Set_Access_To_Subprogram_Definition;
3632 procedure Set_Access_Types_To_Process
3633 (N : Node_Id; Val : Elist_Id) is
3635 pragma Assert (False
3636 or else NT (N).Nkind = N_Freeze_Entity);
3637 Set_Elist2 (N, Val); -- semantic field, no parent set
3638 end Set_Access_Types_To_Process;
3640 procedure Set_Actions
3641 (N : Node_Id; Val : List_Id) is
3643 pragma Assert (False
3644 or else NT (N).Nkind = N_And_Then
3645 or else NT (N).Nkind = N_Case_Expression_Alternative
3646 or else NT (N).Nkind = N_Compilation_Unit_Aux
3647 or else NT (N).Nkind = N_Compound_Statement
3648 or else NT (N).Nkind = N_Expression_With_Actions
3649 or else NT (N).Nkind = N_Freeze_Entity
3650 or else NT (N).Nkind = N_Or_Else);
3651 Set_List1_With_Parent (N, Val);
3654 procedure Set_Activation_Chain_Entity
3655 (N : Node_Id; Val : Node_Id) is
3657 pragma Assert (False
3658 or else NT (N).Nkind = N_Block_Statement
3659 or else NT (N).Nkind = N_Entry_Body
3660 or else NT (N).Nkind = N_Generic_Package_Declaration
3661 or else NT (N).Nkind = N_Package_Declaration
3662 or else NT (N).Nkind = N_Subprogram_Body
3663 or else NT (N).Nkind = N_Task_Body);
3664 Set_Node3 (N, Val); -- semantic field, no parent set
3665 end Set_Activation_Chain_Entity;
3667 procedure Set_Acts_As_Spec
3668 (N : Node_Id; Val : Boolean := True) is
3670 pragma Assert (False
3671 or else NT (N).Nkind = N_Compilation_Unit
3672 or else NT (N).Nkind = N_Subprogram_Body);
3674 end Set_Acts_As_Spec;
3676 procedure Set_Actual_Designated_Subtype
3677 (N : Node_Id; Val : Node_Id) is
3679 pragma Assert (False
3680 or else NT (N).Nkind = N_Explicit_Dereference
3681 or else NT (N).Nkind = N_Free_Statement);
3683 end Set_Actual_Designated_Subtype;
3685 procedure Set_Address_Warning_Posted
3686 (N : Node_Id; Val : Boolean := True) is
3688 pragma Assert (False
3689 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3690 Set_Flag18 (N, Val);
3691 end Set_Address_Warning_Posted;
3693 procedure Set_Aggregate_Bounds
3694 (N : Node_Id; Val : Node_Id) is
3696 pragma Assert (False
3697 or else NT (N).Nkind = N_Aggregate);
3698 Set_Node3 (N, Val); -- semantic field, no parent set
3699 end Set_Aggregate_Bounds;
3701 procedure Set_Aliased_Present
3702 (N : Node_Id; Val : Boolean := True) is
3704 pragma Assert (False
3705 or else NT (N).Nkind = N_Component_Definition
3706 or else NT (N).Nkind = N_Object_Declaration
3707 or else NT (N).Nkind = N_Parameter_Specification);
3709 end Set_Aliased_Present;
3711 procedure Set_Alloc_For_BIP_Return
3712 (N : Node_Id; Val : Boolean := True) is
3714 pragma Assert (False
3715 or else NT (N).Nkind = N_Allocator);
3717 end Set_Alloc_For_BIP_Return;
3719 procedure Set_All_Others
3720 (N : Node_Id; Val : Boolean := True) is
3722 pragma Assert (False
3723 or else NT (N).Nkind = N_Others_Choice);
3724 Set_Flag11 (N, Val);
3727 procedure Set_All_Present
3728 (N : Node_Id; Val : Boolean := True) is
3730 pragma Assert (False
3731 or else NT (N).Nkind = N_Access_Definition
3732 or else NT (N).Nkind = N_Access_To_Object_Definition
3733 or else NT (N).Nkind = N_Quantified_Expression
3734 or else NT (N).Nkind = N_Use_Type_Clause);
3735 Set_Flag15 (N, Val);
3736 end Set_All_Present;
3738 procedure Set_Alternatives
3739 (N : Node_Id; Val : List_Id) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Case_Expression
3743 or else NT (N).Nkind = N_Case_Statement
3744 or else NT (N).Nkind = N_In
3745 or else NT (N).Nkind = N_Not_In);
3746 Set_List4_With_Parent (N, Val);
3747 end Set_Alternatives;
3749 procedure Set_Ancestor_Part
3750 (N : Node_Id; Val : Node_Id) is
3752 pragma Assert (False
3753 or else NT (N).Nkind = N_Extension_Aggregate);
3754 Set_Node3_With_Parent (N, Val);
3755 end Set_Ancestor_Part;
3757 procedure Set_Atomic_Sync_Required
3758 (N : Node_Id; Val : Boolean := True) is
3760 pragma Assert (False
3761 or else NT (N).Nkind = N_Expanded_Name
3762 or else NT (N).Nkind = N_Explicit_Dereference
3763 or else NT (N).Nkind = N_Identifier
3764 or else NT (N).Nkind = N_Indexed_Component
3765 or else NT (N).Nkind = N_Selected_Component);
3766 Set_Flag14 (N, Val);
3767 end Set_Atomic_Sync_Required;
3769 procedure Set_Array_Aggregate
3770 (N : Node_Id; Val : Node_Id) is
3772 pragma Assert (False
3773 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3774 Set_Node3_With_Parent (N, Val);
3775 end Set_Array_Aggregate;
3777 procedure Set_Aspect_On_Partial_View
3778 (N : Node_Id; Val : Boolean := True) is
3780 pragma Assert (False
3781 or else NT (N).Nkind = N_Aspect_Specification);
3782 Set_Flag18 (N, Val);
3783 end Set_Aspect_On_Partial_View;
3785 procedure Set_Aspect_Rep_Item
3786 (N : Node_Id; Val : Node_Id) is
3788 pragma Assert (False
3789 or else NT (N).Nkind = N_Aspect_Specification);
3791 end Set_Aspect_Rep_Item;
3793 procedure Set_Assignment_OK
3794 (N : Node_Id; Val : Boolean := True) is
3796 pragma Assert (False
3797 or else NT (N).Nkind = N_Object_Declaration
3798 or else NT (N).Nkind in N_Subexpr);
3799 Set_Flag15 (N, Val);
3800 end Set_Assignment_OK;
3802 procedure Set_Associated_Node
3803 (N : Node_Id; Val : Node_Id) is
3805 pragma Assert (False
3806 or else NT (N).Nkind in N_Has_Entity
3807 or else NT (N).Nkind = N_Aggregate
3808 or else NT (N).Nkind = N_Extension_Aggregate
3809 or else NT (N).Nkind = N_Selected_Component
3810 or else NT (N).Nkind = N_Use_Package_Clause);
3811 Set_Node4 (N, Val); -- semantic field, no parent set
3812 end Set_Associated_Node;
3814 procedure Set_At_End_Proc
3815 (N : Node_Id; Val : Node_Id) is
3817 pragma Assert (False
3818 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3820 end Set_At_End_Proc;
3822 procedure Set_Attribute_Name
3823 (N : Node_Id; Val : Name_Id) is
3825 pragma Assert (False
3826 or else NT (N).Nkind = N_Attribute_Reference);
3828 end Set_Attribute_Name;
3830 procedure Set_Aux_Decls_Node
3831 (N : Node_Id; Val : Node_Id) is
3833 pragma Assert (False
3834 or else NT (N).Nkind = N_Compilation_Unit);
3835 Set_Node5_With_Parent (N, Val);
3836 end Set_Aux_Decls_Node;
3838 procedure Set_Backwards_OK
3839 (N : Node_Id; Val : Boolean := True) is
3841 pragma Assert (False
3842 or else NT (N).Nkind = N_Assignment_Statement);
3844 end Set_Backwards_OK;
3846 procedure Set_Bad_Is_Detected
3847 (N : Node_Id; Val : Boolean := True) is
3849 pragma Assert (False
3850 or else NT (N).Nkind = N_Subprogram_Body);
3851 Set_Flag15 (N, Val);
3852 end Set_Bad_Is_Detected;
3854 procedure Set_Body_Required
3855 (N : Node_Id; Val : Boolean := True) is
3857 pragma Assert (False
3858 or else NT (N).Nkind = N_Compilation_Unit);
3859 Set_Flag13 (N, Val);
3860 end Set_Body_Required;
3862 procedure Set_Body_To_Inline
3863 (N : Node_Id; Val : Node_Id) is
3865 pragma Assert (False
3866 or else NT (N).Nkind = N_Subprogram_Declaration);
3868 end Set_Body_To_Inline;
3870 procedure Set_Box_Present
3871 (N : Node_Id; Val : Boolean := True) is
3873 pragma Assert (False
3874 or else NT (N).Nkind = N_Component_Association
3875 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3876 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3877 or else NT (N).Nkind = N_Formal_Package_Declaration
3878 or else NT (N).Nkind = N_Generic_Association
3879 or else NT (N).Nkind = N_Iterated_Component_Association
3880 or else NT (N).Nkind = N_Iterated_Element_Association);
3881 Set_Flag15 (N, Val);
3882 end Set_Box_Present;
3884 procedure Set_By_Ref
3885 (N : Node_Id; Val : Boolean := True) is
3887 pragma Assert (False
3888 or else NT (N).Nkind = N_Extended_Return_Statement
3889 or else NT (N).Nkind = N_Simple_Return_Statement);
3893 procedure Set_Char_Literal_Value
3894 (N : Node_Id; Val : Uint) is
3896 pragma Assert (False
3897 or else NT (N).Nkind = N_Character_Literal);
3899 end Set_Char_Literal_Value;
3902 (N : Node_Id; Val : Name_Id) is
3904 pragma Assert (False
3905 or else NT (N).Nkind in N_Has_Chars);
3909 procedure Set_Check_Address_Alignment
3910 (N : Node_Id; Val : Boolean := True) is
3912 pragma Assert (False
3913 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3914 Set_Flag11 (N, Val);
3915 end Set_Check_Address_Alignment;
3917 procedure Set_Choice_Parameter
3918 (N : Node_Id; Val : Node_Id) is
3920 pragma Assert (False
3921 or else NT (N).Nkind = N_Exception_Handler);
3922 Set_Node2_With_Parent (N, Val);
3923 end Set_Choice_Parameter;
3925 procedure Set_Choices
3926 (N : Node_Id; Val : List_Id) is
3928 pragma Assert (False
3929 or else NT (N).Nkind = N_Component_Association);
3930 Set_List1_With_Parent (N, Val);
3933 procedure Set_Class_Present
3934 (N : Node_Id; Val : Boolean := True) is
3936 pragma Assert (False
3937 or else NT (N).Nkind = N_Aspect_Specification
3938 or else NT (N).Nkind = N_Pragma);
3940 end Set_Class_Present;
3942 procedure Set_Classifications
3943 (N : Node_Id; Val : Node_Id) is
3945 pragma Assert (False
3946 or else NT (N).Nkind = N_Contract);
3947 Set_Node3 (N, Val); -- semantic field, no parent set
3948 end Set_Classifications;
3950 procedure Set_Cleanup_Actions
3951 (N : Node_Id; Val : List_Id) is
3953 pragma Assert (False
3954 or else NT (N).Nkind = N_Block_Statement);
3955 Set_List5 (N, Val); -- semantic field, no parent set
3956 end Set_Cleanup_Actions;
3958 procedure Set_Comes_From_Extended_Return_Statement
3959 (N : Node_Id; Val : Boolean := True) is
3961 pragma Assert (False
3962 or else NT (N).Nkind = N_Simple_Return_Statement);
3963 Set_Flag18 (N, Val);
3964 end Set_Comes_From_Extended_Return_Statement;
3966 procedure Set_Compile_Time_Known_Aggregate
3967 (N : Node_Id; Val : Boolean := True) is
3969 pragma Assert (False
3970 or else NT (N).Nkind = N_Aggregate);
3971 Set_Flag18 (N, Val);
3972 end Set_Compile_Time_Known_Aggregate;
3974 procedure Set_Component_Associations
3975 (N : Node_Id; Val : List_Id) is
3977 pragma Assert (False
3978 or else NT (N).Nkind = N_Aggregate
3979 or else NT (N).Nkind = N_Delta_Aggregate
3980 or else NT (N).Nkind = N_Extension_Aggregate);
3981 Set_List2_With_Parent (N, Val);
3982 end Set_Component_Associations;
3984 procedure Set_Component_Clauses
3985 (N : Node_Id; Val : List_Id) is
3987 pragma Assert (False
3988 or else NT (N).Nkind = N_Record_Representation_Clause);
3989 Set_List3_With_Parent (N, Val);
3990 end Set_Component_Clauses;
3992 procedure Set_Component_Definition
3993 (N : Node_Id; Val : Node_Id) is
3995 pragma Assert (False
3996 or else NT (N).Nkind = N_Component_Declaration
3997 or else NT (N).Nkind = N_Constrained_Array_Definition
3998 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3999 Set_Node4_With_Parent (N, Val);
4000 end Set_Component_Definition;
4002 procedure Set_Component_Items
4003 (N : Node_Id; Val : List_Id) is
4005 pragma Assert (False
4006 or else NT (N).Nkind = N_Component_List);
4007 Set_List3_With_Parent (N, Val);
4008 end Set_Component_Items;
4010 procedure Set_Component_List
4011 (N : Node_Id; Val : Node_Id) is
4013 pragma Assert (False
4014 or else NT (N).Nkind = N_Record_Definition
4015 or else NT (N).Nkind = N_Variant);
4016 Set_Node1_With_Parent (N, Val);
4017 end Set_Component_List;
4019 procedure Set_Component_Name
4020 (N : Node_Id; Val : Node_Id) is
4022 pragma Assert (False
4023 or else NT (N).Nkind = N_Component_Clause);
4024 Set_Node1_With_Parent (N, Val);
4025 end Set_Component_Name;
4027 procedure Set_Componentwise_Assignment
4028 (N : Node_Id; Val : Boolean := True) is
4030 pragma Assert (False
4031 or else NT (N).Nkind = N_Assignment_Statement);
4032 Set_Flag14 (N, Val);
4033 end Set_Componentwise_Assignment;
4035 procedure Set_Condition
4036 (N : Node_Id; Val : Node_Id) is
4038 pragma Assert (False
4039 or else NT (N).Nkind = N_Accept_Alternative
4040 or else NT (N).Nkind = N_Delay_Alternative
4041 or else NT (N).Nkind = N_Elsif_Part
4042 or else NT (N).Nkind = N_Entry_Body_Formal_Part
4043 or else NT (N).Nkind = N_Exit_Statement
4044 or else NT (N).Nkind = N_If_Statement
4045 or else NT (N).Nkind = N_Iteration_Scheme
4046 or else NT (N).Nkind = N_Quantified_Expression
4047 or else NT (N).Nkind = N_Raise_Constraint_Error
4048 or else NT (N).Nkind = N_Raise_Program_Error
4049 or else NT (N).Nkind = N_Raise_Storage_Error
4050 or else NT (N).Nkind = N_Terminate_Alternative);
4051 Set_Node1_With_Parent (N, Val);
4054 procedure Set_Condition_Actions
4055 (N : Node_Id; Val : List_Id) is
4057 pragma Assert (False
4058 or else NT (N).Nkind = N_Elsif_Part
4059 or else NT (N).Nkind = N_Iteration_Scheme);
4060 Set_List3 (N, Val); -- semantic field, no parent set
4061 end Set_Condition_Actions;
4063 procedure Set_Config_Pragmas
4064 (N : Node_Id; Val : List_Id) is
4066 pragma Assert (False
4067 or else NT (N).Nkind = N_Compilation_Unit_Aux);
4068 Set_List4_With_Parent (N, Val);
4069 end Set_Config_Pragmas;
4071 procedure Set_Constant_Present
4072 (N : Node_Id; Val : Boolean := True) is
4074 pragma Assert (False
4075 or else NT (N).Nkind = N_Access_Definition
4076 or else NT (N).Nkind = N_Access_To_Object_Definition
4077 or else NT (N).Nkind = N_Object_Declaration);
4078 Set_Flag17 (N, Val);
4079 end Set_Constant_Present;
4081 procedure Set_Constraint
4082 (N : Node_Id; Val : Node_Id) is
4084 pragma Assert (False
4085 or else NT (N).Nkind = N_Subtype_Indication);
4086 Set_Node3_With_Parent (N, Val);
4089 procedure Set_Constraints
4090 (N : Node_Id; Val : List_Id) is
4092 pragma Assert (False
4093 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
4094 Set_List1_With_Parent (N, Val);
4095 end Set_Constraints;
4097 procedure Set_Context_Installed
4098 (N : Node_Id; Val : Boolean := True) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_With_Clause);
4102 Set_Flag13 (N, Val);
4103 end Set_Context_Installed;
4105 procedure Set_Context_Items
4106 (N : Node_Id; Val : List_Id) is
4108 pragma Assert (False
4109 or else NT (N).Nkind = N_Compilation_Unit);
4110 Set_List1_With_Parent (N, Val);
4111 end Set_Context_Items;
4113 procedure Set_Context_Pending
4114 (N : Node_Id; Val : Boolean := True) is
4116 pragma Assert (False
4117 or else NT (N).Nkind = N_Compilation_Unit);
4118 Set_Flag16 (N, Val);
4119 end Set_Context_Pending;
4121 procedure Set_Contract_Test_Cases
4122 (N : Node_Id; Val : Node_Id) is
4124 pragma Assert (False
4125 or else NT (N).Nkind = N_Contract);
4126 Set_Node2 (N, Val); -- semantic field, no parent set
4127 end Set_Contract_Test_Cases;
4129 procedure Set_Controlling_Argument
4130 (N : Node_Id; Val : Node_Id) is
4132 pragma Assert (False
4133 or else NT (N).Nkind = N_Function_Call
4134 or else NT (N).Nkind = N_Procedure_Call_Statement);
4135 Set_Node1 (N, Val); -- semantic field, no parent set
4136 end Set_Controlling_Argument;
4138 procedure Set_Conversion_OK
4139 (N : Node_Id; Val : Boolean := True) is
4141 pragma Assert (False
4142 or else NT (N).Nkind = N_Type_Conversion);
4143 Set_Flag14 (N, Val);
4144 end Set_Conversion_OK;
4146 procedure Set_Convert_To_Return_False
4147 (N : Node_Id; Val : Boolean := True) is
4149 pragma Assert (False
4150 or else NT (N).Nkind = N_Raise_Expression);
4151 Set_Flag13 (N, Val);
4152 end Set_Convert_To_Return_False;
4154 procedure Set_Corresponding_Aspect
4155 (N : Node_Id; Val : Node_Id) is
4157 pragma Assert (False
4158 or else NT (N).Nkind = N_Pragma);
4160 end Set_Corresponding_Aspect;
4162 procedure Set_Corresponding_Body
4163 (N : Node_Id; Val : Node_Id) is
4165 pragma Assert (False
4166 or else NT (N).Nkind = N_Entry_Declaration
4167 or else NT (N).Nkind = N_Generic_Package_Declaration
4168 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4169 or else NT (N).Nkind = N_Package_Body_Stub
4170 or else NT (N).Nkind = N_Package_Declaration
4171 or else NT (N).Nkind = N_Protected_Body_Stub
4172 or else NT (N).Nkind = N_Protected_Type_Declaration
4173 or else NT (N).Nkind = N_Subprogram_Body_Stub
4174 or else NT (N).Nkind = N_Subprogram_Declaration
4175 or else NT (N).Nkind = N_Task_Body_Stub
4176 or else NT (N).Nkind = N_Task_Type_Declaration);
4177 Set_Node5 (N, Val); -- semantic field, no parent set
4178 end Set_Corresponding_Body;
4180 procedure Set_Corresponding_Formal_Spec
4181 (N : Node_Id; Val : Node_Id) is
4183 pragma Assert (False
4184 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4185 Set_Node3 (N, Val); -- semantic field, no parent set
4186 end Set_Corresponding_Formal_Spec;
4188 procedure Set_Corresponding_Generic_Association
4189 (N : Node_Id; Val : Node_Id) is
4191 pragma Assert (False
4192 or else NT (N).Nkind = N_Object_Declaration
4193 or else NT (N).Nkind = N_Object_Renaming_Declaration);
4194 Set_Node5 (N, Val); -- semantic field, no parent set
4195 end Set_Corresponding_Generic_Association;
4197 procedure Set_Corresponding_Integer_Value
4198 (N : Node_Id; Val : Uint) is
4200 pragma Assert (False
4201 or else NT (N).Nkind = N_Real_Literal);
4202 Set_Uint4 (N, Val); -- semantic field, no parent set
4203 end Set_Corresponding_Integer_Value;
4205 procedure Set_Corresponding_Spec
4206 (N : Node_Id; Val : Entity_Id) is
4208 pragma Assert (False
4209 or else NT (N).Nkind = N_Expression_Function
4210 or else NT (N).Nkind = N_Package_Body
4211 or else NT (N).Nkind = N_Protected_Body
4212 or else NT (N).Nkind = N_Subprogram_Body
4213 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4214 or else NT (N).Nkind = N_Task_Body
4215 or else NT (N).Nkind = N_With_Clause);
4216 Set_Node5 (N, Val); -- semantic field, no parent set
4217 end Set_Corresponding_Spec;
4219 procedure Set_Corresponding_Spec_Of_Stub
4220 (N : Node_Id; Val : Entity_Id) is
4222 pragma Assert (False
4223 or else NT (N).Nkind = N_Package_Body_Stub
4224 or else NT (N).Nkind = N_Protected_Body_Stub
4225 or else NT (N).Nkind = N_Subprogram_Body_Stub
4226 or else NT (N).Nkind = N_Task_Body_Stub);
4227 Set_Node2 (N, Val); -- semantic field, no parent set
4228 end Set_Corresponding_Spec_Of_Stub;
4230 procedure Set_Corresponding_Stub
4231 (N : Node_Id; Val : Node_Id) is
4233 pragma Assert (False
4234 or else NT (N).Nkind = N_Subunit);
4236 end Set_Corresponding_Stub;
4238 procedure Set_Dcheck_Function
4239 (N : Node_Id; Val : Entity_Id) is
4241 pragma Assert (False
4242 or else NT (N).Nkind = N_Variant);
4243 Set_Node5 (N, Val); -- semantic field, no parent set
4244 end Set_Dcheck_Function;
4246 procedure Set_Declarations
4247 (N : Node_Id; Val : List_Id) is
4249 pragma Assert (False
4250 or else NT (N).Nkind = N_Accept_Statement
4251 or else NT (N).Nkind = N_Block_Statement
4252 or else NT (N).Nkind = N_Compilation_Unit_Aux
4253 or else NT (N).Nkind = N_Entry_Body
4254 or else NT (N).Nkind = N_Package_Body
4255 or else NT (N).Nkind = N_Protected_Body
4256 or else NT (N).Nkind = N_Subprogram_Body
4257 or else NT (N).Nkind = N_Task_Body);
4258 Set_List2_With_Parent (N, Val);
4259 end Set_Declarations;
4261 procedure Set_Default_Expression
4262 (N : Node_Id; Val : Node_Id) is
4264 pragma Assert (False
4265 or else NT (N).Nkind = N_Formal_Object_Declaration
4266 or else NT (N).Nkind = N_Parameter_Specification);
4267 Set_Node5 (N, Val); -- semantic field, no parent set
4268 end Set_Default_Expression;
4270 procedure Set_Default_Storage_Pool
4271 (N : Node_Id; Val : Node_Id) is
4273 pragma Assert (False
4274 or else NT (N).Nkind = N_Compilation_Unit_Aux);
4275 Set_Node3 (N, Val); -- semantic field, no parent set
4276 end Set_Default_Storage_Pool;
4278 procedure Set_Default_Name
4279 (N : Node_Id; Val : Node_Id) is
4281 pragma Assert (False
4282 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
4283 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
4284 Set_Node2_With_Parent (N, Val);
4285 end Set_Default_Name;
4287 procedure Set_Defining_Identifier
4288 (N : Node_Id; Val : Entity_Id) is
4290 pragma Assert (False
4291 or else NT (N).Nkind = N_Component_Declaration
4292 or else NT (N).Nkind = N_Defining_Program_Unit_Name
4293 or else NT (N).Nkind = N_Discriminant_Specification
4294 or else NT (N).Nkind = N_Entry_Body
4295 or else NT (N).Nkind = N_Entry_Declaration
4296 or else NT (N).Nkind = N_Entry_Index_Specification
4297 or else NT (N).Nkind = N_Exception_Declaration
4298 or else NT (N).Nkind = N_Exception_Renaming_Declaration
4299 or else NT (N).Nkind = N_Formal_Object_Declaration
4300 or else NT (N).Nkind = N_Formal_Package_Declaration
4301 or else NT (N).Nkind = N_Formal_Type_Declaration
4302 or else NT (N).Nkind = N_Full_Type_Declaration
4303 or else NT (N).Nkind = N_Implicit_Label_Declaration
4304 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4305 or else NT (N).Nkind = N_Iterated_Component_Association
4306 or else NT (N).Nkind = N_Iterator_Specification
4307 or else NT (N).Nkind = N_Loop_Parameter_Specification
4308 or else NT (N).Nkind = N_Number_Declaration
4309 or else NT (N).Nkind = N_Object_Declaration
4310 or else NT (N).Nkind = N_Object_Renaming_Declaration
4311 or else NT (N).Nkind = N_Package_Body_Stub
4312 or else NT (N).Nkind = N_Parameter_Specification
4313 or else NT (N).Nkind = N_Private_Extension_Declaration
4314 or else NT (N).Nkind = N_Private_Type_Declaration
4315 or else NT (N).Nkind = N_Protected_Body
4316 or else NT (N).Nkind = N_Protected_Body_Stub
4317 or else NT (N).Nkind = N_Protected_Type_Declaration
4318 or else NT (N).Nkind = N_Single_Protected_Declaration
4319 or else NT (N).Nkind = N_Single_Task_Declaration
4320 or else NT (N).Nkind = N_Subtype_Declaration
4321 or else NT (N).Nkind = N_Task_Body
4322 or else NT (N).Nkind = N_Task_Body_Stub
4323 or else NT (N).Nkind = N_Task_Type_Declaration);
4324 Set_Node1_With_Parent (N, Val);
4325 end Set_Defining_Identifier;
4327 procedure Set_Defining_Unit_Name
4328 (N : Node_Id; Val : Node_Id) is
4330 pragma Assert (False
4331 or else NT (N).Nkind = N_Function_Instantiation
4332 or else NT (N).Nkind = N_Function_Specification
4333 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4334 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4335 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4336 or else NT (N).Nkind = N_Package_Body
4337 or else NT (N).Nkind = N_Package_Instantiation
4338 or else NT (N).Nkind = N_Package_Renaming_Declaration
4339 or else NT (N).Nkind = N_Package_Specification
4340 or else NT (N).Nkind = N_Procedure_Instantiation
4341 or else NT (N).Nkind = N_Procedure_Specification);
4342 Set_Node1_With_Parent (N, Val);
4343 end Set_Defining_Unit_Name;
4345 procedure Set_Delay_Alternative
4346 (N : Node_Id; Val : Node_Id) is
4348 pragma Assert (False
4349 or else NT (N).Nkind = N_Timed_Entry_Call);
4350 Set_Node4_With_Parent (N, Val);
4351 end Set_Delay_Alternative;
4353 procedure Set_Delay_Statement
4354 (N : Node_Id; Val : Node_Id) is
4356 pragma Assert (False
4357 or else NT (N).Nkind = N_Delay_Alternative);
4358 Set_Node2_With_Parent (N, Val);
4359 end Set_Delay_Statement;
4361 procedure Set_Delta_Expression
4362 (N : Node_Id; Val : Node_Id) is
4364 pragma Assert (False
4365 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4366 or else NT (N).Nkind = N_Delta_Constraint
4367 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4368 Set_Node3_With_Parent (N, Val);
4369 end Set_Delta_Expression;
4371 procedure Set_Digits_Expression
4372 (N : Node_Id; Val : Node_Id) is
4374 pragma Assert (False
4375 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4376 or else NT (N).Nkind = N_Digits_Constraint
4377 or else NT (N).Nkind = N_Floating_Point_Definition);
4378 Set_Node2_With_Parent (N, Val);
4379 end Set_Digits_Expression;
4381 procedure Set_Discr_Check_Funcs_Built
4382 (N : Node_Id; Val : Boolean := True) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Full_Type_Declaration);
4386 Set_Flag11 (N, Val);
4387 end Set_Discr_Check_Funcs_Built;
4389 procedure Set_Discrete_Choices
4390 (N : Node_Id; Val : List_Id) is
4392 pragma Assert (False
4393 or else NT (N).Nkind = N_Case_Expression_Alternative
4394 or else NT (N).Nkind = N_Case_Statement_Alternative
4395 or else NT (N).Nkind = N_Iterated_Component_Association
4396 or else NT (N).Nkind = N_Variant);
4397 Set_List4_With_Parent (N, Val);
4398 end Set_Discrete_Choices;
4400 procedure Set_Discrete_Range
4401 (N : Node_Id; Val : Node_Id) is
4403 pragma Assert (False
4404 or else NT (N).Nkind = N_Slice);
4405 Set_Node4_With_Parent (N, Val);
4406 end Set_Discrete_Range;
4408 procedure Set_Discrete_Subtype_Definition
4409 (N : Node_Id; Val : Node_Id) is
4411 pragma Assert (False
4412 or else NT (N).Nkind = N_Entry_Declaration
4413 or else NT (N).Nkind = N_Entry_Index_Specification
4414 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4415 Set_Node4_With_Parent (N, Val);
4416 end Set_Discrete_Subtype_Definition;
4418 procedure Set_Discrete_Subtype_Definitions
4419 (N : Node_Id; Val : List_Id) is
4421 pragma Assert (False
4422 or else NT (N).Nkind = N_Constrained_Array_Definition);
4423 Set_List2_With_Parent (N, Val);
4424 end Set_Discrete_Subtype_Definitions;
4426 procedure Set_Discriminant_Specifications
4427 (N : Node_Id; Val : List_Id) is
4429 pragma Assert (False
4430 or else NT (N).Nkind = N_Formal_Type_Declaration
4431 or else NT (N).Nkind = N_Full_Type_Declaration
4432 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4433 or else NT (N).Nkind = N_Private_Extension_Declaration
4434 or else NT (N).Nkind = N_Private_Type_Declaration
4435 or else NT (N).Nkind = N_Protected_Type_Declaration
4436 or else NT (N).Nkind = N_Task_Type_Declaration);
4437 Set_List4_With_Parent (N, Val);
4438 end Set_Discriminant_Specifications;
4440 procedure Set_Discriminant_Type
4441 (N : Node_Id; Val : Node_Id) is
4443 pragma Assert (False
4444 or else NT (N).Nkind = N_Discriminant_Specification);
4445 Set_Node5_With_Parent (N, Val);
4446 end Set_Discriminant_Type;
4448 procedure Set_Do_Accessibility_Check
4449 (N : Node_Id; Val : Boolean := True) is
4451 pragma Assert (False
4452 or else NT (N).Nkind = N_Parameter_Specification);
4453 Set_Flag13 (N, Val);
4454 end Set_Do_Accessibility_Check;
4456 procedure Set_Do_Discriminant_Check
4457 (N : Node_Id; Val : Boolean := True) is
4459 pragma Assert (False
4460 or else NT (N).Nkind = N_Assignment_Statement
4461 or else NT (N).Nkind = N_Selected_Component
4462 or else NT (N).Nkind = N_Type_Conversion);
4464 end Set_Do_Discriminant_Check;
4466 procedure Set_Do_Division_Check
4467 (N : Node_Id; Val : Boolean := True) is
4469 pragma Assert (False
4470 or else NT (N).Nkind = N_Op_Divide
4471 or else NT (N).Nkind = N_Op_Mod
4472 or else NT (N).Nkind = N_Op_Rem);
4473 Set_Flag13 (N, Val);
4474 end Set_Do_Division_Check;
4476 procedure Set_Do_Length_Check
4477 (N : Node_Id; Val : Boolean := True) is
4479 pragma Assert (False
4480 or else NT (N).Nkind = N_Assignment_Statement
4481 or else NT (N).Nkind = N_Op_And
4482 or else NT (N).Nkind = N_Op_Or
4483 or else NT (N).Nkind = N_Op_Xor
4484 or else NT (N).Nkind = N_Type_Conversion);
4486 end Set_Do_Length_Check;
4488 procedure Set_Do_Overflow_Check
4489 (N : Node_Id; Val : Boolean := True) is
4491 pragma Assert (False
4492 or else NT (N).Nkind in N_Op
4493 or else NT (N).Nkind = N_Attribute_Reference
4494 or else NT (N).Nkind = N_Case_Expression
4495 or else NT (N).Nkind = N_If_Expression
4496 or else NT (N).Nkind = N_Type_Conversion);
4497 Set_Flag17 (N, Val);
4498 end Set_Do_Overflow_Check;
4500 procedure Set_Do_Range_Check
4501 (N : Node_Id; Val : Boolean := True) is
4503 pragma Assert (False
4504 or else NT (N).Nkind in N_Subexpr);
4506 end Set_Do_Range_Check;
4508 procedure Set_Do_Storage_Check
4509 (N : Node_Id; Val : Boolean := True) is
4511 pragma Assert (False
4512 or else NT (N).Nkind = N_Allocator
4513 or else NT (N).Nkind = N_Subprogram_Body);
4514 Set_Flag17 (N, Val);
4515 end Set_Do_Storage_Check;
4517 procedure Set_Do_Tag_Check
4518 (N : Node_Id; Val : Boolean := True) is
4520 pragma Assert (False
4521 or else NT (N).Nkind = N_Assignment_Statement
4522 or else NT (N).Nkind = N_Extended_Return_Statement
4523 or else NT (N).Nkind = N_Function_Call
4524 or else NT (N).Nkind = N_Procedure_Call_Statement
4525 or else NT (N).Nkind = N_Simple_Return_Statement
4526 or else NT (N).Nkind = N_Type_Conversion);
4527 Set_Flag13 (N, Val);
4528 end Set_Do_Tag_Check;
4530 procedure Set_Elaborate_All_Desirable
4531 (N : Node_Id; Val : Boolean := True) is
4533 pragma Assert (False
4534 or else NT (N).Nkind = N_With_Clause);
4536 end Set_Elaborate_All_Desirable;
4538 procedure Set_Elaborate_All_Present
4539 (N : Node_Id; Val : Boolean := True) is
4541 pragma Assert (False
4542 or else NT (N).Nkind = N_With_Clause);
4543 Set_Flag14 (N, Val);
4544 end Set_Elaborate_All_Present;
4546 procedure Set_Elaborate_Desirable
4547 (N : Node_Id; Val : Boolean := True) is
4549 pragma Assert (False
4550 or else NT (N).Nkind = N_With_Clause);
4551 Set_Flag11 (N, Val);
4552 end Set_Elaborate_Desirable;
4554 procedure Set_Elaborate_Present
4555 (N : Node_Id; Val : Boolean := True) is
4557 pragma Assert (False
4558 or else NT (N).Nkind = N_With_Clause);
4560 end Set_Elaborate_Present;
4562 procedure Set_Else_Actions
4563 (N : Node_Id; Val : List_Id) is
4565 pragma Assert (False
4566 or else NT (N).Nkind = N_If_Expression);
4567 Set_List3_With_Parent (N, Val); -- semantic field, but needs parents
4568 end Set_Else_Actions;
4570 procedure Set_Else_Statements
4571 (N : Node_Id; Val : List_Id) is
4573 pragma Assert (False
4574 or else NT (N).Nkind = N_Conditional_Entry_Call
4575 or else NT (N).Nkind = N_If_Statement
4576 or else NT (N).Nkind = N_Selective_Accept);
4577 Set_List4_With_Parent (N, Val);
4578 end Set_Else_Statements;
4580 procedure Set_Elsif_Parts
4581 (N : Node_Id; Val : List_Id) is
4583 pragma Assert (False
4584 or else NT (N).Nkind = N_If_Statement);
4585 Set_List3_With_Parent (N, Val);
4586 end Set_Elsif_Parts;
4588 procedure Set_Enclosing_Variant
4589 (N : Node_Id; Val : Node_Id) is
4591 pragma Assert (False
4592 or else NT (N).Nkind = N_Variant);
4593 Set_Node2 (N, Val); -- semantic field, no parent set
4594 end Set_Enclosing_Variant;
4596 procedure Set_End_Label
4597 (N : Node_Id; Val : Node_Id) is
4599 pragma Assert (False
4600 or else NT (N).Nkind = N_Enumeration_Type_Definition
4601 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4602 or else NT (N).Nkind = N_Loop_Statement
4603 or else NT (N).Nkind = N_Package_Specification
4604 or else NT (N).Nkind = N_Protected_Body
4605 or else NT (N).Nkind = N_Protected_Definition
4606 or else NT (N).Nkind = N_Record_Definition
4607 or else NT (N).Nkind = N_Task_Definition);
4608 Set_Node4_With_Parent (N, Val);
4611 procedure Set_End_Span
4612 (N : Node_Id; Val : Uint) is
4614 pragma Assert (False
4615 or else NT (N).Nkind = N_Case_Statement
4616 or else NT (N).Nkind = N_If_Statement);
4620 procedure Set_Entity
4621 (N : Node_Id; Val : Node_Id) is
4623 pragma Assert (False
4624 or else NT (N).Nkind in N_Has_Entity
4625 or else NT (N).Nkind = N_Aspect_Specification
4626 or else NT (N).Nkind = N_Attribute_Definition_Clause
4627 or else NT (N).Nkind = N_Freeze_Entity
4628 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4629 Set_Node4 (N, Val); -- semantic field, no parent set
4632 procedure Set_Entry_Body_Formal_Part
4633 (N : Node_Id; Val : Node_Id) is
4635 pragma Assert (False
4636 or else NT (N).Nkind = N_Entry_Body);
4637 Set_Node5_With_Parent (N, Val);
4638 end Set_Entry_Body_Formal_Part;
4640 procedure Set_Entry_Call_Alternative
4641 (N : Node_Id; Val : Node_Id) is
4643 pragma Assert (False
4644 or else NT (N).Nkind = N_Conditional_Entry_Call
4645 or else NT (N).Nkind = N_Timed_Entry_Call);
4646 Set_Node1_With_Parent (N, Val);
4647 end Set_Entry_Call_Alternative;
4649 procedure Set_Entry_Call_Statement
4650 (N : Node_Id; Val : Node_Id) is
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_Entry_Call_Alternative);
4654 Set_Node1_With_Parent (N, Val);
4655 end Set_Entry_Call_Statement;
4657 procedure Set_Entry_Direct_Name
4658 (N : Node_Id; Val : Node_Id) is
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Accept_Statement);
4662 Set_Node1_With_Parent (N, Val);
4663 end Set_Entry_Direct_Name;
4665 procedure Set_Entry_Index
4666 (N : Node_Id; Val : Node_Id) is
4668 pragma Assert (False
4669 or else NT (N).Nkind = N_Accept_Statement);
4670 Set_Node5_With_Parent (N, Val);
4671 end Set_Entry_Index;
4673 procedure Set_Entry_Index_Specification
4674 (N : Node_Id; Val : Node_Id) is
4676 pragma Assert (False
4677 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4678 Set_Node4_With_Parent (N, Val);
4679 end Set_Entry_Index_Specification;
4682 (N : Node_Id; Val : Node_Id) is
4684 pragma Assert (False
4685 or else NT (N).Nkind in N_Has_Etype);
4686 Set_Node5 (N, Val); -- semantic field, no parent set
4689 procedure Set_Exception_Choices
4690 (N : Node_Id; Val : List_Id) is
4692 pragma Assert (False
4693 or else NT (N).Nkind = N_Exception_Handler);
4694 Set_List4_With_Parent (N, Val);
4695 end Set_Exception_Choices;
4697 procedure Set_Exception_Handlers
4698 (N : Node_Id; Val : List_Id) is
4700 pragma Assert (False
4701 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4702 Set_List5_With_Parent (N, Val);
4703 end Set_Exception_Handlers;
4705 procedure Set_Exception_Junk
4706 (N : Node_Id; Val : Boolean := True) is
4708 pragma Assert (False
4709 or else NT (N).Nkind = N_Block_Statement
4710 or else NT (N).Nkind = N_Goto_Statement
4711 or else NT (N).Nkind = N_Label
4712 or else NT (N).Nkind = N_Object_Declaration
4713 or else NT (N).Nkind = N_Subtype_Declaration);
4715 end Set_Exception_Junk;
4717 procedure Set_Exception_Label
4718 (N : Node_Id; Val : Node_Id) is
4720 pragma Assert (False
4721 or else NT (N).Nkind = N_Exception_Handler
4722 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4723 or else NT (N).Nkind = N_Push_Program_Error_Label
4724 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4725 Set_Node5 (N, Val); -- semantic field, no parent set
4726 end Set_Exception_Label;
4728 procedure Set_Expansion_Delayed
4729 (N : Node_Id; Val : Boolean := True) is
4731 pragma Assert (False
4732 or else NT (N).Nkind = N_Aggregate
4733 or else NT (N).Nkind = N_Extension_Aggregate);
4734 Set_Flag11 (N, Val);
4735 end Set_Expansion_Delayed;
4737 procedure Set_Explicit_Actual_Parameter
4738 (N : Node_Id; Val : Node_Id) is
4740 pragma Assert (False
4741 or else NT (N).Nkind = N_Parameter_Association);
4742 Set_Node3_With_Parent (N, Val);
4743 end Set_Explicit_Actual_Parameter;
4745 procedure Set_Explicit_Generic_Actual_Parameter
4746 (N : Node_Id; Val : Node_Id) is
4748 pragma Assert (False
4749 or else NT (N).Nkind = N_Generic_Association);
4750 Set_Node1_With_Parent (N, Val);
4751 end Set_Explicit_Generic_Actual_Parameter;
4753 procedure Set_Expression
4754 (N : Node_Id; Val : Node_Id) is
4756 pragma Assert (False
4757 or else NT (N).Nkind = N_Allocator
4758 or else NT (N).Nkind = N_Aspect_Specification
4759 or else NT (N).Nkind = N_Assignment_Statement
4760 or else NT (N).Nkind = N_At_Clause
4761 or else NT (N).Nkind = N_Attribute_Definition_Clause
4762 or else NT (N).Nkind = N_Case_Expression
4763 or else NT (N).Nkind = N_Case_Expression_Alternative
4764 or else NT (N).Nkind = N_Case_Statement
4765 or else NT (N).Nkind = N_Code_Statement
4766 or else NT (N).Nkind = N_Component_Association
4767 or else NT (N).Nkind = N_Component_Declaration
4768 or else NT (N).Nkind = N_Delay_Relative_Statement
4769 or else NT (N).Nkind = N_Delay_Until_Statement
4770 or else NT (N).Nkind = N_Delta_Aggregate
4771 or else NT (N).Nkind = N_Discriminant_Association
4772 or else NT (N).Nkind = N_Discriminant_Specification
4773 or else NT (N).Nkind = N_Exception_Declaration
4774 or else NT (N).Nkind = N_Expression_Function
4775 or else NT (N).Nkind = N_Expression_With_Actions
4776 or else NT (N).Nkind = N_Free_Statement
4777 or else NT (N).Nkind = N_Iterated_Component_Association
4778 or else NT (N).Nkind = N_Iterated_Element_Association
4779 or else NT (N).Nkind = N_Mod_Clause
4780 or else NT (N).Nkind = N_Modular_Type_Definition
4781 or else NT (N).Nkind = N_Number_Declaration
4782 or else NT (N).Nkind = N_Object_Declaration
4783 or else NT (N).Nkind = N_Parameter_Specification
4784 or else NT (N).Nkind = N_Pragma_Argument_Association
4785 or else NT (N).Nkind = N_Qualified_Expression
4786 or else NT (N).Nkind = N_Raise_Expression
4787 or else NT (N).Nkind = N_Raise_Statement
4788 or else NT (N).Nkind = N_Simple_Return_Statement
4789 or else NT (N).Nkind = N_Type_Conversion
4790 or else NT (N).Nkind = N_Unchecked_Expression
4791 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4792 Set_Node3_With_Parent (N, Val);
4795 procedure Set_Expression_Copy
4796 (N : Node_Id; Val : Node_Id) is
4798 pragma Assert (False
4799 or else NT (N).Nkind = N_Pragma_Argument_Association);
4800 Set_Node2 (N, Val); -- semantic field, no parent set
4801 end Set_Expression_Copy;
4803 procedure Set_Expressions
4804 (N : Node_Id; Val : List_Id) is
4806 pragma Assert (False
4807 or else NT (N).Nkind = N_Aggregate
4808 or else NT (N).Nkind = N_Attribute_Reference
4809 or else NT (N).Nkind = N_Extension_Aggregate
4810 or else NT (N).Nkind = N_If_Expression
4811 or else NT (N).Nkind = N_Indexed_Component);
4812 Set_List1_With_Parent (N, Val);
4813 end Set_Expressions;
4815 procedure Set_First_Bit
4816 (N : Node_Id; Val : Node_Id) is
4818 pragma Assert (False
4819 or else NT (N).Nkind = N_Component_Clause);
4820 Set_Node3_With_Parent (N, Val);
4823 procedure Set_First_Inlined_Subprogram
4824 (N : Node_Id; Val : Entity_Id) is
4826 pragma Assert (False
4827 or else NT (N).Nkind = N_Compilation_Unit);
4828 Set_Node3 (N, Val); -- semantic field, no parent set
4829 end Set_First_Inlined_Subprogram;
4831 procedure Set_First_Name
4832 (N : Node_Id; Val : Boolean := True) is
4834 pragma Assert (False
4835 or else NT (N).Nkind = N_With_Clause);
4839 procedure Set_First_Named_Actual
4840 (N : Node_Id; Val : Node_Id) is
4842 pragma Assert (False
4843 or else NT (N).Nkind = N_Entry_Call_Statement
4844 or else NT (N).Nkind = N_Function_Call
4845 or else NT (N).Nkind = N_Procedure_Call_Statement);
4846 Set_Node4 (N, Val); -- semantic field, no parent set
4847 end Set_First_Named_Actual;
4849 procedure Set_First_Real_Statement
4850 (N : Node_Id; Val : Node_Id) is
4852 pragma Assert (False
4853 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4854 Set_Node2 (N, Val); -- semantic field, no parent set
4855 end Set_First_Real_Statement;
4857 procedure Set_First_Subtype_Link
4858 (N : Node_Id; Val : Entity_Id) is
4860 pragma Assert (False
4861 or else NT (N).Nkind = N_Freeze_Entity);
4862 Set_Node5 (N, Val); -- semantic field, no parent set
4863 end Set_First_Subtype_Link;
4865 procedure Set_Float_Truncate
4866 (N : Node_Id; Val : Boolean := True) is
4868 pragma Assert (False
4869 or else NT (N).Nkind = N_Type_Conversion);
4870 Set_Flag11 (N, Val);
4871 end Set_Float_Truncate;
4873 procedure Set_Formal_Type_Definition
4874 (N : Node_Id; Val : Node_Id) is
4876 pragma Assert (False
4877 or else NT (N).Nkind = N_Formal_Type_Declaration);
4878 Set_Node3_With_Parent (N, Val);
4879 end Set_Formal_Type_Definition;
4881 procedure Set_Forwards_OK
4882 (N : Node_Id; Val : Boolean := True) is
4884 pragma Assert (False
4885 or else NT (N).Nkind = N_Assignment_Statement);
4887 end Set_Forwards_OK;
4889 procedure Set_From_Aspect_Specification
4890 (N : Node_Id; Val : Boolean := True) is
4892 pragma Assert (False
4893 or else NT (N).Nkind = N_Attribute_Definition_Clause
4894 or else NT (N).Nkind = N_Pragma);
4895 Set_Flag13 (N, Val);
4896 end Set_From_Aspect_Specification;
4898 procedure Set_From_At_End
4899 (N : Node_Id; Val : Boolean := True) is
4901 pragma Assert (False
4902 or else NT (N).Nkind = N_Raise_Statement);
4904 end Set_From_At_End;
4906 procedure Set_From_At_Mod
4907 (N : Node_Id; Val : Boolean := True) is
4909 pragma Assert (False
4910 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4912 end Set_From_At_Mod;
4914 procedure Set_From_Conditional_Expression
4915 (N : Node_Id; Val : Boolean := True) is
4917 pragma Assert (False
4918 or else NT (N).Nkind = N_Case_Statement
4919 or else NT (N).Nkind = N_If_Statement);
4921 end Set_From_Conditional_Expression;
4923 procedure Set_From_Default
4924 (N : Node_Id; Val : Boolean := True) is
4926 pragma Assert (False
4927 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4929 end Set_From_Default;
4931 procedure Set_Generalized_Indexing
4932 (N : Node_Id; Val : Node_Id) is
4934 pragma Assert (False
4935 or else NT (N).Nkind = N_Indexed_Component);
4937 end Set_Generalized_Indexing;
4939 procedure Set_Generic_Associations
4940 (N : Node_Id; Val : List_Id) is
4942 pragma Assert (False
4943 or else NT (N).Nkind = N_Formal_Package_Declaration
4944 or else NT (N).Nkind = N_Function_Instantiation
4945 or else NT (N).Nkind = N_Package_Instantiation
4946 or else NT (N).Nkind = N_Procedure_Instantiation);
4947 Set_List3_With_Parent (N, Val);
4948 end Set_Generic_Associations;
4950 procedure Set_Generic_Formal_Declarations
4951 (N : Node_Id; Val : List_Id) is
4953 pragma Assert (False
4954 or else NT (N).Nkind = N_Generic_Package_Declaration
4955 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4956 Set_List2_With_Parent (N, Val);
4957 end Set_Generic_Formal_Declarations;
4959 procedure Set_Generic_Parent
4960 (N : Node_Id; Val : Node_Id) is
4962 pragma Assert (False
4963 or else NT (N).Nkind = N_Function_Specification
4964 or else NT (N).Nkind = N_Package_Specification
4965 or else NT (N).Nkind = N_Procedure_Specification);
4967 end Set_Generic_Parent;
4969 procedure Set_Generic_Parent_Type
4970 (N : Node_Id; Val : Node_Id) is
4972 pragma Assert (False
4973 or else NT (N).Nkind = N_Subtype_Declaration);
4975 end Set_Generic_Parent_Type;
4977 procedure Set_Handled_Statement_Sequence
4978 (N : Node_Id; Val : Node_Id) is
4980 pragma Assert (False
4981 or else NT (N).Nkind = N_Accept_Statement
4982 or else NT (N).Nkind = N_Block_Statement
4983 or else NT (N).Nkind = N_Entry_Body
4984 or else NT (N).Nkind = N_Extended_Return_Statement
4985 or else NT (N).Nkind = N_Package_Body
4986 or else NT (N).Nkind = N_Subprogram_Body
4987 or else NT (N).Nkind = N_Task_Body);
4988 Set_Node4_With_Parent (N, Val);
4989 end Set_Handled_Statement_Sequence;
4991 procedure Set_Handler_List_Entry
4992 (N : Node_Id; Val : Node_Id) is
4994 pragma Assert (False
4995 or else NT (N).Nkind = N_Object_Declaration);
4997 end Set_Handler_List_Entry;
4999 procedure Set_Has_Created_Identifier
5000 (N : Node_Id; Val : Boolean := True) is
5002 pragma Assert (False
5003 or else NT (N).Nkind = N_Block_Statement
5004 or else NT (N).Nkind = N_Loop_Statement);
5005 Set_Flag15 (N, Val);
5006 end Set_Has_Created_Identifier;
5008 procedure Set_Has_Dereference_Action
5009 (N : Node_Id; Val : Boolean := True) is
5011 pragma Assert (False
5012 or else NT (N).Nkind = N_Explicit_Dereference);
5013 Set_Flag13 (N, Val);
5014 end Set_Has_Dereference_Action;
5016 procedure Set_Has_Dynamic_Length_Check
5017 (N : Node_Id; Val : Boolean := True) is
5019 pragma Assert (False
5020 or else NT (N).Nkind in N_Subexpr);
5021 Set_Flag10 (N, Val);
5022 end Set_Has_Dynamic_Length_Check;
5024 procedure Set_Has_Init_Expression
5025 (N : Node_Id; Val : Boolean := True) is
5027 pragma Assert (False
5028 or else NT (N).Nkind = N_Object_Declaration);
5029 Set_Flag14 (N, Val);
5030 end Set_Has_Init_Expression;
5032 procedure Set_Has_Local_Raise
5033 (N : Node_Id; Val : Boolean := True) is
5035 pragma Assert (False
5036 or else NT (N).Nkind = N_Exception_Handler);
5038 end Set_Has_Local_Raise;
5040 procedure Set_Has_No_Elaboration_Code
5041 (N : Node_Id; Val : Boolean := True) is
5043 pragma Assert (False
5044 or else NT (N).Nkind = N_Compilation_Unit);
5045 Set_Flag17 (N, Val);
5046 end Set_Has_No_Elaboration_Code;
5048 procedure Set_Has_Pragma_Suppress_All
5049 (N : Node_Id; Val : Boolean := True) is
5051 pragma Assert (False
5052 or else NT (N).Nkind = N_Compilation_Unit);
5053 Set_Flag14 (N, Val);
5054 end Set_Has_Pragma_Suppress_All;
5056 procedure Set_Has_Private_View
5057 (N : Node_Id; Val : Boolean := True) is
5059 pragma Assert (False
5060 or else NT (N).Nkind in N_Op
5061 or else NT (N).Nkind = N_Character_Literal
5062 or else NT (N).Nkind = N_Expanded_Name
5063 or else NT (N).Nkind = N_Identifier
5064 or else NT (N).Nkind = N_Operator_Symbol);
5065 Set_Flag11 (N, Val);
5066 end Set_Has_Private_View;
5068 procedure Set_Has_Relative_Deadline_Pragma
5069 (N : Node_Id; Val : Boolean := True) is
5071 pragma Assert (False
5072 or else NT (N).Nkind = N_Subprogram_Body
5073 or else NT (N).Nkind = N_Task_Definition);
5075 end Set_Has_Relative_Deadline_Pragma;
5077 procedure Set_Has_Self_Reference
5078 (N : Node_Id; Val : Boolean := True) is
5080 pragma Assert (False
5081 or else NT (N).Nkind = N_Aggregate
5082 or else NT (N).Nkind = N_Extension_Aggregate);
5083 Set_Flag13 (N, Val);
5084 end Set_Has_Self_Reference;
5086 procedure Set_Has_SP_Choice
5087 (N : Node_Id; Val : Boolean := True) is
5089 pragma Assert (False
5090 or else NT (N).Nkind = N_Case_Expression_Alternative
5091 or else NT (N).Nkind = N_Case_Statement_Alternative
5092 or else NT (N).Nkind = N_Variant);
5093 Set_Flag15 (N, Val);
5094 end Set_Has_SP_Choice;
5096 procedure Set_Has_Storage_Size_Pragma
5097 (N : Node_Id; Val : Boolean := True) is
5099 pragma Assert (False
5100 or else NT (N).Nkind = N_Task_Definition);
5102 end Set_Has_Storage_Size_Pragma;
5104 procedure Set_Has_Target_Names
5105 (N : Node_Id; Val : Boolean := True) is
5107 pragma Assert (False
5108 or else NT (N).Nkind = N_Assignment_Statement);
5110 end Set_Has_Target_Names;
5112 procedure Set_Has_Wide_Character
5113 (N : Node_Id; Val : Boolean := True) is
5115 pragma Assert (False
5116 or else NT (N).Nkind = N_String_Literal);
5117 Set_Flag11 (N, Val);
5118 end Set_Has_Wide_Character;
5120 procedure Set_Has_Wide_Wide_Character
5121 (N : Node_Id; Val : Boolean := True) is
5123 pragma Assert (False
5124 or else NT (N).Nkind = N_String_Literal);
5125 Set_Flag13 (N, Val);
5126 end Set_Has_Wide_Wide_Character;
5128 procedure Set_Header_Size_Added
5129 (N : Node_Id; Val : Boolean := True) is
5131 pragma Assert (False
5132 or else NT (N).Nkind = N_Attribute_Reference);
5133 Set_Flag11 (N, Val);
5134 end Set_Header_Size_Added;
5136 procedure Set_Hidden_By_Use_Clause
5137 (N : Node_Id; Val : Elist_Id) is
5139 pragma Assert (False
5140 or else NT (N).Nkind = N_Use_Package_Clause
5141 or else NT (N).Nkind = N_Use_Type_Clause);
5142 Set_Elist5 (N, Val);
5143 end Set_Hidden_By_Use_Clause;
5145 procedure Set_High_Bound
5146 (N : Node_Id; Val : Node_Id) is
5148 pragma Assert (False
5149 or else NT (N).Nkind = N_Range
5150 or else NT (N).Nkind = N_Real_Range_Specification
5151 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5152 Set_Node2_With_Parent (N, Val);
5155 procedure Set_Identifier
5156 (N : Node_Id; Val : Node_Id) is
5158 pragma Assert (False
5159 or else NT (N).Nkind = N_Aspect_Specification
5160 or else NT (N).Nkind = N_At_Clause
5161 or else NT (N).Nkind = N_Block_Statement
5162 or else NT (N).Nkind = N_Designator
5163 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5164 or else NT (N).Nkind = N_Label
5165 or else NT (N).Nkind = N_Loop_Statement
5166 or else NT (N).Nkind = N_Record_Representation_Clause);
5167 Set_Node1_With_Parent (N, Val);
5170 procedure Set_Implicit_With
5171 (N : Node_Id; Val : Boolean := True) is
5173 pragma Assert (False
5174 or else NT (N).Nkind = N_With_Clause);
5175 Set_Flag16 (N, Val);
5176 end Set_Implicit_With;
5178 procedure Set_Interface_List
5179 (N : Node_Id; Val : List_Id) is
5181 pragma Assert (False
5182 or else NT (N).Nkind = N_Derived_Type_Definition
5183 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5184 or else NT (N).Nkind = N_Private_Extension_Declaration
5185 or else NT (N).Nkind = N_Protected_Type_Declaration
5186 or else NT (N).Nkind = N_Record_Definition
5187 or else NT (N).Nkind = N_Single_Protected_Declaration
5188 or else NT (N).Nkind = N_Single_Task_Declaration
5189 or else NT (N).Nkind = N_Task_Type_Declaration);
5190 Set_List2_With_Parent (N, Val);
5191 end Set_Interface_List;
5193 procedure Set_Interface_Present
5194 (N : Node_Id; Val : Boolean := True) is
5196 pragma Assert (False
5197 or else NT (N).Nkind = N_Derived_Type_Definition
5198 or else NT (N).Nkind = N_Record_Definition);
5199 Set_Flag16 (N, Val);
5200 end Set_Interface_Present;
5202 procedure Set_Import_Interface_Present
5203 (N : Node_Id; Val : Boolean := True) is
5205 pragma Assert (False
5206 or else NT (N).Nkind = N_Pragma);
5207 Set_Flag16 (N, Val);
5208 end Set_Import_Interface_Present;
5210 procedure Set_In_Present
5211 (N : Node_Id; Val : Boolean := True) is
5213 pragma Assert (False
5214 or else NT (N).Nkind = N_Formal_Object_Declaration
5215 or else NT (N).Nkind = N_Parameter_Specification);
5216 Set_Flag15 (N, Val);
5219 procedure Set_Includes_Infinities
5220 (N : Node_Id; Val : Boolean := True) is
5222 pragma Assert (False
5223 or else NT (N).Nkind = N_Range);
5224 Set_Flag11 (N, Val);
5225 end Set_Includes_Infinities;
5227 procedure Set_Incomplete_View
5228 (N : Node_Id; Val : Node_Id) is
5230 pragma Assert (False
5231 or else NT (N).Nkind = N_Full_Type_Declaration);
5232 Set_Node2 (N, Val); -- semantic field, no Parent set
5233 end Set_Incomplete_View;
5235 procedure Set_Inherited_Discriminant
5236 (N : Node_Id; Val : Boolean := True) is
5238 pragma Assert (False
5239 or else NT (N).Nkind = N_Component_Association);
5240 Set_Flag13 (N, Val);
5241 end Set_Inherited_Discriminant;
5243 procedure Set_Instance_Spec
5244 (N : Node_Id; Val : Node_Id) is
5246 pragma Assert (False
5247 or else NT (N).Nkind = N_Formal_Package_Declaration
5248 or else NT (N).Nkind = N_Function_Instantiation
5249 or else NT (N).Nkind = N_Package_Instantiation
5250 or else NT (N).Nkind = N_Procedure_Instantiation);
5251 Set_Node5 (N, Val); -- semantic field, no Parent set
5252 end Set_Instance_Spec;
5254 procedure Set_Intval
5255 (N : Node_Id; Val : Uint) is
5257 pragma Assert (False
5258 or else NT (N).Nkind = N_Integer_Literal);
5262 procedure Set_Is_Abort_Block
5263 (N : Node_Id; Val : Boolean := True) is
5265 pragma Assert (False
5266 or else NT (N).Nkind = N_Block_Statement);
5268 end Set_Is_Abort_Block;
5270 procedure Set_Is_Accessibility_Actual
5271 (N : Node_Id; Val : Boolean := True) is
5273 pragma Assert (False
5274 or else NT (N).Nkind = N_Parameter_Association);
5275 Set_Flag13 (N, Val);
5276 end Set_Is_Accessibility_Actual;
5278 procedure Set_Is_Analyzed_Pragma
5279 (N : Node_Id; Val : Boolean := True) is
5281 pragma Assert (False
5282 or else NT (N).Nkind = N_Pragma);
5284 end Set_Is_Analyzed_Pragma;
5286 procedure Set_Is_Asynchronous_Call_Block
5287 (N : Node_Id; Val : Boolean := True) is
5289 pragma Assert (False
5290 or else NT (N).Nkind = N_Block_Statement);
5292 end Set_Is_Asynchronous_Call_Block;
5294 procedure Set_Is_Boolean_Aspect
5295 (N : Node_Id; Val : Boolean := True) is
5297 pragma Assert (False
5298 or else NT (N).Nkind = N_Aspect_Specification);
5299 Set_Flag16 (N, Val);
5300 end Set_Is_Boolean_Aspect;
5302 procedure Set_Is_Checked
5303 (N : Node_Id; Val : Boolean := True) is
5305 pragma Assert (False
5306 or else NT (N).Nkind = N_Aspect_Specification
5307 or else NT (N).Nkind = N_Pragma);
5308 Set_Flag11 (N, Val);
5311 procedure Set_Is_Checked_Ghost_Pragma
5312 (N : Node_Id; Val : Boolean := True) is
5314 pragma Assert (False
5315 or else NT (N).Nkind = N_Pragma);
5317 end Set_Is_Checked_Ghost_Pragma;
5319 procedure Set_Is_Component_Left_Opnd
5320 (N : Node_Id; Val : Boolean := True) is
5322 pragma Assert (False
5323 or else NT (N).Nkind = N_Op_Concat);
5324 Set_Flag13 (N, Val);
5325 end Set_Is_Component_Left_Opnd;
5327 procedure Set_Is_Component_Right_Opnd
5328 (N : Node_Id; Val : Boolean := True) is
5330 pragma Assert (False
5331 or else NT (N).Nkind = N_Op_Concat);
5332 Set_Flag14 (N, Val);
5333 end Set_Is_Component_Right_Opnd;
5335 procedure Set_Is_Controlling_Actual
5336 (N : Node_Id; Val : Boolean := True) is
5338 pragma Assert (False
5339 or else NT (N).Nkind in N_Subexpr);
5340 Set_Flag16 (N, Val);
5341 end Set_Is_Controlling_Actual;
5343 procedure Set_Is_Declaration_Level_Node
5344 (N : Node_Id; Val : Boolean := True) is
5346 pragma Assert (False
5347 or else NT (N).Nkind = N_Call_Marker
5348 or else NT (N).Nkind = N_Function_Instantiation
5349 or else NT (N).Nkind = N_Package_Instantiation
5350 or else NT (N).Nkind = N_Procedure_Instantiation);
5352 end Set_Is_Declaration_Level_Node;
5354 procedure Set_Is_Delayed_Aspect
5355 (N : Node_Id; Val : Boolean := True) is
5357 pragma Assert (False
5358 or else NT (N).Nkind = N_Aspect_Specification
5359 or else NT (N).Nkind = N_Attribute_Definition_Clause
5360 or else NT (N).Nkind = N_Pragma);
5361 Set_Flag14 (N, Val);
5362 end Set_Is_Delayed_Aspect;
5364 procedure Set_Is_Disabled
5365 (N : Node_Id; Val : Boolean := True) is
5367 pragma Assert (False
5368 or else NT (N).Nkind = N_Aspect_Specification
5369 or else NT (N).Nkind = N_Pragma);
5370 Set_Flag15 (N, Val);
5371 end Set_Is_Disabled;
5373 procedure Set_Is_Dispatching_Call
5374 (N : Node_Id; Val : Boolean := True) is
5376 pragma Assert (False
5377 or else NT (N).Nkind = N_Call_Marker);
5379 end Set_Is_Dispatching_Call;
5381 procedure Set_Is_Dynamic_Coextension
5382 (N : Node_Id; Val : Boolean := True) is
5384 pragma Assert (False
5385 or else NT (N).Nkind = N_Allocator);
5386 pragma Assert (not Val
5387 or else not Is_Static_Coextension (N));
5388 Set_Flag18 (N, Val);
5389 end Set_Is_Dynamic_Coextension;
5391 procedure Set_Is_Effective_Use_Clause
5392 (N : Node_Id; Val : Boolean := True) is
5394 pragma Assert (False
5395 or else NT (N).Nkind = N_Use_Package_Clause
5396 or else NT (N).Nkind = N_Use_Type_Clause);
5398 end Set_Is_Effective_Use_Clause;
5400 procedure Set_Is_Elaboration_Checks_OK_Node
5401 (N : Node_Id; Val : Boolean := True) is
5403 pragma Assert (False
5404 or else NT (N).Nkind = N_Assignment_Statement
5405 or else NT (N).Nkind = N_Attribute_Reference
5406 or else NT (N).Nkind = N_Call_Marker
5407 or else NT (N).Nkind = N_Entry_Call_Statement
5408 or else NT (N).Nkind = N_Expanded_Name
5409 or else NT (N).Nkind = N_Function_Call
5410 or else NT (N).Nkind = N_Function_Instantiation
5411 or else NT (N).Nkind = N_Identifier
5412 or else NT (N).Nkind = N_Package_Instantiation
5413 or else NT (N).Nkind = N_Procedure_Call_Statement
5414 or else NT (N).Nkind = N_Procedure_Instantiation
5415 or else NT (N).Nkind = N_Requeue_Statement
5416 or else NT (N).Nkind = N_Variable_Reference_Marker);
5418 end Set_Is_Elaboration_Checks_OK_Node;
5420 procedure Set_Is_Elaboration_Code
5421 (N : Node_Id; Val : Boolean := True) is
5423 pragma Assert (False
5424 or else NT (N).Nkind = N_Assignment_Statement);
5426 end Set_Is_Elaboration_Code;
5428 procedure Set_Is_Elaboration_Warnings_OK_Node
5429 (N : Node_Id; Val : Boolean := True) is
5431 pragma Assert (False
5432 or else NT (N).Nkind = N_Attribute_Reference
5433 or else NT (N).Nkind = N_Call_Marker
5434 or else NT (N).Nkind = N_Entry_Call_Statement
5435 or else NT (N).Nkind = N_Expanded_Name
5436 or else NT (N).Nkind = N_Function_Call
5437 or else NT (N).Nkind = N_Function_Instantiation
5438 or else NT (N).Nkind = N_Identifier
5439 or else NT (N).Nkind = N_Package_Instantiation
5440 or else NT (N).Nkind = N_Procedure_Call_Statement
5441 or else NT (N).Nkind = N_Procedure_Instantiation
5442 or else NT (N).Nkind = N_Requeue_Statement
5443 or else NT (N).Nkind = N_Variable_Reference_Marker);
5445 end Set_Is_Elaboration_Warnings_OK_Node;
5447 procedure Set_Is_Elsif
5448 (N : Node_Id; Val : Boolean := True) is
5450 pragma Assert (False
5451 or else NT (N).Nkind = N_If_Expression);
5452 Set_Flag13 (N, Val);
5455 procedure Set_Is_Entry_Barrier_Function
5456 (N : Node_Id; Val : Boolean := True) is
5458 pragma Assert (False
5459 or else NT (N).Nkind = N_Subprogram_Body
5460 or else NT (N).Nkind = N_Subprogram_Declaration);
5462 end Set_Is_Entry_Barrier_Function;
5464 procedure Set_Is_Expanded_Build_In_Place_Call
5465 (N : Node_Id; Val : Boolean := True) is
5467 pragma Assert (False
5468 or else NT (N).Nkind = N_Function_Call);
5469 Set_Flag11 (N, Val);
5470 end Set_Is_Expanded_Build_In_Place_Call;
5472 procedure Set_Is_Expanded_Contract
5473 (N : Node_Id; Val : Boolean := True) is
5475 pragma Assert (False
5476 or else NT (N).Nkind = N_Contract);
5478 end Set_Is_Expanded_Contract;
5480 procedure Set_Is_Finalization_Wrapper
5481 (N : Node_Id; Val : Boolean := True) is
5483 pragma Assert (False
5484 or else NT (N).Nkind = N_Block_Statement);
5486 end Set_Is_Finalization_Wrapper;
5488 procedure Set_Is_Folded_In_Parser
5489 (N : Node_Id; Val : Boolean := True) is
5491 pragma Assert (False
5492 or else NT (N).Nkind = N_String_Literal);
5494 end Set_Is_Folded_In_Parser;
5496 procedure Set_Is_Generic_Contract_Pragma
5497 (N : Node_Id; Val : Boolean := True) is
5499 pragma Assert (False
5500 or else NT (N).Nkind = N_Pragma);
5502 end Set_Is_Generic_Contract_Pragma;
5504 procedure Set_Is_Homogeneous_Aggregate
5505 (N : Node_Id; Val : Boolean := True) is
5507 pragma Assert (False
5508 or else NT (N).Nkind = N_Aggregate);
5509 Set_Flag14 (N, Val);
5510 end Set_Is_Homogeneous_Aggregate;
5512 procedure Set_Is_Ignored
5513 (N : Node_Id; Val : Boolean := True) is
5515 pragma Assert (False
5516 or else NT (N).Nkind = N_Aspect_Specification
5517 or else NT (N).Nkind = N_Pragma);
5521 procedure Set_Is_Ignored_Ghost_Pragma
5522 (N : Node_Id; Val : Boolean := True) is
5524 pragma Assert (False
5525 or else NT (N).Nkind = N_Pragma);
5527 end Set_Is_Ignored_Ghost_Pragma;
5529 procedure Set_Is_In_Discriminant_Check
5530 (N : Node_Id; Val : Boolean := True) is
5532 pragma Assert (False
5533 or else NT (N).Nkind = N_Selected_Component);
5534 Set_Flag11 (N, Val);
5535 end Set_Is_In_Discriminant_Check;
5537 procedure Set_Is_Inherited_Pragma
5538 (N : Node_Id; Val : Boolean := True) is
5540 pragma Assert (False
5541 or else NT (N).Nkind = N_Pragma);
5543 end Set_Is_Inherited_Pragma;
5545 procedure Set_Is_Initialization_Block
5546 (N : Node_Id; Val : Boolean := True) is
5548 pragma Assert (False
5549 or else NT (N).Nkind = N_Block_Statement);
5551 end Set_Is_Initialization_Block;
5553 procedure Set_Is_Known_Guaranteed_ABE
5554 (N : Node_Id; Val : Boolean := True) is
5556 pragma Assert (False
5557 or else NT (N).Nkind = N_Call_Marker
5558 or else NT (N).Nkind = N_Formal_Package_Declaration
5559 or else NT (N).Nkind = N_Function_Call
5560 or else NT (N).Nkind = N_Function_Instantiation
5561 or else NT (N).Nkind = N_Package_Instantiation
5562 or else NT (N).Nkind = N_Procedure_Call_Statement
5563 or else NT (N).Nkind = N_Procedure_Instantiation);
5564 Set_Flag18 (N, Val);
5565 end Set_Is_Known_Guaranteed_ABE;
5567 procedure Set_Is_Machine_Number
5568 (N : Node_Id; Val : Boolean := True) is
5570 pragma Assert (False
5571 or else NT (N).Nkind = N_Real_Literal);
5572 Set_Flag11 (N, Val);
5573 end Set_Is_Machine_Number;
5575 procedure Set_Is_Null_Loop
5576 (N : Node_Id; Val : Boolean := True) is
5578 pragma Assert (False
5579 or else NT (N).Nkind = N_Loop_Statement);
5580 Set_Flag16 (N, Val);
5581 end Set_Is_Null_Loop;
5583 procedure Set_Is_Overloaded
5584 (N : Node_Id; Val : Boolean := True) is
5586 pragma Assert (False
5587 or else NT (N).Nkind in N_Subexpr);
5589 end Set_Is_Overloaded;
5591 procedure Set_Is_Power_Of_2_For_Shift
5592 (N : Node_Id; Val : Boolean := True) is
5594 pragma Assert (False
5595 or else NT (N).Nkind = N_Op_Expon);
5596 Set_Flag13 (N, Val);
5597 end Set_Is_Power_Of_2_For_Shift;
5599 procedure Set_Is_Preelaborable_Call
5600 (N : Node_Id; Val : Boolean := True) is
5602 pragma Assert (False
5603 or else NT (N).Nkind = N_Call_Marker);
5605 end Set_Is_Preelaborable_Call;
5607 procedure Set_Is_Prefixed_Call
5608 (N : Node_Id; Val : Boolean := True) is
5610 pragma Assert (False
5611 or else NT (N).Nkind = N_Selected_Component);
5612 Set_Flag17 (N, Val);
5613 end Set_Is_Prefixed_Call;
5615 procedure Set_Is_Protected_Subprogram_Body
5616 (N : Node_Id; Val : Boolean := True) is
5618 pragma Assert (False
5619 or else NT (N).Nkind = N_Subprogram_Body);
5621 end Set_Is_Protected_Subprogram_Body;
5623 procedure Set_Is_Qualified_Universal_Literal
5624 (N : Node_Id; Val : Boolean := True) is
5626 pragma Assert (False
5627 or else NT (N).Nkind = N_Qualified_Expression);
5629 end Set_Is_Qualified_Universal_Literal;
5631 procedure Set_Is_Read
5632 (N : Node_Id; Val : Boolean := True) is
5634 pragma Assert (False
5635 or else NT (N).Nkind = N_Variable_Reference_Marker);
5639 procedure Set_Is_Source_Call
5640 (N : Node_Id; Val : Boolean := True) is
5642 pragma Assert (False
5643 or else NT (N).Nkind = N_Call_Marker);
5645 end Set_Is_Source_Call;
5647 procedure Set_Is_SPARK_Mode_On_Node
5648 (N : Node_Id; Val : Boolean := True) is
5650 pragma Assert (False
5651 or else NT (N).Nkind = N_Assignment_Statement
5652 or else NT (N).Nkind = N_Attribute_Reference
5653 or else NT (N).Nkind = N_Call_Marker
5654 or else NT (N).Nkind = N_Entry_Call_Statement
5655 or else NT (N).Nkind = N_Expanded_Name
5656 or else NT (N).Nkind = N_Function_Call
5657 or else NT (N).Nkind = N_Function_Instantiation
5658 or else NT (N).Nkind = N_Identifier
5659 or else NT (N).Nkind = N_Package_Instantiation
5660 or else NT (N).Nkind = N_Procedure_Call_Statement
5661 or else NT (N).Nkind = N_Procedure_Instantiation
5662 or else NT (N).Nkind = N_Requeue_Statement
5663 or else NT (N).Nkind = N_Variable_Reference_Marker);
5665 end Set_Is_SPARK_Mode_On_Node;
5667 procedure Set_Is_Static_Coextension
5668 (N : Node_Id; Val : Boolean := True) is
5670 pragma Assert (False
5671 or else NT (N).Nkind = N_Allocator);
5672 pragma Assert (not Val
5673 or else not Is_Dynamic_Coextension (N));
5674 Set_Flag14 (N, Val);
5675 end Set_Is_Static_Coextension;
5677 procedure Set_Is_Static_Expression
5678 (N : Node_Id; Val : Boolean := True) is
5680 pragma Assert (False
5681 or else NT (N).Nkind in N_Subexpr);
5683 end Set_Is_Static_Expression;
5685 procedure Set_Is_Subprogram_Descriptor
5686 (N : Node_Id; Val : Boolean := True) is
5688 pragma Assert (False
5689 or else NT (N).Nkind = N_Object_Declaration);
5690 Set_Flag16 (N, Val);
5691 end Set_Is_Subprogram_Descriptor;
5693 procedure Set_Is_Task_Allocation_Block
5694 (N : Node_Id; Val : Boolean := True) is
5696 pragma Assert (False
5697 or else NT (N).Nkind = N_Block_Statement);
5699 end Set_Is_Task_Allocation_Block;
5701 procedure Set_Is_Task_Body_Procedure
5702 (N : Node_Id; Val : Boolean := True) is
5704 pragma Assert (False
5705 or else NT (N).Nkind = N_Subprogram_Body
5706 or else NT (N).Nkind = N_Subprogram_Declaration);
5708 end Set_Is_Task_Body_Procedure;
5710 procedure Set_Is_Task_Master
5711 (N : Node_Id; Val : Boolean := True) is
5713 pragma Assert (False
5714 or else NT (N).Nkind = N_Block_Statement
5715 or else NT (N).Nkind = N_Subprogram_Body
5716 or else NT (N).Nkind = N_Task_Body);
5718 end Set_Is_Task_Master;
5720 procedure Set_Is_Write
5721 (N : Node_Id; Val : Boolean := True) is
5723 pragma Assert (False
5724 or else NT (N).Nkind = N_Variable_Reference_Marker);
5728 procedure Set_Iterator_Filter
5729 (N : Node_Id; Val : Node_Id) is
5731 pragma Assert (False
5732 or else NT (N).Nkind = N_Iterator_Specification
5733 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5734 Set_Node3_With_Parent (N, Val);
5735 end Set_Iterator_Filter;
5737 procedure Set_Iteration_Scheme
5738 (N : Node_Id; Val : Node_Id) is
5740 pragma Assert (False
5741 or else NT (N).Nkind = N_Loop_Statement);
5742 Set_Node2_With_Parent (N, Val);
5743 end Set_Iteration_Scheme;
5745 procedure Set_Iterator_Specification
5746 (N : Node_Id; Val : Node_Id) is
5748 pragma Assert (False
5749 or else NT (N).Nkind = N_Iterated_Component_Association
5750 or else NT (N).Nkind = N_Iterated_Element_Association
5751 or else NT (N).Nkind = N_Iteration_Scheme
5752 or else NT (N).Nkind = N_Quantified_Expression);
5753 Set_Node2_With_Parent (N, Val);
5754 end Set_Iterator_Specification;
5757 (N : Node_Id; Val : Entity_Id) is
5759 pragma Assert (False
5760 or else NT (N).Nkind = N_Itype_Reference);
5761 Set_Node1 (N, Val); -- no parent, semantic field
5764 procedure Set_Key_Expression
5765 (N : Node_Id; Val : Entity_Id) is
5767 pragma Assert (False
5768 or else NT (N).Nkind = N_Iterated_Element_Association);
5769 Set_Node1_With_Parent (N, Val);
5770 end Set_Key_Expression;
5772 procedure Set_Kill_Range_Check
5773 (N : Node_Id; Val : Boolean := True) is
5775 pragma Assert (False
5776 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5777 Set_Flag11 (N, Val);
5778 end Set_Kill_Range_Check;
5780 procedure Set_Label_Construct
5781 (N : Node_Id; Val : Node_Id) is
5783 pragma Assert (False
5784 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5785 Set_Node2 (N, Val); -- semantic field, no parent set
5786 end Set_Label_Construct;
5788 procedure Set_Last_Bit
5789 (N : Node_Id; Val : Node_Id) is
5791 pragma Assert (False
5792 or else NT (N).Nkind = N_Component_Clause);
5793 Set_Node4_With_Parent (N, Val);
5796 procedure Set_Last_Name
5797 (N : Node_Id; Val : Boolean := True) is
5799 pragma Assert (False
5800 or else NT (N).Nkind = N_With_Clause);
5804 procedure Set_Left_Opnd
5805 (N : Node_Id; Val : Node_Id) is
5807 pragma Assert (False
5808 or else NT (N).Nkind = N_And_Then
5809 or else NT (N).Nkind = N_In
5810 or else NT (N).Nkind = N_Not_In
5811 or else NT (N).Nkind = N_Or_Else
5812 or else NT (N).Nkind in N_Binary_Op);
5813 Set_Node2_With_Parent (N, Val);
5816 procedure Set_Library_Unit
5817 (N : Node_Id; Val : Node_Id) is
5819 pragma Assert (False
5820 or else NT (N).Nkind = N_Compilation_Unit
5821 or else NT (N).Nkind = N_Package_Body_Stub
5822 or else NT (N).Nkind = N_Protected_Body_Stub
5823 or else NT (N).Nkind = N_Subprogram_Body_Stub
5824 or else NT (N).Nkind = N_Task_Body_Stub
5825 or else NT (N).Nkind = N_With_Clause);
5826 Set_Node4 (N, Val); -- semantic field, no parent set
5827 end Set_Library_Unit;
5829 procedure Set_Limited_View_Installed
5830 (N : Node_Id; Val : Boolean := True) is
5832 pragma Assert (False
5833 or else NT (N).Nkind = N_Package_Specification
5834 or else NT (N).Nkind = N_With_Clause);
5835 Set_Flag18 (N, Val);
5836 end Set_Limited_View_Installed;
5838 procedure Set_Limited_Present
5839 (N : Node_Id; Val : Boolean := True) is
5841 pragma Assert (False
5842 or else NT (N).Nkind = N_Derived_Type_Definition
5843 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5844 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5845 or else NT (N).Nkind = N_Private_Extension_Declaration
5846 or else NT (N).Nkind = N_Private_Type_Declaration
5847 or else NT (N).Nkind = N_Record_Definition
5848 or else NT (N).Nkind = N_With_Clause);
5849 Set_Flag17 (N, Val);
5850 end Set_Limited_Present;
5852 procedure Set_Literals
5853 (N : Node_Id; Val : List_Id) is
5855 pragma Assert (False
5856 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5857 Set_List1_With_Parent (N, Val);
5860 procedure Set_Local_Raise_Not_OK
5861 (N : Node_Id; Val : Boolean := True) is
5863 pragma Assert (False
5864 or else NT (N).Nkind = N_Exception_Handler);
5866 end Set_Local_Raise_Not_OK;
5868 procedure Set_Local_Raise_Statements
5869 (N : Node_Id; Val : Elist_Id) is
5871 pragma Assert (False
5872 or else NT (N).Nkind = N_Exception_Handler);
5873 Set_Elist1 (N, Val);
5874 end Set_Local_Raise_Statements;
5876 procedure Set_Loop_Actions
5877 (N : Node_Id; Val : List_Id) is
5879 pragma Assert (False
5880 or else NT (N).Nkind = N_Component_Association
5881 or else NT (N).Nkind = N_Iterated_Component_Association
5882 or else NT (N).Nkind = N_Iterated_Element_Association);
5883 Set_List5 (N, Val); -- semantic field, no parent set
5884 end Set_Loop_Actions;
5886 procedure Set_Loop_Parameter_Specification
5887 (N : Node_Id; Val : Node_Id) is
5889 pragma Assert (False
5890 or else NT (N).Nkind = N_Iterated_Element_Association
5891 or else NT (N).Nkind = N_Iteration_Scheme
5892 or else NT (N).Nkind = N_Quantified_Expression);
5893 Set_Node4_With_Parent (N, Val);
5894 end Set_Loop_Parameter_Specification;
5896 procedure Set_Low_Bound
5897 (N : Node_Id; Val : Node_Id) is
5899 pragma Assert (False
5900 or else NT (N).Nkind = N_Range
5901 or else NT (N).Nkind = N_Real_Range_Specification
5902 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5903 Set_Node1_With_Parent (N, Val);
5906 procedure Set_Mod_Clause
5907 (N : Node_Id; Val : Node_Id) is
5909 pragma Assert (False
5910 or else NT (N).Nkind = N_Record_Representation_Clause);
5911 Set_Node2_With_Parent (N, Val);
5914 procedure Set_More_Ids
5915 (N : Node_Id; Val : Boolean := True) is
5917 pragma Assert (False
5918 or else NT (N).Nkind = N_Component_Declaration
5919 or else NT (N).Nkind = N_Discriminant_Specification
5920 or else NT (N).Nkind = N_Exception_Declaration
5921 or else NT (N).Nkind = N_Formal_Object_Declaration
5922 or else NT (N).Nkind = N_Number_Declaration
5923 or else NT (N).Nkind = N_Object_Declaration
5924 or else NT (N).Nkind = N_Parameter_Specification
5925 or else NT (N).Nkind = N_Use_Package_Clause
5926 or else NT (N).Nkind = N_Use_Type_Clause);
5930 procedure Set_Must_Be_Byte_Aligned
5931 (N : Node_Id; Val : Boolean := True) is
5933 pragma Assert (False
5934 or else NT (N).Nkind = N_Attribute_Reference);
5935 Set_Flag14 (N, Val);
5936 end Set_Must_Be_Byte_Aligned;
5938 procedure Set_Must_Not_Freeze
5939 (N : Node_Id; Val : Boolean := True) is
5941 pragma Assert (False
5942 or else NT (N).Nkind = N_Subtype_Indication
5943 or else NT (N).Nkind in N_Subexpr);
5945 end Set_Must_Not_Freeze;
5947 procedure Set_Must_Not_Override
5948 (N : Node_Id; Val : Boolean := True) is
5950 pragma Assert (False
5951 or else NT (N).Nkind = N_Entry_Declaration
5952 or else NT (N).Nkind = N_Function_Instantiation
5953 or else NT (N).Nkind = N_Function_Specification
5954 or else NT (N).Nkind = N_Procedure_Instantiation
5955 or else NT (N).Nkind = N_Procedure_Specification);
5956 Set_Flag15 (N, Val);
5957 end Set_Must_Not_Override;
5959 procedure Set_Must_Override
5960 (N : Node_Id; Val : Boolean := True) is
5962 pragma Assert (False
5963 or else NT (N).Nkind = N_Entry_Declaration
5964 or else NT (N).Nkind = N_Function_Instantiation
5965 or else NT (N).Nkind = N_Function_Specification
5966 or else NT (N).Nkind = N_Procedure_Instantiation
5967 or else NT (N).Nkind = N_Procedure_Specification);
5968 Set_Flag14 (N, Val);
5969 end Set_Must_Override;
5972 (N : Node_Id; Val : Node_Id) is
5974 pragma Assert (False
5975 or else NT (N).Nkind = N_Assignment_Statement
5976 or else NT (N).Nkind = N_Attribute_Definition_Clause
5977 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5978 or else NT (N).Nkind = N_Designator
5979 or else NT (N).Nkind = N_Entry_Call_Statement
5980 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5981 or else NT (N).Nkind = N_Exit_Statement
5982 or else NT (N).Nkind = N_Formal_Package_Declaration
5983 or else NT (N).Nkind = N_Function_Call
5984 or else NT (N).Nkind = N_Function_Instantiation
5985 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5986 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5987 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5988 or else NT (N).Nkind = N_Goto_Statement
5989 or else NT (N).Nkind = N_Iterator_Specification
5990 or else NT (N).Nkind = N_Object_Renaming_Declaration
5991 or else NT (N).Nkind = N_Package_Instantiation
5992 or else NT (N).Nkind = N_Package_Renaming_Declaration
5993 or else NT (N).Nkind = N_Procedure_Call_Statement
5994 or else NT (N).Nkind = N_Procedure_Instantiation
5995 or else NT (N).Nkind = N_Raise_Expression
5996 or else NT (N).Nkind = N_Raise_Statement
5997 or else NT (N).Nkind = N_Requeue_Statement
5998 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5999 or else NT (N).Nkind = N_Subunit
6000 or else NT (N).Nkind = N_Use_Package_Clause
6001 or else NT (N).Nkind = N_Variant_Part
6002 or else NT (N).Nkind = N_With_Clause);
6003 Set_Node2_With_Parent (N, Val);
6007 (N : Node_Id; Val : List_Id) is
6009 pragma Assert (False
6010 or else NT (N).Nkind = N_Abort_Statement);
6011 Set_List2_With_Parent (N, Val);
6014 procedure Set_Next_Entity
6015 (N : Node_Id; Val : Node_Id) is
6017 pragma Assert (False
6018 or else NT (N).Nkind = N_Defining_Character_Literal
6019 or else NT (N).Nkind = N_Defining_Identifier
6020 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6021 Set_Node2 (N, Val); -- semantic field, no parent set
6022 end Set_Next_Entity;
6024 procedure Set_Next_Exit_Statement
6025 (N : Node_Id; Val : Node_Id) is
6027 pragma Assert (False
6028 or else NT (N).Nkind = N_Exit_Statement);
6029 Set_Node3 (N, Val); -- semantic field, no parent set
6030 end Set_Next_Exit_Statement;
6032 procedure Set_Next_Implicit_With
6033 (N : Node_Id; Val : Node_Id) is
6035 pragma Assert (False
6036 or else NT (N).Nkind = N_With_Clause);
6037 Set_Node3 (N, Val); -- semantic field, no parent set
6038 end Set_Next_Implicit_With;
6040 procedure Set_Next_Named_Actual
6041 (N : Node_Id; Val : Node_Id) is
6043 pragma Assert (False
6044 or else NT (N).Nkind = N_Parameter_Association);
6045 Set_Node4 (N, Val); -- semantic field, no parent set
6046 end Set_Next_Named_Actual;
6048 procedure Set_Next_Pragma
6049 (N : Node_Id; Val : Node_Id) is
6051 pragma Assert (False
6052 or else NT (N).Nkind = N_Pragma);
6053 Set_Node1 (N, Val); -- semantic field, no parent set
6054 end Set_Next_Pragma;
6056 procedure Set_Next_Rep_Item
6057 (N : Node_Id; Val : Node_Id) is
6059 pragma Assert (False
6060 or else NT (N).Nkind = N_Aspect_Specification
6061 or else NT (N).Nkind = N_Attribute_Definition_Clause
6062 or else NT (N).Nkind = N_Enumeration_Representation_Clause
6063 or else NT (N).Nkind = N_Null_Statement
6064 or else NT (N).Nkind = N_Pragma
6065 or else NT (N).Nkind = N_Record_Representation_Clause);
6066 Set_Node5 (N, Val); -- semantic field, no parent set
6067 end Set_Next_Rep_Item;
6069 procedure Set_Next_Use_Clause
6070 (N : Node_Id; Val : Node_Id) is
6072 pragma Assert (False
6073 or else NT (N).Nkind = N_Use_Package_Clause
6074 or else NT (N).Nkind = N_Use_Type_Clause);
6075 Set_Node3 (N, Val); -- semantic field, no parent set
6076 end Set_Next_Use_Clause;
6078 procedure Set_No_Ctrl_Actions
6079 (N : Node_Id; Val : Boolean := True) is
6081 pragma Assert (False
6082 or else NT (N).Nkind = N_Assignment_Statement);
6084 end Set_No_Ctrl_Actions;
6086 procedure Set_No_Elaboration_Check
6087 (N : Node_Id; Val : Boolean := True) is
6089 pragma Assert (False
6090 or else NT (N).Nkind = N_Function_Call
6091 or else NT (N).Nkind = N_Procedure_Call_Statement);
6093 end Set_No_Elaboration_Check;
6095 procedure Set_No_Entities_Ref_In_Spec
6096 (N : Node_Id; Val : Boolean := True) is
6098 pragma Assert (False
6099 or else NT (N).Nkind = N_With_Clause);
6101 end Set_No_Entities_Ref_In_Spec;
6103 procedure Set_No_Initialization
6104 (N : Node_Id; Val : Boolean := True) is
6106 pragma Assert (False
6107 or else NT (N).Nkind = N_Allocator
6108 or else NT (N).Nkind = N_Object_Declaration);
6109 Set_Flag13 (N, Val);
6110 end Set_No_Initialization;
6112 procedure Set_No_Minimize_Eliminate
6113 (N : Node_Id; Val : Boolean := True) is
6115 pragma Assert (False
6116 or else NT (N).Nkind = N_In
6117 or else NT (N).Nkind = N_Not_In);
6118 Set_Flag17 (N, Val);
6119 end Set_No_Minimize_Eliminate;
6121 procedure Set_No_Side_Effect_Removal
6122 (N : Node_Id; Val : Boolean := True) is
6124 pragma Assert (False
6125 or else NT (N).Nkind = N_Function_Call);
6126 Set_Flag17 (N, Val);
6127 end Set_No_Side_Effect_Removal;
6129 procedure Set_No_Truncation
6130 (N : Node_Id; Val : Boolean := True) is
6132 pragma Assert (False
6133 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6134 Set_Flag17 (N, Val);
6135 end Set_No_Truncation;
6137 procedure Set_Null_Excluding_Subtype
6138 (N : Node_Id; Val : Boolean := True) is
6140 pragma Assert (False
6141 or else NT (N).Nkind = N_Access_To_Object_Definition);
6142 Set_Flag16 (N, Val);
6143 end Set_Null_Excluding_Subtype;
6145 procedure Set_Null_Exclusion_Present
6146 (N : Node_Id; Val : Boolean := True) is
6148 pragma Assert (False
6149 or else NT (N).Nkind = N_Access_Definition
6150 or else NT (N).Nkind = N_Access_Function_Definition
6151 or else NT (N).Nkind = N_Access_Procedure_Definition
6152 or else NT (N).Nkind = N_Access_To_Object_Definition
6153 or else NT (N).Nkind = N_Allocator
6154 or else NT (N).Nkind = N_Component_Definition
6155 or else NT (N).Nkind = N_Derived_Type_Definition
6156 or else NT (N).Nkind = N_Discriminant_Specification
6157 or else NT (N).Nkind = N_Formal_Object_Declaration
6158 or else NT (N).Nkind = N_Function_Specification
6159 or else NT (N).Nkind = N_Object_Declaration
6160 or else NT (N).Nkind = N_Object_Renaming_Declaration
6161 or else NT (N).Nkind = N_Parameter_Specification
6162 or else NT (N).Nkind = N_Subtype_Declaration);
6163 Set_Flag11 (N, Val);
6164 end Set_Null_Exclusion_Present;
6166 procedure Set_Null_Exclusion_In_Return_Present
6167 (N : Node_Id; Val : Boolean := True) is
6169 pragma Assert (False
6170 or else NT (N).Nkind = N_Access_Function_Definition);
6171 Set_Flag14 (N, Val);
6172 end Set_Null_Exclusion_In_Return_Present;
6174 procedure Set_Null_Present
6175 (N : Node_Id; Val : Boolean := True) is
6177 pragma Assert (False
6178 or else NT (N).Nkind = N_Component_List
6179 or else NT (N).Nkind = N_Procedure_Specification
6180 or else NT (N).Nkind = N_Record_Definition);
6181 Set_Flag13 (N, Val);
6182 end Set_Null_Present;
6184 procedure Set_Null_Record_Present
6185 (N : Node_Id; Val : Boolean := True) is
6187 pragma Assert (False
6188 or else NT (N).Nkind = N_Aggregate
6189 or else NT (N).Nkind = N_Extension_Aggregate);
6190 Set_Flag17 (N, Val);
6191 end Set_Null_Record_Present;
6193 procedure Set_Null_Statement
6194 (N : Node_Id; Val : Node_Id) is
6196 pragma Assert (False
6197 or else NT (N).Nkind = N_Procedure_Specification);
6199 end Set_Null_Statement;
6201 procedure Set_Object_Definition
6202 (N : Node_Id; Val : Node_Id) is
6204 pragma Assert (False
6205 or else NT (N).Nkind = N_Object_Declaration);
6206 Set_Node4_With_Parent (N, Val);
6207 end Set_Object_Definition;
6209 procedure Set_Of_Present
6210 (N : Node_Id; Val : Boolean := True) is
6212 pragma Assert (False
6213 or else NT (N).Nkind = N_Iterator_Specification);
6214 Set_Flag16 (N, Val);
6217 procedure Set_Original_Discriminant
6218 (N : Node_Id; Val : Node_Id) is
6220 pragma Assert (False
6221 or else NT (N).Nkind = N_Identifier);
6222 Set_Node2 (N, Val); -- semantic field, no parent set
6223 end Set_Original_Discriminant;
6225 procedure Set_Original_Entity
6226 (N : Node_Id; Val : Entity_Id) is
6228 pragma Assert (False
6229 or else NT (N).Nkind = N_Integer_Literal
6230 or else NT (N).Nkind = N_Real_Literal);
6231 Set_Node2 (N, Val); -- semantic field, no parent set
6232 end Set_Original_Entity;
6234 procedure Set_Others_Discrete_Choices
6235 (N : Node_Id; Val : List_Id) is
6237 pragma Assert (False
6238 or else NT (N).Nkind = N_Others_Choice);
6239 Set_List1_With_Parent (N, Val);
6240 end Set_Others_Discrete_Choices;
6242 procedure Set_Out_Present
6243 (N : Node_Id; Val : Boolean := True) is
6245 pragma Assert (False
6246 or else NT (N).Nkind = N_Formal_Object_Declaration
6247 or else NT (N).Nkind = N_Parameter_Specification);
6248 Set_Flag17 (N, Val);
6249 end Set_Out_Present;
6251 procedure Set_Parameter_Associations
6252 (N : Node_Id; Val : List_Id) is
6254 pragma Assert (False
6255 or else NT (N).Nkind = N_Entry_Call_Statement
6256 or else NT (N).Nkind = N_Function_Call
6257 or else NT (N).Nkind = N_Procedure_Call_Statement);
6258 Set_List3_With_Parent (N, Val);
6259 end Set_Parameter_Associations;
6261 procedure Set_Parameter_Specifications
6262 (N : Node_Id; Val : List_Id) is
6264 pragma Assert (False
6265 or else NT (N).Nkind = N_Accept_Statement
6266 or else NT (N).Nkind = N_Access_Function_Definition
6267 or else NT (N).Nkind = N_Access_Procedure_Definition
6268 or else NT (N).Nkind = N_Entry_Body_Formal_Part
6269 or else NT (N).Nkind = N_Entry_Declaration
6270 or else NT (N).Nkind = N_Function_Specification
6271 or else NT (N).Nkind = N_Procedure_Specification);
6272 Set_List3_With_Parent (N, Val);
6273 end Set_Parameter_Specifications;
6275 procedure Set_Parameter_Type
6276 (N : Node_Id; Val : Node_Id) is
6278 pragma Assert (False
6279 or else NT (N).Nkind = N_Parameter_Specification);
6280 Set_Node2_With_Parent (N, Val);
6281 end Set_Parameter_Type;
6283 procedure Set_Parent_Spec
6284 (N : Node_Id; Val : Node_Id) is
6286 pragma Assert (False
6287 or else NT (N).Nkind = N_Function_Instantiation
6288 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
6289 or else NT (N).Nkind = N_Generic_Package_Declaration
6290 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
6291 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
6292 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6293 or else NT (N).Nkind = N_Package_Declaration
6294 or else NT (N).Nkind = N_Package_Instantiation
6295 or else NT (N).Nkind = N_Package_Renaming_Declaration
6296 or else NT (N).Nkind = N_Procedure_Instantiation
6297 or else NT (N).Nkind = N_Subprogram_Declaration
6298 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6299 Set_Node4 (N, Val); -- semantic field, no parent set
6300 end Set_Parent_Spec;
6302 procedure Set_Parent_With
6303 (N : Node_Id; Val : Boolean := True) is
6305 pragma Assert (False
6306 or else NT (N).Nkind = N_With_Clause);
6308 end Set_Parent_With;
6310 procedure Set_Position
6311 (N : Node_Id; Val : Node_Id) is
6313 pragma Assert (False
6314 or else NT (N).Nkind = N_Component_Clause);
6315 Set_Node2_With_Parent (N, Val);
6318 procedure Set_Pragma_Argument_Associations
6319 (N : Node_Id; Val : List_Id) is
6321 pragma Assert (False
6322 or else NT (N).Nkind = N_Pragma);
6323 Set_List2_With_Parent (N, Val);
6324 end Set_Pragma_Argument_Associations;
6326 procedure Set_Pragma_Identifier
6327 (N : Node_Id; Val : Node_Id) is
6329 pragma Assert (False
6330 or else NT (N).Nkind = N_Pragma);
6331 Set_Node4_With_Parent (N, Val);
6332 end Set_Pragma_Identifier;
6334 procedure Set_Pragmas_After
6335 (N : Node_Id; Val : List_Id) is
6337 pragma Assert (False
6338 or else NT (N).Nkind = N_Compilation_Unit_Aux
6339 or else NT (N).Nkind = N_Terminate_Alternative);
6340 Set_List5_With_Parent (N, Val);
6341 end Set_Pragmas_After;
6343 procedure Set_Pragmas_Before
6344 (N : Node_Id; Val : List_Id) is
6346 pragma Assert (False
6347 or else NT (N).Nkind = N_Accept_Alternative
6348 or else NT (N).Nkind = N_Delay_Alternative
6349 or else NT (N).Nkind = N_Entry_Call_Alternative
6350 or else NT (N).Nkind = N_Mod_Clause
6351 or else NT (N).Nkind = N_Terminate_Alternative
6352 or else NT (N).Nkind = N_Triggering_Alternative);
6353 Set_List4_With_Parent (N, Val);
6354 end Set_Pragmas_Before;
6356 procedure Set_Pre_Post_Conditions
6357 (N : Node_Id; Val : Node_Id) is
6359 pragma Assert (False
6360 or else NT (N).Nkind = N_Contract);
6361 Set_Node1 (N, Val); -- semantic field, no parent set
6362 end Set_Pre_Post_Conditions;
6364 procedure Set_Prefix
6365 (N : Node_Id; Val : Node_Id) is
6367 pragma Assert (False
6368 or else NT (N).Nkind = N_Attribute_Reference
6369 or else NT (N).Nkind = N_Expanded_Name
6370 or else NT (N).Nkind = N_Explicit_Dereference
6371 or else NT (N).Nkind = N_Indexed_Component
6372 or else NT (N).Nkind = N_Reference
6373 or else NT (N).Nkind = N_Selected_Component
6374 or else NT (N).Nkind = N_Slice);
6375 Set_Node3_With_Parent (N, Val);
6378 procedure Set_Premature_Use
6379 (N : Node_Id; Val : Node_Id) is
6381 pragma Assert (False
6382 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
6384 end Set_Premature_Use;
6386 procedure Set_Present_Expr
6387 (N : Node_Id; Val : Uint) is
6389 pragma Assert (False
6390 or else NT (N).Nkind = N_Variant);
6392 end Set_Present_Expr;
6394 procedure Set_Prev_Ids
6395 (N : Node_Id; Val : Boolean := True) is
6397 pragma Assert (False
6398 or else NT (N).Nkind = N_Component_Declaration
6399 or else NT (N).Nkind = N_Discriminant_Specification
6400 or else NT (N).Nkind = N_Exception_Declaration
6401 or else NT (N).Nkind = N_Formal_Object_Declaration
6402 or else NT (N).Nkind = N_Number_Declaration
6403 or else NT (N).Nkind = N_Object_Declaration
6404 or else NT (N).Nkind = N_Parameter_Specification
6405 or else NT (N).Nkind = N_Use_Package_Clause
6406 or else NT (N).Nkind = N_Use_Type_Clause);
6410 procedure Set_Prev_Use_Clause
6411 (N : Node_Id; Val : Node_Id) is
6413 pragma Assert (False
6414 or else NT (N).Nkind = N_Use_Package_Clause
6415 or else NT (N).Nkind = N_Use_Type_Clause);
6416 Set_Node1 (N, Val); -- semantic field, no parent set
6417 end Set_Prev_Use_Clause;
6419 procedure Set_Print_In_Hex
6420 (N : Node_Id; Val : Boolean := True) is
6422 pragma Assert (False
6423 or else NT (N).Nkind = N_Integer_Literal);
6424 Set_Flag13 (N, Val);
6425 end Set_Print_In_Hex;
6427 procedure Set_Private_Declarations
6428 (N : Node_Id; Val : List_Id) is
6430 pragma Assert (False
6431 or else NT (N).Nkind = N_Package_Specification
6432 or else NT (N).Nkind = N_Protected_Definition
6433 or else NT (N).Nkind = N_Task_Definition);
6434 Set_List3_With_Parent (N, Val);
6435 end Set_Private_Declarations;
6437 procedure Set_Private_Present
6438 (N : Node_Id; Val : Boolean := True) is
6440 pragma Assert (False
6441 or else NT (N).Nkind = N_Compilation_Unit
6442 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6443 or else NT (N).Nkind = N_With_Clause);
6444 Set_Flag15 (N, Val);
6445 end Set_Private_Present;
6447 procedure Set_Procedure_To_Call
6448 (N : Node_Id; Val : Node_Id) is
6450 pragma Assert (False
6451 or else NT (N).Nkind = N_Allocator
6452 or else NT (N).Nkind = N_Extended_Return_Statement
6453 or else NT (N).Nkind = N_Free_Statement
6454 or else NT (N).Nkind = N_Simple_Return_Statement);
6455 Set_Node2 (N, Val); -- semantic field, no parent set
6456 end Set_Procedure_To_Call;
6458 procedure Set_Proper_Body
6459 (N : Node_Id; Val : Node_Id) is
6461 pragma Assert (False
6462 or else NT (N).Nkind = N_Subunit);
6463 Set_Node1_With_Parent (N, Val);
6464 end Set_Proper_Body;
6466 procedure Set_Protected_Definition
6467 (N : Node_Id; Val : Node_Id) is
6469 pragma Assert (False
6470 or else NT (N).Nkind = N_Protected_Type_Declaration
6471 or else NT (N).Nkind = N_Single_Protected_Declaration);
6472 Set_Node3_With_Parent (N, Val);
6473 end Set_Protected_Definition;
6475 procedure Set_Protected_Present
6476 (N : Node_Id; Val : Boolean := True) is
6478 pragma Assert (False
6479 or else NT (N).Nkind = N_Access_Function_Definition
6480 or else NT (N).Nkind = N_Access_Procedure_Definition
6481 or else NT (N).Nkind = N_Derived_Type_Definition
6482 or else NT (N).Nkind = N_Record_Definition);
6484 end Set_Protected_Present;
6486 procedure Set_Raises_Constraint_Error
6487 (N : Node_Id; Val : Boolean := True) is
6489 pragma Assert (False
6490 or else NT (N).Nkind in N_Subexpr);
6492 end Set_Raises_Constraint_Error;
6494 procedure Set_Range_Constraint
6495 (N : Node_Id; Val : Node_Id) is
6497 pragma Assert (False
6498 or else NT (N).Nkind = N_Delta_Constraint
6499 or else NT (N).Nkind = N_Digits_Constraint);
6500 Set_Node4_With_Parent (N, Val);
6501 end Set_Range_Constraint;
6503 procedure Set_Range_Expression
6504 (N : Node_Id; Val : Node_Id) is
6506 pragma Assert (False
6507 or else NT (N).Nkind = N_Range_Constraint);
6508 Set_Node4_With_Parent (N, Val);
6509 end Set_Range_Expression;
6511 procedure Set_Real_Range_Specification
6512 (N : Node_Id; Val : Node_Id) is
6514 pragma Assert (False
6515 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
6516 or else NT (N).Nkind = N_Floating_Point_Definition
6517 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
6518 Set_Node4_With_Parent (N, Val);
6519 end Set_Real_Range_Specification;
6521 procedure Set_Realval
6522 (N : Node_Id; Val : Ureal) is
6524 pragma Assert (False
6525 or else NT (N).Nkind = N_Real_Literal);
6526 Set_Ureal3 (N, Val);
6529 procedure Set_Reason
6530 (N : Node_Id; Val : Uint) is
6532 pragma Assert (False
6533 or else NT (N).Nkind = N_Raise_Constraint_Error
6534 or else NT (N).Nkind = N_Raise_Program_Error
6535 or else NT (N).Nkind = N_Raise_Storage_Error);
6539 procedure Set_Record_Extension_Part
6540 (N : Node_Id; Val : Node_Id) is
6542 pragma Assert (False
6543 or else NT (N).Nkind = N_Derived_Type_Definition);
6544 Set_Node3_With_Parent (N, Val);
6545 end Set_Record_Extension_Part;
6547 procedure Set_Redundant_Use
6548 (N : Node_Id; Val : Boolean := True) is
6550 pragma Assert (False
6551 or else NT (N).Nkind = N_Attribute_Reference
6552 or else NT (N).Nkind = N_Expanded_Name
6553 or else NT (N).Nkind = N_Identifier);
6554 Set_Flag13 (N, Val);
6555 end Set_Redundant_Use;
6557 procedure Set_Renaming_Exception
6558 (N : Node_Id; Val : Node_Id) is
6560 pragma Assert (False
6561 or else NT (N).Nkind = N_Exception_Declaration);
6563 end Set_Renaming_Exception;
6565 procedure Set_Result_Definition
6566 (N : Node_Id; Val : Node_Id) is
6568 pragma Assert (False
6569 or else NT (N).Nkind = N_Access_Function_Definition
6570 or else NT (N).Nkind = N_Function_Specification);
6571 Set_Node4_With_Parent (N, Val);
6572 end Set_Result_Definition;
6574 procedure Set_Return_Object_Declarations
6575 (N : Node_Id; Val : List_Id) is
6577 pragma Assert (False
6578 or else NT (N).Nkind = N_Extended_Return_Statement);
6579 Set_List3_With_Parent (N, Val);
6580 end Set_Return_Object_Declarations;
6582 procedure Set_Return_Statement_Entity
6583 (N : Node_Id; Val : Node_Id) is
6585 pragma Assert (False
6586 or else NT (N).Nkind = N_Extended_Return_Statement
6587 or else NT (N).Nkind = N_Simple_Return_Statement);
6588 Set_Node5 (N, Val); -- semantic field, no parent set
6589 end Set_Return_Statement_Entity;
6591 procedure Set_Reverse_Present
6592 (N : Node_Id; Val : Boolean := True) is
6594 pragma Assert (False
6595 or else NT (N).Nkind = N_Iterator_Specification
6596 or else NT (N).Nkind = N_Loop_Parameter_Specification);
6597 Set_Flag15 (N, Val);
6598 end Set_Reverse_Present;
6600 procedure Set_Right_Opnd
6601 (N : Node_Id; Val : Node_Id) is
6603 pragma Assert (False
6604 or else NT (N).Nkind in N_Op
6605 or else NT (N).Nkind = N_And_Then
6606 or else NT (N).Nkind = N_In
6607 or else NT (N).Nkind = N_Not_In
6608 or else NT (N).Nkind = N_Or_Else);
6609 Set_Node3_With_Parent (N, Val);
6612 procedure Set_Rounded_Result
6613 (N : Node_Id; Val : Boolean := True) is
6615 pragma Assert (False
6616 or else NT (N).Nkind = N_Op_Divide
6617 or else NT (N).Nkind = N_Op_Multiply
6618 or else NT (N).Nkind = N_Type_Conversion);
6619 Set_Flag18 (N, Val);
6620 end Set_Rounded_Result;
6622 procedure Set_Save_Invocation_Graph_Of_Body
6623 (N : Node_Id; Val : Boolean := True) is
6625 pragma Assert (False
6626 or else NT (N).Nkind = N_Compilation_Unit);
6628 end Set_Save_Invocation_Graph_Of_Body;
6630 procedure Set_SCIL_Controlling_Tag
6631 (N : Node_Id; Val : Node_Id) is
6633 pragma Assert (False
6634 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6635 Set_Node5 (N, Val); -- semantic field, no parent set
6636 end Set_SCIL_Controlling_Tag;
6638 procedure Set_SCIL_Entity
6639 (N : Node_Id; Val : Node_Id) is
6641 pragma Assert (False
6642 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
6643 or else NT (N).Nkind = N_SCIL_Dispatching_Call
6644 or else NT (N).Nkind = N_SCIL_Membership_Test);
6645 Set_Node4 (N, Val); -- semantic field, no parent set
6646 end Set_SCIL_Entity;
6648 procedure Set_SCIL_Tag_Value
6649 (N : Node_Id; Val : Node_Id) is
6651 pragma Assert (False
6652 or else NT (N).Nkind = N_SCIL_Membership_Test);
6653 Set_Node5 (N, Val); -- semantic field, no parent set
6654 end Set_SCIL_Tag_Value;
6656 procedure Set_SCIL_Target_Prim
6657 (N : Node_Id; Val : Node_Id) is
6659 pragma Assert (False
6660 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6661 Set_Node2 (N, Val); -- semantic field, no parent set
6662 end Set_SCIL_Target_Prim;
6665 (N : Node_Id; Val : Node_Id) is
6667 pragma Assert (False
6668 or else NT (N).Nkind = N_Defining_Character_Literal
6669 or else NT (N).Nkind = N_Defining_Identifier
6670 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6671 Set_Node3 (N, Val); -- semantic field, no parent set
6674 procedure Set_Select_Alternatives
6675 (N : Node_Id; Val : List_Id) is
6677 pragma Assert (False
6678 or else NT (N).Nkind = N_Selective_Accept);
6679 Set_List1_With_Parent (N, Val);
6680 end Set_Select_Alternatives;
6682 procedure Set_Selector_Name
6683 (N : Node_Id; Val : Node_Id) is
6685 pragma Assert (False
6686 or else NT (N).Nkind = N_Expanded_Name
6687 or else NT (N).Nkind = N_Generic_Association
6688 or else NT (N).Nkind = N_Parameter_Association
6689 or else NT (N).Nkind = N_Selected_Component);
6690 Set_Node2_With_Parent (N, Val);
6691 end Set_Selector_Name;
6693 procedure Set_Selector_Names
6694 (N : Node_Id; Val : List_Id) is
6696 pragma Assert (False
6697 or else NT (N).Nkind = N_Discriminant_Association);
6698 Set_List1_With_Parent (N, Val);
6699 end Set_Selector_Names;
6701 procedure Set_Shift_Count_OK
6702 (N : Node_Id; Val : Boolean := True) is
6704 pragma Assert (False
6705 or else NT (N).Nkind = N_Op_Rotate_Left
6706 or else NT (N).Nkind = N_Op_Rotate_Right
6707 or else NT (N).Nkind = N_Op_Shift_Left
6708 or else NT (N).Nkind = N_Op_Shift_Right
6709 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6711 end Set_Shift_Count_OK;
6713 procedure Set_Source_Type
6714 (N : Node_Id; Val : Entity_Id) is
6716 pragma Assert (False
6717 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6718 Set_Node1 (N, Val); -- semantic field, no parent set
6719 end Set_Source_Type;
6721 procedure Set_Specification
6722 (N : Node_Id; Val : Node_Id) is
6724 pragma Assert (False
6725 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6726 or else NT (N).Nkind = N_Expression_Function
6727 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6728 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6729 or else NT (N).Nkind = N_Generic_Package_Declaration
6730 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6731 or else NT (N).Nkind = N_Package_Declaration
6732 or else NT (N).Nkind = N_Subprogram_Body
6733 or else NT (N).Nkind = N_Subprogram_Body_Stub
6734 or else NT (N).Nkind = N_Subprogram_Declaration
6735 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6736 Set_Node1_With_Parent (N, Val);
6737 end Set_Specification;
6739 procedure Set_Split_PPC
6740 (N : Node_Id; Val : Boolean) is
6742 pragma Assert (False
6743 or else NT (N).Nkind = N_Aspect_Specification
6744 or else NT (N).Nkind = N_Pragma);
6745 Set_Flag17 (N, Val);
6748 procedure Set_Statements
6749 (N : Node_Id; Val : List_Id) is
6751 pragma Assert (False
6752 or else NT (N).Nkind = N_Abortable_Part
6753 or else NT (N).Nkind = N_Accept_Alternative
6754 or else NT (N).Nkind = N_Case_Statement_Alternative
6755 or else NT (N).Nkind = N_Delay_Alternative
6756 or else NT (N).Nkind = N_Entry_Call_Alternative
6757 or else NT (N).Nkind = N_Exception_Handler
6758 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6759 or else NT (N).Nkind = N_Loop_Statement
6760 or else NT (N).Nkind = N_Triggering_Alternative);
6761 Set_List3_With_Parent (N, Val);
6764 procedure Set_Storage_Pool
6765 (N : Node_Id; Val : Node_Id) is
6767 pragma Assert (False
6768 or else NT (N).Nkind = N_Allocator
6769 or else NT (N).Nkind = N_Extended_Return_Statement
6770 or else NT (N).Nkind = N_Free_Statement
6771 or else NT (N).Nkind = N_Simple_Return_Statement);
6772 Set_Node1 (N, Val); -- semantic field, no parent set
6773 end Set_Storage_Pool;
6775 procedure Set_Subpool_Handle_Name
6776 (N : Node_Id; Val : Node_Id) is
6778 pragma Assert (False
6779 or else NT (N).Nkind = N_Allocator);
6780 Set_Node4_With_Parent (N, Val);
6781 end Set_Subpool_Handle_Name;
6783 procedure Set_Strval
6784 (N : Node_Id; Val : String_Id) is
6786 pragma Assert (False
6787 or else NT (N).Nkind = N_Operator_Symbol
6788 or else NT (N).Nkind = N_String_Literal);
6792 procedure Set_Subtype_Indication
6793 (N : Node_Id; Val : Node_Id) is
6795 pragma Assert (False
6796 or else NT (N).Nkind = N_Access_To_Object_Definition
6797 or else NT (N).Nkind = N_Component_Definition
6798 or else NT (N).Nkind = N_Derived_Type_Definition
6799 or else NT (N).Nkind = N_Iterator_Specification
6800 or else NT (N).Nkind = N_Private_Extension_Declaration
6801 or else NT (N).Nkind = N_Subtype_Declaration);
6802 Set_Node5_With_Parent (N, Val);
6803 end Set_Subtype_Indication;
6805 procedure Set_Subtype_Mark
6806 (N : Node_Id; Val : Node_Id) is
6808 pragma Assert (False
6809 or else NT (N).Nkind = N_Access_Definition
6810 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6811 or else NT (N).Nkind = N_Formal_Object_Declaration
6812 or else NT (N).Nkind = N_Object_Renaming_Declaration
6813 or else NT (N).Nkind = N_Qualified_Expression
6814 or else NT (N).Nkind = N_Subtype_Indication
6815 or else NT (N).Nkind = N_Type_Conversion
6816 or else NT (N).Nkind = N_Unchecked_Type_Conversion
6817 or else NT (N).Nkind = N_Use_Type_Clause);
6818 Set_Node4_With_Parent (N, Val);
6819 end Set_Subtype_Mark;
6821 procedure Set_Subtype_Marks
6822 (N : Node_Id; Val : List_Id) is
6824 pragma Assert (False
6825 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
6826 Set_List2_With_Parent (N, Val);
6827 end Set_Subtype_Marks;
6829 procedure Set_Suppress_Assignment_Checks
6830 (N : Node_Id; Val : Boolean := True) is
6832 pragma Assert (False
6833 or else NT (N).Nkind = N_Assignment_Statement
6834 or else NT (N).Nkind = N_Object_Declaration);
6835 Set_Flag18 (N, Val);
6836 end Set_Suppress_Assignment_Checks;
6838 procedure Set_Suppress_Loop_Warnings
6839 (N : Node_Id; Val : Boolean := True) is
6841 pragma Assert (False
6842 or else NT (N).Nkind = N_Loop_Statement);
6843 Set_Flag17 (N, Val);
6844 end Set_Suppress_Loop_Warnings;
6846 procedure Set_Synchronized_Present
6847 (N : Node_Id; Val : Boolean := True) is
6849 pragma Assert (False
6850 or else NT (N).Nkind = N_Derived_Type_Definition
6851 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6852 or else NT (N).Nkind = N_Private_Extension_Declaration
6853 or else NT (N).Nkind = N_Record_Definition);
6855 end Set_Synchronized_Present;
6857 procedure Set_Tagged_Present
6858 (N : Node_Id; Val : Boolean := True) is
6860 pragma Assert (False
6861 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6862 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6863 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6864 or else NT (N).Nkind = N_Private_Type_Declaration
6865 or else NT (N).Nkind = N_Record_Definition);
6866 Set_Flag15 (N, Val);
6867 end Set_Tagged_Present;
6869 procedure Set_Target
6870 (N : Node_Id; Val : Entity_Id) is
6872 pragma Assert (False
6873 or else NT (N).Nkind = N_Call_Marker
6874 or else NT (N).Nkind = N_Variable_Reference_Marker);
6875 Set_Node1 (N, Val); -- semantic field, no parent set
6878 procedure Set_Target_Type
6879 (N : Node_Id; Val : Entity_Id) is
6881 pragma Assert (False
6882 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6883 Set_Node2 (N, Val); -- semantic field, no parent set
6884 end Set_Target_Type;
6886 procedure Set_Task_Definition
6887 (N : Node_Id; Val : Node_Id) is
6889 pragma Assert (False
6890 or else NT (N).Nkind = N_Single_Task_Declaration
6891 or else NT (N).Nkind = N_Task_Type_Declaration);
6892 Set_Node3_With_Parent (N, Val);
6893 end Set_Task_Definition;
6895 procedure Set_Task_Present
6896 (N : Node_Id; Val : Boolean := True) is
6898 pragma Assert (False
6899 or else NT (N).Nkind = N_Derived_Type_Definition
6900 or else NT (N).Nkind = N_Record_Definition);
6902 end Set_Task_Present;
6904 procedure Set_Then_Actions
6905 (N : Node_Id; Val : List_Id) is
6907 pragma Assert (False
6908 or else NT (N).Nkind = N_If_Expression);
6909 Set_List2_With_Parent (N, Val); -- semantic field, but needs parents
6910 end Set_Then_Actions;
6912 procedure Set_Then_Statements
6913 (N : Node_Id; Val : List_Id) is
6915 pragma Assert (False
6916 or else NT (N).Nkind = N_Elsif_Part
6917 or else NT (N).Nkind = N_If_Statement);
6918 Set_List2_With_Parent (N, Val);
6919 end Set_Then_Statements;
6921 procedure Set_Triggering_Alternative
6922 (N : Node_Id; Val : Node_Id) is
6924 pragma Assert (False
6925 or else NT (N).Nkind = N_Asynchronous_Select);
6926 Set_Node1_With_Parent (N, Val);
6927 end Set_Triggering_Alternative;
6929 procedure Set_Triggering_Statement
6930 (N : Node_Id; Val : Node_Id) is
6932 pragma Assert (False
6933 or else NT (N).Nkind = N_Triggering_Alternative);
6934 Set_Node1_With_Parent (N, Val);
6935 end Set_Triggering_Statement;
6937 procedure Set_TSS_Elist
6938 (N : Node_Id; Val : Elist_Id) is
6940 pragma Assert (False
6941 or else NT (N).Nkind = N_Freeze_Entity);
6942 Set_Elist3 (N, Val); -- semantic field, no parent set
6945 procedure Set_Uneval_Old_Accept
6946 (N : Node_Id; Val : Boolean := True) is
6948 pragma Assert (False
6949 or else NT (N).Nkind = N_Pragma);
6951 end Set_Uneval_Old_Accept;
6953 procedure Set_Uneval_Old_Warn
6954 (N : Node_Id; Val : Boolean := True) is
6956 pragma Assert (False
6957 or else NT (N).Nkind = N_Pragma);
6958 Set_Flag18 (N, Val);
6959 end Set_Uneval_Old_Warn;
6961 procedure Set_Type_Definition
6962 (N : Node_Id; Val : Node_Id) is
6964 pragma Assert (False
6965 or else NT (N).Nkind = N_Full_Type_Declaration);
6966 Set_Node3_With_Parent (N, Val);
6967 end Set_Type_Definition;
6970 (N : Node_Id; Val : Node_Id) is
6972 pragma Assert (False
6973 or else NT (N).Nkind = N_Compilation_Unit);
6974 Set_Node2_With_Parent (N, Val);
6977 procedure Set_Unknown_Discriminants_Present
6978 (N : Node_Id; Val : Boolean := True) is
6980 pragma Assert (False
6981 or else NT (N).Nkind = N_Formal_Type_Declaration
6982 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6983 or else NT (N).Nkind = N_Private_Extension_Declaration
6984 or else NT (N).Nkind = N_Private_Type_Declaration);
6985 Set_Flag13 (N, Val);
6986 end Set_Unknown_Discriminants_Present;
6988 procedure Set_Unreferenced_In_Spec
6989 (N : Node_Id; Val : Boolean := True) is
6991 pragma Assert (False
6992 or else NT (N).Nkind = N_With_Clause);
6994 end Set_Unreferenced_In_Spec;
6996 procedure Set_Variant_Part
6997 (N : Node_Id; Val : Node_Id) is
6999 pragma Assert (False
7000 or else NT (N).Nkind = N_Component_List);
7001 Set_Node4_With_Parent (N, Val);
7002 end Set_Variant_Part;
7004 procedure Set_Variants
7005 (N : Node_Id; Val : List_Id) is
7007 pragma Assert (False
7008 or else NT (N).Nkind = N_Variant_Part);
7009 Set_List1_With_Parent (N, Val);
7012 procedure Set_Visible_Declarations
7013 (N : Node_Id; Val : List_Id) is
7015 pragma Assert (False
7016 or else NT (N).Nkind = N_Package_Specification
7017 or else NT (N).Nkind = N_Protected_Definition
7018 or else NT (N).Nkind = N_Task_Definition);
7019 Set_List2_With_Parent (N, Val);
7020 end Set_Visible_Declarations;
7022 procedure Set_Uninitialized_Variable
7023 (N : Node_Id; Val : Node_Id) is
7025 pragma Assert (False
7026 or else NT (N).Nkind = N_Formal_Private_Type_Definition
7027 or else NT (N).Nkind = N_Private_Extension_Declaration);
7029 end Set_Uninitialized_Variable;
7031 procedure Set_Used_Operations
7032 (N : Node_Id; Val : Elist_Id) is
7034 pragma Assert (False
7035 or else NT (N).Nkind = N_Use_Type_Clause);
7036 Set_Elist2 (N, Val);
7037 end Set_Used_Operations;
7039 procedure Set_Was_Attribute_Reference
7040 (N : Node_Id; Val : Boolean := True) is
7042 pragma Assert (False
7043 or else NT (N).Nkind = N_Subprogram_Body);
7045 end Set_Was_Attribute_Reference;
7047 procedure Set_Was_Default_Init_Box_Association
7048 (N : Node_Id; Val : Boolean := True) is
7050 pragma Assert (False
7051 or else NT (N).Nkind = N_Component_Association);
7052 Set_Flag14 (N, Val);
7053 end Set_Was_Default_Init_Box_Association;
7055 procedure Set_Was_Expression_Function
7056 (N : Node_Id; Val : Boolean := True) is
7058 pragma Assert (False
7059 or else NT (N).Nkind = N_Subprogram_Body);
7060 Set_Flag18 (N, Val);
7061 end Set_Was_Expression_Function;
7063 procedure Set_Was_Originally_Stub
7064 (N : Node_Id; Val : Boolean := True) is
7066 pragma Assert (False
7067 or else NT (N).Nkind = N_Package_Body
7068 or else NT (N).Nkind = N_Protected_Body
7069 or else NT (N).Nkind = N_Subprogram_Body
7070 or else NT (N).Nkind = N_Task_Body);
7071 Set_Flag13 (N, Val);
7072 end Set_Was_Originally_Stub;
7074 -------------------------
7075 -- Iterator Procedures --
7076 -------------------------
7078 procedure Next_Entity (N : in out Node_Id) is
7080 N := Next_Entity (N);
7083 procedure Next_Named_Actual (N : in out Node_Id) is
7085 N := Next_Named_Actual (N);
7086 end Next_Named_Actual;
7088 procedure Next_Rep_Item (N : in out Node_Id) is
7090 N := Next_Rep_Item (N);
7093 procedure Next_Use_Clause (N : in out Node_Id) is
7095 N := Next_Use_Clause (N);
7096 end Next_Use_Clause;
7102 function End_Location (N : Node_Id) return Source_Ptr is
7103 L : constant Uint := End_Span (N);
7108 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
7112 --------------------
7113 -- Get_Pragma_Arg --
7114 --------------------
7116 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
7118 if Nkind (Arg) = N_Pragma_Argument_Association then
7119 return Expression (Arg);
7125 ----------------------
7126 -- Set_End_Location --
7127 ----------------------
7129 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
7132 UI_From_Int (Int (S) - Int (Sloc (N))));
7133 end Set_End_Location;
7135 --------------------------
7136 -- Pragma_Name_Unmapped --
7137 --------------------------
7139 function Pragma_Name_Unmapped (N : Node_Id) return Name_Id is
7141 return Chars (Pragma_Identifier (N));
7142 end Pragma_Name_Unmapped;
7144 ---------------------
7145 -- Map_Pragma_Name --
7146 ---------------------
7148 -- We don't want to introduce a dependence on some hash table package or
7149 -- similar, so we use a simple array of Key => Value pairs, and do a linear
7150 -- search. Linear search is plenty efficient, given that we don't expect
7151 -- more than a couple of entries in the mapping.
7153 type Name_Pair is record
7158 type Pragma_Map_Index is range 1 .. 100;
7159 Pragma_Map : array (Pragma_Map_Index) of Name_Pair;
7160 Last_Pair : Pragma_Map_Index'Base range 0 .. Pragma_Map_Index'Last := 0;
7162 procedure Map_Pragma_Name (From, To : Name_Id) is
7164 if Last_Pair = Pragma_Map'Last then
7165 raise Too_Many_Pragma_Mappings;
7168 Last_Pair := Last_Pair + 1;
7169 Pragma_Map (Last_Pair) := (Key => From, Value => To);
7170 end Map_Pragma_Name;
7176 function Pragma_Name (N : Node_Id) return Name_Id is
7177 Result : constant Name_Id := Pragma_Name_Unmapped (N);
7179 for J in Pragma_Map'First .. Last_Pair loop
7180 if Result = Pragma_Map (J).Key then
7181 return Pragma_Map (J).Value;