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_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_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_Type_Conversion);
932 end Do_Overflow_Check;
934 function Do_Range_Check
935 (N : Node_Id) return Boolean is
938 or else NT (N).Nkind in N_Subexpr);
942 function Do_Storage_Check
943 (N : Node_Id) return Boolean is
946 or else NT (N).Nkind = N_Allocator
947 or else NT (N).Nkind = N_Subprogram_Body);
949 end Do_Storage_Check;
951 function Do_Tag_Check
952 (N : Node_Id) return Boolean is
955 or else NT (N).Nkind = N_Assignment_Statement
956 or else NT (N).Nkind = N_Extended_Return_Statement
957 or else NT (N).Nkind = N_Function_Call
958 or else NT (N).Nkind = N_Procedure_Call_Statement
959 or else NT (N).Nkind = N_Return_Statement
960 or else NT (N).Nkind = N_Type_Conversion);
964 function Elaborate_All_Desirable
965 (N : Node_Id) return Boolean is
968 or else NT (N).Nkind = N_With_Clause);
970 end Elaborate_All_Desirable;
972 function Elaborate_All_Present
973 (N : Node_Id) return Boolean is
976 or else NT (N).Nkind = N_With_Clause);
978 end Elaborate_All_Present;
980 function Elaborate_Desirable
981 (N : Node_Id) return Boolean is
984 or else NT (N).Nkind = N_With_Clause);
986 end Elaborate_Desirable;
988 function Elaborate_Present
989 (N : Node_Id) return Boolean is
992 or else NT (N).Nkind = N_With_Clause);
994 end Elaborate_Present;
996 function Elaboration_Boolean
997 (N : Node_Id) return Node_Id is
1000 or else NT (N).Nkind = N_Function_Specification
1001 or else NT (N).Nkind = N_Procedure_Specification);
1003 end Elaboration_Boolean;
1005 function Else_Actions
1006 (N : Node_Id) return List_Id is
1008 pragma Assert (False
1009 or else NT (N).Nkind = N_Conditional_Expression);
1013 function Else_Statements
1014 (N : Node_Id) return List_Id is
1016 pragma Assert (False
1017 or else NT (N).Nkind = N_Conditional_Entry_Call
1018 or else NT (N).Nkind = N_If_Statement
1019 or else NT (N).Nkind = N_Selective_Accept);
1021 end Else_Statements;
1023 function Elsif_Parts
1024 (N : Node_Id) return List_Id is
1026 pragma Assert (False
1027 or else NT (N).Nkind = N_If_Statement);
1031 function Enclosing_Variant
1032 (N : Node_Id) return Node_Id is
1034 pragma Assert (False
1035 or else NT (N).Nkind = N_Variant);
1037 end Enclosing_Variant;
1040 (N : Node_Id) return Node_Id is
1042 pragma Assert (False
1043 or else NT (N).Nkind = N_Enumeration_Type_Definition
1044 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1045 or else NT (N).Nkind = N_Loop_Statement
1046 or else NT (N).Nkind = N_Package_Specification
1047 or else NT (N).Nkind = N_Protected_Body
1048 or else NT (N).Nkind = N_Protected_Definition
1049 or else NT (N).Nkind = N_Record_Definition
1050 or else NT (N).Nkind = N_Task_Definition);
1055 (N : Node_Id) return Uint is
1057 pragma Assert (False
1058 or else NT (N).Nkind = N_Case_Statement
1059 or else NT (N).Nkind = N_If_Statement);
1064 (N : Node_Id) return Node_Id is
1066 pragma Assert (False
1067 or else NT (N).Nkind in N_Has_Entity
1068 or else NT (N).Nkind = N_Aspect_Specification
1069 or else NT (N).Nkind = N_Attribute_Definition_Clause
1070 or else NT (N).Nkind = N_Freeze_Entity);
1074 function Entity_Or_Associated_Node
1075 (N : Node_Id) return Node_Id is
1077 pragma Assert (False
1078 or else NT (N).Nkind in N_Has_Entity
1079 or else NT (N).Nkind = N_Freeze_Entity);
1081 end Entity_Or_Associated_Node;
1083 function Entry_Body_Formal_Part
1084 (N : Node_Id) return Node_Id is
1086 pragma Assert (False
1087 or else NT (N).Nkind = N_Entry_Body);
1089 end Entry_Body_Formal_Part;
1091 function Entry_Call_Alternative
1092 (N : Node_Id) return Node_Id is
1094 pragma Assert (False
1095 or else NT (N).Nkind = N_Conditional_Entry_Call
1096 or else NT (N).Nkind = N_Timed_Entry_Call);
1098 end Entry_Call_Alternative;
1100 function Entry_Call_Statement
1101 (N : Node_Id) return Node_Id is
1103 pragma Assert (False
1104 or else NT (N).Nkind = N_Entry_Call_Alternative);
1106 end Entry_Call_Statement;
1108 function Entry_Direct_Name
1109 (N : Node_Id) return Node_Id is
1111 pragma Assert (False
1112 or else NT (N).Nkind = N_Accept_Statement);
1114 end Entry_Direct_Name;
1116 function Entry_Index
1117 (N : Node_Id) return Node_Id is
1119 pragma Assert (False
1120 or else NT (N).Nkind = N_Accept_Statement);
1124 function Entry_Index_Specification
1125 (N : Node_Id) return Node_Id is
1127 pragma Assert (False
1128 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1130 end Entry_Index_Specification;
1133 (N : Node_Id) return Node_Id is
1135 pragma Assert (False
1136 or else NT (N).Nkind in N_Has_Etype);
1140 function Exception_Choices
1141 (N : Node_Id) return List_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Exception_Handler);
1146 end Exception_Choices;
1148 function Exception_Handlers
1149 (N : Node_Id) return List_Id is
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1154 end Exception_Handlers;
1156 function Exception_Junk
1157 (N : Node_Id) return Boolean is
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Block_Statement
1161 or else NT (N).Nkind = N_Goto_Statement
1162 or else NT (N).Nkind = N_Label
1163 or else NT (N).Nkind = N_Object_Declaration
1164 or else NT (N).Nkind = N_Subtype_Declaration);
1168 function Exception_Label
1169 (N : Node_Id) return Node_Id is
1171 pragma Assert (False
1172 or else NT (N).Nkind = N_Exception_Handler
1173 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1174 or else NT (N).Nkind = N_Push_Program_Error_Label
1175 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1177 end Exception_Label;
1179 function Expansion_Delayed
1180 (N : Node_Id) return Boolean is
1182 pragma Assert (False
1183 or else NT (N).Nkind = N_Aggregate
1184 or else NT (N).Nkind = N_Extension_Aggregate);
1186 end Expansion_Delayed;
1188 function Explicit_Actual_Parameter
1189 (N : Node_Id) return Node_Id is
1191 pragma Assert (False
1192 or else NT (N).Nkind = N_Parameter_Association);
1194 end Explicit_Actual_Parameter;
1196 function Explicit_Generic_Actual_Parameter
1197 (N : Node_Id) return Node_Id is
1199 pragma Assert (False
1200 or else NT (N).Nkind = N_Generic_Association);
1202 end Explicit_Generic_Actual_Parameter;
1205 (N : Node_Id) return Node_Id is
1207 pragma Assert (False
1208 or else NT (N).Nkind = N_Allocator
1209 or else NT (N).Nkind = N_Aspect_Specification
1210 or else NT (N).Nkind = N_Assignment_Statement
1211 or else NT (N).Nkind = N_At_Clause
1212 or else NT (N).Nkind = N_Attribute_Definition_Clause
1213 or else NT (N).Nkind = N_Case_Expression
1214 or else NT (N).Nkind = N_Case_Expression_Alternative
1215 or else NT (N).Nkind = N_Case_Statement
1216 or else NT (N).Nkind = N_Code_Statement
1217 or else NT (N).Nkind = N_Component_Association
1218 or else NT (N).Nkind = N_Component_Declaration
1219 or else NT (N).Nkind = N_Delay_Relative_Statement
1220 or else NT (N).Nkind = N_Delay_Until_Statement
1221 or else NT (N).Nkind = N_Discriminant_Association
1222 or else NT (N).Nkind = N_Discriminant_Specification
1223 or else NT (N).Nkind = N_Exception_Declaration
1224 or else NT (N).Nkind = N_Expression_Function
1225 or else NT (N).Nkind = N_Expression_With_Actions
1226 or else NT (N).Nkind = N_Free_Statement
1227 or else NT (N).Nkind = N_Mod_Clause
1228 or else NT (N).Nkind = N_Modular_Type_Definition
1229 or else NT (N).Nkind = N_Number_Declaration
1230 or else NT (N).Nkind = N_Object_Declaration
1231 or else NT (N).Nkind = N_Parameter_Specification
1232 or else NT (N).Nkind = N_Pragma_Argument_Association
1233 or else NT (N).Nkind = N_Qualified_Expression
1234 or else NT (N).Nkind = N_Raise_Statement
1235 or else NT (N).Nkind = N_Return_Statement
1236 or else NT (N).Nkind = N_Type_Conversion
1237 or else NT (N).Nkind = N_Unchecked_Expression
1238 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1242 function Expressions
1243 (N : Node_Id) return List_Id is
1245 pragma Assert (False
1246 or else NT (N).Nkind = N_Aggregate
1247 or else NT (N).Nkind = N_Attribute_Reference
1248 or else NT (N).Nkind = N_Conditional_Expression
1249 or else NT (N).Nkind = N_Extension_Aggregate
1250 or else NT (N).Nkind = N_Indexed_Component);
1255 (N : Node_Id) return Node_Id is
1257 pragma Assert (False
1258 or else NT (N).Nkind = N_Component_Clause);
1262 function First_Inlined_Subprogram
1263 (N : Node_Id) return Entity_Id is
1265 pragma Assert (False
1266 or else NT (N).Nkind = N_Compilation_Unit);
1268 end First_Inlined_Subprogram;
1271 (N : Node_Id) return Boolean is
1273 pragma Assert (False
1274 or else NT (N).Nkind = N_With_Clause);
1278 function First_Named_Actual
1279 (N : Node_Id) return Node_Id is
1281 pragma Assert (False
1282 or else NT (N).Nkind = N_Entry_Call_Statement
1283 or else NT (N).Nkind = N_Function_Call
1284 or else NT (N).Nkind = N_Procedure_Call_Statement);
1286 end First_Named_Actual;
1288 function First_Real_Statement
1289 (N : Node_Id) return Node_Id is
1291 pragma Assert (False
1292 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1294 end First_Real_Statement;
1296 function First_Subtype_Link
1297 (N : Node_Id) return Entity_Id is
1299 pragma Assert (False
1300 or else NT (N).Nkind = N_Freeze_Entity);
1302 end First_Subtype_Link;
1304 function Float_Truncate
1305 (N : Node_Id) return Boolean is
1307 pragma Assert (False
1308 or else NT (N).Nkind = N_Type_Conversion);
1312 function Formal_Type_Definition
1313 (N : Node_Id) return Node_Id is
1315 pragma Assert (False
1316 or else NT (N).Nkind = N_Formal_Type_Declaration);
1318 end Formal_Type_Definition;
1320 function Forwards_OK
1321 (N : Node_Id) return Boolean is
1323 pragma Assert (False
1324 or else NT (N).Nkind = N_Assignment_Statement);
1328 function From_Aspect_Specification
1329 (N : Node_Id) return Boolean is
1331 pragma Assert (False
1332 or else NT (N).Nkind = N_Attribute_Definition_Clause
1333 or else NT (N).Nkind = N_Pragma);
1335 end From_Aspect_Specification;
1337 function From_At_End
1338 (N : Node_Id) return Boolean is
1340 pragma Assert (False
1341 or else NT (N).Nkind = N_Raise_Statement);
1345 function From_At_Mod
1346 (N : Node_Id) return Boolean is
1348 pragma Assert (False
1349 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1353 function From_Default
1354 (N : Node_Id) return Boolean is
1356 pragma Assert (False
1357 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1361 function Generic_Associations
1362 (N : Node_Id) return List_Id is
1364 pragma Assert (False
1365 or else NT (N).Nkind = N_Formal_Package_Declaration
1366 or else NT (N).Nkind = N_Function_Instantiation
1367 or else NT (N).Nkind = N_Package_Instantiation
1368 or else NT (N).Nkind = N_Procedure_Instantiation);
1370 end Generic_Associations;
1372 function Generic_Formal_Declarations
1373 (N : Node_Id) return List_Id is
1375 pragma Assert (False
1376 or else NT (N).Nkind = N_Generic_Package_Declaration
1377 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1379 end Generic_Formal_Declarations;
1381 function Generic_Parent
1382 (N : Node_Id) return Node_Id is
1384 pragma Assert (False
1385 or else NT (N).Nkind = N_Function_Specification
1386 or else NT (N).Nkind = N_Package_Specification
1387 or else NT (N).Nkind = N_Procedure_Specification);
1391 function Generic_Parent_Type
1392 (N : Node_Id) return Node_Id is
1394 pragma Assert (False
1395 or else NT (N).Nkind = N_Subtype_Declaration);
1397 end Generic_Parent_Type;
1399 function Handled_Statement_Sequence
1400 (N : Node_Id) return Node_Id is
1402 pragma Assert (False
1403 or else NT (N).Nkind = N_Accept_Statement
1404 or else NT (N).Nkind = N_Block_Statement
1405 or else NT (N).Nkind = N_Entry_Body
1406 or else NT (N).Nkind = N_Extended_Return_Statement
1407 or else NT (N).Nkind = N_Package_Body
1408 or else NT (N).Nkind = N_Subprogram_Body
1409 or else NT (N).Nkind = N_Task_Body);
1411 end Handled_Statement_Sequence;
1413 function Handler_List_Entry
1414 (N : Node_Id) return Node_Id is
1416 pragma Assert (False
1417 or else NT (N).Nkind = N_Object_Declaration);
1419 end Handler_List_Entry;
1421 function Has_Created_Identifier
1422 (N : Node_Id) return Boolean is
1424 pragma Assert (False
1425 or else NT (N).Nkind = N_Block_Statement
1426 or else NT (N).Nkind = N_Loop_Statement);
1428 end Has_Created_Identifier;
1430 function Has_Dereference_Action
1431 (N : Node_Id) return Boolean is
1433 pragma Assert (False
1434 or else NT (N).Nkind = N_Explicit_Dereference);
1436 end Has_Dereference_Action;
1438 function Has_Dynamic_Length_Check
1439 (N : Node_Id) return Boolean is
1441 pragma Assert (False
1442 or else NT (N).Nkind in N_Subexpr);
1444 end Has_Dynamic_Length_Check;
1446 function Has_Dynamic_Range_Check
1447 (N : Node_Id) return Boolean is
1449 pragma Assert (False
1450 or else NT (N).Nkind = N_Subtype_Declaration
1451 or else NT (N).Nkind in N_Subexpr);
1453 end Has_Dynamic_Range_Check;
1455 function Has_Init_Expression
1456 (N : Node_Id) return Boolean is
1458 pragma Assert (False
1459 or else NT (N).Nkind = N_Object_Declaration);
1461 end Has_Init_Expression;
1463 function Has_Local_Raise
1464 (N : Node_Id) return Boolean is
1466 pragma Assert (False
1467 or else NT (N).Nkind = N_Exception_Handler);
1469 end Has_Local_Raise;
1471 function Has_No_Elaboration_Code
1472 (N : Node_Id) return Boolean is
1474 pragma Assert (False
1475 or else NT (N).Nkind = N_Compilation_Unit);
1477 end Has_No_Elaboration_Code;
1479 function Has_Pragma_Suppress_All
1480 (N : Node_Id) return Boolean is
1482 pragma Assert (False
1483 or else NT (N).Nkind = N_Compilation_Unit);
1485 end Has_Pragma_Suppress_All;
1487 function Has_Private_View
1488 (N : Node_Id) return Boolean is
1490 pragma Assert (False
1491 or else NT (N).Nkind in N_Op
1492 or else NT (N).Nkind = N_Character_Literal
1493 or else NT (N).Nkind = N_Expanded_Name
1494 or else NT (N).Nkind = N_Identifier
1495 or else NT (N).Nkind = N_Operator_Symbol);
1497 end Has_Private_View;
1499 function Has_Relative_Deadline_Pragma
1500 (N : Node_Id) return Boolean is
1502 pragma Assert (False
1503 or else NT (N).Nkind = N_Subprogram_Body
1504 or else NT (N).Nkind = N_Task_Definition);
1506 end Has_Relative_Deadline_Pragma;
1508 function Has_Self_Reference
1509 (N : Node_Id) return Boolean is
1511 pragma Assert (False
1512 or else NT (N).Nkind = N_Aggregate
1513 or else NT (N).Nkind = N_Extension_Aggregate);
1515 end Has_Self_Reference;
1517 function Has_Storage_Size_Pragma
1518 (N : Node_Id) return Boolean is
1520 pragma Assert (False
1521 or else NT (N).Nkind = N_Task_Definition);
1523 end Has_Storage_Size_Pragma;
1525 function Has_Wide_Character
1526 (N : Node_Id) return Boolean is
1528 pragma Assert (False
1529 or else NT (N).Nkind = N_String_Literal);
1531 end Has_Wide_Character;
1533 function Has_Wide_Wide_Character
1534 (N : Node_Id) return Boolean is
1536 pragma Assert (False
1537 or else NT (N).Nkind = N_String_Literal);
1539 end Has_Wide_Wide_Character;
1541 function Header_Size_Added
1542 (N : Node_Id) return Boolean is
1544 pragma Assert (False
1545 or else NT (N).Nkind = N_Attribute_Reference);
1547 end Header_Size_Added;
1549 function Hidden_By_Use_Clause
1550 (N : Node_Id) return Elist_Id is
1552 pragma Assert (False
1553 or else NT (N).Nkind = N_Use_Package_Clause
1554 or else NT (N).Nkind = N_Use_Type_Clause);
1556 end Hidden_By_Use_Clause;
1559 (N : Node_Id) return Node_Id is
1561 pragma Assert (False
1562 or else NT (N).Nkind = N_Range
1563 or else NT (N).Nkind = N_Real_Range_Specification
1564 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1569 (N : Node_Id) return Node_Id is
1571 pragma Assert (False
1572 or else NT (N).Nkind = N_Aspect_Specification
1573 or else NT (N).Nkind = N_At_Clause
1574 or else NT (N).Nkind = N_Block_Statement
1575 or else NT (N).Nkind = N_Designator
1576 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1577 or else NT (N).Nkind = N_Label
1578 or else NT (N).Nkind = N_Loop_Statement
1579 or else NT (N).Nkind = N_Record_Representation_Clause
1580 or else NT (N).Nkind = N_Subprogram_Info);
1584 function Implicit_With
1585 (N : Node_Id) return Boolean is
1587 pragma Assert (False
1588 or else NT (N).Nkind = N_With_Clause);
1592 function Implicit_With_From_Instantiation
1593 (N : Node_Id) return Boolean is
1595 pragma Assert (False
1596 or else NT (N).Nkind = N_With_Clause);
1598 end Implicit_With_From_Instantiation;
1600 function Interface_List
1601 (N : Node_Id) return List_Id is
1603 pragma Assert (False
1604 or else NT (N).Nkind = N_Derived_Type_Definition
1605 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1606 or else NT (N).Nkind = N_Private_Extension_Declaration
1607 or else NT (N).Nkind = N_Protected_Type_Declaration
1608 or else NT (N).Nkind = N_Record_Definition
1609 or else NT (N).Nkind = N_Single_Protected_Declaration
1610 or else NT (N).Nkind = N_Single_Task_Declaration
1611 or else NT (N).Nkind = N_Task_Type_Declaration);
1615 function Interface_Present
1616 (N : Node_Id) return Boolean is
1618 pragma Assert (False
1619 or else NT (N).Nkind = N_Derived_Type_Definition
1620 or else NT (N).Nkind = N_Record_Definition);
1622 end Interface_Present;
1624 function Import_Interface_Present
1625 (N : Node_Id) return Boolean is
1627 pragma Assert (False
1628 or else NT (N).Nkind = N_Pragma);
1630 end Import_Interface_Present;
1633 (N : Node_Id) return Boolean is
1635 pragma Assert (False
1636 or else NT (N).Nkind = N_Formal_Object_Declaration
1637 or else NT (N).Nkind = N_Parameter_Specification);
1641 function Includes_Infinities
1642 (N : Node_Id) return Boolean is
1644 pragma Assert (False
1645 or else NT (N).Nkind = N_Range);
1647 end Includes_Infinities;
1649 function Inherited_Discriminant
1650 (N : Node_Id) return Boolean is
1652 pragma Assert (False
1653 or else NT (N).Nkind = N_Component_Association);
1655 end Inherited_Discriminant;
1657 function Instance_Spec
1658 (N : Node_Id) return Node_Id is
1660 pragma Assert (False
1661 or else NT (N).Nkind = N_Formal_Package_Declaration
1662 or else NT (N).Nkind = N_Function_Instantiation
1663 or else NT (N).Nkind = N_Package_Instantiation
1664 or else NT (N).Nkind = N_Procedure_Instantiation);
1669 (N : Node_Id) return Uint is
1671 pragma Assert (False
1672 or else NT (N).Nkind = N_Integer_Literal);
1676 function Is_Accessibility_Actual
1677 (N : Node_Id) return Boolean is
1679 pragma Assert (False
1680 or else NT (N).Nkind = N_Parameter_Association);
1682 end Is_Accessibility_Actual;
1684 function Is_Asynchronous_Call_Block
1685 (N : Node_Id) return Boolean is
1687 pragma Assert (False
1688 or else NT (N).Nkind = N_Block_Statement);
1690 end Is_Asynchronous_Call_Block;
1692 function Is_Boolean_Aspect
1693 (N : Node_Id) return Boolean is
1695 pragma Assert (False
1696 or else NT (N).Nkind = N_Aspect_Specification);
1698 end Is_Boolean_Aspect;
1700 function Is_Component_Left_Opnd
1701 (N : Node_Id) return Boolean is
1703 pragma Assert (False
1704 or else NT (N).Nkind = N_Op_Concat);
1706 end Is_Component_Left_Opnd;
1708 function Is_Component_Right_Opnd
1709 (N : Node_Id) return Boolean is
1711 pragma Assert (False
1712 or else NT (N).Nkind = N_Op_Concat);
1714 end Is_Component_Right_Opnd;
1716 function Is_Controlling_Actual
1717 (N : Node_Id) return Boolean is
1719 pragma Assert (False
1720 or else NT (N).Nkind in N_Subexpr);
1722 end Is_Controlling_Actual;
1724 function Is_Delayed_Aspect
1725 (N : Node_Id) return Boolean is
1727 pragma Assert (False
1728 or else NT (N).Nkind = N_Aspect_Specification
1729 or else NT (N).Nkind = N_Attribute_Definition_Clause
1730 or else NT (N).Nkind = N_Pragma);
1732 end Is_Delayed_Aspect;
1734 function Is_Dynamic_Coextension
1735 (N : Node_Id) return Boolean is
1737 pragma Assert (False
1738 or else NT (N).Nkind = N_Allocator);
1740 end Is_Dynamic_Coextension;
1743 (N : Node_Id) return Boolean is
1745 pragma Assert (False
1746 or else NT (N).Nkind = N_Conditional_Expression);
1750 function Is_Entry_Barrier_Function
1751 (N : Node_Id) return Boolean is
1753 pragma Assert (False
1754 or else NT (N).Nkind = N_Subprogram_Body);
1756 end Is_Entry_Barrier_Function;
1758 function Is_Expanded_Build_In_Place_Call
1759 (N : Node_Id) return Boolean is
1761 pragma Assert (False
1762 or else NT (N).Nkind = N_Function_Call);
1764 end Is_Expanded_Build_In_Place_Call;
1766 function Is_Finalization_Wrapper
1767 (N : Node_Id) return Boolean is
1769 pragma Assert (False
1770 or else NT (N).Nkind = N_Block_Statement);
1772 end Is_Finalization_Wrapper;
1774 function Is_Folded_In_Parser
1775 (N : Node_Id) return Boolean is
1777 pragma Assert (False
1778 or else NT (N).Nkind = N_String_Literal);
1780 end Is_Folded_In_Parser;
1782 function Is_In_Discriminant_Check
1783 (N : Node_Id) return Boolean is
1785 pragma Assert (False
1786 or else NT (N).Nkind = N_Selected_Component);
1788 end Is_In_Discriminant_Check;
1790 function Is_Machine_Number
1791 (N : Node_Id) return Boolean is
1793 pragma Assert (False
1794 or else NT (N).Nkind = N_Real_Literal);
1796 end Is_Machine_Number;
1798 function Is_Null_Loop
1799 (N : Node_Id) return Boolean is
1801 pragma Assert (False
1802 or else NT (N).Nkind = N_Loop_Statement);
1806 function Is_Overloaded
1807 (N : Node_Id) return Boolean is
1809 pragma Assert (False
1810 or else NT (N).Nkind in N_Subexpr);
1814 function Is_Power_Of_2_For_Shift
1815 (N : Node_Id) return Boolean is
1817 pragma Assert (False
1818 or else NT (N).Nkind = N_Op_Expon);
1820 end Is_Power_Of_2_For_Shift;
1822 function Is_Prefixed_Call
1823 (N : Node_Id) return Boolean is
1825 pragma Assert (False
1826 or else NT (N).Nkind = N_Selected_Component);
1828 end Is_Prefixed_Call;
1830 function Is_Protected_Subprogram_Body
1831 (N : Node_Id) return Boolean is
1833 pragma Assert (False
1834 or else NT (N).Nkind = N_Subprogram_Body);
1836 end Is_Protected_Subprogram_Body;
1838 function Is_Static_Coextension
1839 (N : Node_Id) return Boolean is
1841 pragma Assert (False
1842 or else NT (N).Nkind = N_Allocator);
1844 end Is_Static_Coextension;
1846 function Is_Static_Expression
1847 (N : Node_Id) return Boolean is
1849 pragma Assert (False
1850 or else NT (N).Nkind in N_Subexpr);
1852 end Is_Static_Expression;
1854 function Is_Subprogram_Descriptor
1855 (N : Node_Id) return Boolean is
1857 pragma Assert (False
1858 or else NT (N).Nkind = N_Object_Declaration);
1860 end Is_Subprogram_Descriptor;
1862 function Is_Task_Allocation_Block
1863 (N : Node_Id) return Boolean is
1865 pragma Assert (False
1866 or else NT (N).Nkind = N_Block_Statement);
1868 end Is_Task_Allocation_Block;
1870 function Is_Task_Master
1871 (N : Node_Id) return Boolean is
1873 pragma Assert (False
1874 or else NT (N).Nkind = N_Block_Statement
1875 or else NT (N).Nkind = N_Subprogram_Body
1876 or else NT (N).Nkind = N_Task_Body);
1880 function Iteration_Scheme
1881 (N : Node_Id) return Node_Id is
1883 pragma Assert (False
1884 or else NT (N).Nkind = N_Loop_Statement);
1886 end Iteration_Scheme;
1888 function Iterator_Specification
1889 (N : Node_Id) return Node_Id is
1891 pragma Assert (False
1892 or else NT (N).Nkind = N_Iteration_Scheme
1893 or else NT (N).Nkind = N_Quantified_Expression);
1895 end Iterator_Specification;
1898 (N : Node_Id) return Node_Id is
1900 pragma Assert (False
1901 or else NT (N).Nkind = N_Itype_Reference);
1905 function Kill_Range_Check
1906 (N : Node_Id) return Boolean is
1908 pragma Assert (False
1909 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1911 end Kill_Range_Check;
1913 function Label_Construct
1914 (N : Node_Id) return Node_Id is
1916 pragma Assert (False
1917 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1919 end Label_Construct;
1922 (N : Node_Id) return Node_Id is
1924 pragma Assert (False
1925 or else NT (N).Nkind = N_Component_Clause);
1930 (N : Node_Id) return Boolean is
1932 pragma Assert (False
1933 or else NT (N).Nkind = N_With_Clause);
1938 (N : Node_Id) return Node_Id is
1940 pragma Assert (False
1941 or else NT (N).Nkind = N_And_Then
1942 or else NT (N).Nkind = N_In
1943 or else NT (N).Nkind = N_Not_In
1944 or else NT (N).Nkind = N_Or_Else
1945 or else NT (N).Nkind in N_Binary_Op);
1949 function Library_Unit
1950 (N : Node_Id) return Node_Id is
1952 pragma Assert (False
1953 or else NT (N).Nkind = N_Compilation_Unit
1954 or else NT (N).Nkind = N_Package_Body_Stub
1955 or else NT (N).Nkind = N_Protected_Body_Stub
1956 or else NT (N).Nkind = N_Subprogram_Body_Stub
1957 or else NT (N).Nkind = N_Task_Body_Stub
1958 or else NT (N).Nkind = N_With_Clause);
1962 function Limited_View_Installed
1963 (N : Node_Id) return Boolean is
1965 pragma Assert (False
1966 or else NT (N).Nkind = N_Package_Specification
1967 or else NT (N).Nkind = N_With_Clause);
1969 end Limited_View_Installed;
1971 function Limited_Present
1972 (N : Node_Id) return Boolean is
1974 pragma Assert (False
1975 or else NT (N).Nkind = N_Derived_Type_Definition
1976 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1977 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1978 or else NT (N).Nkind = N_Private_Extension_Declaration
1979 or else NT (N).Nkind = N_Private_Type_Declaration
1980 or else NT (N).Nkind = N_Record_Definition
1981 or else NT (N).Nkind = N_With_Clause);
1983 end Limited_Present;
1986 (N : Node_Id) return List_Id is
1988 pragma Assert (False
1989 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1993 function Local_Raise_Not_OK
1994 (N : Node_Id) return Boolean is
1996 pragma Assert (False
1997 or else NT (N).Nkind = N_Exception_Handler);
1999 end Local_Raise_Not_OK;
2001 function Local_Raise_Statements
2002 (N : Node_Id) return Elist_Id is
2004 pragma Assert (False
2005 or else NT (N).Nkind = N_Exception_Handler);
2007 end Local_Raise_Statements;
2009 function Loop_Actions
2010 (N : Node_Id) return List_Id is
2012 pragma Assert (False
2013 or else NT (N).Nkind = N_Component_Association);
2017 function Loop_Parameter_Specification
2018 (N : Node_Id) return Node_Id is
2020 pragma Assert (False
2021 or else NT (N).Nkind = N_Iteration_Scheme
2022 or else NT (N).Nkind = N_Quantified_Expression);
2024 end Loop_Parameter_Specification;
2027 (N : Node_Id) return Node_Id is
2029 pragma Assert (False
2030 or else NT (N).Nkind = N_Range
2031 or else NT (N).Nkind = N_Real_Range_Specification
2032 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2037 (N : Node_Id) return Node_Id is
2039 pragma Assert (False
2040 or else NT (N).Nkind = N_Record_Representation_Clause);
2045 (N : Node_Id) return Boolean is
2047 pragma Assert (False
2048 or else NT (N).Nkind = N_Component_Declaration
2049 or else NT (N).Nkind = N_Discriminant_Specification
2050 or else NT (N).Nkind = N_Exception_Declaration
2051 or else NT (N).Nkind = N_Formal_Object_Declaration
2052 or else NT (N).Nkind = N_Number_Declaration
2053 or else NT (N).Nkind = N_Object_Declaration
2054 or else NT (N).Nkind = N_Parameter_Specification);
2058 function Must_Be_Byte_Aligned
2059 (N : Node_Id) return Boolean is
2061 pragma Assert (False
2062 or else NT (N).Nkind = N_Attribute_Reference);
2064 end Must_Be_Byte_Aligned;
2066 function Must_Not_Freeze
2067 (N : Node_Id) return Boolean is
2069 pragma Assert (False
2070 or else NT (N).Nkind = N_Subtype_Indication
2071 or else NT (N).Nkind in N_Subexpr);
2073 end Must_Not_Freeze;
2075 function Must_Not_Override
2076 (N : Node_Id) return Boolean is
2078 pragma Assert (False
2079 or else NT (N).Nkind = N_Entry_Declaration
2080 or else NT (N).Nkind = N_Function_Instantiation
2081 or else NT (N).Nkind = N_Function_Specification
2082 or else NT (N).Nkind = N_Procedure_Instantiation
2083 or else NT (N).Nkind = N_Procedure_Specification);
2085 end Must_Not_Override;
2087 function Must_Override
2088 (N : Node_Id) return Boolean is
2090 pragma Assert (False
2091 or else NT (N).Nkind = N_Entry_Declaration
2092 or else NT (N).Nkind = N_Function_Instantiation
2093 or else NT (N).Nkind = N_Function_Specification
2094 or else NT (N).Nkind = N_Procedure_Instantiation
2095 or else NT (N).Nkind = N_Procedure_Specification);
2100 (N : Node_Id) return Node_Id is
2102 pragma Assert (False
2103 or else NT (N).Nkind = N_Assignment_Statement
2104 or else NT (N).Nkind = N_Attribute_Definition_Clause
2105 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2106 or else NT (N).Nkind = N_Designator
2107 or else NT (N).Nkind = N_Entry_Call_Statement
2108 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2109 or else NT (N).Nkind = N_Exit_Statement
2110 or else NT (N).Nkind = N_Formal_Package_Declaration
2111 or else NT (N).Nkind = N_Function_Call
2112 or else NT (N).Nkind = N_Function_Instantiation
2113 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2114 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2115 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2116 or else NT (N).Nkind = N_Goto_Statement
2117 or else NT (N).Nkind = N_Iterator_Specification
2118 or else NT (N).Nkind = N_Object_Renaming_Declaration
2119 or else NT (N).Nkind = N_Package_Instantiation
2120 or else NT (N).Nkind = N_Package_Renaming_Declaration
2121 or else NT (N).Nkind = N_Procedure_Call_Statement
2122 or else NT (N).Nkind = N_Procedure_Instantiation
2123 or else NT (N).Nkind = N_Raise_Statement
2124 or else NT (N).Nkind = N_Requeue_Statement
2125 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2126 or else NT (N).Nkind = N_Subunit
2127 or else NT (N).Nkind = N_Variant_Part
2128 or else NT (N).Nkind = N_With_Clause);
2133 (N : Node_Id) return List_Id is
2135 pragma Assert (False
2136 or else NT (N).Nkind = N_Abort_Statement
2137 or else NT (N).Nkind = N_Use_Package_Clause);
2141 function Next_Entity
2142 (N : Node_Id) return Node_Id is
2144 pragma Assert (False
2145 or else NT (N).Nkind = N_Defining_Character_Literal
2146 or else NT (N).Nkind = N_Defining_Identifier
2147 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2151 function Next_Exit_Statement
2152 (N : Node_Id) return Node_Id is
2154 pragma Assert (False
2155 or else NT (N).Nkind = N_Exit_Statement);
2157 end Next_Exit_Statement;
2159 function Next_Implicit_With
2160 (N : Node_Id) return Node_Id is
2162 pragma Assert (False
2163 or else NT (N).Nkind = N_With_Clause);
2165 end Next_Implicit_With;
2167 function Next_Named_Actual
2168 (N : Node_Id) return Node_Id is
2170 pragma Assert (False
2171 or else NT (N).Nkind = N_Parameter_Association);
2173 end Next_Named_Actual;
2175 function Next_Pragma
2176 (N : Node_Id) return Node_Id is
2178 pragma Assert (False
2179 or else NT (N).Nkind = N_Pragma);
2183 function Next_Rep_Item
2184 (N : Node_Id) return Node_Id is
2186 pragma Assert (False
2187 or else NT (N).Nkind = N_Aspect_Specification
2188 or else NT (N).Nkind = N_Attribute_Definition_Clause
2189 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2190 or else NT (N).Nkind = N_Pragma
2191 or else NT (N).Nkind = N_Record_Representation_Clause);
2195 function Next_Use_Clause
2196 (N : Node_Id) return Node_Id is
2198 pragma Assert (False
2199 or else NT (N).Nkind = N_Use_Package_Clause
2200 or else NT (N).Nkind = N_Use_Type_Clause);
2202 end Next_Use_Clause;
2204 function No_Ctrl_Actions
2205 (N : Node_Id) return Boolean is
2207 pragma Assert (False
2208 or else NT (N).Nkind = N_Assignment_Statement);
2210 end No_Ctrl_Actions;
2212 function No_Elaboration_Check
2213 (N : Node_Id) return Boolean is
2215 pragma Assert (False
2216 or else NT (N).Nkind = N_Function_Call
2217 or else NT (N).Nkind = N_Procedure_Call_Statement);
2219 end No_Elaboration_Check;
2221 function No_Entities_Ref_In_Spec
2222 (N : Node_Id) return Boolean is
2224 pragma Assert (False
2225 or else NT (N).Nkind = N_With_Clause);
2227 end No_Entities_Ref_In_Spec;
2229 function No_Initialization
2230 (N : Node_Id) return Boolean is
2232 pragma Assert (False
2233 or else NT (N).Nkind = N_Allocator
2234 or else NT (N).Nkind = N_Object_Declaration);
2236 end No_Initialization;
2238 function No_Truncation
2239 (N : Node_Id) return Boolean is
2241 pragma Assert (False
2242 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2246 function Null_Present
2247 (N : Node_Id) return Boolean is
2249 pragma Assert (False
2250 or else NT (N).Nkind = N_Component_List
2251 or else NT (N).Nkind = N_Procedure_Specification
2252 or else NT (N).Nkind = N_Record_Definition);
2256 function Null_Exclusion_Present
2257 (N : Node_Id) return Boolean is
2259 pragma Assert (False
2260 or else NT (N).Nkind = N_Access_Definition
2261 or else NT (N).Nkind = N_Access_Function_Definition
2262 or else NT (N).Nkind = N_Access_Procedure_Definition
2263 or else NT (N).Nkind = N_Access_To_Object_Definition
2264 or else NT (N).Nkind = N_Allocator
2265 or else NT (N).Nkind = N_Component_Definition
2266 or else NT (N).Nkind = N_Derived_Type_Definition
2267 or else NT (N).Nkind = N_Discriminant_Specification
2268 or else NT (N).Nkind = N_Formal_Object_Declaration
2269 or else NT (N).Nkind = N_Function_Specification
2270 or else NT (N).Nkind = N_Object_Declaration
2271 or else NT (N).Nkind = N_Object_Renaming_Declaration
2272 or else NT (N).Nkind = N_Parameter_Specification
2273 or else NT (N).Nkind = N_Subtype_Declaration);
2275 end Null_Exclusion_Present;
2277 function Null_Exclusion_In_Return_Present
2278 (N : Node_Id) return Boolean is
2280 pragma Assert (False
2281 or else NT (N).Nkind = N_Access_Function_Definition);
2283 end Null_Exclusion_In_Return_Present;
2285 function Null_Record_Present
2286 (N : Node_Id) return Boolean is
2288 pragma Assert (False
2289 or else NT (N).Nkind = N_Aggregate
2290 or else NT (N).Nkind = N_Extension_Aggregate);
2292 end Null_Record_Present;
2294 function Object_Definition
2295 (N : Node_Id) return Node_Id is
2297 pragma Assert (False
2298 or else NT (N).Nkind = N_Object_Declaration);
2300 end Object_Definition;
2303 (N : Node_Id) return Boolean is
2305 pragma Assert (False
2306 or else NT (N).Nkind = N_Iterator_Specification);
2310 function Original_Discriminant
2311 (N : Node_Id) return Node_Id is
2313 pragma Assert (False
2314 or else NT (N).Nkind = N_Identifier);
2316 end Original_Discriminant;
2318 function Original_Entity
2319 (N : Node_Id) return Entity_Id is
2321 pragma Assert (False
2322 or else NT (N).Nkind = N_Integer_Literal
2323 or else NT (N).Nkind = N_Real_Literal);
2325 end Original_Entity;
2327 function Others_Discrete_Choices
2328 (N : Node_Id) return List_Id is
2330 pragma Assert (False
2331 or else NT (N).Nkind = N_Others_Choice);
2333 end Others_Discrete_Choices;
2335 function Out_Present
2336 (N : Node_Id) return Boolean is
2338 pragma Assert (False
2339 or else NT (N).Nkind = N_Formal_Object_Declaration
2340 or else NT (N).Nkind = N_Parameter_Specification);
2344 function Parameter_Associations
2345 (N : Node_Id) return List_Id is
2347 pragma Assert (False
2348 or else NT (N).Nkind = N_Entry_Call_Statement
2349 or else NT (N).Nkind = N_Function_Call
2350 or else NT (N).Nkind = N_Procedure_Call_Statement);
2352 end Parameter_Associations;
2354 function Parameter_List_Truncated
2355 (N : Node_Id) return Boolean is
2357 pragma Assert (False
2358 or else NT (N).Nkind = N_Function_Call
2359 or else NT (N).Nkind = N_Procedure_Call_Statement);
2361 end Parameter_List_Truncated;
2363 function Parameter_Specifications
2364 (N : Node_Id) return List_Id is
2366 pragma Assert (False
2367 or else NT (N).Nkind = N_Accept_Statement
2368 or else NT (N).Nkind = N_Access_Function_Definition
2369 or else NT (N).Nkind = N_Access_Procedure_Definition
2370 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2371 or else NT (N).Nkind = N_Entry_Declaration
2372 or else NT (N).Nkind = N_Function_Specification
2373 or else NT (N).Nkind = N_Procedure_Specification);
2375 end Parameter_Specifications;
2377 function Parameter_Type
2378 (N : Node_Id) return Node_Id is
2380 pragma Assert (False
2381 or else NT (N).Nkind = N_Parameter_Specification);
2385 function Parent_Spec
2386 (N : Node_Id) return Node_Id is
2388 pragma Assert (False
2389 or else NT (N).Nkind = N_Function_Instantiation
2390 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2391 or else NT (N).Nkind = N_Generic_Package_Declaration
2392 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2393 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2394 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2395 or else NT (N).Nkind = N_Package_Declaration
2396 or else NT (N).Nkind = N_Package_Instantiation
2397 or else NT (N).Nkind = N_Package_Renaming_Declaration
2398 or else NT (N).Nkind = N_Procedure_Instantiation
2399 or else NT (N).Nkind = N_Subprogram_Declaration
2400 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2405 (N : Node_Id) return Node_Id is
2407 pragma Assert (False
2408 or else NT (N).Nkind = N_Component_Clause);
2412 function Pragma_Argument_Associations
2413 (N : Node_Id) return List_Id is
2415 pragma Assert (False
2416 or else NT (N).Nkind = N_Pragma);
2418 end Pragma_Argument_Associations;
2420 function Pragma_Identifier
2421 (N : Node_Id) return Node_Id is
2423 pragma Assert (False
2424 or else NT (N).Nkind = N_Pragma);
2426 end Pragma_Identifier;
2428 function Pragmas_After
2429 (N : Node_Id) return List_Id is
2431 pragma Assert (False
2432 or else NT (N).Nkind = N_Compilation_Unit_Aux
2433 or else NT (N).Nkind = N_Terminate_Alternative);
2437 function Pragmas_Before
2438 (N : Node_Id) return List_Id is
2440 pragma Assert (False
2441 or else NT (N).Nkind = N_Accept_Alternative
2442 or else NT (N).Nkind = N_Delay_Alternative
2443 or else NT (N).Nkind = N_Entry_Call_Alternative
2444 or else NT (N).Nkind = N_Mod_Clause
2445 or else NT (N).Nkind = N_Terminate_Alternative
2446 or else NT (N).Nkind = N_Triggering_Alternative);
2451 (N : Node_Id) return Node_Id is
2453 pragma Assert (False
2454 or else NT (N).Nkind = N_Attribute_Reference
2455 or else NT (N).Nkind = N_Expanded_Name
2456 or else NT (N).Nkind = N_Explicit_Dereference
2457 or else NT (N).Nkind = N_Indexed_Component
2458 or else NT (N).Nkind = N_Reference
2459 or else NT (N).Nkind = N_Selected_Component
2460 or else NT (N).Nkind = N_Slice);
2464 function Premature_Use
2465 (N : Node_Id) return Node_Id is
2467 pragma Assert (False
2468 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2472 function Present_Expr
2473 (N : Node_Id) return Uint is
2475 pragma Assert (False
2476 or else NT (N).Nkind = N_Variant);
2481 (N : Node_Id) return Boolean is
2483 pragma Assert (False
2484 or else NT (N).Nkind = N_Component_Declaration
2485 or else NT (N).Nkind = N_Discriminant_Specification
2486 or else NT (N).Nkind = N_Exception_Declaration
2487 or else NT (N).Nkind = N_Formal_Object_Declaration
2488 or else NT (N).Nkind = N_Number_Declaration
2489 or else NT (N).Nkind = N_Object_Declaration
2490 or else NT (N).Nkind = N_Parameter_Specification);
2494 function Print_In_Hex
2495 (N : Node_Id) return Boolean is
2497 pragma Assert (False
2498 or else NT (N).Nkind = N_Integer_Literal);
2502 function Private_Declarations
2503 (N : Node_Id) return List_Id is
2505 pragma Assert (False
2506 or else NT (N).Nkind = N_Package_Specification
2507 or else NT (N).Nkind = N_Protected_Definition
2508 or else NT (N).Nkind = N_Task_Definition);
2510 end Private_Declarations;
2512 function Private_Present
2513 (N : Node_Id) return Boolean is
2515 pragma Assert (False
2516 or else NT (N).Nkind = N_Compilation_Unit
2517 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2518 or else NT (N).Nkind = N_With_Clause);
2520 end Private_Present;
2522 function Procedure_To_Call
2523 (N : Node_Id) return Node_Id is
2525 pragma Assert (False
2526 or else NT (N).Nkind = N_Allocator
2527 or else NT (N).Nkind = N_Extended_Return_Statement
2528 or else NT (N).Nkind = N_Free_Statement
2529 or else NT (N).Nkind = N_Return_Statement);
2531 end Procedure_To_Call;
2533 function Proper_Body
2534 (N : Node_Id) return Node_Id is
2536 pragma Assert (False
2537 or else NT (N).Nkind = N_Subunit);
2541 function Protected_Definition
2542 (N : Node_Id) return Node_Id is
2544 pragma Assert (False
2545 or else NT (N).Nkind = N_Protected_Type_Declaration
2546 or else NT (N).Nkind = N_Single_Protected_Declaration);
2548 end Protected_Definition;
2550 function Protected_Present
2551 (N : Node_Id) return Boolean is
2553 pragma Assert (False
2554 or else NT (N).Nkind = N_Access_Function_Definition
2555 or else NT (N).Nkind = N_Access_Procedure_Definition
2556 or else NT (N).Nkind = N_Derived_Type_Definition
2557 or else NT (N).Nkind = N_Record_Definition);
2559 end Protected_Present;
2561 function Raises_Constraint_Error
2562 (N : Node_Id) return Boolean is
2564 pragma Assert (False
2565 or else NT (N).Nkind in N_Subexpr);
2567 end Raises_Constraint_Error;
2569 function Range_Constraint
2570 (N : Node_Id) return Node_Id is
2572 pragma Assert (False
2573 or else NT (N).Nkind = N_Delta_Constraint
2574 or else NT (N).Nkind = N_Digits_Constraint);
2576 end Range_Constraint;
2578 function Range_Expression
2579 (N : Node_Id) return Node_Id is
2581 pragma Assert (False
2582 or else NT (N).Nkind = N_Range_Constraint);
2584 end Range_Expression;
2586 function Real_Range_Specification
2587 (N : Node_Id) return Node_Id is
2589 pragma Assert (False
2590 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2591 or else NT (N).Nkind = N_Floating_Point_Definition
2592 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2594 end Real_Range_Specification;
2597 (N : Node_Id) return Ureal is
2599 pragma Assert (False
2600 or else NT (N).Nkind = N_Real_Literal);
2605 (N : Node_Id) return Uint is
2607 pragma Assert (False
2608 or else NT (N).Nkind = N_Raise_Constraint_Error
2609 or else NT (N).Nkind = N_Raise_Program_Error
2610 or else NT (N).Nkind = N_Raise_Storage_Error);
2614 function Record_Extension_Part
2615 (N : Node_Id) return Node_Id is
2617 pragma Assert (False
2618 or else NT (N).Nkind = N_Derived_Type_Definition);
2620 end Record_Extension_Part;
2622 function Redundant_Use
2623 (N : Node_Id) return Boolean is
2625 pragma Assert (False
2626 or else NT (N).Nkind = N_Attribute_Reference
2627 or else NT (N).Nkind = N_Expanded_Name
2628 or else NT (N).Nkind = N_Identifier);
2632 function Renaming_Exception
2633 (N : Node_Id) return Node_Id is
2635 pragma Assert (False
2636 or else NT (N).Nkind = N_Exception_Declaration);
2638 end Renaming_Exception;
2640 function Result_Definition
2641 (N : Node_Id) return Node_Id is
2643 pragma Assert (False
2644 or else NT (N).Nkind = N_Access_Function_Definition
2645 or else NT (N).Nkind = N_Function_Specification);
2647 end Result_Definition;
2649 function Return_Object_Declarations
2650 (N : Node_Id) return List_Id is
2652 pragma Assert (False
2653 or else NT (N).Nkind = N_Extended_Return_Statement);
2655 end Return_Object_Declarations;
2657 function Return_Statement_Entity
2658 (N : Node_Id) return Node_Id is
2660 pragma Assert (False
2661 or else NT (N).Nkind = N_Extended_Return_Statement
2662 or else NT (N).Nkind = N_Return_Statement);
2664 end Return_Statement_Entity;
2666 function Reverse_Present
2667 (N : Node_Id) return Boolean is
2669 pragma Assert (False
2670 or else NT (N).Nkind = N_Iterator_Specification
2671 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2673 end Reverse_Present;
2676 (N : Node_Id) return Node_Id is
2678 pragma Assert (False
2679 or else NT (N).Nkind in N_Op
2680 or else NT (N).Nkind = N_And_Then
2681 or else NT (N).Nkind = N_In
2682 or else NT (N).Nkind = N_Not_In
2683 or else NT (N).Nkind = N_Or_Else);
2687 function Rounded_Result
2688 (N : Node_Id) return Boolean is
2690 pragma Assert (False
2691 or else NT (N).Nkind = N_Op_Divide
2692 or else NT (N).Nkind = N_Op_Multiply
2693 or else NT (N).Nkind = N_Type_Conversion);
2697 function SCIL_Controlling_Tag
2698 (N : Node_Id) return Node_Id is
2700 pragma Assert (False
2701 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2703 end SCIL_Controlling_Tag;
2705 function SCIL_Entity
2706 (N : Node_Id) return Node_Id is
2708 pragma Assert (False
2709 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2710 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2711 or else NT (N).Nkind = N_SCIL_Membership_Test);
2715 function SCIL_Tag_Value
2716 (N : Node_Id) return Node_Id is
2718 pragma Assert (False
2719 or else NT (N).Nkind = N_SCIL_Membership_Test);
2723 function SCIL_Target_Prim
2724 (N : Node_Id) return Node_Id is
2726 pragma Assert (False
2727 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2729 end SCIL_Target_Prim;
2732 (N : Node_Id) return Node_Id is
2734 pragma Assert (False
2735 or else NT (N).Nkind = N_Defining_Character_Literal
2736 or else NT (N).Nkind = N_Defining_Identifier
2737 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2741 function Select_Alternatives
2742 (N : Node_Id) return List_Id is
2744 pragma Assert (False
2745 or else NT (N).Nkind = N_Selective_Accept);
2747 end Select_Alternatives;
2749 function Selector_Name
2750 (N : Node_Id) return Node_Id is
2752 pragma Assert (False
2753 or else NT (N).Nkind = N_Expanded_Name
2754 or else NT (N).Nkind = N_Generic_Association
2755 or else NT (N).Nkind = N_Parameter_Association
2756 or else NT (N).Nkind = N_Selected_Component);
2760 function Selector_Names
2761 (N : Node_Id) return List_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Discriminant_Association);
2768 function Shift_Count_OK
2769 (N : Node_Id) return Boolean is
2771 pragma Assert (False
2772 or else NT (N).Nkind = N_Op_Rotate_Left
2773 or else NT (N).Nkind = N_Op_Rotate_Right
2774 or else NT (N).Nkind = N_Op_Shift_Left
2775 or else NT (N).Nkind = N_Op_Shift_Right
2776 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2780 function Source_Type
2781 (N : Node_Id) return Entity_Id is
2783 pragma Assert (False
2784 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2788 function Spec_PPC_List
2789 (N : Node_Id) return Node_Id is
2791 pragma Assert (False
2792 or else NT (N).Nkind = N_Contract);
2796 function Spec_CTC_List
2797 (N : Node_Id) return Node_Id is
2799 pragma Assert (False
2800 or else NT (N).Nkind = N_Contract);
2804 function Specification
2805 (N : Node_Id) return Node_Id is
2807 pragma Assert (False
2808 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2809 or else NT (N).Nkind = N_Expression_Function
2810 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2811 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2812 or else NT (N).Nkind = N_Generic_Package_Declaration
2813 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2814 or else NT (N).Nkind = N_Package_Declaration
2815 or else NT (N).Nkind = N_Subprogram_Body
2816 or else NT (N).Nkind = N_Subprogram_Body_Stub
2817 or else NT (N).Nkind = N_Subprogram_Declaration
2818 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2823 (N : Node_Id) return Boolean is
2825 pragma Assert (False
2826 or else NT (N).Nkind = N_Aspect_Specification
2827 or else NT (N).Nkind = N_Pragma);
2832 (N : Node_Id) return List_Id is
2834 pragma Assert (False
2835 or else NT (N).Nkind = N_Abortable_Part
2836 or else NT (N).Nkind = N_Accept_Alternative
2837 or else NT (N).Nkind = N_Case_Statement_Alternative
2838 or else NT (N).Nkind = N_Delay_Alternative
2839 or else NT (N).Nkind = N_Entry_Call_Alternative
2840 or else NT (N).Nkind = N_Exception_Handler
2841 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2842 or else NT (N).Nkind = N_Loop_Statement
2843 or else NT (N).Nkind = N_Triggering_Alternative);
2847 function Static_Processing_OK
2848 (N : Node_Id) return Boolean is
2850 pragma Assert (False
2851 or else NT (N).Nkind = N_Aggregate);
2853 end Static_Processing_OK;
2855 function Storage_Pool
2856 (N : Node_Id) return Node_Id is
2858 pragma Assert (False
2859 or else NT (N).Nkind = N_Allocator
2860 or else NT (N).Nkind = N_Extended_Return_Statement
2861 or else NT (N).Nkind = N_Free_Statement
2862 or else NT (N).Nkind = N_Return_Statement);
2866 function Subpool_Handle_Name
2867 (N : Node_Id) return Node_Id is
2869 pragma Assert (False
2870 or else NT (N).Nkind = N_Allocator);
2872 end Subpool_Handle_Name;
2875 (N : Node_Id) return String_Id is
2877 pragma Assert (False
2878 or else NT (N).Nkind = N_Operator_Symbol
2879 or else NT (N).Nkind = N_String_Literal);
2883 function Subtype_Indication
2884 (N : Node_Id) return Node_Id is
2886 pragma Assert (False
2887 or else NT (N).Nkind = N_Access_To_Object_Definition
2888 or else NT (N).Nkind = N_Component_Definition
2889 or else NT (N).Nkind = N_Derived_Type_Definition
2890 or else NT (N).Nkind = N_Iterator_Specification
2891 or else NT (N).Nkind = N_Private_Extension_Declaration
2892 or else NT (N).Nkind = N_Subtype_Declaration);
2894 end Subtype_Indication;
2896 function Suppress_Assignment_Checks
2897 (N : Node_Id) return Boolean is
2899 pragma Assert (False
2900 or else NT (N).Nkind = N_Assignment_Statement
2901 or else NT (N).Nkind = N_Object_Declaration);
2903 end Suppress_Assignment_Checks;
2905 function Suppress_Loop_Warnings
2906 (N : Node_Id) return Boolean is
2908 pragma Assert (False
2909 or else NT (N).Nkind = N_Loop_Statement);
2911 end Suppress_Loop_Warnings;
2913 function Subtype_Mark
2914 (N : Node_Id) return Node_Id is
2916 pragma Assert (False
2917 or else NT (N).Nkind = N_Access_Definition
2918 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2919 or else NT (N).Nkind = N_Formal_Object_Declaration
2920 or else NT (N).Nkind = N_Object_Renaming_Declaration
2921 or else NT (N).Nkind = N_Qualified_Expression
2922 or else NT (N).Nkind = N_Subtype_Indication
2923 or else NT (N).Nkind = N_Type_Conversion
2924 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2928 function Subtype_Marks
2929 (N : Node_Id) return List_Id is
2931 pragma Assert (False
2932 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2933 or else NT (N).Nkind = N_Use_Type_Clause);
2937 function Synchronized_Present
2938 (N : Node_Id) return Boolean is
2940 pragma Assert (False
2941 or else NT (N).Nkind = N_Derived_Type_Definition
2942 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2943 or else NT (N).Nkind = N_Private_Extension_Declaration
2944 or else NT (N).Nkind = N_Record_Definition);
2946 end Synchronized_Present;
2948 function Tagged_Present
2949 (N : Node_Id) return Boolean is
2951 pragma Assert (False
2952 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2953 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2954 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2955 or else NT (N).Nkind = N_Private_Type_Declaration
2956 or else NT (N).Nkind = N_Record_Definition);
2960 function Target_Type
2961 (N : Node_Id) return Entity_Id is
2963 pragma Assert (False
2964 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2968 function Task_Definition
2969 (N : Node_Id) return Node_Id is
2971 pragma Assert (False
2972 or else NT (N).Nkind = N_Single_Task_Declaration
2973 or else NT (N).Nkind = N_Task_Type_Declaration);
2975 end Task_Definition;
2977 function Task_Present
2978 (N : Node_Id) return Boolean is
2980 pragma Assert (False
2981 or else NT (N).Nkind = N_Derived_Type_Definition
2982 or else NT (N).Nkind = N_Record_Definition);
2986 function Then_Actions
2987 (N : Node_Id) return List_Id is
2989 pragma Assert (False
2990 or else NT (N).Nkind = N_Conditional_Expression);
2994 function Then_Statements
2995 (N : Node_Id) return List_Id is
2997 pragma Assert (False
2998 or else NT (N).Nkind = N_Elsif_Part
2999 or else NT (N).Nkind = N_If_Statement);
3001 end Then_Statements;
3003 function Treat_Fixed_As_Integer
3004 (N : Node_Id) return Boolean is
3006 pragma Assert (False
3007 or else NT (N).Nkind = N_Op_Divide
3008 or else NT (N).Nkind = N_Op_Mod
3009 or else NT (N).Nkind = N_Op_Multiply
3010 or else NT (N).Nkind = N_Op_Rem);
3012 end Treat_Fixed_As_Integer;
3014 function Triggering_Alternative
3015 (N : Node_Id) return Node_Id is
3017 pragma Assert (False
3018 or else NT (N).Nkind = N_Asynchronous_Select);
3020 end Triggering_Alternative;
3022 function Triggering_Statement
3023 (N : Node_Id) return Node_Id is
3025 pragma Assert (False
3026 or else NT (N).Nkind = N_Triggering_Alternative);
3028 end Triggering_Statement;
3031 (N : Node_Id) return Elist_Id is
3033 pragma Assert (False
3034 or else NT (N).Nkind = N_Freeze_Entity);
3038 function Type_Definition
3039 (N : Node_Id) return Node_Id is
3041 pragma Assert (False
3042 or else NT (N).Nkind = N_Full_Type_Declaration);
3044 end Type_Definition;
3047 (N : Node_Id) return Node_Id is
3049 pragma Assert (False
3050 or else NT (N).Nkind = N_Compilation_Unit);
3054 function Unknown_Discriminants_Present
3055 (N : Node_Id) return Boolean is
3057 pragma Assert (False
3058 or else NT (N).Nkind = N_Formal_Type_Declaration
3059 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3060 or else NT (N).Nkind = N_Private_Extension_Declaration
3061 or else NT (N).Nkind = N_Private_Type_Declaration);
3063 end Unknown_Discriminants_Present;
3065 function Unreferenced_In_Spec
3066 (N : Node_Id) return Boolean is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_With_Clause);
3071 end Unreferenced_In_Spec;
3073 function Variant_Part
3074 (N : Node_Id) return Node_Id is
3076 pragma Assert (False
3077 or else NT (N).Nkind = N_Component_List);
3082 (N : Node_Id) return List_Id is
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Variant_Part);
3089 function Visible_Declarations
3090 (N : Node_Id) return List_Id is
3092 pragma Assert (False
3093 or else NT (N).Nkind = N_Package_Specification
3094 or else NT (N).Nkind = N_Protected_Definition
3095 or else NT (N).Nkind = N_Task_Definition);
3097 end Visible_Declarations;
3099 function Used_Operations
3100 (N : Node_Id) return Elist_Id is
3102 pragma Assert (False
3103 or else NT (N).Nkind = N_Use_Type_Clause);
3105 end Used_Operations;
3107 function Was_Originally_Stub
3108 (N : Node_Id) return Boolean is
3110 pragma Assert (False
3111 or else NT (N).Nkind = N_Package_Body
3112 or else NT (N).Nkind = N_Protected_Body
3113 or else NT (N).Nkind = N_Subprogram_Body
3114 or else NT (N).Nkind = N_Task_Body);
3116 end Was_Originally_Stub;
3118 function Withed_Body
3119 (N : Node_Id) return Node_Id is
3121 pragma Assert (False
3122 or else NT (N).Nkind = N_With_Clause);
3126 --------------------------
3127 -- Field Set Procedures --
3128 --------------------------
3130 procedure Set_ABE_Is_Certain
3131 (N : Node_Id; Val : Boolean := True) is
3133 pragma Assert (False
3134 or else NT (N).Nkind = N_Formal_Package_Declaration
3135 or else NT (N).Nkind = N_Function_Call
3136 or else NT (N).Nkind = N_Function_Instantiation
3137 or else NT (N).Nkind = N_Package_Instantiation
3138 or else NT (N).Nkind = N_Procedure_Call_Statement
3139 or else NT (N).Nkind = N_Procedure_Instantiation);
3140 Set_Flag18 (N, Val);
3141 end Set_ABE_Is_Certain;
3143 procedure Set_Abort_Present
3144 (N : Node_Id; Val : Boolean := True) is
3146 pragma Assert (False
3147 or else NT (N).Nkind = N_Requeue_Statement);
3148 Set_Flag15 (N, Val);
3149 end Set_Abort_Present;
3151 procedure Set_Abortable_Part
3152 (N : Node_Id; Val : Node_Id) is
3154 pragma Assert (False
3155 or else NT (N).Nkind = N_Asynchronous_Select);
3156 Set_Node2_With_Parent (N, Val);
3157 end Set_Abortable_Part;
3159 procedure Set_Abstract_Present
3160 (N : Node_Id; Val : Boolean := True) is
3162 pragma Assert (False
3163 or else NT (N).Nkind = N_Derived_Type_Definition
3164 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3165 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3166 or else NT (N).Nkind = N_Private_Extension_Declaration
3167 or else NT (N).Nkind = N_Private_Type_Declaration
3168 or else NT (N).Nkind = N_Record_Definition);
3170 end Set_Abstract_Present;
3172 procedure Set_Accept_Handler_Records
3173 (N : Node_Id; Val : List_Id) is
3175 pragma Assert (False
3176 or else NT (N).Nkind = N_Accept_Alternative);
3177 Set_List5 (N, Val); -- semantic field, no parent set
3178 end Set_Accept_Handler_Records;
3180 procedure Set_Accept_Statement
3181 (N : Node_Id; Val : Node_Id) is
3183 pragma Assert (False
3184 or else NT (N).Nkind = N_Accept_Alternative);
3185 Set_Node2_With_Parent (N, Val);
3186 end Set_Accept_Statement;
3188 procedure Set_Access_Definition
3189 (N : Node_Id; Val : Node_Id) is
3191 pragma Assert (False
3192 or else NT (N).Nkind = N_Component_Definition
3193 or else NT (N).Nkind = N_Formal_Object_Declaration
3194 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3195 Set_Node3_With_Parent (N, Val);
3196 end Set_Access_Definition;
3198 procedure Set_Access_To_Subprogram_Definition
3199 (N : Node_Id; Val : Node_Id) is
3201 pragma Assert (False
3202 or else NT (N).Nkind = N_Access_Definition);
3203 Set_Node3_With_Parent (N, Val);
3204 end Set_Access_To_Subprogram_Definition;
3206 procedure Set_Access_Types_To_Process
3207 (N : Node_Id; Val : Elist_Id) is
3209 pragma Assert (False
3210 or else NT (N).Nkind = N_Freeze_Entity);
3211 Set_Elist2 (N, Val); -- semantic field, no parent set
3212 end Set_Access_Types_To_Process;
3214 procedure Set_Actions
3215 (N : Node_Id; Val : List_Id) is
3217 pragma Assert (False
3218 or else NT (N).Nkind = N_And_Then
3219 or else NT (N).Nkind = N_Case_Expression_Alternative
3220 or else NT (N).Nkind = N_Compilation_Unit_Aux
3221 or else NT (N).Nkind = N_Expression_With_Actions
3222 or else NT (N).Nkind = N_Freeze_Entity
3223 or else NT (N).Nkind = N_Or_Else);
3224 Set_List1_With_Parent (N, Val);
3227 procedure Set_Activation_Chain_Entity
3228 (N : Node_Id; Val : Node_Id) is
3230 pragma Assert (False
3231 or else NT (N).Nkind = N_Block_Statement
3232 or else NT (N).Nkind = N_Entry_Body
3233 or else NT (N).Nkind = N_Generic_Package_Declaration
3234 or else NT (N).Nkind = N_Package_Declaration
3235 or else NT (N).Nkind = N_Subprogram_Body
3236 or else NT (N).Nkind = N_Task_Body);
3237 Set_Node3 (N, Val); -- semantic field, no parent set
3238 end Set_Activation_Chain_Entity;
3240 procedure Set_Acts_As_Spec
3241 (N : Node_Id; Val : Boolean := True) is
3243 pragma Assert (False
3244 or else NT (N).Nkind = N_Compilation_Unit
3245 or else NT (N).Nkind = N_Subprogram_Body);
3247 end Set_Acts_As_Spec;
3249 procedure Set_Actual_Designated_Subtype
3250 (N : Node_Id; Val : Node_Id) is
3252 pragma Assert (False
3253 or else NT (N).Nkind = N_Explicit_Dereference
3254 or else NT (N).Nkind = N_Free_Statement);
3256 end Set_Actual_Designated_Subtype;
3258 procedure Set_Address_Warning_Posted
3259 (N : Node_Id; Val : Boolean := True) is
3261 pragma Assert (False
3262 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3263 Set_Flag18 (N, Val);
3264 end Set_Address_Warning_Posted;
3266 procedure Set_Aggregate_Bounds
3267 (N : Node_Id; Val : Node_Id) is
3269 pragma Assert (False
3270 or else NT (N).Nkind = N_Aggregate);
3271 Set_Node3 (N, Val); -- semantic field, no parent set
3272 end Set_Aggregate_Bounds;
3274 procedure Set_Aliased_Present
3275 (N : Node_Id; Val : Boolean := True) is
3277 pragma Assert (False
3278 or else NT (N).Nkind = N_Component_Definition
3279 or else NT (N).Nkind = N_Object_Declaration
3280 or else NT (N).Nkind = N_Parameter_Specification);
3282 end Set_Aliased_Present;
3284 procedure Set_All_Others
3285 (N : Node_Id; Val : Boolean := True) is
3287 pragma Assert (False
3288 or else NT (N).Nkind = N_Others_Choice);
3289 Set_Flag11 (N, Val);
3292 procedure Set_All_Present
3293 (N : Node_Id; Val : Boolean := True) is
3295 pragma Assert (False
3296 or else NT (N).Nkind = N_Access_Definition
3297 or else NT (N).Nkind = N_Access_To_Object_Definition
3298 or else NT (N).Nkind = N_Quantified_Expression
3299 or else NT (N).Nkind = N_Use_Type_Clause);
3300 Set_Flag15 (N, Val);
3301 end Set_All_Present;
3303 procedure Set_Alternatives
3304 (N : Node_Id; Val : List_Id) is
3306 pragma Assert (False
3307 or else NT (N).Nkind = N_Case_Expression
3308 or else NT (N).Nkind = N_Case_Statement
3309 or else NT (N).Nkind = N_In
3310 or else NT (N).Nkind = N_Not_In);
3311 Set_List4_With_Parent (N, Val);
3312 end Set_Alternatives;
3314 procedure Set_Ancestor_Part
3315 (N : Node_Id; Val : Node_Id) is
3317 pragma Assert (False
3318 or else NT (N).Nkind = N_Extension_Aggregate);
3319 Set_Node3_With_Parent (N, Val);
3320 end Set_Ancestor_Part;
3322 procedure Set_Atomic_Sync_Required
3323 (N : Node_Id; Val : Boolean := True) is
3325 pragma Assert (False
3326 or else NT (N).Nkind = N_Expanded_Name
3327 or else NT (N).Nkind = N_Explicit_Dereference
3328 or else NT (N).Nkind = N_Identifier
3329 or else NT (N).Nkind = N_Indexed_Component
3330 or else NT (N).Nkind = N_Selected_Component);
3331 Set_Flag14 (N, Val);
3332 end Set_Atomic_Sync_Required;
3334 procedure Set_Array_Aggregate
3335 (N : Node_Id; Val : Node_Id) is
3337 pragma Assert (False
3338 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3339 Set_Node3_With_Parent (N, Val);
3340 end Set_Array_Aggregate;
3342 procedure Set_Aspect_Rep_Item
3343 (N : Node_Id; Val : Node_Id) is
3345 pragma Assert (False
3346 or else NT (N).Nkind = N_Aspect_Specification);
3348 end Set_Aspect_Rep_Item;
3350 procedure Set_Assignment_OK
3351 (N : Node_Id; Val : Boolean := True) is
3353 pragma Assert (False
3354 or else NT (N).Nkind = N_Object_Declaration
3355 or else NT (N).Nkind in N_Subexpr);
3356 Set_Flag15 (N, Val);
3357 end Set_Assignment_OK;
3359 procedure Set_Associated_Node
3360 (N : Node_Id; Val : Node_Id) is
3362 pragma Assert (False
3363 or else NT (N).Nkind in N_Has_Entity
3364 or else NT (N).Nkind = N_Aggregate
3365 or else NT (N).Nkind = N_Extension_Aggregate
3366 or else NT (N).Nkind = N_Selected_Component);
3367 Set_Node4 (N, Val); -- semantic field, no parent set
3368 end Set_Associated_Node;
3370 procedure Set_At_End_Proc
3371 (N : Node_Id; Val : Node_Id) is
3373 pragma Assert (False
3374 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3376 end Set_At_End_Proc;
3378 procedure Set_Attribute_Name
3379 (N : Node_Id; Val : Name_Id) is
3381 pragma Assert (False
3382 or else NT (N).Nkind = N_Attribute_Reference);
3384 end Set_Attribute_Name;
3386 procedure Set_Aux_Decls_Node
3387 (N : Node_Id; Val : Node_Id) is
3389 pragma Assert (False
3390 or else NT (N).Nkind = N_Compilation_Unit);
3391 Set_Node5_With_Parent (N, Val);
3392 end Set_Aux_Decls_Node;
3394 procedure Set_Backwards_OK
3395 (N : Node_Id; Val : Boolean := True) is
3397 pragma Assert (False
3398 or else NT (N).Nkind = N_Assignment_Statement);
3400 end Set_Backwards_OK;
3402 procedure Set_Bad_Is_Detected
3403 (N : Node_Id; Val : Boolean := True) is
3405 pragma Assert (False
3406 or else NT (N).Nkind = N_Subprogram_Body);
3407 Set_Flag15 (N, Val);
3408 end Set_Bad_Is_Detected;
3410 procedure Set_Body_Required
3411 (N : Node_Id; Val : Boolean := True) is
3413 pragma Assert (False
3414 or else NT (N).Nkind = N_Compilation_Unit);
3415 Set_Flag13 (N, Val);
3416 end Set_Body_Required;
3418 procedure Set_Body_To_Inline
3419 (N : Node_Id; Val : Node_Id) is
3421 pragma Assert (False
3422 or else NT (N).Nkind = N_Subprogram_Declaration);
3424 end Set_Body_To_Inline;
3426 procedure Set_Box_Present
3427 (N : Node_Id; Val : Boolean := True) is
3429 pragma Assert (False
3430 or else NT (N).Nkind = N_Component_Association
3431 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3432 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3433 or else NT (N).Nkind = N_Formal_Package_Declaration
3434 or else NT (N).Nkind = N_Generic_Association);
3435 Set_Flag15 (N, Val);
3436 end Set_Box_Present;
3438 procedure Set_By_Ref
3439 (N : Node_Id; Val : Boolean := True) is
3441 pragma Assert (False
3442 or else NT (N).Nkind = N_Extended_Return_Statement
3443 or else NT (N).Nkind = N_Return_Statement);
3447 procedure Set_Char_Literal_Value
3448 (N : Node_Id; Val : Uint) is
3450 pragma Assert (False
3451 or else NT (N).Nkind = N_Character_Literal);
3453 end Set_Char_Literal_Value;
3456 (N : Node_Id; Val : Name_Id) is
3458 pragma Assert (False
3459 or else NT (N).Nkind in N_Has_Chars);
3463 procedure Set_Check_Address_Alignment
3464 (N : Node_Id; Val : Boolean := True) is
3466 pragma Assert (False
3467 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3468 Set_Flag11 (N, Val);
3469 end Set_Check_Address_Alignment;
3471 procedure Set_Choice_Parameter
3472 (N : Node_Id; Val : Node_Id) is
3474 pragma Assert (False
3475 or else NT (N).Nkind = N_Exception_Handler);
3476 Set_Node2_With_Parent (N, Val);
3477 end Set_Choice_Parameter;
3479 procedure Set_Choices
3480 (N : Node_Id; Val : List_Id) is
3482 pragma Assert (False
3483 or else NT (N).Nkind = N_Component_Association);
3484 Set_List1_With_Parent (N, Val);
3487 procedure Set_Class_Present
3488 (N : Node_Id; Val : Boolean := True) is
3490 pragma Assert (False
3491 or else NT (N).Nkind = N_Aspect_Specification
3492 or else NT (N).Nkind = N_Pragma);
3494 end Set_Class_Present;
3496 procedure Set_Comes_From_Extended_Return_Statement
3497 (N : Node_Id; Val : Boolean := True) is
3499 pragma Assert (False
3500 or else NT (N).Nkind = N_Return_Statement);
3501 Set_Flag18 (N, Val);
3502 end Set_Comes_From_Extended_Return_Statement;
3504 procedure Set_Compile_Time_Known_Aggregate
3505 (N : Node_Id; Val : Boolean := True) is
3507 pragma Assert (False
3508 or else NT (N).Nkind = N_Aggregate);
3509 Set_Flag18 (N, Val);
3510 end Set_Compile_Time_Known_Aggregate;
3512 procedure Set_Component_Associations
3513 (N : Node_Id; Val : List_Id) is
3515 pragma Assert (False
3516 or else NT (N).Nkind = N_Aggregate
3517 or else NT (N).Nkind = N_Extension_Aggregate);
3518 Set_List2_With_Parent (N, Val);
3519 end Set_Component_Associations;
3521 procedure Set_Component_Clauses
3522 (N : Node_Id; Val : List_Id) is
3524 pragma Assert (False
3525 or else NT (N).Nkind = N_Record_Representation_Clause);
3526 Set_List3_With_Parent (N, Val);
3527 end Set_Component_Clauses;
3529 procedure Set_Component_Definition
3530 (N : Node_Id; Val : Node_Id) is
3532 pragma Assert (False
3533 or else NT (N).Nkind = N_Component_Declaration
3534 or else NT (N).Nkind = N_Constrained_Array_Definition
3535 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3536 Set_Node4_With_Parent (N, Val);
3537 end Set_Component_Definition;
3539 procedure Set_Component_Items
3540 (N : Node_Id; Val : List_Id) is
3542 pragma Assert (False
3543 or else NT (N).Nkind = N_Component_List);
3544 Set_List3_With_Parent (N, Val);
3545 end Set_Component_Items;
3547 procedure Set_Component_List
3548 (N : Node_Id; Val : Node_Id) is
3550 pragma Assert (False
3551 or else NT (N).Nkind = N_Record_Definition
3552 or else NT (N).Nkind = N_Variant);
3553 Set_Node1_With_Parent (N, Val);
3554 end Set_Component_List;
3556 procedure Set_Component_Name
3557 (N : Node_Id; Val : Node_Id) is
3559 pragma Assert (False
3560 or else NT (N).Nkind = N_Component_Clause);
3561 Set_Node1_With_Parent (N, Val);
3562 end Set_Component_Name;
3564 procedure Set_Componentwise_Assignment
3565 (N : Node_Id; Val : Boolean := True) is
3567 pragma Assert (False
3568 or else NT (N).Nkind = N_Assignment_Statement);
3569 Set_Flag14 (N, Val);
3570 end Set_Componentwise_Assignment;
3572 procedure Set_Condition
3573 (N : Node_Id; Val : Node_Id) is
3575 pragma Assert (False
3576 or else NT (N).Nkind = N_Accept_Alternative
3577 or else NT (N).Nkind = N_Delay_Alternative
3578 or else NT (N).Nkind = N_Elsif_Part
3579 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3580 or else NT (N).Nkind = N_Exit_Statement
3581 or else NT (N).Nkind = N_If_Statement
3582 or else NT (N).Nkind = N_Iteration_Scheme
3583 or else NT (N).Nkind = N_Quantified_Expression
3584 or else NT (N).Nkind = N_Raise_Constraint_Error
3585 or else NT (N).Nkind = N_Raise_Program_Error
3586 or else NT (N).Nkind = N_Raise_Storage_Error
3587 or else NT (N).Nkind = N_Terminate_Alternative);
3588 Set_Node1_With_Parent (N, Val);
3591 procedure Set_Condition_Actions
3592 (N : Node_Id; Val : List_Id) is
3594 pragma Assert (False
3595 or else NT (N).Nkind = N_Elsif_Part
3596 or else NT (N).Nkind = N_Iteration_Scheme);
3597 Set_List3 (N, Val); -- semantic field, no parent set
3598 end Set_Condition_Actions;
3600 procedure Set_Config_Pragmas
3601 (N : Node_Id; Val : List_Id) is
3603 pragma Assert (False
3604 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3605 Set_List4_With_Parent (N, Val);
3606 end Set_Config_Pragmas;
3608 procedure Set_Constant_Present
3609 (N : Node_Id; Val : Boolean := True) is
3611 pragma Assert (False
3612 or else NT (N).Nkind = N_Access_Definition
3613 or else NT (N).Nkind = N_Access_To_Object_Definition
3614 or else NT (N).Nkind = N_Object_Declaration);
3615 Set_Flag17 (N, Val);
3616 end Set_Constant_Present;
3618 procedure Set_Constraint
3619 (N : Node_Id; Val : Node_Id) is
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_Subtype_Indication);
3623 Set_Node3_With_Parent (N, Val);
3626 procedure Set_Constraints
3627 (N : Node_Id; Val : List_Id) is
3629 pragma Assert (False
3630 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3631 Set_List1_With_Parent (N, Val);
3632 end Set_Constraints;
3634 procedure Set_Context_Installed
3635 (N : Node_Id; Val : Boolean := True) is
3637 pragma Assert (False
3638 or else NT (N).Nkind = N_With_Clause);
3639 Set_Flag13 (N, Val);
3640 end Set_Context_Installed;
3642 procedure Set_Context_Items
3643 (N : Node_Id; Val : List_Id) is
3645 pragma Assert (False
3646 or else NT (N).Nkind = N_Compilation_Unit);
3647 Set_List1_With_Parent (N, Val);
3648 end Set_Context_Items;
3650 procedure Set_Context_Pending
3651 (N : Node_Id; Val : Boolean := True) is
3653 pragma Assert (False
3654 or else NT (N).Nkind = N_Compilation_Unit);
3655 Set_Flag16 (N, Val);
3656 end Set_Context_Pending;
3658 procedure Set_Controlling_Argument
3659 (N : Node_Id; Val : Node_Id) is
3661 pragma Assert (False
3662 or else NT (N).Nkind = N_Function_Call
3663 or else NT (N).Nkind = N_Procedure_Call_Statement);
3664 Set_Node1 (N, Val); -- semantic field, no parent set
3665 end Set_Controlling_Argument;
3667 procedure Set_Conversion_OK
3668 (N : Node_Id; Val : Boolean := True) is
3670 pragma Assert (False
3671 or else NT (N).Nkind = N_Type_Conversion);
3672 Set_Flag14 (N, Val);
3673 end Set_Conversion_OK;
3675 procedure Set_Corresponding_Aspect
3676 (N : Node_Id; Val : Node_Id) is
3678 pragma Assert (False
3679 or else NT (N).Nkind = N_Pragma);
3681 end Set_Corresponding_Aspect;
3683 procedure Set_Corresponding_Body
3684 (N : Node_Id; Val : Node_Id) is
3686 pragma Assert (False
3687 or else NT (N).Nkind = N_Entry_Declaration
3688 or else NT (N).Nkind = N_Generic_Package_Declaration
3689 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3690 or else NT (N).Nkind = N_Package_Body_Stub
3691 or else NT (N).Nkind = N_Package_Declaration
3692 or else NT (N).Nkind = N_Protected_Body_Stub
3693 or else NT (N).Nkind = N_Protected_Type_Declaration
3694 or else NT (N).Nkind = N_Subprogram_Body_Stub
3695 or else NT (N).Nkind = N_Subprogram_Declaration
3696 or else NT (N).Nkind = N_Task_Body_Stub
3697 or else NT (N).Nkind = N_Task_Type_Declaration);
3698 Set_Node5 (N, Val); -- semantic field, no parent set
3699 end Set_Corresponding_Body;
3701 procedure Set_Corresponding_Formal_Spec
3702 (N : Node_Id; Val : Node_Id) is
3704 pragma Assert (False
3705 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3706 Set_Node3 (N, Val); -- semantic field, no parent set
3707 end Set_Corresponding_Formal_Spec;
3709 procedure Set_Corresponding_Generic_Association
3710 (N : Node_Id; Val : Node_Id) is
3712 pragma Assert (False
3713 or else NT (N).Nkind = N_Object_Declaration
3714 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3715 Set_Node5 (N, Val); -- semantic field, no parent set
3716 end Set_Corresponding_Generic_Association;
3718 procedure Set_Corresponding_Integer_Value
3719 (N : Node_Id; Val : Uint) is
3721 pragma Assert (False
3722 or else NT (N).Nkind = N_Real_Literal);
3723 Set_Uint4 (N, Val); -- semantic field, no parent set
3724 end Set_Corresponding_Integer_Value;
3726 procedure Set_Corresponding_Spec
3727 (N : Node_Id; Val : Node_Id) is
3729 pragma Assert (False
3730 or else NT (N).Nkind = N_Expression_Function
3731 or else NT (N).Nkind = N_Package_Body
3732 or else NT (N).Nkind = N_Protected_Body
3733 or else NT (N).Nkind = N_Subprogram_Body
3734 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3735 or else NT (N).Nkind = N_Task_Body
3736 or else NT (N).Nkind = N_With_Clause);
3737 Set_Node5 (N, Val); -- semantic field, no parent set
3738 end Set_Corresponding_Spec;
3740 procedure Set_Corresponding_Stub
3741 (N : Node_Id; Val : Node_Id) is
3743 pragma Assert (False
3744 or else NT (N).Nkind = N_Subunit);
3746 end Set_Corresponding_Stub;
3748 procedure Set_Dcheck_Function
3749 (N : Node_Id; Val : Entity_Id) is
3751 pragma Assert (False
3752 or else NT (N).Nkind = N_Variant);
3753 Set_Node5 (N, Val); -- semantic field, no parent set
3754 end Set_Dcheck_Function;
3756 procedure Set_Declarations
3757 (N : Node_Id; Val : List_Id) is
3759 pragma Assert (False
3760 or else NT (N).Nkind = N_Accept_Statement
3761 or else NT (N).Nkind = N_Block_Statement
3762 or else NT (N).Nkind = N_Compilation_Unit_Aux
3763 or else NT (N).Nkind = N_Entry_Body
3764 or else NT (N).Nkind = N_Package_Body
3765 or else NT (N).Nkind = N_Protected_Body
3766 or else NT (N).Nkind = N_Subprogram_Body
3767 or else NT (N).Nkind = N_Task_Body);
3768 Set_List2_With_Parent (N, Val);
3769 end Set_Declarations;
3771 procedure Set_Default_Expression
3772 (N : Node_Id; Val : Node_Id) is
3774 pragma Assert (False
3775 or else NT (N).Nkind = N_Formal_Object_Declaration
3776 or else NT (N).Nkind = N_Parameter_Specification);
3777 Set_Node5 (N, Val); -- semantic field, no parent set
3778 end Set_Default_Expression;
3780 procedure Set_Default_Storage_Pool
3781 (N : Node_Id; Val : Node_Id) is
3783 pragma Assert (False
3784 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3785 Set_Node3 (N, Val); -- semantic field, no parent set
3786 end Set_Default_Storage_Pool;
3788 procedure Set_Default_Name
3789 (N : Node_Id; Val : Node_Id) is
3791 pragma Assert (False
3792 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3793 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3794 Set_Node2_With_Parent (N, Val);
3795 end Set_Default_Name;
3797 procedure Set_Defining_Identifier
3798 (N : Node_Id; Val : Entity_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Component_Declaration
3802 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3803 or else NT (N).Nkind = N_Discriminant_Specification
3804 or else NT (N).Nkind = N_Entry_Body
3805 or else NT (N).Nkind = N_Entry_Declaration
3806 or else NT (N).Nkind = N_Entry_Index_Specification
3807 or else NT (N).Nkind = N_Exception_Declaration
3808 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3809 or else NT (N).Nkind = N_Formal_Object_Declaration
3810 or else NT (N).Nkind = N_Formal_Package_Declaration
3811 or else NT (N).Nkind = N_Formal_Type_Declaration
3812 or else NT (N).Nkind = N_Full_Type_Declaration
3813 or else NT (N).Nkind = N_Implicit_Label_Declaration
3814 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3815 or else NT (N).Nkind = N_Iterator_Specification
3816 or else NT (N).Nkind = N_Loop_Parameter_Specification
3817 or else NT (N).Nkind = N_Number_Declaration
3818 or else NT (N).Nkind = N_Object_Declaration
3819 or else NT (N).Nkind = N_Object_Renaming_Declaration
3820 or else NT (N).Nkind = N_Package_Body_Stub
3821 or else NT (N).Nkind = N_Parameter_Specification
3822 or else NT (N).Nkind = N_Private_Extension_Declaration
3823 or else NT (N).Nkind = N_Private_Type_Declaration
3824 or else NT (N).Nkind = N_Protected_Body
3825 or else NT (N).Nkind = N_Protected_Body_Stub
3826 or else NT (N).Nkind = N_Protected_Type_Declaration
3827 or else NT (N).Nkind = N_Single_Protected_Declaration
3828 or else NT (N).Nkind = N_Single_Task_Declaration
3829 or else NT (N).Nkind = N_Subtype_Declaration
3830 or else NT (N).Nkind = N_Task_Body
3831 or else NT (N).Nkind = N_Task_Body_Stub
3832 or else NT (N).Nkind = N_Task_Type_Declaration);
3833 Set_Node1_With_Parent (N, Val);
3834 end Set_Defining_Identifier;
3836 procedure Set_Defining_Unit_Name
3837 (N : Node_Id; Val : Node_Id) is
3839 pragma Assert (False
3840 or else NT (N).Nkind = N_Function_Instantiation
3841 or else NT (N).Nkind = N_Function_Specification
3842 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3843 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3844 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3845 or else NT (N).Nkind = N_Package_Body
3846 or else NT (N).Nkind = N_Package_Instantiation
3847 or else NT (N).Nkind = N_Package_Renaming_Declaration
3848 or else NT (N).Nkind = N_Package_Specification
3849 or else NT (N).Nkind = N_Procedure_Instantiation
3850 or else NT (N).Nkind = N_Procedure_Specification);
3851 Set_Node1_With_Parent (N, Val);
3852 end Set_Defining_Unit_Name;
3854 procedure Set_Delay_Alternative
3855 (N : Node_Id; Val : Node_Id) is
3857 pragma Assert (False
3858 or else NT (N).Nkind = N_Timed_Entry_Call);
3859 Set_Node4_With_Parent (N, Val);
3860 end Set_Delay_Alternative;
3862 procedure Set_Delay_Statement
3863 (N : Node_Id; Val : Node_Id) is
3865 pragma Assert (False
3866 or else NT (N).Nkind = N_Delay_Alternative);
3867 Set_Node2_With_Parent (N, Val);
3868 end Set_Delay_Statement;
3870 procedure Set_Delta_Expression
3871 (N : Node_Id; Val : Node_Id) is
3873 pragma Assert (False
3874 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3875 or else NT (N).Nkind = N_Delta_Constraint
3876 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3877 Set_Node3_With_Parent (N, Val);
3878 end Set_Delta_Expression;
3880 procedure Set_Digits_Expression
3881 (N : Node_Id; Val : Node_Id) is
3883 pragma Assert (False
3884 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3885 or else NT (N).Nkind = N_Digits_Constraint
3886 or else NT (N).Nkind = N_Floating_Point_Definition);
3887 Set_Node2_With_Parent (N, Val);
3888 end Set_Digits_Expression;
3890 procedure Set_Discr_Check_Funcs_Built
3891 (N : Node_Id; Val : Boolean := True) is
3893 pragma Assert (False
3894 or else NT (N).Nkind = N_Full_Type_Declaration);
3895 Set_Flag11 (N, Val);
3896 end Set_Discr_Check_Funcs_Built;
3898 procedure Set_Discrete_Choices
3899 (N : Node_Id; Val : List_Id) is
3901 pragma Assert (False
3902 or else NT (N).Nkind = N_Case_Expression_Alternative
3903 or else NT (N).Nkind = N_Case_Statement_Alternative
3904 or else NT (N).Nkind = N_Variant);
3905 Set_List4_With_Parent (N, Val);
3906 end Set_Discrete_Choices;
3908 procedure Set_Discrete_Range
3909 (N : Node_Id; Val : Node_Id) is
3911 pragma Assert (False
3912 or else NT (N).Nkind = N_Slice);
3913 Set_Node4_With_Parent (N, Val);
3914 end Set_Discrete_Range;
3916 procedure Set_Discrete_Subtype_Definition
3917 (N : Node_Id; Val : Node_Id) is
3919 pragma Assert (False
3920 or else NT (N).Nkind = N_Entry_Declaration
3921 or else NT (N).Nkind = N_Entry_Index_Specification
3922 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3923 Set_Node4_With_Parent (N, Val);
3924 end Set_Discrete_Subtype_Definition;
3926 procedure Set_Discrete_Subtype_Definitions
3927 (N : Node_Id; Val : List_Id) is
3929 pragma Assert (False
3930 or else NT (N).Nkind = N_Constrained_Array_Definition);
3931 Set_List2_With_Parent (N, Val);
3932 end Set_Discrete_Subtype_Definitions;
3934 procedure Set_Discriminant_Specifications
3935 (N : Node_Id; Val : List_Id) is
3937 pragma Assert (False
3938 or else NT (N).Nkind = N_Formal_Type_Declaration
3939 or else NT (N).Nkind = N_Full_Type_Declaration
3940 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3941 or else NT (N).Nkind = N_Private_Extension_Declaration
3942 or else NT (N).Nkind = N_Private_Type_Declaration
3943 or else NT (N).Nkind = N_Protected_Type_Declaration
3944 or else NT (N).Nkind = N_Task_Type_Declaration);
3945 Set_List4_With_Parent (N, Val);
3946 end Set_Discriminant_Specifications;
3948 procedure Set_Discriminant_Type
3949 (N : Node_Id; Val : Node_Id) is
3951 pragma Assert (False
3952 or else NT (N).Nkind = N_Discriminant_Specification);
3953 Set_Node5_With_Parent (N, Val);
3954 end Set_Discriminant_Type;
3956 procedure Set_Do_Accessibility_Check
3957 (N : Node_Id; Val : Boolean := True) is
3959 pragma Assert (False
3960 or else NT (N).Nkind = N_Parameter_Specification);
3961 Set_Flag13 (N, Val);
3962 end Set_Do_Accessibility_Check;
3964 procedure Set_Do_Discriminant_Check
3965 (N : Node_Id; Val : Boolean := True) is
3967 pragma Assert (False
3968 or else NT (N).Nkind = N_Selected_Component);
3969 Set_Flag13 (N, Val);
3970 end Set_Do_Discriminant_Check;
3972 procedure Set_Do_Division_Check
3973 (N : Node_Id; Val : Boolean := True) is
3975 pragma Assert (False
3976 or else NT (N).Nkind = N_Op_Divide
3977 or else NT (N).Nkind = N_Op_Mod
3978 or else NT (N).Nkind = N_Op_Rem);
3979 Set_Flag13 (N, Val);
3980 end Set_Do_Division_Check;
3982 procedure Set_Do_Length_Check
3983 (N : Node_Id; Val : Boolean := True) is
3985 pragma Assert (False
3986 or else NT (N).Nkind = N_Assignment_Statement
3987 or else NT (N).Nkind = N_Op_And
3988 or else NT (N).Nkind = N_Op_Or
3989 or else NT (N).Nkind = N_Op_Xor
3990 or else NT (N).Nkind = N_Type_Conversion);
3992 end Set_Do_Length_Check;
3994 procedure Set_Do_Overflow_Check
3995 (N : Node_Id; Val : Boolean := True) is
3997 pragma Assert (False
3998 or else NT (N).Nkind in N_Op
3999 or else NT (N).Nkind = N_Attribute_Reference
4000 or else NT (N).Nkind = N_Type_Conversion);
4001 Set_Flag17 (N, Val);
4002 end Set_Do_Overflow_Check;
4004 procedure Set_Do_Range_Check
4005 (N : Node_Id; Val : Boolean := True) is
4007 pragma Assert (False
4008 or else NT (N).Nkind in N_Subexpr);
4010 end Set_Do_Range_Check;
4012 procedure Set_Do_Storage_Check
4013 (N : Node_Id; Val : Boolean := True) is
4015 pragma Assert (False
4016 or else NT (N).Nkind = N_Allocator
4017 or else NT (N).Nkind = N_Subprogram_Body);
4018 Set_Flag17 (N, Val);
4019 end Set_Do_Storage_Check;
4021 procedure Set_Do_Tag_Check
4022 (N : Node_Id; Val : Boolean := True) is
4024 pragma Assert (False
4025 or else NT (N).Nkind = N_Assignment_Statement
4026 or else NT (N).Nkind = N_Extended_Return_Statement
4027 or else NT (N).Nkind = N_Function_Call
4028 or else NT (N).Nkind = N_Procedure_Call_Statement
4029 or else NT (N).Nkind = N_Return_Statement
4030 or else NT (N).Nkind = N_Type_Conversion);
4031 Set_Flag13 (N, Val);
4032 end Set_Do_Tag_Check;
4034 procedure Set_Elaborate_All_Desirable
4035 (N : Node_Id; Val : Boolean := True) is
4037 pragma Assert (False
4038 or else NT (N).Nkind = N_With_Clause);
4040 end Set_Elaborate_All_Desirable;
4042 procedure Set_Elaborate_All_Present
4043 (N : Node_Id; Val : Boolean := True) is
4045 pragma Assert (False
4046 or else NT (N).Nkind = N_With_Clause);
4047 Set_Flag14 (N, Val);
4048 end Set_Elaborate_All_Present;
4050 procedure Set_Elaborate_Desirable
4051 (N : Node_Id; Val : Boolean := True) is
4053 pragma Assert (False
4054 or else NT (N).Nkind = N_With_Clause);
4055 Set_Flag11 (N, Val);
4056 end Set_Elaborate_Desirable;
4058 procedure Set_Elaborate_Present
4059 (N : Node_Id; Val : Boolean := True) is
4061 pragma Assert (False
4062 or else NT (N).Nkind = N_With_Clause);
4064 end Set_Elaborate_Present;
4066 procedure Set_Elaboration_Boolean
4067 (N : Node_Id; Val : Node_Id) is
4069 pragma Assert (False
4070 or else NT (N).Nkind = N_Function_Specification
4071 or else NT (N).Nkind = N_Procedure_Specification);
4073 end Set_Elaboration_Boolean;
4075 procedure Set_Else_Actions
4076 (N : Node_Id; Val : List_Id) is
4078 pragma Assert (False
4079 or else NT (N).Nkind = N_Conditional_Expression);
4080 Set_List3 (N, Val); -- semantic field, no parent set
4081 end Set_Else_Actions;
4083 procedure Set_Else_Statements
4084 (N : Node_Id; Val : List_Id) is
4086 pragma Assert (False
4087 or else NT (N).Nkind = N_Conditional_Entry_Call
4088 or else NT (N).Nkind = N_If_Statement
4089 or else NT (N).Nkind = N_Selective_Accept);
4090 Set_List4_With_Parent (N, Val);
4091 end Set_Else_Statements;
4093 procedure Set_Elsif_Parts
4094 (N : Node_Id; Val : List_Id) is
4096 pragma Assert (False
4097 or else NT (N).Nkind = N_If_Statement);
4098 Set_List3_With_Parent (N, Val);
4099 end Set_Elsif_Parts;
4101 procedure Set_Enclosing_Variant
4102 (N : Node_Id; Val : Node_Id) is
4104 pragma Assert (False
4105 or else NT (N).Nkind = N_Variant);
4106 Set_Node2 (N, Val); -- semantic field, no parent set
4107 end Set_Enclosing_Variant;
4109 procedure Set_End_Label
4110 (N : Node_Id; Val : Node_Id) is
4112 pragma Assert (False
4113 or else NT (N).Nkind = N_Enumeration_Type_Definition
4114 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4115 or else NT (N).Nkind = N_Loop_Statement
4116 or else NT (N).Nkind = N_Package_Specification
4117 or else NT (N).Nkind = N_Protected_Body
4118 or else NT (N).Nkind = N_Protected_Definition
4119 or else NT (N).Nkind = N_Record_Definition
4120 or else NT (N).Nkind = N_Task_Definition);
4121 Set_Node4_With_Parent (N, Val);
4124 procedure Set_End_Span
4125 (N : Node_Id; Val : Uint) is
4127 pragma Assert (False
4128 or else NT (N).Nkind = N_Case_Statement
4129 or else NT (N).Nkind = N_If_Statement);
4133 procedure Set_Entity
4134 (N : Node_Id; Val : Node_Id) is
4136 pragma Assert (False
4137 or else NT (N).Nkind in N_Has_Entity
4138 or else NT (N).Nkind = N_Aspect_Specification
4139 or else NT (N).Nkind = N_Attribute_Definition_Clause
4140 or else NT (N).Nkind = N_Freeze_Entity);
4141 Set_Node4 (N, Val); -- semantic field, no parent set
4144 procedure Set_Entry_Body_Formal_Part
4145 (N : Node_Id; Val : Node_Id) is
4147 pragma Assert (False
4148 or else NT (N).Nkind = N_Entry_Body);
4149 Set_Node5_With_Parent (N, Val);
4150 end Set_Entry_Body_Formal_Part;
4152 procedure Set_Entry_Call_Alternative
4153 (N : Node_Id; Val : Node_Id) is
4155 pragma Assert (False
4156 or else NT (N).Nkind = N_Conditional_Entry_Call
4157 or else NT (N).Nkind = N_Timed_Entry_Call);
4158 Set_Node1_With_Parent (N, Val);
4159 end Set_Entry_Call_Alternative;
4161 procedure Set_Entry_Call_Statement
4162 (N : Node_Id; Val : Node_Id) is
4164 pragma Assert (False
4165 or else NT (N).Nkind = N_Entry_Call_Alternative);
4166 Set_Node1_With_Parent (N, Val);
4167 end Set_Entry_Call_Statement;
4169 procedure Set_Entry_Direct_Name
4170 (N : Node_Id; Val : Node_Id) is
4172 pragma Assert (False
4173 or else NT (N).Nkind = N_Accept_Statement);
4174 Set_Node1_With_Parent (N, Val);
4175 end Set_Entry_Direct_Name;
4177 procedure Set_Entry_Index
4178 (N : Node_Id; Val : Node_Id) is
4180 pragma Assert (False
4181 or else NT (N).Nkind = N_Accept_Statement);
4182 Set_Node5_With_Parent (N, Val);
4183 end Set_Entry_Index;
4185 procedure Set_Entry_Index_Specification
4186 (N : Node_Id; Val : Node_Id) is
4188 pragma Assert (False
4189 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4190 Set_Node4_With_Parent (N, Val);
4191 end Set_Entry_Index_Specification;
4194 (N : Node_Id; Val : Node_Id) is
4196 pragma Assert (False
4197 or else NT (N).Nkind in N_Has_Etype);
4198 Set_Node5 (N, Val); -- semantic field, no parent set
4201 procedure Set_Exception_Choices
4202 (N : Node_Id; Val : List_Id) is
4204 pragma Assert (False
4205 or else NT (N).Nkind = N_Exception_Handler);
4206 Set_List4_With_Parent (N, Val);
4207 end Set_Exception_Choices;
4209 procedure Set_Exception_Handlers
4210 (N : Node_Id; Val : List_Id) is
4212 pragma Assert (False
4213 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4214 Set_List5_With_Parent (N, Val);
4215 end Set_Exception_Handlers;
4217 procedure Set_Exception_Junk
4218 (N : Node_Id; Val : Boolean := True) is
4220 pragma Assert (False
4221 or else NT (N).Nkind = N_Block_Statement
4222 or else NT (N).Nkind = N_Goto_Statement
4223 or else NT (N).Nkind = N_Label
4224 or else NT (N).Nkind = N_Object_Declaration
4225 or else NT (N).Nkind = N_Subtype_Declaration);
4227 end Set_Exception_Junk;
4229 procedure Set_Exception_Label
4230 (N : Node_Id; Val : Node_Id) is
4232 pragma Assert (False
4233 or else NT (N).Nkind = N_Exception_Handler
4234 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4235 or else NT (N).Nkind = N_Push_Program_Error_Label
4236 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4237 Set_Node5 (N, Val); -- semantic field, no parent set
4238 end Set_Exception_Label;
4240 procedure Set_Expansion_Delayed
4241 (N : Node_Id; Val : Boolean := True) is
4243 pragma Assert (False
4244 or else NT (N).Nkind = N_Aggregate
4245 or else NT (N).Nkind = N_Extension_Aggregate);
4246 Set_Flag11 (N, Val);
4247 end Set_Expansion_Delayed;
4249 procedure Set_Explicit_Actual_Parameter
4250 (N : Node_Id; Val : Node_Id) is
4252 pragma Assert (False
4253 or else NT (N).Nkind = N_Parameter_Association);
4254 Set_Node3_With_Parent (N, Val);
4255 end Set_Explicit_Actual_Parameter;
4257 procedure Set_Explicit_Generic_Actual_Parameter
4258 (N : Node_Id; Val : Node_Id) is
4260 pragma Assert (False
4261 or else NT (N).Nkind = N_Generic_Association);
4262 Set_Node1_With_Parent (N, Val);
4263 end Set_Explicit_Generic_Actual_Parameter;
4265 procedure Set_Expression
4266 (N : Node_Id; Val : Node_Id) is
4268 pragma Assert (False
4269 or else NT (N).Nkind = N_Allocator
4270 or else NT (N).Nkind = N_Aspect_Specification
4271 or else NT (N).Nkind = N_Assignment_Statement
4272 or else NT (N).Nkind = N_At_Clause
4273 or else NT (N).Nkind = N_Attribute_Definition_Clause
4274 or else NT (N).Nkind = N_Case_Expression
4275 or else NT (N).Nkind = N_Case_Expression_Alternative
4276 or else NT (N).Nkind = N_Case_Statement
4277 or else NT (N).Nkind = N_Code_Statement
4278 or else NT (N).Nkind = N_Component_Association
4279 or else NT (N).Nkind = N_Component_Declaration
4280 or else NT (N).Nkind = N_Delay_Relative_Statement
4281 or else NT (N).Nkind = N_Delay_Until_Statement
4282 or else NT (N).Nkind = N_Discriminant_Association
4283 or else NT (N).Nkind = N_Discriminant_Specification
4284 or else NT (N).Nkind = N_Exception_Declaration
4285 or else NT (N).Nkind = N_Expression_Function
4286 or else NT (N).Nkind = N_Expression_With_Actions
4287 or else NT (N).Nkind = N_Free_Statement
4288 or else NT (N).Nkind = N_Mod_Clause
4289 or else NT (N).Nkind = N_Modular_Type_Definition
4290 or else NT (N).Nkind = N_Number_Declaration
4291 or else NT (N).Nkind = N_Object_Declaration
4292 or else NT (N).Nkind = N_Parameter_Specification
4293 or else NT (N).Nkind = N_Pragma_Argument_Association
4294 or else NT (N).Nkind = N_Qualified_Expression
4295 or else NT (N).Nkind = N_Raise_Statement
4296 or else NT (N).Nkind = N_Return_Statement
4297 or else NT (N).Nkind = N_Type_Conversion
4298 or else NT (N).Nkind = N_Unchecked_Expression
4299 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4300 Set_Node3_With_Parent (N, Val);
4303 procedure Set_Expressions
4304 (N : Node_Id; Val : List_Id) is
4306 pragma Assert (False
4307 or else NT (N).Nkind = N_Aggregate
4308 or else NT (N).Nkind = N_Attribute_Reference
4309 or else NT (N).Nkind = N_Conditional_Expression
4310 or else NT (N).Nkind = N_Extension_Aggregate
4311 or else NT (N).Nkind = N_Indexed_Component);
4312 Set_List1_With_Parent (N, Val);
4313 end Set_Expressions;
4315 procedure Set_First_Bit
4316 (N : Node_Id; Val : Node_Id) is
4318 pragma Assert (False
4319 or else NT (N).Nkind = N_Component_Clause);
4320 Set_Node3_With_Parent (N, Val);
4323 procedure Set_First_Inlined_Subprogram
4324 (N : Node_Id; Val : Entity_Id) is
4326 pragma Assert (False
4327 or else NT (N).Nkind = N_Compilation_Unit);
4328 Set_Node3 (N, Val); -- semantic field, no parent set
4329 end Set_First_Inlined_Subprogram;
4331 procedure Set_First_Name
4332 (N : Node_Id; Val : Boolean := True) is
4334 pragma Assert (False
4335 or else NT (N).Nkind = N_With_Clause);
4339 procedure Set_First_Named_Actual
4340 (N : Node_Id; Val : Node_Id) is
4342 pragma Assert (False
4343 or else NT (N).Nkind = N_Entry_Call_Statement
4344 or else NT (N).Nkind = N_Function_Call
4345 or else NT (N).Nkind = N_Procedure_Call_Statement);
4346 Set_Node4 (N, Val); -- semantic field, no parent set
4347 end Set_First_Named_Actual;
4349 procedure Set_First_Real_Statement
4350 (N : Node_Id; Val : Node_Id) is
4352 pragma Assert (False
4353 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4354 Set_Node2 (N, Val); -- semantic field, no parent set
4355 end Set_First_Real_Statement;
4357 procedure Set_First_Subtype_Link
4358 (N : Node_Id; Val : Entity_Id) is
4360 pragma Assert (False
4361 or else NT (N).Nkind = N_Freeze_Entity);
4362 Set_Node5 (N, Val); -- semantic field, no parent set
4363 end Set_First_Subtype_Link;
4365 procedure Set_Float_Truncate
4366 (N : Node_Id; Val : Boolean := True) is
4368 pragma Assert (False
4369 or else NT (N).Nkind = N_Type_Conversion);
4370 Set_Flag11 (N, Val);
4371 end Set_Float_Truncate;
4373 procedure Set_Formal_Type_Definition
4374 (N : Node_Id; Val : Node_Id) is
4376 pragma Assert (False
4377 or else NT (N).Nkind = N_Formal_Type_Declaration);
4378 Set_Node3_With_Parent (N, Val);
4379 end Set_Formal_Type_Definition;
4381 procedure Set_Forwards_OK
4382 (N : Node_Id; Val : Boolean := True) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Assignment_Statement);
4387 end Set_Forwards_OK;
4389 procedure Set_From_Aspect_Specification
4390 (N : Node_Id; Val : Boolean := True) is
4392 pragma Assert (False
4393 or else NT (N).Nkind = N_Attribute_Definition_Clause
4394 or else NT (N).Nkind = N_Pragma);
4395 Set_Flag13 (N, Val);
4396 end Set_From_Aspect_Specification;
4398 procedure Set_From_At_End
4399 (N : Node_Id; Val : Boolean := True) is
4401 pragma Assert (False
4402 or else NT (N).Nkind = N_Raise_Statement);
4404 end Set_From_At_End;
4406 procedure Set_From_At_Mod
4407 (N : Node_Id; Val : Boolean := True) is
4409 pragma Assert (False
4410 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4412 end Set_From_At_Mod;
4414 procedure Set_From_Default
4415 (N : Node_Id; Val : Boolean := True) is
4417 pragma Assert (False
4418 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4420 end Set_From_Default;
4422 procedure Set_Generic_Associations
4423 (N : Node_Id; Val : List_Id) is
4425 pragma Assert (False
4426 or else NT (N).Nkind = N_Formal_Package_Declaration
4427 or else NT (N).Nkind = N_Function_Instantiation
4428 or else NT (N).Nkind = N_Package_Instantiation
4429 or else NT (N).Nkind = N_Procedure_Instantiation);
4430 Set_List3_With_Parent (N, Val);
4431 end Set_Generic_Associations;
4433 procedure Set_Generic_Formal_Declarations
4434 (N : Node_Id; Val : List_Id) is
4436 pragma Assert (False
4437 or else NT (N).Nkind = N_Generic_Package_Declaration
4438 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4439 Set_List2_With_Parent (N, Val);
4440 end Set_Generic_Formal_Declarations;
4442 procedure Set_Generic_Parent
4443 (N : Node_Id; Val : Node_Id) is
4445 pragma Assert (False
4446 or else NT (N).Nkind = N_Function_Specification
4447 or else NT (N).Nkind = N_Package_Specification
4448 or else NT (N).Nkind = N_Procedure_Specification);
4450 end Set_Generic_Parent;
4452 procedure Set_Generic_Parent_Type
4453 (N : Node_Id; Val : Node_Id) is
4455 pragma Assert (False
4456 or else NT (N).Nkind = N_Subtype_Declaration);
4458 end Set_Generic_Parent_Type;
4460 procedure Set_Handled_Statement_Sequence
4461 (N : Node_Id; Val : Node_Id) is
4463 pragma Assert (False
4464 or else NT (N).Nkind = N_Accept_Statement
4465 or else NT (N).Nkind = N_Block_Statement
4466 or else NT (N).Nkind = N_Entry_Body
4467 or else NT (N).Nkind = N_Extended_Return_Statement
4468 or else NT (N).Nkind = N_Package_Body
4469 or else NT (N).Nkind = N_Subprogram_Body
4470 or else NT (N).Nkind = N_Task_Body);
4471 Set_Node4_With_Parent (N, Val);
4472 end Set_Handled_Statement_Sequence;
4474 procedure Set_Handler_List_Entry
4475 (N : Node_Id; Val : Node_Id) is
4477 pragma Assert (False
4478 or else NT (N).Nkind = N_Object_Declaration);
4480 end Set_Handler_List_Entry;
4482 procedure Set_Has_Created_Identifier
4483 (N : Node_Id; Val : Boolean := True) is
4485 pragma Assert (False
4486 or else NT (N).Nkind = N_Block_Statement
4487 or else NT (N).Nkind = N_Loop_Statement);
4488 Set_Flag15 (N, Val);
4489 end Set_Has_Created_Identifier;
4491 procedure Set_Has_Dereference_Action
4492 (N : Node_Id; Val : Boolean := True) is
4494 pragma Assert (False
4495 or else NT (N).Nkind = N_Explicit_Dereference);
4496 Set_Flag13 (N, Val);
4497 end Set_Has_Dereference_Action;
4499 procedure Set_Has_Dynamic_Length_Check
4500 (N : Node_Id; Val : Boolean := True) is
4502 pragma Assert (False
4503 or else NT (N).Nkind in N_Subexpr);
4504 Set_Flag10 (N, Val);
4505 end Set_Has_Dynamic_Length_Check;
4507 procedure Set_Has_Dynamic_Range_Check
4508 (N : Node_Id; Val : Boolean := True) is
4510 pragma Assert (False
4511 or else NT (N).Nkind = N_Subtype_Declaration
4512 or else NT (N).Nkind in N_Subexpr);
4513 Set_Flag12 (N, Val);
4514 end Set_Has_Dynamic_Range_Check;
4516 procedure Set_Has_Init_Expression
4517 (N : Node_Id; Val : Boolean := True) is
4519 pragma Assert (False
4520 or else NT (N).Nkind = N_Object_Declaration);
4521 Set_Flag14 (N, Val);
4522 end Set_Has_Init_Expression;
4524 procedure Set_Has_Local_Raise
4525 (N : Node_Id; Val : Boolean := True) is
4527 pragma Assert (False
4528 or else NT (N).Nkind = N_Exception_Handler);
4530 end Set_Has_Local_Raise;
4532 procedure Set_Has_No_Elaboration_Code
4533 (N : Node_Id; Val : Boolean := True) is
4535 pragma Assert (False
4536 or else NT (N).Nkind = N_Compilation_Unit);
4537 Set_Flag17 (N, Val);
4538 end Set_Has_No_Elaboration_Code;
4540 procedure Set_Has_Pragma_Suppress_All
4541 (N : Node_Id; Val : Boolean := True) is
4543 pragma Assert (False
4544 or else NT (N).Nkind = N_Compilation_Unit);
4545 Set_Flag14 (N, Val);
4546 end Set_Has_Pragma_Suppress_All;
4548 procedure Set_Has_Private_View
4549 (N : Node_Id; Val : Boolean := True) is
4551 pragma Assert (False
4552 or else NT (N).Nkind in N_Op
4553 or else NT (N).Nkind = N_Character_Literal
4554 or else NT (N).Nkind = N_Expanded_Name
4555 or else NT (N).Nkind = N_Identifier
4556 or else NT (N).Nkind = N_Operator_Symbol);
4557 Set_Flag11 (N, Val);
4558 end Set_Has_Private_View;
4560 procedure Set_Has_Relative_Deadline_Pragma
4561 (N : Node_Id; Val : Boolean := True) is
4563 pragma Assert (False
4564 or else NT (N).Nkind = N_Subprogram_Body
4565 or else NT (N).Nkind = N_Task_Definition);
4567 end Set_Has_Relative_Deadline_Pragma;
4569 procedure Set_Has_Self_Reference
4570 (N : Node_Id; Val : Boolean := True) is
4572 pragma Assert (False
4573 or else NT (N).Nkind = N_Aggregate
4574 or else NT (N).Nkind = N_Extension_Aggregate);
4575 Set_Flag13 (N, Val);
4576 end Set_Has_Self_Reference;
4578 procedure Set_Has_Storage_Size_Pragma
4579 (N : Node_Id; Val : Boolean := True) is
4581 pragma Assert (False
4582 or else NT (N).Nkind = N_Task_Definition);
4584 end Set_Has_Storage_Size_Pragma;
4586 procedure Set_Has_Wide_Character
4587 (N : Node_Id; Val : Boolean := True) is
4589 pragma Assert (False
4590 or else NT (N).Nkind = N_String_Literal);
4591 Set_Flag11 (N, Val);
4592 end Set_Has_Wide_Character;
4594 procedure Set_Has_Wide_Wide_Character
4595 (N : Node_Id; Val : Boolean := True) is
4597 pragma Assert (False
4598 or else NT (N).Nkind = N_String_Literal);
4599 Set_Flag13 (N, Val);
4600 end Set_Has_Wide_Wide_Character;
4602 procedure Set_Header_Size_Added
4603 (N : Node_Id; Val : Boolean := True) is
4605 pragma Assert (False
4606 or else NT (N).Nkind = N_Attribute_Reference);
4607 Set_Flag11 (N, Val);
4608 end Set_Header_Size_Added;
4610 procedure Set_Hidden_By_Use_Clause
4611 (N : Node_Id; Val : Elist_Id) is
4613 pragma Assert (False
4614 or else NT (N).Nkind = N_Use_Package_Clause
4615 or else NT (N).Nkind = N_Use_Type_Clause);
4616 Set_Elist4 (N, Val);
4617 end Set_Hidden_By_Use_Clause;
4619 procedure Set_High_Bound
4620 (N : Node_Id; Val : Node_Id) is
4622 pragma Assert (False
4623 or else NT (N).Nkind = N_Range
4624 or else NT (N).Nkind = N_Real_Range_Specification
4625 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4626 Set_Node2_With_Parent (N, Val);
4629 procedure Set_Identifier
4630 (N : Node_Id; Val : Node_Id) is
4632 pragma Assert (False
4633 or else NT (N).Nkind = N_Aspect_Specification
4634 or else NT (N).Nkind = N_At_Clause
4635 or else NT (N).Nkind = N_Block_Statement
4636 or else NT (N).Nkind = N_Designator
4637 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4638 or else NT (N).Nkind = N_Label
4639 or else NT (N).Nkind = N_Loop_Statement
4640 or else NT (N).Nkind = N_Record_Representation_Clause
4641 or else NT (N).Nkind = N_Subprogram_Info);
4642 Set_Node1_With_Parent (N, Val);
4645 procedure Set_Implicit_With
4646 (N : Node_Id; Val : Boolean := True) is
4648 pragma Assert (False
4649 or else NT (N).Nkind = N_With_Clause);
4650 Set_Flag16 (N, Val);
4651 end Set_Implicit_With;
4653 procedure Set_Implicit_With_From_Instantiation
4654 (N : Node_Id; Val : Boolean := True) is
4656 pragma Assert (False
4657 or else NT (N).Nkind = N_With_Clause);
4658 Set_Flag12 (N, Val);
4659 end Set_Implicit_With_From_Instantiation;
4661 procedure Set_Interface_List
4662 (N : Node_Id; Val : List_Id) is
4664 pragma Assert (False
4665 or else NT (N).Nkind = N_Derived_Type_Definition
4666 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4667 or else NT (N).Nkind = N_Private_Extension_Declaration
4668 or else NT (N).Nkind = N_Protected_Type_Declaration
4669 or else NT (N).Nkind = N_Record_Definition
4670 or else NT (N).Nkind = N_Single_Protected_Declaration
4671 or else NT (N).Nkind = N_Single_Task_Declaration
4672 or else NT (N).Nkind = N_Task_Type_Declaration);
4673 Set_List2_With_Parent (N, Val);
4674 end Set_Interface_List;
4676 procedure Set_Interface_Present
4677 (N : Node_Id; Val : Boolean := True) is
4679 pragma Assert (False
4680 or else NT (N).Nkind = N_Derived_Type_Definition
4681 or else NT (N).Nkind = N_Record_Definition);
4682 Set_Flag16 (N, Val);
4683 end Set_Interface_Present;
4685 procedure Set_Import_Interface_Present
4686 (N : Node_Id; Val : Boolean := True) is
4688 pragma Assert (False
4689 or else NT (N).Nkind = N_Pragma);
4690 Set_Flag16 (N, Val);
4691 end Set_Import_Interface_Present;
4693 procedure Set_In_Present
4694 (N : Node_Id; Val : Boolean := True) is
4696 pragma Assert (False
4697 or else NT (N).Nkind = N_Formal_Object_Declaration
4698 or else NT (N).Nkind = N_Parameter_Specification);
4699 Set_Flag15 (N, Val);
4702 procedure Set_Includes_Infinities
4703 (N : Node_Id; Val : Boolean := True) is
4705 pragma Assert (False
4706 or else NT (N).Nkind = N_Range);
4707 Set_Flag11 (N, Val);
4708 end Set_Includes_Infinities;
4710 procedure Set_Inherited_Discriminant
4711 (N : Node_Id; Val : Boolean := True) is
4713 pragma Assert (False
4714 or else NT (N).Nkind = N_Component_Association);
4715 Set_Flag13 (N, Val);
4716 end Set_Inherited_Discriminant;
4718 procedure Set_Instance_Spec
4719 (N : Node_Id; Val : Node_Id) is
4721 pragma Assert (False
4722 or else NT (N).Nkind = N_Formal_Package_Declaration
4723 or else NT (N).Nkind = N_Function_Instantiation
4724 or else NT (N).Nkind = N_Package_Instantiation
4725 or else NT (N).Nkind = N_Procedure_Instantiation);
4726 Set_Node5 (N, Val); -- semantic field, no Parent set
4727 end Set_Instance_Spec;
4729 procedure Set_Intval
4730 (N : Node_Id; Val : Uint) is
4732 pragma Assert (False
4733 or else NT (N).Nkind = N_Integer_Literal);
4737 procedure Set_Is_Accessibility_Actual
4738 (N : Node_Id; Val : Boolean := True) is
4740 pragma Assert (False
4741 or else NT (N).Nkind = N_Parameter_Association);
4742 Set_Flag13 (N, Val);
4743 end Set_Is_Accessibility_Actual;
4745 procedure Set_Is_Asynchronous_Call_Block
4746 (N : Node_Id; Val : Boolean := True) is
4748 pragma Assert (False
4749 or else NT (N).Nkind = N_Block_Statement);
4751 end Set_Is_Asynchronous_Call_Block;
4753 procedure Set_Is_Boolean_Aspect
4754 (N : Node_Id; Val : Boolean := True) is
4756 pragma Assert (False
4757 or else NT (N).Nkind = N_Aspect_Specification);
4758 Set_Flag16 (N, Val);
4759 end Set_Is_Boolean_Aspect;
4761 procedure Set_Is_Component_Left_Opnd
4762 (N : Node_Id; Val : Boolean := True) is
4764 pragma Assert (False
4765 or else NT (N).Nkind = N_Op_Concat);
4766 Set_Flag13 (N, Val);
4767 end Set_Is_Component_Left_Opnd;
4769 procedure Set_Is_Component_Right_Opnd
4770 (N : Node_Id; Val : Boolean := True) is
4772 pragma Assert (False
4773 or else NT (N).Nkind = N_Op_Concat);
4774 Set_Flag14 (N, Val);
4775 end Set_Is_Component_Right_Opnd;
4777 procedure Set_Is_Controlling_Actual
4778 (N : Node_Id; Val : Boolean := True) is
4780 pragma Assert (False
4781 or else NT (N).Nkind in N_Subexpr);
4782 Set_Flag16 (N, Val);
4783 end Set_Is_Controlling_Actual;
4785 procedure Set_Is_Delayed_Aspect
4786 (N : Node_Id; Val : Boolean := True) is
4788 pragma Assert (False
4789 or else NT (N).Nkind = N_Aspect_Specification
4790 or else NT (N).Nkind = N_Attribute_Definition_Clause
4791 or else NT (N).Nkind = N_Pragma);
4792 Set_Flag14 (N, Val);
4793 end Set_Is_Delayed_Aspect;
4795 procedure Set_Is_Dynamic_Coextension
4796 (N : Node_Id; Val : Boolean := True) is
4798 pragma Assert (False
4799 or else NT (N).Nkind = N_Allocator);
4800 Set_Flag18 (N, Val);
4801 end Set_Is_Dynamic_Coextension;
4803 procedure Set_Is_Elsif
4804 (N : Node_Id; Val : Boolean := True) is
4806 pragma Assert (False
4807 or else NT (N).Nkind = N_Conditional_Expression);
4808 Set_Flag13 (N, Val);
4811 procedure Set_Is_Entry_Barrier_Function
4812 (N : Node_Id; Val : Boolean := True) is
4814 pragma Assert (False
4815 or else NT (N).Nkind = N_Subprogram_Body);
4817 end Set_Is_Entry_Barrier_Function;
4819 procedure Set_Is_Expanded_Build_In_Place_Call
4820 (N : Node_Id; Val : Boolean := True) is
4822 pragma Assert (False
4823 or else NT (N).Nkind = N_Function_Call);
4824 Set_Flag11 (N, Val);
4825 end Set_Is_Expanded_Build_In_Place_Call;
4827 procedure Set_Is_Finalization_Wrapper
4828 (N : Node_Id; Val : Boolean := True) is
4830 pragma Assert (False
4831 or else NT (N).Nkind = N_Block_Statement);
4833 end Set_Is_Finalization_Wrapper;
4835 procedure Set_Is_Folded_In_Parser
4836 (N : Node_Id; Val : Boolean := True) is
4838 pragma Assert (False
4839 or else NT (N).Nkind = N_String_Literal);
4841 end Set_Is_Folded_In_Parser;
4843 procedure Set_Is_In_Discriminant_Check
4844 (N : Node_Id; Val : Boolean := True) is
4846 pragma Assert (False
4847 or else NT (N).Nkind = N_Selected_Component);
4848 Set_Flag11 (N, Val);
4849 end Set_Is_In_Discriminant_Check;
4851 procedure Set_Is_Machine_Number
4852 (N : Node_Id; Val : Boolean := True) is
4854 pragma Assert (False
4855 or else NT (N).Nkind = N_Real_Literal);
4856 Set_Flag11 (N, Val);
4857 end Set_Is_Machine_Number;
4859 procedure Set_Is_Null_Loop
4860 (N : Node_Id; Val : Boolean := True) is
4862 pragma Assert (False
4863 or else NT (N).Nkind = N_Loop_Statement);
4864 Set_Flag16 (N, Val);
4865 end Set_Is_Null_Loop;
4867 procedure Set_Is_Overloaded
4868 (N : Node_Id; Val : Boolean := True) is
4870 pragma Assert (False
4871 or else NT (N).Nkind in N_Subexpr);
4873 end Set_Is_Overloaded;
4875 procedure Set_Is_Power_Of_2_For_Shift
4876 (N : Node_Id; Val : Boolean := True) is
4878 pragma Assert (False
4879 or else NT (N).Nkind = N_Op_Expon);
4880 Set_Flag13 (N, Val);
4881 end Set_Is_Power_Of_2_For_Shift;
4883 procedure Set_Is_Prefixed_Call
4884 (N : Node_Id; Val : Boolean := True) is
4886 pragma Assert (False
4887 or else NT (N).Nkind = N_Selected_Component);
4888 Set_Flag17 (N, Val);
4889 end Set_Is_Prefixed_Call;
4891 procedure Set_Is_Protected_Subprogram_Body
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Subprogram_Body);
4897 end Set_Is_Protected_Subprogram_Body;
4899 procedure Set_Is_Static_Coextension
4900 (N : Node_Id; Val : Boolean := True) is
4902 pragma Assert (False
4903 or else NT (N).Nkind = N_Allocator);
4904 Set_Flag14 (N, Val);
4905 end Set_Is_Static_Coextension;
4907 procedure Set_Is_Static_Expression
4908 (N : Node_Id; Val : Boolean := True) is
4910 pragma Assert (False
4911 or else NT (N).Nkind in N_Subexpr);
4913 end Set_Is_Static_Expression;
4915 procedure Set_Is_Subprogram_Descriptor
4916 (N : Node_Id; Val : Boolean := True) is
4918 pragma Assert (False
4919 or else NT (N).Nkind = N_Object_Declaration);
4920 Set_Flag16 (N, Val);
4921 end Set_Is_Subprogram_Descriptor;
4923 procedure Set_Is_Task_Allocation_Block
4924 (N : Node_Id; Val : Boolean := True) is
4926 pragma Assert (False
4927 or else NT (N).Nkind = N_Block_Statement);
4929 end Set_Is_Task_Allocation_Block;
4931 procedure Set_Is_Task_Master
4932 (N : Node_Id; Val : Boolean := True) is
4934 pragma Assert (False
4935 or else NT (N).Nkind = N_Block_Statement
4936 or else NT (N).Nkind = N_Subprogram_Body
4937 or else NT (N).Nkind = N_Task_Body);
4939 end Set_Is_Task_Master;
4941 procedure Set_Iteration_Scheme
4942 (N : Node_Id; Val : Node_Id) is
4944 pragma Assert (False
4945 or else NT (N).Nkind = N_Loop_Statement);
4946 Set_Node2_With_Parent (N, Val);
4947 end Set_Iteration_Scheme;
4949 procedure Set_Iterator_Specification
4950 (N : Node_Id; Val : Node_Id) is
4952 pragma Assert (False
4953 or else NT (N).Nkind = N_Iteration_Scheme
4954 or else NT (N).Nkind = N_Quantified_Expression);
4955 Set_Node2_With_Parent (N, Val);
4956 end Set_Iterator_Specification;
4959 (N : Node_Id; Val : Entity_Id) is
4961 pragma Assert (False
4962 or else NT (N).Nkind = N_Itype_Reference);
4963 Set_Node1 (N, Val); -- no parent, semantic field
4966 procedure Set_Kill_Range_Check
4967 (N : Node_Id; Val : Boolean := True) is
4969 pragma Assert (False
4970 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4971 Set_Flag11 (N, Val);
4972 end Set_Kill_Range_Check;
4974 procedure Set_Label_Construct
4975 (N : Node_Id; Val : Node_Id) is
4977 pragma Assert (False
4978 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4979 Set_Node2 (N, Val); -- semantic field, no parent set
4980 end Set_Label_Construct;
4982 procedure Set_Last_Bit
4983 (N : Node_Id; Val : Node_Id) is
4985 pragma Assert (False
4986 or else NT (N).Nkind = N_Component_Clause);
4987 Set_Node4_With_Parent (N, Val);
4990 procedure Set_Last_Name
4991 (N : Node_Id; Val : Boolean := True) is
4993 pragma Assert (False
4994 or else NT (N).Nkind = N_With_Clause);
4998 procedure Set_Left_Opnd
4999 (N : Node_Id; Val : Node_Id) is
5001 pragma Assert (False
5002 or else NT (N).Nkind = N_And_Then
5003 or else NT (N).Nkind = N_In
5004 or else NT (N).Nkind = N_Not_In
5005 or else NT (N).Nkind = N_Or_Else
5006 or else NT (N).Nkind in N_Binary_Op);
5007 Set_Node2_With_Parent (N, Val);
5010 procedure Set_Library_Unit
5011 (N : Node_Id; Val : Node_Id) is
5013 pragma Assert (False
5014 or else NT (N).Nkind = N_Compilation_Unit
5015 or else NT (N).Nkind = N_Package_Body_Stub
5016 or else NT (N).Nkind = N_Protected_Body_Stub
5017 or else NT (N).Nkind = N_Subprogram_Body_Stub
5018 or else NT (N).Nkind = N_Task_Body_Stub
5019 or else NT (N).Nkind = N_With_Clause);
5020 Set_Node4 (N, Val); -- semantic field, no parent set
5021 end Set_Library_Unit;
5023 procedure Set_Limited_View_Installed
5024 (N : Node_Id; Val : Boolean := True) is
5026 pragma Assert (False
5027 or else NT (N).Nkind = N_Package_Specification
5028 or else NT (N).Nkind = N_With_Clause);
5029 Set_Flag18 (N, Val);
5030 end Set_Limited_View_Installed;
5032 procedure Set_Limited_Present
5033 (N : Node_Id; Val : Boolean := True) is
5035 pragma Assert (False
5036 or else NT (N).Nkind = N_Derived_Type_Definition
5037 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5038 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5039 or else NT (N).Nkind = N_Private_Extension_Declaration
5040 or else NT (N).Nkind = N_Private_Type_Declaration
5041 or else NT (N).Nkind = N_Record_Definition
5042 or else NT (N).Nkind = N_With_Clause);
5043 Set_Flag17 (N, Val);
5044 end Set_Limited_Present;
5046 procedure Set_Literals
5047 (N : Node_Id; Val : List_Id) is
5049 pragma Assert (False
5050 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5051 Set_List1_With_Parent (N, Val);
5054 procedure Set_Local_Raise_Not_OK
5055 (N : Node_Id; Val : Boolean := True) is
5057 pragma Assert (False
5058 or else NT (N).Nkind = N_Exception_Handler);
5060 end Set_Local_Raise_Not_OK;
5062 procedure Set_Local_Raise_Statements
5063 (N : Node_Id; Val : Elist_Id) is
5065 pragma Assert (False
5066 or else NT (N).Nkind = N_Exception_Handler);
5067 Set_Elist1 (N, Val);
5068 end Set_Local_Raise_Statements;
5070 procedure Set_Loop_Actions
5071 (N : Node_Id; Val : List_Id) is
5073 pragma Assert (False
5074 or else NT (N).Nkind = N_Component_Association);
5075 Set_List2 (N, Val); -- semantic field, no parent set
5076 end Set_Loop_Actions;
5078 procedure Set_Loop_Parameter_Specification
5079 (N : Node_Id; Val : Node_Id) is
5081 pragma Assert (False
5082 or else NT (N).Nkind = N_Iteration_Scheme
5083 or else NT (N).Nkind = N_Quantified_Expression);
5084 Set_Node4_With_Parent (N, Val);
5085 end Set_Loop_Parameter_Specification;
5087 procedure Set_Low_Bound
5088 (N : Node_Id; Val : Node_Id) is
5090 pragma Assert (False
5091 or else NT (N).Nkind = N_Range
5092 or else NT (N).Nkind = N_Real_Range_Specification
5093 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5094 Set_Node1_With_Parent (N, Val);
5097 procedure Set_Mod_Clause
5098 (N : Node_Id; Val : Node_Id) is
5100 pragma Assert (False
5101 or else NT (N).Nkind = N_Record_Representation_Clause);
5102 Set_Node2_With_Parent (N, Val);
5105 procedure Set_More_Ids
5106 (N : Node_Id; Val : Boolean := True) is
5108 pragma Assert (False
5109 or else NT (N).Nkind = N_Component_Declaration
5110 or else NT (N).Nkind = N_Discriminant_Specification
5111 or else NT (N).Nkind = N_Exception_Declaration
5112 or else NT (N).Nkind = N_Formal_Object_Declaration
5113 or else NT (N).Nkind = N_Number_Declaration
5114 or else NT (N).Nkind = N_Object_Declaration
5115 or else NT (N).Nkind = N_Parameter_Specification);
5119 procedure Set_Must_Be_Byte_Aligned
5120 (N : Node_Id; Val : Boolean := True) is
5122 pragma Assert (False
5123 or else NT (N).Nkind = N_Attribute_Reference);
5124 Set_Flag14 (N, Val);
5125 end Set_Must_Be_Byte_Aligned;
5127 procedure Set_Must_Not_Freeze
5128 (N : Node_Id; Val : Boolean := True) is
5130 pragma Assert (False
5131 or else NT (N).Nkind = N_Subtype_Indication
5132 or else NT (N).Nkind in N_Subexpr);
5134 end Set_Must_Not_Freeze;
5136 procedure Set_Must_Not_Override
5137 (N : Node_Id; Val : Boolean := True) is
5139 pragma Assert (False
5140 or else NT (N).Nkind = N_Entry_Declaration
5141 or else NT (N).Nkind = N_Function_Instantiation
5142 or else NT (N).Nkind = N_Function_Specification
5143 or else NT (N).Nkind = N_Procedure_Instantiation
5144 or else NT (N).Nkind = N_Procedure_Specification);
5145 Set_Flag15 (N, Val);
5146 end Set_Must_Not_Override;
5148 procedure Set_Must_Override
5149 (N : Node_Id; Val : Boolean := True) is
5151 pragma Assert (False
5152 or else NT (N).Nkind = N_Entry_Declaration
5153 or else NT (N).Nkind = N_Function_Instantiation
5154 or else NT (N).Nkind = N_Function_Specification
5155 or else NT (N).Nkind = N_Procedure_Instantiation
5156 or else NT (N).Nkind = N_Procedure_Specification);
5157 Set_Flag14 (N, Val);
5158 end Set_Must_Override;
5161 (N : Node_Id; Val : Node_Id) is
5163 pragma Assert (False
5164 or else NT (N).Nkind = N_Assignment_Statement
5165 or else NT (N).Nkind = N_Attribute_Definition_Clause
5166 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5167 or else NT (N).Nkind = N_Designator
5168 or else NT (N).Nkind = N_Entry_Call_Statement
5169 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5170 or else NT (N).Nkind = N_Exit_Statement
5171 or else NT (N).Nkind = N_Formal_Package_Declaration
5172 or else NT (N).Nkind = N_Function_Call
5173 or else NT (N).Nkind = N_Function_Instantiation
5174 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5175 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5176 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5177 or else NT (N).Nkind = N_Goto_Statement
5178 or else NT (N).Nkind = N_Iterator_Specification
5179 or else NT (N).Nkind = N_Object_Renaming_Declaration
5180 or else NT (N).Nkind = N_Package_Instantiation
5181 or else NT (N).Nkind = N_Package_Renaming_Declaration
5182 or else NT (N).Nkind = N_Procedure_Call_Statement
5183 or else NT (N).Nkind = N_Procedure_Instantiation
5184 or else NT (N).Nkind = N_Raise_Statement
5185 or else NT (N).Nkind = N_Requeue_Statement
5186 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5187 or else NT (N).Nkind = N_Subunit
5188 or else NT (N).Nkind = N_Variant_Part
5189 or else NT (N).Nkind = N_With_Clause);
5190 Set_Node2_With_Parent (N, Val);
5194 (N : Node_Id; Val : List_Id) is
5196 pragma Assert (False
5197 or else NT (N).Nkind = N_Abort_Statement
5198 or else NT (N).Nkind = N_Use_Package_Clause);
5199 Set_List2_With_Parent (N, Val);
5202 procedure Set_Next_Entity
5203 (N : Node_Id; Val : Node_Id) is
5205 pragma Assert (False
5206 or else NT (N).Nkind = N_Defining_Character_Literal
5207 or else NT (N).Nkind = N_Defining_Identifier
5208 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5209 Set_Node2 (N, Val); -- semantic field, no parent set
5210 end Set_Next_Entity;
5212 procedure Set_Next_Exit_Statement
5213 (N : Node_Id; Val : Node_Id) is
5215 pragma Assert (False
5216 or else NT (N).Nkind = N_Exit_Statement);
5217 Set_Node3 (N, Val); -- semantic field, no parent set
5218 end Set_Next_Exit_Statement;
5220 procedure Set_Next_Implicit_With
5221 (N : Node_Id; Val : Node_Id) is
5223 pragma Assert (False
5224 or else NT (N).Nkind = N_With_Clause);
5225 Set_Node3 (N, Val); -- semantic field, no parent set
5226 end Set_Next_Implicit_With;
5228 procedure Set_Next_Named_Actual
5229 (N : Node_Id; Val : Node_Id) is
5231 pragma Assert (False
5232 or else NT (N).Nkind = N_Parameter_Association);
5233 Set_Node4 (N, Val); -- semantic field, no parent set
5234 end Set_Next_Named_Actual;
5236 procedure Set_Next_Pragma
5237 (N : Node_Id; Val : Node_Id) is
5239 pragma Assert (False
5240 or else NT (N).Nkind = N_Pragma);
5241 Set_Node1 (N, Val); -- semantic field, no parent set
5242 end Set_Next_Pragma;
5244 procedure Set_Next_Rep_Item
5245 (N : Node_Id; Val : Node_Id) is
5247 pragma Assert (False
5248 or else NT (N).Nkind = N_Aspect_Specification
5249 or else NT (N).Nkind = N_Attribute_Definition_Clause
5250 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5251 or else NT (N).Nkind = N_Pragma
5252 or else NT (N).Nkind = N_Record_Representation_Clause);
5253 Set_Node5 (N, Val); -- semantic field, no parent set
5254 end Set_Next_Rep_Item;
5256 procedure Set_Next_Use_Clause
5257 (N : Node_Id; Val : Node_Id) is
5259 pragma Assert (False
5260 or else NT (N).Nkind = N_Use_Package_Clause
5261 or else NT (N).Nkind = N_Use_Type_Clause);
5262 Set_Node3 (N, Val); -- semantic field, no parent set
5263 end Set_Next_Use_Clause;
5265 procedure Set_No_Ctrl_Actions
5266 (N : Node_Id; Val : Boolean := True) is
5268 pragma Assert (False
5269 or else NT (N).Nkind = N_Assignment_Statement);
5271 end Set_No_Ctrl_Actions;
5273 procedure Set_No_Elaboration_Check
5274 (N : Node_Id; Val : Boolean := True) is
5276 pragma Assert (False
5277 or else NT (N).Nkind = N_Function_Call
5278 or else NT (N).Nkind = N_Procedure_Call_Statement);
5279 Set_Flag14 (N, Val);
5280 end Set_No_Elaboration_Check;
5282 procedure Set_No_Entities_Ref_In_Spec
5283 (N : Node_Id; Val : Boolean := True) is
5285 pragma Assert (False
5286 or else NT (N).Nkind = N_With_Clause);
5288 end Set_No_Entities_Ref_In_Spec;
5290 procedure Set_No_Initialization
5291 (N : Node_Id; Val : Boolean := True) is
5293 pragma Assert (False
5294 or else NT (N).Nkind = N_Allocator
5295 or else NT (N).Nkind = N_Object_Declaration);
5296 Set_Flag13 (N, Val);
5297 end Set_No_Initialization;
5299 procedure Set_No_Truncation
5300 (N : Node_Id; Val : Boolean := True) is
5302 pragma Assert (False
5303 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5304 Set_Flag17 (N, Val);
5305 end Set_No_Truncation;
5307 procedure Set_Null_Present
5308 (N : Node_Id; Val : Boolean := True) is
5310 pragma Assert (False
5311 or else NT (N).Nkind = N_Component_List
5312 or else NT (N).Nkind = N_Procedure_Specification
5313 or else NT (N).Nkind = N_Record_Definition);
5314 Set_Flag13 (N, Val);
5315 end Set_Null_Present;
5317 procedure Set_Null_Exclusion_Present
5318 (N : Node_Id; Val : Boolean := True) is
5320 pragma Assert (False
5321 or else NT (N).Nkind = N_Access_Definition
5322 or else NT (N).Nkind = N_Access_Function_Definition
5323 or else NT (N).Nkind = N_Access_Procedure_Definition
5324 or else NT (N).Nkind = N_Access_To_Object_Definition
5325 or else NT (N).Nkind = N_Allocator
5326 or else NT (N).Nkind = N_Component_Definition
5327 or else NT (N).Nkind = N_Derived_Type_Definition
5328 or else NT (N).Nkind = N_Discriminant_Specification
5329 or else NT (N).Nkind = N_Formal_Object_Declaration
5330 or else NT (N).Nkind = N_Function_Specification
5331 or else NT (N).Nkind = N_Object_Declaration
5332 or else NT (N).Nkind = N_Object_Renaming_Declaration
5333 or else NT (N).Nkind = N_Parameter_Specification
5334 or else NT (N).Nkind = N_Subtype_Declaration);
5335 Set_Flag11 (N, Val);
5336 end Set_Null_Exclusion_Present;
5338 procedure Set_Null_Exclusion_In_Return_Present
5339 (N : Node_Id; Val : Boolean := True) is
5341 pragma Assert (False
5342 or else NT (N).Nkind = N_Access_Function_Definition);
5343 Set_Flag14 (N, Val);
5344 end Set_Null_Exclusion_In_Return_Present;
5346 procedure Set_Null_Record_Present
5347 (N : Node_Id; Val : Boolean := True) is
5349 pragma Assert (False
5350 or else NT (N).Nkind = N_Aggregate
5351 or else NT (N).Nkind = N_Extension_Aggregate);
5352 Set_Flag17 (N, Val);
5353 end Set_Null_Record_Present;
5355 procedure Set_Object_Definition
5356 (N : Node_Id; Val : Node_Id) is
5358 pragma Assert (False
5359 or else NT (N).Nkind = N_Object_Declaration);
5360 Set_Node4_With_Parent (N, Val);
5361 end Set_Object_Definition;
5363 procedure Set_Of_Present
5364 (N : Node_Id; Val : Boolean := True) is
5366 pragma Assert (False
5367 or else NT (N).Nkind = N_Iterator_Specification);
5368 Set_Flag16 (N, Val);
5371 procedure Set_Original_Discriminant
5372 (N : Node_Id; Val : Node_Id) is
5374 pragma Assert (False
5375 or else NT (N).Nkind = N_Identifier);
5376 Set_Node2 (N, Val); -- semantic field, no parent set
5377 end Set_Original_Discriminant;
5379 procedure Set_Original_Entity
5380 (N : Node_Id; Val : Entity_Id) is
5382 pragma Assert (False
5383 or else NT (N).Nkind = N_Integer_Literal
5384 or else NT (N).Nkind = N_Real_Literal);
5385 Set_Node2 (N, Val); -- semantic field, no parent set
5386 end Set_Original_Entity;
5388 procedure Set_Others_Discrete_Choices
5389 (N : Node_Id; Val : List_Id) is
5391 pragma Assert (False
5392 or else NT (N).Nkind = N_Others_Choice);
5393 Set_List1_With_Parent (N, Val);
5394 end Set_Others_Discrete_Choices;
5396 procedure Set_Out_Present
5397 (N : Node_Id; Val : Boolean := True) is
5399 pragma Assert (False
5400 or else NT (N).Nkind = N_Formal_Object_Declaration
5401 or else NT (N).Nkind = N_Parameter_Specification);
5402 Set_Flag17 (N, Val);
5403 end Set_Out_Present;
5405 procedure Set_Parameter_Associations
5406 (N : Node_Id; Val : List_Id) is
5408 pragma Assert (False
5409 or else NT (N).Nkind = N_Entry_Call_Statement
5410 or else NT (N).Nkind = N_Function_Call
5411 or else NT (N).Nkind = N_Procedure_Call_Statement);
5412 Set_List3_With_Parent (N, Val);
5413 end Set_Parameter_Associations;
5415 procedure Set_Parameter_List_Truncated
5416 (N : Node_Id; Val : Boolean := True) is
5418 pragma Assert (False
5419 or else NT (N).Nkind = N_Function_Call
5420 or else NT (N).Nkind = N_Procedure_Call_Statement);
5421 Set_Flag17 (N, Val);
5422 end Set_Parameter_List_Truncated;
5424 procedure Set_Parameter_Specifications
5425 (N : Node_Id; Val : List_Id) is
5427 pragma Assert (False
5428 or else NT (N).Nkind = N_Accept_Statement
5429 or else NT (N).Nkind = N_Access_Function_Definition
5430 or else NT (N).Nkind = N_Access_Procedure_Definition
5431 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5432 or else NT (N).Nkind = N_Entry_Declaration
5433 or else NT (N).Nkind = N_Function_Specification
5434 or else NT (N).Nkind = N_Procedure_Specification);
5435 Set_List3_With_Parent (N, Val);
5436 end Set_Parameter_Specifications;
5438 procedure Set_Parameter_Type
5439 (N : Node_Id; Val : Node_Id) is
5441 pragma Assert (False
5442 or else NT (N).Nkind = N_Parameter_Specification);
5443 Set_Node2_With_Parent (N, Val);
5444 end Set_Parameter_Type;
5446 procedure Set_Parent_Spec
5447 (N : Node_Id; Val : Node_Id) is
5449 pragma Assert (False
5450 or else NT (N).Nkind = N_Function_Instantiation
5451 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5452 or else NT (N).Nkind = N_Generic_Package_Declaration
5453 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5454 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5455 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5456 or else NT (N).Nkind = N_Package_Declaration
5457 or else NT (N).Nkind = N_Package_Instantiation
5458 or else NT (N).Nkind = N_Package_Renaming_Declaration
5459 or else NT (N).Nkind = N_Procedure_Instantiation
5460 or else NT (N).Nkind = N_Subprogram_Declaration
5461 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5462 Set_Node4 (N, Val); -- semantic field, no parent set
5463 end Set_Parent_Spec;
5465 procedure Set_Position
5466 (N : Node_Id; Val : Node_Id) is
5468 pragma Assert (False
5469 or else NT (N).Nkind = N_Component_Clause);
5470 Set_Node2_With_Parent (N, Val);
5473 procedure Set_Pragma_Argument_Associations
5474 (N : Node_Id; Val : List_Id) is
5476 pragma Assert (False
5477 or else NT (N).Nkind = N_Pragma);
5478 Set_List2_With_Parent (N, Val);
5479 end Set_Pragma_Argument_Associations;
5481 procedure Set_Pragma_Identifier
5482 (N : Node_Id; Val : Node_Id) is
5484 pragma Assert (False
5485 or else NT (N).Nkind = N_Pragma);
5486 Set_Node4_With_Parent (N, Val);
5487 end Set_Pragma_Identifier;
5489 procedure Set_Pragmas_After
5490 (N : Node_Id; Val : List_Id) is
5492 pragma Assert (False
5493 or else NT (N).Nkind = N_Compilation_Unit_Aux
5494 or else NT (N).Nkind = N_Terminate_Alternative);
5495 Set_List5_With_Parent (N, Val);
5496 end Set_Pragmas_After;
5498 procedure Set_Pragmas_Before
5499 (N : Node_Id; Val : List_Id) is
5501 pragma Assert (False
5502 or else NT (N).Nkind = N_Accept_Alternative
5503 or else NT (N).Nkind = N_Delay_Alternative
5504 or else NT (N).Nkind = N_Entry_Call_Alternative
5505 or else NT (N).Nkind = N_Mod_Clause
5506 or else NT (N).Nkind = N_Terminate_Alternative
5507 or else NT (N).Nkind = N_Triggering_Alternative);
5508 Set_List4_With_Parent (N, Val);
5509 end Set_Pragmas_Before;
5511 procedure Set_Prefix
5512 (N : Node_Id; Val : Node_Id) is
5514 pragma Assert (False
5515 or else NT (N).Nkind = N_Attribute_Reference
5516 or else NT (N).Nkind = N_Expanded_Name
5517 or else NT (N).Nkind = N_Explicit_Dereference
5518 or else NT (N).Nkind = N_Indexed_Component
5519 or else NT (N).Nkind = N_Reference
5520 or else NT (N).Nkind = N_Selected_Component
5521 or else NT (N).Nkind = N_Slice);
5522 Set_Node3_With_Parent (N, Val);
5525 procedure Set_Premature_Use
5526 (N : Node_Id; Val : Node_Id) is
5528 pragma Assert (False
5529 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5531 end Set_Premature_Use;
5533 procedure Set_Present_Expr
5534 (N : Node_Id; Val : Uint) is
5536 pragma Assert (False
5537 or else NT (N).Nkind = N_Variant);
5539 end Set_Present_Expr;
5541 procedure Set_Prev_Ids
5542 (N : Node_Id; Val : Boolean := True) is
5544 pragma Assert (False
5545 or else NT (N).Nkind = N_Component_Declaration
5546 or else NT (N).Nkind = N_Discriminant_Specification
5547 or else NT (N).Nkind = N_Exception_Declaration
5548 or else NT (N).Nkind = N_Formal_Object_Declaration
5549 or else NT (N).Nkind = N_Number_Declaration
5550 or else NT (N).Nkind = N_Object_Declaration
5551 or else NT (N).Nkind = N_Parameter_Specification);
5555 procedure Set_Print_In_Hex
5556 (N : Node_Id; Val : Boolean := True) is
5558 pragma Assert (False
5559 or else NT (N).Nkind = N_Integer_Literal);
5560 Set_Flag13 (N, Val);
5561 end Set_Print_In_Hex;
5563 procedure Set_Private_Declarations
5564 (N : Node_Id; Val : List_Id) is
5566 pragma Assert (False
5567 or else NT (N).Nkind = N_Package_Specification
5568 or else NT (N).Nkind = N_Protected_Definition
5569 or else NT (N).Nkind = N_Task_Definition);
5570 Set_List3_With_Parent (N, Val);
5571 end Set_Private_Declarations;
5573 procedure Set_Private_Present
5574 (N : Node_Id; Val : Boolean := True) is
5576 pragma Assert (False
5577 or else NT (N).Nkind = N_Compilation_Unit
5578 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5579 or else NT (N).Nkind = N_With_Clause);
5580 Set_Flag15 (N, Val);
5581 end Set_Private_Present;
5583 procedure Set_Procedure_To_Call
5584 (N : Node_Id; Val : Node_Id) is
5586 pragma Assert (False
5587 or else NT (N).Nkind = N_Allocator
5588 or else NT (N).Nkind = N_Extended_Return_Statement
5589 or else NT (N).Nkind = N_Free_Statement
5590 or else NT (N).Nkind = N_Return_Statement);
5591 Set_Node2 (N, Val); -- semantic field, no parent set
5592 end Set_Procedure_To_Call;
5594 procedure Set_Proper_Body
5595 (N : Node_Id; Val : Node_Id) is
5597 pragma Assert (False
5598 or else NT (N).Nkind = N_Subunit);
5599 Set_Node1_With_Parent (N, Val);
5600 end Set_Proper_Body;
5602 procedure Set_Protected_Definition
5603 (N : Node_Id; Val : Node_Id) is
5605 pragma Assert (False
5606 or else NT (N).Nkind = N_Protected_Type_Declaration
5607 or else NT (N).Nkind = N_Single_Protected_Declaration);
5608 Set_Node3_With_Parent (N, Val);
5609 end Set_Protected_Definition;
5611 procedure Set_Protected_Present
5612 (N : Node_Id; Val : Boolean := True) is
5614 pragma Assert (False
5615 or else NT (N).Nkind = N_Access_Function_Definition
5616 or else NT (N).Nkind = N_Access_Procedure_Definition
5617 or else NT (N).Nkind = N_Derived_Type_Definition
5618 or else NT (N).Nkind = N_Record_Definition);
5620 end Set_Protected_Present;
5622 procedure Set_Raises_Constraint_Error
5623 (N : Node_Id; Val : Boolean := True) is
5625 pragma Assert (False
5626 or else NT (N).Nkind in N_Subexpr);
5628 end Set_Raises_Constraint_Error;
5630 procedure Set_Range_Constraint
5631 (N : Node_Id; Val : Node_Id) is
5633 pragma Assert (False
5634 or else NT (N).Nkind = N_Delta_Constraint
5635 or else NT (N).Nkind = N_Digits_Constraint);
5636 Set_Node4_With_Parent (N, Val);
5637 end Set_Range_Constraint;
5639 procedure Set_Range_Expression
5640 (N : Node_Id; Val : Node_Id) is
5642 pragma Assert (False
5643 or else NT (N).Nkind = N_Range_Constraint);
5644 Set_Node4_With_Parent (N, Val);
5645 end Set_Range_Expression;
5647 procedure Set_Real_Range_Specification
5648 (N : Node_Id; Val : Node_Id) is
5650 pragma Assert (False
5651 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5652 or else NT (N).Nkind = N_Floating_Point_Definition
5653 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5654 Set_Node4_With_Parent (N, Val);
5655 end Set_Real_Range_Specification;
5657 procedure Set_Realval
5658 (N : Node_Id; Val : Ureal) is
5660 pragma Assert (False
5661 or else NT (N).Nkind = N_Real_Literal);
5662 Set_Ureal3 (N, Val);
5665 procedure Set_Reason
5666 (N : Node_Id; Val : Uint) is
5668 pragma Assert (False
5669 or else NT (N).Nkind = N_Raise_Constraint_Error
5670 or else NT (N).Nkind = N_Raise_Program_Error
5671 or else NT (N).Nkind = N_Raise_Storage_Error);
5675 procedure Set_Record_Extension_Part
5676 (N : Node_Id; Val : Node_Id) is
5678 pragma Assert (False
5679 or else NT (N).Nkind = N_Derived_Type_Definition);
5680 Set_Node3_With_Parent (N, Val);
5681 end Set_Record_Extension_Part;
5683 procedure Set_Redundant_Use
5684 (N : Node_Id; Val : Boolean := True) is
5686 pragma Assert (False
5687 or else NT (N).Nkind = N_Attribute_Reference
5688 or else NT (N).Nkind = N_Expanded_Name
5689 or else NT (N).Nkind = N_Identifier);
5690 Set_Flag13 (N, Val);
5691 end Set_Redundant_Use;
5693 procedure Set_Renaming_Exception
5694 (N : Node_Id; Val : Node_Id) is
5696 pragma Assert (False
5697 or else NT (N).Nkind = N_Exception_Declaration);
5699 end Set_Renaming_Exception;
5701 procedure Set_Result_Definition
5702 (N : Node_Id; Val : Node_Id) is
5704 pragma Assert (False
5705 or else NT (N).Nkind = N_Access_Function_Definition
5706 or else NT (N).Nkind = N_Function_Specification);
5707 Set_Node4_With_Parent (N, Val);
5708 end Set_Result_Definition;
5710 procedure Set_Return_Object_Declarations
5711 (N : Node_Id; Val : List_Id) is
5713 pragma Assert (False
5714 or else NT (N).Nkind = N_Extended_Return_Statement);
5715 Set_List3_With_Parent (N, Val);
5716 end Set_Return_Object_Declarations;
5718 procedure Set_Return_Statement_Entity
5719 (N : Node_Id; Val : Node_Id) is
5721 pragma Assert (False
5722 or else NT (N).Nkind = N_Extended_Return_Statement
5723 or else NT (N).Nkind = N_Return_Statement);
5724 Set_Node5 (N, Val); -- semantic field, no parent set
5725 end Set_Return_Statement_Entity;
5727 procedure Set_Reverse_Present
5728 (N : Node_Id; Val : Boolean := True) is
5730 pragma Assert (False
5731 or else NT (N).Nkind = N_Iterator_Specification
5732 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5733 Set_Flag15 (N, Val);
5734 end Set_Reverse_Present;
5736 procedure Set_Right_Opnd
5737 (N : Node_Id; Val : Node_Id) is
5739 pragma Assert (False
5740 or else NT (N).Nkind in N_Op
5741 or else NT (N).Nkind = N_And_Then
5742 or else NT (N).Nkind = N_In
5743 or else NT (N).Nkind = N_Not_In
5744 or else NT (N).Nkind = N_Or_Else);
5745 Set_Node3_With_Parent (N, Val);
5748 procedure Set_Rounded_Result
5749 (N : Node_Id; Val : Boolean := True) is
5751 pragma Assert (False
5752 or else NT (N).Nkind = N_Op_Divide
5753 or else NT (N).Nkind = N_Op_Multiply
5754 or else NT (N).Nkind = N_Type_Conversion);
5755 Set_Flag18 (N, Val);
5756 end Set_Rounded_Result;
5758 procedure Set_SCIL_Controlling_Tag
5759 (N : Node_Id; Val : Node_Id) is
5761 pragma Assert (False
5762 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5763 Set_Node5 (N, Val); -- semantic field, no parent set
5764 end Set_SCIL_Controlling_Tag;
5766 procedure Set_SCIL_Entity
5767 (N : Node_Id; Val : Node_Id) is
5769 pragma Assert (False
5770 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5771 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5772 or else NT (N).Nkind = N_SCIL_Membership_Test);
5773 Set_Node4 (N, Val); -- semantic field, no parent set
5774 end Set_SCIL_Entity;
5776 procedure Set_SCIL_Tag_Value
5777 (N : Node_Id; Val : Node_Id) is
5779 pragma Assert (False
5780 or else NT (N).Nkind = N_SCIL_Membership_Test);
5781 Set_Node5 (N, Val); -- semantic field, no parent set
5782 end Set_SCIL_Tag_Value;
5784 procedure Set_SCIL_Target_Prim
5785 (N : Node_Id; Val : Node_Id) is
5787 pragma Assert (False
5788 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5789 Set_Node2 (N, Val); -- semantic field, no parent set
5790 end Set_SCIL_Target_Prim;
5793 (N : Node_Id; Val : Node_Id) is
5795 pragma Assert (False
5796 or else NT (N).Nkind = N_Defining_Character_Literal
5797 or else NT (N).Nkind = N_Defining_Identifier
5798 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5799 Set_Node3 (N, Val); -- semantic field, no parent set
5802 procedure Set_Select_Alternatives
5803 (N : Node_Id; Val : List_Id) is
5805 pragma Assert (False
5806 or else NT (N).Nkind = N_Selective_Accept);
5807 Set_List1_With_Parent (N, Val);
5808 end Set_Select_Alternatives;
5810 procedure Set_Selector_Name
5811 (N : Node_Id; Val : Node_Id) is
5813 pragma Assert (False
5814 or else NT (N).Nkind = N_Expanded_Name
5815 or else NT (N).Nkind = N_Generic_Association
5816 or else NT (N).Nkind = N_Parameter_Association
5817 or else NT (N).Nkind = N_Selected_Component);
5818 Set_Node2_With_Parent (N, Val);
5819 end Set_Selector_Name;
5821 procedure Set_Selector_Names
5822 (N : Node_Id; Val : List_Id) is
5824 pragma Assert (False
5825 or else NT (N).Nkind = N_Discriminant_Association);
5826 Set_List1_With_Parent (N, Val);
5827 end Set_Selector_Names;
5829 procedure Set_Shift_Count_OK
5830 (N : Node_Id; Val : Boolean := True) is
5832 pragma Assert (False
5833 or else NT (N).Nkind = N_Op_Rotate_Left
5834 or else NT (N).Nkind = N_Op_Rotate_Right
5835 or else NT (N).Nkind = N_Op_Shift_Left
5836 or else NT (N).Nkind = N_Op_Shift_Right
5837 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5839 end Set_Shift_Count_OK;
5841 procedure Set_Source_Type
5842 (N : Node_Id; Val : Entity_Id) is
5844 pragma Assert (False
5845 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5846 Set_Node1 (N, Val); -- semantic field, no parent set
5847 end Set_Source_Type;
5849 procedure Set_Spec_PPC_List
5850 (N : Node_Id; Val : Node_Id) is
5852 pragma Assert (False
5853 or else NT (N).Nkind = N_Contract);
5854 Set_Node1 (N, Val); -- semantic field, no parent set
5855 end Set_Spec_PPC_List;
5857 procedure Set_Spec_CTC_List
5858 (N : Node_Id; Val : Node_Id) is
5860 pragma Assert (False
5861 or else NT (N).Nkind = N_Contract);
5862 Set_Node2 (N, Val); -- semantic field, no parent set
5863 end Set_Spec_CTC_List;
5865 procedure Set_Specification
5866 (N : Node_Id; Val : Node_Id) is
5868 pragma Assert (False
5869 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5870 or else NT (N).Nkind = N_Expression_Function
5871 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5872 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5873 or else NT (N).Nkind = N_Generic_Package_Declaration
5874 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5875 or else NT (N).Nkind = N_Package_Declaration
5876 or else NT (N).Nkind = N_Subprogram_Body
5877 or else NT (N).Nkind = N_Subprogram_Body_Stub
5878 or else NT (N).Nkind = N_Subprogram_Declaration
5879 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5880 Set_Node1_With_Parent (N, Val);
5881 end Set_Specification;
5883 procedure Set_Split_PPC
5884 (N : Node_Id; Val : Boolean) is
5886 pragma Assert (False
5887 or else NT (N).Nkind = N_Aspect_Specification
5888 or else NT (N).Nkind = N_Pragma);
5889 Set_Flag17 (N, Val);
5892 procedure Set_Statements
5893 (N : Node_Id; Val : List_Id) is
5895 pragma Assert (False
5896 or else NT (N).Nkind = N_Abortable_Part
5897 or else NT (N).Nkind = N_Accept_Alternative
5898 or else NT (N).Nkind = N_Case_Statement_Alternative
5899 or else NT (N).Nkind = N_Delay_Alternative
5900 or else NT (N).Nkind = N_Entry_Call_Alternative
5901 or else NT (N).Nkind = N_Exception_Handler
5902 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5903 or else NT (N).Nkind = N_Loop_Statement
5904 or else NT (N).Nkind = N_Triggering_Alternative);
5905 Set_List3_With_Parent (N, Val);
5908 procedure Set_Static_Processing_OK
5909 (N : Node_Id; Val : Boolean) is
5911 pragma Assert (False
5912 or else NT (N).Nkind = N_Aggregate);
5914 end Set_Static_Processing_OK;
5916 procedure Set_Storage_Pool
5917 (N : Node_Id; Val : Node_Id) is
5919 pragma Assert (False
5920 or else NT (N).Nkind = N_Allocator
5921 or else NT (N).Nkind = N_Extended_Return_Statement
5922 or else NT (N).Nkind = N_Free_Statement
5923 or else NT (N).Nkind = N_Return_Statement);
5924 Set_Node1 (N, Val); -- semantic field, no parent set
5925 end Set_Storage_Pool;
5927 procedure Set_Subpool_Handle_Name
5928 (N : Node_Id; Val : Node_Id) is
5930 pragma Assert (False
5931 or else NT (N).Nkind = N_Allocator);
5932 Set_Node4_With_Parent (N, Val);
5933 end Set_Subpool_Handle_Name;
5935 procedure Set_Strval
5936 (N : Node_Id; Val : String_Id) is
5938 pragma Assert (False
5939 or else NT (N).Nkind = N_Operator_Symbol
5940 or else NT (N).Nkind = N_String_Literal);
5944 procedure Set_Subtype_Indication
5945 (N : Node_Id; Val : Node_Id) is
5947 pragma Assert (False
5948 or else NT (N).Nkind = N_Access_To_Object_Definition
5949 or else NT (N).Nkind = N_Component_Definition
5950 or else NT (N).Nkind = N_Derived_Type_Definition
5951 or else NT (N).Nkind = N_Iterator_Specification
5952 or else NT (N).Nkind = N_Private_Extension_Declaration
5953 or else NT (N).Nkind = N_Subtype_Declaration);
5954 Set_Node5_With_Parent (N, Val);
5955 end Set_Subtype_Indication;
5957 procedure Set_Subtype_Mark
5958 (N : Node_Id; Val : Node_Id) is
5960 pragma Assert (False
5961 or else NT (N).Nkind = N_Access_Definition
5962 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5963 or else NT (N).Nkind = N_Formal_Object_Declaration
5964 or else NT (N).Nkind = N_Object_Renaming_Declaration
5965 or else NT (N).Nkind = N_Qualified_Expression
5966 or else NT (N).Nkind = N_Subtype_Indication
5967 or else NT (N).Nkind = N_Type_Conversion
5968 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5969 Set_Node4_With_Parent (N, Val);
5970 end Set_Subtype_Mark;
5972 procedure Set_Subtype_Marks
5973 (N : Node_Id; Val : List_Id) is
5975 pragma Assert (False
5976 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5977 or else NT (N).Nkind = N_Use_Type_Clause);
5978 Set_List2_With_Parent (N, Val);
5979 end Set_Subtype_Marks;
5981 procedure Set_Suppress_Assignment_Checks
5982 (N : Node_Id; Val : Boolean := True) is
5984 pragma Assert (False
5985 or else NT (N).Nkind = N_Assignment_Statement
5986 or else NT (N).Nkind = N_Object_Declaration);
5987 Set_Flag18 (N, Val);
5988 end Set_Suppress_Assignment_Checks;
5990 procedure Set_Suppress_Loop_Warnings
5991 (N : Node_Id; Val : Boolean := True) is
5993 pragma Assert (False
5994 or else NT (N).Nkind = N_Loop_Statement);
5995 Set_Flag17 (N, Val);
5996 end Set_Suppress_Loop_Warnings;
5998 procedure Set_Synchronized_Present
5999 (N : Node_Id; Val : Boolean := True) is
6001 pragma Assert (False
6002 or else NT (N).Nkind = N_Derived_Type_Definition
6003 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6004 or else NT (N).Nkind = N_Private_Extension_Declaration
6005 or else NT (N).Nkind = N_Record_Definition);
6007 end Set_Synchronized_Present;
6009 procedure Set_Tagged_Present
6010 (N : Node_Id; Val : Boolean := True) is
6012 pragma Assert (False
6013 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6014 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6015 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6016 or else NT (N).Nkind = N_Private_Type_Declaration
6017 or else NT (N).Nkind = N_Record_Definition);
6018 Set_Flag15 (N, Val);
6019 end Set_Tagged_Present;
6021 procedure Set_Target_Type
6022 (N : Node_Id; Val : Entity_Id) is
6024 pragma Assert (False
6025 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6026 Set_Node2 (N, Val); -- semantic field, no parent set
6027 end Set_Target_Type;
6029 procedure Set_Task_Definition
6030 (N : Node_Id; Val : Node_Id) is
6032 pragma Assert (False
6033 or else NT (N).Nkind = N_Single_Task_Declaration
6034 or else NT (N).Nkind = N_Task_Type_Declaration);
6035 Set_Node3_With_Parent (N, Val);
6036 end Set_Task_Definition;
6038 procedure Set_Task_Present
6039 (N : Node_Id; Val : Boolean := True) is
6041 pragma Assert (False
6042 or else NT (N).Nkind = N_Derived_Type_Definition
6043 or else NT (N).Nkind = N_Record_Definition);
6045 end Set_Task_Present;
6047 procedure Set_Then_Actions
6048 (N : Node_Id; Val : List_Id) is
6050 pragma Assert (False
6051 or else NT (N).Nkind = N_Conditional_Expression);
6052 Set_List2 (N, Val); -- semantic field, no parent set
6053 end Set_Then_Actions;
6055 procedure Set_Then_Statements
6056 (N : Node_Id; Val : List_Id) is
6058 pragma Assert (False
6059 or else NT (N).Nkind = N_Elsif_Part
6060 or else NT (N).Nkind = N_If_Statement);
6061 Set_List2_With_Parent (N, Val);
6062 end Set_Then_Statements;
6064 procedure Set_Treat_Fixed_As_Integer
6065 (N : Node_Id; Val : Boolean := True) is
6067 pragma Assert (False
6068 or else NT (N).Nkind = N_Op_Divide
6069 or else NT (N).Nkind = N_Op_Mod
6070 or else NT (N).Nkind = N_Op_Multiply
6071 or else NT (N).Nkind = N_Op_Rem);
6072 Set_Flag14 (N, Val);
6073 end Set_Treat_Fixed_As_Integer;
6075 procedure Set_Triggering_Alternative
6076 (N : Node_Id; Val : Node_Id) is
6078 pragma Assert (False
6079 or else NT (N).Nkind = N_Asynchronous_Select);
6080 Set_Node1_With_Parent (N, Val);
6081 end Set_Triggering_Alternative;
6083 procedure Set_Triggering_Statement
6084 (N : Node_Id; Val : Node_Id) is
6086 pragma Assert (False
6087 or else NT (N).Nkind = N_Triggering_Alternative);
6088 Set_Node1_With_Parent (N, Val);
6089 end Set_Triggering_Statement;
6091 procedure Set_TSS_Elist
6092 (N : Node_Id; Val : Elist_Id) is
6094 pragma Assert (False
6095 or else NT (N).Nkind = N_Freeze_Entity);
6096 Set_Elist3 (N, Val); -- semantic field, no parent set
6099 procedure Set_Type_Definition
6100 (N : Node_Id; Val : Node_Id) is
6102 pragma Assert (False
6103 or else NT (N).Nkind = N_Full_Type_Declaration);
6104 Set_Node3_With_Parent (N, Val);
6105 end Set_Type_Definition;
6108 (N : Node_Id; Val : Node_Id) is
6110 pragma Assert (False
6111 or else NT (N).Nkind = N_Compilation_Unit);
6112 Set_Node2_With_Parent (N, Val);
6115 procedure Set_Unknown_Discriminants_Present
6116 (N : Node_Id; Val : Boolean := True) is
6118 pragma Assert (False
6119 or else NT (N).Nkind = N_Formal_Type_Declaration
6120 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6121 or else NT (N).Nkind = N_Private_Extension_Declaration
6122 or else NT (N).Nkind = N_Private_Type_Declaration);
6123 Set_Flag13 (N, Val);
6124 end Set_Unknown_Discriminants_Present;
6126 procedure Set_Unreferenced_In_Spec
6127 (N : Node_Id; Val : Boolean := True) is
6129 pragma Assert (False
6130 or else NT (N).Nkind = N_With_Clause);
6132 end Set_Unreferenced_In_Spec;
6134 procedure Set_Variant_Part
6135 (N : Node_Id; Val : Node_Id) is
6137 pragma Assert (False
6138 or else NT (N).Nkind = N_Component_List);
6139 Set_Node4_With_Parent (N, Val);
6140 end Set_Variant_Part;
6142 procedure Set_Variants
6143 (N : Node_Id; Val : List_Id) is
6145 pragma Assert (False
6146 or else NT (N).Nkind = N_Variant_Part);
6147 Set_List1_With_Parent (N, Val);
6150 procedure Set_Visible_Declarations
6151 (N : Node_Id; Val : List_Id) is
6153 pragma Assert (False
6154 or else NT (N).Nkind = N_Package_Specification
6155 or else NT (N).Nkind = N_Protected_Definition
6156 or else NT (N).Nkind = N_Task_Definition);
6157 Set_List2_With_Parent (N, Val);
6158 end Set_Visible_Declarations;
6160 procedure Set_Used_Operations
6161 (N : Node_Id; Val : Elist_Id) is
6163 pragma Assert (False
6164 or else NT (N).Nkind = N_Use_Type_Clause);
6165 Set_Elist5 (N, Val);
6166 end Set_Used_Operations;
6168 procedure Set_Was_Originally_Stub
6169 (N : Node_Id; Val : Boolean := True) is
6171 pragma Assert (False
6172 or else NT (N).Nkind = N_Package_Body
6173 or else NT (N).Nkind = N_Protected_Body
6174 or else NT (N).Nkind = N_Subprogram_Body
6175 or else NT (N).Nkind = N_Task_Body);
6176 Set_Flag13 (N, Val);
6177 end Set_Was_Originally_Stub;
6179 procedure Set_Withed_Body
6180 (N : Node_Id; Val : Node_Id) is
6182 pragma Assert (False
6183 or else NT (N).Nkind = N_With_Clause);
6185 end Set_Withed_Body;
6187 -------------------------
6188 -- Iterator Procedures --
6189 -------------------------
6191 procedure Next_Entity (N : in out Node_Id) is
6193 N := Next_Entity (N);
6196 procedure Next_Named_Actual (N : in out Node_Id) is
6198 N := Next_Named_Actual (N);
6199 end Next_Named_Actual;
6201 procedure Next_Rep_Item (N : in out Node_Id) is
6203 N := Next_Rep_Item (N);
6206 procedure Next_Use_Clause (N : in out Node_Id) is
6208 N := Next_Use_Clause (N);
6209 end Next_Use_Clause;
6215 function End_Location (N : Node_Id) return Source_Ptr is
6216 L : constant Uint := End_Span (N);
6221 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6225 --------------------
6226 -- Get_Pragma_Arg --
6227 --------------------
6229 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6231 if Nkind (Arg) = N_Pragma_Argument_Association then
6232 return Expression (Arg);
6238 ----------------------
6239 -- Set_End_Location --
6240 ----------------------
6242 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6245 UI_From_Int (Int (S) - Int (Sloc (N))));
6246 end Set_End_Location;
6255 V2 : Node_Kind) return Boolean
6258 return T = V1 or else
6266 V3 : Node_Kind) return Boolean
6269 return T = V1 or else
6279 V4 : Node_Kind) return Boolean
6282 return T = V1 or else
6294 V5 : Node_Kind) return Boolean
6297 return T = V1 or else
6311 V6 : Node_Kind) return Boolean
6314 return T = V1 or else
6330 V7 : Node_Kind) return Boolean
6333 return T = V1 or else
6351 V8 : Node_Kind) return Boolean
6354 return T = V1 or else
6374 V9 : Node_Kind) return Boolean
6377 return T = V1 or else
6392 function Pragma_Name (N : Node_Id) return Name_Id is
6394 return Chars (Pragma_Identifier (N));