1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2013, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Expression_With_Actions
152 or else NT (N).Nkind = N_Freeze_Entity
153 or else NT (N).Nkind = N_Or_Else);
157 function Activation_Chain_Entity
158 (N : Node_Id) return Node_Id is
161 or else NT (N).Nkind = N_Block_Statement
162 or else NT (N).Nkind = N_Entry_Body
163 or else NT (N).Nkind = N_Generic_Package_Declaration
164 or else NT (N).Nkind = N_Package_Declaration
165 or else NT (N).Nkind = N_Subprogram_Body
166 or else NT (N).Nkind = N_Task_Body);
168 end Activation_Chain_Entity;
170 function Acts_As_Spec
171 (N : Node_Id) return Boolean is
174 or else NT (N).Nkind = N_Compilation_Unit
175 or else NT (N).Nkind = N_Subprogram_Body);
179 function Actual_Designated_Subtype
180 (N : Node_Id) return Node_Id is
183 or else NT (N).Nkind = N_Explicit_Dereference
184 or else NT (N).Nkind = N_Free_Statement);
186 end Actual_Designated_Subtype;
188 function Address_Warning_Posted
189 (N : Node_Id) return Boolean is
192 or else NT (N).Nkind = N_Attribute_Definition_Clause);
194 end Address_Warning_Posted;
196 function Aggregate_Bounds
197 (N : Node_Id) return Node_Id is
200 or else NT (N).Nkind = N_Aggregate);
202 end Aggregate_Bounds;
204 function Aliased_Present
205 (N : Node_Id) return Boolean is
208 or else NT (N).Nkind = N_Component_Definition
209 or else NT (N).Nkind = N_Object_Declaration
210 or else NT (N).Nkind = N_Parameter_Specification);
215 (N : Node_Id) return Boolean is
218 or else NT (N).Nkind = N_Others_Choice);
223 (N : Node_Id) return Boolean is
226 or else NT (N).Nkind = N_Access_Definition
227 or else NT (N).Nkind = N_Access_To_Object_Definition
228 or else NT (N).Nkind = N_Quantified_Expression
229 or else NT (N).Nkind = N_Use_Type_Clause);
233 function Alternatives
234 (N : Node_Id) return List_Id is
237 or else NT (N).Nkind = N_Case_Expression
238 or else NT (N).Nkind = N_Case_Statement
239 or else NT (N).Nkind = N_In
240 or else NT (N).Nkind = N_Not_In);
244 function Ancestor_Part
245 (N : Node_Id) return Node_Id is
248 or else NT (N).Nkind = N_Extension_Aggregate);
252 function Atomic_Sync_Required
253 (N : Node_Id) return Boolean is
256 or else NT (N).Nkind = N_Expanded_Name
257 or else NT (N).Nkind = N_Explicit_Dereference
258 or else NT (N).Nkind = N_Identifier
259 or else NT (N).Nkind = N_Indexed_Component
260 or else NT (N).Nkind = N_Selected_Component);
262 end Atomic_Sync_Required;
264 function Array_Aggregate
265 (N : Node_Id) return Node_Id is
268 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
272 function Aspect_Rep_Item
273 (N : Node_Id) return Node_Id is
276 or else NT (N).Nkind = N_Aspect_Specification);
280 function Assignment_OK
281 (N : Node_Id) return Boolean is
284 or else NT (N).Nkind = N_Object_Declaration
285 or else NT (N).Nkind in N_Subexpr);
289 function Associated_Node
290 (N : Node_Id) return Node_Id is
293 or else NT (N).Nkind in N_Has_Entity
294 or else NT (N).Nkind = N_Aggregate
295 or else NT (N).Nkind = N_Extension_Aggregate
296 or else NT (N).Nkind = N_Selected_Component);
301 (N : Node_Id) return Node_Id is
304 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
308 function Attribute_Name
309 (N : Node_Id) return Name_Id is
312 or else NT (N).Nkind = N_Attribute_Reference);
316 function Aux_Decls_Node
317 (N : Node_Id) return Node_Id is
320 or else NT (N).Nkind = N_Compilation_Unit);
324 function Backwards_OK
325 (N : Node_Id) return Boolean is
328 or else NT (N).Nkind = N_Assignment_Statement);
332 function Bad_Is_Detected
333 (N : Node_Id) return Boolean is
336 or else NT (N).Nkind = N_Subprogram_Body);
340 function Body_Required
341 (N : Node_Id) return Boolean is
344 or else NT (N).Nkind = N_Compilation_Unit);
348 function Body_To_Inline
349 (N : Node_Id) return Node_Id is
352 or else NT (N).Nkind = N_Subprogram_Declaration);
357 (N : Node_Id) return Boolean is
360 or else NT (N).Nkind = N_Component_Association
361 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
362 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Package_Declaration
364 or else NT (N).Nkind = N_Generic_Association);
369 (N : Node_Id) return Boolean is
372 or else NT (N).Nkind = N_Extended_Return_Statement
373 or else NT (N).Nkind = N_Simple_Return_Statement);
377 function Char_Literal_Value
378 (N : Node_Id) return Uint is
381 or else NT (N).Nkind = N_Character_Literal);
383 end Char_Literal_Value;
386 (N : Node_Id) return Name_Id is
389 or else NT (N).Nkind in N_Has_Chars);
393 function Check_Address_Alignment
394 (N : Node_Id) return Boolean is
397 or else NT (N).Nkind = N_Attribute_Definition_Clause);
399 end Check_Address_Alignment;
401 function Choice_Parameter
402 (N : Node_Id) return Node_Id is
405 or else NT (N).Nkind = N_Exception_Handler);
407 end Choice_Parameter;
410 (N : Node_Id) return List_Id is
413 or else NT (N).Nkind = N_Component_Association);
417 function Class_Present
418 (N : Node_Id) return Boolean is
421 or else NT (N).Nkind = N_Aspect_Specification
422 or else NT (N).Nkind = N_Pragma);
426 function Classifications
427 (N : Node_Id) return Node_Id is
430 or else NT (N).Nkind = N_Contract);
434 function Comes_From_Extended_Return_Statement
435 (N : Node_Id) return Boolean is
438 or else NT (N).Nkind = N_Simple_Return_Statement);
440 end Comes_From_Extended_Return_Statement;
442 function Compile_Time_Known_Aggregate
443 (N : Node_Id) return Boolean is
446 or else NT (N).Nkind = N_Aggregate);
448 end Compile_Time_Known_Aggregate;
450 function Component_Associations
451 (N : Node_Id) return List_Id is
454 or else NT (N).Nkind = N_Aggregate
455 or else NT (N).Nkind = N_Extension_Aggregate);
457 end Component_Associations;
459 function Component_Clauses
460 (N : Node_Id) return List_Id is
463 or else NT (N).Nkind = N_Record_Representation_Clause);
465 end Component_Clauses;
467 function Component_Definition
468 (N : Node_Id) return Node_Id is
471 or else NT (N).Nkind = N_Component_Declaration
472 or else NT (N).Nkind = N_Constrained_Array_Definition
473 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
475 end Component_Definition;
477 function Component_Items
478 (N : Node_Id) return List_Id is
481 or else NT (N).Nkind = N_Component_List);
485 function Component_List
486 (N : Node_Id) return Node_Id is
489 or else NT (N).Nkind = N_Record_Definition
490 or else NT (N).Nkind = N_Variant);
494 function Component_Name
495 (N : Node_Id) return Node_Id is
498 or else NT (N).Nkind = N_Component_Clause);
502 function Componentwise_Assignment
503 (N : Node_Id) return Boolean is
506 or else NT (N).Nkind = N_Assignment_Statement);
508 end Componentwise_Assignment;
511 (N : Node_Id) return Node_Id is
514 or else NT (N).Nkind = N_Accept_Alternative
515 or else NT (N).Nkind = N_Delay_Alternative
516 or else NT (N).Nkind = N_Elsif_Part
517 or else NT (N).Nkind = N_Entry_Body_Formal_Part
518 or else NT (N).Nkind = N_Exit_Statement
519 or else NT (N).Nkind = N_If_Statement
520 or else NT (N).Nkind = N_Iteration_Scheme
521 or else NT (N).Nkind = N_Quantified_Expression
522 or else NT (N).Nkind = N_Raise_Constraint_Error
523 or else NT (N).Nkind = N_Raise_Program_Error
524 or else NT (N).Nkind = N_Raise_Storage_Error
525 or else NT (N).Nkind = N_Terminate_Alternative);
529 function Condition_Actions
530 (N : Node_Id) return List_Id is
533 or else NT (N).Nkind = N_Elsif_Part
534 or else NT (N).Nkind = N_Iteration_Scheme);
536 end Condition_Actions;
538 function Config_Pragmas
539 (N : Node_Id) return List_Id is
542 or else NT (N).Nkind = N_Compilation_Unit_Aux);
546 function Constant_Present
547 (N : Node_Id) return Boolean is
550 or else NT (N).Nkind = N_Access_Definition
551 or else NT (N).Nkind = N_Access_To_Object_Definition
552 or else NT (N).Nkind = N_Object_Declaration);
554 end Constant_Present;
557 (N : Node_Id) return Node_Id is
560 or else NT (N).Nkind = N_Subtype_Indication);
565 (N : Node_Id) return List_Id is
568 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
572 function Context_Installed
573 (N : Node_Id) return Boolean is
576 or else NT (N).Nkind = N_With_Clause);
578 end Context_Installed;
580 function Context_Items
581 (N : Node_Id) return List_Id is
584 or else NT (N).Nkind = N_Compilation_Unit);
588 function Context_Pending
589 (N : Node_Id) return Boolean is
592 or else NT (N).Nkind = N_Compilation_Unit);
596 function Contract_Test_Cases
597 (N : Node_Id) return Node_Id is
600 or else NT (N).Nkind = N_Contract);
602 end Contract_Test_Cases;
604 function Controlling_Argument
605 (N : Node_Id) return Node_Id is
608 or else NT (N).Nkind = N_Function_Call
609 or else NT (N).Nkind = N_Procedure_Call_Statement);
611 end Controlling_Argument;
613 function Conversion_OK
614 (N : Node_Id) return Boolean is
617 or else NT (N).Nkind = N_Type_Conversion);
621 function Convert_To_Return_False
622 (N : Node_Id) return Boolean is
625 or else NT (N).Nkind = N_Raise_Expression);
627 end Convert_To_Return_False;
629 function Corresponding_Aspect
630 (N : Node_Id) return Node_Id is
633 or else NT (N).Nkind = N_Pragma);
635 end Corresponding_Aspect;
637 function Corresponding_Body
638 (N : Node_Id) return Node_Id is
641 or else NT (N).Nkind = N_Entry_Declaration
642 or else NT (N).Nkind = N_Generic_Package_Declaration
643 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
644 or else NT (N).Nkind = N_Package_Body_Stub
645 or else NT (N).Nkind = N_Package_Declaration
646 or else NT (N).Nkind = N_Protected_Body_Stub
647 or else NT (N).Nkind = N_Protected_Type_Declaration
648 or else NT (N).Nkind = N_Subprogram_Body_Stub
649 or else NT (N).Nkind = N_Subprogram_Declaration
650 or else NT (N).Nkind = N_Task_Body_Stub
651 or else NT (N).Nkind = N_Task_Type_Declaration);
653 end Corresponding_Body;
655 function Corresponding_Formal_Spec
656 (N : Node_Id) return Node_Id is
659 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
661 end Corresponding_Formal_Spec;
663 function Corresponding_Generic_Association
664 (N : Node_Id) return Node_Id is
667 or else NT (N).Nkind = N_Object_Declaration
668 or else NT (N).Nkind = N_Object_Renaming_Declaration);
670 end Corresponding_Generic_Association;
672 function Corresponding_Integer_Value
673 (N : Node_Id) return Uint is
676 or else NT (N).Nkind = N_Real_Literal);
678 end Corresponding_Integer_Value;
680 function Corresponding_Spec
681 (N : Node_Id) return Node_Id is
684 or else NT (N).Nkind = N_Expression_Function
685 or else NT (N).Nkind = N_Package_Body
686 or else NT (N).Nkind = N_Protected_Body
687 or else NT (N).Nkind = N_Subprogram_Body
688 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
689 or else NT (N).Nkind = N_Task_Body
690 or else NT (N).Nkind = N_With_Clause);
692 end Corresponding_Spec;
694 function Corresponding_Stub
695 (N : Node_Id) return Node_Id is
698 or else NT (N).Nkind = N_Subunit);
700 end Corresponding_Stub;
702 function Dcheck_Function
703 (N : Node_Id) return Entity_Id is
706 or else NT (N).Nkind = N_Variant);
710 function Declarations
711 (N : Node_Id) return List_Id is
714 or else NT (N).Nkind = N_Accept_Statement
715 or else NT (N).Nkind = N_Block_Statement
716 or else NT (N).Nkind = N_Compilation_Unit_Aux
717 or else NT (N).Nkind = N_Entry_Body
718 or else NT (N).Nkind = N_Package_Body
719 or else NT (N).Nkind = N_Protected_Body
720 or else NT (N).Nkind = N_Subprogram_Body
721 or else NT (N).Nkind = N_Task_Body);
725 function Default_Expression
726 (N : Node_Id) return Node_Id is
729 or else NT (N).Nkind = N_Formal_Object_Declaration
730 or else NT (N).Nkind = N_Parameter_Specification);
732 end Default_Expression;
734 function Default_Storage_Pool
735 (N : Node_Id) return Node_Id is
738 or else NT (N).Nkind = N_Compilation_Unit_Aux);
740 end Default_Storage_Pool;
742 function Default_Name
743 (N : Node_Id) return Node_Id is
746 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
747 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
751 function Defining_Identifier
752 (N : Node_Id) return Entity_Id is
755 or else NT (N).Nkind = N_Component_Declaration
756 or else NT (N).Nkind = N_Defining_Program_Unit_Name
757 or else NT (N).Nkind = N_Discriminant_Specification
758 or else NT (N).Nkind = N_Entry_Body
759 or else NT (N).Nkind = N_Entry_Declaration
760 or else NT (N).Nkind = N_Entry_Index_Specification
761 or else NT (N).Nkind = N_Exception_Declaration
762 or else NT (N).Nkind = N_Exception_Renaming_Declaration
763 or else NT (N).Nkind = N_Formal_Object_Declaration
764 or else NT (N).Nkind = N_Formal_Package_Declaration
765 or else NT (N).Nkind = N_Formal_Type_Declaration
766 or else NT (N).Nkind = N_Full_Type_Declaration
767 or else NT (N).Nkind = N_Implicit_Label_Declaration
768 or else NT (N).Nkind = N_Incomplete_Type_Declaration
769 or else NT (N).Nkind = N_Iterator_Specification
770 or else NT (N).Nkind = N_Loop_Parameter_Specification
771 or else NT (N).Nkind = N_Number_Declaration
772 or else NT (N).Nkind = N_Object_Declaration
773 or else NT (N).Nkind = N_Object_Renaming_Declaration
774 or else NT (N).Nkind = N_Package_Body_Stub
775 or else NT (N).Nkind = N_Parameter_Specification
776 or else NT (N).Nkind = N_Private_Extension_Declaration
777 or else NT (N).Nkind = N_Private_Type_Declaration
778 or else NT (N).Nkind = N_Protected_Body
779 or else NT (N).Nkind = N_Protected_Body_Stub
780 or else NT (N).Nkind = N_Protected_Type_Declaration
781 or else NT (N).Nkind = N_Single_Protected_Declaration
782 or else NT (N).Nkind = N_Single_Task_Declaration
783 or else NT (N).Nkind = N_Subtype_Declaration
784 or else NT (N).Nkind = N_Task_Body
785 or else NT (N).Nkind = N_Task_Body_Stub
786 or else NT (N).Nkind = N_Task_Type_Declaration);
788 end Defining_Identifier;
790 function Defining_Unit_Name
791 (N : Node_Id) return Node_Id is
794 or else NT (N).Nkind = N_Function_Instantiation
795 or else NT (N).Nkind = N_Function_Specification
796 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
797 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
798 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
799 or else NT (N).Nkind = N_Package_Body
800 or else NT (N).Nkind = N_Package_Instantiation
801 or else NT (N).Nkind = N_Package_Renaming_Declaration
802 or else NT (N).Nkind = N_Package_Specification
803 or else NT (N).Nkind = N_Procedure_Instantiation
804 or else NT (N).Nkind = N_Procedure_Specification);
806 end Defining_Unit_Name;
808 function Delay_Alternative
809 (N : Node_Id) return Node_Id is
812 or else NT (N).Nkind = N_Timed_Entry_Call);
814 end Delay_Alternative;
816 function Delay_Statement
817 (N : Node_Id) return Node_Id is
820 or else NT (N).Nkind = N_Delay_Alternative);
824 function Delta_Expression
825 (N : Node_Id) return Node_Id is
828 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
829 or else NT (N).Nkind = N_Delta_Constraint
830 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
832 end Delta_Expression;
834 function Digits_Expression
835 (N : Node_Id) return Node_Id is
838 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
839 or else NT (N).Nkind = N_Digits_Constraint
840 or else NT (N).Nkind = N_Floating_Point_Definition);
842 end Digits_Expression;
844 function Discr_Check_Funcs_Built
845 (N : Node_Id) return Boolean is
848 or else NT (N).Nkind = N_Full_Type_Declaration);
850 end Discr_Check_Funcs_Built;
852 function Discrete_Choices
853 (N : Node_Id) return List_Id is
856 or else NT (N).Nkind = N_Case_Expression_Alternative
857 or else NT (N).Nkind = N_Case_Statement_Alternative
858 or else NT (N).Nkind = N_Variant);
860 end Discrete_Choices;
862 function Discrete_Range
863 (N : Node_Id) return Node_Id is
866 or else NT (N).Nkind = N_Slice);
870 function Discrete_Subtype_Definition
871 (N : Node_Id) return Node_Id is
874 or else NT (N).Nkind = N_Entry_Declaration
875 or else NT (N).Nkind = N_Entry_Index_Specification
876 or else NT (N).Nkind = N_Loop_Parameter_Specification);
878 end Discrete_Subtype_Definition;
880 function Discrete_Subtype_Definitions
881 (N : Node_Id) return List_Id is
884 or else NT (N).Nkind = N_Constrained_Array_Definition);
886 end Discrete_Subtype_Definitions;
888 function Discriminant_Specifications
889 (N : Node_Id) return List_Id is
892 or else NT (N).Nkind = N_Formal_Type_Declaration
893 or else NT (N).Nkind = N_Full_Type_Declaration
894 or else NT (N).Nkind = N_Incomplete_Type_Declaration
895 or else NT (N).Nkind = N_Private_Extension_Declaration
896 or else NT (N).Nkind = N_Private_Type_Declaration
897 or else NT (N).Nkind = N_Protected_Type_Declaration
898 or else NT (N).Nkind = N_Task_Type_Declaration);
900 end Discriminant_Specifications;
902 function Discriminant_Type
903 (N : Node_Id) return Node_Id is
906 or else NT (N).Nkind = N_Discriminant_Specification);
908 end Discriminant_Type;
910 function Do_Accessibility_Check
911 (N : Node_Id) return Boolean is
914 or else NT (N).Nkind = N_Parameter_Specification);
916 end Do_Accessibility_Check;
918 function Do_Discriminant_Check
919 (N : Node_Id) return Boolean is
922 or else NT (N).Nkind = N_Selected_Component);
924 end Do_Discriminant_Check;
926 function Do_Division_Check
927 (N : Node_Id) return Boolean is
930 or else NT (N).Nkind = N_Op_Divide
931 or else NT (N).Nkind = N_Op_Mod
932 or else NT (N).Nkind = N_Op_Rem);
934 end Do_Division_Check;
936 function Do_Length_Check
937 (N : Node_Id) return Boolean is
940 or else NT (N).Nkind = N_Assignment_Statement
941 or else NT (N).Nkind = N_Op_And
942 or else NT (N).Nkind = N_Op_Or
943 or else NT (N).Nkind = N_Op_Xor
944 or else NT (N).Nkind = N_Type_Conversion);
948 function Do_Overflow_Check
949 (N : Node_Id) return Boolean is
952 or else NT (N).Nkind in N_Op
953 or else NT (N).Nkind = N_Attribute_Reference
954 or else NT (N).Nkind = N_Case_Expression
955 or else NT (N).Nkind = N_If_Expression
956 or else NT (N).Nkind = N_Type_Conversion);
958 end Do_Overflow_Check;
960 function Do_Range_Check
961 (N : Node_Id) return Boolean is
964 or else NT (N).Nkind in N_Subexpr);
968 function Do_Storage_Check
969 (N : Node_Id) return Boolean is
972 or else NT (N).Nkind = N_Allocator
973 or else NT (N).Nkind = N_Subprogram_Body);
975 end Do_Storage_Check;
977 function Do_Tag_Check
978 (N : Node_Id) return Boolean is
981 or else NT (N).Nkind = N_Assignment_Statement
982 or else NT (N).Nkind = N_Extended_Return_Statement
983 or else NT (N).Nkind = N_Function_Call
984 or else NT (N).Nkind = N_Procedure_Call_Statement
985 or else NT (N).Nkind = N_Simple_Return_Statement
986 or else NT (N).Nkind = N_Type_Conversion);
990 function Elaborate_All_Desirable
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_With_Clause);
996 end Elaborate_All_Desirable;
998 function Elaborate_All_Present
999 (N : Node_Id) return Boolean is
1001 pragma Assert (False
1002 or else NT (N).Nkind = N_With_Clause);
1004 end Elaborate_All_Present;
1006 function Elaborate_Desirable
1007 (N : Node_Id) return Boolean is
1009 pragma Assert (False
1010 or else NT (N).Nkind = N_With_Clause);
1012 end Elaborate_Desirable;
1014 function Elaborate_Present
1015 (N : Node_Id) return Boolean is
1017 pragma Assert (False
1018 or else NT (N).Nkind = N_With_Clause);
1020 end Elaborate_Present;
1022 function Elaboration_Boolean
1023 (N : Node_Id) return Node_Id is
1025 pragma Assert (False
1026 or else NT (N).Nkind = N_Function_Specification
1027 or else NT (N).Nkind = N_Procedure_Specification);
1029 end Elaboration_Boolean;
1031 function Else_Actions
1032 (N : Node_Id) return List_Id is
1034 pragma Assert (False
1035 or else NT (N).Nkind = N_If_Expression);
1039 function Else_Statements
1040 (N : Node_Id) return List_Id is
1042 pragma Assert (False
1043 or else NT (N).Nkind = N_Conditional_Entry_Call
1044 or else NT (N).Nkind = N_If_Statement
1045 or else NT (N).Nkind = N_Selective_Accept);
1047 end Else_Statements;
1049 function Elsif_Parts
1050 (N : Node_Id) return List_Id is
1052 pragma Assert (False
1053 or else NT (N).Nkind = N_If_Statement);
1057 function Enclosing_Variant
1058 (N : Node_Id) return Node_Id is
1060 pragma Assert (False
1061 or else NT (N).Nkind = N_Variant);
1063 end Enclosing_Variant;
1066 (N : Node_Id) return Node_Id is
1068 pragma Assert (False
1069 or else NT (N).Nkind = N_Enumeration_Type_Definition
1070 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1071 or else NT (N).Nkind = N_Loop_Statement
1072 or else NT (N).Nkind = N_Package_Specification
1073 or else NT (N).Nkind = N_Protected_Body
1074 or else NT (N).Nkind = N_Protected_Definition
1075 or else NT (N).Nkind = N_Record_Definition
1076 or else NT (N).Nkind = N_Task_Definition);
1081 (N : Node_Id) return Uint is
1083 pragma Assert (False
1084 or else NT (N).Nkind = N_Case_Statement
1085 or else NT (N).Nkind = N_If_Statement);
1090 (N : Node_Id) return Node_Id is
1092 pragma Assert (False
1093 or else NT (N).Nkind in N_Has_Entity
1094 or else NT (N).Nkind = N_Aspect_Specification
1095 or else NT (N).Nkind = N_Attribute_Definition_Clause
1096 or else NT (N).Nkind = N_Freeze_Entity);
1100 function Entity_Or_Associated_Node
1101 (N : Node_Id) return Node_Id is
1103 pragma Assert (False
1104 or else NT (N).Nkind in N_Has_Entity
1105 or else NT (N).Nkind = N_Freeze_Entity);
1107 end Entity_Or_Associated_Node;
1109 function Entry_Body_Formal_Part
1110 (N : Node_Id) return Node_Id is
1112 pragma Assert (False
1113 or else NT (N).Nkind = N_Entry_Body);
1115 end Entry_Body_Formal_Part;
1117 function Entry_Call_Alternative
1118 (N : Node_Id) return Node_Id is
1120 pragma Assert (False
1121 or else NT (N).Nkind = N_Conditional_Entry_Call
1122 or else NT (N).Nkind = N_Timed_Entry_Call);
1124 end Entry_Call_Alternative;
1126 function Entry_Call_Statement
1127 (N : Node_Id) return Node_Id is
1129 pragma Assert (False
1130 or else NT (N).Nkind = N_Entry_Call_Alternative);
1132 end Entry_Call_Statement;
1134 function Entry_Direct_Name
1135 (N : Node_Id) return Node_Id is
1137 pragma Assert (False
1138 or else NT (N).Nkind = N_Accept_Statement);
1140 end Entry_Direct_Name;
1142 function Entry_Index
1143 (N : Node_Id) return Node_Id is
1145 pragma Assert (False
1146 or else NT (N).Nkind = N_Accept_Statement);
1150 function Entry_Index_Specification
1151 (N : Node_Id) return Node_Id is
1153 pragma Assert (False
1154 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1156 end Entry_Index_Specification;
1159 (N : Node_Id) return Node_Id is
1161 pragma Assert (False
1162 or else NT (N).Nkind in N_Has_Etype);
1166 function Exception_Choices
1167 (N : Node_Id) return List_Id is
1169 pragma Assert (False
1170 or else NT (N).Nkind = N_Exception_Handler);
1172 end Exception_Choices;
1174 function Exception_Handlers
1175 (N : Node_Id) return List_Id is
1177 pragma Assert (False
1178 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1180 end Exception_Handlers;
1182 function Exception_Junk
1183 (N : Node_Id) return Boolean is
1185 pragma Assert (False
1186 or else NT (N).Nkind = N_Block_Statement
1187 or else NT (N).Nkind = N_Goto_Statement
1188 or else NT (N).Nkind = N_Label
1189 or else NT (N).Nkind = N_Object_Declaration
1190 or else NT (N).Nkind = N_Subtype_Declaration);
1194 function Exception_Label
1195 (N : Node_Id) return Node_Id is
1197 pragma Assert (False
1198 or else NT (N).Nkind = N_Exception_Handler
1199 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1200 or else NT (N).Nkind = N_Push_Program_Error_Label
1201 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1203 end Exception_Label;
1205 function Expansion_Delayed
1206 (N : Node_Id) return Boolean is
1208 pragma Assert (False
1209 or else NT (N).Nkind = N_Aggregate
1210 or else NT (N).Nkind = N_Extension_Aggregate);
1212 end Expansion_Delayed;
1214 function Explicit_Actual_Parameter
1215 (N : Node_Id) return Node_Id is
1217 pragma Assert (False
1218 or else NT (N).Nkind = N_Parameter_Association);
1220 end Explicit_Actual_Parameter;
1222 function Explicit_Generic_Actual_Parameter
1223 (N : Node_Id) return Node_Id is
1225 pragma Assert (False
1226 or else NT (N).Nkind = N_Generic_Association);
1228 end Explicit_Generic_Actual_Parameter;
1231 (N : Node_Id) return Node_Id is
1233 pragma Assert (False
1234 or else NT (N).Nkind = N_Allocator
1235 or else NT (N).Nkind = N_Aspect_Specification
1236 or else NT (N).Nkind = N_Assignment_Statement
1237 or else NT (N).Nkind = N_At_Clause
1238 or else NT (N).Nkind = N_Attribute_Definition_Clause
1239 or else NT (N).Nkind = N_Case_Expression
1240 or else NT (N).Nkind = N_Case_Expression_Alternative
1241 or else NT (N).Nkind = N_Case_Statement
1242 or else NT (N).Nkind = N_Code_Statement
1243 or else NT (N).Nkind = N_Component_Association
1244 or else NT (N).Nkind = N_Component_Declaration
1245 or else NT (N).Nkind = N_Delay_Relative_Statement
1246 or else NT (N).Nkind = N_Delay_Until_Statement
1247 or else NT (N).Nkind = N_Discriminant_Association
1248 or else NT (N).Nkind = N_Discriminant_Specification
1249 or else NT (N).Nkind = N_Exception_Declaration
1250 or else NT (N).Nkind = N_Expression_Function
1251 or else NT (N).Nkind = N_Expression_With_Actions
1252 or else NT (N).Nkind = N_Free_Statement
1253 or else NT (N).Nkind = N_Mod_Clause
1254 or else NT (N).Nkind = N_Modular_Type_Definition
1255 or else NT (N).Nkind = N_Number_Declaration
1256 or else NT (N).Nkind = N_Object_Declaration
1257 or else NT (N).Nkind = N_Parameter_Specification
1258 or else NT (N).Nkind = N_Pragma_Argument_Association
1259 or else NT (N).Nkind = N_Qualified_Expression
1260 or else NT (N).Nkind = N_Raise_Expression
1261 or else NT (N).Nkind = N_Raise_Statement
1262 or else NT (N).Nkind = N_Simple_Return_Statement
1263 or else NT (N).Nkind = N_Type_Conversion
1264 or else NT (N).Nkind = N_Unchecked_Expression
1265 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1269 function Expressions
1270 (N : Node_Id) return List_Id is
1272 pragma Assert (False
1273 or else NT (N).Nkind = N_Aggregate
1274 or else NT (N).Nkind = N_Attribute_Reference
1275 or else NT (N).Nkind = N_Extension_Aggregate
1276 or else NT (N).Nkind = N_If_Expression
1277 or else NT (N).Nkind = N_Indexed_Component);
1282 (N : Node_Id) return Node_Id is
1284 pragma Assert (False
1285 or else NT (N).Nkind = N_Component_Clause);
1289 function First_Inlined_Subprogram
1290 (N : Node_Id) return Entity_Id is
1292 pragma Assert (False
1293 or else NT (N).Nkind = N_Compilation_Unit);
1295 end First_Inlined_Subprogram;
1298 (N : Node_Id) return Boolean is
1300 pragma Assert (False
1301 or else NT (N).Nkind = N_With_Clause);
1305 function First_Named_Actual
1306 (N : Node_Id) return Node_Id is
1308 pragma Assert (False
1309 or else NT (N).Nkind = N_Entry_Call_Statement
1310 or else NT (N).Nkind = N_Function_Call
1311 or else NT (N).Nkind = N_Procedure_Call_Statement);
1313 end First_Named_Actual;
1315 function First_Real_Statement
1316 (N : Node_Id) return Node_Id is
1318 pragma Assert (False
1319 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1321 end First_Real_Statement;
1323 function First_Subtype_Link
1324 (N : Node_Id) return Entity_Id is
1326 pragma Assert (False
1327 or else NT (N).Nkind = N_Freeze_Entity);
1329 end First_Subtype_Link;
1331 function Float_Truncate
1332 (N : Node_Id) return Boolean is
1334 pragma Assert (False
1335 or else NT (N).Nkind = N_Type_Conversion);
1339 function Formal_Type_Definition
1340 (N : Node_Id) return Node_Id is
1342 pragma Assert (False
1343 or else NT (N).Nkind = N_Formal_Type_Declaration);
1345 end Formal_Type_Definition;
1347 function Forwards_OK
1348 (N : Node_Id) return Boolean is
1350 pragma Assert (False
1351 or else NT (N).Nkind = N_Assignment_Statement);
1355 function From_Aspect_Specification
1356 (N : Node_Id) return Boolean is
1358 pragma Assert (False
1359 or else NT (N).Nkind = N_Attribute_Definition_Clause
1360 or else NT (N).Nkind = N_Pragma);
1362 end From_Aspect_Specification;
1364 function From_At_End
1365 (N : Node_Id) return Boolean is
1367 pragma Assert (False
1368 or else NT (N).Nkind = N_Raise_Statement);
1372 function From_At_Mod
1373 (N : Node_Id) return Boolean is
1375 pragma Assert (False
1376 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1380 function From_Default
1381 (N : Node_Id) return Boolean is
1383 pragma Assert (False
1384 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1388 function Generic_Associations
1389 (N : Node_Id) return List_Id is
1391 pragma Assert (False
1392 or else NT (N).Nkind = N_Formal_Package_Declaration
1393 or else NT (N).Nkind = N_Function_Instantiation
1394 or else NT (N).Nkind = N_Package_Instantiation
1395 or else NT (N).Nkind = N_Procedure_Instantiation);
1397 end Generic_Associations;
1399 function Generic_Formal_Declarations
1400 (N : Node_Id) return List_Id is
1402 pragma Assert (False
1403 or else NT (N).Nkind = N_Generic_Package_Declaration
1404 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1406 end Generic_Formal_Declarations;
1408 function Generic_Parent
1409 (N : Node_Id) return Node_Id is
1411 pragma Assert (False
1412 or else NT (N).Nkind = N_Function_Specification
1413 or else NT (N).Nkind = N_Package_Specification
1414 or else NT (N).Nkind = N_Procedure_Specification);
1418 function Generic_Parent_Type
1419 (N : Node_Id) return Node_Id is
1421 pragma Assert (False
1422 or else NT (N).Nkind = N_Subtype_Declaration);
1424 end Generic_Parent_Type;
1426 function Handled_Statement_Sequence
1427 (N : Node_Id) return Node_Id is
1429 pragma Assert (False
1430 or else NT (N).Nkind = N_Accept_Statement
1431 or else NT (N).Nkind = N_Block_Statement
1432 or else NT (N).Nkind = N_Entry_Body
1433 or else NT (N).Nkind = N_Extended_Return_Statement
1434 or else NT (N).Nkind = N_Package_Body
1435 or else NT (N).Nkind = N_Subprogram_Body
1436 or else NT (N).Nkind = N_Task_Body);
1438 end Handled_Statement_Sequence;
1440 function Handler_List_Entry
1441 (N : Node_Id) return Node_Id is
1443 pragma Assert (False
1444 or else NT (N).Nkind = N_Object_Declaration);
1446 end Handler_List_Entry;
1448 function Has_Created_Identifier
1449 (N : Node_Id) return Boolean is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Block_Statement
1453 or else NT (N).Nkind = N_Loop_Statement);
1455 end Has_Created_Identifier;
1457 function Has_Dereference_Action
1458 (N : Node_Id) return Boolean is
1460 pragma Assert (False
1461 or else NT (N).Nkind = N_Explicit_Dereference);
1463 end Has_Dereference_Action;
1465 function Has_Dynamic_Length_Check
1466 (N : Node_Id) return Boolean is
1468 pragma Assert (False
1469 or else NT (N).Nkind in N_Subexpr);
1471 end Has_Dynamic_Length_Check;
1473 function Has_Dynamic_Range_Check
1474 (N : Node_Id) return Boolean is
1476 pragma Assert (False
1477 or else NT (N).Nkind = N_Subtype_Declaration
1478 or else NT (N).Nkind in N_Subexpr);
1480 end Has_Dynamic_Range_Check;
1482 function Has_Init_Expression
1483 (N : Node_Id) return Boolean is
1485 pragma Assert (False
1486 or else NT (N).Nkind = N_Object_Declaration);
1488 end Has_Init_Expression;
1490 function Has_Local_Raise
1491 (N : Node_Id) return Boolean is
1493 pragma Assert (False
1494 or else NT (N).Nkind = N_Exception_Handler);
1496 end Has_Local_Raise;
1498 function Has_No_Elaboration_Code
1499 (N : Node_Id) return Boolean is
1501 pragma Assert (False
1502 or else NT (N).Nkind = N_Compilation_Unit);
1504 end Has_No_Elaboration_Code;
1506 function Has_Pragma_Suppress_All
1507 (N : Node_Id) return Boolean is
1509 pragma Assert (False
1510 or else NT (N).Nkind = N_Compilation_Unit);
1512 end Has_Pragma_Suppress_All;
1514 function Has_Private_View
1515 (N : Node_Id) return Boolean is
1517 pragma Assert (False
1518 or else NT (N).Nkind in N_Op
1519 or else NT (N).Nkind = N_Character_Literal
1520 or else NT (N).Nkind = N_Expanded_Name
1521 or else NT (N).Nkind = N_Identifier
1522 or else NT (N).Nkind = N_Operator_Symbol);
1524 end Has_Private_View;
1526 function Has_Relative_Deadline_Pragma
1527 (N : Node_Id) return Boolean is
1529 pragma Assert (False
1530 or else NT (N).Nkind = N_Subprogram_Body
1531 or else NT (N).Nkind = N_Task_Definition);
1533 end Has_Relative_Deadline_Pragma;
1535 function Has_Self_Reference
1536 (N : Node_Id) return Boolean is
1538 pragma Assert (False
1539 or else NT (N).Nkind = N_Aggregate
1540 or else NT (N).Nkind = N_Extension_Aggregate);
1542 end Has_Self_Reference;
1544 function Has_Storage_Size_Pragma
1545 (N : Node_Id) return Boolean is
1547 pragma Assert (False
1548 or else NT (N).Nkind = N_Task_Definition);
1550 end Has_Storage_Size_Pragma;
1552 function Has_Wide_Character
1553 (N : Node_Id) return Boolean is
1555 pragma Assert (False
1556 or else NT (N).Nkind = N_String_Literal);
1558 end Has_Wide_Character;
1560 function Has_Wide_Wide_Character
1561 (N : Node_Id) return Boolean is
1563 pragma Assert (False
1564 or else NT (N).Nkind = N_String_Literal);
1566 end Has_Wide_Wide_Character;
1568 function Header_Size_Added
1569 (N : Node_Id) return Boolean is
1571 pragma Assert (False
1572 or else NT (N).Nkind = N_Attribute_Reference);
1574 end Header_Size_Added;
1576 function Hidden_By_Use_Clause
1577 (N : Node_Id) return Elist_Id is
1579 pragma Assert (False
1580 or else NT (N).Nkind = N_Use_Package_Clause
1581 or else NT (N).Nkind = N_Use_Type_Clause);
1583 end Hidden_By_Use_Clause;
1586 (N : Node_Id) return Node_Id is
1588 pragma Assert (False
1589 or else NT (N).Nkind = N_Range
1590 or else NT (N).Nkind = N_Real_Range_Specification
1591 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1596 (N : Node_Id) return Node_Id is
1598 pragma Assert (False
1599 or else NT (N).Nkind = N_Aspect_Specification
1600 or else NT (N).Nkind = N_At_Clause
1601 or else NT (N).Nkind = N_Block_Statement
1602 or else NT (N).Nkind = N_Designator
1603 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1604 or else NT (N).Nkind = N_Label
1605 or else NT (N).Nkind = N_Loop_Statement
1606 or else NT (N).Nkind = N_Record_Representation_Clause
1607 or else NT (N).Nkind = N_Subprogram_Info);
1611 function Implicit_With
1612 (N : Node_Id) return Boolean is
1614 pragma Assert (False
1615 or else NT (N).Nkind = N_With_Clause);
1619 function Implicit_With_From_Instantiation
1620 (N : Node_Id) return Boolean is
1622 pragma Assert (False
1623 or else NT (N).Nkind = N_With_Clause);
1625 end Implicit_With_From_Instantiation;
1627 function Interface_List
1628 (N : Node_Id) return List_Id is
1630 pragma Assert (False
1631 or else NT (N).Nkind = N_Derived_Type_Definition
1632 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1633 or else NT (N).Nkind = N_Private_Extension_Declaration
1634 or else NT (N).Nkind = N_Protected_Type_Declaration
1635 or else NT (N).Nkind = N_Record_Definition
1636 or else NT (N).Nkind = N_Single_Protected_Declaration
1637 or else NT (N).Nkind = N_Single_Task_Declaration
1638 or else NT (N).Nkind = N_Task_Type_Declaration);
1642 function Interface_Present
1643 (N : Node_Id) return Boolean is
1645 pragma Assert (False
1646 or else NT (N).Nkind = N_Derived_Type_Definition
1647 or else NT (N).Nkind = N_Record_Definition);
1649 end Interface_Present;
1651 function Import_Interface_Present
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_Pragma);
1657 end Import_Interface_Present;
1659 function In_Assertion_Expression
1660 (N : Node_Id) return Boolean is
1662 pragma Assert (False
1663 or else NT (N).Nkind = N_Function_Call);
1665 end In_Assertion_Expression;
1668 (N : Node_Id) return Boolean is
1670 pragma Assert (False
1671 or else NT (N).Nkind = N_Formal_Object_Declaration
1672 or else NT (N).Nkind = N_Parameter_Specification);
1676 function Includes_Infinities
1677 (N : Node_Id) return Boolean is
1679 pragma Assert (False
1680 or else NT (N).Nkind = N_Range);
1682 end Includes_Infinities;
1684 function Inherited_Discriminant
1685 (N : Node_Id) return Boolean is
1687 pragma Assert (False
1688 or else NT (N).Nkind = N_Component_Association);
1690 end Inherited_Discriminant;
1692 function Instance_Spec
1693 (N : Node_Id) return Node_Id is
1695 pragma Assert (False
1696 or else NT (N).Nkind = N_Formal_Package_Declaration
1697 or else NT (N).Nkind = N_Function_Instantiation
1698 or else NT (N).Nkind = N_Package_Instantiation
1699 or else NT (N).Nkind = N_Procedure_Instantiation);
1704 (N : Node_Id) return Uint is
1706 pragma Assert (False
1707 or else NT (N).Nkind = N_Integer_Literal);
1711 function Is_Accessibility_Actual
1712 (N : Node_Id) return Boolean is
1714 pragma Assert (False
1715 or else NT (N).Nkind = N_Parameter_Association);
1717 end Is_Accessibility_Actual;
1719 function Is_Asynchronous_Call_Block
1720 (N : Node_Id) return Boolean is
1722 pragma Assert (False
1723 or else NT (N).Nkind = N_Block_Statement);
1725 end Is_Asynchronous_Call_Block;
1727 function Is_Boolean_Aspect
1728 (N : Node_Id) return Boolean is
1730 pragma Assert (False
1731 or else NT (N).Nkind = N_Aspect_Specification);
1733 end Is_Boolean_Aspect;
1735 function Is_Component_Left_Opnd
1736 (N : Node_Id) return Boolean is
1738 pragma Assert (False
1739 or else NT (N).Nkind = N_Op_Concat);
1741 end Is_Component_Left_Opnd;
1743 function Is_Component_Right_Opnd
1744 (N : Node_Id) return Boolean is
1746 pragma Assert (False
1747 or else NT (N).Nkind = N_Op_Concat);
1749 end Is_Component_Right_Opnd;
1751 function Is_Controlling_Actual
1752 (N : Node_Id) return Boolean is
1754 pragma Assert (False
1755 or else NT (N).Nkind in N_Subexpr);
1757 end Is_Controlling_Actual;
1759 function Is_Disabled
1760 (N : Node_Id) return Boolean is
1762 pragma Assert (False
1763 or else NT (N).Nkind = N_Aspect_Specification
1764 or else NT (N).Nkind = N_Pragma);
1768 function Is_Delayed_Aspect
1769 (N : Node_Id) return Boolean is
1771 pragma Assert (False
1772 or else NT (N).Nkind = N_Aspect_Specification
1773 or else NT (N).Nkind = N_Attribute_Definition_Clause
1774 or else NT (N).Nkind = N_Pragma);
1776 end Is_Delayed_Aspect;
1778 function Is_Dynamic_Coextension
1779 (N : Node_Id) return Boolean is
1781 pragma Assert (False
1782 or else NT (N).Nkind = N_Allocator);
1784 end Is_Dynamic_Coextension;
1787 (N : Node_Id) return Boolean is
1789 pragma Assert (False
1790 or else NT (N).Nkind = N_If_Expression);
1794 function Is_Entry_Barrier_Function
1795 (N : Node_Id) return Boolean is
1797 pragma Assert (False
1798 or else NT (N).Nkind = N_Subprogram_Body);
1800 end Is_Entry_Barrier_Function;
1802 function Is_Expanded_Build_In_Place_Call
1803 (N : Node_Id) return Boolean is
1805 pragma Assert (False
1806 or else NT (N).Nkind = N_Function_Call);
1808 end Is_Expanded_Build_In_Place_Call;
1810 function Is_Finalization_Wrapper
1811 (N : Node_Id) return Boolean is
1813 pragma Assert (False
1814 or else NT (N).Nkind = N_Block_Statement);
1816 end Is_Finalization_Wrapper;
1818 function Is_Folded_In_Parser
1819 (N : Node_Id) return Boolean is
1821 pragma Assert (False
1822 or else NT (N).Nkind = N_String_Literal);
1824 end Is_Folded_In_Parser;
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_Pragma);
1835 function Is_In_Discriminant_Check
1836 (N : Node_Id) return Boolean is
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_Selected_Component);
1841 end Is_In_Discriminant_Check;
1843 function Is_Machine_Number
1844 (N : Node_Id) return Boolean is
1846 pragma Assert (False
1847 or else NT (N).Nkind = N_Real_Literal);
1849 end Is_Machine_Number;
1851 function Is_Null_Loop
1852 (N : Node_Id) return Boolean is
1854 pragma Assert (False
1855 or else NT (N).Nkind = N_Loop_Statement);
1859 function Is_Overloaded
1860 (N : Node_Id) return Boolean is
1862 pragma Assert (False
1863 or else NT (N).Nkind in N_Subexpr);
1867 function Is_Power_Of_2_For_Shift
1868 (N : Node_Id) return Boolean is
1870 pragma Assert (False
1871 or else NT (N).Nkind = N_Op_Expon);
1873 end Is_Power_Of_2_For_Shift;
1875 function Is_Prefixed_Call
1876 (N : Node_Id) return Boolean is
1878 pragma Assert (False
1879 or else NT (N).Nkind = N_Selected_Component);
1881 end Is_Prefixed_Call;
1883 function Is_Protected_Subprogram_Body
1884 (N : Node_Id) return Boolean is
1886 pragma Assert (False
1887 or else NT (N).Nkind = N_Subprogram_Body);
1889 end Is_Protected_Subprogram_Body;
1891 function Is_Static_Coextension
1892 (N : Node_Id) return Boolean is
1894 pragma Assert (False
1895 or else NT (N).Nkind = N_Allocator);
1897 end Is_Static_Coextension;
1899 function Is_Static_Expression
1900 (N : Node_Id) return Boolean is
1902 pragma Assert (False
1903 or else NT (N).Nkind in N_Subexpr);
1905 end Is_Static_Expression;
1907 function Is_Subprogram_Descriptor
1908 (N : Node_Id) return Boolean is
1910 pragma Assert (False
1911 or else NT (N).Nkind = N_Object_Declaration);
1913 end Is_Subprogram_Descriptor;
1915 function Is_Task_Allocation_Block
1916 (N : Node_Id) return Boolean is
1918 pragma Assert (False
1919 or else NT (N).Nkind = N_Block_Statement);
1921 end Is_Task_Allocation_Block;
1923 function Is_Task_Master
1924 (N : Node_Id) return Boolean is
1926 pragma Assert (False
1927 or else NT (N).Nkind = N_Block_Statement
1928 or else NT (N).Nkind = N_Subprogram_Body
1929 or else NT (N).Nkind = N_Task_Body);
1933 function Iteration_Scheme
1934 (N : Node_Id) return Node_Id is
1936 pragma Assert (False
1937 or else NT (N).Nkind = N_Loop_Statement);
1939 end Iteration_Scheme;
1941 function Iterator_Specification
1942 (N : Node_Id) return Node_Id is
1944 pragma Assert (False
1945 or else NT (N).Nkind = N_Iteration_Scheme
1946 or else NT (N).Nkind = N_Quantified_Expression);
1948 end Iterator_Specification;
1951 (N : Node_Id) return Node_Id is
1953 pragma Assert (False
1954 or else NT (N).Nkind = N_Itype_Reference);
1958 function Kill_Range_Check
1959 (N : Node_Id) return Boolean is
1961 pragma Assert (False
1962 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1964 end Kill_Range_Check;
1966 function Label_Construct
1967 (N : Node_Id) return Node_Id is
1969 pragma Assert (False
1970 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1972 end Label_Construct;
1975 (N : Node_Id) return Node_Id is
1977 pragma Assert (False
1978 or else NT (N).Nkind = N_Component_Clause);
1983 (N : Node_Id) return Boolean is
1985 pragma Assert (False
1986 or else NT (N).Nkind = N_With_Clause);
1991 (N : Node_Id) return Node_Id is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_And_Then
1995 or else NT (N).Nkind = N_In
1996 or else NT (N).Nkind = N_Not_In
1997 or else NT (N).Nkind = N_Or_Else
1998 or else NT (N).Nkind in N_Binary_Op);
2002 function Library_Unit
2003 (N : Node_Id) return Node_Id is
2005 pragma Assert (False
2006 or else NT (N).Nkind = N_Compilation_Unit
2007 or else NT (N).Nkind = N_Package_Body_Stub
2008 or else NT (N).Nkind = N_Protected_Body_Stub
2009 or else NT (N).Nkind = N_Subprogram_Body_Stub
2010 or else NT (N).Nkind = N_Task_Body_Stub
2011 or else NT (N).Nkind = N_With_Clause);
2015 function Limited_View_Installed
2016 (N : Node_Id) return Boolean is
2018 pragma Assert (False
2019 or else NT (N).Nkind = N_Package_Specification
2020 or else NT (N).Nkind = N_With_Clause);
2022 end Limited_View_Installed;
2024 function Limited_Present
2025 (N : Node_Id) return Boolean is
2027 pragma Assert (False
2028 or else NT (N).Nkind = N_Derived_Type_Definition
2029 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2030 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2031 or else NT (N).Nkind = N_Private_Extension_Declaration
2032 or else NT (N).Nkind = N_Private_Type_Declaration
2033 or else NT (N).Nkind = N_Record_Definition
2034 or else NT (N).Nkind = N_With_Clause);
2036 end Limited_Present;
2039 (N : Node_Id) return List_Id is
2041 pragma Assert (False
2042 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2046 function Local_Raise_Not_OK
2047 (N : Node_Id) return Boolean is
2049 pragma Assert (False
2050 or else NT (N).Nkind = N_Exception_Handler);
2052 end Local_Raise_Not_OK;
2054 function Local_Raise_Statements
2055 (N : Node_Id) return Elist_Id is
2057 pragma Assert (False
2058 or else NT (N).Nkind = N_Exception_Handler);
2060 end Local_Raise_Statements;
2062 function Loop_Actions
2063 (N : Node_Id) return List_Id is
2065 pragma Assert (False
2066 or else NT (N).Nkind = N_Component_Association);
2070 function Loop_Parameter_Specification
2071 (N : Node_Id) return Node_Id is
2073 pragma Assert (False
2074 or else NT (N).Nkind = N_Iteration_Scheme
2075 or else NT (N).Nkind = N_Quantified_Expression);
2077 end Loop_Parameter_Specification;
2080 (N : Node_Id) return Node_Id is
2082 pragma Assert (False
2083 or else NT (N).Nkind = N_Range
2084 or else NT (N).Nkind = N_Real_Range_Specification
2085 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2090 (N : Node_Id) return Node_Id is
2092 pragma Assert (False
2093 or else NT (N).Nkind = N_Record_Representation_Clause);
2098 (N : Node_Id) return Boolean is
2100 pragma Assert (False
2101 or else NT (N).Nkind = N_Component_Declaration
2102 or else NT (N).Nkind = N_Discriminant_Specification
2103 or else NT (N).Nkind = N_Exception_Declaration
2104 or else NT (N).Nkind = N_Formal_Object_Declaration
2105 or else NT (N).Nkind = N_Number_Declaration
2106 or else NT (N).Nkind = N_Object_Declaration
2107 or else NT (N).Nkind = N_Parameter_Specification);
2111 function Must_Be_Byte_Aligned
2112 (N : Node_Id) return Boolean is
2114 pragma Assert (False
2115 or else NT (N).Nkind = N_Attribute_Reference);
2117 end Must_Be_Byte_Aligned;
2119 function Must_Not_Freeze
2120 (N : Node_Id) return Boolean is
2122 pragma Assert (False
2123 or else NT (N).Nkind = N_Subtype_Indication
2124 or else NT (N).Nkind in N_Subexpr);
2126 end Must_Not_Freeze;
2128 function Must_Not_Override
2129 (N : Node_Id) return Boolean is
2131 pragma Assert (False
2132 or else NT (N).Nkind = N_Entry_Declaration
2133 or else NT (N).Nkind = N_Function_Instantiation
2134 or else NT (N).Nkind = N_Function_Specification
2135 or else NT (N).Nkind = N_Procedure_Instantiation
2136 or else NT (N).Nkind = N_Procedure_Specification);
2138 end Must_Not_Override;
2140 function Must_Override
2141 (N : Node_Id) return Boolean is
2143 pragma Assert (False
2144 or else NT (N).Nkind = N_Entry_Declaration
2145 or else NT (N).Nkind = N_Function_Instantiation
2146 or else NT (N).Nkind = N_Function_Specification
2147 or else NT (N).Nkind = N_Procedure_Instantiation
2148 or else NT (N).Nkind = N_Procedure_Specification);
2153 (N : Node_Id) return Node_Id is
2155 pragma Assert (False
2156 or else NT (N).Nkind = N_Assignment_Statement
2157 or else NT (N).Nkind = N_Attribute_Definition_Clause
2158 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2159 or else NT (N).Nkind = N_Designator
2160 or else NT (N).Nkind = N_Entry_Call_Statement
2161 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2162 or else NT (N).Nkind = N_Exit_Statement
2163 or else NT (N).Nkind = N_Formal_Package_Declaration
2164 or else NT (N).Nkind = N_Function_Call
2165 or else NT (N).Nkind = N_Function_Instantiation
2166 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2167 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2168 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2169 or else NT (N).Nkind = N_Goto_Statement
2170 or else NT (N).Nkind = N_Iterator_Specification
2171 or else NT (N).Nkind = N_Object_Renaming_Declaration
2172 or else NT (N).Nkind = N_Package_Instantiation
2173 or else NT (N).Nkind = N_Package_Renaming_Declaration
2174 or else NT (N).Nkind = N_Procedure_Call_Statement
2175 or else NT (N).Nkind = N_Procedure_Instantiation
2176 or else NT (N).Nkind = N_Raise_Expression
2177 or else NT (N).Nkind = N_Raise_Statement
2178 or else NT (N).Nkind = N_Requeue_Statement
2179 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2180 or else NT (N).Nkind = N_Subunit
2181 or else NT (N).Nkind = N_Variant_Part
2182 or else NT (N).Nkind = N_With_Clause);
2187 (N : Node_Id) return List_Id is
2189 pragma Assert (False
2190 or else NT (N).Nkind = N_Abort_Statement
2191 or else NT (N).Nkind = N_Use_Package_Clause);
2195 function Next_Entity
2196 (N : Node_Id) return Node_Id is
2198 pragma Assert (False
2199 or else NT (N).Nkind = N_Defining_Character_Literal
2200 or else NT (N).Nkind = N_Defining_Identifier
2201 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2205 function Next_Exit_Statement
2206 (N : Node_Id) return Node_Id is
2208 pragma Assert (False
2209 or else NT (N).Nkind = N_Exit_Statement);
2211 end Next_Exit_Statement;
2213 function Next_Implicit_With
2214 (N : Node_Id) return Node_Id is
2216 pragma Assert (False
2217 or else NT (N).Nkind = N_With_Clause);
2219 end Next_Implicit_With;
2221 function Next_Named_Actual
2222 (N : Node_Id) return Node_Id is
2224 pragma Assert (False
2225 or else NT (N).Nkind = N_Parameter_Association);
2227 end Next_Named_Actual;
2229 function Next_Pragma
2230 (N : Node_Id) return Node_Id is
2232 pragma Assert (False
2233 or else NT (N).Nkind = N_Pragma);
2237 function Next_Rep_Item
2238 (N : Node_Id) return Node_Id is
2240 pragma Assert (False
2241 or else NT (N).Nkind = N_Aspect_Specification
2242 or else NT (N).Nkind = N_Attribute_Definition_Clause
2243 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2244 or else NT (N).Nkind = N_Pragma
2245 or else NT (N).Nkind = N_Record_Representation_Clause);
2249 function Next_Use_Clause
2250 (N : Node_Id) return Node_Id is
2252 pragma Assert (False
2253 or else NT (N).Nkind = N_Use_Package_Clause
2254 or else NT (N).Nkind = N_Use_Type_Clause);
2256 end Next_Use_Clause;
2258 function No_Ctrl_Actions
2259 (N : Node_Id) return Boolean is
2261 pragma Assert (False
2262 or else NT (N).Nkind = N_Assignment_Statement);
2264 end No_Ctrl_Actions;
2266 function No_Elaboration_Check
2267 (N : Node_Id) return Boolean is
2269 pragma Assert (False
2270 or else NT (N).Nkind = N_Function_Call
2271 or else NT (N).Nkind = N_Procedure_Call_Statement);
2273 end No_Elaboration_Check;
2275 function No_Entities_Ref_In_Spec
2276 (N : Node_Id) return Boolean is
2278 pragma Assert (False
2279 or else NT (N).Nkind = N_With_Clause);
2281 end No_Entities_Ref_In_Spec;
2283 function No_Initialization
2284 (N : Node_Id) return Boolean is
2286 pragma Assert (False
2287 or else NT (N).Nkind = N_Allocator
2288 or else NT (N).Nkind = N_Object_Declaration);
2290 end No_Initialization;
2292 function No_Minimize_Eliminate
2293 (N : Node_Id) return Boolean is
2295 pragma Assert (False
2296 or else NT (N).Nkind = N_In
2297 or else NT (N).Nkind = N_Not_In);
2299 end No_Minimize_Eliminate;
2301 function No_Truncation
2302 (N : Node_Id) return Boolean is
2304 pragma Assert (False
2305 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2309 function Null_Present
2310 (N : Node_Id) return Boolean is
2312 pragma Assert (False
2313 or else NT (N).Nkind = N_Component_List
2314 or else NT (N).Nkind = N_Procedure_Specification
2315 or else NT (N).Nkind = N_Record_Definition);
2319 function Null_Exclusion_Present
2320 (N : Node_Id) return Boolean is
2322 pragma Assert (False
2323 or else NT (N).Nkind = N_Access_Definition
2324 or else NT (N).Nkind = N_Access_Function_Definition
2325 or else NT (N).Nkind = N_Access_Procedure_Definition
2326 or else NT (N).Nkind = N_Access_To_Object_Definition
2327 or else NT (N).Nkind = N_Allocator
2328 or else NT (N).Nkind = N_Component_Definition
2329 or else NT (N).Nkind = N_Derived_Type_Definition
2330 or else NT (N).Nkind = N_Discriminant_Specification
2331 or else NT (N).Nkind = N_Formal_Object_Declaration
2332 or else NT (N).Nkind = N_Function_Specification
2333 or else NT (N).Nkind = N_Object_Declaration
2334 or else NT (N).Nkind = N_Object_Renaming_Declaration
2335 or else NT (N).Nkind = N_Parameter_Specification
2336 or else NT (N).Nkind = N_Subtype_Declaration);
2338 end Null_Exclusion_Present;
2340 function Null_Exclusion_In_Return_Present
2341 (N : Node_Id) return Boolean is
2343 pragma Assert (False
2344 or else NT (N).Nkind = N_Access_Function_Definition);
2346 end Null_Exclusion_In_Return_Present;
2348 function Null_Record_Present
2349 (N : Node_Id) return Boolean is
2351 pragma Assert (False
2352 or else NT (N).Nkind = N_Aggregate
2353 or else NT (N).Nkind = N_Extension_Aggregate);
2355 end Null_Record_Present;
2357 function Object_Definition
2358 (N : Node_Id) return Node_Id is
2360 pragma Assert (False
2361 or else NT (N).Nkind = N_Object_Declaration);
2363 end Object_Definition;
2366 (N : Node_Id) return Boolean is
2368 pragma Assert (False
2369 or else NT (N).Nkind = N_Iterator_Specification);
2373 function Original_Discriminant
2374 (N : Node_Id) return Node_Id is
2376 pragma Assert (False
2377 or else NT (N).Nkind = N_Identifier);
2379 end Original_Discriminant;
2381 function Original_Entity
2382 (N : Node_Id) return Entity_Id is
2384 pragma Assert (False
2385 or else NT (N).Nkind = N_Integer_Literal
2386 or else NT (N).Nkind = N_Real_Literal);
2388 end Original_Entity;
2390 function Others_Discrete_Choices
2391 (N : Node_Id) return List_Id is
2393 pragma Assert (False
2394 or else NT (N).Nkind = N_Others_Choice);
2396 end Others_Discrete_Choices;
2398 function Out_Present
2399 (N : Node_Id) return Boolean is
2401 pragma Assert (False
2402 or else NT (N).Nkind = N_Formal_Object_Declaration
2403 or else NT (N).Nkind = N_Parameter_Specification);
2407 function Parameter_Associations
2408 (N : Node_Id) return List_Id is
2410 pragma Assert (False
2411 or else NT (N).Nkind = N_Entry_Call_Statement
2412 or else NT (N).Nkind = N_Function_Call
2413 or else NT (N).Nkind = N_Procedure_Call_Statement);
2415 end Parameter_Associations;
2417 function Parameter_List_Truncated
2418 (N : Node_Id) return Boolean is
2420 pragma Assert (False
2421 or else NT (N).Nkind = N_Function_Call
2422 or else NT (N).Nkind = N_Procedure_Call_Statement);
2424 end Parameter_List_Truncated;
2426 function Parameter_Specifications
2427 (N : Node_Id) return List_Id is
2429 pragma Assert (False
2430 or else NT (N).Nkind = N_Accept_Statement
2431 or else NT (N).Nkind = N_Access_Function_Definition
2432 or else NT (N).Nkind = N_Access_Procedure_Definition
2433 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2434 or else NT (N).Nkind = N_Entry_Declaration
2435 or else NT (N).Nkind = N_Function_Specification
2436 or else NT (N).Nkind = N_Procedure_Specification);
2438 end Parameter_Specifications;
2440 function Parameter_Type
2441 (N : Node_Id) return Node_Id is
2443 pragma Assert (False
2444 or else NT (N).Nkind = N_Parameter_Specification);
2448 function Parent_Spec
2449 (N : Node_Id) return Node_Id is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Function_Instantiation
2453 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2454 or else NT (N).Nkind = N_Generic_Package_Declaration
2455 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2456 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2457 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2458 or else NT (N).Nkind = N_Package_Declaration
2459 or else NT (N).Nkind = N_Package_Instantiation
2460 or else NT (N).Nkind = N_Package_Renaming_Declaration
2461 or else NT (N).Nkind = N_Procedure_Instantiation
2462 or else NT (N).Nkind = N_Subprogram_Declaration
2463 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2468 (N : Node_Id) return Node_Id is
2470 pragma Assert (False
2471 or else NT (N).Nkind = N_Component_Clause);
2475 function Pragma_Argument_Associations
2476 (N : Node_Id) return List_Id is
2478 pragma Assert (False
2479 or else NT (N).Nkind = N_Pragma);
2481 end Pragma_Argument_Associations;
2483 function Pragma_Identifier
2484 (N : Node_Id) return Node_Id is
2486 pragma Assert (False
2487 or else NT (N).Nkind = N_Pragma);
2489 end Pragma_Identifier;
2491 function Pragmas_After
2492 (N : Node_Id) return List_Id is
2494 pragma Assert (False
2495 or else NT (N).Nkind = N_Compilation_Unit_Aux
2496 or else NT (N).Nkind = N_Terminate_Alternative);
2500 function Pragmas_Before
2501 (N : Node_Id) return List_Id is
2503 pragma Assert (False
2504 or else NT (N).Nkind = N_Accept_Alternative
2505 or else NT (N).Nkind = N_Delay_Alternative
2506 or else NT (N).Nkind = N_Entry_Call_Alternative
2507 or else NT (N).Nkind = N_Mod_Clause
2508 or else NT (N).Nkind = N_Terminate_Alternative
2509 or else NT (N).Nkind = N_Triggering_Alternative);
2513 function Pre_Post_Conditions
2514 (N : Node_Id) return Node_Id is
2516 pragma Assert (False
2517 or else NT (N).Nkind = N_Contract);
2519 end Pre_Post_Conditions;
2522 (N : Node_Id) return Node_Id is
2524 pragma Assert (False
2525 or else NT (N).Nkind = N_Attribute_Reference
2526 or else NT (N).Nkind = N_Expanded_Name
2527 or else NT (N).Nkind = N_Explicit_Dereference
2528 or else NT (N).Nkind = N_Indexed_Component
2529 or else NT (N).Nkind = N_Reference
2530 or else NT (N).Nkind = N_Selected_Component
2531 or else NT (N).Nkind = N_Slice);
2535 function Premature_Use
2536 (N : Node_Id) return Node_Id is
2538 pragma Assert (False
2539 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2543 function Present_Expr
2544 (N : Node_Id) return Uint is
2546 pragma Assert (False
2547 or else NT (N).Nkind = N_Variant);
2552 (N : Node_Id) return Boolean is
2554 pragma Assert (False
2555 or else NT (N).Nkind = N_Component_Declaration
2556 or else NT (N).Nkind = N_Discriminant_Specification
2557 or else NT (N).Nkind = N_Exception_Declaration
2558 or else NT (N).Nkind = N_Formal_Object_Declaration
2559 or else NT (N).Nkind = N_Number_Declaration
2560 or else NT (N).Nkind = N_Object_Declaration
2561 or else NT (N).Nkind = N_Parameter_Specification);
2565 function Print_In_Hex
2566 (N : Node_Id) return Boolean is
2568 pragma Assert (False
2569 or else NT (N).Nkind = N_Integer_Literal);
2573 function Private_Declarations
2574 (N : Node_Id) return List_Id is
2576 pragma Assert (False
2577 or else NT (N).Nkind = N_Package_Specification
2578 or else NT (N).Nkind = N_Protected_Definition
2579 or else NT (N).Nkind = N_Task_Definition);
2581 end Private_Declarations;
2583 function Private_Present
2584 (N : Node_Id) return Boolean is
2586 pragma Assert (False
2587 or else NT (N).Nkind = N_Compilation_Unit
2588 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2589 or else NT (N).Nkind = N_With_Clause);
2591 end Private_Present;
2593 function Procedure_To_Call
2594 (N : Node_Id) return Node_Id is
2596 pragma Assert (False
2597 or else NT (N).Nkind = N_Allocator
2598 or else NT (N).Nkind = N_Extended_Return_Statement
2599 or else NT (N).Nkind = N_Free_Statement
2600 or else NT (N).Nkind = N_Simple_Return_Statement);
2602 end Procedure_To_Call;
2604 function Proper_Body
2605 (N : Node_Id) return Node_Id is
2607 pragma Assert (False
2608 or else NT (N).Nkind = N_Subunit);
2612 function Protected_Definition
2613 (N : Node_Id) return Node_Id is
2615 pragma Assert (False
2616 or else NT (N).Nkind = N_Protected_Type_Declaration
2617 or else NT (N).Nkind = N_Single_Protected_Declaration);
2619 end Protected_Definition;
2621 function Protected_Present
2622 (N : Node_Id) return Boolean is
2624 pragma Assert (False
2625 or else NT (N).Nkind = N_Access_Function_Definition
2626 or else NT (N).Nkind = N_Access_Procedure_Definition
2627 or else NT (N).Nkind = N_Derived_Type_Definition
2628 or else NT (N).Nkind = N_Record_Definition);
2630 end Protected_Present;
2632 function Raises_Constraint_Error
2633 (N : Node_Id) return Boolean is
2635 pragma Assert (False
2636 or else NT (N).Nkind in N_Subexpr);
2638 end Raises_Constraint_Error;
2640 function Range_Constraint
2641 (N : Node_Id) return Node_Id is
2643 pragma Assert (False
2644 or else NT (N).Nkind = N_Delta_Constraint
2645 or else NT (N).Nkind = N_Digits_Constraint);
2647 end Range_Constraint;
2649 function Range_Expression
2650 (N : Node_Id) return Node_Id is
2652 pragma Assert (False
2653 or else NT (N).Nkind = N_Range_Constraint);
2655 end Range_Expression;
2657 function Real_Range_Specification
2658 (N : Node_Id) return Node_Id is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2662 or else NT (N).Nkind = N_Floating_Point_Definition
2663 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2665 end Real_Range_Specification;
2668 (N : Node_Id) return Ureal is
2670 pragma Assert (False
2671 or else NT (N).Nkind = N_Real_Literal);
2676 (N : Node_Id) return Uint is
2678 pragma Assert (False
2679 or else NT (N).Nkind = N_Raise_Constraint_Error
2680 or else NT (N).Nkind = N_Raise_Program_Error
2681 or else NT (N).Nkind = N_Raise_Storage_Error);
2685 function Record_Extension_Part
2686 (N : Node_Id) return Node_Id is
2688 pragma Assert (False
2689 or else NT (N).Nkind = N_Derived_Type_Definition);
2691 end Record_Extension_Part;
2693 function Redundant_Use
2694 (N : Node_Id) return Boolean is
2696 pragma Assert (False
2697 or else NT (N).Nkind = N_Attribute_Reference
2698 or else NT (N).Nkind = N_Expanded_Name
2699 or else NT (N).Nkind = N_Identifier);
2703 function Renaming_Exception
2704 (N : Node_Id) return Node_Id is
2706 pragma Assert (False
2707 or else NT (N).Nkind = N_Exception_Declaration);
2709 end Renaming_Exception;
2711 function Result_Definition
2712 (N : Node_Id) return Node_Id is
2714 pragma Assert (False
2715 or else NT (N).Nkind = N_Access_Function_Definition
2716 or else NT (N).Nkind = N_Function_Specification);
2718 end Result_Definition;
2720 function Return_Object_Declarations
2721 (N : Node_Id) return List_Id is
2723 pragma Assert (False
2724 or else NT (N).Nkind = N_Extended_Return_Statement);
2726 end Return_Object_Declarations;
2728 function Return_Statement_Entity
2729 (N : Node_Id) return Node_Id is
2731 pragma Assert (False
2732 or else NT (N).Nkind = N_Extended_Return_Statement
2733 or else NT (N).Nkind = N_Simple_Return_Statement);
2735 end Return_Statement_Entity;
2737 function Reverse_Present
2738 (N : Node_Id) return Boolean is
2740 pragma Assert (False
2741 or else NT (N).Nkind = N_Iterator_Specification
2742 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2744 end Reverse_Present;
2747 (N : Node_Id) return Node_Id is
2749 pragma Assert (False
2750 or else NT (N).Nkind in N_Op
2751 or else NT (N).Nkind = N_And_Then
2752 or else NT (N).Nkind = N_In
2753 or else NT (N).Nkind = N_Not_In
2754 or else NT (N).Nkind = N_Or_Else);
2758 function Rounded_Result
2759 (N : Node_Id) return Boolean is
2761 pragma Assert (False
2762 or else NT (N).Nkind = N_Op_Divide
2763 or else NT (N).Nkind = N_Op_Multiply
2764 or else NT (N).Nkind = N_Type_Conversion);
2768 function SCIL_Controlling_Tag
2769 (N : Node_Id) return Node_Id is
2771 pragma Assert (False
2772 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2774 end SCIL_Controlling_Tag;
2776 function SCIL_Entity
2777 (N : Node_Id) return Node_Id is
2779 pragma Assert (False
2780 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2781 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2782 or else NT (N).Nkind = N_SCIL_Membership_Test);
2786 function SCIL_Tag_Value
2787 (N : Node_Id) return Node_Id is
2789 pragma Assert (False
2790 or else NT (N).Nkind = N_SCIL_Membership_Test);
2794 function SCIL_Target_Prim
2795 (N : Node_Id) return Node_Id is
2797 pragma Assert (False
2798 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2800 end SCIL_Target_Prim;
2803 (N : Node_Id) return Node_Id is
2805 pragma Assert (False
2806 or else NT (N).Nkind = N_Defining_Character_Literal
2807 or else NT (N).Nkind = N_Defining_Identifier
2808 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2812 function Select_Alternatives
2813 (N : Node_Id) return List_Id is
2815 pragma Assert (False
2816 or else NT (N).Nkind = N_Selective_Accept);
2818 end Select_Alternatives;
2820 function Selector_Name
2821 (N : Node_Id) return Node_Id is
2823 pragma Assert (False
2824 or else NT (N).Nkind = N_Expanded_Name
2825 or else NT (N).Nkind = N_Generic_Association
2826 or else NT (N).Nkind = N_Parameter_Association
2827 or else NT (N).Nkind = N_Selected_Component);
2831 function Selector_Names
2832 (N : Node_Id) return List_Id is
2834 pragma Assert (False
2835 or else NT (N).Nkind = N_Discriminant_Association);
2839 function Shift_Count_OK
2840 (N : Node_Id) return Boolean is
2842 pragma Assert (False
2843 or else NT (N).Nkind = N_Op_Rotate_Left
2844 or else NT (N).Nkind = N_Op_Rotate_Right
2845 or else NT (N).Nkind = N_Op_Shift_Left
2846 or else NT (N).Nkind = N_Op_Shift_Right
2847 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2851 function Source_Type
2852 (N : Node_Id) return Entity_Id is
2854 pragma Assert (False
2855 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2859 function Specification
2860 (N : Node_Id) return Node_Id is
2862 pragma Assert (False
2863 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2864 or else NT (N).Nkind = N_Expression_Function
2865 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2866 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2867 or else NT (N).Nkind = N_Generic_Package_Declaration
2868 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2869 or else NT (N).Nkind = N_Package_Declaration
2870 or else NT (N).Nkind = N_Subprogram_Body
2871 or else NT (N).Nkind = N_Subprogram_Body_Stub
2872 or else NT (N).Nkind = N_Subprogram_Declaration
2873 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2878 (N : Node_Id) return Boolean is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Aspect_Specification
2882 or else NT (N).Nkind = N_Pragma);
2887 (N : Node_Id) return List_Id is
2889 pragma Assert (False
2890 or else NT (N).Nkind = N_Abortable_Part
2891 or else NT (N).Nkind = N_Accept_Alternative
2892 or else NT (N).Nkind = N_Case_Statement_Alternative
2893 or else NT (N).Nkind = N_Delay_Alternative
2894 or else NT (N).Nkind = N_Entry_Call_Alternative
2895 or else NT (N).Nkind = N_Exception_Handler
2896 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2897 or else NT (N).Nkind = N_Loop_Statement
2898 or else NT (N).Nkind = N_Triggering_Alternative);
2902 function Storage_Pool
2903 (N : Node_Id) return Node_Id is
2905 pragma Assert (False
2906 or else NT (N).Nkind = N_Allocator
2907 or else NT (N).Nkind = N_Extended_Return_Statement
2908 or else NT (N).Nkind = N_Free_Statement
2909 or else NT (N).Nkind = N_Simple_Return_Statement);
2913 function Subpool_Handle_Name
2914 (N : Node_Id) return Node_Id is
2916 pragma Assert (False
2917 or else NT (N).Nkind = N_Allocator);
2919 end Subpool_Handle_Name;
2922 (N : Node_Id) return String_Id is
2924 pragma Assert (False
2925 or else NT (N).Nkind = N_Operator_Symbol
2926 or else NT (N).Nkind = N_String_Literal);
2930 function Subtype_Indication
2931 (N : Node_Id) return Node_Id is
2933 pragma Assert (False
2934 or else NT (N).Nkind = N_Access_To_Object_Definition
2935 or else NT (N).Nkind = N_Component_Definition
2936 or else NT (N).Nkind = N_Derived_Type_Definition
2937 or else NT (N).Nkind = N_Iterator_Specification
2938 or else NT (N).Nkind = N_Private_Extension_Declaration
2939 or else NT (N).Nkind = N_Subtype_Declaration);
2941 end Subtype_Indication;
2943 function Suppress_Assignment_Checks
2944 (N : Node_Id) return Boolean is
2946 pragma Assert (False
2947 or else NT (N).Nkind = N_Assignment_Statement
2948 or else NT (N).Nkind = N_Object_Declaration);
2950 end Suppress_Assignment_Checks;
2952 function Suppress_Loop_Warnings
2953 (N : Node_Id) return Boolean is
2955 pragma Assert (False
2956 or else NT (N).Nkind = N_Loop_Statement);
2958 end Suppress_Loop_Warnings;
2960 function Subtype_Mark
2961 (N : Node_Id) return Node_Id is
2963 pragma Assert (False
2964 or else NT (N).Nkind = N_Access_Definition
2965 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2966 or else NT (N).Nkind = N_Formal_Object_Declaration
2967 or else NT (N).Nkind = N_Object_Renaming_Declaration
2968 or else NT (N).Nkind = N_Qualified_Expression
2969 or else NT (N).Nkind = N_Subtype_Indication
2970 or else NT (N).Nkind = N_Type_Conversion
2971 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2975 function Subtype_Marks
2976 (N : Node_Id) return List_Id is
2978 pragma Assert (False
2979 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2980 or else NT (N).Nkind = N_Use_Type_Clause);
2984 function Synchronized_Present
2985 (N : Node_Id) return Boolean is
2987 pragma Assert (False
2988 or else NT (N).Nkind = N_Derived_Type_Definition
2989 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2990 or else NT (N).Nkind = N_Private_Extension_Declaration
2991 or else NT (N).Nkind = N_Record_Definition);
2993 end Synchronized_Present;
2995 function Tagged_Present
2996 (N : Node_Id) return Boolean is
2998 pragma Assert (False
2999 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
3000 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3001 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3002 or else NT (N).Nkind = N_Private_Type_Declaration
3003 or else NT (N).Nkind = N_Record_Definition);
3007 function Target_Type
3008 (N : Node_Id) return Entity_Id is
3010 pragma Assert (False
3011 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
3015 function Task_Definition
3016 (N : Node_Id) return Node_Id is
3018 pragma Assert (False
3019 or else NT (N).Nkind = N_Single_Task_Declaration
3020 or else NT (N).Nkind = N_Task_Type_Declaration);
3022 end Task_Definition;
3024 function Task_Present
3025 (N : Node_Id) return Boolean is
3027 pragma Assert (False
3028 or else NT (N).Nkind = N_Derived_Type_Definition
3029 or else NT (N).Nkind = N_Record_Definition);
3033 function Then_Actions
3034 (N : Node_Id) return List_Id is
3036 pragma Assert (False
3037 or else NT (N).Nkind = N_If_Expression);
3041 function Then_Statements
3042 (N : Node_Id) return List_Id is
3044 pragma Assert (False
3045 or else NT (N).Nkind = N_Elsif_Part
3046 or else NT (N).Nkind = N_If_Statement);
3048 end Then_Statements;
3050 function Treat_Fixed_As_Integer
3051 (N : Node_Id) return Boolean is
3053 pragma Assert (False
3054 or else NT (N).Nkind = N_Op_Divide
3055 or else NT (N).Nkind = N_Op_Mod
3056 or else NT (N).Nkind = N_Op_Multiply
3057 or else NT (N).Nkind = N_Op_Rem);
3059 end Treat_Fixed_As_Integer;
3061 function Triggering_Alternative
3062 (N : Node_Id) return Node_Id is
3064 pragma Assert (False
3065 or else NT (N).Nkind = N_Asynchronous_Select);
3067 end Triggering_Alternative;
3069 function Triggering_Statement
3070 (N : Node_Id) return Node_Id is
3072 pragma Assert (False
3073 or else NT (N).Nkind = N_Triggering_Alternative);
3075 end Triggering_Statement;
3078 (N : Node_Id) return Elist_Id is
3080 pragma Assert (False
3081 or else NT (N).Nkind = N_Freeze_Entity);
3085 function Type_Definition
3086 (N : Node_Id) return Node_Id is
3088 pragma Assert (False
3089 or else NT (N).Nkind = N_Full_Type_Declaration);
3091 end Type_Definition;
3094 (N : Node_Id) return Node_Id is
3096 pragma Assert (False
3097 or else NT (N).Nkind = N_Compilation_Unit);
3101 function Unknown_Discriminants_Present
3102 (N : Node_Id) return Boolean is
3104 pragma Assert (False
3105 or else NT (N).Nkind = N_Formal_Type_Declaration
3106 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3107 or else NT (N).Nkind = N_Private_Extension_Declaration
3108 or else NT (N).Nkind = N_Private_Type_Declaration);
3110 end Unknown_Discriminants_Present;
3112 function Unreferenced_In_Spec
3113 (N : Node_Id) return Boolean is
3115 pragma Assert (False
3116 or else NT (N).Nkind = N_With_Clause);
3118 end Unreferenced_In_Spec;
3120 function Variant_Part
3121 (N : Node_Id) return Node_Id is
3123 pragma Assert (False
3124 or else NT (N).Nkind = N_Component_List);
3129 (N : Node_Id) return List_Id is
3131 pragma Assert (False
3132 or else NT (N).Nkind = N_Variant_Part);
3136 function Visible_Declarations
3137 (N : Node_Id) return List_Id is
3139 pragma Assert (False
3140 or else NT (N).Nkind = N_Package_Specification
3141 or else NT (N).Nkind = N_Protected_Definition
3142 or else NT (N).Nkind = N_Task_Definition);
3144 end Visible_Declarations;
3146 function Used_Operations
3147 (N : Node_Id) return Elist_Id is
3149 pragma Assert (False
3150 or else NT (N).Nkind = N_Use_Type_Clause);
3152 end Used_Operations;
3154 function Was_Originally_Stub
3155 (N : Node_Id) return Boolean is
3157 pragma Assert (False
3158 or else NT (N).Nkind = N_Package_Body
3159 or else NT (N).Nkind = N_Protected_Body
3160 or else NT (N).Nkind = N_Subprogram_Body
3161 or else NT (N).Nkind = N_Task_Body);
3163 end Was_Originally_Stub;
3165 function Withed_Body
3166 (N : Node_Id) return Node_Id is
3168 pragma Assert (False
3169 or else NT (N).Nkind = N_With_Clause);
3173 --------------------------
3174 -- Field Set Procedures --
3175 --------------------------
3177 procedure Set_ABE_Is_Certain
3178 (N : Node_Id; Val : Boolean := True) is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Formal_Package_Declaration
3182 or else NT (N).Nkind = N_Function_Call
3183 or else NT (N).Nkind = N_Function_Instantiation
3184 or else NT (N).Nkind = N_Package_Instantiation
3185 or else NT (N).Nkind = N_Procedure_Call_Statement
3186 or else NT (N).Nkind = N_Procedure_Instantiation);
3187 Set_Flag18 (N, Val);
3188 end Set_ABE_Is_Certain;
3190 procedure Set_Abort_Present
3191 (N : Node_Id; Val : Boolean := True) is
3193 pragma Assert (False
3194 or else NT (N).Nkind = N_Requeue_Statement);
3195 Set_Flag15 (N, Val);
3196 end Set_Abort_Present;
3198 procedure Set_Abortable_Part
3199 (N : Node_Id; Val : Node_Id) is
3201 pragma Assert (False
3202 or else NT (N).Nkind = N_Asynchronous_Select);
3203 Set_Node2_With_Parent (N, Val);
3204 end Set_Abortable_Part;
3206 procedure Set_Abstract_Present
3207 (N : Node_Id; Val : Boolean := True) is
3209 pragma Assert (False
3210 or else NT (N).Nkind = N_Derived_Type_Definition
3211 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3212 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3213 or else NT (N).Nkind = N_Private_Extension_Declaration
3214 or else NT (N).Nkind = N_Private_Type_Declaration
3215 or else NT (N).Nkind = N_Record_Definition);
3217 end Set_Abstract_Present;
3219 procedure Set_Accept_Handler_Records
3220 (N : Node_Id; Val : List_Id) is
3222 pragma Assert (False
3223 or else NT (N).Nkind = N_Accept_Alternative);
3224 Set_List5 (N, Val); -- semantic field, no parent set
3225 end Set_Accept_Handler_Records;
3227 procedure Set_Accept_Statement
3228 (N : Node_Id; Val : Node_Id) is
3230 pragma Assert (False
3231 or else NT (N).Nkind = N_Accept_Alternative);
3232 Set_Node2_With_Parent (N, Val);
3233 end Set_Accept_Statement;
3235 procedure Set_Access_Definition
3236 (N : Node_Id; Val : Node_Id) is
3238 pragma Assert (False
3239 or else NT (N).Nkind = N_Component_Definition
3240 or else NT (N).Nkind = N_Formal_Object_Declaration
3241 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3242 Set_Node3_With_Parent (N, Val);
3243 end Set_Access_Definition;
3245 procedure Set_Access_To_Subprogram_Definition
3246 (N : Node_Id; Val : Node_Id) is
3248 pragma Assert (False
3249 or else NT (N).Nkind = N_Access_Definition);
3250 Set_Node3_With_Parent (N, Val);
3251 end Set_Access_To_Subprogram_Definition;
3253 procedure Set_Access_Types_To_Process
3254 (N : Node_Id; Val : Elist_Id) is
3256 pragma Assert (False
3257 or else NT (N).Nkind = N_Freeze_Entity);
3258 Set_Elist2 (N, Val); -- semantic field, no parent set
3259 end Set_Access_Types_To_Process;
3261 procedure Set_Actions
3262 (N : Node_Id; Val : List_Id) is
3264 pragma Assert (False
3265 or else NT (N).Nkind = N_And_Then
3266 or else NT (N).Nkind = N_Case_Expression_Alternative
3267 or else NT (N).Nkind = N_Compilation_Unit_Aux
3268 or else NT (N).Nkind = N_Expression_With_Actions
3269 or else NT (N).Nkind = N_Freeze_Entity
3270 or else NT (N).Nkind = N_Or_Else);
3271 Set_List1_With_Parent (N, Val);
3274 procedure Set_Activation_Chain_Entity
3275 (N : Node_Id; Val : Node_Id) is
3277 pragma Assert (False
3278 or else NT (N).Nkind = N_Block_Statement
3279 or else NT (N).Nkind = N_Entry_Body
3280 or else NT (N).Nkind = N_Generic_Package_Declaration
3281 or else NT (N).Nkind = N_Package_Declaration
3282 or else NT (N).Nkind = N_Subprogram_Body
3283 or else NT (N).Nkind = N_Task_Body);
3284 Set_Node3 (N, Val); -- semantic field, no parent set
3285 end Set_Activation_Chain_Entity;
3287 procedure Set_Acts_As_Spec
3288 (N : Node_Id; Val : Boolean := True) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Compilation_Unit
3292 or else NT (N).Nkind = N_Subprogram_Body);
3294 end Set_Acts_As_Spec;
3296 procedure Set_Actual_Designated_Subtype
3297 (N : Node_Id; Val : Node_Id) is
3299 pragma Assert (False
3300 or else NT (N).Nkind = N_Explicit_Dereference
3301 or else NT (N).Nkind = N_Free_Statement);
3303 end Set_Actual_Designated_Subtype;
3305 procedure Set_Address_Warning_Posted
3306 (N : Node_Id; Val : Boolean := True) is
3308 pragma Assert (False
3309 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3310 Set_Flag18 (N, Val);
3311 end Set_Address_Warning_Posted;
3313 procedure Set_Aggregate_Bounds
3314 (N : Node_Id; Val : Node_Id) is
3316 pragma Assert (False
3317 or else NT (N).Nkind = N_Aggregate);
3318 Set_Node3 (N, Val); -- semantic field, no parent set
3319 end Set_Aggregate_Bounds;
3321 procedure Set_Aliased_Present
3322 (N : Node_Id; Val : Boolean := True) is
3324 pragma Assert (False
3325 or else NT (N).Nkind = N_Component_Definition
3326 or else NT (N).Nkind = N_Object_Declaration
3327 or else NT (N).Nkind = N_Parameter_Specification);
3329 end Set_Aliased_Present;
3331 procedure Set_All_Others
3332 (N : Node_Id; Val : Boolean := True) is
3334 pragma Assert (False
3335 or else NT (N).Nkind = N_Others_Choice);
3336 Set_Flag11 (N, Val);
3339 procedure Set_All_Present
3340 (N : Node_Id; Val : Boolean := True) is
3342 pragma Assert (False
3343 or else NT (N).Nkind = N_Access_Definition
3344 or else NT (N).Nkind = N_Access_To_Object_Definition
3345 or else NT (N).Nkind = N_Quantified_Expression
3346 or else NT (N).Nkind = N_Use_Type_Clause);
3347 Set_Flag15 (N, Val);
3348 end Set_All_Present;
3350 procedure Set_Alternatives
3351 (N : Node_Id; Val : List_Id) is
3353 pragma Assert (False
3354 or else NT (N).Nkind = N_Case_Expression
3355 or else NT (N).Nkind = N_Case_Statement
3356 or else NT (N).Nkind = N_In
3357 or else NT (N).Nkind = N_Not_In);
3358 Set_List4_With_Parent (N, Val);
3359 end Set_Alternatives;
3361 procedure Set_Ancestor_Part
3362 (N : Node_Id; Val : Node_Id) is
3364 pragma Assert (False
3365 or else NT (N).Nkind = N_Extension_Aggregate);
3366 Set_Node3_With_Parent (N, Val);
3367 end Set_Ancestor_Part;
3369 procedure Set_Atomic_Sync_Required
3370 (N : Node_Id; Val : Boolean := True) is
3372 pragma Assert (False
3373 or else NT (N).Nkind = N_Expanded_Name
3374 or else NT (N).Nkind = N_Explicit_Dereference
3375 or else NT (N).Nkind = N_Identifier
3376 or else NT (N).Nkind = N_Indexed_Component
3377 or else NT (N).Nkind = N_Selected_Component);
3378 Set_Flag14 (N, Val);
3379 end Set_Atomic_Sync_Required;
3381 procedure Set_Array_Aggregate
3382 (N : Node_Id; Val : Node_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3386 Set_Node3_With_Parent (N, Val);
3387 end Set_Array_Aggregate;
3389 procedure Set_Aspect_Rep_Item
3390 (N : Node_Id; Val : Node_Id) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Aspect_Specification);
3395 end Set_Aspect_Rep_Item;
3397 procedure Set_Assignment_OK
3398 (N : Node_Id; Val : Boolean := True) is
3400 pragma Assert (False
3401 or else NT (N).Nkind = N_Object_Declaration
3402 or else NT (N).Nkind in N_Subexpr);
3403 Set_Flag15 (N, Val);
3404 end Set_Assignment_OK;
3406 procedure Set_Associated_Node
3407 (N : Node_Id; Val : Node_Id) is
3409 pragma Assert (False
3410 or else NT (N).Nkind in N_Has_Entity
3411 or else NT (N).Nkind = N_Aggregate
3412 or else NT (N).Nkind = N_Extension_Aggregate
3413 or else NT (N).Nkind = N_Selected_Component);
3414 Set_Node4 (N, Val); -- semantic field, no parent set
3415 end Set_Associated_Node;
3417 procedure Set_At_End_Proc
3418 (N : Node_Id; Val : Node_Id) is
3420 pragma Assert (False
3421 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3423 end Set_At_End_Proc;
3425 procedure Set_Attribute_Name
3426 (N : Node_Id; Val : Name_Id) is
3428 pragma Assert (False
3429 or else NT (N).Nkind = N_Attribute_Reference);
3431 end Set_Attribute_Name;
3433 procedure Set_Aux_Decls_Node
3434 (N : Node_Id; Val : Node_Id) is
3436 pragma Assert (False
3437 or else NT (N).Nkind = N_Compilation_Unit);
3438 Set_Node5_With_Parent (N, Val);
3439 end Set_Aux_Decls_Node;
3441 procedure Set_Backwards_OK
3442 (N : Node_Id; Val : Boolean := True) is
3444 pragma Assert (False
3445 or else NT (N).Nkind = N_Assignment_Statement);
3447 end Set_Backwards_OK;
3449 procedure Set_Bad_Is_Detected
3450 (N : Node_Id; Val : Boolean := True) is
3452 pragma Assert (False
3453 or else NT (N).Nkind = N_Subprogram_Body);
3454 Set_Flag15 (N, Val);
3455 end Set_Bad_Is_Detected;
3457 procedure Set_Body_Required
3458 (N : Node_Id; Val : Boolean := True) is
3460 pragma Assert (False
3461 or else NT (N).Nkind = N_Compilation_Unit);
3462 Set_Flag13 (N, Val);
3463 end Set_Body_Required;
3465 procedure Set_Body_To_Inline
3466 (N : Node_Id; Val : Node_Id) is
3468 pragma Assert (False
3469 or else NT (N).Nkind = N_Subprogram_Declaration);
3471 end Set_Body_To_Inline;
3473 procedure Set_Box_Present
3474 (N : Node_Id; Val : Boolean := True) is
3476 pragma Assert (False
3477 or else NT (N).Nkind = N_Component_Association
3478 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3479 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3480 or else NT (N).Nkind = N_Formal_Package_Declaration
3481 or else NT (N).Nkind = N_Generic_Association);
3482 Set_Flag15 (N, Val);
3483 end Set_Box_Present;
3485 procedure Set_By_Ref
3486 (N : Node_Id; Val : Boolean := True) is
3488 pragma Assert (False
3489 or else NT (N).Nkind = N_Extended_Return_Statement
3490 or else NT (N).Nkind = N_Simple_Return_Statement);
3494 procedure Set_Char_Literal_Value
3495 (N : Node_Id; Val : Uint) is
3497 pragma Assert (False
3498 or else NT (N).Nkind = N_Character_Literal);
3500 end Set_Char_Literal_Value;
3503 (N : Node_Id; Val : Name_Id) is
3505 pragma Assert (False
3506 or else NT (N).Nkind in N_Has_Chars);
3510 procedure Set_Check_Address_Alignment
3511 (N : Node_Id; Val : Boolean := True) is
3513 pragma Assert (False
3514 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3515 Set_Flag11 (N, Val);
3516 end Set_Check_Address_Alignment;
3518 procedure Set_Choice_Parameter
3519 (N : Node_Id; Val : Node_Id) is
3521 pragma Assert (False
3522 or else NT (N).Nkind = N_Exception_Handler);
3523 Set_Node2_With_Parent (N, Val);
3524 end Set_Choice_Parameter;
3526 procedure Set_Choices
3527 (N : Node_Id; Val : List_Id) is
3529 pragma Assert (False
3530 or else NT (N).Nkind = N_Component_Association);
3531 Set_List1_With_Parent (N, Val);
3534 procedure Set_Class_Present
3535 (N : Node_Id; Val : Boolean := True) is
3537 pragma Assert (False
3538 or else NT (N).Nkind = N_Aspect_Specification
3539 or else NT (N).Nkind = N_Pragma);
3541 end Set_Class_Present;
3543 procedure Set_Classifications
3544 (N : Node_Id; Val : Node_Id) is
3546 pragma Assert (False
3547 or else NT (N).Nkind = N_Contract);
3548 Set_Node3 (N, Val); -- semantic field, no parent set
3549 end Set_Classifications;
3551 procedure Set_Comes_From_Extended_Return_Statement
3552 (N : Node_Id; Val : Boolean := True) is
3554 pragma Assert (False
3555 or else NT (N).Nkind = N_Simple_Return_Statement);
3556 Set_Flag18 (N, Val);
3557 end Set_Comes_From_Extended_Return_Statement;
3559 procedure Set_Compile_Time_Known_Aggregate
3560 (N : Node_Id; Val : Boolean := True) is
3562 pragma Assert (False
3563 or else NT (N).Nkind = N_Aggregate);
3564 Set_Flag18 (N, Val);
3565 end Set_Compile_Time_Known_Aggregate;
3567 procedure Set_Component_Associations
3568 (N : Node_Id; Val : List_Id) is
3570 pragma Assert (False
3571 or else NT (N).Nkind = N_Aggregate
3572 or else NT (N).Nkind = N_Extension_Aggregate);
3573 Set_List2_With_Parent (N, Val);
3574 end Set_Component_Associations;
3576 procedure Set_Component_Clauses
3577 (N : Node_Id; Val : List_Id) is
3579 pragma Assert (False
3580 or else NT (N).Nkind = N_Record_Representation_Clause);
3581 Set_List3_With_Parent (N, Val);
3582 end Set_Component_Clauses;
3584 procedure Set_Component_Definition
3585 (N : Node_Id; Val : Node_Id) is
3587 pragma Assert (False
3588 or else NT (N).Nkind = N_Component_Declaration
3589 or else NT (N).Nkind = N_Constrained_Array_Definition
3590 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3591 Set_Node4_With_Parent (N, Val);
3592 end Set_Component_Definition;
3594 procedure Set_Component_Items
3595 (N : Node_Id; Val : List_Id) is
3597 pragma Assert (False
3598 or else NT (N).Nkind = N_Component_List);
3599 Set_List3_With_Parent (N, Val);
3600 end Set_Component_Items;
3602 procedure Set_Component_List
3603 (N : Node_Id; Val : Node_Id) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Record_Definition
3607 or else NT (N).Nkind = N_Variant);
3608 Set_Node1_With_Parent (N, Val);
3609 end Set_Component_List;
3611 procedure Set_Component_Name
3612 (N : Node_Id; Val : Node_Id) is
3614 pragma Assert (False
3615 or else NT (N).Nkind = N_Component_Clause);
3616 Set_Node1_With_Parent (N, Val);
3617 end Set_Component_Name;
3619 procedure Set_Componentwise_Assignment
3620 (N : Node_Id; Val : Boolean := True) is
3622 pragma Assert (False
3623 or else NT (N).Nkind = N_Assignment_Statement);
3624 Set_Flag14 (N, Val);
3625 end Set_Componentwise_Assignment;
3627 procedure Set_Condition
3628 (N : Node_Id; Val : Node_Id) is
3630 pragma Assert (False
3631 or else NT (N).Nkind = N_Accept_Alternative
3632 or else NT (N).Nkind = N_Delay_Alternative
3633 or else NT (N).Nkind = N_Elsif_Part
3634 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3635 or else NT (N).Nkind = N_Exit_Statement
3636 or else NT (N).Nkind = N_If_Statement
3637 or else NT (N).Nkind = N_Iteration_Scheme
3638 or else NT (N).Nkind = N_Quantified_Expression
3639 or else NT (N).Nkind = N_Raise_Constraint_Error
3640 or else NT (N).Nkind = N_Raise_Program_Error
3641 or else NT (N).Nkind = N_Raise_Storage_Error
3642 or else NT (N).Nkind = N_Terminate_Alternative);
3643 Set_Node1_With_Parent (N, Val);
3646 procedure Set_Condition_Actions
3647 (N : Node_Id; Val : List_Id) is
3649 pragma Assert (False
3650 or else NT (N).Nkind = N_Elsif_Part
3651 or else NT (N).Nkind = N_Iteration_Scheme);
3652 Set_List3 (N, Val); -- semantic field, no parent set
3653 end Set_Condition_Actions;
3655 procedure Set_Config_Pragmas
3656 (N : Node_Id; Val : List_Id) is
3658 pragma Assert (False
3659 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3660 Set_List4_With_Parent (N, Val);
3661 end Set_Config_Pragmas;
3663 procedure Set_Constant_Present
3664 (N : Node_Id; Val : Boolean := True) is
3666 pragma Assert (False
3667 or else NT (N).Nkind = N_Access_Definition
3668 or else NT (N).Nkind = N_Access_To_Object_Definition
3669 or else NT (N).Nkind = N_Object_Declaration);
3670 Set_Flag17 (N, Val);
3671 end Set_Constant_Present;
3673 procedure Set_Constraint
3674 (N : Node_Id; Val : Node_Id) is
3676 pragma Assert (False
3677 or else NT (N).Nkind = N_Subtype_Indication);
3678 Set_Node3_With_Parent (N, Val);
3681 procedure Set_Constraints
3682 (N : Node_Id; Val : List_Id) is
3684 pragma Assert (False
3685 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3686 Set_List1_With_Parent (N, Val);
3687 end Set_Constraints;
3689 procedure Set_Context_Installed
3690 (N : Node_Id; Val : Boolean := True) is
3692 pragma Assert (False
3693 or else NT (N).Nkind = N_With_Clause);
3694 Set_Flag13 (N, Val);
3695 end Set_Context_Installed;
3697 procedure Set_Context_Items
3698 (N : Node_Id; Val : List_Id) is
3700 pragma Assert (False
3701 or else NT (N).Nkind = N_Compilation_Unit);
3702 Set_List1_With_Parent (N, Val);
3703 end Set_Context_Items;
3705 procedure Set_Context_Pending
3706 (N : Node_Id; Val : Boolean := True) is
3708 pragma Assert (False
3709 or else NT (N).Nkind = N_Compilation_Unit);
3710 Set_Flag16 (N, Val);
3711 end Set_Context_Pending;
3713 procedure Set_Contract_Test_Cases
3714 (N : Node_Id; Val : Node_Id) is
3716 pragma Assert (False
3717 or else NT (N).Nkind = N_Contract);
3718 Set_Node2 (N, Val); -- semantic field, no parent set
3719 end Set_Contract_Test_Cases;
3721 procedure Set_Controlling_Argument
3722 (N : Node_Id; Val : Node_Id) is
3724 pragma Assert (False
3725 or else NT (N).Nkind = N_Function_Call
3726 or else NT (N).Nkind = N_Procedure_Call_Statement);
3727 Set_Node1 (N, Val); -- semantic field, no parent set
3728 end Set_Controlling_Argument;
3730 procedure Set_Conversion_OK
3731 (N : Node_Id; Val : Boolean := True) is
3733 pragma Assert (False
3734 or else NT (N).Nkind = N_Type_Conversion);
3735 Set_Flag14 (N, Val);
3736 end Set_Conversion_OK;
3738 procedure Set_Convert_To_Return_False
3739 (N : Node_Id; Val : Boolean := True) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Raise_Expression);
3743 Set_Flag13 (N, Val);
3744 end Set_Convert_To_Return_False;
3746 procedure Set_Corresponding_Aspect
3747 (N : Node_Id; Val : Node_Id) is
3749 pragma Assert (False
3750 or else NT (N).Nkind = N_Pragma);
3752 end Set_Corresponding_Aspect;
3754 procedure Set_Corresponding_Body
3755 (N : Node_Id; Val : Node_Id) is
3757 pragma Assert (False
3758 or else NT (N).Nkind = N_Entry_Declaration
3759 or else NT (N).Nkind = N_Generic_Package_Declaration
3760 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3761 or else NT (N).Nkind = N_Package_Body_Stub
3762 or else NT (N).Nkind = N_Package_Declaration
3763 or else NT (N).Nkind = N_Protected_Body_Stub
3764 or else NT (N).Nkind = N_Protected_Type_Declaration
3765 or else NT (N).Nkind = N_Subprogram_Body_Stub
3766 or else NT (N).Nkind = N_Subprogram_Declaration
3767 or else NT (N).Nkind = N_Task_Body_Stub
3768 or else NT (N).Nkind = N_Task_Type_Declaration);
3769 Set_Node5 (N, Val); -- semantic field, no parent set
3770 end Set_Corresponding_Body;
3772 procedure Set_Corresponding_Formal_Spec
3773 (N : Node_Id; Val : Node_Id) is
3775 pragma Assert (False
3776 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3777 Set_Node3 (N, Val); -- semantic field, no parent set
3778 end Set_Corresponding_Formal_Spec;
3780 procedure Set_Corresponding_Generic_Association
3781 (N : Node_Id; Val : Node_Id) is
3783 pragma Assert (False
3784 or else NT (N).Nkind = N_Object_Declaration
3785 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3786 Set_Node5 (N, Val); -- semantic field, no parent set
3787 end Set_Corresponding_Generic_Association;
3789 procedure Set_Corresponding_Integer_Value
3790 (N : Node_Id; Val : Uint) is
3792 pragma Assert (False
3793 or else NT (N).Nkind = N_Real_Literal);
3794 Set_Uint4 (N, Val); -- semantic field, no parent set
3795 end Set_Corresponding_Integer_Value;
3797 procedure Set_Corresponding_Spec
3798 (N : Node_Id; Val : Node_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Expression_Function
3802 or else NT (N).Nkind = N_Package_Body
3803 or else NT (N).Nkind = N_Protected_Body
3804 or else NT (N).Nkind = N_Subprogram_Body
3805 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3806 or else NT (N).Nkind = N_Task_Body
3807 or else NT (N).Nkind = N_With_Clause);
3808 Set_Node5 (N, Val); -- semantic field, no parent set
3809 end Set_Corresponding_Spec;
3811 procedure Set_Corresponding_Stub
3812 (N : Node_Id; Val : Node_Id) is
3814 pragma Assert (False
3815 or else NT (N).Nkind = N_Subunit);
3817 end Set_Corresponding_Stub;
3819 procedure Set_Dcheck_Function
3820 (N : Node_Id; Val : Entity_Id) is
3822 pragma Assert (False
3823 or else NT (N).Nkind = N_Variant);
3824 Set_Node5 (N, Val); -- semantic field, no parent set
3825 end Set_Dcheck_Function;
3827 procedure Set_Declarations
3828 (N : Node_Id; Val : List_Id) is
3830 pragma Assert (False
3831 or else NT (N).Nkind = N_Accept_Statement
3832 or else NT (N).Nkind = N_Block_Statement
3833 or else NT (N).Nkind = N_Compilation_Unit_Aux
3834 or else NT (N).Nkind = N_Entry_Body
3835 or else NT (N).Nkind = N_Package_Body
3836 or else NT (N).Nkind = N_Protected_Body
3837 or else NT (N).Nkind = N_Subprogram_Body
3838 or else NT (N).Nkind = N_Task_Body);
3839 Set_List2_With_Parent (N, Val);
3840 end Set_Declarations;
3842 procedure Set_Default_Expression
3843 (N : Node_Id; Val : Node_Id) is
3845 pragma Assert (False
3846 or else NT (N).Nkind = N_Formal_Object_Declaration
3847 or else NT (N).Nkind = N_Parameter_Specification);
3848 Set_Node5 (N, Val); -- semantic field, no parent set
3849 end Set_Default_Expression;
3851 procedure Set_Default_Storage_Pool
3852 (N : Node_Id; Val : Node_Id) is
3854 pragma Assert (False
3855 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3856 Set_Node3 (N, Val); -- semantic field, no parent set
3857 end Set_Default_Storage_Pool;
3859 procedure Set_Default_Name
3860 (N : Node_Id; Val : Node_Id) is
3862 pragma Assert (False
3863 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3864 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3865 Set_Node2_With_Parent (N, Val);
3866 end Set_Default_Name;
3868 procedure Set_Defining_Identifier
3869 (N : Node_Id; Val : Entity_Id) is
3871 pragma Assert (False
3872 or else NT (N).Nkind = N_Component_Declaration
3873 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3874 or else NT (N).Nkind = N_Discriminant_Specification
3875 or else NT (N).Nkind = N_Entry_Body
3876 or else NT (N).Nkind = N_Entry_Declaration
3877 or else NT (N).Nkind = N_Entry_Index_Specification
3878 or else NT (N).Nkind = N_Exception_Declaration
3879 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3880 or else NT (N).Nkind = N_Formal_Object_Declaration
3881 or else NT (N).Nkind = N_Formal_Package_Declaration
3882 or else NT (N).Nkind = N_Formal_Type_Declaration
3883 or else NT (N).Nkind = N_Full_Type_Declaration
3884 or else NT (N).Nkind = N_Implicit_Label_Declaration
3885 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3886 or else NT (N).Nkind = N_Iterator_Specification
3887 or else NT (N).Nkind = N_Loop_Parameter_Specification
3888 or else NT (N).Nkind = N_Number_Declaration
3889 or else NT (N).Nkind = N_Object_Declaration
3890 or else NT (N).Nkind = N_Object_Renaming_Declaration
3891 or else NT (N).Nkind = N_Package_Body_Stub
3892 or else NT (N).Nkind = N_Parameter_Specification
3893 or else NT (N).Nkind = N_Private_Extension_Declaration
3894 or else NT (N).Nkind = N_Private_Type_Declaration
3895 or else NT (N).Nkind = N_Protected_Body
3896 or else NT (N).Nkind = N_Protected_Body_Stub
3897 or else NT (N).Nkind = N_Protected_Type_Declaration
3898 or else NT (N).Nkind = N_Single_Protected_Declaration
3899 or else NT (N).Nkind = N_Single_Task_Declaration
3900 or else NT (N).Nkind = N_Subtype_Declaration
3901 or else NT (N).Nkind = N_Task_Body
3902 or else NT (N).Nkind = N_Task_Body_Stub
3903 or else NT (N).Nkind = N_Task_Type_Declaration);
3904 Set_Node1_With_Parent (N, Val);
3905 end Set_Defining_Identifier;
3907 procedure Set_Defining_Unit_Name
3908 (N : Node_Id; Val : Node_Id) is
3910 pragma Assert (False
3911 or else NT (N).Nkind = N_Function_Instantiation
3912 or else NT (N).Nkind = N_Function_Specification
3913 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3914 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3915 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3916 or else NT (N).Nkind = N_Package_Body
3917 or else NT (N).Nkind = N_Package_Instantiation
3918 or else NT (N).Nkind = N_Package_Renaming_Declaration
3919 or else NT (N).Nkind = N_Package_Specification
3920 or else NT (N).Nkind = N_Procedure_Instantiation
3921 or else NT (N).Nkind = N_Procedure_Specification);
3922 Set_Node1_With_Parent (N, Val);
3923 end Set_Defining_Unit_Name;
3925 procedure Set_Delay_Alternative
3926 (N : Node_Id; Val : Node_Id) is
3928 pragma Assert (False
3929 or else NT (N).Nkind = N_Timed_Entry_Call);
3930 Set_Node4_With_Parent (N, Val);
3931 end Set_Delay_Alternative;
3933 procedure Set_Delay_Statement
3934 (N : Node_Id; Val : Node_Id) is
3936 pragma Assert (False
3937 or else NT (N).Nkind = N_Delay_Alternative);
3938 Set_Node2_With_Parent (N, Val);
3939 end Set_Delay_Statement;
3941 procedure Set_Delta_Expression
3942 (N : Node_Id; Val : Node_Id) is
3944 pragma Assert (False
3945 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3946 or else NT (N).Nkind = N_Delta_Constraint
3947 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3948 Set_Node3_With_Parent (N, Val);
3949 end Set_Delta_Expression;
3951 procedure Set_Digits_Expression
3952 (N : Node_Id; Val : Node_Id) is
3954 pragma Assert (False
3955 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3956 or else NT (N).Nkind = N_Digits_Constraint
3957 or else NT (N).Nkind = N_Floating_Point_Definition);
3958 Set_Node2_With_Parent (N, Val);
3959 end Set_Digits_Expression;
3961 procedure Set_Discr_Check_Funcs_Built
3962 (N : Node_Id; Val : Boolean := True) is
3964 pragma Assert (False
3965 or else NT (N).Nkind = N_Full_Type_Declaration);
3966 Set_Flag11 (N, Val);
3967 end Set_Discr_Check_Funcs_Built;
3969 procedure Set_Discrete_Choices
3970 (N : Node_Id; Val : List_Id) is
3972 pragma Assert (False
3973 or else NT (N).Nkind = N_Case_Expression_Alternative
3974 or else NT (N).Nkind = N_Case_Statement_Alternative
3975 or else NT (N).Nkind = N_Variant);
3976 Set_List4_With_Parent (N, Val);
3977 end Set_Discrete_Choices;
3979 procedure Set_Discrete_Range
3980 (N : Node_Id; Val : Node_Id) is
3982 pragma Assert (False
3983 or else NT (N).Nkind = N_Slice);
3984 Set_Node4_With_Parent (N, Val);
3985 end Set_Discrete_Range;
3987 procedure Set_Discrete_Subtype_Definition
3988 (N : Node_Id; Val : Node_Id) is
3990 pragma Assert (False
3991 or else NT (N).Nkind = N_Entry_Declaration
3992 or else NT (N).Nkind = N_Entry_Index_Specification
3993 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3994 Set_Node4_With_Parent (N, Val);
3995 end Set_Discrete_Subtype_Definition;
3997 procedure Set_Discrete_Subtype_Definitions
3998 (N : Node_Id; Val : List_Id) is
4000 pragma Assert (False
4001 or else NT (N).Nkind = N_Constrained_Array_Definition);
4002 Set_List2_With_Parent (N, Val);
4003 end Set_Discrete_Subtype_Definitions;
4005 procedure Set_Discriminant_Specifications
4006 (N : Node_Id; Val : List_Id) is
4008 pragma Assert (False
4009 or else NT (N).Nkind = N_Formal_Type_Declaration
4010 or else NT (N).Nkind = N_Full_Type_Declaration
4011 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4012 or else NT (N).Nkind = N_Private_Extension_Declaration
4013 or else NT (N).Nkind = N_Private_Type_Declaration
4014 or else NT (N).Nkind = N_Protected_Type_Declaration
4015 or else NT (N).Nkind = N_Task_Type_Declaration);
4016 Set_List4_With_Parent (N, Val);
4017 end Set_Discriminant_Specifications;
4019 procedure Set_Discriminant_Type
4020 (N : Node_Id; Val : Node_Id) is
4022 pragma Assert (False
4023 or else NT (N).Nkind = N_Discriminant_Specification);
4024 Set_Node5_With_Parent (N, Val);
4025 end Set_Discriminant_Type;
4027 procedure Set_Do_Accessibility_Check
4028 (N : Node_Id; Val : Boolean := True) is
4030 pragma Assert (False
4031 or else NT (N).Nkind = N_Parameter_Specification);
4032 Set_Flag13 (N, Val);
4033 end Set_Do_Accessibility_Check;
4035 procedure Set_Do_Discriminant_Check
4036 (N : Node_Id; Val : Boolean := True) is
4038 pragma Assert (False
4039 or else NT (N).Nkind = N_Selected_Component);
4040 Set_Flag13 (N, Val);
4041 end Set_Do_Discriminant_Check;
4043 procedure Set_Do_Division_Check
4044 (N : Node_Id; Val : Boolean := True) is
4046 pragma Assert (False
4047 or else NT (N).Nkind = N_Op_Divide
4048 or else NT (N).Nkind = N_Op_Mod
4049 or else NT (N).Nkind = N_Op_Rem);
4050 Set_Flag13 (N, Val);
4051 end Set_Do_Division_Check;
4053 procedure Set_Do_Length_Check
4054 (N : Node_Id; Val : Boolean := True) is
4056 pragma Assert (False
4057 or else NT (N).Nkind = N_Assignment_Statement
4058 or else NT (N).Nkind = N_Op_And
4059 or else NT (N).Nkind = N_Op_Or
4060 or else NT (N).Nkind = N_Op_Xor
4061 or else NT (N).Nkind = N_Type_Conversion);
4063 end Set_Do_Length_Check;
4065 procedure Set_Do_Overflow_Check
4066 (N : Node_Id; Val : Boolean := True) is
4068 pragma Assert (False
4069 or else NT (N).Nkind in N_Op
4070 or else NT (N).Nkind = N_Attribute_Reference
4071 or else NT (N).Nkind = N_Case_Expression
4072 or else NT (N).Nkind = N_If_Expression
4073 or else NT (N).Nkind = N_Type_Conversion);
4074 Set_Flag17 (N, Val);
4075 end Set_Do_Overflow_Check;
4077 procedure Set_Do_Range_Check
4078 (N : Node_Id; Val : Boolean := True) is
4080 pragma Assert (False
4081 or else NT (N).Nkind in N_Subexpr);
4083 end Set_Do_Range_Check;
4085 procedure Set_Do_Storage_Check
4086 (N : Node_Id; Val : Boolean := True) is
4088 pragma Assert (False
4089 or else NT (N).Nkind = N_Allocator
4090 or else NT (N).Nkind = N_Subprogram_Body);
4091 Set_Flag17 (N, Val);
4092 end Set_Do_Storage_Check;
4094 procedure Set_Do_Tag_Check
4095 (N : Node_Id; Val : Boolean := True) is
4097 pragma Assert (False
4098 or else NT (N).Nkind = N_Assignment_Statement
4099 or else NT (N).Nkind = N_Extended_Return_Statement
4100 or else NT (N).Nkind = N_Function_Call
4101 or else NT (N).Nkind = N_Procedure_Call_Statement
4102 or else NT (N).Nkind = N_Simple_Return_Statement
4103 or else NT (N).Nkind = N_Type_Conversion);
4104 Set_Flag13 (N, Val);
4105 end Set_Do_Tag_Check;
4107 procedure Set_Elaborate_All_Desirable
4108 (N : Node_Id; Val : Boolean := True) is
4110 pragma Assert (False
4111 or else NT (N).Nkind = N_With_Clause);
4113 end Set_Elaborate_All_Desirable;
4115 procedure Set_Elaborate_All_Present
4116 (N : Node_Id; Val : Boolean := True) is
4118 pragma Assert (False
4119 or else NT (N).Nkind = N_With_Clause);
4120 Set_Flag14 (N, Val);
4121 end Set_Elaborate_All_Present;
4123 procedure Set_Elaborate_Desirable
4124 (N : Node_Id; Val : Boolean := True) is
4126 pragma Assert (False
4127 or else NT (N).Nkind = N_With_Clause);
4128 Set_Flag11 (N, Val);
4129 end Set_Elaborate_Desirable;
4131 procedure Set_Elaborate_Present
4132 (N : Node_Id; Val : Boolean := True) is
4134 pragma Assert (False
4135 or else NT (N).Nkind = N_With_Clause);
4137 end Set_Elaborate_Present;
4139 procedure Set_Elaboration_Boolean
4140 (N : Node_Id; Val : Node_Id) is
4142 pragma Assert (False
4143 or else NT (N).Nkind = N_Function_Specification
4144 or else NT (N).Nkind = N_Procedure_Specification);
4146 end Set_Elaboration_Boolean;
4148 procedure Set_Else_Actions
4149 (N : Node_Id; Val : List_Id) is
4151 pragma Assert (False
4152 or else NT (N).Nkind = N_If_Expression);
4153 Set_List3 (N, Val); -- semantic field, no parent set
4154 end Set_Else_Actions;
4156 procedure Set_Else_Statements
4157 (N : Node_Id; Val : List_Id) is
4159 pragma Assert (False
4160 or else NT (N).Nkind = N_Conditional_Entry_Call
4161 or else NT (N).Nkind = N_If_Statement
4162 or else NT (N).Nkind = N_Selective_Accept);
4163 Set_List4_With_Parent (N, Val);
4164 end Set_Else_Statements;
4166 procedure Set_Elsif_Parts
4167 (N : Node_Id; Val : List_Id) is
4169 pragma Assert (False
4170 or else NT (N).Nkind = N_If_Statement);
4171 Set_List3_With_Parent (N, Val);
4172 end Set_Elsif_Parts;
4174 procedure Set_Enclosing_Variant
4175 (N : Node_Id; Val : Node_Id) is
4177 pragma Assert (False
4178 or else NT (N).Nkind = N_Variant);
4179 Set_Node2 (N, Val); -- semantic field, no parent set
4180 end Set_Enclosing_Variant;
4182 procedure Set_End_Label
4183 (N : Node_Id; Val : Node_Id) is
4185 pragma Assert (False
4186 or else NT (N).Nkind = N_Enumeration_Type_Definition
4187 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4188 or else NT (N).Nkind = N_Loop_Statement
4189 or else NT (N).Nkind = N_Package_Specification
4190 or else NT (N).Nkind = N_Protected_Body
4191 or else NT (N).Nkind = N_Protected_Definition
4192 or else NT (N).Nkind = N_Record_Definition
4193 or else NT (N).Nkind = N_Task_Definition);
4194 Set_Node4_With_Parent (N, Val);
4197 procedure Set_End_Span
4198 (N : Node_Id; Val : Uint) is
4200 pragma Assert (False
4201 or else NT (N).Nkind = N_Case_Statement
4202 or else NT (N).Nkind = N_If_Statement);
4206 procedure Set_Entity
4207 (N : Node_Id; Val : Node_Id) is
4209 pragma Assert (False
4210 or else NT (N).Nkind in N_Has_Entity
4211 or else NT (N).Nkind = N_Aspect_Specification
4212 or else NT (N).Nkind = N_Attribute_Definition_Clause
4213 or else NT (N).Nkind = N_Freeze_Entity);
4214 Set_Node4 (N, Val); -- semantic field, no parent set
4217 procedure Set_Entry_Body_Formal_Part
4218 (N : Node_Id; Val : Node_Id) is
4220 pragma Assert (False
4221 or else NT (N).Nkind = N_Entry_Body);
4222 Set_Node5_With_Parent (N, Val);
4223 end Set_Entry_Body_Formal_Part;
4225 procedure Set_Entry_Call_Alternative
4226 (N : Node_Id; Val : Node_Id) is
4228 pragma Assert (False
4229 or else NT (N).Nkind = N_Conditional_Entry_Call
4230 or else NT (N).Nkind = N_Timed_Entry_Call);
4231 Set_Node1_With_Parent (N, Val);
4232 end Set_Entry_Call_Alternative;
4234 procedure Set_Entry_Call_Statement
4235 (N : Node_Id; Val : Node_Id) is
4237 pragma Assert (False
4238 or else NT (N).Nkind = N_Entry_Call_Alternative);
4239 Set_Node1_With_Parent (N, Val);
4240 end Set_Entry_Call_Statement;
4242 procedure Set_Entry_Direct_Name
4243 (N : Node_Id; Val : Node_Id) is
4245 pragma Assert (False
4246 or else NT (N).Nkind = N_Accept_Statement);
4247 Set_Node1_With_Parent (N, Val);
4248 end Set_Entry_Direct_Name;
4250 procedure Set_Entry_Index
4251 (N : Node_Id; Val : Node_Id) is
4253 pragma Assert (False
4254 or else NT (N).Nkind = N_Accept_Statement);
4255 Set_Node5_With_Parent (N, Val);
4256 end Set_Entry_Index;
4258 procedure Set_Entry_Index_Specification
4259 (N : Node_Id; Val : Node_Id) is
4261 pragma Assert (False
4262 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4263 Set_Node4_With_Parent (N, Val);
4264 end Set_Entry_Index_Specification;
4267 (N : Node_Id; Val : Node_Id) is
4269 pragma Assert (False
4270 or else NT (N).Nkind in N_Has_Etype);
4271 Set_Node5 (N, Val); -- semantic field, no parent set
4274 procedure Set_Exception_Choices
4275 (N : Node_Id; Val : List_Id) is
4277 pragma Assert (False
4278 or else NT (N).Nkind = N_Exception_Handler);
4279 Set_List4_With_Parent (N, Val);
4280 end Set_Exception_Choices;
4282 procedure Set_Exception_Handlers
4283 (N : Node_Id; Val : List_Id) is
4285 pragma Assert (False
4286 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4287 Set_List5_With_Parent (N, Val);
4288 end Set_Exception_Handlers;
4290 procedure Set_Exception_Junk
4291 (N : Node_Id; Val : Boolean := True) is
4293 pragma Assert (False
4294 or else NT (N).Nkind = N_Block_Statement
4295 or else NT (N).Nkind = N_Goto_Statement
4296 or else NT (N).Nkind = N_Label
4297 or else NT (N).Nkind = N_Object_Declaration
4298 or else NT (N).Nkind = N_Subtype_Declaration);
4300 end Set_Exception_Junk;
4302 procedure Set_Exception_Label
4303 (N : Node_Id; Val : Node_Id) is
4305 pragma Assert (False
4306 or else NT (N).Nkind = N_Exception_Handler
4307 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4308 or else NT (N).Nkind = N_Push_Program_Error_Label
4309 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4310 Set_Node5 (N, Val); -- semantic field, no parent set
4311 end Set_Exception_Label;
4313 procedure Set_Expansion_Delayed
4314 (N : Node_Id; Val : Boolean := True) is
4316 pragma Assert (False
4317 or else NT (N).Nkind = N_Aggregate
4318 or else NT (N).Nkind = N_Extension_Aggregate);
4319 Set_Flag11 (N, Val);
4320 end Set_Expansion_Delayed;
4322 procedure Set_Explicit_Actual_Parameter
4323 (N : Node_Id; Val : Node_Id) is
4325 pragma Assert (False
4326 or else NT (N).Nkind = N_Parameter_Association);
4327 Set_Node3_With_Parent (N, Val);
4328 end Set_Explicit_Actual_Parameter;
4330 procedure Set_Explicit_Generic_Actual_Parameter
4331 (N : Node_Id; Val : Node_Id) is
4333 pragma Assert (False
4334 or else NT (N).Nkind = N_Generic_Association);
4335 Set_Node1_With_Parent (N, Val);
4336 end Set_Explicit_Generic_Actual_Parameter;
4338 procedure Set_Expression
4339 (N : Node_Id; Val : Node_Id) is
4341 pragma Assert (False
4342 or else NT (N).Nkind = N_Allocator
4343 or else NT (N).Nkind = N_Aspect_Specification
4344 or else NT (N).Nkind = N_Assignment_Statement
4345 or else NT (N).Nkind = N_At_Clause
4346 or else NT (N).Nkind = N_Attribute_Definition_Clause
4347 or else NT (N).Nkind = N_Case_Expression
4348 or else NT (N).Nkind = N_Case_Expression_Alternative
4349 or else NT (N).Nkind = N_Case_Statement
4350 or else NT (N).Nkind = N_Code_Statement
4351 or else NT (N).Nkind = N_Component_Association
4352 or else NT (N).Nkind = N_Component_Declaration
4353 or else NT (N).Nkind = N_Delay_Relative_Statement
4354 or else NT (N).Nkind = N_Delay_Until_Statement
4355 or else NT (N).Nkind = N_Discriminant_Association
4356 or else NT (N).Nkind = N_Discriminant_Specification
4357 or else NT (N).Nkind = N_Exception_Declaration
4358 or else NT (N).Nkind = N_Expression_Function
4359 or else NT (N).Nkind = N_Expression_With_Actions
4360 or else NT (N).Nkind = N_Free_Statement
4361 or else NT (N).Nkind = N_Mod_Clause
4362 or else NT (N).Nkind = N_Modular_Type_Definition
4363 or else NT (N).Nkind = N_Number_Declaration
4364 or else NT (N).Nkind = N_Object_Declaration
4365 or else NT (N).Nkind = N_Parameter_Specification
4366 or else NT (N).Nkind = N_Pragma_Argument_Association
4367 or else NT (N).Nkind = N_Qualified_Expression
4368 or else NT (N).Nkind = N_Raise_Expression
4369 or else NT (N).Nkind = N_Raise_Statement
4370 or else NT (N).Nkind = N_Simple_Return_Statement
4371 or else NT (N).Nkind = N_Type_Conversion
4372 or else NT (N).Nkind = N_Unchecked_Expression
4373 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4374 Set_Node3_With_Parent (N, Val);
4377 procedure Set_Expressions
4378 (N : Node_Id; Val : List_Id) is
4380 pragma Assert (False
4381 or else NT (N).Nkind = N_Aggregate
4382 or else NT (N).Nkind = N_Attribute_Reference
4383 or else NT (N).Nkind = N_Extension_Aggregate
4384 or else NT (N).Nkind = N_If_Expression
4385 or else NT (N).Nkind = N_Indexed_Component);
4386 Set_List1_With_Parent (N, Val);
4387 end Set_Expressions;
4389 procedure Set_First_Bit
4390 (N : Node_Id; Val : Node_Id) is
4392 pragma Assert (False
4393 or else NT (N).Nkind = N_Component_Clause);
4394 Set_Node3_With_Parent (N, Val);
4397 procedure Set_First_Inlined_Subprogram
4398 (N : Node_Id; Val : Entity_Id) is
4400 pragma Assert (False
4401 or else NT (N).Nkind = N_Compilation_Unit);
4402 Set_Node3 (N, Val); -- semantic field, no parent set
4403 end Set_First_Inlined_Subprogram;
4405 procedure Set_First_Name
4406 (N : Node_Id; Val : Boolean := True) is
4408 pragma Assert (False
4409 or else NT (N).Nkind = N_With_Clause);
4413 procedure Set_First_Named_Actual
4414 (N : Node_Id; Val : Node_Id) is
4416 pragma Assert (False
4417 or else NT (N).Nkind = N_Entry_Call_Statement
4418 or else NT (N).Nkind = N_Function_Call
4419 or else NT (N).Nkind = N_Procedure_Call_Statement);
4420 Set_Node4 (N, Val); -- semantic field, no parent set
4421 end Set_First_Named_Actual;
4423 procedure Set_First_Real_Statement
4424 (N : Node_Id; Val : Node_Id) is
4426 pragma Assert (False
4427 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4428 Set_Node2 (N, Val); -- semantic field, no parent set
4429 end Set_First_Real_Statement;
4431 procedure Set_First_Subtype_Link
4432 (N : Node_Id; Val : Entity_Id) is
4434 pragma Assert (False
4435 or else NT (N).Nkind = N_Freeze_Entity);
4436 Set_Node5 (N, Val); -- semantic field, no parent set
4437 end Set_First_Subtype_Link;
4439 procedure Set_Float_Truncate
4440 (N : Node_Id; Val : Boolean := True) is
4442 pragma Assert (False
4443 or else NT (N).Nkind = N_Type_Conversion);
4444 Set_Flag11 (N, Val);
4445 end Set_Float_Truncate;
4447 procedure Set_Formal_Type_Definition
4448 (N : Node_Id; Val : Node_Id) is
4450 pragma Assert (False
4451 or else NT (N).Nkind = N_Formal_Type_Declaration);
4452 Set_Node3_With_Parent (N, Val);
4453 end Set_Formal_Type_Definition;
4455 procedure Set_Forwards_OK
4456 (N : Node_Id; Val : Boolean := True) is
4458 pragma Assert (False
4459 or else NT (N).Nkind = N_Assignment_Statement);
4461 end Set_Forwards_OK;
4463 procedure Set_From_Aspect_Specification
4464 (N : Node_Id; Val : Boolean := True) is
4466 pragma Assert (False
4467 or else NT (N).Nkind = N_Attribute_Definition_Clause
4468 or else NT (N).Nkind = N_Pragma);
4469 Set_Flag13 (N, Val);
4470 end Set_From_Aspect_Specification;
4472 procedure Set_From_At_End
4473 (N : Node_Id; Val : Boolean := True) is
4475 pragma Assert (False
4476 or else NT (N).Nkind = N_Raise_Statement);
4478 end Set_From_At_End;
4480 procedure Set_From_At_Mod
4481 (N : Node_Id; Val : Boolean := True) is
4483 pragma Assert (False
4484 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4486 end Set_From_At_Mod;
4488 procedure Set_From_Default
4489 (N : Node_Id; Val : Boolean := True) is
4491 pragma Assert (False
4492 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4494 end Set_From_Default;
4496 procedure Set_Generic_Associations
4497 (N : Node_Id; Val : List_Id) is
4499 pragma Assert (False
4500 or else NT (N).Nkind = N_Formal_Package_Declaration
4501 or else NT (N).Nkind = N_Function_Instantiation
4502 or else NT (N).Nkind = N_Package_Instantiation
4503 or else NT (N).Nkind = N_Procedure_Instantiation);
4504 Set_List3_With_Parent (N, Val);
4505 end Set_Generic_Associations;
4507 procedure Set_Generic_Formal_Declarations
4508 (N : Node_Id; Val : List_Id) is
4510 pragma Assert (False
4511 or else NT (N).Nkind = N_Generic_Package_Declaration
4512 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4513 Set_List2_With_Parent (N, Val);
4514 end Set_Generic_Formal_Declarations;
4516 procedure Set_Generic_Parent
4517 (N : Node_Id; Val : Node_Id) is
4519 pragma Assert (False
4520 or else NT (N).Nkind = N_Function_Specification
4521 or else NT (N).Nkind = N_Package_Specification
4522 or else NT (N).Nkind = N_Procedure_Specification);
4524 end Set_Generic_Parent;
4526 procedure Set_Generic_Parent_Type
4527 (N : Node_Id; Val : Node_Id) is
4529 pragma Assert (False
4530 or else NT (N).Nkind = N_Subtype_Declaration);
4532 end Set_Generic_Parent_Type;
4534 procedure Set_Handled_Statement_Sequence
4535 (N : Node_Id; Val : Node_Id) is
4537 pragma Assert (False
4538 or else NT (N).Nkind = N_Accept_Statement
4539 or else NT (N).Nkind = N_Block_Statement
4540 or else NT (N).Nkind = N_Entry_Body
4541 or else NT (N).Nkind = N_Extended_Return_Statement
4542 or else NT (N).Nkind = N_Package_Body
4543 or else NT (N).Nkind = N_Subprogram_Body
4544 or else NT (N).Nkind = N_Task_Body);
4545 Set_Node4_With_Parent (N, Val);
4546 end Set_Handled_Statement_Sequence;
4548 procedure Set_Handler_List_Entry
4549 (N : Node_Id; Val : Node_Id) is
4551 pragma Assert (False
4552 or else NT (N).Nkind = N_Object_Declaration);
4554 end Set_Handler_List_Entry;
4556 procedure Set_Has_Created_Identifier
4557 (N : Node_Id; Val : Boolean := True) is
4559 pragma Assert (False
4560 or else NT (N).Nkind = N_Block_Statement
4561 or else NT (N).Nkind = N_Loop_Statement);
4562 Set_Flag15 (N, Val);
4563 end Set_Has_Created_Identifier;
4565 procedure Set_Has_Dereference_Action
4566 (N : Node_Id; Val : Boolean := True) is
4568 pragma Assert (False
4569 or else NT (N).Nkind = N_Explicit_Dereference);
4570 Set_Flag13 (N, Val);
4571 end Set_Has_Dereference_Action;
4573 procedure Set_Has_Dynamic_Length_Check
4574 (N : Node_Id; Val : Boolean := True) is
4576 pragma Assert (False
4577 or else NT (N).Nkind in N_Subexpr);
4578 Set_Flag10 (N, Val);
4579 end Set_Has_Dynamic_Length_Check;
4581 procedure Set_Has_Dynamic_Range_Check
4582 (N : Node_Id; Val : Boolean := True) is
4584 pragma Assert (False
4585 or else NT (N).Nkind = N_Subtype_Declaration
4586 or else NT (N).Nkind in N_Subexpr);
4587 Set_Flag12 (N, Val);
4588 end Set_Has_Dynamic_Range_Check;
4590 procedure Set_Has_Init_Expression
4591 (N : Node_Id; Val : Boolean := True) is
4593 pragma Assert (False
4594 or else NT (N).Nkind = N_Object_Declaration);
4595 Set_Flag14 (N, Val);
4596 end Set_Has_Init_Expression;
4598 procedure Set_Has_Local_Raise
4599 (N : Node_Id; Val : Boolean := True) is
4601 pragma Assert (False
4602 or else NT (N).Nkind = N_Exception_Handler);
4604 end Set_Has_Local_Raise;
4606 procedure Set_Has_No_Elaboration_Code
4607 (N : Node_Id; Val : Boolean := True) is
4609 pragma Assert (False
4610 or else NT (N).Nkind = N_Compilation_Unit);
4611 Set_Flag17 (N, Val);
4612 end Set_Has_No_Elaboration_Code;
4614 procedure Set_Has_Pragma_Suppress_All
4615 (N : Node_Id; Val : Boolean := True) is
4617 pragma Assert (False
4618 or else NT (N).Nkind = N_Compilation_Unit);
4619 Set_Flag14 (N, Val);
4620 end Set_Has_Pragma_Suppress_All;
4622 procedure Set_Has_Private_View
4623 (N : Node_Id; Val : Boolean := True) is
4625 pragma Assert (False
4626 or else NT (N).Nkind in N_Op
4627 or else NT (N).Nkind = N_Character_Literal
4628 or else NT (N).Nkind = N_Expanded_Name
4629 or else NT (N).Nkind = N_Identifier
4630 or else NT (N).Nkind = N_Operator_Symbol);
4631 Set_Flag11 (N, Val);
4632 end Set_Has_Private_View;
4634 procedure Set_Has_Relative_Deadline_Pragma
4635 (N : Node_Id; Val : Boolean := True) is
4637 pragma Assert (False
4638 or else NT (N).Nkind = N_Subprogram_Body
4639 or else NT (N).Nkind = N_Task_Definition);
4641 end Set_Has_Relative_Deadline_Pragma;
4643 procedure Set_Has_Self_Reference
4644 (N : Node_Id; Val : Boolean := True) is
4646 pragma Assert (False
4647 or else NT (N).Nkind = N_Aggregate
4648 or else NT (N).Nkind = N_Extension_Aggregate);
4649 Set_Flag13 (N, Val);
4650 end Set_Has_Self_Reference;
4652 procedure Set_Has_Storage_Size_Pragma
4653 (N : Node_Id; Val : Boolean := True) is
4655 pragma Assert (False
4656 or else NT (N).Nkind = N_Task_Definition);
4658 end Set_Has_Storage_Size_Pragma;
4660 procedure Set_Has_Wide_Character
4661 (N : Node_Id; Val : Boolean := True) is
4663 pragma Assert (False
4664 or else NT (N).Nkind = N_String_Literal);
4665 Set_Flag11 (N, Val);
4666 end Set_Has_Wide_Character;
4668 procedure Set_Has_Wide_Wide_Character
4669 (N : Node_Id; Val : Boolean := True) is
4671 pragma Assert (False
4672 or else NT (N).Nkind = N_String_Literal);
4673 Set_Flag13 (N, Val);
4674 end Set_Has_Wide_Wide_Character;
4676 procedure Set_Header_Size_Added
4677 (N : Node_Id; Val : Boolean := True) is
4679 pragma Assert (False
4680 or else NT (N).Nkind = N_Attribute_Reference);
4681 Set_Flag11 (N, Val);
4682 end Set_Header_Size_Added;
4684 procedure Set_Hidden_By_Use_Clause
4685 (N : Node_Id; Val : Elist_Id) is
4687 pragma Assert (False
4688 or else NT (N).Nkind = N_Use_Package_Clause
4689 or else NT (N).Nkind = N_Use_Type_Clause);
4690 Set_Elist4 (N, Val);
4691 end Set_Hidden_By_Use_Clause;
4693 procedure Set_High_Bound
4694 (N : Node_Id; Val : Node_Id) is
4696 pragma Assert (False
4697 or else NT (N).Nkind = N_Range
4698 or else NT (N).Nkind = N_Real_Range_Specification
4699 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4700 Set_Node2_With_Parent (N, Val);
4703 procedure Set_Identifier
4704 (N : Node_Id; Val : Node_Id) is
4706 pragma Assert (False
4707 or else NT (N).Nkind = N_Aspect_Specification
4708 or else NT (N).Nkind = N_At_Clause
4709 or else NT (N).Nkind = N_Block_Statement
4710 or else NT (N).Nkind = N_Designator
4711 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4712 or else NT (N).Nkind = N_Label
4713 or else NT (N).Nkind = N_Loop_Statement
4714 or else NT (N).Nkind = N_Record_Representation_Clause
4715 or else NT (N).Nkind = N_Subprogram_Info);
4716 Set_Node1_With_Parent (N, Val);
4719 procedure Set_Implicit_With
4720 (N : Node_Id; Val : Boolean := True) is
4722 pragma Assert (False
4723 or else NT (N).Nkind = N_With_Clause);
4724 Set_Flag16 (N, Val);
4725 end Set_Implicit_With;
4727 procedure Set_Implicit_With_From_Instantiation
4728 (N : Node_Id; Val : Boolean := True) is
4730 pragma Assert (False
4731 or else NT (N).Nkind = N_With_Clause);
4732 Set_Flag12 (N, Val);
4733 end Set_Implicit_With_From_Instantiation;
4735 procedure Set_Interface_List
4736 (N : Node_Id; Val : List_Id) is
4738 pragma Assert (False
4739 or else NT (N).Nkind = N_Derived_Type_Definition
4740 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4741 or else NT (N).Nkind = N_Private_Extension_Declaration
4742 or else NT (N).Nkind = N_Protected_Type_Declaration
4743 or else NT (N).Nkind = N_Record_Definition
4744 or else NT (N).Nkind = N_Single_Protected_Declaration
4745 or else NT (N).Nkind = N_Single_Task_Declaration
4746 or else NT (N).Nkind = N_Task_Type_Declaration);
4747 Set_List2_With_Parent (N, Val);
4748 end Set_Interface_List;
4750 procedure Set_Interface_Present
4751 (N : Node_Id; Val : Boolean := True) is
4753 pragma Assert (False
4754 or else NT (N).Nkind = N_Derived_Type_Definition
4755 or else NT (N).Nkind = N_Record_Definition);
4756 Set_Flag16 (N, Val);
4757 end Set_Interface_Present;
4759 procedure Set_Import_Interface_Present
4760 (N : Node_Id; Val : Boolean := True) is
4762 pragma Assert (False
4763 or else NT (N).Nkind = N_Pragma);
4764 Set_Flag16 (N, Val);
4765 end Set_Import_Interface_Present;
4767 procedure Set_In_Assertion_Expression
4768 (N : Node_Id; Val : Boolean := True) is
4770 pragma Assert (False
4771 or else NT (N).Nkind = N_Function_Call);
4773 end Set_In_Assertion_Expression;
4775 procedure Set_In_Present
4776 (N : Node_Id; Val : Boolean := True) is
4778 pragma Assert (False
4779 or else NT (N).Nkind = N_Formal_Object_Declaration
4780 or else NT (N).Nkind = N_Parameter_Specification);
4781 Set_Flag15 (N, Val);
4784 procedure Set_Includes_Infinities
4785 (N : Node_Id; Val : Boolean := True) is
4787 pragma Assert (False
4788 or else NT (N).Nkind = N_Range);
4789 Set_Flag11 (N, Val);
4790 end Set_Includes_Infinities;
4792 procedure Set_Inherited_Discriminant
4793 (N : Node_Id; Val : Boolean := True) is
4795 pragma Assert (False
4796 or else NT (N).Nkind = N_Component_Association);
4797 Set_Flag13 (N, Val);
4798 end Set_Inherited_Discriminant;
4800 procedure Set_Instance_Spec
4801 (N : Node_Id; Val : Node_Id) is
4803 pragma Assert (False
4804 or else NT (N).Nkind = N_Formal_Package_Declaration
4805 or else NT (N).Nkind = N_Function_Instantiation
4806 or else NT (N).Nkind = N_Package_Instantiation
4807 or else NT (N).Nkind = N_Procedure_Instantiation);
4808 Set_Node5 (N, Val); -- semantic field, no Parent set
4809 end Set_Instance_Spec;
4811 procedure Set_Intval
4812 (N : Node_Id; Val : Uint) is
4814 pragma Assert (False
4815 or else NT (N).Nkind = N_Integer_Literal);
4819 procedure Set_Is_Accessibility_Actual
4820 (N : Node_Id; Val : Boolean := True) is
4822 pragma Assert (False
4823 or else NT (N).Nkind = N_Parameter_Association);
4824 Set_Flag13 (N, Val);
4825 end Set_Is_Accessibility_Actual;
4827 procedure Set_Is_Asynchronous_Call_Block
4828 (N : Node_Id; Val : Boolean := True) is
4830 pragma Assert (False
4831 or else NT (N).Nkind = N_Block_Statement);
4833 end Set_Is_Asynchronous_Call_Block;
4835 procedure Set_Is_Boolean_Aspect
4836 (N : Node_Id; Val : Boolean := True) is
4838 pragma Assert (False
4839 or else NT (N).Nkind = N_Aspect_Specification);
4840 Set_Flag16 (N, Val);
4841 end Set_Is_Boolean_Aspect;
4843 procedure Set_Is_Component_Left_Opnd
4844 (N : Node_Id; Val : Boolean := True) is
4846 pragma Assert (False
4847 or else NT (N).Nkind = N_Op_Concat);
4848 Set_Flag13 (N, Val);
4849 end Set_Is_Component_Left_Opnd;
4851 procedure Set_Is_Component_Right_Opnd
4852 (N : Node_Id; Val : Boolean := True) is
4854 pragma Assert (False
4855 or else NT (N).Nkind = N_Op_Concat);
4856 Set_Flag14 (N, Val);
4857 end Set_Is_Component_Right_Opnd;
4859 procedure Set_Is_Controlling_Actual
4860 (N : Node_Id; Val : Boolean := True) is
4862 pragma Assert (False
4863 or else NT (N).Nkind in N_Subexpr);
4864 Set_Flag16 (N, Val);
4865 end Set_Is_Controlling_Actual;
4867 procedure Set_Is_Delayed_Aspect
4868 (N : Node_Id; Val : Boolean := True) is
4870 pragma Assert (False
4871 or else NT (N).Nkind = N_Aspect_Specification
4872 or else NT (N).Nkind = N_Attribute_Definition_Clause
4873 or else NT (N).Nkind = N_Pragma);
4874 Set_Flag14 (N, Val);
4875 end Set_Is_Delayed_Aspect;
4877 procedure Set_Is_Disabled
4878 (N : Node_Id; Val : Boolean := True) is
4880 pragma Assert (False
4881 or else NT (N).Nkind = N_Aspect_Specification
4882 or else NT (N).Nkind = N_Pragma);
4883 Set_Flag15 (N, Val);
4884 end Set_Is_Disabled;
4886 procedure Set_Is_Dynamic_Coextension
4887 (N : Node_Id; Val : Boolean := True) is
4889 pragma Assert (False
4890 or else NT (N).Nkind = N_Allocator);
4891 Set_Flag18 (N, Val);
4892 end Set_Is_Dynamic_Coextension;
4894 procedure Set_Is_Elsif
4895 (N : Node_Id; Val : Boolean := True) is
4897 pragma Assert (False
4898 or else NT (N).Nkind = N_If_Expression);
4899 Set_Flag13 (N, Val);
4902 procedure Set_Is_Entry_Barrier_Function
4903 (N : Node_Id; Val : Boolean := True) is
4905 pragma Assert (False
4906 or else NT (N).Nkind = N_Subprogram_Body);
4908 end Set_Is_Entry_Barrier_Function;
4910 procedure Set_Is_Expanded_Build_In_Place_Call
4911 (N : Node_Id; Val : Boolean := True) is
4913 pragma Assert (False
4914 or else NT (N).Nkind = N_Function_Call);
4915 Set_Flag11 (N, Val);
4916 end Set_Is_Expanded_Build_In_Place_Call;
4918 procedure Set_Is_Finalization_Wrapper
4919 (N : Node_Id; Val : Boolean := True) is
4921 pragma Assert (False
4922 or else NT (N).Nkind = N_Block_Statement);
4924 end Set_Is_Finalization_Wrapper;
4926 procedure Set_Is_Folded_In_Parser
4927 (N : Node_Id; Val : Boolean := True) is
4929 pragma Assert (False
4930 or else NT (N).Nkind = N_String_Literal);
4932 end Set_Is_Folded_In_Parser;
4934 procedure Set_Is_Ignored
4935 (N : Node_Id; Val : Boolean := True) is
4937 pragma Assert (False
4938 or else NT (N).Nkind = N_Aspect_Specification
4939 or else NT (N).Nkind = N_Pragma);
4943 procedure Set_Is_In_Discriminant_Check
4944 (N : Node_Id; Val : Boolean := True) is
4946 pragma Assert (False
4947 or else NT (N).Nkind = N_Selected_Component);
4948 Set_Flag11 (N, Val);
4949 end Set_Is_In_Discriminant_Check;
4951 procedure Set_Is_Machine_Number
4952 (N : Node_Id; Val : Boolean := True) is
4954 pragma Assert (False
4955 or else NT (N).Nkind = N_Real_Literal);
4956 Set_Flag11 (N, Val);
4957 end Set_Is_Machine_Number;
4959 procedure Set_Is_Null_Loop
4960 (N : Node_Id; Val : Boolean := True) is
4962 pragma Assert (False
4963 or else NT (N).Nkind = N_Loop_Statement);
4964 Set_Flag16 (N, Val);
4965 end Set_Is_Null_Loop;
4967 procedure Set_Is_Overloaded
4968 (N : Node_Id; Val : Boolean := True) is
4970 pragma Assert (False
4971 or else NT (N).Nkind in N_Subexpr);
4973 end Set_Is_Overloaded;
4975 procedure Set_Is_Power_Of_2_For_Shift
4976 (N : Node_Id; Val : Boolean := True) is
4978 pragma Assert (False
4979 or else NT (N).Nkind = N_Op_Expon);
4980 Set_Flag13 (N, Val);
4981 end Set_Is_Power_Of_2_For_Shift;
4983 procedure Set_Is_Prefixed_Call
4984 (N : Node_Id; Val : Boolean := True) is
4986 pragma Assert (False
4987 or else NT (N).Nkind = N_Selected_Component);
4988 Set_Flag17 (N, Val);
4989 end Set_Is_Prefixed_Call;
4991 procedure Set_Is_Protected_Subprogram_Body
4992 (N : Node_Id; Val : Boolean := True) is
4994 pragma Assert (False
4995 or else NT (N).Nkind = N_Subprogram_Body);
4997 end Set_Is_Protected_Subprogram_Body;
4999 procedure Set_Is_Static_Coextension
5000 (N : Node_Id; Val : Boolean := True) is
5002 pragma Assert (False
5003 or else NT (N).Nkind = N_Allocator);
5004 Set_Flag14 (N, Val);
5005 end Set_Is_Static_Coextension;
5007 procedure Set_Is_Static_Expression
5008 (N : Node_Id; Val : Boolean := True) is
5010 pragma Assert (False
5011 or else NT (N).Nkind in N_Subexpr);
5013 end Set_Is_Static_Expression;
5015 procedure Set_Is_Subprogram_Descriptor
5016 (N : Node_Id; Val : Boolean := True) is
5018 pragma Assert (False
5019 or else NT (N).Nkind = N_Object_Declaration);
5020 Set_Flag16 (N, Val);
5021 end Set_Is_Subprogram_Descriptor;
5023 procedure Set_Is_Task_Allocation_Block
5024 (N : Node_Id; Val : Boolean := True) is
5026 pragma Assert (False
5027 or else NT (N).Nkind = N_Block_Statement);
5029 end Set_Is_Task_Allocation_Block;
5031 procedure Set_Is_Task_Master
5032 (N : Node_Id; Val : Boolean := True) is
5034 pragma Assert (False
5035 or else NT (N).Nkind = N_Block_Statement
5036 or else NT (N).Nkind = N_Subprogram_Body
5037 or else NT (N).Nkind = N_Task_Body);
5039 end Set_Is_Task_Master;
5041 procedure Set_Iteration_Scheme
5042 (N : Node_Id; Val : Node_Id) is
5044 pragma Assert (False
5045 or else NT (N).Nkind = N_Loop_Statement);
5046 Set_Node2_With_Parent (N, Val);
5047 end Set_Iteration_Scheme;
5049 procedure Set_Iterator_Specification
5050 (N : Node_Id; Val : Node_Id) is
5052 pragma Assert (False
5053 or else NT (N).Nkind = N_Iteration_Scheme
5054 or else NT (N).Nkind = N_Quantified_Expression);
5055 Set_Node2_With_Parent (N, Val);
5056 end Set_Iterator_Specification;
5059 (N : Node_Id; Val : Entity_Id) is
5061 pragma Assert (False
5062 or else NT (N).Nkind = N_Itype_Reference);
5063 Set_Node1 (N, Val); -- no parent, semantic field
5066 procedure Set_Kill_Range_Check
5067 (N : Node_Id; Val : Boolean := True) is
5069 pragma Assert (False
5070 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5071 Set_Flag11 (N, Val);
5072 end Set_Kill_Range_Check;
5074 procedure Set_Label_Construct
5075 (N : Node_Id; Val : Node_Id) is
5077 pragma Assert (False
5078 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5079 Set_Node2 (N, Val); -- semantic field, no parent set
5080 end Set_Label_Construct;
5082 procedure Set_Last_Bit
5083 (N : Node_Id; Val : Node_Id) is
5085 pragma Assert (False
5086 or else NT (N).Nkind = N_Component_Clause);
5087 Set_Node4_With_Parent (N, Val);
5090 procedure Set_Last_Name
5091 (N : Node_Id; Val : Boolean := True) is
5093 pragma Assert (False
5094 or else NT (N).Nkind = N_With_Clause);
5098 procedure Set_Left_Opnd
5099 (N : Node_Id; Val : Node_Id) is
5101 pragma Assert (False
5102 or else NT (N).Nkind = N_And_Then
5103 or else NT (N).Nkind = N_In
5104 or else NT (N).Nkind = N_Not_In
5105 or else NT (N).Nkind = N_Or_Else
5106 or else NT (N).Nkind in N_Binary_Op);
5107 Set_Node2_With_Parent (N, Val);
5110 procedure Set_Library_Unit
5111 (N : Node_Id; Val : Node_Id) is
5113 pragma Assert (False
5114 or else NT (N).Nkind = N_Compilation_Unit
5115 or else NT (N).Nkind = N_Package_Body_Stub
5116 or else NT (N).Nkind = N_Protected_Body_Stub
5117 or else NT (N).Nkind = N_Subprogram_Body_Stub
5118 or else NT (N).Nkind = N_Task_Body_Stub
5119 or else NT (N).Nkind = N_With_Clause);
5120 Set_Node4 (N, Val); -- semantic field, no parent set
5121 end Set_Library_Unit;
5123 procedure Set_Limited_View_Installed
5124 (N : Node_Id; Val : Boolean := True) is
5126 pragma Assert (False
5127 or else NT (N).Nkind = N_Package_Specification
5128 or else NT (N).Nkind = N_With_Clause);
5129 Set_Flag18 (N, Val);
5130 end Set_Limited_View_Installed;
5132 procedure Set_Limited_Present
5133 (N : Node_Id; Val : Boolean := True) is
5135 pragma Assert (False
5136 or else NT (N).Nkind = N_Derived_Type_Definition
5137 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5138 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5139 or else NT (N).Nkind = N_Private_Extension_Declaration
5140 or else NT (N).Nkind = N_Private_Type_Declaration
5141 or else NT (N).Nkind = N_Record_Definition
5142 or else NT (N).Nkind = N_With_Clause);
5143 Set_Flag17 (N, Val);
5144 end Set_Limited_Present;
5146 procedure Set_Literals
5147 (N : Node_Id; Val : List_Id) is
5149 pragma Assert (False
5150 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5151 Set_List1_With_Parent (N, Val);
5154 procedure Set_Local_Raise_Not_OK
5155 (N : Node_Id; Val : Boolean := True) is
5157 pragma Assert (False
5158 or else NT (N).Nkind = N_Exception_Handler);
5160 end Set_Local_Raise_Not_OK;
5162 procedure Set_Local_Raise_Statements
5163 (N : Node_Id; Val : Elist_Id) is
5165 pragma Assert (False
5166 or else NT (N).Nkind = N_Exception_Handler);
5167 Set_Elist1 (N, Val);
5168 end Set_Local_Raise_Statements;
5170 procedure Set_Loop_Actions
5171 (N : Node_Id; Val : List_Id) is
5173 pragma Assert (False
5174 or else NT (N).Nkind = N_Component_Association);
5175 Set_List2 (N, Val); -- semantic field, no parent set
5176 end Set_Loop_Actions;
5178 procedure Set_Loop_Parameter_Specification
5179 (N : Node_Id; Val : Node_Id) is
5181 pragma Assert (False
5182 or else NT (N).Nkind = N_Iteration_Scheme
5183 or else NT (N).Nkind = N_Quantified_Expression);
5184 Set_Node4_With_Parent (N, Val);
5185 end Set_Loop_Parameter_Specification;
5187 procedure Set_Low_Bound
5188 (N : Node_Id; Val : Node_Id) is
5190 pragma Assert (False
5191 or else NT (N).Nkind = N_Range
5192 or else NT (N).Nkind = N_Real_Range_Specification
5193 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5194 Set_Node1_With_Parent (N, Val);
5197 procedure Set_Mod_Clause
5198 (N : Node_Id; Val : Node_Id) is
5200 pragma Assert (False
5201 or else NT (N).Nkind = N_Record_Representation_Clause);
5202 Set_Node2_With_Parent (N, Val);
5205 procedure Set_More_Ids
5206 (N : Node_Id; Val : Boolean := True) is
5208 pragma Assert (False
5209 or else NT (N).Nkind = N_Component_Declaration
5210 or else NT (N).Nkind = N_Discriminant_Specification
5211 or else NT (N).Nkind = N_Exception_Declaration
5212 or else NT (N).Nkind = N_Formal_Object_Declaration
5213 or else NT (N).Nkind = N_Number_Declaration
5214 or else NT (N).Nkind = N_Object_Declaration
5215 or else NT (N).Nkind = N_Parameter_Specification);
5219 procedure Set_Must_Be_Byte_Aligned
5220 (N : Node_Id; Val : Boolean := True) is
5222 pragma Assert (False
5223 or else NT (N).Nkind = N_Attribute_Reference);
5224 Set_Flag14 (N, Val);
5225 end Set_Must_Be_Byte_Aligned;
5227 procedure Set_Must_Not_Freeze
5228 (N : Node_Id; Val : Boolean := True) is
5230 pragma Assert (False
5231 or else NT (N).Nkind = N_Subtype_Indication
5232 or else NT (N).Nkind in N_Subexpr);
5234 end Set_Must_Not_Freeze;
5236 procedure Set_Must_Not_Override
5237 (N : Node_Id; Val : Boolean := True) is
5239 pragma Assert (False
5240 or else NT (N).Nkind = N_Entry_Declaration
5241 or else NT (N).Nkind = N_Function_Instantiation
5242 or else NT (N).Nkind = N_Function_Specification
5243 or else NT (N).Nkind = N_Procedure_Instantiation
5244 or else NT (N).Nkind = N_Procedure_Specification);
5245 Set_Flag15 (N, Val);
5246 end Set_Must_Not_Override;
5248 procedure Set_Must_Override
5249 (N : Node_Id; Val : Boolean := True) is
5251 pragma Assert (False
5252 or else NT (N).Nkind = N_Entry_Declaration
5253 or else NT (N).Nkind = N_Function_Instantiation
5254 or else NT (N).Nkind = N_Function_Specification
5255 or else NT (N).Nkind = N_Procedure_Instantiation
5256 or else NT (N).Nkind = N_Procedure_Specification);
5257 Set_Flag14 (N, Val);
5258 end Set_Must_Override;
5261 (N : Node_Id; Val : Node_Id) is
5263 pragma Assert (False
5264 or else NT (N).Nkind = N_Assignment_Statement
5265 or else NT (N).Nkind = N_Attribute_Definition_Clause
5266 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5267 or else NT (N).Nkind = N_Designator
5268 or else NT (N).Nkind = N_Entry_Call_Statement
5269 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5270 or else NT (N).Nkind = N_Exit_Statement
5271 or else NT (N).Nkind = N_Formal_Package_Declaration
5272 or else NT (N).Nkind = N_Function_Call
5273 or else NT (N).Nkind = N_Function_Instantiation
5274 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5275 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5276 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5277 or else NT (N).Nkind = N_Goto_Statement
5278 or else NT (N).Nkind = N_Iterator_Specification
5279 or else NT (N).Nkind = N_Object_Renaming_Declaration
5280 or else NT (N).Nkind = N_Package_Instantiation
5281 or else NT (N).Nkind = N_Package_Renaming_Declaration
5282 or else NT (N).Nkind = N_Procedure_Call_Statement
5283 or else NT (N).Nkind = N_Procedure_Instantiation
5284 or else NT (N).Nkind = N_Raise_Expression
5285 or else NT (N).Nkind = N_Raise_Statement
5286 or else NT (N).Nkind = N_Requeue_Statement
5287 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5288 or else NT (N).Nkind = N_Subunit
5289 or else NT (N).Nkind = N_Variant_Part
5290 or else NT (N).Nkind = N_With_Clause);
5291 Set_Node2_With_Parent (N, Val);
5295 (N : Node_Id; Val : List_Id) is
5297 pragma Assert (False
5298 or else NT (N).Nkind = N_Abort_Statement
5299 or else NT (N).Nkind = N_Use_Package_Clause);
5300 Set_List2_With_Parent (N, Val);
5303 procedure Set_Next_Entity
5304 (N : Node_Id; Val : Node_Id) is
5306 pragma Assert (False
5307 or else NT (N).Nkind = N_Defining_Character_Literal
5308 or else NT (N).Nkind = N_Defining_Identifier
5309 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5310 Set_Node2 (N, Val); -- semantic field, no parent set
5311 end Set_Next_Entity;
5313 procedure Set_Next_Exit_Statement
5314 (N : Node_Id; Val : Node_Id) is
5316 pragma Assert (False
5317 or else NT (N).Nkind = N_Exit_Statement);
5318 Set_Node3 (N, Val); -- semantic field, no parent set
5319 end Set_Next_Exit_Statement;
5321 procedure Set_Next_Implicit_With
5322 (N : Node_Id; Val : Node_Id) is
5324 pragma Assert (False
5325 or else NT (N).Nkind = N_With_Clause);
5326 Set_Node3 (N, Val); -- semantic field, no parent set
5327 end Set_Next_Implicit_With;
5329 procedure Set_Next_Named_Actual
5330 (N : Node_Id; Val : Node_Id) is
5332 pragma Assert (False
5333 or else NT (N).Nkind = N_Parameter_Association);
5334 Set_Node4 (N, Val); -- semantic field, no parent set
5335 end Set_Next_Named_Actual;
5337 procedure Set_Next_Pragma
5338 (N : Node_Id; Val : Node_Id) is
5340 pragma Assert (False
5341 or else NT (N).Nkind = N_Pragma);
5342 Set_Node1 (N, Val); -- semantic field, no parent set
5343 end Set_Next_Pragma;
5345 procedure Set_Next_Rep_Item
5346 (N : Node_Id; Val : Node_Id) is
5348 pragma Assert (False
5349 or else NT (N).Nkind = N_Aspect_Specification
5350 or else NT (N).Nkind = N_Attribute_Definition_Clause
5351 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5352 or else NT (N).Nkind = N_Pragma
5353 or else NT (N).Nkind = N_Record_Representation_Clause);
5354 Set_Node5 (N, Val); -- semantic field, no parent set
5355 end Set_Next_Rep_Item;
5357 procedure Set_Next_Use_Clause
5358 (N : Node_Id; Val : Node_Id) is
5360 pragma Assert (False
5361 or else NT (N).Nkind = N_Use_Package_Clause
5362 or else NT (N).Nkind = N_Use_Type_Clause);
5363 Set_Node3 (N, Val); -- semantic field, no parent set
5364 end Set_Next_Use_Clause;
5366 procedure Set_No_Ctrl_Actions
5367 (N : Node_Id; Val : Boolean := True) is
5369 pragma Assert (False
5370 or else NT (N).Nkind = N_Assignment_Statement);
5372 end Set_No_Ctrl_Actions;
5374 procedure Set_No_Elaboration_Check
5375 (N : Node_Id; Val : Boolean := True) is
5377 pragma Assert (False
5378 or else NT (N).Nkind = N_Function_Call
5379 or else NT (N).Nkind = N_Procedure_Call_Statement);
5380 Set_Flag14 (N, Val);
5381 end Set_No_Elaboration_Check;
5383 procedure Set_No_Entities_Ref_In_Spec
5384 (N : Node_Id; Val : Boolean := True) is
5386 pragma Assert (False
5387 or else NT (N).Nkind = N_With_Clause);
5389 end Set_No_Entities_Ref_In_Spec;
5391 procedure Set_No_Initialization
5392 (N : Node_Id; Val : Boolean := True) is
5394 pragma Assert (False
5395 or else NT (N).Nkind = N_Allocator
5396 or else NT (N).Nkind = N_Object_Declaration);
5397 Set_Flag13 (N, Val);
5398 end Set_No_Initialization;
5400 procedure Set_No_Minimize_Eliminate
5401 (N : Node_Id; Val : Boolean := True) is
5403 pragma Assert (False
5404 or else NT (N).Nkind = N_In
5405 or else NT (N).Nkind = N_Not_In);
5406 Set_Flag17 (N, Val);
5407 end Set_No_Minimize_Eliminate;
5409 procedure Set_No_Truncation
5410 (N : Node_Id; Val : Boolean := True) is
5412 pragma Assert (False
5413 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5414 Set_Flag17 (N, Val);
5415 end Set_No_Truncation;
5417 procedure Set_Null_Present
5418 (N : Node_Id; Val : Boolean := True) is
5420 pragma Assert (False
5421 or else NT (N).Nkind = N_Component_List
5422 or else NT (N).Nkind = N_Procedure_Specification
5423 or else NT (N).Nkind = N_Record_Definition);
5424 Set_Flag13 (N, Val);
5425 end Set_Null_Present;
5427 procedure Set_Null_Exclusion_Present
5428 (N : Node_Id; Val : Boolean := True) is
5430 pragma Assert (False
5431 or else NT (N).Nkind = N_Access_Definition
5432 or else NT (N).Nkind = N_Access_Function_Definition
5433 or else NT (N).Nkind = N_Access_Procedure_Definition
5434 or else NT (N).Nkind = N_Access_To_Object_Definition
5435 or else NT (N).Nkind = N_Allocator
5436 or else NT (N).Nkind = N_Component_Definition
5437 or else NT (N).Nkind = N_Derived_Type_Definition
5438 or else NT (N).Nkind = N_Discriminant_Specification
5439 or else NT (N).Nkind = N_Formal_Object_Declaration
5440 or else NT (N).Nkind = N_Function_Specification
5441 or else NT (N).Nkind = N_Object_Declaration
5442 or else NT (N).Nkind = N_Object_Renaming_Declaration
5443 or else NT (N).Nkind = N_Parameter_Specification
5444 or else NT (N).Nkind = N_Subtype_Declaration);
5445 Set_Flag11 (N, Val);
5446 end Set_Null_Exclusion_Present;
5448 procedure Set_Null_Exclusion_In_Return_Present
5449 (N : Node_Id; Val : Boolean := True) is
5451 pragma Assert (False
5452 or else NT (N).Nkind = N_Access_Function_Definition);
5453 Set_Flag14 (N, Val);
5454 end Set_Null_Exclusion_In_Return_Present;
5456 procedure Set_Null_Record_Present
5457 (N : Node_Id; Val : Boolean := True) is
5459 pragma Assert (False
5460 or else NT (N).Nkind = N_Aggregate
5461 or else NT (N).Nkind = N_Extension_Aggregate);
5462 Set_Flag17 (N, Val);
5463 end Set_Null_Record_Present;
5465 procedure Set_Object_Definition
5466 (N : Node_Id; Val : Node_Id) is
5468 pragma Assert (False
5469 or else NT (N).Nkind = N_Object_Declaration);
5470 Set_Node4_With_Parent (N, Val);
5471 end Set_Object_Definition;
5473 procedure Set_Of_Present
5474 (N : Node_Id; Val : Boolean := True) is
5476 pragma Assert (False
5477 or else NT (N).Nkind = N_Iterator_Specification);
5478 Set_Flag16 (N, Val);
5481 procedure Set_Original_Discriminant
5482 (N : Node_Id; Val : Node_Id) is
5484 pragma Assert (False
5485 or else NT (N).Nkind = N_Identifier);
5486 Set_Node2 (N, Val); -- semantic field, no parent set
5487 end Set_Original_Discriminant;
5489 procedure Set_Original_Entity
5490 (N : Node_Id; Val : Entity_Id) is
5492 pragma Assert (False
5493 or else NT (N).Nkind = N_Integer_Literal
5494 or else NT (N).Nkind = N_Real_Literal);
5495 Set_Node2 (N, Val); -- semantic field, no parent set
5496 end Set_Original_Entity;
5498 procedure Set_Others_Discrete_Choices
5499 (N : Node_Id; Val : List_Id) is
5501 pragma Assert (False
5502 or else NT (N).Nkind = N_Others_Choice);
5503 Set_List1_With_Parent (N, Val);
5504 end Set_Others_Discrete_Choices;
5506 procedure Set_Out_Present
5507 (N : Node_Id; Val : Boolean := True) is
5509 pragma Assert (False
5510 or else NT (N).Nkind = N_Formal_Object_Declaration
5511 or else NT (N).Nkind = N_Parameter_Specification);
5512 Set_Flag17 (N, Val);
5513 end Set_Out_Present;
5515 procedure Set_Parameter_Associations
5516 (N : Node_Id; Val : List_Id) is
5518 pragma Assert (False
5519 or else NT (N).Nkind = N_Entry_Call_Statement
5520 or else NT (N).Nkind = N_Function_Call
5521 or else NT (N).Nkind = N_Procedure_Call_Statement);
5522 Set_List3_With_Parent (N, Val);
5523 end Set_Parameter_Associations;
5525 procedure Set_Parameter_List_Truncated
5526 (N : Node_Id; Val : Boolean := True) is
5528 pragma Assert (False
5529 or else NT (N).Nkind = N_Function_Call
5530 or else NT (N).Nkind = N_Procedure_Call_Statement);
5531 Set_Flag17 (N, Val);
5532 end Set_Parameter_List_Truncated;
5534 procedure Set_Parameter_Specifications
5535 (N : Node_Id; Val : List_Id) is
5537 pragma Assert (False
5538 or else NT (N).Nkind = N_Accept_Statement
5539 or else NT (N).Nkind = N_Access_Function_Definition
5540 or else NT (N).Nkind = N_Access_Procedure_Definition
5541 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5542 or else NT (N).Nkind = N_Entry_Declaration
5543 or else NT (N).Nkind = N_Function_Specification
5544 or else NT (N).Nkind = N_Procedure_Specification);
5545 Set_List3_With_Parent (N, Val);
5546 end Set_Parameter_Specifications;
5548 procedure Set_Parameter_Type
5549 (N : Node_Id; Val : Node_Id) is
5551 pragma Assert (False
5552 or else NT (N).Nkind = N_Parameter_Specification);
5553 Set_Node2_With_Parent (N, Val);
5554 end Set_Parameter_Type;
5556 procedure Set_Parent_Spec
5557 (N : Node_Id; Val : Node_Id) is
5559 pragma Assert (False
5560 or else NT (N).Nkind = N_Function_Instantiation
5561 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5562 or else NT (N).Nkind = N_Generic_Package_Declaration
5563 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5564 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5565 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5566 or else NT (N).Nkind = N_Package_Declaration
5567 or else NT (N).Nkind = N_Package_Instantiation
5568 or else NT (N).Nkind = N_Package_Renaming_Declaration
5569 or else NT (N).Nkind = N_Procedure_Instantiation
5570 or else NT (N).Nkind = N_Subprogram_Declaration
5571 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5572 Set_Node4 (N, Val); -- semantic field, no parent set
5573 end Set_Parent_Spec;
5575 procedure Set_Position
5576 (N : Node_Id; Val : Node_Id) is
5578 pragma Assert (False
5579 or else NT (N).Nkind = N_Component_Clause);
5580 Set_Node2_With_Parent (N, Val);
5583 procedure Set_Pragma_Argument_Associations
5584 (N : Node_Id; Val : List_Id) is
5586 pragma Assert (False
5587 or else NT (N).Nkind = N_Pragma);
5588 Set_List2_With_Parent (N, Val);
5589 end Set_Pragma_Argument_Associations;
5591 procedure Set_Pragma_Identifier
5592 (N : Node_Id; Val : Node_Id) is
5594 pragma Assert (False
5595 or else NT (N).Nkind = N_Pragma);
5596 Set_Node4_With_Parent (N, Val);
5597 end Set_Pragma_Identifier;
5599 procedure Set_Pragmas_After
5600 (N : Node_Id; Val : List_Id) is
5602 pragma Assert (False
5603 or else NT (N).Nkind = N_Compilation_Unit_Aux
5604 or else NT (N).Nkind = N_Terminate_Alternative);
5605 Set_List5_With_Parent (N, Val);
5606 end Set_Pragmas_After;
5608 procedure Set_Pragmas_Before
5609 (N : Node_Id; Val : List_Id) is
5611 pragma Assert (False
5612 or else NT (N).Nkind = N_Accept_Alternative
5613 or else NT (N).Nkind = N_Delay_Alternative
5614 or else NT (N).Nkind = N_Entry_Call_Alternative
5615 or else NT (N).Nkind = N_Mod_Clause
5616 or else NT (N).Nkind = N_Terminate_Alternative
5617 or else NT (N).Nkind = N_Triggering_Alternative);
5618 Set_List4_With_Parent (N, Val);
5619 end Set_Pragmas_Before;
5621 procedure Set_Pre_Post_Conditions
5622 (N : Node_Id; Val : Node_Id) is
5624 pragma Assert (False
5625 or else NT (N).Nkind = N_Contract);
5626 Set_Node1 (N, Val); -- semantic field, no parent set
5627 end Set_Pre_Post_Conditions;
5629 procedure Set_Prefix
5630 (N : Node_Id; Val : Node_Id) is
5632 pragma Assert (False
5633 or else NT (N).Nkind = N_Attribute_Reference
5634 or else NT (N).Nkind = N_Expanded_Name
5635 or else NT (N).Nkind = N_Explicit_Dereference
5636 or else NT (N).Nkind = N_Indexed_Component
5637 or else NT (N).Nkind = N_Reference
5638 or else NT (N).Nkind = N_Selected_Component
5639 or else NT (N).Nkind = N_Slice);
5640 Set_Node3_With_Parent (N, Val);
5643 procedure Set_Premature_Use
5644 (N : Node_Id; Val : Node_Id) is
5646 pragma Assert (False
5647 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5649 end Set_Premature_Use;
5651 procedure Set_Present_Expr
5652 (N : Node_Id; Val : Uint) is
5654 pragma Assert (False
5655 or else NT (N).Nkind = N_Variant);
5657 end Set_Present_Expr;
5659 procedure Set_Prev_Ids
5660 (N : Node_Id; Val : Boolean := True) is
5662 pragma Assert (False
5663 or else NT (N).Nkind = N_Component_Declaration
5664 or else NT (N).Nkind = N_Discriminant_Specification
5665 or else NT (N).Nkind = N_Exception_Declaration
5666 or else NT (N).Nkind = N_Formal_Object_Declaration
5667 or else NT (N).Nkind = N_Number_Declaration
5668 or else NT (N).Nkind = N_Object_Declaration
5669 or else NT (N).Nkind = N_Parameter_Specification);
5673 procedure Set_Print_In_Hex
5674 (N : Node_Id; Val : Boolean := True) is
5676 pragma Assert (False
5677 or else NT (N).Nkind = N_Integer_Literal);
5678 Set_Flag13 (N, Val);
5679 end Set_Print_In_Hex;
5681 procedure Set_Private_Declarations
5682 (N : Node_Id; Val : List_Id) is
5684 pragma Assert (False
5685 or else NT (N).Nkind = N_Package_Specification
5686 or else NT (N).Nkind = N_Protected_Definition
5687 or else NT (N).Nkind = N_Task_Definition);
5688 Set_List3_With_Parent (N, Val);
5689 end Set_Private_Declarations;
5691 procedure Set_Private_Present
5692 (N : Node_Id; Val : Boolean := True) is
5694 pragma Assert (False
5695 or else NT (N).Nkind = N_Compilation_Unit
5696 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5697 or else NT (N).Nkind = N_With_Clause);
5698 Set_Flag15 (N, Val);
5699 end Set_Private_Present;
5701 procedure Set_Procedure_To_Call
5702 (N : Node_Id; Val : Node_Id) is
5704 pragma Assert (False
5705 or else NT (N).Nkind = N_Allocator
5706 or else NT (N).Nkind = N_Extended_Return_Statement
5707 or else NT (N).Nkind = N_Free_Statement
5708 or else NT (N).Nkind = N_Simple_Return_Statement);
5709 Set_Node2 (N, Val); -- semantic field, no parent set
5710 end Set_Procedure_To_Call;
5712 procedure Set_Proper_Body
5713 (N : Node_Id; Val : Node_Id) is
5715 pragma Assert (False
5716 or else NT (N).Nkind = N_Subunit);
5717 Set_Node1_With_Parent (N, Val);
5718 end Set_Proper_Body;
5720 procedure Set_Protected_Definition
5721 (N : Node_Id; Val : Node_Id) is
5723 pragma Assert (False
5724 or else NT (N).Nkind = N_Protected_Type_Declaration
5725 or else NT (N).Nkind = N_Single_Protected_Declaration);
5726 Set_Node3_With_Parent (N, Val);
5727 end Set_Protected_Definition;
5729 procedure Set_Protected_Present
5730 (N : Node_Id; Val : Boolean := True) is
5732 pragma Assert (False
5733 or else NT (N).Nkind = N_Access_Function_Definition
5734 or else NT (N).Nkind = N_Access_Procedure_Definition
5735 or else NT (N).Nkind = N_Derived_Type_Definition
5736 or else NT (N).Nkind = N_Record_Definition);
5738 end Set_Protected_Present;
5740 procedure Set_Raises_Constraint_Error
5741 (N : Node_Id; Val : Boolean := True) is
5743 pragma Assert (False
5744 or else NT (N).Nkind in N_Subexpr);
5746 end Set_Raises_Constraint_Error;
5748 procedure Set_Range_Constraint
5749 (N : Node_Id; Val : Node_Id) is
5751 pragma Assert (False
5752 or else NT (N).Nkind = N_Delta_Constraint
5753 or else NT (N).Nkind = N_Digits_Constraint);
5754 Set_Node4_With_Parent (N, Val);
5755 end Set_Range_Constraint;
5757 procedure Set_Range_Expression
5758 (N : Node_Id; Val : Node_Id) is
5760 pragma Assert (False
5761 or else NT (N).Nkind = N_Range_Constraint);
5762 Set_Node4_With_Parent (N, Val);
5763 end Set_Range_Expression;
5765 procedure Set_Real_Range_Specification
5766 (N : Node_Id; Val : Node_Id) is
5768 pragma Assert (False
5769 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5770 or else NT (N).Nkind = N_Floating_Point_Definition
5771 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5772 Set_Node4_With_Parent (N, Val);
5773 end Set_Real_Range_Specification;
5775 procedure Set_Realval
5776 (N : Node_Id; Val : Ureal) is
5778 pragma Assert (False
5779 or else NT (N).Nkind = N_Real_Literal);
5780 Set_Ureal3 (N, Val);
5783 procedure Set_Reason
5784 (N : Node_Id; Val : Uint) is
5786 pragma Assert (False
5787 or else NT (N).Nkind = N_Raise_Constraint_Error
5788 or else NT (N).Nkind = N_Raise_Program_Error
5789 or else NT (N).Nkind = N_Raise_Storage_Error);
5793 procedure Set_Record_Extension_Part
5794 (N : Node_Id; Val : Node_Id) is
5796 pragma Assert (False
5797 or else NT (N).Nkind = N_Derived_Type_Definition);
5798 Set_Node3_With_Parent (N, Val);
5799 end Set_Record_Extension_Part;
5801 procedure Set_Redundant_Use
5802 (N : Node_Id; Val : Boolean := True) is
5804 pragma Assert (False
5805 or else NT (N).Nkind = N_Attribute_Reference
5806 or else NT (N).Nkind = N_Expanded_Name
5807 or else NT (N).Nkind = N_Identifier);
5808 Set_Flag13 (N, Val);
5809 end Set_Redundant_Use;
5811 procedure Set_Renaming_Exception
5812 (N : Node_Id; Val : Node_Id) is
5814 pragma Assert (False
5815 or else NT (N).Nkind = N_Exception_Declaration);
5817 end Set_Renaming_Exception;
5819 procedure Set_Result_Definition
5820 (N : Node_Id; Val : Node_Id) is
5822 pragma Assert (False
5823 or else NT (N).Nkind = N_Access_Function_Definition
5824 or else NT (N).Nkind = N_Function_Specification);
5825 Set_Node4_With_Parent (N, Val);
5826 end Set_Result_Definition;
5828 procedure Set_Return_Object_Declarations
5829 (N : Node_Id; Val : List_Id) is
5831 pragma Assert (False
5832 or else NT (N).Nkind = N_Extended_Return_Statement);
5833 Set_List3_With_Parent (N, Val);
5834 end Set_Return_Object_Declarations;
5836 procedure Set_Return_Statement_Entity
5837 (N : Node_Id; Val : Node_Id) is
5839 pragma Assert (False
5840 or else NT (N).Nkind = N_Extended_Return_Statement
5841 or else NT (N).Nkind = N_Simple_Return_Statement);
5842 Set_Node5 (N, Val); -- semantic field, no parent set
5843 end Set_Return_Statement_Entity;
5845 procedure Set_Reverse_Present
5846 (N : Node_Id; Val : Boolean := True) is
5848 pragma Assert (False
5849 or else NT (N).Nkind = N_Iterator_Specification
5850 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5851 Set_Flag15 (N, Val);
5852 end Set_Reverse_Present;
5854 procedure Set_Right_Opnd
5855 (N : Node_Id; Val : Node_Id) is
5857 pragma Assert (False
5858 or else NT (N).Nkind in N_Op
5859 or else NT (N).Nkind = N_And_Then
5860 or else NT (N).Nkind = N_In
5861 or else NT (N).Nkind = N_Not_In
5862 or else NT (N).Nkind = N_Or_Else);
5863 Set_Node3_With_Parent (N, Val);
5866 procedure Set_Rounded_Result
5867 (N : Node_Id; Val : Boolean := True) is
5869 pragma Assert (False
5870 or else NT (N).Nkind = N_Op_Divide
5871 or else NT (N).Nkind = N_Op_Multiply
5872 or else NT (N).Nkind = N_Type_Conversion);
5873 Set_Flag18 (N, Val);
5874 end Set_Rounded_Result;
5876 procedure Set_SCIL_Controlling_Tag
5877 (N : Node_Id; Val : Node_Id) is
5879 pragma Assert (False
5880 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5881 Set_Node5 (N, Val); -- semantic field, no parent set
5882 end Set_SCIL_Controlling_Tag;
5884 procedure Set_SCIL_Entity
5885 (N : Node_Id; Val : Node_Id) is
5887 pragma Assert (False
5888 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5889 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5890 or else NT (N).Nkind = N_SCIL_Membership_Test);
5891 Set_Node4 (N, Val); -- semantic field, no parent set
5892 end Set_SCIL_Entity;
5894 procedure Set_SCIL_Tag_Value
5895 (N : Node_Id; Val : Node_Id) is
5897 pragma Assert (False
5898 or else NT (N).Nkind = N_SCIL_Membership_Test);
5899 Set_Node5 (N, Val); -- semantic field, no parent set
5900 end Set_SCIL_Tag_Value;
5902 procedure Set_SCIL_Target_Prim
5903 (N : Node_Id; Val : Node_Id) is
5905 pragma Assert (False
5906 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5907 Set_Node2 (N, Val); -- semantic field, no parent set
5908 end Set_SCIL_Target_Prim;
5911 (N : Node_Id; Val : Node_Id) is
5913 pragma Assert (False
5914 or else NT (N).Nkind = N_Defining_Character_Literal
5915 or else NT (N).Nkind = N_Defining_Identifier
5916 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5917 Set_Node3 (N, Val); -- semantic field, no parent set
5920 procedure Set_Select_Alternatives
5921 (N : Node_Id; Val : List_Id) is
5923 pragma Assert (False
5924 or else NT (N).Nkind = N_Selective_Accept);
5925 Set_List1_With_Parent (N, Val);
5926 end Set_Select_Alternatives;
5928 procedure Set_Selector_Name
5929 (N : Node_Id; Val : Node_Id) is
5931 pragma Assert (False
5932 or else NT (N).Nkind = N_Expanded_Name
5933 or else NT (N).Nkind = N_Generic_Association
5934 or else NT (N).Nkind = N_Parameter_Association
5935 or else NT (N).Nkind = N_Selected_Component);
5936 Set_Node2_With_Parent (N, Val);
5937 end Set_Selector_Name;
5939 procedure Set_Selector_Names
5940 (N : Node_Id; Val : List_Id) is
5942 pragma Assert (False
5943 or else NT (N).Nkind = N_Discriminant_Association);
5944 Set_List1_With_Parent (N, Val);
5945 end Set_Selector_Names;
5947 procedure Set_Shift_Count_OK
5948 (N : Node_Id; Val : Boolean := True) is
5950 pragma Assert (False
5951 or else NT (N).Nkind = N_Op_Rotate_Left
5952 or else NT (N).Nkind = N_Op_Rotate_Right
5953 or else NT (N).Nkind = N_Op_Shift_Left
5954 or else NT (N).Nkind = N_Op_Shift_Right
5955 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5957 end Set_Shift_Count_OK;
5959 procedure Set_Source_Type
5960 (N : Node_Id; Val : Entity_Id) is
5962 pragma Assert (False
5963 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5964 Set_Node1 (N, Val); -- semantic field, no parent set
5965 end Set_Source_Type;
5967 procedure Set_Specification
5968 (N : Node_Id; Val : Node_Id) is
5970 pragma Assert (False
5971 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5972 or else NT (N).Nkind = N_Expression_Function
5973 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5974 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5975 or else NT (N).Nkind = N_Generic_Package_Declaration
5976 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5977 or else NT (N).Nkind = N_Package_Declaration
5978 or else NT (N).Nkind = N_Subprogram_Body
5979 or else NT (N).Nkind = N_Subprogram_Body_Stub
5980 or else NT (N).Nkind = N_Subprogram_Declaration
5981 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5982 Set_Node1_With_Parent (N, Val);
5983 end Set_Specification;
5985 procedure Set_Split_PPC
5986 (N : Node_Id; Val : Boolean) is
5988 pragma Assert (False
5989 or else NT (N).Nkind = N_Aspect_Specification
5990 or else NT (N).Nkind = N_Pragma);
5991 Set_Flag17 (N, Val);
5994 procedure Set_Statements
5995 (N : Node_Id; Val : List_Id) is
5997 pragma Assert (False
5998 or else NT (N).Nkind = N_Abortable_Part
5999 or else NT (N).Nkind = N_Accept_Alternative
6000 or else NT (N).Nkind = N_Case_Statement_Alternative
6001 or else NT (N).Nkind = N_Delay_Alternative
6002 or else NT (N).Nkind = N_Entry_Call_Alternative
6003 or else NT (N).Nkind = N_Exception_Handler
6004 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6005 or else NT (N).Nkind = N_Loop_Statement
6006 or else NT (N).Nkind = N_Triggering_Alternative);
6007 Set_List3_With_Parent (N, Val);
6010 procedure Set_Storage_Pool
6011 (N : Node_Id; Val : Node_Id) is
6013 pragma Assert (False
6014 or else NT (N).Nkind = N_Allocator
6015 or else NT (N).Nkind = N_Extended_Return_Statement
6016 or else NT (N).Nkind = N_Free_Statement
6017 or else NT (N).Nkind = N_Simple_Return_Statement);
6018 Set_Node1 (N, Val); -- semantic field, no parent set
6019 end Set_Storage_Pool;
6021 procedure Set_Subpool_Handle_Name
6022 (N : Node_Id; Val : Node_Id) is
6024 pragma Assert (False
6025 or else NT (N).Nkind = N_Allocator);
6026 Set_Node4_With_Parent (N, Val);
6027 end Set_Subpool_Handle_Name;
6029 procedure Set_Strval
6030 (N : Node_Id; Val : String_Id) is
6032 pragma Assert (False
6033 or else NT (N).Nkind = N_Operator_Symbol
6034 or else NT (N).Nkind = N_String_Literal);
6038 procedure Set_Subtype_Indication
6039 (N : Node_Id; Val : Node_Id) is
6041 pragma Assert (False
6042 or else NT (N).Nkind = N_Access_To_Object_Definition
6043 or else NT (N).Nkind = N_Component_Definition
6044 or else NT (N).Nkind = N_Derived_Type_Definition
6045 or else NT (N).Nkind = N_Iterator_Specification
6046 or else NT (N).Nkind = N_Private_Extension_Declaration
6047 or else NT (N).Nkind = N_Subtype_Declaration);
6048 Set_Node5_With_Parent (N, Val);
6049 end Set_Subtype_Indication;
6051 procedure Set_Subtype_Mark
6052 (N : Node_Id; Val : Node_Id) is
6054 pragma Assert (False
6055 or else NT (N).Nkind = N_Access_Definition
6056 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6057 or else NT (N).Nkind = N_Formal_Object_Declaration
6058 or else NT (N).Nkind = N_Object_Renaming_Declaration
6059 or else NT (N).Nkind = N_Qualified_Expression
6060 or else NT (N).Nkind = N_Subtype_Indication
6061 or else NT (N).Nkind = N_Type_Conversion
6062 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6063 Set_Node4_With_Parent (N, Val);
6064 end Set_Subtype_Mark;
6066 procedure Set_Subtype_Marks
6067 (N : Node_Id; Val : List_Id) is
6069 pragma Assert (False
6070 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6071 or else NT (N).Nkind = N_Use_Type_Clause);
6072 Set_List2_With_Parent (N, Val);
6073 end Set_Subtype_Marks;
6075 procedure Set_Suppress_Assignment_Checks
6076 (N : Node_Id; Val : Boolean := True) is
6078 pragma Assert (False
6079 or else NT (N).Nkind = N_Assignment_Statement
6080 or else NT (N).Nkind = N_Object_Declaration);
6081 Set_Flag18 (N, Val);
6082 end Set_Suppress_Assignment_Checks;
6084 procedure Set_Suppress_Loop_Warnings
6085 (N : Node_Id; Val : Boolean := True) is
6087 pragma Assert (False
6088 or else NT (N).Nkind = N_Loop_Statement);
6089 Set_Flag17 (N, Val);
6090 end Set_Suppress_Loop_Warnings;
6092 procedure Set_Synchronized_Present
6093 (N : Node_Id; Val : Boolean := True) is
6095 pragma Assert (False
6096 or else NT (N).Nkind = N_Derived_Type_Definition
6097 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6098 or else NT (N).Nkind = N_Private_Extension_Declaration
6099 or else NT (N).Nkind = N_Record_Definition);
6101 end Set_Synchronized_Present;
6103 procedure Set_Tagged_Present
6104 (N : Node_Id; Val : Boolean := True) is
6106 pragma Assert (False
6107 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6108 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6109 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6110 or else NT (N).Nkind = N_Private_Type_Declaration
6111 or else NT (N).Nkind = N_Record_Definition);
6112 Set_Flag15 (N, Val);
6113 end Set_Tagged_Present;
6115 procedure Set_Target_Type
6116 (N : Node_Id; Val : Entity_Id) is
6118 pragma Assert (False
6119 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6120 Set_Node2 (N, Val); -- semantic field, no parent set
6121 end Set_Target_Type;
6123 procedure Set_Task_Definition
6124 (N : Node_Id; Val : Node_Id) is
6126 pragma Assert (False
6127 or else NT (N).Nkind = N_Single_Task_Declaration
6128 or else NT (N).Nkind = N_Task_Type_Declaration);
6129 Set_Node3_With_Parent (N, Val);
6130 end Set_Task_Definition;
6132 procedure Set_Task_Present
6133 (N : Node_Id; Val : Boolean := True) is
6135 pragma Assert (False
6136 or else NT (N).Nkind = N_Derived_Type_Definition
6137 or else NT (N).Nkind = N_Record_Definition);
6139 end Set_Task_Present;
6141 procedure Set_Then_Actions
6142 (N : Node_Id; Val : List_Id) is
6144 pragma Assert (False
6145 or else NT (N).Nkind = N_If_Expression);
6146 Set_List2 (N, Val); -- semantic field, no parent set
6147 end Set_Then_Actions;
6149 procedure Set_Then_Statements
6150 (N : Node_Id; Val : List_Id) is
6152 pragma Assert (False
6153 or else NT (N).Nkind = N_Elsif_Part
6154 or else NT (N).Nkind = N_If_Statement);
6155 Set_List2_With_Parent (N, Val);
6156 end Set_Then_Statements;
6158 procedure Set_Treat_Fixed_As_Integer
6159 (N : Node_Id; Val : Boolean := True) is
6161 pragma Assert (False
6162 or else NT (N).Nkind = N_Op_Divide
6163 or else NT (N).Nkind = N_Op_Mod
6164 or else NT (N).Nkind = N_Op_Multiply
6165 or else NT (N).Nkind = N_Op_Rem);
6166 Set_Flag14 (N, Val);
6167 end Set_Treat_Fixed_As_Integer;
6169 procedure Set_Triggering_Alternative
6170 (N : Node_Id; Val : Node_Id) is
6172 pragma Assert (False
6173 or else NT (N).Nkind = N_Asynchronous_Select);
6174 Set_Node1_With_Parent (N, Val);
6175 end Set_Triggering_Alternative;
6177 procedure Set_Triggering_Statement
6178 (N : Node_Id; Val : Node_Id) is
6180 pragma Assert (False
6181 or else NT (N).Nkind = N_Triggering_Alternative);
6182 Set_Node1_With_Parent (N, Val);
6183 end Set_Triggering_Statement;
6185 procedure Set_TSS_Elist
6186 (N : Node_Id; Val : Elist_Id) is
6188 pragma Assert (False
6189 or else NT (N).Nkind = N_Freeze_Entity);
6190 Set_Elist3 (N, Val); -- semantic field, no parent set
6193 procedure Set_Type_Definition
6194 (N : Node_Id; Val : Node_Id) is
6196 pragma Assert (False
6197 or else NT (N).Nkind = N_Full_Type_Declaration);
6198 Set_Node3_With_Parent (N, Val);
6199 end Set_Type_Definition;
6202 (N : Node_Id; Val : Node_Id) is
6204 pragma Assert (False
6205 or else NT (N).Nkind = N_Compilation_Unit);
6206 Set_Node2_With_Parent (N, Val);
6209 procedure Set_Unknown_Discriminants_Present
6210 (N : Node_Id; Val : Boolean := True) is
6212 pragma Assert (False
6213 or else NT (N).Nkind = N_Formal_Type_Declaration
6214 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6215 or else NT (N).Nkind = N_Private_Extension_Declaration
6216 or else NT (N).Nkind = N_Private_Type_Declaration);
6217 Set_Flag13 (N, Val);
6218 end Set_Unknown_Discriminants_Present;
6220 procedure Set_Unreferenced_In_Spec
6221 (N : Node_Id; Val : Boolean := True) is
6223 pragma Assert (False
6224 or else NT (N).Nkind = N_With_Clause);
6226 end Set_Unreferenced_In_Spec;
6228 procedure Set_Variant_Part
6229 (N : Node_Id; Val : Node_Id) is
6231 pragma Assert (False
6232 or else NT (N).Nkind = N_Component_List);
6233 Set_Node4_With_Parent (N, Val);
6234 end Set_Variant_Part;
6236 procedure Set_Variants
6237 (N : Node_Id; Val : List_Id) is
6239 pragma Assert (False
6240 or else NT (N).Nkind = N_Variant_Part);
6241 Set_List1_With_Parent (N, Val);
6244 procedure Set_Visible_Declarations
6245 (N : Node_Id; Val : List_Id) is
6247 pragma Assert (False
6248 or else NT (N).Nkind = N_Package_Specification
6249 or else NT (N).Nkind = N_Protected_Definition
6250 or else NT (N).Nkind = N_Task_Definition);
6251 Set_List2_With_Parent (N, Val);
6252 end Set_Visible_Declarations;
6254 procedure Set_Used_Operations
6255 (N : Node_Id; Val : Elist_Id) is
6257 pragma Assert (False
6258 or else NT (N).Nkind = N_Use_Type_Clause);
6259 Set_Elist5 (N, Val);
6260 end Set_Used_Operations;
6262 procedure Set_Was_Originally_Stub
6263 (N : Node_Id; Val : Boolean := True) is
6265 pragma Assert (False
6266 or else NT (N).Nkind = N_Package_Body
6267 or else NT (N).Nkind = N_Protected_Body
6268 or else NT (N).Nkind = N_Subprogram_Body
6269 or else NT (N).Nkind = N_Task_Body);
6270 Set_Flag13 (N, Val);
6271 end Set_Was_Originally_Stub;
6273 procedure Set_Withed_Body
6274 (N : Node_Id; Val : Node_Id) is
6276 pragma Assert (False
6277 or else NT (N).Nkind = N_With_Clause);
6279 end Set_Withed_Body;
6281 -------------------------
6282 -- Iterator Procedures --
6283 -------------------------
6285 procedure Next_Entity (N : in out Node_Id) is
6287 N := Next_Entity (N);
6290 procedure Next_Named_Actual (N : in out Node_Id) is
6292 N := Next_Named_Actual (N);
6293 end Next_Named_Actual;
6295 procedure Next_Rep_Item (N : in out Node_Id) is
6297 N := Next_Rep_Item (N);
6300 procedure Next_Use_Clause (N : in out Node_Id) is
6302 N := Next_Use_Clause (N);
6303 end Next_Use_Clause;
6309 function End_Location (N : Node_Id) return Source_Ptr is
6310 L : constant Uint := End_Span (N);
6315 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6319 --------------------
6320 -- Get_Pragma_Arg --
6321 --------------------
6323 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6325 if Nkind (Arg) = N_Pragma_Argument_Association then
6326 return Expression (Arg);
6332 ----------------------
6333 -- Set_End_Location --
6334 ----------------------
6336 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6339 UI_From_Int (Int (S) - Int (Sloc (N))));
6340 end Set_End_Location;
6349 V2 : Node_Kind) return Boolean
6352 return T = V1 or else
6360 V3 : Node_Kind) return Boolean
6363 return T = V1 or else
6373 V4 : Node_Kind) return Boolean
6376 return T = V1 or else
6388 V5 : Node_Kind) return Boolean
6391 return T = V1 or else
6405 V6 : Node_Kind) return Boolean
6408 return T = V1 or else
6424 V7 : Node_Kind) return Boolean
6427 return T = V1 or else
6445 V8 : Node_Kind) return Boolean
6448 return T = V1 or else
6468 V9 : Node_Kind) return Boolean
6471 return T = V1 or else
6486 function Pragma_Name (N : Node_Id) return Name_Id is
6488 return Chars (Pragma_Identifier (N));