1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2013, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Expression_With_Actions
152 or else NT (N).Nkind = N_Freeze_Entity
153 or else NT (N).Nkind = N_Or_Else);
157 function Activation_Chain_Entity
158 (N : Node_Id) return Node_Id is
161 or else NT (N).Nkind = N_Block_Statement
162 or else NT (N).Nkind = N_Entry_Body
163 or else NT (N).Nkind = N_Generic_Package_Declaration
164 or else NT (N).Nkind = N_Package_Declaration
165 or else NT (N).Nkind = N_Subprogram_Body
166 or else NT (N).Nkind = N_Task_Body);
168 end Activation_Chain_Entity;
170 function Acts_As_Spec
171 (N : Node_Id) return Boolean is
174 or else NT (N).Nkind = N_Compilation_Unit
175 or else NT (N).Nkind = N_Subprogram_Body);
179 function Actual_Designated_Subtype
180 (N : Node_Id) return Node_Id is
183 or else NT (N).Nkind = N_Explicit_Dereference
184 or else NT (N).Nkind = N_Free_Statement);
186 end Actual_Designated_Subtype;
188 function Address_Warning_Posted
189 (N : Node_Id) return Boolean is
192 or else NT (N).Nkind = N_Attribute_Definition_Clause);
194 end Address_Warning_Posted;
196 function Aggregate_Bounds
197 (N : Node_Id) return Node_Id is
200 or else NT (N).Nkind = N_Aggregate);
202 end Aggregate_Bounds;
204 function Aliased_Present
205 (N : Node_Id) return Boolean is
208 or else NT (N).Nkind = N_Component_Definition
209 or else NT (N).Nkind = N_Object_Declaration
210 or else NT (N).Nkind = N_Parameter_Specification);
215 (N : Node_Id) return Boolean is
218 or else NT (N).Nkind = N_Others_Choice);
223 (N : Node_Id) return Boolean is
226 or else NT (N).Nkind = N_Access_Definition
227 or else NT (N).Nkind = N_Access_To_Object_Definition
228 or else NT (N).Nkind = N_Quantified_Expression
229 or else NT (N).Nkind = N_Use_Type_Clause);
233 function Alternatives
234 (N : Node_Id) return List_Id is
237 or else NT (N).Nkind = N_Case_Expression
238 or else NT (N).Nkind = N_Case_Statement
239 or else NT (N).Nkind = N_In
240 or else NT (N).Nkind = N_Not_In);
244 function Ancestor_Part
245 (N : Node_Id) return Node_Id is
248 or else NT (N).Nkind = N_Extension_Aggregate);
252 function Atomic_Sync_Required
253 (N : Node_Id) return Boolean is
256 or else NT (N).Nkind = N_Expanded_Name
257 or else NT (N).Nkind = N_Explicit_Dereference
258 or else NT (N).Nkind = N_Identifier
259 or else NT (N).Nkind = N_Indexed_Component
260 or else NT (N).Nkind = N_Selected_Component);
262 end Atomic_Sync_Required;
264 function Array_Aggregate
265 (N : Node_Id) return Node_Id is
268 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
272 function Aspect_Rep_Item
273 (N : Node_Id) return Node_Id is
276 or else NT (N).Nkind = N_Aspect_Specification);
280 function Assignment_OK
281 (N : Node_Id) return Boolean is
284 or else NT (N).Nkind = N_Object_Declaration
285 or else NT (N).Nkind in N_Subexpr);
289 function Associated_Node
290 (N : Node_Id) return Node_Id is
293 or else NT (N).Nkind in N_Has_Entity
294 or else NT (N).Nkind = N_Aggregate
295 or else NT (N).Nkind = N_Extension_Aggregate
296 or else NT (N).Nkind = N_Selected_Component);
301 (N : Node_Id) return Node_Id is
304 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
308 function Attribute_Name
309 (N : Node_Id) return Name_Id is
312 or else NT (N).Nkind = N_Attribute_Reference);
316 function Aux_Decls_Node
317 (N : Node_Id) return Node_Id is
320 or else NT (N).Nkind = N_Compilation_Unit);
324 function Backwards_OK
325 (N : Node_Id) return Boolean is
328 or else NT (N).Nkind = N_Assignment_Statement);
332 function Bad_Is_Detected
333 (N : Node_Id) return Boolean is
336 or else NT (N).Nkind = N_Subprogram_Body);
340 function Body_Required
341 (N : Node_Id) return Boolean is
344 or else NT (N).Nkind = N_Compilation_Unit);
348 function Body_To_Inline
349 (N : Node_Id) return Node_Id is
352 or else NT (N).Nkind = N_Subprogram_Declaration);
357 (N : Node_Id) return Boolean is
360 or else NT (N).Nkind = N_Component_Association
361 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
362 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Package_Declaration
364 or else NT (N).Nkind = N_Generic_Association);
369 (N : Node_Id) return Boolean is
372 or else NT (N).Nkind = N_Extended_Return_Statement
373 or else NT (N).Nkind = N_Simple_Return_Statement);
377 function Char_Literal_Value
378 (N : Node_Id) return Uint is
381 or else NT (N).Nkind = N_Character_Literal);
383 end Char_Literal_Value;
386 (N : Node_Id) return Name_Id is
389 or else NT (N).Nkind in N_Has_Chars);
393 function Check_Address_Alignment
394 (N : Node_Id) return Boolean is
397 or else NT (N).Nkind = N_Attribute_Definition_Clause);
399 end Check_Address_Alignment;
401 function Choice_Parameter
402 (N : Node_Id) return Node_Id is
405 or else NT (N).Nkind = N_Exception_Handler);
407 end Choice_Parameter;
410 (N : Node_Id) return List_Id is
413 or else NT (N).Nkind = N_Component_Association);
417 function Class_Present
418 (N : Node_Id) return Boolean is
421 or else NT (N).Nkind = N_Aspect_Specification
422 or else NT (N).Nkind = N_Pragma);
426 function Comes_From_Extended_Return_Statement
427 (N : Node_Id) return Boolean is
430 or else NT (N).Nkind = N_Simple_Return_Statement);
432 end Comes_From_Extended_Return_Statement;
434 function Compile_Time_Known_Aggregate
435 (N : Node_Id) return Boolean is
438 or else NT (N).Nkind = N_Aggregate);
440 end Compile_Time_Known_Aggregate;
442 function Component_Associations
443 (N : Node_Id) return List_Id is
446 or else NT (N).Nkind = N_Aggregate
447 or else NT (N).Nkind = N_Extension_Aggregate);
449 end Component_Associations;
451 function Component_Clauses
452 (N : Node_Id) return List_Id is
455 or else NT (N).Nkind = N_Record_Representation_Clause);
457 end Component_Clauses;
459 function Component_Definition
460 (N : Node_Id) return Node_Id is
463 or else NT (N).Nkind = N_Component_Declaration
464 or else NT (N).Nkind = N_Constrained_Array_Definition
465 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
467 end Component_Definition;
469 function Component_Items
470 (N : Node_Id) return List_Id is
473 or else NT (N).Nkind = N_Component_List);
477 function Component_List
478 (N : Node_Id) return Node_Id is
481 or else NT (N).Nkind = N_Record_Definition
482 or else NT (N).Nkind = N_Variant);
486 function Component_Name
487 (N : Node_Id) return Node_Id is
490 or else NT (N).Nkind = N_Component_Clause);
494 function Componentwise_Assignment
495 (N : Node_Id) return Boolean is
498 or else NT (N).Nkind = N_Assignment_Statement);
500 end Componentwise_Assignment;
503 (N : Node_Id) return Node_Id is
506 or else NT (N).Nkind = N_Accept_Alternative
507 or else NT (N).Nkind = N_Delay_Alternative
508 or else NT (N).Nkind = N_Elsif_Part
509 or else NT (N).Nkind = N_Entry_Body_Formal_Part
510 or else NT (N).Nkind = N_Exit_Statement
511 or else NT (N).Nkind = N_If_Statement
512 or else NT (N).Nkind = N_Iteration_Scheme
513 or else NT (N).Nkind = N_Quantified_Expression
514 or else NT (N).Nkind = N_Raise_Constraint_Error
515 or else NT (N).Nkind = N_Raise_Program_Error
516 or else NT (N).Nkind = N_Raise_Storage_Error
517 or else NT (N).Nkind = N_Terminate_Alternative);
521 function Condition_Actions
522 (N : Node_Id) return List_Id is
525 or else NT (N).Nkind = N_Elsif_Part
526 or else NT (N).Nkind = N_Iteration_Scheme);
528 end Condition_Actions;
530 function Config_Pragmas
531 (N : Node_Id) return List_Id is
534 or else NT (N).Nkind = N_Compilation_Unit_Aux);
538 function Constant_Present
539 (N : Node_Id) return Boolean is
542 or else NT (N).Nkind = N_Access_Definition
543 or else NT (N).Nkind = N_Access_To_Object_Definition
544 or else NT (N).Nkind = N_Object_Declaration);
546 end Constant_Present;
549 (N : Node_Id) return Node_Id is
552 or else NT (N).Nkind = N_Subtype_Indication);
557 (N : Node_Id) return List_Id is
560 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
564 function Context_Installed
565 (N : Node_Id) return Boolean is
568 or else NT (N).Nkind = N_With_Clause);
570 end Context_Installed;
572 function Context_Items
573 (N : Node_Id) return List_Id is
576 or else NT (N).Nkind = N_Compilation_Unit);
580 function Context_Pending
581 (N : Node_Id) return Boolean is
584 or else NT (N).Nkind = N_Compilation_Unit);
588 function Controlling_Argument
589 (N : Node_Id) return Node_Id is
592 or else NT (N).Nkind = N_Function_Call
593 or else NT (N).Nkind = N_Procedure_Call_Statement);
595 end Controlling_Argument;
597 function Conversion_OK
598 (N : Node_Id) return Boolean is
601 or else NT (N).Nkind = N_Type_Conversion);
605 function Convert_To_Return_False
606 (N : Node_Id) return Boolean is
609 or else NT (N).Nkind = N_Raise_Expression);
611 end Convert_To_Return_False;
613 function Corresponding_Aspect
614 (N : Node_Id) return Node_Id is
617 or else NT (N).Nkind = N_Pragma);
619 end Corresponding_Aspect;
621 function Corresponding_Body
622 (N : Node_Id) return Node_Id is
625 or else NT (N).Nkind = N_Entry_Declaration
626 or else NT (N).Nkind = N_Generic_Package_Declaration
627 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
628 or else NT (N).Nkind = N_Package_Body_Stub
629 or else NT (N).Nkind = N_Package_Declaration
630 or else NT (N).Nkind = N_Protected_Body_Stub
631 or else NT (N).Nkind = N_Protected_Type_Declaration
632 or else NT (N).Nkind = N_Subprogram_Body_Stub
633 or else NT (N).Nkind = N_Subprogram_Declaration
634 or else NT (N).Nkind = N_Task_Body_Stub
635 or else NT (N).Nkind = N_Task_Type_Declaration);
637 end Corresponding_Body;
639 function Corresponding_Formal_Spec
640 (N : Node_Id) return Node_Id is
643 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
645 end Corresponding_Formal_Spec;
647 function Corresponding_Generic_Association
648 (N : Node_Id) return Node_Id is
651 or else NT (N).Nkind = N_Object_Declaration
652 or else NT (N).Nkind = N_Object_Renaming_Declaration);
654 end Corresponding_Generic_Association;
656 function Corresponding_Integer_Value
657 (N : Node_Id) return Uint is
660 or else NT (N).Nkind = N_Real_Literal);
662 end Corresponding_Integer_Value;
664 function Corresponding_Spec
665 (N : Node_Id) return Node_Id is
668 or else NT (N).Nkind = N_Expression_Function
669 or else NT (N).Nkind = N_Package_Body
670 or else NT (N).Nkind = N_Protected_Body
671 or else NT (N).Nkind = N_Subprogram_Body
672 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
673 or else NT (N).Nkind = N_Task_Body
674 or else NT (N).Nkind = N_With_Clause);
676 end Corresponding_Spec;
678 function Corresponding_Stub
679 (N : Node_Id) return Node_Id is
682 or else NT (N).Nkind = N_Subunit);
684 end Corresponding_Stub;
686 function Dcheck_Function
687 (N : Node_Id) return Entity_Id is
690 or else NT (N).Nkind = N_Variant);
694 function Declarations
695 (N : Node_Id) return List_Id is
698 or else NT (N).Nkind = N_Accept_Statement
699 or else NT (N).Nkind = N_Block_Statement
700 or else NT (N).Nkind = N_Compilation_Unit_Aux
701 or else NT (N).Nkind = N_Entry_Body
702 or else NT (N).Nkind = N_Package_Body
703 or else NT (N).Nkind = N_Protected_Body
704 or else NT (N).Nkind = N_Subprogram_Body
705 or else NT (N).Nkind = N_Task_Body);
709 function Default_Expression
710 (N : Node_Id) return Node_Id is
713 or else NT (N).Nkind = N_Formal_Object_Declaration
714 or else NT (N).Nkind = N_Parameter_Specification);
716 end Default_Expression;
718 function Default_Storage_Pool
719 (N : Node_Id) return Node_Id is
722 or else NT (N).Nkind = N_Compilation_Unit_Aux);
724 end Default_Storage_Pool;
726 function Default_Name
727 (N : Node_Id) return Node_Id is
730 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
731 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
735 function Defining_Identifier
736 (N : Node_Id) return Entity_Id is
739 or else NT (N).Nkind = N_Component_Declaration
740 or else NT (N).Nkind = N_Defining_Program_Unit_Name
741 or else NT (N).Nkind = N_Discriminant_Specification
742 or else NT (N).Nkind = N_Entry_Body
743 or else NT (N).Nkind = N_Entry_Declaration
744 or else NT (N).Nkind = N_Entry_Index_Specification
745 or else NT (N).Nkind = N_Exception_Declaration
746 or else NT (N).Nkind = N_Exception_Renaming_Declaration
747 or else NT (N).Nkind = N_Formal_Object_Declaration
748 or else NT (N).Nkind = N_Formal_Package_Declaration
749 or else NT (N).Nkind = N_Formal_Type_Declaration
750 or else NT (N).Nkind = N_Full_Type_Declaration
751 or else NT (N).Nkind = N_Implicit_Label_Declaration
752 or else NT (N).Nkind = N_Incomplete_Type_Declaration
753 or else NT (N).Nkind = N_Iterator_Specification
754 or else NT (N).Nkind = N_Loop_Parameter_Specification
755 or else NT (N).Nkind = N_Number_Declaration
756 or else NT (N).Nkind = N_Object_Declaration
757 or else NT (N).Nkind = N_Object_Renaming_Declaration
758 or else NT (N).Nkind = N_Package_Body_Stub
759 or else NT (N).Nkind = N_Parameter_Specification
760 or else NT (N).Nkind = N_Private_Extension_Declaration
761 or else NT (N).Nkind = N_Private_Type_Declaration
762 or else NT (N).Nkind = N_Protected_Body
763 or else NT (N).Nkind = N_Protected_Body_Stub
764 or else NT (N).Nkind = N_Protected_Type_Declaration
765 or else NT (N).Nkind = N_Single_Protected_Declaration
766 or else NT (N).Nkind = N_Single_Task_Declaration
767 or else NT (N).Nkind = N_Subtype_Declaration
768 or else NT (N).Nkind = N_Task_Body
769 or else NT (N).Nkind = N_Task_Body_Stub
770 or else NT (N).Nkind = N_Task_Type_Declaration);
772 end Defining_Identifier;
774 function Defining_Unit_Name
775 (N : Node_Id) return Node_Id is
778 or else NT (N).Nkind = N_Function_Instantiation
779 or else NT (N).Nkind = N_Function_Specification
780 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
781 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
782 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
783 or else NT (N).Nkind = N_Package_Body
784 or else NT (N).Nkind = N_Package_Instantiation
785 or else NT (N).Nkind = N_Package_Renaming_Declaration
786 or else NT (N).Nkind = N_Package_Specification
787 or else NT (N).Nkind = N_Procedure_Instantiation
788 or else NT (N).Nkind = N_Procedure_Specification);
790 end Defining_Unit_Name;
792 function Delay_Alternative
793 (N : Node_Id) return Node_Id is
796 or else NT (N).Nkind = N_Timed_Entry_Call);
798 end Delay_Alternative;
800 function Delay_Statement
801 (N : Node_Id) return Node_Id is
804 or else NT (N).Nkind = N_Delay_Alternative);
808 function Delta_Expression
809 (N : Node_Id) return Node_Id is
812 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
813 or else NT (N).Nkind = N_Delta_Constraint
814 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
816 end Delta_Expression;
818 function Digits_Expression
819 (N : Node_Id) return Node_Id is
822 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
823 or else NT (N).Nkind = N_Digits_Constraint
824 or else NT (N).Nkind = N_Floating_Point_Definition);
826 end Digits_Expression;
828 function Discr_Check_Funcs_Built
829 (N : Node_Id) return Boolean is
832 or else NT (N).Nkind = N_Full_Type_Declaration);
834 end Discr_Check_Funcs_Built;
836 function Discrete_Choices
837 (N : Node_Id) return List_Id is
840 or else NT (N).Nkind = N_Case_Expression_Alternative
841 or else NT (N).Nkind = N_Case_Statement_Alternative
842 or else NT (N).Nkind = N_Variant);
844 end Discrete_Choices;
846 function Discrete_Range
847 (N : Node_Id) return Node_Id is
850 or else NT (N).Nkind = N_Slice);
854 function Discrete_Subtype_Definition
855 (N : Node_Id) return Node_Id is
858 or else NT (N).Nkind = N_Entry_Declaration
859 or else NT (N).Nkind = N_Entry_Index_Specification
860 or else NT (N).Nkind = N_Loop_Parameter_Specification);
862 end Discrete_Subtype_Definition;
864 function Discrete_Subtype_Definitions
865 (N : Node_Id) return List_Id is
868 or else NT (N).Nkind = N_Constrained_Array_Definition);
870 end Discrete_Subtype_Definitions;
872 function Discriminant_Specifications
873 (N : Node_Id) return List_Id is
876 or else NT (N).Nkind = N_Formal_Type_Declaration
877 or else NT (N).Nkind = N_Full_Type_Declaration
878 or else NT (N).Nkind = N_Incomplete_Type_Declaration
879 or else NT (N).Nkind = N_Private_Extension_Declaration
880 or else NT (N).Nkind = N_Private_Type_Declaration
881 or else NT (N).Nkind = N_Protected_Type_Declaration
882 or else NT (N).Nkind = N_Task_Type_Declaration);
884 end Discriminant_Specifications;
886 function Discriminant_Type
887 (N : Node_Id) return Node_Id is
890 or else NT (N).Nkind = N_Discriminant_Specification);
892 end Discriminant_Type;
894 function Do_Accessibility_Check
895 (N : Node_Id) return Boolean is
898 or else NT (N).Nkind = N_Parameter_Specification);
900 end Do_Accessibility_Check;
902 function Do_Discriminant_Check
903 (N : Node_Id) return Boolean is
906 or else NT (N).Nkind = N_Selected_Component);
908 end Do_Discriminant_Check;
910 function Do_Division_Check
911 (N : Node_Id) return Boolean is
914 or else NT (N).Nkind = N_Op_Divide
915 or else NT (N).Nkind = N_Op_Mod
916 or else NT (N).Nkind = N_Op_Rem);
918 end Do_Division_Check;
920 function Do_Length_Check
921 (N : Node_Id) return Boolean is
924 or else NT (N).Nkind = N_Assignment_Statement
925 or else NT (N).Nkind = N_Op_And
926 or else NT (N).Nkind = N_Op_Or
927 or else NT (N).Nkind = N_Op_Xor
928 or else NT (N).Nkind = N_Type_Conversion);
932 function Do_Overflow_Check
933 (N : Node_Id) return Boolean is
936 or else NT (N).Nkind in N_Op
937 or else NT (N).Nkind = N_Attribute_Reference
938 or else NT (N).Nkind = N_Case_Expression
939 or else NT (N).Nkind = N_If_Expression
940 or else NT (N).Nkind = N_Type_Conversion);
942 end Do_Overflow_Check;
944 function Do_Range_Check
945 (N : Node_Id) return Boolean is
948 or else NT (N).Nkind in N_Subexpr);
952 function Do_Storage_Check
953 (N : Node_Id) return Boolean is
956 or else NT (N).Nkind = N_Allocator
957 or else NT (N).Nkind = N_Subprogram_Body);
959 end Do_Storage_Check;
961 function Do_Tag_Check
962 (N : Node_Id) return Boolean is
965 or else NT (N).Nkind = N_Assignment_Statement
966 or else NT (N).Nkind = N_Extended_Return_Statement
967 or else NT (N).Nkind = N_Function_Call
968 or else NT (N).Nkind = N_Procedure_Call_Statement
969 or else NT (N).Nkind = N_Simple_Return_Statement
970 or else NT (N).Nkind = N_Type_Conversion);
974 function Elaborate_All_Desirable
975 (N : Node_Id) return Boolean is
978 or else NT (N).Nkind = N_With_Clause);
980 end Elaborate_All_Desirable;
982 function Elaborate_All_Present
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind = N_With_Clause);
988 end Elaborate_All_Present;
990 function Elaborate_Desirable
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_With_Clause);
996 end Elaborate_Desirable;
998 function Elaborate_Present
999 (N : Node_Id) return Boolean is
1001 pragma Assert (False
1002 or else NT (N).Nkind = N_With_Clause);
1004 end Elaborate_Present;
1006 function Elaboration_Boolean
1007 (N : Node_Id) return Node_Id is
1009 pragma Assert (False
1010 or else NT (N).Nkind = N_Function_Specification
1011 or else NT (N).Nkind = N_Procedure_Specification);
1013 end Elaboration_Boolean;
1015 function Else_Actions
1016 (N : Node_Id) return List_Id is
1018 pragma Assert (False
1019 or else NT (N).Nkind = N_If_Expression);
1023 function Else_Statements
1024 (N : Node_Id) return List_Id is
1026 pragma Assert (False
1027 or else NT (N).Nkind = N_Conditional_Entry_Call
1028 or else NT (N).Nkind = N_If_Statement
1029 or else NT (N).Nkind = N_Selective_Accept);
1031 end Else_Statements;
1033 function Elsif_Parts
1034 (N : Node_Id) return List_Id is
1036 pragma Assert (False
1037 or else NT (N).Nkind = N_If_Statement);
1041 function Enclosing_Variant
1042 (N : Node_Id) return Node_Id is
1044 pragma Assert (False
1045 or else NT (N).Nkind = N_Variant);
1047 end Enclosing_Variant;
1050 (N : Node_Id) return Node_Id is
1052 pragma Assert (False
1053 or else NT (N).Nkind = N_Enumeration_Type_Definition
1054 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1055 or else NT (N).Nkind = N_Loop_Statement
1056 or else NT (N).Nkind = N_Package_Specification
1057 or else NT (N).Nkind = N_Protected_Body
1058 or else NT (N).Nkind = N_Protected_Definition
1059 or else NT (N).Nkind = N_Record_Definition
1060 or else NT (N).Nkind = N_Task_Definition);
1065 (N : Node_Id) return Uint is
1067 pragma Assert (False
1068 or else NT (N).Nkind = N_Case_Statement
1069 or else NT (N).Nkind = N_If_Statement);
1074 (N : Node_Id) return Node_Id is
1076 pragma Assert (False
1077 or else NT (N).Nkind in N_Has_Entity
1078 or else NT (N).Nkind = N_Aspect_Specification
1079 or else NT (N).Nkind = N_Attribute_Definition_Clause
1080 or else NT (N).Nkind = N_Freeze_Entity);
1084 function Entity_Or_Associated_Node
1085 (N : Node_Id) return Node_Id is
1087 pragma Assert (False
1088 or else NT (N).Nkind in N_Has_Entity
1089 or else NT (N).Nkind = N_Freeze_Entity);
1091 end Entity_Or_Associated_Node;
1093 function Entry_Body_Formal_Part
1094 (N : Node_Id) return Node_Id is
1096 pragma Assert (False
1097 or else NT (N).Nkind = N_Entry_Body);
1099 end Entry_Body_Formal_Part;
1101 function Entry_Call_Alternative
1102 (N : Node_Id) return Node_Id is
1104 pragma Assert (False
1105 or else NT (N).Nkind = N_Conditional_Entry_Call
1106 or else NT (N).Nkind = N_Timed_Entry_Call);
1108 end Entry_Call_Alternative;
1110 function Entry_Call_Statement
1111 (N : Node_Id) return Node_Id is
1113 pragma Assert (False
1114 or else NT (N).Nkind = N_Entry_Call_Alternative);
1116 end Entry_Call_Statement;
1118 function Entry_Direct_Name
1119 (N : Node_Id) return Node_Id is
1121 pragma Assert (False
1122 or else NT (N).Nkind = N_Accept_Statement);
1124 end Entry_Direct_Name;
1126 function Entry_Index
1127 (N : Node_Id) return Node_Id is
1129 pragma Assert (False
1130 or else NT (N).Nkind = N_Accept_Statement);
1134 function Entry_Index_Specification
1135 (N : Node_Id) return Node_Id is
1137 pragma Assert (False
1138 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1140 end Entry_Index_Specification;
1143 (N : Node_Id) return Node_Id is
1145 pragma Assert (False
1146 or else NT (N).Nkind in N_Has_Etype);
1150 function Exception_Choices
1151 (N : Node_Id) return List_Id is
1153 pragma Assert (False
1154 or else NT (N).Nkind = N_Exception_Handler);
1156 end Exception_Choices;
1158 function Exception_Handlers
1159 (N : Node_Id) return List_Id is
1161 pragma Assert (False
1162 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1164 end Exception_Handlers;
1166 function Exception_Junk
1167 (N : Node_Id) return Boolean is
1169 pragma Assert (False
1170 or else NT (N).Nkind = N_Block_Statement
1171 or else NT (N).Nkind = N_Goto_Statement
1172 or else NT (N).Nkind = N_Label
1173 or else NT (N).Nkind = N_Object_Declaration
1174 or else NT (N).Nkind = N_Subtype_Declaration);
1178 function Exception_Label
1179 (N : Node_Id) return Node_Id is
1181 pragma Assert (False
1182 or else NT (N).Nkind = N_Exception_Handler
1183 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1184 or else NT (N).Nkind = N_Push_Program_Error_Label
1185 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1187 end Exception_Label;
1189 function Expansion_Delayed
1190 (N : Node_Id) return Boolean is
1192 pragma Assert (False
1193 or else NT (N).Nkind = N_Aggregate
1194 or else NT (N).Nkind = N_Extension_Aggregate);
1196 end Expansion_Delayed;
1198 function Explicit_Actual_Parameter
1199 (N : Node_Id) return Node_Id is
1201 pragma Assert (False
1202 or else NT (N).Nkind = N_Parameter_Association);
1204 end Explicit_Actual_Parameter;
1206 function Explicit_Generic_Actual_Parameter
1207 (N : Node_Id) return Node_Id is
1209 pragma Assert (False
1210 or else NT (N).Nkind = N_Generic_Association);
1212 end Explicit_Generic_Actual_Parameter;
1215 (N : Node_Id) return Node_Id is
1217 pragma Assert (False
1218 or else NT (N).Nkind = N_Allocator
1219 or else NT (N).Nkind = N_Aspect_Specification
1220 or else NT (N).Nkind = N_Assignment_Statement
1221 or else NT (N).Nkind = N_At_Clause
1222 or else NT (N).Nkind = N_Attribute_Definition_Clause
1223 or else NT (N).Nkind = N_Case_Expression
1224 or else NT (N).Nkind = N_Case_Expression_Alternative
1225 or else NT (N).Nkind = N_Case_Statement
1226 or else NT (N).Nkind = N_Code_Statement
1227 or else NT (N).Nkind = N_Component_Association
1228 or else NT (N).Nkind = N_Component_Declaration
1229 or else NT (N).Nkind = N_Delay_Relative_Statement
1230 or else NT (N).Nkind = N_Delay_Until_Statement
1231 or else NT (N).Nkind = N_Discriminant_Association
1232 or else NT (N).Nkind = N_Discriminant_Specification
1233 or else NT (N).Nkind = N_Exception_Declaration
1234 or else NT (N).Nkind = N_Expression_Function
1235 or else NT (N).Nkind = N_Expression_With_Actions
1236 or else NT (N).Nkind = N_Free_Statement
1237 or else NT (N).Nkind = N_Mod_Clause
1238 or else NT (N).Nkind = N_Modular_Type_Definition
1239 or else NT (N).Nkind = N_Number_Declaration
1240 or else NT (N).Nkind = N_Object_Declaration
1241 or else NT (N).Nkind = N_Parameter_Specification
1242 or else NT (N).Nkind = N_Pragma_Argument_Association
1243 or else NT (N).Nkind = N_Qualified_Expression
1244 or else NT (N).Nkind = N_Raise_Expression
1245 or else NT (N).Nkind = N_Raise_Statement
1246 or else NT (N).Nkind = N_Simple_Return_Statement
1247 or else NT (N).Nkind = N_Type_Conversion
1248 or else NT (N).Nkind = N_Unchecked_Expression
1249 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1253 function Expressions
1254 (N : Node_Id) return List_Id is
1256 pragma Assert (False
1257 or else NT (N).Nkind = N_Aggregate
1258 or else NT (N).Nkind = N_Attribute_Reference
1259 or else NT (N).Nkind = N_Extension_Aggregate
1260 or else NT (N).Nkind = N_If_Expression
1261 or else NT (N).Nkind = N_Indexed_Component);
1266 (N : Node_Id) return Node_Id is
1268 pragma Assert (False
1269 or else NT (N).Nkind = N_Component_Clause);
1273 function First_Inlined_Subprogram
1274 (N : Node_Id) return Entity_Id is
1276 pragma Assert (False
1277 or else NT (N).Nkind = N_Compilation_Unit);
1279 end First_Inlined_Subprogram;
1282 (N : Node_Id) return Boolean is
1284 pragma Assert (False
1285 or else NT (N).Nkind = N_With_Clause);
1289 function First_Named_Actual
1290 (N : Node_Id) return Node_Id is
1292 pragma Assert (False
1293 or else NT (N).Nkind = N_Entry_Call_Statement
1294 or else NT (N).Nkind = N_Function_Call
1295 or else NT (N).Nkind = N_Procedure_Call_Statement);
1297 end First_Named_Actual;
1299 function First_Real_Statement
1300 (N : Node_Id) return Node_Id is
1302 pragma Assert (False
1303 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1305 end First_Real_Statement;
1307 function First_Subtype_Link
1308 (N : Node_Id) return Entity_Id is
1310 pragma Assert (False
1311 or else NT (N).Nkind = N_Freeze_Entity);
1313 end First_Subtype_Link;
1315 function Float_Truncate
1316 (N : Node_Id) return Boolean is
1318 pragma Assert (False
1319 or else NT (N).Nkind = N_Type_Conversion);
1323 function Formal_Type_Definition
1324 (N : Node_Id) return Node_Id is
1326 pragma Assert (False
1327 or else NT (N).Nkind = N_Formal_Type_Declaration);
1329 end Formal_Type_Definition;
1331 function Forwards_OK
1332 (N : Node_Id) return Boolean is
1334 pragma Assert (False
1335 or else NT (N).Nkind = N_Assignment_Statement);
1339 function From_Aspect_Specification
1340 (N : Node_Id) return Boolean is
1342 pragma Assert (False
1343 or else NT (N).Nkind = N_Attribute_Definition_Clause
1344 or else NT (N).Nkind = N_Pragma);
1346 end From_Aspect_Specification;
1348 function From_At_End
1349 (N : Node_Id) return Boolean is
1351 pragma Assert (False
1352 or else NT (N).Nkind = N_Raise_Statement);
1356 function From_At_Mod
1357 (N : Node_Id) return Boolean is
1359 pragma Assert (False
1360 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1364 function From_Default
1365 (N : Node_Id) return Boolean is
1367 pragma Assert (False
1368 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1372 function Generic_Associations
1373 (N : Node_Id) return List_Id is
1375 pragma Assert (False
1376 or else NT (N).Nkind = N_Formal_Package_Declaration
1377 or else NT (N).Nkind = N_Function_Instantiation
1378 or else NT (N).Nkind = N_Package_Instantiation
1379 or else NT (N).Nkind = N_Procedure_Instantiation);
1381 end Generic_Associations;
1383 function Generic_Formal_Declarations
1384 (N : Node_Id) return List_Id is
1386 pragma Assert (False
1387 or else NT (N).Nkind = N_Generic_Package_Declaration
1388 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1390 end Generic_Formal_Declarations;
1392 function Generic_Parent
1393 (N : Node_Id) return Node_Id is
1395 pragma Assert (False
1396 or else NT (N).Nkind = N_Function_Specification
1397 or else NT (N).Nkind = N_Package_Specification
1398 or else NT (N).Nkind = N_Procedure_Specification);
1402 function Generic_Parent_Type
1403 (N : Node_Id) return Node_Id is
1405 pragma Assert (False
1406 or else NT (N).Nkind = N_Subtype_Declaration);
1408 end Generic_Parent_Type;
1410 function Handled_Statement_Sequence
1411 (N : Node_Id) return Node_Id is
1413 pragma Assert (False
1414 or else NT (N).Nkind = N_Accept_Statement
1415 or else NT (N).Nkind = N_Block_Statement
1416 or else NT (N).Nkind = N_Entry_Body
1417 or else NT (N).Nkind = N_Extended_Return_Statement
1418 or else NT (N).Nkind = N_Package_Body
1419 or else NT (N).Nkind = N_Subprogram_Body
1420 or else NT (N).Nkind = N_Task_Body);
1422 end Handled_Statement_Sequence;
1424 function Handler_List_Entry
1425 (N : Node_Id) return Node_Id is
1427 pragma Assert (False
1428 or else NT (N).Nkind = N_Object_Declaration);
1430 end Handler_List_Entry;
1432 function Has_Created_Identifier
1433 (N : Node_Id) return Boolean is
1435 pragma Assert (False
1436 or else NT (N).Nkind = N_Block_Statement
1437 or else NT (N).Nkind = N_Loop_Statement);
1439 end Has_Created_Identifier;
1441 function Has_Dereference_Action
1442 (N : Node_Id) return Boolean is
1444 pragma Assert (False
1445 or else NT (N).Nkind = N_Explicit_Dereference);
1447 end Has_Dereference_Action;
1449 function Has_Dynamic_Length_Check
1450 (N : Node_Id) return Boolean is
1452 pragma Assert (False
1453 or else NT (N).Nkind in N_Subexpr);
1455 end Has_Dynamic_Length_Check;
1457 function Has_Dynamic_Range_Check
1458 (N : Node_Id) return Boolean is
1460 pragma Assert (False
1461 or else NT (N).Nkind = N_Subtype_Declaration
1462 or else NT (N).Nkind in N_Subexpr);
1464 end Has_Dynamic_Range_Check;
1466 function Has_Init_Expression
1467 (N : Node_Id) return Boolean is
1469 pragma Assert (False
1470 or else NT (N).Nkind = N_Object_Declaration);
1472 end Has_Init_Expression;
1474 function Has_Local_Raise
1475 (N : Node_Id) return Boolean is
1477 pragma Assert (False
1478 or else NT (N).Nkind = N_Exception_Handler);
1480 end Has_Local_Raise;
1482 function Has_No_Elaboration_Code
1483 (N : Node_Id) return Boolean is
1485 pragma Assert (False
1486 or else NT (N).Nkind = N_Compilation_Unit);
1488 end Has_No_Elaboration_Code;
1490 function Has_Pragma_Suppress_All
1491 (N : Node_Id) return Boolean is
1493 pragma Assert (False
1494 or else NT (N).Nkind = N_Compilation_Unit);
1496 end Has_Pragma_Suppress_All;
1498 function Has_Private_View
1499 (N : Node_Id) return Boolean is
1501 pragma Assert (False
1502 or else NT (N).Nkind in N_Op
1503 or else NT (N).Nkind = N_Character_Literal
1504 or else NT (N).Nkind = N_Expanded_Name
1505 or else NT (N).Nkind = N_Identifier
1506 or else NT (N).Nkind = N_Operator_Symbol);
1508 end Has_Private_View;
1510 function Has_Relative_Deadline_Pragma
1511 (N : Node_Id) return Boolean is
1513 pragma Assert (False
1514 or else NT (N).Nkind = N_Subprogram_Body
1515 or else NT (N).Nkind = N_Task_Definition);
1517 end Has_Relative_Deadline_Pragma;
1519 function Has_Self_Reference
1520 (N : Node_Id) return Boolean is
1522 pragma Assert (False
1523 or else NT (N).Nkind = N_Aggregate
1524 or else NT (N).Nkind = N_Extension_Aggregate);
1526 end Has_Self_Reference;
1528 function Has_Storage_Size_Pragma
1529 (N : Node_Id) return Boolean is
1531 pragma Assert (False
1532 or else NT (N).Nkind = N_Task_Definition);
1534 end Has_Storage_Size_Pragma;
1536 function Has_Wide_Character
1537 (N : Node_Id) return Boolean is
1539 pragma Assert (False
1540 or else NT (N).Nkind = N_String_Literal);
1542 end Has_Wide_Character;
1544 function Has_Wide_Wide_Character
1545 (N : Node_Id) return Boolean is
1547 pragma Assert (False
1548 or else NT (N).Nkind = N_String_Literal);
1550 end Has_Wide_Wide_Character;
1552 function Header_Size_Added
1553 (N : Node_Id) return Boolean is
1555 pragma Assert (False
1556 or else NT (N).Nkind = N_Attribute_Reference);
1558 end Header_Size_Added;
1560 function Hidden_By_Use_Clause
1561 (N : Node_Id) return Elist_Id is
1563 pragma Assert (False
1564 or else NT (N).Nkind = N_Use_Package_Clause
1565 or else NT (N).Nkind = N_Use_Type_Clause);
1567 end Hidden_By_Use_Clause;
1570 (N : Node_Id) return Node_Id is
1572 pragma Assert (False
1573 or else NT (N).Nkind = N_Range
1574 or else NT (N).Nkind = N_Real_Range_Specification
1575 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1580 (N : Node_Id) return Node_Id is
1582 pragma Assert (False
1583 or else NT (N).Nkind = N_Aspect_Specification
1584 or else NT (N).Nkind = N_At_Clause
1585 or else NT (N).Nkind = N_Block_Statement
1586 or else NT (N).Nkind = N_Designator
1587 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1588 or else NT (N).Nkind = N_Label
1589 or else NT (N).Nkind = N_Loop_Statement
1590 or else NT (N).Nkind = N_Record_Representation_Clause
1591 or else NT (N).Nkind = N_Subprogram_Info);
1595 function Implicit_With
1596 (N : Node_Id) return Boolean is
1598 pragma Assert (False
1599 or else NT (N).Nkind = N_With_Clause);
1603 function Implicit_With_From_Instantiation
1604 (N : Node_Id) return Boolean is
1606 pragma Assert (False
1607 or else NT (N).Nkind = N_With_Clause);
1609 end Implicit_With_From_Instantiation;
1611 function Interface_List
1612 (N : Node_Id) return List_Id is
1614 pragma Assert (False
1615 or else NT (N).Nkind = N_Derived_Type_Definition
1616 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1617 or else NT (N).Nkind = N_Private_Extension_Declaration
1618 or else NT (N).Nkind = N_Protected_Type_Declaration
1619 or else NT (N).Nkind = N_Record_Definition
1620 or else NT (N).Nkind = N_Single_Protected_Declaration
1621 or else NT (N).Nkind = N_Single_Task_Declaration
1622 or else NT (N).Nkind = N_Task_Type_Declaration);
1626 function Interface_Present
1627 (N : Node_Id) return Boolean is
1629 pragma Assert (False
1630 or else NT (N).Nkind = N_Derived_Type_Definition
1631 or else NT (N).Nkind = N_Record_Definition);
1633 end Interface_Present;
1635 function Import_Interface_Present
1636 (N : Node_Id) return Boolean is
1638 pragma Assert (False
1639 or else NT (N).Nkind = N_Pragma);
1641 end Import_Interface_Present;
1643 function In_Assertion_Expression
1644 (N : Node_Id) return Boolean is
1646 pragma Assert (False
1647 or else NT (N).Nkind = N_Function_Call);
1649 end In_Assertion_Expression;
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_Formal_Object_Declaration
1656 or else NT (N).Nkind = N_Parameter_Specification);
1660 function Includes_Infinities
1661 (N : Node_Id) return Boolean is
1663 pragma Assert (False
1664 or else NT (N).Nkind = N_Range);
1666 end Includes_Infinities;
1668 function Inherited_Discriminant
1669 (N : Node_Id) return Boolean is
1671 pragma Assert (False
1672 or else NT (N).Nkind = N_Component_Association);
1674 end Inherited_Discriminant;
1676 function Instance_Spec
1677 (N : Node_Id) return Node_Id is
1679 pragma Assert (False
1680 or else NT (N).Nkind = N_Formal_Package_Declaration
1681 or else NT (N).Nkind = N_Function_Instantiation
1682 or else NT (N).Nkind = N_Package_Instantiation
1683 or else NT (N).Nkind = N_Procedure_Instantiation);
1688 (N : Node_Id) return Uint is
1690 pragma Assert (False
1691 or else NT (N).Nkind = N_Integer_Literal);
1695 function Is_Accessibility_Actual
1696 (N : Node_Id) return Boolean is
1698 pragma Assert (False
1699 or else NT (N).Nkind = N_Parameter_Association);
1701 end Is_Accessibility_Actual;
1703 function Is_Asynchronous_Call_Block
1704 (N : Node_Id) return Boolean is
1706 pragma Assert (False
1707 or else NT (N).Nkind = N_Block_Statement);
1709 end Is_Asynchronous_Call_Block;
1711 function Is_Boolean_Aspect
1712 (N : Node_Id) return Boolean is
1714 pragma Assert (False
1715 or else NT (N).Nkind = N_Aspect_Specification);
1717 end Is_Boolean_Aspect;
1719 function Is_Component_Left_Opnd
1720 (N : Node_Id) return Boolean is
1722 pragma Assert (False
1723 or else NT (N).Nkind = N_Op_Concat);
1725 end Is_Component_Left_Opnd;
1727 function Is_Component_Right_Opnd
1728 (N : Node_Id) return Boolean is
1730 pragma Assert (False
1731 or else NT (N).Nkind = N_Op_Concat);
1733 end Is_Component_Right_Opnd;
1735 function Is_Controlling_Actual
1736 (N : Node_Id) return Boolean is
1738 pragma Assert (False
1739 or else NT (N).Nkind in N_Subexpr);
1741 end Is_Controlling_Actual;
1743 function Is_Delayed_Aspect
1744 (N : Node_Id) return Boolean is
1746 pragma Assert (False
1747 or else NT (N).Nkind = N_Aspect_Specification
1748 or else NT (N).Nkind = N_Attribute_Definition_Clause
1749 or else NT (N).Nkind = N_Pragma);
1751 end Is_Delayed_Aspect;
1753 function Is_Dynamic_Coextension
1754 (N : Node_Id) return Boolean is
1756 pragma Assert (False
1757 or else NT (N).Nkind = N_Allocator);
1759 end Is_Dynamic_Coextension;
1762 (N : Node_Id) return Boolean is
1764 pragma Assert (False
1765 or else NT (N).Nkind = N_If_Expression);
1769 function Is_Entry_Barrier_Function
1770 (N : Node_Id) return Boolean is
1772 pragma Assert (False
1773 or else NT (N).Nkind = N_Subprogram_Body);
1775 end Is_Entry_Barrier_Function;
1777 function Is_Expanded_Build_In_Place_Call
1778 (N : Node_Id) return Boolean is
1780 pragma Assert (False
1781 or else NT (N).Nkind = N_Function_Call);
1783 end Is_Expanded_Build_In_Place_Call;
1785 function Is_Finalization_Wrapper
1786 (N : Node_Id) return Boolean is
1788 pragma Assert (False
1789 or else NT (N).Nkind = N_Block_Statement);
1791 end Is_Finalization_Wrapper;
1793 function Is_Folded_In_Parser
1794 (N : Node_Id) return Boolean is
1796 pragma Assert (False
1797 or else NT (N).Nkind = N_String_Literal);
1799 end Is_Folded_In_Parser;
1801 function Is_In_Discriminant_Check
1802 (N : Node_Id) return Boolean is
1804 pragma Assert (False
1805 or else NT (N).Nkind = N_Selected_Component);
1807 end Is_In_Discriminant_Check;
1809 function Is_Machine_Number
1810 (N : Node_Id) return Boolean is
1812 pragma Assert (False
1813 or else NT (N).Nkind = N_Real_Literal);
1815 end Is_Machine_Number;
1817 function Is_Null_Loop
1818 (N : Node_Id) return Boolean is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_Loop_Statement);
1825 function Is_Overloaded
1826 (N : Node_Id) return Boolean is
1828 pragma Assert (False
1829 or else NT (N).Nkind in N_Subexpr);
1833 function Is_Power_Of_2_For_Shift
1834 (N : Node_Id) return Boolean is
1836 pragma Assert (False
1837 or else NT (N).Nkind = N_Op_Expon);
1839 end Is_Power_Of_2_For_Shift;
1841 function Is_Prefixed_Call
1842 (N : Node_Id) return Boolean is
1844 pragma Assert (False
1845 or else NT (N).Nkind = N_Selected_Component);
1847 end Is_Prefixed_Call;
1849 function Is_Protected_Subprogram_Body
1850 (N : Node_Id) return Boolean is
1852 pragma Assert (False
1853 or else NT (N).Nkind = N_Subprogram_Body);
1855 end Is_Protected_Subprogram_Body;
1857 function Is_Static_Coextension
1858 (N : Node_Id) return Boolean is
1860 pragma Assert (False
1861 or else NT (N).Nkind = N_Allocator);
1863 end Is_Static_Coextension;
1865 function Is_Static_Expression
1866 (N : Node_Id) return Boolean is
1868 pragma Assert (False
1869 or else NT (N).Nkind in N_Subexpr);
1871 end Is_Static_Expression;
1873 function Is_Subprogram_Descriptor
1874 (N : Node_Id) return Boolean is
1876 pragma Assert (False
1877 or else NT (N).Nkind = N_Object_Declaration);
1879 end Is_Subprogram_Descriptor;
1881 function Is_Task_Allocation_Block
1882 (N : Node_Id) return Boolean is
1884 pragma Assert (False
1885 or else NT (N).Nkind = N_Block_Statement);
1887 end Is_Task_Allocation_Block;
1889 function Is_Task_Master
1890 (N : Node_Id) return Boolean is
1892 pragma Assert (False
1893 or else NT (N).Nkind = N_Block_Statement
1894 or else NT (N).Nkind = N_Subprogram_Body
1895 or else NT (N).Nkind = N_Task_Body);
1899 function Iteration_Scheme
1900 (N : Node_Id) return Node_Id is
1902 pragma Assert (False
1903 or else NT (N).Nkind = N_Loop_Statement);
1905 end Iteration_Scheme;
1907 function Iterator_Specification
1908 (N : Node_Id) return Node_Id is
1910 pragma Assert (False
1911 or else NT (N).Nkind = N_Iteration_Scheme
1912 or else NT (N).Nkind = N_Quantified_Expression);
1914 end Iterator_Specification;
1917 (N : Node_Id) return Node_Id is
1919 pragma Assert (False
1920 or else NT (N).Nkind = N_Itype_Reference);
1924 function Kill_Range_Check
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1930 end Kill_Range_Check;
1932 function Label_Construct
1933 (N : Node_Id) return Node_Id is
1935 pragma Assert (False
1936 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1938 end Label_Construct;
1941 (N : Node_Id) return Node_Id is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_Component_Clause);
1949 (N : Node_Id) return Boolean is
1951 pragma Assert (False
1952 or else NT (N).Nkind = N_With_Clause);
1957 (N : Node_Id) return Node_Id is
1959 pragma Assert (False
1960 or else NT (N).Nkind = N_And_Then
1961 or else NT (N).Nkind = N_In
1962 or else NT (N).Nkind = N_Not_In
1963 or else NT (N).Nkind = N_Or_Else
1964 or else NT (N).Nkind in N_Binary_Op);
1968 function Library_Unit
1969 (N : Node_Id) return Node_Id is
1971 pragma Assert (False
1972 or else NT (N).Nkind = N_Compilation_Unit
1973 or else NT (N).Nkind = N_Package_Body_Stub
1974 or else NT (N).Nkind = N_Protected_Body_Stub
1975 or else NT (N).Nkind = N_Subprogram_Body_Stub
1976 or else NT (N).Nkind = N_Task_Body_Stub
1977 or else NT (N).Nkind = N_With_Clause);
1981 function Limited_View_Installed
1982 (N : Node_Id) return Boolean is
1984 pragma Assert (False
1985 or else NT (N).Nkind = N_Package_Specification
1986 or else NT (N).Nkind = N_With_Clause);
1988 end Limited_View_Installed;
1990 function Limited_Present
1991 (N : Node_Id) return Boolean is
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Derived_Type_Definition
1995 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1996 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1997 or else NT (N).Nkind = N_Private_Extension_Declaration
1998 or else NT (N).Nkind = N_Private_Type_Declaration
1999 or else NT (N).Nkind = N_Record_Definition
2000 or else NT (N).Nkind = N_With_Clause);
2002 end Limited_Present;
2005 (N : Node_Id) return List_Id is
2007 pragma Assert (False
2008 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2012 function Local_Raise_Not_OK
2013 (N : Node_Id) return Boolean is
2015 pragma Assert (False
2016 or else NT (N).Nkind = N_Exception_Handler);
2018 end Local_Raise_Not_OK;
2020 function Local_Raise_Statements
2021 (N : Node_Id) return Elist_Id is
2023 pragma Assert (False
2024 or else NT (N).Nkind = N_Exception_Handler);
2026 end Local_Raise_Statements;
2028 function Loop_Actions
2029 (N : Node_Id) return List_Id is
2031 pragma Assert (False
2032 or else NT (N).Nkind = N_Component_Association);
2036 function Loop_Parameter_Specification
2037 (N : Node_Id) return Node_Id is
2039 pragma Assert (False
2040 or else NT (N).Nkind = N_Iteration_Scheme
2041 or else NT (N).Nkind = N_Quantified_Expression);
2043 end Loop_Parameter_Specification;
2046 (N : Node_Id) return Node_Id is
2048 pragma Assert (False
2049 or else NT (N).Nkind = N_Range
2050 or else NT (N).Nkind = N_Real_Range_Specification
2051 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2056 (N : Node_Id) return Node_Id is
2058 pragma Assert (False
2059 or else NT (N).Nkind = N_Record_Representation_Clause);
2064 (N : Node_Id) return Boolean is
2066 pragma Assert (False
2067 or else NT (N).Nkind = N_Component_Declaration
2068 or else NT (N).Nkind = N_Discriminant_Specification
2069 or else NT (N).Nkind = N_Exception_Declaration
2070 or else NT (N).Nkind = N_Formal_Object_Declaration
2071 or else NT (N).Nkind = N_Number_Declaration
2072 or else NT (N).Nkind = N_Object_Declaration
2073 or else NT (N).Nkind = N_Parameter_Specification);
2077 function Must_Be_Byte_Aligned
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Attribute_Reference);
2083 end Must_Be_Byte_Aligned;
2085 function Must_Not_Freeze
2086 (N : Node_Id) return Boolean is
2088 pragma Assert (False
2089 or else NT (N).Nkind = N_Subtype_Indication
2090 or else NT (N).Nkind in N_Subexpr);
2092 end Must_Not_Freeze;
2094 function Must_Not_Override
2095 (N : Node_Id) return Boolean is
2097 pragma Assert (False
2098 or else NT (N).Nkind = N_Entry_Declaration
2099 or else NT (N).Nkind = N_Function_Instantiation
2100 or else NT (N).Nkind = N_Function_Specification
2101 or else NT (N).Nkind = N_Procedure_Instantiation
2102 or else NT (N).Nkind = N_Procedure_Specification);
2104 end Must_Not_Override;
2106 function Must_Override
2107 (N : Node_Id) return Boolean is
2109 pragma Assert (False
2110 or else NT (N).Nkind = N_Entry_Declaration
2111 or else NT (N).Nkind = N_Function_Instantiation
2112 or else NT (N).Nkind = N_Function_Specification
2113 or else NT (N).Nkind = N_Procedure_Instantiation
2114 or else NT (N).Nkind = N_Procedure_Specification);
2119 (N : Node_Id) return Node_Id is
2121 pragma Assert (False
2122 or else NT (N).Nkind = N_Assignment_Statement
2123 or else NT (N).Nkind = N_Attribute_Definition_Clause
2124 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2125 or else NT (N).Nkind = N_Designator
2126 or else NT (N).Nkind = N_Entry_Call_Statement
2127 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2128 or else NT (N).Nkind = N_Exit_Statement
2129 or else NT (N).Nkind = N_Formal_Package_Declaration
2130 or else NT (N).Nkind = N_Function_Call
2131 or else NT (N).Nkind = N_Function_Instantiation
2132 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2133 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2134 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2135 or else NT (N).Nkind = N_Goto_Statement
2136 or else NT (N).Nkind = N_Iterator_Specification
2137 or else NT (N).Nkind = N_Object_Renaming_Declaration
2138 or else NT (N).Nkind = N_Package_Instantiation
2139 or else NT (N).Nkind = N_Package_Renaming_Declaration
2140 or else NT (N).Nkind = N_Procedure_Call_Statement
2141 or else NT (N).Nkind = N_Procedure_Instantiation
2142 or else NT (N).Nkind = N_Raise_Expression
2143 or else NT (N).Nkind = N_Raise_Statement
2144 or else NT (N).Nkind = N_Requeue_Statement
2145 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2146 or else NT (N).Nkind = N_Subunit
2147 or else NT (N).Nkind = N_Variant_Part
2148 or else NT (N).Nkind = N_With_Clause);
2153 (N : Node_Id) return List_Id is
2155 pragma Assert (False
2156 or else NT (N).Nkind = N_Abort_Statement
2157 or else NT (N).Nkind = N_Use_Package_Clause);
2161 function Next_Entity
2162 (N : Node_Id) return Node_Id is
2164 pragma Assert (False
2165 or else NT (N).Nkind = N_Defining_Character_Literal
2166 or else NT (N).Nkind = N_Defining_Identifier
2167 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2171 function Next_Exit_Statement
2172 (N : Node_Id) return Node_Id is
2174 pragma Assert (False
2175 or else NT (N).Nkind = N_Exit_Statement);
2177 end Next_Exit_Statement;
2179 function Next_Implicit_With
2180 (N : Node_Id) return Node_Id is
2182 pragma Assert (False
2183 or else NT (N).Nkind = N_With_Clause);
2185 end Next_Implicit_With;
2187 function Next_Named_Actual
2188 (N : Node_Id) return Node_Id is
2190 pragma Assert (False
2191 or else NT (N).Nkind = N_Parameter_Association);
2193 end Next_Named_Actual;
2195 function Next_Pragma
2196 (N : Node_Id) return Node_Id is
2198 pragma Assert (False
2199 or else NT (N).Nkind = N_Pragma);
2203 function Next_Rep_Item
2204 (N : Node_Id) return Node_Id is
2206 pragma Assert (False
2207 or else NT (N).Nkind = N_Aspect_Specification
2208 or else NT (N).Nkind = N_Attribute_Definition_Clause
2209 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2210 or else NT (N).Nkind = N_Pragma
2211 or else NT (N).Nkind = N_Record_Representation_Clause);
2215 function Next_Use_Clause
2216 (N : Node_Id) return Node_Id is
2218 pragma Assert (False
2219 or else NT (N).Nkind = N_Use_Package_Clause
2220 or else NT (N).Nkind = N_Use_Type_Clause);
2222 end Next_Use_Clause;
2224 function No_Ctrl_Actions
2225 (N : Node_Id) return Boolean is
2227 pragma Assert (False
2228 or else NT (N).Nkind = N_Assignment_Statement);
2230 end No_Ctrl_Actions;
2232 function No_Elaboration_Check
2233 (N : Node_Id) return Boolean is
2235 pragma Assert (False
2236 or else NT (N).Nkind = N_Function_Call
2237 or else NT (N).Nkind = N_Procedure_Call_Statement);
2239 end No_Elaboration_Check;
2241 function No_Entities_Ref_In_Spec
2242 (N : Node_Id) return Boolean is
2244 pragma Assert (False
2245 or else NT (N).Nkind = N_With_Clause);
2247 end No_Entities_Ref_In_Spec;
2249 function No_Initialization
2250 (N : Node_Id) return Boolean is
2252 pragma Assert (False
2253 or else NT (N).Nkind = N_Allocator
2254 or else NT (N).Nkind = N_Object_Declaration);
2256 end No_Initialization;
2258 function No_Minimize_Eliminate
2259 (N : Node_Id) return Boolean is
2261 pragma Assert (False
2262 or else NT (N).Nkind = N_In
2263 or else NT (N).Nkind = N_Not_In);
2265 end No_Minimize_Eliminate;
2267 function No_Truncation
2268 (N : Node_Id) return Boolean is
2270 pragma Assert (False
2271 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2275 function Null_Present
2276 (N : Node_Id) return Boolean is
2278 pragma Assert (False
2279 or else NT (N).Nkind = N_Component_List
2280 or else NT (N).Nkind = N_Procedure_Specification
2281 or else NT (N).Nkind = N_Record_Definition);
2285 function Null_Exclusion_Present
2286 (N : Node_Id) return Boolean is
2288 pragma Assert (False
2289 or else NT (N).Nkind = N_Access_Definition
2290 or else NT (N).Nkind = N_Access_Function_Definition
2291 or else NT (N).Nkind = N_Access_Procedure_Definition
2292 or else NT (N).Nkind = N_Access_To_Object_Definition
2293 or else NT (N).Nkind = N_Allocator
2294 or else NT (N).Nkind = N_Component_Definition
2295 or else NT (N).Nkind = N_Derived_Type_Definition
2296 or else NT (N).Nkind = N_Discriminant_Specification
2297 or else NT (N).Nkind = N_Formal_Object_Declaration
2298 or else NT (N).Nkind = N_Function_Specification
2299 or else NT (N).Nkind = N_Object_Declaration
2300 or else NT (N).Nkind = N_Object_Renaming_Declaration
2301 or else NT (N).Nkind = N_Parameter_Specification
2302 or else NT (N).Nkind = N_Subtype_Declaration);
2304 end Null_Exclusion_Present;
2306 function Null_Exclusion_In_Return_Present
2307 (N : Node_Id) return Boolean is
2309 pragma Assert (False
2310 or else NT (N).Nkind = N_Access_Function_Definition);
2312 end Null_Exclusion_In_Return_Present;
2314 function Null_Record_Present
2315 (N : Node_Id) return Boolean is
2317 pragma Assert (False
2318 or else NT (N).Nkind = N_Aggregate
2319 or else NT (N).Nkind = N_Extension_Aggregate);
2321 end Null_Record_Present;
2323 function Object_Definition
2324 (N : Node_Id) return Node_Id is
2326 pragma Assert (False
2327 or else NT (N).Nkind = N_Object_Declaration);
2329 end Object_Definition;
2332 (N : Node_Id) return Boolean is
2334 pragma Assert (False
2335 or else NT (N).Nkind = N_Iterator_Specification);
2339 function Original_Discriminant
2340 (N : Node_Id) return Node_Id is
2342 pragma Assert (False
2343 or else NT (N).Nkind = N_Identifier);
2345 end Original_Discriminant;
2347 function Original_Entity
2348 (N : Node_Id) return Entity_Id is
2350 pragma Assert (False
2351 or else NT (N).Nkind = N_Integer_Literal
2352 or else NT (N).Nkind = N_Real_Literal);
2354 end Original_Entity;
2356 function Others_Discrete_Choices
2357 (N : Node_Id) return List_Id is
2359 pragma Assert (False
2360 or else NT (N).Nkind = N_Others_Choice);
2362 end Others_Discrete_Choices;
2364 function Out_Present
2365 (N : Node_Id) return Boolean is
2367 pragma Assert (False
2368 or else NT (N).Nkind = N_Formal_Object_Declaration
2369 or else NT (N).Nkind = N_Parameter_Specification);
2373 function Parameter_Associations
2374 (N : Node_Id) return List_Id is
2376 pragma Assert (False
2377 or else NT (N).Nkind = N_Entry_Call_Statement
2378 or else NT (N).Nkind = N_Function_Call
2379 or else NT (N).Nkind = N_Procedure_Call_Statement);
2381 end Parameter_Associations;
2383 function Parameter_List_Truncated
2384 (N : Node_Id) return Boolean is
2386 pragma Assert (False
2387 or else NT (N).Nkind = N_Function_Call
2388 or else NT (N).Nkind = N_Procedure_Call_Statement);
2390 end Parameter_List_Truncated;
2392 function Parameter_Specifications
2393 (N : Node_Id) return List_Id is
2395 pragma Assert (False
2396 or else NT (N).Nkind = N_Accept_Statement
2397 or else NT (N).Nkind = N_Access_Function_Definition
2398 or else NT (N).Nkind = N_Access_Procedure_Definition
2399 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2400 or else NT (N).Nkind = N_Entry_Declaration
2401 or else NT (N).Nkind = N_Function_Specification
2402 or else NT (N).Nkind = N_Procedure_Specification);
2404 end Parameter_Specifications;
2406 function Parameter_Type
2407 (N : Node_Id) return Node_Id is
2409 pragma Assert (False
2410 or else NT (N).Nkind = N_Parameter_Specification);
2414 function Parent_Spec
2415 (N : Node_Id) return Node_Id is
2417 pragma Assert (False
2418 or else NT (N).Nkind = N_Function_Instantiation
2419 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2420 or else NT (N).Nkind = N_Generic_Package_Declaration
2421 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2422 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2423 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2424 or else NT (N).Nkind = N_Package_Declaration
2425 or else NT (N).Nkind = N_Package_Instantiation
2426 or else NT (N).Nkind = N_Package_Renaming_Declaration
2427 or else NT (N).Nkind = N_Procedure_Instantiation
2428 or else NT (N).Nkind = N_Subprogram_Declaration
2429 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2434 (N : Node_Id) return Node_Id is
2436 pragma Assert (False
2437 or else NT (N).Nkind = N_Component_Clause);
2441 function Pragma_Argument_Associations
2442 (N : Node_Id) return List_Id is
2444 pragma Assert (False
2445 or else NT (N).Nkind = N_Pragma);
2447 end Pragma_Argument_Associations;
2449 function Pragma_Identifier
2450 (N : Node_Id) return Node_Id is
2452 pragma Assert (False
2453 or else NT (N).Nkind = N_Pragma);
2455 end Pragma_Identifier;
2457 function Pragmas_After
2458 (N : Node_Id) return List_Id is
2460 pragma Assert (False
2461 or else NT (N).Nkind = N_Compilation_Unit_Aux
2462 or else NT (N).Nkind = N_Terminate_Alternative);
2466 function Pragmas_Before
2467 (N : Node_Id) return List_Id is
2469 pragma Assert (False
2470 or else NT (N).Nkind = N_Accept_Alternative
2471 or else NT (N).Nkind = N_Delay_Alternative
2472 or else NT (N).Nkind = N_Entry_Call_Alternative
2473 or else NT (N).Nkind = N_Mod_Clause
2474 or else NT (N).Nkind = N_Terminate_Alternative
2475 or else NT (N).Nkind = N_Triggering_Alternative);
2480 (N : Node_Id) return Node_Id is
2482 pragma Assert (False
2483 or else NT (N).Nkind = N_Attribute_Reference
2484 or else NT (N).Nkind = N_Expanded_Name
2485 or else NT (N).Nkind = N_Explicit_Dereference
2486 or else NT (N).Nkind = N_Indexed_Component
2487 or else NT (N).Nkind = N_Reference
2488 or else NT (N).Nkind = N_Selected_Component
2489 or else NT (N).Nkind = N_Slice);
2493 function Premature_Use
2494 (N : Node_Id) return Node_Id is
2496 pragma Assert (False
2497 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2501 function Present_Expr
2502 (N : Node_Id) return Uint is
2504 pragma Assert (False
2505 or else NT (N).Nkind = N_Variant);
2510 (N : Node_Id) return Boolean is
2512 pragma Assert (False
2513 or else NT (N).Nkind = N_Component_Declaration
2514 or else NT (N).Nkind = N_Discriminant_Specification
2515 or else NT (N).Nkind = N_Exception_Declaration
2516 or else NT (N).Nkind = N_Formal_Object_Declaration
2517 or else NT (N).Nkind = N_Number_Declaration
2518 or else NT (N).Nkind = N_Object_Declaration
2519 or else NT (N).Nkind = N_Parameter_Specification);
2523 function Print_In_Hex
2524 (N : Node_Id) return Boolean is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Integer_Literal);
2531 function Private_Declarations
2532 (N : Node_Id) return List_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Package_Specification
2536 or else NT (N).Nkind = N_Protected_Definition
2537 or else NT (N).Nkind = N_Task_Definition);
2539 end Private_Declarations;
2541 function Private_Present
2542 (N : Node_Id) return Boolean is
2544 pragma Assert (False
2545 or else NT (N).Nkind = N_Compilation_Unit
2546 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2547 or else NT (N).Nkind = N_With_Clause);
2549 end Private_Present;
2551 function Procedure_To_Call
2552 (N : Node_Id) return Node_Id is
2554 pragma Assert (False
2555 or else NT (N).Nkind = N_Allocator
2556 or else NT (N).Nkind = N_Extended_Return_Statement
2557 or else NT (N).Nkind = N_Free_Statement
2558 or else NT (N).Nkind = N_Simple_Return_Statement);
2560 end Procedure_To_Call;
2562 function Proper_Body
2563 (N : Node_Id) return Node_Id is
2565 pragma Assert (False
2566 or else NT (N).Nkind = N_Subunit);
2570 function Protected_Definition
2571 (N : Node_Id) return Node_Id is
2573 pragma Assert (False
2574 or else NT (N).Nkind = N_Protected_Type_Declaration
2575 or else NT (N).Nkind = N_Single_Protected_Declaration);
2577 end Protected_Definition;
2579 function Protected_Present
2580 (N : Node_Id) return Boolean is
2582 pragma Assert (False
2583 or else NT (N).Nkind = N_Access_Function_Definition
2584 or else NT (N).Nkind = N_Access_Procedure_Definition
2585 or else NT (N).Nkind = N_Derived_Type_Definition
2586 or else NT (N).Nkind = N_Record_Definition);
2588 end Protected_Present;
2590 function Raises_Constraint_Error
2591 (N : Node_Id) return Boolean is
2593 pragma Assert (False
2594 or else NT (N).Nkind in N_Subexpr);
2596 end Raises_Constraint_Error;
2598 function Range_Constraint
2599 (N : Node_Id) return Node_Id is
2601 pragma Assert (False
2602 or else NT (N).Nkind = N_Delta_Constraint
2603 or else NT (N).Nkind = N_Digits_Constraint);
2605 end Range_Constraint;
2607 function Range_Expression
2608 (N : Node_Id) return Node_Id is
2610 pragma Assert (False
2611 or else NT (N).Nkind = N_Range_Constraint);
2613 end Range_Expression;
2615 function Real_Range_Specification
2616 (N : Node_Id) return Node_Id is
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2620 or else NT (N).Nkind = N_Floating_Point_Definition
2621 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2623 end Real_Range_Specification;
2626 (N : Node_Id) return Ureal is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Real_Literal);
2634 (N : Node_Id) return Uint is
2636 pragma Assert (False
2637 or else NT (N).Nkind = N_Raise_Constraint_Error
2638 or else NT (N).Nkind = N_Raise_Program_Error
2639 or else NT (N).Nkind = N_Raise_Storage_Error);
2643 function Record_Extension_Part
2644 (N : Node_Id) return Node_Id is
2646 pragma Assert (False
2647 or else NT (N).Nkind = N_Derived_Type_Definition);
2649 end Record_Extension_Part;
2651 function Redundant_Use
2652 (N : Node_Id) return Boolean is
2654 pragma Assert (False
2655 or else NT (N).Nkind = N_Attribute_Reference
2656 or else NT (N).Nkind = N_Expanded_Name
2657 or else NT (N).Nkind = N_Identifier);
2661 function Renaming_Exception
2662 (N : Node_Id) return Node_Id is
2664 pragma Assert (False
2665 or else NT (N).Nkind = N_Exception_Declaration);
2667 end Renaming_Exception;
2669 function Result_Definition
2670 (N : Node_Id) return Node_Id is
2672 pragma Assert (False
2673 or else NT (N).Nkind = N_Access_Function_Definition
2674 or else NT (N).Nkind = N_Function_Specification);
2676 end Result_Definition;
2678 function Return_Object_Declarations
2679 (N : Node_Id) return List_Id is
2681 pragma Assert (False
2682 or else NT (N).Nkind = N_Extended_Return_Statement);
2684 end Return_Object_Declarations;
2686 function Return_Statement_Entity
2687 (N : Node_Id) return Node_Id is
2689 pragma Assert (False
2690 or else NT (N).Nkind = N_Extended_Return_Statement
2691 or else NT (N).Nkind = N_Simple_Return_Statement);
2693 end Return_Statement_Entity;
2695 function Reverse_Present
2696 (N : Node_Id) return Boolean is
2698 pragma Assert (False
2699 or else NT (N).Nkind = N_Iterator_Specification
2700 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2702 end Reverse_Present;
2705 (N : Node_Id) return Node_Id is
2707 pragma Assert (False
2708 or else NT (N).Nkind in N_Op
2709 or else NT (N).Nkind = N_And_Then
2710 or else NT (N).Nkind = N_In
2711 or else NT (N).Nkind = N_Not_In
2712 or else NT (N).Nkind = N_Or_Else);
2716 function Rounded_Result
2717 (N : Node_Id) return Boolean is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_Op_Divide
2721 or else NT (N).Nkind = N_Op_Multiply
2722 or else NT (N).Nkind = N_Type_Conversion);
2726 function SCIL_Controlling_Tag
2727 (N : Node_Id) return Node_Id is
2729 pragma Assert (False
2730 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2732 end SCIL_Controlling_Tag;
2734 function SCIL_Entity
2735 (N : Node_Id) return Node_Id is
2737 pragma Assert (False
2738 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2739 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2740 or else NT (N).Nkind = N_SCIL_Membership_Test);
2744 function SCIL_Tag_Value
2745 (N : Node_Id) return Node_Id is
2747 pragma Assert (False
2748 or else NT (N).Nkind = N_SCIL_Membership_Test);
2752 function SCIL_Target_Prim
2753 (N : Node_Id) return Node_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2758 end SCIL_Target_Prim;
2761 (N : Node_Id) return Node_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Defining_Character_Literal
2765 or else NT (N).Nkind = N_Defining_Identifier
2766 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2770 function Select_Alternatives
2771 (N : Node_Id) return List_Id is
2773 pragma Assert (False
2774 or else NT (N).Nkind = N_Selective_Accept);
2776 end Select_Alternatives;
2778 function Selector_Name
2779 (N : Node_Id) return Node_Id is
2781 pragma Assert (False
2782 or else NT (N).Nkind = N_Expanded_Name
2783 or else NT (N).Nkind = N_Generic_Association
2784 or else NT (N).Nkind = N_Parameter_Association
2785 or else NT (N).Nkind = N_Selected_Component);
2789 function Selector_Names
2790 (N : Node_Id) return List_Id is
2792 pragma Assert (False
2793 or else NT (N).Nkind = N_Discriminant_Association);
2797 function Shift_Count_OK
2798 (N : Node_Id) return Boolean is
2800 pragma Assert (False
2801 or else NT (N).Nkind = N_Op_Rotate_Left
2802 or else NT (N).Nkind = N_Op_Rotate_Right
2803 or else NT (N).Nkind = N_Op_Shift_Left
2804 or else NT (N).Nkind = N_Op_Shift_Right
2805 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2809 function Source_Type
2810 (N : Node_Id) return Entity_Id is
2812 pragma Assert (False
2813 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2817 function Spec_PPC_List
2818 (N : Node_Id) return Node_Id is
2820 pragma Assert (False
2821 or else NT (N).Nkind = N_Contract);
2825 function Spec_CTC_List
2826 (N : Node_Id) return Node_Id is
2828 pragma Assert (False
2829 or else NT (N).Nkind = N_Contract);
2833 function Specification
2834 (N : Node_Id) return Node_Id is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2838 or else NT (N).Nkind = N_Expression_Function
2839 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2840 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2841 or else NT (N).Nkind = N_Generic_Package_Declaration
2842 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2843 or else NT (N).Nkind = N_Package_Declaration
2844 or else NT (N).Nkind = N_Subprogram_Body
2845 or else NT (N).Nkind = N_Subprogram_Body_Stub
2846 or else NT (N).Nkind = N_Subprogram_Declaration
2847 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2852 (N : Node_Id) return Boolean is
2854 pragma Assert (False
2855 or else NT (N).Nkind = N_Aspect_Specification
2856 or else NT (N).Nkind = N_Pragma);
2861 (N : Node_Id) return List_Id is
2863 pragma Assert (False
2864 or else NT (N).Nkind = N_Abortable_Part
2865 or else NT (N).Nkind = N_Accept_Alternative
2866 or else NT (N).Nkind = N_Case_Statement_Alternative
2867 or else NT (N).Nkind = N_Delay_Alternative
2868 or else NT (N).Nkind = N_Entry_Call_Alternative
2869 or else NT (N).Nkind = N_Exception_Handler
2870 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2871 or else NT (N).Nkind = N_Loop_Statement
2872 or else NT (N).Nkind = N_Triggering_Alternative);
2876 function Storage_Pool
2877 (N : Node_Id) return Node_Id is
2879 pragma Assert (False
2880 or else NT (N).Nkind = N_Allocator
2881 or else NT (N).Nkind = N_Extended_Return_Statement
2882 or else NT (N).Nkind = N_Free_Statement
2883 or else NT (N).Nkind = N_Simple_Return_Statement);
2887 function Subpool_Handle_Name
2888 (N : Node_Id) return Node_Id is
2890 pragma Assert (False
2891 or else NT (N).Nkind = N_Allocator);
2893 end Subpool_Handle_Name;
2896 (N : Node_Id) return String_Id is
2898 pragma Assert (False
2899 or else NT (N).Nkind = N_Operator_Symbol
2900 or else NT (N).Nkind = N_String_Literal);
2904 function Subtype_Indication
2905 (N : Node_Id) return Node_Id is
2907 pragma Assert (False
2908 or else NT (N).Nkind = N_Access_To_Object_Definition
2909 or else NT (N).Nkind = N_Component_Definition
2910 or else NT (N).Nkind = N_Derived_Type_Definition
2911 or else NT (N).Nkind = N_Iterator_Specification
2912 or else NT (N).Nkind = N_Private_Extension_Declaration
2913 or else NT (N).Nkind = N_Subtype_Declaration);
2915 end Subtype_Indication;
2917 function Suppress_Assignment_Checks
2918 (N : Node_Id) return Boolean is
2920 pragma Assert (False
2921 or else NT (N).Nkind = N_Assignment_Statement
2922 or else NT (N).Nkind = N_Object_Declaration);
2924 end Suppress_Assignment_Checks;
2926 function Suppress_Loop_Warnings
2927 (N : Node_Id) return Boolean is
2929 pragma Assert (False
2930 or else NT (N).Nkind = N_Loop_Statement);
2932 end Suppress_Loop_Warnings;
2934 function Subtype_Mark
2935 (N : Node_Id) return Node_Id is
2937 pragma Assert (False
2938 or else NT (N).Nkind = N_Access_Definition
2939 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2940 or else NT (N).Nkind = N_Formal_Object_Declaration
2941 or else NT (N).Nkind = N_Object_Renaming_Declaration
2942 or else NT (N).Nkind = N_Qualified_Expression
2943 or else NT (N).Nkind = N_Subtype_Indication
2944 or else NT (N).Nkind = N_Type_Conversion
2945 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2949 function Subtype_Marks
2950 (N : Node_Id) return List_Id is
2952 pragma Assert (False
2953 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2954 or else NT (N).Nkind = N_Use_Type_Clause);
2958 function Synchronized_Present
2959 (N : Node_Id) return Boolean is
2961 pragma Assert (False
2962 or else NT (N).Nkind = N_Derived_Type_Definition
2963 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2964 or else NT (N).Nkind = N_Private_Extension_Declaration
2965 or else NT (N).Nkind = N_Record_Definition);
2967 end Synchronized_Present;
2969 function Tagged_Present
2970 (N : Node_Id) return Boolean is
2972 pragma Assert (False
2973 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2974 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2975 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2976 or else NT (N).Nkind = N_Private_Type_Declaration
2977 or else NT (N).Nkind = N_Record_Definition);
2981 function Target_Type
2982 (N : Node_Id) return Entity_Id is
2984 pragma Assert (False
2985 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2989 function Task_Definition
2990 (N : Node_Id) return Node_Id is
2992 pragma Assert (False
2993 or else NT (N).Nkind = N_Single_Task_Declaration
2994 or else NT (N).Nkind = N_Task_Type_Declaration);
2996 end Task_Definition;
2998 function Task_Present
2999 (N : Node_Id) return Boolean is
3001 pragma Assert (False
3002 or else NT (N).Nkind = N_Derived_Type_Definition
3003 or else NT (N).Nkind = N_Record_Definition);
3007 function Then_Actions
3008 (N : Node_Id) return List_Id is
3010 pragma Assert (False
3011 or else NT (N).Nkind = N_If_Expression);
3015 function Then_Statements
3016 (N : Node_Id) return List_Id is
3018 pragma Assert (False
3019 or else NT (N).Nkind = N_Elsif_Part
3020 or else NT (N).Nkind = N_If_Statement);
3022 end Then_Statements;
3024 function Treat_Fixed_As_Integer
3025 (N : Node_Id) return Boolean is
3027 pragma Assert (False
3028 or else NT (N).Nkind = N_Op_Divide
3029 or else NT (N).Nkind = N_Op_Mod
3030 or else NT (N).Nkind = N_Op_Multiply
3031 or else NT (N).Nkind = N_Op_Rem);
3033 end Treat_Fixed_As_Integer;
3035 function Triggering_Alternative
3036 (N : Node_Id) return Node_Id is
3038 pragma Assert (False
3039 or else NT (N).Nkind = N_Asynchronous_Select);
3041 end Triggering_Alternative;
3043 function Triggering_Statement
3044 (N : Node_Id) return Node_Id is
3046 pragma Assert (False
3047 or else NT (N).Nkind = N_Triggering_Alternative);
3049 end Triggering_Statement;
3052 (N : Node_Id) return Elist_Id is
3054 pragma Assert (False
3055 or else NT (N).Nkind = N_Freeze_Entity);
3059 function Type_Definition
3060 (N : Node_Id) return Node_Id is
3062 pragma Assert (False
3063 or else NT (N).Nkind = N_Full_Type_Declaration);
3065 end Type_Definition;
3068 (N : Node_Id) return Node_Id is
3070 pragma Assert (False
3071 or else NT (N).Nkind = N_Compilation_Unit);
3075 function Unknown_Discriminants_Present
3076 (N : Node_Id) return Boolean is
3078 pragma Assert (False
3079 or else NT (N).Nkind = N_Formal_Type_Declaration
3080 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3081 or else NT (N).Nkind = N_Private_Extension_Declaration
3082 or else NT (N).Nkind = N_Private_Type_Declaration);
3084 end Unknown_Discriminants_Present;
3086 function Unreferenced_In_Spec
3087 (N : Node_Id) return Boolean is
3089 pragma Assert (False
3090 or else NT (N).Nkind = N_With_Clause);
3092 end Unreferenced_In_Spec;
3094 function Variant_Part
3095 (N : Node_Id) return Node_Id is
3097 pragma Assert (False
3098 or else NT (N).Nkind = N_Component_List);
3103 (N : Node_Id) return List_Id is
3105 pragma Assert (False
3106 or else NT (N).Nkind = N_Variant_Part);
3110 function Visible_Declarations
3111 (N : Node_Id) return List_Id is
3113 pragma Assert (False
3114 or else NT (N).Nkind = N_Package_Specification
3115 or else NT (N).Nkind = N_Protected_Definition
3116 or else NT (N).Nkind = N_Task_Definition);
3118 end Visible_Declarations;
3120 function Used_Operations
3121 (N : Node_Id) return Elist_Id is
3123 pragma Assert (False
3124 or else NT (N).Nkind = N_Use_Type_Clause);
3126 end Used_Operations;
3128 function Was_Originally_Stub
3129 (N : Node_Id) return Boolean is
3131 pragma Assert (False
3132 or else NT (N).Nkind = N_Package_Body
3133 or else NT (N).Nkind = N_Protected_Body
3134 or else NT (N).Nkind = N_Subprogram_Body
3135 or else NT (N).Nkind = N_Task_Body);
3137 end Was_Originally_Stub;
3139 function Withed_Body
3140 (N : Node_Id) return Node_Id is
3142 pragma Assert (False
3143 or else NT (N).Nkind = N_With_Clause);
3147 --------------------------
3148 -- Field Set Procedures --
3149 --------------------------
3151 procedure Set_ABE_Is_Certain
3152 (N : Node_Id; Val : Boolean := True) is
3154 pragma Assert (False
3155 or else NT (N).Nkind = N_Formal_Package_Declaration
3156 or else NT (N).Nkind = N_Function_Call
3157 or else NT (N).Nkind = N_Function_Instantiation
3158 or else NT (N).Nkind = N_Package_Instantiation
3159 or else NT (N).Nkind = N_Procedure_Call_Statement
3160 or else NT (N).Nkind = N_Procedure_Instantiation);
3161 Set_Flag18 (N, Val);
3162 end Set_ABE_Is_Certain;
3164 procedure Set_Abort_Present
3165 (N : Node_Id; Val : Boolean := True) is
3167 pragma Assert (False
3168 or else NT (N).Nkind = N_Requeue_Statement);
3169 Set_Flag15 (N, Val);
3170 end Set_Abort_Present;
3172 procedure Set_Abortable_Part
3173 (N : Node_Id; Val : Node_Id) is
3175 pragma Assert (False
3176 or else NT (N).Nkind = N_Asynchronous_Select);
3177 Set_Node2_With_Parent (N, Val);
3178 end Set_Abortable_Part;
3180 procedure Set_Abstract_Present
3181 (N : Node_Id; Val : Boolean := True) is
3183 pragma Assert (False
3184 or else NT (N).Nkind = N_Derived_Type_Definition
3185 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3186 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3187 or else NT (N).Nkind = N_Private_Extension_Declaration
3188 or else NT (N).Nkind = N_Private_Type_Declaration
3189 or else NT (N).Nkind = N_Record_Definition);
3191 end Set_Abstract_Present;
3193 procedure Set_Accept_Handler_Records
3194 (N : Node_Id; Val : List_Id) is
3196 pragma Assert (False
3197 or else NT (N).Nkind = N_Accept_Alternative);
3198 Set_List5 (N, Val); -- semantic field, no parent set
3199 end Set_Accept_Handler_Records;
3201 procedure Set_Accept_Statement
3202 (N : Node_Id; Val : Node_Id) is
3204 pragma Assert (False
3205 or else NT (N).Nkind = N_Accept_Alternative);
3206 Set_Node2_With_Parent (N, Val);
3207 end Set_Accept_Statement;
3209 procedure Set_Access_Definition
3210 (N : Node_Id; Val : Node_Id) is
3212 pragma Assert (False
3213 or else NT (N).Nkind = N_Component_Definition
3214 or else NT (N).Nkind = N_Formal_Object_Declaration
3215 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3216 Set_Node3_With_Parent (N, Val);
3217 end Set_Access_Definition;
3219 procedure Set_Access_To_Subprogram_Definition
3220 (N : Node_Id; Val : Node_Id) is
3222 pragma Assert (False
3223 or else NT (N).Nkind = N_Access_Definition);
3224 Set_Node3_With_Parent (N, Val);
3225 end Set_Access_To_Subprogram_Definition;
3227 procedure Set_Access_Types_To_Process
3228 (N : Node_Id; Val : Elist_Id) is
3230 pragma Assert (False
3231 or else NT (N).Nkind = N_Freeze_Entity);
3232 Set_Elist2 (N, Val); -- semantic field, no parent set
3233 end Set_Access_Types_To_Process;
3235 procedure Set_Actions
3236 (N : Node_Id; Val : List_Id) is
3238 pragma Assert (False
3239 or else NT (N).Nkind = N_And_Then
3240 or else NT (N).Nkind = N_Case_Expression_Alternative
3241 or else NT (N).Nkind = N_Compilation_Unit_Aux
3242 or else NT (N).Nkind = N_Expression_With_Actions
3243 or else NT (N).Nkind = N_Freeze_Entity
3244 or else NT (N).Nkind = N_Or_Else);
3245 Set_List1_With_Parent (N, Val);
3248 procedure Set_Activation_Chain_Entity
3249 (N : Node_Id; Val : Node_Id) is
3251 pragma Assert (False
3252 or else NT (N).Nkind = N_Block_Statement
3253 or else NT (N).Nkind = N_Entry_Body
3254 or else NT (N).Nkind = N_Generic_Package_Declaration
3255 or else NT (N).Nkind = N_Package_Declaration
3256 or else NT (N).Nkind = N_Subprogram_Body
3257 or else NT (N).Nkind = N_Task_Body);
3258 Set_Node3 (N, Val); -- semantic field, no parent set
3259 end Set_Activation_Chain_Entity;
3261 procedure Set_Acts_As_Spec
3262 (N : Node_Id; Val : Boolean := True) is
3264 pragma Assert (False
3265 or else NT (N).Nkind = N_Compilation_Unit
3266 or else NT (N).Nkind = N_Subprogram_Body);
3268 end Set_Acts_As_Spec;
3270 procedure Set_Actual_Designated_Subtype
3271 (N : Node_Id; Val : Node_Id) is
3273 pragma Assert (False
3274 or else NT (N).Nkind = N_Explicit_Dereference
3275 or else NT (N).Nkind = N_Free_Statement);
3277 end Set_Actual_Designated_Subtype;
3279 procedure Set_Address_Warning_Posted
3280 (N : Node_Id; Val : Boolean := True) is
3282 pragma Assert (False
3283 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3284 Set_Flag18 (N, Val);
3285 end Set_Address_Warning_Posted;
3287 procedure Set_Aggregate_Bounds
3288 (N : Node_Id; Val : Node_Id) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Aggregate);
3292 Set_Node3 (N, Val); -- semantic field, no parent set
3293 end Set_Aggregate_Bounds;
3295 procedure Set_Aliased_Present
3296 (N : Node_Id; Val : Boolean := True) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Component_Definition
3300 or else NT (N).Nkind = N_Object_Declaration
3301 or else NT (N).Nkind = N_Parameter_Specification);
3303 end Set_Aliased_Present;
3305 procedure Set_All_Others
3306 (N : Node_Id; Val : Boolean := True) is
3308 pragma Assert (False
3309 or else NT (N).Nkind = N_Others_Choice);
3310 Set_Flag11 (N, Val);
3313 procedure Set_All_Present
3314 (N : Node_Id; Val : Boolean := True) is
3316 pragma Assert (False
3317 or else NT (N).Nkind = N_Access_Definition
3318 or else NT (N).Nkind = N_Access_To_Object_Definition
3319 or else NT (N).Nkind = N_Quantified_Expression
3320 or else NT (N).Nkind = N_Use_Type_Clause);
3321 Set_Flag15 (N, Val);
3322 end Set_All_Present;
3324 procedure Set_Alternatives
3325 (N : Node_Id; Val : List_Id) is
3327 pragma Assert (False
3328 or else NT (N).Nkind = N_Case_Expression
3329 or else NT (N).Nkind = N_Case_Statement
3330 or else NT (N).Nkind = N_In
3331 or else NT (N).Nkind = N_Not_In);
3332 Set_List4_With_Parent (N, Val);
3333 end Set_Alternatives;
3335 procedure Set_Ancestor_Part
3336 (N : Node_Id; Val : Node_Id) is
3338 pragma Assert (False
3339 or else NT (N).Nkind = N_Extension_Aggregate);
3340 Set_Node3_With_Parent (N, Val);
3341 end Set_Ancestor_Part;
3343 procedure Set_Atomic_Sync_Required
3344 (N : Node_Id; Val : Boolean := True) is
3346 pragma Assert (False
3347 or else NT (N).Nkind = N_Expanded_Name
3348 or else NT (N).Nkind = N_Explicit_Dereference
3349 or else NT (N).Nkind = N_Identifier
3350 or else NT (N).Nkind = N_Indexed_Component
3351 or else NT (N).Nkind = N_Selected_Component);
3352 Set_Flag14 (N, Val);
3353 end Set_Atomic_Sync_Required;
3355 procedure Set_Array_Aggregate
3356 (N : Node_Id; Val : Node_Id) is
3358 pragma Assert (False
3359 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3360 Set_Node3_With_Parent (N, Val);
3361 end Set_Array_Aggregate;
3363 procedure Set_Aspect_Rep_Item
3364 (N : Node_Id; Val : Node_Id) is
3366 pragma Assert (False
3367 or else NT (N).Nkind = N_Aspect_Specification);
3369 end Set_Aspect_Rep_Item;
3371 procedure Set_Assignment_OK
3372 (N : Node_Id; Val : Boolean := True) is
3374 pragma Assert (False
3375 or else NT (N).Nkind = N_Object_Declaration
3376 or else NT (N).Nkind in N_Subexpr);
3377 Set_Flag15 (N, Val);
3378 end Set_Assignment_OK;
3380 procedure Set_Associated_Node
3381 (N : Node_Id; Val : Node_Id) is
3383 pragma Assert (False
3384 or else NT (N).Nkind in N_Has_Entity
3385 or else NT (N).Nkind = N_Aggregate
3386 or else NT (N).Nkind = N_Extension_Aggregate
3387 or else NT (N).Nkind = N_Selected_Component);
3388 Set_Node4 (N, Val); -- semantic field, no parent set
3389 end Set_Associated_Node;
3391 procedure Set_At_End_Proc
3392 (N : Node_Id; Val : Node_Id) is
3394 pragma Assert (False
3395 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3397 end Set_At_End_Proc;
3399 procedure Set_Attribute_Name
3400 (N : Node_Id; Val : Name_Id) is
3402 pragma Assert (False
3403 or else NT (N).Nkind = N_Attribute_Reference);
3405 end Set_Attribute_Name;
3407 procedure Set_Aux_Decls_Node
3408 (N : Node_Id; Val : Node_Id) is
3410 pragma Assert (False
3411 or else NT (N).Nkind = N_Compilation_Unit);
3412 Set_Node5_With_Parent (N, Val);
3413 end Set_Aux_Decls_Node;
3415 procedure Set_Backwards_OK
3416 (N : Node_Id; Val : Boolean := True) is
3418 pragma Assert (False
3419 or else NT (N).Nkind = N_Assignment_Statement);
3421 end Set_Backwards_OK;
3423 procedure Set_Bad_Is_Detected
3424 (N : Node_Id; Val : Boolean := True) is
3426 pragma Assert (False
3427 or else NT (N).Nkind = N_Subprogram_Body);
3428 Set_Flag15 (N, Val);
3429 end Set_Bad_Is_Detected;
3431 procedure Set_Body_Required
3432 (N : Node_Id; Val : Boolean := True) is
3434 pragma Assert (False
3435 or else NT (N).Nkind = N_Compilation_Unit);
3436 Set_Flag13 (N, Val);
3437 end Set_Body_Required;
3439 procedure Set_Body_To_Inline
3440 (N : Node_Id; Val : Node_Id) is
3442 pragma Assert (False
3443 or else NT (N).Nkind = N_Subprogram_Declaration);
3445 end Set_Body_To_Inline;
3447 procedure Set_Box_Present
3448 (N : Node_Id; Val : Boolean := True) is
3450 pragma Assert (False
3451 or else NT (N).Nkind = N_Component_Association
3452 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3453 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3454 or else NT (N).Nkind = N_Formal_Package_Declaration
3455 or else NT (N).Nkind = N_Generic_Association);
3456 Set_Flag15 (N, Val);
3457 end Set_Box_Present;
3459 procedure Set_By_Ref
3460 (N : Node_Id; Val : Boolean := True) is
3462 pragma Assert (False
3463 or else NT (N).Nkind = N_Extended_Return_Statement
3464 or else NT (N).Nkind = N_Simple_Return_Statement);
3468 procedure Set_Char_Literal_Value
3469 (N : Node_Id; Val : Uint) is
3471 pragma Assert (False
3472 or else NT (N).Nkind = N_Character_Literal);
3474 end Set_Char_Literal_Value;
3477 (N : Node_Id; Val : Name_Id) is
3479 pragma Assert (False
3480 or else NT (N).Nkind in N_Has_Chars);
3484 procedure Set_Check_Address_Alignment
3485 (N : Node_Id; Val : Boolean := True) is
3487 pragma Assert (False
3488 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3489 Set_Flag11 (N, Val);
3490 end Set_Check_Address_Alignment;
3492 procedure Set_Choice_Parameter
3493 (N : Node_Id; Val : Node_Id) is
3495 pragma Assert (False
3496 or else NT (N).Nkind = N_Exception_Handler);
3497 Set_Node2_With_Parent (N, Val);
3498 end Set_Choice_Parameter;
3500 procedure Set_Choices
3501 (N : Node_Id; Val : List_Id) is
3503 pragma Assert (False
3504 or else NT (N).Nkind = N_Component_Association);
3505 Set_List1_With_Parent (N, Val);
3508 procedure Set_Class_Present
3509 (N : Node_Id; Val : Boolean := True) is
3511 pragma Assert (False
3512 or else NT (N).Nkind = N_Aspect_Specification
3513 or else NT (N).Nkind = N_Pragma);
3515 end Set_Class_Present;
3517 procedure Set_Comes_From_Extended_Return_Statement
3518 (N : Node_Id; Val : Boolean := True) is
3520 pragma Assert (False
3521 or else NT (N).Nkind = N_Simple_Return_Statement);
3522 Set_Flag18 (N, Val);
3523 end Set_Comes_From_Extended_Return_Statement;
3525 procedure Set_Compile_Time_Known_Aggregate
3526 (N : Node_Id; Val : Boolean := True) is
3528 pragma Assert (False
3529 or else NT (N).Nkind = N_Aggregate);
3530 Set_Flag18 (N, Val);
3531 end Set_Compile_Time_Known_Aggregate;
3533 procedure Set_Component_Associations
3534 (N : Node_Id; Val : List_Id) is
3536 pragma Assert (False
3537 or else NT (N).Nkind = N_Aggregate
3538 or else NT (N).Nkind = N_Extension_Aggregate);
3539 Set_List2_With_Parent (N, Val);
3540 end Set_Component_Associations;
3542 procedure Set_Component_Clauses
3543 (N : Node_Id; Val : List_Id) is
3545 pragma Assert (False
3546 or else NT (N).Nkind = N_Record_Representation_Clause);
3547 Set_List3_With_Parent (N, Val);
3548 end Set_Component_Clauses;
3550 procedure Set_Component_Definition
3551 (N : Node_Id; Val : Node_Id) is
3553 pragma Assert (False
3554 or else NT (N).Nkind = N_Component_Declaration
3555 or else NT (N).Nkind = N_Constrained_Array_Definition
3556 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3557 Set_Node4_With_Parent (N, Val);
3558 end Set_Component_Definition;
3560 procedure Set_Component_Items
3561 (N : Node_Id; Val : List_Id) is
3563 pragma Assert (False
3564 or else NT (N).Nkind = N_Component_List);
3565 Set_List3_With_Parent (N, Val);
3566 end Set_Component_Items;
3568 procedure Set_Component_List
3569 (N : Node_Id; Val : Node_Id) is
3571 pragma Assert (False
3572 or else NT (N).Nkind = N_Record_Definition
3573 or else NT (N).Nkind = N_Variant);
3574 Set_Node1_With_Parent (N, Val);
3575 end Set_Component_List;
3577 procedure Set_Component_Name
3578 (N : Node_Id; Val : Node_Id) is
3580 pragma Assert (False
3581 or else NT (N).Nkind = N_Component_Clause);
3582 Set_Node1_With_Parent (N, Val);
3583 end Set_Component_Name;
3585 procedure Set_Componentwise_Assignment
3586 (N : Node_Id; Val : Boolean := True) is
3588 pragma Assert (False
3589 or else NT (N).Nkind = N_Assignment_Statement);
3590 Set_Flag14 (N, Val);
3591 end Set_Componentwise_Assignment;
3593 procedure Set_Condition
3594 (N : Node_Id; Val : Node_Id) is
3596 pragma Assert (False
3597 or else NT (N).Nkind = N_Accept_Alternative
3598 or else NT (N).Nkind = N_Delay_Alternative
3599 or else NT (N).Nkind = N_Elsif_Part
3600 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3601 or else NT (N).Nkind = N_Exit_Statement
3602 or else NT (N).Nkind = N_If_Statement
3603 or else NT (N).Nkind = N_Iteration_Scheme
3604 or else NT (N).Nkind = N_Quantified_Expression
3605 or else NT (N).Nkind = N_Raise_Constraint_Error
3606 or else NT (N).Nkind = N_Raise_Program_Error
3607 or else NT (N).Nkind = N_Raise_Storage_Error
3608 or else NT (N).Nkind = N_Terminate_Alternative);
3609 Set_Node1_With_Parent (N, Val);
3612 procedure Set_Condition_Actions
3613 (N : Node_Id; Val : List_Id) is
3615 pragma Assert (False
3616 or else NT (N).Nkind = N_Elsif_Part
3617 or else NT (N).Nkind = N_Iteration_Scheme);
3618 Set_List3 (N, Val); -- semantic field, no parent set
3619 end Set_Condition_Actions;
3621 procedure Set_Config_Pragmas
3622 (N : Node_Id; Val : List_Id) is
3624 pragma Assert (False
3625 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3626 Set_List4_With_Parent (N, Val);
3627 end Set_Config_Pragmas;
3629 procedure Set_Constant_Present
3630 (N : Node_Id; Val : Boolean := True) is
3632 pragma Assert (False
3633 or else NT (N).Nkind = N_Access_Definition
3634 or else NT (N).Nkind = N_Access_To_Object_Definition
3635 or else NT (N).Nkind = N_Object_Declaration);
3636 Set_Flag17 (N, Val);
3637 end Set_Constant_Present;
3639 procedure Set_Constraint
3640 (N : Node_Id; Val : Node_Id) is
3642 pragma Assert (False
3643 or else NT (N).Nkind = N_Subtype_Indication);
3644 Set_Node3_With_Parent (N, Val);
3647 procedure Set_Constraints
3648 (N : Node_Id; Val : List_Id) is
3650 pragma Assert (False
3651 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3652 Set_List1_With_Parent (N, Val);
3653 end Set_Constraints;
3655 procedure Set_Context_Installed
3656 (N : Node_Id; Val : Boolean := True) is
3658 pragma Assert (False
3659 or else NT (N).Nkind = N_With_Clause);
3660 Set_Flag13 (N, Val);
3661 end Set_Context_Installed;
3663 procedure Set_Context_Items
3664 (N : Node_Id; Val : List_Id) is
3666 pragma Assert (False
3667 or else NT (N).Nkind = N_Compilation_Unit);
3668 Set_List1_With_Parent (N, Val);
3669 end Set_Context_Items;
3671 procedure Set_Context_Pending
3672 (N : Node_Id; Val : Boolean := True) is
3674 pragma Assert (False
3675 or else NT (N).Nkind = N_Compilation_Unit);
3676 Set_Flag16 (N, Val);
3677 end Set_Context_Pending;
3679 procedure Set_Controlling_Argument
3680 (N : Node_Id; Val : Node_Id) is
3682 pragma Assert (False
3683 or else NT (N).Nkind = N_Function_Call
3684 or else NT (N).Nkind = N_Procedure_Call_Statement);
3685 Set_Node1 (N, Val); -- semantic field, no parent set
3686 end Set_Controlling_Argument;
3688 procedure Set_Conversion_OK
3689 (N : Node_Id; Val : Boolean := True) is
3691 pragma Assert (False
3692 or else NT (N).Nkind = N_Type_Conversion);
3693 Set_Flag14 (N, Val);
3694 end Set_Conversion_OK;
3696 procedure Set_Convert_To_Return_False
3697 (N : Node_Id; Val : Boolean := True) is
3699 pragma Assert (False
3700 or else NT (N).Nkind = N_Raise_Expression);
3701 Set_Flag13 (N, Val);
3702 end Set_Convert_To_Return_False;
3704 procedure Set_Corresponding_Aspect
3705 (N : Node_Id; Val : Node_Id) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Pragma);
3710 end Set_Corresponding_Aspect;
3712 procedure Set_Corresponding_Body
3713 (N : Node_Id; Val : Node_Id) is
3715 pragma Assert (False
3716 or else NT (N).Nkind = N_Entry_Declaration
3717 or else NT (N).Nkind = N_Generic_Package_Declaration
3718 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3719 or else NT (N).Nkind = N_Package_Body_Stub
3720 or else NT (N).Nkind = N_Package_Declaration
3721 or else NT (N).Nkind = N_Protected_Body_Stub
3722 or else NT (N).Nkind = N_Protected_Type_Declaration
3723 or else NT (N).Nkind = N_Subprogram_Body_Stub
3724 or else NT (N).Nkind = N_Subprogram_Declaration
3725 or else NT (N).Nkind = N_Task_Body_Stub
3726 or else NT (N).Nkind = N_Task_Type_Declaration);
3727 Set_Node5 (N, Val); -- semantic field, no parent set
3728 end Set_Corresponding_Body;
3730 procedure Set_Corresponding_Formal_Spec
3731 (N : Node_Id; Val : Node_Id) is
3733 pragma Assert (False
3734 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3735 Set_Node3 (N, Val); -- semantic field, no parent set
3736 end Set_Corresponding_Formal_Spec;
3738 procedure Set_Corresponding_Generic_Association
3739 (N : Node_Id; Val : Node_Id) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Object_Declaration
3743 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3744 Set_Node5 (N, Val); -- semantic field, no parent set
3745 end Set_Corresponding_Generic_Association;
3747 procedure Set_Corresponding_Integer_Value
3748 (N : Node_Id; Val : Uint) is
3750 pragma Assert (False
3751 or else NT (N).Nkind = N_Real_Literal);
3752 Set_Uint4 (N, Val); -- semantic field, no parent set
3753 end Set_Corresponding_Integer_Value;
3755 procedure Set_Corresponding_Spec
3756 (N : Node_Id; Val : Node_Id) is
3758 pragma Assert (False
3759 or else NT (N).Nkind = N_Expression_Function
3760 or else NT (N).Nkind = N_Package_Body
3761 or else NT (N).Nkind = N_Protected_Body
3762 or else NT (N).Nkind = N_Subprogram_Body
3763 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3764 or else NT (N).Nkind = N_Task_Body
3765 or else NT (N).Nkind = N_With_Clause);
3766 Set_Node5 (N, Val); -- semantic field, no parent set
3767 end Set_Corresponding_Spec;
3769 procedure Set_Corresponding_Stub
3770 (N : Node_Id; Val : Node_Id) is
3772 pragma Assert (False
3773 or else NT (N).Nkind = N_Subunit);
3775 end Set_Corresponding_Stub;
3777 procedure Set_Dcheck_Function
3778 (N : Node_Id; Val : Entity_Id) is
3780 pragma Assert (False
3781 or else NT (N).Nkind = N_Variant);
3782 Set_Node5 (N, Val); -- semantic field, no parent set
3783 end Set_Dcheck_Function;
3785 procedure Set_Declarations
3786 (N : Node_Id; Val : List_Id) is
3788 pragma Assert (False
3789 or else NT (N).Nkind = N_Accept_Statement
3790 or else NT (N).Nkind = N_Block_Statement
3791 or else NT (N).Nkind = N_Compilation_Unit_Aux
3792 or else NT (N).Nkind = N_Entry_Body
3793 or else NT (N).Nkind = N_Package_Body
3794 or else NT (N).Nkind = N_Protected_Body
3795 or else NT (N).Nkind = N_Subprogram_Body
3796 or else NT (N).Nkind = N_Task_Body);
3797 Set_List2_With_Parent (N, Val);
3798 end Set_Declarations;
3800 procedure Set_Default_Expression
3801 (N : Node_Id; Val : Node_Id) is
3803 pragma Assert (False
3804 or else NT (N).Nkind = N_Formal_Object_Declaration
3805 or else NT (N).Nkind = N_Parameter_Specification);
3806 Set_Node5 (N, Val); -- semantic field, no parent set
3807 end Set_Default_Expression;
3809 procedure Set_Default_Storage_Pool
3810 (N : Node_Id; Val : Node_Id) is
3812 pragma Assert (False
3813 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3814 Set_Node3 (N, Val); -- semantic field, no parent set
3815 end Set_Default_Storage_Pool;
3817 procedure Set_Default_Name
3818 (N : Node_Id; Val : Node_Id) is
3820 pragma Assert (False
3821 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3822 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3823 Set_Node2_With_Parent (N, Val);
3824 end Set_Default_Name;
3826 procedure Set_Defining_Identifier
3827 (N : Node_Id; Val : Entity_Id) is
3829 pragma Assert (False
3830 or else NT (N).Nkind = N_Component_Declaration
3831 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3832 or else NT (N).Nkind = N_Discriminant_Specification
3833 or else NT (N).Nkind = N_Entry_Body
3834 or else NT (N).Nkind = N_Entry_Declaration
3835 or else NT (N).Nkind = N_Entry_Index_Specification
3836 or else NT (N).Nkind = N_Exception_Declaration
3837 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3838 or else NT (N).Nkind = N_Formal_Object_Declaration
3839 or else NT (N).Nkind = N_Formal_Package_Declaration
3840 or else NT (N).Nkind = N_Formal_Type_Declaration
3841 or else NT (N).Nkind = N_Full_Type_Declaration
3842 or else NT (N).Nkind = N_Implicit_Label_Declaration
3843 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3844 or else NT (N).Nkind = N_Iterator_Specification
3845 or else NT (N).Nkind = N_Loop_Parameter_Specification
3846 or else NT (N).Nkind = N_Number_Declaration
3847 or else NT (N).Nkind = N_Object_Declaration
3848 or else NT (N).Nkind = N_Object_Renaming_Declaration
3849 or else NT (N).Nkind = N_Package_Body_Stub
3850 or else NT (N).Nkind = N_Parameter_Specification
3851 or else NT (N).Nkind = N_Private_Extension_Declaration
3852 or else NT (N).Nkind = N_Private_Type_Declaration
3853 or else NT (N).Nkind = N_Protected_Body
3854 or else NT (N).Nkind = N_Protected_Body_Stub
3855 or else NT (N).Nkind = N_Protected_Type_Declaration
3856 or else NT (N).Nkind = N_Single_Protected_Declaration
3857 or else NT (N).Nkind = N_Single_Task_Declaration
3858 or else NT (N).Nkind = N_Subtype_Declaration
3859 or else NT (N).Nkind = N_Task_Body
3860 or else NT (N).Nkind = N_Task_Body_Stub
3861 or else NT (N).Nkind = N_Task_Type_Declaration);
3862 Set_Node1_With_Parent (N, Val);
3863 end Set_Defining_Identifier;
3865 procedure Set_Defining_Unit_Name
3866 (N : Node_Id; Val : Node_Id) is
3868 pragma Assert (False
3869 or else NT (N).Nkind = N_Function_Instantiation
3870 or else NT (N).Nkind = N_Function_Specification
3871 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3872 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3873 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3874 or else NT (N).Nkind = N_Package_Body
3875 or else NT (N).Nkind = N_Package_Instantiation
3876 or else NT (N).Nkind = N_Package_Renaming_Declaration
3877 or else NT (N).Nkind = N_Package_Specification
3878 or else NT (N).Nkind = N_Procedure_Instantiation
3879 or else NT (N).Nkind = N_Procedure_Specification);
3880 Set_Node1_With_Parent (N, Val);
3881 end Set_Defining_Unit_Name;
3883 procedure Set_Delay_Alternative
3884 (N : Node_Id; Val : Node_Id) is
3886 pragma Assert (False
3887 or else NT (N).Nkind = N_Timed_Entry_Call);
3888 Set_Node4_With_Parent (N, Val);
3889 end Set_Delay_Alternative;
3891 procedure Set_Delay_Statement
3892 (N : Node_Id; Val : Node_Id) is
3894 pragma Assert (False
3895 or else NT (N).Nkind = N_Delay_Alternative);
3896 Set_Node2_With_Parent (N, Val);
3897 end Set_Delay_Statement;
3899 procedure Set_Delta_Expression
3900 (N : Node_Id; Val : Node_Id) is
3902 pragma Assert (False
3903 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3904 or else NT (N).Nkind = N_Delta_Constraint
3905 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3906 Set_Node3_With_Parent (N, Val);
3907 end Set_Delta_Expression;
3909 procedure Set_Digits_Expression
3910 (N : Node_Id; Val : Node_Id) is
3912 pragma Assert (False
3913 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3914 or else NT (N).Nkind = N_Digits_Constraint
3915 or else NT (N).Nkind = N_Floating_Point_Definition);
3916 Set_Node2_With_Parent (N, Val);
3917 end Set_Digits_Expression;
3919 procedure Set_Discr_Check_Funcs_Built
3920 (N : Node_Id; Val : Boolean := True) is
3922 pragma Assert (False
3923 or else NT (N).Nkind = N_Full_Type_Declaration);
3924 Set_Flag11 (N, Val);
3925 end Set_Discr_Check_Funcs_Built;
3927 procedure Set_Discrete_Choices
3928 (N : Node_Id; Val : List_Id) is
3930 pragma Assert (False
3931 or else NT (N).Nkind = N_Case_Expression_Alternative
3932 or else NT (N).Nkind = N_Case_Statement_Alternative
3933 or else NT (N).Nkind = N_Variant);
3934 Set_List4_With_Parent (N, Val);
3935 end Set_Discrete_Choices;
3937 procedure Set_Discrete_Range
3938 (N : Node_Id; Val : Node_Id) is
3940 pragma Assert (False
3941 or else NT (N).Nkind = N_Slice);
3942 Set_Node4_With_Parent (N, Val);
3943 end Set_Discrete_Range;
3945 procedure Set_Discrete_Subtype_Definition
3946 (N : Node_Id; Val : Node_Id) is
3948 pragma Assert (False
3949 or else NT (N).Nkind = N_Entry_Declaration
3950 or else NT (N).Nkind = N_Entry_Index_Specification
3951 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3952 Set_Node4_With_Parent (N, Val);
3953 end Set_Discrete_Subtype_Definition;
3955 procedure Set_Discrete_Subtype_Definitions
3956 (N : Node_Id; Val : List_Id) is
3958 pragma Assert (False
3959 or else NT (N).Nkind = N_Constrained_Array_Definition);
3960 Set_List2_With_Parent (N, Val);
3961 end Set_Discrete_Subtype_Definitions;
3963 procedure Set_Discriminant_Specifications
3964 (N : Node_Id; Val : List_Id) is
3966 pragma Assert (False
3967 or else NT (N).Nkind = N_Formal_Type_Declaration
3968 or else NT (N).Nkind = N_Full_Type_Declaration
3969 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3970 or else NT (N).Nkind = N_Private_Extension_Declaration
3971 or else NT (N).Nkind = N_Private_Type_Declaration
3972 or else NT (N).Nkind = N_Protected_Type_Declaration
3973 or else NT (N).Nkind = N_Task_Type_Declaration);
3974 Set_List4_With_Parent (N, Val);
3975 end Set_Discriminant_Specifications;
3977 procedure Set_Discriminant_Type
3978 (N : Node_Id; Val : Node_Id) is
3980 pragma Assert (False
3981 or else NT (N).Nkind = N_Discriminant_Specification);
3982 Set_Node5_With_Parent (N, Val);
3983 end Set_Discriminant_Type;
3985 procedure Set_Do_Accessibility_Check
3986 (N : Node_Id; Val : Boolean := True) is
3988 pragma Assert (False
3989 or else NT (N).Nkind = N_Parameter_Specification);
3990 Set_Flag13 (N, Val);
3991 end Set_Do_Accessibility_Check;
3993 procedure Set_Do_Discriminant_Check
3994 (N : Node_Id; Val : Boolean := True) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Selected_Component);
3998 Set_Flag13 (N, Val);
3999 end Set_Do_Discriminant_Check;
4001 procedure Set_Do_Division_Check
4002 (N : Node_Id; Val : Boolean := True) is
4004 pragma Assert (False
4005 or else NT (N).Nkind = N_Op_Divide
4006 or else NT (N).Nkind = N_Op_Mod
4007 or else NT (N).Nkind = N_Op_Rem);
4008 Set_Flag13 (N, Val);
4009 end Set_Do_Division_Check;
4011 procedure Set_Do_Length_Check
4012 (N : Node_Id; Val : Boolean := True) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_Assignment_Statement
4016 or else NT (N).Nkind = N_Op_And
4017 or else NT (N).Nkind = N_Op_Or
4018 or else NT (N).Nkind = N_Op_Xor
4019 or else NT (N).Nkind = N_Type_Conversion);
4021 end Set_Do_Length_Check;
4023 procedure Set_Do_Overflow_Check
4024 (N : Node_Id; Val : Boolean := True) is
4026 pragma Assert (False
4027 or else NT (N).Nkind in N_Op
4028 or else NT (N).Nkind = N_Attribute_Reference
4029 or else NT (N).Nkind = N_Case_Expression
4030 or else NT (N).Nkind = N_If_Expression
4031 or else NT (N).Nkind = N_Type_Conversion);
4032 Set_Flag17 (N, Val);
4033 end Set_Do_Overflow_Check;
4035 procedure Set_Do_Range_Check
4036 (N : Node_Id; Val : Boolean := True) is
4038 pragma Assert (False
4039 or else NT (N).Nkind in N_Subexpr);
4041 end Set_Do_Range_Check;
4043 procedure Set_Do_Storage_Check
4044 (N : Node_Id; Val : Boolean := True) is
4046 pragma Assert (False
4047 or else NT (N).Nkind = N_Allocator
4048 or else NT (N).Nkind = N_Subprogram_Body);
4049 Set_Flag17 (N, Val);
4050 end Set_Do_Storage_Check;
4052 procedure Set_Do_Tag_Check
4053 (N : Node_Id; Val : Boolean := True) is
4055 pragma Assert (False
4056 or else NT (N).Nkind = N_Assignment_Statement
4057 or else NT (N).Nkind = N_Extended_Return_Statement
4058 or else NT (N).Nkind = N_Function_Call
4059 or else NT (N).Nkind = N_Procedure_Call_Statement
4060 or else NT (N).Nkind = N_Simple_Return_Statement
4061 or else NT (N).Nkind = N_Type_Conversion);
4062 Set_Flag13 (N, Val);
4063 end Set_Do_Tag_Check;
4065 procedure Set_Elaborate_All_Desirable
4066 (N : Node_Id; Val : Boolean := True) is
4068 pragma Assert (False
4069 or else NT (N).Nkind = N_With_Clause);
4071 end Set_Elaborate_All_Desirable;
4073 procedure Set_Elaborate_All_Present
4074 (N : Node_Id; Val : Boolean := True) is
4076 pragma Assert (False
4077 or else NT (N).Nkind = N_With_Clause);
4078 Set_Flag14 (N, Val);
4079 end Set_Elaborate_All_Present;
4081 procedure Set_Elaborate_Desirable
4082 (N : Node_Id; Val : Boolean := True) is
4084 pragma Assert (False
4085 or else NT (N).Nkind = N_With_Clause);
4086 Set_Flag11 (N, Val);
4087 end Set_Elaborate_Desirable;
4089 procedure Set_Elaborate_Present
4090 (N : Node_Id; Val : Boolean := True) is
4092 pragma Assert (False
4093 or else NT (N).Nkind = N_With_Clause);
4095 end Set_Elaborate_Present;
4097 procedure Set_Elaboration_Boolean
4098 (N : Node_Id; Val : Node_Id) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_Function_Specification
4102 or else NT (N).Nkind = N_Procedure_Specification);
4104 end Set_Elaboration_Boolean;
4106 procedure Set_Else_Actions
4107 (N : Node_Id; Val : List_Id) is
4109 pragma Assert (False
4110 or else NT (N).Nkind = N_If_Expression);
4111 Set_List3 (N, Val); -- semantic field, no parent set
4112 end Set_Else_Actions;
4114 procedure Set_Else_Statements
4115 (N : Node_Id; Val : List_Id) is
4117 pragma Assert (False
4118 or else NT (N).Nkind = N_Conditional_Entry_Call
4119 or else NT (N).Nkind = N_If_Statement
4120 or else NT (N).Nkind = N_Selective_Accept);
4121 Set_List4_With_Parent (N, Val);
4122 end Set_Else_Statements;
4124 procedure Set_Elsif_Parts
4125 (N : Node_Id; Val : List_Id) is
4127 pragma Assert (False
4128 or else NT (N).Nkind = N_If_Statement);
4129 Set_List3_With_Parent (N, Val);
4130 end Set_Elsif_Parts;
4132 procedure Set_Enclosing_Variant
4133 (N : Node_Id; Val : Node_Id) is
4135 pragma Assert (False
4136 or else NT (N).Nkind = N_Variant);
4137 Set_Node2 (N, Val); -- semantic field, no parent set
4138 end Set_Enclosing_Variant;
4140 procedure Set_End_Label
4141 (N : Node_Id; Val : Node_Id) is
4143 pragma Assert (False
4144 or else NT (N).Nkind = N_Enumeration_Type_Definition
4145 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4146 or else NT (N).Nkind = N_Loop_Statement
4147 or else NT (N).Nkind = N_Package_Specification
4148 or else NT (N).Nkind = N_Protected_Body
4149 or else NT (N).Nkind = N_Protected_Definition
4150 or else NT (N).Nkind = N_Record_Definition
4151 or else NT (N).Nkind = N_Task_Definition);
4152 Set_Node4_With_Parent (N, Val);
4155 procedure Set_End_Span
4156 (N : Node_Id; Val : Uint) is
4158 pragma Assert (False
4159 or else NT (N).Nkind = N_Case_Statement
4160 or else NT (N).Nkind = N_If_Statement);
4164 procedure Set_Entity
4165 (N : Node_Id; Val : Node_Id) is
4167 pragma Assert (False
4168 or else NT (N).Nkind in N_Has_Entity
4169 or else NT (N).Nkind = N_Aspect_Specification
4170 or else NT (N).Nkind = N_Attribute_Definition_Clause
4171 or else NT (N).Nkind = N_Freeze_Entity);
4172 Set_Node4 (N, Val); -- semantic field, no parent set
4175 procedure Set_Entry_Body_Formal_Part
4176 (N : Node_Id; Val : Node_Id) is
4178 pragma Assert (False
4179 or else NT (N).Nkind = N_Entry_Body);
4180 Set_Node5_With_Parent (N, Val);
4181 end Set_Entry_Body_Formal_Part;
4183 procedure Set_Entry_Call_Alternative
4184 (N : Node_Id; Val : Node_Id) is
4186 pragma Assert (False
4187 or else NT (N).Nkind = N_Conditional_Entry_Call
4188 or else NT (N).Nkind = N_Timed_Entry_Call);
4189 Set_Node1_With_Parent (N, Val);
4190 end Set_Entry_Call_Alternative;
4192 procedure Set_Entry_Call_Statement
4193 (N : Node_Id; Val : Node_Id) is
4195 pragma Assert (False
4196 or else NT (N).Nkind = N_Entry_Call_Alternative);
4197 Set_Node1_With_Parent (N, Val);
4198 end Set_Entry_Call_Statement;
4200 procedure Set_Entry_Direct_Name
4201 (N : Node_Id; Val : Node_Id) is
4203 pragma Assert (False
4204 or else NT (N).Nkind = N_Accept_Statement);
4205 Set_Node1_With_Parent (N, Val);
4206 end Set_Entry_Direct_Name;
4208 procedure Set_Entry_Index
4209 (N : Node_Id; Val : Node_Id) is
4211 pragma Assert (False
4212 or else NT (N).Nkind = N_Accept_Statement);
4213 Set_Node5_With_Parent (N, Val);
4214 end Set_Entry_Index;
4216 procedure Set_Entry_Index_Specification
4217 (N : Node_Id; Val : Node_Id) is
4219 pragma Assert (False
4220 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4221 Set_Node4_With_Parent (N, Val);
4222 end Set_Entry_Index_Specification;
4225 (N : Node_Id; Val : Node_Id) is
4227 pragma Assert (False
4228 or else NT (N).Nkind in N_Has_Etype);
4229 Set_Node5 (N, Val); -- semantic field, no parent set
4232 procedure Set_Exception_Choices
4233 (N : Node_Id; Val : List_Id) is
4235 pragma Assert (False
4236 or else NT (N).Nkind = N_Exception_Handler);
4237 Set_List4_With_Parent (N, Val);
4238 end Set_Exception_Choices;
4240 procedure Set_Exception_Handlers
4241 (N : Node_Id; Val : List_Id) is
4243 pragma Assert (False
4244 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4245 Set_List5_With_Parent (N, Val);
4246 end Set_Exception_Handlers;
4248 procedure Set_Exception_Junk
4249 (N : Node_Id; Val : Boolean := True) is
4251 pragma Assert (False
4252 or else NT (N).Nkind = N_Block_Statement
4253 or else NT (N).Nkind = N_Goto_Statement
4254 or else NT (N).Nkind = N_Label
4255 or else NT (N).Nkind = N_Object_Declaration
4256 or else NT (N).Nkind = N_Subtype_Declaration);
4258 end Set_Exception_Junk;
4260 procedure Set_Exception_Label
4261 (N : Node_Id; Val : Node_Id) is
4263 pragma Assert (False
4264 or else NT (N).Nkind = N_Exception_Handler
4265 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4266 or else NT (N).Nkind = N_Push_Program_Error_Label
4267 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4268 Set_Node5 (N, Val); -- semantic field, no parent set
4269 end Set_Exception_Label;
4271 procedure Set_Expansion_Delayed
4272 (N : Node_Id; Val : Boolean := True) is
4274 pragma Assert (False
4275 or else NT (N).Nkind = N_Aggregate
4276 or else NT (N).Nkind = N_Extension_Aggregate);
4277 Set_Flag11 (N, Val);
4278 end Set_Expansion_Delayed;
4280 procedure Set_Explicit_Actual_Parameter
4281 (N : Node_Id; Val : Node_Id) is
4283 pragma Assert (False
4284 or else NT (N).Nkind = N_Parameter_Association);
4285 Set_Node3_With_Parent (N, Val);
4286 end Set_Explicit_Actual_Parameter;
4288 procedure Set_Explicit_Generic_Actual_Parameter
4289 (N : Node_Id; Val : Node_Id) is
4291 pragma Assert (False
4292 or else NT (N).Nkind = N_Generic_Association);
4293 Set_Node1_With_Parent (N, Val);
4294 end Set_Explicit_Generic_Actual_Parameter;
4296 procedure Set_Expression
4297 (N : Node_Id; Val : Node_Id) is
4299 pragma Assert (False
4300 or else NT (N).Nkind = N_Allocator
4301 or else NT (N).Nkind = N_Aspect_Specification
4302 or else NT (N).Nkind = N_Assignment_Statement
4303 or else NT (N).Nkind = N_At_Clause
4304 or else NT (N).Nkind = N_Attribute_Definition_Clause
4305 or else NT (N).Nkind = N_Case_Expression
4306 or else NT (N).Nkind = N_Case_Expression_Alternative
4307 or else NT (N).Nkind = N_Case_Statement
4308 or else NT (N).Nkind = N_Code_Statement
4309 or else NT (N).Nkind = N_Component_Association
4310 or else NT (N).Nkind = N_Component_Declaration
4311 or else NT (N).Nkind = N_Delay_Relative_Statement
4312 or else NT (N).Nkind = N_Delay_Until_Statement
4313 or else NT (N).Nkind = N_Discriminant_Association
4314 or else NT (N).Nkind = N_Discriminant_Specification
4315 or else NT (N).Nkind = N_Exception_Declaration
4316 or else NT (N).Nkind = N_Expression_Function
4317 or else NT (N).Nkind = N_Expression_With_Actions
4318 or else NT (N).Nkind = N_Free_Statement
4319 or else NT (N).Nkind = N_Mod_Clause
4320 or else NT (N).Nkind = N_Modular_Type_Definition
4321 or else NT (N).Nkind = N_Number_Declaration
4322 or else NT (N).Nkind = N_Object_Declaration
4323 or else NT (N).Nkind = N_Parameter_Specification
4324 or else NT (N).Nkind = N_Pragma_Argument_Association
4325 or else NT (N).Nkind = N_Qualified_Expression
4326 or else NT (N).Nkind = N_Raise_Expression
4327 or else NT (N).Nkind = N_Raise_Statement
4328 or else NT (N).Nkind = N_Simple_Return_Statement
4329 or else NT (N).Nkind = N_Type_Conversion
4330 or else NT (N).Nkind = N_Unchecked_Expression
4331 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4332 Set_Node3_With_Parent (N, Val);
4335 procedure Set_Expressions
4336 (N : Node_Id; Val : List_Id) is
4338 pragma Assert (False
4339 or else NT (N).Nkind = N_Aggregate
4340 or else NT (N).Nkind = N_Attribute_Reference
4341 or else NT (N).Nkind = N_Extension_Aggregate
4342 or else NT (N).Nkind = N_If_Expression
4343 or else NT (N).Nkind = N_Indexed_Component);
4344 Set_List1_With_Parent (N, Val);
4345 end Set_Expressions;
4347 procedure Set_First_Bit
4348 (N : Node_Id; Val : Node_Id) is
4350 pragma Assert (False
4351 or else NT (N).Nkind = N_Component_Clause);
4352 Set_Node3_With_Parent (N, Val);
4355 procedure Set_First_Inlined_Subprogram
4356 (N : Node_Id; Val : Entity_Id) is
4358 pragma Assert (False
4359 or else NT (N).Nkind = N_Compilation_Unit);
4360 Set_Node3 (N, Val); -- semantic field, no parent set
4361 end Set_First_Inlined_Subprogram;
4363 procedure Set_First_Name
4364 (N : Node_Id; Val : Boolean := True) is
4366 pragma Assert (False
4367 or else NT (N).Nkind = N_With_Clause);
4371 procedure Set_First_Named_Actual
4372 (N : Node_Id; Val : Node_Id) is
4374 pragma Assert (False
4375 or else NT (N).Nkind = N_Entry_Call_Statement
4376 or else NT (N).Nkind = N_Function_Call
4377 or else NT (N).Nkind = N_Procedure_Call_Statement);
4378 Set_Node4 (N, Val); -- semantic field, no parent set
4379 end Set_First_Named_Actual;
4381 procedure Set_First_Real_Statement
4382 (N : Node_Id; Val : Node_Id) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4386 Set_Node2 (N, Val); -- semantic field, no parent set
4387 end Set_First_Real_Statement;
4389 procedure Set_First_Subtype_Link
4390 (N : Node_Id; Val : Entity_Id) is
4392 pragma Assert (False
4393 or else NT (N).Nkind = N_Freeze_Entity);
4394 Set_Node5 (N, Val); -- semantic field, no parent set
4395 end Set_First_Subtype_Link;
4397 procedure Set_Float_Truncate
4398 (N : Node_Id; Val : Boolean := True) is
4400 pragma Assert (False
4401 or else NT (N).Nkind = N_Type_Conversion);
4402 Set_Flag11 (N, Val);
4403 end Set_Float_Truncate;
4405 procedure Set_Formal_Type_Definition
4406 (N : Node_Id; Val : Node_Id) is
4408 pragma Assert (False
4409 or else NT (N).Nkind = N_Formal_Type_Declaration);
4410 Set_Node3_With_Parent (N, Val);
4411 end Set_Formal_Type_Definition;
4413 procedure Set_Forwards_OK
4414 (N : Node_Id; Val : Boolean := True) is
4416 pragma Assert (False
4417 or else NT (N).Nkind = N_Assignment_Statement);
4419 end Set_Forwards_OK;
4421 procedure Set_From_Aspect_Specification
4422 (N : Node_Id; Val : Boolean := True) is
4424 pragma Assert (False
4425 or else NT (N).Nkind = N_Attribute_Definition_Clause
4426 or else NT (N).Nkind = N_Pragma);
4427 Set_Flag13 (N, Val);
4428 end Set_From_Aspect_Specification;
4430 procedure Set_From_At_End
4431 (N : Node_Id; Val : Boolean := True) is
4433 pragma Assert (False
4434 or else NT (N).Nkind = N_Raise_Statement);
4436 end Set_From_At_End;
4438 procedure Set_From_At_Mod
4439 (N : Node_Id; Val : Boolean := True) is
4441 pragma Assert (False
4442 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4444 end Set_From_At_Mod;
4446 procedure Set_From_Default
4447 (N : Node_Id; Val : Boolean := True) is
4449 pragma Assert (False
4450 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4452 end Set_From_Default;
4454 procedure Set_Generic_Associations
4455 (N : Node_Id; Val : List_Id) is
4457 pragma Assert (False
4458 or else NT (N).Nkind = N_Formal_Package_Declaration
4459 or else NT (N).Nkind = N_Function_Instantiation
4460 or else NT (N).Nkind = N_Package_Instantiation
4461 or else NT (N).Nkind = N_Procedure_Instantiation);
4462 Set_List3_With_Parent (N, Val);
4463 end Set_Generic_Associations;
4465 procedure Set_Generic_Formal_Declarations
4466 (N : Node_Id; Val : List_Id) is
4468 pragma Assert (False
4469 or else NT (N).Nkind = N_Generic_Package_Declaration
4470 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4471 Set_List2_With_Parent (N, Val);
4472 end Set_Generic_Formal_Declarations;
4474 procedure Set_Generic_Parent
4475 (N : Node_Id; Val : Node_Id) is
4477 pragma Assert (False
4478 or else NT (N).Nkind = N_Function_Specification
4479 or else NT (N).Nkind = N_Package_Specification
4480 or else NT (N).Nkind = N_Procedure_Specification);
4482 end Set_Generic_Parent;
4484 procedure Set_Generic_Parent_Type
4485 (N : Node_Id; Val : Node_Id) is
4487 pragma Assert (False
4488 or else NT (N).Nkind = N_Subtype_Declaration);
4490 end Set_Generic_Parent_Type;
4492 procedure Set_Handled_Statement_Sequence
4493 (N : Node_Id; Val : Node_Id) is
4495 pragma Assert (False
4496 or else NT (N).Nkind = N_Accept_Statement
4497 or else NT (N).Nkind = N_Block_Statement
4498 or else NT (N).Nkind = N_Entry_Body
4499 or else NT (N).Nkind = N_Extended_Return_Statement
4500 or else NT (N).Nkind = N_Package_Body
4501 or else NT (N).Nkind = N_Subprogram_Body
4502 or else NT (N).Nkind = N_Task_Body);
4503 Set_Node4_With_Parent (N, Val);
4504 end Set_Handled_Statement_Sequence;
4506 procedure Set_Handler_List_Entry
4507 (N : Node_Id; Val : Node_Id) is
4509 pragma Assert (False
4510 or else NT (N).Nkind = N_Object_Declaration);
4512 end Set_Handler_List_Entry;
4514 procedure Set_Has_Created_Identifier
4515 (N : Node_Id; Val : Boolean := True) is
4517 pragma Assert (False
4518 or else NT (N).Nkind = N_Block_Statement
4519 or else NT (N).Nkind = N_Loop_Statement);
4520 Set_Flag15 (N, Val);
4521 end Set_Has_Created_Identifier;
4523 procedure Set_Has_Dereference_Action
4524 (N : Node_Id; Val : Boolean := True) is
4526 pragma Assert (False
4527 or else NT (N).Nkind = N_Explicit_Dereference);
4528 Set_Flag13 (N, Val);
4529 end Set_Has_Dereference_Action;
4531 procedure Set_Has_Dynamic_Length_Check
4532 (N : Node_Id; Val : Boolean := True) is
4534 pragma Assert (False
4535 or else NT (N).Nkind in N_Subexpr);
4536 Set_Flag10 (N, Val);
4537 end Set_Has_Dynamic_Length_Check;
4539 procedure Set_Has_Dynamic_Range_Check
4540 (N : Node_Id; Val : Boolean := True) is
4542 pragma Assert (False
4543 or else NT (N).Nkind = N_Subtype_Declaration
4544 or else NT (N).Nkind in N_Subexpr);
4545 Set_Flag12 (N, Val);
4546 end Set_Has_Dynamic_Range_Check;
4548 procedure Set_Has_Init_Expression
4549 (N : Node_Id; Val : Boolean := True) is
4551 pragma Assert (False
4552 or else NT (N).Nkind = N_Object_Declaration);
4553 Set_Flag14 (N, Val);
4554 end Set_Has_Init_Expression;
4556 procedure Set_Has_Local_Raise
4557 (N : Node_Id; Val : Boolean := True) is
4559 pragma Assert (False
4560 or else NT (N).Nkind = N_Exception_Handler);
4562 end Set_Has_Local_Raise;
4564 procedure Set_Has_No_Elaboration_Code
4565 (N : Node_Id; Val : Boolean := True) is
4567 pragma Assert (False
4568 or else NT (N).Nkind = N_Compilation_Unit);
4569 Set_Flag17 (N, Val);
4570 end Set_Has_No_Elaboration_Code;
4572 procedure Set_Has_Pragma_Suppress_All
4573 (N : Node_Id; Val : Boolean := True) is
4575 pragma Assert (False
4576 or else NT (N).Nkind = N_Compilation_Unit);
4577 Set_Flag14 (N, Val);
4578 end Set_Has_Pragma_Suppress_All;
4580 procedure Set_Has_Private_View
4581 (N : Node_Id; Val : Boolean := True) is
4583 pragma Assert (False
4584 or else NT (N).Nkind in N_Op
4585 or else NT (N).Nkind = N_Character_Literal
4586 or else NT (N).Nkind = N_Expanded_Name
4587 or else NT (N).Nkind = N_Identifier
4588 or else NT (N).Nkind = N_Operator_Symbol);
4589 Set_Flag11 (N, Val);
4590 end Set_Has_Private_View;
4592 procedure Set_Has_Relative_Deadline_Pragma
4593 (N : Node_Id; Val : Boolean := True) is
4595 pragma Assert (False
4596 or else NT (N).Nkind = N_Subprogram_Body
4597 or else NT (N).Nkind = N_Task_Definition);
4599 end Set_Has_Relative_Deadline_Pragma;
4601 procedure Set_Has_Self_Reference
4602 (N : Node_Id; Val : Boolean := True) is
4604 pragma Assert (False
4605 or else NT (N).Nkind = N_Aggregate
4606 or else NT (N).Nkind = N_Extension_Aggregate);
4607 Set_Flag13 (N, Val);
4608 end Set_Has_Self_Reference;
4610 procedure Set_Has_Storage_Size_Pragma
4611 (N : Node_Id; Val : Boolean := True) is
4613 pragma Assert (False
4614 or else NT (N).Nkind = N_Task_Definition);
4616 end Set_Has_Storage_Size_Pragma;
4618 procedure Set_Has_Wide_Character
4619 (N : Node_Id; Val : Boolean := True) is
4621 pragma Assert (False
4622 or else NT (N).Nkind = N_String_Literal);
4623 Set_Flag11 (N, Val);
4624 end Set_Has_Wide_Character;
4626 procedure Set_Has_Wide_Wide_Character
4627 (N : Node_Id; Val : Boolean := True) is
4629 pragma Assert (False
4630 or else NT (N).Nkind = N_String_Literal);
4631 Set_Flag13 (N, Val);
4632 end Set_Has_Wide_Wide_Character;
4634 procedure Set_Header_Size_Added
4635 (N : Node_Id; Val : Boolean := True) is
4637 pragma Assert (False
4638 or else NT (N).Nkind = N_Attribute_Reference);
4639 Set_Flag11 (N, Val);
4640 end Set_Header_Size_Added;
4642 procedure Set_Hidden_By_Use_Clause
4643 (N : Node_Id; Val : Elist_Id) is
4645 pragma Assert (False
4646 or else NT (N).Nkind = N_Use_Package_Clause
4647 or else NT (N).Nkind = N_Use_Type_Clause);
4648 Set_Elist4 (N, Val);
4649 end Set_Hidden_By_Use_Clause;
4651 procedure Set_High_Bound
4652 (N : Node_Id; Val : Node_Id) is
4654 pragma Assert (False
4655 or else NT (N).Nkind = N_Range
4656 or else NT (N).Nkind = N_Real_Range_Specification
4657 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4658 Set_Node2_With_Parent (N, Val);
4661 procedure Set_Identifier
4662 (N : Node_Id; Val : Node_Id) is
4664 pragma Assert (False
4665 or else NT (N).Nkind = N_Aspect_Specification
4666 or else NT (N).Nkind = N_At_Clause
4667 or else NT (N).Nkind = N_Block_Statement
4668 or else NT (N).Nkind = N_Designator
4669 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4670 or else NT (N).Nkind = N_Label
4671 or else NT (N).Nkind = N_Loop_Statement
4672 or else NT (N).Nkind = N_Record_Representation_Clause
4673 or else NT (N).Nkind = N_Subprogram_Info);
4674 Set_Node1_With_Parent (N, Val);
4677 procedure Set_Implicit_With
4678 (N : Node_Id; Val : Boolean := True) is
4680 pragma Assert (False
4681 or else NT (N).Nkind = N_With_Clause);
4682 Set_Flag16 (N, Val);
4683 end Set_Implicit_With;
4685 procedure Set_Implicit_With_From_Instantiation
4686 (N : Node_Id; Val : Boolean := True) is
4688 pragma Assert (False
4689 or else NT (N).Nkind = N_With_Clause);
4690 Set_Flag12 (N, Val);
4691 end Set_Implicit_With_From_Instantiation;
4693 procedure Set_Interface_List
4694 (N : Node_Id; Val : List_Id) is
4696 pragma Assert (False
4697 or else NT (N).Nkind = N_Derived_Type_Definition
4698 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4699 or else NT (N).Nkind = N_Private_Extension_Declaration
4700 or else NT (N).Nkind = N_Protected_Type_Declaration
4701 or else NT (N).Nkind = N_Record_Definition
4702 or else NT (N).Nkind = N_Single_Protected_Declaration
4703 or else NT (N).Nkind = N_Single_Task_Declaration
4704 or else NT (N).Nkind = N_Task_Type_Declaration);
4705 Set_List2_With_Parent (N, Val);
4706 end Set_Interface_List;
4708 procedure Set_Interface_Present
4709 (N : Node_Id; Val : Boolean := True) is
4711 pragma Assert (False
4712 or else NT (N).Nkind = N_Derived_Type_Definition
4713 or else NT (N).Nkind = N_Record_Definition);
4714 Set_Flag16 (N, Val);
4715 end Set_Interface_Present;
4717 procedure Set_Import_Interface_Present
4718 (N : Node_Id; Val : Boolean := True) is
4720 pragma Assert (False
4721 or else NT (N).Nkind = N_Pragma);
4722 Set_Flag16 (N, Val);
4723 end Set_Import_Interface_Present;
4725 procedure Set_In_Assertion_Expression
4726 (N : Node_Id; Val : Boolean := True) is
4728 pragma Assert (False
4729 or else NT (N).Nkind = N_Function_Call);
4731 end Set_In_Assertion_Expression;
4733 procedure Set_In_Present
4734 (N : Node_Id; Val : Boolean := True) is
4736 pragma Assert (False
4737 or else NT (N).Nkind = N_Formal_Object_Declaration
4738 or else NT (N).Nkind = N_Parameter_Specification);
4739 Set_Flag15 (N, Val);
4742 procedure Set_Includes_Infinities
4743 (N : Node_Id; Val : Boolean := True) is
4745 pragma Assert (False
4746 or else NT (N).Nkind = N_Range);
4747 Set_Flag11 (N, Val);
4748 end Set_Includes_Infinities;
4750 procedure Set_Inherited_Discriminant
4751 (N : Node_Id; Val : Boolean := True) is
4753 pragma Assert (False
4754 or else NT (N).Nkind = N_Component_Association);
4755 Set_Flag13 (N, Val);
4756 end Set_Inherited_Discriminant;
4758 procedure Set_Instance_Spec
4759 (N : Node_Id; Val : Node_Id) is
4761 pragma Assert (False
4762 or else NT (N).Nkind = N_Formal_Package_Declaration
4763 or else NT (N).Nkind = N_Function_Instantiation
4764 or else NT (N).Nkind = N_Package_Instantiation
4765 or else NT (N).Nkind = N_Procedure_Instantiation);
4766 Set_Node5 (N, Val); -- semantic field, no Parent set
4767 end Set_Instance_Spec;
4769 procedure Set_Intval
4770 (N : Node_Id; Val : Uint) is
4772 pragma Assert (False
4773 or else NT (N).Nkind = N_Integer_Literal);
4777 procedure Set_Is_Accessibility_Actual
4778 (N : Node_Id; Val : Boolean := True) is
4780 pragma Assert (False
4781 or else NT (N).Nkind = N_Parameter_Association);
4782 Set_Flag13 (N, Val);
4783 end Set_Is_Accessibility_Actual;
4785 procedure Set_Is_Asynchronous_Call_Block
4786 (N : Node_Id; Val : Boolean := True) is
4788 pragma Assert (False
4789 or else NT (N).Nkind = N_Block_Statement);
4791 end Set_Is_Asynchronous_Call_Block;
4793 procedure Set_Is_Boolean_Aspect
4794 (N : Node_Id; Val : Boolean := True) is
4796 pragma Assert (False
4797 or else NT (N).Nkind = N_Aspect_Specification);
4798 Set_Flag16 (N, Val);
4799 end Set_Is_Boolean_Aspect;
4801 procedure Set_Is_Component_Left_Opnd
4802 (N : Node_Id; Val : Boolean := True) is
4804 pragma Assert (False
4805 or else NT (N).Nkind = N_Op_Concat);
4806 Set_Flag13 (N, Val);
4807 end Set_Is_Component_Left_Opnd;
4809 procedure Set_Is_Component_Right_Opnd
4810 (N : Node_Id; Val : Boolean := True) is
4812 pragma Assert (False
4813 or else NT (N).Nkind = N_Op_Concat);
4814 Set_Flag14 (N, Val);
4815 end Set_Is_Component_Right_Opnd;
4817 procedure Set_Is_Controlling_Actual
4818 (N : Node_Id; Val : Boolean := True) is
4820 pragma Assert (False
4821 or else NT (N).Nkind in N_Subexpr);
4822 Set_Flag16 (N, Val);
4823 end Set_Is_Controlling_Actual;
4825 procedure Set_Is_Delayed_Aspect
4826 (N : Node_Id; Val : Boolean := True) is
4828 pragma Assert (False
4829 or else NT (N).Nkind = N_Aspect_Specification
4830 or else NT (N).Nkind = N_Attribute_Definition_Clause
4831 or else NT (N).Nkind = N_Pragma);
4832 Set_Flag14 (N, Val);
4833 end Set_Is_Delayed_Aspect;
4835 procedure Set_Is_Dynamic_Coextension
4836 (N : Node_Id; Val : Boolean := True) is
4838 pragma Assert (False
4839 or else NT (N).Nkind = N_Allocator);
4840 Set_Flag18 (N, Val);
4841 end Set_Is_Dynamic_Coextension;
4843 procedure Set_Is_Elsif
4844 (N : Node_Id; Val : Boolean := True) is
4846 pragma Assert (False
4847 or else NT (N).Nkind = N_If_Expression);
4848 Set_Flag13 (N, Val);
4851 procedure Set_Is_Entry_Barrier_Function
4852 (N : Node_Id; Val : Boolean := True) is
4854 pragma Assert (False
4855 or else NT (N).Nkind = N_Subprogram_Body);
4857 end Set_Is_Entry_Barrier_Function;
4859 procedure Set_Is_Expanded_Build_In_Place_Call
4860 (N : Node_Id; Val : Boolean := True) is
4862 pragma Assert (False
4863 or else NT (N).Nkind = N_Function_Call);
4864 Set_Flag11 (N, Val);
4865 end Set_Is_Expanded_Build_In_Place_Call;
4867 procedure Set_Is_Finalization_Wrapper
4868 (N : Node_Id; Val : Boolean := True) is
4870 pragma Assert (False
4871 or else NT (N).Nkind = N_Block_Statement);
4873 end Set_Is_Finalization_Wrapper;
4875 procedure Set_Is_Folded_In_Parser
4876 (N : Node_Id; Val : Boolean := True) is
4878 pragma Assert (False
4879 or else NT (N).Nkind = N_String_Literal);
4881 end Set_Is_Folded_In_Parser;
4883 procedure Set_Is_In_Discriminant_Check
4884 (N : Node_Id; Val : Boolean := True) is
4886 pragma Assert (False
4887 or else NT (N).Nkind = N_Selected_Component);
4888 Set_Flag11 (N, Val);
4889 end Set_Is_In_Discriminant_Check;
4891 procedure Set_Is_Machine_Number
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Real_Literal);
4896 Set_Flag11 (N, Val);
4897 end Set_Is_Machine_Number;
4899 procedure Set_Is_Null_Loop
4900 (N : Node_Id; Val : Boolean := True) is
4902 pragma Assert (False
4903 or else NT (N).Nkind = N_Loop_Statement);
4904 Set_Flag16 (N, Val);
4905 end Set_Is_Null_Loop;
4907 procedure Set_Is_Overloaded
4908 (N : Node_Id; Val : Boolean := True) is
4910 pragma Assert (False
4911 or else NT (N).Nkind in N_Subexpr);
4913 end Set_Is_Overloaded;
4915 procedure Set_Is_Power_Of_2_For_Shift
4916 (N : Node_Id; Val : Boolean := True) is
4918 pragma Assert (False
4919 or else NT (N).Nkind = N_Op_Expon);
4920 Set_Flag13 (N, Val);
4921 end Set_Is_Power_Of_2_For_Shift;
4923 procedure Set_Is_Prefixed_Call
4924 (N : Node_Id; Val : Boolean := True) is
4926 pragma Assert (False
4927 or else NT (N).Nkind = N_Selected_Component);
4928 Set_Flag17 (N, Val);
4929 end Set_Is_Prefixed_Call;
4931 procedure Set_Is_Protected_Subprogram_Body
4932 (N : Node_Id; Val : Boolean := True) is
4934 pragma Assert (False
4935 or else NT (N).Nkind = N_Subprogram_Body);
4937 end Set_Is_Protected_Subprogram_Body;
4939 procedure Set_Is_Static_Coextension
4940 (N : Node_Id; Val : Boolean := True) is
4942 pragma Assert (False
4943 or else NT (N).Nkind = N_Allocator);
4944 Set_Flag14 (N, Val);
4945 end Set_Is_Static_Coextension;
4947 procedure Set_Is_Static_Expression
4948 (N : Node_Id; Val : Boolean := True) is
4950 pragma Assert (False
4951 or else NT (N).Nkind in N_Subexpr);
4953 end Set_Is_Static_Expression;
4955 procedure Set_Is_Subprogram_Descriptor
4956 (N : Node_Id; Val : Boolean := True) is
4958 pragma Assert (False
4959 or else NT (N).Nkind = N_Object_Declaration);
4960 Set_Flag16 (N, Val);
4961 end Set_Is_Subprogram_Descriptor;
4963 procedure Set_Is_Task_Allocation_Block
4964 (N : Node_Id; Val : Boolean := True) is
4966 pragma Assert (False
4967 or else NT (N).Nkind = N_Block_Statement);
4969 end Set_Is_Task_Allocation_Block;
4971 procedure Set_Is_Task_Master
4972 (N : Node_Id; Val : Boolean := True) is
4974 pragma Assert (False
4975 or else NT (N).Nkind = N_Block_Statement
4976 or else NT (N).Nkind = N_Subprogram_Body
4977 or else NT (N).Nkind = N_Task_Body);
4979 end Set_Is_Task_Master;
4981 procedure Set_Iteration_Scheme
4982 (N : Node_Id; Val : Node_Id) is
4984 pragma Assert (False
4985 or else NT (N).Nkind = N_Loop_Statement);
4986 Set_Node2_With_Parent (N, Val);
4987 end Set_Iteration_Scheme;
4989 procedure Set_Iterator_Specification
4990 (N : Node_Id; Val : Node_Id) is
4992 pragma Assert (False
4993 or else NT (N).Nkind = N_Iteration_Scheme
4994 or else NT (N).Nkind = N_Quantified_Expression);
4995 Set_Node2_With_Parent (N, Val);
4996 end Set_Iterator_Specification;
4999 (N : Node_Id; Val : Entity_Id) is
5001 pragma Assert (False
5002 or else NT (N).Nkind = N_Itype_Reference);
5003 Set_Node1 (N, Val); -- no parent, semantic field
5006 procedure Set_Kill_Range_Check
5007 (N : Node_Id; Val : Boolean := True) is
5009 pragma Assert (False
5010 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5011 Set_Flag11 (N, Val);
5012 end Set_Kill_Range_Check;
5014 procedure Set_Label_Construct
5015 (N : Node_Id; Val : Node_Id) is
5017 pragma Assert (False
5018 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5019 Set_Node2 (N, Val); -- semantic field, no parent set
5020 end Set_Label_Construct;
5022 procedure Set_Last_Bit
5023 (N : Node_Id; Val : Node_Id) is
5025 pragma Assert (False
5026 or else NT (N).Nkind = N_Component_Clause);
5027 Set_Node4_With_Parent (N, Val);
5030 procedure Set_Last_Name
5031 (N : Node_Id; Val : Boolean := True) is
5033 pragma Assert (False
5034 or else NT (N).Nkind = N_With_Clause);
5038 procedure Set_Left_Opnd
5039 (N : Node_Id; Val : Node_Id) is
5041 pragma Assert (False
5042 or else NT (N).Nkind = N_And_Then
5043 or else NT (N).Nkind = N_In
5044 or else NT (N).Nkind = N_Not_In
5045 or else NT (N).Nkind = N_Or_Else
5046 or else NT (N).Nkind in N_Binary_Op);
5047 Set_Node2_With_Parent (N, Val);
5050 procedure Set_Library_Unit
5051 (N : Node_Id; Val : Node_Id) is
5053 pragma Assert (False
5054 or else NT (N).Nkind = N_Compilation_Unit
5055 or else NT (N).Nkind = N_Package_Body_Stub
5056 or else NT (N).Nkind = N_Protected_Body_Stub
5057 or else NT (N).Nkind = N_Subprogram_Body_Stub
5058 or else NT (N).Nkind = N_Task_Body_Stub
5059 or else NT (N).Nkind = N_With_Clause);
5060 Set_Node4 (N, Val); -- semantic field, no parent set
5061 end Set_Library_Unit;
5063 procedure Set_Limited_View_Installed
5064 (N : Node_Id; Val : Boolean := True) is
5066 pragma Assert (False
5067 or else NT (N).Nkind = N_Package_Specification
5068 or else NT (N).Nkind = N_With_Clause);
5069 Set_Flag18 (N, Val);
5070 end Set_Limited_View_Installed;
5072 procedure Set_Limited_Present
5073 (N : Node_Id; Val : Boolean := True) is
5075 pragma Assert (False
5076 or else NT (N).Nkind = N_Derived_Type_Definition
5077 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5078 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5079 or else NT (N).Nkind = N_Private_Extension_Declaration
5080 or else NT (N).Nkind = N_Private_Type_Declaration
5081 or else NT (N).Nkind = N_Record_Definition
5082 or else NT (N).Nkind = N_With_Clause);
5083 Set_Flag17 (N, Val);
5084 end Set_Limited_Present;
5086 procedure Set_Literals
5087 (N : Node_Id; Val : List_Id) is
5089 pragma Assert (False
5090 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5091 Set_List1_With_Parent (N, Val);
5094 procedure Set_Local_Raise_Not_OK
5095 (N : Node_Id; Val : Boolean := True) is
5097 pragma Assert (False
5098 or else NT (N).Nkind = N_Exception_Handler);
5100 end Set_Local_Raise_Not_OK;
5102 procedure Set_Local_Raise_Statements
5103 (N : Node_Id; Val : Elist_Id) is
5105 pragma Assert (False
5106 or else NT (N).Nkind = N_Exception_Handler);
5107 Set_Elist1 (N, Val);
5108 end Set_Local_Raise_Statements;
5110 procedure Set_Loop_Actions
5111 (N : Node_Id; Val : List_Id) is
5113 pragma Assert (False
5114 or else NT (N).Nkind = N_Component_Association);
5115 Set_List2 (N, Val); -- semantic field, no parent set
5116 end Set_Loop_Actions;
5118 procedure Set_Loop_Parameter_Specification
5119 (N : Node_Id; Val : Node_Id) is
5121 pragma Assert (False
5122 or else NT (N).Nkind = N_Iteration_Scheme
5123 or else NT (N).Nkind = N_Quantified_Expression);
5124 Set_Node4_With_Parent (N, Val);
5125 end Set_Loop_Parameter_Specification;
5127 procedure Set_Low_Bound
5128 (N : Node_Id; Val : Node_Id) is
5130 pragma Assert (False
5131 or else NT (N).Nkind = N_Range
5132 or else NT (N).Nkind = N_Real_Range_Specification
5133 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5134 Set_Node1_With_Parent (N, Val);
5137 procedure Set_Mod_Clause
5138 (N : Node_Id; Val : Node_Id) is
5140 pragma Assert (False
5141 or else NT (N).Nkind = N_Record_Representation_Clause);
5142 Set_Node2_With_Parent (N, Val);
5145 procedure Set_More_Ids
5146 (N : Node_Id; Val : Boolean := True) is
5148 pragma Assert (False
5149 or else NT (N).Nkind = N_Component_Declaration
5150 or else NT (N).Nkind = N_Discriminant_Specification
5151 or else NT (N).Nkind = N_Exception_Declaration
5152 or else NT (N).Nkind = N_Formal_Object_Declaration
5153 or else NT (N).Nkind = N_Number_Declaration
5154 or else NT (N).Nkind = N_Object_Declaration
5155 or else NT (N).Nkind = N_Parameter_Specification);
5159 procedure Set_Must_Be_Byte_Aligned
5160 (N : Node_Id; Val : Boolean := True) is
5162 pragma Assert (False
5163 or else NT (N).Nkind = N_Attribute_Reference);
5164 Set_Flag14 (N, Val);
5165 end Set_Must_Be_Byte_Aligned;
5167 procedure Set_Must_Not_Freeze
5168 (N : Node_Id; Val : Boolean := True) is
5170 pragma Assert (False
5171 or else NT (N).Nkind = N_Subtype_Indication
5172 or else NT (N).Nkind in N_Subexpr);
5174 end Set_Must_Not_Freeze;
5176 procedure Set_Must_Not_Override
5177 (N : Node_Id; Val : Boolean := True) is
5179 pragma Assert (False
5180 or else NT (N).Nkind = N_Entry_Declaration
5181 or else NT (N).Nkind = N_Function_Instantiation
5182 or else NT (N).Nkind = N_Function_Specification
5183 or else NT (N).Nkind = N_Procedure_Instantiation
5184 or else NT (N).Nkind = N_Procedure_Specification);
5185 Set_Flag15 (N, Val);
5186 end Set_Must_Not_Override;
5188 procedure Set_Must_Override
5189 (N : Node_Id; Val : Boolean := True) is
5191 pragma Assert (False
5192 or else NT (N).Nkind = N_Entry_Declaration
5193 or else NT (N).Nkind = N_Function_Instantiation
5194 or else NT (N).Nkind = N_Function_Specification
5195 or else NT (N).Nkind = N_Procedure_Instantiation
5196 or else NT (N).Nkind = N_Procedure_Specification);
5197 Set_Flag14 (N, Val);
5198 end Set_Must_Override;
5201 (N : Node_Id; Val : Node_Id) is
5203 pragma Assert (False
5204 or else NT (N).Nkind = N_Assignment_Statement
5205 or else NT (N).Nkind = N_Attribute_Definition_Clause
5206 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5207 or else NT (N).Nkind = N_Designator
5208 or else NT (N).Nkind = N_Entry_Call_Statement
5209 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5210 or else NT (N).Nkind = N_Exit_Statement
5211 or else NT (N).Nkind = N_Formal_Package_Declaration
5212 or else NT (N).Nkind = N_Function_Call
5213 or else NT (N).Nkind = N_Function_Instantiation
5214 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5215 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5216 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5217 or else NT (N).Nkind = N_Goto_Statement
5218 or else NT (N).Nkind = N_Iterator_Specification
5219 or else NT (N).Nkind = N_Object_Renaming_Declaration
5220 or else NT (N).Nkind = N_Package_Instantiation
5221 or else NT (N).Nkind = N_Package_Renaming_Declaration
5222 or else NT (N).Nkind = N_Procedure_Call_Statement
5223 or else NT (N).Nkind = N_Procedure_Instantiation
5224 or else NT (N).Nkind = N_Raise_Expression
5225 or else NT (N).Nkind = N_Raise_Statement
5226 or else NT (N).Nkind = N_Requeue_Statement
5227 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5228 or else NT (N).Nkind = N_Subunit
5229 or else NT (N).Nkind = N_Variant_Part
5230 or else NT (N).Nkind = N_With_Clause);
5231 Set_Node2_With_Parent (N, Val);
5235 (N : Node_Id; Val : List_Id) is
5237 pragma Assert (False
5238 or else NT (N).Nkind = N_Abort_Statement
5239 or else NT (N).Nkind = N_Use_Package_Clause);
5240 Set_List2_With_Parent (N, Val);
5243 procedure Set_Next_Entity
5244 (N : Node_Id; Val : Node_Id) is
5246 pragma Assert (False
5247 or else NT (N).Nkind = N_Defining_Character_Literal
5248 or else NT (N).Nkind = N_Defining_Identifier
5249 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5250 Set_Node2 (N, Val); -- semantic field, no parent set
5251 end Set_Next_Entity;
5253 procedure Set_Next_Exit_Statement
5254 (N : Node_Id; Val : Node_Id) is
5256 pragma Assert (False
5257 or else NT (N).Nkind = N_Exit_Statement);
5258 Set_Node3 (N, Val); -- semantic field, no parent set
5259 end Set_Next_Exit_Statement;
5261 procedure Set_Next_Implicit_With
5262 (N : Node_Id; Val : Node_Id) is
5264 pragma Assert (False
5265 or else NT (N).Nkind = N_With_Clause);
5266 Set_Node3 (N, Val); -- semantic field, no parent set
5267 end Set_Next_Implicit_With;
5269 procedure Set_Next_Named_Actual
5270 (N : Node_Id; Val : Node_Id) is
5272 pragma Assert (False
5273 or else NT (N).Nkind = N_Parameter_Association);
5274 Set_Node4 (N, Val); -- semantic field, no parent set
5275 end Set_Next_Named_Actual;
5277 procedure Set_Next_Pragma
5278 (N : Node_Id; Val : Node_Id) is
5280 pragma Assert (False
5281 or else NT (N).Nkind = N_Pragma);
5282 Set_Node1 (N, Val); -- semantic field, no parent set
5283 end Set_Next_Pragma;
5285 procedure Set_Next_Rep_Item
5286 (N : Node_Id; Val : Node_Id) is
5288 pragma Assert (False
5289 or else NT (N).Nkind = N_Aspect_Specification
5290 or else NT (N).Nkind = N_Attribute_Definition_Clause
5291 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5292 or else NT (N).Nkind = N_Pragma
5293 or else NT (N).Nkind = N_Record_Representation_Clause);
5294 Set_Node5 (N, Val); -- semantic field, no parent set
5295 end Set_Next_Rep_Item;
5297 procedure Set_Next_Use_Clause
5298 (N : Node_Id; Val : Node_Id) is
5300 pragma Assert (False
5301 or else NT (N).Nkind = N_Use_Package_Clause
5302 or else NT (N).Nkind = N_Use_Type_Clause);
5303 Set_Node3 (N, Val); -- semantic field, no parent set
5304 end Set_Next_Use_Clause;
5306 procedure Set_No_Ctrl_Actions
5307 (N : Node_Id; Val : Boolean := True) is
5309 pragma Assert (False
5310 or else NT (N).Nkind = N_Assignment_Statement);
5312 end Set_No_Ctrl_Actions;
5314 procedure Set_No_Elaboration_Check
5315 (N : Node_Id; Val : Boolean := True) is
5317 pragma Assert (False
5318 or else NT (N).Nkind = N_Function_Call
5319 or else NT (N).Nkind = N_Procedure_Call_Statement);
5320 Set_Flag14 (N, Val);
5321 end Set_No_Elaboration_Check;
5323 procedure Set_No_Entities_Ref_In_Spec
5324 (N : Node_Id; Val : Boolean := True) is
5326 pragma Assert (False
5327 or else NT (N).Nkind = N_With_Clause);
5329 end Set_No_Entities_Ref_In_Spec;
5331 procedure Set_No_Initialization
5332 (N : Node_Id; Val : Boolean := True) is
5334 pragma Assert (False
5335 or else NT (N).Nkind = N_Allocator
5336 or else NT (N).Nkind = N_Object_Declaration);
5337 Set_Flag13 (N, Val);
5338 end Set_No_Initialization;
5340 procedure Set_No_Minimize_Eliminate
5341 (N : Node_Id; Val : Boolean := True) is
5343 pragma Assert (False
5344 or else NT (N).Nkind = N_In
5345 or else NT (N).Nkind = N_Not_In);
5346 Set_Flag17 (N, Val);
5347 end Set_No_Minimize_Eliminate;
5349 procedure Set_No_Truncation
5350 (N : Node_Id; Val : Boolean := True) is
5352 pragma Assert (False
5353 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5354 Set_Flag17 (N, Val);
5355 end Set_No_Truncation;
5357 procedure Set_Null_Present
5358 (N : Node_Id; Val : Boolean := True) is
5360 pragma Assert (False
5361 or else NT (N).Nkind = N_Component_List
5362 or else NT (N).Nkind = N_Procedure_Specification
5363 or else NT (N).Nkind = N_Record_Definition);
5364 Set_Flag13 (N, Val);
5365 end Set_Null_Present;
5367 procedure Set_Null_Exclusion_Present
5368 (N : Node_Id; Val : Boolean := True) is
5370 pragma Assert (False
5371 or else NT (N).Nkind = N_Access_Definition
5372 or else NT (N).Nkind = N_Access_Function_Definition
5373 or else NT (N).Nkind = N_Access_Procedure_Definition
5374 or else NT (N).Nkind = N_Access_To_Object_Definition
5375 or else NT (N).Nkind = N_Allocator
5376 or else NT (N).Nkind = N_Component_Definition
5377 or else NT (N).Nkind = N_Derived_Type_Definition
5378 or else NT (N).Nkind = N_Discriminant_Specification
5379 or else NT (N).Nkind = N_Formal_Object_Declaration
5380 or else NT (N).Nkind = N_Function_Specification
5381 or else NT (N).Nkind = N_Object_Declaration
5382 or else NT (N).Nkind = N_Object_Renaming_Declaration
5383 or else NT (N).Nkind = N_Parameter_Specification
5384 or else NT (N).Nkind = N_Subtype_Declaration);
5385 Set_Flag11 (N, Val);
5386 end Set_Null_Exclusion_Present;
5388 procedure Set_Null_Exclusion_In_Return_Present
5389 (N : Node_Id; Val : Boolean := True) is
5391 pragma Assert (False
5392 or else NT (N).Nkind = N_Access_Function_Definition);
5393 Set_Flag14 (N, Val);
5394 end Set_Null_Exclusion_In_Return_Present;
5396 procedure Set_Null_Record_Present
5397 (N : Node_Id; Val : Boolean := True) is
5399 pragma Assert (False
5400 or else NT (N).Nkind = N_Aggregate
5401 or else NT (N).Nkind = N_Extension_Aggregate);
5402 Set_Flag17 (N, Val);
5403 end Set_Null_Record_Present;
5405 procedure Set_Object_Definition
5406 (N : Node_Id; Val : Node_Id) is
5408 pragma Assert (False
5409 or else NT (N).Nkind = N_Object_Declaration);
5410 Set_Node4_With_Parent (N, Val);
5411 end Set_Object_Definition;
5413 procedure Set_Of_Present
5414 (N : Node_Id; Val : Boolean := True) is
5416 pragma Assert (False
5417 or else NT (N).Nkind = N_Iterator_Specification);
5418 Set_Flag16 (N, Val);
5421 procedure Set_Original_Discriminant
5422 (N : Node_Id; Val : Node_Id) is
5424 pragma Assert (False
5425 or else NT (N).Nkind = N_Identifier);
5426 Set_Node2 (N, Val); -- semantic field, no parent set
5427 end Set_Original_Discriminant;
5429 procedure Set_Original_Entity
5430 (N : Node_Id; Val : Entity_Id) is
5432 pragma Assert (False
5433 or else NT (N).Nkind = N_Integer_Literal
5434 or else NT (N).Nkind = N_Real_Literal);
5435 Set_Node2 (N, Val); -- semantic field, no parent set
5436 end Set_Original_Entity;
5438 procedure Set_Others_Discrete_Choices
5439 (N : Node_Id; Val : List_Id) is
5441 pragma Assert (False
5442 or else NT (N).Nkind = N_Others_Choice);
5443 Set_List1_With_Parent (N, Val);
5444 end Set_Others_Discrete_Choices;
5446 procedure Set_Out_Present
5447 (N : Node_Id; Val : Boolean := True) is
5449 pragma Assert (False
5450 or else NT (N).Nkind = N_Formal_Object_Declaration
5451 or else NT (N).Nkind = N_Parameter_Specification);
5452 Set_Flag17 (N, Val);
5453 end Set_Out_Present;
5455 procedure Set_Parameter_Associations
5456 (N : Node_Id; Val : List_Id) is
5458 pragma Assert (False
5459 or else NT (N).Nkind = N_Entry_Call_Statement
5460 or else NT (N).Nkind = N_Function_Call
5461 or else NT (N).Nkind = N_Procedure_Call_Statement);
5462 Set_List3_With_Parent (N, Val);
5463 end Set_Parameter_Associations;
5465 procedure Set_Parameter_List_Truncated
5466 (N : Node_Id; Val : Boolean := True) is
5468 pragma Assert (False
5469 or else NT (N).Nkind = N_Function_Call
5470 or else NT (N).Nkind = N_Procedure_Call_Statement);
5471 Set_Flag17 (N, Val);
5472 end Set_Parameter_List_Truncated;
5474 procedure Set_Parameter_Specifications
5475 (N : Node_Id; Val : List_Id) is
5477 pragma Assert (False
5478 or else NT (N).Nkind = N_Accept_Statement
5479 or else NT (N).Nkind = N_Access_Function_Definition
5480 or else NT (N).Nkind = N_Access_Procedure_Definition
5481 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5482 or else NT (N).Nkind = N_Entry_Declaration
5483 or else NT (N).Nkind = N_Function_Specification
5484 or else NT (N).Nkind = N_Procedure_Specification);
5485 Set_List3_With_Parent (N, Val);
5486 end Set_Parameter_Specifications;
5488 procedure Set_Parameter_Type
5489 (N : Node_Id; Val : Node_Id) is
5491 pragma Assert (False
5492 or else NT (N).Nkind = N_Parameter_Specification);
5493 Set_Node2_With_Parent (N, Val);
5494 end Set_Parameter_Type;
5496 procedure Set_Parent_Spec
5497 (N : Node_Id; Val : Node_Id) is
5499 pragma Assert (False
5500 or else NT (N).Nkind = N_Function_Instantiation
5501 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5502 or else NT (N).Nkind = N_Generic_Package_Declaration
5503 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5504 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5505 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5506 or else NT (N).Nkind = N_Package_Declaration
5507 or else NT (N).Nkind = N_Package_Instantiation
5508 or else NT (N).Nkind = N_Package_Renaming_Declaration
5509 or else NT (N).Nkind = N_Procedure_Instantiation
5510 or else NT (N).Nkind = N_Subprogram_Declaration
5511 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5512 Set_Node4 (N, Val); -- semantic field, no parent set
5513 end Set_Parent_Spec;
5515 procedure Set_Position
5516 (N : Node_Id; Val : Node_Id) is
5518 pragma Assert (False
5519 or else NT (N).Nkind = N_Component_Clause);
5520 Set_Node2_With_Parent (N, Val);
5523 procedure Set_Pragma_Argument_Associations
5524 (N : Node_Id; Val : List_Id) is
5526 pragma Assert (False
5527 or else NT (N).Nkind = N_Pragma);
5528 Set_List2_With_Parent (N, Val);
5529 end Set_Pragma_Argument_Associations;
5531 procedure Set_Pragma_Identifier
5532 (N : Node_Id; Val : Node_Id) is
5534 pragma Assert (False
5535 or else NT (N).Nkind = N_Pragma);
5536 Set_Node4_With_Parent (N, Val);
5537 end Set_Pragma_Identifier;
5539 procedure Set_Pragmas_After
5540 (N : Node_Id; Val : List_Id) is
5542 pragma Assert (False
5543 or else NT (N).Nkind = N_Compilation_Unit_Aux
5544 or else NT (N).Nkind = N_Terminate_Alternative);
5545 Set_List5_With_Parent (N, Val);
5546 end Set_Pragmas_After;
5548 procedure Set_Pragmas_Before
5549 (N : Node_Id; Val : List_Id) is
5551 pragma Assert (False
5552 or else NT (N).Nkind = N_Accept_Alternative
5553 or else NT (N).Nkind = N_Delay_Alternative
5554 or else NT (N).Nkind = N_Entry_Call_Alternative
5555 or else NT (N).Nkind = N_Mod_Clause
5556 or else NT (N).Nkind = N_Terminate_Alternative
5557 or else NT (N).Nkind = N_Triggering_Alternative);
5558 Set_List4_With_Parent (N, Val);
5559 end Set_Pragmas_Before;
5561 procedure Set_Prefix
5562 (N : Node_Id; Val : Node_Id) is
5564 pragma Assert (False
5565 or else NT (N).Nkind = N_Attribute_Reference
5566 or else NT (N).Nkind = N_Expanded_Name
5567 or else NT (N).Nkind = N_Explicit_Dereference
5568 or else NT (N).Nkind = N_Indexed_Component
5569 or else NT (N).Nkind = N_Reference
5570 or else NT (N).Nkind = N_Selected_Component
5571 or else NT (N).Nkind = N_Slice);
5572 Set_Node3_With_Parent (N, Val);
5575 procedure Set_Premature_Use
5576 (N : Node_Id; Val : Node_Id) is
5578 pragma Assert (False
5579 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5581 end Set_Premature_Use;
5583 procedure Set_Present_Expr
5584 (N : Node_Id; Val : Uint) is
5586 pragma Assert (False
5587 or else NT (N).Nkind = N_Variant);
5589 end Set_Present_Expr;
5591 procedure Set_Prev_Ids
5592 (N : Node_Id; Val : Boolean := True) is
5594 pragma Assert (False
5595 or else NT (N).Nkind = N_Component_Declaration
5596 or else NT (N).Nkind = N_Discriminant_Specification
5597 or else NT (N).Nkind = N_Exception_Declaration
5598 or else NT (N).Nkind = N_Formal_Object_Declaration
5599 or else NT (N).Nkind = N_Number_Declaration
5600 or else NT (N).Nkind = N_Object_Declaration
5601 or else NT (N).Nkind = N_Parameter_Specification);
5605 procedure Set_Print_In_Hex
5606 (N : Node_Id; Val : Boolean := True) is
5608 pragma Assert (False
5609 or else NT (N).Nkind = N_Integer_Literal);
5610 Set_Flag13 (N, Val);
5611 end Set_Print_In_Hex;
5613 procedure Set_Private_Declarations
5614 (N : Node_Id; Val : List_Id) is
5616 pragma Assert (False
5617 or else NT (N).Nkind = N_Package_Specification
5618 or else NT (N).Nkind = N_Protected_Definition
5619 or else NT (N).Nkind = N_Task_Definition);
5620 Set_List3_With_Parent (N, Val);
5621 end Set_Private_Declarations;
5623 procedure Set_Private_Present
5624 (N : Node_Id; Val : Boolean := True) is
5626 pragma Assert (False
5627 or else NT (N).Nkind = N_Compilation_Unit
5628 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5629 or else NT (N).Nkind = N_With_Clause);
5630 Set_Flag15 (N, Val);
5631 end Set_Private_Present;
5633 procedure Set_Procedure_To_Call
5634 (N : Node_Id; Val : Node_Id) is
5636 pragma Assert (False
5637 or else NT (N).Nkind = N_Allocator
5638 or else NT (N).Nkind = N_Extended_Return_Statement
5639 or else NT (N).Nkind = N_Free_Statement
5640 or else NT (N).Nkind = N_Simple_Return_Statement);
5641 Set_Node2 (N, Val); -- semantic field, no parent set
5642 end Set_Procedure_To_Call;
5644 procedure Set_Proper_Body
5645 (N : Node_Id; Val : Node_Id) is
5647 pragma Assert (False
5648 or else NT (N).Nkind = N_Subunit);
5649 Set_Node1_With_Parent (N, Val);
5650 end Set_Proper_Body;
5652 procedure Set_Protected_Definition
5653 (N : Node_Id; Val : Node_Id) is
5655 pragma Assert (False
5656 or else NT (N).Nkind = N_Protected_Type_Declaration
5657 or else NT (N).Nkind = N_Single_Protected_Declaration);
5658 Set_Node3_With_Parent (N, Val);
5659 end Set_Protected_Definition;
5661 procedure Set_Protected_Present
5662 (N : Node_Id; Val : Boolean := True) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Access_Function_Definition
5666 or else NT (N).Nkind = N_Access_Procedure_Definition
5667 or else NT (N).Nkind = N_Derived_Type_Definition
5668 or else NT (N).Nkind = N_Record_Definition);
5670 end Set_Protected_Present;
5672 procedure Set_Raises_Constraint_Error
5673 (N : Node_Id; Val : Boolean := True) is
5675 pragma Assert (False
5676 or else NT (N).Nkind in N_Subexpr);
5678 end Set_Raises_Constraint_Error;
5680 procedure Set_Range_Constraint
5681 (N : Node_Id; Val : Node_Id) is
5683 pragma Assert (False
5684 or else NT (N).Nkind = N_Delta_Constraint
5685 or else NT (N).Nkind = N_Digits_Constraint);
5686 Set_Node4_With_Parent (N, Val);
5687 end Set_Range_Constraint;
5689 procedure Set_Range_Expression
5690 (N : Node_Id; Val : Node_Id) is
5692 pragma Assert (False
5693 or else NT (N).Nkind = N_Range_Constraint);
5694 Set_Node4_With_Parent (N, Val);
5695 end Set_Range_Expression;
5697 procedure Set_Real_Range_Specification
5698 (N : Node_Id; Val : Node_Id) is
5700 pragma Assert (False
5701 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5702 or else NT (N).Nkind = N_Floating_Point_Definition
5703 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5704 Set_Node4_With_Parent (N, Val);
5705 end Set_Real_Range_Specification;
5707 procedure Set_Realval
5708 (N : Node_Id; Val : Ureal) is
5710 pragma Assert (False
5711 or else NT (N).Nkind = N_Real_Literal);
5712 Set_Ureal3 (N, Val);
5715 procedure Set_Reason
5716 (N : Node_Id; Val : Uint) is
5718 pragma Assert (False
5719 or else NT (N).Nkind = N_Raise_Constraint_Error
5720 or else NT (N).Nkind = N_Raise_Program_Error
5721 or else NT (N).Nkind = N_Raise_Storage_Error);
5725 procedure Set_Record_Extension_Part
5726 (N : Node_Id; Val : Node_Id) is
5728 pragma Assert (False
5729 or else NT (N).Nkind = N_Derived_Type_Definition);
5730 Set_Node3_With_Parent (N, Val);
5731 end Set_Record_Extension_Part;
5733 procedure Set_Redundant_Use
5734 (N : Node_Id; Val : Boolean := True) is
5736 pragma Assert (False
5737 or else NT (N).Nkind = N_Attribute_Reference
5738 or else NT (N).Nkind = N_Expanded_Name
5739 or else NT (N).Nkind = N_Identifier);
5740 Set_Flag13 (N, Val);
5741 end Set_Redundant_Use;
5743 procedure Set_Renaming_Exception
5744 (N : Node_Id; Val : Node_Id) is
5746 pragma Assert (False
5747 or else NT (N).Nkind = N_Exception_Declaration);
5749 end Set_Renaming_Exception;
5751 procedure Set_Result_Definition
5752 (N : Node_Id; Val : Node_Id) is
5754 pragma Assert (False
5755 or else NT (N).Nkind = N_Access_Function_Definition
5756 or else NT (N).Nkind = N_Function_Specification);
5757 Set_Node4_With_Parent (N, Val);
5758 end Set_Result_Definition;
5760 procedure Set_Return_Object_Declarations
5761 (N : Node_Id; Val : List_Id) is
5763 pragma Assert (False
5764 or else NT (N).Nkind = N_Extended_Return_Statement);
5765 Set_List3_With_Parent (N, Val);
5766 end Set_Return_Object_Declarations;
5768 procedure Set_Return_Statement_Entity
5769 (N : Node_Id; Val : Node_Id) is
5771 pragma Assert (False
5772 or else NT (N).Nkind = N_Extended_Return_Statement
5773 or else NT (N).Nkind = N_Simple_Return_Statement);
5774 Set_Node5 (N, Val); -- semantic field, no parent set
5775 end Set_Return_Statement_Entity;
5777 procedure Set_Reverse_Present
5778 (N : Node_Id; Val : Boolean := True) is
5780 pragma Assert (False
5781 or else NT (N).Nkind = N_Iterator_Specification
5782 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5783 Set_Flag15 (N, Val);
5784 end Set_Reverse_Present;
5786 procedure Set_Right_Opnd
5787 (N : Node_Id; Val : Node_Id) is
5789 pragma Assert (False
5790 or else NT (N).Nkind in N_Op
5791 or else NT (N).Nkind = N_And_Then
5792 or else NT (N).Nkind = N_In
5793 or else NT (N).Nkind = N_Not_In
5794 or else NT (N).Nkind = N_Or_Else);
5795 Set_Node3_With_Parent (N, Val);
5798 procedure Set_Rounded_Result
5799 (N : Node_Id; Val : Boolean := True) is
5801 pragma Assert (False
5802 or else NT (N).Nkind = N_Op_Divide
5803 or else NT (N).Nkind = N_Op_Multiply
5804 or else NT (N).Nkind = N_Type_Conversion);
5805 Set_Flag18 (N, Val);
5806 end Set_Rounded_Result;
5808 procedure Set_SCIL_Controlling_Tag
5809 (N : Node_Id; Val : Node_Id) is
5811 pragma Assert (False
5812 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5813 Set_Node5 (N, Val); -- semantic field, no parent set
5814 end Set_SCIL_Controlling_Tag;
5816 procedure Set_SCIL_Entity
5817 (N : Node_Id; Val : Node_Id) is
5819 pragma Assert (False
5820 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5821 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5822 or else NT (N).Nkind = N_SCIL_Membership_Test);
5823 Set_Node4 (N, Val); -- semantic field, no parent set
5824 end Set_SCIL_Entity;
5826 procedure Set_SCIL_Tag_Value
5827 (N : Node_Id; Val : Node_Id) is
5829 pragma Assert (False
5830 or else NT (N).Nkind = N_SCIL_Membership_Test);
5831 Set_Node5 (N, Val); -- semantic field, no parent set
5832 end Set_SCIL_Tag_Value;
5834 procedure Set_SCIL_Target_Prim
5835 (N : Node_Id; Val : Node_Id) is
5837 pragma Assert (False
5838 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5839 Set_Node2 (N, Val); -- semantic field, no parent set
5840 end Set_SCIL_Target_Prim;
5843 (N : Node_Id; Val : Node_Id) is
5845 pragma Assert (False
5846 or else NT (N).Nkind = N_Defining_Character_Literal
5847 or else NT (N).Nkind = N_Defining_Identifier
5848 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5849 Set_Node3 (N, Val); -- semantic field, no parent set
5852 procedure Set_Select_Alternatives
5853 (N : Node_Id; Val : List_Id) is
5855 pragma Assert (False
5856 or else NT (N).Nkind = N_Selective_Accept);
5857 Set_List1_With_Parent (N, Val);
5858 end Set_Select_Alternatives;
5860 procedure Set_Selector_Name
5861 (N : Node_Id; Val : Node_Id) is
5863 pragma Assert (False
5864 or else NT (N).Nkind = N_Expanded_Name
5865 or else NT (N).Nkind = N_Generic_Association
5866 or else NT (N).Nkind = N_Parameter_Association
5867 or else NT (N).Nkind = N_Selected_Component);
5868 Set_Node2_With_Parent (N, Val);
5869 end Set_Selector_Name;
5871 procedure Set_Selector_Names
5872 (N : Node_Id; Val : List_Id) is
5874 pragma Assert (False
5875 or else NT (N).Nkind = N_Discriminant_Association);
5876 Set_List1_With_Parent (N, Val);
5877 end Set_Selector_Names;
5879 procedure Set_Shift_Count_OK
5880 (N : Node_Id; Val : Boolean := True) is
5882 pragma Assert (False
5883 or else NT (N).Nkind = N_Op_Rotate_Left
5884 or else NT (N).Nkind = N_Op_Rotate_Right
5885 or else NT (N).Nkind = N_Op_Shift_Left
5886 or else NT (N).Nkind = N_Op_Shift_Right
5887 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5889 end Set_Shift_Count_OK;
5891 procedure Set_Source_Type
5892 (N : Node_Id; Val : Entity_Id) is
5894 pragma Assert (False
5895 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5896 Set_Node1 (N, Val); -- semantic field, no parent set
5897 end Set_Source_Type;
5899 procedure Set_Spec_PPC_List
5900 (N : Node_Id; Val : Node_Id) is
5902 pragma Assert (False
5903 or else NT (N).Nkind = N_Contract);
5904 Set_Node1 (N, Val); -- semantic field, no parent set
5905 end Set_Spec_PPC_List;
5907 procedure Set_Spec_CTC_List
5908 (N : Node_Id; Val : Node_Id) is
5910 pragma Assert (False
5911 or else NT (N).Nkind = N_Contract);
5912 Set_Node2 (N, Val); -- semantic field, no parent set
5913 end Set_Spec_CTC_List;
5915 procedure Set_Specification
5916 (N : Node_Id; Val : Node_Id) is
5918 pragma Assert (False
5919 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5920 or else NT (N).Nkind = N_Expression_Function
5921 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5922 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5923 or else NT (N).Nkind = N_Generic_Package_Declaration
5924 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5925 or else NT (N).Nkind = N_Package_Declaration
5926 or else NT (N).Nkind = N_Subprogram_Body
5927 or else NT (N).Nkind = N_Subprogram_Body_Stub
5928 or else NT (N).Nkind = N_Subprogram_Declaration
5929 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5930 Set_Node1_With_Parent (N, Val);
5931 end Set_Specification;
5933 procedure Set_Split_PPC
5934 (N : Node_Id; Val : Boolean) is
5936 pragma Assert (False
5937 or else NT (N).Nkind = N_Aspect_Specification
5938 or else NT (N).Nkind = N_Pragma);
5939 Set_Flag17 (N, Val);
5942 procedure Set_Statements
5943 (N : Node_Id; Val : List_Id) is
5945 pragma Assert (False
5946 or else NT (N).Nkind = N_Abortable_Part
5947 or else NT (N).Nkind = N_Accept_Alternative
5948 or else NT (N).Nkind = N_Case_Statement_Alternative
5949 or else NT (N).Nkind = N_Delay_Alternative
5950 or else NT (N).Nkind = N_Entry_Call_Alternative
5951 or else NT (N).Nkind = N_Exception_Handler
5952 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5953 or else NT (N).Nkind = N_Loop_Statement
5954 or else NT (N).Nkind = N_Triggering_Alternative);
5955 Set_List3_With_Parent (N, Val);
5958 procedure Set_Storage_Pool
5959 (N : Node_Id; Val : Node_Id) is
5961 pragma Assert (False
5962 or else NT (N).Nkind = N_Allocator
5963 or else NT (N).Nkind = N_Extended_Return_Statement
5964 or else NT (N).Nkind = N_Free_Statement
5965 or else NT (N).Nkind = N_Simple_Return_Statement);
5966 Set_Node1 (N, Val); -- semantic field, no parent set
5967 end Set_Storage_Pool;
5969 procedure Set_Subpool_Handle_Name
5970 (N : Node_Id; Val : Node_Id) is
5972 pragma Assert (False
5973 or else NT (N).Nkind = N_Allocator);
5974 Set_Node4_With_Parent (N, Val);
5975 end Set_Subpool_Handle_Name;
5977 procedure Set_Strval
5978 (N : Node_Id; Val : String_Id) is
5980 pragma Assert (False
5981 or else NT (N).Nkind = N_Operator_Symbol
5982 or else NT (N).Nkind = N_String_Literal);
5986 procedure Set_Subtype_Indication
5987 (N : Node_Id; Val : Node_Id) is
5989 pragma Assert (False
5990 or else NT (N).Nkind = N_Access_To_Object_Definition
5991 or else NT (N).Nkind = N_Component_Definition
5992 or else NT (N).Nkind = N_Derived_Type_Definition
5993 or else NT (N).Nkind = N_Iterator_Specification
5994 or else NT (N).Nkind = N_Private_Extension_Declaration
5995 or else NT (N).Nkind = N_Subtype_Declaration);
5996 Set_Node5_With_Parent (N, Val);
5997 end Set_Subtype_Indication;
5999 procedure Set_Subtype_Mark
6000 (N : Node_Id; Val : Node_Id) is
6002 pragma Assert (False
6003 or else NT (N).Nkind = N_Access_Definition
6004 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6005 or else NT (N).Nkind = N_Formal_Object_Declaration
6006 or else NT (N).Nkind = N_Object_Renaming_Declaration
6007 or else NT (N).Nkind = N_Qualified_Expression
6008 or else NT (N).Nkind = N_Subtype_Indication
6009 or else NT (N).Nkind = N_Type_Conversion
6010 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6011 Set_Node4_With_Parent (N, Val);
6012 end Set_Subtype_Mark;
6014 procedure Set_Subtype_Marks
6015 (N : Node_Id; Val : List_Id) is
6017 pragma Assert (False
6018 or else NT (N).Nkind = N_Unconstrained_Array_Definition
6019 or else NT (N).Nkind = N_Use_Type_Clause);
6020 Set_List2_With_Parent (N, Val);
6021 end Set_Subtype_Marks;
6023 procedure Set_Suppress_Assignment_Checks
6024 (N : Node_Id; Val : Boolean := True) is
6026 pragma Assert (False
6027 or else NT (N).Nkind = N_Assignment_Statement
6028 or else NT (N).Nkind = N_Object_Declaration);
6029 Set_Flag18 (N, Val);
6030 end Set_Suppress_Assignment_Checks;
6032 procedure Set_Suppress_Loop_Warnings
6033 (N : Node_Id; Val : Boolean := True) is
6035 pragma Assert (False
6036 or else NT (N).Nkind = N_Loop_Statement);
6037 Set_Flag17 (N, Val);
6038 end Set_Suppress_Loop_Warnings;
6040 procedure Set_Synchronized_Present
6041 (N : Node_Id; Val : Boolean := True) is
6043 pragma Assert (False
6044 or else NT (N).Nkind = N_Derived_Type_Definition
6045 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6046 or else NT (N).Nkind = N_Private_Extension_Declaration
6047 or else NT (N).Nkind = N_Record_Definition);
6049 end Set_Synchronized_Present;
6051 procedure Set_Tagged_Present
6052 (N : Node_Id; Val : Boolean := True) is
6054 pragma Assert (False
6055 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6056 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6057 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6058 or else NT (N).Nkind = N_Private_Type_Declaration
6059 or else NT (N).Nkind = N_Record_Definition);
6060 Set_Flag15 (N, Val);
6061 end Set_Tagged_Present;
6063 procedure Set_Target_Type
6064 (N : Node_Id; Val : Entity_Id) is
6066 pragma Assert (False
6067 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6068 Set_Node2 (N, Val); -- semantic field, no parent set
6069 end Set_Target_Type;
6071 procedure Set_Task_Definition
6072 (N : Node_Id; Val : Node_Id) is
6074 pragma Assert (False
6075 or else NT (N).Nkind = N_Single_Task_Declaration
6076 or else NT (N).Nkind = N_Task_Type_Declaration);
6077 Set_Node3_With_Parent (N, Val);
6078 end Set_Task_Definition;
6080 procedure Set_Task_Present
6081 (N : Node_Id; Val : Boolean := True) is
6083 pragma Assert (False
6084 or else NT (N).Nkind = N_Derived_Type_Definition
6085 or else NT (N).Nkind = N_Record_Definition);
6087 end Set_Task_Present;
6089 procedure Set_Then_Actions
6090 (N : Node_Id; Val : List_Id) is
6092 pragma Assert (False
6093 or else NT (N).Nkind = N_If_Expression);
6094 Set_List2 (N, Val); -- semantic field, no parent set
6095 end Set_Then_Actions;
6097 procedure Set_Then_Statements
6098 (N : Node_Id; Val : List_Id) is
6100 pragma Assert (False
6101 or else NT (N).Nkind = N_Elsif_Part
6102 or else NT (N).Nkind = N_If_Statement);
6103 Set_List2_With_Parent (N, Val);
6104 end Set_Then_Statements;
6106 procedure Set_Treat_Fixed_As_Integer
6107 (N : Node_Id; Val : Boolean := True) is
6109 pragma Assert (False
6110 or else NT (N).Nkind = N_Op_Divide
6111 or else NT (N).Nkind = N_Op_Mod
6112 or else NT (N).Nkind = N_Op_Multiply
6113 or else NT (N).Nkind = N_Op_Rem);
6114 Set_Flag14 (N, Val);
6115 end Set_Treat_Fixed_As_Integer;
6117 procedure Set_Triggering_Alternative
6118 (N : Node_Id; Val : Node_Id) is
6120 pragma Assert (False
6121 or else NT (N).Nkind = N_Asynchronous_Select);
6122 Set_Node1_With_Parent (N, Val);
6123 end Set_Triggering_Alternative;
6125 procedure Set_Triggering_Statement
6126 (N : Node_Id; Val : Node_Id) is
6128 pragma Assert (False
6129 or else NT (N).Nkind = N_Triggering_Alternative);
6130 Set_Node1_With_Parent (N, Val);
6131 end Set_Triggering_Statement;
6133 procedure Set_TSS_Elist
6134 (N : Node_Id; Val : Elist_Id) is
6136 pragma Assert (False
6137 or else NT (N).Nkind = N_Freeze_Entity);
6138 Set_Elist3 (N, Val); -- semantic field, no parent set
6141 procedure Set_Type_Definition
6142 (N : Node_Id; Val : Node_Id) is
6144 pragma Assert (False
6145 or else NT (N).Nkind = N_Full_Type_Declaration);
6146 Set_Node3_With_Parent (N, Val);
6147 end Set_Type_Definition;
6150 (N : Node_Id; Val : Node_Id) is
6152 pragma Assert (False
6153 or else NT (N).Nkind = N_Compilation_Unit);
6154 Set_Node2_With_Parent (N, Val);
6157 procedure Set_Unknown_Discriminants_Present
6158 (N : Node_Id; Val : Boolean := True) is
6160 pragma Assert (False
6161 or else NT (N).Nkind = N_Formal_Type_Declaration
6162 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6163 or else NT (N).Nkind = N_Private_Extension_Declaration
6164 or else NT (N).Nkind = N_Private_Type_Declaration);
6165 Set_Flag13 (N, Val);
6166 end Set_Unknown_Discriminants_Present;
6168 procedure Set_Unreferenced_In_Spec
6169 (N : Node_Id; Val : Boolean := True) is
6171 pragma Assert (False
6172 or else NT (N).Nkind = N_With_Clause);
6174 end Set_Unreferenced_In_Spec;
6176 procedure Set_Variant_Part
6177 (N : Node_Id; Val : Node_Id) is
6179 pragma Assert (False
6180 or else NT (N).Nkind = N_Component_List);
6181 Set_Node4_With_Parent (N, Val);
6182 end Set_Variant_Part;
6184 procedure Set_Variants
6185 (N : Node_Id; Val : List_Id) is
6187 pragma Assert (False
6188 or else NT (N).Nkind = N_Variant_Part);
6189 Set_List1_With_Parent (N, Val);
6192 procedure Set_Visible_Declarations
6193 (N : Node_Id; Val : List_Id) is
6195 pragma Assert (False
6196 or else NT (N).Nkind = N_Package_Specification
6197 or else NT (N).Nkind = N_Protected_Definition
6198 or else NT (N).Nkind = N_Task_Definition);
6199 Set_List2_With_Parent (N, Val);
6200 end Set_Visible_Declarations;
6202 procedure Set_Used_Operations
6203 (N : Node_Id; Val : Elist_Id) is
6205 pragma Assert (False
6206 or else NT (N).Nkind = N_Use_Type_Clause);
6207 Set_Elist5 (N, Val);
6208 end Set_Used_Operations;
6210 procedure Set_Was_Originally_Stub
6211 (N : Node_Id; Val : Boolean := True) is
6213 pragma Assert (False
6214 or else NT (N).Nkind = N_Package_Body
6215 or else NT (N).Nkind = N_Protected_Body
6216 or else NT (N).Nkind = N_Subprogram_Body
6217 or else NT (N).Nkind = N_Task_Body);
6218 Set_Flag13 (N, Val);
6219 end Set_Was_Originally_Stub;
6221 procedure Set_Withed_Body
6222 (N : Node_Id; Val : Node_Id) is
6224 pragma Assert (False
6225 or else NT (N).Nkind = N_With_Clause);
6227 end Set_Withed_Body;
6229 -------------------------
6230 -- Iterator Procedures --
6231 -------------------------
6233 procedure Next_Entity (N : in out Node_Id) is
6235 N := Next_Entity (N);
6238 procedure Next_Named_Actual (N : in out Node_Id) is
6240 N := Next_Named_Actual (N);
6241 end Next_Named_Actual;
6243 procedure Next_Rep_Item (N : in out Node_Id) is
6245 N := Next_Rep_Item (N);
6248 procedure Next_Use_Clause (N : in out Node_Id) is
6250 N := Next_Use_Clause (N);
6251 end Next_Use_Clause;
6257 function End_Location (N : Node_Id) return Source_Ptr is
6258 L : constant Uint := End_Span (N);
6263 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6267 --------------------
6268 -- Get_Pragma_Arg --
6269 --------------------
6271 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6273 if Nkind (Arg) = N_Pragma_Argument_Association then
6274 return Expression (Arg);
6280 ----------------------
6281 -- Set_End_Location --
6282 ----------------------
6284 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6287 UI_From_Int (Int (S) - Int (Sloc (N))));
6288 end Set_End_Location;
6297 V2 : Node_Kind) return Boolean
6300 return T = V1 or else
6308 V3 : Node_Kind) return Boolean
6311 return T = V1 or else
6321 V4 : Node_Kind) return Boolean
6324 return T = V1 or else
6336 V5 : Node_Kind) return Boolean
6339 return T = V1 or else
6353 V6 : Node_Kind) return Boolean
6356 return T = V1 or else
6372 V7 : Node_Kind) return Boolean
6375 return T = V1 or else
6393 V8 : Node_Kind) return Boolean
6396 return T = V1 or else
6416 V9 : Node_Kind) return Boolean
6419 return T = V1 or else
6434 function Pragma_Name (N : Node_Id) return Name_Id is
6436 return Chars (Pragma_Identifier (N));