1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2010, 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);
214 (N : Node_Id) return Boolean is
217 or else NT (N).Nkind = N_Others_Choice);
222 (N : Node_Id) return Boolean is
225 or else NT (N).Nkind = N_Access_Definition
226 or else NT (N).Nkind = N_Access_To_Object_Definition
227 or else NT (N).Nkind = N_Use_Type_Clause);
231 function Alternatives
232 (N : Node_Id) return List_Id is
235 or else NT (N).Nkind = N_Case_Expression
236 or else NT (N).Nkind = N_Case_Statement
237 or else NT (N).Nkind = N_In
238 or else NT (N).Nkind = N_Not_In);
242 function Ancestor_Part
243 (N : Node_Id) return Node_Id is
246 or else NT (N).Nkind = N_Extension_Aggregate);
250 function Array_Aggregate
251 (N : Node_Id) return Node_Id is
254 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
258 function Aspect_Cancel
259 (N : Node_Id) return Boolean is
262 or else NT (N).Nkind = N_Pragma);
266 function Aspect_Rep_Item
267 (N : Node_Id) return Node_Id is
270 or else NT (N).Nkind = N_Aspect_Specification);
274 function Assignment_OK
275 (N : Node_Id) return Boolean is
278 or else NT (N).Nkind = N_Object_Declaration
279 or else NT (N).Nkind in N_Subexpr);
283 function Associated_Node
284 (N : Node_Id) return Node_Id is
287 or else NT (N).Nkind in N_Has_Entity
288 or else NT (N).Nkind = N_Aggregate
289 or else NT (N).Nkind = N_Extension_Aggregate
290 or else NT (N).Nkind = N_Selected_Component);
295 (N : Node_Id) return Node_Id is
298 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
302 function Attribute_Name
303 (N : Node_Id) return Name_Id is
306 or else NT (N).Nkind = N_Attribute_Reference);
310 function Aux_Decls_Node
311 (N : Node_Id) return Node_Id is
314 or else NT (N).Nkind = N_Compilation_Unit);
318 function Backwards_OK
319 (N : Node_Id) return Boolean is
322 or else NT (N).Nkind = N_Assignment_Statement);
326 function Bad_Is_Detected
327 (N : Node_Id) return Boolean is
330 or else NT (N).Nkind = N_Subprogram_Body);
334 function Body_Required
335 (N : Node_Id) return Boolean is
338 or else NT (N).Nkind = N_Compilation_Unit);
342 function Body_To_Inline
343 (N : Node_Id) return Node_Id is
346 or else NT (N).Nkind = N_Subprogram_Declaration);
351 (N : Node_Id) return Boolean is
354 or else NT (N).Nkind = N_Component_Association
355 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
356 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
357 or else NT (N).Nkind = N_Formal_Package_Declaration
358 or else NT (N).Nkind = N_Generic_Association);
363 (N : Node_Id) return Boolean is
366 or else NT (N).Nkind = N_Extended_Return_Statement
367 or else NT (N).Nkind = N_Return_Statement);
371 function Char_Literal_Value
372 (N : Node_Id) return Uint is
375 or else NT (N).Nkind = N_Character_Literal);
377 end Char_Literal_Value;
380 (N : Node_Id) return Name_Id is
383 or else NT (N).Nkind in N_Has_Chars);
387 function Check_Address_Alignment
388 (N : Node_Id) return Boolean is
391 or else NT (N).Nkind = N_Attribute_Definition_Clause);
393 end Check_Address_Alignment;
395 function Choice_Parameter
396 (N : Node_Id) return Node_Id is
399 or else NT (N).Nkind = N_Exception_Handler);
401 end Choice_Parameter;
404 (N : Node_Id) return List_Id is
407 or else NT (N).Nkind = N_Component_Association);
411 function Class_Present
412 (N : Node_Id) return Boolean is
415 or else NT (N).Nkind = N_Aspect_Specification
416 or else NT (N).Nkind = N_Pragma);
420 function Coextensions
421 (N : Node_Id) return Elist_Id is
424 or else NT (N).Nkind = N_Allocator);
428 function Comes_From_Extended_Return_Statement
429 (N : Node_Id) return Boolean is
432 or else NT (N).Nkind = N_Return_Statement);
434 end Comes_From_Extended_Return_Statement;
436 function Compile_Time_Known_Aggregate
437 (N : Node_Id) return Boolean is
440 or else NT (N).Nkind = N_Aggregate);
442 end Compile_Time_Known_Aggregate;
444 function Component_Associations
445 (N : Node_Id) return List_Id is
448 or else NT (N).Nkind = N_Aggregate
449 or else NT (N).Nkind = N_Extension_Aggregate);
451 end Component_Associations;
453 function Component_Clauses
454 (N : Node_Id) return List_Id is
457 or else NT (N).Nkind = N_Record_Representation_Clause);
459 end Component_Clauses;
461 function Component_Definition
462 (N : Node_Id) return Node_Id is
465 or else NT (N).Nkind = N_Component_Declaration
466 or else NT (N).Nkind = N_Constrained_Array_Definition
467 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
469 end Component_Definition;
471 function Component_Items
472 (N : Node_Id) return List_Id is
475 or else NT (N).Nkind = N_Component_List);
479 function Component_List
480 (N : Node_Id) return Node_Id is
483 or else NT (N).Nkind = N_Record_Definition
484 or else NT (N).Nkind = N_Variant);
488 function Component_Name
489 (N : Node_Id) return Node_Id is
492 or else NT (N).Nkind = N_Component_Clause);
496 function Componentwise_Assignment
497 (N : Node_Id) return Boolean is
500 or else NT (N).Nkind = N_Assignment_Statement);
502 end Componentwise_Assignment;
505 (N : Node_Id) return Node_Id is
508 or else NT (N).Nkind = N_Accept_Alternative
509 or else NT (N).Nkind = N_Delay_Alternative
510 or else NT (N).Nkind = N_Elsif_Part
511 or else NT (N).Nkind = N_Entry_Body_Formal_Part
512 or else NT (N).Nkind = N_Exit_Statement
513 or else NT (N).Nkind = N_If_Statement
514 or else NT (N).Nkind = N_Iteration_Scheme
515 or else NT (N).Nkind = N_Raise_Constraint_Error
516 or else NT (N).Nkind = N_Raise_Program_Error
517 or else NT (N).Nkind = N_Raise_Storage_Error
518 or else NT (N).Nkind = N_Terminate_Alternative);
522 function Condition_Actions
523 (N : Node_Id) return List_Id is
526 or else NT (N).Nkind = N_Elsif_Part
527 or else NT (N).Nkind = N_Iteration_Scheme);
529 end Condition_Actions;
531 function Config_Pragmas
532 (N : Node_Id) return List_Id is
535 or else NT (N).Nkind = N_Compilation_Unit_Aux);
539 function Constant_Present
540 (N : Node_Id) return Boolean is
543 or else NT (N).Nkind = N_Access_Definition
544 or else NT (N).Nkind = N_Access_To_Object_Definition
545 or else NT (N).Nkind = N_Object_Declaration);
547 end Constant_Present;
550 (N : Node_Id) return Node_Id is
553 or else NT (N).Nkind = N_Subtype_Indication);
558 (N : Node_Id) return List_Id is
561 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
565 function Context_Installed
566 (N : Node_Id) return Boolean is
569 or else NT (N).Nkind = N_With_Clause);
571 end Context_Installed;
573 function Context_Items
574 (N : Node_Id) return List_Id is
577 or else NT (N).Nkind = N_Compilation_Unit);
581 function Context_Pending
582 (N : Node_Id) return Boolean is
585 or else NT (N).Nkind = N_Compilation_Unit);
589 function Controlling_Argument
590 (N : Node_Id) return Node_Id is
593 or else NT (N).Nkind = N_Function_Call
594 or else NT (N).Nkind = N_Procedure_Call_Statement);
596 end Controlling_Argument;
598 function Conversion_OK
599 (N : Node_Id) return Boolean is
602 or else NT (N).Nkind = N_Type_Conversion);
606 function Corresponding_Body
607 (N : Node_Id) return Node_Id is
610 or else NT (N).Nkind = N_Entry_Declaration
611 or else NT (N).Nkind = N_Generic_Package_Declaration
612 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
613 or else NT (N).Nkind = N_Package_Body_Stub
614 or else NT (N).Nkind = N_Package_Declaration
615 or else NT (N).Nkind = N_Protected_Body_Stub
616 or else NT (N).Nkind = N_Protected_Type_Declaration
617 or else NT (N).Nkind = N_Subprogram_Body_Stub
618 or else NT (N).Nkind = N_Subprogram_Declaration
619 or else NT (N).Nkind = N_Task_Body_Stub
620 or else NT (N).Nkind = N_Task_Type_Declaration);
622 end Corresponding_Body;
624 function Corresponding_Formal_Spec
625 (N : Node_Id) return Node_Id is
628 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
630 end Corresponding_Formal_Spec;
632 function Corresponding_Generic_Association
633 (N : Node_Id) return Node_Id is
636 or else NT (N).Nkind = N_Object_Declaration
637 or else NT (N).Nkind = N_Object_Renaming_Declaration);
639 end Corresponding_Generic_Association;
641 function Corresponding_Integer_Value
642 (N : Node_Id) return Uint is
645 or else NT (N).Nkind = N_Real_Literal);
647 end Corresponding_Integer_Value;
649 function Corresponding_Spec
650 (N : Node_Id) return Node_Id is
653 or else NT (N).Nkind = N_Package_Body
654 or else NT (N).Nkind = N_Protected_Body
655 or else NT (N).Nkind = N_Subprogram_Body
656 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
657 or else NT (N).Nkind = N_Task_Body
658 or else NT (N).Nkind = N_With_Clause);
660 end Corresponding_Spec;
662 function Corresponding_Stub
663 (N : Node_Id) return Node_Id is
666 or else NT (N).Nkind = N_Subunit);
668 end Corresponding_Stub;
670 function Dcheck_Function
671 (N : Node_Id) return Entity_Id is
674 or else NT (N).Nkind = N_Variant);
678 function Debug_Statement
679 (N : Node_Id) return Node_Id is
682 or else NT (N).Nkind = N_Pragma);
686 function Declarations
687 (N : Node_Id) return List_Id is
690 or else NT (N).Nkind = N_Accept_Statement
691 or else NT (N).Nkind = N_Block_Statement
692 or else NT (N).Nkind = N_Compilation_Unit_Aux
693 or else NT (N).Nkind = N_Entry_Body
694 or else NT (N).Nkind = N_Package_Body
695 or else NT (N).Nkind = N_Protected_Body
696 or else NT (N).Nkind = N_Subprogram_Body
697 or else NT (N).Nkind = N_Task_Body);
701 function Default_Expression
702 (N : Node_Id) return Node_Id is
705 or else NT (N).Nkind = N_Formal_Object_Declaration
706 or else NT (N).Nkind = N_Parameter_Specification);
708 end Default_Expression;
710 function Default_Name
711 (N : Node_Id) return Node_Id is
714 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
715 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
719 function Defining_Identifier
720 (N : Node_Id) return Entity_Id is
723 or else NT (N).Nkind = N_Component_Declaration
724 or else NT (N).Nkind = N_Defining_Program_Unit_Name
725 or else NT (N).Nkind = N_Discriminant_Specification
726 or else NT (N).Nkind = N_Entry_Body
727 or else NT (N).Nkind = N_Entry_Declaration
728 or else NT (N).Nkind = N_Entry_Index_Specification
729 or else NT (N).Nkind = N_Exception_Declaration
730 or else NT (N).Nkind = N_Exception_Renaming_Declaration
731 or else NT (N).Nkind = N_Formal_Object_Declaration
732 or else NT (N).Nkind = N_Formal_Package_Declaration
733 or else NT (N).Nkind = N_Formal_Type_Declaration
734 or else NT (N).Nkind = N_Full_Type_Declaration
735 or else NT (N).Nkind = N_Implicit_Label_Declaration
736 or else NT (N).Nkind = N_Incomplete_Type_Declaration
737 or else NT (N).Nkind = N_Loop_Parameter_Specification
738 or else NT (N).Nkind = N_Number_Declaration
739 or else NT (N).Nkind = N_Object_Declaration
740 or else NT (N).Nkind = N_Object_Renaming_Declaration
741 or else NT (N).Nkind = N_Package_Body_Stub
742 or else NT (N).Nkind = N_Parameter_Specification
743 or else NT (N).Nkind = N_Private_Extension_Declaration
744 or else NT (N).Nkind = N_Private_Type_Declaration
745 or else NT (N).Nkind = N_Protected_Body
746 or else NT (N).Nkind = N_Protected_Body_Stub
747 or else NT (N).Nkind = N_Protected_Type_Declaration
748 or else NT (N).Nkind = N_Single_Protected_Declaration
749 or else NT (N).Nkind = N_Single_Task_Declaration
750 or else NT (N).Nkind = N_Subtype_Declaration
751 or else NT (N).Nkind = N_Task_Body
752 or else NT (N).Nkind = N_Task_Body_Stub
753 or else NT (N).Nkind = N_Task_Type_Declaration);
755 end Defining_Identifier;
757 function Defining_Unit_Name
758 (N : Node_Id) return Node_Id is
761 or else NT (N).Nkind = N_Function_Instantiation
762 or else NT (N).Nkind = N_Function_Specification
763 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
764 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
765 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
766 or else NT (N).Nkind = N_Package_Body
767 or else NT (N).Nkind = N_Package_Instantiation
768 or else NT (N).Nkind = N_Package_Renaming_Declaration
769 or else NT (N).Nkind = N_Package_Specification
770 or else NT (N).Nkind = N_Procedure_Instantiation
771 or else NT (N).Nkind = N_Procedure_Specification);
773 end Defining_Unit_Name;
775 function Delay_Alternative
776 (N : Node_Id) return Node_Id is
779 or else NT (N).Nkind = N_Timed_Entry_Call);
781 end Delay_Alternative;
783 function Delay_Statement
784 (N : Node_Id) return Node_Id is
787 or else NT (N).Nkind = N_Delay_Alternative);
791 function Delta_Expression
792 (N : Node_Id) return Node_Id is
795 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
796 or else NT (N).Nkind = N_Delta_Constraint
797 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
799 end Delta_Expression;
801 function Digits_Expression
802 (N : Node_Id) return Node_Id is
805 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
806 or else NT (N).Nkind = N_Digits_Constraint
807 or else NT (N).Nkind = N_Floating_Point_Definition);
809 end Digits_Expression;
811 function Discr_Check_Funcs_Built
812 (N : Node_Id) return Boolean is
815 or else NT (N).Nkind = N_Full_Type_Declaration);
817 end Discr_Check_Funcs_Built;
819 function Discrete_Choices
820 (N : Node_Id) return List_Id is
823 or else NT (N).Nkind = N_Case_Expression_Alternative
824 or else NT (N).Nkind = N_Case_Statement_Alternative
825 or else NT (N).Nkind = N_Variant);
827 end Discrete_Choices;
829 function Discrete_Range
830 (N : Node_Id) return Node_Id is
833 or else NT (N).Nkind = N_Slice);
837 function Discrete_Subtype_Definition
838 (N : Node_Id) return Node_Id is
841 or else NT (N).Nkind = N_Entry_Declaration
842 or else NT (N).Nkind = N_Entry_Index_Specification
843 or else NT (N).Nkind = N_Loop_Parameter_Specification);
845 end Discrete_Subtype_Definition;
847 function Discrete_Subtype_Definitions
848 (N : Node_Id) return List_Id is
851 or else NT (N).Nkind = N_Constrained_Array_Definition);
853 end Discrete_Subtype_Definitions;
855 function Discriminant_Specifications
856 (N : Node_Id) return List_Id is
859 or else NT (N).Nkind = N_Formal_Type_Declaration
860 or else NT (N).Nkind = N_Full_Type_Declaration
861 or else NT (N).Nkind = N_Incomplete_Type_Declaration
862 or else NT (N).Nkind = N_Private_Extension_Declaration
863 or else NT (N).Nkind = N_Private_Type_Declaration
864 or else NT (N).Nkind = N_Protected_Type_Declaration
865 or else NT (N).Nkind = N_Task_Type_Declaration);
867 end Discriminant_Specifications;
869 function Discriminant_Type
870 (N : Node_Id) return Node_Id is
873 or else NT (N).Nkind = N_Discriminant_Specification);
875 end Discriminant_Type;
877 function Do_Accessibility_Check
878 (N : Node_Id) return Boolean is
881 or else NT (N).Nkind = N_Parameter_Specification);
883 end Do_Accessibility_Check;
885 function Do_Discriminant_Check
886 (N : Node_Id) return Boolean is
889 or else NT (N).Nkind = N_Selected_Component);
891 end Do_Discriminant_Check;
893 function Do_Division_Check
894 (N : Node_Id) return Boolean is
897 or else NT (N).Nkind = N_Op_Divide
898 or else NT (N).Nkind = N_Op_Mod
899 or else NT (N).Nkind = N_Op_Rem);
901 end Do_Division_Check;
903 function Do_Length_Check
904 (N : Node_Id) return Boolean is
907 or else NT (N).Nkind = N_Assignment_Statement
908 or else NT (N).Nkind = N_Op_And
909 or else NT (N).Nkind = N_Op_Or
910 or else NT (N).Nkind = N_Op_Xor
911 or else NT (N).Nkind = N_Type_Conversion);
915 function Do_Overflow_Check
916 (N : Node_Id) return Boolean is
919 or else NT (N).Nkind in N_Op
920 or else NT (N).Nkind = N_Attribute_Reference
921 or else NT (N).Nkind = N_Type_Conversion);
923 end Do_Overflow_Check;
925 function Do_Range_Check
926 (N : Node_Id) return Boolean is
929 or else NT (N).Nkind in N_Subexpr);
933 function Do_Storage_Check
934 (N : Node_Id) return Boolean is
937 or else NT (N).Nkind = N_Allocator
938 or else NT (N).Nkind = N_Subprogram_Body);
940 end Do_Storage_Check;
942 function Do_Tag_Check
943 (N : Node_Id) return Boolean is
946 or else NT (N).Nkind = N_Assignment_Statement
947 or else NT (N).Nkind = N_Extended_Return_Statement
948 or else NT (N).Nkind = N_Function_Call
949 or else NT (N).Nkind = N_Procedure_Call_Statement
950 or else NT (N).Nkind = N_Return_Statement
951 or else NT (N).Nkind = N_Type_Conversion);
955 function Elaborate_All_Desirable
956 (N : Node_Id) return Boolean is
959 or else NT (N).Nkind = N_With_Clause);
961 end Elaborate_All_Desirable;
963 function Elaborate_All_Present
964 (N : Node_Id) return Boolean is
967 or else NT (N).Nkind = N_With_Clause);
969 end Elaborate_All_Present;
971 function Elaborate_Desirable
972 (N : Node_Id) return Boolean is
975 or else NT (N).Nkind = N_With_Clause);
977 end Elaborate_Desirable;
979 function Elaborate_Present
980 (N : Node_Id) return Boolean is
983 or else NT (N).Nkind = N_With_Clause);
985 end Elaborate_Present;
987 function Elaboration_Boolean
988 (N : Node_Id) return Node_Id is
991 or else NT (N).Nkind = N_Function_Specification
992 or else NT (N).Nkind = N_Procedure_Specification);
994 end Elaboration_Boolean;
996 function Else_Actions
997 (N : Node_Id) return List_Id is
1000 or else NT (N).Nkind = N_Conditional_Expression);
1004 function Else_Statements
1005 (N : Node_Id) return List_Id is
1007 pragma Assert (False
1008 or else NT (N).Nkind = N_Conditional_Entry_Call
1009 or else NT (N).Nkind = N_If_Statement
1010 or else NT (N).Nkind = N_Selective_Accept);
1012 end Else_Statements;
1014 function Elsif_Parts
1015 (N : Node_Id) return List_Id is
1017 pragma Assert (False
1018 or else NT (N).Nkind = N_If_Statement);
1022 function Enclosing_Variant
1023 (N : Node_Id) return Node_Id is
1025 pragma Assert (False
1026 or else NT (N).Nkind = N_Variant);
1028 end Enclosing_Variant;
1031 (N : Node_Id) return Node_Id is
1033 pragma Assert (False
1034 or else NT (N).Nkind = N_Enumeration_Type_Definition
1035 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1036 or else NT (N).Nkind = N_Loop_Statement
1037 or else NT (N).Nkind = N_Package_Specification
1038 or else NT (N).Nkind = N_Protected_Body
1039 or else NT (N).Nkind = N_Protected_Definition
1040 or else NT (N).Nkind = N_Record_Definition
1041 or else NT (N).Nkind = N_Task_Definition);
1046 (N : Node_Id) return Uint is
1048 pragma Assert (False
1049 or else NT (N).Nkind = N_Case_Statement
1050 or else NT (N).Nkind = N_If_Statement);
1055 (N : Node_Id) return Node_Id is
1057 pragma Assert (False
1058 or else NT (N).Nkind in N_Has_Entity
1059 or else NT (N).Nkind = N_Aspect_Specification
1060 or else NT (N).Nkind = N_Attribute_Definition_Clause
1061 or else NT (N).Nkind = N_Freeze_Entity);
1065 function Entity_Or_Associated_Node
1066 (N : Node_Id) return Node_Id is
1068 pragma Assert (False
1069 or else NT (N).Nkind in N_Has_Entity
1070 or else NT (N).Nkind = N_Freeze_Entity);
1072 end Entity_Or_Associated_Node;
1074 function Entry_Body_Formal_Part
1075 (N : Node_Id) return Node_Id is
1077 pragma Assert (False
1078 or else NT (N).Nkind = N_Entry_Body);
1080 end Entry_Body_Formal_Part;
1082 function Entry_Call_Alternative
1083 (N : Node_Id) return Node_Id is
1085 pragma Assert (False
1086 or else NT (N).Nkind = N_Conditional_Entry_Call
1087 or else NT (N).Nkind = N_Timed_Entry_Call);
1089 end Entry_Call_Alternative;
1091 function Entry_Call_Statement
1092 (N : Node_Id) return Node_Id is
1094 pragma Assert (False
1095 or else NT (N).Nkind = N_Entry_Call_Alternative);
1097 end Entry_Call_Statement;
1099 function Entry_Direct_Name
1100 (N : Node_Id) return Node_Id is
1102 pragma Assert (False
1103 or else NT (N).Nkind = N_Accept_Statement);
1105 end Entry_Direct_Name;
1107 function Entry_Index
1108 (N : Node_Id) return Node_Id is
1110 pragma Assert (False
1111 or else NT (N).Nkind = N_Accept_Statement);
1115 function Entry_Index_Specification
1116 (N : Node_Id) return Node_Id is
1118 pragma Assert (False
1119 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1121 end Entry_Index_Specification;
1124 (N : Node_Id) return Node_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind in N_Has_Etype);
1131 function Exception_Choices
1132 (N : Node_Id) return List_Id is
1134 pragma Assert (False
1135 or else NT (N).Nkind = N_Exception_Handler);
1137 end Exception_Choices;
1139 function Exception_Handlers
1140 (N : Node_Id) return List_Id is
1142 pragma Assert (False
1143 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1145 end Exception_Handlers;
1147 function Exception_Junk
1148 (N : Node_Id) return Boolean is
1150 pragma Assert (False
1151 or else NT (N).Nkind = N_Block_Statement
1152 or else NT (N).Nkind = N_Goto_Statement
1153 or else NT (N).Nkind = N_Label
1154 or else NT (N).Nkind = N_Object_Declaration
1155 or else NT (N).Nkind = N_Subtype_Declaration);
1159 function Exception_Label
1160 (N : Node_Id) return Node_Id is
1162 pragma Assert (False
1163 or else NT (N).Nkind = N_Exception_Handler
1164 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1165 or else NT (N).Nkind = N_Push_Program_Error_Label
1166 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1168 end Exception_Label;
1170 function Expansion_Delayed
1171 (N : Node_Id) return Boolean is
1173 pragma Assert (False
1174 or else NT (N).Nkind = N_Aggregate
1175 or else NT (N).Nkind = N_Extension_Aggregate);
1177 end Expansion_Delayed;
1179 function Explicit_Actual_Parameter
1180 (N : Node_Id) return Node_Id is
1182 pragma Assert (False
1183 or else NT (N).Nkind = N_Parameter_Association);
1185 end Explicit_Actual_Parameter;
1187 function Explicit_Generic_Actual_Parameter
1188 (N : Node_Id) return Node_Id is
1190 pragma Assert (False
1191 or else NT (N).Nkind = N_Generic_Association);
1193 end Explicit_Generic_Actual_Parameter;
1196 (N : Node_Id) return Node_Id is
1198 pragma Assert (False
1199 or else NT (N).Nkind = N_Allocator
1200 or else NT (N).Nkind = N_Aspect_Specification
1201 or else NT (N).Nkind = N_Assignment_Statement
1202 or else NT (N).Nkind = N_At_Clause
1203 or else NT (N).Nkind = N_Attribute_Definition_Clause
1204 or else NT (N).Nkind = N_Case_Expression
1205 or else NT (N).Nkind = N_Case_Expression_Alternative
1206 or else NT (N).Nkind = N_Case_Statement
1207 or else NT (N).Nkind = N_Code_Statement
1208 or else NT (N).Nkind = N_Component_Association
1209 or else NT (N).Nkind = N_Component_Declaration
1210 or else NT (N).Nkind = N_Delay_Relative_Statement
1211 or else NT (N).Nkind = N_Delay_Until_Statement
1212 or else NT (N).Nkind = N_Discriminant_Association
1213 or else NT (N).Nkind = N_Discriminant_Specification
1214 or else NT (N).Nkind = N_Exception_Declaration
1215 or else NT (N).Nkind = N_Expression_With_Actions
1216 or else NT (N).Nkind = N_Free_Statement
1217 or else NT (N).Nkind = N_Mod_Clause
1218 or else NT (N).Nkind = N_Modular_Type_Definition
1219 or else NT (N).Nkind = N_Number_Declaration
1220 or else NT (N).Nkind = N_Object_Declaration
1221 or else NT (N).Nkind = N_Parameter_Specification
1222 or else NT (N).Nkind = N_Parameterized_Expression
1223 or else NT (N).Nkind = N_Pragma_Argument_Association
1224 or else NT (N).Nkind = N_Qualified_Expression
1225 or else NT (N).Nkind = N_Raise_Statement
1226 or else NT (N).Nkind = N_Return_Statement
1227 or else NT (N).Nkind = N_Type_Conversion
1228 or else NT (N).Nkind = N_Unchecked_Expression
1229 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1233 function Expressions
1234 (N : Node_Id) return List_Id is
1236 pragma Assert (False
1237 or else NT (N).Nkind = N_Aggregate
1238 or else NT (N).Nkind = N_Attribute_Reference
1239 or else NT (N).Nkind = N_Conditional_Expression
1240 or else NT (N).Nkind = N_Extension_Aggregate
1241 or else NT (N).Nkind = N_Indexed_Component);
1246 (N : Node_Id) return Node_Id is
1248 pragma Assert (False
1249 or else NT (N).Nkind = N_Component_Clause);
1253 function First_Inlined_Subprogram
1254 (N : Node_Id) return Entity_Id is
1256 pragma Assert (False
1257 or else NT (N).Nkind = N_Compilation_Unit);
1259 end First_Inlined_Subprogram;
1262 (N : Node_Id) return Boolean is
1264 pragma Assert (False
1265 or else NT (N).Nkind = N_With_Clause);
1269 function First_Named_Actual
1270 (N : Node_Id) return Node_Id is
1272 pragma Assert (False
1273 or else NT (N).Nkind = N_Entry_Call_Statement
1274 or else NT (N).Nkind = N_Function_Call
1275 or else NT (N).Nkind = N_Procedure_Call_Statement);
1277 end First_Named_Actual;
1279 function First_Real_Statement
1280 (N : Node_Id) return Node_Id is
1282 pragma Assert (False
1283 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1285 end First_Real_Statement;
1287 function First_Subtype_Link
1288 (N : Node_Id) return Entity_Id is
1290 pragma Assert (False
1291 or else NT (N).Nkind = N_Freeze_Entity);
1293 end First_Subtype_Link;
1295 function Float_Truncate
1296 (N : Node_Id) return Boolean is
1298 pragma Assert (False
1299 or else NT (N).Nkind = N_Type_Conversion);
1303 function Formal_Type_Definition
1304 (N : Node_Id) return Node_Id is
1306 pragma Assert (False
1307 or else NT (N).Nkind = N_Formal_Type_Declaration);
1309 end Formal_Type_Definition;
1311 function Forwards_OK
1312 (N : Node_Id) return Boolean is
1314 pragma Assert (False
1315 or else NT (N).Nkind = N_Assignment_Statement);
1319 function From_Aspect_Specification
1320 (N : Node_Id) return Boolean is
1322 pragma Assert (False
1323 or else NT (N).Nkind = N_Attribute_Definition_Clause
1324 or else NT (N).Nkind = N_Pragma);
1326 end From_Aspect_Specification;
1328 function From_At_End
1329 (N : Node_Id) return Boolean is
1331 pragma Assert (False
1332 or else NT (N).Nkind = N_Raise_Statement);
1336 function From_At_Mod
1337 (N : Node_Id) return Boolean is
1339 pragma Assert (False
1340 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1344 function From_Default
1345 (N : Node_Id) return Boolean is
1347 pragma Assert (False
1348 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1352 function Generic_Associations
1353 (N : Node_Id) return List_Id is
1355 pragma Assert (False
1356 or else NT (N).Nkind = N_Formal_Package_Declaration
1357 or else NT (N).Nkind = N_Function_Instantiation
1358 or else NT (N).Nkind = N_Package_Instantiation
1359 or else NT (N).Nkind = N_Procedure_Instantiation);
1361 end Generic_Associations;
1363 function Generic_Formal_Declarations
1364 (N : Node_Id) return List_Id is
1366 pragma Assert (False
1367 or else NT (N).Nkind = N_Generic_Package_Declaration
1368 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1370 end Generic_Formal_Declarations;
1372 function Generic_Parent
1373 (N : Node_Id) return Node_Id is
1375 pragma Assert (False
1376 or else NT (N).Nkind = N_Function_Specification
1377 or else NT (N).Nkind = N_Package_Specification
1378 or else NT (N).Nkind = N_Procedure_Specification);
1382 function Generic_Parent_Type
1383 (N : Node_Id) return Node_Id is
1385 pragma Assert (False
1386 or else NT (N).Nkind = N_Subtype_Declaration);
1388 end Generic_Parent_Type;
1390 function Handled_Statement_Sequence
1391 (N : Node_Id) return Node_Id is
1393 pragma Assert (False
1394 or else NT (N).Nkind = N_Accept_Statement
1395 or else NT (N).Nkind = N_Block_Statement
1396 or else NT (N).Nkind = N_Entry_Body
1397 or else NT (N).Nkind = N_Extended_Return_Statement
1398 or else NT (N).Nkind = N_Package_Body
1399 or else NT (N).Nkind = N_Subprogram_Body
1400 or else NT (N).Nkind = N_Task_Body);
1402 end Handled_Statement_Sequence;
1404 function Handler_List_Entry
1405 (N : Node_Id) return Node_Id is
1407 pragma Assert (False
1408 or else NT (N).Nkind = N_Object_Declaration);
1410 end Handler_List_Entry;
1412 function Has_Created_Identifier
1413 (N : Node_Id) return Boolean is
1415 pragma Assert (False
1416 or else NT (N).Nkind = N_Block_Statement
1417 or else NT (N).Nkind = N_Loop_Statement);
1419 end Has_Created_Identifier;
1421 function Has_Dynamic_Length_Check
1422 (N : Node_Id) return Boolean is
1425 end Has_Dynamic_Length_Check;
1426 function Has_Dynamic_Range_Check
1427 (N : Node_Id) return Boolean is
1430 end Has_Dynamic_Range_Check;
1432 function Has_Init_Expression
1433 (N : Node_Id) return Boolean is
1435 pragma Assert (False
1436 or else NT (N).Nkind = N_Object_Declaration);
1438 end Has_Init_Expression;
1440 function Has_Local_Raise
1441 (N : Node_Id) return Boolean is
1443 pragma Assert (False
1444 or else NT (N).Nkind = N_Exception_Handler);
1446 end Has_Local_Raise;
1448 function Has_No_Elaboration_Code
1449 (N : Node_Id) return Boolean is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Compilation_Unit);
1454 end Has_No_Elaboration_Code;
1456 function Has_Pragma_Priority
1457 (N : Node_Id) return Boolean is
1459 pragma Assert (False
1460 or else NT (N).Nkind = N_Protected_Definition
1461 or else NT (N).Nkind = N_Subprogram_Body
1462 or else NT (N).Nkind = N_Task_Definition);
1464 end Has_Pragma_Priority;
1466 function Has_Pragma_Suppress_All
1467 (N : Node_Id) return Boolean is
1469 pragma Assert (False
1470 or else NT (N).Nkind = N_Compilation_Unit);
1472 end Has_Pragma_Suppress_All;
1474 function Has_Private_View
1475 (N : Node_Id) return Boolean is
1477 pragma Assert (False
1478 or else NT (N).Nkind in N_Op
1479 or else NT (N).Nkind = N_Character_Literal
1480 or else NT (N).Nkind = N_Expanded_Name
1481 or else NT (N).Nkind = N_Identifier
1482 or else NT (N).Nkind = N_Operator_Symbol);
1484 end Has_Private_View;
1486 function Has_Relative_Deadline_Pragma
1487 (N : Node_Id) return Boolean is
1489 pragma Assert (False
1490 or else NT (N).Nkind = N_Subprogram_Body
1491 or else NT (N).Nkind = N_Task_Definition);
1493 end Has_Relative_Deadline_Pragma;
1495 function Has_Self_Reference
1496 (N : Node_Id) return Boolean is
1498 pragma Assert (False
1499 or else NT (N).Nkind = N_Aggregate
1500 or else NT (N).Nkind = N_Extension_Aggregate);
1502 end Has_Self_Reference;
1504 function Has_Storage_Size_Pragma
1505 (N : Node_Id) return Boolean is
1507 pragma Assert (False
1508 or else NT (N).Nkind = N_Task_Definition);
1510 end Has_Storage_Size_Pragma;
1512 function Has_Task_Info_Pragma
1513 (N : Node_Id) return Boolean is
1515 pragma Assert (False
1516 or else NT (N).Nkind = N_Task_Definition);
1518 end Has_Task_Info_Pragma;
1520 function Has_Task_Name_Pragma
1521 (N : Node_Id) return Boolean is
1523 pragma Assert (False
1524 or else NT (N).Nkind = N_Task_Definition);
1526 end Has_Task_Name_Pragma;
1528 function Has_Wide_Character
1529 (N : Node_Id) return Boolean is
1531 pragma Assert (False
1532 or else NT (N).Nkind = N_String_Literal);
1534 end Has_Wide_Character;
1536 function Has_Wide_Wide_Character
1537 (N : Node_Id) return Boolean is
1539 pragma Assert (False
1540 or else NT (N).Nkind = N_String_Literal);
1542 end Has_Wide_Wide_Character;
1544 function Hidden_By_Use_Clause
1545 (N : Node_Id) return Elist_Id is
1547 pragma Assert (False
1548 or else NT (N).Nkind = N_Use_Package_Clause
1549 or else NT (N).Nkind = N_Use_Type_Clause);
1551 end Hidden_By_Use_Clause;
1554 (N : Node_Id) return Node_Id is
1556 pragma Assert (False
1557 or else NT (N).Nkind = N_Range
1558 or else NT (N).Nkind = N_Real_Range_Specification
1559 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1564 (N : Node_Id) return Node_Id is
1566 pragma Assert (False
1567 or else NT (N).Nkind = N_Aspect_Specification
1568 or else NT (N).Nkind = N_At_Clause
1569 or else NT (N).Nkind = N_Block_Statement
1570 or else NT (N).Nkind = N_Designator
1571 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1572 or else NT (N).Nkind = N_Label
1573 or else NT (N).Nkind = N_Loop_Statement
1574 or else NT (N).Nkind = N_Record_Representation_Clause
1575 or else NT (N).Nkind = N_Subprogram_Info);
1579 function Implicit_With
1580 (N : Node_Id) return Boolean is
1582 pragma Assert (False
1583 or else NT (N).Nkind = N_With_Clause);
1587 function Interface_List
1588 (N : Node_Id) return List_Id is
1590 pragma Assert (False
1591 or else NT (N).Nkind = N_Derived_Type_Definition
1592 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1593 or else NT (N).Nkind = N_Private_Extension_Declaration
1594 or else NT (N).Nkind = N_Protected_Type_Declaration
1595 or else NT (N).Nkind = N_Record_Definition
1596 or else NT (N).Nkind = N_Single_Protected_Declaration
1597 or else NT (N).Nkind = N_Single_Task_Declaration
1598 or else NT (N).Nkind = N_Task_Type_Declaration);
1602 function Interface_Present
1603 (N : Node_Id) return Boolean is
1605 pragma Assert (False
1606 or else NT (N).Nkind = N_Derived_Type_Definition
1607 or else NT (N).Nkind = N_Record_Definition);
1609 end Interface_Present;
1611 function Import_Interface_Present
1612 (N : Node_Id) return Boolean is
1614 pragma Assert (False
1615 or else NT (N).Nkind = N_Pragma);
1617 end Import_Interface_Present;
1620 (N : Node_Id) return Boolean is
1622 pragma Assert (False
1623 or else NT (N).Nkind = N_Formal_Object_Declaration
1624 or else NT (N).Nkind = N_Parameter_Specification);
1628 function Includes_Infinities
1629 (N : Node_Id) return Boolean is
1631 pragma Assert (False
1632 or else NT (N).Nkind = N_Range);
1634 end Includes_Infinities;
1636 function Inherited_Discriminant
1637 (N : Node_Id) return Boolean is
1639 pragma Assert (False
1640 or else NT (N).Nkind = N_Component_Association);
1642 end Inherited_Discriminant;
1644 function Instance_Spec
1645 (N : Node_Id) return Node_Id is
1647 pragma Assert (False
1648 or else NT (N).Nkind = N_Formal_Package_Declaration
1649 or else NT (N).Nkind = N_Function_Instantiation
1650 or else NT (N).Nkind = N_Package_Instantiation
1651 or else NT (N).Nkind = N_Procedure_Instantiation);
1656 (N : Node_Id) return Uint is
1658 pragma Assert (False
1659 or else NT (N).Nkind = N_Integer_Literal);
1663 function Is_Accessibility_Actual
1664 (N : Node_Id) return Boolean is
1666 pragma Assert (False
1667 or else NT (N).Nkind = N_Parameter_Association);
1669 end Is_Accessibility_Actual;
1671 function Is_Asynchronous_Call_Block
1672 (N : Node_Id) return Boolean is
1674 pragma Assert (False
1675 or else NT (N).Nkind = N_Block_Statement);
1677 end Is_Asynchronous_Call_Block;
1679 function Is_Component_Left_Opnd
1680 (N : Node_Id) return Boolean is
1682 pragma Assert (False
1683 or else NT (N).Nkind = N_Op_Concat);
1685 end Is_Component_Left_Opnd;
1687 function Is_Component_Right_Opnd
1688 (N : Node_Id) return Boolean is
1690 pragma Assert (False
1691 or else NT (N).Nkind = N_Op_Concat);
1693 end Is_Component_Right_Opnd;
1695 function Is_Controlling_Actual
1696 (N : Node_Id) return Boolean is
1698 pragma Assert (False
1699 or else NT (N).Nkind in N_Subexpr);
1701 end Is_Controlling_Actual;
1703 function Is_Delayed_Aspect
1704 (N : Node_Id) return Boolean is
1706 pragma Assert (False
1707 or else NT (N).Nkind = N_Attribute_Definition_Clause
1708 or else NT (N).Nkind = N_Pragma);
1710 end Is_Delayed_Aspect;
1712 function Is_Dynamic_Coextension
1713 (N : Node_Id) return Boolean is
1715 pragma Assert (False
1716 or else NT (N).Nkind = N_Allocator);
1718 end Is_Dynamic_Coextension;
1721 (N : Node_Id) return Boolean is
1723 pragma Assert (False
1724 or else NT (N).Nkind = N_Conditional_Expression);
1728 function Is_Entry_Barrier_Function
1729 (N : Node_Id) return Boolean is
1731 pragma Assert (False
1732 or else NT (N).Nkind = N_Subprogram_Body);
1734 end Is_Entry_Barrier_Function;
1736 function Is_Expanded_Build_In_Place_Call
1737 (N : Node_Id) return Boolean is
1739 pragma Assert (False
1740 or else NT (N).Nkind = N_Function_Call);
1742 end Is_Expanded_Build_In_Place_Call;
1744 function Is_Folded_In_Parser
1745 (N : Node_Id) return Boolean is
1747 pragma Assert (False
1748 or else NT (N).Nkind = N_String_Literal);
1750 end Is_Folded_In_Parser;
1752 function Is_In_Discriminant_Check
1753 (N : Node_Id) return Boolean is
1755 pragma Assert (False
1756 or else NT (N).Nkind = N_Selected_Component);
1758 end Is_In_Discriminant_Check;
1760 function Is_Machine_Number
1761 (N : Node_Id) return Boolean is
1763 pragma Assert (False
1764 or else NT (N).Nkind = N_Real_Literal);
1766 end Is_Machine_Number;
1768 function Is_Null_Loop
1769 (N : Node_Id) return Boolean is
1771 pragma Assert (False
1772 or else NT (N).Nkind = N_Loop_Statement);
1776 function Is_Overloaded
1777 (N : Node_Id) return Boolean is
1779 pragma Assert (False
1780 or else NT (N).Nkind in N_Subexpr);
1784 function Is_Power_Of_2_For_Shift
1785 (N : Node_Id) return Boolean is
1787 pragma Assert (False
1788 or else NT (N).Nkind = N_Op_Expon);
1790 end Is_Power_Of_2_For_Shift;
1792 function Is_Protected_Subprogram_Body
1793 (N : Node_Id) return Boolean is
1795 pragma Assert (False
1796 or else NT (N).Nkind = N_Subprogram_Body);
1798 end Is_Protected_Subprogram_Body;
1800 function Is_Static_Coextension
1801 (N : Node_Id) return Boolean is
1803 pragma Assert (False
1804 or else NT (N).Nkind = N_Allocator);
1806 end Is_Static_Coextension;
1808 function Is_Static_Expression
1809 (N : Node_Id) return Boolean is
1811 pragma Assert (False
1812 or else NT (N).Nkind in N_Subexpr);
1814 end Is_Static_Expression;
1816 function Is_Subprogram_Descriptor
1817 (N : Node_Id) return Boolean is
1819 pragma Assert (False
1820 or else NT (N).Nkind = N_Object_Declaration);
1822 end Is_Subprogram_Descriptor;
1824 function Is_Task_Allocation_Block
1825 (N : Node_Id) return Boolean is
1827 pragma Assert (False
1828 or else NT (N).Nkind = N_Block_Statement);
1830 end Is_Task_Allocation_Block;
1832 function Is_Task_Master
1833 (N : Node_Id) return Boolean is
1835 pragma Assert (False
1836 or else NT (N).Nkind = N_Block_Statement
1837 or else NT (N).Nkind = N_Subprogram_Body
1838 or else NT (N).Nkind = N_Task_Body);
1842 function Iteration_Scheme
1843 (N : Node_Id) return Node_Id is
1845 pragma Assert (False
1846 or else NT (N).Nkind = N_Loop_Statement);
1848 end Iteration_Scheme;
1851 (N : Node_Id) return Node_Id is
1853 pragma Assert (False
1854 or else NT (N).Nkind = N_Itype_Reference);
1858 function Kill_Range_Check
1859 (N : Node_Id) return Boolean is
1861 pragma Assert (False
1862 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1864 end Kill_Range_Check;
1866 function Label_Construct
1867 (N : Node_Id) return Node_Id is
1869 pragma Assert (False
1870 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1872 end Label_Construct;
1875 (N : Node_Id) return Node_Id is
1877 pragma Assert (False
1878 or else NT (N).Nkind = N_Component_Clause);
1883 (N : Node_Id) return Boolean is
1885 pragma Assert (False
1886 or else NT (N).Nkind = N_With_Clause);
1891 (N : Node_Id) return Node_Id is
1893 pragma Assert (False
1894 or else NT (N).Nkind = N_And_Then
1895 or else NT (N).Nkind = N_In
1896 or else NT (N).Nkind = N_Not_In
1897 or else NT (N).Nkind = N_Or_Else
1898 or else NT (N).Nkind in N_Binary_Op);
1902 function Library_Unit
1903 (N : Node_Id) return Node_Id is
1905 pragma Assert (False
1906 or else NT (N).Nkind = N_Compilation_Unit
1907 or else NT (N).Nkind = N_Package_Body_Stub
1908 or else NT (N).Nkind = N_Protected_Body_Stub
1909 or else NT (N).Nkind = N_Subprogram_Body_Stub
1910 or else NT (N).Nkind = N_Task_Body_Stub
1911 or else NT (N).Nkind = N_With_Clause);
1915 function Limited_View_Installed
1916 (N : Node_Id) return Boolean is
1918 pragma Assert (False
1919 or else NT (N).Nkind = N_Package_Specification
1920 or else NT (N).Nkind = N_With_Clause);
1922 end Limited_View_Installed;
1924 function Limited_Present
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Derived_Type_Definition
1929 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1930 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1931 or else NT (N).Nkind = N_Private_Extension_Declaration
1932 or else NT (N).Nkind = N_Private_Type_Declaration
1933 or else NT (N).Nkind = N_Record_Definition
1934 or else NT (N).Nkind = N_With_Clause);
1936 end Limited_Present;
1939 (N : Node_Id) return List_Id is
1941 pragma Assert (False
1942 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1946 function Local_Raise_Not_OK
1947 (N : Node_Id) return Boolean is
1949 pragma Assert (False
1950 or else NT (N).Nkind = N_Exception_Handler);
1952 end Local_Raise_Not_OK;
1954 function Local_Raise_Statements
1955 (N : Node_Id) return Elist_Id is
1957 pragma Assert (False
1958 or else NT (N).Nkind = N_Exception_Handler);
1960 end Local_Raise_Statements;
1962 function Loop_Actions
1963 (N : Node_Id) return List_Id is
1965 pragma Assert (False
1966 or else NT (N).Nkind = N_Component_Association);
1970 function Loop_Parameter_Specification
1971 (N : Node_Id) return Node_Id is
1973 pragma Assert (False
1974 or else NT (N).Nkind = N_Iteration_Scheme);
1976 end Loop_Parameter_Specification;
1979 (N : Node_Id) return Node_Id is
1981 pragma Assert (False
1982 or else NT (N).Nkind = N_Range
1983 or else NT (N).Nkind = N_Real_Range_Specification
1984 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1989 (N : Node_Id) return Node_Id is
1991 pragma Assert (False
1992 or else NT (N).Nkind = N_Record_Representation_Clause);
1997 (N : Node_Id) return Boolean is
1999 pragma Assert (False
2000 or else NT (N).Nkind = N_Component_Declaration
2001 or else NT (N).Nkind = N_Discriminant_Specification
2002 or else NT (N).Nkind = N_Exception_Declaration
2003 or else NT (N).Nkind = N_Formal_Object_Declaration
2004 or else NT (N).Nkind = N_Number_Declaration
2005 or else NT (N).Nkind = N_Object_Declaration
2006 or else NT (N).Nkind = N_Parameter_Specification);
2010 function Must_Be_Byte_Aligned
2011 (N : Node_Id) return Boolean is
2013 pragma Assert (False
2014 or else NT (N).Nkind = N_Attribute_Reference);
2016 end Must_Be_Byte_Aligned;
2018 function Must_Not_Freeze
2019 (N : Node_Id) return Boolean is
2021 pragma Assert (False
2022 or else NT (N).Nkind = N_Subtype_Indication
2023 or else NT (N).Nkind in N_Subexpr);
2025 end Must_Not_Freeze;
2027 function Must_Not_Override
2028 (N : Node_Id) return Boolean is
2030 pragma Assert (False
2031 or else NT (N).Nkind = N_Entry_Declaration
2032 or else NT (N).Nkind = N_Function_Instantiation
2033 or else NT (N).Nkind = N_Function_Specification
2034 or else NT (N).Nkind = N_Procedure_Instantiation
2035 or else NT (N).Nkind = N_Procedure_Specification);
2037 end Must_Not_Override;
2039 function Must_Override
2040 (N : Node_Id) return Boolean is
2042 pragma Assert (False
2043 or else NT (N).Nkind = N_Entry_Declaration
2044 or else NT (N).Nkind = N_Function_Instantiation
2045 or else NT (N).Nkind = N_Function_Specification
2046 or else NT (N).Nkind = N_Procedure_Instantiation
2047 or else NT (N).Nkind = N_Procedure_Specification);
2052 (N : Node_Id) return Node_Id is
2054 pragma Assert (False
2055 or else NT (N).Nkind = N_Assignment_Statement
2056 or else NT (N).Nkind = N_Attribute_Definition_Clause
2057 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2058 or else NT (N).Nkind = N_Designator
2059 or else NT (N).Nkind = N_Entry_Call_Statement
2060 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2061 or else NT (N).Nkind = N_Exit_Statement
2062 or else NT (N).Nkind = N_Formal_Package_Declaration
2063 or else NT (N).Nkind = N_Function_Call
2064 or else NT (N).Nkind = N_Function_Instantiation
2065 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2066 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2067 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2068 or else NT (N).Nkind = N_Goto_Statement
2069 or else NT (N).Nkind = N_Object_Renaming_Declaration
2070 or else NT (N).Nkind = N_Package_Instantiation
2071 or else NT (N).Nkind = N_Package_Renaming_Declaration
2072 or else NT (N).Nkind = N_Procedure_Call_Statement
2073 or else NT (N).Nkind = N_Procedure_Instantiation
2074 or else NT (N).Nkind = N_Raise_Statement
2075 or else NT (N).Nkind = N_Requeue_Statement
2076 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2077 or else NT (N).Nkind = N_Subunit
2078 or else NT (N).Nkind = N_Variant_Part
2079 or else NT (N).Nkind = N_With_Clause);
2084 (N : Node_Id) return List_Id is
2086 pragma Assert (False
2087 or else NT (N).Nkind = N_Abort_Statement
2088 or else NT (N).Nkind = N_Use_Package_Clause);
2092 function Next_Entity
2093 (N : Node_Id) return Node_Id is
2095 pragma Assert (False
2096 or else NT (N).Nkind = N_Defining_Character_Literal
2097 or else NT (N).Nkind = N_Defining_Identifier
2098 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2102 function Next_Exit_Statement
2103 (N : Node_Id) return Node_Id is
2105 pragma Assert (False
2106 or else NT (N).Nkind = N_Exit_Statement);
2108 end Next_Exit_Statement;
2110 function Next_Implicit_With
2111 (N : Node_Id) return Node_Id is
2113 pragma Assert (False
2114 or else NT (N).Nkind = N_With_Clause);
2116 end Next_Implicit_With;
2118 function Next_Named_Actual
2119 (N : Node_Id) return Node_Id is
2121 pragma Assert (False
2122 or else NT (N).Nkind = N_Parameter_Association);
2124 end Next_Named_Actual;
2126 function Next_Pragma
2127 (N : Node_Id) return Node_Id is
2129 pragma Assert (False
2130 or else NT (N).Nkind = N_Pragma);
2134 function Next_Rep_Item
2135 (N : Node_Id) return Node_Id is
2137 pragma Assert (False
2138 or else NT (N).Nkind = N_Aspect_Specification
2139 or else NT (N).Nkind = N_Attribute_Definition_Clause
2140 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2141 or else NT (N).Nkind = N_Pragma
2142 or else NT (N).Nkind = N_Record_Representation_Clause);
2146 function Next_Use_Clause
2147 (N : Node_Id) return Node_Id is
2149 pragma Assert (False
2150 or else NT (N).Nkind = N_Use_Package_Clause
2151 or else NT (N).Nkind = N_Use_Type_Clause);
2153 end Next_Use_Clause;
2155 function No_Ctrl_Actions
2156 (N : Node_Id) return Boolean is
2158 pragma Assert (False
2159 or else NT (N).Nkind = N_Assignment_Statement);
2161 end No_Ctrl_Actions;
2163 function No_Elaboration_Check
2164 (N : Node_Id) return Boolean is
2166 pragma Assert (False
2167 or else NT (N).Nkind = N_Function_Call
2168 or else NT (N).Nkind = N_Procedure_Call_Statement);
2170 end No_Elaboration_Check;
2172 function No_Entities_Ref_In_Spec
2173 (N : Node_Id) return Boolean is
2175 pragma Assert (False
2176 or else NT (N).Nkind = N_With_Clause);
2178 end No_Entities_Ref_In_Spec;
2180 function No_Initialization
2181 (N : Node_Id) return Boolean is
2183 pragma Assert (False
2184 or else NT (N).Nkind = N_Allocator
2185 or else NT (N).Nkind = N_Object_Declaration);
2187 end No_Initialization;
2189 function No_Truncation
2190 (N : Node_Id) return Boolean is
2192 pragma Assert (False
2193 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2197 function Null_Present
2198 (N : Node_Id) return Boolean is
2200 pragma Assert (False
2201 or else NT (N).Nkind = N_Component_List
2202 or else NT (N).Nkind = N_Procedure_Specification
2203 or else NT (N).Nkind = N_Record_Definition);
2207 function Null_Exclusion_Present
2208 (N : Node_Id) return Boolean is
2210 pragma Assert (False
2211 or else NT (N).Nkind = N_Access_Definition
2212 or else NT (N).Nkind = N_Access_Function_Definition
2213 or else NT (N).Nkind = N_Access_Procedure_Definition
2214 or else NT (N).Nkind = N_Access_To_Object_Definition
2215 or else NT (N).Nkind = N_Allocator
2216 or else NT (N).Nkind = N_Component_Definition
2217 or else NT (N).Nkind = N_Derived_Type_Definition
2218 or else NT (N).Nkind = N_Discriminant_Specification
2219 or else NT (N).Nkind = N_Formal_Object_Declaration
2220 or else NT (N).Nkind = N_Function_Specification
2221 or else NT (N).Nkind = N_Object_Declaration
2222 or else NT (N).Nkind = N_Object_Renaming_Declaration
2223 or else NT (N).Nkind = N_Parameter_Specification
2224 or else NT (N).Nkind = N_Subtype_Declaration);
2226 end Null_Exclusion_Present;
2228 function Null_Exclusion_In_Return_Present
2229 (N : Node_Id) return Boolean is
2231 pragma Assert (False
2232 or else NT (N).Nkind = N_Access_Function_Definition);
2234 end Null_Exclusion_In_Return_Present;
2236 function Null_Record_Present
2237 (N : Node_Id) return Boolean is
2239 pragma Assert (False
2240 or else NT (N).Nkind = N_Aggregate
2241 or else NT (N).Nkind = N_Extension_Aggregate);
2243 end Null_Record_Present;
2245 function Object_Definition
2246 (N : Node_Id) return Node_Id is
2248 pragma Assert (False
2249 or else NT (N).Nkind = N_Object_Declaration);
2251 end Object_Definition;
2253 function Original_Discriminant
2254 (N : Node_Id) return Node_Id is
2256 pragma Assert (False
2257 or else NT (N).Nkind = N_Identifier);
2259 end Original_Discriminant;
2261 function Original_Entity
2262 (N : Node_Id) return Entity_Id is
2264 pragma Assert (False
2265 or else NT (N).Nkind = N_Integer_Literal
2266 or else NT (N).Nkind = N_Real_Literal);
2268 end Original_Entity;
2270 function Others_Discrete_Choices
2271 (N : Node_Id) return List_Id is
2273 pragma Assert (False
2274 or else NT (N).Nkind = N_Others_Choice);
2276 end Others_Discrete_Choices;
2278 function Out_Present
2279 (N : Node_Id) return Boolean is
2281 pragma Assert (False
2282 or else NT (N).Nkind = N_Formal_Object_Declaration
2283 or else NT (N).Nkind = N_Parameter_Specification);
2287 function Parameter_Associations
2288 (N : Node_Id) return List_Id is
2290 pragma Assert (False
2291 or else NT (N).Nkind = N_Entry_Call_Statement
2292 or else NT (N).Nkind = N_Function_Call
2293 or else NT (N).Nkind = N_Procedure_Call_Statement);
2295 end Parameter_Associations;
2297 function Parameter_List_Truncated
2298 (N : Node_Id) return Boolean is
2300 pragma Assert (False
2301 or else NT (N).Nkind = N_Function_Call
2302 or else NT (N).Nkind = N_Procedure_Call_Statement);
2304 end Parameter_List_Truncated;
2306 function Parameter_Specifications
2307 (N : Node_Id) return List_Id is
2309 pragma Assert (False
2310 or else NT (N).Nkind = N_Accept_Statement
2311 or else NT (N).Nkind = N_Access_Function_Definition
2312 or else NT (N).Nkind = N_Access_Procedure_Definition
2313 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2314 or else NT (N).Nkind = N_Entry_Declaration
2315 or else NT (N).Nkind = N_Function_Specification
2316 or else NT (N).Nkind = N_Procedure_Specification);
2318 end Parameter_Specifications;
2320 function Parameter_Type
2321 (N : Node_Id) return Node_Id is
2323 pragma Assert (False
2324 or else NT (N).Nkind = N_Parameter_Specification);
2328 function Parent_Spec
2329 (N : Node_Id) return Node_Id is
2331 pragma Assert (False
2332 or else NT (N).Nkind = N_Function_Instantiation
2333 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2334 or else NT (N).Nkind = N_Generic_Package_Declaration
2335 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2336 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2337 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2338 or else NT (N).Nkind = N_Package_Declaration
2339 or else NT (N).Nkind = N_Package_Instantiation
2340 or else NT (N).Nkind = N_Package_Renaming_Declaration
2341 or else NT (N).Nkind = N_Procedure_Instantiation
2342 or else NT (N).Nkind = N_Subprogram_Declaration
2343 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2348 (N : Node_Id) return Node_Id is
2350 pragma Assert (False
2351 or else NT (N).Nkind = N_Component_Clause);
2355 function Pragma_Argument_Associations
2356 (N : Node_Id) return List_Id is
2358 pragma Assert (False
2359 or else NT (N).Nkind = N_Pragma);
2361 end Pragma_Argument_Associations;
2363 function Pragma_Enabled
2364 (N : Node_Id) return Boolean is
2366 pragma Assert (False
2367 or else NT (N).Nkind = N_Pragma);
2371 function Pragma_Identifier
2372 (N : Node_Id) return Node_Id is
2374 pragma Assert (False
2375 or else NT (N).Nkind = N_Pragma);
2377 end Pragma_Identifier;
2379 function Pragmas_After
2380 (N : Node_Id) return List_Id is
2382 pragma Assert (False
2383 or else NT (N).Nkind = N_Compilation_Unit_Aux
2384 or else NT (N).Nkind = N_Terminate_Alternative);
2388 function Pragmas_Before
2389 (N : Node_Id) return List_Id is
2391 pragma Assert (False
2392 or else NT (N).Nkind = N_Accept_Alternative
2393 or else NT (N).Nkind = N_Delay_Alternative
2394 or else NT (N).Nkind = N_Entry_Call_Alternative
2395 or else NT (N).Nkind = N_Mod_Clause
2396 or else NT (N).Nkind = N_Terminate_Alternative
2397 or else NT (N).Nkind = N_Triggering_Alternative);
2402 (N : Node_Id) return Node_Id is
2404 pragma Assert (False
2405 or else NT (N).Nkind = N_Attribute_Reference
2406 or else NT (N).Nkind = N_Expanded_Name
2407 or else NT (N).Nkind = N_Explicit_Dereference
2408 or else NT (N).Nkind = N_Indexed_Component
2409 or else NT (N).Nkind = N_Reference
2410 or else NT (N).Nkind = N_Selected_Component
2411 or else NT (N).Nkind = N_Slice);
2415 function Present_Expr
2416 (N : Node_Id) return Uint is
2418 pragma Assert (False
2419 or else NT (N).Nkind = N_Variant);
2424 (N : Node_Id) return Boolean is
2426 pragma Assert (False
2427 or else NT (N).Nkind = N_Component_Declaration
2428 or else NT (N).Nkind = N_Discriminant_Specification
2429 or else NT (N).Nkind = N_Exception_Declaration
2430 or else NT (N).Nkind = N_Formal_Object_Declaration
2431 or else NT (N).Nkind = N_Number_Declaration
2432 or else NT (N).Nkind = N_Object_Declaration
2433 or else NT (N).Nkind = N_Parameter_Specification);
2437 function Print_In_Hex
2438 (N : Node_Id) return Boolean is
2440 pragma Assert (False
2441 or else NT (N).Nkind = N_Integer_Literal);
2445 function Private_Declarations
2446 (N : Node_Id) return List_Id is
2448 pragma Assert (False
2449 or else NT (N).Nkind = N_Package_Specification
2450 or else NT (N).Nkind = N_Protected_Definition
2451 or else NT (N).Nkind = N_Task_Definition);
2453 end Private_Declarations;
2455 function Private_Present
2456 (N : Node_Id) return Boolean is
2458 pragma Assert (False
2459 or else NT (N).Nkind = N_Compilation_Unit
2460 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2461 or else NT (N).Nkind = N_With_Clause);
2463 end Private_Present;
2465 function Procedure_To_Call
2466 (N : Node_Id) return Node_Id is
2468 pragma Assert (False
2469 or else NT (N).Nkind = N_Allocator
2470 or else NT (N).Nkind = N_Extended_Return_Statement
2471 or else NT (N).Nkind = N_Free_Statement
2472 or else NT (N).Nkind = N_Return_Statement);
2474 end Procedure_To_Call;
2476 function Proper_Body
2477 (N : Node_Id) return Node_Id is
2479 pragma Assert (False
2480 or else NT (N).Nkind = N_Subunit);
2484 function Protected_Definition
2485 (N : Node_Id) return Node_Id is
2487 pragma Assert (False
2488 or else NT (N).Nkind = N_Protected_Type_Declaration
2489 or else NT (N).Nkind = N_Single_Protected_Declaration);
2491 end Protected_Definition;
2493 function Protected_Present
2494 (N : Node_Id) return Boolean is
2496 pragma Assert (False
2497 or else NT (N).Nkind = N_Access_Function_Definition
2498 or else NT (N).Nkind = N_Access_Procedure_Definition
2499 or else NT (N).Nkind = N_Derived_Type_Definition
2500 or else NT (N).Nkind = N_Record_Definition);
2502 end Protected_Present;
2504 function Raises_Constraint_Error
2505 (N : Node_Id) return Boolean is
2507 pragma Assert (False
2508 or else NT (N).Nkind in N_Subexpr);
2510 end Raises_Constraint_Error;
2512 function Range_Constraint
2513 (N : Node_Id) return Node_Id is
2515 pragma Assert (False
2516 or else NT (N).Nkind = N_Delta_Constraint
2517 or else NT (N).Nkind = N_Digits_Constraint);
2519 end Range_Constraint;
2521 function Range_Expression
2522 (N : Node_Id) return Node_Id is
2524 pragma Assert (False
2525 or else NT (N).Nkind = N_Range_Constraint);
2527 end Range_Expression;
2529 function Real_Range_Specification
2530 (N : Node_Id) return Node_Id is
2532 pragma Assert (False
2533 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2534 or else NT (N).Nkind = N_Floating_Point_Definition
2535 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2537 end Real_Range_Specification;
2540 (N : Node_Id) return Ureal is
2542 pragma Assert (False
2543 or else NT (N).Nkind = N_Real_Literal);
2548 (N : Node_Id) return Uint is
2550 pragma Assert (False
2551 or else NT (N).Nkind = N_Raise_Constraint_Error
2552 or else NT (N).Nkind = N_Raise_Program_Error
2553 or else NT (N).Nkind = N_Raise_Storage_Error);
2557 function Record_Extension_Part
2558 (N : Node_Id) return Node_Id is
2560 pragma Assert (False
2561 or else NT (N).Nkind = N_Derived_Type_Definition);
2563 end Record_Extension_Part;
2565 function Redundant_Use
2566 (N : Node_Id) return Boolean is
2568 pragma Assert (False
2569 or else NT (N).Nkind = N_Attribute_Reference
2570 or else NT (N).Nkind = N_Expanded_Name
2571 or else NT (N).Nkind = N_Identifier);
2575 function Renaming_Exception
2576 (N : Node_Id) return Node_Id is
2578 pragma Assert (False
2579 or else NT (N).Nkind = N_Exception_Declaration);
2581 end Renaming_Exception;
2583 function Result_Definition
2584 (N : Node_Id) return Node_Id is
2586 pragma Assert (False
2587 or else NT (N).Nkind = N_Access_Function_Definition
2588 or else NT (N).Nkind = N_Function_Specification);
2590 end Result_Definition;
2592 function Return_Object_Declarations
2593 (N : Node_Id) return List_Id is
2595 pragma Assert (False
2596 or else NT (N).Nkind = N_Extended_Return_Statement);
2598 end Return_Object_Declarations;
2600 function Return_Statement_Entity
2601 (N : Node_Id) return Node_Id is
2603 pragma Assert (False
2604 or else NT (N).Nkind = N_Extended_Return_Statement
2605 or else NT (N).Nkind = N_Return_Statement);
2607 end Return_Statement_Entity;
2609 function Reverse_Present
2610 (N : Node_Id) return Boolean is
2612 pragma Assert (False
2613 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2615 end Reverse_Present;
2618 (N : Node_Id) return Node_Id is
2620 pragma Assert (False
2621 or else NT (N).Nkind in N_Op
2622 or else NT (N).Nkind = N_And_Then
2623 or else NT (N).Nkind = N_In
2624 or else NT (N).Nkind = N_Not_In
2625 or else NT (N).Nkind = N_Or_Else);
2629 function Rounded_Result
2630 (N : Node_Id) return Boolean is
2632 pragma Assert (False
2633 or else NT (N).Nkind = N_Op_Divide
2634 or else NT (N).Nkind = N_Op_Multiply
2635 or else NT (N).Nkind = N_Type_Conversion);
2639 function SCIL_Controlling_Tag
2640 (N : Node_Id) return Node_Id is
2642 pragma Assert (False
2643 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2645 end SCIL_Controlling_Tag;
2647 function SCIL_Entity
2648 (N : Node_Id) return Node_Id is
2650 pragma Assert (False
2651 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2652 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2653 or else NT (N).Nkind = N_SCIL_Membership_Test);
2657 function SCIL_Tag_Value
2658 (N : Node_Id) return Node_Id is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_SCIL_Membership_Test);
2665 function SCIL_Target_Prim
2666 (N : Node_Id) return Node_Id is
2668 pragma Assert (False
2669 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2671 end SCIL_Target_Prim;
2674 (N : Node_Id) return Node_Id is
2676 pragma Assert (False
2677 or else NT (N).Nkind = N_Defining_Character_Literal
2678 or else NT (N).Nkind = N_Defining_Identifier
2679 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2683 function Select_Alternatives
2684 (N : Node_Id) return List_Id is
2686 pragma Assert (False
2687 or else NT (N).Nkind = N_Selective_Accept);
2689 end Select_Alternatives;
2691 function Selector_Name
2692 (N : Node_Id) return Node_Id is
2694 pragma Assert (False
2695 or else NT (N).Nkind = N_Expanded_Name
2696 or else NT (N).Nkind = N_Generic_Association
2697 or else NT (N).Nkind = N_Parameter_Association
2698 or else NT (N).Nkind = N_Selected_Component);
2702 function Selector_Names
2703 (N : Node_Id) return List_Id is
2705 pragma Assert (False
2706 or else NT (N).Nkind = N_Discriminant_Association);
2710 function Shift_Count_OK
2711 (N : Node_Id) return Boolean is
2713 pragma Assert (False
2714 or else NT (N).Nkind = N_Op_Rotate_Left
2715 or else NT (N).Nkind = N_Op_Rotate_Right
2716 or else NT (N).Nkind = N_Op_Shift_Left
2717 or else NT (N).Nkind = N_Op_Shift_Right
2718 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2722 function Source_Type
2723 (N : Node_Id) return Entity_Id is
2725 pragma Assert (False
2726 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2730 function Specification
2731 (N : Node_Id) return Node_Id is
2733 pragma Assert (False
2734 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2735 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2736 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2737 or else NT (N).Nkind = N_Generic_Package_Declaration
2738 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2739 or else NT (N).Nkind = N_Package_Declaration
2740 or else NT (N).Nkind = N_Parameterized_Expression
2741 or else NT (N).Nkind = N_Subprogram_Body
2742 or else NT (N).Nkind = N_Subprogram_Body_Stub
2743 or else NT (N).Nkind = N_Subprogram_Declaration
2744 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2749 (N : Node_Id) return Boolean is
2751 pragma Assert (False
2752 or else NT (N).Nkind = N_Aspect_Specification
2753 or else NT (N).Nkind = N_Pragma);
2758 (N : Node_Id) return List_Id is
2760 pragma Assert (False
2761 or else NT (N).Nkind = N_Abortable_Part
2762 or else NT (N).Nkind = N_Accept_Alternative
2763 or else NT (N).Nkind = N_Case_Statement_Alternative
2764 or else NT (N).Nkind = N_Delay_Alternative
2765 or else NT (N).Nkind = N_Entry_Call_Alternative
2766 or else NT (N).Nkind = N_Exception_Handler
2767 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2768 or else NT (N).Nkind = N_Loop_Statement
2769 or else NT (N).Nkind = N_Triggering_Alternative);
2773 function Static_Processing_OK
2774 (N : Node_Id) return Boolean is
2776 pragma Assert (False
2777 or else NT (N).Nkind = N_Aggregate);
2779 end Static_Processing_OK;
2781 function Storage_Pool
2782 (N : Node_Id) return Node_Id is
2784 pragma Assert (False
2785 or else NT (N).Nkind = N_Allocator
2786 or else NT (N).Nkind = N_Extended_Return_Statement
2787 or else NT (N).Nkind = N_Free_Statement
2788 or else NT (N).Nkind = N_Return_Statement);
2793 (N : Node_Id) return String_Id is
2795 pragma Assert (False
2796 or else NT (N).Nkind = N_Operator_Symbol
2797 or else NT (N).Nkind = N_String_Literal);
2801 function Subtype_Indication
2802 (N : Node_Id) return Node_Id is
2804 pragma Assert (False
2805 or else NT (N).Nkind = N_Access_To_Object_Definition
2806 or else NT (N).Nkind = N_Component_Definition
2807 or else NT (N).Nkind = N_Derived_Type_Definition
2808 or else NT (N).Nkind = N_Private_Extension_Declaration
2809 or else NT (N).Nkind = N_Subtype_Declaration);
2811 end Subtype_Indication;
2813 function Suppress_Loop_Warnings
2814 (N : Node_Id) return Boolean is
2816 pragma Assert (False
2817 or else NT (N).Nkind = N_Loop_Statement);
2819 end Suppress_Loop_Warnings;
2821 function Subtype_Mark
2822 (N : Node_Id) return Node_Id is
2824 pragma Assert (False
2825 or else NT (N).Nkind = N_Access_Definition
2826 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2827 or else NT (N).Nkind = N_Formal_Object_Declaration
2828 or else NT (N).Nkind = N_Object_Renaming_Declaration
2829 or else NT (N).Nkind = N_Qualified_Expression
2830 or else NT (N).Nkind = N_Subtype_Indication
2831 or else NT (N).Nkind = N_Type_Conversion
2832 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2836 function Subtype_Marks
2837 (N : Node_Id) return List_Id is
2839 pragma Assert (False
2840 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2841 or else NT (N).Nkind = N_Use_Type_Clause);
2845 function Synchronized_Present
2846 (N : Node_Id) return Boolean is
2848 pragma Assert (False
2849 or else NT (N).Nkind = N_Derived_Type_Definition
2850 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2851 or else NT (N).Nkind = N_Private_Extension_Declaration
2852 or else NT (N).Nkind = N_Record_Definition);
2854 end Synchronized_Present;
2856 function Tagged_Present
2857 (N : Node_Id) return Boolean is
2859 pragma Assert (False
2860 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2861 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2862 or else NT (N).Nkind = N_Private_Type_Declaration
2863 or else NT (N).Nkind = N_Record_Definition);
2867 function Target_Type
2868 (N : Node_Id) return Entity_Id is
2870 pragma Assert (False
2871 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2875 function Task_Definition
2876 (N : Node_Id) return Node_Id is
2878 pragma Assert (False
2879 or else NT (N).Nkind = N_Single_Task_Declaration
2880 or else NT (N).Nkind = N_Task_Type_Declaration);
2882 end Task_Definition;
2884 function Task_Present
2885 (N : Node_Id) return Boolean is
2887 pragma Assert (False
2888 or else NT (N).Nkind = N_Derived_Type_Definition
2889 or else NT (N).Nkind = N_Record_Definition);
2893 function Then_Actions
2894 (N : Node_Id) return List_Id is
2896 pragma Assert (False
2897 or else NT (N).Nkind = N_Conditional_Expression);
2901 function Then_Statements
2902 (N : Node_Id) return List_Id is
2904 pragma Assert (False
2905 or else NT (N).Nkind = N_Elsif_Part
2906 or else NT (N).Nkind = N_If_Statement);
2908 end Then_Statements;
2910 function Treat_Fixed_As_Integer
2911 (N : Node_Id) return Boolean is
2913 pragma Assert (False
2914 or else NT (N).Nkind = N_Op_Divide
2915 or else NT (N).Nkind = N_Op_Mod
2916 or else NT (N).Nkind = N_Op_Multiply
2917 or else NT (N).Nkind = N_Op_Rem);
2919 end Treat_Fixed_As_Integer;
2921 function Triggering_Alternative
2922 (N : Node_Id) return Node_Id is
2924 pragma Assert (False
2925 or else NT (N).Nkind = N_Asynchronous_Select);
2927 end Triggering_Alternative;
2929 function Triggering_Statement
2930 (N : Node_Id) return Node_Id is
2932 pragma Assert (False
2933 or else NT (N).Nkind = N_Triggering_Alternative);
2935 end Triggering_Statement;
2938 (N : Node_Id) return Elist_Id is
2940 pragma Assert (False
2941 or else NT (N).Nkind = N_Freeze_Entity);
2945 function Type_Definition
2946 (N : Node_Id) return Node_Id is
2948 pragma Assert (False
2949 or else NT (N).Nkind = N_Full_Type_Declaration);
2951 end Type_Definition;
2954 (N : Node_Id) return Node_Id is
2956 pragma Assert (False
2957 or else NT (N).Nkind = N_Compilation_Unit);
2961 function Unknown_Discriminants_Present
2962 (N : Node_Id) return Boolean is
2964 pragma Assert (False
2965 or else NT (N).Nkind = N_Formal_Type_Declaration
2966 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2967 or else NT (N).Nkind = N_Private_Extension_Declaration
2968 or else NT (N).Nkind = N_Private_Type_Declaration);
2970 end Unknown_Discriminants_Present;
2972 function Unreferenced_In_Spec
2973 (N : Node_Id) return Boolean is
2975 pragma Assert (False
2976 or else NT (N).Nkind = N_With_Clause);
2978 end Unreferenced_In_Spec;
2980 function Variant_Part
2981 (N : Node_Id) return Node_Id is
2983 pragma Assert (False
2984 or else NT (N).Nkind = N_Component_List);
2989 (N : Node_Id) return List_Id is
2991 pragma Assert (False
2992 or else NT (N).Nkind = N_Variant_Part);
2996 function Visible_Declarations
2997 (N : Node_Id) return List_Id is
2999 pragma Assert (False
3000 or else NT (N).Nkind = N_Package_Specification
3001 or else NT (N).Nkind = N_Protected_Definition
3002 or else NT (N).Nkind = N_Task_Definition);
3004 end Visible_Declarations;
3006 function Was_Originally_Stub
3007 (N : Node_Id) return Boolean is
3009 pragma Assert (False
3010 or else NT (N).Nkind = N_Package_Body
3011 or else NT (N).Nkind = N_Protected_Body
3012 or else NT (N).Nkind = N_Subprogram_Body
3013 or else NT (N).Nkind = N_Task_Body);
3015 end Was_Originally_Stub;
3017 function Withed_Body
3018 (N : Node_Id) return Node_Id is
3020 pragma Assert (False
3021 or else NT (N).Nkind = N_With_Clause);
3025 function Zero_Cost_Handling
3026 (N : Node_Id) return Boolean is
3028 pragma Assert (False
3029 or else NT (N).Nkind = N_Exception_Handler
3030 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3032 end Zero_Cost_Handling;
3034 --------------------------
3035 -- Field Set Procedures --
3036 --------------------------
3038 procedure Set_ABE_Is_Certain
3039 (N : Node_Id; Val : Boolean := True) is
3041 pragma Assert (False
3042 or else NT (N).Nkind = N_Formal_Package_Declaration
3043 or else NT (N).Nkind = N_Function_Call
3044 or else NT (N).Nkind = N_Function_Instantiation
3045 or else NT (N).Nkind = N_Package_Instantiation
3046 or else NT (N).Nkind = N_Procedure_Call_Statement
3047 or else NT (N).Nkind = N_Procedure_Instantiation);
3048 Set_Flag18 (N, Val);
3049 end Set_ABE_Is_Certain;
3051 procedure Set_Abort_Present
3052 (N : Node_Id; Val : Boolean := True) is
3054 pragma Assert (False
3055 or else NT (N).Nkind = N_Requeue_Statement);
3056 Set_Flag15 (N, Val);
3057 end Set_Abort_Present;
3059 procedure Set_Abortable_Part
3060 (N : Node_Id; Val : Node_Id) is
3062 pragma Assert (False
3063 or else NT (N).Nkind = N_Asynchronous_Select);
3064 Set_Node2_With_Parent (N, Val);
3065 end Set_Abortable_Part;
3067 procedure Set_Abstract_Present
3068 (N : Node_Id; Val : Boolean := True) is
3070 pragma Assert (False
3071 or else NT (N).Nkind = N_Derived_Type_Definition
3072 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3073 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3074 or else NT (N).Nkind = N_Private_Extension_Declaration
3075 or else NT (N).Nkind = N_Private_Type_Declaration
3076 or else NT (N).Nkind = N_Record_Definition);
3078 end Set_Abstract_Present;
3080 procedure Set_Accept_Handler_Records
3081 (N : Node_Id; Val : List_Id) is
3083 pragma Assert (False
3084 or else NT (N).Nkind = N_Accept_Alternative);
3085 Set_List5 (N, Val); -- semantic field, no parent set
3086 end Set_Accept_Handler_Records;
3088 procedure Set_Accept_Statement
3089 (N : Node_Id; Val : Node_Id) is
3091 pragma Assert (False
3092 or else NT (N).Nkind = N_Accept_Alternative);
3093 Set_Node2_With_Parent (N, Val);
3094 end Set_Accept_Statement;
3096 procedure Set_Access_Definition
3097 (N : Node_Id; Val : Node_Id) is
3099 pragma Assert (False
3100 or else NT (N).Nkind = N_Component_Definition
3101 or else NT (N).Nkind = N_Formal_Object_Declaration
3102 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3103 Set_Node3_With_Parent (N, Val);
3104 end Set_Access_Definition;
3106 procedure Set_Access_To_Subprogram_Definition
3107 (N : Node_Id; Val : Node_Id) is
3109 pragma Assert (False
3110 or else NT (N).Nkind = N_Access_Definition);
3111 Set_Node3_With_Parent (N, Val);
3112 end Set_Access_To_Subprogram_Definition;
3114 procedure Set_Access_Types_To_Process
3115 (N : Node_Id; Val : Elist_Id) is
3117 pragma Assert (False
3118 or else NT (N).Nkind = N_Freeze_Entity);
3119 Set_Elist2 (N, Val); -- semantic field, no parent set
3120 end Set_Access_Types_To_Process;
3122 procedure Set_Actions
3123 (N : Node_Id; Val : List_Id) is
3125 pragma Assert (False
3126 or else NT (N).Nkind = N_And_Then
3127 or else NT (N).Nkind = N_Case_Expression_Alternative
3128 or else NT (N).Nkind = N_Compilation_Unit_Aux
3129 or else NT (N).Nkind = N_Expression_With_Actions
3130 or else NT (N).Nkind = N_Freeze_Entity
3131 or else NT (N).Nkind = N_Or_Else);
3132 Set_List1_With_Parent (N, Val);
3135 procedure Set_Activation_Chain_Entity
3136 (N : Node_Id; Val : Node_Id) is
3138 pragma Assert (False
3139 or else NT (N).Nkind = N_Block_Statement
3140 or else NT (N).Nkind = N_Entry_Body
3141 or else NT (N).Nkind = N_Generic_Package_Declaration
3142 or else NT (N).Nkind = N_Package_Declaration
3143 or else NT (N).Nkind = N_Subprogram_Body
3144 or else NT (N).Nkind = N_Task_Body);
3145 Set_Node3 (N, Val); -- semantic field, no parent set
3146 end Set_Activation_Chain_Entity;
3148 procedure Set_Acts_As_Spec
3149 (N : Node_Id; Val : Boolean := True) is
3151 pragma Assert (False
3152 or else NT (N).Nkind = N_Compilation_Unit
3153 or else NT (N).Nkind = N_Subprogram_Body);
3155 end Set_Acts_As_Spec;
3157 procedure Set_Actual_Designated_Subtype
3158 (N : Node_Id; Val : Node_Id) is
3160 pragma Assert (False
3161 or else NT (N).Nkind = N_Explicit_Dereference
3162 or else NT (N).Nkind = N_Free_Statement);
3164 end Set_Actual_Designated_Subtype;
3166 procedure Set_Address_Warning_Posted
3167 (N : Node_Id; Val : Boolean := True) is
3169 pragma Assert (False
3170 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3171 Set_Flag18 (N, Val);
3172 end Set_Address_Warning_Posted;
3174 procedure Set_Aggregate_Bounds
3175 (N : Node_Id; Val : Node_Id) is
3177 pragma Assert (False
3178 or else NT (N).Nkind = N_Aggregate);
3179 Set_Node3 (N, Val); -- semantic field, no parent set
3180 end Set_Aggregate_Bounds;
3182 procedure Set_Aliased_Present
3183 (N : Node_Id; Val : Boolean := True) is
3185 pragma Assert (False
3186 or else NT (N).Nkind = N_Component_Definition
3187 or else NT (N).Nkind = N_Object_Declaration);
3189 end Set_Aliased_Present;
3191 procedure Set_All_Others
3192 (N : Node_Id; Val : Boolean := True) is
3194 pragma Assert (False
3195 or else NT (N).Nkind = N_Others_Choice);
3196 Set_Flag11 (N, Val);
3199 procedure Set_All_Present
3200 (N : Node_Id; Val : Boolean := True) is
3202 pragma Assert (False
3203 or else NT (N).Nkind = N_Access_Definition
3204 or else NT (N).Nkind = N_Access_To_Object_Definition
3205 or else NT (N).Nkind = N_Use_Type_Clause);
3206 Set_Flag15 (N, Val);
3207 end Set_All_Present;
3209 procedure Set_Alternatives
3210 (N : Node_Id; Val : List_Id) is
3212 pragma Assert (False
3213 or else NT (N).Nkind = N_Case_Expression
3214 or else NT (N).Nkind = N_Case_Statement
3215 or else NT (N).Nkind = N_In
3216 or else NT (N).Nkind = N_Not_In);
3217 Set_List4_With_Parent (N, Val);
3218 end Set_Alternatives;
3220 procedure Set_Ancestor_Part
3221 (N : Node_Id; Val : Node_Id) is
3223 pragma Assert (False
3224 or else NT (N).Nkind = N_Extension_Aggregate);
3225 Set_Node3_With_Parent (N, Val);
3226 end Set_Ancestor_Part;
3228 procedure Set_Array_Aggregate
3229 (N : Node_Id; Val : Node_Id) is
3231 pragma Assert (False
3232 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3233 Set_Node3_With_Parent (N, Val);
3234 end Set_Array_Aggregate;
3236 procedure Set_Aspect_Cancel
3237 (N : Node_Id; Val : Boolean := True) is
3239 pragma Assert (False
3240 or else NT (N).Nkind = N_Pragma);
3241 Set_Flag11 (N, Val);
3242 end Set_Aspect_Cancel;
3244 procedure Set_Aspect_Rep_Item
3245 (N : Node_Id; Val : Node_Id) is
3247 pragma Assert (False
3248 or else NT (N).Nkind = N_Aspect_Specification);
3250 end Set_Aspect_Rep_Item;
3252 procedure Set_Assignment_OK
3253 (N : Node_Id; Val : Boolean := True) is
3255 pragma Assert (False
3256 or else NT (N).Nkind = N_Object_Declaration
3257 or else NT (N).Nkind in N_Subexpr);
3258 Set_Flag15 (N, Val);
3259 end Set_Assignment_OK;
3261 procedure Set_Associated_Node
3262 (N : Node_Id; Val : Node_Id) is
3264 pragma Assert (False
3265 or else NT (N).Nkind in N_Has_Entity
3266 or else NT (N).Nkind = N_Aggregate
3267 or else NT (N).Nkind = N_Extension_Aggregate
3268 or else NT (N).Nkind = N_Selected_Component);
3269 Set_Node4 (N, Val); -- semantic field, no parent set
3270 end Set_Associated_Node;
3272 procedure Set_At_End_Proc
3273 (N : Node_Id; Val : Node_Id) is
3275 pragma Assert (False
3276 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3278 end Set_At_End_Proc;
3280 procedure Set_Attribute_Name
3281 (N : Node_Id; Val : Name_Id) is
3283 pragma Assert (False
3284 or else NT (N).Nkind = N_Attribute_Reference);
3286 end Set_Attribute_Name;
3288 procedure Set_Aux_Decls_Node
3289 (N : Node_Id; Val : Node_Id) is
3291 pragma Assert (False
3292 or else NT (N).Nkind = N_Compilation_Unit);
3293 Set_Node5_With_Parent (N, Val);
3294 end Set_Aux_Decls_Node;
3296 procedure Set_Backwards_OK
3297 (N : Node_Id; Val : Boolean := True) is
3299 pragma Assert (False
3300 or else NT (N).Nkind = N_Assignment_Statement);
3302 end Set_Backwards_OK;
3304 procedure Set_Bad_Is_Detected
3305 (N : Node_Id; Val : Boolean := True) is
3307 pragma Assert (False
3308 or else NT (N).Nkind = N_Subprogram_Body);
3309 Set_Flag15 (N, Val);
3310 end Set_Bad_Is_Detected;
3312 procedure Set_Body_Required
3313 (N : Node_Id; Val : Boolean := True) is
3315 pragma Assert (False
3316 or else NT (N).Nkind = N_Compilation_Unit);
3317 Set_Flag13 (N, Val);
3318 end Set_Body_Required;
3320 procedure Set_Body_To_Inline
3321 (N : Node_Id; Val : Node_Id) is
3323 pragma Assert (False
3324 or else NT (N).Nkind = N_Subprogram_Declaration);
3326 end Set_Body_To_Inline;
3328 procedure Set_Box_Present
3329 (N : Node_Id; Val : Boolean := True) is
3331 pragma Assert (False
3332 or else NT (N).Nkind = N_Component_Association
3333 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3334 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3335 or else NT (N).Nkind = N_Formal_Package_Declaration
3336 or else NT (N).Nkind = N_Generic_Association);
3337 Set_Flag15 (N, Val);
3338 end Set_Box_Present;
3340 procedure Set_By_Ref
3341 (N : Node_Id; Val : Boolean := True) is
3343 pragma Assert (False
3344 or else NT (N).Nkind = N_Extended_Return_Statement
3345 or else NT (N).Nkind = N_Return_Statement);
3349 procedure Set_Char_Literal_Value
3350 (N : Node_Id; Val : Uint) is
3352 pragma Assert (False
3353 or else NT (N).Nkind = N_Character_Literal);
3355 end Set_Char_Literal_Value;
3358 (N : Node_Id; Val : Name_Id) is
3360 pragma Assert (False
3361 or else NT (N).Nkind in N_Has_Chars);
3365 procedure Set_Check_Address_Alignment
3366 (N : Node_Id; Val : Boolean := True) is
3368 pragma Assert (False
3369 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3370 Set_Flag11 (N, Val);
3371 end Set_Check_Address_Alignment;
3373 procedure Set_Choice_Parameter
3374 (N : Node_Id; Val : Node_Id) is
3376 pragma Assert (False
3377 or else NT (N).Nkind = N_Exception_Handler);
3378 Set_Node2_With_Parent (N, Val);
3379 end Set_Choice_Parameter;
3381 procedure Set_Choices
3382 (N : Node_Id; Val : List_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Component_Association);
3386 Set_List1_With_Parent (N, Val);
3389 procedure Set_Class_Present
3390 (N : Node_Id; Val : Boolean := True) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Aspect_Specification
3394 or else NT (N).Nkind = N_Pragma);
3396 end Set_Class_Present;
3398 procedure Set_Coextensions
3399 (N : Node_Id; Val : Elist_Id) is
3401 pragma Assert (False
3402 or else NT (N).Nkind = N_Allocator);
3403 Set_Elist4 (N, Val);
3404 end Set_Coextensions;
3406 procedure Set_Comes_From_Extended_Return_Statement
3407 (N : Node_Id; Val : Boolean := True) is
3409 pragma Assert (False
3410 or else NT (N).Nkind = N_Return_Statement);
3411 Set_Flag18 (N, Val);
3412 end Set_Comes_From_Extended_Return_Statement;
3414 procedure Set_Compile_Time_Known_Aggregate
3415 (N : Node_Id; Val : Boolean := True) is
3417 pragma Assert (False
3418 or else NT (N).Nkind = N_Aggregate);
3419 Set_Flag18 (N, Val);
3420 end Set_Compile_Time_Known_Aggregate;
3422 procedure Set_Component_Associations
3423 (N : Node_Id; Val : List_Id) is
3425 pragma Assert (False
3426 or else NT (N).Nkind = N_Aggregate
3427 or else NT (N).Nkind = N_Extension_Aggregate);
3428 Set_List2_With_Parent (N, Val);
3429 end Set_Component_Associations;
3431 procedure Set_Component_Clauses
3432 (N : Node_Id; Val : List_Id) is
3434 pragma Assert (False
3435 or else NT (N).Nkind = N_Record_Representation_Clause);
3436 Set_List3_With_Parent (N, Val);
3437 end Set_Component_Clauses;
3439 procedure Set_Component_Definition
3440 (N : Node_Id; Val : Node_Id) is
3442 pragma Assert (False
3443 or else NT (N).Nkind = N_Component_Declaration
3444 or else NT (N).Nkind = N_Constrained_Array_Definition
3445 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3446 Set_Node4_With_Parent (N, Val);
3447 end Set_Component_Definition;
3449 procedure Set_Component_Items
3450 (N : Node_Id; Val : List_Id) is
3452 pragma Assert (False
3453 or else NT (N).Nkind = N_Component_List);
3454 Set_List3_With_Parent (N, Val);
3455 end Set_Component_Items;
3457 procedure Set_Component_List
3458 (N : Node_Id; Val : Node_Id) is
3460 pragma Assert (False
3461 or else NT (N).Nkind = N_Record_Definition
3462 or else NT (N).Nkind = N_Variant);
3463 Set_Node1_With_Parent (N, Val);
3464 end Set_Component_List;
3466 procedure Set_Component_Name
3467 (N : Node_Id; Val : Node_Id) is
3469 pragma Assert (False
3470 or else NT (N).Nkind = N_Component_Clause);
3471 Set_Node1_With_Parent (N, Val);
3472 end Set_Component_Name;
3474 procedure Set_Componentwise_Assignment
3475 (N : Node_Id; Val : Boolean := True) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Assignment_Statement);
3479 Set_Flag14 (N, Val);
3480 end Set_Componentwise_Assignment;
3482 procedure Set_Condition
3483 (N : Node_Id; Val : Node_Id) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Accept_Alternative
3487 or else NT (N).Nkind = N_Delay_Alternative
3488 or else NT (N).Nkind = N_Elsif_Part
3489 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3490 or else NT (N).Nkind = N_Exit_Statement
3491 or else NT (N).Nkind = N_If_Statement
3492 or else NT (N).Nkind = N_Iteration_Scheme
3493 or else NT (N).Nkind = N_Raise_Constraint_Error
3494 or else NT (N).Nkind = N_Raise_Program_Error
3495 or else NT (N).Nkind = N_Raise_Storage_Error
3496 or else NT (N).Nkind = N_Terminate_Alternative);
3497 Set_Node1_With_Parent (N, Val);
3500 procedure Set_Condition_Actions
3501 (N : Node_Id; Val : List_Id) is
3503 pragma Assert (False
3504 or else NT (N).Nkind = N_Elsif_Part
3505 or else NT (N).Nkind = N_Iteration_Scheme);
3506 Set_List3 (N, Val); -- semantic field, no parent set
3507 end Set_Condition_Actions;
3509 procedure Set_Config_Pragmas
3510 (N : Node_Id; Val : List_Id) is
3512 pragma Assert (False
3513 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3514 Set_List4_With_Parent (N, Val);
3515 end Set_Config_Pragmas;
3517 procedure Set_Constant_Present
3518 (N : Node_Id; Val : Boolean := True) is
3520 pragma Assert (False
3521 or else NT (N).Nkind = N_Access_Definition
3522 or else NT (N).Nkind = N_Access_To_Object_Definition
3523 or else NT (N).Nkind = N_Object_Declaration);
3524 Set_Flag17 (N, Val);
3525 end Set_Constant_Present;
3527 procedure Set_Constraint
3528 (N : Node_Id; Val : Node_Id) is
3530 pragma Assert (False
3531 or else NT (N).Nkind = N_Subtype_Indication);
3532 Set_Node3_With_Parent (N, Val);
3535 procedure Set_Constraints
3536 (N : Node_Id; Val : List_Id) is
3538 pragma Assert (False
3539 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3540 Set_List1_With_Parent (N, Val);
3541 end Set_Constraints;
3543 procedure Set_Context_Installed
3544 (N : Node_Id; Val : Boolean := True) is
3546 pragma Assert (False
3547 or else NT (N).Nkind = N_With_Clause);
3548 Set_Flag13 (N, Val);
3549 end Set_Context_Installed;
3551 procedure Set_Context_Items
3552 (N : Node_Id; Val : List_Id) is
3554 pragma Assert (False
3555 or else NT (N).Nkind = N_Compilation_Unit);
3556 Set_List1_With_Parent (N, Val);
3557 end Set_Context_Items;
3559 procedure Set_Context_Pending
3560 (N : Node_Id; Val : Boolean := True) is
3562 pragma Assert (False
3563 or else NT (N).Nkind = N_Compilation_Unit);
3564 Set_Flag16 (N, Val);
3565 end Set_Context_Pending;
3567 procedure Set_Controlling_Argument
3568 (N : Node_Id; Val : Node_Id) is
3570 pragma Assert (False
3571 or else NT (N).Nkind = N_Function_Call
3572 or else NT (N).Nkind = N_Procedure_Call_Statement);
3573 Set_Node1 (N, Val); -- semantic field, no parent set
3574 end Set_Controlling_Argument;
3576 procedure Set_Conversion_OK
3577 (N : Node_Id; Val : Boolean := True) is
3579 pragma Assert (False
3580 or else NT (N).Nkind = N_Type_Conversion);
3581 Set_Flag14 (N, Val);
3582 end Set_Conversion_OK;
3584 procedure Set_Corresponding_Body
3585 (N : Node_Id; Val : Node_Id) is
3587 pragma Assert (False
3588 or else NT (N).Nkind = N_Entry_Declaration
3589 or else NT (N).Nkind = N_Generic_Package_Declaration
3590 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3591 or else NT (N).Nkind = N_Package_Body_Stub
3592 or else NT (N).Nkind = N_Package_Declaration
3593 or else NT (N).Nkind = N_Protected_Body_Stub
3594 or else NT (N).Nkind = N_Protected_Type_Declaration
3595 or else NT (N).Nkind = N_Subprogram_Body_Stub
3596 or else NT (N).Nkind = N_Subprogram_Declaration
3597 or else NT (N).Nkind = N_Task_Body_Stub
3598 or else NT (N).Nkind = N_Task_Type_Declaration);
3599 Set_Node5 (N, Val); -- semantic field, no parent set
3600 end Set_Corresponding_Body;
3602 procedure Set_Corresponding_Formal_Spec
3603 (N : Node_Id; Val : Node_Id) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3607 Set_Node3 (N, Val); -- semantic field, no parent set
3608 end Set_Corresponding_Formal_Spec;
3610 procedure Set_Corresponding_Generic_Association
3611 (N : Node_Id; Val : Node_Id) is
3613 pragma Assert (False
3614 or else NT (N).Nkind = N_Object_Declaration
3615 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3616 Set_Node5 (N, Val); -- semantic field, no parent set
3617 end Set_Corresponding_Generic_Association;
3619 procedure Set_Corresponding_Integer_Value
3620 (N : Node_Id; Val : Uint) is
3622 pragma Assert (False
3623 or else NT (N).Nkind = N_Real_Literal);
3624 Set_Uint4 (N, Val); -- semantic field, no parent set
3625 end Set_Corresponding_Integer_Value;
3627 procedure Set_Corresponding_Spec
3628 (N : Node_Id; Val : Node_Id) is
3630 pragma Assert (False
3631 or else NT (N).Nkind = N_Package_Body
3632 or else NT (N).Nkind = N_Protected_Body
3633 or else NT (N).Nkind = N_Subprogram_Body
3634 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3635 or else NT (N).Nkind = N_Task_Body
3636 or else NT (N).Nkind = N_With_Clause);
3637 Set_Node5 (N, Val); -- semantic field, no parent set
3638 end Set_Corresponding_Spec;
3640 procedure Set_Corresponding_Stub
3641 (N : Node_Id; Val : Node_Id) is
3643 pragma Assert (False
3644 or else NT (N).Nkind = N_Subunit);
3646 end Set_Corresponding_Stub;
3648 procedure Set_Dcheck_Function
3649 (N : Node_Id; Val : Entity_Id) is
3651 pragma Assert (False
3652 or else NT (N).Nkind = N_Variant);
3653 Set_Node5 (N, Val); -- semantic field, no parent set
3654 end Set_Dcheck_Function;
3656 procedure Set_Debug_Statement
3657 (N : Node_Id; Val : Node_Id) is
3659 pragma Assert (False
3660 or else NT (N).Nkind = N_Pragma);
3661 Set_Node3_With_Parent (N, Val);
3662 end Set_Debug_Statement;
3664 procedure Set_Declarations
3665 (N : Node_Id; Val : List_Id) is
3667 pragma Assert (False
3668 or else NT (N).Nkind = N_Accept_Statement
3669 or else NT (N).Nkind = N_Block_Statement
3670 or else NT (N).Nkind = N_Compilation_Unit_Aux
3671 or else NT (N).Nkind = N_Entry_Body
3672 or else NT (N).Nkind = N_Package_Body
3673 or else NT (N).Nkind = N_Protected_Body
3674 or else NT (N).Nkind = N_Subprogram_Body
3675 or else NT (N).Nkind = N_Task_Body);
3676 Set_List2_With_Parent (N, Val);
3677 end Set_Declarations;
3679 procedure Set_Default_Expression
3680 (N : Node_Id; Val : Node_Id) is
3682 pragma Assert (False
3683 or else NT (N).Nkind = N_Formal_Object_Declaration
3684 or else NT (N).Nkind = N_Parameter_Specification);
3685 Set_Node5 (N, Val); -- semantic field, no parent set
3686 end Set_Default_Expression;
3688 procedure Set_Default_Name
3689 (N : Node_Id; Val : Node_Id) is
3691 pragma Assert (False
3692 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3693 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3694 Set_Node2_With_Parent (N, Val);
3695 end Set_Default_Name;
3697 procedure Set_Defining_Identifier
3698 (N : Node_Id; Val : Entity_Id) is
3700 pragma Assert (False
3701 or else NT (N).Nkind = N_Component_Declaration
3702 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3703 or else NT (N).Nkind = N_Discriminant_Specification
3704 or else NT (N).Nkind = N_Entry_Body
3705 or else NT (N).Nkind = N_Entry_Declaration
3706 or else NT (N).Nkind = N_Entry_Index_Specification
3707 or else NT (N).Nkind = N_Exception_Declaration
3708 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3709 or else NT (N).Nkind = N_Formal_Object_Declaration
3710 or else NT (N).Nkind = N_Formal_Package_Declaration
3711 or else NT (N).Nkind = N_Formal_Type_Declaration
3712 or else NT (N).Nkind = N_Full_Type_Declaration
3713 or else NT (N).Nkind = N_Implicit_Label_Declaration
3714 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3715 or else NT (N).Nkind = N_Loop_Parameter_Specification
3716 or else NT (N).Nkind = N_Number_Declaration
3717 or else NT (N).Nkind = N_Object_Declaration
3718 or else NT (N).Nkind = N_Object_Renaming_Declaration
3719 or else NT (N).Nkind = N_Package_Body_Stub
3720 or else NT (N).Nkind = N_Parameter_Specification
3721 or else NT (N).Nkind = N_Private_Extension_Declaration
3722 or else NT (N).Nkind = N_Private_Type_Declaration
3723 or else NT (N).Nkind = N_Protected_Body
3724 or else NT (N).Nkind = N_Protected_Body_Stub
3725 or else NT (N).Nkind = N_Protected_Type_Declaration
3726 or else NT (N).Nkind = N_Single_Protected_Declaration
3727 or else NT (N).Nkind = N_Single_Task_Declaration
3728 or else NT (N).Nkind = N_Subtype_Declaration
3729 or else NT (N).Nkind = N_Task_Body
3730 or else NT (N).Nkind = N_Task_Body_Stub
3731 or else NT (N).Nkind = N_Task_Type_Declaration);
3732 Set_Node1_With_Parent (N, Val);
3733 end Set_Defining_Identifier;
3735 procedure Set_Defining_Unit_Name
3736 (N : Node_Id; Val : Node_Id) is
3738 pragma Assert (False
3739 or else NT (N).Nkind = N_Function_Instantiation
3740 or else NT (N).Nkind = N_Function_Specification
3741 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3742 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3743 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3744 or else NT (N).Nkind = N_Package_Body
3745 or else NT (N).Nkind = N_Package_Instantiation
3746 or else NT (N).Nkind = N_Package_Renaming_Declaration
3747 or else NT (N).Nkind = N_Package_Specification
3748 or else NT (N).Nkind = N_Procedure_Instantiation
3749 or else NT (N).Nkind = N_Procedure_Specification);
3750 Set_Node1_With_Parent (N, Val);
3751 end Set_Defining_Unit_Name;
3753 procedure Set_Delay_Alternative
3754 (N : Node_Id; Val : Node_Id) is
3756 pragma Assert (False
3757 or else NT (N).Nkind = N_Timed_Entry_Call);
3758 Set_Node4_With_Parent (N, Val);
3759 end Set_Delay_Alternative;
3761 procedure Set_Delay_Statement
3762 (N : Node_Id; Val : Node_Id) is
3764 pragma Assert (False
3765 or else NT (N).Nkind = N_Delay_Alternative);
3766 Set_Node2_With_Parent (N, Val);
3767 end Set_Delay_Statement;
3769 procedure Set_Delta_Expression
3770 (N : Node_Id; Val : Node_Id) is
3772 pragma Assert (False
3773 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3774 or else NT (N).Nkind = N_Delta_Constraint
3775 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3776 Set_Node3_With_Parent (N, Val);
3777 end Set_Delta_Expression;
3779 procedure Set_Digits_Expression
3780 (N : Node_Id; Val : Node_Id) is
3782 pragma Assert (False
3783 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3784 or else NT (N).Nkind = N_Digits_Constraint
3785 or else NT (N).Nkind = N_Floating_Point_Definition);
3786 Set_Node2_With_Parent (N, Val);
3787 end Set_Digits_Expression;
3789 procedure Set_Discr_Check_Funcs_Built
3790 (N : Node_Id; Val : Boolean := True) is
3792 pragma Assert (False
3793 or else NT (N).Nkind = N_Full_Type_Declaration);
3794 Set_Flag11 (N, Val);
3795 end Set_Discr_Check_Funcs_Built;
3797 procedure Set_Discrete_Choices
3798 (N : Node_Id; Val : List_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Case_Expression_Alternative
3802 or else NT (N).Nkind = N_Case_Statement_Alternative
3803 or else NT (N).Nkind = N_Variant);
3804 Set_List4_With_Parent (N, Val);
3805 end Set_Discrete_Choices;
3807 procedure Set_Discrete_Range
3808 (N : Node_Id; Val : Node_Id) is
3810 pragma Assert (False
3811 or else NT (N).Nkind = N_Slice);
3812 Set_Node4_With_Parent (N, Val);
3813 end Set_Discrete_Range;
3815 procedure Set_Discrete_Subtype_Definition
3816 (N : Node_Id; Val : Node_Id) is
3818 pragma Assert (False
3819 or else NT (N).Nkind = N_Entry_Declaration
3820 or else NT (N).Nkind = N_Entry_Index_Specification
3821 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3822 Set_Node4_With_Parent (N, Val);
3823 end Set_Discrete_Subtype_Definition;
3825 procedure Set_Discrete_Subtype_Definitions
3826 (N : Node_Id; Val : List_Id) is
3828 pragma Assert (False
3829 or else NT (N).Nkind = N_Constrained_Array_Definition);
3830 Set_List2_With_Parent (N, Val);
3831 end Set_Discrete_Subtype_Definitions;
3833 procedure Set_Discriminant_Specifications
3834 (N : Node_Id; Val : List_Id) is
3836 pragma Assert (False
3837 or else NT (N).Nkind = N_Formal_Type_Declaration
3838 or else NT (N).Nkind = N_Full_Type_Declaration
3839 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3840 or else NT (N).Nkind = N_Private_Extension_Declaration
3841 or else NT (N).Nkind = N_Private_Type_Declaration
3842 or else NT (N).Nkind = N_Protected_Type_Declaration
3843 or else NT (N).Nkind = N_Task_Type_Declaration);
3844 Set_List4_With_Parent (N, Val);
3845 end Set_Discriminant_Specifications;
3847 procedure Set_Discriminant_Type
3848 (N : Node_Id; Val : Node_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind = N_Discriminant_Specification);
3852 Set_Node5_With_Parent (N, Val);
3853 end Set_Discriminant_Type;
3855 procedure Set_Do_Accessibility_Check
3856 (N : Node_Id; Val : Boolean := True) is
3858 pragma Assert (False
3859 or else NT (N).Nkind = N_Parameter_Specification);
3860 Set_Flag13 (N, Val);
3861 end Set_Do_Accessibility_Check;
3863 procedure Set_Do_Discriminant_Check
3864 (N : Node_Id; Val : Boolean := True) is
3866 pragma Assert (False
3867 or else NT (N).Nkind = N_Selected_Component);
3868 Set_Flag13 (N, Val);
3869 end Set_Do_Discriminant_Check;
3871 procedure Set_Do_Division_Check
3872 (N : Node_Id; Val : Boolean := True) is
3874 pragma Assert (False
3875 or else NT (N).Nkind = N_Op_Divide
3876 or else NT (N).Nkind = N_Op_Mod
3877 or else NT (N).Nkind = N_Op_Rem);
3878 Set_Flag13 (N, Val);
3879 end Set_Do_Division_Check;
3881 procedure Set_Do_Length_Check
3882 (N : Node_Id; Val : Boolean := True) is
3884 pragma Assert (False
3885 or else NT (N).Nkind = N_Assignment_Statement
3886 or else NT (N).Nkind = N_Op_And
3887 or else NT (N).Nkind = N_Op_Or
3888 or else NT (N).Nkind = N_Op_Xor
3889 or else NT (N).Nkind = N_Type_Conversion);
3891 end Set_Do_Length_Check;
3893 procedure Set_Do_Overflow_Check
3894 (N : Node_Id; Val : Boolean := True) is
3896 pragma Assert (False
3897 or else NT (N).Nkind in N_Op
3898 or else NT (N).Nkind = N_Attribute_Reference
3899 or else NT (N).Nkind = N_Type_Conversion);
3900 Set_Flag17 (N, Val);
3901 end Set_Do_Overflow_Check;
3903 procedure Set_Do_Range_Check
3904 (N : Node_Id; Val : Boolean := True) is
3906 pragma Assert (False
3907 or else NT (N).Nkind in N_Subexpr);
3909 end Set_Do_Range_Check;
3911 procedure Set_Do_Storage_Check
3912 (N : Node_Id; Val : Boolean := True) is
3914 pragma Assert (False
3915 or else NT (N).Nkind = N_Allocator
3916 or else NT (N).Nkind = N_Subprogram_Body);
3917 Set_Flag17 (N, Val);
3918 end Set_Do_Storage_Check;
3920 procedure Set_Do_Tag_Check
3921 (N : Node_Id; Val : Boolean := True) is
3923 pragma Assert (False
3924 or else NT (N).Nkind = N_Assignment_Statement
3925 or else NT (N).Nkind = N_Extended_Return_Statement
3926 or else NT (N).Nkind = N_Function_Call
3927 or else NT (N).Nkind = N_Procedure_Call_Statement
3928 or else NT (N).Nkind = N_Return_Statement
3929 or else NT (N).Nkind = N_Type_Conversion);
3930 Set_Flag13 (N, Val);
3931 end Set_Do_Tag_Check;
3933 procedure Set_Elaborate_All_Desirable
3934 (N : Node_Id; Val : Boolean := True) is
3936 pragma Assert (False
3937 or else NT (N).Nkind = N_With_Clause);
3939 end Set_Elaborate_All_Desirable;
3941 procedure Set_Elaborate_All_Present
3942 (N : Node_Id; Val : Boolean := True) is
3944 pragma Assert (False
3945 or else NT (N).Nkind = N_With_Clause);
3946 Set_Flag14 (N, Val);
3947 end Set_Elaborate_All_Present;
3949 procedure Set_Elaborate_Desirable
3950 (N : Node_Id; Val : Boolean := True) is
3952 pragma Assert (False
3953 or else NT (N).Nkind = N_With_Clause);
3954 Set_Flag11 (N, Val);
3955 end Set_Elaborate_Desirable;
3957 procedure Set_Elaborate_Present
3958 (N : Node_Id; Val : Boolean := True) is
3960 pragma Assert (False
3961 or else NT (N).Nkind = N_With_Clause);
3963 end Set_Elaborate_Present;
3965 procedure Set_Elaboration_Boolean
3966 (N : Node_Id; Val : Node_Id) is
3968 pragma Assert (False
3969 or else NT (N).Nkind = N_Function_Specification
3970 or else NT (N).Nkind = N_Procedure_Specification);
3972 end Set_Elaboration_Boolean;
3974 procedure Set_Else_Actions
3975 (N : Node_Id; Val : List_Id) is
3977 pragma Assert (False
3978 or else NT (N).Nkind = N_Conditional_Expression);
3979 Set_List3 (N, Val); -- semantic field, no parent set
3980 end Set_Else_Actions;
3982 procedure Set_Else_Statements
3983 (N : Node_Id; Val : List_Id) is
3985 pragma Assert (False
3986 or else NT (N).Nkind = N_Conditional_Entry_Call
3987 or else NT (N).Nkind = N_If_Statement
3988 or else NT (N).Nkind = N_Selective_Accept);
3989 Set_List4_With_Parent (N, Val);
3990 end Set_Else_Statements;
3992 procedure Set_Elsif_Parts
3993 (N : Node_Id; Val : List_Id) is
3995 pragma Assert (False
3996 or else NT (N).Nkind = N_If_Statement);
3997 Set_List3_With_Parent (N, Val);
3998 end Set_Elsif_Parts;
4000 procedure Set_Enclosing_Variant
4001 (N : Node_Id; Val : Node_Id) is
4003 pragma Assert (False
4004 or else NT (N).Nkind = N_Variant);
4005 Set_Node2 (N, Val); -- semantic field, no parent set
4006 end Set_Enclosing_Variant;
4008 procedure Set_End_Label
4009 (N : Node_Id; Val : Node_Id) is
4011 pragma Assert (False
4012 or else NT (N).Nkind = N_Enumeration_Type_Definition
4013 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4014 or else NT (N).Nkind = N_Loop_Statement
4015 or else NT (N).Nkind = N_Package_Specification
4016 or else NT (N).Nkind = N_Protected_Body
4017 or else NT (N).Nkind = N_Protected_Definition
4018 or else NT (N).Nkind = N_Record_Definition
4019 or else NT (N).Nkind = N_Task_Definition);
4020 Set_Node4_With_Parent (N, Val);
4023 procedure Set_End_Span
4024 (N : Node_Id; Val : Uint) is
4026 pragma Assert (False
4027 or else NT (N).Nkind = N_Case_Statement
4028 or else NT (N).Nkind = N_If_Statement);
4032 procedure Set_Entity
4033 (N : Node_Id; Val : Node_Id) is
4035 pragma Assert (False
4036 or else NT (N).Nkind in N_Has_Entity
4037 or else NT (N).Nkind = N_Aspect_Specification
4038 or else NT (N).Nkind = N_Attribute_Definition_Clause
4039 or else NT (N).Nkind = N_Freeze_Entity);
4040 Set_Node4 (N, Val); -- semantic field, no parent set
4043 procedure Set_Entry_Body_Formal_Part
4044 (N : Node_Id; Val : Node_Id) is
4046 pragma Assert (False
4047 or else NT (N).Nkind = N_Entry_Body);
4048 Set_Node5_With_Parent (N, Val);
4049 end Set_Entry_Body_Formal_Part;
4051 procedure Set_Entry_Call_Alternative
4052 (N : Node_Id; Val : Node_Id) is
4054 pragma Assert (False
4055 or else NT (N).Nkind = N_Conditional_Entry_Call
4056 or else NT (N).Nkind = N_Timed_Entry_Call);
4057 Set_Node1_With_Parent (N, Val);
4058 end Set_Entry_Call_Alternative;
4060 procedure Set_Entry_Call_Statement
4061 (N : Node_Id; Val : Node_Id) is
4063 pragma Assert (False
4064 or else NT (N).Nkind = N_Entry_Call_Alternative);
4065 Set_Node1_With_Parent (N, Val);
4066 end Set_Entry_Call_Statement;
4068 procedure Set_Entry_Direct_Name
4069 (N : Node_Id; Val : Node_Id) is
4071 pragma Assert (False
4072 or else NT (N).Nkind = N_Accept_Statement);
4073 Set_Node1_With_Parent (N, Val);
4074 end Set_Entry_Direct_Name;
4076 procedure Set_Entry_Index
4077 (N : Node_Id; Val : Node_Id) is
4079 pragma Assert (False
4080 or else NT (N).Nkind = N_Accept_Statement);
4081 Set_Node5_With_Parent (N, Val);
4082 end Set_Entry_Index;
4084 procedure Set_Entry_Index_Specification
4085 (N : Node_Id; Val : Node_Id) is
4087 pragma Assert (False
4088 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4089 Set_Node4_With_Parent (N, Val);
4090 end Set_Entry_Index_Specification;
4093 (N : Node_Id; Val : Node_Id) is
4095 pragma Assert (False
4096 or else NT (N).Nkind in N_Has_Etype);
4097 Set_Node5 (N, Val); -- semantic field, no parent set
4100 procedure Set_Exception_Choices
4101 (N : Node_Id; Val : List_Id) is
4103 pragma Assert (False
4104 or else NT (N).Nkind = N_Exception_Handler);
4105 Set_List4_With_Parent (N, Val);
4106 end Set_Exception_Choices;
4108 procedure Set_Exception_Handlers
4109 (N : Node_Id; Val : List_Id) is
4111 pragma Assert (False
4112 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4113 Set_List5_With_Parent (N, Val);
4114 end Set_Exception_Handlers;
4116 procedure Set_Exception_Junk
4117 (N : Node_Id; Val : Boolean := True) is
4119 pragma Assert (False
4120 or else NT (N).Nkind = N_Block_Statement
4121 or else NT (N).Nkind = N_Goto_Statement
4122 or else NT (N).Nkind = N_Label
4123 or else NT (N).Nkind = N_Object_Declaration
4124 or else NT (N).Nkind = N_Subtype_Declaration);
4126 end Set_Exception_Junk;
4128 procedure Set_Exception_Label
4129 (N : Node_Id; Val : Node_Id) is
4131 pragma Assert (False
4132 or else NT (N).Nkind = N_Exception_Handler
4133 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4134 or else NT (N).Nkind = N_Push_Program_Error_Label
4135 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4136 Set_Node5 (N, Val); -- semantic field, no parent set
4137 end Set_Exception_Label;
4139 procedure Set_Expansion_Delayed
4140 (N : Node_Id; Val : Boolean := True) is
4142 pragma Assert (False
4143 or else NT (N).Nkind = N_Aggregate
4144 or else NT (N).Nkind = N_Extension_Aggregate);
4145 Set_Flag11 (N, Val);
4146 end Set_Expansion_Delayed;
4148 procedure Set_Explicit_Actual_Parameter
4149 (N : Node_Id; Val : Node_Id) is
4151 pragma Assert (False
4152 or else NT (N).Nkind = N_Parameter_Association);
4153 Set_Node3_With_Parent (N, Val);
4154 end Set_Explicit_Actual_Parameter;
4156 procedure Set_Explicit_Generic_Actual_Parameter
4157 (N : Node_Id; Val : Node_Id) is
4159 pragma Assert (False
4160 or else NT (N).Nkind = N_Generic_Association);
4161 Set_Node1_With_Parent (N, Val);
4162 end Set_Explicit_Generic_Actual_Parameter;
4164 procedure Set_Expression
4165 (N : Node_Id; Val : Node_Id) is
4167 pragma Assert (False
4168 or else NT (N).Nkind = N_Allocator
4169 or else NT (N).Nkind = N_Aspect_Specification
4170 or else NT (N).Nkind = N_Assignment_Statement
4171 or else NT (N).Nkind = N_At_Clause
4172 or else NT (N).Nkind = N_Attribute_Definition_Clause
4173 or else NT (N).Nkind = N_Case_Expression
4174 or else NT (N).Nkind = N_Case_Expression_Alternative
4175 or else NT (N).Nkind = N_Case_Statement
4176 or else NT (N).Nkind = N_Code_Statement
4177 or else NT (N).Nkind = N_Component_Association
4178 or else NT (N).Nkind = N_Component_Declaration
4179 or else NT (N).Nkind = N_Delay_Relative_Statement
4180 or else NT (N).Nkind = N_Delay_Until_Statement
4181 or else NT (N).Nkind = N_Discriminant_Association
4182 or else NT (N).Nkind = N_Discriminant_Specification
4183 or else NT (N).Nkind = N_Exception_Declaration
4184 or else NT (N).Nkind = N_Expression_With_Actions
4185 or else NT (N).Nkind = N_Free_Statement
4186 or else NT (N).Nkind = N_Mod_Clause
4187 or else NT (N).Nkind = N_Modular_Type_Definition
4188 or else NT (N).Nkind = N_Number_Declaration
4189 or else NT (N).Nkind = N_Object_Declaration
4190 or else NT (N).Nkind = N_Parameter_Specification
4191 or else NT (N).Nkind = N_Parameterized_Expression
4192 or else NT (N).Nkind = N_Pragma_Argument_Association
4193 or else NT (N).Nkind = N_Qualified_Expression
4194 or else NT (N).Nkind = N_Raise_Statement
4195 or else NT (N).Nkind = N_Return_Statement
4196 or else NT (N).Nkind = N_Type_Conversion
4197 or else NT (N).Nkind = N_Unchecked_Expression
4198 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4199 Set_Node3_With_Parent (N, Val);
4202 procedure Set_Expressions
4203 (N : Node_Id; Val : List_Id) is
4205 pragma Assert (False
4206 or else NT (N).Nkind = N_Aggregate
4207 or else NT (N).Nkind = N_Attribute_Reference
4208 or else NT (N).Nkind = N_Conditional_Expression
4209 or else NT (N).Nkind = N_Extension_Aggregate
4210 or else NT (N).Nkind = N_Indexed_Component);
4211 Set_List1_With_Parent (N, Val);
4212 end Set_Expressions;
4214 procedure Set_First_Bit
4215 (N : Node_Id; Val : Node_Id) is
4217 pragma Assert (False
4218 or else NT (N).Nkind = N_Component_Clause);
4219 Set_Node3_With_Parent (N, Val);
4222 procedure Set_First_Inlined_Subprogram
4223 (N : Node_Id; Val : Entity_Id) is
4225 pragma Assert (False
4226 or else NT (N).Nkind = N_Compilation_Unit);
4227 Set_Node3 (N, Val); -- semantic field, no parent set
4228 end Set_First_Inlined_Subprogram;
4230 procedure Set_First_Name
4231 (N : Node_Id; Val : Boolean := True) is
4233 pragma Assert (False
4234 or else NT (N).Nkind = N_With_Clause);
4238 procedure Set_First_Named_Actual
4239 (N : Node_Id; Val : Node_Id) is
4241 pragma Assert (False
4242 or else NT (N).Nkind = N_Entry_Call_Statement
4243 or else NT (N).Nkind = N_Function_Call
4244 or else NT (N).Nkind = N_Procedure_Call_Statement);
4245 Set_Node4 (N, Val); -- semantic field, no parent set
4246 end Set_First_Named_Actual;
4248 procedure Set_First_Real_Statement
4249 (N : Node_Id; Val : Node_Id) is
4251 pragma Assert (False
4252 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4253 Set_Node2 (N, Val); -- semantic field, no parent set
4254 end Set_First_Real_Statement;
4256 procedure Set_First_Subtype_Link
4257 (N : Node_Id; Val : Entity_Id) is
4259 pragma Assert (False
4260 or else NT (N).Nkind = N_Freeze_Entity);
4261 Set_Node5 (N, Val); -- semantic field, no parent set
4262 end Set_First_Subtype_Link;
4264 procedure Set_Float_Truncate
4265 (N : Node_Id; Val : Boolean := True) is
4267 pragma Assert (False
4268 or else NT (N).Nkind = N_Type_Conversion);
4269 Set_Flag11 (N, Val);
4270 end Set_Float_Truncate;
4272 procedure Set_Formal_Type_Definition
4273 (N : Node_Id; Val : Node_Id) is
4275 pragma Assert (False
4276 or else NT (N).Nkind = N_Formal_Type_Declaration);
4277 Set_Node3_With_Parent (N, Val);
4278 end Set_Formal_Type_Definition;
4280 procedure Set_Forwards_OK
4281 (N : Node_Id; Val : Boolean := True) is
4283 pragma Assert (False
4284 or else NT (N).Nkind = N_Assignment_Statement);
4286 end Set_Forwards_OK;
4288 procedure Set_From_Aspect_Specification
4289 (N : Node_Id; Val : Boolean := True) is
4291 pragma Assert (False
4292 or else NT (N).Nkind = N_Attribute_Definition_Clause
4293 or else NT (N).Nkind = N_Pragma);
4294 Set_Flag13 (N, Val);
4295 end Set_From_Aspect_Specification;
4297 procedure Set_From_At_End
4298 (N : Node_Id; Val : Boolean := True) is
4300 pragma Assert (False
4301 or else NT (N).Nkind = N_Raise_Statement);
4303 end Set_From_At_End;
4305 procedure Set_From_At_Mod
4306 (N : Node_Id; Val : Boolean := True) is
4308 pragma Assert (False
4309 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4311 end Set_From_At_Mod;
4313 procedure Set_From_Default
4314 (N : Node_Id; Val : Boolean := True) is
4316 pragma Assert (False
4317 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4319 end Set_From_Default;
4321 procedure Set_Generic_Associations
4322 (N : Node_Id; Val : List_Id) is
4324 pragma Assert (False
4325 or else NT (N).Nkind = N_Formal_Package_Declaration
4326 or else NT (N).Nkind = N_Function_Instantiation
4327 or else NT (N).Nkind = N_Package_Instantiation
4328 or else NT (N).Nkind = N_Procedure_Instantiation);
4329 Set_List3_With_Parent (N, Val);
4330 end Set_Generic_Associations;
4332 procedure Set_Generic_Formal_Declarations
4333 (N : Node_Id; Val : List_Id) is
4335 pragma Assert (False
4336 or else NT (N).Nkind = N_Generic_Package_Declaration
4337 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4338 Set_List2_With_Parent (N, Val);
4339 end Set_Generic_Formal_Declarations;
4341 procedure Set_Generic_Parent
4342 (N : Node_Id; Val : Node_Id) is
4344 pragma Assert (False
4345 or else NT (N).Nkind = N_Function_Specification
4346 or else NT (N).Nkind = N_Package_Specification
4347 or else NT (N).Nkind = N_Procedure_Specification);
4349 end Set_Generic_Parent;
4351 procedure Set_Generic_Parent_Type
4352 (N : Node_Id; Val : Node_Id) is
4354 pragma Assert (False
4355 or else NT (N).Nkind = N_Subtype_Declaration);
4357 end Set_Generic_Parent_Type;
4359 procedure Set_Handled_Statement_Sequence
4360 (N : Node_Id; Val : Node_Id) is
4362 pragma Assert (False
4363 or else NT (N).Nkind = N_Accept_Statement
4364 or else NT (N).Nkind = N_Block_Statement
4365 or else NT (N).Nkind = N_Entry_Body
4366 or else NT (N).Nkind = N_Extended_Return_Statement
4367 or else NT (N).Nkind = N_Package_Body
4368 or else NT (N).Nkind = N_Subprogram_Body
4369 or else NT (N).Nkind = N_Task_Body);
4370 Set_Node4_With_Parent (N, Val);
4371 end Set_Handled_Statement_Sequence;
4373 procedure Set_Handler_List_Entry
4374 (N : Node_Id; Val : Node_Id) is
4376 pragma Assert (False
4377 or else NT (N).Nkind = N_Object_Declaration);
4379 end Set_Handler_List_Entry;
4381 procedure Set_Has_Created_Identifier
4382 (N : Node_Id; Val : Boolean := True) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Block_Statement
4386 or else NT (N).Nkind = N_Loop_Statement);
4387 Set_Flag15 (N, Val);
4388 end Set_Has_Created_Identifier;
4390 procedure Set_Has_Dynamic_Length_Check
4391 (N : Node_Id; Val : Boolean := True) is
4393 Set_Flag10 (N, Val);
4394 end Set_Has_Dynamic_Length_Check;
4396 procedure Set_Has_Dynamic_Range_Check
4397 (N : Node_Id; Val : Boolean := True) is
4399 Set_Flag12 (N, Val);
4400 end Set_Has_Dynamic_Range_Check;
4402 procedure Set_Has_Init_Expression
4403 (N : Node_Id; Val : Boolean := True) is
4405 pragma Assert (False
4406 or else NT (N).Nkind = N_Object_Declaration);
4407 Set_Flag14 (N, Val);
4408 end Set_Has_Init_Expression;
4410 procedure Set_Has_Local_Raise
4411 (N : Node_Id; Val : Boolean := True) is
4413 pragma Assert (False
4414 or else NT (N).Nkind = N_Exception_Handler);
4416 end Set_Has_Local_Raise;
4418 procedure Set_Has_No_Elaboration_Code
4419 (N : Node_Id; Val : Boolean := True) is
4421 pragma Assert (False
4422 or else NT (N).Nkind = N_Compilation_Unit);
4423 Set_Flag17 (N, Val);
4424 end Set_Has_No_Elaboration_Code;
4426 procedure Set_Has_Pragma_Priority
4427 (N : Node_Id; Val : Boolean := True) is
4429 pragma Assert (False
4430 or else NT (N).Nkind = N_Protected_Definition
4431 or else NT (N).Nkind = N_Subprogram_Body
4432 or else NT (N).Nkind = N_Task_Definition);
4434 end Set_Has_Pragma_Priority;
4436 procedure Set_Has_Pragma_Suppress_All
4437 (N : Node_Id; Val : Boolean := True) is
4439 pragma Assert (False
4440 or else NT (N).Nkind = N_Compilation_Unit);
4441 Set_Flag14 (N, Val);
4442 end Set_Has_Pragma_Suppress_All;
4444 procedure Set_Has_Private_View
4445 (N : Node_Id; Val : Boolean := True) is
4447 pragma Assert (False
4448 or else NT (N).Nkind in N_Op
4449 or else NT (N).Nkind = N_Character_Literal
4450 or else NT (N).Nkind = N_Expanded_Name
4451 or else NT (N).Nkind = N_Identifier
4452 or else NT (N).Nkind = N_Operator_Symbol);
4453 Set_Flag11 (N, Val);
4454 end Set_Has_Private_View;
4456 procedure Set_Has_Relative_Deadline_Pragma
4457 (N : Node_Id; Val : Boolean := True) is
4459 pragma Assert (False
4460 or else NT (N).Nkind = N_Subprogram_Body
4461 or else NT (N).Nkind = N_Task_Definition);
4463 end Set_Has_Relative_Deadline_Pragma;
4465 procedure Set_Has_Self_Reference
4466 (N : Node_Id; Val : Boolean := True) is
4468 pragma Assert (False
4469 or else NT (N).Nkind = N_Aggregate
4470 or else NT (N).Nkind = N_Extension_Aggregate);
4471 Set_Flag13 (N, Val);
4472 end Set_Has_Self_Reference;
4474 procedure Set_Has_Storage_Size_Pragma
4475 (N : Node_Id; Val : Boolean := True) is
4477 pragma Assert (False
4478 or else NT (N).Nkind = N_Task_Definition);
4480 end Set_Has_Storage_Size_Pragma;
4482 procedure Set_Has_Task_Info_Pragma
4483 (N : Node_Id; Val : Boolean := True) is
4485 pragma Assert (False
4486 or else NT (N).Nkind = N_Task_Definition);
4488 end Set_Has_Task_Info_Pragma;
4490 procedure Set_Has_Task_Name_Pragma
4491 (N : Node_Id; Val : Boolean := True) is
4493 pragma Assert (False
4494 or else NT (N).Nkind = N_Task_Definition);
4496 end Set_Has_Task_Name_Pragma;
4498 procedure Set_Has_Wide_Character
4499 (N : Node_Id; Val : Boolean := True) is
4501 pragma Assert (False
4502 or else NT (N).Nkind = N_String_Literal);
4503 Set_Flag11 (N, Val);
4504 end Set_Has_Wide_Character;
4506 procedure Set_Has_Wide_Wide_Character
4507 (N : Node_Id; Val : Boolean := True) is
4509 pragma Assert (False
4510 or else NT (N).Nkind = N_String_Literal);
4511 Set_Flag13 (N, Val);
4512 end Set_Has_Wide_Wide_Character;
4514 procedure Set_Hidden_By_Use_Clause
4515 (N : Node_Id; Val : Elist_Id) is
4517 pragma Assert (False
4518 or else NT (N).Nkind = N_Use_Package_Clause
4519 or else NT (N).Nkind = N_Use_Type_Clause);
4520 Set_Elist4 (N, Val);
4521 end Set_Hidden_By_Use_Clause;
4523 procedure Set_High_Bound
4524 (N : Node_Id; Val : Node_Id) is
4526 pragma Assert (False
4527 or else NT (N).Nkind = N_Range
4528 or else NT (N).Nkind = N_Real_Range_Specification
4529 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4530 Set_Node2_With_Parent (N, Val);
4533 procedure Set_Identifier
4534 (N : Node_Id; Val : Node_Id) is
4536 pragma Assert (False
4537 or else NT (N).Nkind = N_Aspect_Specification
4538 or else NT (N).Nkind = N_At_Clause
4539 or else NT (N).Nkind = N_Block_Statement
4540 or else NT (N).Nkind = N_Designator
4541 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4542 or else NT (N).Nkind = N_Label
4543 or else NT (N).Nkind = N_Loop_Statement
4544 or else NT (N).Nkind = N_Record_Representation_Clause
4545 or else NT (N).Nkind = N_Subprogram_Info);
4546 Set_Node1_With_Parent (N, Val);
4549 procedure Set_Implicit_With
4550 (N : Node_Id; Val : Boolean := True) is
4552 pragma Assert (False
4553 or else NT (N).Nkind = N_With_Clause);
4554 Set_Flag16 (N, Val);
4555 end Set_Implicit_With;
4557 procedure Set_Interface_List
4558 (N : Node_Id; Val : List_Id) is
4560 pragma Assert (False
4561 or else NT (N).Nkind = N_Derived_Type_Definition
4562 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4563 or else NT (N).Nkind = N_Private_Extension_Declaration
4564 or else NT (N).Nkind = N_Protected_Type_Declaration
4565 or else NT (N).Nkind = N_Record_Definition
4566 or else NT (N).Nkind = N_Single_Protected_Declaration
4567 or else NT (N).Nkind = N_Single_Task_Declaration
4568 or else NT (N).Nkind = N_Task_Type_Declaration);
4569 Set_List2_With_Parent (N, Val);
4570 end Set_Interface_List;
4572 procedure Set_Interface_Present
4573 (N : Node_Id; Val : Boolean := True) is
4575 pragma Assert (False
4576 or else NT (N).Nkind = N_Derived_Type_Definition
4577 or else NT (N).Nkind = N_Record_Definition);
4578 Set_Flag16 (N, Val);
4579 end Set_Interface_Present;
4581 procedure Set_Import_Interface_Present
4582 (N : Node_Id; Val : Boolean := True) is
4584 pragma Assert (False
4585 or else NT (N).Nkind = N_Pragma);
4586 Set_Flag16 (N, Val);
4587 end Set_Import_Interface_Present;
4589 procedure Set_In_Present
4590 (N : Node_Id; Val : Boolean := True) is
4592 pragma Assert (False
4593 or else NT (N).Nkind = N_Formal_Object_Declaration
4594 or else NT (N).Nkind = N_Parameter_Specification);
4595 Set_Flag15 (N, Val);
4598 procedure Set_Includes_Infinities
4599 (N : Node_Id; Val : Boolean := True) is
4601 pragma Assert (False
4602 or else NT (N).Nkind = N_Range);
4603 Set_Flag11 (N, Val);
4604 end Set_Includes_Infinities;
4606 procedure Set_Inherited_Discriminant
4607 (N : Node_Id; Val : Boolean := True) is
4609 pragma Assert (False
4610 or else NT (N).Nkind = N_Component_Association);
4611 Set_Flag13 (N, Val);
4612 end Set_Inherited_Discriminant;
4614 procedure Set_Instance_Spec
4615 (N : Node_Id; Val : Node_Id) is
4617 pragma Assert (False
4618 or else NT (N).Nkind = N_Formal_Package_Declaration
4619 or else NT (N).Nkind = N_Function_Instantiation
4620 or else NT (N).Nkind = N_Package_Instantiation
4621 or else NT (N).Nkind = N_Procedure_Instantiation);
4622 Set_Node5 (N, Val); -- semantic field, no Parent set
4623 end Set_Instance_Spec;
4625 procedure Set_Intval
4626 (N : Node_Id; Val : Uint) is
4628 pragma Assert (False
4629 or else NT (N).Nkind = N_Integer_Literal);
4633 procedure Set_Is_Accessibility_Actual
4634 (N : Node_Id; Val : Boolean := True) is
4636 pragma Assert (False
4637 or else NT (N).Nkind = N_Parameter_Association);
4638 Set_Flag13 (N, Val);
4639 end Set_Is_Accessibility_Actual;
4641 procedure Set_Is_Asynchronous_Call_Block
4642 (N : Node_Id; Val : Boolean := True) is
4644 pragma Assert (False
4645 or else NT (N).Nkind = N_Block_Statement);
4647 end Set_Is_Asynchronous_Call_Block;
4649 procedure Set_Is_Component_Left_Opnd
4650 (N : Node_Id; Val : Boolean := True) is
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_Op_Concat);
4654 Set_Flag13 (N, Val);
4655 end Set_Is_Component_Left_Opnd;
4657 procedure Set_Is_Component_Right_Opnd
4658 (N : Node_Id; Val : Boolean := True) is
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Op_Concat);
4662 Set_Flag14 (N, Val);
4663 end Set_Is_Component_Right_Opnd;
4665 procedure Set_Is_Controlling_Actual
4666 (N : Node_Id; Val : Boolean := True) is
4668 pragma Assert (False
4669 or else NT (N).Nkind in N_Subexpr);
4670 Set_Flag16 (N, Val);
4671 end Set_Is_Controlling_Actual;
4673 procedure Set_Is_Delayed_Aspect
4674 (N : Node_Id; Val : Boolean := True) is
4676 pragma Assert (False
4677 or else NT (N).Nkind = N_Attribute_Definition_Clause
4678 or else NT (N).Nkind = N_Pragma);
4679 Set_Flag14 (N, Val);
4680 end Set_Is_Delayed_Aspect;
4682 procedure Set_Is_Dynamic_Coextension
4683 (N : Node_Id; Val : Boolean := True) is
4685 pragma Assert (False
4686 or else NT (N).Nkind = N_Allocator);
4687 Set_Flag18 (N, Val);
4688 end Set_Is_Dynamic_Coextension;
4690 procedure Set_Is_Elsif
4691 (N : Node_Id; Val : Boolean := True) is
4693 pragma Assert (False
4694 or else NT (N).Nkind = N_Conditional_Expression);
4695 Set_Flag13 (N, Val);
4698 procedure Set_Is_Entry_Barrier_Function
4699 (N : Node_Id; Val : Boolean := True) is
4701 pragma Assert (False
4702 or else NT (N).Nkind = N_Subprogram_Body);
4704 end Set_Is_Entry_Barrier_Function;
4706 procedure Set_Is_Expanded_Build_In_Place_Call
4707 (N : Node_Id; Val : Boolean := True) is
4709 pragma Assert (False
4710 or else NT (N).Nkind = N_Function_Call);
4711 Set_Flag11 (N, Val);
4712 end Set_Is_Expanded_Build_In_Place_Call;
4714 procedure Set_Is_Folded_In_Parser
4715 (N : Node_Id; Val : Boolean := True) is
4717 pragma Assert (False
4718 or else NT (N).Nkind = N_String_Literal);
4720 end Set_Is_Folded_In_Parser;
4722 procedure Set_Is_In_Discriminant_Check
4723 (N : Node_Id; Val : Boolean := True) is
4725 pragma Assert (False
4726 or else NT (N).Nkind = N_Selected_Component);
4727 Set_Flag11 (N, Val);
4728 end Set_Is_In_Discriminant_Check;
4730 procedure Set_Is_Machine_Number
4731 (N : Node_Id; Val : Boolean := True) is
4733 pragma Assert (False
4734 or else NT (N).Nkind = N_Real_Literal);
4735 Set_Flag11 (N, Val);
4736 end Set_Is_Machine_Number;
4738 procedure Set_Is_Null_Loop
4739 (N : Node_Id; Val : Boolean := True) is
4741 pragma Assert (False
4742 or else NT (N).Nkind = N_Loop_Statement);
4743 Set_Flag16 (N, Val);
4744 end Set_Is_Null_Loop;
4746 procedure Set_Is_Overloaded
4747 (N : Node_Id; Val : Boolean := True) is
4749 pragma Assert (False
4750 or else NT (N).Nkind in N_Subexpr);
4752 end Set_Is_Overloaded;
4754 procedure Set_Is_Power_Of_2_For_Shift
4755 (N : Node_Id; Val : Boolean := True) is
4757 pragma Assert (False
4758 or else NT (N).Nkind = N_Op_Expon);
4759 Set_Flag13 (N, Val);
4760 end Set_Is_Power_Of_2_For_Shift;
4762 procedure Set_Is_Protected_Subprogram_Body
4763 (N : Node_Id; Val : Boolean := True) is
4765 pragma Assert (False
4766 or else NT (N).Nkind = N_Subprogram_Body);
4768 end Set_Is_Protected_Subprogram_Body;
4770 procedure Set_Is_Static_Coextension
4771 (N : Node_Id; Val : Boolean := True) is
4773 pragma Assert (False
4774 or else NT (N).Nkind = N_Allocator);
4775 Set_Flag14 (N, Val);
4776 end Set_Is_Static_Coextension;
4778 procedure Set_Is_Static_Expression
4779 (N : Node_Id; Val : Boolean := True) is
4781 pragma Assert (False
4782 or else NT (N).Nkind in N_Subexpr);
4784 end Set_Is_Static_Expression;
4786 procedure Set_Is_Subprogram_Descriptor
4787 (N : Node_Id; Val : Boolean := True) is
4789 pragma Assert (False
4790 or else NT (N).Nkind = N_Object_Declaration);
4791 Set_Flag16 (N, Val);
4792 end Set_Is_Subprogram_Descriptor;
4794 procedure Set_Is_Task_Allocation_Block
4795 (N : Node_Id; Val : Boolean := True) is
4797 pragma Assert (False
4798 or else NT (N).Nkind = N_Block_Statement);
4800 end Set_Is_Task_Allocation_Block;
4802 procedure Set_Is_Task_Master
4803 (N : Node_Id; Val : Boolean := True) is
4805 pragma Assert (False
4806 or else NT (N).Nkind = N_Block_Statement
4807 or else NT (N).Nkind = N_Subprogram_Body
4808 or else NT (N).Nkind = N_Task_Body);
4810 end Set_Is_Task_Master;
4812 procedure Set_Iteration_Scheme
4813 (N : Node_Id; Val : Node_Id) is
4815 pragma Assert (False
4816 or else NT (N).Nkind = N_Loop_Statement);
4817 Set_Node2_With_Parent (N, Val);
4818 end Set_Iteration_Scheme;
4821 (N : Node_Id; Val : Entity_Id) is
4823 pragma Assert (False
4824 or else NT (N).Nkind = N_Itype_Reference);
4825 Set_Node1 (N, Val); -- no parent, semantic field
4828 procedure Set_Kill_Range_Check
4829 (N : Node_Id; Val : Boolean := True) is
4831 pragma Assert (False
4832 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4833 Set_Flag11 (N, Val);
4834 end Set_Kill_Range_Check;
4836 procedure Set_Label_Construct
4837 (N : Node_Id; Val : Node_Id) is
4839 pragma Assert (False
4840 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4841 Set_Node2 (N, Val); -- semantic field, no parent set
4842 end Set_Label_Construct;
4844 procedure Set_Last_Bit
4845 (N : Node_Id; Val : Node_Id) is
4847 pragma Assert (False
4848 or else NT (N).Nkind = N_Component_Clause);
4849 Set_Node4_With_Parent (N, Val);
4852 procedure Set_Last_Name
4853 (N : Node_Id; Val : Boolean := True) is
4855 pragma Assert (False
4856 or else NT (N).Nkind = N_With_Clause);
4860 procedure Set_Left_Opnd
4861 (N : Node_Id; Val : Node_Id) is
4863 pragma Assert (False
4864 or else NT (N).Nkind = N_And_Then
4865 or else NT (N).Nkind = N_In
4866 or else NT (N).Nkind = N_Not_In
4867 or else NT (N).Nkind = N_Or_Else
4868 or else NT (N).Nkind in N_Binary_Op);
4869 Set_Node2_With_Parent (N, Val);
4872 procedure Set_Library_Unit
4873 (N : Node_Id; Val : Node_Id) is
4875 pragma Assert (False
4876 or else NT (N).Nkind = N_Compilation_Unit
4877 or else NT (N).Nkind = N_Package_Body_Stub
4878 or else NT (N).Nkind = N_Protected_Body_Stub
4879 or else NT (N).Nkind = N_Subprogram_Body_Stub
4880 or else NT (N).Nkind = N_Task_Body_Stub
4881 or else NT (N).Nkind = N_With_Clause);
4882 Set_Node4 (N, Val); -- semantic field, no parent set
4883 end Set_Library_Unit;
4885 procedure Set_Limited_View_Installed
4886 (N : Node_Id; Val : Boolean := True) is
4888 pragma Assert (False
4889 or else NT (N).Nkind = N_Package_Specification
4890 or else NT (N).Nkind = N_With_Clause);
4891 Set_Flag18 (N, Val);
4892 end Set_Limited_View_Installed;
4894 procedure Set_Limited_Present
4895 (N : Node_Id; Val : Boolean := True) is
4897 pragma Assert (False
4898 or else NT (N).Nkind = N_Derived_Type_Definition
4899 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4900 or else NT (N).Nkind = N_Formal_Private_Type_Definition
4901 or else NT (N).Nkind = N_Private_Extension_Declaration
4902 or else NT (N).Nkind = N_Private_Type_Declaration
4903 or else NT (N).Nkind = N_Record_Definition
4904 or else NT (N).Nkind = N_With_Clause);
4905 Set_Flag17 (N, Val);
4906 end Set_Limited_Present;
4908 procedure Set_Literals
4909 (N : Node_Id; Val : List_Id) is
4911 pragma Assert (False
4912 or else NT (N).Nkind = N_Enumeration_Type_Definition);
4913 Set_List1_With_Parent (N, Val);
4916 procedure Set_Local_Raise_Not_OK
4917 (N : Node_Id; Val : Boolean := True) is
4919 pragma Assert (False
4920 or else NT (N).Nkind = N_Exception_Handler);
4922 end Set_Local_Raise_Not_OK;
4924 procedure Set_Local_Raise_Statements
4925 (N : Node_Id; Val : Elist_Id) is
4927 pragma Assert (False
4928 or else NT (N).Nkind = N_Exception_Handler);
4929 Set_Elist1 (N, Val);
4930 end Set_Local_Raise_Statements;
4932 procedure Set_Loop_Actions
4933 (N : Node_Id; Val : List_Id) is
4935 pragma Assert (False
4936 or else NT (N).Nkind = N_Component_Association);
4937 Set_List2 (N, Val); -- semantic field, no parent set
4938 end Set_Loop_Actions;
4940 procedure Set_Loop_Parameter_Specification
4941 (N : Node_Id; Val : Node_Id) is
4943 pragma Assert (False
4944 or else NT (N).Nkind = N_Iteration_Scheme);
4945 Set_Node4_With_Parent (N, Val);
4946 end Set_Loop_Parameter_Specification;
4948 procedure Set_Low_Bound
4949 (N : Node_Id; Val : Node_Id) is
4951 pragma Assert (False
4952 or else NT (N).Nkind = N_Range
4953 or else NT (N).Nkind = N_Real_Range_Specification
4954 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4955 Set_Node1_With_Parent (N, Val);
4958 procedure Set_Mod_Clause
4959 (N : Node_Id; Val : Node_Id) is
4961 pragma Assert (False
4962 or else NT (N).Nkind = N_Record_Representation_Clause);
4963 Set_Node2_With_Parent (N, Val);
4966 procedure Set_More_Ids
4967 (N : Node_Id; Val : Boolean := True) is
4969 pragma Assert (False
4970 or else NT (N).Nkind = N_Component_Declaration
4971 or else NT (N).Nkind = N_Discriminant_Specification
4972 or else NT (N).Nkind = N_Exception_Declaration
4973 or else NT (N).Nkind = N_Formal_Object_Declaration
4974 or else NT (N).Nkind = N_Number_Declaration
4975 or else NT (N).Nkind = N_Object_Declaration
4976 or else NT (N).Nkind = N_Parameter_Specification);
4980 procedure Set_Must_Be_Byte_Aligned
4981 (N : Node_Id; Val : Boolean := True) is
4983 pragma Assert (False
4984 or else NT (N).Nkind = N_Attribute_Reference);
4985 Set_Flag14 (N, Val);
4986 end Set_Must_Be_Byte_Aligned;
4988 procedure Set_Must_Not_Freeze
4989 (N : Node_Id; Val : Boolean := True) is
4991 pragma Assert (False
4992 or else NT (N).Nkind = N_Subtype_Indication
4993 or else NT (N).Nkind in N_Subexpr);
4995 end Set_Must_Not_Freeze;
4997 procedure Set_Must_Not_Override
4998 (N : Node_Id; Val : Boolean := True) is
5000 pragma Assert (False
5001 or else NT (N).Nkind = N_Entry_Declaration
5002 or else NT (N).Nkind = N_Function_Instantiation
5003 or else NT (N).Nkind = N_Function_Specification
5004 or else NT (N).Nkind = N_Procedure_Instantiation
5005 or else NT (N).Nkind = N_Procedure_Specification);
5006 Set_Flag15 (N, Val);
5007 end Set_Must_Not_Override;
5009 procedure Set_Must_Override
5010 (N : Node_Id; Val : Boolean := True) is
5012 pragma Assert (False
5013 or else NT (N).Nkind = N_Entry_Declaration
5014 or else NT (N).Nkind = N_Function_Instantiation
5015 or else NT (N).Nkind = N_Function_Specification
5016 or else NT (N).Nkind = N_Procedure_Instantiation
5017 or else NT (N).Nkind = N_Procedure_Specification);
5018 Set_Flag14 (N, Val);
5019 end Set_Must_Override;
5022 (N : Node_Id; Val : Node_Id) is
5024 pragma Assert (False
5025 or else NT (N).Nkind = N_Assignment_Statement
5026 or else NT (N).Nkind = N_Attribute_Definition_Clause
5027 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5028 or else NT (N).Nkind = N_Designator
5029 or else NT (N).Nkind = N_Entry_Call_Statement
5030 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5031 or else NT (N).Nkind = N_Exit_Statement
5032 or else NT (N).Nkind = N_Formal_Package_Declaration
5033 or else NT (N).Nkind = N_Function_Call
5034 or else NT (N).Nkind = N_Function_Instantiation
5035 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5036 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5037 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5038 or else NT (N).Nkind = N_Goto_Statement
5039 or else NT (N).Nkind = N_Object_Renaming_Declaration
5040 or else NT (N).Nkind = N_Package_Instantiation
5041 or else NT (N).Nkind = N_Package_Renaming_Declaration
5042 or else NT (N).Nkind = N_Procedure_Call_Statement
5043 or else NT (N).Nkind = N_Procedure_Instantiation
5044 or else NT (N).Nkind = N_Raise_Statement
5045 or else NT (N).Nkind = N_Requeue_Statement
5046 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5047 or else NT (N).Nkind = N_Subunit
5048 or else NT (N).Nkind = N_Variant_Part
5049 or else NT (N).Nkind = N_With_Clause);
5050 Set_Node2_With_Parent (N, Val);
5054 (N : Node_Id; Val : List_Id) is
5056 pragma Assert (False
5057 or else NT (N).Nkind = N_Abort_Statement
5058 or else NT (N).Nkind = N_Use_Package_Clause);
5059 Set_List2_With_Parent (N, Val);
5062 procedure Set_Next_Entity
5063 (N : Node_Id; Val : Node_Id) is
5065 pragma Assert (False
5066 or else NT (N).Nkind = N_Defining_Character_Literal
5067 or else NT (N).Nkind = N_Defining_Identifier
5068 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5069 Set_Node2 (N, Val); -- semantic field, no parent set
5070 end Set_Next_Entity;
5072 procedure Set_Next_Exit_Statement
5073 (N : Node_Id; Val : Node_Id) is
5075 pragma Assert (False
5076 or else NT (N).Nkind = N_Exit_Statement);
5077 Set_Node3 (N, Val); -- semantic field, no parent set
5078 end Set_Next_Exit_Statement;
5080 procedure Set_Next_Implicit_With
5081 (N : Node_Id; Val : Node_Id) is
5083 pragma Assert (False
5084 or else NT (N).Nkind = N_With_Clause);
5085 Set_Node3 (N, Val); -- semantic field, no parent set
5086 end Set_Next_Implicit_With;
5088 procedure Set_Next_Named_Actual
5089 (N : Node_Id; Val : Node_Id) is
5091 pragma Assert (False
5092 or else NT (N).Nkind = N_Parameter_Association);
5093 Set_Node4 (N, Val); -- semantic field, no parent set
5094 end Set_Next_Named_Actual;
5096 procedure Set_Next_Pragma
5097 (N : Node_Id; Val : Node_Id) is
5099 pragma Assert (False
5100 or else NT (N).Nkind = N_Pragma);
5101 Set_Node1 (N, Val); -- semantic field, no parent set
5102 end Set_Next_Pragma;
5104 procedure Set_Next_Rep_Item
5105 (N : Node_Id; Val : Node_Id) is
5107 pragma Assert (False
5108 or else NT (N).Nkind = N_Aspect_Specification
5109 or else NT (N).Nkind = N_Attribute_Definition_Clause
5110 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5111 or else NT (N).Nkind = N_Pragma
5112 or else NT (N).Nkind = N_Record_Representation_Clause);
5113 Set_Node5 (N, Val); -- semantic field, no parent set
5114 end Set_Next_Rep_Item;
5116 procedure Set_Next_Use_Clause
5117 (N : Node_Id; Val : Node_Id) is
5119 pragma Assert (False
5120 or else NT (N).Nkind = N_Use_Package_Clause
5121 or else NT (N).Nkind = N_Use_Type_Clause);
5122 Set_Node3 (N, Val); -- semantic field, no parent set
5123 end Set_Next_Use_Clause;
5125 procedure Set_No_Ctrl_Actions
5126 (N : Node_Id; Val : Boolean := True) is
5128 pragma Assert (False
5129 or else NT (N).Nkind = N_Assignment_Statement);
5131 end Set_No_Ctrl_Actions;
5133 procedure Set_No_Elaboration_Check
5134 (N : Node_Id; Val : Boolean := True) is
5136 pragma Assert (False
5137 or else NT (N).Nkind = N_Function_Call
5138 or else NT (N).Nkind = N_Procedure_Call_Statement);
5139 Set_Flag14 (N, Val);
5140 end Set_No_Elaboration_Check;
5142 procedure Set_No_Entities_Ref_In_Spec
5143 (N : Node_Id; Val : Boolean := True) is
5145 pragma Assert (False
5146 or else NT (N).Nkind = N_With_Clause);
5148 end Set_No_Entities_Ref_In_Spec;
5150 procedure Set_No_Initialization
5151 (N : Node_Id; Val : Boolean := True) is
5153 pragma Assert (False
5154 or else NT (N).Nkind = N_Allocator
5155 or else NT (N).Nkind = N_Object_Declaration);
5156 Set_Flag13 (N, Val);
5157 end Set_No_Initialization;
5159 procedure Set_No_Truncation
5160 (N : Node_Id; Val : Boolean := True) is
5162 pragma Assert (False
5163 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5164 Set_Flag17 (N, Val);
5165 end Set_No_Truncation;
5167 procedure Set_Null_Present
5168 (N : Node_Id; Val : Boolean := True) is
5170 pragma Assert (False
5171 or else NT (N).Nkind = N_Component_List
5172 or else NT (N).Nkind = N_Procedure_Specification
5173 or else NT (N).Nkind = N_Record_Definition);
5174 Set_Flag13 (N, Val);
5175 end Set_Null_Present;
5177 procedure Set_Null_Exclusion_Present
5178 (N : Node_Id; Val : Boolean := True) is
5180 pragma Assert (False
5181 or else NT (N).Nkind = N_Access_Definition
5182 or else NT (N).Nkind = N_Access_Function_Definition
5183 or else NT (N).Nkind = N_Access_Procedure_Definition
5184 or else NT (N).Nkind = N_Access_To_Object_Definition
5185 or else NT (N).Nkind = N_Allocator
5186 or else NT (N).Nkind = N_Component_Definition
5187 or else NT (N).Nkind = N_Derived_Type_Definition
5188 or else NT (N).Nkind = N_Discriminant_Specification
5189 or else NT (N).Nkind = N_Formal_Object_Declaration
5190 or else NT (N).Nkind = N_Function_Specification
5191 or else NT (N).Nkind = N_Object_Declaration
5192 or else NT (N).Nkind = N_Object_Renaming_Declaration
5193 or else NT (N).Nkind = N_Parameter_Specification
5194 or else NT (N).Nkind = N_Subtype_Declaration);
5195 Set_Flag11 (N, Val);
5196 end Set_Null_Exclusion_Present;
5198 procedure Set_Null_Exclusion_In_Return_Present
5199 (N : Node_Id; Val : Boolean := True) is
5201 pragma Assert (False
5202 or else NT (N).Nkind = N_Access_Function_Definition);
5203 Set_Flag14 (N, Val);
5204 end Set_Null_Exclusion_In_Return_Present;
5206 procedure Set_Null_Record_Present
5207 (N : Node_Id; Val : Boolean := True) is
5209 pragma Assert (False
5210 or else NT (N).Nkind = N_Aggregate
5211 or else NT (N).Nkind = N_Extension_Aggregate);
5212 Set_Flag17 (N, Val);
5213 end Set_Null_Record_Present;
5215 procedure Set_Object_Definition
5216 (N : Node_Id; Val : Node_Id) is
5218 pragma Assert (False
5219 or else NT (N).Nkind = N_Object_Declaration);
5220 Set_Node4_With_Parent (N, Val);
5221 end Set_Object_Definition;
5223 procedure Set_Original_Discriminant
5224 (N : Node_Id; Val : Node_Id) is
5226 pragma Assert (False
5227 or else NT (N).Nkind = N_Identifier);
5228 Set_Node2 (N, Val); -- semantic field, no parent set
5229 end Set_Original_Discriminant;
5231 procedure Set_Original_Entity
5232 (N : Node_Id; Val : Entity_Id) is
5234 pragma Assert (False
5235 or else NT (N).Nkind = N_Integer_Literal
5236 or else NT (N).Nkind = N_Real_Literal);
5237 Set_Node2 (N, Val); -- semantic field, no parent set
5238 end Set_Original_Entity;
5240 procedure Set_Others_Discrete_Choices
5241 (N : Node_Id; Val : List_Id) is
5243 pragma Assert (False
5244 or else NT (N).Nkind = N_Others_Choice);
5245 Set_List1_With_Parent (N, Val);
5246 end Set_Others_Discrete_Choices;
5248 procedure Set_Out_Present
5249 (N : Node_Id; Val : Boolean := True) is
5251 pragma Assert (False
5252 or else NT (N).Nkind = N_Formal_Object_Declaration
5253 or else NT (N).Nkind = N_Parameter_Specification);
5254 Set_Flag17 (N, Val);
5255 end Set_Out_Present;
5257 procedure Set_Parameter_Associations
5258 (N : Node_Id; Val : List_Id) is
5260 pragma Assert (False
5261 or else NT (N).Nkind = N_Entry_Call_Statement
5262 or else NT (N).Nkind = N_Function_Call
5263 or else NT (N).Nkind = N_Procedure_Call_Statement);
5264 Set_List3_With_Parent (N, Val);
5265 end Set_Parameter_Associations;
5267 procedure Set_Parameter_List_Truncated
5268 (N : Node_Id; Val : Boolean := True) is
5270 pragma Assert (False
5271 or else NT (N).Nkind = N_Function_Call
5272 or else NT (N).Nkind = N_Procedure_Call_Statement);
5273 Set_Flag17 (N, Val);
5274 end Set_Parameter_List_Truncated;
5276 procedure Set_Parameter_Specifications
5277 (N : Node_Id; Val : List_Id) is
5279 pragma Assert (False
5280 or else NT (N).Nkind = N_Accept_Statement
5281 or else NT (N).Nkind = N_Access_Function_Definition
5282 or else NT (N).Nkind = N_Access_Procedure_Definition
5283 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5284 or else NT (N).Nkind = N_Entry_Declaration
5285 or else NT (N).Nkind = N_Function_Specification
5286 or else NT (N).Nkind = N_Procedure_Specification);
5287 Set_List3_With_Parent (N, Val);
5288 end Set_Parameter_Specifications;
5290 procedure Set_Parameter_Type
5291 (N : Node_Id; Val : Node_Id) is
5293 pragma Assert (False
5294 or else NT (N).Nkind = N_Parameter_Specification);
5295 Set_Node2_With_Parent (N, Val);
5296 end Set_Parameter_Type;
5298 procedure Set_Parent_Spec
5299 (N : Node_Id; Val : Node_Id) is
5301 pragma Assert (False
5302 or else NT (N).Nkind = N_Function_Instantiation
5303 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5304 or else NT (N).Nkind = N_Generic_Package_Declaration
5305 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5306 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5307 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5308 or else NT (N).Nkind = N_Package_Declaration
5309 or else NT (N).Nkind = N_Package_Instantiation
5310 or else NT (N).Nkind = N_Package_Renaming_Declaration
5311 or else NT (N).Nkind = N_Procedure_Instantiation
5312 or else NT (N).Nkind = N_Subprogram_Declaration
5313 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5314 Set_Node4 (N, Val); -- semantic field, no parent set
5315 end Set_Parent_Spec;
5317 procedure Set_Position
5318 (N : Node_Id; Val : Node_Id) is
5320 pragma Assert (False
5321 or else NT (N).Nkind = N_Component_Clause);
5322 Set_Node2_With_Parent (N, Val);
5325 procedure Set_Pragma_Argument_Associations
5326 (N : Node_Id; Val : List_Id) is
5328 pragma Assert (False
5329 or else NT (N).Nkind = N_Pragma);
5330 Set_List2_With_Parent (N, Val);
5331 end Set_Pragma_Argument_Associations;
5333 procedure Set_Pragma_Enabled
5334 (N : Node_Id; Val : Boolean := True) is
5336 pragma Assert (False
5337 or else NT (N).Nkind = N_Pragma);
5339 end Set_Pragma_Enabled;
5341 procedure Set_Pragma_Identifier
5342 (N : Node_Id; Val : Node_Id) is
5344 pragma Assert (False
5345 or else NT (N).Nkind = N_Pragma);
5346 Set_Node4_With_Parent (N, Val);
5347 end Set_Pragma_Identifier;
5349 procedure Set_Pragmas_After
5350 (N : Node_Id; Val : List_Id) is
5352 pragma Assert (False
5353 or else NT (N).Nkind = N_Compilation_Unit_Aux
5354 or else NT (N).Nkind = N_Terminate_Alternative);
5355 Set_List5_With_Parent (N, Val);
5356 end Set_Pragmas_After;
5358 procedure Set_Pragmas_Before
5359 (N : Node_Id; Val : List_Id) is
5361 pragma Assert (False
5362 or else NT (N).Nkind = N_Accept_Alternative
5363 or else NT (N).Nkind = N_Delay_Alternative
5364 or else NT (N).Nkind = N_Entry_Call_Alternative
5365 or else NT (N).Nkind = N_Mod_Clause
5366 or else NT (N).Nkind = N_Terminate_Alternative
5367 or else NT (N).Nkind = N_Triggering_Alternative);
5368 Set_List4_With_Parent (N, Val);
5369 end Set_Pragmas_Before;
5371 procedure Set_Prefix
5372 (N : Node_Id; Val : Node_Id) is
5374 pragma Assert (False
5375 or else NT (N).Nkind = N_Attribute_Reference
5376 or else NT (N).Nkind = N_Expanded_Name
5377 or else NT (N).Nkind = N_Explicit_Dereference
5378 or else NT (N).Nkind = N_Indexed_Component
5379 or else NT (N).Nkind = N_Reference
5380 or else NT (N).Nkind = N_Selected_Component
5381 or else NT (N).Nkind = N_Slice);
5382 Set_Node3_With_Parent (N, Val);
5385 procedure Set_Present_Expr
5386 (N : Node_Id; Val : Uint) is
5388 pragma Assert (False
5389 or else NT (N).Nkind = N_Variant);
5391 end Set_Present_Expr;
5393 procedure Set_Prev_Ids
5394 (N : Node_Id; Val : Boolean := True) is
5396 pragma Assert (False
5397 or else NT (N).Nkind = N_Component_Declaration
5398 or else NT (N).Nkind = N_Discriminant_Specification
5399 or else NT (N).Nkind = N_Exception_Declaration
5400 or else NT (N).Nkind = N_Formal_Object_Declaration
5401 or else NT (N).Nkind = N_Number_Declaration
5402 or else NT (N).Nkind = N_Object_Declaration
5403 or else NT (N).Nkind = N_Parameter_Specification);
5407 procedure Set_Print_In_Hex
5408 (N : Node_Id; Val : Boolean := True) is
5410 pragma Assert (False
5411 or else NT (N).Nkind = N_Integer_Literal);
5412 Set_Flag13 (N, Val);
5413 end Set_Print_In_Hex;
5415 procedure Set_Private_Declarations
5416 (N : Node_Id; Val : List_Id) is
5418 pragma Assert (False
5419 or else NT (N).Nkind = N_Package_Specification
5420 or else NT (N).Nkind = N_Protected_Definition
5421 or else NT (N).Nkind = N_Task_Definition);
5422 Set_List3_With_Parent (N, Val);
5423 end Set_Private_Declarations;
5425 procedure Set_Private_Present
5426 (N : Node_Id; Val : Boolean := True) is
5428 pragma Assert (False
5429 or else NT (N).Nkind = N_Compilation_Unit
5430 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5431 or else NT (N).Nkind = N_With_Clause);
5432 Set_Flag15 (N, Val);
5433 end Set_Private_Present;
5435 procedure Set_Procedure_To_Call
5436 (N : Node_Id; Val : Node_Id) is
5438 pragma Assert (False
5439 or else NT (N).Nkind = N_Allocator
5440 or else NT (N).Nkind = N_Extended_Return_Statement
5441 or else NT (N).Nkind = N_Free_Statement
5442 or else NT (N).Nkind = N_Return_Statement);
5443 Set_Node2 (N, Val); -- semantic field, no parent set
5444 end Set_Procedure_To_Call;
5446 procedure Set_Proper_Body
5447 (N : Node_Id; Val : Node_Id) is
5449 pragma Assert (False
5450 or else NT (N).Nkind = N_Subunit);
5451 Set_Node1_With_Parent (N, Val);
5452 end Set_Proper_Body;
5454 procedure Set_Protected_Definition
5455 (N : Node_Id; Val : Node_Id) is
5457 pragma Assert (False
5458 or else NT (N).Nkind = N_Protected_Type_Declaration
5459 or else NT (N).Nkind = N_Single_Protected_Declaration);
5460 Set_Node3_With_Parent (N, Val);
5461 end Set_Protected_Definition;
5463 procedure Set_Protected_Present
5464 (N : Node_Id; Val : Boolean := True) is
5466 pragma Assert (False
5467 or else NT (N).Nkind = N_Access_Function_Definition
5468 or else NT (N).Nkind = N_Access_Procedure_Definition
5469 or else NT (N).Nkind = N_Derived_Type_Definition
5470 or else NT (N).Nkind = N_Record_Definition);
5472 end Set_Protected_Present;
5474 procedure Set_Raises_Constraint_Error
5475 (N : Node_Id; Val : Boolean := True) is
5477 pragma Assert (False
5478 or else NT (N).Nkind in N_Subexpr);
5480 end Set_Raises_Constraint_Error;
5482 procedure Set_Range_Constraint
5483 (N : Node_Id; Val : Node_Id) is
5485 pragma Assert (False
5486 or else NT (N).Nkind = N_Delta_Constraint
5487 or else NT (N).Nkind = N_Digits_Constraint);
5488 Set_Node4_With_Parent (N, Val);
5489 end Set_Range_Constraint;
5491 procedure Set_Range_Expression
5492 (N : Node_Id; Val : Node_Id) is
5494 pragma Assert (False
5495 or else NT (N).Nkind = N_Range_Constraint);
5496 Set_Node4_With_Parent (N, Val);
5497 end Set_Range_Expression;
5499 procedure Set_Real_Range_Specification
5500 (N : Node_Id; Val : Node_Id) is
5502 pragma Assert (False
5503 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5504 or else NT (N).Nkind = N_Floating_Point_Definition
5505 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5506 Set_Node4_With_Parent (N, Val);
5507 end Set_Real_Range_Specification;
5509 procedure Set_Realval
5510 (N : Node_Id; Val : Ureal) is
5512 pragma Assert (False
5513 or else NT (N).Nkind = N_Real_Literal);
5514 Set_Ureal3 (N, Val);
5517 procedure Set_Reason
5518 (N : Node_Id; Val : Uint) is
5520 pragma Assert (False
5521 or else NT (N).Nkind = N_Raise_Constraint_Error
5522 or else NT (N).Nkind = N_Raise_Program_Error
5523 or else NT (N).Nkind = N_Raise_Storage_Error);
5527 procedure Set_Record_Extension_Part
5528 (N : Node_Id; Val : Node_Id) is
5530 pragma Assert (False
5531 or else NT (N).Nkind = N_Derived_Type_Definition);
5532 Set_Node3_With_Parent (N, Val);
5533 end Set_Record_Extension_Part;
5535 procedure Set_Redundant_Use
5536 (N : Node_Id; Val : Boolean := True) is
5538 pragma Assert (False
5539 or else NT (N).Nkind = N_Attribute_Reference
5540 or else NT (N).Nkind = N_Expanded_Name
5541 or else NT (N).Nkind = N_Identifier);
5542 Set_Flag13 (N, Val);
5543 end Set_Redundant_Use;
5545 procedure Set_Renaming_Exception
5546 (N : Node_Id; Val : Node_Id) is
5548 pragma Assert (False
5549 or else NT (N).Nkind = N_Exception_Declaration);
5551 end Set_Renaming_Exception;
5553 procedure Set_Result_Definition
5554 (N : Node_Id; Val : Node_Id) is
5556 pragma Assert (False
5557 or else NT (N).Nkind = N_Access_Function_Definition
5558 or else NT (N).Nkind = N_Function_Specification);
5559 Set_Node4_With_Parent (N, Val);
5560 end Set_Result_Definition;
5562 procedure Set_Return_Object_Declarations
5563 (N : Node_Id; Val : List_Id) is
5565 pragma Assert (False
5566 or else NT (N).Nkind = N_Extended_Return_Statement);
5567 Set_List3_With_Parent (N, Val);
5568 end Set_Return_Object_Declarations;
5570 procedure Set_Return_Statement_Entity
5571 (N : Node_Id; Val : Node_Id) is
5573 pragma Assert (False
5574 or else NT (N).Nkind = N_Extended_Return_Statement
5575 or else NT (N).Nkind = N_Return_Statement);
5576 Set_Node5 (N, Val); -- semantic field, no parent set
5577 end Set_Return_Statement_Entity;
5579 procedure Set_Reverse_Present
5580 (N : Node_Id; Val : Boolean := True) is
5582 pragma Assert (False
5583 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5584 Set_Flag15 (N, Val);
5585 end Set_Reverse_Present;
5587 procedure Set_Right_Opnd
5588 (N : Node_Id; Val : Node_Id) is
5590 pragma Assert (False
5591 or else NT (N).Nkind in N_Op
5592 or else NT (N).Nkind = N_And_Then
5593 or else NT (N).Nkind = N_In
5594 or else NT (N).Nkind = N_Not_In
5595 or else NT (N).Nkind = N_Or_Else);
5596 Set_Node3_With_Parent (N, Val);
5599 procedure Set_Rounded_Result
5600 (N : Node_Id; Val : Boolean := True) is
5602 pragma Assert (False
5603 or else NT (N).Nkind = N_Op_Divide
5604 or else NT (N).Nkind = N_Op_Multiply
5605 or else NT (N).Nkind = N_Type_Conversion);
5606 Set_Flag18 (N, Val);
5607 end Set_Rounded_Result;
5609 procedure Set_SCIL_Controlling_Tag
5610 (N : Node_Id; Val : Node_Id) is
5612 pragma Assert (False
5613 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5614 Set_Node5 (N, Val); -- semantic field, no parent set
5615 end Set_SCIL_Controlling_Tag;
5617 procedure Set_SCIL_Entity
5618 (N : Node_Id; Val : Node_Id) is
5620 pragma Assert (False
5621 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5622 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5623 or else NT (N).Nkind = N_SCIL_Membership_Test);
5624 Set_Node4 (N, Val); -- semantic field, no parent set
5625 end Set_SCIL_Entity;
5627 procedure Set_SCIL_Tag_Value
5628 (N : Node_Id; Val : Node_Id) is
5630 pragma Assert (False
5631 or else NT (N).Nkind = N_SCIL_Membership_Test);
5632 Set_Node5 (N, Val); -- semantic field, no parent set
5633 end Set_SCIL_Tag_Value;
5635 procedure Set_SCIL_Target_Prim
5636 (N : Node_Id; Val : Node_Id) is
5638 pragma Assert (False
5639 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5640 Set_Node2 (N, Val); -- semantic field, no parent set
5641 end Set_SCIL_Target_Prim;
5644 (N : Node_Id; Val : Node_Id) is
5646 pragma Assert (False
5647 or else NT (N).Nkind = N_Defining_Character_Literal
5648 or else NT (N).Nkind = N_Defining_Identifier
5649 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5650 Set_Node3 (N, Val); -- semantic field, no parent set
5653 procedure Set_Select_Alternatives
5654 (N : Node_Id; Val : List_Id) is
5656 pragma Assert (False
5657 or else NT (N).Nkind = N_Selective_Accept);
5658 Set_List1_With_Parent (N, Val);
5659 end Set_Select_Alternatives;
5661 procedure Set_Selector_Name
5662 (N : Node_Id; Val : Node_Id) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Expanded_Name
5666 or else NT (N).Nkind = N_Generic_Association
5667 or else NT (N).Nkind = N_Parameter_Association
5668 or else NT (N).Nkind = N_Selected_Component);
5669 Set_Node2_With_Parent (N, Val);
5670 end Set_Selector_Name;
5672 procedure Set_Selector_Names
5673 (N : Node_Id; Val : List_Id) is
5675 pragma Assert (False
5676 or else NT (N).Nkind = N_Discriminant_Association);
5677 Set_List1_With_Parent (N, Val);
5678 end Set_Selector_Names;
5680 procedure Set_Shift_Count_OK
5681 (N : Node_Id; Val : Boolean := True) is
5683 pragma Assert (False
5684 or else NT (N).Nkind = N_Op_Rotate_Left
5685 or else NT (N).Nkind = N_Op_Rotate_Right
5686 or else NT (N).Nkind = N_Op_Shift_Left
5687 or else NT (N).Nkind = N_Op_Shift_Right
5688 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5690 end Set_Shift_Count_OK;
5692 procedure Set_Source_Type
5693 (N : Node_Id; Val : Entity_Id) is
5695 pragma Assert (False
5696 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5697 Set_Node1 (N, Val); -- semantic field, no parent set
5698 end Set_Source_Type;
5700 procedure Set_Specification
5701 (N : Node_Id; Val : Node_Id) is
5703 pragma Assert (False
5704 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5705 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5706 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5707 or else NT (N).Nkind = N_Generic_Package_Declaration
5708 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5709 or else NT (N).Nkind = N_Package_Declaration
5710 or else NT (N).Nkind = N_Parameterized_Expression
5711 or else NT (N).Nkind = N_Subprogram_Body
5712 or else NT (N).Nkind = N_Subprogram_Body_Stub
5713 or else NT (N).Nkind = N_Subprogram_Declaration
5714 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5715 Set_Node1_With_Parent (N, Val);
5716 end Set_Specification;
5718 procedure Set_Split_PPC
5719 (N : Node_Id; Val : Boolean) is
5721 pragma Assert (False
5722 or else NT (N).Nkind = N_Aspect_Specification
5723 or else NT (N).Nkind = N_Pragma);
5724 Set_Flag17 (N, Val);
5727 procedure Set_Statements
5728 (N : Node_Id; Val : List_Id) is
5730 pragma Assert (False
5731 or else NT (N).Nkind = N_Abortable_Part
5732 or else NT (N).Nkind = N_Accept_Alternative
5733 or else NT (N).Nkind = N_Case_Statement_Alternative
5734 or else NT (N).Nkind = N_Delay_Alternative
5735 or else NT (N).Nkind = N_Entry_Call_Alternative
5736 or else NT (N).Nkind = N_Exception_Handler
5737 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5738 or else NT (N).Nkind = N_Loop_Statement
5739 or else NT (N).Nkind = N_Triggering_Alternative);
5740 Set_List3_With_Parent (N, Val);
5743 procedure Set_Static_Processing_OK
5744 (N : Node_Id; Val : Boolean) is
5746 pragma Assert (False
5747 or else NT (N).Nkind = N_Aggregate);
5749 end Set_Static_Processing_OK;
5751 procedure Set_Storage_Pool
5752 (N : Node_Id; Val : Node_Id) is
5754 pragma Assert (False
5755 or else NT (N).Nkind = N_Allocator
5756 or else NT (N).Nkind = N_Extended_Return_Statement
5757 or else NT (N).Nkind = N_Free_Statement
5758 or else NT (N).Nkind = N_Return_Statement);
5759 Set_Node1 (N, Val); -- semantic field, no parent set
5760 end Set_Storage_Pool;
5762 procedure Set_Strval
5763 (N : Node_Id; Val : String_Id) is
5765 pragma Assert (False
5766 or else NT (N).Nkind = N_Operator_Symbol
5767 or else NT (N).Nkind = N_String_Literal);
5771 procedure Set_Subtype_Indication
5772 (N : Node_Id; Val : Node_Id) is
5774 pragma Assert (False
5775 or else NT (N).Nkind = N_Access_To_Object_Definition
5776 or else NT (N).Nkind = N_Component_Definition
5777 or else NT (N).Nkind = N_Derived_Type_Definition
5778 or else NT (N).Nkind = N_Private_Extension_Declaration
5779 or else NT (N).Nkind = N_Subtype_Declaration);
5780 Set_Node5_With_Parent (N, Val);
5781 end Set_Subtype_Indication;
5783 procedure Set_Subtype_Mark
5784 (N : Node_Id; Val : Node_Id) is
5786 pragma Assert (False
5787 or else NT (N).Nkind = N_Access_Definition
5788 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5789 or else NT (N).Nkind = N_Formal_Object_Declaration
5790 or else NT (N).Nkind = N_Object_Renaming_Declaration
5791 or else NT (N).Nkind = N_Qualified_Expression
5792 or else NT (N).Nkind = N_Subtype_Indication
5793 or else NT (N).Nkind = N_Type_Conversion
5794 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5795 Set_Node4_With_Parent (N, Val);
5796 end Set_Subtype_Mark;
5798 procedure Set_Subtype_Marks
5799 (N : Node_Id; Val : List_Id) is
5801 pragma Assert (False
5802 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5803 or else NT (N).Nkind = N_Use_Type_Clause);
5804 Set_List2_With_Parent (N, Val);
5805 end Set_Subtype_Marks;
5807 procedure Set_Suppress_Loop_Warnings
5808 (N : Node_Id; Val : Boolean := True) is
5810 pragma Assert (False
5811 or else NT (N).Nkind = N_Loop_Statement);
5812 Set_Flag17 (N, Val);
5813 end Set_Suppress_Loop_Warnings;
5815 procedure Set_Synchronized_Present
5816 (N : Node_Id; Val : Boolean := True) is
5818 pragma Assert (False
5819 or else NT (N).Nkind = N_Derived_Type_Definition
5820 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5821 or else NT (N).Nkind = N_Private_Extension_Declaration
5822 or else NT (N).Nkind = N_Record_Definition);
5824 end Set_Synchronized_Present;
5826 procedure Set_Tagged_Present
5827 (N : Node_Id; Val : Boolean := True) is
5829 pragma Assert (False
5830 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5831 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5832 or else NT (N).Nkind = N_Private_Type_Declaration
5833 or else NT (N).Nkind = N_Record_Definition);
5834 Set_Flag15 (N, Val);
5835 end Set_Tagged_Present;
5837 procedure Set_Target_Type
5838 (N : Node_Id; Val : Entity_Id) is
5840 pragma Assert (False
5841 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5842 Set_Node2 (N, Val); -- semantic field, no parent set
5843 end Set_Target_Type;
5845 procedure Set_Task_Definition
5846 (N : Node_Id; Val : Node_Id) is
5848 pragma Assert (False
5849 or else NT (N).Nkind = N_Single_Task_Declaration
5850 or else NT (N).Nkind = N_Task_Type_Declaration);
5851 Set_Node3_With_Parent (N, Val);
5852 end Set_Task_Definition;
5854 procedure Set_Task_Present
5855 (N : Node_Id; Val : Boolean := True) is
5857 pragma Assert (False
5858 or else NT (N).Nkind = N_Derived_Type_Definition
5859 or else NT (N).Nkind = N_Record_Definition);
5861 end Set_Task_Present;
5863 procedure Set_Then_Actions
5864 (N : Node_Id; Val : List_Id) is
5866 pragma Assert (False
5867 or else NT (N).Nkind = N_Conditional_Expression);
5868 Set_List2 (N, Val); -- semantic field, no parent set
5869 end Set_Then_Actions;
5871 procedure Set_Then_Statements
5872 (N : Node_Id; Val : List_Id) is
5874 pragma Assert (False
5875 or else NT (N).Nkind = N_Elsif_Part
5876 or else NT (N).Nkind = N_If_Statement);
5877 Set_List2_With_Parent (N, Val);
5878 end Set_Then_Statements;
5880 procedure Set_Treat_Fixed_As_Integer
5881 (N : Node_Id; Val : Boolean := True) is
5883 pragma Assert (False
5884 or else NT (N).Nkind = N_Op_Divide
5885 or else NT (N).Nkind = N_Op_Mod
5886 or else NT (N).Nkind = N_Op_Multiply
5887 or else NT (N).Nkind = N_Op_Rem);
5888 Set_Flag14 (N, Val);
5889 end Set_Treat_Fixed_As_Integer;
5891 procedure Set_Triggering_Alternative
5892 (N : Node_Id; Val : Node_Id) is
5894 pragma Assert (False
5895 or else NT (N).Nkind = N_Asynchronous_Select);
5896 Set_Node1_With_Parent (N, Val);
5897 end Set_Triggering_Alternative;
5899 procedure Set_Triggering_Statement
5900 (N : Node_Id; Val : Node_Id) is
5902 pragma Assert (False
5903 or else NT (N).Nkind = N_Triggering_Alternative);
5904 Set_Node1_With_Parent (N, Val);
5905 end Set_Triggering_Statement;
5907 procedure Set_TSS_Elist
5908 (N : Node_Id; Val : Elist_Id) is
5910 pragma Assert (False
5911 or else NT (N).Nkind = N_Freeze_Entity);
5912 Set_Elist3 (N, Val); -- semantic field, no parent set
5915 procedure Set_Type_Definition
5916 (N : Node_Id; Val : Node_Id) is
5918 pragma Assert (False
5919 or else NT (N).Nkind = N_Full_Type_Declaration);
5920 Set_Node3_With_Parent (N, Val);
5921 end Set_Type_Definition;
5924 (N : Node_Id; Val : Node_Id) is
5926 pragma Assert (False
5927 or else NT (N).Nkind = N_Compilation_Unit);
5928 Set_Node2_With_Parent (N, Val);
5931 procedure Set_Unknown_Discriminants_Present
5932 (N : Node_Id; Val : Boolean := True) is
5934 pragma Assert (False
5935 or else NT (N).Nkind = N_Formal_Type_Declaration
5936 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5937 or else NT (N).Nkind = N_Private_Extension_Declaration
5938 or else NT (N).Nkind = N_Private_Type_Declaration);
5939 Set_Flag13 (N, Val);
5940 end Set_Unknown_Discriminants_Present;
5942 procedure Set_Unreferenced_In_Spec
5943 (N : Node_Id; Val : Boolean := True) is
5945 pragma Assert (False
5946 or else NT (N).Nkind = N_With_Clause);
5948 end Set_Unreferenced_In_Spec;
5950 procedure Set_Variant_Part
5951 (N : Node_Id; Val : Node_Id) is
5953 pragma Assert (False
5954 or else NT (N).Nkind = N_Component_List);
5955 Set_Node4_With_Parent (N, Val);
5956 end Set_Variant_Part;
5958 procedure Set_Variants
5959 (N : Node_Id; Val : List_Id) is
5961 pragma Assert (False
5962 or else NT (N).Nkind = N_Variant_Part);
5963 Set_List1_With_Parent (N, Val);
5966 procedure Set_Visible_Declarations
5967 (N : Node_Id; Val : List_Id) is
5969 pragma Assert (False
5970 or else NT (N).Nkind = N_Package_Specification
5971 or else NT (N).Nkind = N_Protected_Definition
5972 or else NT (N).Nkind = N_Task_Definition);
5973 Set_List2_With_Parent (N, Val);
5974 end Set_Visible_Declarations;
5976 procedure Set_Was_Originally_Stub
5977 (N : Node_Id; Val : Boolean := True) is
5979 pragma Assert (False
5980 or else NT (N).Nkind = N_Package_Body
5981 or else NT (N).Nkind = N_Protected_Body
5982 or else NT (N).Nkind = N_Subprogram_Body
5983 or else NT (N).Nkind = N_Task_Body);
5984 Set_Flag13 (N, Val);
5985 end Set_Was_Originally_Stub;
5987 procedure Set_Withed_Body
5988 (N : Node_Id; Val : Node_Id) is
5990 pragma Assert (False
5991 or else NT (N).Nkind = N_With_Clause);
5993 end Set_Withed_Body;
5995 procedure Set_Zero_Cost_Handling
5996 (N : Node_Id; Val : Boolean := True) is
5998 pragma Assert (False
5999 or else NT (N).Nkind = N_Exception_Handler
6000 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
6002 end Set_Zero_Cost_Handling;
6004 -------------------------
6005 -- Iterator Procedures --
6006 -------------------------
6008 procedure Next_Entity (N : in out Node_Id) is
6010 N := Next_Entity (N);
6013 procedure Next_Named_Actual (N : in out Node_Id) is
6015 N := Next_Named_Actual (N);
6016 end Next_Named_Actual;
6018 procedure Next_Rep_Item (N : in out Node_Id) is
6020 N := Next_Rep_Item (N);
6023 procedure Next_Use_Clause (N : in out Node_Id) is
6025 N := Next_Use_Clause (N);
6026 end Next_Use_Clause;
6032 function End_Location (N : Node_Id) return Source_Ptr is
6033 L : constant Uint := End_Span (N);
6038 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6042 --------------------
6043 -- Get_Pragma_Arg --
6044 --------------------
6046 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6048 if Nkind (Arg) = N_Pragma_Argument_Association then
6049 return Expression (Arg);
6055 ----------------------
6056 -- Set_End_Location --
6057 ----------------------
6059 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6062 UI_From_Int (Int (S) - Int (Sloc (N))));
6063 end Set_End_Location;
6072 V2 : Node_Kind) return Boolean
6075 return T = V1 or else
6083 V3 : Node_Kind) return Boolean
6086 return T = V1 or else
6096 V4 : Node_Kind) return Boolean
6099 return T = V1 or else
6111 V5 : Node_Kind) return Boolean
6114 return T = V1 or else
6128 V6 : Node_Kind) return Boolean
6131 return T = V1 or else
6147 V7 : Node_Kind) return Boolean
6150 return T = V1 or else
6168 V8 : Node_Kind) return Boolean
6171 return T = V1 or else
6191 V9 : Node_Kind) return Boolean
6194 return T = V1 or else
6209 function Pragma_Name (N : Node_Id) return Name_Id is
6211 return Chars (Pragma_Identifier (N));