1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2011, 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_Quantified_Expression
228 or else NT (N).Nkind = N_Use_Type_Clause);
232 function Alternatives
233 (N : Node_Id) return List_Id is
236 or else NT (N).Nkind = N_Case_Expression
237 or else NT (N).Nkind = N_Case_Statement
238 or else NT (N).Nkind = N_In
239 or else NT (N).Nkind = N_Not_In);
243 function Ancestor_Part
244 (N : Node_Id) return Node_Id is
247 or else NT (N).Nkind = N_Extension_Aggregate);
251 function Array_Aggregate
252 (N : Node_Id) return Node_Id is
255 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
259 function Aspect_Rep_Item
260 (N : Node_Id) return Node_Id is
263 or else NT (N).Nkind = N_Aspect_Specification);
267 function Assignment_OK
268 (N : Node_Id) return Boolean is
271 or else NT (N).Nkind = N_Object_Declaration
272 or else NT (N).Nkind in N_Subexpr);
276 function Associated_Node
277 (N : Node_Id) return Node_Id is
280 or else NT (N).Nkind in N_Has_Entity
281 or else NT (N).Nkind = N_Aggregate
282 or else NT (N).Nkind = N_Extension_Aggregate
283 or else NT (N).Nkind = N_Selected_Component);
288 (N : Node_Id) return Node_Id is
291 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
295 function Attribute_Name
296 (N : Node_Id) return Name_Id is
299 or else NT (N).Nkind = N_Attribute_Reference);
303 function Aux_Decls_Node
304 (N : Node_Id) return Node_Id is
307 or else NT (N).Nkind = N_Compilation_Unit);
311 function Backwards_OK
312 (N : Node_Id) return Boolean is
315 or else NT (N).Nkind = N_Assignment_Statement);
319 function Bad_Is_Detected
320 (N : Node_Id) return Boolean is
323 or else NT (N).Nkind = N_Subprogram_Body);
327 function Body_Required
328 (N : Node_Id) return Boolean is
331 or else NT (N).Nkind = N_Compilation_Unit);
335 function Body_To_Inline
336 (N : Node_Id) return Node_Id is
339 or else NT (N).Nkind = N_Subprogram_Declaration);
344 (N : Node_Id) return Boolean is
347 or else NT (N).Nkind = N_Component_Association
348 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
349 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
350 or else NT (N).Nkind = N_Formal_Package_Declaration
351 or else NT (N).Nkind = N_Generic_Association);
356 (N : Node_Id) return Boolean is
359 or else NT (N).Nkind = N_Extended_Return_Statement
360 or else NT (N).Nkind = N_Return_Statement);
364 function Char_Literal_Value
365 (N : Node_Id) return Uint is
368 or else NT (N).Nkind = N_Character_Literal);
370 end Char_Literal_Value;
373 (N : Node_Id) return Name_Id is
376 or else NT (N).Nkind in N_Has_Chars);
380 function Check_Address_Alignment
381 (N : Node_Id) return Boolean is
384 or else NT (N).Nkind = N_Attribute_Definition_Clause);
386 end Check_Address_Alignment;
388 function Choice_Parameter
389 (N : Node_Id) return Node_Id is
392 or else NT (N).Nkind = N_Exception_Handler);
394 end Choice_Parameter;
397 (N : Node_Id) return List_Id is
400 or else NT (N).Nkind = N_Component_Association);
404 function Class_Present
405 (N : Node_Id) return Boolean is
408 or else NT (N).Nkind = N_Aspect_Specification
409 or else NT (N).Nkind = N_Pragma);
413 function Coextensions
414 (N : Node_Id) return Elist_Id is
417 or else NT (N).Nkind = N_Allocator);
421 function Comes_From_Extended_Return_Statement
422 (N : Node_Id) return Boolean is
425 or else NT (N).Nkind = N_Return_Statement);
427 end Comes_From_Extended_Return_Statement;
429 function Compile_Time_Known_Aggregate
430 (N : Node_Id) return Boolean is
433 or else NT (N).Nkind = N_Aggregate);
435 end Compile_Time_Known_Aggregate;
437 function Component_Associations
438 (N : Node_Id) return List_Id is
441 or else NT (N).Nkind = N_Aggregate
442 or else NT (N).Nkind = N_Extension_Aggregate);
444 end Component_Associations;
446 function Component_Clauses
447 (N : Node_Id) return List_Id is
450 or else NT (N).Nkind = N_Record_Representation_Clause);
452 end Component_Clauses;
454 function Component_Definition
455 (N : Node_Id) return Node_Id is
458 or else NT (N).Nkind = N_Component_Declaration
459 or else NT (N).Nkind = N_Constrained_Array_Definition
460 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
462 end Component_Definition;
464 function Component_Items
465 (N : Node_Id) return List_Id is
468 or else NT (N).Nkind = N_Component_List);
472 function Component_List
473 (N : Node_Id) return Node_Id is
476 or else NT (N).Nkind = N_Record_Definition
477 or else NT (N).Nkind = N_Variant);
481 function Component_Name
482 (N : Node_Id) return Node_Id is
485 or else NT (N).Nkind = N_Component_Clause);
489 function Componentwise_Assignment
490 (N : Node_Id) return Boolean is
493 or else NT (N).Nkind = N_Assignment_Statement);
495 end Componentwise_Assignment;
498 (N : Node_Id) return Node_Id is
501 or else NT (N).Nkind = N_Accept_Alternative
502 or else NT (N).Nkind = N_Delay_Alternative
503 or else NT (N).Nkind = N_Elsif_Part
504 or else NT (N).Nkind = N_Entry_Body_Formal_Part
505 or else NT (N).Nkind = N_Exit_Statement
506 or else NT (N).Nkind = N_If_Statement
507 or else NT (N).Nkind = N_Iteration_Scheme
508 or else NT (N).Nkind = N_Quantified_Expression
509 or else NT (N).Nkind = N_Raise_Constraint_Error
510 or else NT (N).Nkind = N_Raise_Program_Error
511 or else NT (N).Nkind = N_Raise_Storage_Error
512 or else NT (N).Nkind = N_Terminate_Alternative);
516 function Condition_Actions
517 (N : Node_Id) return List_Id is
520 or else NT (N).Nkind = N_Elsif_Part
521 or else NT (N).Nkind = N_Iteration_Scheme);
523 end Condition_Actions;
525 function Config_Pragmas
526 (N : Node_Id) return List_Id is
529 or else NT (N).Nkind = N_Compilation_Unit_Aux);
533 function Constant_Present
534 (N : Node_Id) return Boolean is
537 or else NT (N).Nkind = N_Access_Definition
538 or else NT (N).Nkind = N_Access_To_Object_Definition
539 or else NT (N).Nkind = N_Object_Declaration);
541 end Constant_Present;
544 (N : Node_Id) return Node_Id is
547 or else NT (N).Nkind = N_Subtype_Indication);
552 (N : Node_Id) return List_Id is
555 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
559 function Context_Installed
560 (N : Node_Id) return Boolean is
563 or else NT (N).Nkind = N_With_Clause);
565 end Context_Installed;
567 function Context_Items
568 (N : Node_Id) return List_Id is
571 or else NT (N).Nkind = N_Compilation_Unit);
575 function Context_Pending
576 (N : Node_Id) return Boolean is
579 or else NT (N).Nkind = N_Compilation_Unit);
583 function Controlling_Argument
584 (N : Node_Id) return Node_Id is
587 or else NT (N).Nkind = N_Function_Call
588 or else NT (N).Nkind = N_Procedure_Call_Statement);
590 end Controlling_Argument;
592 function Conversion_OK
593 (N : Node_Id) return Boolean is
596 or else NT (N).Nkind = N_Type_Conversion);
600 function Corresponding_Body
601 (N : Node_Id) return Node_Id is
604 or else NT (N).Nkind = N_Entry_Declaration
605 or else NT (N).Nkind = N_Generic_Package_Declaration
606 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
607 or else NT (N).Nkind = N_Package_Body_Stub
608 or else NT (N).Nkind = N_Package_Declaration
609 or else NT (N).Nkind = N_Protected_Body_Stub
610 or else NT (N).Nkind = N_Protected_Type_Declaration
611 or else NT (N).Nkind = N_Subprogram_Body_Stub
612 or else NT (N).Nkind = N_Subprogram_Declaration
613 or else NT (N).Nkind = N_Task_Body_Stub
614 or else NT (N).Nkind = N_Task_Type_Declaration);
616 end Corresponding_Body;
618 function Corresponding_Formal_Spec
619 (N : Node_Id) return Node_Id is
622 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
624 end Corresponding_Formal_Spec;
626 function Corresponding_Generic_Association
627 (N : Node_Id) return Node_Id is
630 or else NT (N).Nkind = N_Object_Declaration
631 or else NT (N).Nkind = N_Object_Renaming_Declaration);
633 end Corresponding_Generic_Association;
635 function Corresponding_Integer_Value
636 (N : Node_Id) return Uint is
639 or else NT (N).Nkind = N_Real_Literal);
641 end Corresponding_Integer_Value;
643 function Corresponding_Spec
644 (N : Node_Id) return Node_Id is
647 or else NT (N).Nkind = N_Package_Body
648 or else NT (N).Nkind = N_Protected_Body
649 or else NT (N).Nkind = N_Subprogram_Body
650 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
651 or else NT (N).Nkind = N_Task_Body
652 or else NT (N).Nkind = N_With_Clause);
654 end Corresponding_Spec;
656 function Corresponding_Stub
657 (N : Node_Id) return Node_Id is
660 or else NT (N).Nkind = N_Subunit);
662 end Corresponding_Stub;
664 function Dcheck_Function
665 (N : Node_Id) return Entity_Id is
668 or else NT (N).Nkind = N_Variant);
672 function Debug_Statement
673 (N : Node_Id) return Node_Id is
676 or else NT (N).Nkind = N_Pragma);
680 function Declarations
681 (N : Node_Id) return List_Id is
684 or else NT (N).Nkind = N_Accept_Statement
685 or else NT (N).Nkind = N_Block_Statement
686 or else NT (N).Nkind = N_Compilation_Unit_Aux
687 or else NT (N).Nkind = N_Entry_Body
688 or else NT (N).Nkind = N_Package_Body
689 or else NT (N).Nkind = N_Protected_Body
690 or else NT (N).Nkind = N_Subprogram_Body
691 or else NT (N).Nkind = N_Task_Body);
695 function Default_Expression
696 (N : Node_Id) return Node_Id is
699 or else NT (N).Nkind = N_Formal_Object_Declaration
700 or else NT (N).Nkind = N_Parameter_Specification);
702 end Default_Expression;
704 function Default_Storage_Pool
705 (N : Node_Id) return Node_Id is
708 or else NT (N).Nkind = N_Compilation_Unit_Aux);
710 end Default_Storage_Pool;
712 function Default_Name
713 (N : Node_Id) return Node_Id is
716 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
717 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
721 function Defining_Identifier
722 (N : Node_Id) return Entity_Id is
725 or else NT (N).Nkind = N_Component_Declaration
726 or else NT (N).Nkind = N_Defining_Program_Unit_Name
727 or else NT (N).Nkind = N_Discriminant_Specification
728 or else NT (N).Nkind = N_Entry_Body
729 or else NT (N).Nkind = N_Entry_Declaration
730 or else NT (N).Nkind = N_Entry_Index_Specification
731 or else NT (N).Nkind = N_Exception_Declaration
732 or else NT (N).Nkind = N_Exception_Renaming_Declaration
733 or else NT (N).Nkind = N_Formal_Object_Declaration
734 or else NT (N).Nkind = N_Formal_Package_Declaration
735 or else NT (N).Nkind = N_Formal_Type_Declaration
736 or else NT (N).Nkind = N_Full_Type_Declaration
737 or else NT (N).Nkind = N_Implicit_Label_Declaration
738 or else NT (N).Nkind = N_Incomplete_Type_Declaration
739 or else NT (N).Nkind = N_Iterator_Specification
740 or else NT (N).Nkind = N_Loop_Parameter_Specification
741 or else NT (N).Nkind = N_Number_Declaration
742 or else NT (N).Nkind = N_Object_Declaration
743 or else NT (N).Nkind = N_Object_Renaming_Declaration
744 or else NT (N).Nkind = N_Package_Body_Stub
745 or else NT (N).Nkind = N_Parameter_Specification
746 or else NT (N).Nkind = N_Private_Extension_Declaration
747 or else NT (N).Nkind = N_Private_Type_Declaration
748 or else NT (N).Nkind = N_Protected_Body
749 or else NT (N).Nkind = N_Protected_Body_Stub
750 or else NT (N).Nkind = N_Protected_Type_Declaration
751 or else NT (N).Nkind = N_Single_Protected_Declaration
752 or else NT (N).Nkind = N_Single_Task_Declaration
753 or else NT (N).Nkind = N_Subtype_Declaration
754 or else NT (N).Nkind = N_Task_Body
755 or else NT (N).Nkind = N_Task_Body_Stub
756 or else NT (N).Nkind = N_Task_Type_Declaration);
758 end Defining_Identifier;
760 function Defining_Unit_Name
761 (N : Node_Id) return Node_Id is
764 or else NT (N).Nkind = N_Function_Instantiation
765 or else NT (N).Nkind = N_Function_Specification
766 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
767 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
768 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
769 or else NT (N).Nkind = N_Package_Body
770 or else NT (N).Nkind = N_Package_Instantiation
771 or else NT (N).Nkind = N_Package_Renaming_Declaration
772 or else NT (N).Nkind = N_Package_Specification
773 or else NT (N).Nkind = N_Procedure_Instantiation
774 or else NT (N).Nkind = N_Procedure_Specification);
776 end Defining_Unit_Name;
778 function Delay_Alternative
779 (N : Node_Id) return Node_Id is
782 or else NT (N).Nkind = N_Timed_Entry_Call);
784 end Delay_Alternative;
786 function Delay_Statement
787 (N : Node_Id) return Node_Id is
790 or else NT (N).Nkind = N_Delay_Alternative);
794 function Delta_Expression
795 (N : Node_Id) return Node_Id is
798 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
799 or else NT (N).Nkind = N_Delta_Constraint
800 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
802 end Delta_Expression;
804 function Digits_Expression
805 (N : Node_Id) return Node_Id is
808 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
809 or else NT (N).Nkind = N_Digits_Constraint
810 or else NT (N).Nkind = N_Floating_Point_Definition);
812 end Digits_Expression;
814 function Discr_Check_Funcs_Built
815 (N : Node_Id) return Boolean is
818 or else NT (N).Nkind = N_Full_Type_Declaration);
820 end Discr_Check_Funcs_Built;
822 function Discrete_Choices
823 (N : Node_Id) return List_Id is
826 or else NT (N).Nkind = N_Case_Expression_Alternative
827 or else NT (N).Nkind = N_Case_Statement_Alternative
828 or else NT (N).Nkind = N_Variant);
830 end Discrete_Choices;
832 function Discrete_Range
833 (N : Node_Id) return Node_Id is
836 or else NT (N).Nkind = N_Slice);
840 function Discrete_Subtype_Definition
841 (N : Node_Id) return Node_Id is
844 or else NT (N).Nkind = N_Entry_Declaration
845 or else NT (N).Nkind = N_Entry_Index_Specification
846 or else NT (N).Nkind = N_Loop_Parameter_Specification);
848 end Discrete_Subtype_Definition;
850 function Discrete_Subtype_Definitions
851 (N : Node_Id) return List_Id is
854 or else NT (N).Nkind = N_Constrained_Array_Definition);
856 end Discrete_Subtype_Definitions;
858 function Discriminant_Specifications
859 (N : Node_Id) return List_Id is
862 or else NT (N).Nkind = N_Formal_Type_Declaration
863 or else NT (N).Nkind = N_Full_Type_Declaration
864 or else NT (N).Nkind = N_Incomplete_Type_Declaration
865 or else NT (N).Nkind = N_Private_Extension_Declaration
866 or else NT (N).Nkind = N_Private_Type_Declaration
867 or else NT (N).Nkind = N_Protected_Type_Declaration
868 or else NT (N).Nkind = N_Task_Type_Declaration);
870 end Discriminant_Specifications;
872 function Discriminant_Type
873 (N : Node_Id) return Node_Id is
876 or else NT (N).Nkind = N_Discriminant_Specification);
878 end Discriminant_Type;
880 function Do_Accessibility_Check
881 (N : Node_Id) return Boolean is
884 or else NT (N).Nkind = N_Parameter_Specification);
886 end Do_Accessibility_Check;
888 function Do_Discriminant_Check
889 (N : Node_Id) return Boolean is
892 or else NT (N).Nkind = N_Selected_Component);
894 end Do_Discriminant_Check;
896 function Do_Division_Check
897 (N : Node_Id) return Boolean is
900 or else NT (N).Nkind = N_Op_Divide
901 or else NT (N).Nkind = N_Op_Mod
902 or else NT (N).Nkind = N_Op_Rem);
904 end Do_Division_Check;
906 function Do_Length_Check
907 (N : Node_Id) return Boolean is
910 or else NT (N).Nkind = N_Assignment_Statement
911 or else NT (N).Nkind = N_Op_And
912 or else NT (N).Nkind = N_Op_Or
913 or else NT (N).Nkind = N_Op_Xor
914 or else NT (N).Nkind = N_Type_Conversion);
918 function Do_Overflow_Check
919 (N : Node_Id) return Boolean is
922 or else NT (N).Nkind in N_Op
923 or else NT (N).Nkind = N_Attribute_Reference
924 or else NT (N).Nkind = N_Type_Conversion);
926 end Do_Overflow_Check;
928 function Do_Range_Check
929 (N : Node_Id) return Boolean is
932 or else NT (N).Nkind in N_Subexpr);
936 function Do_Storage_Check
937 (N : Node_Id) return Boolean is
940 or else NT (N).Nkind = N_Allocator
941 or else NT (N).Nkind = N_Subprogram_Body);
943 end Do_Storage_Check;
945 function Do_Tag_Check
946 (N : Node_Id) return Boolean is
949 or else NT (N).Nkind = N_Assignment_Statement
950 or else NT (N).Nkind = N_Extended_Return_Statement
951 or else NT (N).Nkind = N_Function_Call
952 or else NT (N).Nkind = N_Procedure_Call_Statement
953 or else NT (N).Nkind = N_Return_Statement
954 or else NT (N).Nkind = N_Type_Conversion);
958 function Elaborate_All_Desirable
959 (N : Node_Id) return Boolean is
962 or else NT (N).Nkind = N_With_Clause);
964 end Elaborate_All_Desirable;
966 function Elaborate_All_Present
967 (N : Node_Id) return Boolean is
970 or else NT (N).Nkind = N_With_Clause);
972 end Elaborate_All_Present;
974 function Elaborate_Desirable
975 (N : Node_Id) return Boolean is
978 or else NT (N).Nkind = N_With_Clause);
980 end Elaborate_Desirable;
982 function Elaborate_Present
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind = N_With_Clause);
988 end Elaborate_Present;
990 function Elaboration_Boolean
991 (N : Node_Id) return Node_Id is
994 or else NT (N).Nkind = N_Function_Specification
995 or else NT (N).Nkind = N_Procedure_Specification);
997 end Elaboration_Boolean;
999 function Else_Actions
1000 (N : Node_Id) return List_Id is
1002 pragma Assert (False
1003 or else NT (N).Nkind = N_Conditional_Expression);
1007 function Else_Statements
1008 (N : Node_Id) return List_Id is
1010 pragma Assert (False
1011 or else NT (N).Nkind = N_Conditional_Entry_Call
1012 or else NT (N).Nkind = N_If_Statement
1013 or else NT (N).Nkind = N_Selective_Accept);
1015 end Else_Statements;
1017 function Elsif_Parts
1018 (N : Node_Id) return List_Id is
1020 pragma Assert (False
1021 or else NT (N).Nkind = N_If_Statement);
1025 function Enclosing_Variant
1026 (N : Node_Id) return Node_Id is
1028 pragma Assert (False
1029 or else NT (N).Nkind = N_Variant);
1031 end Enclosing_Variant;
1034 (N : Node_Id) return Node_Id is
1036 pragma Assert (False
1037 or else NT (N).Nkind = N_Enumeration_Type_Definition
1038 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1039 or else NT (N).Nkind = N_Loop_Statement
1040 or else NT (N).Nkind = N_Package_Specification
1041 or else NT (N).Nkind = N_Protected_Body
1042 or else NT (N).Nkind = N_Protected_Definition
1043 or else NT (N).Nkind = N_Record_Definition
1044 or else NT (N).Nkind = N_Task_Definition);
1049 (N : Node_Id) return Uint is
1051 pragma Assert (False
1052 or else NT (N).Nkind = N_Case_Statement
1053 or else NT (N).Nkind = N_If_Statement);
1058 (N : Node_Id) return Node_Id is
1060 pragma Assert (False
1061 or else NT (N).Nkind in N_Has_Entity
1062 or else NT (N).Nkind = N_Aspect_Specification
1063 or else NT (N).Nkind = N_Attribute_Definition_Clause
1064 or else NT (N).Nkind = N_Freeze_Entity);
1068 function Entity_Or_Associated_Node
1069 (N : Node_Id) return Node_Id is
1071 pragma Assert (False
1072 or else NT (N).Nkind in N_Has_Entity
1073 or else NT (N).Nkind = N_Freeze_Entity);
1075 end Entity_Or_Associated_Node;
1077 function Entry_Body_Formal_Part
1078 (N : Node_Id) return Node_Id is
1080 pragma Assert (False
1081 or else NT (N).Nkind = N_Entry_Body);
1083 end Entry_Body_Formal_Part;
1085 function Entry_Call_Alternative
1086 (N : Node_Id) return Node_Id is
1088 pragma Assert (False
1089 or else NT (N).Nkind = N_Conditional_Entry_Call
1090 or else NT (N).Nkind = N_Timed_Entry_Call);
1092 end Entry_Call_Alternative;
1094 function Entry_Call_Statement
1095 (N : Node_Id) return Node_Id is
1097 pragma Assert (False
1098 or else NT (N).Nkind = N_Entry_Call_Alternative);
1100 end Entry_Call_Statement;
1102 function Entry_Direct_Name
1103 (N : Node_Id) return Node_Id is
1105 pragma Assert (False
1106 or else NT (N).Nkind = N_Accept_Statement);
1108 end Entry_Direct_Name;
1110 function Entry_Index
1111 (N : Node_Id) return Node_Id is
1113 pragma Assert (False
1114 or else NT (N).Nkind = N_Accept_Statement);
1118 function Entry_Index_Specification
1119 (N : Node_Id) return Node_Id is
1121 pragma Assert (False
1122 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1124 end Entry_Index_Specification;
1127 (N : Node_Id) return Node_Id is
1129 pragma Assert (False
1130 or else NT (N).Nkind in N_Has_Etype);
1134 function Exception_Choices
1135 (N : Node_Id) return List_Id is
1137 pragma Assert (False
1138 or else NT (N).Nkind = N_Exception_Handler);
1140 end Exception_Choices;
1142 function Exception_Handlers
1143 (N : Node_Id) return List_Id is
1145 pragma Assert (False
1146 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1148 end Exception_Handlers;
1150 function Exception_Junk
1151 (N : Node_Id) return Boolean is
1153 pragma Assert (False
1154 or else NT (N).Nkind = N_Block_Statement
1155 or else NT (N).Nkind = N_Goto_Statement
1156 or else NT (N).Nkind = N_Label
1157 or else NT (N).Nkind = N_Object_Declaration
1158 or else NT (N).Nkind = N_Subtype_Declaration);
1162 function Exception_Label
1163 (N : Node_Id) return Node_Id is
1165 pragma Assert (False
1166 or else NT (N).Nkind = N_Exception_Handler
1167 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1168 or else NT (N).Nkind = N_Push_Program_Error_Label
1169 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1171 end Exception_Label;
1173 function Expansion_Delayed
1174 (N : Node_Id) return Boolean is
1176 pragma Assert (False
1177 or else NT (N).Nkind = N_Aggregate
1178 or else NT (N).Nkind = N_Extension_Aggregate);
1180 end Expansion_Delayed;
1182 function Explicit_Actual_Parameter
1183 (N : Node_Id) return Node_Id is
1185 pragma Assert (False
1186 or else NT (N).Nkind = N_Parameter_Association);
1188 end Explicit_Actual_Parameter;
1190 function Explicit_Generic_Actual_Parameter
1191 (N : Node_Id) return Node_Id is
1193 pragma Assert (False
1194 or else NT (N).Nkind = N_Generic_Association);
1196 end Explicit_Generic_Actual_Parameter;
1199 (N : Node_Id) return Node_Id is
1201 pragma Assert (False
1202 or else NT (N).Nkind = N_Allocator
1203 or else NT (N).Nkind = N_Aspect_Specification
1204 or else NT (N).Nkind = N_Assignment_Statement
1205 or else NT (N).Nkind = N_At_Clause
1206 or else NT (N).Nkind = N_Attribute_Definition_Clause
1207 or else NT (N).Nkind = N_Case_Expression
1208 or else NT (N).Nkind = N_Case_Expression_Alternative
1209 or else NT (N).Nkind = N_Case_Statement
1210 or else NT (N).Nkind = N_Code_Statement
1211 or else NT (N).Nkind = N_Component_Association
1212 or else NT (N).Nkind = N_Component_Declaration
1213 or else NT (N).Nkind = N_Delay_Relative_Statement
1214 or else NT (N).Nkind = N_Delay_Until_Statement
1215 or else NT (N).Nkind = N_Discriminant_Association
1216 or else NT (N).Nkind = N_Discriminant_Specification
1217 or else NT (N).Nkind = N_Exception_Declaration
1218 or else NT (N).Nkind = N_Expression_Function
1219 or else NT (N).Nkind = N_Expression_With_Actions
1220 or else NT (N).Nkind = N_Free_Statement
1221 or else NT (N).Nkind = N_Mod_Clause
1222 or else NT (N).Nkind = N_Modular_Type_Definition
1223 or else NT (N).Nkind = N_Number_Declaration
1224 or else NT (N).Nkind = N_Object_Declaration
1225 or else NT (N).Nkind = N_Parameter_Specification
1226 or else NT (N).Nkind = N_Pragma_Argument_Association
1227 or else NT (N).Nkind = N_Qualified_Expression
1228 or else NT (N).Nkind = N_Raise_Statement
1229 or else NT (N).Nkind = N_Return_Statement
1230 or else NT (N).Nkind = N_Type_Conversion
1231 or else NT (N).Nkind = N_Unchecked_Expression
1232 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1236 function Expressions
1237 (N : Node_Id) return List_Id is
1239 pragma Assert (False
1240 or else NT (N).Nkind = N_Aggregate
1241 or else NT (N).Nkind = N_Attribute_Reference
1242 or else NT (N).Nkind = N_Conditional_Expression
1243 or else NT (N).Nkind = N_Extension_Aggregate
1244 or else NT (N).Nkind = N_Indexed_Component);
1249 (N : Node_Id) return Node_Id is
1251 pragma Assert (False
1252 or else NT (N).Nkind = N_Component_Clause);
1256 function First_Inlined_Subprogram
1257 (N : Node_Id) return Entity_Id is
1259 pragma Assert (False
1260 or else NT (N).Nkind = N_Compilation_Unit);
1262 end First_Inlined_Subprogram;
1265 (N : Node_Id) return Boolean is
1267 pragma Assert (False
1268 or else NT (N).Nkind = N_With_Clause);
1272 function First_Named_Actual
1273 (N : Node_Id) return Node_Id is
1275 pragma Assert (False
1276 or else NT (N).Nkind = N_Entry_Call_Statement
1277 or else NT (N).Nkind = N_Function_Call
1278 or else NT (N).Nkind = N_Procedure_Call_Statement);
1280 end First_Named_Actual;
1282 function First_Real_Statement
1283 (N : Node_Id) return Node_Id is
1285 pragma Assert (False
1286 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1288 end First_Real_Statement;
1290 function First_Subtype_Link
1291 (N : Node_Id) return Entity_Id is
1293 pragma Assert (False
1294 or else NT (N).Nkind = N_Freeze_Entity);
1296 end First_Subtype_Link;
1298 function Float_Truncate
1299 (N : Node_Id) return Boolean is
1301 pragma Assert (False
1302 or else NT (N).Nkind = N_Type_Conversion);
1306 function Formal_Type_Definition
1307 (N : Node_Id) return Node_Id is
1309 pragma Assert (False
1310 or else NT (N).Nkind = N_Formal_Type_Declaration);
1312 end Formal_Type_Definition;
1314 function Forwards_OK
1315 (N : Node_Id) return Boolean is
1317 pragma Assert (False
1318 or else NT (N).Nkind = N_Assignment_Statement);
1322 function From_Aspect_Specification
1323 (N : Node_Id) return Boolean is
1325 pragma Assert (False
1326 or else NT (N).Nkind = N_Attribute_Definition_Clause
1327 or else NT (N).Nkind = N_Pragma);
1329 end From_Aspect_Specification;
1331 function From_At_End
1332 (N : Node_Id) return Boolean is
1334 pragma Assert (False
1335 or else NT (N).Nkind = N_Raise_Statement);
1339 function From_At_Mod
1340 (N : Node_Id) return Boolean is
1342 pragma Assert (False
1343 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1347 function From_Default
1348 (N : Node_Id) return Boolean is
1350 pragma Assert (False
1351 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1355 function From_Dynamic_Predicate
1356 (N : Node_Id) return Boolean is
1358 pragma Assert (False
1359 or else NT (N).Nkind = N_Pragma);
1361 end From_Dynamic_Predicate;
1363 function From_Static_Predicate
1364 (N : Node_Id) return Boolean is
1366 pragma Assert (False
1367 or else NT (N).Nkind = N_Pragma);
1369 end From_Static_Predicate;
1371 function Generic_Associations
1372 (N : Node_Id) return List_Id is
1374 pragma Assert (False
1375 or else NT (N).Nkind = N_Formal_Package_Declaration
1376 or else NT (N).Nkind = N_Function_Instantiation
1377 or else NT (N).Nkind = N_Package_Instantiation
1378 or else NT (N).Nkind = N_Procedure_Instantiation);
1380 end Generic_Associations;
1382 function Generic_Formal_Declarations
1383 (N : Node_Id) return List_Id is
1385 pragma Assert (False
1386 or else NT (N).Nkind = N_Generic_Package_Declaration
1387 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1389 end Generic_Formal_Declarations;
1391 function Generic_Parent
1392 (N : Node_Id) return Node_Id is
1394 pragma Assert (False
1395 or else NT (N).Nkind = N_Function_Specification
1396 or else NT (N).Nkind = N_Package_Specification
1397 or else NT (N).Nkind = N_Procedure_Specification);
1401 function Generic_Parent_Type
1402 (N : Node_Id) return Node_Id is
1404 pragma Assert (False
1405 or else NT (N).Nkind = N_Subtype_Declaration);
1407 end Generic_Parent_Type;
1409 function Handled_Statement_Sequence
1410 (N : Node_Id) return Node_Id is
1412 pragma Assert (False
1413 or else NT (N).Nkind = N_Accept_Statement
1414 or else NT (N).Nkind = N_Block_Statement
1415 or else NT (N).Nkind = N_Entry_Body
1416 or else NT (N).Nkind = N_Extended_Return_Statement
1417 or else NT (N).Nkind = N_Package_Body
1418 or else NT (N).Nkind = N_Subprogram_Body
1419 or else NT (N).Nkind = N_Task_Body);
1421 end Handled_Statement_Sequence;
1423 function Handler_List_Entry
1424 (N : Node_Id) return Node_Id is
1426 pragma Assert (False
1427 or else NT (N).Nkind = N_Object_Declaration);
1429 end Handler_List_Entry;
1431 function Has_Created_Identifier
1432 (N : Node_Id) return Boolean is
1434 pragma Assert (False
1435 or else NT (N).Nkind = N_Block_Statement
1436 or else NT (N).Nkind = N_Loop_Statement);
1438 end Has_Created_Identifier;
1440 function Has_Dynamic_Length_Check
1441 (N : Node_Id) return Boolean is
1443 pragma Assert (False
1444 or else NT (N).Nkind in N_Subexpr);
1446 end Has_Dynamic_Length_Check;
1448 function Has_Dynamic_Range_Check
1449 (N : Node_Id) return Boolean is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Subtype_Declaration
1453 or else NT (N).Nkind in N_Subexpr);
1455 end Has_Dynamic_Range_Check;
1457 function Has_Init_Expression
1458 (N : Node_Id) return Boolean is
1460 pragma Assert (False
1461 or else NT (N).Nkind = N_Object_Declaration);
1463 end Has_Init_Expression;
1465 function Has_Local_Raise
1466 (N : Node_Id) return Boolean is
1468 pragma Assert (False
1469 or else NT (N).Nkind = N_Exception_Handler);
1471 end Has_Local_Raise;
1473 function Has_No_Elaboration_Code
1474 (N : Node_Id) return Boolean is
1476 pragma Assert (False
1477 or else NT (N).Nkind = N_Compilation_Unit);
1479 end Has_No_Elaboration_Code;
1481 function Has_Pragma_CPU
1482 (N : Node_Id) return Boolean is
1484 pragma Assert (False
1485 or else NT (N).Nkind = N_Subprogram_Body
1486 or else NT (N).Nkind = N_Task_Definition);
1490 function Has_Pragma_Priority
1491 (N : Node_Id) return Boolean is
1493 pragma Assert (False
1494 or else NT (N).Nkind = N_Protected_Definition
1495 or else NT (N).Nkind = N_Subprogram_Body
1496 or else NT (N).Nkind = N_Task_Definition);
1498 end Has_Pragma_Priority;
1500 function Has_Pragma_Suppress_All
1501 (N : Node_Id) return Boolean is
1503 pragma Assert (False
1504 or else NT (N).Nkind = N_Compilation_Unit);
1506 end Has_Pragma_Suppress_All;
1508 function Has_Private_View
1509 (N : Node_Id) return Boolean is
1511 pragma Assert (False
1512 or else NT (N).Nkind in N_Op
1513 or else NT (N).Nkind = N_Character_Literal
1514 or else NT (N).Nkind = N_Expanded_Name
1515 or else NT (N).Nkind = N_Identifier
1516 or else NT (N).Nkind = N_Operator_Symbol);
1518 end Has_Private_View;
1520 function Has_Relative_Deadline_Pragma
1521 (N : Node_Id) return Boolean is
1523 pragma Assert (False
1524 or else NT (N).Nkind = N_Subprogram_Body
1525 or else NT (N).Nkind = N_Task_Definition);
1527 end Has_Relative_Deadline_Pragma;
1529 function Has_Self_Reference
1530 (N : Node_Id) return Boolean is
1532 pragma Assert (False
1533 or else NT (N).Nkind = N_Aggregate
1534 or else NT (N).Nkind = N_Extension_Aggregate);
1536 end Has_Self_Reference;
1538 function Has_Storage_Size_Pragma
1539 (N : Node_Id) return Boolean is
1541 pragma Assert (False
1542 or else NT (N).Nkind = N_Task_Definition);
1544 end Has_Storage_Size_Pragma;
1546 function Has_Task_Info_Pragma
1547 (N : Node_Id) return Boolean is
1549 pragma Assert (False
1550 or else NT (N).Nkind = N_Task_Definition);
1552 end Has_Task_Info_Pragma;
1554 function Has_Task_Name_Pragma
1555 (N : Node_Id) return Boolean is
1557 pragma Assert (False
1558 or else NT (N).Nkind = N_Task_Definition);
1560 end Has_Task_Name_Pragma;
1562 function Has_Wide_Character
1563 (N : Node_Id) return Boolean is
1565 pragma Assert (False
1566 or else NT (N).Nkind = N_String_Literal);
1568 end Has_Wide_Character;
1570 function Has_Wide_Wide_Character
1571 (N : Node_Id) return Boolean is
1573 pragma Assert (False
1574 or else NT (N).Nkind = N_String_Literal);
1576 end Has_Wide_Wide_Character;
1578 function Hidden_By_Use_Clause
1579 (N : Node_Id) return Elist_Id is
1581 pragma Assert (False
1582 or else NT (N).Nkind = N_Use_Package_Clause
1583 or else NT (N).Nkind = N_Use_Type_Clause);
1585 end Hidden_By_Use_Clause;
1588 (N : Node_Id) return Node_Id is
1590 pragma Assert (False
1591 or else NT (N).Nkind = N_Range
1592 or else NT (N).Nkind = N_Real_Range_Specification
1593 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1598 (N : Node_Id) return Node_Id is
1600 pragma Assert (False
1601 or else NT (N).Nkind = N_Aspect_Specification
1602 or else NT (N).Nkind = N_At_Clause
1603 or else NT (N).Nkind = N_Block_Statement
1604 or else NT (N).Nkind = N_Designator
1605 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1606 or else NT (N).Nkind = N_Label
1607 or else NT (N).Nkind = N_Loop_Statement
1608 or else NT (N).Nkind = N_Record_Representation_Clause
1609 or else NT (N).Nkind = N_Subprogram_Info);
1613 function Implicit_With
1614 (N : Node_Id) return Boolean is
1616 pragma Assert (False
1617 or else NT (N).Nkind = N_With_Clause);
1621 function Interface_List
1622 (N : Node_Id) return List_Id is
1624 pragma Assert (False
1625 or else NT (N).Nkind = N_Derived_Type_Definition
1626 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1627 or else NT (N).Nkind = N_Private_Extension_Declaration
1628 or else NT (N).Nkind = N_Protected_Type_Declaration
1629 or else NT (N).Nkind = N_Record_Definition
1630 or else NT (N).Nkind = N_Single_Protected_Declaration
1631 or else NT (N).Nkind = N_Single_Task_Declaration
1632 or else NT (N).Nkind = N_Task_Type_Declaration);
1636 function Interface_Present
1637 (N : Node_Id) return Boolean is
1639 pragma Assert (False
1640 or else NT (N).Nkind = N_Derived_Type_Definition
1641 or else NT (N).Nkind = N_Record_Definition);
1643 end Interface_Present;
1645 function Import_Interface_Present
1646 (N : Node_Id) return Boolean is
1648 pragma Assert (False
1649 or else NT (N).Nkind = N_Pragma);
1651 end Import_Interface_Present;
1654 (N : Node_Id) return Boolean is
1656 pragma Assert (False
1657 or else NT (N).Nkind = N_Formal_Object_Declaration
1658 or else NT (N).Nkind = N_Parameter_Specification);
1662 function Includes_Infinities
1663 (N : Node_Id) return Boolean is
1665 pragma Assert (False
1666 or else NT (N).Nkind = N_Range);
1668 end Includes_Infinities;
1670 function Inherited_Discriminant
1671 (N : Node_Id) return Boolean is
1673 pragma Assert (False
1674 or else NT (N).Nkind = N_Component_Association);
1676 end Inherited_Discriminant;
1678 function Instance_Spec
1679 (N : Node_Id) return Node_Id is
1681 pragma Assert (False
1682 or else NT (N).Nkind = N_Formal_Package_Declaration
1683 or else NT (N).Nkind = N_Function_Instantiation
1684 or else NT (N).Nkind = N_Package_Instantiation
1685 or else NT (N).Nkind = N_Procedure_Instantiation);
1690 (N : Node_Id) return Uint is
1692 pragma Assert (False
1693 or else NT (N).Nkind = N_Integer_Literal);
1697 function Is_Accessibility_Actual
1698 (N : Node_Id) return Boolean is
1700 pragma Assert (False
1701 or else NT (N).Nkind = N_Parameter_Association);
1703 end Is_Accessibility_Actual;
1705 function Is_Asynchronous_Call_Block
1706 (N : Node_Id) return Boolean is
1708 pragma Assert (False
1709 or else NT (N).Nkind = N_Block_Statement);
1711 end Is_Asynchronous_Call_Block;
1713 function Is_Boolean_Aspect
1714 (N : Node_Id) return Boolean is
1716 pragma Assert (False
1717 or else NT (N).Nkind = N_Aspect_Specification);
1719 end Is_Boolean_Aspect;
1721 function Is_Component_Left_Opnd
1722 (N : Node_Id) return Boolean is
1724 pragma Assert (False
1725 or else NT (N).Nkind = N_Op_Concat);
1727 end Is_Component_Left_Opnd;
1729 function Is_Component_Right_Opnd
1730 (N : Node_Id) return Boolean is
1732 pragma Assert (False
1733 or else NT (N).Nkind = N_Op_Concat);
1735 end Is_Component_Right_Opnd;
1737 function Is_Controlling_Actual
1738 (N : Node_Id) return Boolean is
1740 pragma Assert (False
1741 or else NT (N).Nkind in N_Subexpr);
1743 end Is_Controlling_Actual;
1745 function Is_Delayed_Aspect
1746 (N : Node_Id) return Boolean is
1748 pragma Assert (False
1749 or else NT (N).Nkind = N_Aspect_Specification
1750 or else NT (N).Nkind = N_Attribute_Definition_Clause
1751 or else NT (N).Nkind = N_Pragma);
1753 end Is_Delayed_Aspect;
1755 function Is_Dynamic_Coextension
1756 (N : Node_Id) return Boolean is
1758 pragma Assert (False
1759 or else NT (N).Nkind = N_Allocator);
1761 end Is_Dynamic_Coextension;
1764 (N : Node_Id) return Boolean is
1766 pragma Assert (False
1767 or else NT (N).Nkind = N_Conditional_Expression);
1771 function Is_Entry_Barrier_Function
1772 (N : Node_Id) return Boolean is
1774 pragma Assert (False
1775 or else NT (N).Nkind = N_Subprogram_Body);
1777 end Is_Entry_Barrier_Function;
1779 function Is_Expanded_Build_In_Place_Call
1780 (N : Node_Id) return Boolean is
1782 pragma Assert (False
1783 or else NT (N).Nkind = N_Function_Call);
1785 end Is_Expanded_Build_In_Place_Call;
1787 function Is_Folded_In_Parser
1788 (N : Node_Id) return Boolean is
1790 pragma Assert (False
1791 or else NT (N).Nkind = N_String_Literal);
1793 end Is_Folded_In_Parser;
1795 function Is_In_Discriminant_Check
1796 (N : Node_Id) return Boolean is
1798 pragma Assert (False
1799 or else NT (N).Nkind = N_Selected_Component);
1801 end Is_In_Discriminant_Check;
1803 function Is_Machine_Number
1804 (N : Node_Id) return Boolean is
1806 pragma Assert (False
1807 or else NT (N).Nkind = N_Real_Literal);
1809 end Is_Machine_Number;
1811 function Is_Null_Loop
1812 (N : Node_Id) return Boolean is
1814 pragma Assert (False
1815 or else NT (N).Nkind = N_Loop_Statement);
1819 function Is_Overloaded
1820 (N : Node_Id) return Boolean is
1822 pragma Assert (False
1823 or else NT (N).Nkind in N_Subexpr);
1827 function Is_Power_Of_2_For_Shift
1828 (N : Node_Id) return Boolean is
1830 pragma Assert (False
1831 or else NT (N).Nkind = N_Op_Expon);
1833 end Is_Power_Of_2_For_Shift;
1835 function Is_Protected_Subprogram_Body
1836 (N : Node_Id) return Boolean is
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_Subprogram_Body);
1841 end Is_Protected_Subprogram_Body;
1843 function Is_Static_Coextension
1844 (N : Node_Id) return Boolean is
1846 pragma Assert (False
1847 or else NT (N).Nkind = N_Allocator);
1849 end Is_Static_Coextension;
1851 function Is_Static_Expression
1852 (N : Node_Id) return Boolean is
1854 pragma Assert (False
1855 or else NT (N).Nkind in N_Subexpr);
1857 end Is_Static_Expression;
1859 function Is_Subprogram_Descriptor
1860 (N : Node_Id) return Boolean is
1862 pragma Assert (False
1863 or else NT (N).Nkind = N_Object_Declaration);
1865 end Is_Subprogram_Descriptor;
1867 function Is_Task_Allocation_Block
1868 (N : Node_Id) return Boolean is
1870 pragma Assert (False
1871 or else NT (N).Nkind = N_Block_Statement);
1873 end Is_Task_Allocation_Block;
1875 function Is_Task_Master
1876 (N : Node_Id) return Boolean is
1878 pragma Assert (False
1879 or else NT (N).Nkind = N_Block_Statement
1880 or else NT (N).Nkind = N_Subprogram_Body
1881 or else NT (N).Nkind = N_Task_Body);
1885 function Iteration_Scheme
1886 (N : Node_Id) return Node_Id is
1888 pragma Assert (False
1889 or else NT (N).Nkind = N_Loop_Statement);
1891 end Iteration_Scheme;
1893 function Iterator_Specification
1894 (N : Node_Id) return Node_Id is
1896 pragma Assert (False
1897 or else NT (N).Nkind = N_Iteration_Scheme
1898 or else NT (N).Nkind = N_Quantified_Expression);
1900 end Iterator_Specification;
1903 (N : Node_Id) return Node_Id is
1905 pragma Assert (False
1906 or else NT (N).Nkind = N_Itype_Reference);
1910 function Kill_Range_Check
1911 (N : Node_Id) return Boolean is
1913 pragma Assert (False
1914 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1916 end Kill_Range_Check;
1918 function Label_Construct
1919 (N : Node_Id) return Node_Id is
1921 pragma Assert (False
1922 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1924 end Label_Construct;
1927 (N : Node_Id) return Node_Id is
1929 pragma Assert (False
1930 or else NT (N).Nkind = N_Component_Clause);
1935 (N : Node_Id) return Boolean is
1937 pragma Assert (False
1938 or else NT (N).Nkind = N_With_Clause);
1943 (N : Node_Id) return Node_Id is
1945 pragma Assert (False
1946 or else NT (N).Nkind = N_And_Then
1947 or else NT (N).Nkind = N_In
1948 or else NT (N).Nkind = N_Not_In
1949 or else NT (N).Nkind = N_Or_Else
1950 or else NT (N).Nkind in N_Binary_Op);
1954 function Library_Unit
1955 (N : Node_Id) return Node_Id is
1957 pragma Assert (False
1958 or else NT (N).Nkind = N_Compilation_Unit
1959 or else NT (N).Nkind = N_Package_Body_Stub
1960 or else NT (N).Nkind = N_Protected_Body_Stub
1961 or else NT (N).Nkind = N_Subprogram_Body_Stub
1962 or else NT (N).Nkind = N_Task_Body_Stub
1963 or else NT (N).Nkind = N_With_Clause);
1967 function Limited_View_Installed
1968 (N : Node_Id) return Boolean is
1970 pragma Assert (False
1971 or else NT (N).Nkind = N_Package_Specification
1972 or else NT (N).Nkind = N_With_Clause);
1974 end Limited_View_Installed;
1976 function Limited_Present
1977 (N : Node_Id) return Boolean is
1979 pragma Assert (False
1980 or else NT (N).Nkind = N_Derived_Type_Definition
1981 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1982 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1983 or else NT (N).Nkind = N_Private_Extension_Declaration
1984 or else NT (N).Nkind = N_Private_Type_Declaration
1985 or else NT (N).Nkind = N_Record_Definition
1986 or else NT (N).Nkind = N_With_Clause);
1988 end Limited_Present;
1991 (N : Node_Id) return List_Id is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1998 function Local_Raise_Not_OK
1999 (N : Node_Id) return Boolean is
2001 pragma Assert (False
2002 or else NT (N).Nkind = N_Exception_Handler);
2004 end Local_Raise_Not_OK;
2006 function Local_Raise_Statements
2007 (N : Node_Id) return Elist_Id is
2009 pragma Assert (False
2010 or else NT (N).Nkind = N_Exception_Handler);
2012 end Local_Raise_Statements;
2014 function Loop_Actions
2015 (N : Node_Id) return List_Id is
2017 pragma Assert (False
2018 or else NT (N).Nkind = N_Component_Association);
2022 function Loop_Parameter_Specification
2023 (N : Node_Id) return Node_Id is
2025 pragma Assert (False
2026 or else NT (N).Nkind = N_Iteration_Scheme
2027 or else NT (N).Nkind = N_Quantified_Expression);
2029 end Loop_Parameter_Specification;
2032 (N : Node_Id) return Node_Id is
2034 pragma Assert (False
2035 or else NT (N).Nkind = N_Range
2036 or else NT (N).Nkind = N_Real_Range_Specification
2037 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2042 (N : Node_Id) return Node_Id is
2044 pragma Assert (False
2045 or else NT (N).Nkind = N_Record_Representation_Clause);
2050 (N : Node_Id) return Boolean is
2052 pragma Assert (False
2053 or else NT (N).Nkind = N_Component_Declaration
2054 or else NT (N).Nkind = N_Discriminant_Specification
2055 or else NT (N).Nkind = N_Exception_Declaration
2056 or else NT (N).Nkind = N_Formal_Object_Declaration
2057 or else NT (N).Nkind = N_Number_Declaration
2058 or else NT (N).Nkind = N_Object_Declaration
2059 or else NT (N).Nkind = N_Parameter_Specification);
2063 function Must_Be_Byte_Aligned
2064 (N : Node_Id) return Boolean is
2066 pragma Assert (False
2067 or else NT (N).Nkind = N_Attribute_Reference);
2069 end Must_Be_Byte_Aligned;
2071 function Must_Not_Freeze
2072 (N : Node_Id) return Boolean is
2074 pragma Assert (False
2075 or else NT (N).Nkind = N_Subtype_Indication
2076 or else NT (N).Nkind in N_Subexpr);
2078 end Must_Not_Freeze;
2080 function Must_Not_Override
2081 (N : Node_Id) return Boolean is
2083 pragma Assert (False
2084 or else NT (N).Nkind = N_Entry_Declaration
2085 or else NT (N).Nkind = N_Function_Instantiation
2086 or else NT (N).Nkind = N_Function_Specification
2087 or else NT (N).Nkind = N_Procedure_Instantiation
2088 or else NT (N).Nkind = N_Procedure_Specification);
2090 end Must_Not_Override;
2092 function Must_Override
2093 (N : Node_Id) return Boolean is
2095 pragma Assert (False
2096 or else NT (N).Nkind = N_Entry_Declaration
2097 or else NT (N).Nkind = N_Function_Instantiation
2098 or else NT (N).Nkind = N_Function_Specification
2099 or else NT (N).Nkind = N_Procedure_Instantiation
2100 or else NT (N).Nkind = N_Procedure_Specification);
2105 (N : Node_Id) return Node_Id is
2107 pragma Assert (False
2108 or else NT (N).Nkind = N_Assignment_Statement
2109 or else NT (N).Nkind = N_Attribute_Definition_Clause
2110 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2111 or else NT (N).Nkind = N_Designator
2112 or else NT (N).Nkind = N_Entry_Call_Statement
2113 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2114 or else NT (N).Nkind = N_Exit_Statement
2115 or else NT (N).Nkind = N_Formal_Package_Declaration
2116 or else NT (N).Nkind = N_Function_Call
2117 or else NT (N).Nkind = N_Function_Instantiation
2118 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2119 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2120 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2121 or else NT (N).Nkind = N_Goto_Statement
2122 or else NT (N).Nkind = N_Iterator_Specification
2123 or else NT (N).Nkind = N_Object_Renaming_Declaration
2124 or else NT (N).Nkind = N_Package_Instantiation
2125 or else NT (N).Nkind = N_Package_Renaming_Declaration
2126 or else NT (N).Nkind = N_Procedure_Call_Statement
2127 or else NT (N).Nkind = N_Procedure_Instantiation
2128 or else NT (N).Nkind = N_Raise_Statement
2129 or else NT (N).Nkind = N_Requeue_Statement
2130 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2131 or else NT (N).Nkind = N_Subunit
2132 or else NT (N).Nkind = N_Variant_Part
2133 or else NT (N).Nkind = N_With_Clause);
2138 (N : Node_Id) return List_Id is
2140 pragma Assert (False
2141 or else NT (N).Nkind = N_Abort_Statement
2142 or else NT (N).Nkind = N_Use_Package_Clause);
2146 function Next_Entity
2147 (N : Node_Id) return Node_Id is
2149 pragma Assert (False
2150 or else NT (N).Nkind = N_Defining_Character_Literal
2151 or else NT (N).Nkind = N_Defining_Identifier
2152 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2156 function Next_Exit_Statement
2157 (N : Node_Id) return Node_Id is
2159 pragma Assert (False
2160 or else NT (N).Nkind = N_Exit_Statement);
2162 end Next_Exit_Statement;
2164 function Next_Implicit_With
2165 (N : Node_Id) return Node_Id is
2167 pragma Assert (False
2168 or else NT (N).Nkind = N_With_Clause);
2170 end Next_Implicit_With;
2172 function Next_Named_Actual
2173 (N : Node_Id) return Node_Id is
2175 pragma Assert (False
2176 or else NT (N).Nkind = N_Parameter_Association);
2178 end Next_Named_Actual;
2180 function Next_Pragma
2181 (N : Node_Id) return Node_Id is
2183 pragma Assert (False
2184 or else NT (N).Nkind = N_Pragma);
2188 function Next_Rep_Item
2189 (N : Node_Id) return Node_Id is
2191 pragma Assert (False
2192 or else NT (N).Nkind = N_Aspect_Specification
2193 or else NT (N).Nkind = N_Attribute_Definition_Clause
2194 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2195 or else NT (N).Nkind = N_Pragma
2196 or else NT (N).Nkind = N_Record_Representation_Clause);
2200 function Next_Use_Clause
2201 (N : Node_Id) return Node_Id is
2203 pragma Assert (False
2204 or else NT (N).Nkind = N_Use_Package_Clause
2205 or else NT (N).Nkind = N_Use_Type_Clause);
2207 end Next_Use_Clause;
2209 function No_Ctrl_Actions
2210 (N : Node_Id) return Boolean is
2212 pragma Assert (False
2213 or else NT (N).Nkind = N_Assignment_Statement);
2215 end No_Ctrl_Actions;
2217 function No_Elaboration_Check
2218 (N : Node_Id) return Boolean is
2220 pragma Assert (False
2221 or else NT (N).Nkind = N_Function_Call
2222 or else NT (N).Nkind = N_Procedure_Call_Statement);
2224 end No_Elaboration_Check;
2226 function No_Entities_Ref_In_Spec
2227 (N : Node_Id) return Boolean is
2229 pragma Assert (False
2230 or else NT (N).Nkind = N_With_Clause);
2232 end No_Entities_Ref_In_Spec;
2234 function No_Initialization
2235 (N : Node_Id) return Boolean is
2237 pragma Assert (False
2238 or else NT (N).Nkind = N_Allocator
2239 or else NT (N).Nkind = N_Object_Declaration);
2241 end No_Initialization;
2243 function No_Truncation
2244 (N : Node_Id) return Boolean is
2246 pragma Assert (False
2247 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2251 function Null_Present
2252 (N : Node_Id) return Boolean is
2254 pragma Assert (False
2255 or else NT (N).Nkind = N_Component_List
2256 or else NT (N).Nkind = N_Procedure_Specification
2257 or else NT (N).Nkind = N_Record_Definition);
2261 function Null_Exclusion_Present
2262 (N : Node_Id) return Boolean is
2264 pragma Assert (False
2265 or else NT (N).Nkind = N_Access_Definition
2266 or else NT (N).Nkind = N_Access_Function_Definition
2267 or else NT (N).Nkind = N_Access_Procedure_Definition
2268 or else NT (N).Nkind = N_Access_To_Object_Definition
2269 or else NT (N).Nkind = N_Allocator
2270 or else NT (N).Nkind = N_Component_Definition
2271 or else NT (N).Nkind = N_Derived_Type_Definition
2272 or else NT (N).Nkind = N_Discriminant_Specification
2273 or else NT (N).Nkind = N_Formal_Object_Declaration
2274 or else NT (N).Nkind = N_Function_Specification
2275 or else NT (N).Nkind = N_Object_Declaration
2276 or else NT (N).Nkind = N_Object_Renaming_Declaration
2277 or else NT (N).Nkind = N_Parameter_Specification
2278 or else NT (N).Nkind = N_Subtype_Declaration);
2280 end Null_Exclusion_Present;
2282 function Null_Exclusion_In_Return_Present
2283 (N : Node_Id) return Boolean is
2285 pragma Assert (False
2286 or else NT (N).Nkind = N_Access_Function_Definition);
2288 end Null_Exclusion_In_Return_Present;
2290 function Null_Record_Present
2291 (N : Node_Id) return Boolean is
2293 pragma Assert (False
2294 or else NT (N).Nkind = N_Aggregate
2295 or else NT (N).Nkind = N_Extension_Aggregate);
2297 end Null_Record_Present;
2299 function Object_Definition
2300 (N : Node_Id) return Node_Id is
2302 pragma Assert (False
2303 or else NT (N).Nkind = N_Object_Declaration);
2305 end Object_Definition;
2308 (N : Node_Id) return Boolean is
2310 pragma Assert (False
2311 or else NT (N).Nkind = N_Iterator_Specification);
2315 function Original_Discriminant
2316 (N : Node_Id) return Node_Id is
2318 pragma Assert (False
2319 or else NT (N).Nkind = N_Identifier);
2321 end Original_Discriminant;
2323 function Original_Entity
2324 (N : Node_Id) return Entity_Id is
2326 pragma Assert (False
2327 or else NT (N).Nkind = N_Integer_Literal
2328 or else NT (N).Nkind = N_Real_Literal);
2330 end Original_Entity;
2332 function Others_Discrete_Choices
2333 (N : Node_Id) return List_Id is
2335 pragma Assert (False
2336 or else NT (N).Nkind = N_Others_Choice);
2338 end Others_Discrete_Choices;
2340 function Out_Present
2341 (N : Node_Id) return Boolean is
2343 pragma Assert (False
2344 or else NT (N).Nkind = N_Formal_Object_Declaration
2345 or else NT (N).Nkind = N_Parameter_Specification);
2349 function Parameter_Associations
2350 (N : Node_Id) return List_Id is
2352 pragma Assert (False
2353 or else NT (N).Nkind = N_Entry_Call_Statement
2354 or else NT (N).Nkind = N_Function_Call
2355 or else NT (N).Nkind = N_Procedure_Call_Statement);
2357 end Parameter_Associations;
2359 function Parameter_List_Truncated
2360 (N : Node_Id) return Boolean is
2362 pragma Assert (False
2363 or else NT (N).Nkind = N_Function_Call
2364 or else NT (N).Nkind = N_Procedure_Call_Statement);
2366 end Parameter_List_Truncated;
2368 function Parameter_Specifications
2369 (N : Node_Id) return List_Id is
2371 pragma Assert (False
2372 or else NT (N).Nkind = N_Accept_Statement
2373 or else NT (N).Nkind = N_Access_Function_Definition
2374 or else NT (N).Nkind = N_Access_Procedure_Definition
2375 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2376 or else NT (N).Nkind = N_Entry_Declaration
2377 or else NT (N).Nkind = N_Function_Specification
2378 or else NT (N).Nkind = N_Procedure_Specification);
2380 end Parameter_Specifications;
2382 function Parameter_Type
2383 (N : Node_Id) return Node_Id is
2385 pragma Assert (False
2386 or else NT (N).Nkind = N_Parameter_Specification);
2390 function Parent_Spec
2391 (N : Node_Id) return Node_Id is
2393 pragma Assert (False
2394 or else NT (N).Nkind = N_Function_Instantiation
2395 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2396 or else NT (N).Nkind = N_Generic_Package_Declaration
2397 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2398 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2399 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2400 or else NT (N).Nkind = N_Package_Declaration
2401 or else NT (N).Nkind = N_Package_Instantiation
2402 or else NT (N).Nkind = N_Package_Renaming_Declaration
2403 or else NT (N).Nkind = N_Procedure_Instantiation
2404 or else NT (N).Nkind = N_Subprogram_Declaration
2405 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2410 (N : Node_Id) return Node_Id is
2412 pragma Assert (False
2413 or else NT (N).Nkind = N_Component_Clause);
2417 function Pragma_Argument_Associations
2418 (N : Node_Id) return List_Id is
2420 pragma Assert (False
2421 or else NT (N).Nkind = N_Pragma);
2423 end Pragma_Argument_Associations;
2425 function Pragma_Enabled
2426 (N : Node_Id) return Boolean is
2428 pragma Assert (False
2429 or else NT (N).Nkind = N_Pragma);
2433 function Pragma_Identifier
2434 (N : Node_Id) return Node_Id is
2436 pragma Assert (False
2437 or else NT (N).Nkind = N_Pragma);
2439 end Pragma_Identifier;
2441 function Pragmas_After
2442 (N : Node_Id) return List_Id is
2444 pragma Assert (False
2445 or else NT (N).Nkind = N_Compilation_Unit_Aux
2446 or else NT (N).Nkind = N_Terminate_Alternative);
2450 function Pragmas_Before
2451 (N : Node_Id) return List_Id is
2453 pragma Assert (False
2454 or else NT (N).Nkind = N_Accept_Alternative
2455 or else NT (N).Nkind = N_Delay_Alternative
2456 or else NT (N).Nkind = N_Entry_Call_Alternative
2457 or else NT (N).Nkind = N_Mod_Clause
2458 or else NT (N).Nkind = N_Terminate_Alternative
2459 or else NT (N).Nkind = N_Triggering_Alternative);
2464 (N : Node_Id) return Node_Id is
2466 pragma Assert (False
2467 or else NT (N).Nkind = N_Attribute_Reference
2468 or else NT (N).Nkind = N_Expanded_Name
2469 or else NT (N).Nkind = N_Explicit_Dereference
2470 or else NT (N).Nkind = N_Indexed_Component
2471 or else NT (N).Nkind = N_Reference
2472 or else NT (N).Nkind = N_Selected_Component
2473 or else NT (N).Nkind = N_Slice);
2477 function Present_Expr
2478 (N : Node_Id) return Uint is
2480 pragma Assert (False
2481 or else NT (N).Nkind = N_Variant);
2486 (N : Node_Id) return Boolean is
2488 pragma Assert (False
2489 or else NT (N).Nkind = N_Component_Declaration
2490 or else NT (N).Nkind = N_Discriminant_Specification
2491 or else NT (N).Nkind = N_Exception_Declaration
2492 or else NT (N).Nkind = N_Formal_Object_Declaration
2493 or else NT (N).Nkind = N_Number_Declaration
2494 or else NT (N).Nkind = N_Object_Declaration
2495 or else NT (N).Nkind = N_Parameter_Specification);
2499 function Print_In_Hex
2500 (N : Node_Id) return Boolean is
2502 pragma Assert (False
2503 or else NT (N).Nkind = N_Integer_Literal);
2507 function Private_Declarations
2508 (N : Node_Id) return List_Id is
2510 pragma Assert (False
2511 or else NT (N).Nkind = N_Package_Specification
2512 or else NT (N).Nkind = N_Protected_Definition
2513 or else NT (N).Nkind = N_Task_Definition);
2515 end Private_Declarations;
2517 function Private_Present
2518 (N : Node_Id) return Boolean is
2520 pragma Assert (False
2521 or else NT (N).Nkind = N_Compilation_Unit
2522 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2523 or else NT (N).Nkind = N_With_Clause);
2525 end Private_Present;
2527 function Procedure_To_Call
2528 (N : Node_Id) return Node_Id is
2530 pragma Assert (False
2531 or else NT (N).Nkind = N_Allocator
2532 or else NT (N).Nkind = N_Extended_Return_Statement
2533 or else NT (N).Nkind = N_Free_Statement
2534 or else NT (N).Nkind = N_Return_Statement);
2536 end Procedure_To_Call;
2538 function Proper_Body
2539 (N : Node_Id) return Node_Id is
2541 pragma Assert (False
2542 or else NT (N).Nkind = N_Subunit);
2546 function Protected_Definition
2547 (N : Node_Id) return Node_Id is
2549 pragma Assert (False
2550 or else NT (N).Nkind = N_Protected_Type_Declaration
2551 or else NT (N).Nkind = N_Single_Protected_Declaration);
2553 end Protected_Definition;
2555 function Protected_Present
2556 (N : Node_Id) return Boolean is
2558 pragma Assert (False
2559 or else NT (N).Nkind = N_Access_Function_Definition
2560 or else NT (N).Nkind = N_Access_Procedure_Definition
2561 or else NT (N).Nkind = N_Derived_Type_Definition
2562 or else NT (N).Nkind = N_Record_Definition);
2564 end Protected_Present;
2566 function Raises_Constraint_Error
2567 (N : Node_Id) return Boolean is
2569 pragma Assert (False
2570 or else NT (N).Nkind in N_Subexpr);
2572 end Raises_Constraint_Error;
2574 function Range_Constraint
2575 (N : Node_Id) return Node_Id is
2577 pragma Assert (False
2578 or else NT (N).Nkind = N_Delta_Constraint
2579 or else NT (N).Nkind = N_Digits_Constraint);
2581 end Range_Constraint;
2583 function Range_Expression
2584 (N : Node_Id) return Node_Id is
2586 pragma Assert (False
2587 or else NT (N).Nkind = N_Range_Constraint);
2589 end Range_Expression;
2591 function Real_Range_Specification
2592 (N : Node_Id) return Node_Id is
2594 pragma Assert (False
2595 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2596 or else NT (N).Nkind = N_Floating_Point_Definition
2597 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2599 end Real_Range_Specification;
2602 (N : Node_Id) return Ureal is
2604 pragma Assert (False
2605 or else NT (N).Nkind = N_Real_Literal);
2610 (N : Node_Id) return Uint is
2612 pragma Assert (False
2613 or else NT (N).Nkind = N_Raise_Constraint_Error
2614 or else NT (N).Nkind = N_Raise_Program_Error
2615 or else NT (N).Nkind = N_Raise_Storage_Error);
2619 function Record_Extension_Part
2620 (N : Node_Id) return Node_Id is
2622 pragma Assert (False
2623 or else NT (N).Nkind = N_Derived_Type_Definition);
2625 end Record_Extension_Part;
2627 function Redundant_Use
2628 (N : Node_Id) return Boolean is
2630 pragma Assert (False
2631 or else NT (N).Nkind = N_Attribute_Reference
2632 or else NT (N).Nkind = N_Expanded_Name
2633 or else NT (N).Nkind = N_Identifier);
2637 function Renaming_Exception
2638 (N : Node_Id) return Node_Id is
2640 pragma Assert (False
2641 or else NT (N).Nkind = N_Exception_Declaration);
2643 end Renaming_Exception;
2645 function Result_Definition
2646 (N : Node_Id) return Node_Id is
2648 pragma Assert (False
2649 or else NT (N).Nkind = N_Access_Function_Definition
2650 or else NT (N).Nkind = N_Function_Specification);
2652 end Result_Definition;
2654 function Return_Object_Declarations
2655 (N : Node_Id) return List_Id is
2657 pragma Assert (False
2658 or else NT (N).Nkind = N_Extended_Return_Statement);
2660 end Return_Object_Declarations;
2662 function Return_Statement_Entity
2663 (N : Node_Id) return Node_Id is
2665 pragma Assert (False
2666 or else NT (N).Nkind = N_Extended_Return_Statement
2667 or else NT (N).Nkind = N_Return_Statement);
2669 end Return_Statement_Entity;
2671 function Reverse_Present
2672 (N : Node_Id) return Boolean is
2674 pragma Assert (False
2675 or else NT (N).Nkind = N_Iterator_Specification
2676 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2678 end Reverse_Present;
2681 (N : Node_Id) return Node_Id is
2683 pragma Assert (False
2684 or else NT (N).Nkind in N_Op
2685 or else NT (N).Nkind = N_And_Then
2686 or else NT (N).Nkind = N_In
2687 or else NT (N).Nkind = N_Not_In
2688 or else NT (N).Nkind = N_Or_Else);
2692 function Rounded_Result
2693 (N : Node_Id) return Boolean is
2695 pragma Assert (False
2696 or else NT (N).Nkind = N_Op_Divide
2697 or else NT (N).Nkind = N_Op_Multiply
2698 or else NT (N).Nkind = N_Type_Conversion);
2702 function SCIL_Controlling_Tag
2703 (N : Node_Id) return Node_Id is
2705 pragma Assert (False
2706 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2708 end SCIL_Controlling_Tag;
2710 function SCIL_Entity
2711 (N : Node_Id) return Node_Id is
2713 pragma Assert (False
2714 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2715 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2716 or else NT (N).Nkind = N_SCIL_Membership_Test);
2720 function SCIL_Tag_Value
2721 (N : Node_Id) return Node_Id is
2723 pragma Assert (False
2724 or else NT (N).Nkind = N_SCIL_Membership_Test);
2728 function SCIL_Target_Prim
2729 (N : Node_Id) return Node_Id is
2731 pragma Assert (False
2732 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2734 end SCIL_Target_Prim;
2737 (N : Node_Id) return Node_Id is
2739 pragma Assert (False
2740 or else NT (N).Nkind = N_Defining_Character_Literal
2741 or else NT (N).Nkind = N_Defining_Identifier
2742 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2746 function Select_Alternatives
2747 (N : Node_Id) return List_Id is
2749 pragma Assert (False
2750 or else NT (N).Nkind = N_Selective_Accept);
2752 end Select_Alternatives;
2754 function Selector_Name
2755 (N : Node_Id) return Node_Id is
2757 pragma Assert (False
2758 or else NT (N).Nkind = N_Expanded_Name
2759 or else NT (N).Nkind = N_Generic_Association
2760 or else NT (N).Nkind = N_Parameter_Association
2761 or else NT (N).Nkind = N_Selected_Component);
2765 function Selector_Names
2766 (N : Node_Id) return List_Id is
2768 pragma Assert (False
2769 or else NT (N).Nkind = N_Discriminant_Association);
2773 function Shift_Count_OK
2774 (N : Node_Id) return Boolean is
2776 pragma Assert (False
2777 or else NT (N).Nkind = N_Op_Rotate_Left
2778 or else NT (N).Nkind = N_Op_Rotate_Right
2779 or else NT (N).Nkind = N_Op_Shift_Left
2780 or else NT (N).Nkind = N_Op_Shift_Right
2781 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2785 function Source_Type
2786 (N : Node_Id) return Entity_Id is
2788 pragma Assert (False
2789 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2793 function Specification
2794 (N : Node_Id) return Node_Id is
2796 pragma Assert (False
2797 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2798 or else NT (N).Nkind = N_Expression_Function
2799 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2800 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2801 or else NT (N).Nkind = N_Generic_Package_Declaration
2802 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2803 or else NT (N).Nkind = N_Package_Declaration
2804 or else NT (N).Nkind = N_Subprogram_Body
2805 or else NT (N).Nkind = N_Subprogram_Body_Stub
2806 or else NT (N).Nkind = N_Subprogram_Declaration
2807 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2812 (N : Node_Id) return Boolean is
2814 pragma Assert (False
2815 or else NT (N).Nkind = N_Aspect_Specification
2816 or else NT (N).Nkind = N_Pragma);
2821 (N : Node_Id) return List_Id is
2823 pragma Assert (False
2824 or else NT (N).Nkind = N_Abortable_Part
2825 or else NT (N).Nkind = N_Accept_Alternative
2826 or else NT (N).Nkind = N_Case_Statement_Alternative
2827 or else NT (N).Nkind = N_Delay_Alternative
2828 or else NT (N).Nkind = N_Entry_Call_Alternative
2829 or else NT (N).Nkind = N_Exception_Handler
2830 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2831 or else NT (N).Nkind = N_Loop_Statement
2832 or else NT (N).Nkind = N_Triggering_Alternative);
2836 function Static_Processing_OK
2837 (N : Node_Id) return Boolean is
2839 pragma Assert (False
2840 or else NT (N).Nkind = N_Aggregate);
2842 end Static_Processing_OK;
2844 function Storage_Pool
2845 (N : Node_Id) return Node_Id is
2847 pragma Assert (False
2848 or else NT (N).Nkind = N_Allocator
2849 or else NT (N).Nkind = N_Extended_Return_Statement
2850 or else NT (N).Nkind = N_Free_Statement
2851 or else NT (N).Nkind = N_Return_Statement);
2856 (N : Node_Id) return String_Id is
2858 pragma Assert (False
2859 or else NT (N).Nkind = N_Operator_Symbol
2860 or else NT (N).Nkind = N_String_Literal);
2864 function Subtype_Indication
2865 (N : Node_Id) return Node_Id is
2867 pragma Assert (False
2868 or else NT (N).Nkind = N_Access_To_Object_Definition
2869 or else NT (N).Nkind = N_Component_Definition
2870 or else NT (N).Nkind = N_Derived_Type_Definition
2871 or else NT (N).Nkind = N_Iterator_Specification
2872 or else NT (N).Nkind = N_Private_Extension_Declaration
2873 or else NT (N).Nkind = N_Subtype_Declaration);
2875 end Subtype_Indication;
2877 function Suppress_Assignment_Checks
2878 (N : Node_Id) return Boolean is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Assignment_Statement
2882 or else NT (N).Nkind = N_Object_Declaration);
2884 end Suppress_Assignment_Checks;
2886 function Suppress_Loop_Warnings
2887 (N : Node_Id) return Boolean is
2889 pragma Assert (False
2890 or else NT (N).Nkind = N_Loop_Statement);
2892 end Suppress_Loop_Warnings;
2894 function Subtype_Mark
2895 (N : Node_Id) return Node_Id is
2897 pragma Assert (False
2898 or else NT (N).Nkind = N_Access_Definition
2899 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2900 or else NT (N).Nkind = N_Formal_Object_Declaration
2901 or else NT (N).Nkind = N_Object_Renaming_Declaration
2902 or else NT (N).Nkind = N_Qualified_Expression
2903 or else NT (N).Nkind = N_Subtype_Indication
2904 or else NT (N).Nkind = N_Type_Conversion
2905 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2909 function Subtype_Marks
2910 (N : Node_Id) return List_Id is
2912 pragma Assert (False
2913 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2914 or else NT (N).Nkind = N_Use_Type_Clause);
2918 function Synchronized_Present
2919 (N : Node_Id) return Boolean is
2921 pragma Assert (False
2922 or else NT (N).Nkind = N_Derived_Type_Definition
2923 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2924 or else NT (N).Nkind = N_Private_Extension_Declaration
2925 or else NT (N).Nkind = N_Record_Definition);
2927 end Synchronized_Present;
2929 function Tagged_Present
2930 (N : Node_Id) return Boolean is
2932 pragma Assert (False
2933 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2934 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2935 or else NT (N).Nkind = N_Private_Type_Declaration
2936 or else NT (N).Nkind = N_Record_Definition);
2940 function Target_Type
2941 (N : Node_Id) return Entity_Id is
2943 pragma Assert (False
2944 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2948 function Task_Definition
2949 (N : Node_Id) return Node_Id is
2951 pragma Assert (False
2952 or else NT (N).Nkind = N_Single_Task_Declaration
2953 or else NT (N).Nkind = N_Task_Type_Declaration);
2955 end Task_Definition;
2957 function Task_Present
2958 (N : Node_Id) return Boolean is
2960 pragma Assert (False
2961 or else NT (N).Nkind = N_Derived_Type_Definition
2962 or else NT (N).Nkind = N_Record_Definition);
2966 function Then_Actions
2967 (N : Node_Id) return List_Id is
2969 pragma Assert (False
2970 or else NT (N).Nkind = N_Conditional_Expression);
2974 function Then_Statements
2975 (N : Node_Id) return List_Id is
2977 pragma Assert (False
2978 or else NT (N).Nkind = N_Elsif_Part
2979 or else NT (N).Nkind = N_If_Statement);
2981 end Then_Statements;
2983 function Treat_Fixed_As_Integer
2984 (N : Node_Id) return Boolean is
2986 pragma Assert (False
2987 or else NT (N).Nkind = N_Op_Divide
2988 or else NT (N).Nkind = N_Op_Mod
2989 or else NT (N).Nkind = N_Op_Multiply
2990 or else NT (N).Nkind = N_Op_Rem);
2992 end Treat_Fixed_As_Integer;
2994 function Triggering_Alternative
2995 (N : Node_Id) return Node_Id is
2997 pragma Assert (False
2998 or else NT (N).Nkind = N_Asynchronous_Select);
3000 end Triggering_Alternative;
3002 function Triggering_Statement
3003 (N : Node_Id) return Node_Id is
3005 pragma Assert (False
3006 or else NT (N).Nkind = N_Triggering_Alternative);
3008 end Triggering_Statement;
3011 (N : Node_Id) return Elist_Id is
3013 pragma Assert (False
3014 or else NT (N).Nkind = N_Freeze_Entity);
3018 function Type_Definition
3019 (N : Node_Id) return Node_Id is
3021 pragma Assert (False
3022 or else NT (N).Nkind = N_Full_Type_Declaration);
3024 end Type_Definition;
3027 (N : Node_Id) return Node_Id is
3029 pragma Assert (False
3030 or else NT (N).Nkind = N_Compilation_Unit);
3034 function Unknown_Discriminants_Present
3035 (N : Node_Id) return Boolean is
3037 pragma Assert (False
3038 or else NT (N).Nkind = N_Formal_Type_Declaration
3039 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3040 or else NT (N).Nkind = N_Private_Extension_Declaration
3041 or else NT (N).Nkind = N_Private_Type_Declaration);
3043 end Unknown_Discriminants_Present;
3045 function Unreferenced_In_Spec
3046 (N : Node_Id) return Boolean is
3048 pragma Assert (False
3049 or else NT (N).Nkind = N_With_Clause);
3051 end Unreferenced_In_Spec;
3053 function Variant_Part
3054 (N : Node_Id) return Node_Id is
3056 pragma Assert (False
3057 or else NT (N).Nkind = N_Component_List);
3062 (N : Node_Id) return List_Id is
3064 pragma Assert (False
3065 or else NT (N).Nkind = N_Variant_Part);
3069 function Visible_Declarations
3070 (N : Node_Id) return List_Id is
3072 pragma Assert (False
3073 or else NT (N).Nkind = N_Package_Specification
3074 or else NT (N).Nkind = N_Protected_Definition
3075 or else NT (N).Nkind = N_Task_Definition);
3077 end Visible_Declarations;
3079 function Used_Operations
3080 (N : Node_Id) return Elist_Id is
3082 pragma Assert (False
3083 or else NT (N).Nkind = N_Use_Type_Clause);
3085 end Used_Operations;
3087 function Was_Originally_Stub
3088 (N : Node_Id) return Boolean is
3090 pragma Assert (False
3091 or else NT (N).Nkind = N_Package_Body
3092 or else NT (N).Nkind = N_Protected_Body
3093 or else NT (N).Nkind = N_Subprogram_Body
3094 or else NT (N).Nkind = N_Task_Body);
3096 end Was_Originally_Stub;
3098 function Withed_Body
3099 (N : Node_Id) return Node_Id is
3101 pragma Assert (False
3102 or else NT (N).Nkind = N_With_Clause);
3106 function Zero_Cost_Handling
3107 (N : Node_Id) return Boolean is
3109 pragma Assert (False
3110 or else NT (N).Nkind = N_Exception_Handler
3111 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3113 end Zero_Cost_Handling;
3115 --------------------------
3116 -- Field Set Procedures --
3117 --------------------------
3119 procedure Set_ABE_Is_Certain
3120 (N : Node_Id; Val : Boolean := True) is
3122 pragma Assert (False
3123 or else NT (N).Nkind = N_Formal_Package_Declaration
3124 or else NT (N).Nkind = N_Function_Call
3125 or else NT (N).Nkind = N_Function_Instantiation
3126 or else NT (N).Nkind = N_Package_Instantiation
3127 or else NT (N).Nkind = N_Procedure_Call_Statement
3128 or else NT (N).Nkind = N_Procedure_Instantiation);
3129 Set_Flag18 (N, Val);
3130 end Set_ABE_Is_Certain;
3132 procedure Set_Abort_Present
3133 (N : Node_Id; Val : Boolean := True) is
3135 pragma Assert (False
3136 or else NT (N).Nkind = N_Requeue_Statement);
3137 Set_Flag15 (N, Val);
3138 end Set_Abort_Present;
3140 procedure Set_Abortable_Part
3141 (N : Node_Id; Val : Node_Id) is
3143 pragma Assert (False
3144 or else NT (N).Nkind = N_Asynchronous_Select);
3145 Set_Node2_With_Parent (N, Val);
3146 end Set_Abortable_Part;
3148 procedure Set_Abstract_Present
3149 (N : Node_Id; Val : Boolean := True) is
3151 pragma Assert (False
3152 or else NT (N).Nkind = N_Derived_Type_Definition
3153 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3154 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3155 or else NT (N).Nkind = N_Private_Extension_Declaration
3156 or else NT (N).Nkind = N_Private_Type_Declaration
3157 or else NT (N).Nkind = N_Record_Definition);
3159 end Set_Abstract_Present;
3161 procedure Set_Accept_Handler_Records
3162 (N : Node_Id; Val : List_Id) is
3164 pragma Assert (False
3165 or else NT (N).Nkind = N_Accept_Alternative);
3166 Set_List5 (N, Val); -- semantic field, no parent set
3167 end Set_Accept_Handler_Records;
3169 procedure Set_Accept_Statement
3170 (N : Node_Id; Val : Node_Id) is
3172 pragma Assert (False
3173 or else NT (N).Nkind = N_Accept_Alternative);
3174 Set_Node2_With_Parent (N, Val);
3175 end Set_Accept_Statement;
3177 procedure Set_Access_Definition
3178 (N : Node_Id; Val : Node_Id) is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Component_Definition
3182 or else NT (N).Nkind = N_Formal_Object_Declaration
3183 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3184 Set_Node3_With_Parent (N, Val);
3185 end Set_Access_Definition;
3187 procedure Set_Access_To_Subprogram_Definition
3188 (N : Node_Id; Val : Node_Id) is
3190 pragma Assert (False
3191 or else NT (N).Nkind = N_Access_Definition);
3192 Set_Node3_With_Parent (N, Val);
3193 end Set_Access_To_Subprogram_Definition;
3195 procedure Set_Access_Types_To_Process
3196 (N : Node_Id; Val : Elist_Id) is
3198 pragma Assert (False
3199 or else NT (N).Nkind = N_Freeze_Entity);
3200 Set_Elist2 (N, Val); -- semantic field, no parent set
3201 end Set_Access_Types_To_Process;
3203 procedure Set_Actions
3204 (N : Node_Id; Val : List_Id) is
3206 pragma Assert (False
3207 or else NT (N).Nkind = N_And_Then
3208 or else NT (N).Nkind = N_Case_Expression_Alternative
3209 or else NT (N).Nkind = N_Compilation_Unit_Aux
3210 or else NT (N).Nkind = N_Expression_With_Actions
3211 or else NT (N).Nkind = N_Freeze_Entity
3212 or else NT (N).Nkind = N_Or_Else);
3213 Set_List1_With_Parent (N, Val);
3216 procedure Set_Activation_Chain_Entity
3217 (N : Node_Id; Val : Node_Id) is
3219 pragma Assert (False
3220 or else NT (N).Nkind = N_Block_Statement
3221 or else NT (N).Nkind = N_Entry_Body
3222 or else NT (N).Nkind = N_Generic_Package_Declaration
3223 or else NT (N).Nkind = N_Package_Declaration
3224 or else NT (N).Nkind = N_Subprogram_Body
3225 or else NT (N).Nkind = N_Task_Body);
3226 Set_Node3 (N, Val); -- semantic field, no parent set
3227 end Set_Activation_Chain_Entity;
3229 procedure Set_Acts_As_Spec
3230 (N : Node_Id; Val : Boolean := True) is
3232 pragma Assert (False
3233 or else NT (N).Nkind = N_Compilation_Unit
3234 or else NT (N).Nkind = N_Subprogram_Body);
3236 end Set_Acts_As_Spec;
3238 procedure Set_Actual_Designated_Subtype
3239 (N : Node_Id; Val : Node_Id) is
3241 pragma Assert (False
3242 or else NT (N).Nkind = N_Explicit_Dereference
3243 or else NT (N).Nkind = N_Free_Statement);
3245 end Set_Actual_Designated_Subtype;
3247 procedure Set_Address_Warning_Posted
3248 (N : Node_Id; Val : Boolean := True) is
3250 pragma Assert (False
3251 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3252 Set_Flag18 (N, Val);
3253 end Set_Address_Warning_Posted;
3255 procedure Set_Aggregate_Bounds
3256 (N : Node_Id; Val : Node_Id) is
3258 pragma Assert (False
3259 or else NT (N).Nkind = N_Aggregate);
3260 Set_Node3 (N, Val); -- semantic field, no parent set
3261 end Set_Aggregate_Bounds;
3263 procedure Set_Aliased_Present
3264 (N : Node_Id; Val : Boolean := True) is
3266 pragma Assert (False
3267 or else NT (N).Nkind = N_Component_Definition
3268 or else NT (N).Nkind = N_Object_Declaration);
3270 end Set_Aliased_Present;
3272 procedure Set_All_Others
3273 (N : Node_Id; Val : Boolean := True) is
3275 pragma Assert (False
3276 or else NT (N).Nkind = N_Others_Choice);
3277 Set_Flag11 (N, Val);
3280 procedure Set_All_Present
3281 (N : Node_Id; Val : Boolean := True) is
3283 pragma Assert (False
3284 or else NT (N).Nkind = N_Access_Definition
3285 or else NT (N).Nkind = N_Access_To_Object_Definition
3286 or else NT (N).Nkind = N_Quantified_Expression
3287 or else NT (N).Nkind = N_Use_Type_Clause);
3288 Set_Flag15 (N, Val);
3289 end Set_All_Present;
3291 procedure Set_Alternatives
3292 (N : Node_Id; Val : List_Id) is
3294 pragma Assert (False
3295 or else NT (N).Nkind = N_Case_Expression
3296 or else NT (N).Nkind = N_Case_Statement
3297 or else NT (N).Nkind = N_In
3298 or else NT (N).Nkind = N_Not_In);
3299 Set_List4_With_Parent (N, Val);
3300 end Set_Alternatives;
3302 procedure Set_Ancestor_Part
3303 (N : Node_Id; Val : Node_Id) is
3305 pragma Assert (False
3306 or else NT (N).Nkind = N_Extension_Aggregate);
3307 Set_Node3_With_Parent (N, Val);
3308 end Set_Ancestor_Part;
3310 procedure Set_Array_Aggregate
3311 (N : Node_Id; Val : Node_Id) is
3313 pragma Assert (False
3314 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3315 Set_Node3_With_Parent (N, Val);
3316 end Set_Array_Aggregate;
3318 procedure Set_Aspect_Rep_Item
3319 (N : Node_Id; Val : Node_Id) is
3321 pragma Assert (False
3322 or else NT (N).Nkind = N_Aspect_Specification);
3324 end Set_Aspect_Rep_Item;
3326 procedure Set_Assignment_OK
3327 (N : Node_Id; Val : Boolean := True) is
3329 pragma Assert (False
3330 or else NT (N).Nkind = N_Object_Declaration
3331 or else NT (N).Nkind in N_Subexpr);
3332 Set_Flag15 (N, Val);
3333 end Set_Assignment_OK;
3335 procedure Set_Associated_Node
3336 (N : Node_Id; Val : Node_Id) is
3338 pragma Assert (False
3339 or else NT (N).Nkind in N_Has_Entity
3340 or else NT (N).Nkind = N_Aggregate
3341 or else NT (N).Nkind = N_Extension_Aggregate
3342 or else NT (N).Nkind = N_Selected_Component);
3343 Set_Node4 (N, Val); -- semantic field, no parent set
3344 end Set_Associated_Node;
3346 procedure Set_At_End_Proc
3347 (N : Node_Id; Val : Node_Id) is
3349 pragma Assert (False
3350 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3352 end Set_At_End_Proc;
3354 procedure Set_Attribute_Name
3355 (N : Node_Id; Val : Name_Id) is
3357 pragma Assert (False
3358 or else NT (N).Nkind = N_Attribute_Reference);
3360 end Set_Attribute_Name;
3362 procedure Set_Aux_Decls_Node
3363 (N : Node_Id; Val : Node_Id) is
3365 pragma Assert (False
3366 or else NT (N).Nkind = N_Compilation_Unit);
3367 Set_Node5_With_Parent (N, Val);
3368 end Set_Aux_Decls_Node;
3370 procedure Set_Backwards_OK
3371 (N : Node_Id; Val : Boolean := True) is
3373 pragma Assert (False
3374 or else NT (N).Nkind = N_Assignment_Statement);
3376 end Set_Backwards_OK;
3378 procedure Set_Bad_Is_Detected
3379 (N : Node_Id; Val : Boolean := True) is
3381 pragma Assert (False
3382 or else NT (N).Nkind = N_Subprogram_Body);
3383 Set_Flag15 (N, Val);
3384 end Set_Bad_Is_Detected;
3386 procedure Set_Body_Required
3387 (N : Node_Id; Val : Boolean := True) is
3389 pragma Assert (False
3390 or else NT (N).Nkind = N_Compilation_Unit);
3391 Set_Flag13 (N, Val);
3392 end Set_Body_Required;
3394 procedure Set_Body_To_Inline
3395 (N : Node_Id; Val : Node_Id) is
3397 pragma Assert (False
3398 or else NT (N).Nkind = N_Subprogram_Declaration);
3400 end Set_Body_To_Inline;
3402 procedure Set_Box_Present
3403 (N : Node_Id; Val : Boolean := True) is
3405 pragma Assert (False
3406 or else NT (N).Nkind = N_Component_Association
3407 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3408 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3409 or else NT (N).Nkind = N_Formal_Package_Declaration
3410 or else NT (N).Nkind = N_Generic_Association);
3411 Set_Flag15 (N, Val);
3412 end Set_Box_Present;
3414 procedure Set_By_Ref
3415 (N : Node_Id; Val : Boolean := True) is
3417 pragma Assert (False
3418 or else NT (N).Nkind = N_Extended_Return_Statement
3419 or else NT (N).Nkind = N_Return_Statement);
3423 procedure Set_Char_Literal_Value
3424 (N : Node_Id; Val : Uint) is
3426 pragma Assert (False
3427 or else NT (N).Nkind = N_Character_Literal);
3429 end Set_Char_Literal_Value;
3432 (N : Node_Id; Val : Name_Id) is
3434 pragma Assert (False
3435 or else NT (N).Nkind in N_Has_Chars);
3439 procedure Set_Check_Address_Alignment
3440 (N : Node_Id; Val : Boolean := True) is
3442 pragma Assert (False
3443 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3444 Set_Flag11 (N, Val);
3445 end Set_Check_Address_Alignment;
3447 procedure Set_Choice_Parameter
3448 (N : Node_Id; Val : Node_Id) is
3450 pragma Assert (False
3451 or else NT (N).Nkind = N_Exception_Handler);
3452 Set_Node2_With_Parent (N, Val);
3453 end Set_Choice_Parameter;
3455 procedure Set_Choices
3456 (N : Node_Id; Val : List_Id) is
3458 pragma Assert (False
3459 or else NT (N).Nkind = N_Component_Association);
3460 Set_List1_With_Parent (N, Val);
3463 procedure Set_Class_Present
3464 (N : Node_Id; Val : Boolean := True) is
3466 pragma Assert (False
3467 or else NT (N).Nkind = N_Aspect_Specification
3468 or else NT (N).Nkind = N_Pragma);
3470 end Set_Class_Present;
3472 procedure Set_Coextensions
3473 (N : Node_Id; Val : Elist_Id) is
3475 pragma Assert (False
3476 or else NT (N).Nkind = N_Allocator);
3477 Set_Elist4 (N, Val);
3478 end Set_Coextensions;
3480 procedure Set_Comes_From_Extended_Return_Statement
3481 (N : Node_Id; Val : Boolean := True) is
3483 pragma Assert (False
3484 or else NT (N).Nkind = N_Return_Statement);
3485 Set_Flag18 (N, Val);
3486 end Set_Comes_From_Extended_Return_Statement;
3488 procedure Set_Compile_Time_Known_Aggregate
3489 (N : Node_Id; Val : Boolean := True) is
3491 pragma Assert (False
3492 or else NT (N).Nkind = N_Aggregate);
3493 Set_Flag18 (N, Val);
3494 end Set_Compile_Time_Known_Aggregate;
3496 procedure Set_Component_Associations
3497 (N : Node_Id; Val : List_Id) is
3499 pragma Assert (False
3500 or else NT (N).Nkind = N_Aggregate
3501 or else NT (N).Nkind = N_Extension_Aggregate);
3502 Set_List2_With_Parent (N, Val);
3503 end Set_Component_Associations;
3505 procedure Set_Component_Clauses
3506 (N : Node_Id; Val : List_Id) is
3508 pragma Assert (False
3509 or else NT (N).Nkind = N_Record_Representation_Clause);
3510 Set_List3_With_Parent (N, Val);
3511 end Set_Component_Clauses;
3513 procedure Set_Component_Definition
3514 (N : Node_Id; Val : Node_Id) is
3516 pragma Assert (False
3517 or else NT (N).Nkind = N_Component_Declaration
3518 or else NT (N).Nkind = N_Constrained_Array_Definition
3519 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3520 Set_Node4_With_Parent (N, Val);
3521 end Set_Component_Definition;
3523 procedure Set_Component_Items
3524 (N : Node_Id; Val : List_Id) is
3526 pragma Assert (False
3527 or else NT (N).Nkind = N_Component_List);
3528 Set_List3_With_Parent (N, Val);
3529 end Set_Component_Items;
3531 procedure Set_Component_List
3532 (N : Node_Id; Val : Node_Id) is
3534 pragma Assert (False
3535 or else NT (N).Nkind = N_Record_Definition
3536 or else NT (N).Nkind = N_Variant);
3537 Set_Node1_With_Parent (N, Val);
3538 end Set_Component_List;
3540 procedure Set_Component_Name
3541 (N : Node_Id; Val : Node_Id) is
3543 pragma Assert (False
3544 or else NT (N).Nkind = N_Component_Clause);
3545 Set_Node1_With_Parent (N, Val);
3546 end Set_Component_Name;
3548 procedure Set_Componentwise_Assignment
3549 (N : Node_Id; Val : Boolean := True) is
3551 pragma Assert (False
3552 or else NT (N).Nkind = N_Assignment_Statement);
3553 Set_Flag14 (N, Val);
3554 end Set_Componentwise_Assignment;
3556 procedure Set_Condition
3557 (N : Node_Id; Val : Node_Id) is
3559 pragma Assert (False
3560 or else NT (N).Nkind = N_Accept_Alternative
3561 or else NT (N).Nkind = N_Delay_Alternative
3562 or else NT (N).Nkind = N_Elsif_Part
3563 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3564 or else NT (N).Nkind = N_Exit_Statement
3565 or else NT (N).Nkind = N_If_Statement
3566 or else NT (N).Nkind = N_Iteration_Scheme
3567 or else NT (N).Nkind = N_Quantified_Expression
3568 or else NT (N).Nkind = N_Raise_Constraint_Error
3569 or else NT (N).Nkind = N_Raise_Program_Error
3570 or else NT (N).Nkind = N_Raise_Storage_Error
3571 or else NT (N).Nkind = N_Terminate_Alternative);
3572 Set_Node1_With_Parent (N, Val);
3575 procedure Set_Condition_Actions
3576 (N : Node_Id; Val : List_Id) is
3578 pragma Assert (False
3579 or else NT (N).Nkind = N_Elsif_Part
3580 or else NT (N).Nkind = N_Iteration_Scheme);
3581 Set_List3 (N, Val); -- semantic field, no parent set
3582 end Set_Condition_Actions;
3584 procedure Set_Config_Pragmas
3585 (N : Node_Id; Val : List_Id) is
3587 pragma Assert (False
3588 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3589 Set_List4_With_Parent (N, Val);
3590 end Set_Config_Pragmas;
3592 procedure Set_Constant_Present
3593 (N : Node_Id; Val : Boolean := True) is
3595 pragma Assert (False
3596 or else NT (N).Nkind = N_Access_Definition
3597 or else NT (N).Nkind = N_Access_To_Object_Definition
3598 or else NT (N).Nkind = N_Object_Declaration);
3599 Set_Flag17 (N, Val);
3600 end Set_Constant_Present;
3602 procedure Set_Constraint
3603 (N : Node_Id; Val : Node_Id) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Subtype_Indication);
3607 Set_Node3_With_Parent (N, Val);
3610 procedure Set_Constraints
3611 (N : Node_Id; Val : List_Id) is
3613 pragma Assert (False
3614 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3615 Set_List1_With_Parent (N, Val);
3616 end Set_Constraints;
3618 procedure Set_Context_Installed
3619 (N : Node_Id; Val : Boolean := True) is
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_With_Clause);
3623 Set_Flag13 (N, Val);
3624 end Set_Context_Installed;
3626 procedure Set_Context_Items
3627 (N : Node_Id; Val : List_Id) is
3629 pragma Assert (False
3630 or else NT (N).Nkind = N_Compilation_Unit);
3631 Set_List1_With_Parent (N, Val);
3632 end Set_Context_Items;
3634 procedure Set_Context_Pending
3635 (N : Node_Id; Val : Boolean := True) is
3637 pragma Assert (False
3638 or else NT (N).Nkind = N_Compilation_Unit);
3639 Set_Flag16 (N, Val);
3640 end Set_Context_Pending;
3642 procedure Set_Controlling_Argument
3643 (N : Node_Id; Val : Node_Id) is
3645 pragma Assert (False
3646 or else NT (N).Nkind = N_Function_Call
3647 or else NT (N).Nkind = N_Procedure_Call_Statement);
3648 Set_Node1 (N, Val); -- semantic field, no parent set
3649 end Set_Controlling_Argument;
3651 procedure Set_Conversion_OK
3652 (N : Node_Id; Val : Boolean := True) is
3654 pragma Assert (False
3655 or else NT (N).Nkind = N_Type_Conversion);
3656 Set_Flag14 (N, Val);
3657 end Set_Conversion_OK;
3659 procedure Set_Corresponding_Body
3660 (N : Node_Id; Val : Node_Id) is
3662 pragma Assert (False
3663 or else NT (N).Nkind = N_Entry_Declaration
3664 or else NT (N).Nkind = N_Generic_Package_Declaration
3665 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3666 or else NT (N).Nkind = N_Package_Body_Stub
3667 or else NT (N).Nkind = N_Package_Declaration
3668 or else NT (N).Nkind = N_Protected_Body_Stub
3669 or else NT (N).Nkind = N_Protected_Type_Declaration
3670 or else NT (N).Nkind = N_Subprogram_Body_Stub
3671 or else NT (N).Nkind = N_Subprogram_Declaration
3672 or else NT (N).Nkind = N_Task_Body_Stub
3673 or else NT (N).Nkind = N_Task_Type_Declaration);
3674 Set_Node5 (N, Val); -- semantic field, no parent set
3675 end Set_Corresponding_Body;
3677 procedure Set_Corresponding_Formal_Spec
3678 (N : Node_Id; Val : Node_Id) is
3680 pragma Assert (False
3681 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3682 Set_Node3 (N, Val); -- semantic field, no parent set
3683 end Set_Corresponding_Formal_Spec;
3685 procedure Set_Corresponding_Generic_Association
3686 (N : Node_Id; Val : Node_Id) is
3688 pragma Assert (False
3689 or else NT (N).Nkind = N_Object_Declaration
3690 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3691 Set_Node5 (N, Val); -- semantic field, no parent set
3692 end Set_Corresponding_Generic_Association;
3694 procedure Set_Corresponding_Integer_Value
3695 (N : Node_Id; Val : Uint) is
3697 pragma Assert (False
3698 or else NT (N).Nkind = N_Real_Literal);
3699 Set_Uint4 (N, Val); -- semantic field, no parent set
3700 end Set_Corresponding_Integer_Value;
3702 procedure Set_Corresponding_Spec
3703 (N : Node_Id; Val : Node_Id) is
3705 pragma Assert (False
3706 or else NT (N).Nkind = N_Package_Body
3707 or else NT (N).Nkind = N_Protected_Body
3708 or else NT (N).Nkind = N_Subprogram_Body
3709 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3710 or else NT (N).Nkind = N_Task_Body
3711 or else NT (N).Nkind = N_With_Clause);
3712 Set_Node5 (N, Val); -- semantic field, no parent set
3713 end Set_Corresponding_Spec;
3715 procedure Set_Corresponding_Stub
3716 (N : Node_Id; Val : Node_Id) is
3718 pragma Assert (False
3719 or else NT (N).Nkind = N_Subunit);
3721 end Set_Corresponding_Stub;
3723 procedure Set_Dcheck_Function
3724 (N : Node_Id; Val : Entity_Id) is
3726 pragma Assert (False
3727 or else NT (N).Nkind = N_Variant);
3728 Set_Node5 (N, Val); -- semantic field, no parent set
3729 end Set_Dcheck_Function;
3731 procedure Set_Debug_Statement
3732 (N : Node_Id; Val : Node_Id) is
3734 pragma Assert (False
3735 or else NT (N).Nkind = N_Pragma);
3736 Set_Node3_With_Parent (N, Val);
3737 end Set_Debug_Statement;
3739 procedure Set_Declarations
3740 (N : Node_Id; Val : List_Id) is
3742 pragma Assert (False
3743 or else NT (N).Nkind = N_Accept_Statement
3744 or else NT (N).Nkind = N_Block_Statement
3745 or else NT (N).Nkind = N_Compilation_Unit_Aux
3746 or else NT (N).Nkind = N_Entry_Body
3747 or else NT (N).Nkind = N_Package_Body
3748 or else NT (N).Nkind = N_Protected_Body
3749 or else NT (N).Nkind = N_Subprogram_Body
3750 or else NT (N).Nkind = N_Task_Body);
3751 Set_List2_With_Parent (N, Val);
3752 end Set_Declarations;
3754 procedure Set_Default_Expression
3755 (N : Node_Id; Val : Node_Id) is
3757 pragma Assert (False
3758 or else NT (N).Nkind = N_Formal_Object_Declaration
3759 or else NT (N).Nkind = N_Parameter_Specification);
3760 Set_Node5 (N, Val); -- semantic field, no parent set
3761 end Set_Default_Expression;
3763 procedure Set_Default_Storage_Pool
3764 (N : Node_Id; Val : Node_Id) is
3766 pragma Assert (False
3767 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3768 Set_Node3 (N, Val); -- semantic field, no parent set
3769 end Set_Default_Storage_Pool;
3771 procedure Set_Default_Name
3772 (N : Node_Id; Val : Node_Id) is
3774 pragma Assert (False
3775 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3776 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3777 Set_Node2_With_Parent (N, Val);
3778 end Set_Default_Name;
3780 procedure Set_Defining_Identifier
3781 (N : Node_Id; Val : Entity_Id) is
3783 pragma Assert (False
3784 or else NT (N).Nkind = N_Component_Declaration
3785 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3786 or else NT (N).Nkind = N_Discriminant_Specification
3787 or else NT (N).Nkind = N_Entry_Body
3788 or else NT (N).Nkind = N_Entry_Declaration
3789 or else NT (N).Nkind = N_Entry_Index_Specification
3790 or else NT (N).Nkind = N_Exception_Declaration
3791 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3792 or else NT (N).Nkind = N_Formal_Object_Declaration
3793 or else NT (N).Nkind = N_Formal_Package_Declaration
3794 or else NT (N).Nkind = N_Formal_Type_Declaration
3795 or else NT (N).Nkind = N_Full_Type_Declaration
3796 or else NT (N).Nkind = N_Implicit_Label_Declaration
3797 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3798 or else NT (N).Nkind = N_Iterator_Specification
3799 or else NT (N).Nkind = N_Loop_Parameter_Specification
3800 or else NT (N).Nkind = N_Number_Declaration
3801 or else NT (N).Nkind = N_Object_Declaration
3802 or else NT (N).Nkind = N_Object_Renaming_Declaration
3803 or else NT (N).Nkind = N_Package_Body_Stub
3804 or else NT (N).Nkind = N_Parameter_Specification
3805 or else NT (N).Nkind = N_Private_Extension_Declaration
3806 or else NT (N).Nkind = N_Private_Type_Declaration
3807 or else NT (N).Nkind = N_Protected_Body
3808 or else NT (N).Nkind = N_Protected_Body_Stub
3809 or else NT (N).Nkind = N_Protected_Type_Declaration
3810 or else NT (N).Nkind = N_Single_Protected_Declaration
3811 or else NT (N).Nkind = N_Single_Task_Declaration
3812 or else NT (N).Nkind = N_Subtype_Declaration
3813 or else NT (N).Nkind = N_Task_Body
3814 or else NT (N).Nkind = N_Task_Body_Stub
3815 or else NT (N).Nkind = N_Task_Type_Declaration);
3816 Set_Node1_With_Parent (N, Val);
3817 end Set_Defining_Identifier;
3819 procedure Set_Defining_Unit_Name
3820 (N : Node_Id; Val : Node_Id) is
3822 pragma Assert (False
3823 or else NT (N).Nkind = N_Function_Instantiation
3824 or else NT (N).Nkind = N_Function_Specification
3825 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3826 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3827 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3828 or else NT (N).Nkind = N_Package_Body
3829 or else NT (N).Nkind = N_Package_Instantiation
3830 or else NT (N).Nkind = N_Package_Renaming_Declaration
3831 or else NT (N).Nkind = N_Package_Specification
3832 or else NT (N).Nkind = N_Procedure_Instantiation
3833 or else NT (N).Nkind = N_Procedure_Specification);
3834 Set_Node1_With_Parent (N, Val);
3835 end Set_Defining_Unit_Name;
3837 procedure Set_Delay_Alternative
3838 (N : Node_Id; Val : Node_Id) is
3840 pragma Assert (False
3841 or else NT (N).Nkind = N_Timed_Entry_Call);
3842 Set_Node4_With_Parent (N, Val);
3843 end Set_Delay_Alternative;
3845 procedure Set_Delay_Statement
3846 (N : Node_Id; Val : Node_Id) is
3848 pragma Assert (False
3849 or else NT (N).Nkind = N_Delay_Alternative);
3850 Set_Node2_With_Parent (N, Val);
3851 end Set_Delay_Statement;
3853 procedure Set_Delta_Expression
3854 (N : Node_Id; Val : Node_Id) is
3856 pragma Assert (False
3857 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3858 or else NT (N).Nkind = N_Delta_Constraint
3859 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3860 Set_Node3_With_Parent (N, Val);
3861 end Set_Delta_Expression;
3863 procedure Set_Digits_Expression
3864 (N : Node_Id; Val : Node_Id) is
3866 pragma Assert (False
3867 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3868 or else NT (N).Nkind = N_Digits_Constraint
3869 or else NT (N).Nkind = N_Floating_Point_Definition);
3870 Set_Node2_With_Parent (N, Val);
3871 end Set_Digits_Expression;
3873 procedure Set_Discr_Check_Funcs_Built
3874 (N : Node_Id; Val : Boolean := True) is
3876 pragma Assert (False
3877 or else NT (N).Nkind = N_Full_Type_Declaration);
3878 Set_Flag11 (N, Val);
3879 end Set_Discr_Check_Funcs_Built;
3881 procedure Set_Discrete_Choices
3882 (N : Node_Id; Val : List_Id) is
3884 pragma Assert (False
3885 or else NT (N).Nkind = N_Case_Expression_Alternative
3886 or else NT (N).Nkind = N_Case_Statement_Alternative
3887 or else NT (N).Nkind = N_Variant);
3888 Set_List4_With_Parent (N, Val);
3889 end Set_Discrete_Choices;
3891 procedure Set_Discrete_Range
3892 (N : Node_Id; Val : Node_Id) is
3894 pragma Assert (False
3895 or else NT (N).Nkind = N_Slice);
3896 Set_Node4_With_Parent (N, Val);
3897 end Set_Discrete_Range;
3899 procedure Set_Discrete_Subtype_Definition
3900 (N : Node_Id; Val : Node_Id) is
3902 pragma Assert (False
3903 or else NT (N).Nkind = N_Entry_Declaration
3904 or else NT (N).Nkind = N_Entry_Index_Specification
3905 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3906 Set_Node4_With_Parent (N, Val);
3907 end Set_Discrete_Subtype_Definition;
3909 procedure Set_Discrete_Subtype_Definitions
3910 (N : Node_Id; Val : List_Id) is
3912 pragma Assert (False
3913 or else NT (N).Nkind = N_Constrained_Array_Definition);
3914 Set_List2_With_Parent (N, Val);
3915 end Set_Discrete_Subtype_Definitions;
3917 procedure Set_Discriminant_Specifications
3918 (N : Node_Id; Val : List_Id) is
3920 pragma Assert (False
3921 or else NT (N).Nkind = N_Formal_Type_Declaration
3922 or else NT (N).Nkind = N_Full_Type_Declaration
3923 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3924 or else NT (N).Nkind = N_Private_Extension_Declaration
3925 or else NT (N).Nkind = N_Private_Type_Declaration
3926 or else NT (N).Nkind = N_Protected_Type_Declaration
3927 or else NT (N).Nkind = N_Task_Type_Declaration);
3928 Set_List4_With_Parent (N, Val);
3929 end Set_Discriminant_Specifications;
3931 procedure Set_Discriminant_Type
3932 (N : Node_Id; Val : Node_Id) is
3934 pragma Assert (False
3935 or else NT (N).Nkind = N_Discriminant_Specification);
3936 Set_Node5_With_Parent (N, Val);
3937 end Set_Discriminant_Type;
3939 procedure Set_Do_Accessibility_Check
3940 (N : Node_Id; Val : Boolean := True) is
3942 pragma Assert (False
3943 or else NT (N).Nkind = N_Parameter_Specification);
3944 Set_Flag13 (N, Val);
3945 end Set_Do_Accessibility_Check;
3947 procedure Set_Do_Discriminant_Check
3948 (N : Node_Id; Val : Boolean := True) is
3950 pragma Assert (False
3951 or else NT (N).Nkind = N_Selected_Component);
3952 Set_Flag13 (N, Val);
3953 end Set_Do_Discriminant_Check;
3955 procedure Set_Do_Division_Check
3956 (N : Node_Id; Val : Boolean := True) is
3958 pragma Assert (False
3959 or else NT (N).Nkind = N_Op_Divide
3960 or else NT (N).Nkind = N_Op_Mod
3961 or else NT (N).Nkind = N_Op_Rem);
3962 Set_Flag13 (N, Val);
3963 end Set_Do_Division_Check;
3965 procedure Set_Do_Length_Check
3966 (N : Node_Id; Val : Boolean := True) is
3968 pragma Assert (False
3969 or else NT (N).Nkind = N_Assignment_Statement
3970 or else NT (N).Nkind = N_Op_And
3971 or else NT (N).Nkind = N_Op_Or
3972 or else NT (N).Nkind = N_Op_Xor
3973 or else NT (N).Nkind = N_Type_Conversion);
3975 end Set_Do_Length_Check;
3977 procedure Set_Do_Overflow_Check
3978 (N : Node_Id; Val : Boolean := True) is
3980 pragma Assert (False
3981 or else NT (N).Nkind in N_Op
3982 or else NT (N).Nkind = N_Attribute_Reference
3983 or else NT (N).Nkind = N_Type_Conversion);
3984 Set_Flag17 (N, Val);
3985 end Set_Do_Overflow_Check;
3987 procedure Set_Do_Range_Check
3988 (N : Node_Id; Val : Boolean := True) is
3990 pragma Assert (False
3991 or else NT (N).Nkind in N_Subexpr);
3993 end Set_Do_Range_Check;
3995 procedure Set_Do_Storage_Check
3996 (N : Node_Id; Val : Boolean := True) is
3998 pragma Assert (False
3999 or else NT (N).Nkind = N_Allocator
4000 or else NT (N).Nkind = N_Subprogram_Body);
4001 Set_Flag17 (N, Val);
4002 end Set_Do_Storage_Check;
4004 procedure Set_Do_Tag_Check
4005 (N : Node_Id; Val : Boolean := True) is
4007 pragma Assert (False
4008 or else NT (N).Nkind = N_Assignment_Statement
4009 or else NT (N).Nkind = N_Extended_Return_Statement
4010 or else NT (N).Nkind = N_Function_Call
4011 or else NT (N).Nkind = N_Procedure_Call_Statement
4012 or else NT (N).Nkind = N_Return_Statement
4013 or else NT (N).Nkind = N_Type_Conversion);
4014 Set_Flag13 (N, Val);
4015 end Set_Do_Tag_Check;
4017 procedure Set_Elaborate_All_Desirable
4018 (N : Node_Id; Val : Boolean := True) is
4020 pragma Assert (False
4021 or else NT (N).Nkind = N_With_Clause);
4023 end Set_Elaborate_All_Desirable;
4025 procedure Set_Elaborate_All_Present
4026 (N : Node_Id; Val : Boolean := True) is
4028 pragma Assert (False
4029 or else NT (N).Nkind = N_With_Clause);
4030 Set_Flag14 (N, Val);
4031 end Set_Elaborate_All_Present;
4033 procedure Set_Elaborate_Desirable
4034 (N : Node_Id; Val : Boolean := True) is
4036 pragma Assert (False
4037 or else NT (N).Nkind = N_With_Clause);
4038 Set_Flag11 (N, Val);
4039 end Set_Elaborate_Desirable;
4041 procedure Set_Elaborate_Present
4042 (N : Node_Id; Val : Boolean := True) is
4044 pragma Assert (False
4045 or else NT (N).Nkind = N_With_Clause);
4047 end Set_Elaborate_Present;
4049 procedure Set_Elaboration_Boolean
4050 (N : Node_Id; Val : Node_Id) is
4052 pragma Assert (False
4053 or else NT (N).Nkind = N_Function_Specification
4054 or else NT (N).Nkind = N_Procedure_Specification);
4056 end Set_Elaboration_Boolean;
4058 procedure Set_Else_Actions
4059 (N : Node_Id; Val : List_Id) is
4061 pragma Assert (False
4062 or else NT (N).Nkind = N_Conditional_Expression);
4063 Set_List3 (N, Val); -- semantic field, no parent set
4064 end Set_Else_Actions;
4066 procedure Set_Else_Statements
4067 (N : Node_Id; Val : List_Id) is
4069 pragma Assert (False
4070 or else NT (N).Nkind = N_Conditional_Entry_Call
4071 or else NT (N).Nkind = N_If_Statement
4072 or else NT (N).Nkind = N_Selective_Accept);
4073 Set_List4_With_Parent (N, Val);
4074 end Set_Else_Statements;
4076 procedure Set_Elsif_Parts
4077 (N : Node_Id; Val : List_Id) is
4079 pragma Assert (False
4080 or else NT (N).Nkind = N_If_Statement);
4081 Set_List3_With_Parent (N, Val);
4082 end Set_Elsif_Parts;
4084 procedure Set_Enclosing_Variant
4085 (N : Node_Id; Val : Node_Id) is
4087 pragma Assert (False
4088 or else NT (N).Nkind = N_Variant);
4089 Set_Node2 (N, Val); -- semantic field, no parent set
4090 end Set_Enclosing_Variant;
4092 procedure Set_End_Label
4093 (N : Node_Id; Val : Node_Id) is
4095 pragma Assert (False
4096 or else NT (N).Nkind = N_Enumeration_Type_Definition
4097 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4098 or else NT (N).Nkind = N_Loop_Statement
4099 or else NT (N).Nkind = N_Package_Specification
4100 or else NT (N).Nkind = N_Protected_Body
4101 or else NT (N).Nkind = N_Protected_Definition
4102 or else NT (N).Nkind = N_Record_Definition
4103 or else NT (N).Nkind = N_Task_Definition);
4104 Set_Node4_With_Parent (N, Val);
4107 procedure Set_End_Span
4108 (N : Node_Id; Val : Uint) is
4110 pragma Assert (False
4111 or else NT (N).Nkind = N_Case_Statement
4112 or else NT (N).Nkind = N_If_Statement);
4116 procedure Set_Entity
4117 (N : Node_Id; Val : Node_Id) is
4119 pragma Assert (False
4120 or else NT (N).Nkind in N_Has_Entity
4121 or else NT (N).Nkind = N_Aspect_Specification
4122 or else NT (N).Nkind = N_Attribute_Definition_Clause
4123 or else NT (N).Nkind = N_Freeze_Entity);
4124 Set_Node4 (N, Val); -- semantic field, no parent set
4127 procedure Set_Entry_Body_Formal_Part
4128 (N : Node_Id; Val : Node_Id) is
4130 pragma Assert (False
4131 or else NT (N).Nkind = N_Entry_Body);
4132 Set_Node5_With_Parent (N, Val);
4133 end Set_Entry_Body_Formal_Part;
4135 procedure Set_Entry_Call_Alternative
4136 (N : Node_Id; Val : Node_Id) is
4138 pragma Assert (False
4139 or else NT (N).Nkind = N_Conditional_Entry_Call
4140 or else NT (N).Nkind = N_Timed_Entry_Call);
4141 Set_Node1_With_Parent (N, Val);
4142 end Set_Entry_Call_Alternative;
4144 procedure Set_Entry_Call_Statement
4145 (N : Node_Id; Val : Node_Id) is
4147 pragma Assert (False
4148 or else NT (N).Nkind = N_Entry_Call_Alternative);
4149 Set_Node1_With_Parent (N, Val);
4150 end Set_Entry_Call_Statement;
4152 procedure Set_Entry_Direct_Name
4153 (N : Node_Id; Val : Node_Id) is
4155 pragma Assert (False
4156 or else NT (N).Nkind = N_Accept_Statement);
4157 Set_Node1_With_Parent (N, Val);
4158 end Set_Entry_Direct_Name;
4160 procedure Set_Entry_Index
4161 (N : Node_Id; Val : Node_Id) is
4163 pragma Assert (False
4164 or else NT (N).Nkind = N_Accept_Statement);
4165 Set_Node5_With_Parent (N, Val);
4166 end Set_Entry_Index;
4168 procedure Set_Entry_Index_Specification
4169 (N : Node_Id; Val : Node_Id) is
4171 pragma Assert (False
4172 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4173 Set_Node4_With_Parent (N, Val);
4174 end Set_Entry_Index_Specification;
4177 (N : Node_Id; Val : Node_Id) is
4179 pragma Assert (False
4180 or else NT (N).Nkind in N_Has_Etype);
4181 Set_Node5 (N, Val); -- semantic field, no parent set
4184 procedure Set_Exception_Choices
4185 (N : Node_Id; Val : List_Id) is
4187 pragma Assert (False
4188 or else NT (N).Nkind = N_Exception_Handler);
4189 Set_List4_With_Parent (N, Val);
4190 end Set_Exception_Choices;
4192 procedure Set_Exception_Handlers
4193 (N : Node_Id; Val : List_Id) is
4195 pragma Assert (False
4196 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4197 Set_List5_With_Parent (N, Val);
4198 end Set_Exception_Handlers;
4200 procedure Set_Exception_Junk
4201 (N : Node_Id; Val : Boolean := True) is
4203 pragma Assert (False
4204 or else NT (N).Nkind = N_Block_Statement
4205 or else NT (N).Nkind = N_Goto_Statement
4206 or else NT (N).Nkind = N_Label
4207 or else NT (N).Nkind = N_Object_Declaration
4208 or else NT (N).Nkind = N_Subtype_Declaration);
4210 end Set_Exception_Junk;
4212 procedure Set_Exception_Label
4213 (N : Node_Id; Val : Node_Id) is
4215 pragma Assert (False
4216 or else NT (N).Nkind = N_Exception_Handler
4217 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4218 or else NT (N).Nkind = N_Push_Program_Error_Label
4219 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4220 Set_Node5 (N, Val); -- semantic field, no parent set
4221 end Set_Exception_Label;
4223 procedure Set_Expansion_Delayed
4224 (N : Node_Id; Val : Boolean := True) is
4226 pragma Assert (False
4227 or else NT (N).Nkind = N_Aggregate
4228 or else NT (N).Nkind = N_Extension_Aggregate);
4229 Set_Flag11 (N, Val);
4230 end Set_Expansion_Delayed;
4232 procedure Set_Explicit_Actual_Parameter
4233 (N : Node_Id; Val : Node_Id) is
4235 pragma Assert (False
4236 or else NT (N).Nkind = N_Parameter_Association);
4237 Set_Node3_With_Parent (N, Val);
4238 end Set_Explicit_Actual_Parameter;
4240 procedure Set_Explicit_Generic_Actual_Parameter
4241 (N : Node_Id; Val : Node_Id) is
4243 pragma Assert (False
4244 or else NT (N).Nkind = N_Generic_Association);
4245 Set_Node1_With_Parent (N, Val);
4246 end Set_Explicit_Generic_Actual_Parameter;
4248 procedure Set_Expression
4249 (N : Node_Id; Val : Node_Id) is
4251 pragma Assert (False
4252 or else NT (N).Nkind = N_Allocator
4253 or else NT (N).Nkind = N_Aspect_Specification
4254 or else NT (N).Nkind = N_Assignment_Statement
4255 or else NT (N).Nkind = N_At_Clause
4256 or else NT (N).Nkind = N_Attribute_Definition_Clause
4257 or else NT (N).Nkind = N_Case_Expression
4258 or else NT (N).Nkind = N_Case_Expression_Alternative
4259 or else NT (N).Nkind = N_Case_Statement
4260 or else NT (N).Nkind = N_Code_Statement
4261 or else NT (N).Nkind = N_Component_Association
4262 or else NT (N).Nkind = N_Component_Declaration
4263 or else NT (N).Nkind = N_Delay_Relative_Statement
4264 or else NT (N).Nkind = N_Delay_Until_Statement
4265 or else NT (N).Nkind = N_Discriminant_Association
4266 or else NT (N).Nkind = N_Discriminant_Specification
4267 or else NT (N).Nkind = N_Exception_Declaration
4268 or else NT (N).Nkind = N_Expression_Function
4269 or else NT (N).Nkind = N_Expression_With_Actions
4270 or else NT (N).Nkind = N_Free_Statement
4271 or else NT (N).Nkind = N_Mod_Clause
4272 or else NT (N).Nkind = N_Modular_Type_Definition
4273 or else NT (N).Nkind = N_Number_Declaration
4274 or else NT (N).Nkind = N_Object_Declaration
4275 or else NT (N).Nkind = N_Parameter_Specification
4276 or else NT (N).Nkind = N_Pragma_Argument_Association
4277 or else NT (N).Nkind = N_Qualified_Expression
4278 or else NT (N).Nkind = N_Raise_Statement
4279 or else NT (N).Nkind = N_Return_Statement
4280 or else NT (N).Nkind = N_Type_Conversion
4281 or else NT (N).Nkind = N_Unchecked_Expression
4282 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4283 Set_Node3_With_Parent (N, Val);
4286 procedure Set_Expressions
4287 (N : Node_Id; Val : List_Id) is
4289 pragma Assert (False
4290 or else NT (N).Nkind = N_Aggregate
4291 or else NT (N).Nkind = N_Attribute_Reference
4292 or else NT (N).Nkind = N_Conditional_Expression
4293 or else NT (N).Nkind = N_Extension_Aggregate
4294 or else NT (N).Nkind = N_Indexed_Component);
4295 Set_List1_With_Parent (N, Val);
4296 end Set_Expressions;
4298 procedure Set_First_Bit
4299 (N : Node_Id; Val : Node_Id) is
4301 pragma Assert (False
4302 or else NT (N).Nkind = N_Component_Clause);
4303 Set_Node3_With_Parent (N, Val);
4306 procedure Set_First_Inlined_Subprogram
4307 (N : Node_Id; Val : Entity_Id) is
4309 pragma Assert (False
4310 or else NT (N).Nkind = N_Compilation_Unit);
4311 Set_Node3 (N, Val); -- semantic field, no parent set
4312 end Set_First_Inlined_Subprogram;
4314 procedure Set_First_Name
4315 (N : Node_Id; Val : Boolean := True) is
4317 pragma Assert (False
4318 or else NT (N).Nkind = N_With_Clause);
4322 procedure Set_First_Named_Actual
4323 (N : Node_Id; Val : Node_Id) is
4325 pragma Assert (False
4326 or else NT (N).Nkind = N_Entry_Call_Statement
4327 or else NT (N).Nkind = N_Function_Call
4328 or else NT (N).Nkind = N_Procedure_Call_Statement);
4329 Set_Node4 (N, Val); -- semantic field, no parent set
4330 end Set_First_Named_Actual;
4332 procedure Set_First_Real_Statement
4333 (N : Node_Id; Val : Node_Id) is
4335 pragma Assert (False
4336 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4337 Set_Node2 (N, Val); -- semantic field, no parent set
4338 end Set_First_Real_Statement;
4340 procedure Set_First_Subtype_Link
4341 (N : Node_Id; Val : Entity_Id) is
4343 pragma Assert (False
4344 or else NT (N).Nkind = N_Freeze_Entity);
4345 Set_Node5 (N, Val); -- semantic field, no parent set
4346 end Set_First_Subtype_Link;
4348 procedure Set_Float_Truncate
4349 (N : Node_Id; Val : Boolean := True) is
4351 pragma Assert (False
4352 or else NT (N).Nkind = N_Type_Conversion);
4353 Set_Flag11 (N, Val);
4354 end Set_Float_Truncate;
4356 procedure Set_Formal_Type_Definition
4357 (N : Node_Id; Val : Node_Id) is
4359 pragma Assert (False
4360 or else NT (N).Nkind = N_Formal_Type_Declaration);
4361 Set_Node3_With_Parent (N, Val);
4362 end Set_Formal_Type_Definition;
4364 procedure Set_Forwards_OK
4365 (N : Node_Id; Val : Boolean := True) is
4367 pragma Assert (False
4368 or else NT (N).Nkind = N_Assignment_Statement);
4370 end Set_Forwards_OK;
4372 procedure Set_From_Aspect_Specification
4373 (N : Node_Id; Val : Boolean := True) is
4375 pragma Assert (False
4376 or else NT (N).Nkind = N_Attribute_Definition_Clause
4377 or else NT (N).Nkind = N_Pragma);
4378 Set_Flag13 (N, Val);
4379 end Set_From_Aspect_Specification;
4381 procedure Set_From_At_End
4382 (N : Node_Id; Val : Boolean := True) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Raise_Statement);
4387 end Set_From_At_End;
4389 procedure Set_From_At_Mod
4390 (N : Node_Id; Val : Boolean := True) is
4392 pragma Assert (False
4393 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4395 end Set_From_At_Mod;
4397 procedure Set_From_Default
4398 (N : Node_Id; Val : Boolean := True) is
4400 pragma Assert (False
4401 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4403 end Set_From_Default;
4405 procedure Set_From_Dynamic_Predicate
4406 (N : Node_Id; Val : Boolean := True) is
4408 pragma Assert (False
4409 or else NT (N).Nkind = N_Pragma);
4411 end Set_From_Dynamic_Predicate;
4413 procedure Set_From_Static_Predicate
4414 (N : Node_Id; Val : Boolean := True) is
4416 pragma Assert (False
4417 or else NT (N).Nkind = N_Pragma);
4419 end Set_From_Static_Predicate;
4421 procedure Set_Generic_Associations
4422 (N : Node_Id; Val : List_Id) is
4424 pragma Assert (False
4425 or else NT (N).Nkind = N_Formal_Package_Declaration
4426 or else NT (N).Nkind = N_Function_Instantiation
4427 or else NT (N).Nkind = N_Package_Instantiation
4428 or else NT (N).Nkind = N_Procedure_Instantiation);
4429 Set_List3_With_Parent (N, Val);
4430 end Set_Generic_Associations;
4432 procedure Set_Generic_Formal_Declarations
4433 (N : Node_Id; Val : List_Id) is
4435 pragma Assert (False
4436 or else NT (N).Nkind = N_Generic_Package_Declaration
4437 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4438 Set_List2_With_Parent (N, Val);
4439 end Set_Generic_Formal_Declarations;
4441 procedure Set_Generic_Parent
4442 (N : Node_Id; Val : Node_Id) is
4444 pragma Assert (False
4445 or else NT (N).Nkind = N_Function_Specification
4446 or else NT (N).Nkind = N_Package_Specification
4447 or else NT (N).Nkind = N_Procedure_Specification);
4449 end Set_Generic_Parent;
4451 procedure Set_Generic_Parent_Type
4452 (N : Node_Id; Val : Node_Id) is
4454 pragma Assert (False
4455 or else NT (N).Nkind = N_Subtype_Declaration);
4457 end Set_Generic_Parent_Type;
4459 procedure Set_Handled_Statement_Sequence
4460 (N : Node_Id; Val : Node_Id) is
4462 pragma Assert (False
4463 or else NT (N).Nkind = N_Accept_Statement
4464 or else NT (N).Nkind = N_Block_Statement
4465 or else NT (N).Nkind = N_Entry_Body
4466 or else NT (N).Nkind = N_Extended_Return_Statement
4467 or else NT (N).Nkind = N_Package_Body
4468 or else NT (N).Nkind = N_Subprogram_Body
4469 or else NT (N).Nkind = N_Task_Body);
4470 Set_Node4_With_Parent (N, Val);
4471 end Set_Handled_Statement_Sequence;
4473 procedure Set_Handler_List_Entry
4474 (N : Node_Id; Val : Node_Id) is
4476 pragma Assert (False
4477 or else NT (N).Nkind = N_Object_Declaration);
4479 end Set_Handler_List_Entry;
4481 procedure Set_Has_Created_Identifier
4482 (N : Node_Id; Val : Boolean := True) is
4484 pragma Assert (False
4485 or else NT (N).Nkind = N_Block_Statement
4486 or else NT (N).Nkind = N_Loop_Statement);
4487 Set_Flag15 (N, Val);
4488 end Set_Has_Created_Identifier;
4490 procedure Set_Has_Dynamic_Length_Check
4491 (N : Node_Id; Val : Boolean := True) is
4493 pragma Assert (False
4494 or else NT (N).Nkind in N_Subexpr);
4495 Set_Flag10 (N, Val);
4496 end Set_Has_Dynamic_Length_Check;
4498 procedure Set_Has_Dynamic_Range_Check
4499 (N : Node_Id; Val : Boolean := True) is
4501 pragma Assert (False
4502 or else NT (N).Nkind = N_Subtype_Declaration
4503 or else NT (N).Nkind in N_Subexpr);
4504 Set_Flag12 (N, Val);
4505 end Set_Has_Dynamic_Range_Check;
4507 procedure Set_Has_Init_Expression
4508 (N : Node_Id; Val : Boolean := True) is
4510 pragma Assert (False
4511 or else NT (N).Nkind = N_Object_Declaration);
4512 Set_Flag14 (N, Val);
4513 end Set_Has_Init_Expression;
4515 procedure Set_Has_Local_Raise
4516 (N : Node_Id; Val : Boolean := True) is
4518 pragma Assert (False
4519 or else NT (N).Nkind = N_Exception_Handler);
4521 end Set_Has_Local_Raise;
4523 procedure Set_Has_No_Elaboration_Code
4524 (N : Node_Id; Val : Boolean := True) is
4526 pragma Assert (False
4527 or else NT (N).Nkind = N_Compilation_Unit);
4528 Set_Flag17 (N, Val);
4529 end Set_Has_No_Elaboration_Code;
4531 procedure Set_Has_Pragma_CPU
4532 (N : Node_Id; Val : Boolean := True) is
4534 pragma Assert (False
4535 or else NT (N).Nkind = N_Subprogram_Body
4536 or else NT (N).Nkind = N_Task_Definition);
4537 Set_Flag14 (N, Val);
4538 end Set_Has_Pragma_CPU;
4540 procedure Set_Has_Pragma_Priority
4541 (N : Node_Id; Val : Boolean := True) is
4543 pragma Assert (False
4544 or else NT (N).Nkind = N_Protected_Definition
4545 or else NT (N).Nkind = N_Subprogram_Body
4546 or else NT (N).Nkind = N_Task_Definition);
4548 end Set_Has_Pragma_Priority;
4550 procedure Set_Has_Pragma_Suppress_All
4551 (N : Node_Id; Val : Boolean := True) is
4553 pragma Assert (False
4554 or else NT (N).Nkind = N_Compilation_Unit);
4555 Set_Flag14 (N, Val);
4556 end Set_Has_Pragma_Suppress_All;
4558 procedure Set_Has_Private_View
4559 (N : Node_Id; Val : Boolean := True) is
4561 pragma Assert (False
4562 or else NT (N).Nkind in N_Op
4563 or else NT (N).Nkind = N_Character_Literal
4564 or else NT (N).Nkind = N_Expanded_Name
4565 or else NT (N).Nkind = N_Identifier
4566 or else NT (N).Nkind = N_Operator_Symbol);
4567 Set_Flag11 (N, Val);
4568 end Set_Has_Private_View;
4570 procedure Set_Has_Relative_Deadline_Pragma
4571 (N : Node_Id; Val : Boolean := True) is
4573 pragma Assert (False
4574 or else NT (N).Nkind = N_Subprogram_Body
4575 or else NT (N).Nkind = N_Task_Definition);
4577 end Set_Has_Relative_Deadline_Pragma;
4579 procedure Set_Has_Self_Reference
4580 (N : Node_Id; Val : Boolean := True) is
4582 pragma Assert (False
4583 or else NT (N).Nkind = N_Aggregate
4584 or else NT (N).Nkind = N_Extension_Aggregate);
4585 Set_Flag13 (N, Val);
4586 end Set_Has_Self_Reference;
4588 procedure Set_Has_Storage_Size_Pragma
4589 (N : Node_Id; Val : Boolean := True) is
4591 pragma Assert (False
4592 or else NT (N).Nkind = N_Task_Definition);
4594 end Set_Has_Storage_Size_Pragma;
4596 procedure Set_Has_Task_Info_Pragma
4597 (N : Node_Id; Val : Boolean := True) is
4599 pragma Assert (False
4600 or else NT (N).Nkind = N_Task_Definition);
4602 end Set_Has_Task_Info_Pragma;
4604 procedure Set_Has_Task_Name_Pragma
4605 (N : Node_Id; Val : Boolean := True) is
4607 pragma Assert (False
4608 or else NT (N).Nkind = N_Task_Definition);
4610 end Set_Has_Task_Name_Pragma;
4612 procedure Set_Has_Wide_Character
4613 (N : Node_Id; Val : Boolean := True) is
4615 pragma Assert (False
4616 or else NT (N).Nkind = N_String_Literal);
4617 Set_Flag11 (N, Val);
4618 end Set_Has_Wide_Character;
4620 procedure Set_Has_Wide_Wide_Character
4621 (N : Node_Id; Val : Boolean := True) is
4623 pragma Assert (False
4624 or else NT (N).Nkind = N_String_Literal);
4625 Set_Flag13 (N, Val);
4626 end Set_Has_Wide_Wide_Character;
4628 procedure Set_Hidden_By_Use_Clause
4629 (N : Node_Id; Val : Elist_Id) is
4631 pragma Assert (False
4632 or else NT (N).Nkind = N_Use_Package_Clause
4633 or else NT (N).Nkind = N_Use_Type_Clause);
4634 Set_Elist4 (N, Val);
4635 end Set_Hidden_By_Use_Clause;
4637 procedure Set_High_Bound
4638 (N : Node_Id; Val : Node_Id) is
4640 pragma Assert (False
4641 or else NT (N).Nkind = N_Range
4642 or else NT (N).Nkind = N_Real_Range_Specification
4643 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4644 Set_Node2_With_Parent (N, Val);
4647 procedure Set_Identifier
4648 (N : Node_Id; Val : Node_Id) is
4650 pragma Assert (False
4651 or else NT (N).Nkind = N_Aspect_Specification
4652 or else NT (N).Nkind = N_At_Clause
4653 or else NT (N).Nkind = N_Block_Statement
4654 or else NT (N).Nkind = N_Designator
4655 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4656 or else NT (N).Nkind = N_Label
4657 or else NT (N).Nkind = N_Loop_Statement
4658 or else NT (N).Nkind = N_Record_Representation_Clause
4659 or else NT (N).Nkind = N_Subprogram_Info);
4660 Set_Node1_With_Parent (N, Val);
4663 procedure Set_Implicit_With
4664 (N : Node_Id; Val : Boolean := True) is
4666 pragma Assert (False
4667 or else NT (N).Nkind = N_With_Clause);
4668 Set_Flag16 (N, Val);
4669 end Set_Implicit_With;
4671 procedure Set_Interface_List
4672 (N : Node_Id; Val : List_Id) is
4674 pragma Assert (False
4675 or else NT (N).Nkind = N_Derived_Type_Definition
4676 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4677 or else NT (N).Nkind = N_Private_Extension_Declaration
4678 or else NT (N).Nkind = N_Protected_Type_Declaration
4679 or else NT (N).Nkind = N_Record_Definition
4680 or else NT (N).Nkind = N_Single_Protected_Declaration
4681 or else NT (N).Nkind = N_Single_Task_Declaration
4682 or else NT (N).Nkind = N_Task_Type_Declaration);
4683 Set_List2_With_Parent (N, Val);
4684 end Set_Interface_List;
4686 procedure Set_Interface_Present
4687 (N : Node_Id; Val : Boolean := True) is
4689 pragma Assert (False
4690 or else NT (N).Nkind = N_Derived_Type_Definition
4691 or else NT (N).Nkind = N_Record_Definition);
4692 Set_Flag16 (N, Val);
4693 end Set_Interface_Present;
4695 procedure Set_Import_Interface_Present
4696 (N : Node_Id; Val : Boolean := True) is
4698 pragma Assert (False
4699 or else NT (N).Nkind = N_Pragma);
4700 Set_Flag16 (N, Val);
4701 end Set_Import_Interface_Present;
4703 procedure Set_In_Present
4704 (N : Node_Id; Val : Boolean := True) is
4706 pragma Assert (False
4707 or else NT (N).Nkind = N_Formal_Object_Declaration
4708 or else NT (N).Nkind = N_Parameter_Specification);
4709 Set_Flag15 (N, Val);
4712 procedure Set_Includes_Infinities
4713 (N : Node_Id; Val : Boolean := True) is
4715 pragma Assert (False
4716 or else NT (N).Nkind = N_Range);
4717 Set_Flag11 (N, Val);
4718 end Set_Includes_Infinities;
4720 procedure Set_Inherited_Discriminant
4721 (N : Node_Id; Val : Boolean := True) is
4723 pragma Assert (False
4724 or else NT (N).Nkind = N_Component_Association);
4725 Set_Flag13 (N, Val);
4726 end Set_Inherited_Discriminant;
4728 procedure Set_Instance_Spec
4729 (N : Node_Id; Val : Node_Id) is
4731 pragma Assert (False
4732 or else NT (N).Nkind = N_Formal_Package_Declaration
4733 or else NT (N).Nkind = N_Function_Instantiation
4734 or else NT (N).Nkind = N_Package_Instantiation
4735 or else NT (N).Nkind = N_Procedure_Instantiation);
4736 Set_Node5 (N, Val); -- semantic field, no Parent set
4737 end Set_Instance_Spec;
4739 procedure Set_Intval
4740 (N : Node_Id; Val : Uint) is
4742 pragma Assert (False
4743 or else NT (N).Nkind = N_Integer_Literal);
4747 procedure Set_Is_Accessibility_Actual
4748 (N : Node_Id; Val : Boolean := True) is
4750 pragma Assert (False
4751 or else NT (N).Nkind = N_Parameter_Association);
4752 Set_Flag13 (N, Val);
4753 end Set_Is_Accessibility_Actual;
4755 procedure Set_Is_Asynchronous_Call_Block
4756 (N : Node_Id; Val : Boolean := True) is
4758 pragma Assert (False
4759 or else NT (N).Nkind = N_Block_Statement);
4761 end Set_Is_Asynchronous_Call_Block;
4763 procedure Set_Is_Boolean_Aspect
4764 (N : Node_Id; Val : Boolean := True) is
4766 pragma Assert (False
4767 or else NT (N).Nkind = N_Aspect_Specification);
4768 Set_Flag16 (N, Val);
4769 end Set_Is_Boolean_Aspect;
4771 procedure Set_Is_Component_Left_Opnd
4772 (N : Node_Id; Val : Boolean := True) is
4774 pragma Assert (False
4775 or else NT (N).Nkind = N_Op_Concat);
4776 Set_Flag13 (N, Val);
4777 end Set_Is_Component_Left_Opnd;
4779 procedure Set_Is_Component_Right_Opnd
4780 (N : Node_Id; Val : Boolean := True) is
4782 pragma Assert (False
4783 or else NT (N).Nkind = N_Op_Concat);
4784 Set_Flag14 (N, Val);
4785 end Set_Is_Component_Right_Opnd;
4787 procedure Set_Is_Controlling_Actual
4788 (N : Node_Id; Val : Boolean := True) is
4790 pragma Assert (False
4791 or else NT (N).Nkind in N_Subexpr);
4792 Set_Flag16 (N, Val);
4793 end Set_Is_Controlling_Actual;
4795 procedure Set_Is_Delayed_Aspect
4796 (N : Node_Id; Val : Boolean := True) is
4798 pragma Assert (False
4799 or else NT (N).Nkind = N_Aspect_Specification
4800 or else NT (N).Nkind = N_Attribute_Definition_Clause
4801 or else NT (N).Nkind = N_Pragma);
4802 Set_Flag14 (N, Val);
4803 end Set_Is_Delayed_Aspect;
4805 procedure Set_Is_Dynamic_Coextension
4806 (N : Node_Id; Val : Boolean := True) is
4808 pragma Assert (False
4809 or else NT (N).Nkind = N_Allocator);
4810 Set_Flag18 (N, Val);
4811 end Set_Is_Dynamic_Coextension;
4813 procedure Set_Is_Elsif
4814 (N : Node_Id; Val : Boolean := True) is
4816 pragma Assert (False
4817 or else NT (N).Nkind = N_Conditional_Expression);
4818 Set_Flag13 (N, Val);
4821 procedure Set_Is_Entry_Barrier_Function
4822 (N : Node_Id; Val : Boolean := True) is
4824 pragma Assert (False
4825 or else NT (N).Nkind = N_Subprogram_Body);
4827 end Set_Is_Entry_Barrier_Function;
4829 procedure Set_Is_Expanded_Build_In_Place_Call
4830 (N : Node_Id; Val : Boolean := True) is
4832 pragma Assert (False
4833 or else NT (N).Nkind = N_Function_Call);
4834 Set_Flag11 (N, Val);
4835 end Set_Is_Expanded_Build_In_Place_Call;
4837 procedure Set_Is_Folded_In_Parser
4838 (N : Node_Id; Val : Boolean := True) is
4840 pragma Assert (False
4841 or else NT (N).Nkind = N_String_Literal);
4843 end Set_Is_Folded_In_Parser;
4845 procedure Set_Is_In_Discriminant_Check
4846 (N : Node_Id; Val : Boolean := True) is
4848 pragma Assert (False
4849 or else NT (N).Nkind = N_Selected_Component);
4850 Set_Flag11 (N, Val);
4851 end Set_Is_In_Discriminant_Check;
4853 procedure Set_Is_Machine_Number
4854 (N : Node_Id; Val : Boolean := True) is
4856 pragma Assert (False
4857 or else NT (N).Nkind = N_Real_Literal);
4858 Set_Flag11 (N, Val);
4859 end Set_Is_Machine_Number;
4861 procedure Set_Is_Null_Loop
4862 (N : Node_Id; Val : Boolean := True) is
4864 pragma Assert (False
4865 or else NT (N).Nkind = N_Loop_Statement);
4866 Set_Flag16 (N, Val);
4867 end Set_Is_Null_Loop;
4869 procedure Set_Is_Overloaded
4870 (N : Node_Id; Val : Boolean := True) is
4872 pragma Assert (False
4873 or else NT (N).Nkind in N_Subexpr);
4875 end Set_Is_Overloaded;
4877 procedure Set_Is_Power_Of_2_For_Shift
4878 (N : Node_Id; Val : Boolean := True) is
4880 pragma Assert (False
4881 or else NT (N).Nkind = N_Op_Expon);
4882 Set_Flag13 (N, Val);
4883 end Set_Is_Power_Of_2_For_Shift;
4885 procedure Set_Is_Protected_Subprogram_Body
4886 (N : Node_Id; Val : Boolean := True) is
4888 pragma Assert (False
4889 or else NT (N).Nkind = N_Subprogram_Body);
4891 end Set_Is_Protected_Subprogram_Body;
4893 procedure Set_Is_Static_Coextension
4894 (N : Node_Id; Val : Boolean := True) is
4896 pragma Assert (False
4897 or else NT (N).Nkind = N_Allocator);
4898 Set_Flag14 (N, Val);
4899 end Set_Is_Static_Coextension;
4901 procedure Set_Is_Static_Expression
4902 (N : Node_Id; Val : Boolean := True) is
4904 pragma Assert (False
4905 or else NT (N).Nkind in N_Subexpr);
4907 end Set_Is_Static_Expression;
4909 procedure Set_Is_Subprogram_Descriptor
4910 (N : Node_Id; Val : Boolean := True) is
4912 pragma Assert (False
4913 or else NT (N).Nkind = N_Object_Declaration);
4914 Set_Flag16 (N, Val);
4915 end Set_Is_Subprogram_Descriptor;
4917 procedure Set_Is_Task_Allocation_Block
4918 (N : Node_Id; Val : Boolean := True) is
4920 pragma Assert (False
4921 or else NT (N).Nkind = N_Block_Statement);
4923 end Set_Is_Task_Allocation_Block;
4925 procedure Set_Is_Task_Master
4926 (N : Node_Id; Val : Boolean := True) is
4928 pragma Assert (False
4929 or else NT (N).Nkind = N_Block_Statement
4930 or else NT (N).Nkind = N_Subprogram_Body
4931 or else NT (N).Nkind = N_Task_Body);
4933 end Set_Is_Task_Master;
4935 procedure Set_Iteration_Scheme
4936 (N : Node_Id; Val : Node_Id) is
4938 pragma Assert (False
4939 or else NT (N).Nkind = N_Loop_Statement);
4940 Set_Node2_With_Parent (N, Val);
4941 end Set_Iteration_Scheme;
4943 procedure Set_Iterator_Specification
4944 (N : Node_Id; Val : Node_Id) is
4946 pragma Assert (False
4947 or else NT (N).Nkind = N_Iteration_Scheme
4948 or else NT (N).Nkind = N_Quantified_Expression);
4949 Set_Node2_With_Parent (N, Val);
4950 end Set_Iterator_Specification;
4953 (N : Node_Id; Val : Entity_Id) is
4955 pragma Assert (False
4956 or else NT (N).Nkind = N_Itype_Reference);
4957 Set_Node1 (N, Val); -- no parent, semantic field
4960 procedure Set_Kill_Range_Check
4961 (N : Node_Id; Val : Boolean := True) is
4963 pragma Assert (False
4964 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4965 Set_Flag11 (N, Val);
4966 end Set_Kill_Range_Check;
4968 procedure Set_Label_Construct
4969 (N : Node_Id; Val : Node_Id) is
4971 pragma Assert (False
4972 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4973 Set_Node2 (N, Val); -- semantic field, no parent set
4974 end Set_Label_Construct;
4976 procedure Set_Last_Bit
4977 (N : Node_Id; Val : Node_Id) is
4979 pragma Assert (False
4980 or else NT (N).Nkind = N_Component_Clause);
4981 Set_Node4_With_Parent (N, Val);
4984 procedure Set_Last_Name
4985 (N : Node_Id; Val : Boolean := True) is
4987 pragma Assert (False
4988 or else NT (N).Nkind = N_With_Clause);
4992 procedure Set_Left_Opnd
4993 (N : Node_Id; Val : Node_Id) is
4995 pragma Assert (False
4996 or else NT (N).Nkind = N_And_Then
4997 or else NT (N).Nkind = N_In
4998 or else NT (N).Nkind = N_Not_In
4999 or else NT (N).Nkind = N_Or_Else
5000 or else NT (N).Nkind in N_Binary_Op);
5001 Set_Node2_With_Parent (N, Val);
5004 procedure Set_Library_Unit
5005 (N : Node_Id; Val : Node_Id) is
5007 pragma Assert (False
5008 or else NT (N).Nkind = N_Compilation_Unit
5009 or else NT (N).Nkind = N_Package_Body_Stub
5010 or else NT (N).Nkind = N_Protected_Body_Stub
5011 or else NT (N).Nkind = N_Subprogram_Body_Stub
5012 or else NT (N).Nkind = N_Task_Body_Stub
5013 or else NT (N).Nkind = N_With_Clause);
5014 Set_Node4 (N, Val); -- semantic field, no parent set
5015 end Set_Library_Unit;
5017 procedure Set_Limited_View_Installed
5018 (N : Node_Id; Val : Boolean := True) is
5020 pragma Assert (False
5021 or else NT (N).Nkind = N_Package_Specification
5022 or else NT (N).Nkind = N_With_Clause);
5023 Set_Flag18 (N, Val);
5024 end Set_Limited_View_Installed;
5026 procedure Set_Limited_Present
5027 (N : Node_Id; Val : Boolean := True) is
5029 pragma Assert (False
5030 or else NT (N).Nkind = N_Derived_Type_Definition
5031 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5032 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5033 or else NT (N).Nkind = N_Private_Extension_Declaration
5034 or else NT (N).Nkind = N_Private_Type_Declaration
5035 or else NT (N).Nkind = N_Record_Definition
5036 or else NT (N).Nkind = N_With_Clause);
5037 Set_Flag17 (N, Val);
5038 end Set_Limited_Present;
5040 procedure Set_Literals
5041 (N : Node_Id; Val : List_Id) is
5043 pragma Assert (False
5044 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5045 Set_List1_With_Parent (N, Val);
5048 procedure Set_Local_Raise_Not_OK
5049 (N : Node_Id; Val : Boolean := True) is
5051 pragma Assert (False
5052 or else NT (N).Nkind = N_Exception_Handler);
5054 end Set_Local_Raise_Not_OK;
5056 procedure Set_Local_Raise_Statements
5057 (N : Node_Id; Val : Elist_Id) is
5059 pragma Assert (False
5060 or else NT (N).Nkind = N_Exception_Handler);
5061 Set_Elist1 (N, Val);
5062 end Set_Local_Raise_Statements;
5064 procedure Set_Loop_Actions
5065 (N : Node_Id; Val : List_Id) is
5067 pragma Assert (False
5068 or else NT (N).Nkind = N_Component_Association);
5069 Set_List2 (N, Val); -- semantic field, no parent set
5070 end Set_Loop_Actions;
5072 procedure Set_Loop_Parameter_Specification
5073 (N : Node_Id; Val : Node_Id) is
5075 pragma Assert (False
5076 or else NT (N).Nkind = N_Iteration_Scheme
5077 or else NT (N).Nkind = N_Quantified_Expression);
5078 Set_Node4_With_Parent (N, Val);
5079 end Set_Loop_Parameter_Specification;
5081 procedure Set_Low_Bound
5082 (N : Node_Id; Val : Node_Id) is
5084 pragma Assert (False
5085 or else NT (N).Nkind = N_Range
5086 or else NT (N).Nkind = N_Real_Range_Specification
5087 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5088 Set_Node1_With_Parent (N, Val);
5091 procedure Set_Mod_Clause
5092 (N : Node_Id; Val : Node_Id) is
5094 pragma Assert (False
5095 or else NT (N).Nkind = N_Record_Representation_Clause);
5096 Set_Node2_With_Parent (N, Val);
5099 procedure Set_More_Ids
5100 (N : Node_Id; Val : Boolean := True) is
5102 pragma Assert (False
5103 or else NT (N).Nkind = N_Component_Declaration
5104 or else NT (N).Nkind = N_Discriminant_Specification
5105 or else NT (N).Nkind = N_Exception_Declaration
5106 or else NT (N).Nkind = N_Formal_Object_Declaration
5107 or else NT (N).Nkind = N_Number_Declaration
5108 or else NT (N).Nkind = N_Object_Declaration
5109 or else NT (N).Nkind = N_Parameter_Specification);
5113 procedure Set_Must_Be_Byte_Aligned
5114 (N : Node_Id; Val : Boolean := True) is
5116 pragma Assert (False
5117 or else NT (N).Nkind = N_Attribute_Reference);
5118 Set_Flag14 (N, Val);
5119 end Set_Must_Be_Byte_Aligned;
5121 procedure Set_Must_Not_Freeze
5122 (N : Node_Id; Val : Boolean := True) is
5124 pragma Assert (False
5125 or else NT (N).Nkind = N_Subtype_Indication
5126 or else NT (N).Nkind in N_Subexpr);
5128 end Set_Must_Not_Freeze;
5130 procedure Set_Must_Not_Override
5131 (N : Node_Id; Val : Boolean := True) is
5133 pragma Assert (False
5134 or else NT (N).Nkind = N_Entry_Declaration
5135 or else NT (N).Nkind = N_Function_Instantiation
5136 or else NT (N).Nkind = N_Function_Specification
5137 or else NT (N).Nkind = N_Procedure_Instantiation
5138 or else NT (N).Nkind = N_Procedure_Specification);
5139 Set_Flag15 (N, Val);
5140 end Set_Must_Not_Override;
5142 procedure Set_Must_Override
5143 (N : Node_Id; Val : Boolean := True) is
5145 pragma Assert (False
5146 or else NT (N).Nkind = N_Entry_Declaration
5147 or else NT (N).Nkind = N_Function_Instantiation
5148 or else NT (N).Nkind = N_Function_Specification
5149 or else NT (N).Nkind = N_Procedure_Instantiation
5150 or else NT (N).Nkind = N_Procedure_Specification);
5151 Set_Flag14 (N, Val);
5152 end Set_Must_Override;
5155 (N : Node_Id; Val : Node_Id) is
5157 pragma Assert (False
5158 or else NT (N).Nkind = N_Assignment_Statement
5159 or else NT (N).Nkind = N_Attribute_Definition_Clause
5160 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5161 or else NT (N).Nkind = N_Designator
5162 or else NT (N).Nkind = N_Entry_Call_Statement
5163 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5164 or else NT (N).Nkind = N_Exit_Statement
5165 or else NT (N).Nkind = N_Formal_Package_Declaration
5166 or else NT (N).Nkind = N_Function_Call
5167 or else NT (N).Nkind = N_Function_Instantiation
5168 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5169 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5170 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5171 or else NT (N).Nkind = N_Goto_Statement
5172 or else NT (N).Nkind = N_Iterator_Specification
5173 or else NT (N).Nkind = N_Object_Renaming_Declaration
5174 or else NT (N).Nkind = N_Package_Instantiation
5175 or else NT (N).Nkind = N_Package_Renaming_Declaration
5176 or else NT (N).Nkind = N_Procedure_Call_Statement
5177 or else NT (N).Nkind = N_Procedure_Instantiation
5178 or else NT (N).Nkind = N_Raise_Statement
5179 or else NT (N).Nkind = N_Requeue_Statement
5180 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5181 or else NT (N).Nkind = N_Subunit
5182 or else NT (N).Nkind = N_Variant_Part
5183 or else NT (N).Nkind = N_With_Clause);
5184 Set_Node2_With_Parent (N, Val);
5188 (N : Node_Id; Val : List_Id) is
5190 pragma Assert (False
5191 or else NT (N).Nkind = N_Abort_Statement
5192 or else NT (N).Nkind = N_Use_Package_Clause);
5193 Set_List2_With_Parent (N, Val);
5196 procedure Set_Next_Entity
5197 (N : Node_Id; Val : Node_Id) is
5199 pragma Assert (False
5200 or else NT (N).Nkind = N_Defining_Character_Literal
5201 or else NT (N).Nkind = N_Defining_Identifier
5202 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5203 Set_Node2 (N, Val); -- semantic field, no parent set
5204 end Set_Next_Entity;
5206 procedure Set_Next_Exit_Statement
5207 (N : Node_Id; Val : Node_Id) is
5209 pragma Assert (False
5210 or else NT (N).Nkind = N_Exit_Statement);
5211 Set_Node3 (N, Val); -- semantic field, no parent set
5212 end Set_Next_Exit_Statement;
5214 procedure Set_Next_Implicit_With
5215 (N : Node_Id; Val : Node_Id) is
5217 pragma Assert (False
5218 or else NT (N).Nkind = N_With_Clause);
5219 Set_Node3 (N, Val); -- semantic field, no parent set
5220 end Set_Next_Implicit_With;
5222 procedure Set_Next_Named_Actual
5223 (N : Node_Id; Val : Node_Id) is
5225 pragma Assert (False
5226 or else NT (N).Nkind = N_Parameter_Association);
5227 Set_Node4 (N, Val); -- semantic field, no parent set
5228 end Set_Next_Named_Actual;
5230 procedure Set_Next_Pragma
5231 (N : Node_Id; Val : Node_Id) is
5233 pragma Assert (False
5234 or else NT (N).Nkind = N_Pragma);
5235 Set_Node1 (N, Val); -- semantic field, no parent set
5236 end Set_Next_Pragma;
5238 procedure Set_Next_Rep_Item
5239 (N : Node_Id; Val : Node_Id) is
5241 pragma Assert (False
5242 or else NT (N).Nkind = N_Aspect_Specification
5243 or else NT (N).Nkind = N_Attribute_Definition_Clause
5244 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5245 or else NT (N).Nkind = N_Pragma
5246 or else NT (N).Nkind = N_Record_Representation_Clause);
5247 Set_Node5 (N, Val); -- semantic field, no parent set
5248 end Set_Next_Rep_Item;
5250 procedure Set_Next_Use_Clause
5251 (N : Node_Id; Val : Node_Id) is
5253 pragma Assert (False
5254 or else NT (N).Nkind = N_Use_Package_Clause
5255 or else NT (N).Nkind = N_Use_Type_Clause);
5256 Set_Node3 (N, Val); -- semantic field, no parent set
5257 end Set_Next_Use_Clause;
5259 procedure Set_No_Ctrl_Actions
5260 (N : Node_Id; Val : Boolean := True) is
5262 pragma Assert (False
5263 or else NT (N).Nkind = N_Assignment_Statement);
5265 end Set_No_Ctrl_Actions;
5267 procedure Set_No_Elaboration_Check
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_Flag14 (N, Val);
5274 end Set_No_Elaboration_Check;
5276 procedure Set_No_Entities_Ref_In_Spec
5277 (N : Node_Id; Val : Boolean := True) is
5279 pragma Assert (False
5280 or else NT (N).Nkind = N_With_Clause);
5282 end Set_No_Entities_Ref_In_Spec;
5284 procedure Set_No_Initialization
5285 (N : Node_Id; Val : Boolean := True) is
5287 pragma Assert (False
5288 or else NT (N).Nkind = N_Allocator
5289 or else NT (N).Nkind = N_Object_Declaration);
5290 Set_Flag13 (N, Val);
5291 end Set_No_Initialization;
5293 procedure Set_No_Truncation
5294 (N : Node_Id; Val : Boolean := True) is
5296 pragma Assert (False
5297 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5298 Set_Flag17 (N, Val);
5299 end Set_No_Truncation;
5301 procedure Set_Null_Present
5302 (N : Node_Id; Val : Boolean := True) is
5304 pragma Assert (False
5305 or else NT (N).Nkind = N_Component_List
5306 or else NT (N).Nkind = N_Procedure_Specification
5307 or else NT (N).Nkind = N_Record_Definition);
5308 Set_Flag13 (N, Val);
5309 end Set_Null_Present;
5311 procedure Set_Null_Exclusion_Present
5312 (N : Node_Id; Val : Boolean := True) is
5314 pragma Assert (False
5315 or else NT (N).Nkind = N_Access_Definition
5316 or else NT (N).Nkind = N_Access_Function_Definition
5317 or else NT (N).Nkind = N_Access_Procedure_Definition
5318 or else NT (N).Nkind = N_Access_To_Object_Definition
5319 or else NT (N).Nkind = N_Allocator
5320 or else NT (N).Nkind = N_Component_Definition
5321 or else NT (N).Nkind = N_Derived_Type_Definition
5322 or else NT (N).Nkind = N_Discriminant_Specification
5323 or else NT (N).Nkind = N_Formal_Object_Declaration
5324 or else NT (N).Nkind = N_Function_Specification
5325 or else NT (N).Nkind = N_Object_Declaration
5326 or else NT (N).Nkind = N_Object_Renaming_Declaration
5327 or else NT (N).Nkind = N_Parameter_Specification
5328 or else NT (N).Nkind = N_Subtype_Declaration);
5329 Set_Flag11 (N, Val);
5330 end Set_Null_Exclusion_Present;
5332 procedure Set_Null_Exclusion_In_Return_Present
5333 (N : Node_Id; Val : Boolean := True) is
5335 pragma Assert (False
5336 or else NT (N).Nkind = N_Access_Function_Definition);
5337 Set_Flag14 (N, Val);
5338 end Set_Null_Exclusion_In_Return_Present;
5340 procedure Set_Null_Record_Present
5341 (N : Node_Id; Val : Boolean := True) is
5343 pragma Assert (False
5344 or else NT (N).Nkind = N_Aggregate
5345 or else NT (N).Nkind = N_Extension_Aggregate);
5346 Set_Flag17 (N, Val);
5347 end Set_Null_Record_Present;
5349 procedure Set_Object_Definition
5350 (N : Node_Id; Val : Node_Id) is
5352 pragma Assert (False
5353 or else NT (N).Nkind = N_Object_Declaration);
5354 Set_Node4_With_Parent (N, Val);
5355 end Set_Object_Definition;
5357 procedure Set_Of_Present
5358 (N : Node_Id; Val : Boolean := True) is
5360 pragma Assert (False
5361 or else NT (N).Nkind = N_Iterator_Specification);
5362 Set_Flag16 (N, Val);
5365 procedure Set_Original_Discriminant
5366 (N : Node_Id; Val : Node_Id) is
5368 pragma Assert (False
5369 or else NT (N).Nkind = N_Identifier);
5370 Set_Node2 (N, Val); -- semantic field, no parent set
5371 end Set_Original_Discriminant;
5373 procedure Set_Original_Entity
5374 (N : Node_Id; Val : Entity_Id) is
5376 pragma Assert (False
5377 or else NT (N).Nkind = N_Integer_Literal
5378 or else NT (N).Nkind = N_Real_Literal);
5379 Set_Node2 (N, Val); -- semantic field, no parent set
5380 end Set_Original_Entity;
5382 procedure Set_Others_Discrete_Choices
5383 (N : Node_Id; Val : List_Id) is
5385 pragma Assert (False
5386 or else NT (N).Nkind = N_Others_Choice);
5387 Set_List1_With_Parent (N, Val);
5388 end Set_Others_Discrete_Choices;
5390 procedure Set_Out_Present
5391 (N : Node_Id; Val : Boolean := True) is
5393 pragma Assert (False
5394 or else NT (N).Nkind = N_Formal_Object_Declaration
5395 or else NT (N).Nkind = N_Parameter_Specification);
5396 Set_Flag17 (N, Val);
5397 end Set_Out_Present;
5399 procedure Set_Parameter_Associations
5400 (N : Node_Id; Val : List_Id) is
5402 pragma Assert (False
5403 or else NT (N).Nkind = N_Entry_Call_Statement
5404 or else NT (N).Nkind = N_Function_Call
5405 or else NT (N).Nkind = N_Procedure_Call_Statement);
5406 Set_List3_With_Parent (N, Val);
5407 end Set_Parameter_Associations;
5409 procedure Set_Parameter_List_Truncated
5410 (N : Node_Id; Val : Boolean := True) is
5412 pragma Assert (False
5413 or else NT (N).Nkind = N_Function_Call
5414 or else NT (N).Nkind = N_Procedure_Call_Statement);
5415 Set_Flag17 (N, Val);
5416 end Set_Parameter_List_Truncated;
5418 procedure Set_Parameter_Specifications
5419 (N : Node_Id; Val : List_Id) is
5421 pragma Assert (False
5422 or else NT (N).Nkind = N_Accept_Statement
5423 or else NT (N).Nkind = N_Access_Function_Definition
5424 or else NT (N).Nkind = N_Access_Procedure_Definition
5425 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5426 or else NT (N).Nkind = N_Entry_Declaration
5427 or else NT (N).Nkind = N_Function_Specification
5428 or else NT (N).Nkind = N_Procedure_Specification);
5429 Set_List3_With_Parent (N, Val);
5430 end Set_Parameter_Specifications;
5432 procedure Set_Parameter_Type
5433 (N : Node_Id; Val : Node_Id) is
5435 pragma Assert (False
5436 or else NT (N).Nkind = N_Parameter_Specification);
5437 Set_Node2_With_Parent (N, Val);
5438 end Set_Parameter_Type;
5440 procedure Set_Parent_Spec
5441 (N : Node_Id; Val : Node_Id) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_Function_Instantiation
5445 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5446 or else NT (N).Nkind = N_Generic_Package_Declaration
5447 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5448 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5449 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5450 or else NT (N).Nkind = N_Package_Declaration
5451 or else NT (N).Nkind = N_Package_Instantiation
5452 or else NT (N).Nkind = N_Package_Renaming_Declaration
5453 or else NT (N).Nkind = N_Procedure_Instantiation
5454 or else NT (N).Nkind = N_Subprogram_Declaration
5455 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5456 Set_Node4 (N, Val); -- semantic field, no parent set
5457 end Set_Parent_Spec;
5459 procedure Set_Position
5460 (N : Node_Id; Val : Node_Id) is
5462 pragma Assert (False
5463 or else NT (N).Nkind = N_Component_Clause);
5464 Set_Node2_With_Parent (N, Val);
5467 procedure Set_Pragma_Argument_Associations
5468 (N : Node_Id; Val : List_Id) is
5470 pragma Assert (False
5471 or else NT (N).Nkind = N_Pragma);
5472 Set_List2_With_Parent (N, Val);
5473 end Set_Pragma_Argument_Associations;
5475 procedure Set_Pragma_Enabled
5476 (N : Node_Id; Val : Boolean := True) is
5478 pragma Assert (False
5479 or else NT (N).Nkind = N_Pragma);
5481 end Set_Pragma_Enabled;
5483 procedure Set_Pragma_Identifier
5484 (N : Node_Id; Val : Node_Id) is
5486 pragma Assert (False
5487 or else NT (N).Nkind = N_Pragma);
5488 Set_Node4_With_Parent (N, Val);
5489 end Set_Pragma_Identifier;
5491 procedure Set_Pragmas_After
5492 (N : Node_Id; Val : List_Id) is
5494 pragma Assert (False
5495 or else NT (N).Nkind = N_Compilation_Unit_Aux
5496 or else NT (N).Nkind = N_Terminate_Alternative);
5497 Set_List5_With_Parent (N, Val);
5498 end Set_Pragmas_After;
5500 procedure Set_Pragmas_Before
5501 (N : Node_Id; Val : List_Id) is
5503 pragma Assert (False
5504 or else NT (N).Nkind = N_Accept_Alternative
5505 or else NT (N).Nkind = N_Delay_Alternative
5506 or else NT (N).Nkind = N_Entry_Call_Alternative
5507 or else NT (N).Nkind = N_Mod_Clause
5508 or else NT (N).Nkind = N_Terminate_Alternative
5509 or else NT (N).Nkind = N_Triggering_Alternative);
5510 Set_List4_With_Parent (N, Val);
5511 end Set_Pragmas_Before;
5513 procedure Set_Prefix
5514 (N : Node_Id; Val : Node_Id) is
5516 pragma Assert (False
5517 or else NT (N).Nkind = N_Attribute_Reference
5518 or else NT (N).Nkind = N_Expanded_Name
5519 or else NT (N).Nkind = N_Explicit_Dereference
5520 or else NT (N).Nkind = N_Indexed_Component
5521 or else NT (N).Nkind = N_Reference
5522 or else NT (N).Nkind = N_Selected_Component
5523 or else NT (N).Nkind = N_Slice);
5524 Set_Node3_With_Parent (N, Val);
5527 procedure Set_Present_Expr
5528 (N : Node_Id; Val : Uint) is
5530 pragma Assert (False
5531 or else NT (N).Nkind = N_Variant);
5533 end Set_Present_Expr;
5535 procedure Set_Prev_Ids
5536 (N : Node_Id; Val : Boolean := True) is
5538 pragma Assert (False
5539 or else NT (N).Nkind = N_Component_Declaration
5540 or else NT (N).Nkind = N_Discriminant_Specification
5541 or else NT (N).Nkind = N_Exception_Declaration
5542 or else NT (N).Nkind = N_Formal_Object_Declaration
5543 or else NT (N).Nkind = N_Number_Declaration
5544 or else NT (N).Nkind = N_Object_Declaration
5545 or else NT (N).Nkind = N_Parameter_Specification);
5549 procedure Set_Print_In_Hex
5550 (N : Node_Id; Val : Boolean := True) is
5552 pragma Assert (False
5553 or else NT (N).Nkind = N_Integer_Literal);
5554 Set_Flag13 (N, Val);
5555 end Set_Print_In_Hex;
5557 procedure Set_Private_Declarations
5558 (N : Node_Id; Val : List_Id) is
5560 pragma Assert (False
5561 or else NT (N).Nkind = N_Package_Specification
5562 or else NT (N).Nkind = N_Protected_Definition
5563 or else NT (N).Nkind = N_Task_Definition);
5564 Set_List3_With_Parent (N, Val);
5565 end Set_Private_Declarations;
5567 procedure Set_Private_Present
5568 (N : Node_Id; Val : Boolean := True) is
5570 pragma Assert (False
5571 or else NT (N).Nkind = N_Compilation_Unit
5572 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5573 or else NT (N).Nkind = N_With_Clause);
5574 Set_Flag15 (N, Val);
5575 end Set_Private_Present;
5577 procedure Set_Procedure_To_Call
5578 (N : Node_Id; Val : Node_Id) is
5580 pragma Assert (False
5581 or else NT (N).Nkind = N_Allocator
5582 or else NT (N).Nkind = N_Extended_Return_Statement
5583 or else NT (N).Nkind = N_Free_Statement
5584 or else NT (N).Nkind = N_Return_Statement);
5585 Set_Node2 (N, Val); -- semantic field, no parent set
5586 end Set_Procedure_To_Call;
5588 procedure Set_Proper_Body
5589 (N : Node_Id; Val : Node_Id) is
5591 pragma Assert (False
5592 or else NT (N).Nkind = N_Subunit);
5593 Set_Node1_With_Parent (N, Val);
5594 end Set_Proper_Body;
5596 procedure Set_Protected_Definition
5597 (N : Node_Id; Val : Node_Id) is
5599 pragma Assert (False
5600 or else NT (N).Nkind = N_Protected_Type_Declaration
5601 or else NT (N).Nkind = N_Single_Protected_Declaration);
5602 Set_Node3_With_Parent (N, Val);
5603 end Set_Protected_Definition;
5605 procedure Set_Protected_Present
5606 (N : Node_Id; Val : Boolean := True) is
5608 pragma Assert (False
5609 or else NT (N).Nkind = N_Access_Function_Definition
5610 or else NT (N).Nkind = N_Access_Procedure_Definition
5611 or else NT (N).Nkind = N_Derived_Type_Definition
5612 or else NT (N).Nkind = N_Record_Definition);
5614 end Set_Protected_Present;
5616 procedure Set_Raises_Constraint_Error
5617 (N : Node_Id; Val : Boolean := True) is
5619 pragma Assert (False
5620 or else NT (N).Nkind in N_Subexpr);
5622 end Set_Raises_Constraint_Error;
5624 procedure Set_Range_Constraint
5625 (N : Node_Id; Val : Node_Id) is
5627 pragma Assert (False
5628 or else NT (N).Nkind = N_Delta_Constraint
5629 or else NT (N).Nkind = N_Digits_Constraint);
5630 Set_Node4_With_Parent (N, Val);
5631 end Set_Range_Constraint;
5633 procedure Set_Range_Expression
5634 (N : Node_Id; Val : Node_Id) is
5636 pragma Assert (False
5637 or else NT (N).Nkind = N_Range_Constraint);
5638 Set_Node4_With_Parent (N, Val);
5639 end Set_Range_Expression;
5641 procedure Set_Real_Range_Specification
5642 (N : Node_Id; Val : Node_Id) is
5644 pragma Assert (False
5645 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5646 or else NT (N).Nkind = N_Floating_Point_Definition
5647 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5648 Set_Node4_With_Parent (N, Val);
5649 end Set_Real_Range_Specification;
5651 procedure Set_Realval
5652 (N : Node_Id; Val : Ureal) is
5654 pragma Assert (False
5655 or else NT (N).Nkind = N_Real_Literal);
5656 Set_Ureal3 (N, Val);
5659 procedure Set_Reason
5660 (N : Node_Id; Val : Uint) is
5662 pragma Assert (False
5663 or else NT (N).Nkind = N_Raise_Constraint_Error
5664 or else NT (N).Nkind = N_Raise_Program_Error
5665 or else NT (N).Nkind = N_Raise_Storage_Error);
5669 procedure Set_Record_Extension_Part
5670 (N : Node_Id; Val : Node_Id) is
5672 pragma Assert (False
5673 or else NT (N).Nkind = N_Derived_Type_Definition);
5674 Set_Node3_With_Parent (N, Val);
5675 end Set_Record_Extension_Part;
5677 procedure Set_Redundant_Use
5678 (N : Node_Id; Val : Boolean := True) is
5680 pragma Assert (False
5681 or else NT (N).Nkind = N_Attribute_Reference
5682 or else NT (N).Nkind = N_Expanded_Name
5683 or else NT (N).Nkind = N_Identifier);
5684 Set_Flag13 (N, Val);
5685 end Set_Redundant_Use;
5687 procedure Set_Renaming_Exception
5688 (N : Node_Id; Val : Node_Id) is
5690 pragma Assert (False
5691 or else NT (N).Nkind = N_Exception_Declaration);
5693 end Set_Renaming_Exception;
5695 procedure Set_Result_Definition
5696 (N : Node_Id; Val : Node_Id) is
5698 pragma Assert (False
5699 or else NT (N).Nkind = N_Access_Function_Definition
5700 or else NT (N).Nkind = N_Function_Specification);
5701 Set_Node4_With_Parent (N, Val);
5702 end Set_Result_Definition;
5704 procedure Set_Return_Object_Declarations
5705 (N : Node_Id; Val : List_Id) is
5707 pragma Assert (False
5708 or else NT (N).Nkind = N_Extended_Return_Statement);
5709 Set_List3_With_Parent (N, Val);
5710 end Set_Return_Object_Declarations;
5712 procedure Set_Return_Statement_Entity
5713 (N : Node_Id; Val : Node_Id) is
5715 pragma Assert (False
5716 or else NT (N).Nkind = N_Extended_Return_Statement
5717 or else NT (N).Nkind = N_Return_Statement);
5718 Set_Node5 (N, Val); -- semantic field, no parent set
5719 end Set_Return_Statement_Entity;
5721 procedure Set_Reverse_Present
5722 (N : Node_Id; Val : Boolean := True) is
5724 pragma Assert (False
5725 or else NT (N).Nkind = N_Iterator_Specification
5726 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5727 Set_Flag15 (N, Val);
5728 end Set_Reverse_Present;
5730 procedure Set_Right_Opnd
5731 (N : Node_Id; Val : Node_Id) is
5733 pragma Assert (False
5734 or else NT (N).Nkind in N_Op
5735 or else NT (N).Nkind = N_And_Then
5736 or else NT (N).Nkind = N_In
5737 or else NT (N).Nkind = N_Not_In
5738 or else NT (N).Nkind = N_Or_Else);
5739 Set_Node3_With_Parent (N, Val);
5742 procedure Set_Rounded_Result
5743 (N : Node_Id; Val : Boolean := True) is
5745 pragma Assert (False
5746 or else NT (N).Nkind = N_Op_Divide
5747 or else NT (N).Nkind = N_Op_Multiply
5748 or else NT (N).Nkind = N_Type_Conversion);
5749 Set_Flag18 (N, Val);
5750 end Set_Rounded_Result;
5752 procedure Set_SCIL_Controlling_Tag
5753 (N : Node_Id; Val : Node_Id) is
5755 pragma Assert (False
5756 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5757 Set_Node5 (N, Val); -- semantic field, no parent set
5758 end Set_SCIL_Controlling_Tag;
5760 procedure Set_SCIL_Entity
5761 (N : Node_Id; Val : Node_Id) is
5763 pragma Assert (False
5764 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5765 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5766 or else NT (N).Nkind = N_SCIL_Membership_Test);
5767 Set_Node4 (N, Val); -- semantic field, no parent set
5768 end Set_SCIL_Entity;
5770 procedure Set_SCIL_Tag_Value
5771 (N : Node_Id; Val : Node_Id) is
5773 pragma Assert (False
5774 or else NT (N).Nkind = N_SCIL_Membership_Test);
5775 Set_Node5 (N, Val); -- semantic field, no parent set
5776 end Set_SCIL_Tag_Value;
5778 procedure Set_SCIL_Target_Prim
5779 (N : Node_Id; Val : Node_Id) is
5781 pragma Assert (False
5782 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5783 Set_Node2 (N, Val); -- semantic field, no parent set
5784 end Set_SCIL_Target_Prim;
5787 (N : Node_Id; Val : Node_Id) is
5789 pragma Assert (False
5790 or else NT (N).Nkind = N_Defining_Character_Literal
5791 or else NT (N).Nkind = N_Defining_Identifier
5792 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5793 Set_Node3 (N, Val); -- semantic field, no parent set
5796 procedure Set_Select_Alternatives
5797 (N : Node_Id; Val : List_Id) is
5799 pragma Assert (False
5800 or else NT (N).Nkind = N_Selective_Accept);
5801 Set_List1_With_Parent (N, Val);
5802 end Set_Select_Alternatives;
5804 procedure Set_Selector_Name
5805 (N : Node_Id; Val : Node_Id) is
5807 pragma Assert (False
5808 or else NT (N).Nkind = N_Expanded_Name
5809 or else NT (N).Nkind = N_Generic_Association
5810 or else NT (N).Nkind = N_Parameter_Association
5811 or else NT (N).Nkind = N_Selected_Component);
5812 Set_Node2_With_Parent (N, Val);
5813 end Set_Selector_Name;
5815 procedure Set_Selector_Names
5816 (N : Node_Id; Val : List_Id) is
5818 pragma Assert (False
5819 or else NT (N).Nkind = N_Discriminant_Association);
5820 Set_List1_With_Parent (N, Val);
5821 end Set_Selector_Names;
5823 procedure Set_Shift_Count_OK
5824 (N : Node_Id; Val : Boolean := True) is
5826 pragma Assert (False
5827 or else NT (N).Nkind = N_Op_Rotate_Left
5828 or else NT (N).Nkind = N_Op_Rotate_Right
5829 or else NT (N).Nkind = N_Op_Shift_Left
5830 or else NT (N).Nkind = N_Op_Shift_Right
5831 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5833 end Set_Shift_Count_OK;
5835 procedure Set_Source_Type
5836 (N : Node_Id; Val : Entity_Id) is
5838 pragma Assert (False
5839 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5840 Set_Node1 (N, Val); -- semantic field, no parent set
5841 end Set_Source_Type;
5843 procedure Set_Specification
5844 (N : Node_Id; Val : Node_Id) is
5846 pragma Assert (False
5847 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5848 or else NT (N).Nkind = N_Expression_Function
5849 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5850 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5851 or else NT (N).Nkind = N_Generic_Package_Declaration
5852 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5853 or else NT (N).Nkind = N_Package_Declaration
5854 or else NT (N).Nkind = N_Subprogram_Body
5855 or else NT (N).Nkind = N_Subprogram_Body_Stub
5856 or else NT (N).Nkind = N_Subprogram_Declaration
5857 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5858 Set_Node1_With_Parent (N, Val);
5859 end Set_Specification;
5861 procedure Set_Split_PPC
5862 (N : Node_Id; Val : Boolean) is
5864 pragma Assert (False
5865 or else NT (N).Nkind = N_Aspect_Specification
5866 or else NT (N).Nkind = N_Pragma);
5867 Set_Flag17 (N, Val);
5870 procedure Set_Statements
5871 (N : Node_Id; Val : List_Id) is
5873 pragma Assert (False
5874 or else NT (N).Nkind = N_Abortable_Part
5875 or else NT (N).Nkind = N_Accept_Alternative
5876 or else NT (N).Nkind = N_Case_Statement_Alternative
5877 or else NT (N).Nkind = N_Delay_Alternative
5878 or else NT (N).Nkind = N_Entry_Call_Alternative
5879 or else NT (N).Nkind = N_Exception_Handler
5880 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5881 or else NT (N).Nkind = N_Loop_Statement
5882 or else NT (N).Nkind = N_Triggering_Alternative);
5883 Set_List3_With_Parent (N, Val);
5886 procedure Set_Static_Processing_OK
5887 (N : Node_Id; Val : Boolean) is
5889 pragma Assert (False
5890 or else NT (N).Nkind = N_Aggregate);
5892 end Set_Static_Processing_OK;
5894 procedure Set_Storage_Pool
5895 (N : Node_Id; Val : Node_Id) is
5897 pragma Assert (False
5898 or else NT (N).Nkind = N_Allocator
5899 or else NT (N).Nkind = N_Extended_Return_Statement
5900 or else NT (N).Nkind = N_Free_Statement
5901 or else NT (N).Nkind = N_Return_Statement);
5902 Set_Node1 (N, Val); -- semantic field, no parent set
5903 end Set_Storage_Pool;
5905 procedure Set_Strval
5906 (N : Node_Id; Val : String_Id) is
5908 pragma Assert (False
5909 or else NT (N).Nkind = N_Operator_Symbol
5910 or else NT (N).Nkind = N_String_Literal);
5914 procedure Set_Subtype_Indication
5915 (N : Node_Id; Val : Node_Id) is
5917 pragma Assert (False
5918 or else NT (N).Nkind = N_Access_To_Object_Definition
5919 or else NT (N).Nkind = N_Component_Definition
5920 or else NT (N).Nkind = N_Derived_Type_Definition
5921 or else NT (N).Nkind = N_Iterator_Specification
5922 or else NT (N).Nkind = N_Private_Extension_Declaration
5923 or else NT (N).Nkind = N_Subtype_Declaration);
5924 Set_Node5_With_Parent (N, Val);
5925 end Set_Subtype_Indication;
5927 procedure Set_Subtype_Mark
5928 (N : Node_Id; Val : Node_Id) is
5930 pragma Assert (False
5931 or else NT (N).Nkind = N_Access_Definition
5932 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5933 or else NT (N).Nkind = N_Formal_Object_Declaration
5934 or else NT (N).Nkind = N_Object_Renaming_Declaration
5935 or else NT (N).Nkind = N_Qualified_Expression
5936 or else NT (N).Nkind = N_Subtype_Indication
5937 or else NT (N).Nkind = N_Type_Conversion
5938 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5939 Set_Node4_With_Parent (N, Val);
5940 end Set_Subtype_Mark;
5942 procedure Set_Subtype_Marks
5943 (N : Node_Id; Val : List_Id) is
5945 pragma Assert (False
5946 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5947 or else NT (N).Nkind = N_Use_Type_Clause);
5948 Set_List2_With_Parent (N, Val);
5949 end Set_Subtype_Marks;
5951 procedure Set_Suppress_Assignment_Checks
5952 (N : Node_Id; Val : Boolean := True) is
5954 pragma Assert (False
5955 or else NT (N).Nkind = N_Assignment_Statement
5956 or else NT (N).Nkind = N_Object_Declaration);
5957 Set_Flag18 (N, Val);
5958 end Set_Suppress_Assignment_Checks;
5960 procedure Set_Suppress_Loop_Warnings
5961 (N : Node_Id; Val : Boolean := True) is
5963 pragma Assert (False
5964 or else NT (N).Nkind = N_Loop_Statement);
5965 Set_Flag17 (N, Val);
5966 end Set_Suppress_Loop_Warnings;
5968 procedure Set_Synchronized_Present
5969 (N : Node_Id; Val : Boolean := True) is
5971 pragma Assert (False
5972 or else NT (N).Nkind = N_Derived_Type_Definition
5973 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5974 or else NT (N).Nkind = N_Private_Extension_Declaration
5975 or else NT (N).Nkind = N_Record_Definition);
5977 end Set_Synchronized_Present;
5979 procedure Set_Tagged_Present
5980 (N : Node_Id; Val : Boolean := True) is
5982 pragma Assert (False
5983 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5984 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5985 or else NT (N).Nkind = N_Private_Type_Declaration
5986 or else NT (N).Nkind = N_Record_Definition);
5987 Set_Flag15 (N, Val);
5988 end Set_Tagged_Present;
5990 procedure Set_Target_Type
5991 (N : Node_Id; Val : Entity_Id) is
5993 pragma Assert (False
5994 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5995 Set_Node2 (N, Val); -- semantic field, no parent set
5996 end Set_Target_Type;
5998 procedure Set_Task_Definition
5999 (N : Node_Id; Val : Node_Id) is
6001 pragma Assert (False
6002 or else NT (N).Nkind = N_Single_Task_Declaration
6003 or else NT (N).Nkind = N_Task_Type_Declaration);
6004 Set_Node3_With_Parent (N, Val);
6005 end Set_Task_Definition;
6007 procedure Set_Task_Present
6008 (N : Node_Id; Val : Boolean := True) is
6010 pragma Assert (False
6011 or else NT (N).Nkind = N_Derived_Type_Definition
6012 or else NT (N).Nkind = N_Record_Definition);
6014 end Set_Task_Present;
6016 procedure Set_Then_Actions
6017 (N : Node_Id; Val : List_Id) is
6019 pragma Assert (False
6020 or else NT (N).Nkind = N_Conditional_Expression);
6021 Set_List2 (N, Val); -- semantic field, no parent set
6022 end Set_Then_Actions;
6024 procedure Set_Then_Statements
6025 (N : Node_Id; Val : List_Id) is
6027 pragma Assert (False
6028 or else NT (N).Nkind = N_Elsif_Part
6029 or else NT (N).Nkind = N_If_Statement);
6030 Set_List2_With_Parent (N, Val);
6031 end Set_Then_Statements;
6033 procedure Set_Treat_Fixed_As_Integer
6034 (N : Node_Id; Val : Boolean := True) is
6036 pragma Assert (False
6037 or else NT (N).Nkind = N_Op_Divide
6038 or else NT (N).Nkind = N_Op_Mod
6039 or else NT (N).Nkind = N_Op_Multiply
6040 or else NT (N).Nkind = N_Op_Rem);
6041 Set_Flag14 (N, Val);
6042 end Set_Treat_Fixed_As_Integer;
6044 procedure Set_Triggering_Alternative
6045 (N : Node_Id; Val : Node_Id) is
6047 pragma Assert (False
6048 or else NT (N).Nkind = N_Asynchronous_Select);
6049 Set_Node1_With_Parent (N, Val);
6050 end Set_Triggering_Alternative;
6052 procedure Set_Triggering_Statement
6053 (N : Node_Id; Val : Node_Id) is
6055 pragma Assert (False
6056 or else NT (N).Nkind = N_Triggering_Alternative);
6057 Set_Node1_With_Parent (N, Val);
6058 end Set_Triggering_Statement;
6060 procedure Set_TSS_Elist
6061 (N : Node_Id; Val : Elist_Id) is
6063 pragma Assert (False
6064 or else NT (N).Nkind = N_Freeze_Entity);
6065 Set_Elist3 (N, Val); -- semantic field, no parent set
6068 procedure Set_Type_Definition
6069 (N : Node_Id; Val : Node_Id) is
6071 pragma Assert (False
6072 or else NT (N).Nkind = N_Full_Type_Declaration);
6073 Set_Node3_With_Parent (N, Val);
6074 end Set_Type_Definition;
6077 (N : Node_Id; Val : Node_Id) is
6079 pragma Assert (False
6080 or else NT (N).Nkind = N_Compilation_Unit);
6081 Set_Node2_With_Parent (N, Val);
6084 procedure Set_Unknown_Discriminants_Present
6085 (N : Node_Id; Val : Boolean := True) is
6087 pragma Assert (False
6088 or else NT (N).Nkind = N_Formal_Type_Declaration
6089 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6090 or else NT (N).Nkind = N_Private_Extension_Declaration
6091 or else NT (N).Nkind = N_Private_Type_Declaration);
6092 Set_Flag13 (N, Val);
6093 end Set_Unknown_Discriminants_Present;
6095 procedure Set_Unreferenced_In_Spec
6096 (N : Node_Id; Val : Boolean := True) is
6098 pragma Assert (False
6099 or else NT (N).Nkind = N_With_Clause);
6101 end Set_Unreferenced_In_Spec;
6103 procedure Set_Variant_Part
6104 (N : Node_Id; Val : Node_Id) is
6106 pragma Assert (False
6107 or else NT (N).Nkind = N_Component_List);
6108 Set_Node4_With_Parent (N, Val);
6109 end Set_Variant_Part;
6111 procedure Set_Variants
6112 (N : Node_Id; Val : List_Id) is
6114 pragma Assert (False
6115 or else NT (N).Nkind = N_Variant_Part);
6116 Set_List1_With_Parent (N, Val);
6119 procedure Set_Visible_Declarations
6120 (N : Node_Id; Val : List_Id) is
6122 pragma Assert (False
6123 or else NT (N).Nkind = N_Package_Specification
6124 or else NT (N).Nkind = N_Protected_Definition
6125 or else NT (N).Nkind = N_Task_Definition);
6126 Set_List2_With_Parent (N, Val);
6127 end Set_Visible_Declarations;
6129 procedure Set_Used_Operations
6130 (N : Node_Id; Val : Elist_Id) is
6132 pragma Assert (False
6133 or else NT (N).Nkind = N_Use_Type_Clause);
6134 Set_Elist5 (N, Val);
6135 end Set_Used_Operations;
6137 procedure Set_Was_Originally_Stub
6138 (N : Node_Id; Val : Boolean := True) is
6140 pragma Assert (False
6141 or else NT (N).Nkind = N_Package_Body
6142 or else NT (N).Nkind = N_Protected_Body
6143 or else NT (N).Nkind = N_Subprogram_Body
6144 or else NT (N).Nkind = N_Task_Body);
6145 Set_Flag13 (N, Val);
6146 end Set_Was_Originally_Stub;
6148 procedure Set_Withed_Body
6149 (N : Node_Id; Val : Node_Id) is
6151 pragma Assert (False
6152 or else NT (N).Nkind = N_With_Clause);
6154 end Set_Withed_Body;
6156 procedure Set_Zero_Cost_Handling
6157 (N : Node_Id; Val : Boolean := True) is
6159 pragma Assert (False
6160 or else NT (N).Nkind = N_Exception_Handler
6161 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
6163 end Set_Zero_Cost_Handling;
6165 -------------------------
6166 -- Iterator Procedures --
6167 -------------------------
6169 procedure Next_Entity (N : in out Node_Id) is
6171 N := Next_Entity (N);
6174 procedure Next_Named_Actual (N : in out Node_Id) is
6176 N := Next_Named_Actual (N);
6177 end Next_Named_Actual;
6179 procedure Next_Rep_Item (N : in out Node_Id) is
6181 N := Next_Rep_Item (N);
6184 procedure Next_Use_Clause (N : in out Node_Id) is
6186 N := Next_Use_Clause (N);
6187 end Next_Use_Clause;
6193 function End_Location (N : Node_Id) return Source_Ptr is
6194 L : constant Uint := End_Span (N);
6199 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6203 --------------------
6204 -- Get_Pragma_Arg --
6205 --------------------
6207 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6209 if Nkind (Arg) = N_Pragma_Argument_Association then
6210 return Expression (Arg);
6216 ----------------------
6217 -- Set_End_Location --
6218 ----------------------
6220 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6223 UI_From_Int (Int (S) - Int (Sloc (N))));
6224 end Set_End_Location;
6233 V2 : Node_Kind) return Boolean
6236 return T = V1 or else
6244 V3 : Node_Kind) return Boolean
6247 return T = V1 or else
6257 V4 : Node_Kind) return Boolean
6260 return T = V1 or else
6272 V5 : Node_Kind) return Boolean
6275 return T = V1 or else
6289 V6 : Node_Kind) return Boolean
6292 return T = V1 or else
6308 V7 : Node_Kind) return Boolean
6311 return T = V1 or else
6329 V8 : Node_Kind) return Boolean
6332 return T = V1 or else
6352 V9 : Node_Kind) return Boolean
6355 return T = V1 or else
6370 function Pragma_Name (N : Node_Id) return Name_Id is
6372 return Chars (Pragma_Identifier (N));