1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2012, 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 Corresponding_Aspect
606 (N : Node_Id) return Node_Id is
609 or else NT (N).Nkind = N_Pragma);
611 end Corresponding_Aspect;
613 function Corresponding_Body
614 (N : Node_Id) return Node_Id is
617 or else NT (N).Nkind = N_Entry_Declaration
618 or else NT (N).Nkind = N_Generic_Package_Declaration
619 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
620 or else NT (N).Nkind = N_Package_Body_Stub
621 or else NT (N).Nkind = N_Package_Declaration
622 or else NT (N).Nkind = N_Protected_Body_Stub
623 or else NT (N).Nkind = N_Protected_Type_Declaration
624 or else NT (N).Nkind = N_Subprogram_Body_Stub
625 or else NT (N).Nkind = N_Subprogram_Declaration
626 or else NT (N).Nkind = N_Task_Body_Stub
627 or else NT (N).Nkind = N_Task_Type_Declaration);
629 end Corresponding_Body;
631 function Corresponding_Formal_Spec
632 (N : Node_Id) return Node_Id is
635 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
637 end Corresponding_Formal_Spec;
639 function Corresponding_Generic_Association
640 (N : Node_Id) return Node_Id is
643 or else NT (N).Nkind = N_Object_Declaration
644 or else NT (N).Nkind = N_Object_Renaming_Declaration);
646 end Corresponding_Generic_Association;
648 function Corresponding_Integer_Value
649 (N : Node_Id) return Uint is
652 or else NT (N).Nkind = N_Real_Literal);
654 end Corresponding_Integer_Value;
656 function Corresponding_Spec
657 (N : Node_Id) return Node_Id is
660 or else NT (N).Nkind = N_Expression_Function
661 or else NT (N).Nkind = N_Package_Body
662 or else NT (N).Nkind = N_Protected_Body
663 or else NT (N).Nkind = N_Subprogram_Body
664 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
665 or else NT (N).Nkind = N_Task_Body
666 or else NT (N).Nkind = N_With_Clause);
668 end Corresponding_Spec;
670 function Corresponding_Stub
671 (N : Node_Id) return Node_Id is
674 or else NT (N).Nkind = N_Subunit);
676 end Corresponding_Stub;
678 function Dcheck_Function
679 (N : Node_Id) return Entity_Id is
682 or else NT (N).Nkind = N_Variant);
686 function Declarations
687 (N : Node_Id) return List_Id is
690 or else NT (N).Nkind = N_Accept_Statement
691 or else NT (N).Nkind = N_Block_Statement
692 or else NT (N).Nkind = N_Compilation_Unit_Aux
693 or else NT (N).Nkind = N_Entry_Body
694 or else NT (N).Nkind = N_Package_Body
695 or else NT (N).Nkind = N_Protected_Body
696 or else NT (N).Nkind = N_Subprogram_Body
697 or else NT (N).Nkind = N_Task_Body);
701 function Default_Expression
702 (N : Node_Id) return Node_Id is
705 or else NT (N).Nkind = N_Formal_Object_Declaration
706 or else NT (N).Nkind = N_Parameter_Specification);
708 end Default_Expression;
710 function Default_Storage_Pool
711 (N : Node_Id) return Node_Id is
714 or else NT (N).Nkind = N_Compilation_Unit_Aux);
716 end Default_Storage_Pool;
718 function Default_Name
719 (N : Node_Id) return Node_Id is
722 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
723 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
727 function Defining_Identifier
728 (N : Node_Id) return Entity_Id is
731 or else NT (N).Nkind = N_Component_Declaration
732 or else NT (N).Nkind = N_Defining_Program_Unit_Name
733 or else NT (N).Nkind = N_Discriminant_Specification
734 or else NT (N).Nkind = N_Entry_Body
735 or else NT (N).Nkind = N_Entry_Declaration
736 or else NT (N).Nkind = N_Entry_Index_Specification
737 or else NT (N).Nkind = N_Exception_Declaration
738 or else NT (N).Nkind = N_Exception_Renaming_Declaration
739 or else NT (N).Nkind = N_Formal_Object_Declaration
740 or else NT (N).Nkind = N_Formal_Package_Declaration
741 or else NT (N).Nkind = N_Formal_Type_Declaration
742 or else NT (N).Nkind = N_Full_Type_Declaration
743 or else NT (N).Nkind = N_Implicit_Label_Declaration
744 or else NT (N).Nkind = N_Incomplete_Type_Declaration
745 or else NT (N).Nkind = N_Iterator_Specification
746 or else NT (N).Nkind = N_Loop_Parameter_Specification
747 or else NT (N).Nkind = N_Number_Declaration
748 or else NT (N).Nkind = N_Object_Declaration
749 or else NT (N).Nkind = N_Object_Renaming_Declaration
750 or else NT (N).Nkind = N_Package_Body_Stub
751 or else NT (N).Nkind = N_Parameter_Specification
752 or else NT (N).Nkind = N_Private_Extension_Declaration
753 or else NT (N).Nkind = N_Private_Type_Declaration
754 or else NT (N).Nkind = N_Protected_Body
755 or else NT (N).Nkind = N_Protected_Body_Stub
756 or else NT (N).Nkind = N_Protected_Type_Declaration
757 or else NT (N).Nkind = N_Single_Protected_Declaration
758 or else NT (N).Nkind = N_Single_Task_Declaration
759 or else NT (N).Nkind = N_Subtype_Declaration
760 or else NT (N).Nkind = N_Task_Body
761 or else NT (N).Nkind = N_Task_Body_Stub
762 or else NT (N).Nkind = N_Task_Type_Declaration);
764 end Defining_Identifier;
766 function Defining_Unit_Name
767 (N : Node_Id) return Node_Id is
770 or else NT (N).Nkind = N_Function_Instantiation
771 or else NT (N).Nkind = N_Function_Specification
772 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
773 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
774 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
775 or else NT (N).Nkind = N_Package_Body
776 or else NT (N).Nkind = N_Package_Instantiation
777 or else NT (N).Nkind = N_Package_Renaming_Declaration
778 or else NT (N).Nkind = N_Package_Specification
779 or else NT (N).Nkind = N_Procedure_Instantiation
780 or else NT (N).Nkind = N_Procedure_Specification);
782 end Defining_Unit_Name;
784 function Delay_Alternative
785 (N : Node_Id) return Node_Id is
788 or else NT (N).Nkind = N_Timed_Entry_Call);
790 end Delay_Alternative;
792 function Delay_Statement
793 (N : Node_Id) return Node_Id is
796 or else NT (N).Nkind = N_Delay_Alternative);
800 function Delta_Expression
801 (N : Node_Id) return Node_Id is
804 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
805 or else NT (N).Nkind = N_Delta_Constraint
806 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
808 end Delta_Expression;
810 function Digits_Expression
811 (N : Node_Id) return Node_Id is
814 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
815 or else NT (N).Nkind = N_Digits_Constraint
816 or else NT (N).Nkind = N_Floating_Point_Definition);
818 end Digits_Expression;
820 function Discr_Check_Funcs_Built
821 (N : Node_Id) return Boolean is
824 or else NT (N).Nkind = N_Full_Type_Declaration);
826 end Discr_Check_Funcs_Built;
828 function Discrete_Choices
829 (N : Node_Id) return List_Id is
832 or else NT (N).Nkind = N_Case_Expression_Alternative
833 or else NT (N).Nkind = N_Case_Statement_Alternative
834 or else NT (N).Nkind = N_Variant);
836 end Discrete_Choices;
838 function Discrete_Range
839 (N : Node_Id) return Node_Id is
842 or else NT (N).Nkind = N_Slice);
846 function Discrete_Subtype_Definition
847 (N : Node_Id) return Node_Id is
850 or else NT (N).Nkind = N_Entry_Declaration
851 or else NT (N).Nkind = N_Entry_Index_Specification
852 or else NT (N).Nkind = N_Loop_Parameter_Specification);
854 end Discrete_Subtype_Definition;
856 function Discrete_Subtype_Definitions
857 (N : Node_Id) return List_Id is
860 or else NT (N).Nkind = N_Constrained_Array_Definition);
862 end Discrete_Subtype_Definitions;
864 function Discriminant_Specifications
865 (N : Node_Id) return List_Id is
868 or else NT (N).Nkind = N_Formal_Type_Declaration
869 or else NT (N).Nkind = N_Full_Type_Declaration
870 or else NT (N).Nkind = N_Incomplete_Type_Declaration
871 or else NT (N).Nkind = N_Private_Extension_Declaration
872 or else NT (N).Nkind = N_Private_Type_Declaration
873 or else NT (N).Nkind = N_Protected_Type_Declaration
874 or else NT (N).Nkind = N_Task_Type_Declaration);
876 end Discriminant_Specifications;
878 function Discriminant_Type
879 (N : Node_Id) return Node_Id is
882 or else NT (N).Nkind = N_Discriminant_Specification);
884 end Discriminant_Type;
886 function Do_Accessibility_Check
887 (N : Node_Id) return Boolean is
890 or else NT (N).Nkind = N_Parameter_Specification);
892 end Do_Accessibility_Check;
894 function Do_Discriminant_Check
895 (N : Node_Id) return Boolean is
898 or else NT (N).Nkind = N_Selected_Component);
900 end Do_Discriminant_Check;
902 function Do_Division_Check
903 (N : Node_Id) return Boolean is
906 or else NT (N).Nkind = N_Op_Divide
907 or else NT (N).Nkind = N_Op_Mod
908 or else NT (N).Nkind = N_Op_Rem);
910 end Do_Division_Check;
912 function Do_Length_Check
913 (N : Node_Id) return Boolean is
916 or else NT (N).Nkind = N_Assignment_Statement
917 or else NT (N).Nkind = N_Op_And
918 or else NT (N).Nkind = N_Op_Or
919 or else NT (N).Nkind = N_Op_Xor
920 or else NT (N).Nkind = N_Type_Conversion);
924 function Do_Overflow_Check
925 (N : Node_Id) return Boolean is
928 or else NT (N).Nkind in N_Op
929 or else NT (N).Nkind = N_Attribute_Reference
930 or else NT (N).Nkind = N_Case_Expression
931 or else NT (N).Nkind = N_If_Expression
932 or else NT (N).Nkind = N_Type_Conversion);
934 end Do_Overflow_Check;
936 function Do_Range_Check
937 (N : Node_Id) return Boolean is
940 or else NT (N).Nkind in N_Subexpr);
944 function Do_Storage_Check
945 (N : Node_Id) return Boolean is
948 or else NT (N).Nkind = N_Allocator
949 or else NT (N).Nkind = N_Subprogram_Body);
951 end Do_Storage_Check;
953 function Do_Tag_Check
954 (N : Node_Id) return Boolean is
957 or else NT (N).Nkind = N_Assignment_Statement
958 or else NT (N).Nkind = N_Extended_Return_Statement
959 or else NT (N).Nkind = N_Function_Call
960 or else NT (N).Nkind = N_Procedure_Call_Statement
961 or else NT (N).Nkind = N_Simple_Return_Statement
962 or else NT (N).Nkind = N_Type_Conversion);
966 function Elaborate_All_Desirable
967 (N : Node_Id) return Boolean is
970 or else NT (N).Nkind = N_With_Clause);
972 end Elaborate_All_Desirable;
974 function Elaborate_All_Present
975 (N : Node_Id) return Boolean is
978 or else NT (N).Nkind = N_With_Clause);
980 end Elaborate_All_Present;
982 function Elaborate_Desirable
983 (N : Node_Id) return Boolean is
986 or else NT (N).Nkind = N_With_Clause);
988 end Elaborate_Desirable;
990 function Elaborate_Present
991 (N : Node_Id) return Boolean is
994 or else NT (N).Nkind = N_With_Clause);
996 end Elaborate_Present;
998 function Elaboration_Boolean
999 (N : Node_Id) return Node_Id is
1001 pragma Assert (False
1002 or else NT (N).Nkind = N_Function_Specification
1003 or else NT (N).Nkind = N_Procedure_Specification);
1005 end Elaboration_Boolean;
1007 function Else_Actions
1008 (N : Node_Id) return List_Id is
1010 pragma Assert (False
1011 or else NT (N).Nkind = N_If_Expression);
1015 function Else_Statements
1016 (N : Node_Id) return List_Id is
1018 pragma Assert (False
1019 or else NT (N).Nkind = N_Conditional_Entry_Call
1020 or else NT (N).Nkind = N_If_Statement
1021 or else NT (N).Nkind = N_Selective_Accept);
1023 end Else_Statements;
1025 function Elsif_Parts
1026 (N : Node_Id) return List_Id is
1028 pragma Assert (False
1029 or else NT (N).Nkind = N_If_Statement);
1033 function Enclosing_Variant
1034 (N : Node_Id) return Node_Id is
1036 pragma Assert (False
1037 or else NT (N).Nkind = N_Variant);
1039 end Enclosing_Variant;
1042 (N : Node_Id) return Node_Id is
1044 pragma Assert (False
1045 or else NT (N).Nkind = N_Enumeration_Type_Definition
1046 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1047 or else NT (N).Nkind = N_Loop_Statement
1048 or else NT (N).Nkind = N_Package_Specification
1049 or else NT (N).Nkind = N_Protected_Body
1050 or else NT (N).Nkind = N_Protected_Definition
1051 or else NT (N).Nkind = N_Record_Definition
1052 or else NT (N).Nkind = N_Task_Definition);
1057 (N : Node_Id) return Uint is
1059 pragma Assert (False
1060 or else NT (N).Nkind = N_Case_Statement
1061 or else NT (N).Nkind = N_If_Statement);
1066 (N : Node_Id) return Node_Id is
1068 pragma Assert (False
1069 or else NT (N).Nkind in N_Has_Entity
1070 or else NT (N).Nkind = N_Aspect_Specification
1071 or else NT (N).Nkind = N_Attribute_Definition_Clause
1072 or else NT (N).Nkind = N_Freeze_Entity);
1076 function Entity_Or_Associated_Node
1077 (N : Node_Id) return Node_Id is
1079 pragma Assert (False
1080 or else NT (N).Nkind in N_Has_Entity
1081 or else NT (N).Nkind = N_Freeze_Entity);
1083 end Entity_Or_Associated_Node;
1085 function Entry_Body_Formal_Part
1086 (N : Node_Id) return Node_Id is
1088 pragma Assert (False
1089 or else NT (N).Nkind = N_Entry_Body);
1091 end Entry_Body_Formal_Part;
1093 function Entry_Call_Alternative
1094 (N : Node_Id) return Node_Id is
1096 pragma Assert (False
1097 or else NT (N).Nkind = N_Conditional_Entry_Call
1098 or else NT (N).Nkind = N_Timed_Entry_Call);
1100 end Entry_Call_Alternative;
1102 function Entry_Call_Statement
1103 (N : Node_Id) return Node_Id is
1105 pragma Assert (False
1106 or else NT (N).Nkind = N_Entry_Call_Alternative);
1108 end Entry_Call_Statement;
1110 function Entry_Direct_Name
1111 (N : Node_Id) return Node_Id is
1113 pragma Assert (False
1114 or else NT (N).Nkind = N_Accept_Statement);
1116 end Entry_Direct_Name;
1118 function Entry_Index
1119 (N : Node_Id) return Node_Id is
1121 pragma Assert (False
1122 or else NT (N).Nkind = N_Accept_Statement);
1126 function Entry_Index_Specification
1127 (N : Node_Id) return Node_Id is
1129 pragma Assert (False
1130 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1132 end Entry_Index_Specification;
1135 (N : Node_Id) return Node_Id is
1137 pragma Assert (False
1138 or else NT (N).Nkind in N_Has_Etype);
1142 function Exception_Choices
1143 (N : Node_Id) return List_Id is
1145 pragma Assert (False
1146 or else NT (N).Nkind = N_Exception_Handler);
1148 end Exception_Choices;
1150 function Exception_Handlers
1151 (N : Node_Id) return List_Id is
1153 pragma Assert (False
1154 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1156 end Exception_Handlers;
1158 function Exception_Junk
1159 (N : Node_Id) return Boolean is
1161 pragma Assert (False
1162 or else NT (N).Nkind = N_Block_Statement
1163 or else NT (N).Nkind = N_Goto_Statement
1164 or else NT (N).Nkind = N_Label
1165 or else NT (N).Nkind = N_Object_Declaration
1166 or else NT (N).Nkind = N_Subtype_Declaration);
1170 function Exception_Label
1171 (N : Node_Id) return Node_Id is
1173 pragma Assert (False
1174 or else NT (N).Nkind = N_Exception_Handler
1175 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1176 or else NT (N).Nkind = N_Push_Program_Error_Label
1177 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1179 end Exception_Label;
1181 function Expansion_Delayed
1182 (N : Node_Id) return Boolean is
1184 pragma Assert (False
1185 or else NT (N).Nkind = N_Aggregate
1186 or else NT (N).Nkind = N_Extension_Aggregate);
1188 end Expansion_Delayed;
1190 function Explicit_Actual_Parameter
1191 (N : Node_Id) return Node_Id is
1193 pragma Assert (False
1194 or else NT (N).Nkind = N_Parameter_Association);
1196 end Explicit_Actual_Parameter;
1198 function Explicit_Generic_Actual_Parameter
1199 (N : Node_Id) return Node_Id is
1201 pragma Assert (False
1202 or else NT (N).Nkind = N_Generic_Association);
1204 end Explicit_Generic_Actual_Parameter;
1207 (N : Node_Id) return Node_Id is
1209 pragma Assert (False
1210 or else NT (N).Nkind = N_Allocator
1211 or else NT (N).Nkind = N_Aspect_Specification
1212 or else NT (N).Nkind = N_Assignment_Statement
1213 or else NT (N).Nkind = N_At_Clause
1214 or else NT (N).Nkind = N_Attribute_Definition_Clause
1215 or else NT (N).Nkind = N_Case_Expression
1216 or else NT (N).Nkind = N_Case_Expression_Alternative
1217 or else NT (N).Nkind = N_Case_Statement
1218 or else NT (N).Nkind = N_Code_Statement
1219 or else NT (N).Nkind = N_Component_Association
1220 or else NT (N).Nkind = N_Component_Declaration
1221 or else NT (N).Nkind = N_Delay_Relative_Statement
1222 or else NT (N).Nkind = N_Delay_Until_Statement
1223 or else NT (N).Nkind = N_Discriminant_Association
1224 or else NT (N).Nkind = N_Discriminant_Specification
1225 or else NT (N).Nkind = N_Exception_Declaration
1226 or else NT (N).Nkind = N_Expression_Function
1227 or else NT (N).Nkind = N_Expression_With_Actions
1228 or else NT (N).Nkind = N_Free_Statement
1229 or else NT (N).Nkind = N_Mod_Clause
1230 or else NT (N).Nkind = N_Modular_Type_Definition
1231 or else NT (N).Nkind = N_Number_Declaration
1232 or else NT (N).Nkind = N_Object_Declaration
1233 or else NT (N).Nkind = N_Parameter_Specification
1234 or else NT (N).Nkind = N_Pragma_Argument_Association
1235 or else NT (N).Nkind = N_Qualified_Expression
1236 or else NT (N).Nkind = N_Raise_Statement
1237 or else NT (N).Nkind = N_Simple_Return_Statement
1238 or else NT (N).Nkind = N_Type_Conversion
1239 or else NT (N).Nkind = N_Unchecked_Expression
1240 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1244 function Expressions
1245 (N : Node_Id) return List_Id is
1247 pragma Assert (False
1248 or else NT (N).Nkind = N_Aggregate
1249 or else NT (N).Nkind = N_Attribute_Reference
1250 or else NT (N).Nkind = N_Extension_Aggregate
1251 or else NT (N).Nkind = N_If_Expression
1252 or else NT (N).Nkind = N_Indexed_Component);
1257 (N : Node_Id) return Node_Id is
1259 pragma Assert (False
1260 or else NT (N).Nkind = N_Component_Clause);
1264 function First_Inlined_Subprogram
1265 (N : Node_Id) return Entity_Id is
1267 pragma Assert (False
1268 or else NT (N).Nkind = N_Compilation_Unit);
1270 end First_Inlined_Subprogram;
1273 (N : Node_Id) return Boolean is
1275 pragma Assert (False
1276 or else NT (N).Nkind = N_With_Clause);
1280 function First_Named_Actual
1281 (N : Node_Id) return Node_Id is
1283 pragma Assert (False
1284 or else NT (N).Nkind = N_Entry_Call_Statement
1285 or else NT (N).Nkind = N_Function_Call
1286 or else NT (N).Nkind = N_Procedure_Call_Statement);
1288 end First_Named_Actual;
1290 function First_Real_Statement
1291 (N : Node_Id) return Node_Id is
1293 pragma Assert (False
1294 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1296 end First_Real_Statement;
1298 function First_Subtype_Link
1299 (N : Node_Id) return Entity_Id is
1301 pragma Assert (False
1302 or else NT (N).Nkind = N_Freeze_Entity);
1304 end First_Subtype_Link;
1306 function Float_Truncate
1307 (N : Node_Id) return Boolean is
1309 pragma Assert (False
1310 or else NT (N).Nkind = N_Type_Conversion);
1314 function Formal_Type_Definition
1315 (N : Node_Id) return Node_Id is
1317 pragma Assert (False
1318 or else NT (N).Nkind = N_Formal_Type_Declaration);
1320 end Formal_Type_Definition;
1322 function Forwards_OK
1323 (N : Node_Id) return Boolean is
1325 pragma Assert (False
1326 or else NT (N).Nkind = N_Assignment_Statement);
1330 function From_Aspect_Specification
1331 (N : Node_Id) return Boolean is
1333 pragma Assert (False
1334 or else NT (N).Nkind = N_Attribute_Definition_Clause
1335 or else NT (N).Nkind = N_Pragma);
1337 end From_Aspect_Specification;
1339 function From_At_End
1340 (N : Node_Id) return Boolean is
1342 pragma Assert (False
1343 or else NT (N).Nkind = N_Raise_Statement);
1347 function From_At_Mod
1348 (N : Node_Id) return Boolean is
1350 pragma Assert (False
1351 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1355 function From_Default
1356 (N : Node_Id) return Boolean is
1358 pragma Assert (False
1359 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1363 function Generic_Associations
1364 (N : Node_Id) return List_Id is
1366 pragma Assert (False
1367 or else NT (N).Nkind = N_Formal_Package_Declaration
1368 or else NT (N).Nkind = N_Function_Instantiation
1369 or else NT (N).Nkind = N_Package_Instantiation
1370 or else NT (N).Nkind = N_Procedure_Instantiation);
1372 end Generic_Associations;
1374 function Generic_Formal_Declarations
1375 (N : Node_Id) return List_Id is
1377 pragma Assert (False
1378 or else NT (N).Nkind = N_Generic_Package_Declaration
1379 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1381 end Generic_Formal_Declarations;
1383 function Generic_Parent
1384 (N : Node_Id) return Node_Id is
1386 pragma Assert (False
1387 or else NT (N).Nkind = N_Function_Specification
1388 or else NT (N).Nkind = N_Package_Specification
1389 or else NT (N).Nkind = N_Procedure_Specification);
1393 function Generic_Parent_Type
1394 (N : Node_Id) return Node_Id is
1396 pragma Assert (False
1397 or else NT (N).Nkind = N_Subtype_Declaration);
1399 end Generic_Parent_Type;
1401 function Handled_Statement_Sequence
1402 (N : Node_Id) return Node_Id is
1404 pragma Assert (False
1405 or else NT (N).Nkind = N_Accept_Statement
1406 or else NT (N).Nkind = N_Block_Statement
1407 or else NT (N).Nkind = N_Entry_Body
1408 or else NT (N).Nkind = N_Extended_Return_Statement
1409 or else NT (N).Nkind = N_Package_Body
1410 or else NT (N).Nkind = N_Subprogram_Body
1411 or else NT (N).Nkind = N_Task_Body);
1413 end Handled_Statement_Sequence;
1415 function Handler_List_Entry
1416 (N : Node_Id) return Node_Id is
1418 pragma Assert (False
1419 or else NT (N).Nkind = N_Object_Declaration);
1421 end Handler_List_Entry;
1423 function Has_Created_Identifier
1424 (N : Node_Id) return Boolean is
1426 pragma Assert (False
1427 or else NT (N).Nkind = N_Block_Statement
1428 or else NT (N).Nkind = N_Loop_Statement);
1430 end Has_Created_Identifier;
1432 function Has_Dereference_Action
1433 (N : Node_Id) return Boolean is
1435 pragma Assert (False
1436 or else NT (N).Nkind = N_Explicit_Dereference);
1438 end Has_Dereference_Action;
1440 function Has_Dynamic_Length_Check
1441 (N : Node_Id) return Boolean is
1443 pragma Assert (False
1444 or else NT (N).Nkind in N_Subexpr);
1446 end Has_Dynamic_Length_Check;
1448 function Has_Dynamic_Range_Check
1449 (N : Node_Id) return Boolean is
1451 pragma Assert (False
1452 or else NT (N).Nkind = N_Subtype_Declaration
1453 or else NT (N).Nkind in N_Subexpr);
1455 end Has_Dynamic_Range_Check;
1457 function Has_Init_Expression
1458 (N : Node_Id) return Boolean is
1460 pragma Assert (False
1461 or else NT (N).Nkind = N_Object_Declaration);
1463 end Has_Init_Expression;
1465 function Has_Local_Raise
1466 (N : Node_Id) return Boolean is
1468 pragma Assert (False
1469 or else NT (N).Nkind = N_Exception_Handler);
1471 end Has_Local_Raise;
1473 function Has_No_Elaboration_Code
1474 (N : Node_Id) return Boolean is
1476 pragma Assert (False
1477 or else NT (N).Nkind = N_Compilation_Unit);
1479 end Has_No_Elaboration_Code;
1481 function Has_Pragma_Suppress_All
1482 (N : Node_Id) return Boolean is
1484 pragma Assert (False
1485 or else NT (N).Nkind = N_Compilation_Unit);
1487 end Has_Pragma_Suppress_All;
1489 function Has_Private_View
1490 (N : Node_Id) return Boolean is
1492 pragma Assert (False
1493 or else NT (N).Nkind in N_Op
1494 or else NT (N).Nkind = N_Character_Literal
1495 or else NT (N).Nkind = N_Expanded_Name
1496 or else NT (N).Nkind = N_Identifier
1497 or else NT (N).Nkind = N_Operator_Symbol);
1499 end Has_Private_View;
1501 function Has_Relative_Deadline_Pragma
1502 (N : Node_Id) return Boolean is
1504 pragma Assert (False
1505 or else NT (N).Nkind = N_Subprogram_Body
1506 or else NT (N).Nkind = N_Task_Definition);
1508 end Has_Relative_Deadline_Pragma;
1510 function Has_Self_Reference
1511 (N : Node_Id) return Boolean is
1513 pragma Assert (False
1514 or else NT (N).Nkind = N_Aggregate
1515 or else NT (N).Nkind = N_Extension_Aggregate);
1517 end Has_Self_Reference;
1519 function Has_Storage_Size_Pragma
1520 (N : Node_Id) return Boolean is
1522 pragma Assert (False
1523 or else NT (N).Nkind = N_Task_Definition);
1525 end Has_Storage_Size_Pragma;
1527 function Has_Wide_Character
1528 (N : Node_Id) return Boolean is
1530 pragma Assert (False
1531 or else NT (N).Nkind = N_String_Literal);
1533 end Has_Wide_Character;
1535 function Has_Wide_Wide_Character
1536 (N : Node_Id) return Boolean is
1538 pragma Assert (False
1539 or else NT (N).Nkind = N_String_Literal);
1541 end Has_Wide_Wide_Character;
1543 function Header_Size_Added
1544 (N : Node_Id) return Boolean is
1546 pragma Assert (False
1547 or else NT (N).Nkind = N_Attribute_Reference);
1549 end Header_Size_Added;
1551 function Hidden_By_Use_Clause
1552 (N : Node_Id) return Elist_Id is
1554 pragma Assert (False
1555 or else NT (N).Nkind = N_Use_Package_Clause
1556 or else NT (N).Nkind = N_Use_Type_Clause);
1558 end Hidden_By_Use_Clause;
1561 (N : Node_Id) return Node_Id is
1563 pragma Assert (False
1564 or else NT (N).Nkind = N_Range
1565 or else NT (N).Nkind = N_Real_Range_Specification
1566 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1571 (N : Node_Id) return Node_Id is
1573 pragma Assert (False
1574 or else NT (N).Nkind = N_Aspect_Specification
1575 or else NT (N).Nkind = N_At_Clause
1576 or else NT (N).Nkind = N_Block_Statement
1577 or else NT (N).Nkind = N_Designator
1578 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1579 or else NT (N).Nkind = N_Label
1580 or else NT (N).Nkind = N_Loop_Statement
1581 or else NT (N).Nkind = N_Record_Representation_Clause
1582 or else NT (N).Nkind = N_Subprogram_Info);
1586 function Implicit_With
1587 (N : Node_Id) return Boolean is
1589 pragma Assert (False
1590 or else NT (N).Nkind = N_With_Clause);
1594 function Implicit_With_From_Instantiation
1595 (N : Node_Id) return Boolean is
1597 pragma Assert (False
1598 or else NT (N).Nkind = N_With_Clause);
1600 end Implicit_With_From_Instantiation;
1602 function Interface_List
1603 (N : Node_Id) return List_Id is
1605 pragma Assert (False
1606 or else NT (N).Nkind = N_Derived_Type_Definition
1607 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1608 or else NT (N).Nkind = N_Private_Extension_Declaration
1609 or else NT (N).Nkind = N_Protected_Type_Declaration
1610 or else NT (N).Nkind = N_Record_Definition
1611 or else NT (N).Nkind = N_Single_Protected_Declaration
1612 or else NT (N).Nkind = N_Single_Task_Declaration
1613 or else NT (N).Nkind = N_Task_Type_Declaration);
1617 function Interface_Present
1618 (N : Node_Id) return Boolean is
1620 pragma Assert (False
1621 or else NT (N).Nkind = N_Derived_Type_Definition
1622 or else NT (N).Nkind = N_Record_Definition);
1624 end Interface_Present;
1626 function Import_Interface_Present
1627 (N : Node_Id) return Boolean is
1629 pragma Assert (False
1630 or else NT (N).Nkind = N_Pragma);
1632 end Import_Interface_Present;
1635 (N : Node_Id) return Boolean is
1637 pragma Assert (False
1638 or else NT (N).Nkind = N_Formal_Object_Declaration
1639 or else NT (N).Nkind = N_Parameter_Specification);
1643 function Includes_Infinities
1644 (N : Node_Id) return Boolean is
1646 pragma Assert (False
1647 or else NT (N).Nkind = N_Range);
1649 end Includes_Infinities;
1651 function Inherited_Discriminant
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_Component_Association);
1657 end Inherited_Discriminant;
1659 function Instance_Spec
1660 (N : Node_Id) return Node_Id is
1662 pragma Assert (False
1663 or else NT (N).Nkind = N_Formal_Package_Declaration
1664 or else NT (N).Nkind = N_Function_Instantiation
1665 or else NT (N).Nkind = N_Package_Instantiation
1666 or else NT (N).Nkind = N_Procedure_Instantiation);
1671 (N : Node_Id) return Uint is
1673 pragma Assert (False
1674 or else NT (N).Nkind = N_Integer_Literal);
1678 function Is_Accessibility_Actual
1679 (N : Node_Id) return Boolean is
1681 pragma Assert (False
1682 or else NT (N).Nkind = N_Parameter_Association);
1684 end Is_Accessibility_Actual;
1686 function Is_Asynchronous_Call_Block
1687 (N : Node_Id) return Boolean is
1689 pragma Assert (False
1690 or else NT (N).Nkind = N_Block_Statement);
1692 end Is_Asynchronous_Call_Block;
1694 function Is_Boolean_Aspect
1695 (N : Node_Id) return Boolean is
1697 pragma Assert (False
1698 or else NT (N).Nkind = N_Aspect_Specification);
1700 end Is_Boolean_Aspect;
1702 function Is_Component_Left_Opnd
1703 (N : Node_Id) return Boolean is
1705 pragma Assert (False
1706 or else NT (N).Nkind = N_Op_Concat);
1708 end Is_Component_Left_Opnd;
1710 function Is_Component_Right_Opnd
1711 (N : Node_Id) return Boolean is
1713 pragma Assert (False
1714 or else NT (N).Nkind = N_Op_Concat);
1716 end Is_Component_Right_Opnd;
1718 function Is_Controlling_Actual
1719 (N : Node_Id) return Boolean is
1721 pragma Assert (False
1722 or else NT (N).Nkind in N_Subexpr);
1724 end Is_Controlling_Actual;
1726 function Is_Delayed_Aspect
1727 (N : Node_Id) return Boolean is
1729 pragma Assert (False
1730 or else NT (N).Nkind = N_Aspect_Specification
1731 or else NT (N).Nkind = N_Attribute_Definition_Clause
1732 or else NT (N).Nkind = N_Pragma);
1734 end Is_Delayed_Aspect;
1736 function Is_Dynamic_Coextension
1737 (N : Node_Id) return Boolean is
1739 pragma Assert (False
1740 or else NT (N).Nkind = N_Allocator);
1742 end Is_Dynamic_Coextension;
1745 (N : Node_Id) return Boolean is
1747 pragma Assert (False
1748 or else NT (N).Nkind = N_If_Expression);
1752 function Is_Entry_Barrier_Function
1753 (N : Node_Id) return Boolean is
1755 pragma Assert (False
1756 or else NT (N).Nkind = N_Subprogram_Body);
1758 end Is_Entry_Barrier_Function;
1760 function Is_Expanded_Build_In_Place_Call
1761 (N : Node_Id) return Boolean is
1763 pragma Assert (False
1764 or else NT (N).Nkind = N_Function_Call);
1766 end Is_Expanded_Build_In_Place_Call;
1768 function Is_Finalization_Wrapper
1769 (N : Node_Id) return Boolean is
1771 pragma Assert (False
1772 or else NT (N).Nkind = N_Block_Statement);
1774 end Is_Finalization_Wrapper;
1776 function Is_Folded_In_Parser
1777 (N : Node_Id) return Boolean is
1779 pragma Assert (False
1780 or else NT (N).Nkind = N_String_Literal);
1782 end Is_Folded_In_Parser;
1784 function Is_In_Discriminant_Check
1785 (N : Node_Id) return Boolean is
1787 pragma Assert (False
1788 or else NT (N).Nkind = N_Selected_Component);
1790 end Is_In_Discriminant_Check;
1792 function Is_Machine_Number
1793 (N : Node_Id) return Boolean is
1795 pragma Assert (False
1796 or else NT (N).Nkind = N_Real_Literal);
1798 end Is_Machine_Number;
1800 function Is_Null_Loop
1801 (N : Node_Id) return Boolean is
1803 pragma Assert (False
1804 or else NT (N).Nkind = N_Loop_Statement);
1808 function Is_Overloaded
1809 (N : Node_Id) return Boolean is
1811 pragma Assert (False
1812 or else NT (N).Nkind in N_Subexpr);
1816 function Is_Power_Of_2_For_Shift
1817 (N : Node_Id) return Boolean is
1819 pragma Assert (False
1820 or else NT (N).Nkind = N_Op_Expon);
1822 end Is_Power_Of_2_For_Shift;
1824 function Is_Prefixed_Call
1825 (N : Node_Id) return Boolean is
1827 pragma Assert (False
1828 or else NT (N).Nkind = N_Selected_Component);
1830 end Is_Prefixed_Call;
1832 function Is_Protected_Subprogram_Body
1833 (N : Node_Id) return Boolean is
1835 pragma Assert (False
1836 or else NT (N).Nkind = N_Subprogram_Body);
1838 end Is_Protected_Subprogram_Body;
1840 function Is_Static_Coextension
1841 (N : Node_Id) return Boolean is
1843 pragma Assert (False
1844 or else NT (N).Nkind = N_Allocator);
1846 end Is_Static_Coextension;
1848 function Is_Static_Expression
1849 (N : Node_Id) return Boolean is
1851 pragma Assert (False
1852 or else NT (N).Nkind in N_Subexpr);
1854 end Is_Static_Expression;
1856 function Is_Subprogram_Descriptor
1857 (N : Node_Id) return Boolean is
1859 pragma Assert (False
1860 or else NT (N).Nkind = N_Object_Declaration);
1862 end Is_Subprogram_Descriptor;
1864 function Is_Task_Allocation_Block
1865 (N : Node_Id) return Boolean is
1867 pragma Assert (False
1868 or else NT (N).Nkind = N_Block_Statement);
1870 end Is_Task_Allocation_Block;
1872 function Is_Task_Master
1873 (N : Node_Id) return Boolean is
1875 pragma Assert (False
1876 or else NT (N).Nkind = N_Block_Statement
1877 or else NT (N).Nkind = N_Subprogram_Body
1878 or else NT (N).Nkind = N_Task_Body);
1882 function Iteration_Scheme
1883 (N : Node_Id) return Node_Id is
1885 pragma Assert (False
1886 or else NT (N).Nkind = N_Loop_Statement);
1888 end Iteration_Scheme;
1890 function Iterator_Specification
1891 (N : Node_Id) return Node_Id is
1893 pragma Assert (False
1894 or else NT (N).Nkind = N_Iteration_Scheme
1895 or else NT (N).Nkind = N_Quantified_Expression);
1897 end Iterator_Specification;
1900 (N : Node_Id) return Node_Id is
1902 pragma Assert (False
1903 or else NT (N).Nkind = N_Itype_Reference);
1907 function Kill_Range_Check
1908 (N : Node_Id) return Boolean is
1910 pragma Assert (False
1911 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1913 end Kill_Range_Check;
1915 function Label_Construct
1916 (N : Node_Id) return Node_Id is
1918 pragma Assert (False
1919 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1921 end Label_Construct;
1924 (N : Node_Id) return Node_Id is
1926 pragma Assert (False
1927 or else NT (N).Nkind = N_Component_Clause);
1932 (N : Node_Id) return Boolean is
1934 pragma Assert (False
1935 or else NT (N).Nkind = N_With_Clause);
1940 (N : Node_Id) return Node_Id is
1942 pragma Assert (False
1943 or else NT (N).Nkind = N_And_Then
1944 or else NT (N).Nkind = N_In
1945 or else NT (N).Nkind = N_Not_In
1946 or else NT (N).Nkind = N_Or_Else
1947 or else NT (N).Nkind in N_Binary_Op);
1951 function Library_Unit
1952 (N : Node_Id) return Node_Id is
1954 pragma Assert (False
1955 or else NT (N).Nkind = N_Compilation_Unit
1956 or else NT (N).Nkind = N_Package_Body_Stub
1957 or else NT (N).Nkind = N_Protected_Body_Stub
1958 or else NT (N).Nkind = N_Subprogram_Body_Stub
1959 or else NT (N).Nkind = N_Task_Body_Stub
1960 or else NT (N).Nkind = N_With_Clause);
1964 function Limited_View_Installed
1965 (N : Node_Id) return Boolean is
1967 pragma Assert (False
1968 or else NT (N).Nkind = N_Package_Specification
1969 or else NT (N).Nkind = N_With_Clause);
1971 end Limited_View_Installed;
1973 function Limited_Present
1974 (N : Node_Id) return Boolean is
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Derived_Type_Definition
1978 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1979 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1980 or else NT (N).Nkind = N_Private_Extension_Declaration
1981 or else NT (N).Nkind = N_Private_Type_Declaration
1982 or else NT (N).Nkind = N_Record_Definition
1983 or else NT (N).Nkind = N_With_Clause);
1985 end Limited_Present;
1988 (N : Node_Id) return List_Id is
1990 pragma Assert (False
1991 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1995 function Local_Raise_Not_OK
1996 (N : Node_Id) return Boolean is
1998 pragma Assert (False
1999 or else NT (N).Nkind = N_Exception_Handler);
2001 end Local_Raise_Not_OK;
2003 function Local_Raise_Statements
2004 (N : Node_Id) return Elist_Id is
2006 pragma Assert (False
2007 or else NT (N).Nkind = N_Exception_Handler);
2009 end Local_Raise_Statements;
2011 function Loop_Actions
2012 (N : Node_Id) return List_Id is
2014 pragma Assert (False
2015 or else NT (N).Nkind = N_Component_Association);
2019 function Loop_Parameter_Specification
2020 (N : Node_Id) return Node_Id is
2022 pragma Assert (False
2023 or else NT (N).Nkind = N_Iteration_Scheme
2024 or else NT (N).Nkind = N_Quantified_Expression);
2026 end Loop_Parameter_Specification;
2029 (N : Node_Id) return Node_Id is
2031 pragma Assert (False
2032 or else NT (N).Nkind = N_Range
2033 or else NT (N).Nkind = N_Real_Range_Specification
2034 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2039 (N : Node_Id) return Node_Id is
2041 pragma Assert (False
2042 or else NT (N).Nkind = N_Record_Representation_Clause);
2047 (N : Node_Id) return Boolean is
2049 pragma Assert (False
2050 or else NT (N).Nkind = N_Component_Declaration
2051 or else NT (N).Nkind = N_Discriminant_Specification
2052 or else NT (N).Nkind = N_Exception_Declaration
2053 or else NT (N).Nkind = N_Formal_Object_Declaration
2054 or else NT (N).Nkind = N_Number_Declaration
2055 or else NT (N).Nkind = N_Object_Declaration
2056 or else NT (N).Nkind = N_Parameter_Specification);
2060 function Must_Be_Byte_Aligned
2061 (N : Node_Id) return Boolean is
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Attribute_Reference);
2066 end Must_Be_Byte_Aligned;
2068 function Must_Not_Freeze
2069 (N : Node_Id) return Boolean is
2071 pragma Assert (False
2072 or else NT (N).Nkind = N_Subtype_Indication
2073 or else NT (N).Nkind in N_Subexpr);
2075 end Must_Not_Freeze;
2077 function Must_Not_Override
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Entry_Declaration
2082 or else NT (N).Nkind = N_Function_Instantiation
2083 or else NT (N).Nkind = N_Function_Specification
2084 or else NT (N).Nkind = N_Procedure_Instantiation
2085 or else NT (N).Nkind = N_Procedure_Specification);
2087 end Must_Not_Override;
2089 function Must_Override
2090 (N : Node_Id) return Boolean is
2092 pragma Assert (False
2093 or else NT (N).Nkind = N_Entry_Declaration
2094 or else NT (N).Nkind = N_Function_Instantiation
2095 or else NT (N).Nkind = N_Function_Specification
2096 or else NT (N).Nkind = N_Procedure_Instantiation
2097 or else NT (N).Nkind = N_Procedure_Specification);
2102 (N : Node_Id) return Node_Id is
2104 pragma Assert (False
2105 or else NT (N).Nkind = N_Assignment_Statement
2106 or else NT (N).Nkind = N_Attribute_Definition_Clause
2107 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2108 or else NT (N).Nkind = N_Designator
2109 or else NT (N).Nkind = N_Entry_Call_Statement
2110 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2111 or else NT (N).Nkind = N_Exit_Statement
2112 or else NT (N).Nkind = N_Formal_Package_Declaration
2113 or else NT (N).Nkind = N_Function_Call
2114 or else NT (N).Nkind = N_Function_Instantiation
2115 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2116 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2117 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2118 or else NT (N).Nkind = N_Goto_Statement
2119 or else NT (N).Nkind = N_Iterator_Specification
2120 or else NT (N).Nkind = N_Object_Renaming_Declaration
2121 or else NT (N).Nkind = N_Package_Instantiation
2122 or else NT (N).Nkind = N_Package_Renaming_Declaration
2123 or else NT (N).Nkind = N_Procedure_Call_Statement
2124 or else NT (N).Nkind = N_Procedure_Instantiation
2125 or else NT (N).Nkind = N_Raise_Statement
2126 or else NT (N).Nkind = N_Requeue_Statement
2127 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2128 or else NT (N).Nkind = N_Subunit
2129 or else NT (N).Nkind = N_Variant_Part
2130 or else NT (N).Nkind = N_With_Clause);
2135 (N : Node_Id) return List_Id is
2137 pragma Assert (False
2138 or else NT (N).Nkind = N_Abort_Statement
2139 or else NT (N).Nkind = N_Use_Package_Clause);
2143 function Next_Entity
2144 (N : Node_Id) return Node_Id is
2146 pragma Assert (False
2147 or else NT (N).Nkind = N_Defining_Character_Literal
2148 or else NT (N).Nkind = N_Defining_Identifier
2149 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2153 function Next_Exit_Statement
2154 (N : Node_Id) return Node_Id is
2156 pragma Assert (False
2157 or else NT (N).Nkind = N_Exit_Statement);
2159 end Next_Exit_Statement;
2161 function Next_Implicit_With
2162 (N : Node_Id) return Node_Id is
2164 pragma Assert (False
2165 or else NT (N).Nkind = N_With_Clause);
2167 end Next_Implicit_With;
2169 function Next_Named_Actual
2170 (N : Node_Id) return Node_Id is
2172 pragma Assert (False
2173 or else NT (N).Nkind = N_Parameter_Association);
2175 end Next_Named_Actual;
2177 function Next_Pragma
2178 (N : Node_Id) return Node_Id is
2180 pragma Assert (False
2181 or else NT (N).Nkind = N_Pragma);
2185 function Next_Rep_Item
2186 (N : Node_Id) return Node_Id is
2188 pragma Assert (False
2189 or else NT (N).Nkind = N_Aspect_Specification
2190 or else NT (N).Nkind = N_Attribute_Definition_Clause
2191 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2192 or else NT (N).Nkind = N_Pragma
2193 or else NT (N).Nkind = N_Record_Representation_Clause);
2197 function Next_Use_Clause
2198 (N : Node_Id) return Node_Id is
2200 pragma Assert (False
2201 or else NT (N).Nkind = N_Use_Package_Clause
2202 or else NT (N).Nkind = N_Use_Type_Clause);
2204 end Next_Use_Clause;
2206 function No_Ctrl_Actions
2207 (N : Node_Id) return Boolean is
2209 pragma Assert (False
2210 or else NT (N).Nkind = N_Assignment_Statement);
2212 end No_Ctrl_Actions;
2214 function No_Elaboration_Check
2215 (N : Node_Id) return Boolean is
2217 pragma Assert (False
2218 or else NT (N).Nkind = N_Function_Call
2219 or else NT (N).Nkind = N_Procedure_Call_Statement);
2221 end No_Elaboration_Check;
2223 function No_Entities_Ref_In_Spec
2224 (N : Node_Id) return Boolean is
2226 pragma Assert (False
2227 or else NT (N).Nkind = N_With_Clause);
2229 end No_Entities_Ref_In_Spec;
2231 function No_Initialization
2232 (N : Node_Id) return Boolean is
2234 pragma Assert (False
2235 or else NT (N).Nkind = N_Allocator
2236 or else NT (N).Nkind = N_Object_Declaration);
2238 end No_Initialization;
2240 function No_Minimize_Eliminate
2241 (N : Node_Id) return Boolean is
2243 pragma Assert (False
2244 or else NT (N).Nkind = N_In
2245 or else NT (N).Nkind = N_Not_In);
2247 end No_Minimize_Eliminate;
2249 function No_Truncation
2250 (N : Node_Id) return Boolean is
2252 pragma Assert (False
2253 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2257 function Null_Present
2258 (N : Node_Id) return Boolean is
2260 pragma Assert (False
2261 or else NT (N).Nkind = N_Component_List
2262 or else NT (N).Nkind = N_Procedure_Specification
2263 or else NT (N).Nkind = N_Record_Definition);
2267 function Null_Exclusion_Present
2268 (N : Node_Id) return Boolean is
2270 pragma Assert (False
2271 or else NT (N).Nkind = N_Access_Definition
2272 or else NT (N).Nkind = N_Access_Function_Definition
2273 or else NT (N).Nkind = N_Access_Procedure_Definition
2274 or else NT (N).Nkind = N_Access_To_Object_Definition
2275 or else NT (N).Nkind = N_Allocator
2276 or else NT (N).Nkind = N_Component_Definition
2277 or else NT (N).Nkind = N_Derived_Type_Definition
2278 or else NT (N).Nkind = N_Discriminant_Specification
2279 or else NT (N).Nkind = N_Formal_Object_Declaration
2280 or else NT (N).Nkind = N_Function_Specification
2281 or else NT (N).Nkind = N_Object_Declaration
2282 or else NT (N).Nkind = N_Object_Renaming_Declaration
2283 or else NT (N).Nkind = N_Parameter_Specification
2284 or else NT (N).Nkind = N_Subtype_Declaration);
2286 end Null_Exclusion_Present;
2288 function Null_Exclusion_In_Return_Present
2289 (N : Node_Id) return Boolean is
2291 pragma Assert (False
2292 or else NT (N).Nkind = N_Access_Function_Definition);
2294 end Null_Exclusion_In_Return_Present;
2296 function Null_Record_Present
2297 (N : Node_Id) return Boolean is
2299 pragma Assert (False
2300 or else NT (N).Nkind = N_Aggregate
2301 or else NT (N).Nkind = N_Extension_Aggregate);
2303 end Null_Record_Present;
2305 function Object_Definition
2306 (N : Node_Id) return Node_Id is
2308 pragma Assert (False
2309 or else NT (N).Nkind = N_Object_Declaration);
2311 end Object_Definition;
2314 (N : Node_Id) return Boolean is
2316 pragma Assert (False
2317 or else NT (N).Nkind = N_Iterator_Specification);
2321 function Original_Discriminant
2322 (N : Node_Id) return Node_Id is
2324 pragma Assert (False
2325 or else NT (N).Nkind = N_Identifier);
2327 end Original_Discriminant;
2329 function Original_Entity
2330 (N : Node_Id) return Entity_Id is
2332 pragma Assert (False
2333 or else NT (N).Nkind = N_Integer_Literal
2334 or else NT (N).Nkind = N_Real_Literal);
2336 end Original_Entity;
2338 function Others_Discrete_Choices
2339 (N : Node_Id) return List_Id is
2341 pragma Assert (False
2342 or else NT (N).Nkind = N_Others_Choice);
2344 end Others_Discrete_Choices;
2346 function Out_Present
2347 (N : Node_Id) return Boolean is
2349 pragma Assert (False
2350 or else NT (N).Nkind = N_Formal_Object_Declaration
2351 or else NT (N).Nkind = N_Parameter_Specification);
2355 function Parameter_Associations
2356 (N : Node_Id) return List_Id is
2358 pragma Assert (False
2359 or else NT (N).Nkind = N_Entry_Call_Statement
2360 or else NT (N).Nkind = N_Function_Call
2361 or else NT (N).Nkind = N_Procedure_Call_Statement);
2363 end Parameter_Associations;
2365 function Parameter_List_Truncated
2366 (N : Node_Id) return Boolean is
2368 pragma Assert (False
2369 or else NT (N).Nkind = N_Function_Call
2370 or else NT (N).Nkind = N_Procedure_Call_Statement);
2372 end Parameter_List_Truncated;
2374 function Parameter_Specifications
2375 (N : Node_Id) return List_Id is
2377 pragma Assert (False
2378 or else NT (N).Nkind = N_Accept_Statement
2379 or else NT (N).Nkind = N_Access_Function_Definition
2380 or else NT (N).Nkind = N_Access_Procedure_Definition
2381 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2382 or else NT (N).Nkind = N_Entry_Declaration
2383 or else NT (N).Nkind = N_Function_Specification
2384 or else NT (N).Nkind = N_Procedure_Specification);
2386 end Parameter_Specifications;
2388 function Parameter_Type
2389 (N : Node_Id) return Node_Id is
2391 pragma Assert (False
2392 or else NT (N).Nkind = N_Parameter_Specification);
2396 function Parent_Spec
2397 (N : Node_Id) return Node_Id is
2399 pragma Assert (False
2400 or else NT (N).Nkind = N_Function_Instantiation
2401 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2402 or else NT (N).Nkind = N_Generic_Package_Declaration
2403 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2404 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2405 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2406 or else NT (N).Nkind = N_Package_Declaration
2407 or else NT (N).Nkind = N_Package_Instantiation
2408 or else NT (N).Nkind = N_Package_Renaming_Declaration
2409 or else NT (N).Nkind = N_Procedure_Instantiation
2410 or else NT (N).Nkind = N_Subprogram_Declaration
2411 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2416 (N : Node_Id) return Node_Id is
2418 pragma Assert (False
2419 or else NT (N).Nkind = N_Component_Clause);
2423 function Pragma_Argument_Associations
2424 (N : Node_Id) return List_Id is
2426 pragma Assert (False
2427 or else NT (N).Nkind = N_Pragma);
2429 end Pragma_Argument_Associations;
2431 function Pragma_Identifier
2432 (N : Node_Id) return Node_Id is
2434 pragma Assert (False
2435 or else NT (N).Nkind = N_Pragma);
2437 end Pragma_Identifier;
2439 function Pragmas_After
2440 (N : Node_Id) return List_Id is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Compilation_Unit_Aux
2444 or else NT (N).Nkind = N_Terminate_Alternative);
2448 function Pragmas_Before
2449 (N : Node_Id) return List_Id is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Accept_Alternative
2453 or else NT (N).Nkind = N_Delay_Alternative
2454 or else NT (N).Nkind = N_Entry_Call_Alternative
2455 or else NT (N).Nkind = N_Mod_Clause
2456 or else NT (N).Nkind = N_Terminate_Alternative
2457 or else NT (N).Nkind = N_Triggering_Alternative);
2462 (N : Node_Id) return Node_Id is
2464 pragma Assert (False
2465 or else NT (N).Nkind = N_Attribute_Reference
2466 or else NT (N).Nkind = N_Expanded_Name
2467 or else NT (N).Nkind = N_Explicit_Dereference
2468 or else NT (N).Nkind = N_Indexed_Component
2469 or else NT (N).Nkind = N_Reference
2470 or else NT (N).Nkind = N_Selected_Component
2471 or else NT (N).Nkind = N_Slice);
2475 function Premature_Use
2476 (N : Node_Id) return Node_Id is
2478 pragma Assert (False
2479 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2483 function Present_Expr
2484 (N : Node_Id) return Uint is
2486 pragma Assert (False
2487 or else NT (N).Nkind = N_Variant);
2492 (N : Node_Id) return Boolean is
2494 pragma Assert (False
2495 or else NT (N).Nkind = N_Component_Declaration
2496 or else NT (N).Nkind = N_Discriminant_Specification
2497 or else NT (N).Nkind = N_Exception_Declaration
2498 or else NT (N).Nkind = N_Formal_Object_Declaration
2499 or else NT (N).Nkind = N_Number_Declaration
2500 or else NT (N).Nkind = N_Object_Declaration
2501 or else NT (N).Nkind = N_Parameter_Specification);
2505 function Print_In_Hex
2506 (N : Node_Id) return Boolean is
2508 pragma Assert (False
2509 or else NT (N).Nkind = N_Integer_Literal);
2513 function Private_Declarations
2514 (N : Node_Id) return List_Id is
2516 pragma Assert (False
2517 or else NT (N).Nkind = N_Package_Specification
2518 or else NT (N).Nkind = N_Protected_Definition
2519 or else NT (N).Nkind = N_Task_Definition);
2521 end Private_Declarations;
2523 function Private_Present
2524 (N : Node_Id) return Boolean is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Compilation_Unit
2528 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2529 or else NT (N).Nkind = N_With_Clause);
2531 end Private_Present;
2533 function Procedure_To_Call
2534 (N : Node_Id) return Node_Id is
2536 pragma Assert (False
2537 or else NT (N).Nkind = N_Allocator
2538 or else NT (N).Nkind = N_Extended_Return_Statement
2539 or else NT (N).Nkind = N_Free_Statement
2540 or else NT (N).Nkind = N_Simple_Return_Statement);
2542 end Procedure_To_Call;
2544 function Proper_Body
2545 (N : Node_Id) return Node_Id is
2547 pragma Assert (False
2548 or else NT (N).Nkind = N_Subunit);
2552 function Protected_Definition
2553 (N : Node_Id) return Node_Id is
2555 pragma Assert (False
2556 or else NT (N).Nkind = N_Protected_Type_Declaration
2557 or else NT (N).Nkind = N_Single_Protected_Declaration);
2559 end Protected_Definition;
2561 function Protected_Present
2562 (N : Node_Id) return Boolean is
2564 pragma Assert (False
2565 or else NT (N).Nkind = N_Access_Function_Definition
2566 or else NT (N).Nkind = N_Access_Procedure_Definition
2567 or else NT (N).Nkind = N_Derived_Type_Definition
2568 or else NT (N).Nkind = N_Record_Definition);
2570 end Protected_Present;
2572 function Raises_Constraint_Error
2573 (N : Node_Id) return Boolean is
2575 pragma Assert (False
2576 or else NT (N).Nkind in N_Subexpr);
2578 end Raises_Constraint_Error;
2580 function Range_Constraint
2581 (N : Node_Id) return Node_Id is
2583 pragma Assert (False
2584 or else NT (N).Nkind = N_Delta_Constraint
2585 or else NT (N).Nkind = N_Digits_Constraint);
2587 end Range_Constraint;
2589 function Range_Expression
2590 (N : Node_Id) return Node_Id is
2592 pragma Assert (False
2593 or else NT (N).Nkind = N_Range_Constraint);
2595 end Range_Expression;
2597 function Real_Range_Specification
2598 (N : Node_Id) return Node_Id is
2600 pragma Assert (False
2601 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2602 or else NT (N).Nkind = N_Floating_Point_Definition
2603 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2605 end Real_Range_Specification;
2608 (N : Node_Id) return Ureal is
2610 pragma Assert (False
2611 or else NT (N).Nkind = N_Real_Literal);
2616 (N : Node_Id) return Uint is
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Raise_Constraint_Error
2620 or else NT (N).Nkind = N_Raise_Program_Error
2621 or else NT (N).Nkind = N_Raise_Storage_Error);
2625 function Record_Extension_Part
2626 (N : Node_Id) return Node_Id is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Derived_Type_Definition);
2631 end Record_Extension_Part;
2633 function Redundant_Use
2634 (N : Node_Id) return Boolean is
2636 pragma Assert (False
2637 or else NT (N).Nkind = N_Attribute_Reference
2638 or else NT (N).Nkind = N_Expanded_Name
2639 or else NT (N).Nkind = N_Identifier);
2643 function Renaming_Exception
2644 (N : Node_Id) return Node_Id is
2646 pragma Assert (False
2647 or else NT (N).Nkind = N_Exception_Declaration);
2649 end Renaming_Exception;
2651 function Result_Definition
2652 (N : Node_Id) return Node_Id is
2654 pragma Assert (False
2655 or else NT (N).Nkind = N_Access_Function_Definition
2656 or else NT (N).Nkind = N_Function_Specification);
2658 end Result_Definition;
2660 function Return_Object_Declarations
2661 (N : Node_Id) return List_Id is
2663 pragma Assert (False
2664 or else NT (N).Nkind = N_Extended_Return_Statement);
2666 end Return_Object_Declarations;
2668 function Return_Statement_Entity
2669 (N : Node_Id) return Node_Id is
2671 pragma Assert (False
2672 or else NT (N).Nkind = N_Extended_Return_Statement
2673 or else NT (N).Nkind = N_Simple_Return_Statement);
2675 end Return_Statement_Entity;
2677 function Reverse_Present
2678 (N : Node_Id) return Boolean is
2680 pragma Assert (False
2681 or else NT (N).Nkind = N_Iterator_Specification
2682 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2684 end Reverse_Present;
2687 (N : Node_Id) return Node_Id is
2689 pragma Assert (False
2690 or else NT (N).Nkind in N_Op
2691 or else NT (N).Nkind = N_And_Then
2692 or else NT (N).Nkind = N_In
2693 or else NT (N).Nkind = N_Not_In
2694 or else NT (N).Nkind = N_Or_Else);
2698 function Rounded_Result
2699 (N : Node_Id) return Boolean is
2701 pragma Assert (False
2702 or else NT (N).Nkind = N_Op_Divide
2703 or else NT (N).Nkind = N_Op_Multiply
2704 or else NT (N).Nkind = N_Type_Conversion);
2708 function SCIL_Controlling_Tag
2709 (N : Node_Id) return Node_Id is
2711 pragma Assert (False
2712 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2714 end SCIL_Controlling_Tag;
2716 function SCIL_Entity
2717 (N : Node_Id) return Node_Id is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2721 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2722 or else NT (N).Nkind = N_SCIL_Membership_Test);
2726 function SCIL_Tag_Value
2727 (N : Node_Id) return Node_Id is
2729 pragma Assert (False
2730 or else NT (N).Nkind = N_SCIL_Membership_Test);
2734 function SCIL_Target_Prim
2735 (N : Node_Id) return Node_Id is
2737 pragma Assert (False
2738 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2740 end SCIL_Target_Prim;
2743 (N : Node_Id) return Node_Id is
2745 pragma Assert (False
2746 or else NT (N).Nkind = N_Defining_Character_Literal
2747 or else NT (N).Nkind = N_Defining_Identifier
2748 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2752 function Select_Alternatives
2753 (N : Node_Id) return List_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_Selective_Accept);
2758 end Select_Alternatives;
2760 function Selector_Name
2761 (N : Node_Id) return Node_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Expanded_Name
2765 or else NT (N).Nkind = N_Generic_Association
2766 or else NT (N).Nkind = N_Parameter_Association
2767 or else NT (N).Nkind = N_Selected_Component);
2771 function Selector_Names
2772 (N : Node_Id) return List_Id is
2774 pragma Assert (False
2775 or else NT (N).Nkind = N_Discriminant_Association);
2779 function Shift_Count_OK
2780 (N : Node_Id) return Boolean is
2782 pragma Assert (False
2783 or else NT (N).Nkind = N_Op_Rotate_Left
2784 or else NT (N).Nkind = N_Op_Rotate_Right
2785 or else NT (N).Nkind = N_Op_Shift_Left
2786 or else NT (N).Nkind = N_Op_Shift_Right
2787 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2791 function Source_Type
2792 (N : Node_Id) return Entity_Id is
2794 pragma Assert (False
2795 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2799 function Spec_PPC_List
2800 (N : Node_Id) return Node_Id is
2802 pragma Assert (False
2803 or else NT (N).Nkind = N_Contract);
2807 function Spec_CTC_List
2808 (N : Node_Id) return Node_Id is
2810 pragma Assert (False
2811 or else NT (N).Nkind = N_Contract);
2815 function Specification
2816 (N : Node_Id) return Node_Id is
2818 pragma Assert (False
2819 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2820 or else NT (N).Nkind = N_Expression_Function
2821 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2822 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2823 or else NT (N).Nkind = N_Generic_Package_Declaration
2824 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2825 or else NT (N).Nkind = N_Package_Declaration
2826 or else NT (N).Nkind = N_Subprogram_Body
2827 or else NT (N).Nkind = N_Subprogram_Body_Stub
2828 or else NT (N).Nkind = N_Subprogram_Declaration
2829 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2834 (N : Node_Id) return Boolean is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_Aspect_Specification
2838 or else NT (N).Nkind = N_Pragma);
2843 (N : Node_Id) return List_Id is
2845 pragma Assert (False
2846 or else NT (N).Nkind = N_Abortable_Part
2847 or else NT (N).Nkind = N_Accept_Alternative
2848 or else NT (N).Nkind = N_Case_Statement_Alternative
2849 or else NT (N).Nkind = N_Delay_Alternative
2850 or else NT (N).Nkind = N_Entry_Call_Alternative
2851 or else NT (N).Nkind = N_Exception_Handler
2852 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2853 or else NT (N).Nkind = N_Loop_Statement
2854 or else NT (N).Nkind = N_Triggering_Alternative);
2858 function Storage_Pool
2859 (N : Node_Id) return Node_Id is
2861 pragma Assert (False
2862 or else NT (N).Nkind = N_Allocator
2863 or else NT (N).Nkind = N_Extended_Return_Statement
2864 or else NT (N).Nkind = N_Free_Statement
2865 or else NT (N).Nkind = N_Simple_Return_Statement);
2869 function Subpool_Handle_Name
2870 (N : Node_Id) return Node_Id is
2872 pragma Assert (False
2873 or else NT (N).Nkind = N_Allocator);
2875 end Subpool_Handle_Name;
2878 (N : Node_Id) return String_Id is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Operator_Symbol
2882 or else NT (N).Nkind = N_String_Literal);
2886 function Subtype_Indication
2887 (N : Node_Id) return Node_Id is
2889 pragma Assert (False
2890 or else NT (N).Nkind = N_Access_To_Object_Definition
2891 or else NT (N).Nkind = N_Component_Definition
2892 or else NT (N).Nkind = N_Derived_Type_Definition
2893 or else NT (N).Nkind = N_Iterator_Specification
2894 or else NT (N).Nkind = N_Private_Extension_Declaration
2895 or else NT (N).Nkind = N_Subtype_Declaration);
2897 end Subtype_Indication;
2899 function Suppress_Assignment_Checks
2900 (N : Node_Id) return Boolean is
2902 pragma Assert (False
2903 or else NT (N).Nkind = N_Assignment_Statement
2904 or else NT (N).Nkind = N_Object_Declaration);
2906 end Suppress_Assignment_Checks;
2908 function Suppress_Loop_Warnings
2909 (N : Node_Id) return Boolean is
2911 pragma Assert (False
2912 or else NT (N).Nkind = N_Loop_Statement);
2914 end Suppress_Loop_Warnings;
2916 function Subtype_Mark
2917 (N : Node_Id) return Node_Id is
2919 pragma Assert (False
2920 or else NT (N).Nkind = N_Access_Definition
2921 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2922 or else NT (N).Nkind = N_Formal_Object_Declaration
2923 or else NT (N).Nkind = N_Object_Renaming_Declaration
2924 or else NT (N).Nkind = N_Qualified_Expression
2925 or else NT (N).Nkind = N_Subtype_Indication
2926 or else NT (N).Nkind = N_Type_Conversion
2927 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2931 function Subtype_Marks
2932 (N : Node_Id) return List_Id is
2934 pragma Assert (False
2935 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2936 or else NT (N).Nkind = N_Use_Type_Clause);
2940 function Synchronized_Present
2941 (N : Node_Id) return Boolean is
2943 pragma Assert (False
2944 or else NT (N).Nkind = N_Derived_Type_Definition
2945 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2946 or else NT (N).Nkind = N_Private_Extension_Declaration
2947 or else NT (N).Nkind = N_Record_Definition);
2949 end Synchronized_Present;
2951 function Tagged_Present
2952 (N : Node_Id) return Boolean is
2954 pragma Assert (False
2955 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2956 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2957 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2958 or else NT (N).Nkind = N_Private_Type_Declaration
2959 or else NT (N).Nkind = N_Record_Definition);
2963 function Target_Type
2964 (N : Node_Id) return Entity_Id is
2966 pragma Assert (False
2967 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2971 function Task_Definition
2972 (N : Node_Id) return Node_Id is
2974 pragma Assert (False
2975 or else NT (N).Nkind = N_Single_Task_Declaration
2976 or else NT (N).Nkind = N_Task_Type_Declaration);
2978 end Task_Definition;
2980 function Task_Present
2981 (N : Node_Id) return Boolean is
2983 pragma Assert (False
2984 or else NT (N).Nkind = N_Derived_Type_Definition
2985 or else NT (N).Nkind = N_Record_Definition);
2989 function Then_Actions
2990 (N : Node_Id) return List_Id is
2992 pragma Assert (False
2993 or else NT (N).Nkind = N_If_Expression);
2997 function Then_Statements
2998 (N : Node_Id) return List_Id is
3000 pragma Assert (False
3001 or else NT (N).Nkind = N_Elsif_Part
3002 or else NT (N).Nkind = N_If_Statement);
3004 end Then_Statements;
3006 function Treat_Fixed_As_Integer
3007 (N : Node_Id) return Boolean is
3009 pragma Assert (False
3010 or else NT (N).Nkind = N_Op_Divide
3011 or else NT (N).Nkind = N_Op_Mod
3012 or else NT (N).Nkind = N_Op_Multiply
3013 or else NT (N).Nkind = N_Op_Rem);
3015 end Treat_Fixed_As_Integer;
3017 function Triggering_Alternative
3018 (N : Node_Id) return Node_Id is
3020 pragma Assert (False
3021 or else NT (N).Nkind = N_Asynchronous_Select);
3023 end Triggering_Alternative;
3025 function Triggering_Statement
3026 (N : Node_Id) return Node_Id is
3028 pragma Assert (False
3029 or else NT (N).Nkind = N_Triggering_Alternative);
3031 end Triggering_Statement;
3034 (N : Node_Id) return Elist_Id is
3036 pragma Assert (False
3037 or else NT (N).Nkind = N_Freeze_Entity);
3041 function Type_Definition
3042 (N : Node_Id) return Node_Id is
3044 pragma Assert (False
3045 or else NT (N).Nkind = N_Full_Type_Declaration);
3047 end Type_Definition;
3050 (N : Node_Id) return Node_Id is
3052 pragma Assert (False
3053 or else NT (N).Nkind = N_Compilation_Unit);
3057 function Unknown_Discriminants_Present
3058 (N : Node_Id) return Boolean is
3060 pragma Assert (False
3061 or else NT (N).Nkind = N_Formal_Type_Declaration
3062 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3063 or else NT (N).Nkind = N_Private_Extension_Declaration
3064 or else NT (N).Nkind = N_Private_Type_Declaration);
3066 end Unknown_Discriminants_Present;
3068 function Unreferenced_In_Spec
3069 (N : Node_Id) return Boolean is
3071 pragma Assert (False
3072 or else NT (N).Nkind = N_With_Clause);
3074 end Unreferenced_In_Spec;
3076 function Variant_Part
3077 (N : Node_Id) return Node_Id is
3079 pragma Assert (False
3080 or else NT (N).Nkind = N_Component_List);
3085 (N : Node_Id) return List_Id is
3087 pragma Assert (False
3088 or else NT (N).Nkind = N_Variant_Part);
3092 function Visible_Declarations
3093 (N : Node_Id) return List_Id is
3095 pragma Assert (False
3096 or else NT (N).Nkind = N_Package_Specification
3097 or else NT (N).Nkind = N_Protected_Definition
3098 or else NT (N).Nkind = N_Task_Definition);
3100 end Visible_Declarations;
3102 function Used_Operations
3103 (N : Node_Id) return Elist_Id is
3105 pragma Assert (False
3106 or else NT (N).Nkind = N_Use_Type_Clause);
3108 end Used_Operations;
3110 function Was_Originally_Stub
3111 (N : Node_Id) return Boolean is
3113 pragma Assert (False
3114 or else NT (N).Nkind = N_Package_Body
3115 or else NT (N).Nkind = N_Protected_Body
3116 or else NT (N).Nkind = N_Subprogram_Body
3117 or else NT (N).Nkind = N_Task_Body);
3119 end Was_Originally_Stub;
3121 function Withed_Body
3122 (N : Node_Id) return Node_Id is
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_With_Clause);
3129 --------------------------
3130 -- Field Set Procedures --
3131 --------------------------
3133 procedure Set_ABE_Is_Certain
3134 (N : Node_Id; Val : Boolean := True) is
3136 pragma Assert (False
3137 or else NT (N).Nkind = N_Formal_Package_Declaration
3138 or else NT (N).Nkind = N_Function_Call
3139 or else NT (N).Nkind = N_Function_Instantiation
3140 or else NT (N).Nkind = N_Package_Instantiation
3141 or else NT (N).Nkind = N_Procedure_Call_Statement
3142 or else NT (N).Nkind = N_Procedure_Instantiation);
3143 Set_Flag18 (N, Val);
3144 end Set_ABE_Is_Certain;
3146 procedure Set_Abort_Present
3147 (N : Node_Id; Val : Boolean := True) is
3149 pragma Assert (False
3150 or else NT (N).Nkind = N_Requeue_Statement);
3151 Set_Flag15 (N, Val);
3152 end Set_Abort_Present;
3154 procedure Set_Abortable_Part
3155 (N : Node_Id; Val : Node_Id) is
3157 pragma Assert (False
3158 or else NT (N).Nkind = N_Asynchronous_Select);
3159 Set_Node2_With_Parent (N, Val);
3160 end Set_Abortable_Part;
3162 procedure Set_Abstract_Present
3163 (N : Node_Id; Val : Boolean := True) is
3165 pragma Assert (False
3166 or else NT (N).Nkind = N_Derived_Type_Definition
3167 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3168 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3169 or else NT (N).Nkind = N_Private_Extension_Declaration
3170 or else NT (N).Nkind = N_Private_Type_Declaration
3171 or else NT (N).Nkind = N_Record_Definition);
3173 end Set_Abstract_Present;
3175 procedure Set_Accept_Handler_Records
3176 (N : Node_Id; Val : List_Id) is
3178 pragma Assert (False
3179 or else NT (N).Nkind = N_Accept_Alternative);
3180 Set_List5 (N, Val); -- semantic field, no parent set
3181 end Set_Accept_Handler_Records;
3183 procedure Set_Accept_Statement
3184 (N : Node_Id; Val : Node_Id) is
3186 pragma Assert (False
3187 or else NT (N).Nkind = N_Accept_Alternative);
3188 Set_Node2_With_Parent (N, Val);
3189 end Set_Accept_Statement;
3191 procedure Set_Access_Definition
3192 (N : Node_Id; Val : Node_Id) is
3194 pragma Assert (False
3195 or else NT (N).Nkind = N_Component_Definition
3196 or else NT (N).Nkind = N_Formal_Object_Declaration
3197 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3198 Set_Node3_With_Parent (N, Val);
3199 end Set_Access_Definition;
3201 procedure Set_Access_To_Subprogram_Definition
3202 (N : Node_Id; Val : Node_Id) is
3204 pragma Assert (False
3205 or else NT (N).Nkind = N_Access_Definition);
3206 Set_Node3_With_Parent (N, Val);
3207 end Set_Access_To_Subprogram_Definition;
3209 procedure Set_Access_Types_To_Process
3210 (N : Node_Id; Val : Elist_Id) is
3212 pragma Assert (False
3213 or else NT (N).Nkind = N_Freeze_Entity);
3214 Set_Elist2 (N, Val); -- semantic field, no parent set
3215 end Set_Access_Types_To_Process;
3217 procedure Set_Actions
3218 (N : Node_Id; Val : List_Id) is
3220 pragma Assert (False
3221 or else NT (N).Nkind = N_And_Then
3222 or else NT (N).Nkind = N_Case_Expression_Alternative
3223 or else NT (N).Nkind = N_Compilation_Unit_Aux
3224 or else NT (N).Nkind = N_Expression_With_Actions
3225 or else NT (N).Nkind = N_Freeze_Entity
3226 or else NT (N).Nkind = N_Or_Else);
3227 Set_List1_With_Parent (N, Val);
3230 procedure Set_Activation_Chain_Entity
3231 (N : Node_Id; Val : Node_Id) is
3233 pragma Assert (False
3234 or else NT (N).Nkind = N_Block_Statement
3235 or else NT (N).Nkind = N_Entry_Body
3236 or else NT (N).Nkind = N_Generic_Package_Declaration
3237 or else NT (N).Nkind = N_Package_Declaration
3238 or else NT (N).Nkind = N_Subprogram_Body
3239 or else NT (N).Nkind = N_Task_Body);
3240 Set_Node3 (N, Val); -- semantic field, no parent set
3241 end Set_Activation_Chain_Entity;
3243 procedure Set_Acts_As_Spec
3244 (N : Node_Id; Val : Boolean := True) is
3246 pragma Assert (False
3247 or else NT (N).Nkind = N_Compilation_Unit
3248 or else NT (N).Nkind = N_Subprogram_Body);
3250 end Set_Acts_As_Spec;
3252 procedure Set_Actual_Designated_Subtype
3253 (N : Node_Id; Val : Node_Id) is
3255 pragma Assert (False
3256 or else NT (N).Nkind = N_Explicit_Dereference
3257 or else NT (N).Nkind = N_Free_Statement);
3259 end Set_Actual_Designated_Subtype;
3261 procedure Set_Address_Warning_Posted
3262 (N : Node_Id; Val : Boolean := True) is
3264 pragma Assert (False
3265 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3266 Set_Flag18 (N, Val);
3267 end Set_Address_Warning_Posted;
3269 procedure Set_Aggregate_Bounds
3270 (N : Node_Id; Val : Node_Id) is
3272 pragma Assert (False
3273 or else NT (N).Nkind = N_Aggregate);
3274 Set_Node3 (N, Val); -- semantic field, no parent set
3275 end Set_Aggregate_Bounds;
3277 procedure Set_Aliased_Present
3278 (N : Node_Id; Val : Boolean := True) is
3280 pragma Assert (False
3281 or else NT (N).Nkind = N_Component_Definition
3282 or else NT (N).Nkind = N_Object_Declaration
3283 or else NT (N).Nkind = N_Parameter_Specification);
3285 end Set_Aliased_Present;
3287 procedure Set_All_Others
3288 (N : Node_Id; Val : Boolean := True) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Others_Choice);
3292 Set_Flag11 (N, Val);
3295 procedure Set_All_Present
3296 (N : Node_Id; Val : Boolean := True) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Access_Definition
3300 or else NT (N).Nkind = N_Access_To_Object_Definition
3301 or else NT (N).Nkind = N_Quantified_Expression
3302 or else NT (N).Nkind = N_Use_Type_Clause);
3303 Set_Flag15 (N, Val);
3304 end Set_All_Present;
3306 procedure Set_Alternatives
3307 (N : Node_Id; Val : List_Id) is
3309 pragma Assert (False
3310 or else NT (N).Nkind = N_Case_Expression
3311 or else NT (N).Nkind = N_Case_Statement
3312 or else NT (N).Nkind = N_In
3313 or else NT (N).Nkind = N_Not_In);
3314 Set_List4_With_Parent (N, Val);
3315 end Set_Alternatives;
3317 procedure Set_Ancestor_Part
3318 (N : Node_Id; Val : Node_Id) is
3320 pragma Assert (False
3321 or else NT (N).Nkind = N_Extension_Aggregate);
3322 Set_Node3_With_Parent (N, Val);
3323 end Set_Ancestor_Part;
3325 procedure Set_Atomic_Sync_Required
3326 (N : Node_Id; Val : Boolean := True) is
3328 pragma Assert (False
3329 or else NT (N).Nkind = N_Expanded_Name
3330 or else NT (N).Nkind = N_Explicit_Dereference
3331 or else NT (N).Nkind = N_Identifier
3332 or else NT (N).Nkind = N_Indexed_Component
3333 or else NT (N).Nkind = N_Selected_Component);
3334 Set_Flag14 (N, Val);
3335 end Set_Atomic_Sync_Required;
3337 procedure Set_Array_Aggregate
3338 (N : Node_Id; Val : Node_Id) is
3340 pragma Assert (False
3341 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3342 Set_Node3_With_Parent (N, Val);
3343 end Set_Array_Aggregate;
3345 procedure Set_Aspect_Rep_Item
3346 (N : Node_Id; Val : Node_Id) is
3348 pragma Assert (False
3349 or else NT (N).Nkind = N_Aspect_Specification);
3351 end Set_Aspect_Rep_Item;
3353 procedure Set_Assignment_OK
3354 (N : Node_Id; Val : Boolean := True) is
3356 pragma Assert (False
3357 or else NT (N).Nkind = N_Object_Declaration
3358 or else NT (N).Nkind in N_Subexpr);
3359 Set_Flag15 (N, Val);
3360 end Set_Assignment_OK;
3362 procedure Set_Associated_Node
3363 (N : Node_Id; Val : Node_Id) is
3365 pragma Assert (False
3366 or else NT (N).Nkind in N_Has_Entity
3367 or else NT (N).Nkind = N_Aggregate
3368 or else NT (N).Nkind = N_Extension_Aggregate
3369 or else NT (N).Nkind = N_Selected_Component);
3370 Set_Node4 (N, Val); -- semantic field, no parent set
3371 end Set_Associated_Node;
3373 procedure Set_At_End_Proc
3374 (N : Node_Id; Val : Node_Id) is
3376 pragma Assert (False
3377 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3379 end Set_At_End_Proc;
3381 procedure Set_Attribute_Name
3382 (N : Node_Id; Val : Name_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Attribute_Reference);
3387 end Set_Attribute_Name;
3389 procedure Set_Aux_Decls_Node
3390 (N : Node_Id; Val : Node_Id) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Compilation_Unit);
3394 Set_Node5_With_Parent (N, Val);
3395 end Set_Aux_Decls_Node;
3397 procedure Set_Backwards_OK
3398 (N : Node_Id; Val : Boolean := True) is
3400 pragma Assert (False
3401 or else NT (N).Nkind = N_Assignment_Statement);
3403 end Set_Backwards_OK;
3405 procedure Set_Bad_Is_Detected
3406 (N : Node_Id; Val : Boolean := True) is
3408 pragma Assert (False
3409 or else NT (N).Nkind = N_Subprogram_Body);
3410 Set_Flag15 (N, Val);
3411 end Set_Bad_Is_Detected;
3413 procedure Set_Body_Required
3414 (N : Node_Id; Val : Boolean := True) is
3416 pragma Assert (False
3417 or else NT (N).Nkind = N_Compilation_Unit);
3418 Set_Flag13 (N, Val);
3419 end Set_Body_Required;
3421 procedure Set_Body_To_Inline
3422 (N : Node_Id; Val : Node_Id) is
3424 pragma Assert (False
3425 or else NT (N).Nkind = N_Subprogram_Declaration);
3427 end Set_Body_To_Inline;
3429 procedure Set_Box_Present
3430 (N : Node_Id; Val : Boolean := True) is
3432 pragma Assert (False
3433 or else NT (N).Nkind = N_Component_Association
3434 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3435 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3436 or else NT (N).Nkind = N_Formal_Package_Declaration
3437 or else NT (N).Nkind = N_Generic_Association);
3438 Set_Flag15 (N, Val);
3439 end Set_Box_Present;
3441 procedure Set_By_Ref
3442 (N : Node_Id; Val : Boolean := True) is
3444 pragma Assert (False
3445 or else NT (N).Nkind = N_Extended_Return_Statement
3446 or else NT (N).Nkind = N_Simple_Return_Statement);
3450 procedure Set_Char_Literal_Value
3451 (N : Node_Id; Val : Uint) is
3453 pragma Assert (False
3454 or else NT (N).Nkind = N_Character_Literal);
3456 end Set_Char_Literal_Value;
3459 (N : Node_Id; Val : Name_Id) is
3461 pragma Assert (False
3462 or else NT (N).Nkind in N_Has_Chars);
3466 procedure Set_Check_Address_Alignment
3467 (N : Node_Id; Val : Boolean := True) is
3469 pragma Assert (False
3470 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3471 Set_Flag11 (N, Val);
3472 end Set_Check_Address_Alignment;
3474 procedure Set_Choice_Parameter
3475 (N : Node_Id; Val : Node_Id) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Exception_Handler);
3479 Set_Node2_With_Parent (N, Val);
3480 end Set_Choice_Parameter;
3482 procedure Set_Choices
3483 (N : Node_Id; Val : List_Id) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Component_Association);
3487 Set_List1_With_Parent (N, Val);
3490 procedure Set_Class_Present
3491 (N : Node_Id; Val : Boolean := True) is
3493 pragma Assert (False
3494 or else NT (N).Nkind = N_Aspect_Specification
3495 or else NT (N).Nkind = N_Pragma);
3497 end Set_Class_Present;
3499 procedure Set_Comes_From_Extended_Return_Statement
3500 (N : Node_Id; Val : Boolean := True) is
3502 pragma Assert (False
3503 or else NT (N).Nkind = N_Simple_Return_Statement);
3504 Set_Flag18 (N, Val);
3505 end Set_Comes_From_Extended_Return_Statement;
3507 procedure Set_Compile_Time_Known_Aggregate
3508 (N : Node_Id; Val : Boolean := True) is
3510 pragma Assert (False
3511 or else NT (N).Nkind = N_Aggregate);
3512 Set_Flag18 (N, Val);
3513 end Set_Compile_Time_Known_Aggregate;
3515 procedure Set_Component_Associations
3516 (N : Node_Id; Val : List_Id) is
3518 pragma Assert (False
3519 or else NT (N).Nkind = N_Aggregate
3520 or else NT (N).Nkind = N_Extension_Aggregate);
3521 Set_List2_With_Parent (N, Val);
3522 end Set_Component_Associations;
3524 procedure Set_Component_Clauses
3525 (N : Node_Id; Val : List_Id) is
3527 pragma Assert (False
3528 or else NT (N).Nkind = N_Record_Representation_Clause);
3529 Set_List3_With_Parent (N, Val);
3530 end Set_Component_Clauses;
3532 procedure Set_Component_Definition
3533 (N : Node_Id; Val : Node_Id) is
3535 pragma Assert (False
3536 or else NT (N).Nkind = N_Component_Declaration
3537 or else NT (N).Nkind = N_Constrained_Array_Definition
3538 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3539 Set_Node4_With_Parent (N, Val);
3540 end Set_Component_Definition;
3542 procedure Set_Component_Items
3543 (N : Node_Id; Val : List_Id) is
3545 pragma Assert (False
3546 or else NT (N).Nkind = N_Component_List);
3547 Set_List3_With_Parent (N, Val);
3548 end Set_Component_Items;
3550 procedure Set_Component_List
3551 (N : Node_Id; Val : Node_Id) is
3553 pragma Assert (False
3554 or else NT (N).Nkind = N_Record_Definition
3555 or else NT (N).Nkind = N_Variant);
3556 Set_Node1_With_Parent (N, Val);
3557 end Set_Component_List;
3559 procedure Set_Component_Name
3560 (N : Node_Id; Val : Node_Id) is
3562 pragma Assert (False
3563 or else NT (N).Nkind = N_Component_Clause);
3564 Set_Node1_With_Parent (N, Val);
3565 end Set_Component_Name;
3567 procedure Set_Componentwise_Assignment
3568 (N : Node_Id; Val : Boolean := True) is
3570 pragma Assert (False
3571 or else NT (N).Nkind = N_Assignment_Statement);
3572 Set_Flag14 (N, Val);
3573 end Set_Componentwise_Assignment;
3575 procedure Set_Condition
3576 (N : Node_Id; Val : Node_Id) is
3578 pragma Assert (False
3579 or else NT (N).Nkind = N_Accept_Alternative
3580 or else NT (N).Nkind = N_Delay_Alternative
3581 or else NT (N).Nkind = N_Elsif_Part
3582 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3583 or else NT (N).Nkind = N_Exit_Statement
3584 or else NT (N).Nkind = N_If_Statement
3585 or else NT (N).Nkind = N_Iteration_Scheme
3586 or else NT (N).Nkind = N_Quantified_Expression
3587 or else NT (N).Nkind = N_Raise_Constraint_Error
3588 or else NT (N).Nkind = N_Raise_Program_Error
3589 or else NT (N).Nkind = N_Raise_Storage_Error
3590 or else NT (N).Nkind = N_Terminate_Alternative);
3591 Set_Node1_With_Parent (N, Val);
3594 procedure Set_Condition_Actions
3595 (N : Node_Id; Val : List_Id) is
3597 pragma Assert (False
3598 or else NT (N).Nkind = N_Elsif_Part
3599 or else NT (N).Nkind = N_Iteration_Scheme);
3600 Set_List3 (N, Val); -- semantic field, no parent set
3601 end Set_Condition_Actions;
3603 procedure Set_Config_Pragmas
3604 (N : Node_Id; Val : List_Id) is
3606 pragma Assert (False
3607 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3608 Set_List4_With_Parent (N, Val);
3609 end Set_Config_Pragmas;
3611 procedure Set_Constant_Present
3612 (N : Node_Id; Val : Boolean := True) is
3614 pragma Assert (False
3615 or else NT (N).Nkind = N_Access_Definition
3616 or else NT (N).Nkind = N_Access_To_Object_Definition
3617 or else NT (N).Nkind = N_Object_Declaration);
3618 Set_Flag17 (N, Val);
3619 end Set_Constant_Present;
3621 procedure Set_Constraint
3622 (N : Node_Id; Val : Node_Id) is
3624 pragma Assert (False
3625 or else NT (N).Nkind = N_Subtype_Indication);
3626 Set_Node3_With_Parent (N, Val);
3629 procedure Set_Constraints
3630 (N : Node_Id; Val : List_Id) is
3632 pragma Assert (False
3633 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3634 Set_List1_With_Parent (N, Val);
3635 end Set_Constraints;
3637 procedure Set_Context_Installed
3638 (N : Node_Id; Val : Boolean := True) is
3640 pragma Assert (False
3641 or else NT (N).Nkind = N_With_Clause);
3642 Set_Flag13 (N, Val);
3643 end Set_Context_Installed;
3645 procedure Set_Context_Items
3646 (N : Node_Id; Val : List_Id) is
3648 pragma Assert (False
3649 or else NT (N).Nkind = N_Compilation_Unit);
3650 Set_List1_With_Parent (N, Val);
3651 end Set_Context_Items;
3653 procedure Set_Context_Pending
3654 (N : Node_Id; Val : Boolean := True) is
3656 pragma Assert (False
3657 or else NT (N).Nkind = N_Compilation_Unit);
3658 Set_Flag16 (N, Val);
3659 end Set_Context_Pending;
3661 procedure Set_Controlling_Argument
3662 (N : Node_Id; Val : Node_Id) is
3664 pragma Assert (False
3665 or else NT (N).Nkind = N_Function_Call
3666 or else NT (N).Nkind = N_Procedure_Call_Statement);
3667 Set_Node1 (N, Val); -- semantic field, no parent set
3668 end Set_Controlling_Argument;
3670 procedure Set_Conversion_OK
3671 (N : Node_Id; Val : Boolean := True) is
3673 pragma Assert (False
3674 or else NT (N).Nkind = N_Type_Conversion);
3675 Set_Flag14 (N, Val);
3676 end Set_Conversion_OK;
3678 procedure Set_Corresponding_Aspect
3679 (N : Node_Id; Val : Node_Id) is
3681 pragma Assert (False
3682 or else NT (N).Nkind = N_Pragma);
3684 end Set_Corresponding_Aspect;
3686 procedure Set_Corresponding_Body
3687 (N : Node_Id; Val : Node_Id) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Entry_Declaration
3691 or else NT (N).Nkind = N_Generic_Package_Declaration
3692 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3693 or else NT (N).Nkind = N_Package_Body_Stub
3694 or else NT (N).Nkind = N_Package_Declaration
3695 or else NT (N).Nkind = N_Protected_Body_Stub
3696 or else NT (N).Nkind = N_Protected_Type_Declaration
3697 or else NT (N).Nkind = N_Subprogram_Body_Stub
3698 or else NT (N).Nkind = N_Subprogram_Declaration
3699 or else NT (N).Nkind = N_Task_Body_Stub
3700 or else NT (N).Nkind = N_Task_Type_Declaration);
3701 Set_Node5 (N, Val); -- semantic field, no parent set
3702 end Set_Corresponding_Body;
3704 procedure Set_Corresponding_Formal_Spec
3705 (N : Node_Id; Val : Node_Id) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3709 Set_Node3 (N, Val); -- semantic field, no parent set
3710 end Set_Corresponding_Formal_Spec;
3712 procedure Set_Corresponding_Generic_Association
3713 (N : Node_Id; Val : Node_Id) is
3715 pragma Assert (False
3716 or else NT (N).Nkind = N_Object_Declaration
3717 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3718 Set_Node5 (N, Val); -- semantic field, no parent set
3719 end Set_Corresponding_Generic_Association;
3721 procedure Set_Corresponding_Integer_Value
3722 (N : Node_Id; Val : Uint) is
3724 pragma Assert (False
3725 or else NT (N).Nkind = N_Real_Literal);
3726 Set_Uint4 (N, Val); -- semantic field, no parent set
3727 end Set_Corresponding_Integer_Value;
3729 procedure Set_Corresponding_Spec
3730 (N : Node_Id; Val : Node_Id) is
3732 pragma Assert (False
3733 or else NT (N).Nkind = N_Expression_Function
3734 or else NT (N).Nkind = N_Package_Body
3735 or else NT (N).Nkind = N_Protected_Body
3736 or else NT (N).Nkind = N_Subprogram_Body
3737 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3738 or else NT (N).Nkind = N_Task_Body
3739 or else NT (N).Nkind = N_With_Clause);
3740 Set_Node5 (N, Val); -- semantic field, no parent set
3741 end Set_Corresponding_Spec;
3743 procedure Set_Corresponding_Stub
3744 (N : Node_Id; Val : Node_Id) is
3746 pragma Assert (False
3747 or else NT (N).Nkind = N_Subunit);
3749 end Set_Corresponding_Stub;
3751 procedure Set_Dcheck_Function
3752 (N : Node_Id; Val : Entity_Id) is
3754 pragma Assert (False
3755 or else NT (N).Nkind = N_Variant);
3756 Set_Node5 (N, Val); -- semantic field, no parent set
3757 end Set_Dcheck_Function;
3759 procedure Set_Declarations
3760 (N : Node_Id; Val : List_Id) is
3762 pragma Assert (False
3763 or else NT (N).Nkind = N_Accept_Statement
3764 or else NT (N).Nkind = N_Block_Statement
3765 or else NT (N).Nkind = N_Compilation_Unit_Aux
3766 or else NT (N).Nkind = N_Entry_Body
3767 or else NT (N).Nkind = N_Package_Body
3768 or else NT (N).Nkind = N_Protected_Body
3769 or else NT (N).Nkind = N_Subprogram_Body
3770 or else NT (N).Nkind = N_Task_Body);
3771 Set_List2_With_Parent (N, Val);
3772 end Set_Declarations;
3774 procedure Set_Default_Expression
3775 (N : Node_Id; Val : Node_Id) is
3777 pragma Assert (False
3778 or else NT (N).Nkind = N_Formal_Object_Declaration
3779 or else NT (N).Nkind = N_Parameter_Specification);
3780 Set_Node5 (N, Val); -- semantic field, no parent set
3781 end Set_Default_Expression;
3783 procedure Set_Default_Storage_Pool
3784 (N : Node_Id; Val : Node_Id) is
3786 pragma Assert (False
3787 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3788 Set_Node3 (N, Val); -- semantic field, no parent set
3789 end Set_Default_Storage_Pool;
3791 procedure Set_Default_Name
3792 (N : Node_Id; Val : Node_Id) is
3794 pragma Assert (False
3795 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3796 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3797 Set_Node2_With_Parent (N, Val);
3798 end Set_Default_Name;
3800 procedure Set_Defining_Identifier
3801 (N : Node_Id; Val : Entity_Id) is
3803 pragma Assert (False
3804 or else NT (N).Nkind = N_Component_Declaration
3805 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3806 or else NT (N).Nkind = N_Discriminant_Specification
3807 or else NT (N).Nkind = N_Entry_Body
3808 or else NT (N).Nkind = N_Entry_Declaration
3809 or else NT (N).Nkind = N_Entry_Index_Specification
3810 or else NT (N).Nkind = N_Exception_Declaration
3811 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3812 or else NT (N).Nkind = N_Formal_Object_Declaration
3813 or else NT (N).Nkind = N_Formal_Package_Declaration
3814 or else NT (N).Nkind = N_Formal_Type_Declaration
3815 or else NT (N).Nkind = N_Full_Type_Declaration
3816 or else NT (N).Nkind = N_Implicit_Label_Declaration
3817 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3818 or else NT (N).Nkind = N_Iterator_Specification
3819 or else NT (N).Nkind = N_Loop_Parameter_Specification
3820 or else NT (N).Nkind = N_Number_Declaration
3821 or else NT (N).Nkind = N_Object_Declaration
3822 or else NT (N).Nkind = N_Object_Renaming_Declaration
3823 or else NT (N).Nkind = N_Package_Body_Stub
3824 or else NT (N).Nkind = N_Parameter_Specification
3825 or else NT (N).Nkind = N_Private_Extension_Declaration
3826 or else NT (N).Nkind = N_Private_Type_Declaration
3827 or else NT (N).Nkind = N_Protected_Body
3828 or else NT (N).Nkind = N_Protected_Body_Stub
3829 or else NT (N).Nkind = N_Protected_Type_Declaration
3830 or else NT (N).Nkind = N_Single_Protected_Declaration
3831 or else NT (N).Nkind = N_Single_Task_Declaration
3832 or else NT (N).Nkind = N_Subtype_Declaration
3833 or else NT (N).Nkind = N_Task_Body
3834 or else NT (N).Nkind = N_Task_Body_Stub
3835 or else NT (N).Nkind = N_Task_Type_Declaration);
3836 Set_Node1_With_Parent (N, Val);
3837 end Set_Defining_Identifier;
3839 procedure Set_Defining_Unit_Name
3840 (N : Node_Id; Val : Node_Id) is
3842 pragma Assert (False
3843 or else NT (N).Nkind = N_Function_Instantiation
3844 or else NT (N).Nkind = N_Function_Specification
3845 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3846 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3847 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3848 or else NT (N).Nkind = N_Package_Body
3849 or else NT (N).Nkind = N_Package_Instantiation
3850 or else NT (N).Nkind = N_Package_Renaming_Declaration
3851 or else NT (N).Nkind = N_Package_Specification
3852 or else NT (N).Nkind = N_Procedure_Instantiation
3853 or else NT (N).Nkind = N_Procedure_Specification);
3854 Set_Node1_With_Parent (N, Val);
3855 end Set_Defining_Unit_Name;
3857 procedure Set_Delay_Alternative
3858 (N : Node_Id; Val : Node_Id) is
3860 pragma Assert (False
3861 or else NT (N).Nkind = N_Timed_Entry_Call);
3862 Set_Node4_With_Parent (N, Val);
3863 end Set_Delay_Alternative;
3865 procedure Set_Delay_Statement
3866 (N : Node_Id; Val : Node_Id) is
3868 pragma Assert (False
3869 or else NT (N).Nkind = N_Delay_Alternative);
3870 Set_Node2_With_Parent (N, Val);
3871 end Set_Delay_Statement;
3873 procedure Set_Delta_Expression
3874 (N : Node_Id; Val : Node_Id) is
3876 pragma Assert (False
3877 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3878 or else NT (N).Nkind = N_Delta_Constraint
3879 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3880 Set_Node3_With_Parent (N, Val);
3881 end Set_Delta_Expression;
3883 procedure Set_Digits_Expression
3884 (N : Node_Id; Val : Node_Id) is
3886 pragma Assert (False
3887 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3888 or else NT (N).Nkind = N_Digits_Constraint
3889 or else NT (N).Nkind = N_Floating_Point_Definition);
3890 Set_Node2_With_Parent (N, Val);
3891 end Set_Digits_Expression;
3893 procedure Set_Discr_Check_Funcs_Built
3894 (N : Node_Id; Val : Boolean := True) is
3896 pragma Assert (False
3897 or else NT (N).Nkind = N_Full_Type_Declaration);
3898 Set_Flag11 (N, Val);
3899 end Set_Discr_Check_Funcs_Built;
3901 procedure Set_Discrete_Choices
3902 (N : Node_Id; Val : List_Id) is
3904 pragma Assert (False
3905 or else NT (N).Nkind = N_Case_Expression_Alternative
3906 or else NT (N).Nkind = N_Case_Statement_Alternative
3907 or else NT (N).Nkind = N_Variant);
3908 Set_List4_With_Parent (N, Val);
3909 end Set_Discrete_Choices;
3911 procedure Set_Discrete_Range
3912 (N : Node_Id; Val : Node_Id) is
3914 pragma Assert (False
3915 or else NT (N).Nkind = N_Slice);
3916 Set_Node4_With_Parent (N, Val);
3917 end Set_Discrete_Range;
3919 procedure Set_Discrete_Subtype_Definition
3920 (N : Node_Id; Val : Node_Id) is
3922 pragma Assert (False
3923 or else NT (N).Nkind = N_Entry_Declaration
3924 or else NT (N).Nkind = N_Entry_Index_Specification
3925 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3926 Set_Node4_With_Parent (N, Val);
3927 end Set_Discrete_Subtype_Definition;
3929 procedure Set_Discrete_Subtype_Definitions
3930 (N : Node_Id; Val : List_Id) is
3932 pragma Assert (False
3933 or else NT (N).Nkind = N_Constrained_Array_Definition);
3934 Set_List2_With_Parent (N, Val);
3935 end Set_Discrete_Subtype_Definitions;
3937 procedure Set_Discriminant_Specifications
3938 (N : Node_Id; Val : List_Id) is
3940 pragma Assert (False
3941 or else NT (N).Nkind = N_Formal_Type_Declaration
3942 or else NT (N).Nkind = N_Full_Type_Declaration
3943 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3944 or else NT (N).Nkind = N_Private_Extension_Declaration
3945 or else NT (N).Nkind = N_Private_Type_Declaration
3946 or else NT (N).Nkind = N_Protected_Type_Declaration
3947 or else NT (N).Nkind = N_Task_Type_Declaration);
3948 Set_List4_With_Parent (N, Val);
3949 end Set_Discriminant_Specifications;
3951 procedure Set_Discriminant_Type
3952 (N : Node_Id; Val : Node_Id) is
3954 pragma Assert (False
3955 or else NT (N).Nkind = N_Discriminant_Specification);
3956 Set_Node5_With_Parent (N, Val);
3957 end Set_Discriminant_Type;
3959 procedure Set_Do_Accessibility_Check
3960 (N : Node_Id; Val : Boolean := True) is
3962 pragma Assert (False
3963 or else NT (N).Nkind = N_Parameter_Specification);
3964 Set_Flag13 (N, Val);
3965 end Set_Do_Accessibility_Check;
3967 procedure Set_Do_Discriminant_Check
3968 (N : Node_Id; Val : Boolean := True) is
3970 pragma Assert (False
3971 or else NT (N).Nkind = N_Selected_Component);
3972 Set_Flag13 (N, Val);
3973 end Set_Do_Discriminant_Check;
3975 procedure Set_Do_Division_Check
3976 (N : Node_Id; Val : Boolean := True) is
3978 pragma Assert (False
3979 or else NT (N).Nkind = N_Op_Divide
3980 or else NT (N).Nkind = N_Op_Mod
3981 or else NT (N).Nkind = N_Op_Rem);
3982 Set_Flag13 (N, Val);
3983 end Set_Do_Division_Check;
3985 procedure Set_Do_Length_Check
3986 (N : Node_Id; Val : Boolean := True) is
3988 pragma Assert (False
3989 or else NT (N).Nkind = N_Assignment_Statement
3990 or else NT (N).Nkind = N_Op_And
3991 or else NT (N).Nkind = N_Op_Or
3992 or else NT (N).Nkind = N_Op_Xor
3993 or else NT (N).Nkind = N_Type_Conversion);
3995 end Set_Do_Length_Check;
3997 procedure Set_Do_Overflow_Check
3998 (N : Node_Id; Val : Boolean := True) is
4000 pragma Assert (False
4001 or else NT (N).Nkind in N_Op
4002 or else NT (N).Nkind = N_Attribute_Reference
4003 or else NT (N).Nkind = N_Case_Expression
4004 or else NT (N).Nkind = N_If_Expression
4005 or else NT (N).Nkind = N_Type_Conversion);
4006 Set_Flag17 (N, Val);
4007 end Set_Do_Overflow_Check;
4009 procedure Set_Do_Range_Check
4010 (N : Node_Id; Val : Boolean := True) is
4012 pragma Assert (False
4013 or else NT (N).Nkind in N_Subexpr);
4015 end Set_Do_Range_Check;
4017 procedure Set_Do_Storage_Check
4018 (N : Node_Id; Val : Boolean := True) is
4020 pragma Assert (False
4021 or else NT (N).Nkind = N_Allocator
4022 or else NT (N).Nkind = N_Subprogram_Body);
4023 Set_Flag17 (N, Val);
4024 end Set_Do_Storage_Check;
4026 procedure Set_Do_Tag_Check
4027 (N : Node_Id; Val : Boolean := True) is
4029 pragma Assert (False
4030 or else NT (N).Nkind = N_Assignment_Statement
4031 or else NT (N).Nkind = N_Extended_Return_Statement
4032 or else NT (N).Nkind = N_Function_Call
4033 or else NT (N).Nkind = N_Procedure_Call_Statement
4034 or else NT (N).Nkind = N_Simple_Return_Statement
4035 or else NT (N).Nkind = N_Type_Conversion);
4036 Set_Flag13 (N, Val);
4037 end Set_Do_Tag_Check;
4039 procedure Set_Elaborate_All_Desirable
4040 (N : Node_Id; Val : Boolean := True) is
4042 pragma Assert (False
4043 or else NT (N).Nkind = N_With_Clause);
4045 end Set_Elaborate_All_Desirable;
4047 procedure Set_Elaborate_All_Present
4048 (N : Node_Id; Val : Boolean := True) is
4050 pragma Assert (False
4051 or else NT (N).Nkind = N_With_Clause);
4052 Set_Flag14 (N, Val);
4053 end Set_Elaborate_All_Present;
4055 procedure Set_Elaborate_Desirable
4056 (N : Node_Id; Val : Boolean := True) is
4058 pragma Assert (False
4059 or else NT (N).Nkind = N_With_Clause);
4060 Set_Flag11 (N, Val);
4061 end Set_Elaborate_Desirable;
4063 procedure Set_Elaborate_Present
4064 (N : Node_Id; Val : Boolean := True) is
4066 pragma Assert (False
4067 or else NT (N).Nkind = N_With_Clause);
4069 end Set_Elaborate_Present;
4071 procedure Set_Elaboration_Boolean
4072 (N : Node_Id; Val : Node_Id) is
4074 pragma Assert (False
4075 or else NT (N).Nkind = N_Function_Specification
4076 or else NT (N).Nkind = N_Procedure_Specification);
4078 end Set_Elaboration_Boolean;
4080 procedure Set_Else_Actions
4081 (N : Node_Id; Val : List_Id) is
4083 pragma Assert (False
4084 or else NT (N).Nkind = N_If_Expression);
4085 Set_List3 (N, Val); -- semantic field, no parent set
4086 end Set_Else_Actions;
4088 procedure Set_Else_Statements
4089 (N : Node_Id; Val : List_Id) is
4091 pragma Assert (False
4092 or else NT (N).Nkind = N_Conditional_Entry_Call
4093 or else NT (N).Nkind = N_If_Statement
4094 or else NT (N).Nkind = N_Selective_Accept);
4095 Set_List4_With_Parent (N, Val);
4096 end Set_Else_Statements;
4098 procedure Set_Elsif_Parts
4099 (N : Node_Id; Val : List_Id) is
4101 pragma Assert (False
4102 or else NT (N).Nkind = N_If_Statement);
4103 Set_List3_With_Parent (N, Val);
4104 end Set_Elsif_Parts;
4106 procedure Set_Enclosing_Variant
4107 (N : Node_Id; Val : Node_Id) is
4109 pragma Assert (False
4110 or else NT (N).Nkind = N_Variant);
4111 Set_Node2 (N, Val); -- semantic field, no parent set
4112 end Set_Enclosing_Variant;
4114 procedure Set_End_Label
4115 (N : Node_Id; Val : Node_Id) is
4117 pragma Assert (False
4118 or else NT (N).Nkind = N_Enumeration_Type_Definition
4119 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4120 or else NT (N).Nkind = N_Loop_Statement
4121 or else NT (N).Nkind = N_Package_Specification
4122 or else NT (N).Nkind = N_Protected_Body
4123 or else NT (N).Nkind = N_Protected_Definition
4124 or else NT (N).Nkind = N_Record_Definition
4125 or else NT (N).Nkind = N_Task_Definition);
4126 Set_Node4_With_Parent (N, Val);
4129 procedure Set_End_Span
4130 (N : Node_Id; Val : Uint) is
4132 pragma Assert (False
4133 or else NT (N).Nkind = N_Case_Statement
4134 or else NT (N).Nkind = N_If_Statement);
4138 procedure Set_Entity
4139 (N : Node_Id; Val : Node_Id) is
4141 pragma Assert (False
4142 or else NT (N).Nkind in N_Has_Entity
4143 or else NT (N).Nkind = N_Aspect_Specification
4144 or else NT (N).Nkind = N_Attribute_Definition_Clause
4145 or else NT (N).Nkind = N_Freeze_Entity);
4146 Set_Node4 (N, Val); -- semantic field, no parent set
4149 procedure Set_Entry_Body_Formal_Part
4150 (N : Node_Id; Val : Node_Id) is
4152 pragma Assert (False
4153 or else NT (N).Nkind = N_Entry_Body);
4154 Set_Node5_With_Parent (N, Val);
4155 end Set_Entry_Body_Formal_Part;
4157 procedure Set_Entry_Call_Alternative
4158 (N : Node_Id; Val : Node_Id) is
4160 pragma Assert (False
4161 or else NT (N).Nkind = N_Conditional_Entry_Call
4162 or else NT (N).Nkind = N_Timed_Entry_Call);
4163 Set_Node1_With_Parent (N, Val);
4164 end Set_Entry_Call_Alternative;
4166 procedure Set_Entry_Call_Statement
4167 (N : Node_Id; Val : Node_Id) is
4169 pragma Assert (False
4170 or else NT (N).Nkind = N_Entry_Call_Alternative);
4171 Set_Node1_With_Parent (N, Val);
4172 end Set_Entry_Call_Statement;
4174 procedure Set_Entry_Direct_Name
4175 (N : Node_Id; Val : Node_Id) is
4177 pragma Assert (False
4178 or else NT (N).Nkind = N_Accept_Statement);
4179 Set_Node1_With_Parent (N, Val);
4180 end Set_Entry_Direct_Name;
4182 procedure Set_Entry_Index
4183 (N : Node_Id; Val : Node_Id) is
4185 pragma Assert (False
4186 or else NT (N).Nkind = N_Accept_Statement);
4187 Set_Node5_With_Parent (N, Val);
4188 end Set_Entry_Index;
4190 procedure Set_Entry_Index_Specification
4191 (N : Node_Id; Val : Node_Id) is
4193 pragma Assert (False
4194 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4195 Set_Node4_With_Parent (N, Val);
4196 end Set_Entry_Index_Specification;
4199 (N : Node_Id; Val : Node_Id) is
4201 pragma Assert (False
4202 or else NT (N).Nkind in N_Has_Etype);
4203 Set_Node5 (N, Val); -- semantic field, no parent set
4206 procedure Set_Exception_Choices
4207 (N : Node_Id; Val : List_Id) is
4209 pragma Assert (False
4210 or else NT (N).Nkind = N_Exception_Handler);
4211 Set_List4_With_Parent (N, Val);
4212 end Set_Exception_Choices;
4214 procedure Set_Exception_Handlers
4215 (N : Node_Id; Val : List_Id) is
4217 pragma Assert (False
4218 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4219 Set_List5_With_Parent (N, Val);
4220 end Set_Exception_Handlers;
4222 procedure Set_Exception_Junk
4223 (N : Node_Id; Val : Boolean := True) is
4225 pragma Assert (False
4226 or else NT (N).Nkind = N_Block_Statement
4227 or else NT (N).Nkind = N_Goto_Statement
4228 or else NT (N).Nkind = N_Label
4229 or else NT (N).Nkind = N_Object_Declaration
4230 or else NT (N).Nkind = N_Subtype_Declaration);
4232 end Set_Exception_Junk;
4234 procedure Set_Exception_Label
4235 (N : Node_Id; Val : Node_Id) is
4237 pragma Assert (False
4238 or else NT (N).Nkind = N_Exception_Handler
4239 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4240 or else NT (N).Nkind = N_Push_Program_Error_Label
4241 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4242 Set_Node5 (N, Val); -- semantic field, no parent set
4243 end Set_Exception_Label;
4245 procedure Set_Expansion_Delayed
4246 (N : Node_Id; Val : Boolean := True) is
4248 pragma Assert (False
4249 or else NT (N).Nkind = N_Aggregate
4250 or else NT (N).Nkind = N_Extension_Aggregate);
4251 Set_Flag11 (N, Val);
4252 end Set_Expansion_Delayed;
4254 procedure Set_Explicit_Actual_Parameter
4255 (N : Node_Id; Val : Node_Id) is
4257 pragma Assert (False
4258 or else NT (N).Nkind = N_Parameter_Association);
4259 Set_Node3_With_Parent (N, Val);
4260 end Set_Explicit_Actual_Parameter;
4262 procedure Set_Explicit_Generic_Actual_Parameter
4263 (N : Node_Id; Val : Node_Id) is
4265 pragma Assert (False
4266 or else NT (N).Nkind = N_Generic_Association);
4267 Set_Node1_With_Parent (N, Val);
4268 end Set_Explicit_Generic_Actual_Parameter;
4270 procedure Set_Expression
4271 (N : Node_Id; Val : Node_Id) is
4273 pragma Assert (False
4274 or else NT (N).Nkind = N_Allocator
4275 or else NT (N).Nkind = N_Aspect_Specification
4276 or else NT (N).Nkind = N_Assignment_Statement
4277 or else NT (N).Nkind = N_At_Clause
4278 or else NT (N).Nkind = N_Attribute_Definition_Clause
4279 or else NT (N).Nkind = N_Case_Expression
4280 or else NT (N).Nkind = N_Case_Expression_Alternative
4281 or else NT (N).Nkind = N_Case_Statement
4282 or else NT (N).Nkind = N_Code_Statement
4283 or else NT (N).Nkind = N_Component_Association
4284 or else NT (N).Nkind = N_Component_Declaration
4285 or else NT (N).Nkind = N_Delay_Relative_Statement
4286 or else NT (N).Nkind = N_Delay_Until_Statement
4287 or else NT (N).Nkind = N_Discriminant_Association
4288 or else NT (N).Nkind = N_Discriminant_Specification
4289 or else NT (N).Nkind = N_Exception_Declaration
4290 or else NT (N).Nkind = N_Expression_Function
4291 or else NT (N).Nkind = N_Expression_With_Actions
4292 or else NT (N).Nkind = N_Free_Statement
4293 or else NT (N).Nkind = N_Mod_Clause
4294 or else NT (N).Nkind = N_Modular_Type_Definition
4295 or else NT (N).Nkind = N_Number_Declaration
4296 or else NT (N).Nkind = N_Object_Declaration
4297 or else NT (N).Nkind = N_Parameter_Specification
4298 or else NT (N).Nkind = N_Pragma_Argument_Association
4299 or else NT (N).Nkind = N_Qualified_Expression
4300 or else NT (N).Nkind = N_Raise_Statement
4301 or else NT (N).Nkind = N_Simple_Return_Statement
4302 or else NT (N).Nkind = N_Type_Conversion
4303 or else NT (N).Nkind = N_Unchecked_Expression
4304 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4305 Set_Node3_With_Parent (N, Val);
4308 procedure Set_Expressions
4309 (N : Node_Id; Val : List_Id) is
4311 pragma Assert (False
4312 or else NT (N).Nkind = N_Aggregate
4313 or else NT (N).Nkind = N_Attribute_Reference
4314 or else NT (N).Nkind = N_Extension_Aggregate
4315 or else NT (N).Nkind = N_If_Expression
4316 or else NT (N).Nkind = N_Indexed_Component);
4317 Set_List1_With_Parent (N, Val);
4318 end Set_Expressions;
4320 procedure Set_First_Bit
4321 (N : Node_Id; Val : Node_Id) is
4323 pragma Assert (False
4324 or else NT (N).Nkind = N_Component_Clause);
4325 Set_Node3_With_Parent (N, Val);
4328 procedure Set_First_Inlined_Subprogram
4329 (N : Node_Id; Val : Entity_Id) is
4331 pragma Assert (False
4332 or else NT (N).Nkind = N_Compilation_Unit);
4333 Set_Node3 (N, Val); -- semantic field, no parent set
4334 end Set_First_Inlined_Subprogram;
4336 procedure Set_First_Name
4337 (N : Node_Id; Val : Boolean := True) is
4339 pragma Assert (False
4340 or else NT (N).Nkind = N_With_Clause);
4344 procedure Set_First_Named_Actual
4345 (N : Node_Id; Val : Node_Id) is
4347 pragma Assert (False
4348 or else NT (N).Nkind = N_Entry_Call_Statement
4349 or else NT (N).Nkind = N_Function_Call
4350 or else NT (N).Nkind = N_Procedure_Call_Statement);
4351 Set_Node4 (N, Val); -- semantic field, no parent set
4352 end Set_First_Named_Actual;
4354 procedure Set_First_Real_Statement
4355 (N : Node_Id; Val : Node_Id) is
4357 pragma Assert (False
4358 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4359 Set_Node2 (N, Val); -- semantic field, no parent set
4360 end Set_First_Real_Statement;
4362 procedure Set_First_Subtype_Link
4363 (N : Node_Id; Val : Entity_Id) is
4365 pragma Assert (False
4366 or else NT (N).Nkind = N_Freeze_Entity);
4367 Set_Node5 (N, Val); -- semantic field, no parent set
4368 end Set_First_Subtype_Link;
4370 procedure Set_Float_Truncate
4371 (N : Node_Id; Val : Boolean := True) is
4373 pragma Assert (False
4374 or else NT (N).Nkind = N_Type_Conversion);
4375 Set_Flag11 (N, Val);
4376 end Set_Float_Truncate;
4378 procedure Set_Formal_Type_Definition
4379 (N : Node_Id; Val : Node_Id) is
4381 pragma Assert (False
4382 or else NT (N).Nkind = N_Formal_Type_Declaration);
4383 Set_Node3_With_Parent (N, Val);
4384 end Set_Formal_Type_Definition;
4386 procedure Set_Forwards_OK
4387 (N : Node_Id; Val : Boolean := True) is
4389 pragma Assert (False
4390 or else NT (N).Nkind = N_Assignment_Statement);
4392 end Set_Forwards_OK;
4394 procedure Set_From_Aspect_Specification
4395 (N : Node_Id; Val : Boolean := True) is
4397 pragma Assert (False
4398 or else NT (N).Nkind = N_Attribute_Definition_Clause
4399 or else NT (N).Nkind = N_Pragma);
4400 Set_Flag13 (N, Val);
4401 end Set_From_Aspect_Specification;
4403 procedure Set_From_At_End
4404 (N : Node_Id; Val : Boolean := True) is
4406 pragma Assert (False
4407 or else NT (N).Nkind = N_Raise_Statement);
4409 end Set_From_At_End;
4411 procedure Set_From_At_Mod
4412 (N : Node_Id; Val : Boolean := True) is
4414 pragma Assert (False
4415 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4417 end Set_From_At_Mod;
4419 procedure Set_From_Default
4420 (N : Node_Id; Val : Boolean := True) is
4422 pragma Assert (False
4423 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4425 end Set_From_Default;
4427 procedure Set_Generic_Associations
4428 (N : Node_Id; Val : List_Id) is
4430 pragma Assert (False
4431 or else NT (N).Nkind = N_Formal_Package_Declaration
4432 or else NT (N).Nkind = N_Function_Instantiation
4433 or else NT (N).Nkind = N_Package_Instantiation
4434 or else NT (N).Nkind = N_Procedure_Instantiation);
4435 Set_List3_With_Parent (N, Val);
4436 end Set_Generic_Associations;
4438 procedure Set_Generic_Formal_Declarations
4439 (N : Node_Id; Val : List_Id) is
4441 pragma Assert (False
4442 or else NT (N).Nkind = N_Generic_Package_Declaration
4443 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4444 Set_List2_With_Parent (N, Val);
4445 end Set_Generic_Formal_Declarations;
4447 procedure Set_Generic_Parent
4448 (N : Node_Id; Val : Node_Id) is
4450 pragma Assert (False
4451 or else NT (N).Nkind = N_Function_Specification
4452 or else NT (N).Nkind = N_Package_Specification
4453 or else NT (N).Nkind = N_Procedure_Specification);
4455 end Set_Generic_Parent;
4457 procedure Set_Generic_Parent_Type
4458 (N : Node_Id; Val : Node_Id) is
4460 pragma Assert (False
4461 or else NT (N).Nkind = N_Subtype_Declaration);
4463 end Set_Generic_Parent_Type;
4465 procedure Set_Handled_Statement_Sequence
4466 (N : Node_Id; Val : Node_Id) is
4468 pragma Assert (False
4469 or else NT (N).Nkind = N_Accept_Statement
4470 or else NT (N).Nkind = N_Block_Statement
4471 or else NT (N).Nkind = N_Entry_Body
4472 or else NT (N).Nkind = N_Extended_Return_Statement
4473 or else NT (N).Nkind = N_Package_Body
4474 or else NT (N).Nkind = N_Subprogram_Body
4475 or else NT (N).Nkind = N_Task_Body);
4476 Set_Node4_With_Parent (N, Val);
4477 end Set_Handled_Statement_Sequence;
4479 procedure Set_Handler_List_Entry
4480 (N : Node_Id; Val : Node_Id) is
4482 pragma Assert (False
4483 or else NT (N).Nkind = N_Object_Declaration);
4485 end Set_Handler_List_Entry;
4487 procedure Set_Has_Created_Identifier
4488 (N : Node_Id; Val : Boolean := True) is
4490 pragma Assert (False
4491 or else NT (N).Nkind = N_Block_Statement
4492 or else NT (N).Nkind = N_Loop_Statement);
4493 Set_Flag15 (N, Val);
4494 end Set_Has_Created_Identifier;
4496 procedure Set_Has_Dereference_Action
4497 (N : Node_Id; Val : Boolean := True) is
4499 pragma Assert (False
4500 or else NT (N).Nkind = N_Explicit_Dereference);
4501 Set_Flag13 (N, Val);
4502 end Set_Has_Dereference_Action;
4504 procedure Set_Has_Dynamic_Length_Check
4505 (N : Node_Id; Val : Boolean := True) is
4507 pragma Assert (False
4508 or else NT (N).Nkind in N_Subexpr);
4509 Set_Flag10 (N, Val);
4510 end Set_Has_Dynamic_Length_Check;
4512 procedure Set_Has_Dynamic_Range_Check
4513 (N : Node_Id; Val : Boolean := True) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Subtype_Declaration
4517 or else NT (N).Nkind in N_Subexpr);
4518 Set_Flag12 (N, Val);
4519 end Set_Has_Dynamic_Range_Check;
4521 procedure Set_Has_Init_Expression
4522 (N : Node_Id; Val : Boolean := True) is
4524 pragma Assert (False
4525 or else NT (N).Nkind = N_Object_Declaration);
4526 Set_Flag14 (N, Val);
4527 end Set_Has_Init_Expression;
4529 procedure Set_Has_Local_Raise
4530 (N : Node_Id; Val : Boolean := True) is
4532 pragma Assert (False
4533 or else NT (N).Nkind = N_Exception_Handler);
4535 end Set_Has_Local_Raise;
4537 procedure Set_Has_No_Elaboration_Code
4538 (N : Node_Id; Val : Boolean := True) is
4540 pragma Assert (False
4541 or else NT (N).Nkind = N_Compilation_Unit);
4542 Set_Flag17 (N, Val);
4543 end Set_Has_No_Elaboration_Code;
4545 procedure Set_Has_Pragma_Suppress_All
4546 (N : Node_Id; Val : Boolean := True) is
4548 pragma Assert (False
4549 or else NT (N).Nkind = N_Compilation_Unit);
4550 Set_Flag14 (N, Val);
4551 end Set_Has_Pragma_Suppress_All;
4553 procedure Set_Has_Private_View
4554 (N : Node_Id; Val : Boolean := True) is
4556 pragma Assert (False
4557 or else NT (N).Nkind in N_Op
4558 or else NT (N).Nkind = N_Character_Literal
4559 or else NT (N).Nkind = N_Expanded_Name
4560 or else NT (N).Nkind = N_Identifier
4561 or else NT (N).Nkind = N_Operator_Symbol);
4562 Set_Flag11 (N, Val);
4563 end Set_Has_Private_View;
4565 procedure Set_Has_Relative_Deadline_Pragma
4566 (N : Node_Id; Val : Boolean := True) is
4568 pragma Assert (False
4569 or else NT (N).Nkind = N_Subprogram_Body
4570 or else NT (N).Nkind = N_Task_Definition);
4572 end Set_Has_Relative_Deadline_Pragma;
4574 procedure Set_Has_Self_Reference
4575 (N : Node_Id; Val : Boolean := True) is
4577 pragma Assert (False
4578 or else NT (N).Nkind = N_Aggregate
4579 or else NT (N).Nkind = N_Extension_Aggregate);
4580 Set_Flag13 (N, Val);
4581 end Set_Has_Self_Reference;
4583 procedure Set_Has_Storage_Size_Pragma
4584 (N : Node_Id; Val : Boolean := True) is
4586 pragma Assert (False
4587 or else NT (N).Nkind = N_Task_Definition);
4589 end Set_Has_Storage_Size_Pragma;
4591 procedure Set_Has_Wide_Character
4592 (N : Node_Id; Val : Boolean := True) is
4594 pragma Assert (False
4595 or else NT (N).Nkind = N_String_Literal);
4596 Set_Flag11 (N, Val);
4597 end Set_Has_Wide_Character;
4599 procedure Set_Has_Wide_Wide_Character
4600 (N : Node_Id; Val : Boolean := True) is
4602 pragma Assert (False
4603 or else NT (N).Nkind = N_String_Literal);
4604 Set_Flag13 (N, Val);
4605 end Set_Has_Wide_Wide_Character;
4607 procedure Set_Header_Size_Added
4608 (N : Node_Id; Val : Boolean := True) is
4610 pragma Assert (False
4611 or else NT (N).Nkind = N_Attribute_Reference);
4612 Set_Flag11 (N, Val);
4613 end Set_Header_Size_Added;
4615 procedure Set_Hidden_By_Use_Clause
4616 (N : Node_Id; Val : Elist_Id) is
4618 pragma Assert (False
4619 or else NT (N).Nkind = N_Use_Package_Clause
4620 or else NT (N).Nkind = N_Use_Type_Clause);
4621 Set_Elist4 (N, Val);
4622 end Set_Hidden_By_Use_Clause;
4624 procedure Set_High_Bound
4625 (N : Node_Id; Val : Node_Id) is
4627 pragma Assert (False
4628 or else NT (N).Nkind = N_Range
4629 or else NT (N).Nkind = N_Real_Range_Specification
4630 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4631 Set_Node2_With_Parent (N, Val);
4634 procedure Set_Identifier
4635 (N : Node_Id; Val : Node_Id) is
4637 pragma Assert (False
4638 or else NT (N).Nkind = N_Aspect_Specification
4639 or else NT (N).Nkind = N_At_Clause
4640 or else NT (N).Nkind = N_Block_Statement
4641 or else NT (N).Nkind = N_Designator
4642 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4643 or else NT (N).Nkind = N_Label
4644 or else NT (N).Nkind = N_Loop_Statement
4645 or else NT (N).Nkind = N_Record_Representation_Clause
4646 or else NT (N).Nkind = N_Subprogram_Info);
4647 Set_Node1_With_Parent (N, Val);
4650 procedure Set_Implicit_With
4651 (N : Node_Id; Val : Boolean := True) is
4653 pragma Assert (False
4654 or else NT (N).Nkind = N_With_Clause);
4655 Set_Flag16 (N, Val);
4656 end Set_Implicit_With;
4658 procedure Set_Implicit_With_From_Instantiation
4659 (N : Node_Id; Val : Boolean := True) is
4661 pragma Assert (False
4662 or else NT (N).Nkind = N_With_Clause);
4663 Set_Flag12 (N, Val);
4664 end Set_Implicit_With_From_Instantiation;
4666 procedure Set_Interface_List
4667 (N : Node_Id; Val : List_Id) is
4669 pragma Assert (False
4670 or else NT (N).Nkind = N_Derived_Type_Definition
4671 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4672 or else NT (N).Nkind = N_Private_Extension_Declaration
4673 or else NT (N).Nkind = N_Protected_Type_Declaration
4674 or else NT (N).Nkind = N_Record_Definition
4675 or else NT (N).Nkind = N_Single_Protected_Declaration
4676 or else NT (N).Nkind = N_Single_Task_Declaration
4677 or else NT (N).Nkind = N_Task_Type_Declaration);
4678 Set_List2_With_Parent (N, Val);
4679 end Set_Interface_List;
4681 procedure Set_Interface_Present
4682 (N : Node_Id; Val : Boolean := True) is
4684 pragma Assert (False
4685 or else NT (N).Nkind = N_Derived_Type_Definition
4686 or else NT (N).Nkind = N_Record_Definition);
4687 Set_Flag16 (N, Val);
4688 end Set_Interface_Present;
4690 procedure Set_Import_Interface_Present
4691 (N : Node_Id; Val : Boolean := True) is
4693 pragma Assert (False
4694 or else NT (N).Nkind = N_Pragma);
4695 Set_Flag16 (N, Val);
4696 end Set_Import_Interface_Present;
4698 procedure Set_In_Present
4699 (N : Node_Id; Val : Boolean := True) is
4701 pragma Assert (False
4702 or else NT (N).Nkind = N_Formal_Object_Declaration
4703 or else NT (N).Nkind = N_Parameter_Specification);
4704 Set_Flag15 (N, Val);
4707 procedure Set_Includes_Infinities
4708 (N : Node_Id; Val : Boolean := True) is
4710 pragma Assert (False
4711 or else NT (N).Nkind = N_Range);
4712 Set_Flag11 (N, Val);
4713 end Set_Includes_Infinities;
4715 procedure Set_Inherited_Discriminant
4716 (N : Node_Id; Val : Boolean := True) is
4718 pragma Assert (False
4719 or else NT (N).Nkind = N_Component_Association);
4720 Set_Flag13 (N, Val);
4721 end Set_Inherited_Discriminant;
4723 procedure Set_Instance_Spec
4724 (N : Node_Id; Val : Node_Id) is
4726 pragma Assert (False
4727 or else NT (N).Nkind = N_Formal_Package_Declaration
4728 or else NT (N).Nkind = N_Function_Instantiation
4729 or else NT (N).Nkind = N_Package_Instantiation
4730 or else NT (N).Nkind = N_Procedure_Instantiation);
4731 Set_Node5 (N, Val); -- semantic field, no Parent set
4732 end Set_Instance_Spec;
4734 procedure Set_Intval
4735 (N : Node_Id; Val : Uint) is
4737 pragma Assert (False
4738 or else NT (N).Nkind = N_Integer_Literal);
4742 procedure Set_Is_Accessibility_Actual
4743 (N : Node_Id; Val : Boolean := True) is
4745 pragma Assert (False
4746 or else NT (N).Nkind = N_Parameter_Association);
4747 Set_Flag13 (N, Val);
4748 end Set_Is_Accessibility_Actual;
4750 procedure Set_Is_Asynchronous_Call_Block
4751 (N : Node_Id; Val : Boolean := True) is
4753 pragma Assert (False
4754 or else NT (N).Nkind = N_Block_Statement);
4756 end Set_Is_Asynchronous_Call_Block;
4758 procedure Set_Is_Boolean_Aspect
4759 (N : Node_Id; Val : Boolean := True) is
4761 pragma Assert (False
4762 or else NT (N).Nkind = N_Aspect_Specification);
4763 Set_Flag16 (N, Val);
4764 end Set_Is_Boolean_Aspect;
4766 procedure Set_Is_Component_Left_Opnd
4767 (N : Node_Id; Val : Boolean := True) is
4769 pragma Assert (False
4770 or else NT (N).Nkind = N_Op_Concat);
4771 Set_Flag13 (N, Val);
4772 end Set_Is_Component_Left_Opnd;
4774 procedure Set_Is_Component_Right_Opnd
4775 (N : Node_Id; Val : Boolean := True) is
4777 pragma Assert (False
4778 or else NT (N).Nkind = N_Op_Concat);
4779 Set_Flag14 (N, Val);
4780 end Set_Is_Component_Right_Opnd;
4782 procedure Set_Is_Controlling_Actual
4783 (N : Node_Id; Val : Boolean := True) is
4785 pragma Assert (False
4786 or else NT (N).Nkind in N_Subexpr);
4787 Set_Flag16 (N, Val);
4788 end Set_Is_Controlling_Actual;
4790 procedure Set_Is_Delayed_Aspect
4791 (N : Node_Id; Val : Boolean := True) is
4793 pragma Assert (False
4794 or else NT (N).Nkind = N_Aspect_Specification
4795 or else NT (N).Nkind = N_Attribute_Definition_Clause
4796 or else NT (N).Nkind = N_Pragma);
4797 Set_Flag14 (N, Val);
4798 end Set_Is_Delayed_Aspect;
4800 procedure Set_Is_Dynamic_Coextension
4801 (N : Node_Id; Val : Boolean := True) is
4803 pragma Assert (False
4804 or else NT (N).Nkind = N_Allocator);
4805 Set_Flag18 (N, Val);
4806 end Set_Is_Dynamic_Coextension;
4808 procedure Set_Is_Elsif
4809 (N : Node_Id; Val : Boolean := True) is
4811 pragma Assert (False
4812 or else NT (N).Nkind = N_If_Expression);
4813 Set_Flag13 (N, Val);
4816 procedure Set_Is_Entry_Barrier_Function
4817 (N : Node_Id; Val : Boolean := True) is
4819 pragma Assert (False
4820 or else NT (N).Nkind = N_Subprogram_Body);
4822 end Set_Is_Entry_Barrier_Function;
4824 procedure Set_Is_Expanded_Build_In_Place_Call
4825 (N : Node_Id; Val : Boolean := True) is
4827 pragma Assert (False
4828 or else NT (N).Nkind = N_Function_Call);
4829 Set_Flag11 (N, Val);
4830 end Set_Is_Expanded_Build_In_Place_Call;
4832 procedure Set_Is_Finalization_Wrapper
4833 (N : Node_Id; Val : Boolean := True) is
4835 pragma Assert (False
4836 or else NT (N).Nkind = N_Block_Statement);
4838 end Set_Is_Finalization_Wrapper;
4840 procedure Set_Is_Folded_In_Parser
4841 (N : Node_Id; Val : Boolean := True) is
4843 pragma Assert (False
4844 or else NT (N).Nkind = N_String_Literal);
4846 end Set_Is_Folded_In_Parser;
4848 procedure Set_Is_In_Discriminant_Check
4849 (N : Node_Id; Val : Boolean := True) is
4851 pragma Assert (False
4852 or else NT (N).Nkind = N_Selected_Component);
4853 Set_Flag11 (N, Val);
4854 end Set_Is_In_Discriminant_Check;
4856 procedure Set_Is_Machine_Number
4857 (N : Node_Id; Val : Boolean := True) is
4859 pragma Assert (False
4860 or else NT (N).Nkind = N_Real_Literal);
4861 Set_Flag11 (N, Val);
4862 end Set_Is_Machine_Number;
4864 procedure Set_Is_Null_Loop
4865 (N : Node_Id; Val : Boolean := True) is
4867 pragma Assert (False
4868 or else NT (N).Nkind = N_Loop_Statement);
4869 Set_Flag16 (N, Val);
4870 end Set_Is_Null_Loop;
4872 procedure Set_Is_Overloaded
4873 (N : Node_Id; Val : Boolean := True) is
4875 pragma Assert (False
4876 or else NT (N).Nkind in N_Subexpr);
4878 end Set_Is_Overloaded;
4880 procedure Set_Is_Power_Of_2_For_Shift
4881 (N : Node_Id; Val : Boolean := True) is
4883 pragma Assert (False
4884 or else NT (N).Nkind = N_Op_Expon);
4885 Set_Flag13 (N, Val);
4886 end Set_Is_Power_Of_2_For_Shift;
4888 procedure Set_Is_Prefixed_Call
4889 (N : Node_Id; Val : Boolean := True) is
4891 pragma Assert (False
4892 or else NT (N).Nkind = N_Selected_Component);
4893 Set_Flag17 (N, Val);
4894 end Set_Is_Prefixed_Call;
4896 procedure Set_Is_Protected_Subprogram_Body
4897 (N : Node_Id; Val : Boolean := True) is
4899 pragma Assert (False
4900 or else NT (N).Nkind = N_Subprogram_Body);
4902 end Set_Is_Protected_Subprogram_Body;
4904 procedure Set_Is_Static_Coextension
4905 (N : Node_Id; Val : Boolean := True) is
4907 pragma Assert (False
4908 or else NT (N).Nkind = N_Allocator);
4909 Set_Flag14 (N, Val);
4910 end Set_Is_Static_Coextension;
4912 procedure Set_Is_Static_Expression
4913 (N : Node_Id; Val : Boolean := True) is
4915 pragma Assert (False
4916 or else NT (N).Nkind in N_Subexpr);
4918 end Set_Is_Static_Expression;
4920 procedure Set_Is_Subprogram_Descriptor
4921 (N : Node_Id; Val : Boolean := True) is
4923 pragma Assert (False
4924 or else NT (N).Nkind = N_Object_Declaration);
4925 Set_Flag16 (N, Val);
4926 end Set_Is_Subprogram_Descriptor;
4928 procedure Set_Is_Task_Allocation_Block
4929 (N : Node_Id; Val : Boolean := True) is
4931 pragma Assert (False
4932 or else NT (N).Nkind = N_Block_Statement);
4934 end Set_Is_Task_Allocation_Block;
4936 procedure Set_Is_Task_Master
4937 (N : Node_Id; Val : Boolean := True) is
4939 pragma Assert (False
4940 or else NT (N).Nkind = N_Block_Statement
4941 or else NT (N).Nkind = N_Subprogram_Body
4942 or else NT (N).Nkind = N_Task_Body);
4944 end Set_Is_Task_Master;
4946 procedure Set_Iteration_Scheme
4947 (N : Node_Id; Val : Node_Id) is
4949 pragma Assert (False
4950 or else NT (N).Nkind = N_Loop_Statement);
4951 Set_Node2_With_Parent (N, Val);
4952 end Set_Iteration_Scheme;
4954 procedure Set_Iterator_Specification
4955 (N : Node_Id; Val : Node_Id) is
4957 pragma Assert (False
4958 or else NT (N).Nkind = N_Iteration_Scheme
4959 or else NT (N).Nkind = N_Quantified_Expression);
4960 Set_Node2_With_Parent (N, Val);
4961 end Set_Iterator_Specification;
4964 (N : Node_Id; Val : Entity_Id) is
4966 pragma Assert (False
4967 or else NT (N).Nkind = N_Itype_Reference);
4968 Set_Node1 (N, Val); -- no parent, semantic field
4971 procedure Set_Kill_Range_Check
4972 (N : Node_Id; Val : Boolean := True) is
4974 pragma Assert (False
4975 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4976 Set_Flag11 (N, Val);
4977 end Set_Kill_Range_Check;
4979 procedure Set_Label_Construct
4980 (N : Node_Id; Val : Node_Id) is
4982 pragma Assert (False
4983 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4984 Set_Node2 (N, Val); -- semantic field, no parent set
4985 end Set_Label_Construct;
4987 procedure Set_Last_Bit
4988 (N : Node_Id; Val : Node_Id) is
4990 pragma Assert (False
4991 or else NT (N).Nkind = N_Component_Clause);
4992 Set_Node4_With_Parent (N, Val);
4995 procedure Set_Last_Name
4996 (N : Node_Id; Val : Boolean := True) is
4998 pragma Assert (False
4999 or else NT (N).Nkind = N_With_Clause);
5003 procedure Set_Left_Opnd
5004 (N : Node_Id; Val : Node_Id) is
5006 pragma Assert (False
5007 or else NT (N).Nkind = N_And_Then
5008 or else NT (N).Nkind = N_In
5009 or else NT (N).Nkind = N_Not_In
5010 or else NT (N).Nkind = N_Or_Else
5011 or else NT (N).Nkind in N_Binary_Op);
5012 Set_Node2_With_Parent (N, Val);
5015 procedure Set_Library_Unit
5016 (N : Node_Id; Val : Node_Id) is
5018 pragma Assert (False
5019 or else NT (N).Nkind = N_Compilation_Unit
5020 or else NT (N).Nkind = N_Package_Body_Stub
5021 or else NT (N).Nkind = N_Protected_Body_Stub
5022 or else NT (N).Nkind = N_Subprogram_Body_Stub
5023 or else NT (N).Nkind = N_Task_Body_Stub
5024 or else NT (N).Nkind = N_With_Clause);
5025 Set_Node4 (N, Val); -- semantic field, no parent set
5026 end Set_Library_Unit;
5028 procedure Set_Limited_View_Installed
5029 (N : Node_Id; Val : Boolean := True) is
5031 pragma Assert (False
5032 or else NT (N).Nkind = N_Package_Specification
5033 or else NT (N).Nkind = N_With_Clause);
5034 Set_Flag18 (N, Val);
5035 end Set_Limited_View_Installed;
5037 procedure Set_Limited_Present
5038 (N : Node_Id; Val : Boolean := True) is
5040 pragma Assert (False
5041 or else NT (N).Nkind = N_Derived_Type_Definition
5042 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5043 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5044 or else NT (N).Nkind = N_Private_Extension_Declaration
5045 or else NT (N).Nkind = N_Private_Type_Declaration
5046 or else NT (N).Nkind = N_Record_Definition
5047 or else NT (N).Nkind = N_With_Clause);
5048 Set_Flag17 (N, Val);
5049 end Set_Limited_Present;
5051 procedure Set_Literals
5052 (N : Node_Id; Val : List_Id) is
5054 pragma Assert (False
5055 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5056 Set_List1_With_Parent (N, Val);
5059 procedure Set_Local_Raise_Not_OK
5060 (N : Node_Id; Val : Boolean := True) is
5062 pragma Assert (False
5063 or else NT (N).Nkind = N_Exception_Handler);
5065 end Set_Local_Raise_Not_OK;
5067 procedure Set_Local_Raise_Statements
5068 (N : Node_Id; Val : Elist_Id) is
5070 pragma Assert (False
5071 or else NT (N).Nkind = N_Exception_Handler);
5072 Set_Elist1 (N, Val);
5073 end Set_Local_Raise_Statements;
5075 procedure Set_Loop_Actions
5076 (N : Node_Id; Val : List_Id) is
5078 pragma Assert (False
5079 or else NT (N).Nkind = N_Component_Association);
5080 Set_List2 (N, Val); -- semantic field, no parent set
5081 end Set_Loop_Actions;
5083 procedure Set_Loop_Parameter_Specification
5084 (N : Node_Id; Val : Node_Id) is
5086 pragma Assert (False
5087 or else NT (N).Nkind = N_Iteration_Scheme
5088 or else NT (N).Nkind = N_Quantified_Expression);
5089 Set_Node4_With_Parent (N, Val);
5090 end Set_Loop_Parameter_Specification;
5092 procedure Set_Low_Bound
5093 (N : Node_Id; Val : Node_Id) is
5095 pragma Assert (False
5096 or else NT (N).Nkind = N_Range
5097 or else NT (N).Nkind = N_Real_Range_Specification
5098 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5099 Set_Node1_With_Parent (N, Val);
5102 procedure Set_Mod_Clause
5103 (N : Node_Id; Val : Node_Id) is
5105 pragma Assert (False
5106 or else NT (N).Nkind = N_Record_Representation_Clause);
5107 Set_Node2_With_Parent (N, Val);
5110 procedure Set_More_Ids
5111 (N : Node_Id; Val : Boolean := True) is
5113 pragma Assert (False
5114 or else NT (N).Nkind = N_Component_Declaration
5115 or else NT (N).Nkind = N_Discriminant_Specification
5116 or else NT (N).Nkind = N_Exception_Declaration
5117 or else NT (N).Nkind = N_Formal_Object_Declaration
5118 or else NT (N).Nkind = N_Number_Declaration
5119 or else NT (N).Nkind = N_Object_Declaration
5120 or else NT (N).Nkind = N_Parameter_Specification);
5124 procedure Set_Must_Be_Byte_Aligned
5125 (N : Node_Id; Val : Boolean := True) is
5127 pragma Assert (False
5128 or else NT (N).Nkind = N_Attribute_Reference);
5129 Set_Flag14 (N, Val);
5130 end Set_Must_Be_Byte_Aligned;
5132 procedure Set_Must_Not_Freeze
5133 (N : Node_Id; Val : Boolean := True) is
5135 pragma Assert (False
5136 or else NT (N).Nkind = N_Subtype_Indication
5137 or else NT (N).Nkind in N_Subexpr);
5139 end Set_Must_Not_Freeze;
5141 procedure Set_Must_Not_Override
5142 (N : Node_Id; Val : Boolean := True) is
5144 pragma Assert (False
5145 or else NT (N).Nkind = N_Entry_Declaration
5146 or else NT (N).Nkind = N_Function_Instantiation
5147 or else NT (N).Nkind = N_Function_Specification
5148 or else NT (N).Nkind = N_Procedure_Instantiation
5149 or else NT (N).Nkind = N_Procedure_Specification);
5150 Set_Flag15 (N, Val);
5151 end Set_Must_Not_Override;
5153 procedure Set_Must_Override
5154 (N : Node_Id; Val : Boolean := True) is
5156 pragma Assert (False
5157 or else NT (N).Nkind = N_Entry_Declaration
5158 or else NT (N).Nkind = N_Function_Instantiation
5159 or else NT (N).Nkind = N_Function_Specification
5160 or else NT (N).Nkind = N_Procedure_Instantiation
5161 or else NT (N).Nkind = N_Procedure_Specification);
5162 Set_Flag14 (N, Val);
5163 end Set_Must_Override;
5166 (N : Node_Id; Val : Node_Id) is
5168 pragma Assert (False
5169 or else NT (N).Nkind = N_Assignment_Statement
5170 or else NT (N).Nkind = N_Attribute_Definition_Clause
5171 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5172 or else NT (N).Nkind = N_Designator
5173 or else NT (N).Nkind = N_Entry_Call_Statement
5174 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5175 or else NT (N).Nkind = N_Exit_Statement
5176 or else NT (N).Nkind = N_Formal_Package_Declaration
5177 or else NT (N).Nkind = N_Function_Call
5178 or else NT (N).Nkind = N_Function_Instantiation
5179 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5180 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5181 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5182 or else NT (N).Nkind = N_Goto_Statement
5183 or else NT (N).Nkind = N_Iterator_Specification
5184 or else NT (N).Nkind = N_Object_Renaming_Declaration
5185 or else NT (N).Nkind = N_Package_Instantiation
5186 or else NT (N).Nkind = N_Package_Renaming_Declaration
5187 or else NT (N).Nkind = N_Procedure_Call_Statement
5188 or else NT (N).Nkind = N_Procedure_Instantiation
5189 or else NT (N).Nkind = N_Raise_Statement
5190 or else NT (N).Nkind = N_Requeue_Statement
5191 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5192 or else NT (N).Nkind = N_Subunit
5193 or else NT (N).Nkind = N_Variant_Part
5194 or else NT (N).Nkind = N_With_Clause);
5195 Set_Node2_With_Parent (N, Val);
5199 (N : Node_Id; Val : List_Id) is
5201 pragma Assert (False
5202 or else NT (N).Nkind = N_Abort_Statement
5203 or else NT (N).Nkind = N_Use_Package_Clause);
5204 Set_List2_With_Parent (N, Val);
5207 procedure Set_Next_Entity
5208 (N : Node_Id; Val : Node_Id) is
5210 pragma Assert (False
5211 or else NT (N).Nkind = N_Defining_Character_Literal
5212 or else NT (N).Nkind = N_Defining_Identifier
5213 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5214 Set_Node2 (N, Val); -- semantic field, no parent set
5215 end Set_Next_Entity;
5217 procedure Set_Next_Exit_Statement
5218 (N : Node_Id; Val : Node_Id) is
5220 pragma Assert (False
5221 or else NT (N).Nkind = N_Exit_Statement);
5222 Set_Node3 (N, Val); -- semantic field, no parent set
5223 end Set_Next_Exit_Statement;
5225 procedure Set_Next_Implicit_With
5226 (N : Node_Id; Val : Node_Id) is
5228 pragma Assert (False
5229 or else NT (N).Nkind = N_With_Clause);
5230 Set_Node3 (N, Val); -- semantic field, no parent set
5231 end Set_Next_Implicit_With;
5233 procedure Set_Next_Named_Actual
5234 (N : Node_Id; Val : Node_Id) is
5236 pragma Assert (False
5237 or else NT (N).Nkind = N_Parameter_Association);
5238 Set_Node4 (N, Val); -- semantic field, no parent set
5239 end Set_Next_Named_Actual;
5241 procedure Set_Next_Pragma
5242 (N : Node_Id; Val : Node_Id) is
5244 pragma Assert (False
5245 or else NT (N).Nkind = N_Pragma);
5246 Set_Node1 (N, Val); -- semantic field, no parent set
5247 end Set_Next_Pragma;
5249 procedure Set_Next_Rep_Item
5250 (N : Node_Id; Val : Node_Id) is
5252 pragma Assert (False
5253 or else NT (N).Nkind = N_Aspect_Specification
5254 or else NT (N).Nkind = N_Attribute_Definition_Clause
5255 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5256 or else NT (N).Nkind = N_Pragma
5257 or else NT (N).Nkind = N_Record_Representation_Clause);
5258 Set_Node5 (N, Val); -- semantic field, no parent set
5259 end Set_Next_Rep_Item;
5261 procedure Set_Next_Use_Clause
5262 (N : Node_Id; Val : Node_Id) is
5264 pragma Assert (False
5265 or else NT (N).Nkind = N_Use_Package_Clause
5266 or else NT (N).Nkind = N_Use_Type_Clause);
5267 Set_Node3 (N, Val); -- semantic field, no parent set
5268 end Set_Next_Use_Clause;
5270 procedure Set_No_Ctrl_Actions
5271 (N : Node_Id; Val : Boolean := True) is
5273 pragma Assert (False
5274 or else NT (N).Nkind = N_Assignment_Statement);
5276 end Set_No_Ctrl_Actions;
5278 procedure Set_No_Elaboration_Check
5279 (N : Node_Id; Val : Boolean := True) is
5281 pragma Assert (False
5282 or else NT (N).Nkind = N_Function_Call
5283 or else NT (N).Nkind = N_Procedure_Call_Statement);
5284 Set_Flag14 (N, Val);
5285 end Set_No_Elaboration_Check;
5287 procedure Set_No_Entities_Ref_In_Spec
5288 (N : Node_Id; Val : Boolean := True) is
5290 pragma Assert (False
5291 or else NT (N).Nkind = N_With_Clause);
5293 end Set_No_Entities_Ref_In_Spec;
5295 procedure Set_No_Initialization
5296 (N : Node_Id; Val : Boolean := True) is
5298 pragma Assert (False
5299 or else NT (N).Nkind = N_Allocator
5300 or else NT (N).Nkind = N_Object_Declaration);
5301 Set_Flag13 (N, Val);
5302 end Set_No_Initialization;
5304 procedure Set_No_Minimize_Eliminate
5305 (N : Node_Id; Val : Boolean := True) is
5307 pragma Assert (False
5308 or else NT (N).Nkind = N_In
5309 or else NT (N).Nkind = N_Not_In);
5310 Set_Flag17 (N, Val);
5311 end Set_No_Minimize_Eliminate;
5313 procedure Set_No_Truncation
5314 (N : Node_Id; Val : Boolean := True) is
5316 pragma Assert (False
5317 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5318 Set_Flag17 (N, Val);
5319 end Set_No_Truncation;
5321 procedure Set_Null_Present
5322 (N : Node_Id; Val : Boolean := True) is
5324 pragma Assert (False
5325 or else NT (N).Nkind = N_Component_List
5326 or else NT (N).Nkind = N_Procedure_Specification
5327 or else NT (N).Nkind = N_Record_Definition);
5328 Set_Flag13 (N, Val);
5329 end Set_Null_Present;
5331 procedure Set_Null_Exclusion_Present
5332 (N : Node_Id; Val : Boolean := True) is
5334 pragma Assert (False
5335 or else NT (N).Nkind = N_Access_Definition
5336 or else NT (N).Nkind = N_Access_Function_Definition
5337 or else NT (N).Nkind = N_Access_Procedure_Definition
5338 or else NT (N).Nkind = N_Access_To_Object_Definition
5339 or else NT (N).Nkind = N_Allocator
5340 or else NT (N).Nkind = N_Component_Definition
5341 or else NT (N).Nkind = N_Derived_Type_Definition
5342 or else NT (N).Nkind = N_Discriminant_Specification
5343 or else NT (N).Nkind = N_Formal_Object_Declaration
5344 or else NT (N).Nkind = N_Function_Specification
5345 or else NT (N).Nkind = N_Object_Declaration
5346 or else NT (N).Nkind = N_Object_Renaming_Declaration
5347 or else NT (N).Nkind = N_Parameter_Specification
5348 or else NT (N).Nkind = N_Subtype_Declaration);
5349 Set_Flag11 (N, Val);
5350 end Set_Null_Exclusion_Present;
5352 procedure Set_Null_Exclusion_In_Return_Present
5353 (N : Node_Id; Val : Boolean := True) is
5355 pragma Assert (False
5356 or else NT (N).Nkind = N_Access_Function_Definition);
5357 Set_Flag14 (N, Val);
5358 end Set_Null_Exclusion_In_Return_Present;
5360 procedure Set_Null_Record_Present
5361 (N : Node_Id; Val : Boolean := True) is
5363 pragma Assert (False
5364 or else NT (N).Nkind = N_Aggregate
5365 or else NT (N).Nkind = N_Extension_Aggregate);
5366 Set_Flag17 (N, Val);
5367 end Set_Null_Record_Present;
5369 procedure Set_Object_Definition
5370 (N : Node_Id; Val : Node_Id) is
5372 pragma Assert (False
5373 or else NT (N).Nkind = N_Object_Declaration);
5374 Set_Node4_With_Parent (N, Val);
5375 end Set_Object_Definition;
5377 procedure Set_Of_Present
5378 (N : Node_Id; Val : Boolean := True) is
5380 pragma Assert (False
5381 or else NT (N).Nkind = N_Iterator_Specification);
5382 Set_Flag16 (N, Val);
5385 procedure Set_Original_Discriminant
5386 (N : Node_Id; Val : Node_Id) is
5388 pragma Assert (False
5389 or else NT (N).Nkind = N_Identifier);
5390 Set_Node2 (N, Val); -- semantic field, no parent set
5391 end Set_Original_Discriminant;
5393 procedure Set_Original_Entity
5394 (N : Node_Id; Val : Entity_Id) is
5396 pragma Assert (False
5397 or else NT (N).Nkind = N_Integer_Literal
5398 or else NT (N).Nkind = N_Real_Literal);
5399 Set_Node2 (N, Val); -- semantic field, no parent set
5400 end Set_Original_Entity;
5402 procedure Set_Others_Discrete_Choices
5403 (N : Node_Id; Val : List_Id) is
5405 pragma Assert (False
5406 or else NT (N).Nkind = N_Others_Choice);
5407 Set_List1_With_Parent (N, Val);
5408 end Set_Others_Discrete_Choices;
5410 procedure Set_Out_Present
5411 (N : Node_Id; Val : Boolean := True) is
5413 pragma Assert (False
5414 or else NT (N).Nkind = N_Formal_Object_Declaration
5415 or else NT (N).Nkind = N_Parameter_Specification);
5416 Set_Flag17 (N, Val);
5417 end Set_Out_Present;
5419 procedure Set_Parameter_Associations
5420 (N : Node_Id; Val : List_Id) is
5422 pragma Assert (False
5423 or else NT (N).Nkind = N_Entry_Call_Statement
5424 or else NT (N).Nkind = N_Function_Call
5425 or else NT (N).Nkind = N_Procedure_Call_Statement);
5426 Set_List3_With_Parent (N, Val);
5427 end Set_Parameter_Associations;
5429 procedure Set_Parameter_List_Truncated
5430 (N : Node_Id; Val : Boolean := True) is
5432 pragma Assert (False
5433 or else NT (N).Nkind = N_Function_Call
5434 or else NT (N).Nkind = N_Procedure_Call_Statement);
5435 Set_Flag17 (N, Val);
5436 end Set_Parameter_List_Truncated;
5438 procedure Set_Parameter_Specifications
5439 (N : Node_Id; Val : List_Id) is
5441 pragma Assert (False
5442 or else NT (N).Nkind = N_Accept_Statement
5443 or else NT (N).Nkind = N_Access_Function_Definition
5444 or else NT (N).Nkind = N_Access_Procedure_Definition
5445 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5446 or else NT (N).Nkind = N_Entry_Declaration
5447 or else NT (N).Nkind = N_Function_Specification
5448 or else NT (N).Nkind = N_Procedure_Specification);
5449 Set_List3_With_Parent (N, Val);
5450 end Set_Parameter_Specifications;
5452 procedure Set_Parameter_Type
5453 (N : Node_Id; Val : Node_Id) is
5455 pragma Assert (False
5456 or else NT (N).Nkind = N_Parameter_Specification);
5457 Set_Node2_With_Parent (N, Val);
5458 end Set_Parameter_Type;
5460 procedure Set_Parent_Spec
5461 (N : Node_Id; Val : Node_Id) is
5463 pragma Assert (False
5464 or else NT (N).Nkind = N_Function_Instantiation
5465 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5466 or else NT (N).Nkind = N_Generic_Package_Declaration
5467 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5468 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5469 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5470 or else NT (N).Nkind = N_Package_Declaration
5471 or else NT (N).Nkind = N_Package_Instantiation
5472 or else NT (N).Nkind = N_Package_Renaming_Declaration
5473 or else NT (N).Nkind = N_Procedure_Instantiation
5474 or else NT (N).Nkind = N_Subprogram_Declaration
5475 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5476 Set_Node4 (N, Val); -- semantic field, no parent set
5477 end Set_Parent_Spec;
5479 procedure Set_Position
5480 (N : Node_Id; Val : Node_Id) is
5482 pragma Assert (False
5483 or else NT (N).Nkind = N_Component_Clause);
5484 Set_Node2_With_Parent (N, Val);
5487 procedure Set_Pragma_Argument_Associations
5488 (N : Node_Id; Val : List_Id) is
5490 pragma Assert (False
5491 or else NT (N).Nkind = N_Pragma);
5492 Set_List2_With_Parent (N, Val);
5493 end Set_Pragma_Argument_Associations;
5495 procedure Set_Pragma_Identifier
5496 (N : Node_Id; Val : Node_Id) is
5498 pragma Assert (False
5499 or else NT (N).Nkind = N_Pragma);
5500 Set_Node4_With_Parent (N, Val);
5501 end Set_Pragma_Identifier;
5503 procedure Set_Pragmas_After
5504 (N : Node_Id; Val : List_Id) is
5506 pragma Assert (False
5507 or else NT (N).Nkind = N_Compilation_Unit_Aux
5508 or else NT (N).Nkind = N_Terminate_Alternative);
5509 Set_List5_With_Parent (N, Val);
5510 end Set_Pragmas_After;
5512 procedure Set_Pragmas_Before
5513 (N : Node_Id; Val : List_Id) is
5515 pragma Assert (False
5516 or else NT (N).Nkind = N_Accept_Alternative
5517 or else NT (N).Nkind = N_Delay_Alternative
5518 or else NT (N).Nkind = N_Entry_Call_Alternative
5519 or else NT (N).Nkind = N_Mod_Clause
5520 or else NT (N).Nkind = N_Terminate_Alternative
5521 or else NT (N).Nkind = N_Triggering_Alternative);
5522 Set_List4_With_Parent (N, Val);
5523 end Set_Pragmas_Before;
5525 procedure Set_Prefix
5526 (N : Node_Id; Val : Node_Id) is
5528 pragma Assert (False
5529 or else NT (N).Nkind = N_Attribute_Reference
5530 or else NT (N).Nkind = N_Expanded_Name
5531 or else NT (N).Nkind = N_Explicit_Dereference
5532 or else NT (N).Nkind = N_Indexed_Component
5533 or else NT (N).Nkind = N_Reference
5534 or else NT (N).Nkind = N_Selected_Component
5535 or else NT (N).Nkind = N_Slice);
5536 Set_Node3_With_Parent (N, Val);
5539 procedure Set_Premature_Use
5540 (N : Node_Id; Val : Node_Id) is
5542 pragma Assert (False
5543 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5545 end Set_Premature_Use;
5547 procedure Set_Present_Expr
5548 (N : Node_Id; Val : Uint) is
5550 pragma Assert (False
5551 or else NT (N).Nkind = N_Variant);
5553 end Set_Present_Expr;
5555 procedure Set_Prev_Ids
5556 (N : Node_Id; Val : Boolean := True) is
5558 pragma Assert (False
5559 or else NT (N).Nkind = N_Component_Declaration
5560 or else NT (N).Nkind = N_Discriminant_Specification
5561 or else NT (N).Nkind = N_Exception_Declaration
5562 or else NT (N).Nkind = N_Formal_Object_Declaration
5563 or else NT (N).Nkind = N_Number_Declaration
5564 or else NT (N).Nkind = N_Object_Declaration
5565 or else NT (N).Nkind = N_Parameter_Specification);
5569 procedure Set_Print_In_Hex
5570 (N : Node_Id; Val : Boolean := True) is
5572 pragma Assert (False
5573 or else NT (N).Nkind = N_Integer_Literal);
5574 Set_Flag13 (N, Val);
5575 end Set_Print_In_Hex;
5577 procedure Set_Private_Declarations
5578 (N : Node_Id; Val : List_Id) is
5580 pragma Assert (False
5581 or else NT (N).Nkind = N_Package_Specification
5582 or else NT (N).Nkind = N_Protected_Definition
5583 or else NT (N).Nkind = N_Task_Definition);
5584 Set_List3_With_Parent (N, Val);
5585 end Set_Private_Declarations;
5587 procedure Set_Private_Present
5588 (N : Node_Id; Val : Boolean := True) is
5590 pragma Assert (False
5591 or else NT (N).Nkind = N_Compilation_Unit
5592 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5593 or else NT (N).Nkind = N_With_Clause);
5594 Set_Flag15 (N, Val);
5595 end Set_Private_Present;
5597 procedure Set_Procedure_To_Call
5598 (N : Node_Id; Val : Node_Id) is
5600 pragma Assert (False
5601 or else NT (N).Nkind = N_Allocator
5602 or else NT (N).Nkind = N_Extended_Return_Statement
5603 or else NT (N).Nkind = N_Free_Statement
5604 or else NT (N).Nkind = N_Simple_Return_Statement);
5605 Set_Node2 (N, Val); -- semantic field, no parent set
5606 end Set_Procedure_To_Call;
5608 procedure Set_Proper_Body
5609 (N : Node_Id; Val : Node_Id) is
5611 pragma Assert (False
5612 or else NT (N).Nkind = N_Subunit);
5613 Set_Node1_With_Parent (N, Val);
5614 end Set_Proper_Body;
5616 procedure Set_Protected_Definition
5617 (N : Node_Id; Val : Node_Id) is
5619 pragma Assert (False
5620 or else NT (N).Nkind = N_Protected_Type_Declaration
5621 or else NT (N).Nkind = N_Single_Protected_Declaration);
5622 Set_Node3_With_Parent (N, Val);
5623 end Set_Protected_Definition;
5625 procedure Set_Protected_Present
5626 (N : Node_Id; Val : Boolean := True) is
5628 pragma Assert (False
5629 or else NT (N).Nkind = N_Access_Function_Definition
5630 or else NT (N).Nkind = N_Access_Procedure_Definition
5631 or else NT (N).Nkind = N_Derived_Type_Definition
5632 or else NT (N).Nkind = N_Record_Definition);
5634 end Set_Protected_Present;
5636 procedure Set_Raises_Constraint_Error
5637 (N : Node_Id; Val : Boolean := True) is
5639 pragma Assert (False
5640 or else NT (N).Nkind in N_Subexpr);
5642 end Set_Raises_Constraint_Error;
5644 procedure Set_Range_Constraint
5645 (N : Node_Id; Val : Node_Id) is
5647 pragma Assert (False
5648 or else NT (N).Nkind = N_Delta_Constraint
5649 or else NT (N).Nkind = N_Digits_Constraint);
5650 Set_Node4_With_Parent (N, Val);
5651 end Set_Range_Constraint;
5653 procedure Set_Range_Expression
5654 (N : Node_Id; Val : Node_Id) is
5656 pragma Assert (False
5657 or else NT (N).Nkind = N_Range_Constraint);
5658 Set_Node4_With_Parent (N, Val);
5659 end Set_Range_Expression;
5661 procedure Set_Real_Range_Specification
5662 (N : Node_Id; Val : Node_Id) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5666 or else NT (N).Nkind = N_Floating_Point_Definition
5667 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5668 Set_Node4_With_Parent (N, Val);
5669 end Set_Real_Range_Specification;
5671 procedure Set_Realval
5672 (N : Node_Id; Val : Ureal) is
5674 pragma Assert (False
5675 or else NT (N).Nkind = N_Real_Literal);
5676 Set_Ureal3 (N, Val);
5679 procedure Set_Reason
5680 (N : Node_Id; Val : Uint) is
5682 pragma Assert (False
5683 or else NT (N).Nkind = N_Raise_Constraint_Error
5684 or else NT (N).Nkind = N_Raise_Program_Error
5685 or else NT (N).Nkind = N_Raise_Storage_Error);
5689 procedure Set_Record_Extension_Part
5690 (N : Node_Id; Val : Node_Id) is
5692 pragma Assert (False
5693 or else NT (N).Nkind = N_Derived_Type_Definition);
5694 Set_Node3_With_Parent (N, Val);
5695 end Set_Record_Extension_Part;
5697 procedure Set_Redundant_Use
5698 (N : Node_Id; Val : Boolean := True) is
5700 pragma Assert (False
5701 or else NT (N).Nkind = N_Attribute_Reference
5702 or else NT (N).Nkind = N_Expanded_Name
5703 or else NT (N).Nkind = N_Identifier);
5704 Set_Flag13 (N, Val);
5705 end Set_Redundant_Use;
5707 procedure Set_Renaming_Exception
5708 (N : Node_Id; Val : Node_Id) is
5710 pragma Assert (False
5711 or else NT (N).Nkind = N_Exception_Declaration);
5713 end Set_Renaming_Exception;
5715 procedure Set_Result_Definition
5716 (N : Node_Id; Val : Node_Id) is
5718 pragma Assert (False
5719 or else NT (N).Nkind = N_Access_Function_Definition
5720 or else NT (N).Nkind = N_Function_Specification);
5721 Set_Node4_With_Parent (N, Val);
5722 end Set_Result_Definition;
5724 procedure Set_Return_Object_Declarations
5725 (N : Node_Id; Val : List_Id) is
5727 pragma Assert (False
5728 or else NT (N).Nkind = N_Extended_Return_Statement);
5729 Set_List3_With_Parent (N, Val);
5730 end Set_Return_Object_Declarations;
5732 procedure Set_Return_Statement_Entity
5733 (N : Node_Id; Val : Node_Id) is
5735 pragma Assert (False
5736 or else NT (N).Nkind = N_Extended_Return_Statement
5737 or else NT (N).Nkind = N_Simple_Return_Statement);
5738 Set_Node5 (N, Val); -- semantic field, no parent set
5739 end Set_Return_Statement_Entity;
5741 procedure Set_Reverse_Present
5742 (N : Node_Id; Val : Boolean := True) is
5744 pragma Assert (False
5745 or else NT (N).Nkind = N_Iterator_Specification
5746 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5747 Set_Flag15 (N, Val);
5748 end Set_Reverse_Present;
5750 procedure Set_Right_Opnd
5751 (N : Node_Id; Val : Node_Id) is
5753 pragma Assert (False
5754 or else NT (N).Nkind in N_Op
5755 or else NT (N).Nkind = N_And_Then
5756 or else NT (N).Nkind = N_In
5757 or else NT (N).Nkind = N_Not_In
5758 or else NT (N).Nkind = N_Or_Else);
5759 Set_Node3_With_Parent (N, Val);
5762 procedure Set_Rounded_Result
5763 (N : Node_Id; Val : Boolean := True) is
5765 pragma Assert (False
5766 or else NT (N).Nkind = N_Op_Divide
5767 or else NT (N).Nkind = N_Op_Multiply
5768 or else NT (N).Nkind = N_Type_Conversion);
5769 Set_Flag18 (N, Val);
5770 end Set_Rounded_Result;
5772 procedure Set_SCIL_Controlling_Tag
5773 (N : Node_Id; Val : Node_Id) is
5775 pragma Assert (False
5776 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5777 Set_Node5 (N, Val); -- semantic field, no parent set
5778 end Set_SCIL_Controlling_Tag;
5780 procedure Set_SCIL_Entity
5781 (N : Node_Id; Val : Node_Id) is
5783 pragma Assert (False
5784 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5785 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5786 or else NT (N).Nkind = N_SCIL_Membership_Test);
5787 Set_Node4 (N, Val); -- semantic field, no parent set
5788 end Set_SCIL_Entity;
5790 procedure Set_SCIL_Tag_Value
5791 (N : Node_Id; Val : Node_Id) is
5793 pragma Assert (False
5794 or else NT (N).Nkind = N_SCIL_Membership_Test);
5795 Set_Node5 (N, Val); -- semantic field, no parent set
5796 end Set_SCIL_Tag_Value;
5798 procedure Set_SCIL_Target_Prim
5799 (N : Node_Id; Val : Node_Id) is
5801 pragma Assert (False
5802 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5803 Set_Node2 (N, Val); -- semantic field, no parent set
5804 end Set_SCIL_Target_Prim;
5807 (N : Node_Id; Val : Node_Id) is
5809 pragma Assert (False
5810 or else NT (N).Nkind = N_Defining_Character_Literal
5811 or else NT (N).Nkind = N_Defining_Identifier
5812 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5813 Set_Node3 (N, Val); -- semantic field, no parent set
5816 procedure Set_Select_Alternatives
5817 (N : Node_Id; Val : List_Id) is
5819 pragma Assert (False
5820 or else NT (N).Nkind = N_Selective_Accept);
5821 Set_List1_With_Parent (N, Val);
5822 end Set_Select_Alternatives;
5824 procedure Set_Selector_Name
5825 (N : Node_Id; Val : Node_Id) is
5827 pragma Assert (False
5828 or else NT (N).Nkind = N_Expanded_Name
5829 or else NT (N).Nkind = N_Generic_Association
5830 or else NT (N).Nkind = N_Parameter_Association
5831 or else NT (N).Nkind = N_Selected_Component);
5832 Set_Node2_With_Parent (N, Val);
5833 end Set_Selector_Name;
5835 procedure Set_Selector_Names
5836 (N : Node_Id; Val : List_Id) is
5838 pragma Assert (False
5839 or else NT (N).Nkind = N_Discriminant_Association);
5840 Set_List1_With_Parent (N, Val);
5841 end Set_Selector_Names;
5843 procedure Set_Shift_Count_OK
5844 (N : Node_Id; Val : Boolean := True) is
5846 pragma Assert (False
5847 or else NT (N).Nkind = N_Op_Rotate_Left
5848 or else NT (N).Nkind = N_Op_Rotate_Right
5849 or else NT (N).Nkind = N_Op_Shift_Left
5850 or else NT (N).Nkind = N_Op_Shift_Right
5851 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5853 end Set_Shift_Count_OK;
5855 procedure Set_Source_Type
5856 (N : Node_Id; Val : Entity_Id) is
5858 pragma Assert (False
5859 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5860 Set_Node1 (N, Val); -- semantic field, no parent set
5861 end Set_Source_Type;
5863 procedure Set_Spec_PPC_List
5864 (N : Node_Id; Val : Node_Id) is
5866 pragma Assert (False
5867 or else NT (N).Nkind = N_Contract);
5868 Set_Node1 (N, Val); -- semantic field, no parent set
5869 end Set_Spec_PPC_List;
5871 procedure Set_Spec_CTC_List
5872 (N : Node_Id; Val : Node_Id) is
5874 pragma Assert (False
5875 or else NT (N).Nkind = N_Contract);
5876 Set_Node2 (N, Val); -- semantic field, no parent set
5877 end Set_Spec_CTC_List;
5879 procedure Set_Specification
5880 (N : Node_Id; Val : Node_Id) is
5882 pragma Assert (False
5883 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5884 or else NT (N).Nkind = N_Expression_Function
5885 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5886 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5887 or else NT (N).Nkind = N_Generic_Package_Declaration
5888 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5889 or else NT (N).Nkind = N_Package_Declaration
5890 or else NT (N).Nkind = N_Subprogram_Body
5891 or else NT (N).Nkind = N_Subprogram_Body_Stub
5892 or else NT (N).Nkind = N_Subprogram_Declaration
5893 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5894 Set_Node1_With_Parent (N, Val);
5895 end Set_Specification;
5897 procedure Set_Split_PPC
5898 (N : Node_Id; Val : Boolean) is
5900 pragma Assert (False
5901 or else NT (N).Nkind = N_Aspect_Specification
5902 or else NT (N).Nkind = N_Pragma);
5903 Set_Flag17 (N, Val);
5906 procedure Set_Statements
5907 (N : Node_Id; Val : List_Id) is
5909 pragma Assert (False
5910 or else NT (N).Nkind = N_Abortable_Part
5911 or else NT (N).Nkind = N_Accept_Alternative
5912 or else NT (N).Nkind = N_Case_Statement_Alternative
5913 or else NT (N).Nkind = N_Delay_Alternative
5914 or else NT (N).Nkind = N_Entry_Call_Alternative
5915 or else NT (N).Nkind = N_Exception_Handler
5916 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5917 or else NT (N).Nkind = N_Loop_Statement
5918 or else NT (N).Nkind = N_Triggering_Alternative);
5919 Set_List3_With_Parent (N, Val);
5922 procedure Set_Storage_Pool
5923 (N : Node_Id; Val : Node_Id) is
5925 pragma Assert (False
5926 or else NT (N).Nkind = N_Allocator
5927 or else NT (N).Nkind = N_Extended_Return_Statement
5928 or else NT (N).Nkind = N_Free_Statement
5929 or else NT (N).Nkind = N_Simple_Return_Statement);
5930 Set_Node1 (N, Val); -- semantic field, no parent set
5931 end Set_Storage_Pool;
5933 procedure Set_Subpool_Handle_Name
5934 (N : Node_Id; Val : Node_Id) is
5936 pragma Assert (False
5937 or else NT (N).Nkind = N_Allocator);
5938 Set_Node4_With_Parent (N, Val);
5939 end Set_Subpool_Handle_Name;
5941 procedure Set_Strval
5942 (N : Node_Id; Val : String_Id) is
5944 pragma Assert (False
5945 or else NT (N).Nkind = N_Operator_Symbol
5946 or else NT (N).Nkind = N_String_Literal);
5950 procedure Set_Subtype_Indication
5951 (N : Node_Id; Val : Node_Id) is
5953 pragma Assert (False
5954 or else NT (N).Nkind = N_Access_To_Object_Definition
5955 or else NT (N).Nkind = N_Component_Definition
5956 or else NT (N).Nkind = N_Derived_Type_Definition
5957 or else NT (N).Nkind = N_Iterator_Specification
5958 or else NT (N).Nkind = N_Private_Extension_Declaration
5959 or else NT (N).Nkind = N_Subtype_Declaration);
5960 Set_Node5_With_Parent (N, Val);
5961 end Set_Subtype_Indication;
5963 procedure Set_Subtype_Mark
5964 (N : Node_Id; Val : Node_Id) is
5966 pragma Assert (False
5967 or else NT (N).Nkind = N_Access_Definition
5968 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5969 or else NT (N).Nkind = N_Formal_Object_Declaration
5970 or else NT (N).Nkind = N_Object_Renaming_Declaration
5971 or else NT (N).Nkind = N_Qualified_Expression
5972 or else NT (N).Nkind = N_Subtype_Indication
5973 or else NT (N).Nkind = N_Type_Conversion
5974 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5975 Set_Node4_With_Parent (N, Val);
5976 end Set_Subtype_Mark;
5978 procedure Set_Subtype_Marks
5979 (N : Node_Id; Val : List_Id) is
5981 pragma Assert (False
5982 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5983 or else NT (N).Nkind = N_Use_Type_Clause);
5984 Set_List2_With_Parent (N, Val);
5985 end Set_Subtype_Marks;
5987 procedure Set_Suppress_Assignment_Checks
5988 (N : Node_Id; Val : Boolean := True) is
5990 pragma Assert (False
5991 or else NT (N).Nkind = N_Assignment_Statement
5992 or else NT (N).Nkind = N_Object_Declaration);
5993 Set_Flag18 (N, Val);
5994 end Set_Suppress_Assignment_Checks;
5996 procedure Set_Suppress_Loop_Warnings
5997 (N : Node_Id; Val : Boolean := True) is
5999 pragma Assert (False
6000 or else NT (N).Nkind = N_Loop_Statement);
6001 Set_Flag17 (N, Val);
6002 end Set_Suppress_Loop_Warnings;
6004 procedure Set_Synchronized_Present
6005 (N : Node_Id; Val : Boolean := True) is
6007 pragma Assert (False
6008 or else NT (N).Nkind = N_Derived_Type_Definition
6009 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6010 or else NT (N).Nkind = N_Private_Extension_Declaration
6011 or else NT (N).Nkind = N_Record_Definition);
6013 end Set_Synchronized_Present;
6015 procedure Set_Tagged_Present
6016 (N : Node_Id; Val : Boolean := True) is
6018 pragma Assert (False
6019 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6020 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6021 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6022 or else NT (N).Nkind = N_Private_Type_Declaration
6023 or else NT (N).Nkind = N_Record_Definition);
6024 Set_Flag15 (N, Val);
6025 end Set_Tagged_Present;
6027 procedure Set_Target_Type
6028 (N : Node_Id; Val : Entity_Id) is
6030 pragma Assert (False
6031 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6032 Set_Node2 (N, Val); -- semantic field, no parent set
6033 end Set_Target_Type;
6035 procedure Set_Task_Definition
6036 (N : Node_Id; Val : Node_Id) is
6038 pragma Assert (False
6039 or else NT (N).Nkind = N_Single_Task_Declaration
6040 or else NT (N).Nkind = N_Task_Type_Declaration);
6041 Set_Node3_With_Parent (N, Val);
6042 end Set_Task_Definition;
6044 procedure Set_Task_Present
6045 (N : Node_Id; Val : Boolean := True) is
6047 pragma Assert (False
6048 or else NT (N).Nkind = N_Derived_Type_Definition
6049 or else NT (N).Nkind = N_Record_Definition);
6051 end Set_Task_Present;
6053 procedure Set_Then_Actions
6054 (N : Node_Id; Val : List_Id) is
6056 pragma Assert (False
6057 or else NT (N).Nkind = N_If_Expression);
6058 Set_List2 (N, Val); -- semantic field, no parent set
6059 end Set_Then_Actions;
6061 procedure Set_Then_Statements
6062 (N : Node_Id; Val : List_Id) is
6064 pragma Assert (False
6065 or else NT (N).Nkind = N_Elsif_Part
6066 or else NT (N).Nkind = N_If_Statement);
6067 Set_List2_With_Parent (N, Val);
6068 end Set_Then_Statements;
6070 procedure Set_Treat_Fixed_As_Integer
6071 (N : Node_Id; Val : Boolean := True) is
6073 pragma Assert (False
6074 or else NT (N).Nkind = N_Op_Divide
6075 or else NT (N).Nkind = N_Op_Mod
6076 or else NT (N).Nkind = N_Op_Multiply
6077 or else NT (N).Nkind = N_Op_Rem);
6078 Set_Flag14 (N, Val);
6079 end Set_Treat_Fixed_As_Integer;
6081 procedure Set_Triggering_Alternative
6082 (N : Node_Id; Val : Node_Id) is
6084 pragma Assert (False
6085 or else NT (N).Nkind = N_Asynchronous_Select);
6086 Set_Node1_With_Parent (N, Val);
6087 end Set_Triggering_Alternative;
6089 procedure Set_Triggering_Statement
6090 (N : Node_Id; Val : Node_Id) is
6092 pragma Assert (False
6093 or else NT (N).Nkind = N_Triggering_Alternative);
6094 Set_Node1_With_Parent (N, Val);
6095 end Set_Triggering_Statement;
6097 procedure Set_TSS_Elist
6098 (N : Node_Id; Val : Elist_Id) is
6100 pragma Assert (False
6101 or else NT (N).Nkind = N_Freeze_Entity);
6102 Set_Elist3 (N, Val); -- semantic field, no parent set
6105 procedure Set_Type_Definition
6106 (N : Node_Id; Val : Node_Id) is
6108 pragma Assert (False
6109 or else NT (N).Nkind = N_Full_Type_Declaration);
6110 Set_Node3_With_Parent (N, Val);
6111 end Set_Type_Definition;
6114 (N : Node_Id; Val : Node_Id) is
6116 pragma Assert (False
6117 or else NT (N).Nkind = N_Compilation_Unit);
6118 Set_Node2_With_Parent (N, Val);
6121 procedure Set_Unknown_Discriminants_Present
6122 (N : Node_Id; Val : Boolean := True) is
6124 pragma Assert (False
6125 or else NT (N).Nkind = N_Formal_Type_Declaration
6126 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6127 or else NT (N).Nkind = N_Private_Extension_Declaration
6128 or else NT (N).Nkind = N_Private_Type_Declaration);
6129 Set_Flag13 (N, Val);
6130 end Set_Unknown_Discriminants_Present;
6132 procedure Set_Unreferenced_In_Spec
6133 (N : Node_Id; Val : Boolean := True) is
6135 pragma Assert (False
6136 or else NT (N).Nkind = N_With_Clause);
6138 end Set_Unreferenced_In_Spec;
6140 procedure Set_Variant_Part
6141 (N : Node_Id; Val : Node_Id) is
6143 pragma Assert (False
6144 or else NT (N).Nkind = N_Component_List);
6145 Set_Node4_With_Parent (N, Val);
6146 end Set_Variant_Part;
6148 procedure Set_Variants
6149 (N : Node_Id; Val : List_Id) is
6151 pragma Assert (False
6152 or else NT (N).Nkind = N_Variant_Part);
6153 Set_List1_With_Parent (N, Val);
6156 procedure Set_Visible_Declarations
6157 (N : Node_Id; Val : List_Id) is
6159 pragma Assert (False
6160 or else NT (N).Nkind = N_Package_Specification
6161 or else NT (N).Nkind = N_Protected_Definition
6162 or else NT (N).Nkind = N_Task_Definition);
6163 Set_List2_With_Parent (N, Val);
6164 end Set_Visible_Declarations;
6166 procedure Set_Used_Operations
6167 (N : Node_Id; Val : Elist_Id) is
6169 pragma Assert (False
6170 or else NT (N).Nkind = N_Use_Type_Clause);
6171 Set_Elist5 (N, Val);
6172 end Set_Used_Operations;
6174 procedure Set_Was_Originally_Stub
6175 (N : Node_Id; Val : Boolean := True) is
6177 pragma Assert (False
6178 or else NT (N).Nkind = N_Package_Body
6179 or else NT (N).Nkind = N_Protected_Body
6180 or else NT (N).Nkind = N_Subprogram_Body
6181 or else NT (N).Nkind = N_Task_Body);
6182 Set_Flag13 (N, Val);
6183 end Set_Was_Originally_Stub;
6185 procedure Set_Withed_Body
6186 (N : Node_Id; Val : Node_Id) is
6188 pragma Assert (False
6189 or else NT (N).Nkind = N_With_Clause);
6191 end Set_Withed_Body;
6193 -------------------------
6194 -- Iterator Procedures --
6195 -------------------------
6197 procedure Next_Entity (N : in out Node_Id) is
6199 N := Next_Entity (N);
6202 procedure Next_Named_Actual (N : in out Node_Id) is
6204 N := Next_Named_Actual (N);
6205 end Next_Named_Actual;
6207 procedure Next_Rep_Item (N : in out Node_Id) is
6209 N := Next_Rep_Item (N);
6212 procedure Next_Use_Clause (N : in out Node_Id) is
6214 N := Next_Use_Clause (N);
6215 end Next_Use_Clause;
6221 function End_Location (N : Node_Id) return Source_Ptr is
6222 L : constant Uint := End_Span (N);
6227 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6231 --------------------
6232 -- Get_Pragma_Arg --
6233 --------------------
6235 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6237 if Nkind (Arg) = N_Pragma_Argument_Association then
6238 return Expression (Arg);
6244 ----------------------
6245 -- Set_End_Location --
6246 ----------------------
6248 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6251 UI_From_Int (Int (S) - Int (Sloc (N))));
6252 end Set_End_Location;
6261 V2 : Node_Kind) return Boolean
6264 return T = V1 or else
6272 V3 : Node_Kind) return Boolean
6275 return T = V1 or else
6285 V4 : Node_Kind) return Boolean
6288 return T = V1 or else
6300 V5 : Node_Kind) return Boolean
6303 return T = V1 or else
6317 V6 : Node_Kind) return Boolean
6320 return T = V1 or else
6336 V7 : Node_Kind) return Boolean
6339 return T = V1 or else
6357 V8 : Node_Kind) return Boolean
6360 return T = V1 or else
6380 V9 : Node_Kind) return Boolean
6383 return T = V1 or else
6398 function Pragma_Name (N : Node_Id) return Name_Id is
6400 return Chars (Pragma_Identifier (N));