1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Compound_Statement
152 or else NT (N).Nkind = N_Expression_With_Actions
153 or else NT (N).Nkind = N_Freeze_Entity
154 or else NT (N).Nkind = N_Or_Else);
158 function Activation_Chain_Entity
159 (N : Node_Id) return Node_Id is
162 or else NT (N).Nkind = N_Block_Statement
163 or else NT (N).Nkind = N_Entry_Body
164 or else NT (N).Nkind = N_Generic_Package_Declaration
165 or else NT (N).Nkind = N_Package_Declaration
166 or else NT (N).Nkind = N_Subprogram_Body
167 or else NT (N).Nkind = N_Task_Body);
169 end Activation_Chain_Entity;
171 function Acts_As_Spec
172 (N : Node_Id) return Boolean is
175 or else NT (N).Nkind = N_Compilation_Unit
176 or else NT (N).Nkind = N_Subprogram_Body);
180 function Actual_Designated_Subtype
181 (N : Node_Id) return Node_Id is
184 or else NT (N).Nkind = N_Explicit_Dereference
185 or else NT (N).Nkind = N_Free_Statement);
187 end Actual_Designated_Subtype;
189 function Address_Warning_Posted
190 (N : Node_Id) return Boolean is
193 or else NT (N).Nkind = N_Attribute_Definition_Clause);
195 end Address_Warning_Posted;
197 function Aggregate_Bounds
198 (N : Node_Id) return Node_Id is
201 or else NT (N).Nkind = N_Aggregate);
203 end Aggregate_Bounds;
205 function Aliased_Present
206 (N : Node_Id) return Boolean is
209 or else NT (N).Nkind = N_Component_Definition
210 or else NT (N).Nkind = N_Object_Declaration
211 or else NT (N).Nkind = N_Parameter_Specification);
216 (N : Node_Id) return Boolean is
219 or else NT (N).Nkind = N_Others_Choice);
224 (N : Node_Id) return Boolean is
227 or else NT (N).Nkind = N_Access_Definition
228 or else NT (N).Nkind = N_Access_To_Object_Definition
229 or else NT (N).Nkind = N_Quantified_Expression
230 or else NT (N).Nkind = N_Use_Type_Clause);
234 function Alternatives
235 (N : Node_Id) return List_Id is
238 or else NT (N).Nkind = N_Case_Expression
239 or else NT (N).Nkind = N_Case_Statement
240 or else NT (N).Nkind = N_In
241 or else NT (N).Nkind = N_Not_In);
245 function Ancestor_Part
246 (N : Node_Id) return Node_Id is
249 or else NT (N).Nkind = N_Extension_Aggregate);
253 function Atomic_Sync_Required
254 (N : Node_Id) return Boolean is
257 or else NT (N).Nkind = N_Expanded_Name
258 or else NT (N).Nkind = N_Explicit_Dereference
259 or else NT (N).Nkind = N_Identifier
260 or else NT (N).Nkind = N_Indexed_Component
261 or else NT (N).Nkind = N_Selected_Component);
263 end Atomic_Sync_Required;
265 function Array_Aggregate
266 (N : Node_Id) return Node_Id is
269 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
273 function Aspect_Rep_Item
274 (N : Node_Id) return Node_Id is
277 or else NT (N).Nkind = N_Aspect_Specification);
281 function Assignment_OK
282 (N : Node_Id) return Boolean is
285 or else NT (N).Nkind = N_Object_Declaration
286 or else NT (N).Nkind in N_Subexpr);
290 function Associated_Node
291 (N : Node_Id) return Node_Id is
294 or else NT (N).Nkind in N_Has_Entity
295 or else NT (N).Nkind = N_Aggregate
296 or else NT (N).Nkind = N_Extension_Aggregate
297 or else NT (N).Nkind = N_Selected_Component);
302 (N : Node_Id) return Node_Id is
305 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
309 function Attribute_Name
310 (N : Node_Id) return Name_Id is
313 or else NT (N).Nkind = N_Attribute_Reference);
317 function Aux_Decls_Node
318 (N : Node_Id) return Node_Id is
321 or else NT (N).Nkind = N_Compilation_Unit);
325 function Backwards_OK
326 (N : Node_Id) return Boolean is
329 or else NT (N).Nkind = N_Assignment_Statement);
333 function Bad_Is_Detected
334 (N : Node_Id) return Boolean is
337 or else NT (N).Nkind = N_Subprogram_Body);
341 function Body_Required
342 (N : Node_Id) return Boolean is
345 or else NT (N).Nkind = N_Compilation_Unit);
349 function Body_To_Inline
350 (N : Node_Id) return Node_Id is
353 or else NT (N).Nkind = N_Subprogram_Declaration);
358 (N : Node_Id) return Boolean is
361 or else NT (N).Nkind = N_Component_Association
362 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
364 or else NT (N).Nkind = N_Formal_Package_Declaration
365 or else NT (N).Nkind = N_Generic_Association);
370 (N : Node_Id) return Boolean is
373 or else NT (N).Nkind = N_Extended_Return_Statement
374 or else NT (N).Nkind = N_Simple_Return_Statement);
378 function Char_Literal_Value
379 (N : Node_Id) return Uint is
382 or else NT (N).Nkind = N_Character_Literal);
384 end Char_Literal_Value;
387 (N : Node_Id) return Name_Id is
390 or else NT (N).Nkind in N_Has_Chars);
394 function Check_Address_Alignment
395 (N : Node_Id) return Boolean is
398 or else NT (N).Nkind = N_Attribute_Definition_Clause);
400 end Check_Address_Alignment;
402 function Choice_Parameter
403 (N : Node_Id) return Node_Id is
406 or else NT (N).Nkind = N_Exception_Handler);
408 end Choice_Parameter;
411 (N : Node_Id) return List_Id is
414 or else NT (N).Nkind = N_Component_Association);
418 function Class_Present
419 (N : Node_Id) return Boolean is
422 or else NT (N).Nkind = N_Aspect_Specification
423 or else NT (N).Nkind = N_Pragma);
427 function Classifications
428 (N : Node_Id) return Node_Id is
431 or else NT (N).Nkind = N_Contract);
435 function Cleanup_Actions
436 (N : Node_Id) return List_Id is
439 or else NT (N).Nkind = N_Block_Statement);
443 function Comes_From_Extended_Return_Statement
444 (N : Node_Id) return Boolean is
447 or else NT (N).Nkind = N_Simple_Return_Statement);
449 end Comes_From_Extended_Return_Statement;
451 function Compile_Time_Known_Aggregate
452 (N : Node_Id) return Boolean is
455 or else NT (N).Nkind = N_Aggregate);
457 end Compile_Time_Known_Aggregate;
459 function Component_Associations
460 (N : Node_Id) return List_Id is
463 or else NT (N).Nkind = N_Aggregate
464 or else NT (N).Nkind = N_Extension_Aggregate);
466 end Component_Associations;
468 function Component_Clauses
469 (N : Node_Id) return List_Id is
472 or else NT (N).Nkind = N_Record_Representation_Clause);
474 end Component_Clauses;
476 function Component_Definition
477 (N : Node_Id) return Node_Id is
480 or else NT (N).Nkind = N_Component_Declaration
481 or else NT (N).Nkind = N_Constrained_Array_Definition
482 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
484 end Component_Definition;
486 function Component_Items
487 (N : Node_Id) return List_Id is
490 or else NT (N).Nkind = N_Component_List);
494 function Component_List
495 (N : Node_Id) return Node_Id is
498 or else NT (N).Nkind = N_Record_Definition
499 or else NT (N).Nkind = N_Variant);
503 function Component_Name
504 (N : Node_Id) return Node_Id is
507 or else NT (N).Nkind = N_Component_Clause);
511 function Componentwise_Assignment
512 (N : Node_Id) return Boolean is
515 or else NT (N).Nkind = N_Assignment_Statement);
517 end Componentwise_Assignment;
520 (N : Node_Id) return Node_Id is
523 or else NT (N).Nkind = N_Accept_Alternative
524 or else NT (N).Nkind = N_Delay_Alternative
525 or else NT (N).Nkind = N_Elsif_Part
526 or else NT (N).Nkind = N_Entry_Body_Formal_Part
527 or else NT (N).Nkind = N_Exit_Statement
528 or else NT (N).Nkind = N_If_Statement
529 or else NT (N).Nkind = N_Iteration_Scheme
530 or else NT (N).Nkind = N_Quantified_Expression
531 or else NT (N).Nkind = N_Raise_Constraint_Error
532 or else NT (N).Nkind = N_Raise_Program_Error
533 or else NT (N).Nkind = N_Raise_Storage_Error
534 or else NT (N).Nkind = N_Terminate_Alternative);
538 function Condition_Actions
539 (N : Node_Id) return List_Id is
542 or else NT (N).Nkind = N_Elsif_Part
543 or else NT (N).Nkind = N_Iteration_Scheme);
545 end Condition_Actions;
547 function Config_Pragmas
548 (N : Node_Id) return List_Id is
551 or else NT (N).Nkind = N_Compilation_Unit_Aux);
555 function Constant_Present
556 (N : Node_Id) return Boolean is
559 or else NT (N).Nkind = N_Access_Definition
560 or else NT (N).Nkind = N_Access_To_Object_Definition
561 or else NT (N).Nkind = N_Object_Declaration);
563 end Constant_Present;
566 (N : Node_Id) return Node_Id is
569 or else NT (N).Nkind = N_Subtype_Indication);
574 (N : Node_Id) return List_Id is
577 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
581 function Context_Installed
582 (N : Node_Id) return Boolean is
585 or else NT (N).Nkind = N_With_Clause);
587 end Context_Installed;
589 function Context_Items
590 (N : Node_Id) return List_Id is
593 or else NT (N).Nkind = N_Compilation_Unit);
597 function Context_Pending
598 (N : Node_Id) return Boolean is
601 or else NT (N).Nkind = N_Compilation_Unit);
605 function Contract_Test_Cases
606 (N : Node_Id) return Node_Id is
609 or else NT (N).Nkind = N_Contract);
611 end Contract_Test_Cases;
613 function Controlling_Argument
614 (N : Node_Id) return Node_Id is
617 or else NT (N).Nkind = N_Function_Call
618 or else NT (N).Nkind = N_Procedure_Call_Statement);
620 end Controlling_Argument;
622 function Conversion_OK
623 (N : Node_Id) return Boolean is
626 or else NT (N).Nkind = N_Type_Conversion);
630 function Convert_To_Return_False
631 (N : Node_Id) return Boolean is
634 or else NT (N).Nkind = N_Raise_Expression);
636 end Convert_To_Return_False;
638 function Corresponding_Aspect
639 (N : Node_Id) return Node_Id is
642 or else NT (N).Nkind = N_Pragma);
644 end Corresponding_Aspect;
646 function Corresponding_Body
647 (N : Node_Id) return Node_Id is
650 or else NT (N).Nkind = N_Entry_Declaration
651 or else NT (N).Nkind = N_Generic_Package_Declaration
652 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
653 or else NT (N).Nkind = N_Package_Body_Stub
654 or else NT (N).Nkind = N_Package_Declaration
655 or else NT (N).Nkind = N_Protected_Body_Stub
656 or else NT (N).Nkind = N_Protected_Type_Declaration
657 or else NT (N).Nkind = N_Subprogram_Body_Stub
658 or else NT (N).Nkind = N_Subprogram_Declaration
659 or else NT (N).Nkind = N_Task_Body_Stub
660 or else NT (N).Nkind = N_Task_Type_Declaration);
662 end Corresponding_Body;
664 function Corresponding_Formal_Spec
665 (N : Node_Id) return Node_Id is
668 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
670 end Corresponding_Formal_Spec;
672 function Corresponding_Generic_Association
673 (N : Node_Id) return Node_Id is
676 or else NT (N).Nkind = N_Object_Declaration
677 or else NT (N).Nkind = N_Object_Renaming_Declaration);
679 end Corresponding_Generic_Association;
681 function Corresponding_Integer_Value
682 (N : Node_Id) return Uint is
685 or else NT (N).Nkind = N_Real_Literal);
687 end Corresponding_Integer_Value;
689 function Corresponding_Spec
690 (N : Node_Id) return Node_Id is
693 or else NT (N).Nkind = N_Expression_Function
694 or else NT (N).Nkind = N_Package_Body
695 or else NT (N).Nkind = N_Protected_Body
696 or else NT (N).Nkind = N_Subprogram_Body
697 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
698 or else NT (N).Nkind = N_Task_Body
699 or else NT (N).Nkind = N_With_Clause);
701 end Corresponding_Spec;
703 function Corresponding_Spec_Of_Stub
704 (N : Node_Id) return Entity_Id is
707 or else NT (N).Nkind = N_Package_Body_Stub
708 or else NT (N).Nkind = N_Protected_Body_Stub
709 or else NT (N).Nkind = N_Subprogram_Body_Stub
710 or else NT (N).Nkind = N_Task_Body_Stub);
712 end Corresponding_Spec_Of_Stub;
714 function Corresponding_Stub
715 (N : Node_Id) return Node_Id is
718 or else NT (N).Nkind = N_Subunit);
720 end Corresponding_Stub;
722 function Dcheck_Function
723 (N : Node_Id) return Entity_Id is
726 or else NT (N).Nkind = N_Variant);
730 function Declarations
731 (N : Node_Id) return List_Id is
734 or else NT (N).Nkind = N_Accept_Statement
735 or else NT (N).Nkind = N_Block_Statement
736 or else NT (N).Nkind = N_Compilation_Unit_Aux
737 or else NT (N).Nkind = N_Entry_Body
738 or else NT (N).Nkind = N_Package_Body
739 or else NT (N).Nkind = N_Protected_Body
740 or else NT (N).Nkind = N_Subprogram_Body
741 or else NT (N).Nkind = N_Task_Body);
745 function Default_Expression
746 (N : Node_Id) return Node_Id is
749 or else NT (N).Nkind = N_Formal_Object_Declaration
750 or else NT (N).Nkind = N_Parameter_Specification);
752 end Default_Expression;
754 function Default_Storage_Pool
755 (N : Node_Id) return Node_Id is
758 or else NT (N).Nkind = N_Compilation_Unit_Aux);
760 end Default_Storage_Pool;
762 function Default_Name
763 (N : Node_Id) return Node_Id is
766 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
767 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
771 function Defining_Identifier
772 (N : Node_Id) return Entity_Id is
775 or else NT (N).Nkind = N_Component_Declaration
776 or else NT (N).Nkind = N_Defining_Program_Unit_Name
777 or else NT (N).Nkind = N_Discriminant_Specification
778 or else NT (N).Nkind = N_Entry_Body
779 or else NT (N).Nkind = N_Entry_Declaration
780 or else NT (N).Nkind = N_Entry_Index_Specification
781 or else NT (N).Nkind = N_Exception_Declaration
782 or else NT (N).Nkind = N_Exception_Renaming_Declaration
783 or else NT (N).Nkind = N_Formal_Object_Declaration
784 or else NT (N).Nkind = N_Formal_Package_Declaration
785 or else NT (N).Nkind = N_Formal_Type_Declaration
786 or else NT (N).Nkind = N_Full_Type_Declaration
787 or else NT (N).Nkind = N_Implicit_Label_Declaration
788 or else NT (N).Nkind = N_Incomplete_Type_Declaration
789 or else NT (N).Nkind = N_Iterator_Specification
790 or else NT (N).Nkind = N_Loop_Parameter_Specification
791 or else NT (N).Nkind = N_Number_Declaration
792 or else NT (N).Nkind = N_Object_Declaration
793 or else NT (N).Nkind = N_Object_Renaming_Declaration
794 or else NT (N).Nkind = N_Package_Body_Stub
795 or else NT (N).Nkind = N_Parameter_Specification
796 or else NT (N).Nkind = N_Private_Extension_Declaration
797 or else NT (N).Nkind = N_Private_Type_Declaration
798 or else NT (N).Nkind = N_Protected_Body
799 or else NT (N).Nkind = N_Protected_Body_Stub
800 or else NT (N).Nkind = N_Protected_Type_Declaration
801 or else NT (N).Nkind = N_Single_Protected_Declaration
802 or else NT (N).Nkind = N_Single_Task_Declaration
803 or else NT (N).Nkind = N_Subtype_Declaration
804 or else NT (N).Nkind = N_Task_Body
805 or else NT (N).Nkind = N_Task_Body_Stub
806 or else NT (N).Nkind = N_Task_Type_Declaration);
808 end Defining_Identifier;
810 function Defining_Unit_Name
811 (N : Node_Id) return Node_Id is
814 or else NT (N).Nkind = N_Function_Instantiation
815 or else NT (N).Nkind = N_Function_Specification
816 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
817 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
818 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
819 or else NT (N).Nkind = N_Package_Body
820 or else NT (N).Nkind = N_Package_Instantiation
821 or else NT (N).Nkind = N_Package_Renaming_Declaration
822 or else NT (N).Nkind = N_Package_Specification
823 or else NT (N).Nkind = N_Procedure_Instantiation
824 or else NT (N).Nkind = N_Procedure_Specification);
826 end Defining_Unit_Name;
828 function Delay_Alternative
829 (N : Node_Id) return Node_Id is
832 or else NT (N).Nkind = N_Timed_Entry_Call);
834 end Delay_Alternative;
836 function Delay_Statement
837 (N : Node_Id) return Node_Id is
840 or else NT (N).Nkind = N_Delay_Alternative);
844 function Delta_Expression
845 (N : Node_Id) return Node_Id is
848 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
849 or else NT (N).Nkind = N_Delta_Constraint
850 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
852 end Delta_Expression;
854 function Digits_Expression
855 (N : Node_Id) return Node_Id is
858 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
859 or else NT (N).Nkind = N_Digits_Constraint
860 or else NT (N).Nkind = N_Floating_Point_Definition);
862 end Digits_Expression;
864 function Discr_Check_Funcs_Built
865 (N : Node_Id) return Boolean is
868 or else NT (N).Nkind = N_Full_Type_Declaration);
870 end Discr_Check_Funcs_Built;
872 function Discrete_Choices
873 (N : Node_Id) return List_Id is
876 or else NT (N).Nkind = N_Case_Expression_Alternative
877 or else NT (N).Nkind = N_Case_Statement_Alternative
878 or else NT (N).Nkind = N_Variant);
880 end Discrete_Choices;
882 function Discrete_Range
883 (N : Node_Id) return Node_Id is
886 or else NT (N).Nkind = N_Slice);
890 function Discrete_Subtype_Definition
891 (N : Node_Id) return Node_Id is
894 or else NT (N).Nkind = N_Entry_Declaration
895 or else NT (N).Nkind = N_Entry_Index_Specification
896 or else NT (N).Nkind = N_Loop_Parameter_Specification);
898 end Discrete_Subtype_Definition;
900 function Discrete_Subtype_Definitions
901 (N : Node_Id) return List_Id is
904 or else NT (N).Nkind = N_Constrained_Array_Definition);
906 end Discrete_Subtype_Definitions;
908 function Discriminant_Specifications
909 (N : Node_Id) return List_Id is
912 or else NT (N).Nkind = N_Formal_Type_Declaration
913 or else NT (N).Nkind = N_Full_Type_Declaration
914 or else NT (N).Nkind = N_Incomplete_Type_Declaration
915 or else NT (N).Nkind = N_Private_Extension_Declaration
916 or else NT (N).Nkind = N_Private_Type_Declaration
917 or else NT (N).Nkind = N_Protected_Type_Declaration
918 or else NT (N).Nkind = N_Task_Type_Declaration);
920 end Discriminant_Specifications;
922 function Discriminant_Type
923 (N : Node_Id) return Node_Id is
926 or else NT (N).Nkind = N_Discriminant_Specification);
928 end Discriminant_Type;
930 function Do_Accessibility_Check
931 (N : Node_Id) return Boolean is
934 or else NT (N).Nkind = N_Parameter_Specification);
936 end Do_Accessibility_Check;
938 function Do_Discriminant_Check
939 (N : Node_Id) return Boolean is
942 or else NT (N).Nkind = N_Assignment_Statement
943 or else NT (N).Nkind = N_Selected_Component
944 or else NT (N).Nkind = N_Type_Conversion);
946 end Do_Discriminant_Check;
948 function Do_Division_Check
949 (N : Node_Id) return Boolean is
952 or else NT (N).Nkind = N_Op_Divide
953 or else NT (N).Nkind = N_Op_Mod
954 or else NT (N).Nkind = N_Op_Rem);
956 end Do_Division_Check;
958 function Do_Length_Check
959 (N : Node_Id) return Boolean is
962 or else NT (N).Nkind = N_Assignment_Statement
963 or else NT (N).Nkind = N_Op_And
964 or else NT (N).Nkind = N_Op_Or
965 or else NT (N).Nkind = N_Op_Xor
966 or else NT (N).Nkind = N_Type_Conversion);
970 function Do_Overflow_Check
971 (N : Node_Id) return Boolean is
974 or else NT (N).Nkind in N_Op
975 or else NT (N).Nkind = N_Attribute_Reference
976 or else NT (N).Nkind = N_Case_Expression
977 or else NT (N).Nkind = N_If_Expression
978 or else NT (N).Nkind = N_Type_Conversion);
980 end Do_Overflow_Check;
982 function Do_Range_Check
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind in N_Subexpr);
990 function Do_Storage_Check
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_Allocator
995 or else NT (N).Nkind = N_Subprogram_Body);
997 end Do_Storage_Check;
999 function Do_Tag_Check
1000 (N : Node_Id) return Boolean is
1002 pragma Assert (False
1003 or else NT (N).Nkind = N_Assignment_Statement
1004 or else NT (N).Nkind = N_Extended_Return_Statement
1005 or else NT (N).Nkind = N_Function_Call
1006 or else NT (N).Nkind = N_Procedure_Call_Statement
1007 or else NT (N).Nkind = N_Simple_Return_Statement
1008 or else NT (N).Nkind = N_Type_Conversion);
1012 function Elaborate_All_Desirable
1013 (N : Node_Id) return Boolean is
1015 pragma Assert (False
1016 or else NT (N).Nkind = N_With_Clause);
1018 end Elaborate_All_Desirable;
1020 function Elaborate_All_Present
1021 (N : Node_Id) return Boolean is
1023 pragma Assert (False
1024 or else NT (N).Nkind = N_With_Clause);
1026 end Elaborate_All_Present;
1028 function Elaborate_Desirable
1029 (N : Node_Id) return Boolean is
1031 pragma Assert (False
1032 or else NT (N).Nkind = N_With_Clause);
1034 end Elaborate_Desirable;
1036 function Elaborate_Present
1037 (N : Node_Id) return Boolean is
1039 pragma Assert (False
1040 or else NT (N).Nkind = N_With_Clause);
1042 end Elaborate_Present;
1044 function Elaboration_Boolean
1045 (N : Node_Id) return Node_Id is
1047 pragma Assert (False
1048 or else NT (N).Nkind = N_Function_Specification
1049 or else NT (N).Nkind = N_Procedure_Specification);
1051 end Elaboration_Boolean;
1053 function Else_Actions
1054 (N : Node_Id) return List_Id is
1056 pragma Assert (False
1057 or else NT (N).Nkind = N_If_Expression);
1061 function Else_Statements
1062 (N : Node_Id) return List_Id is
1064 pragma Assert (False
1065 or else NT (N).Nkind = N_Conditional_Entry_Call
1066 or else NT (N).Nkind = N_If_Statement
1067 or else NT (N).Nkind = N_Selective_Accept);
1069 end Else_Statements;
1071 function Elsif_Parts
1072 (N : Node_Id) return List_Id is
1074 pragma Assert (False
1075 or else NT (N).Nkind = N_If_Statement);
1079 function Enclosing_Variant
1080 (N : Node_Id) return Node_Id is
1082 pragma Assert (False
1083 or else NT (N).Nkind = N_Variant);
1085 end Enclosing_Variant;
1088 (N : Node_Id) return Node_Id is
1090 pragma Assert (False
1091 or else NT (N).Nkind = N_Enumeration_Type_Definition
1092 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1093 or else NT (N).Nkind = N_Loop_Statement
1094 or else NT (N).Nkind = N_Package_Specification
1095 or else NT (N).Nkind = N_Protected_Body
1096 or else NT (N).Nkind = N_Protected_Definition
1097 or else NT (N).Nkind = N_Record_Definition
1098 or else NT (N).Nkind = N_Task_Definition);
1103 (N : Node_Id) return Uint is
1105 pragma Assert (False
1106 or else NT (N).Nkind = N_Case_Statement
1107 or else NT (N).Nkind = N_If_Statement);
1112 (N : Node_Id) return Node_Id is
1114 pragma Assert (False
1115 or else NT (N).Nkind in N_Has_Entity
1116 or else NT (N).Nkind = N_Aspect_Specification
1117 or else NT (N).Nkind = N_Attribute_Definition_Clause
1118 or else NT (N).Nkind = N_Freeze_Entity
1119 or else NT (N).Nkind = N_Freeze_Generic_Entity);
1123 function Entity_Or_Associated_Node
1124 (N : Node_Id) return Node_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind in N_Has_Entity
1128 or else NT (N).Nkind = N_Freeze_Entity);
1130 end Entity_Or_Associated_Node;
1132 function Entry_Body_Formal_Part
1133 (N : Node_Id) return Node_Id is
1135 pragma Assert (False
1136 or else NT (N).Nkind = N_Entry_Body);
1138 end Entry_Body_Formal_Part;
1140 function Entry_Call_Alternative
1141 (N : Node_Id) return Node_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Conditional_Entry_Call
1145 or else NT (N).Nkind = N_Timed_Entry_Call);
1147 end Entry_Call_Alternative;
1149 function Entry_Call_Statement
1150 (N : Node_Id) return Node_Id is
1152 pragma Assert (False
1153 or else NT (N).Nkind = N_Entry_Call_Alternative);
1155 end Entry_Call_Statement;
1157 function Entry_Direct_Name
1158 (N : Node_Id) return Node_Id is
1160 pragma Assert (False
1161 or else NT (N).Nkind = N_Accept_Statement);
1163 end Entry_Direct_Name;
1165 function Entry_Index
1166 (N : Node_Id) return Node_Id is
1168 pragma Assert (False
1169 or else NT (N).Nkind = N_Accept_Statement);
1173 function Entry_Index_Specification
1174 (N : Node_Id) return Node_Id is
1176 pragma Assert (False
1177 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1179 end Entry_Index_Specification;
1182 (N : Node_Id) return Node_Id is
1184 pragma Assert (False
1185 or else NT (N).Nkind in N_Has_Etype);
1189 function Exception_Choices
1190 (N : Node_Id) return List_Id is
1192 pragma Assert (False
1193 or else NT (N).Nkind = N_Exception_Handler);
1195 end Exception_Choices;
1197 function Exception_Handlers
1198 (N : Node_Id) return List_Id is
1200 pragma Assert (False
1201 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1203 end Exception_Handlers;
1205 function Exception_Junk
1206 (N : Node_Id) return Boolean is
1208 pragma Assert (False
1209 or else NT (N).Nkind = N_Block_Statement
1210 or else NT (N).Nkind = N_Goto_Statement
1211 or else NT (N).Nkind = N_Label
1212 or else NT (N).Nkind = N_Object_Declaration
1213 or else NT (N).Nkind = N_Subtype_Declaration);
1217 function Exception_Label
1218 (N : Node_Id) return Node_Id is
1220 pragma Assert (False
1221 or else NT (N).Nkind = N_Exception_Handler
1222 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1223 or else NT (N).Nkind = N_Push_Program_Error_Label
1224 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1226 end Exception_Label;
1228 function Expansion_Delayed
1229 (N : Node_Id) return Boolean is
1231 pragma Assert (False
1232 or else NT (N).Nkind = N_Aggregate
1233 or else NT (N).Nkind = N_Extension_Aggregate);
1235 end Expansion_Delayed;
1237 function Explicit_Actual_Parameter
1238 (N : Node_Id) return Node_Id is
1240 pragma Assert (False
1241 or else NT (N).Nkind = N_Parameter_Association);
1243 end Explicit_Actual_Parameter;
1245 function Explicit_Generic_Actual_Parameter
1246 (N : Node_Id) return Node_Id is
1248 pragma Assert (False
1249 or else NT (N).Nkind = N_Generic_Association);
1251 end Explicit_Generic_Actual_Parameter;
1254 (N : Node_Id) return Node_Id is
1256 pragma Assert (False
1257 or else NT (N).Nkind = N_Allocator
1258 or else NT (N).Nkind = N_Aspect_Specification
1259 or else NT (N).Nkind = N_Assignment_Statement
1260 or else NT (N).Nkind = N_At_Clause
1261 or else NT (N).Nkind = N_Attribute_Definition_Clause
1262 or else NT (N).Nkind = N_Case_Expression
1263 or else NT (N).Nkind = N_Case_Expression_Alternative
1264 or else NT (N).Nkind = N_Case_Statement
1265 or else NT (N).Nkind = N_Code_Statement
1266 or else NT (N).Nkind = N_Component_Association
1267 or else NT (N).Nkind = N_Component_Declaration
1268 or else NT (N).Nkind = N_Delay_Relative_Statement
1269 or else NT (N).Nkind = N_Delay_Until_Statement
1270 or else NT (N).Nkind = N_Discriminant_Association
1271 or else NT (N).Nkind = N_Discriminant_Specification
1272 or else NT (N).Nkind = N_Exception_Declaration
1273 or else NT (N).Nkind = N_Expression_Function
1274 or else NT (N).Nkind = N_Expression_With_Actions
1275 or else NT (N).Nkind = N_Free_Statement
1276 or else NT (N).Nkind = N_Mod_Clause
1277 or else NT (N).Nkind = N_Modular_Type_Definition
1278 or else NT (N).Nkind = N_Number_Declaration
1279 or else NT (N).Nkind = N_Object_Declaration
1280 or else NT (N).Nkind = N_Parameter_Specification
1281 or else NT (N).Nkind = N_Pragma_Argument_Association
1282 or else NT (N).Nkind = N_Qualified_Expression
1283 or else NT (N).Nkind = N_Raise_Expression
1284 or else NT (N).Nkind = N_Raise_Statement
1285 or else NT (N).Nkind = N_Simple_Return_Statement
1286 or else NT (N).Nkind = N_Type_Conversion
1287 or else NT (N).Nkind = N_Unchecked_Expression
1288 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1292 function Expressions
1293 (N : Node_Id) return List_Id is
1295 pragma Assert (False
1296 or else NT (N).Nkind = N_Aggregate
1297 or else NT (N).Nkind = N_Attribute_Reference
1298 or else NT (N).Nkind = N_Extension_Aggregate
1299 or else NT (N).Nkind = N_If_Expression
1300 or else NT (N).Nkind = N_Indexed_Component);
1305 (N : Node_Id) return Node_Id is
1307 pragma Assert (False
1308 or else NT (N).Nkind = N_Component_Clause);
1312 function First_Inlined_Subprogram
1313 (N : Node_Id) return Entity_Id is
1315 pragma Assert (False
1316 or else NT (N).Nkind = N_Compilation_Unit);
1318 end First_Inlined_Subprogram;
1321 (N : Node_Id) return Boolean is
1323 pragma Assert (False
1324 or else NT (N).Nkind = N_With_Clause);
1328 function First_Named_Actual
1329 (N : Node_Id) return Node_Id is
1331 pragma Assert (False
1332 or else NT (N).Nkind = N_Entry_Call_Statement
1333 or else NT (N).Nkind = N_Function_Call
1334 or else NT (N).Nkind = N_Procedure_Call_Statement);
1336 end First_Named_Actual;
1338 function First_Real_Statement
1339 (N : Node_Id) return Node_Id is
1341 pragma Assert (False
1342 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1344 end First_Real_Statement;
1346 function First_Subtype_Link
1347 (N : Node_Id) return Entity_Id is
1349 pragma Assert (False
1350 or else NT (N).Nkind = N_Freeze_Entity);
1352 end First_Subtype_Link;
1354 function Float_Truncate
1355 (N : Node_Id) return Boolean is
1357 pragma Assert (False
1358 or else NT (N).Nkind = N_Type_Conversion);
1362 function Formal_Type_Definition
1363 (N : Node_Id) return Node_Id is
1365 pragma Assert (False
1366 or else NT (N).Nkind = N_Formal_Type_Declaration);
1368 end Formal_Type_Definition;
1370 function Forwards_OK
1371 (N : Node_Id) return Boolean is
1373 pragma Assert (False
1374 or else NT (N).Nkind = N_Assignment_Statement);
1378 function From_Aspect_Specification
1379 (N : Node_Id) return Boolean is
1381 pragma Assert (False
1382 or else NT (N).Nkind = N_Attribute_Definition_Clause
1383 or else NT (N).Nkind = N_Pragma);
1385 end From_Aspect_Specification;
1387 function From_At_End
1388 (N : Node_Id) return Boolean is
1390 pragma Assert (False
1391 or else NT (N).Nkind = N_Raise_Statement);
1395 function From_At_Mod
1396 (N : Node_Id) return Boolean is
1398 pragma Assert (False
1399 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1403 function From_Conditional_Expression
1404 (N : Node_Id) return Boolean is
1406 pragma Assert (False
1407 or else NT (N).Nkind = N_Case_Statement
1408 or else NT (N).Nkind = N_If_Statement);
1410 end From_Conditional_Expression;
1412 function From_Default
1413 (N : Node_Id) return Boolean is
1415 pragma Assert (False
1416 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1420 function Generalized_Indexing
1421 (N : Node_Id) return Node_Id is
1423 pragma Assert (False
1424 or else NT (N).Nkind = N_Indexed_Component);
1426 end Generalized_Indexing;
1428 function Generic_Associations
1429 (N : Node_Id) return List_Id is
1431 pragma Assert (False
1432 or else NT (N).Nkind = N_Formal_Package_Declaration
1433 or else NT (N).Nkind = N_Function_Instantiation
1434 or else NT (N).Nkind = N_Package_Instantiation
1435 or else NT (N).Nkind = N_Procedure_Instantiation);
1437 end Generic_Associations;
1439 function Generic_Formal_Declarations
1440 (N : Node_Id) return List_Id is
1442 pragma Assert (False
1443 or else NT (N).Nkind = N_Generic_Package_Declaration
1444 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1446 end Generic_Formal_Declarations;
1448 function Generic_Parent
1449 (N : Node_Id) return Node_Id is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Function_Specification
1453 or else NT (N).Nkind = N_Package_Specification
1454 or else NT (N).Nkind = N_Procedure_Specification);
1458 function Generic_Parent_Type
1459 (N : Node_Id) return Node_Id is
1461 pragma Assert (False
1462 or else NT (N).Nkind = N_Subtype_Declaration);
1464 end Generic_Parent_Type;
1466 function Handled_Statement_Sequence
1467 (N : Node_Id) return Node_Id is
1469 pragma Assert (False
1470 or else NT (N).Nkind = N_Accept_Statement
1471 or else NT (N).Nkind = N_Block_Statement
1472 or else NT (N).Nkind = N_Entry_Body
1473 or else NT (N).Nkind = N_Extended_Return_Statement
1474 or else NT (N).Nkind = N_Package_Body
1475 or else NT (N).Nkind = N_Subprogram_Body
1476 or else NT (N).Nkind = N_Task_Body);
1478 end Handled_Statement_Sequence;
1480 function Handler_List_Entry
1481 (N : Node_Id) return Node_Id is
1483 pragma Assert (False
1484 or else NT (N).Nkind = N_Object_Declaration);
1486 end Handler_List_Entry;
1488 function Has_Created_Identifier
1489 (N : Node_Id) return Boolean is
1491 pragma Assert (False
1492 or else NT (N).Nkind = N_Block_Statement
1493 or else NT (N).Nkind = N_Loop_Statement);
1495 end Has_Created_Identifier;
1497 function Has_Dereference_Action
1498 (N : Node_Id) return Boolean is
1500 pragma Assert (False
1501 or else NT (N).Nkind = N_Explicit_Dereference);
1503 end Has_Dereference_Action;
1505 function Has_Dynamic_Length_Check
1506 (N : Node_Id) return Boolean is
1508 pragma Assert (False
1509 or else NT (N).Nkind in N_Subexpr);
1511 end Has_Dynamic_Length_Check;
1513 function Has_Dynamic_Range_Check
1514 (N : Node_Id) return Boolean is
1516 pragma Assert (False
1517 or else NT (N).Nkind = N_Subtype_Declaration
1518 or else NT (N).Nkind in N_Subexpr);
1520 end Has_Dynamic_Range_Check;
1522 function Has_Init_Expression
1523 (N : Node_Id) return Boolean is
1525 pragma Assert (False
1526 or else NT (N).Nkind = N_Object_Declaration);
1528 end Has_Init_Expression;
1530 function Has_Local_Raise
1531 (N : Node_Id) return Boolean is
1533 pragma Assert (False
1534 or else NT (N).Nkind = N_Exception_Handler);
1536 end Has_Local_Raise;
1538 function Has_No_Elaboration_Code
1539 (N : Node_Id) return Boolean is
1541 pragma Assert (False
1542 or else NT (N).Nkind = N_Compilation_Unit);
1544 end Has_No_Elaboration_Code;
1546 function Has_Pragma_Suppress_All
1547 (N : Node_Id) return Boolean is
1549 pragma Assert (False
1550 or else NT (N).Nkind = N_Compilation_Unit);
1552 end Has_Pragma_Suppress_All;
1554 function Has_Private_View
1555 (N : Node_Id) return Boolean is
1557 pragma Assert (False
1558 or else NT (N).Nkind in N_Op
1559 or else NT (N).Nkind = N_Character_Literal
1560 or else NT (N).Nkind = N_Expanded_Name
1561 or else NT (N).Nkind = N_Identifier
1562 or else NT (N).Nkind = N_Operator_Symbol);
1564 end Has_Private_View;
1566 function Has_Relative_Deadline_Pragma
1567 (N : Node_Id) return Boolean is
1569 pragma Assert (False
1570 or else NT (N).Nkind = N_Subprogram_Body
1571 or else NT (N).Nkind = N_Task_Definition);
1573 end Has_Relative_Deadline_Pragma;
1575 function Has_Self_Reference
1576 (N : Node_Id) return Boolean is
1578 pragma Assert (False
1579 or else NT (N).Nkind = N_Aggregate
1580 or else NT (N).Nkind = N_Extension_Aggregate);
1582 end Has_Self_Reference;
1584 function Has_SP_Choice
1585 (N : Node_Id) return Boolean is
1587 pragma Assert (False
1588 or else NT (N).Nkind = N_Case_Expression_Alternative
1589 or else NT (N).Nkind = N_Case_Statement_Alternative
1590 or else NT (N).Nkind = N_Variant);
1594 function Has_Storage_Size_Pragma
1595 (N : Node_Id) return Boolean is
1597 pragma Assert (False
1598 or else NT (N).Nkind = N_Task_Definition);
1600 end Has_Storage_Size_Pragma;
1602 function Has_Wide_Character
1603 (N : Node_Id) return Boolean is
1605 pragma Assert (False
1606 or else NT (N).Nkind = N_String_Literal);
1608 end Has_Wide_Character;
1610 function Has_Wide_Wide_Character
1611 (N : Node_Id) return Boolean is
1613 pragma Assert (False
1614 or else NT (N).Nkind = N_String_Literal);
1616 end Has_Wide_Wide_Character;
1618 function Header_Size_Added
1619 (N : Node_Id) return Boolean is
1621 pragma Assert (False
1622 or else NT (N).Nkind = N_Attribute_Reference);
1624 end Header_Size_Added;
1626 function Hidden_By_Use_Clause
1627 (N : Node_Id) return Elist_Id is
1629 pragma Assert (False
1630 or else NT (N).Nkind = N_Use_Package_Clause
1631 or else NT (N).Nkind = N_Use_Type_Clause);
1633 end Hidden_By_Use_Clause;
1636 (N : Node_Id) return Node_Id is
1638 pragma Assert (False
1639 or else NT (N).Nkind = N_Range
1640 or else NT (N).Nkind = N_Real_Range_Specification
1641 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1646 (N : Node_Id) return Node_Id is
1648 pragma Assert (False
1649 or else NT (N).Nkind = N_Aspect_Specification
1650 or else NT (N).Nkind = N_At_Clause
1651 or else NT (N).Nkind = N_Block_Statement
1652 or else NT (N).Nkind = N_Designator
1653 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1654 or else NT (N).Nkind = N_Label
1655 or else NT (N).Nkind = N_Loop_Statement
1656 or else NT (N).Nkind = N_Record_Representation_Clause);
1660 function Implicit_With
1661 (N : Node_Id) return Boolean is
1663 pragma Assert (False
1664 or else NT (N).Nkind = N_With_Clause);
1668 function Implicit_With_From_Instantiation
1669 (N : Node_Id) return Boolean is
1671 pragma Assert (False
1672 or else NT (N).Nkind = N_With_Clause);
1674 end Implicit_With_From_Instantiation;
1676 function Interface_List
1677 (N : Node_Id) return List_Id is
1679 pragma Assert (False
1680 or else NT (N).Nkind = N_Derived_Type_Definition
1681 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1682 or else NT (N).Nkind = N_Private_Extension_Declaration
1683 or else NT (N).Nkind = N_Protected_Type_Declaration
1684 or else NT (N).Nkind = N_Record_Definition
1685 or else NT (N).Nkind = N_Single_Protected_Declaration
1686 or else NT (N).Nkind = N_Single_Task_Declaration
1687 or else NT (N).Nkind = N_Task_Type_Declaration);
1691 function Interface_Present
1692 (N : Node_Id) return Boolean is
1694 pragma Assert (False
1695 or else NT (N).Nkind = N_Derived_Type_Definition
1696 or else NT (N).Nkind = N_Record_Definition);
1698 end Interface_Present;
1700 function Import_Interface_Present
1701 (N : Node_Id) return Boolean is
1703 pragma Assert (False
1704 or else NT (N).Nkind = N_Pragma);
1706 end Import_Interface_Present;
1709 (N : Node_Id) return Boolean is
1711 pragma Assert (False
1712 or else NT (N).Nkind = N_Formal_Object_Declaration
1713 or else NT (N).Nkind = N_Parameter_Specification);
1717 function Includes_Infinities
1718 (N : Node_Id) return Boolean is
1720 pragma Assert (False
1721 or else NT (N).Nkind = N_Range);
1723 end Includes_Infinities;
1725 function Incomplete_View
1726 (N : Node_Id) return Node_Id is
1728 pragma Assert (False
1729 or else NT (N).Nkind = N_Full_Type_Declaration);
1731 end Incomplete_View;
1733 function Inherited_Discriminant
1734 (N : Node_Id) return Boolean is
1736 pragma Assert (False
1737 or else NT (N).Nkind = N_Component_Association);
1739 end Inherited_Discriminant;
1741 function Instance_Spec
1742 (N : Node_Id) return Node_Id is
1744 pragma Assert (False
1745 or else NT (N).Nkind = N_Formal_Package_Declaration
1746 or else NT (N).Nkind = N_Function_Instantiation
1747 or else NT (N).Nkind = N_Package_Instantiation
1748 or else NT (N).Nkind = N_Procedure_Instantiation);
1753 (N : Node_Id) return Uint is
1755 pragma Assert (False
1756 or else NT (N).Nkind = N_Integer_Literal);
1760 function Is_Accessibility_Actual
1761 (N : Node_Id) return Boolean is
1763 pragma Assert (False
1764 or else NT (N).Nkind = N_Parameter_Association);
1766 end Is_Accessibility_Actual;
1768 function Is_Asynchronous_Call_Block
1769 (N : Node_Id) return Boolean is
1771 pragma Assert (False
1772 or else NT (N).Nkind = N_Block_Statement);
1774 end Is_Asynchronous_Call_Block;
1776 function Is_Boolean_Aspect
1777 (N : Node_Id) return Boolean is
1779 pragma Assert (False
1780 or else NT (N).Nkind = N_Aspect_Specification);
1782 end Is_Boolean_Aspect;
1785 (N : Node_Id) return Boolean is
1787 pragma Assert (False
1788 or else NT (N).Nkind = N_Aspect_Specification
1789 or else NT (N).Nkind = N_Pragma);
1793 function Is_Component_Left_Opnd
1794 (N : Node_Id) return Boolean is
1796 pragma Assert (False
1797 or else NT (N).Nkind = N_Op_Concat);
1799 end Is_Component_Left_Opnd;
1801 function Is_Component_Right_Opnd
1802 (N : Node_Id) return Boolean is
1804 pragma Assert (False
1805 or else NT (N).Nkind = N_Op_Concat);
1807 end Is_Component_Right_Opnd;
1809 function Is_Controlling_Actual
1810 (N : Node_Id) return Boolean is
1812 pragma Assert (False
1813 or else NT (N).Nkind in N_Subexpr);
1815 end Is_Controlling_Actual;
1817 function Is_Disabled
1818 (N : Node_Id) return Boolean is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_Aspect_Specification
1822 or else NT (N).Nkind = N_Pragma);
1826 function Is_Delayed_Aspect
1827 (N : Node_Id) return Boolean is
1829 pragma Assert (False
1830 or else NT (N).Nkind = N_Aspect_Specification
1831 or else NT (N).Nkind = N_Attribute_Definition_Clause
1832 or else NT (N).Nkind = N_Pragma);
1834 end Is_Delayed_Aspect;
1836 function Is_Dynamic_Coextension
1837 (N : Node_Id) return Boolean is
1839 pragma Assert (False
1840 or else NT (N).Nkind = N_Allocator);
1842 end Is_Dynamic_Coextension;
1845 (N : Node_Id) return Boolean is
1847 pragma Assert (False
1848 or else NT (N).Nkind = N_If_Expression);
1852 function Is_Entry_Barrier_Function
1853 (N : Node_Id) return Boolean is
1855 pragma Assert (False
1856 or else NT (N).Nkind = N_Subprogram_Body);
1858 end Is_Entry_Barrier_Function;
1860 function Is_Expanded_Build_In_Place_Call
1861 (N : Node_Id) return Boolean is
1863 pragma Assert (False
1864 or else NT (N).Nkind = N_Function_Call);
1866 end Is_Expanded_Build_In_Place_Call;
1868 function Is_Finalization_Wrapper
1869 (N : Node_Id) return Boolean is
1871 pragma Assert (False
1872 or else NT (N).Nkind = N_Block_Statement);
1874 end Is_Finalization_Wrapper;
1876 function Is_Folded_In_Parser
1877 (N : Node_Id) return Boolean is
1879 pragma Assert (False
1880 or else NT (N).Nkind = N_String_Literal);
1882 end Is_Folded_In_Parser;
1885 (N : Node_Id) return Boolean is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Aspect_Specification
1889 or else NT (N).Nkind = N_Pragma);
1893 function Is_In_Discriminant_Check
1894 (N : Node_Id) return Boolean is
1896 pragma Assert (False
1897 or else NT (N).Nkind = N_Selected_Component);
1899 end Is_In_Discriminant_Check;
1901 function Is_Machine_Number
1902 (N : Node_Id) return Boolean is
1904 pragma Assert (False
1905 or else NT (N).Nkind = N_Real_Literal);
1907 end Is_Machine_Number;
1909 function Is_Null_Loop
1910 (N : Node_Id) return Boolean is
1912 pragma Assert (False
1913 or else NT (N).Nkind = N_Loop_Statement);
1917 function Is_Overloaded
1918 (N : Node_Id) return Boolean is
1920 pragma Assert (False
1921 or else NT (N).Nkind in N_Subexpr);
1925 function Is_Power_Of_2_For_Shift
1926 (N : Node_Id) return Boolean is
1928 pragma Assert (False
1929 or else NT (N).Nkind = N_Op_Expon);
1931 end Is_Power_Of_2_For_Shift;
1933 function Is_Prefixed_Call
1934 (N : Node_Id) return Boolean is
1936 pragma Assert (False
1937 or else NT (N).Nkind = N_Selected_Component);
1939 end Is_Prefixed_Call;
1941 function Is_Protected_Subprogram_Body
1942 (N : Node_Id) return Boolean is
1944 pragma Assert (False
1945 or else NT (N).Nkind = N_Subprogram_Body);
1947 end Is_Protected_Subprogram_Body;
1949 function Is_Static_Coextension
1950 (N : Node_Id) return Boolean is
1952 pragma Assert (False
1953 or else NT (N).Nkind = N_Allocator);
1955 end Is_Static_Coextension;
1957 function Is_Static_Expression
1958 (N : Node_Id) return Boolean is
1960 pragma Assert (False
1961 or else NT (N).Nkind in N_Subexpr);
1963 end Is_Static_Expression;
1965 function Is_Subprogram_Descriptor
1966 (N : Node_Id) return Boolean is
1968 pragma Assert (False
1969 or else NT (N).Nkind = N_Object_Declaration);
1971 end Is_Subprogram_Descriptor;
1973 function Is_Task_Allocation_Block
1974 (N : Node_Id) return Boolean is
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Block_Statement);
1979 end Is_Task_Allocation_Block;
1981 function Is_Task_Master
1982 (N : Node_Id) return Boolean is
1984 pragma Assert (False
1985 or else NT (N).Nkind = N_Block_Statement
1986 or else NT (N).Nkind = N_Subprogram_Body
1987 or else NT (N).Nkind = N_Task_Body);
1991 function Iteration_Scheme
1992 (N : Node_Id) return Node_Id is
1994 pragma Assert (False
1995 or else NT (N).Nkind = N_Loop_Statement);
1997 end Iteration_Scheme;
1999 function Iterator_Specification
2000 (N : Node_Id) return Node_Id is
2002 pragma Assert (False
2003 or else NT (N).Nkind = N_Iteration_Scheme
2004 or else NT (N).Nkind = N_Quantified_Expression);
2006 end Iterator_Specification;
2009 (N : Node_Id) return Node_Id is
2011 pragma Assert (False
2012 or else NT (N).Nkind = N_Itype_Reference);
2016 function Kill_Range_Check
2017 (N : Node_Id) return Boolean is
2019 pragma Assert (False
2020 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2022 end Kill_Range_Check;
2024 function Label_Construct
2025 (N : Node_Id) return Node_Id is
2027 pragma Assert (False
2028 or else NT (N).Nkind = N_Implicit_Label_Declaration);
2030 end Label_Construct;
2033 (N : Node_Id) return Node_Id is
2035 pragma Assert (False
2036 or else NT (N).Nkind = N_Component_Clause);
2041 (N : Node_Id) return Boolean is
2043 pragma Assert (False
2044 or else NT (N).Nkind = N_With_Clause);
2049 (N : Node_Id) return Node_Id is
2051 pragma Assert (False
2052 or else NT (N).Nkind = N_And_Then
2053 or else NT (N).Nkind = N_In
2054 or else NT (N).Nkind = N_Not_In
2055 or else NT (N).Nkind = N_Or_Else
2056 or else NT (N).Nkind in N_Binary_Op);
2060 function Library_Unit
2061 (N : Node_Id) return Node_Id is
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Compilation_Unit
2065 or else NT (N).Nkind = N_Package_Body_Stub
2066 or else NT (N).Nkind = N_Protected_Body_Stub
2067 or else NT (N).Nkind = N_Subprogram_Body_Stub
2068 or else NT (N).Nkind = N_Task_Body_Stub
2069 or else NT (N).Nkind = N_With_Clause);
2073 function Limited_View_Installed
2074 (N : Node_Id) return Boolean is
2076 pragma Assert (False
2077 or else NT (N).Nkind = N_Package_Specification
2078 or else NT (N).Nkind = N_With_Clause);
2080 end Limited_View_Installed;
2082 function Limited_Present
2083 (N : Node_Id) return Boolean is
2085 pragma Assert (False
2086 or else NT (N).Nkind = N_Derived_Type_Definition
2087 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2088 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2089 or else NT (N).Nkind = N_Private_Extension_Declaration
2090 or else NT (N).Nkind = N_Private_Type_Declaration
2091 or else NT (N).Nkind = N_Record_Definition
2092 or else NT (N).Nkind = N_With_Clause);
2094 end Limited_Present;
2097 (N : Node_Id) return List_Id is
2099 pragma Assert (False
2100 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2104 function Local_Raise_Not_OK
2105 (N : Node_Id) return Boolean is
2107 pragma Assert (False
2108 or else NT (N).Nkind = N_Exception_Handler);
2110 end Local_Raise_Not_OK;
2112 function Local_Raise_Statements
2113 (N : Node_Id) return Elist_Id is
2115 pragma Assert (False
2116 or else NT (N).Nkind = N_Exception_Handler);
2118 end Local_Raise_Statements;
2120 function Loop_Actions
2121 (N : Node_Id) return List_Id is
2123 pragma Assert (False
2124 or else NT (N).Nkind = N_Component_Association);
2128 function Loop_Parameter_Specification
2129 (N : Node_Id) return Node_Id is
2131 pragma Assert (False
2132 or else NT (N).Nkind = N_Iteration_Scheme
2133 or else NT (N).Nkind = N_Quantified_Expression);
2135 end Loop_Parameter_Specification;
2138 (N : Node_Id) return Node_Id is
2140 pragma Assert (False
2141 or else NT (N).Nkind = N_Range
2142 or else NT (N).Nkind = N_Real_Range_Specification
2143 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2148 (N : Node_Id) return Node_Id is
2150 pragma Assert (False
2151 or else NT (N).Nkind = N_Record_Representation_Clause);
2156 (N : Node_Id) return Boolean is
2158 pragma Assert (False
2159 or else NT (N).Nkind = N_Component_Declaration
2160 or else NT (N).Nkind = N_Discriminant_Specification
2161 or else NT (N).Nkind = N_Exception_Declaration
2162 or else NT (N).Nkind = N_Formal_Object_Declaration
2163 or else NT (N).Nkind = N_Number_Declaration
2164 or else NT (N).Nkind = N_Object_Declaration
2165 or else NT (N).Nkind = N_Parameter_Specification);
2169 function Must_Be_Byte_Aligned
2170 (N : Node_Id) return Boolean is
2172 pragma Assert (False
2173 or else NT (N).Nkind = N_Attribute_Reference);
2175 end Must_Be_Byte_Aligned;
2177 function Must_Not_Freeze
2178 (N : Node_Id) return Boolean is
2180 pragma Assert (False
2181 or else NT (N).Nkind = N_Subtype_Indication
2182 or else NT (N).Nkind in N_Subexpr);
2184 end Must_Not_Freeze;
2186 function Must_Not_Override
2187 (N : Node_Id) return Boolean is
2189 pragma Assert (False
2190 or else NT (N).Nkind = N_Entry_Declaration
2191 or else NT (N).Nkind = N_Function_Instantiation
2192 or else NT (N).Nkind = N_Function_Specification
2193 or else NT (N).Nkind = N_Procedure_Instantiation
2194 or else NT (N).Nkind = N_Procedure_Specification);
2196 end Must_Not_Override;
2198 function Must_Override
2199 (N : Node_Id) return Boolean is
2201 pragma Assert (False
2202 or else NT (N).Nkind = N_Entry_Declaration
2203 or else NT (N).Nkind = N_Function_Instantiation
2204 or else NT (N).Nkind = N_Function_Specification
2205 or else NT (N).Nkind = N_Procedure_Instantiation
2206 or else NT (N).Nkind = N_Procedure_Specification);
2211 (N : Node_Id) return Node_Id is
2213 pragma Assert (False
2214 or else NT (N).Nkind = N_Assignment_Statement
2215 or else NT (N).Nkind = N_Attribute_Definition_Clause
2216 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2217 or else NT (N).Nkind = N_Designator
2218 or else NT (N).Nkind = N_Entry_Call_Statement
2219 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2220 or else NT (N).Nkind = N_Exit_Statement
2221 or else NT (N).Nkind = N_Formal_Package_Declaration
2222 or else NT (N).Nkind = N_Function_Call
2223 or else NT (N).Nkind = N_Function_Instantiation
2224 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2225 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2226 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2227 or else NT (N).Nkind = N_Goto_Statement
2228 or else NT (N).Nkind = N_Iterator_Specification
2229 or else NT (N).Nkind = N_Object_Renaming_Declaration
2230 or else NT (N).Nkind = N_Package_Instantiation
2231 or else NT (N).Nkind = N_Package_Renaming_Declaration
2232 or else NT (N).Nkind = N_Procedure_Call_Statement
2233 or else NT (N).Nkind = N_Procedure_Instantiation
2234 or else NT (N).Nkind = N_Raise_Expression
2235 or else NT (N).Nkind = N_Raise_Statement
2236 or else NT (N).Nkind = N_Requeue_Statement
2237 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2238 or else NT (N).Nkind = N_Subunit
2239 or else NT (N).Nkind = N_Variant_Part
2240 or else NT (N).Nkind = N_With_Clause);
2245 (N : Node_Id) return List_Id is
2247 pragma Assert (False
2248 or else NT (N).Nkind = N_Abort_Statement
2249 or else NT (N).Nkind = N_Use_Package_Clause);
2253 function Next_Entity
2254 (N : Node_Id) return Node_Id is
2256 pragma Assert (False
2257 or else NT (N).Nkind = N_Defining_Character_Literal
2258 or else NT (N).Nkind = N_Defining_Identifier
2259 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2263 function Next_Exit_Statement
2264 (N : Node_Id) return Node_Id is
2266 pragma Assert (False
2267 or else NT (N).Nkind = N_Exit_Statement);
2269 end Next_Exit_Statement;
2271 function Next_Implicit_With
2272 (N : Node_Id) return Node_Id is
2274 pragma Assert (False
2275 or else NT (N).Nkind = N_With_Clause);
2277 end Next_Implicit_With;
2279 function Next_Named_Actual
2280 (N : Node_Id) return Node_Id is
2282 pragma Assert (False
2283 or else NT (N).Nkind = N_Parameter_Association);
2285 end Next_Named_Actual;
2287 function Next_Pragma
2288 (N : Node_Id) return Node_Id is
2290 pragma Assert (False
2291 or else NT (N).Nkind = N_Pragma);
2295 function Next_Rep_Item
2296 (N : Node_Id) return Node_Id is
2298 pragma Assert (False
2299 or else NT (N).Nkind = N_Aspect_Specification
2300 or else NT (N).Nkind = N_Attribute_Definition_Clause
2301 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2302 or else NT (N).Nkind = N_Pragma
2303 or else NT (N).Nkind = N_Record_Representation_Clause);
2307 function Next_Use_Clause
2308 (N : Node_Id) return Node_Id is
2310 pragma Assert (False
2311 or else NT (N).Nkind = N_Use_Package_Clause
2312 or else NT (N).Nkind = N_Use_Type_Clause);
2314 end Next_Use_Clause;
2316 function No_Ctrl_Actions
2317 (N : Node_Id) return Boolean is
2319 pragma Assert (False
2320 or else NT (N).Nkind = N_Assignment_Statement);
2322 end No_Ctrl_Actions;
2324 function No_Elaboration_Check
2325 (N : Node_Id) return Boolean is
2327 pragma Assert (False
2328 or else NT (N).Nkind = N_Function_Call
2329 or else NT (N).Nkind = N_Procedure_Call_Statement);
2331 end No_Elaboration_Check;
2333 function No_Entities_Ref_In_Spec
2334 (N : Node_Id) return Boolean is
2336 pragma Assert (False
2337 or else NT (N).Nkind = N_With_Clause);
2339 end No_Entities_Ref_In_Spec;
2341 function No_Initialization
2342 (N : Node_Id) return Boolean is
2344 pragma Assert (False
2345 or else NT (N).Nkind = N_Allocator
2346 or else NT (N).Nkind = N_Object_Declaration);
2348 end No_Initialization;
2350 function No_Minimize_Eliminate
2351 (N : Node_Id) return Boolean is
2353 pragma Assert (False
2354 or else NT (N).Nkind = N_In
2355 or else NT (N).Nkind = N_Not_In);
2357 end No_Minimize_Eliminate;
2359 function No_Truncation
2360 (N : Node_Id) return Boolean is
2362 pragma Assert (False
2363 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2367 function Non_Aliased_Prefix
2368 (N : Node_Id) return Boolean is
2370 pragma Assert (False
2371 or else NT (N).Nkind = N_Attribute_Reference);
2373 end Non_Aliased_Prefix;
2375 function Null_Present
2376 (N : Node_Id) return Boolean is
2378 pragma Assert (False
2379 or else NT (N).Nkind = N_Component_List
2380 or else NT (N).Nkind = N_Procedure_Specification
2381 or else NT (N).Nkind = N_Record_Definition);
2385 function Null_Excluding_Subtype
2386 (N : Node_Id) return Boolean is
2388 pragma Assert (False
2389 or else NT (N).Nkind = N_Access_To_Object_Definition);
2391 end Null_Excluding_Subtype;
2393 function Null_Exclusion_Present
2394 (N : Node_Id) return Boolean is
2396 pragma Assert (False
2397 or else NT (N).Nkind = N_Access_Definition
2398 or else NT (N).Nkind = N_Access_Function_Definition
2399 or else NT (N).Nkind = N_Access_Procedure_Definition
2400 or else NT (N).Nkind = N_Access_To_Object_Definition
2401 or else NT (N).Nkind = N_Allocator
2402 or else NT (N).Nkind = N_Component_Definition
2403 or else NT (N).Nkind = N_Derived_Type_Definition
2404 or else NT (N).Nkind = N_Discriminant_Specification
2405 or else NT (N).Nkind = N_Formal_Object_Declaration
2406 or else NT (N).Nkind = N_Function_Specification
2407 or else NT (N).Nkind = N_Object_Declaration
2408 or else NT (N).Nkind = N_Object_Renaming_Declaration
2409 or else NT (N).Nkind = N_Parameter_Specification
2410 or else NT (N).Nkind = N_Subtype_Declaration);
2412 end Null_Exclusion_Present;
2414 function Null_Exclusion_In_Return_Present
2415 (N : Node_Id) return Boolean is
2417 pragma Assert (False
2418 or else NT (N).Nkind = N_Access_Function_Definition);
2420 end Null_Exclusion_In_Return_Present;
2422 function Null_Record_Present
2423 (N : Node_Id) return Boolean is
2425 pragma Assert (False
2426 or else NT (N).Nkind = N_Aggregate
2427 or else NT (N).Nkind = N_Extension_Aggregate);
2429 end Null_Record_Present;
2431 function Object_Definition
2432 (N : Node_Id) return Node_Id is
2434 pragma Assert (False
2435 or else NT (N).Nkind = N_Object_Declaration);
2437 end Object_Definition;
2440 (N : Node_Id) return Boolean is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Iterator_Specification);
2447 function Original_Discriminant
2448 (N : Node_Id) return Node_Id is
2450 pragma Assert (False
2451 or else NT (N).Nkind = N_Identifier);
2453 end Original_Discriminant;
2455 function Original_Entity
2456 (N : Node_Id) return Entity_Id is
2458 pragma Assert (False
2459 or else NT (N).Nkind = N_Integer_Literal
2460 or else NT (N).Nkind = N_Real_Literal);
2462 end Original_Entity;
2464 function Others_Discrete_Choices
2465 (N : Node_Id) return List_Id is
2467 pragma Assert (False
2468 or else NT (N).Nkind = N_Others_Choice);
2470 end Others_Discrete_Choices;
2472 function Out_Present
2473 (N : Node_Id) return Boolean is
2475 pragma Assert (False
2476 or else NT (N).Nkind = N_Formal_Object_Declaration
2477 or else NT (N).Nkind = N_Parameter_Specification);
2481 function Parameter_Associations
2482 (N : Node_Id) return List_Id is
2484 pragma Assert (False
2485 or else NT (N).Nkind = N_Entry_Call_Statement
2486 or else NT (N).Nkind = N_Function_Call
2487 or else NT (N).Nkind = N_Procedure_Call_Statement);
2489 end Parameter_Associations;
2491 function Parameter_List_Truncated
2492 (N : Node_Id) return Boolean is
2494 pragma Assert (False
2495 or else NT (N).Nkind = N_Function_Call
2496 or else NT (N).Nkind = N_Procedure_Call_Statement);
2498 end Parameter_List_Truncated;
2500 function Parameter_Specifications
2501 (N : Node_Id) return List_Id is
2503 pragma Assert (False
2504 or else NT (N).Nkind = N_Accept_Statement
2505 or else NT (N).Nkind = N_Access_Function_Definition
2506 or else NT (N).Nkind = N_Access_Procedure_Definition
2507 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2508 or else NT (N).Nkind = N_Entry_Declaration
2509 or else NT (N).Nkind = N_Function_Specification
2510 or else NT (N).Nkind = N_Procedure_Specification);
2512 end Parameter_Specifications;
2514 function Parameter_Type
2515 (N : Node_Id) return Node_Id is
2517 pragma Assert (False
2518 or else NT (N).Nkind = N_Parameter_Specification);
2522 function Parent_Spec
2523 (N : Node_Id) return Node_Id is
2525 pragma Assert (False
2526 or else NT (N).Nkind = N_Function_Instantiation
2527 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2528 or else NT (N).Nkind = N_Generic_Package_Declaration
2529 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2530 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2531 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2532 or else NT (N).Nkind = N_Package_Declaration
2533 or else NT (N).Nkind = N_Package_Instantiation
2534 or else NT (N).Nkind = N_Package_Renaming_Declaration
2535 or else NT (N).Nkind = N_Procedure_Instantiation
2536 or else NT (N).Nkind = N_Subprogram_Declaration
2537 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2542 (N : Node_Id) return Node_Id is
2544 pragma Assert (False
2545 or else NT (N).Nkind = N_Component_Clause);
2549 function Pragma_Argument_Associations
2550 (N : Node_Id) return List_Id is
2552 pragma Assert (False
2553 or else NT (N).Nkind = N_Pragma);
2555 end Pragma_Argument_Associations;
2557 function Pragma_Identifier
2558 (N : Node_Id) return Node_Id is
2560 pragma Assert (False
2561 or else NT (N).Nkind = N_Pragma);
2563 end Pragma_Identifier;
2565 function Pragmas_After
2566 (N : Node_Id) return List_Id is
2568 pragma Assert (False
2569 or else NT (N).Nkind = N_Compilation_Unit_Aux
2570 or else NT (N).Nkind = N_Terminate_Alternative);
2574 function Pragmas_Before
2575 (N : Node_Id) return List_Id is
2577 pragma Assert (False
2578 or else NT (N).Nkind = N_Accept_Alternative
2579 or else NT (N).Nkind = N_Delay_Alternative
2580 or else NT (N).Nkind = N_Entry_Call_Alternative
2581 or else NT (N).Nkind = N_Mod_Clause
2582 or else NT (N).Nkind = N_Terminate_Alternative
2583 or else NT (N).Nkind = N_Triggering_Alternative);
2587 function Pre_Post_Conditions
2588 (N : Node_Id) return Node_Id is
2590 pragma Assert (False
2591 or else NT (N).Nkind = N_Contract);
2593 end Pre_Post_Conditions;
2596 (N : Node_Id) return Node_Id is
2598 pragma Assert (False
2599 or else NT (N).Nkind = N_Attribute_Reference
2600 or else NT (N).Nkind = N_Expanded_Name
2601 or else NT (N).Nkind = N_Explicit_Dereference
2602 or else NT (N).Nkind = N_Indexed_Component
2603 or else NT (N).Nkind = N_Reference
2604 or else NT (N).Nkind = N_Selected_Component
2605 or else NT (N).Nkind = N_Slice);
2609 function Premature_Use
2610 (N : Node_Id) return Node_Id is
2612 pragma Assert (False
2613 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2617 function Present_Expr
2618 (N : Node_Id) return Uint is
2620 pragma Assert (False
2621 or else NT (N).Nkind = N_Variant);
2626 (N : Node_Id) return Boolean is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Component_Declaration
2630 or else NT (N).Nkind = N_Discriminant_Specification
2631 or else NT (N).Nkind = N_Exception_Declaration
2632 or else NT (N).Nkind = N_Formal_Object_Declaration
2633 or else NT (N).Nkind = N_Number_Declaration
2634 or else NT (N).Nkind = N_Object_Declaration
2635 or else NT (N).Nkind = N_Parameter_Specification);
2639 function Print_In_Hex
2640 (N : Node_Id) return Boolean is
2642 pragma Assert (False
2643 or else NT (N).Nkind = N_Integer_Literal);
2647 function Private_Declarations
2648 (N : Node_Id) return List_Id is
2650 pragma Assert (False
2651 or else NT (N).Nkind = N_Package_Specification
2652 or else NT (N).Nkind = N_Protected_Definition
2653 or else NT (N).Nkind = N_Task_Definition);
2655 end Private_Declarations;
2657 function Private_Present
2658 (N : Node_Id) return Boolean is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_Compilation_Unit
2662 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2663 or else NT (N).Nkind = N_With_Clause);
2665 end Private_Present;
2667 function Procedure_To_Call
2668 (N : Node_Id) return Node_Id is
2670 pragma Assert (False
2671 or else NT (N).Nkind = N_Allocator
2672 or else NT (N).Nkind = N_Extended_Return_Statement
2673 or else NT (N).Nkind = N_Free_Statement
2674 or else NT (N).Nkind = N_Simple_Return_Statement);
2676 end Procedure_To_Call;
2678 function Proper_Body
2679 (N : Node_Id) return Node_Id is
2681 pragma Assert (False
2682 or else NT (N).Nkind = N_Subunit);
2686 function Protected_Definition
2687 (N : Node_Id) return Node_Id is
2689 pragma Assert (False
2690 or else NT (N).Nkind = N_Protected_Type_Declaration
2691 or else NT (N).Nkind = N_Single_Protected_Declaration);
2693 end Protected_Definition;
2695 function Protected_Present
2696 (N : Node_Id) return Boolean is
2698 pragma Assert (False
2699 or else NT (N).Nkind = N_Access_Function_Definition
2700 or else NT (N).Nkind = N_Access_Procedure_Definition
2701 or else NT (N).Nkind = N_Derived_Type_Definition
2702 or else NT (N).Nkind = N_Record_Definition);
2704 end Protected_Present;
2706 function Raises_Constraint_Error
2707 (N : Node_Id) return Boolean is
2709 pragma Assert (False
2710 or else NT (N).Nkind in N_Subexpr);
2712 end Raises_Constraint_Error;
2714 function Range_Constraint
2715 (N : Node_Id) return Node_Id is
2717 pragma Assert (False
2718 or else NT (N).Nkind = N_Delta_Constraint
2719 or else NT (N).Nkind = N_Digits_Constraint);
2721 end Range_Constraint;
2723 function Range_Expression
2724 (N : Node_Id) return Node_Id is
2726 pragma Assert (False
2727 or else NT (N).Nkind = N_Range_Constraint);
2729 end Range_Expression;
2731 function Real_Range_Specification
2732 (N : Node_Id) return Node_Id is
2734 pragma Assert (False
2735 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2736 or else NT (N).Nkind = N_Floating_Point_Definition
2737 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2739 end Real_Range_Specification;
2742 (N : Node_Id) return Ureal is
2744 pragma Assert (False
2745 or else NT (N).Nkind = N_Real_Literal);
2750 (N : Node_Id) return Uint is
2752 pragma Assert (False
2753 or else NT (N).Nkind = N_Raise_Constraint_Error
2754 or else NT (N).Nkind = N_Raise_Program_Error
2755 or else NT (N).Nkind = N_Raise_Storage_Error);
2759 function Record_Extension_Part
2760 (N : Node_Id) return Node_Id is
2762 pragma Assert (False
2763 or else NT (N).Nkind = N_Derived_Type_Definition);
2765 end Record_Extension_Part;
2767 function Redundant_Use
2768 (N : Node_Id) return Boolean is
2770 pragma Assert (False
2771 or else NT (N).Nkind = N_Attribute_Reference
2772 or else NT (N).Nkind = N_Expanded_Name
2773 or else NT (N).Nkind = N_Identifier);
2777 function Renaming_Exception
2778 (N : Node_Id) return Node_Id is
2780 pragma Assert (False
2781 or else NT (N).Nkind = N_Exception_Declaration);
2783 end Renaming_Exception;
2785 function Result_Definition
2786 (N : Node_Id) return Node_Id is
2788 pragma Assert (False
2789 or else NT (N).Nkind = N_Access_Function_Definition
2790 or else NT (N).Nkind = N_Function_Specification);
2792 end Result_Definition;
2794 function Return_Object_Declarations
2795 (N : Node_Id) return List_Id is
2797 pragma Assert (False
2798 or else NT (N).Nkind = N_Extended_Return_Statement);
2800 end Return_Object_Declarations;
2802 function Return_Statement_Entity
2803 (N : Node_Id) return Node_Id is
2805 pragma Assert (False
2806 or else NT (N).Nkind = N_Extended_Return_Statement
2807 or else NT (N).Nkind = N_Simple_Return_Statement);
2809 end Return_Statement_Entity;
2811 function Reverse_Present
2812 (N : Node_Id) return Boolean is
2814 pragma Assert (False
2815 or else NT (N).Nkind = N_Iterator_Specification
2816 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2818 end Reverse_Present;
2821 (N : Node_Id) return Node_Id is
2823 pragma Assert (False
2824 or else NT (N).Nkind in N_Op
2825 or else NT (N).Nkind = N_And_Then
2826 or else NT (N).Nkind = N_In
2827 or else NT (N).Nkind = N_Not_In
2828 or else NT (N).Nkind = N_Or_Else);
2832 function Rounded_Result
2833 (N : Node_Id) return Boolean is
2835 pragma Assert (False
2836 or else NT (N).Nkind = N_Op_Divide
2837 or else NT (N).Nkind = N_Op_Multiply
2838 or else NT (N).Nkind = N_Type_Conversion);
2842 function SCIL_Controlling_Tag
2843 (N : Node_Id) return Node_Id is
2845 pragma Assert (False
2846 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2848 end SCIL_Controlling_Tag;
2850 function SCIL_Entity
2851 (N : Node_Id) return Node_Id is
2853 pragma Assert (False
2854 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2855 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2856 or else NT (N).Nkind = N_SCIL_Membership_Test);
2860 function SCIL_Tag_Value
2861 (N : Node_Id) return Node_Id is
2863 pragma Assert (False
2864 or else NT (N).Nkind = N_SCIL_Membership_Test);
2868 function SCIL_Target_Prim
2869 (N : Node_Id) return Node_Id is
2871 pragma Assert (False
2872 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2874 end SCIL_Target_Prim;
2877 (N : Node_Id) return Node_Id is
2879 pragma Assert (False
2880 or else NT (N).Nkind = N_Defining_Character_Literal
2881 or else NT (N).Nkind = N_Defining_Identifier
2882 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2886 function Select_Alternatives
2887 (N : Node_Id) return List_Id is
2889 pragma Assert (False
2890 or else NT (N).Nkind = N_Selective_Accept);
2892 end Select_Alternatives;
2894 function Selector_Name
2895 (N : Node_Id) return Node_Id is
2897 pragma Assert (False
2898 or else NT (N).Nkind = N_Expanded_Name
2899 or else NT (N).Nkind = N_Generic_Association
2900 or else NT (N).Nkind = N_Parameter_Association
2901 or else NT (N).Nkind = N_Selected_Component);
2905 function Selector_Names
2906 (N : Node_Id) return List_Id is
2908 pragma Assert (False
2909 or else NT (N).Nkind = N_Discriminant_Association);
2913 function Shift_Count_OK
2914 (N : Node_Id) return Boolean is
2916 pragma Assert (False
2917 or else NT (N).Nkind = N_Op_Rotate_Left
2918 or else NT (N).Nkind = N_Op_Rotate_Right
2919 or else NT (N).Nkind = N_Op_Shift_Left
2920 or else NT (N).Nkind = N_Op_Shift_Right
2921 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2925 function Source_Type
2926 (N : Node_Id) return Entity_Id is
2928 pragma Assert (False
2929 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2933 function Specification
2934 (N : Node_Id) return Node_Id is
2936 pragma Assert (False
2937 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2938 or else NT (N).Nkind = N_Expression_Function
2939 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2940 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2941 or else NT (N).Nkind = N_Generic_Package_Declaration
2942 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2943 or else NT (N).Nkind = N_Package_Declaration
2944 or else NT (N).Nkind = N_Subprogram_Body
2945 or else NT (N).Nkind = N_Subprogram_Body_Stub
2946 or else NT (N).Nkind = N_Subprogram_Declaration
2947 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2952 (N : Node_Id) return Boolean is
2954 pragma Assert (False
2955 or else NT (N).Nkind = N_Aspect_Specification
2956 or else NT (N).Nkind = N_Pragma);
2961 (N : Node_Id) return List_Id is
2963 pragma Assert (False
2964 or else NT (N).Nkind = N_Abortable_Part
2965 or else NT (N).Nkind = N_Accept_Alternative
2966 or else NT (N).Nkind = N_Case_Statement_Alternative
2967 or else NT (N).Nkind = N_Delay_Alternative
2968 or else NT (N).Nkind = N_Entry_Call_Alternative
2969 or else NT (N).Nkind = N_Exception_Handler
2970 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2971 or else NT (N).Nkind = N_Loop_Statement
2972 or else NT (N).Nkind = N_Triggering_Alternative);
2976 function Storage_Pool
2977 (N : Node_Id) return Node_Id is
2979 pragma Assert (False
2980 or else NT (N).Nkind = N_Allocator
2981 or else NT (N).Nkind = N_Extended_Return_Statement
2982 or else NT (N).Nkind = N_Free_Statement
2983 or else NT (N).Nkind = N_Simple_Return_Statement);
2987 function Subpool_Handle_Name
2988 (N : Node_Id) return Node_Id is
2990 pragma Assert (False
2991 or else NT (N).Nkind = N_Allocator);
2993 end Subpool_Handle_Name;
2996 (N : Node_Id) return String_Id is
2998 pragma Assert (False
2999 or else NT (N).Nkind = N_Operator_Symbol
3000 or else NT (N).Nkind = N_String_Literal);
3004 function Subtype_Indication
3005 (N : Node_Id) return Node_Id is
3007 pragma Assert (False
3008 or else NT (N).Nkind = N_Access_To_Object_Definition
3009 or else NT (N).Nkind = N_Component_Definition
3010 or else NT (N).Nkind = N_Derived_Type_Definition
3011 or else NT (N).Nkind = N_Iterator_Specification
3012 or else NT (N).Nkind = N_Private_Extension_Declaration
3013 or else NT (N).Nkind = N_Subtype_Declaration);
3015 end Subtype_Indication;
3017 function Suppress_Assignment_Checks
3018 (N : Node_Id) return Boolean is
3020 pragma Assert (False
3021 or else NT (N).Nkind = N_Assignment_Statement
3022 or else NT (N).Nkind = N_Object_Declaration);
3024 end Suppress_Assignment_Checks;
3026 function Suppress_Loop_Warnings
3027 (N : Node_Id) return Boolean is
3029 pragma Assert (False
3030 or else NT (N).Nkind = N_Loop_Statement);
3032 end Suppress_Loop_Warnings;
3034 function Subtype_Mark
3035 (N : Node_Id) return Node_Id is
3037 pragma Assert (False
3038 or else NT (N).Nkind = N_Access_Definition
3039 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3040 or else NT (N).Nkind = N_Formal_Object_Declaration
3041 or else NT (N).Nkind = N_Object_Renaming_Declaration
3042 or else NT (N).Nkind = N_Qualified_Expression
3043 or else NT (N).Nkind = N_Subtype_Indication
3044 or else NT (N).Nkind = N_Type_Conversion
3045 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3049 function Subtype_Marks
3050 (N : Node_Id) return List_Id is
3052 pragma Assert (False
3053 or else NT (N).Nkind = N_Unconstrained_Array_Definition
3054 or else NT (N).Nkind = N_Use_Type_Clause);
3058 function Synchronized_Present
3059 (N : Node_Id) return Boolean is
3061 pragma Assert (False
3062 or else NT (N).Nkind = N_Derived_Type_Definition
3063 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3064 or else NT (N).Nkind = N_Private_Extension_Declaration
3065 or else NT (N).Nkind = N_Record_Definition);
3067 end Synchronized_Present;
3069 function Tagged_Present
3070 (N : Node_Id) return Boolean is
3072 pragma Assert (False
3073 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3074 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3075 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3076 or else NT (N).Nkind = N_Private_Type_Declaration
3077 or else NT (N).Nkind = N_Record_Definition);
3081 function Target_Type
3082 (N : Node_Id) return Entity_Id is
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3089 function Task_Definition
3090 (N : Node_Id) return Node_Id is
3092 pragma Assert (False
3093 or else NT (N).Nkind = N_Single_Task_Declaration
3094 or else NT (N).Nkind = N_Task_Type_Declaration);
3096 end Task_Definition;
3098 function Task_Present
3099 (N : Node_Id) return Boolean is
3101 pragma Assert (False
3102 or else NT (N).Nkind = N_Derived_Type_Definition
3103 or else NT (N).Nkind = N_Record_Definition);
3107 function Then_Actions
3108 (N : Node_Id) return List_Id is
3110 pragma Assert (False
3111 or else NT (N).Nkind = N_If_Expression);
3115 function Then_Statements
3116 (N : Node_Id) return List_Id is
3118 pragma Assert (False
3119 or else NT (N).Nkind = N_Elsif_Part
3120 or else NT (N).Nkind = N_If_Statement);
3122 end Then_Statements;
3124 function Treat_Fixed_As_Integer
3125 (N : Node_Id) return Boolean is
3127 pragma Assert (False
3128 or else NT (N).Nkind = N_Op_Divide
3129 or else NT (N).Nkind = N_Op_Mod
3130 or else NT (N).Nkind = N_Op_Multiply
3131 or else NT (N).Nkind = N_Op_Rem);
3133 end Treat_Fixed_As_Integer;
3135 function Triggering_Alternative
3136 (N : Node_Id) return Node_Id is
3138 pragma Assert (False
3139 or else NT (N).Nkind = N_Asynchronous_Select);
3141 end Triggering_Alternative;
3143 function Triggering_Statement
3144 (N : Node_Id) return Node_Id is
3146 pragma Assert (False
3147 or else NT (N).Nkind = N_Triggering_Alternative);
3149 end Triggering_Statement;
3152 (N : Node_Id) return Elist_Id is
3154 pragma Assert (False
3155 or else NT (N).Nkind = N_Freeze_Entity);
3159 function Type_Definition
3160 (N : Node_Id) return Node_Id is
3162 pragma Assert (False
3163 or else NT (N).Nkind = N_Full_Type_Declaration);
3165 end Type_Definition;
3168 (N : Node_Id) return Node_Id is
3170 pragma Assert (False
3171 or else NT (N).Nkind = N_Compilation_Unit);
3175 function Unknown_Discriminants_Present
3176 (N : Node_Id) return Boolean is
3178 pragma Assert (False
3179 or else NT (N).Nkind = N_Formal_Type_Declaration
3180 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3181 or else NT (N).Nkind = N_Private_Extension_Declaration
3182 or else NT (N).Nkind = N_Private_Type_Declaration);
3184 end Unknown_Discriminants_Present;
3186 function Unreferenced_In_Spec
3187 (N : Node_Id) return Boolean is
3189 pragma Assert (False
3190 or else NT (N).Nkind = N_With_Clause);
3192 end Unreferenced_In_Spec;
3194 function Variant_Part
3195 (N : Node_Id) return Node_Id is
3197 pragma Assert (False
3198 or else NT (N).Nkind = N_Component_List);
3203 (N : Node_Id) return List_Id is
3205 pragma Assert (False
3206 or else NT (N).Nkind = N_Variant_Part);
3210 function Visible_Declarations
3211 (N : Node_Id) return List_Id is
3213 pragma Assert (False
3214 or else NT (N).Nkind = N_Package_Specification
3215 or else NT (N).Nkind = N_Protected_Definition
3216 or else NT (N).Nkind = N_Task_Definition);
3218 end Visible_Declarations;
3220 function Uninitialized_Variable
3221 (N : Node_Id) return Node_Id is
3223 pragma Assert (False
3224 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3225 or else NT (N).Nkind = N_Private_Extension_Declaration);
3227 end Uninitialized_Variable;
3229 function Used_Operations
3230 (N : Node_Id) return Elist_Id is
3232 pragma Assert (False
3233 or else NT (N).Nkind = N_Use_Type_Clause);
3235 end Used_Operations;
3237 function Was_Originally_Stub
3238 (N : Node_Id) return Boolean is
3240 pragma Assert (False
3241 or else NT (N).Nkind = N_Package_Body
3242 or else NT (N).Nkind = N_Protected_Body
3243 or else NT (N).Nkind = N_Subprogram_Body
3244 or else NT (N).Nkind = N_Task_Body);
3246 end Was_Originally_Stub;
3248 function Withed_Body
3249 (N : Node_Id) return Node_Id is
3251 pragma Assert (False
3252 or else NT (N).Nkind = N_With_Clause);
3256 --------------------------
3257 -- Field Set Procedures --
3258 --------------------------
3260 procedure Set_ABE_Is_Certain
3261 (N : Node_Id; Val : Boolean := True) is
3263 pragma Assert (False
3264 or else NT (N).Nkind = N_Formal_Package_Declaration
3265 or else NT (N).Nkind = N_Function_Call
3266 or else NT (N).Nkind = N_Function_Instantiation
3267 or else NT (N).Nkind = N_Package_Instantiation
3268 or else NT (N).Nkind = N_Procedure_Call_Statement
3269 or else NT (N).Nkind = N_Procedure_Instantiation);
3270 Set_Flag18 (N, Val);
3271 end Set_ABE_Is_Certain;
3273 procedure Set_Abort_Present
3274 (N : Node_Id; Val : Boolean := True) is
3276 pragma Assert (False
3277 or else NT (N).Nkind = N_Requeue_Statement);
3278 Set_Flag15 (N, Val);
3279 end Set_Abort_Present;
3281 procedure Set_Abortable_Part
3282 (N : Node_Id; Val : Node_Id) is
3284 pragma Assert (False
3285 or else NT (N).Nkind = N_Asynchronous_Select);
3286 Set_Node2_With_Parent (N, Val);
3287 end Set_Abortable_Part;
3289 procedure Set_Abstract_Present
3290 (N : Node_Id; Val : Boolean := True) is
3292 pragma Assert (False
3293 or else NT (N).Nkind = N_Derived_Type_Definition
3294 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3295 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3296 or else NT (N).Nkind = N_Private_Extension_Declaration
3297 or else NT (N).Nkind = N_Private_Type_Declaration
3298 or else NT (N).Nkind = N_Record_Definition);
3300 end Set_Abstract_Present;
3302 procedure Set_Accept_Handler_Records
3303 (N : Node_Id; Val : List_Id) is
3305 pragma Assert (False
3306 or else NT (N).Nkind = N_Accept_Alternative);
3307 Set_List5 (N, Val); -- semantic field, no parent set
3308 end Set_Accept_Handler_Records;
3310 procedure Set_Accept_Statement
3311 (N : Node_Id; Val : Node_Id) is
3313 pragma Assert (False
3314 or else NT (N).Nkind = N_Accept_Alternative);
3315 Set_Node2_With_Parent (N, Val);
3316 end Set_Accept_Statement;
3318 procedure Set_Access_Definition
3319 (N : Node_Id; Val : Node_Id) is
3321 pragma Assert (False
3322 or else NT (N).Nkind = N_Component_Definition
3323 or else NT (N).Nkind = N_Formal_Object_Declaration
3324 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3325 Set_Node3_With_Parent (N, Val);
3326 end Set_Access_Definition;
3328 procedure Set_Access_To_Subprogram_Definition
3329 (N : Node_Id; Val : Node_Id) is
3331 pragma Assert (False
3332 or else NT (N).Nkind = N_Access_Definition);
3333 Set_Node3_With_Parent (N, Val);
3334 end Set_Access_To_Subprogram_Definition;
3336 procedure Set_Access_Types_To_Process
3337 (N : Node_Id; Val : Elist_Id) is
3339 pragma Assert (False
3340 or else NT (N).Nkind = N_Freeze_Entity);
3341 Set_Elist2 (N, Val); -- semantic field, no parent set
3342 end Set_Access_Types_To_Process;
3344 procedure Set_Actions
3345 (N : Node_Id; Val : List_Id) is
3347 pragma Assert (False
3348 or else NT (N).Nkind = N_And_Then
3349 or else NT (N).Nkind = N_Case_Expression_Alternative
3350 or else NT (N).Nkind = N_Compilation_Unit_Aux
3351 or else NT (N).Nkind = N_Compound_Statement
3352 or else NT (N).Nkind = N_Expression_With_Actions
3353 or else NT (N).Nkind = N_Freeze_Entity
3354 or else NT (N).Nkind = N_Or_Else);
3355 Set_List1_With_Parent (N, Val);
3358 procedure Set_Activation_Chain_Entity
3359 (N : Node_Id; Val : Node_Id) is
3361 pragma Assert (False
3362 or else NT (N).Nkind = N_Block_Statement
3363 or else NT (N).Nkind = N_Entry_Body
3364 or else NT (N).Nkind = N_Generic_Package_Declaration
3365 or else NT (N).Nkind = N_Package_Declaration
3366 or else NT (N).Nkind = N_Subprogram_Body
3367 or else NT (N).Nkind = N_Task_Body);
3368 Set_Node3 (N, Val); -- semantic field, no parent set
3369 end Set_Activation_Chain_Entity;
3371 procedure Set_Acts_As_Spec
3372 (N : Node_Id; Val : Boolean := True) is
3374 pragma Assert (False
3375 or else NT (N).Nkind = N_Compilation_Unit
3376 or else NT (N).Nkind = N_Subprogram_Body);
3378 end Set_Acts_As_Spec;
3380 procedure Set_Actual_Designated_Subtype
3381 (N : Node_Id; Val : Node_Id) is
3383 pragma Assert (False
3384 or else NT (N).Nkind = N_Explicit_Dereference
3385 or else NT (N).Nkind = N_Free_Statement);
3387 end Set_Actual_Designated_Subtype;
3389 procedure Set_Address_Warning_Posted
3390 (N : Node_Id; Val : Boolean := True) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3394 Set_Flag18 (N, Val);
3395 end Set_Address_Warning_Posted;
3397 procedure Set_Aggregate_Bounds
3398 (N : Node_Id; Val : Node_Id) is
3400 pragma Assert (False
3401 or else NT (N).Nkind = N_Aggregate);
3402 Set_Node3 (N, Val); -- semantic field, no parent set
3403 end Set_Aggregate_Bounds;
3405 procedure Set_Aliased_Present
3406 (N : Node_Id; Val : Boolean := True) is
3408 pragma Assert (False
3409 or else NT (N).Nkind = N_Component_Definition
3410 or else NT (N).Nkind = N_Object_Declaration
3411 or else NT (N).Nkind = N_Parameter_Specification);
3413 end Set_Aliased_Present;
3415 procedure Set_All_Others
3416 (N : Node_Id; Val : Boolean := True) is
3418 pragma Assert (False
3419 or else NT (N).Nkind = N_Others_Choice);
3420 Set_Flag11 (N, Val);
3423 procedure Set_All_Present
3424 (N : Node_Id; Val : Boolean := True) is
3426 pragma Assert (False
3427 or else NT (N).Nkind = N_Access_Definition
3428 or else NT (N).Nkind = N_Access_To_Object_Definition
3429 or else NT (N).Nkind = N_Quantified_Expression
3430 or else NT (N).Nkind = N_Use_Type_Clause);
3431 Set_Flag15 (N, Val);
3432 end Set_All_Present;
3434 procedure Set_Alternatives
3435 (N : Node_Id; Val : List_Id) is
3437 pragma Assert (False
3438 or else NT (N).Nkind = N_Case_Expression
3439 or else NT (N).Nkind = N_Case_Statement
3440 or else NT (N).Nkind = N_In
3441 or else NT (N).Nkind = N_Not_In);
3442 Set_List4_With_Parent (N, Val);
3443 end Set_Alternatives;
3445 procedure Set_Ancestor_Part
3446 (N : Node_Id; Val : Node_Id) is
3448 pragma Assert (False
3449 or else NT (N).Nkind = N_Extension_Aggregate);
3450 Set_Node3_With_Parent (N, Val);
3451 end Set_Ancestor_Part;
3453 procedure Set_Atomic_Sync_Required
3454 (N : Node_Id; Val : Boolean := True) is
3456 pragma Assert (False
3457 or else NT (N).Nkind = N_Expanded_Name
3458 or else NT (N).Nkind = N_Explicit_Dereference
3459 or else NT (N).Nkind = N_Identifier
3460 or else NT (N).Nkind = N_Indexed_Component
3461 or else NT (N).Nkind = N_Selected_Component);
3462 Set_Flag14 (N, Val);
3463 end Set_Atomic_Sync_Required;
3465 procedure Set_Array_Aggregate
3466 (N : Node_Id; Val : Node_Id) is
3468 pragma Assert (False
3469 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3470 Set_Node3_With_Parent (N, Val);
3471 end Set_Array_Aggregate;
3473 procedure Set_Aspect_Rep_Item
3474 (N : Node_Id; Val : Node_Id) is
3476 pragma Assert (False
3477 or else NT (N).Nkind = N_Aspect_Specification);
3479 end Set_Aspect_Rep_Item;
3481 procedure Set_Assignment_OK
3482 (N : Node_Id; Val : Boolean := True) is
3484 pragma Assert (False
3485 or else NT (N).Nkind = N_Object_Declaration
3486 or else NT (N).Nkind in N_Subexpr);
3487 Set_Flag15 (N, Val);
3488 end Set_Assignment_OK;
3490 procedure Set_Associated_Node
3491 (N : Node_Id; Val : Node_Id) is
3493 pragma Assert (False
3494 or else NT (N).Nkind in N_Has_Entity
3495 or else NT (N).Nkind = N_Aggregate
3496 or else NT (N).Nkind = N_Extension_Aggregate
3497 or else NT (N).Nkind = N_Selected_Component);
3498 Set_Node4 (N, Val); -- semantic field, no parent set
3499 end Set_Associated_Node;
3501 procedure Set_At_End_Proc
3502 (N : Node_Id; Val : Node_Id) is
3504 pragma Assert (False
3505 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3507 end Set_At_End_Proc;
3509 procedure Set_Attribute_Name
3510 (N : Node_Id; Val : Name_Id) is
3512 pragma Assert (False
3513 or else NT (N).Nkind = N_Attribute_Reference);
3515 end Set_Attribute_Name;
3517 procedure Set_Aux_Decls_Node
3518 (N : Node_Id; Val : Node_Id) is
3520 pragma Assert (False
3521 or else NT (N).Nkind = N_Compilation_Unit);
3522 Set_Node5_With_Parent (N, Val);
3523 end Set_Aux_Decls_Node;
3525 procedure Set_Backwards_OK
3526 (N : Node_Id; Val : Boolean := True) is
3528 pragma Assert (False
3529 or else NT (N).Nkind = N_Assignment_Statement);
3531 end Set_Backwards_OK;
3533 procedure Set_Bad_Is_Detected
3534 (N : Node_Id; Val : Boolean := True) is
3536 pragma Assert (False
3537 or else NT (N).Nkind = N_Subprogram_Body);
3538 Set_Flag15 (N, Val);
3539 end Set_Bad_Is_Detected;
3541 procedure Set_Body_Required
3542 (N : Node_Id; Val : Boolean := True) is
3544 pragma Assert (False
3545 or else NT (N).Nkind = N_Compilation_Unit);
3546 Set_Flag13 (N, Val);
3547 end Set_Body_Required;
3549 procedure Set_Body_To_Inline
3550 (N : Node_Id; Val : Node_Id) is
3552 pragma Assert (False
3553 or else NT (N).Nkind = N_Subprogram_Declaration);
3555 end Set_Body_To_Inline;
3557 procedure Set_Box_Present
3558 (N : Node_Id; Val : Boolean := True) is
3560 pragma Assert (False
3561 or else NT (N).Nkind = N_Component_Association
3562 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3563 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3564 or else NT (N).Nkind = N_Formal_Package_Declaration
3565 or else NT (N).Nkind = N_Generic_Association);
3566 Set_Flag15 (N, Val);
3567 end Set_Box_Present;
3569 procedure Set_By_Ref
3570 (N : Node_Id; Val : Boolean := True) is
3572 pragma Assert (False
3573 or else NT (N).Nkind = N_Extended_Return_Statement
3574 or else NT (N).Nkind = N_Simple_Return_Statement);
3578 procedure Set_Char_Literal_Value
3579 (N : Node_Id; Val : Uint) is
3581 pragma Assert (False
3582 or else NT (N).Nkind = N_Character_Literal);
3584 end Set_Char_Literal_Value;
3587 (N : Node_Id; Val : Name_Id) is
3589 pragma Assert (False
3590 or else NT (N).Nkind in N_Has_Chars);
3594 procedure Set_Check_Address_Alignment
3595 (N : Node_Id; Val : Boolean := True) is
3597 pragma Assert (False
3598 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3599 Set_Flag11 (N, Val);
3600 end Set_Check_Address_Alignment;
3602 procedure Set_Choice_Parameter
3603 (N : Node_Id; Val : Node_Id) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Exception_Handler);
3607 Set_Node2_With_Parent (N, Val);
3608 end Set_Choice_Parameter;
3610 procedure Set_Choices
3611 (N : Node_Id; Val : List_Id) is
3613 pragma Assert (False
3614 or else NT (N).Nkind = N_Component_Association);
3615 Set_List1_With_Parent (N, Val);
3618 procedure Set_Class_Present
3619 (N : Node_Id; Val : Boolean := True) is
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_Aspect_Specification
3623 or else NT (N).Nkind = N_Pragma);
3625 end Set_Class_Present;
3627 procedure Set_Classifications
3628 (N : Node_Id; Val : Node_Id) is
3630 pragma Assert (False
3631 or else NT (N).Nkind = N_Contract);
3632 Set_Node3 (N, Val); -- semantic field, no parent set
3633 end Set_Classifications;
3635 procedure Set_Cleanup_Actions
3636 (N : Node_Id; Val : List_Id) is
3638 pragma Assert (False
3639 or else NT (N).Nkind = N_Block_Statement);
3640 Set_List5 (N, Val); -- semantic field, no parent set
3641 end Set_Cleanup_Actions;
3643 procedure Set_Comes_From_Extended_Return_Statement
3644 (N : Node_Id; Val : Boolean := True) is
3646 pragma Assert (False
3647 or else NT (N).Nkind = N_Simple_Return_Statement);
3648 Set_Flag18 (N, Val);
3649 end Set_Comes_From_Extended_Return_Statement;
3651 procedure Set_Compile_Time_Known_Aggregate
3652 (N : Node_Id; Val : Boolean := True) is
3654 pragma Assert (False
3655 or else NT (N).Nkind = N_Aggregate);
3656 Set_Flag18 (N, Val);
3657 end Set_Compile_Time_Known_Aggregate;
3659 procedure Set_Component_Associations
3660 (N : Node_Id; Val : List_Id) is
3662 pragma Assert (False
3663 or else NT (N).Nkind = N_Aggregate
3664 or else NT (N).Nkind = N_Extension_Aggregate);
3665 Set_List2_With_Parent (N, Val);
3666 end Set_Component_Associations;
3668 procedure Set_Component_Clauses
3669 (N : Node_Id; Val : List_Id) is
3671 pragma Assert (False
3672 or else NT (N).Nkind = N_Record_Representation_Clause);
3673 Set_List3_With_Parent (N, Val);
3674 end Set_Component_Clauses;
3676 procedure Set_Component_Definition
3677 (N : Node_Id; Val : Node_Id) is
3679 pragma Assert (False
3680 or else NT (N).Nkind = N_Component_Declaration
3681 or else NT (N).Nkind = N_Constrained_Array_Definition
3682 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3683 Set_Node4_With_Parent (N, Val);
3684 end Set_Component_Definition;
3686 procedure Set_Component_Items
3687 (N : Node_Id; Val : List_Id) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Component_List);
3691 Set_List3_With_Parent (N, Val);
3692 end Set_Component_Items;
3694 procedure Set_Component_List
3695 (N : Node_Id; Val : Node_Id) is
3697 pragma Assert (False
3698 or else NT (N).Nkind = N_Record_Definition
3699 or else NT (N).Nkind = N_Variant);
3700 Set_Node1_With_Parent (N, Val);
3701 end Set_Component_List;
3703 procedure Set_Component_Name
3704 (N : Node_Id; Val : Node_Id) is
3706 pragma Assert (False
3707 or else NT (N).Nkind = N_Component_Clause);
3708 Set_Node1_With_Parent (N, Val);
3709 end Set_Component_Name;
3711 procedure Set_Componentwise_Assignment
3712 (N : Node_Id; Val : Boolean := True) is
3714 pragma Assert (False
3715 or else NT (N).Nkind = N_Assignment_Statement);
3716 Set_Flag14 (N, Val);
3717 end Set_Componentwise_Assignment;
3719 procedure Set_Condition
3720 (N : Node_Id; Val : Node_Id) is
3722 pragma Assert (False
3723 or else NT (N).Nkind = N_Accept_Alternative
3724 or else NT (N).Nkind = N_Delay_Alternative
3725 or else NT (N).Nkind = N_Elsif_Part
3726 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3727 or else NT (N).Nkind = N_Exit_Statement
3728 or else NT (N).Nkind = N_If_Statement
3729 or else NT (N).Nkind = N_Iteration_Scheme
3730 or else NT (N).Nkind = N_Quantified_Expression
3731 or else NT (N).Nkind = N_Raise_Constraint_Error
3732 or else NT (N).Nkind = N_Raise_Program_Error
3733 or else NT (N).Nkind = N_Raise_Storage_Error
3734 or else NT (N).Nkind = N_Terminate_Alternative);
3735 Set_Node1_With_Parent (N, Val);
3738 procedure Set_Condition_Actions
3739 (N : Node_Id; Val : List_Id) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Elsif_Part
3743 or else NT (N).Nkind = N_Iteration_Scheme);
3744 Set_List3 (N, Val); -- semantic field, no parent set
3745 end Set_Condition_Actions;
3747 procedure Set_Config_Pragmas
3748 (N : Node_Id; Val : List_Id) is
3750 pragma Assert (False
3751 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3752 Set_List4_With_Parent (N, Val);
3753 end Set_Config_Pragmas;
3755 procedure Set_Constant_Present
3756 (N : Node_Id; Val : Boolean := True) is
3758 pragma Assert (False
3759 or else NT (N).Nkind = N_Access_Definition
3760 or else NT (N).Nkind = N_Access_To_Object_Definition
3761 or else NT (N).Nkind = N_Object_Declaration);
3762 Set_Flag17 (N, Val);
3763 end Set_Constant_Present;
3765 procedure Set_Constraint
3766 (N : Node_Id; Val : Node_Id) is
3768 pragma Assert (False
3769 or else NT (N).Nkind = N_Subtype_Indication);
3770 Set_Node3_With_Parent (N, Val);
3773 procedure Set_Constraints
3774 (N : Node_Id; Val : List_Id) is
3776 pragma Assert (False
3777 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3778 Set_List1_With_Parent (N, Val);
3779 end Set_Constraints;
3781 procedure Set_Context_Installed
3782 (N : Node_Id; Val : Boolean := True) is
3784 pragma Assert (False
3785 or else NT (N).Nkind = N_With_Clause);
3786 Set_Flag13 (N, Val);
3787 end Set_Context_Installed;
3789 procedure Set_Context_Items
3790 (N : Node_Id; Val : List_Id) is
3792 pragma Assert (False
3793 or else NT (N).Nkind = N_Compilation_Unit);
3794 Set_List1_With_Parent (N, Val);
3795 end Set_Context_Items;
3797 procedure Set_Context_Pending
3798 (N : Node_Id; Val : Boolean := True) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Compilation_Unit);
3802 Set_Flag16 (N, Val);
3803 end Set_Context_Pending;
3805 procedure Set_Contract_Test_Cases
3806 (N : Node_Id; Val : Node_Id) is
3808 pragma Assert (False
3809 or else NT (N).Nkind = N_Contract);
3810 Set_Node2 (N, Val); -- semantic field, no parent set
3811 end Set_Contract_Test_Cases;
3813 procedure Set_Controlling_Argument
3814 (N : Node_Id; Val : Node_Id) is
3816 pragma Assert (False
3817 or else NT (N).Nkind = N_Function_Call
3818 or else NT (N).Nkind = N_Procedure_Call_Statement);
3819 Set_Node1 (N, Val); -- semantic field, no parent set
3820 end Set_Controlling_Argument;
3822 procedure Set_Conversion_OK
3823 (N : Node_Id; Val : Boolean := True) is
3825 pragma Assert (False
3826 or else NT (N).Nkind = N_Type_Conversion);
3827 Set_Flag14 (N, Val);
3828 end Set_Conversion_OK;
3830 procedure Set_Convert_To_Return_False
3831 (N : Node_Id; Val : Boolean := True) is
3833 pragma Assert (False
3834 or else NT (N).Nkind = N_Raise_Expression);
3835 Set_Flag13 (N, Val);
3836 end Set_Convert_To_Return_False;
3838 procedure Set_Corresponding_Aspect
3839 (N : Node_Id; Val : Node_Id) is
3841 pragma Assert (False
3842 or else NT (N).Nkind = N_Pragma);
3844 end Set_Corresponding_Aspect;
3846 procedure Set_Corresponding_Body
3847 (N : Node_Id; Val : Node_Id) is
3849 pragma Assert (False
3850 or else NT (N).Nkind = N_Entry_Declaration
3851 or else NT (N).Nkind = N_Generic_Package_Declaration
3852 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3853 or else NT (N).Nkind = N_Package_Body_Stub
3854 or else NT (N).Nkind = N_Package_Declaration
3855 or else NT (N).Nkind = N_Protected_Body_Stub
3856 or else NT (N).Nkind = N_Protected_Type_Declaration
3857 or else NT (N).Nkind = N_Subprogram_Body_Stub
3858 or else NT (N).Nkind = N_Subprogram_Declaration
3859 or else NT (N).Nkind = N_Task_Body_Stub
3860 or else NT (N).Nkind = N_Task_Type_Declaration);
3861 Set_Node5 (N, Val); -- semantic field, no parent set
3862 end Set_Corresponding_Body;
3864 procedure Set_Corresponding_Formal_Spec
3865 (N : Node_Id; Val : Node_Id) is
3867 pragma Assert (False
3868 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3869 Set_Node3 (N, Val); -- semantic field, no parent set
3870 end Set_Corresponding_Formal_Spec;
3872 procedure Set_Corresponding_Generic_Association
3873 (N : Node_Id; Val : Node_Id) is
3875 pragma Assert (False
3876 or else NT (N).Nkind = N_Object_Declaration
3877 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3878 Set_Node5 (N, Val); -- semantic field, no parent set
3879 end Set_Corresponding_Generic_Association;
3881 procedure Set_Corresponding_Integer_Value
3882 (N : Node_Id; Val : Uint) is
3884 pragma Assert (False
3885 or else NT (N).Nkind = N_Real_Literal);
3886 Set_Uint4 (N, Val); -- semantic field, no parent set
3887 end Set_Corresponding_Integer_Value;
3889 procedure Set_Corresponding_Spec
3890 (N : Node_Id; Val : Node_Id) is
3892 pragma Assert (False
3893 or else NT (N).Nkind = N_Expression_Function
3894 or else NT (N).Nkind = N_Package_Body
3895 or else NT (N).Nkind = N_Protected_Body
3896 or else NT (N).Nkind = N_Subprogram_Body
3897 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3898 or else NT (N).Nkind = N_Task_Body
3899 or else NT (N).Nkind = N_With_Clause);
3900 Set_Node5 (N, Val); -- semantic field, no parent set
3901 end Set_Corresponding_Spec;
3903 procedure Set_Corresponding_Spec_Of_Stub
3904 (N : Node_Id; Val : Entity_Id) is
3906 pragma Assert (False
3907 or else NT (N).Nkind = N_Package_Body_Stub
3908 or else NT (N).Nkind = N_Protected_Body_Stub
3909 or else NT (N).Nkind = N_Subprogram_Body_Stub
3910 or else NT (N).Nkind = N_Task_Body_Stub);
3911 Set_Node2 (N, Val); -- semantic field, no parent set
3912 end Set_Corresponding_Spec_Of_Stub;
3914 procedure Set_Corresponding_Stub
3915 (N : Node_Id; Val : Node_Id) is
3917 pragma Assert (False
3918 or else NT (N).Nkind = N_Subunit);
3920 end Set_Corresponding_Stub;
3922 procedure Set_Dcheck_Function
3923 (N : Node_Id; Val : Entity_Id) is
3925 pragma Assert (False
3926 or else NT (N).Nkind = N_Variant);
3927 Set_Node5 (N, Val); -- semantic field, no parent set
3928 end Set_Dcheck_Function;
3930 procedure Set_Declarations
3931 (N : Node_Id; Val : List_Id) is
3933 pragma Assert (False
3934 or else NT (N).Nkind = N_Accept_Statement
3935 or else NT (N).Nkind = N_Block_Statement
3936 or else NT (N).Nkind = N_Compilation_Unit_Aux
3937 or else NT (N).Nkind = N_Entry_Body
3938 or else NT (N).Nkind = N_Package_Body
3939 or else NT (N).Nkind = N_Protected_Body
3940 or else NT (N).Nkind = N_Subprogram_Body
3941 or else NT (N).Nkind = N_Task_Body);
3942 Set_List2_With_Parent (N, Val);
3943 end Set_Declarations;
3945 procedure Set_Default_Expression
3946 (N : Node_Id; Val : Node_Id) is
3948 pragma Assert (False
3949 or else NT (N).Nkind = N_Formal_Object_Declaration
3950 or else NT (N).Nkind = N_Parameter_Specification);
3951 Set_Node5 (N, Val); -- semantic field, no parent set
3952 end Set_Default_Expression;
3954 procedure Set_Default_Storage_Pool
3955 (N : Node_Id; Val : Node_Id) is
3957 pragma Assert (False
3958 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3959 Set_Node3 (N, Val); -- semantic field, no parent set
3960 end Set_Default_Storage_Pool;
3962 procedure Set_Default_Name
3963 (N : Node_Id; Val : Node_Id) is
3965 pragma Assert (False
3966 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3967 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3968 Set_Node2_With_Parent (N, Val);
3969 end Set_Default_Name;
3971 procedure Set_Defining_Identifier
3972 (N : Node_Id; Val : Entity_Id) is
3974 pragma Assert (False
3975 or else NT (N).Nkind = N_Component_Declaration
3976 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3977 or else NT (N).Nkind = N_Discriminant_Specification
3978 or else NT (N).Nkind = N_Entry_Body
3979 or else NT (N).Nkind = N_Entry_Declaration
3980 or else NT (N).Nkind = N_Entry_Index_Specification
3981 or else NT (N).Nkind = N_Exception_Declaration
3982 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3983 or else NT (N).Nkind = N_Formal_Object_Declaration
3984 or else NT (N).Nkind = N_Formal_Package_Declaration
3985 or else NT (N).Nkind = N_Formal_Type_Declaration
3986 or else NT (N).Nkind = N_Full_Type_Declaration
3987 or else NT (N).Nkind = N_Implicit_Label_Declaration
3988 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3989 or else NT (N).Nkind = N_Iterator_Specification
3990 or else NT (N).Nkind = N_Loop_Parameter_Specification
3991 or else NT (N).Nkind = N_Number_Declaration
3992 or else NT (N).Nkind = N_Object_Declaration
3993 or else NT (N).Nkind = N_Object_Renaming_Declaration
3994 or else NT (N).Nkind = N_Package_Body_Stub
3995 or else NT (N).Nkind = N_Parameter_Specification
3996 or else NT (N).Nkind = N_Private_Extension_Declaration
3997 or else NT (N).Nkind = N_Private_Type_Declaration
3998 or else NT (N).Nkind = N_Protected_Body
3999 or else NT (N).Nkind = N_Protected_Body_Stub
4000 or else NT (N).Nkind = N_Protected_Type_Declaration
4001 or else NT (N).Nkind = N_Single_Protected_Declaration
4002 or else NT (N).Nkind = N_Single_Task_Declaration
4003 or else NT (N).Nkind = N_Subtype_Declaration
4004 or else NT (N).Nkind = N_Task_Body
4005 or else NT (N).Nkind = N_Task_Body_Stub
4006 or else NT (N).Nkind = N_Task_Type_Declaration);
4007 Set_Node1_With_Parent (N, Val);
4008 end Set_Defining_Identifier;
4010 procedure Set_Defining_Unit_Name
4011 (N : Node_Id; Val : Node_Id) is
4013 pragma Assert (False
4014 or else NT (N).Nkind = N_Function_Instantiation
4015 or else NT (N).Nkind = N_Function_Specification
4016 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4017 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4018 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4019 or else NT (N).Nkind = N_Package_Body
4020 or else NT (N).Nkind = N_Package_Instantiation
4021 or else NT (N).Nkind = N_Package_Renaming_Declaration
4022 or else NT (N).Nkind = N_Package_Specification
4023 or else NT (N).Nkind = N_Procedure_Instantiation
4024 or else NT (N).Nkind = N_Procedure_Specification);
4025 Set_Node1_With_Parent (N, Val);
4026 end Set_Defining_Unit_Name;
4028 procedure Set_Delay_Alternative
4029 (N : Node_Id; Val : Node_Id) is
4031 pragma Assert (False
4032 or else NT (N).Nkind = N_Timed_Entry_Call);
4033 Set_Node4_With_Parent (N, Val);
4034 end Set_Delay_Alternative;
4036 procedure Set_Delay_Statement
4037 (N : Node_Id; Val : Node_Id) is
4039 pragma Assert (False
4040 or else NT (N).Nkind = N_Delay_Alternative);
4041 Set_Node2_With_Parent (N, Val);
4042 end Set_Delay_Statement;
4044 procedure Set_Delta_Expression
4045 (N : Node_Id; Val : Node_Id) is
4047 pragma Assert (False
4048 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4049 or else NT (N).Nkind = N_Delta_Constraint
4050 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4051 Set_Node3_With_Parent (N, Val);
4052 end Set_Delta_Expression;
4054 procedure Set_Digits_Expression
4055 (N : Node_Id; Val : Node_Id) is
4057 pragma Assert (False
4058 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4059 or else NT (N).Nkind = N_Digits_Constraint
4060 or else NT (N).Nkind = N_Floating_Point_Definition);
4061 Set_Node2_With_Parent (N, Val);
4062 end Set_Digits_Expression;
4064 procedure Set_Discr_Check_Funcs_Built
4065 (N : Node_Id; Val : Boolean := True) is
4067 pragma Assert (False
4068 or else NT (N).Nkind = N_Full_Type_Declaration);
4069 Set_Flag11 (N, Val);
4070 end Set_Discr_Check_Funcs_Built;
4072 procedure Set_Discrete_Choices
4073 (N : Node_Id; Val : List_Id) is
4075 pragma Assert (False
4076 or else NT (N).Nkind = N_Case_Expression_Alternative
4077 or else NT (N).Nkind = N_Case_Statement_Alternative
4078 or else NT (N).Nkind = N_Variant);
4079 Set_List4_With_Parent (N, Val);
4080 end Set_Discrete_Choices;
4082 procedure Set_Discrete_Range
4083 (N : Node_Id; Val : Node_Id) is
4085 pragma Assert (False
4086 or else NT (N).Nkind = N_Slice);
4087 Set_Node4_With_Parent (N, Val);
4088 end Set_Discrete_Range;
4090 procedure Set_Discrete_Subtype_Definition
4091 (N : Node_Id; Val : Node_Id) is
4093 pragma Assert (False
4094 or else NT (N).Nkind = N_Entry_Declaration
4095 or else NT (N).Nkind = N_Entry_Index_Specification
4096 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4097 Set_Node4_With_Parent (N, Val);
4098 end Set_Discrete_Subtype_Definition;
4100 procedure Set_Discrete_Subtype_Definitions
4101 (N : Node_Id; Val : List_Id) is
4103 pragma Assert (False
4104 or else NT (N).Nkind = N_Constrained_Array_Definition);
4105 Set_List2_With_Parent (N, Val);
4106 end Set_Discrete_Subtype_Definitions;
4108 procedure Set_Discriminant_Specifications
4109 (N : Node_Id; Val : List_Id) is
4111 pragma Assert (False
4112 or else NT (N).Nkind = N_Formal_Type_Declaration
4113 or else NT (N).Nkind = N_Full_Type_Declaration
4114 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4115 or else NT (N).Nkind = N_Private_Extension_Declaration
4116 or else NT (N).Nkind = N_Private_Type_Declaration
4117 or else NT (N).Nkind = N_Protected_Type_Declaration
4118 or else NT (N).Nkind = N_Task_Type_Declaration);
4119 Set_List4_With_Parent (N, Val);
4120 end Set_Discriminant_Specifications;
4122 procedure Set_Discriminant_Type
4123 (N : Node_Id; Val : Node_Id) is
4125 pragma Assert (False
4126 or else NT (N).Nkind = N_Discriminant_Specification);
4127 Set_Node5_With_Parent (N, Val);
4128 end Set_Discriminant_Type;
4130 procedure Set_Do_Accessibility_Check
4131 (N : Node_Id; Val : Boolean := True) is
4133 pragma Assert (False
4134 or else NT (N).Nkind = N_Parameter_Specification);
4135 Set_Flag13 (N, Val);
4136 end Set_Do_Accessibility_Check;
4138 procedure Set_Do_Discriminant_Check
4139 (N : Node_Id; Val : Boolean := True) is
4141 pragma Assert (False
4142 or else NT (N).Nkind = N_Assignment_Statement
4143 or else NT (N).Nkind = N_Selected_Component
4144 or else NT (N).Nkind = N_Type_Conversion);
4146 end Set_Do_Discriminant_Check;
4148 procedure Set_Do_Division_Check
4149 (N : Node_Id; Val : Boolean := True) is
4151 pragma Assert (False
4152 or else NT (N).Nkind = N_Op_Divide
4153 or else NT (N).Nkind = N_Op_Mod
4154 or else NT (N).Nkind = N_Op_Rem);
4155 Set_Flag13 (N, Val);
4156 end Set_Do_Division_Check;
4158 procedure Set_Do_Length_Check
4159 (N : Node_Id; Val : Boolean := True) is
4161 pragma Assert (False
4162 or else NT (N).Nkind = N_Assignment_Statement
4163 or else NT (N).Nkind = N_Op_And
4164 or else NT (N).Nkind = N_Op_Or
4165 or else NT (N).Nkind = N_Op_Xor
4166 or else NT (N).Nkind = N_Type_Conversion);
4168 end Set_Do_Length_Check;
4170 procedure Set_Do_Overflow_Check
4171 (N : Node_Id; Val : Boolean := True) is
4173 pragma Assert (False
4174 or else NT (N).Nkind in N_Op
4175 or else NT (N).Nkind = N_Attribute_Reference
4176 or else NT (N).Nkind = N_Case_Expression
4177 or else NT (N).Nkind = N_If_Expression
4178 or else NT (N).Nkind = N_Type_Conversion);
4179 Set_Flag17 (N, Val);
4180 end Set_Do_Overflow_Check;
4182 procedure Set_Do_Range_Check
4183 (N : Node_Id; Val : Boolean := True) is
4185 pragma Assert (False
4186 or else NT (N).Nkind in N_Subexpr);
4188 end Set_Do_Range_Check;
4190 procedure Set_Do_Storage_Check
4191 (N : Node_Id; Val : Boolean := True) is
4193 pragma Assert (False
4194 or else NT (N).Nkind = N_Allocator
4195 or else NT (N).Nkind = N_Subprogram_Body);
4196 Set_Flag17 (N, Val);
4197 end Set_Do_Storage_Check;
4199 procedure Set_Do_Tag_Check
4200 (N : Node_Id; Val : Boolean := True) is
4202 pragma Assert (False
4203 or else NT (N).Nkind = N_Assignment_Statement
4204 or else NT (N).Nkind = N_Extended_Return_Statement
4205 or else NT (N).Nkind = N_Function_Call
4206 or else NT (N).Nkind = N_Procedure_Call_Statement
4207 or else NT (N).Nkind = N_Simple_Return_Statement
4208 or else NT (N).Nkind = N_Type_Conversion);
4209 Set_Flag13 (N, Val);
4210 end Set_Do_Tag_Check;
4212 procedure Set_Elaborate_All_Desirable
4213 (N : Node_Id; Val : Boolean := True) is
4215 pragma Assert (False
4216 or else NT (N).Nkind = N_With_Clause);
4218 end Set_Elaborate_All_Desirable;
4220 procedure Set_Elaborate_All_Present
4221 (N : Node_Id; Val : Boolean := True) is
4223 pragma Assert (False
4224 or else NT (N).Nkind = N_With_Clause);
4225 Set_Flag14 (N, Val);
4226 end Set_Elaborate_All_Present;
4228 procedure Set_Elaborate_Desirable
4229 (N : Node_Id; Val : Boolean := True) is
4231 pragma Assert (False
4232 or else NT (N).Nkind = N_With_Clause);
4233 Set_Flag11 (N, Val);
4234 end Set_Elaborate_Desirable;
4236 procedure Set_Elaborate_Present
4237 (N : Node_Id; Val : Boolean := True) is
4239 pragma Assert (False
4240 or else NT (N).Nkind = N_With_Clause);
4242 end Set_Elaborate_Present;
4244 procedure Set_Elaboration_Boolean
4245 (N : Node_Id; Val : Node_Id) is
4247 pragma Assert (False
4248 or else NT (N).Nkind = N_Function_Specification
4249 or else NT (N).Nkind = N_Procedure_Specification);
4251 end Set_Elaboration_Boolean;
4253 procedure Set_Else_Actions
4254 (N : Node_Id; Val : List_Id) is
4256 pragma Assert (False
4257 or else NT (N).Nkind = N_If_Expression);
4258 Set_List3_With_Parent (N, Val); -- semantic field, but needs parents
4259 end Set_Else_Actions;
4261 procedure Set_Else_Statements
4262 (N : Node_Id; Val : List_Id) is
4264 pragma Assert (False
4265 or else NT (N).Nkind = N_Conditional_Entry_Call
4266 or else NT (N).Nkind = N_If_Statement
4267 or else NT (N).Nkind = N_Selective_Accept);
4268 Set_List4_With_Parent (N, Val);
4269 end Set_Else_Statements;
4271 procedure Set_Elsif_Parts
4272 (N : Node_Id; Val : List_Id) is
4274 pragma Assert (False
4275 or else NT (N).Nkind = N_If_Statement);
4276 Set_List3_With_Parent (N, Val);
4277 end Set_Elsif_Parts;
4279 procedure Set_Enclosing_Variant
4280 (N : Node_Id; Val : Node_Id) is
4282 pragma Assert (False
4283 or else NT (N).Nkind = N_Variant);
4284 Set_Node2 (N, Val); -- semantic field, no parent set
4285 end Set_Enclosing_Variant;
4287 procedure Set_End_Label
4288 (N : Node_Id; Val : Node_Id) is
4290 pragma Assert (False
4291 or else NT (N).Nkind = N_Enumeration_Type_Definition
4292 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4293 or else NT (N).Nkind = N_Loop_Statement
4294 or else NT (N).Nkind = N_Package_Specification
4295 or else NT (N).Nkind = N_Protected_Body
4296 or else NT (N).Nkind = N_Protected_Definition
4297 or else NT (N).Nkind = N_Record_Definition
4298 or else NT (N).Nkind = N_Task_Definition);
4299 Set_Node4_With_Parent (N, Val);
4302 procedure Set_End_Span
4303 (N : Node_Id; Val : Uint) is
4305 pragma Assert (False
4306 or else NT (N).Nkind = N_Case_Statement
4307 or else NT (N).Nkind = N_If_Statement);
4311 procedure Set_Entity
4312 (N : Node_Id; Val : Node_Id) is
4314 pragma Assert (False
4315 or else NT (N).Nkind in N_Has_Entity
4316 or else NT (N).Nkind = N_Aspect_Specification
4317 or else NT (N).Nkind = N_Attribute_Definition_Clause
4318 or else NT (N).Nkind = N_Freeze_Entity
4319 or else NT (N).Nkind = N_Freeze_Generic_Entity);
4320 Set_Node4 (N, Val); -- semantic field, no parent set
4323 procedure Set_Entry_Body_Formal_Part
4324 (N : Node_Id; Val : Node_Id) is
4326 pragma Assert (False
4327 or else NT (N).Nkind = N_Entry_Body);
4328 Set_Node5_With_Parent (N, Val);
4329 end Set_Entry_Body_Formal_Part;
4331 procedure Set_Entry_Call_Alternative
4332 (N : Node_Id; Val : Node_Id) is
4334 pragma Assert (False
4335 or else NT (N).Nkind = N_Conditional_Entry_Call
4336 or else NT (N).Nkind = N_Timed_Entry_Call);
4337 Set_Node1_With_Parent (N, Val);
4338 end Set_Entry_Call_Alternative;
4340 procedure Set_Entry_Call_Statement
4341 (N : Node_Id; Val : Node_Id) is
4343 pragma Assert (False
4344 or else NT (N).Nkind = N_Entry_Call_Alternative);
4345 Set_Node1_With_Parent (N, Val);
4346 end Set_Entry_Call_Statement;
4348 procedure Set_Entry_Direct_Name
4349 (N : Node_Id; Val : Node_Id) is
4351 pragma Assert (False
4352 or else NT (N).Nkind = N_Accept_Statement);
4353 Set_Node1_With_Parent (N, Val);
4354 end Set_Entry_Direct_Name;
4356 procedure Set_Entry_Index
4357 (N : Node_Id; Val : Node_Id) is
4359 pragma Assert (False
4360 or else NT (N).Nkind = N_Accept_Statement);
4361 Set_Node5_With_Parent (N, Val);
4362 end Set_Entry_Index;
4364 procedure Set_Entry_Index_Specification
4365 (N : Node_Id; Val : Node_Id) is
4367 pragma Assert (False
4368 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4369 Set_Node4_With_Parent (N, Val);
4370 end Set_Entry_Index_Specification;
4373 (N : Node_Id; Val : Node_Id) is
4375 pragma Assert (False
4376 or else NT (N).Nkind in N_Has_Etype);
4377 Set_Node5 (N, Val); -- semantic field, no parent set
4380 procedure Set_Exception_Choices
4381 (N : Node_Id; Val : List_Id) is
4383 pragma Assert (False
4384 or else NT (N).Nkind = N_Exception_Handler);
4385 Set_List4_With_Parent (N, Val);
4386 end Set_Exception_Choices;
4388 procedure Set_Exception_Handlers
4389 (N : Node_Id; Val : List_Id) is
4391 pragma Assert (False
4392 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4393 Set_List5_With_Parent (N, Val);
4394 end Set_Exception_Handlers;
4396 procedure Set_Exception_Junk
4397 (N : Node_Id; Val : Boolean := True) is
4399 pragma Assert (False
4400 or else NT (N).Nkind = N_Block_Statement
4401 or else NT (N).Nkind = N_Goto_Statement
4402 or else NT (N).Nkind = N_Label
4403 or else NT (N).Nkind = N_Object_Declaration
4404 or else NT (N).Nkind = N_Subtype_Declaration);
4406 end Set_Exception_Junk;
4408 procedure Set_Exception_Label
4409 (N : Node_Id; Val : Node_Id) is
4411 pragma Assert (False
4412 or else NT (N).Nkind = N_Exception_Handler
4413 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4414 or else NT (N).Nkind = N_Push_Program_Error_Label
4415 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4416 Set_Node5 (N, Val); -- semantic field, no parent set
4417 end Set_Exception_Label;
4419 procedure Set_Expansion_Delayed
4420 (N : Node_Id; Val : Boolean := True) is
4422 pragma Assert (False
4423 or else NT (N).Nkind = N_Aggregate
4424 or else NT (N).Nkind = N_Extension_Aggregate);
4425 Set_Flag11 (N, Val);
4426 end Set_Expansion_Delayed;
4428 procedure Set_Explicit_Actual_Parameter
4429 (N : Node_Id; Val : Node_Id) is
4431 pragma Assert (False
4432 or else NT (N).Nkind = N_Parameter_Association);
4433 Set_Node3_With_Parent (N, Val);
4434 end Set_Explicit_Actual_Parameter;
4436 procedure Set_Explicit_Generic_Actual_Parameter
4437 (N : Node_Id; Val : Node_Id) is
4439 pragma Assert (False
4440 or else NT (N).Nkind = N_Generic_Association);
4441 Set_Node1_With_Parent (N, Val);
4442 end Set_Explicit_Generic_Actual_Parameter;
4444 procedure Set_Expression
4445 (N : Node_Id; Val : Node_Id) is
4447 pragma Assert (False
4448 or else NT (N).Nkind = N_Allocator
4449 or else NT (N).Nkind = N_Aspect_Specification
4450 or else NT (N).Nkind = N_Assignment_Statement
4451 or else NT (N).Nkind = N_At_Clause
4452 or else NT (N).Nkind = N_Attribute_Definition_Clause
4453 or else NT (N).Nkind = N_Case_Expression
4454 or else NT (N).Nkind = N_Case_Expression_Alternative
4455 or else NT (N).Nkind = N_Case_Statement
4456 or else NT (N).Nkind = N_Code_Statement
4457 or else NT (N).Nkind = N_Component_Association
4458 or else NT (N).Nkind = N_Component_Declaration
4459 or else NT (N).Nkind = N_Delay_Relative_Statement
4460 or else NT (N).Nkind = N_Delay_Until_Statement
4461 or else NT (N).Nkind = N_Discriminant_Association
4462 or else NT (N).Nkind = N_Discriminant_Specification
4463 or else NT (N).Nkind = N_Exception_Declaration
4464 or else NT (N).Nkind = N_Expression_Function
4465 or else NT (N).Nkind = N_Expression_With_Actions
4466 or else NT (N).Nkind = N_Free_Statement
4467 or else NT (N).Nkind = N_Mod_Clause
4468 or else NT (N).Nkind = N_Modular_Type_Definition
4469 or else NT (N).Nkind = N_Number_Declaration
4470 or else NT (N).Nkind = N_Object_Declaration
4471 or else NT (N).Nkind = N_Parameter_Specification
4472 or else NT (N).Nkind = N_Pragma_Argument_Association
4473 or else NT (N).Nkind = N_Qualified_Expression
4474 or else NT (N).Nkind = N_Raise_Expression
4475 or else NT (N).Nkind = N_Raise_Statement
4476 or else NT (N).Nkind = N_Simple_Return_Statement
4477 or else NT (N).Nkind = N_Type_Conversion
4478 or else NT (N).Nkind = N_Unchecked_Expression
4479 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4480 Set_Node3_With_Parent (N, Val);
4483 procedure Set_Expressions
4484 (N : Node_Id; Val : List_Id) is
4486 pragma Assert (False
4487 or else NT (N).Nkind = N_Aggregate
4488 or else NT (N).Nkind = N_Attribute_Reference
4489 or else NT (N).Nkind = N_Extension_Aggregate
4490 or else NT (N).Nkind = N_If_Expression
4491 or else NT (N).Nkind = N_Indexed_Component);
4492 Set_List1_With_Parent (N, Val);
4493 end Set_Expressions;
4495 procedure Set_First_Bit
4496 (N : Node_Id; Val : Node_Id) is
4498 pragma Assert (False
4499 or else NT (N).Nkind = N_Component_Clause);
4500 Set_Node3_With_Parent (N, Val);
4503 procedure Set_First_Inlined_Subprogram
4504 (N : Node_Id; Val : Entity_Id) is
4506 pragma Assert (False
4507 or else NT (N).Nkind = N_Compilation_Unit);
4508 Set_Node3 (N, Val); -- semantic field, no parent set
4509 end Set_First_Inlined_Subprogram;
4511 procedure Set_First_Name
4512 (N : Node_Id; Val : Boolean := True) is
4514 pragma Assert (False
4515 or else NT (N).Nkind = N_With_Clause);
4519 procedure Set_First_Named_Actual
4520 (N : Node_Id; Val : Node_Id) is
4522 pragma Assert (False
4523 or else NT (N).Nkind = N_Entry_Call_Statement
4524 or else NT (N).Nkind = N_Function_Call
4525 or else NT (N).Nkind = N_Procedure_Call_Statement);
4526 Set_Node4 (N, Val); -- semantic field, no parent set
4527 end Set_First_Named_Actual;
4529 procedure Set_First_Real_Statement
4530 (N : Node_Id; Val : Node_Id) is
4532 pragma Assert (False
4533 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4534 Set_Node2 (N, Val); -- semantic field, no parent set
4535 end Set_First_Real_Statement;
4537 procedure Set_First_Subtype_Link
4538 (N : Node_Id; Val : Entity_Id) is
4540 pragma Assert (False
4541 or else NT (N).Nkind = N_Freeze_Entity);
4542 Set_Node5 (N, Val); -- semantic field, no parent set
4543 end Set_First_Subtype_Link;
4545 procedure Set_Float_Truncate
4546 (N : Node_Id; Val : Boolean := True) is
4548 pragma Assert (False
4549 or else NT (N).Nkind = N_Type_Conversion);
4550 Set_Flag11 (N, Val);
4551 end Set_Float_Truncate;
4553 procedure Set_Formal_Type_Definition
4554 (N : Node_Id; Val : Node_Id) is
4556 pragma Assert (False
4557 or else NT (N).Nkind = N_Formal_Type_Declaration);
4558 Set_Node3_With_Parent (N, Val);
4559 end Set_Formal_Type_Definition;
4561 procedure Set_Forwards_OK
4562 (N : Node_Id; Val : Boolean := True) is
4564 pragma Assert (False
4565 or else NT (N).Nkind = N_Assignment_Statement);
4567 end Set_Forwards_OK;
4569 procedure Set_From_Aspect_Specification
4570 (N : Node_Id; Val : Boolean := True) is
4572 pragma Assert (False
4573 or else NT (N).Nkind = N_Attribute_Definition_Clause
4574 or else NT (N).Nkind = N_Pragma);
4575 Set_Flag13 (N, Val);
4576 end Set_From_Aspect_Specification;
4578 procedure Set_From_At_End
4579 (N : Node_Id; Val : Boolean := True) is
4581 pragma Assert (False
4582 or else NT (N).Nkind = N_Raise_Statement);
4584 end Set_From_At_End;
4586 procedure Set_From_At_Mod
4587 (N : Node_Id; Val : Boolean := True) is
4589 pragma Assert (False
4590 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4592 end Set_From_At_Mod;
4594 procedure Set_From_Conditional_Expression
4595 (N : Node_Id; Val : Boolean := True) is
4597 pragma Assert (False
4598 or else NT (N).Nkind = N_Case_Statement
4599 or else NT (N).Nkind = N_If_Statement);
4601 end Set_From_Conditional_Expression;
4603 procedure Set_From_Default
4604 (N : Node_Id; Val : Boolean := True) is
4606 pragma Assert (False
4607 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4609 end Set_From_Default;
4611 procedure Set_Generalized_Indexing
4612 (N : Node_Id; Val : Node_Id) is
4614 pragma Assert (False
4615 or else NT (N).Nkind = N_Indexed_Component);
4617 end Set_Generalized_Indexing;
4619 procedure Set_Generic_Associations
4620 (N : Node_Id; Val : List_Id) is
4622 pragma Assert (False
4623 or else NT (N).Nkind = N_Formal_Package_Declaration
4624 or else NT (N).Nkind = N_Function_Instantiation
4625 or else NT (N).Nkind = N_Package_Instantiation
4626 or else NT (N).Nkind = N_Procedure_Instantiation);
4627 Set_List3_With_Parent (N, Val);
4628 end Set_Generic_Associations;
4630 procedure Set_Generic_Formal_Declarations
4631 (N : Node_Id; Val : List_Id) is
4633 pragma Assert (False
4634 or else NT (N).Nkind = N_Generic_Package_Declaration
4635 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4636 Set_List2_With_Parent (N, Val);
4637 end Set_Generic_Formal_Declarations;
4639 procedure Set_Generic_Parent
4640 (N : Node_Id; Val : Node_Id) is
4642 pragma Assert (False
4643 or else NT (N).Nkind = N_Function_Specification
4644 or else NT (N).Nkind = N_Package_Specification
4645 or else NT (N).Nkind = N_Procedure_Specification);
4647 end Set_Generic_Parent;
4649 procedure Set_Generic_Parent_Type
4650 (N : Node_Id; Val : Node_Id) is
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_Subtype_Declaration);
4655 end Set_Generic_Parent_Type;
4657 procedure Set_Handled_Statement_Sequence
4658 (N : Node_Id; Val : Node_Id) is
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Accept_Statement
4662 or else NT (N).Nkind = N_Block_Statement
4663 or else NT (N).Nkind = N_Entry_Body
4664 or else NT (N).Nkind = N_Extended_Return_Statement
4665 or else NT (N).Nkind = N_Package_Body
4666 or else NT (N).Nkind = N_Subprogram_Body
4667 or else NT (N).Nkind = N_Task_Body);
4668 Set_Node4_With_Parent (N, Val);
4669 end Set_Handled_Statement_Sequence;
4671 procedure Set_Handler_List_Entry
4672 (N : Node_Id; Val : Node_Id) is
4674 pragma Assert (False
4675 or else NT (N).Nkind = N_Object_Declaration);
4677 end Set_Handler_List_Entry;
4679 procedure Set_Has_Created_Identifier
4680 (N : Node_Id; Val : Boolean := True) is
4682 pragma Assert (False
4683 or else NT (N).Nkind = N_Block_Statement
4684 or else NT (N).Nkind = N_Loop_Statement);
4685 Set_Flag15 (N, Val);
4686 end Set_Has_Created_Identifier;
4688 procedure Set_Has_Dereference_Action
4689 (N : Node_Id; Val : Boolean := True) is
4691 pragma Assert (False
4692 or else NT (N).Nkind = N_Explicit_Dereference);
4693 Set_Flag13 (N, Val);
4694 end Set_Has_Dereference_Action;
4696 procedure Set_Has_Dynamic_Length_Check
4697 (N : Node_Id; Val : Boolean := True) is
4699 pragma Assert (False
4700 or else NT (N).Nkind in N_Subexpr);
4701 Set_Flag10 (N, Val);
4702 end Set_Has_Dynamic_Length_Check;
4704 procedure Set_Has_Dynamic_Range_Check
4705 (N : Node_Id; Val : Boolean := True) is
4707 pragma Assert (False
4708 or else NT (N).Nkind = N_Subtype_Declaration
4709 or else NT (N).Nkind in N_Subexpr);
4710 Set_Flag12 (N, Val);
4711 end Set_Has_Dynamic_Range_Check;
4713 procedure Set_Has_Init_Expression
4714 (N : Node_Id; Val : Boolean := True) is
4716 pragma Assert (False
4717 or else NT (N).Nkind = N_Object_Declaration);
4718 Set_Flag14 (N, Val);
4719 end Set_Has_Init_Expression;
4721 procedure Set_Has_Local_Raise
4722 (N : Node_Id; Val : Boolean := True) is
4724 pragma Assert (False
4725 or else NT (N).Nkind = N_Exception_Handler);
4727 end Set_Has_Local_Raise;
4729 procedure Set_Has_No_Elaboration_Code
4730 (N : Node_Id; Val : Boolean := True) is
4732 pragma Assert (False
4733 or else NT (N).Nkind = N_Compilation_Unit);
4734 Set_Flag17 (N, Val);
4735 end Set_Has_No_Elaboration_Code;
4737 procedure Set_Has_Pragma_Suppress_All
4738 (N : Node_Id; Val : Boolean := True) is
4740 pragma Assert (False
4741 or else NT (N).Nkind = N_Compilation_Unit);
4742 Set_Flag14 (N, Val);
4743 end Set_Has_Pragma_Suppress_All;
4745 procedure Set_Has_Private_View
4746 (N : Node_Id; Val : Boolean := True) is
4748 pragma Assert (False
4749 or else NT (N).Nkind in N_Op
4750 or else NT (N).Nkind = N_Character_Literal
4751 or else NT (N).Nkind = N_Expanded_Name
4752 or else NT (N).Nkind = N_Identifier
4753 or else NT (N).Nkind = N_Operator_Symbol);
4754 Set_Flag11 (N, Val);
4755 end Set_Has_Private_View;
4757 procedure Set_Has_Relative_Deadline_Pragma
4758 (N : Node_Id; Val : Boolean := True) is
4760 pragma Assert (False
4761 or else NT (N).Nkind = N_Subprogram_Body
4762 or else NT (N).Nkind = N_Task_Definition);
4764 end Set_Has_Relative_Deadline_Pragma;
4766 procedure Set_Has_Self_Reference
4767 (N : Node_Id; Val : Boolean := True) is
4769 pragma Assert (False
4770 or else NT (N).Nkind = N_Aggregate
4771 or else NT (N).Nkind = N_Extension_Aggregate);
4772 Set_Flag13 (N, Val);
4773 end Set_Has_Self_Reference;
4775 procedure Set_Has_SP_Choice
4776 (N : Node_Id; Val : Boolean := True) is
4778 pragma Assert (False
4779 or else NT (N).Nkind = N_Case_Expression_Alternative
4780 or else NT (N).Nkind = N_Case_Statement_Alternative
4781 or else NT (N).Nkind = N_Variant);
4782 Set_Flag15 (N, Val);
4783 end Set_Has_SP_Choice;
4785 procedure Set_Has_Storage_Size_Pragma
4786 (N : Node_Id; Val : Boolean := True) is
4788 pragma Assert (False
4789 or else NT (N).Nkind = N_Task_Definition);
4791 end Set_Has_Storage_Size_Pragma;
4793 procedure Set_Has_Wide_Character
4794 (N : Node_Id; Val : Boolean := True) is
4796 pragma Assert (False
4797 or else NT (N).Nkind = N_String_Literal);
4798 Set_Flag11 (N, Val);
4799 end Set_Has_Wide_Character;
4801 procedure Set_Has_Wide_Wide_Character
4802 (N : Node_Id; Val : Boolean := True) is
4804 pragma Assert (False
4805 or else NT (N).Nkind = N_String_Literal);
4806 Set_Flag13 (N, Val);
4807 end Set_Has_Wide_Wide_Character;
4809 procedure Set_Header_Size_Added
4810 (N : Node_Id; Val : Boolean := True) is
4812 pragma Assert (False
4813 or else NT (N).Nkind = N_Attribute_Reference);
4814 Set_Flag11 (N, Val);
4815 end Set_Header_Size_Added;
4817 procedure Set_Hidden_By_Use_Clause
4818 (N : Node_Id; Val : Elist_Id) is
4820 pragma Assert (False
4821 or else NT (N).Nkind = N_Use_Package_Clause
4822 or else NT (N).Nkind = N_Use_Type_Clause);
4823 Set_Elist4 (N, Val);
4824 end Set_Hidden_By_Use_Clause;
4826 procedure Set_High_Bound
4827 (N : Node_Id; Val : Node_Id) is
4829 pragma Assert (False
4830 or else NT (N).Nkind = N_Range
4831 or else NT (N).Nkind = N_Real_Range_Specification
4832 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4833 Set_Node2_With_Parent (N, Val);
4836 procedure Set_Identifier
4837 (N : Node_Id; Val : Node_Id) is
4839 pragma Assert (False
4840 or else NT (N).Nkind = N_Aspect_Specification
4841 or else NT (N).Nkind = N_At_Clause
4842 or else NT (N).Nkind = N_Block_Statement
4843 or else NT (N).Nkind = N_Designator
4844 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4845 or else NT (N).Nkind = N_Label
4846 or else NT (N).Nkind = N_Loop_Statement
4847 or else NT (N).Nkind = N_Record_Representation_Clause);
4848 Set_Node1_With_Parent (N, Val);
4851 procedure Set_Implicit_With
4852 (N : Node_Id; Val : Boolean := True) is
4854 pragma Assert (False
4855 or else NT (N).Nkind = N_With_Clause);
4856 Set_Flag16 (N, Val);
4857 end Set_Implicit_With;
4859 procedure Set_Implicit_With_From_Instantiation
4860 (N : Node_Id; Val : Boolean := True) is
4862 pragma Assert (False
4863 or else NT (N).Nkind = N_With_Clause);
4864 Set_Flag12 (N, Val);
4865 end Set_Implicit_With_From_Instantiation;
4867 procedure Set_Interface_List
4868 (N : Node_Id; Val : List_Id) is
4870 pragma Assert (False
4871 or else NT (N).Nkind = N_Derived_Type_Definition
4872 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4873 or else NT (N).Nkind = N_Private_Extension_Declaration
4874 or else NT (N).Nkind = N_Protected_Type_Declaration
4875 or else NT (N).Nkind = N_Record_Definition
4876 or else NT (N).Nkind = N_Single_Protected_Declaration
4877 or else NT (N).Nkind = N_Single_Task_Declaration
4878 or else NT (N).Nkind = N_Task_Type_Declaration);
4879 Set_List2_With_Parent (N, Val);
4880 end Set_Interface_List;
4882 procedure Set_Interface_Present
4883 (N : Node_Id; Val : Boolean := True) is
4885 pragma Assert (False
4886 or else NT (N).Nkind = N_Derived_Type_Definition
4887 or else NT (N).Nkind = N_Record_Definition);
4888 Set_Flag16 (N, Val);
4889 end Set_Interface_Present;
4891 procedure Set_Import_Interface_Present
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Pragma);
4896 Set_Flag16 (N, Val);
4897 end Set_Import_Interface_Present;
4899 procedure Set_In_Present
4900 (N : Node_Id; Val : Boolean := True) is
4902 pragma Assert (False
4903 or else NT (N).Nkind = N_Formal_Object_Declaration
4904 or else NT (N).Nkind = N_Parameter_Specification);
4905 Set_Flag15 (N, Val);
4908 procedure Set_Includes_Infinities
4909 (N : Node_Id; Val : Boolean := True) is
4911 pragma Assert (False
4912 or else NT (N).Nkind = N_Range);
4913 Set_Flag11 (N, Val);
4914 end Set_Includes_Infinities;
4916 procedure Set_Incomplete_View
4917 (N : Node_Id; Val : Node_Id) is
4919 pragma Assert (False
4920 or else NT (N).Nkind = N_Full_Type_Declaration);
4921 Set_Node2 (N, Val); -- semantic field, no Parent set
4922 end Set_Incomplete_View;
4924 procedure Set_Inherited_Discriminant
4925 (N : Node_Id; Val : Boolean := True) is
4927 pragma Assert (False
4928 or else NT (N).Nkind = N_Component_Association);
4929 Set_Flag13 (N, Val);
4930 end Set_Inherited_Discriminant;
4932 procedure Set_Instance_Spec
4933 (N : Node_Id; Val : Node_Id) is
4935 pragma Assert (False
4936 or else NT (N).Nkind = N_Formal_Package_Declaration
4937 or else NT (N).Nkind = N_Function_Instantiation
4938 or else NT (N).Nkind = N_Package_Instantiation
4939 or else NT (N).Nkind = N_Procedure_Instantiation);
4940 Set_Node5 (N, Val); -- semantic field, no Parent set
4941 end Set_Instance_Spec;
4943 procedure Set_Intval
4944 (N : Node_Id; Val : Uint) is
4946 pragma Assert (False
4947 or else NT (N).Nkind = N_Integer_Literal);
4951 procedure Set_Is_Accessibility_Actual
4952 (N : Node_Id; Val : Boolean := True) is
4954 pragma Assert (False
4955 or else NT (N).Nkind = N_Parameter_Association);
4956 Set_Flag13 (N, Val);
4957 end Set_Is_Accessibility_Actual;
4959 procedure Set_Is_Asynchronous_Call_Block
4960 (N : Node_Id; Val : Boolean := True) is
4962 pragma Assert (False
4963 or else NT (N).Nkind = N_Block_Statement);
4965 end Set_Is_Asynchronous_Call_Block;
4967 procedure Set_Is_Boolean_Aspect
4968 (N : Node_Id; Val : Boolean := True) is
4970 pragma Assert (False
4971 or else NT (N).Nkind = N_Aspect_Specification);
4972 Set_Flag16 (N, Val);
4973 end Set_Is_Boolean_Aspect;
4975 procedure Set_Is_Checked
4976 (N : Node_Id; Val : Boolean := True) is
4978 pragma Assert (False
4979 or else NT (N).Nkind = N_Aspect_Specification
4980 or else NT (N).Nkind = N_Pragma);
4981 Set_Flag11 (N, Val);
4984 procedure Set_Is_Component_Left_Opnd
4985 (N : Node_Id; Val : Boolean := True) is
4987 pragma Assert (False
4988 or else NT (N).Nkind = N_Op_Concat);
4989 Set_Flag13 (N, Val);
4990 end Set_Is_Component_Left_Opnd;
4992 procedure Set_Is_Component_Right_Opnd
4993 (N : Node_Id; Val : Boolean := True) is
4995 pragma Assert (False
4996 or else NT (N).Nkind = N_Op_Concat);
4997 Set_Flag14 (N, Val);
4998 end Set_Is_Component_Right_Opnd;
5000 procedure Set_Is_Controlling_Actual
5001 (N : Node_Id; Val : Boolean := True) is
5003 pragma Assert (False
5004 or else NT (N).Nkind in N_Subexpr);
5005 Set_Flag16 (N, Val);
5006 end Set_Is_Controlling_Actual;
5008 procedure Set_Is_Delayed_Aspect
5009 (N : Node_Id; Val : Boolean := True) is
5011 pragma Assert (False
5012 or else NT (N).Nkind = N_Aspect_Specification
5013 or else NT (N).Nkind = N_Attribute_Definition_Clause
5014 or else NT (N).Nkind = N_Pragma);
5015 Set_Flag14 (N, Val);
5016 end Set_Is_Delayed_Aspect;
5018 procedure Set_Is_Disabled
5019 (N : Node_Id; Val : Boolean := True) is
5021 pragma Assert (False
5022 or else NT (N).Nkind = N_Aspect_Specification
5023 or else NT (N).Nkind = N_Pragma);
5024 Set_Flag15 (N, Val);
5025 end Set_Is_Disabled;
5027 procedure Set_Is_Dynamic_Coextension
5028 (N : Node_Id; Val : Boolean := True) is
5030 pragma Assert (False
5031 or else NT (N).Nkind = N_Allocator);
5032 Set_Flag18 (N, Val);
5033 end Set_Is_Dynamic_Coextension;
5035 procedure Set_Is_Elsif
5036 (N : Node_Id; Val : Boolean := True) is
5038 pragma Assert (False
5039 or else NT (N).Nkind = N_If_Expression);
5040 Set_Flag13 (N, Val);
5043 procedure Set_Is_Entry_Barrier_Function
5044 (N : Node_Id; Val : Boolean := True) is
5046 pragma Assert (False
5047 or else NT (N).Nkind = N_Subprogram_Body);
5049 end Set_Is_Entry_Barrier_Function;
5051 procedure Set_Is_Expanded_Build_In_Place_Call
5052 (N : Node_Id; Val : Boolean := True) is
5054 pragma Assert (False
5055 or else NT (N).Nkind = N_Function_Call);
5056 Set_Flag11 (N, Val);
5057 end Set_Is_Expanded_Build_In_Place_Call;
5059 procedure Set_Is_Finalization_Wrapper
5060 (N : Node_Id; Val : Boolean := True) is
5062 pragma Assert (False
5063 or else NT (N).Nkind = N_Block_Statement);
5065 end Set_Is_Finalization_Wrapper;
5067 procedure Set_Is_Folded_In_Parser
5068 (N : Node_Id; Val : Boolean := True) is
5070 pragma Assert (False
5071 or else NT (N).Nkind = N_String_Literal);
5073 end Set_Is_Folded_In_Parser;
5075 procedure Set_Is_Ignored
5076 (N : Node_Id; Val : Boolean := True) is
5078 pragma Assert (False
5079 or else NT (N).Nkind = N_Aspect_Specification
5080 or else NT (N).Nkind = N_Pragma);
5084 procedure Set_Is_In_Discriminant_Check
5085 (N : Node_Id; Val : Boolean := True) is
5087 pragma Assert (False
5088 or else NT (N).Nkind = N_Selected_Component);
5089 Set_Flag11 (N, Val);
5090 end Set_Is_In_Discriminant_Check;
5092 procedure Set_Is_Machine_Number
5093 (N : Node_Id; Val : Boolean := True) is
5095 pragma Assert (False
5096 or else NT (N).Nkind = N_Real_Literal);
5097 Set_Flag11 (N, Val);
5098 end Set_Is_Machine_Number;
5100 procedure Set_Is_Null_Loop
5101 (N : Node_Id; Val : Boolean := True) is
5103 pragma Assert (False
5104 or else NT (N).Nkind = N_Loop_Statement);
5105 Set_Flag16 (N, Val);
5106 end Set_Is_Null_Loop;
5108 procedure Set_Is_Overloaded
5109 (N : Node_Id; Val : Boolean := True) is
5111 pragma Assert (False
5112 or else NT (N).Nkind in N_Subexpr);
5114 end Set_Is_Overloaded;
5116 procedure Set_Is_Power_Of_2_For_Shift
5117 (N : Node_Id; Val : Boolean := True) is
5119 pragma Assert (False
5120 or else NT (N).Nkind = N_Op_Expon);
5121 Set_Flag13 (N, Val);
5122 end Set_Is_Power_Of_2_For_Shift;
5124 procedure Set_Is_Prefixed_Call
5125 (N : Node_Id; Val : Boolean := True) is
5127 pragma Assert (False
5128 or else NT (N).Nkind = N_Selected_Component);
5129 Set_Flag17 (N, Val);
5130 end Set_Is_Prefixed_Call;
5132 procedure Set_Is_Protected_Subprogram_Body
5133 (N : Node_Id; Val : Boolean := True) is
5135 pragma Assert (False
5136 or else NT (N).Nkind = N_Subprogram_Body);
5138 end Set_Is_Protected_Subprogram_Body;
5140 procedure Set_Is_Static_Coextension
5141 (N : Node_Id; Val : Boolean := True) is
5143 pragma Assert (False
5144 or else NT (N).Nkind = N_Allocator);
5145 Set_Flag14 (N, Val);
5146 end Set_Is_Static_Coextension;
5148 procedure Set_Is_Static_Expression
5149 (N : Node_Id; Val : Boolean := True) is
5151 pragma Assert (False
5152 or else NT (N).Nkind in N_Subexpr);
5154 end Set_Is_Static_Expression;
5156 procedure Set_Is_Subprogram_Descriptor
5157 (N : Node_Id; Val : Boolean := True) is
5159 pragma Assert (False
5160 or else NT (N).Nkind = N_Object_Declaration);
5161 Set_Flag16 (N, Val);
5162 end Set_Is_Subprogram_Descriptor;
5164 procedure Set_Is_Task_Allocation_Block
5165 (N : Node_Id; Val : Boolean := True) is
5167 pragma Assert (False
5168 or else NT (N).Nkind = N_Block_Statement);
5170 end Set_Is_Task_Allocation_Block;
5172 procedure Set_Is_Task_Master
5173 (N : Node_Id; Val : Boolean := True) is
5175 pragma Assert (False
5176 or else NT (N).Nkind = N_Block_Statement
5177 or else NT (N).Nkind = N_Subprogram_Body
5178 or else NT (N).Nkind = N_Task_Body);
5180 end Set_Is_Task_Master;
5182 procedure Set_Iteration_Scheme
5183 (N : Node_Id; Val : Node_Id) is
5185 pragma Assert (False
5186 or else NT (N).Nkind = N_Loop_Statement);
5187 Set_Node2_With_Parent (N, Val);
5188 end Set_Iteration_Scheme;
5190 procedure Set_Iterator_Specification
5191 (N : Node_Id; Val : Node_Id) is
5193 pragma Assert (False
5194 or else NT (N).Nkind = N_Iteration_Scheme
5195 or else NT (N).Nkind = N_Quantified_Expression);
5196 Set_Node2_With_Parent (N, Val);
5197 end Set_Iterator_Specification;
5200 (N : Node_Id; Val : Entity_Id) is
5202 pragma Assert (False
5203 or else NT (N).Nkind = N_Itype_Reference);
5204 Set_Node1 (N, Val); -- no parent, semantic field
5207 procedure Set_Kill_Range_Check
5208 (N : Node_Id; Val : Boolean := True) is
5210 pragma Assert (False
5211 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5212 Set_Flag11 (N, Val);
5213 end Set_Kill_Range_Check;
5215 procedure Set_Label_Construct
5216 (N : Node_Id; Val : Node_Id) is
5218 pragma Assert (False
5219 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5220 Set_Node2 (N, Val); -- semantic field, no parent set
5221 end Set_Label_Construct;
5223 procedure Set_Last_Bit
5224 (N : Node_Id; Val : Node_Id) is
5226 pragma Assert (False
5227 or else NT (N).Nkind = N_Component_Clause);
5228 Set_Node4_With_Parent (N, Val);
5231 procedure Set_Last_Name
5232 (N : Node_Id; Val : Boolean := True) is
5234 pragma Assert (False
5235 or else NT (N).Nkind = N_With_Clause);
5239 procedure Set_Left_Opnd
5240 (N : Node_Id; Val : Node_Id) is
5242 pragma Assert (False
5243 or else NT (N).Nkind = N_And_Then
5244 or else NT (N).Nkind = N_In
5245 or else NT (N).Nkind = N_Not_In
5246 or else NT (N).Nkind = N_Or_Else
5247 or else NT (N).Nkind in N_Binary_Op);
5248 Set_Node2_With_Parent (N, Val);
5251 procedure Set_Library_Unit
5252 (N : Node_Id; Val : Node_Id) is
5254 pragma Assert (False
5255 or else NT (N).Nkind = N_Compilation_Unit
5256 or else NT (N).Nkind = N_Package_Body_Stub
5257 or else NT (N).Nkind = N_Protected_Body_Stub
5258 or else NT (N).Nkind = N_Subprogram_Body_Stub
5259 or else NT (N).Nkind = N_Task_Body_Stub
5260 or else NT (N).Nkind = N_With_Clause);
5261 Set_Node4 (N, Val); -- semantic field, no parent set
5262 end Set_Library_Unit;
5264 procedure Set_Limited_View_Installed
5265 (N : Node_Id; Val : Boolean := True) is
5267 pragma Assert (False
5268 or else NT (N).Nkind = N_Package_Specification
5269 or else NT (N).Nkind = N_With_Clause);
5270 Set_Flag18 (N, Val);
5271 end Set_Limited_View_Installed;
5273 procedure Set_Limited_Present
5274 (N : Node_Id; Val : Boolean := True) is
5276 pragma Assert (False
5277 or else NT (N).Nkind = N_Derived_Type_Definition
5278 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5279 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5280 or else NT (N).Nkind = N_Private_Extension_Declaration
5281 or else NT (N).Nkind = N_Private_Type_Declaration
5282 or else NT (N).Nkind = N_Record_Definition
5283 or else NT (N).Nkind = N_With_Clause);
5284 Set_Flag17 (N, Val);
5285 end Set_Limited_Present;
5287 procedure Set_Literals
5288 (N : Node_Id; Val : List_Id) is
5290 pragma Assert (False
5291 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5292 Set_List1_With_Parent (N, Val);
5295 procedure Set_Local_Raise_Not_OK
5296 (N : Node_Id; Val : Boolean := True) is
5298 pragma Assert (False
5299 or else NT (N).Nkind = N_Exception_Handler);
5301 end Set_Local_Raise_Not_OK;
5303 procedure Set_Local_Raise_Statements
5304 (N : Node_Id; Val : Elist_Id) is
5306 pragma Assert (False
5307 or else NT (N).Nkind = N_Exception_Handler);
5308 Set_Elist1 (N, Val);
5309 end Set_Local_Raise_Statements;
5311 procedure Set_Loop_Actions
5312 (N : Node_Id; Val : List_Id) is
5314 pragma Assert (False
5315 or else NT (N).Nkind = N_Component_Association);
5316 Set_List2 (N, Val); -- semantic field, no parent set
5317 end Set_Loop_Actions;
5319 procedure Set_Loop_Parameter_Specification
5320 (N : Node_Id; Val : Node_Id) is
5322 pragma Assert (False
5323 or else NT (N).Nkind = N_Iteration_Scheme
5324 or else NT (N).Nkind = N_Quantified_Expression);
5325 Set_Node4_With_Parent (N, Val);
5326 end Set_Loop_Parameter_Specification;
5328 procedure Set_Low_Bound
5329 (N : Node_Id; Val : Node_Id) is
5331 pragma Assert (False
5332 or else NT (N).Nkind = N_Range
5333 or else NT (N).Nkind = N_Real_Range_Specification
5334 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5335 Set_Node1_With_Parent (N, Val);
5338 procedure Set_Mod_Clause
5339 (N : Node_Id; Val : Node_Id) is
5341 pragma Assert (False
5342 or else NT (N).Nkind = N_Record_Representation_Clause);
5343 Set_Node2_With_Parent (N, Val);
5346 procedure Set_More_Ids
5347 (N : Node_Id; Val : Boolean := True) is
5349 pragma Assert (False
5350 or else NT (N).Nkind = N_Component_Declaration
5351 or else NT (N).Nkind = N_Discriminant_Specification
5352 or else NT (N).Nkind = N_Exception_Declaration
5353 or else NT (N).Nkind = N_Formal_Object_Declaration
5354 or else NT (N).Nkind = N_Number_Declaration
5355 or else NT (N).Nkind = N_Object_Declaration
5356 or else NT (N).Nkind = N_Parameter_Specification);
5360 procedure Set_Must_Be_Byte_Aligned
5361 (N : Node_Id; Val : Boolean := True) is
5363 pragma Assert (False
5364 or else NT (N).Nkind = N_Attribute_Reference);
5365 Set_Flag14 (N, Val);
5366 end Set_Must_Be_Byte_Aligned;
5368 procedure Set_Must_Not_Freeze
5369 (N : Node_Id; Val : Boolean := True) is
5371 pragma Assert (False
5372 or else NT (N).Nkind = N_Subtype_Indication
5373 or else NT (N).Nkind in N_Subexpr);
5375 end Set_Must_Not_Freeze;
5377 procedure Set_Must_Not_Override
5378 (N : Node_Id; Val : Boolean := True) is
5380 pragma Assert (False
5381 or else NT (N).Nkind = N_Entry_Declaration
5382 or else NT (N).Nkind = N_Function_Instantiation
5383 or else NT (N).Nkind = N_Function_Specification
5384 or else NT (N).Nkind = N_Procedure_Instantiation
5385 or else NT (N).Nkind = N_Procedure_Specification);
5386 Set_Flag15 (N, Val);
5387 end Set_Must_Not_Override;
5389 procedure Set_Must_Override
5390 (N : Node_Id; Val : Boolean := True) is
5392 pragma Assert (False
5393 or else NT (N).Nkind = N_Entry_Declaration
5394 or else NT (N).Nkind = N_Function_Instantiation
5395 or else NT (N).Nkind = N_Function_Specification
5396 or else NT (N).Nkind = N_Procedure_Instantiation
5397 or else NT (N).Nkind = N_Procedure_Specification);
5398 Set_Flag14 (N, Val);
5399 end Set_Must_Override;
5402 (N : Node_Id; Val : Node_Id) is
5404 pragma Assert (False
5405 or else NT (N).Nkind = N_Assignment_Statement
5406 or else NT (N).Nkind = N_Attribute_Definition_Clause
5407 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5408 or else NT (N).Nkind = N_Designator
5409 or else NT (N).Nkind = N_Entry_Call_Statement
5410 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5411 or else NT (N).Nkind = N_Exit_Statement
5412 or else NT (N).Nkind = N_Formal_Package_Declaration
5413 or else NT (N).Nkind = N_Function_Call
5414 or else NT (N).Nkind = N_Function_Instantiation
5415 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5416 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5417 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5418 or else NT (N).Nkind = N_Goto_Statement
5419 or else NT (N).Nkind = N_Iterator_Specification
5420 or else NT (N).Nkind = N_Object_Renaming_Declaration
5421 or else NT (N).Nkind = N_Package_Instantiation
5422 or else NT (N).Nkind = N_Package_Renaming_Declaration
5423 or else NT (N).Nkind = N_Procedure_Call_Statement
5424 or else NT (N).Nkind = N_Procedure_Instantiation
5425 or else NT (N).Nkind = N_Raise_Expression
5426 or else NT (N).Nkind = N_Raise_Statement
5427 or else NT (N).Nkind = N_Requeue_Statement
5428 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5429 or else NT (N).Nkind = N_Subunit
5430 or else NT (N).Nkind = N_Variant_Part
5431 or else NT (N).Nkind = N_With_Clause);
5432 Set_Node2_With_Parent (N, Val);
5436 (N : Node_Id; Val : List_Id) is
5438 pragma Assert (False
5439 or else NT (N).Nkind = N_Abort_Statement
5440 or else NT (N).Nkind = N_Use_Package_Clause);
5441 Set_List2_With_Parent (N, Val);
5444 procedure Set_Next_Entity
5445 (N : Node_Id; Val : Node_Id) is
5447 pragma Assert (False
5448 or else NT (N).Nkind = N_Defining_Character_Literal
5449 or else NT (N).Nkind = N_Defining_Identifier
5450 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5451 Set_Node2 (N, Val); -- semantic field, no parent set
5452 end Set_Next_Entity;
5454 procedure Set_Next_Exit_Statement
5455 (N : Node_Id; Val : Node_Id) is
5457 pragma Assert (False
5458 or else NT (N).Nkind = N_Exit_Statement);
5459 Set_Node3 (N, Val); -- semantic field, no parent set
5460 end Set_Next_Exit_Statement;
5462 procedure Set_Next_Implicit_With
5463 (N : Node_Id; Val : Node_Id) is
5465 pragma Assert (False
5466 or else NT (N).Nkind = N_With_Clause);
5467 Set_Node3 (N, Val); -- semantic field, no parent set
5468 end Set_Next_Implicit_With;
5470 procedure Set_Next_Named_Actual
5471 (N : Node_Id; Val : Node_Id) is
5473 pragma Assert (False
5474 or else NT (N).Nkind = N_Parameter_Association);
5475 Set_Node4 (N, Val); -- semantic field, no parent set
5476 end Set_Next_Named_Actual;
5478 procedure Set_Next_Pragma
5479 (N : Node_Id; Val : Node_Id) is
5481 pragma Assert (False
5482 or else NT (N).Nkind = N_Pragma);
5483 Set_Node1 (N, Val); -- semantic field, no parent set
5484 end Set_Next_Pragma;
5486 procedure Set_Next_Rep_Item
5487 (N : Node_Id; Val : Node_Id) is
5489 pragma Assert (False
5490 or else NT (N).Nkind = N_Aspect_Specification
5491 or else NT (N).Nkind = N_Attribute_Definition_Clause
5492 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5493 or else NT (N).Nkind = N_Pragma
5494 or else NT (N).Nkind = N_Record_Representation_Clause);
5495 Set_Node5 (N, Val); -- semantic field, no parent set
5496 end Set_Next_Rep_Item;
5498 procedure Set_Next_Use_Clause
5499 (N : Node_Id; Val : Node_Id) is
5501 pragma Assert (False
5502 or else NT (N).Nkind = N_Use_Package_Clause
5503 or else NT (N).Nkind = N_Use_Type_Clause);
5504 Set_Node3 (N, Val); -- semantic field, no parent set
5505 end Set_Next_Use_Clause;
5507 procedure Set_No_Ctrl_Actions
5508 (N : Node_Id; Val : Boolean := True) is
5510 pragma Assert (False
5511 or else NT (N).Nkind = N_Assignment_Statement);
5513 end Set_No_Ctrl_Actions;
5515 procedure Set_No_Elaboration_Check
5516 (N : Node_Id; Val : Boolean := True) is
5518 pragma Assert (False
5519 or else NT (N).Nkind = N_Function_Call
5520 or else NT (N).Nkind = N_Procedure_Call_Statement);
5521 Set_Flag14 (N, Val);
5522 end Set_No_Elaboration_Check;
5524 procedure Set_No_Entities_Ref_In_Spec
5525 (N : Node_Id; Val : Boolean := True) is
5527 pragma Assert (False
5528 or else NT (N).Nkind = N_With_Clause);
5530 end Set_No_Entities_Ref_In_Spec;
5532 procedure Set_No_Initialization
5533 (N : Node_Id; Val : Boolean := True) is
5535 pragma Assert (False
5536 or else NT (N).Nkind = N_Allocator
5537 or else NT (N).Nkind = N_Object_Declaration);
5538 Set_Flag13 (N, Val);
5539 end Set_No_Initialization;
5541 procedure Set_No_Minimize_Eliminate
5542 (N : Node_Id; Val : Boolean := True) is
5544 pragma Assert (False
5545 or else NT (N).Nkind = N_In
5546 or else NT (N).Nkind = N_Not_In);
5547 Set_Flag17 (N, Val);
5548 end Set_No_Minimize_Eliminate;
5550 procedure Set_No_Truncation
5551 (N : Node_Id; Val : Boolean := True) is
5553 pragma Assert (False
5554 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5555 Set_Flag17 (N, Val);
5556 end Set_No_Truncation;
5558 procedure Set_Non_Aliased_Prefix
5559 (N : Node_Id; Val : Boolean := True) is
5561 pragma Assert (False
5562 or else NT (N).Nkind = N_Attribute_Reference);
5563 Set_Flag18 (N, Val);
5564 end Set_Non_Aliased_Prefix;
5566 procedure Set_Null_Present
5567 (N : Node_Id; Val : Boolean := True) is
5569 pragma Assert (False
5570 or else NT (N).Nkind = N_Component_List
5571 or else NT (N).Nkind = N_Procedure_Specification
5572 or else NT (N).Nkind = N_Record_Definition);
5573 Set_Flag13 (N, Val);
5574 end Set_Null_Present;
5576 procedure Set_Null_Excluding_Subtype
5577 (N : Node_Id; Val : Boolean := True) is
5579 pragma Assert (False
5580 or else NT (N).Nkind = N_Access_To_Object_Definition);
5581 Set_Flag16 (N, Val);
5582 end Set_Null_Excluding_Subtype;
5584 procedure Set_Null_Exclusion_Present
5585 (N : Node_Id; Val : Boolean := True) is
5587 pragma Assert (False
5588 or else NT (N).Nkind = N_Access_Definition
5589 or else NT (N).Nkind = N_Access_Function_Definition
5590 or else NT (N).Nkind = N_Access_Procedure_Definition
5591 or else NT (N).Nkind = N_Access_To_Object_Definition
5592 or else NT (N).Nkind = N_Allocator
5593 or else NT (N).Nkind = N_Component_Definition
5594 or else NT (N).Nkind = N_Derived_Type_Definition
5595 or else NT (N).Nkind = N_Discriminant_Specification
5596 or else NT (N).Nkind = N_Formal_Object_Declaration
5597 or else NT (N).Nkind = N_Function_Specification
5598 or else NT (N).Nkind = N_Object_Declaration
5599 or else NT (N).Nkind = N_Object_Renaming_Declaration
5600 or else NT (N).Nkind = N_Parameter_Specification
5601 or else NT (N).Nkind = N_Subtype_Declaration);
5602 Set_Flag11 (N, Val);
5603 end Set_Null_Exclusion_Present;
5605 procedure Set_Null_Exclusion_In_Return_Present
5606 (N : Node_Id; Val : Boolean := True) is
5608 pragma Assert (False
5609 or else NT (N).Nkind = N_Access_Function_Definition);
5610 Set_Flag14 (N, Val);
5611 end Set_Null_Exclusion_In_Return_Present;
5613 procedure Set_Null_Record_Present
5614 (N : Node_Id; Val : Boolean := True) is
5616 pragma Assert (False
5617 or else NT (N).Nkind = N_Aggregate
5618 or else NT (N).Nkind = N_Extension_Aggregate);
5619 Set_Flag17 (N, Val);
5620 end Set_Null_Record_Present;
5622 procedure Set_Object_Definition
5623 (N : Node_Id; Val : Node_Id) is
5625 pragma Assert (False
5626 or else NT (N).Nkind = N_Object_Declaration);
5627 Set_Node4_With_Parent (N, Val);
5628 end Set_Object_Definition;
5630 procedure Set_Of_Present
5631 (N : Node_Id; Val : Boolean := True) is
5633 pragma Assert (False
5634 or else NT (N).Nkind = N_Iterator_Specification);
5635 Set_Flag16 (N, Val);
5638 procedure Set_Original_Discriminant
5639 (N : Node_Id; Val : Node_Id) is
5641 pragma Assert (False
5642 or else NT (N).Nkind = N_Identifier);
5643 Set_Node2 (N, Val); -- semantic field, no parent set
5644 end Set_Original_Discriminant;
5646 procedure Set_Original_Entity
5647 (N : Node_Id; Val : Entity_Id) is
5649 pragma Assert (False
5650 or else NT (N).Nkind = N_Integer_Literal
5651 or else NT (N).Nkind = N_Real_Literal);
5652 Set_Node2 (N, Val); -- semantic field, no parent set
5653 end Set_Original_Entity;
5655 procedure Set_Others_Discrete_Choices
5656 (N : Node_Id; Val : List_Id) is
5658 pragma Assert (False
5659 or else NT (N).Nkind = N_Others_Choice);
5660 Set_List1_With_Parent (N, Val);
5661 end Set_Others_Discrete_Choices;
5663 procedure Set_Out_Present
5664 (N : Node_Id; Val : Boolean := True) is
5666 pragma Assert (False
5667 or else NT (N).Nkind = N_Formal_Object_Declaration
5668 or else NT (N).Nkind = N_Parameter_Specification);
5669 Set_Flag17 (N, Val);
5670 end Set_Out_Present;
5672 procedure Set_Parameter_Associations
5673 (N : Node_Id; Val : List_Id) is
5675 pragma Assert (False
5676 or else NT (N).Nkind = N_Entry_Call_Statement
5677 or else NT (N).Nkind = N_Function_Call
5678 or else NT (N).Nkind = N_Procedure_Call_Statement);
5679 Set_List3_With_Parent (N, Val);
5680 end Set_Parameter_Associations;
5682 procedure Set_Parameter_List_Truncated
5683 (N : Node_Id; Val : Boolean := True) is
5685 pragma Assert (False
5686 or else NT (N).Nkind = N_Function_Call
5687 or else NT (N).Nkind = N_Procedure_Call_Statement);
5688 Set_Flag17 (N, Val);
5689 end Set_Parameter_List_Truncated;
5691 procedure Set_Parameter_Specifications
5692 (N : Node_Id; Val : List_Id) is
5694 pragma Assert (False
5695 or else NT (N).Nkind = N_Accept_Statement
5696 or else NT (N).Nkind = N_Access_Function_Definition
5697 or else NT (N).Nkind = N_Access_Procedure_Definition
5698 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5699 or else NT (N).Nkind = N_Entry_Declaration
5700 or else NT (N).Nkind = N_Function_Specification
5701 or else NT (N).Nkind = N_Procedure_Specification);
5702 Set_List3_With_Parent (N, Val);
5703 end Set_Parameter_Specifications;
5705 procedure Set_Parameter_Type
5706 (N : Node_Id; Val : Node_Id) is
5708 pragma Assert (False
5709 or else NT (N).Nkind = N_Parameter_Specification);
5710 Set_Node2_With_Parent (N, Val);
5711 end Set_Parameter_Type;
5713 procedure Set_Parent_Spec
5714 (N : Node_Id; Val : Node_Id) is
5716 pragma Assert (False
5717 or else NT (N).Nkind = N_Function_Instantiation
5718 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5719 or else NT (N).Nkind = N_Generic_Package_Declaration
5720 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5721 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5722 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5723 or else NT (N).Nkind = N_Package_Declaration
5724 or else NT (N).Nkind = N_Package_Instantiation
5725 or else NT (N).Nkind = N_Package_Renaming_Declaration
5726 or else NT (N).Nkind = N_Procedure_Instantiation
5727 or else NT (N).Nkind = N_Subprogram_Declaration
5728 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5729 Set_Node4 (N, Val); -- semantic field, no parent set
5730 end Set_Parent_Spec;
5732 procedure Set_Position
5733 (N : Node_Id; Val : Node_Id) is
5735 pragma Assert (False
5736 or else NT (N).Nkind = N_Component_Clause);
5737 Set_Node2_With_Parent (N, Val);
5740 procedure Set_Pragma_Argument_Associations
5741 (N : Node_Id; Val : List_Id) is
5743 pragma Assert (False
5744 or else NT (N).Nkind = N_Pragma);
5745 Set_List2_With_Parent (N, Val);
5746 end Set_Pragma_Argument_Associations;
5748 procedure Set_Pragma_Identifier
5749 (N : Node_Id; Val : Node_Id) is
5751 pragma Assert (False
5752 or else NT (N).Nkind = N_Pragma);
5753 Set_Node4_With_Parent (N, Val);
5754 end Set_Pragma_Identifier;
5756 procedure Set_Pragmas_After
5757 (N : Node_Id; Val : List_Id) is
5759 pragma Assert (False
5760 or else NT (N).Nkind = N_Compilation_Unit_Aux
5761 or else NT (N).Nkind = N_Terminate_Alternative);
5762 Set_List5_With_Parent (N, Val);
5763 end Set_Pragmas_After;
5765 procedure Set_Pragmas_Before
5766 (N : Node_Id; Val : List_Id) is
5768 pragma Assert (False
5769 or else NT (N).Nkind = N_Accept_Alternative
5770 or else NT (N).Nkind = N_Delay_Alternative
5771 or else NT (N).Nkind = N_Entry_Call_Alternative
5772 or else NT (N).Nkind = N_Mod_Clause
5773 or else NT (N).Nkind = N_Terminate_Alternative
5774 or else NT (N).Nkind = N_Triggering_Alternative);
5775 Set_List4_With_Parent (N, Val);
5776 end Set_Pragmas_Before;
5778 procedure Set_Pre_Post_Conditions
5779 (N : Node_Id; Val : Node_Id) is
5781 pragma Assert (False
5782 or else NT (N).Nkind = N_Contract);
5783 Set_Node1 (N, Val); -- semantic field, no parent set
5784 end Set_Pre_Post_Conditions;
5786 procedure Set_Prefix
5787 (N : Node_Id; Val : Node_Id) is
5789 pragma Assert (False
5790 or else NT (N).Nkind = N_Attribute_Reference
5791 or else NT (N).Nkind = N_Expanded_Name
5792 or else NT (N).Nkind = N_Explicit_Dereference
5793 or else NT (N).Nkind = N_Indexed_Component
5794 or else NT (N).Nkind = N_Reference
5795 or else NT (N).Nkind = N_Selected_Component
5796 or else NT (N).Nkind = N_Slice);
5797 Set_Node3_With_Parent (N, Val);
5800 procedure Set_Premature_Use
5801 (N : Node_Id; Val : Node_Id) is
5803 pragma Assert (False
5804 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5806 end Set_Premature_Use;
5808 procedure Set_Present_Expr
5809 (N : Node_Id; Val : Uint) is
5811 pragma Assert (False
5812 or else NT (N).Nkind = N_Variant);
5814 end Set_Present_Expr;
5816 procedure Set_Prev_Ids
5817 (N : Node_Id; Val : Boolean := True) is
5819 pragma Assert (False
5820 or else NT (N).Nkind = N_Component_Declaration
5821 or else NT (N).Nkind = N_Discriminant_Specification
5822 or else NT (N).Nkind = N_Exception_Declaration
5823 or else NT (N).Nkind = N_Formal_Object_Declaration
5824 or else NT (N).Nkind = N_Number_Declaration
5825 or else NT (N).Nkind = N_Object_Declaration
5826 or else NT (N).Nkind = N_Parameter_Specification);
5830 procedure Set_Print_In_Hex
5831 (N : Node_Id; Val : Boolean := True) is
5833 pragma Assert (False
5834 or else NT (N).Nkind = N_Integer_Literal);
5835 Set_Flag13 (N, Val);
5836 end Set_Print_In_Hex;
5838 procedure Set_Private_Declarations
5839 (N : Node_Id; Val : List_Id) is
5841 pragma Assert (False
5842 or else NT (N).Nkind = N_Package_Specification
5843 or else NT (N).Nkind = N_Protected_Definition
5844 or else NT (N).Nkind = N_Task_Definition);
5845 Set_List3_With_Parent (N, Val);
5846 end Set_Private_Declarations;
5848 procedure Set_Private_Present
5849 (N : Node_Id; Val : Boolean := True) is
5851 pragma Assert (False
5852 or else NT (N).Nkind = N_Compilation_Unit
5853 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5854 or else NT (N).Nkind = N_With_Clause);
5855 Set_Flag15 (N, Val);
5856 end Set_Private_Present;
5858 procedure Set_Procedure_To_Call
5859 (N : Node_Id; Val : Node_Id) is
5861 pragma Assert (False
5862 or else NT (N).Nkind = N_Allocator
5863 or else NT (N).Nkind = N_Extended_Return_Statement
5864 or else NT (N).Nkind = N_Free_Statement
5865 or else NT (N).Nkind = N_Simple_Return_Statement);
5866 Set_Node2 (N, Val); -- semantic field, no parent set
5867 end Set_Procedure_To_Call;
5869 procedure Set_Proper_Body
5870 (N : Node_Id; Val : Node_Id) is
5872 pragma Assert (False
5873 or else NT (N).Nkind = N_Subunit);
5874 Set_Node1_With_Parent (N, Val);
5875 end Set_Proper_Body;
5877 procedure Set_Protected_Definition
5878 (N : Node_Id; Val : Node_Id) is
5880 pragma Assert (False
5881 or else NT (N).Nkind = N_Protected_Type_Declaration
5882 or else NT (N).Nkind = N_Single_Protected_Declaration);
5883 Set_Node3_With_Parent (N, Val);
5884 end Set_Protected_Definition;
5886 procedure Set_Protected_Present
5887 (N : Node_Id; Val : Boolean := True) is
5889 pragma Assert (False
5890 or else NT (N).Nkind = N_Access_Function_Definition
5891 or else NT (N).Nkind = N_Access_Procedure_Definition
5892 or else NT (N).Nkind = N_Derived_Type_Definition
5893 or else NT (N).Nkind = N_Record_Definition);
5895 end Set_Protected_Present;
5897 procedure Set_Raises_Constraint_Error
5898 (N : Node_Id; Val : Boolean := True) is
5900 pragma Assert (False
5901 or else NT (N).Nkind in N_Subexpr);
5903 end Set_Raises_Constraint_Error;
5905 procedure Set_Range_Constraint
5906 (N : Node_Id; Val : Node_Id) is
5908 pragma Assert (False
5909 or else NT (N).Nkind = N_Delta_Constraint
5910 or else NT (N).Nkind = N_Digits_Constraint);
5911 Set_Node4_With_Parent (N, Val);
5912 end Set_Range_Constraint;
5914 procedure Set_Range_Expression
5915 (N : Node_Id; Val : Node_Id) is
5917 pragma Assert (False
5918 or else NT (N).Nkind = N_Range_Constraint);
5919 Set_Node4_With_Parent (N, Val);
5920 end Set_Range_Expression;
5922 procedure Set_Real_Range_Specification
5923 (N : Node_Id; Val : Node_Id) is
5925 pragma Assert (False
5926 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5927 or else NT (N).Nkind = N_Floating_Point_Definition
5928 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5929 Set_Node4_With_Parent (N, Val);
5930 end Set_Real_Range_Specification;
5932 procedure Set_Realval
5933 (N : Node_Id; Val : Ureal) is
5935 pragma Assert (False
5936 or else NT (N).Nkind = N_Real_Literal);
5937 Set_Ureal3 (N, Val);
5940 procedure Set_Reason
5941 (N : Node_Id; Val : Uint) is
5943 pragma Assert (False
5944 or else NT (N).Nkind = N_Raise_Constraint_Error
5945 or else NT (N).Nkind = N_Raise_Program_Error
5946 or else NT (N).Nkind = N_Raise_Storage_Error);
5950 procedure Set_Record_Extension_Part
5951 (N : Node_Id; Val : Node_Id) is
5953 pragma Assert (False
5954 or else NT (N).Nkind = N_Derived_Type_Definition);
5955 Set_Node3_With_Parent (N, Val);
5956 end Set_Record_Extension_Part;
5958 procedure Set_Redundant_Use
5959 (N : Node_Id; Val : Boolean := True) is
5961 pragma Assert (False
5962 or else NT (N).Nkind = N_Attribute_Reference
5963 or else NT (N).Nkind = N_Expanded_Name
5964 or else NT (N).Nkind = N_Identifier);
5965 Set_Flag13 (N, Val);
5966 end Set_Redundant_Use;
5968 procedure Set_Renaming_Exception
5969 (N : Node_Id; Val : Node_Id) is
5971 pragma Assert (False
5972 or else NT (N).Nkind = N_Exception_Declaration);
5974 end Set_Renaming_Exception;
5976 procedure Set_Result_Definition
5977 (N : Node_Id; Val : Node_Id) is
5979 pragma Assert (False
5980 or else NT (N).Nkind = N_Access_Function_Definition
5981 or else NT (N).Nkind = N_Function_Specification);
5982 Set_Node4_With_Parent (N, Val);
5983 end Set_Result_Definition;
5985 procedure Set_Return_Object_Declarations
5986 (N : Node_Id; Val : List_Id) is
5988 pragma Assert (False
5989 or else NT (N).Nkind = N_Extended_Return_Statement);
5990 Set_List3_With_Parent (N, Val);
5991 end Set_Return_Object_Declarations;
5993 procedure Set_Return_Statement_Entity
5994 (N : Node_Id; Val : Node_Id) is
5996 pragma Assert (False
5997 or else NT (N).Nkind = N_Extended_Return_Statement
5998 or else NT (N).Nkind = N_Simple_Return_Statement);
5999 Set_Node5 (N, Val); -- semantic field, no parent set
6000 end Set_Return_Statement_Entity;
6002 procedure Set_Reverse_Present
6003 (N : Node_Id; Val : Boolean := True) is
6005 pragma Assert (False
6006 or else NT (N).Nkind = N_Iterator_Specification
6007 or else NT (N).Nkind = N_Loop_Parameter_Specification);
6008 Set_Flag15 (N, Val);
6009 end Set_Reverse_Present;
6011 procedure Set_Right_Opnd
6012 (N : Node_Id; Val : Node_Id) is
6014 pragma Assert (False
6015 or else NT (N).Nkind in N_Op
6016 or else NT (N).Nkind = N_And_Then
6017 or else NT (N).Nkind = N_In
6018 or else NT (N).Nkind = N_Not_In
6019 or else NT (N).Nkind = N_Or_Else);
6020 Set_Node3_With_Parent (N, Val);
6023 procedure Set_Rounded_Result
6024 (N : Node_Id; Val : Boolean := True) is
6026 pragma Assert (False
6027 or else NT (N).Nkind = N_Op_Divide
6028 or else NT (N).Nkind = N_Op_Multiply
6029 or else NT (N).Nkind = N_Type_Conversion);
6030 Set_Flag18 (N, Val);
6031 end Set_Rounded_Result;
6033 procedure Set_SCIL_Controlling_Tag
6034 (N : Node_Id; Val : Node_Id) is
6036 pragma Assert (False
6037 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6038 Set_Node5 (N, Val); -- semantic field, no parent set
6039 end Set_SCIL_Controlling_Tag;
6041 procedure Set_SCIL_Entity
6042 (N : Node_Id; Val : Node_Id) is
6044 pragma Assert (False
6045 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
6046 or else NT (N).Nkind = N_SCIL_Dispatching_Call
6047 or else NT (N).Nkind = N_SCIL_Membership_Test);
6048 Set_Node4 (N, Val); -- semantic field, no parent set
6049 end Set_SCIL_Entity;
6051 procedure Set_SCIL_Tag_Value
6052 (N : Node_Id; Val : Node_Id) is
6054 pragma Assert (False
6055 or else NT (N).Nkind = N_SCIL_Membership_Test);
6056 Set_Node5 (N, Val); -- semantic field, no parent set
6057 end Set_SCIL_Tag_Value;
6059 procedure Set_SCIL_Target_Prim
6060 (N : Node_Id; Val : Node_Id) is
6062 pragma Assert (False
6063 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6064 Set_Node2 (N, Val); -- semantic field, no parent set
6065 end Set_SCIL_Target_Prim;
6068 (N : Node_Id; Val : Node_Id) is
6070 pragma Assert (False
6071 or else NT (N).Nkind = N_Defining_Character_Literal
6072 or else NT (N).Nkind = N_Defining_Identifier
6073 or else NT (N).Nkind = N_Defining_Operator_Symbol);
6074 Set_Node3 (N, Val); -- semantic field, no parent set
6077 procedure Set_Select_Alternatives
6078 (N : Node_Id; Val : List_Id) is
6080 pragma Assert (False
6081 or else NT (N).Nkind = N_Selective_Accept);
6082 Set_List1_With_Parent (N, Val);
6083 end Set_Select_Alternatives;
6085 procedure Set_Selector_Name
6086 (N : Node_Id; Val : Node_Id) is
6088 pragma Assert (False
6089 or else NT (N).Nkind = N_Expanded_Name
6090 or else NT (N).Nkind = N_Generic_Association
6091 or else NT (N).Nkind = N_Parameter_Association
6092 or else NT (N).Nkind = N_Selected_Component);
6093 Set_Node2_With_Parent (N, Val);
6094 end Set_Selector_Name;
6096 procedure Set_Selector_Names
6097 (N : Node_Id; Val : List_Id) is
6099 pragma Assert (False
6100 or else NT (N).Nkind = N_Discriminant_Association);
6101 Set_List1_With_Parent (N, Val);
6102 end Set_Selector_Names;
6104 procedure Set_Shift_Count_OK
6105 (N : Node_Id; Val : Boolean := True) is
6107 pragma Assert (False
6108 or else NT (N).Nkind = N_Op_Rotate_Left
6109 or else NT (N).Nkind = N_Op_Rotate_Right
6110 or else NT (N).Nkind = N_Op_Shift_Left
6111 or else NT (N).Nkind = N_Op_Shift_Right
6112 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6114 end Set_Shift_Count_OK;
6116 procedure Set_Source_Type
6117 (N : Node_Id; Val : Entity_Id) is
6119 pragma Assert (False
6120 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6121 Set_Node1 (N, Val); -- semantic field, no parent set
6122 end Set_Source_Type;
6124 procedure Set_Specification
6125 (N : Node_Id; Val : Node_Id) is
6127 pragma Assert (False
6128 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6129 or else NT (N).Nkind = N_Expression_Function
6130 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6131 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6132 or else NT (N).Nkind = N_Generic_Package_Declaration
6133 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6134 or else NT (N).Nkind = N_Package_Declaration
6135 or else NT (N).Nkind = N_Subprogram_Body
6136 or else NT (N).Nkind = N_Subprogram_Body_Stub
6137 or else NT (N).Nkind = N_Subprogram_Declaration
6138 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6139 Set_Node1_With_Parent (N, Val);
6140 end Set_Specification;
6142 procedure Set_Split_PPC
6143 (N : Node_Id; Val : Boolean) is
6145 pragma Assert (False
6146 or else NT (N).Nkind = N_Aspect_Specification
6147 or else NT (N).Nkind = N_Pragma);
6148 Set_Flag17 (N, Val);
6151 procedure Set_Statements
6152 (N : Node_Id; Val : List_Id) is
6154 pragma Assert (False
6155 or else NT (N).Nkind = N_Abortable_Part
6156 or else NT (N).Nkind = N_Accept_Alternative
6157 or else NT (N).Nkind = N_Case_Statement_Alternative
6158 or else NT (N).Nkind = N_Delay_Alternative
6159 or else NT (N).Nkind = N_Entry_Call_Alternative
6160 or else NT (N).Nkind = N_Exception_Handler
6161 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6162 or else NT (N).Nkind = N_Loop_Statement
6163 or else NT (N).Nkind = N_Triggering_Alternative);
6164 Set_List3_With_Parent (N, Val);
6167 procedure Set_Storage_Pool
6168 (N : Node_Id; Val : Node_Id) is
6170 pragma Assert (False
6171 or else NT (N).Nkind = N_Allocator
6172 or else NT (N).Nkind = N_Extended_Return_Statement
6173 or else NT (N).Nkind = N_Free_Statement
6174 or else NT (N).Nkind = N_Simple_Return_Statement);
6175 Set_Node1 (N, Val); -- semantic field, no parent set
6176 end Set_Storage_Pool;
6178 procedure Set_Subpool_Handle_Name
6179 (N : Node_Id; Val : Node_Id) is
6181 pragma Assert (False
6182 or else NT (N).Nkind = N_Allocator);
6183 Set_Node4_With_Parent (N, Val);
6184 end Set_Subpool_Handle_Name;
6186 procedure Set_Strval
6187 (N : Node_Id; Val : String_Id) is
6189 pragma Assert (False
6190 or else NT (N).Nkind = N_Operator_Symbol
6191 or else NT (N).Nkind = N_String_Literal);
6195 procedure Set_Subtype_Indication
6196 (N : Node_Id; Val : Node_Id) is
6198 pragma Assert (False
6199 or else NT (N).Nkind = N_Access_To_Object_Definition
6200 or else NT (N).Nkind = N_Component_Definition
6201 or else NT (N).Nkind = N_Derived_Type_Definition
6202 or else NT (N).Nkind = N_Iterator_Specification
6203 or else NT (N).Nkind = N_Private_Extension_Declaration
6204 or else NT (N).Nkind = N_Subtype_Declaration);
6205 Set_Node5_With_Parent (N, Val);
6206 end Set_Subtype_Indication;
6208 procedure Set_Subtype_Mark
6209 (N : Node_Id; Val : Node_Id) is
6211 pragma Assert (False
6212 or else NT (N).Nkind = N_Access_Definition
6213 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6214 or else NT (N).Nkind = N_Formal_Object_Declaration
6215 or else NT (N).Nkind = N_Object_Renaming_Declaration
6216 or else NT (N).Nkind = N_Qualified_Expression
6217 or else NT (N).Nkind = N_Subtype_Indication
6218 or else NT (N).Nkind = N_Type_Conversion
6219 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6220 Set_Node4_With_Parent (N, Val);
6221 end Set_Subtype_Mark;
6223 procedure Set_Subtype_Marks
6224 (N : Node_Id; Val : List_Id) is
6226 pragma Assert (False
6227 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6228 or else NT (N).Nkind = N_Use_Type_Clause);
6229 Set_List2_With_Parent (N, Val);
6230 end Set_Subtype_Marks;
6232 procedure Set_Suppress_Assignment_Checks
6233 (N : Node_Id; Val : Boolean := True) is
6235 pragma Assert (False
6236 or else NT (N).Nkind = N_Assignment_Statement
6237 or else NT (N).Nkind = N_Object_Declaration);
6238 Set_Flag18 (N, Val);
6239 end Set_Suppress_Assignment_Checks;
6241 procedure Set_Suppress_Loop_Warnings
6242 (N : Node_Id; Val : Boolean := True) is
6244 pragma Assert (False
6245 or else NT (N).Nkind = N_Loop_Statement);
6246 Set_Flag17 (N, Val);
6247 end Set_Suppress_Loop_Warnings;
6249 procedure Set_Synchronized_Present
6250 (N : Node_Id; Val : Boolean := True) is
6252 pragma Assert (False
6253 or else NT (N).Nkind = N_Derived_Type_Definition
6254 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6255 or else NT (N).Nkind = N_Private_Extension_Declaration
6256 or else NT (N).Nkind = N_Record_Definition);
6258 end Set_Synchronized_Present;
6260 procedure Set_Tagged_Present
6261 (N : Node_Id; Val : Boolean := True) is
6263 pragma Assert (False
6264 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6265 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6266 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6267 or else NT (N).Nkind = N_Private_Type_Declaration
6268 or else NT (N).Nkind = N_Record_Definition);
6269 Set_Flag15 (N, Val);
6270 end Set_Tagged_Present;
6272 procedure Set_Target_Type
6273 (N : Node_Id; Val : Entity_Id) is
6275 pragma Assert (False
6276 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6277 Set_Node2 (N, Val); -- semantic field, no parent set
6278 end Set_Target_Type;
6280 procedure Set_Task_Definition
6281 (N : Node_Id; Val : Node_Id) is
6283 pragma Assert (False
6284 or else NT (N).Nkind = N_Single_Task_Declaration
6285 or else NT (N).Nkind = N_Task_Type_Declaration);
6286 Set_Node3_With_Parent (N, Val);
6287 end Set_Task_Definition;
6289 procedure Set_Task_Present
6290 (N : Node_Id; Val : Boolean := True) is
6292 pragma Assert (False
6293 or else NT (N).Nkind = N_Derived_Type_Definition
6294 or else NT (N).Nkind = N_Record_Definition);
6296 end Set_Task_Present;
6298 procedure Set_Then_Actions
6299 (N : Node_Id; Val : List_Id) is
6301 pragma Assert (False
6302 or else NT (N).Nkind = N_If_Expression);
6303 Set_List2_With_Parent (N, Val); -- semantic field, but needs parents
6304 end Set_Then_Actions;
6306 procedure Set_Then_Statements
6307 (N : Node_Id; Val : List_Id) is
6309 pragma Assert (False
6310 or else NT (N).Nkind = N_Elsif_Part
6311 or else NT (N).Nkind = N_If_Statement);
6312 Set_List2_With_Parent (N, Val);
6313 end Set_Then_Statements;
6315 procedure Set_Treat_Fixed_As_Integer
6316 (N : Node_Id; Val : Boolean := True) is
6318 pragma Assert (False
6319 or else NT (N).Nkind = N_Op_Divide
6320 or else NT (N).Nkind = N_Op_Mod
6321 or else NT (N).Nkind = N_Op_Multiply
6322 or else NT (N).Nkind = N_Op_Rem);
6323 Set_Flag14 (N, Val);
6324 end Set_Treat_Fixed_As_Integer;
6326 procedure Set_Triggering_Alternative
6327 (N : Node_Id; Val : Node_Id) is
6329 pragma Assert (False
6330 or else NT (N).Nkind = N_Asynchronous_Select);
6331 Set_Node1_With_Parent (N, Val);
6332 end Set_Triggering_Alternative;
6334 procedure Set_Triggering_Statement
6335 (N : Node_Id; Val : Node_Id) is
6337 pragma Assert (False
6338 or else NT (N).Nkind = N_Triggering_Alternative);
6339 Set_Node1_With_Parent (N, Val);
6340 end Set_Triggering_Statement;
6342 procedure Set_TSS_Elist
6343 (N : Node_Id; Val : Elist_Id) is
6345 pragma Assert (False
6346 or else NT (N).Nkind = N_Freeze_Entity);
6347 Set_Elist3 (N, Val); -- semantic field, no parent set
6350 procedure Set_Type_Definition
6351 (N : Node_Id; Val : Node_Id) is
6353 pragma Assert (False
6354 or else NT (N).Nkind = N_Full_Type_Declaration);
6355 Set_Node3_With_Parent (N, Val);
6356 end Set_Type_Definition;
6359 (N : Node_Id; Val : Node_Id) is
6361 pragma Assert (False
6362 or else NT (N).Nkind = N_Compilation_Unit);
6363 Set_Node2_With_Parent (N, Val);
6366 procedure Set_Unknown_Discriminants_Present
6367 (N : Node_Id; Val : Boolean := True) is
6369 pragma Assert (False
6370 or else NT (N).Nkind = N_Formal_Type_Declaration
6371 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6372 or else NT (N).Nkind = N_Private_Extension_Declaration
6373 or else NT (N).Nkind = N_Private_Type_Declaration);
6374 Set_Flag13 (N, Val);
6375 end Set_Unknown_Discriminants_Present;
6377 procedure Set_Unreferenced_In_Spec
6378 (N : Node_Id; Val : Boolean := True) is
6380 pragma Assert (False
6381 or else NT (N).Nkind = N_With_Clause);
6383 end Set_Unreferenced_In_Spec;
6385 procedure Set_Variant_Part
6386 (N : Node_Id; Val : Node_Id) is
6388 pragma Assert (False
6389 or else NT (N).Nkind = N_Component_List);
6390 Set_Node4_With_Parent (N, Val);
6391 end Set_Variant_Part;
6393 procedure Set_Variants
6394 (N : Node_Id; Val : List_Id) is
6396 pragma Assert (False
6397 or else NT (N).Nkind = N_Variant_Part);
6398 Set_List1_With_Parent (N, Val);
6401 procedure Set_Visible_Declarations
6402 (N : Node_Id; Val : List_Id) is
6404 pragma Assert (False
6405 or else NT (N).Nkind = N_Package_Specification
6406 or else NT (N).Nkind = N_Protected_Definition
6407 or else NT (N).Nkind = N_Task_Definition);
6408 Set_List2_With_Parent (N, Val);
6409 end Set_Visible_Declarations;
6411 procedure Set_Uninitialized_Variable
6412 (N : Node_Id; Val : Node_Id) is
6414 pragma Assert (False
6415 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6416 or else NT (N).Nkind = N_Private_Extension_Declaration);
6418 end Set_Uninitialized_Variable;
6420 procedure Set_Used_Operations
6421 (N : Node_Id; Val : Elist_Id) is
6423 pragma Assert (False
6424 or else NT (N).Nkind = N_Use_Type_Clause);
6425 Set_Elist5 (N, Val);
6426 end Set_Used_Operations;
6428 procedure Set_Was_Originally_Stub
6429 (N : Node_Id; Val : Boolean := True) is
6431 pragma Assert (False
6432 or else NT (N).Nkind = N_Package_Body
6433 or else NT (N).Nkind = N_Protected_Body
6434 or else NT (N).Nkind = N_Subprogram_Body
6435 or else NT (N).Nkind = N_Task_Body);
6436 Set_Flag13 (N, Val);
6437 end Set_Was_Originally_Stub;
6439 procedure Set_Withed_Body
6440 (N : Node_Id; Val : Node_Id) is
6442 pragma Assert (False
6443 or else NT (N).Nkind = N_With_Clause);
6445 end Set_Withed_Body;
6447 -------------------------
6448 -- Iterator Procedures --
6449 -------------------------
6451 procedure Next_Entity (N : in out Node_Id) is
6453 N := Next_Entity (N);
6456 procedure Next_Named_Actual (N : in out Node_Id) is
6458 N := Next_Named_Actual (N);
6459 end Next_Named_Actual;
6461 procedure Next_Rep_Item (N : in out Node_Id) is
6463 N := Next_Rep_Item (N);
6466 procedure Next_Use_Clause (N : in out Node_Id) is
6468 N := Next_Use_Clause (N);
6469 end Next_Use_Clause;
6475 function End_Location (N : Node_Id) return Source_Ptr is
6476 L : constant Uint := End_Span (N);
6481 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6485 --------------------
6486 -- Get_Pragma_Arg --
6487 --------------------
6489 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6491 if Nkind (Arg) = N_Pragma_Argument_Association then
6492 return Expression (Arg);
6498 ----------------------
6499 -- Set_End_Location --
6500 ----------------------
6502 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6505 UI_From_Int (Int (S) - Int (Sloc (N))));
6506 end Set_End_Location;
6515 V2 : Node_Kind) return Boolean
6518 return T = V1 or else
6526 V3 : Node_Kind) return Boolean
6529 return T = V1 or else
6539 V4 : Node_Kind) return Boolean
6542 return T = V1 or else
6554 V5 : Node_Kind) return Boolean
6557 return T = V1 or else
6571 V6 : Node_Kind) return Boolean
6574 return T = V1 or else
6590 V7 : Node_Kind) return Boolean
6593 return T = V1 or else
6611 V8 : Node_Kind) return Boolean
6614 return T = V1 or else
6634 V9 : Node_Kind) return Boolean
6637 return T = V1 or else
6652 function Pragma_Name (N : Node_Id) return Name_Id is
6654 return Chars (Pragma_Identifier (N));