1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2018, 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 -- Note: The use of Assert (False or else ...) is just a device to allow
61 -- uniform format of the conditions following this. Note that csinfo
62 -- expects this uniform format.
64 function Abort_Present
65 (N
: Node_Id
) return Boolean is
68 or else NT
(N
).Nkind
= N_Requeue_Statement
);
72 function Abortable_Part
73 (N
: Node_Id
) return Node_Id
is
76 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
80 function Abstract_Present
81 (N
: Node_Id
) return Boolean is
84 or else NT
(N
).Nkind
= N_Derived_Type_Definition
85 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
86 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
87 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
88 or else NT
(N
).Nkind
= N_Private_Type_Declaration
89 or else NT
(N
).Nkind
= N_Record_Definition
);
93 function Accept_Handler_Records
94 (N
: Node_Id
) return List_Id
is
97 or else NT
(N
).Nkind
= N_Accept_Alternative
);
99 end Accept_Handler_Records
;
101 function Accept_Statement
102 (N
: Node_Id
) return Node_Id
is
105 or else NT
(N
).Nkind
= N_Accept_Alternative
);
107 end Accept_Statement
;
109 function Access_Definition
110 (N
: Node_Id
) return Node_Id
is
113 or else NT
(N
).Nkind
= N_Component_Definition
114 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
115 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
117 end Access_Definition
;
119 function Access_To_Subprogram_Definition
120 (N
: Node_Id
) return Node_Id
is
123 or else NT
(N
).Nkind
= N_Access_Definition
);
125 end Access_To_Subprogram_Definition
;
127 function Access_Types_To_Process
128 (N
: Node_Id
) return Elist_Id
is
131 or else NT
(N
).Nkind
= N_Freeze_Entity
);
133 end Access_Types_To_Process
;
136 (N
: Node_Id
) return List_Id
is
139 or else NT
(N
).Nkind
= N_And_Then
140 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
141 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
142 or else NT
(N
).Nkind
= N_Compound_Statement
143 or else NT
(N
).Nkind
= N_Expression_With_Actions
144 or else NT
(N
).Nkind
= N_Freeze_Entity
145 or else NT
(N
).Nkind
= N_Or_Else
);
149 function Activation_Chain_Entity
150 (N
: Node_Id
) return Node_Id
is
153 or else NT
(N
).Nkind
= N_Block_Statement
154 or else NT
(N
).Nkind
= N_Entry_Body
155 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
156 or else NT
(N
).Nkind
= N_Package_Declaration
157 or else NT
(N
).Nkind
= N_Subprogram_Body
158 or else NT
(N
).Nkind
= N_Task_Body
);
160 end Activation_Chain_Entity
;
162 function Acts_As_Spec
163 (N
: Node_Id
) return Boolean is
166 or else NT
(N
).Nkind
= N_Compilation_Unit
167 or else NT
(N
).Nkind
= N_Subprogram_Body
);
171 function Actual_Designated_Subtype
172 (N
: Node_Id
) return Node_Id
is
175 or else NT
(N
).Nkind
= N_Explicit_Dereference
176 or else NT
(N
).Nkind
= N_Free_Statement
);
178 end Actual_Designated_Subtype
;
180 function Address_Warning_Posted
181 (N
: Node_Id
) return Boolean is
184 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
186 end Address_Warning_Posted
;
188 function Aggregate_Bounds
189 (N
: Node_Id
) return Node_Id
is
192 or else NT
(N
).Nkind
= N_Aggregate
);
194 end Aggregate_Bounds
;
196 function Aliased_Present
197 (N
: Node_Id
) return Boolean is
200 or else NT
(N
).Nkind
= N_Component_Definition
201 or else NT
(N
).Nkind
= N_Object_Declaration
202 or else NT
(N
).Nkind
= N_Parameter_Specification
);
206 function Alloc_For_BIP_Return
207 (N
: Node_Id
) return Boolean is
210 or else NT
(N
).Nkind
= N_Allocator
);
212 end Alloc_For_BIP_Return
;
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
297 or else NT
(N
).Nkind
= N_Use_Package_Clause
);
302 (N
: Node_Id
) return Node_Id
is
305 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
309 function Attribute_Name
310 (N
: Node_Id
) return Name_Id
is
313 or else NT
(N
).Nkind
= N_Attribute_Reference
);
317 function Aux_Decls_Node
318 (N
: Node_Id
) return Node_Id
is
321 or else NT
(N
).Nkind
= N_Compilation_Unit
);
325 function Backwards_OK
326 (N
: Node_Id
) return Boolean is
329 or else NT
(N
).Nkind
= N_Assignment_Statement
);
333 function Bad_Is_Detected
334 (N
: Node_Id
) return Boolean is
337 or else NT
(N
).Nkind
= N_Subprogram_Body
);
341 function Body_Required
342 (N
: Node_Id
) return Boolean is
345 or else NT
(N
).Nkind
= N_Compilation_Unit
);
349 function Body_To_Inline
350 (N
: Node_Id
) return Node_Id
is
353 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
358 (N
: Node_Id
) return Boolean is
361 or else NT
(N
).Nkind
= N_Component_Association
362 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
363 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
364 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
365 or else NT
(N
).Nkind
= N_Generic_Association
366 or else NT
(N
).Nkind
= N_Iterated_Component_Association
);
371 (N
: Node_Id
) return Boolean is
374 or else NT
(N
).Nkind
= N_Extended_Return_Statement
375 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
379 function Char_Literal_Value
380 (N
: Node_Id
) return Uint
is
383 or else NT
(N
).Nkind
= N_Character_Literal
);
385 end Char_Literal_Value
;
388 (N
: Node_Id
) return Name_Id
is
391 or else NT
(N
).Nkind
in N_Has_Chars
);
395 function Check_Address_Alignment
396 (N
: Node_Id
) return Boolean is
399 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
401 end Check_Address_Alignment
;
403 function Choice_Parameter
404 (N
: Node_Id
) return Node_Id
is
407 or else NT
(N
).Nkind
= N_Exception_Handler
);
409 end Choice_Parameter
;
412 (N
: Node_Id
) return List_Id
is
415 or else NT
(N
).Nkind
= N_Component_Association
);
419 function Class_Present
420 (N
: Node_Id
) return Boolean is
423 or else NT
(N
).Nkind
= N_Aspect_Specification
424 or else NT
(N
).Nkind
= N_Pragma
);
428 function Classifications
429 (N
: Node_Id
) return Node_Id
is
432 or else NT
(N
).Nkind
= N_Contract
);
436 function Cleanup_Actions
437 (N
: Node_Id
) return List_Id
is
440 or else NT
(N
).Nkind
= N_Block_Statement
);
444 function Comes_From_Extended_Return_Statement
445 (N
: Node_Id
) return Boolean is
448 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
450 end Comes_From_Extended_Return_Statement
;
452 function Compile_Time_Known_Aggregate
453 (N
: Node_Id
) return Boolean is
456 or else NT
(N
).Nkind
= N_Aggregate
);
458 end Compile_Time_Known_Aggregate
;
460 function Component_Associations
461 (N
: Node_Id
) return List_Id
is
464 or else NT
(N
).Nkind
= N_Aggregate
465 or else NT
(N
).Nkind
= N_Delta_Aggregate
466 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
468 end Component_Associations
;
470 function Component_Clauses
471 (N
: Node_Id
) return List_Id
is
474 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
476 end Component_Clauses
;
478 function Component_Definition
479 (N
: Node_Id
) return Node_Id
is
482 or else NT
(N
).Nkind
= N_Component_Declaration
483 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
484 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
486 end Component_Definition
;
488 function Component_Items
489 (N
: Node_Id
) return List_Id
is
492 or else NT
(N
).Nkind
= N_Component_List
);
496 function Component_List
497 (N
: Node_Id
) return Node_Id
is
500 or else NT
(N
).Nkind
= N_Record_Definition
501 or else NT
(N
).Nkind
= N_Variant
);
505 function Component_Name
506 (N
: Node_Id
) return Node_Id
is
509 or else NT
(N
).Nkind
= N_Component_Clause
);
513 function Componentwise_Assignment
514 (N
: Node_Id
) return Boolean is
517 or else NT
(N
).Nkind
= N_Assignment_Statement
);
519 end Componentwise_Assignment
;
522 (N
: Node_Id
) return Node_Id
is
525 or else NT
(N
).Nkind
= N_Accept_Alternative
526 or else NT
(N
).Nkind
= N_Delay_Alternative
527 or else NT
(N
).Nkind
= N_Elsif_Part
528 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
529 or else NT
(N
).Nkind
= N_Exit_Statement
530 or else NT
(N
).Nkind
= N_If_Statement
531 or else NT
(N
).Nkind
= N_Iteration_Scheme
532 or else NT
(N
).Nkind
= N_Quantified_Expression
533 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
534 or else NT
(N
).Nkind
= N_Raise_Program_Error
535 or else NT
(N
).Nkind
= N_Raise_Storage_Error
536 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
540 function Condition_Actions
541 (N
: Node_Id
) return List_Id
is
544 or else NT
(N
).Nkind
= N_Elsif_Part
545 or else NT
(N
).Nkind
= N_Iteration_Scheme
);
547 end Condition_Actions
;
549 function Config_Pragmas
550 (N
: Node_Id
) return List_Id
is
553 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
557 function Constant_Present
558 (N
: Node_Id
) return Boolean is
561 or else NT
(N
).Nkind
= N_Access_Definition
562 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
563 or else NT
(N
).Nkind
= N_Object_Declaration
);
565 end Constant_Present
;
568 (N
: Node_Id
) return Node_Id
is
571 or else NT
(N
).Nkind
= N_Subtype_Indication
);
576 (N
: Node_Id
) return List_Id
is
579 or else NT
(N
).Nkind
= N_Index_Or_Discriminant_Constraint
);
583 function Context_Installed
584 (N
: Node_Id
) return Boolean is
587 or else NT
(N
).Nkind
= N_With_Clause
);
589 end Context_Installed
;
591 function Context_Items
592 (N
: Node_Id
) return List_Id
is
595 or else NT
(N
).Nkind
= N_Compilation_Unit
);
599 function Context_Pending
600 (N
: Node_Id
) return Boolean is
603 or else NT
(N
).Nkind
= N_Compilation_Unit
);
607 function Contract_Test_Cases
608 (N
: Node_Id
) return Node_Id
is
611 or else NT
(N
).Nkind
= N_Contract
);
613 end Contract_Test_Cases
;
615 function Controlling_Argument
616 (N
: Node_Id
) return Node_Id
is
619 or else NT
(N
).Nkind
= N_Function_Call
620 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
622 end Controlling_Argument
;
624 function Conversion_OK
625 (N
: Node_Id
) return Boolean is
628 or else NT
(N
).Nkind
= N_Type_Conversion
);
632 function Convert_To_Return_False
633 (N
: Node_Id
) return Boolean is
636 or else NT
(N
).Nkind
= N_Raise_Expression
);
638 end Convert_To_Return_False
;
640 function Corresponding_Aspect
641 (N
: Node_Id
) return Node_Id
is
644 or else NT
(N
).Nkind
= N_Pragma
);
646 end Corresponding_Aspect
;
648 function Corresponding_Body
649 (N
: Node_Id
) return Node_Id
is
652 or else NT
(N
).Nkind
= N_Entry_Declaration
653 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
654 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
655 or else NT
(N
).Nkind
= N_Package_Body_Stub
656 or else NT
(N
).Nkind
= N_Package_Declaration
657 or else NT
(N
).Nkind
= N_Protected_Body_Stub
658 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
659 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
660 or else NT
(N
).Nkind
= N_Subprogram_Declaration
661 or else NT
(N
).Nkind
= N_Task_Body_Stub
662 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
664 end Corresponding_Body
;
666 function Corresponding_Formal_Spec
667 (N
: Node_Id
) return Node_Id
is
670 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
672 end Corresponding_Formal_Spec
;
674 function Corresponding_Generic_Association
675 (N
: Node_Id
) return Node_Id
is
678 or else NT
(N
).Nkind
= N_Object_Declaration
679 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
681 end Corresponding_Generic_Association
;
683 function Corresponding_Integer_Value
684 (N
: Node_Id
) return Uint
is
687 or else NT
(N
).Nkind
= N_Real_Literal
);
689 end Corresponding_Integer_Value
;
691 function Corresponding_Spec
692 (N
: Node_Id
) return Entity_Id
is
695 or else NT
(N
).Nkind
= N_Expression_Function
696 or else NT
(N
).Nkind
= N_Package_Body
697 or else NT
(N
).Nkind
= N_Protected_Body
698 or else NT
(N
).Nkind
= N_Subprogram_Body
699 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
700 or else NT
(N
).Nkind
= N_Task_Body
701 or else NT
(N
).Nkind
= N_With_Clause
);
703 end Corresponding_Spec
;
705 function Corresponding_Spec_Of_Stub
706 (N
: Node_Id
) return Entity_Id
is
709 or else NT
(N
).Nkind
= N_Package_Body_Stub
710 or else NT
(N
).Nkind
= N_Protected_Body_Stub
711 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
712 or else NT
(N
).Nkind
= N_Task_Body_Stub
);
714 end Corresponding_Spec_Of_Stub
;
716 function Corresponding_Stub
717 (N
: Node_Id
) return Node_Id
is
720 or else NT
(N
).Nkind
= N_Subunit
);
722 end Corresponding_Stub
;
724 function Dcheck_Function
725 (N
: Node_Id
) return Entity_Id
is
728 or else NT
(N
).Nkind
= N_Variant
);
732 function Declarations
733 (N
: Node_Id
) return List_Id
is
736 or else NT
(N
).Nkind
= N_Accept_Statement
737 or else NT
(N
).Nkind
= N_Block_Statement
738 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
739 or else NT
(N
).Nkind
= N_Entry_Body
740 or else NT
(N
).Nkind
= N_Package_Body
741 or else NT
(N
).Nkind
= N_Protected_Body
742 or else NT
(N
).Nkind
= N_Subprogram_Body
743 or else NT
(N
).Nkind
= N_Task_Body
);
747 function Default_Expression
748 (N
: Node_Id
) return Node_Id
is
751 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
752 or else NT
(N
).Nkind
= N_Parameter_Specification
);
754 end Default_Expression
;
756 function Default_Storage_Pool
757 (N
: Node_Id
) return Node_Id
is
760 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
762 end Default_Storage_Pool
;
764 function Default_Name
765 (N
: Node_Id
) return Node_Id
is
768 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
769 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
);
773 function Defining_Identifier
774 (N
: Node_Id
) return Entity_Id
is
777 or else NT
(N
).Nkind
= N_Component_Declaration
778 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
779 or else NT
(N
).Nkind
= N_Discriminant_Specification
780 or else NT
(N
).Nkind
= N_Entry_Body
781 or else NT
(N
).Nkind
= N_Entry_Declaration
782 or else NT
(N
).Nkind
= N_Entry_Index_Specification
783 or else NT
(N
).Nkind
= N_Exception_Declaration
784 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
785 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
786 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
787 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
788 or else NT
(N
).Nkind
= N_Full_Type_Declaration
789 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
790 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
791 or else NT
(N
).Nkind
= N_Iterated_Component_Association
792 or else NT
(N
).Nkind
= N_Iterator_Specification
793 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
794 or else NT
(N
).Nkind
= N_Number_Declaration
795 or else NT
(N
).Nkind
= N_Object_Declaration
796 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
797 or else NT
(N
).Nkind
= N_Package_Body_Stub
798 or else NT
(N
).Nkind
= N_Parameter_Specification
799 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
800 or else NT
(N
).Nkind
= N_Private_Type_Declaration
801 or else NT
(N
).Nkind
= N_Protected_Body
802 or else NT
(N
).Nkind
= N_Protected_Body_Stub
803 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
804 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
805 or else NT
(N
).Nkind
= N_Single_Task_Declaration
806 or else NT
(N
).Nkind
= N_Subtype_Declaration
807 or else NT
(N
).Nkind
= N_Task_Body
808 or else NT
(N
).Nkind
= N_Task_Body_Stub
809 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
811 end Defining_Identifier
;
813 function Defining_Unit_Name
814 (N
: Node_Id
) return Node_Id
is
817 or else NT
(N
).Nkind
= N_Function_Instantiation
818 or else NT
(N
).Nkind
= N_Function_Specification
819 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
820 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
821 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
822 or else NT
(N
).Nkind
= N_Package_Body
823 or else NT
(N
).Nkind
= N_Package_Instantiation
824 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
825 or else NT
(N
).Nkind
= N_Package_Specification
826 or else NT
(N
).Nkind
= N_Procedure_Instantiation
827 or else NT
(N
).Nkind
= N_Procedure_Specification
);
829 end Defining_Unit_Name
;
831 function Delay_Alternative
832 (N
: Node_Id
) return Node_Id
is
835 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
837 end Delay_Alternative
;
839 function Delay_Statement
840 (N
: Node_Id
) return Node_Id
is
843 or else NT
(N
).Nkind
= N_Delay_Alternative
);
847 function Delta_Expression
848 (N
: Node_Id
) return Node_Id
is
851 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
852 or else NT
(N
).Nkind
= N_Delta_Constraint
853 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
855 end Delta_Expression
;
857 function Digits_Expression
858 (N
: Node_Id
) return Node_Id
is
861 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
862 or else NT
(N
).Nkind
= N_Digits_Constraint
863 or else NT
(N
).Nkind
= N_Floating_Point_Definition
);
865 end Digits_Expression
;
867 function Discr_Check_Funcs_Built
868 (N
: Node_Id
) return Boolean is
871 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
873 end Discr_Check_Funcs_Built
;
875 function Discrete_Choices
876 (N
: Node_Id
) return List_Id
is
879 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
880 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
881 or else NT
(N
).Nkind
= N_Iterated_Component_Association
882 or else NT
(N
).Nkind
= N_Variant
);
884 end Discrete_Choices
;
886 function Discrete_Range
887 (N
: Node_Id
) return Node_Id
is
890 or else NT
(N
).Nkind
= N_Slice
);
894 function Discrete_Subtype_Definition
895 (N
: Node_Id
) return Node_Id
is
898 or else NT
(N
).Nkind
= N_Entry_Declaration
899 or else NT
(N
).Nkind
= N_Entry_Index_Specification
900 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
902 end Discrete_Subtype_Definition
;
904 function Discrete_Subtype_Definitions
905 (N
: Node_Id
) return List_Id
is
908 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
);
910 end Discrete_Subtype_Definitions
;
912 function Discriminant_Specifications
913 (N
: Node_Id
) return List_Id
is
916 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
917 or else NT
(N
).Nkind
= N_Full_Type_Declaration
918 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
919 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
920 or else NT
(N
).Nkind
= N_Private_Type_Declaration
921 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
922 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
924 end Discriminant_Specifications
;
926 function Discriminant_Type
927 (N
: Node_Id
) return Node_Id
is
930 or else NT
(N
).Nkind
= N_Discriminant_Specification
);
932 end Discriminant_Type
;
934 function Do_Accessibility_Check
935 (N
: Node_Id
) return Boolean is
938 or else NT
(N
).Nkind
= N_Parameter_Specification
);
940 end Do_Accessibility_Check
;
942 function Do_Discriminant_Check
943 (N
: Node_Id
) return Boolean is
946 or else NT
(N
).Nkind
= N_Assignment_Statement
947 or else NT
(N
).Nkind
= N_Selected_Component
948 or else NT
(N
).Nkind
= N_Type_Conversion
);
950 end Do_Discriminant_Check
;
952 function Do_Division_Check
953 (N
: Node_Id
) return Boolean is
956 or else NT
(N
).Nkind
= N_Op_Divide
957 or else NT
(N
).Nkind
= N_Op_Mod
958 or else NT
(N
).Nkind
= N_Op_Rem
);
960 end Do_Division_Check
;
962 function Do_Length_Check
963 (N
: Node_Id
) return Boolean is
966 or else NT
(N
).Nkind
= N_Assignment_Statement
967 or else NT
(N
).Nkind
= N_Op_And
968 or else NT
(N
).Nkind
= N_Op_Or
969 or else NT
(N
).Nkind
= N_Op_Xor
970 or else NT
(N
).Nkind
= N_Type_Conversion
);
974 function Do_Overflow_Check
975 (N
: Node_Id
) return Boolean is
978 or else NT
(N
).Nkind
in N_Op
979 or else NT
(N
).Nkind
= N_Attribute_Reference
980 or else NT
(N
).Nkind
= N_Case_Expression
981 or else NT
(N
).Nkind
= N_If_Expression
982 or else NT
(N
).Nkind
= N_Type_Conversion
);
984 end Do_Overflow_Check
;
986 function Do_Range_Check
987 (N
: Node_Id
) return Boolean is
990 or else NT
(N
).Nkind
in N_Subexpr
);
994 function Do_Storage_Check
995 (N
: Node_Id
) return Boolean is
998 or else NT
(N
).Nkind
= N_Allocator
999 or else NT
(N
).Nkind
= N_Subprogram_Body
);
1001 end Do_Storage_Check
;
1003 function Do_Tag_Check
1004 (N
: Node_Id
) return Boolean is
1006 pragma Assert
(False
1007 or else NT
(N
).Nkind
= N_Assignment_Statement
1008 or else NT
(N
).Nkind
= N_Extended_Return_Statement
1009 or else NT
(N
).Nkind
= N_Function_Call
1010 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
1011 or else NT
(N
).Nkind
= N_Simple_Return_Statement
1012 or else NT
(N
).Nkind
= N_Type_Conversion
);
1016 function Elaborate_All_Desirable
1017 (N
: Node_Id
) return Boolean is
1019 pragma Assert
(False
1020 or else NT
(N
).Nkind
= N_With_Clause
);
1022 end Elaborate_All_Desirable
;
1024 function Elaborate_All_Present
1025 (N
: Node_Id
) return Boolean is
1027 pragma Assert
(False
1028 or else NT
(N
).Nkind
= N_With_Clause
);
1030 end Elaborate_All_Present
;
1032 function Elaborate_Desirable
1033 (N
: Node_Id
) return Boolean is
1035 pragma Assert
(False
1036 or else NT
(N
).Nkind
= N_With_Clause
);
1038 end Elaborate_Desirable
;
1040 function Elaborate_Present
1041 (N
: Node_Id
) return Boolean is
1043 pragma Assert
(False
1044 or else NT
(N
).Nkind
= N_With_Clause
);
1046 end Elaborate_Present
;
1048 function Else_Actions
1049 (N
: Node_Id
) return List_Id
is
1051 pragma Assert
(False
1052 or else NT
(N
).Nkind
= N_If_Expression
);
1056 function Else_Statements
1057 (N
: Node_Id
) return List_Id
is
1059 pragma Assert
(False
1060 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
1061 or else NT
(N
).Nkind
= N_If_Statement
1062 or else NT
(N
).Nkind
= N_Selective_Accept
);
1064 end Else_Statements
;
1066 function Elsif_Parts
1067 (N
: Node_Id
) return List_Id
is
1069 pragma Assert
(False
1070 or else NT
(N
).Nkind
= N_If_Statement
);
1074 function Enclosing_Variant
1075 (N
: Node_Id
) return Node_Id
is
1077 pragma Assert
(False
1078 or else NT
(N
).Nkind
= N_Variant
);
1080 end Enclosing_Variant
;
1083 (N
: Node_Id
) return Node_Id
is
1085 pragma Assert
(False
1086 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
1087 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
1088 or else NT
(N
).Nkind
= N_Loop_Statement
1089 or else NT
(N
).Nkind
= N_Package_Specification
1090 or else NT
(N
).Nkind
= N_Protected_Body
1091 or else NT
(N
).Nkind
= N_Protected_Definition
1092 or else NT
(N
).Nkind
= N_Record_Definition
1093 or else NT
(N
).Nkind
= N_Task_Definition
);
1098 (N
: Node_Id
) return Uint
is
1100 pragma Assert
(False
1101 or else NT
(N
).Nkind
= N_Case_Statement
1102 or else NT
(N
).Nkind
= N_If_Statement
);
1107 (N
: Node_Id
) return Node_Id
is
1109 pragma Assert
(False
1110 or else NT
(N
).Nkind
in N_Has_Entity
1111 or else NT
(N
).Nkind
= N_Aspect_Specification
1112 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1113 or else NT
(N
).Nkind
= N_Freeze_Entity
1114 or else NT
(N
).Nkind
= N_Freeze_Generic_Entity
);
1118 function Entity_Or_Associated_Node
1119 (N
: Node_Id
) return Node_Id
is
1121 pragma Assert
(False
1122 or else NT
(N
).Nkind
in N_Has_Entity
1123 or else NT
(N
).Nkind
= N_Freeze_Entity
);
1125 end Entity_Or_Associated_Node
;
1127 function Entry_Body_Formal_Part
1128 (N
: Node_Id
) return Node_Id
is
1130 pragma Assert
(False
1131 or else NT
(N
).Nkind
= N_Entry_Body
);
1133 end Entry_Body_Formal_Part
;
1135 function Entry_Call_Alternative
1136 (N
: Node_Id
) return Node_Id
is
1138 pragma Assert
(False
1139 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
1140 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
1142 end Entry_Call_Alternative
;
1144 function Entry_Call_Statement
1145 (N
: Node_Id
) return Node_Id
is
1147 pragma Assert
(False
1148 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
);
1150 end Entry_Call_Statement
;
1152 function Entry_Direct_Name
1153 (N
: Node_Id
) return Node_Id
is
1155 pragma Assert
(False
1156 or else NT
(N
).Nkind
= N_Accept_Statement
);
1158 end Entry_Direct_Name
;
1160 function Entry_Index
1161 (N
: Node_Id
) return Node_Id
is
1163 pragma Assert
(False
1164 or else NT
(N
).Nkind
= N_Accept_Statement
);
1168 function Entry_Index_Specification
1169 (N
: Node_Id
) return Node_Id
is
1171 pragma Assert
(False
1172 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
);
1174 end Entry_Index_Specification
;
1177 (N
: Node_Id
) return Node_Id
is
1179 pragma Assert
(False
1180 or else NT
(N
).Nkind
in N_Has_Etype
);
1184 function Exception_Choices
1185 (N
: Node_Id
) return List_Id
is
1187 pragma Assert
(False
1188 or else NT
(N
).Nkind
= N_Exception_Handler
);
1190 end Exception_Choices
;
1192 function Exception_Handlers
1193 (N
: Node_Id
) return List_Id
is
1195 pragma Assert
(False
1196 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
1198 end Exception_Handlers
;
1200 function Exception_Junk
1201 (N
: Node_Id
) return Boolean is
1203 pragma Assert
(False
1204 or else NT
(N
).Nkind
= N_Block_Statement
1205 or else NT
(N
).Nkind
= N_Goto_Statement
1206 or else NT
(N
).Nkind
= N_Label
1207 or else NT
(N
).Nkind
= N_Object_Declaration
1208 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
1212 function Exception_Label
1213 (N
: Node_Id
) return Node_Id
is
1215 pragma Assert
(False
1216 or else NT
(N
).Nkind
= N_Exception_Handler
1217 or else NT
(N
).Nkind
= N_Push_Constraint_Error_Label
1218 or else NT
(N
).Nkind
= N_Push_Program_Error_Label
1219 or else NT
(N
).Nkind
= N_Push_Storage_Error_Label
);
1221 end Exception_Label
;
1223 function Expansion_Delayed
1224 (N
: Node_Id
) return Boolean is
1226 pragma Assert
(False
1227 or else NT
(N
).Nkind
= N_Aggregate
1228 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
1230 end Expansion_Delayed
;
1232 function Explicit_Actual_Parameter
1233 (N
: Node_Id
) return Node_Id
is
1235 pragma Assert
(False
1236 or else NT
(N
).Nkind
= N_Parameter_Association
);
1238 end Explicit_Actual_Parameter
;
1240 function Explicit_Generic_Actual_Parameter
1241 (N
: Node_Id
) return Node_Id
is
1243 pragma Assert
(False
1244 or else NT
(N
).Nkind
= N_Generic_Association
);
1246 end Explicit_Generic_Actual_Parameter
;
1249 (N
: Node_Id
) return Node_Id
is
1251 pragma Assert
(False
1252 or else NT
(N
).Nkind
= N_Allocator
1253 or else NT
(N
).Nkind
= N_Aspect_Specification
1254 or else NT
(N
).Nkind
= N_Assignment_Statement
1255 or else NT
(N
).Nkind
= N_At_Clause
1256 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1257 or else NT
(N
).Nkind
= N_Case_Expression
1258 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
1259 or else NT
(N
).Nkind
= N_Case_Statement
1260 or else NT
(N
).Nkind
= N_Code_Statement
1261 or else NT
(N
).Nkind
= N_Component_Association
1262 or else NT
(N
).Nkind
= N_Component_Declaration
1263 or else NT
(N
).Nkind
= N_Delay_Relative_Statement
1264 or else NT
(N
).Nkind
= N_Delay_Until_Statement
1265 or else NT
(N
).Nkind
= N_Delta_Aggregate
1266 or else NT
(N
).Nkind
= N_Discriminant_Association
1267 or else NT
(N
).Nkind
= N_Discriminant_Specification
1268 or else NT
(N
).Nkind
= N_Exception_Declaration
1269 or else NT
(N
).Nkind
= N_Expression_Function
1270 or else NT
(N
).Nkind
= N_Expression_With_Actions
1271 or else NT
(N
).Nkind
= N_Free_Statement
1272 or else NT
(N
).Nkind
= N_Iterated_Component_Association
1273 or else NT
(N
).Nkind
= N_Mod_Clause
1274 or else NT
(N
).Nkind
= N_Modular_Type_Definition
1275 or else NT
(N
).Nkind
= N_Number_Declaration
1276 or else NT
(N
).Nkind
= N_Object_Declaration
1277 or else NT
(N
).Nkind
= N_Parameter_Specification
1278 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
1279 or else NT
(N
).Nkind
= N_Qualified_Expression
1280 or else NT
(N
).Nkind
= N_Raise_Expression
1281 or else NT
(N
).Nkind
= N_Raise_Statement
1282 or else NT
(N
).Nkind
= N_Simple_Return_Statement
1283 or else NT
(N
).Nkind
= N_Type_Conversion
1284 or else NT
(N
).Nkind
= N_Unchecked_Expression
1285 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
1289 function Expression_Copy
1290 (N
: Node_Id
) return Node_Id
is
1292 pragma Assert
(False
1293 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
);
1295 end Expression_Copy
;
1297 function Expressions
1298 (N
: Node_Id
) return List_Id
is
1300 pragma Assert
(False
1301 or else NT
(N
).Nkind
= N_Aggregate
1302 or else NT
(N
).Nkind
= N_Attribute_Reference
1303 or else NT
(N
).Nkind
= N_Extension_Aggregate
1304 or else NT
(N
).Nkind
= N_If_Expression
1305 or else NT
(N
).Nkind
= N_Indexed_Component
);
1310 (N
: Node_Id
) return Node_Id
is
1312 pragma Assert
(False
1313 or else NT
(N
).Nkind
= N_Component_Clause
);
1317 function First_Inlined_Subprogram
1318 (N
: Node_Id
) return Entity_Id
is
1320 pragma Assert
(False
1321 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1323 end First_Inlined_Subprogram
;
1326 (N
: Node_Id
) return Boolean is
1328 pragma Assert
(False
1329 or else NT
(N
).Nkind
= N_With_Clause
);
1333 function First_Named_Actual
1334 (N
: Node_Id
) return Node_Id
is
1336 pragma Assert
(False
1337 or else NT
(N
).Nkind
= N_Entry_Call_Statement
1338 or else NT
(N
).Nkind
= N_Function_Call
1339 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
1341 end First_Named_Actual
;
1343 function First_Real_Statement
1344 (N
: Node_Id
) return Node_Id
is
1346 pragma Assert
(False
1347 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
1349 end First_Real_Statement
;
1351 function First_Subtype_Link
1352 (N
: Node_Id
) return Entity_Id
is
1354 pragma Assert
(False
1355 or else NT
(N
).Nkind
= N_Freeze_Entity
);
1357 end First_Subtype_Link
;
1359 function Float_Truncate
1360 (N
: Node_Id
) return Boolean is
1362 pragma Assert
(False
1363 or else NT
(N
).Nkind
= N_Type_Conversion
);
1367 function Formal_Type_Definition
1368 (N
: Node_Id
) return Node_Id
is
1370 pragma Assert
(False
1371 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
);
1373 end Formal_Type_Definition
;
1375 function Forwards_OK
1376 (N
: Node_Id
) return Boolean is
1378 pragma Assert
(False
1379 or else NT
(N
).Nkind
= N_Assignment_Statement
);
1383 function From_Aspect_Specification
1384 (N
: Node_Id
) return Boolean is
1386 pragma Assert
(False
1387 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1388 or else NT
(N
).Nkind
= N_Pragma
);
1390 end From_Aspect_Specification
;
1392 function From_At_End
1393 (N
: Node_Id
) return Boolean is
1395 pragma Assert
(False
1396 or else NT
(N
).Nkind
= N_Raise_Statement
);
1400 function From_At_Mod
1401 (N
: Node_Id
) return Boolean is
1403 pragma Assert
(False
1404 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
1408 function From_Conditional_Expression
1409 (N
: Node_Id
) return Boolean is
1411 pragma Assert
(False
1412 or else NT
(N
).Nkind
= N_Case_Statement
1413 or else NT
(N
).Nkind
= N_If_Statement
);
1415 end From_Conditional_Expression
;
1417 function From_Default
1418 (N
: Node_Id
) return Boolean is
1420 pragma Assert
(False
1421 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
1425 function Generalized_Indexing
1426 (N
: Node_Id
) return Node_Id
is
1428 pragma Assert
(False
1429 or else NT
(N
).Nkind
= N_Indexed_Component
);
1431 end Generalized_Indexing
;
1433 function Generic_Associations
1434 (N
: Node_Id
) return List_Id
is
1436 pragma Assert
(False
1437 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
1438 or else NT
(N
).Nkind
= N_Function_Instantiation
1439 or else NT
(N
).Nkind
= N_Package_Instantiation
1440 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
1442 end Generic_Associations
;
1444 function Generic_Formal_Declarations
1445 (N
: Node_Id
) return List_Id
is
1447 pragma Assert
(False
1448 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
1449 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
);
1451 end Generic_Formal_Declarations
;
1453 function Generic_Parent
1454 (N
: Node_Id
) return Node_Id
is
1456 pragma Assert
(False
1457 or else NT
(N
).Nkind
= N_Function_Specification
1458 or else NT
(N
).Nkind
= N_Package_Specification
1459 or else NT
(N
).Nkind
= N_Procedure_Specification
);
1463 function Generic_Parent_Type
1464 (N
: Node_Id
) return Node_Id
is
1466 pragma Assert
(False
1467 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
1469 end Generic_Parent_Type
;
1471 function Handled_Statement_Sequence
1472 (N
: Node_Id
) return Node_Id
is
1474 pragma Assert
(False
1475 or else NT
(N
).Nkind
= N_Accept_Statement
1476 or else NT
(N
).Nkind
= N_Block_Statement
1477 or else NT
(N
).Nkind
= N_Entry_Body
1478 or else NT
(N
).Nkind
= N_Extended_Return_Statement
1479 or else NT
(N
).Nkind
= N_Package_Body
1480 or else NT
(N
).Nkind
= N_Subprogram_Body
1481 or else NT
(N
).Nkind
= N_Task_Body
);
1483 end Handled_Statement_Sequence
;
1485 function Handler_List_Entry
1486 (N
: Node_Id
) return Node_Id
is
1488 pragma Assert
(False
1489 or else NT
(N
).Nkind
= N_Object_Declaration
);
1491 end Handler_List_Entry
;
1493 function Has_Created_Identifier
1494 (N
: Node_Id
) return Boolean is
1496 pragma Assert
(False
1497 or else NT
(N
).Nkind
= N_Block_Statement
1498 or else NT
(N
).Nkind
= N_Loop_Statement
);
1500 end Has_Created_Identifier
;
1502 function Has_Dereference_Action
1503 (N
: Node_Id
) return Boolean is
1505 pragma Assert
(False
1506 or else NT
(N
).Nkind
= N_Explicit_Dereference
);
1508 end Has_Dereference_Action
;
1510 function Has_Dynamic_Length_Check
1511 (N
: Node_Id
) return Boolean is
1513 pragma Assert
(False
1514 or else NT
(N
).Nkind
in N_Subexpr
);
1516 end Has_Dynamic_Length_Check
;
1518 function Has_Dynamic_Range_Check
1519 (N
: Node_Id
) return Boolean is
1521 pragma Assert
(False
1522 or else NT
(N
).Nkind
= N_Subtype_Declaration
1523 or else NT
(N
).Nkind
in N_Subexpr
);
1525 end Has_Dynamic_Range_Check
;
1527 function Has_Init_Expression
1528 (N
: Node_Id
) return Boolean is
1530 pragma Assert
(False
1531 or else NT
(N
).Nkind
= N_Object_Declaration
);
1533 end Has_Init_Expression
;
1535 function Has_Local_Raise
1536 (N
: Node_Id
) return Boolean is
1538 pragma Assert
(False
1539 or else NT
(N
).Nkind
= N_Exception_Handler
);
1541 end Has_Local_Raise
;
1543 function Has_No_Elaboration_Code
1544 (N
: Node_Id
) return Boolean is
1546 pragma Assert
(False
1547 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1549 end Has_No_Elaboration_Code
;
1551 function Has_Pragma_Suppress_All
1552 (N
: Node_Id
) return Boolean is
1554 pragma Assert
(False
1555 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1557 end Has_Pragma_Suppress_All
;
1559 function Has_Private_View
1560 (N
: Node_Id
) return Boolean is
1562 pragma Assert
(False
1563 or else NT
(N
).Nkind
in N_Op
1564 or else NT
(N
).Nkind
= N_Character_Literal
1565 or else NT
(N
).Nkind
= N_Expanded_Name
1566 or else NT
(N
).Nkind
= N_Identifier
1567 or else NT
(N
).Nkind
= N_Operator_Symbol
);
1569 end Has_Private_View
;
1571 function Has_Relative_Deadline_Pragma
1572 (N
: Node_Id
) return Boolean is
1574 pragma Assert
(False
1575 or else NT
(N
).Nkind
= N_Subprogram_Body
1576 or else NT
(N
).Nkind
= N_Task_Definition
);
1578 end Has_Relative_Deadline_Pragma
;
1580 function Has_Self_Reference
1581 (N
: Node_Id
) return Boolean is
1583 pragma Assert
(False
1584 or else NT
(N
).Nkind
= N_Aggregate
1585 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
1587 end Has_Self_Reference
;
1589 function Has_SP_Choice
1590 (N
: Node_Id
) return Boolean is
1592 pragma Assert
(False
1593 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
1594 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
1595 or else NT
(N
).Nkind
= N_Variant
);
1599 function Has_Storage_Size_Pragma
1600 (N
: Node_Id
) return Boolean is
1602 pragma Assert
(False
1603 or else NT
(N
).Nkind
= N_Task_Definition
);
1605 end Has_Storage_Size_Pragma
;
1607 function Has_Target_Names
1608 (N
: Node_Id
) return Boolean is
1610 pragma Assert
(False
1611 or else NT
(N
).Nkind
= N_Assignment_Statement
);
1613 end Has_Target_Names
;
1615 function Has_Wide_Character
1616 (N
: Node_Id
) return Boolean is
1618 pragma Assert
(False
1619 or else NT
(N
).Nkind
= N_String_Literal
);
1621 end Has_Wide_Character
;
1623 function Has_Wide_Wide_Character
1624 (N
: Node_Id
) return Boolean is
1626 pragma Assert
(False
1627 or else NT
(N
).Nkind
= N_String_Literal
);
1629 end Has_Wide_Wide_Character
;
1631 function Header_Size_Added
1632 (N
: Node_Id
) return Boolean is
1634 pragma Assert
(False
1635 or else NT
(N
).Nkind
= N_Attribute_Reference
);
1637 end Header_Size_Added
;
1639 function Hidden_By_Use_Clause
1640 (N
: Node_Id
) return Elist_Id
is
1642 pragma Assert
(False
1643 or else NT
(N
).Nkind
= N_Use_Package_Clause
1644 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
1646 end Hidden_By_Use_Clause
;
1649 (N
: Node_Id
) return Node_Id
is
1651 pragma Assert
(False
1652 or else NT
(N
).Nkind
= N_Range
1653 or else NT
(N
).Nkind
= N_Real_Range_Specification
1654 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
1659 (N
: Node_Id
) return Node_Id
is
1661 pragma Assert
(False
1662 or else NT
(N
).Nkind
= N_Aspect_Specification
1663 or else NT
(N
).Nkind
= N_At_Clause
1664 or else NT
(N
).Nkind
= N_Block_Statement
1665 or else NT
(N
).Nkind
= N_Designator
1666 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
1667 or else NT
(N
).Nkind
= N_Label
1668 or else NT
(N
).Nkind
= N_Loop_Statement
1669 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
1673 function Implicit_With
1674 (N
: Node_Id
) return Boolean is
1676 pragma Assert
(False
1677 or else NT
(N
).Nkind
= N_With_Clause
);
1681 function Interface_List
1682 (N
: Node_Id
) return List_Id
is
1684 pragma Assert
(False
1685 or else NT
(N
).Nkind
= N_Derived_Type_Definition
1686 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
1687 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
1688 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
1689 or else NT
(N
).Nkind
= N_Record_Definition
1690 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
1691 or else NT
(N
).Nkind
= N_Single_Task_Declaration
1692 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
1696 function Interface_Present
1697 (N
: Node_Id
) return Boolean is
1699 pragma Assert
(False
1700 or else NT
(N
).Nkind
= N_Derived_Type_Definition
1701 or else NT
(N
).Nkind
= N_Record_Definition
);
1703 end Interface_Present
;
1705 function Import_Interface_Present
1706 (N
: Node_Id
) return Boolean is
1708 pragma Assert
(False
1709 or else NT
(N
).Nkind
= N_Pragma
);
1711 end Import_Interface_Present
;
1714 (N
: Node_Id
) return Boolean is
1716 pragma Assert
(False
1717 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
1718 or else NT
(N
).Nkind
= N_Parameter_Specification
);
1722 function Includes_Infinities
1723 (N
: Node_Id
) return Boolean is
1725 pragma Assert
(False
1726 or else NT
(N
).Nkind
= N_Range
);
1728 end Includes_Infinities
;
1730 function Incomplete_View
1731 (N
: Node_Id
) return Node_Id
is
1733 pragma Assert
(False
1734 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
1736 end Incomplete_View
;
1738 function Inherited_Discriminant
1739 (N
: Node_Id
) return Boolean is
1741 pragma Assert
(False
1742 or else NT
(N
).Nkind
= N_Component_Association
);
1744 end Inherited_Discriminant
;
1746 function Instance_Spec
1747 (N
: Node_Id
) return Node_Id
is
1749 pragma Assert
(False
1750 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
1751 or else NT
(N
).Nkind
= N_Function_Instantiation
1752 or else NT
(N
).Nkind
= N_Package_Instantiation
1753 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
1758 (N
: Node_Id
) return Uint
is
1760 pragma Assert
(False
1761 or else NT
(N
).Nkind
= N_Integer_Literal
);
1765 function Is_Abort_Block
1766 (N
: Node_Id
) return Boolean is
1768 pragma Assert
(False
1769 or else NT
(N
).Nkind
= N_Block_Statement
);
1773 function Is_Accessibility_Actual
1774 (N
: Node_Id
) return Boolean is
1776 pragma Assert
(False
1777 or else NT
(N
).Nkind
= N_Parameter_Association
);
1779 end Is_Accessibility_Actual
;
1781 function Is_Analyzed_Pragma
1782 (N
: Node_Id
) return Boolean is
1784 pragma Assert
(False
1785 or else NT
(N
).Nkind
= N_Pragma
);
1787 end Is_Analyzed_Pragma
;
1789 function Is_Asynchronous_Call_Block
1790 (N
: Node_Id
) return Boolean is
1792 pragma Assert
(False
1793 or else NT
(N
).Nkind
= N_Block_Statement
);
1795 end Is_Asynchronous_Call_Block
;
1797 function Is_Boolean_Aspect
1798 (N
: Node_Id
) return Boolean is
1800 pragma Assert
(False
1801 or else NT
(N
).Nkind
= N_Aspect_Specification
);
1803 end Is_Boolean_Aspect
;
1806 (N
: Node_Id
) return Boolean is
1808 pragma Assert
(False
1809 or else NT
(N
).Nkind
= N_Aspect_Specification
1810 or else NT
(N
).Nkind
= N_Pragma
);
1814 function Is_Checked_Ghost_Pragma
1815 (N
: Node_Id
) return Boolean is
1817 pragma Assert
(False
1818 or else NT
(N
).Nkind
= N_Pragma
);
1820 end Is_Checked_Ghost_Pragma
;
1822 function Is_Component_Left_Opnd
1823 (N
: Node_Id
) return Boolean is
1825 pragma Assert
(False
1826 or else NT
(N
).Nkind
= N_Op_Concat
);
1828 end Is_Component_Left_Opnd
;
1830 function Is_Component_Right_Opnd
1831 (N
: Node_Id
) return Boolean is
1833 pragma Assert
(False
1834 or else NT
(N
).Nkind
= N_Op_Concat
);
1836 end Is_Component_Right_Opnd
;
1838 function Is_Controlling_Actual
1839 (N
: Node_Id
) return Boolean is
1841 pragma Assert
(False
1842 or else NT
(N
).Nkind
in N_Subexpr
);
1844 end Is_Controlling_Actual
;
1846 function Is_Declaration_Level_Node
1847 (N
: Node_Id
) return Boolean is
1849 pragma Assert
(False
1850 or else NT
(N
).Nkind
= N_Call_Marker
1851 or else NT
(N
).Nkind
= N_Function_Instantiation
1852 or else NT
(N
).Nkind
= N_Package_Instantiation
1853 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
1855 end Is_Declaration_Level_Node
;
1857 function Is_Delayed_Aspect
1858 (N
: Node_Id
) return Boolean is
1860 pragma Assert
(False
1861 or else NT
(N
).Nkind
= N_Aspect_Specification
1862 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1863 or else NT
(N
).Nkind
= N_Pragma
);
1865 end Is_Delayed_Aspect
;
1867 function Is_Disabled
1868 (N
: Node_Id
) return Boolean is
1870 pragma Assert
(False
1871 or else NT
(N
).Nkind
= N_Aspect_Specification
1872 or else NT
(N
).Nkind
= N_Pragma
);
1876 function Is_Dispatching_Call
1877 (N
: Node_Id
) return Boolean is
1879 pragma Assert
(False
1880 or else NT
(N
).Nkind
= N_Call_Marker
);
1882 end Is_Dispatching_Call
;
1884 function Is_Dynamic_Coextension
1885 (N
: Node_Id
) return Boolean is
1887 pragma Assert
(False
1888 or else NT
(N
).Nkind
= N_Allocator
);
1890 end Is_Dynamic_Coextension
;
1892 function Is_Effective_Use_Clause
1893 (N
: Node_Id
) return Boolean is
1895 pragma Assert
(False
1896 or else NT
(N
).Nkind
= N_Use_Package_Clause
1897 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
1899 end Is_Effective_Use_Clause
;
1901 function Is_Elaboration_Checks_OK_Node
1902 (N
: Node_Id
) return Boolean is
1904 pragma Assert
(False
1905 or else NT
(N
).Nkind
= N_Assignment_Statement
1906 or else NT
(N
).Nkind
= N_Attribute_Reference
1907 or else NT
(N
).Nkind
= N_Call_Marker
1908 or else NT
(N
).Nkind
= N_Entry_Call_Statement
1909 or else NT
(N
).Nkind
= N_Expanded_Name
1910 or else NT
(N
).Nkind
= N_Function_Call
1911 or else NT
(N
).Nkind
= N_Function_Instantiation
1912 or else NT
(N
).Nkind
= N_Identifier
1913 or else NT
(N
).Nkind
= N_Package_Instantiation
1914 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
1915 or else NT
(N
).Nkind
= N_Procedure_Instantiation
1916 or else NT
(N
).Nkind
= N_Requeue_Statement
);
1918 end Is_Elaboration_Checks_OK_Node
;
1920 function Is_Elaboration_Code
1921 (N
: Node_Id
) return Boolean is
1923 pragma Assert
(False
1924 or else NT
(N
).Nkind
= N_Assignment_Statement
);
1926 end Is_Elaboration_Code
;
1928 function Is_Elaboration_Warnings_OK_Node
1929 (N
: Node_Id
) return Boolean is
1931 pragma Assert
(False
1932 or else NT
(N
).Nkind
= N_Attribute_Reference
1933 or else NT
(N
).Nkind
= N_Call_Marker
1934 or else NT
(N
).Nkind
= N_Entry_Call_Statement
1935 or else NT
(N
).Nkind
= N_Function_Call
1936 or else NT
(N
).Nkind
= N_Function_Instantiation
1937 or else NT
(N
).Nkind
= N_Package_Instantiation
1938 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
1939 or else NT
(N
).Nkind
= N_Procedure_Instantiation
1940 or else NT
(N
).Nkind
= N_Requeue_Statement
);
1942 end Is_Elaboration_Warnings_OK_Node
;
1945 (N
: Node_Id
) return Boolean is
1947 pragma Assert
(False
1948 or else NT
(N
).Nkind
= N_If_Expression
);
1952 function Is_Entry_Barrier_Function
1953 (N
: Node_Id
) return Boolean is
1955 pragma Assert
(False
1956 or else NT
(N
).Nkind
= N_Subprogram_Body
1957 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
1959 end Is_Entry_Barrier_Function
;
1961 function Is_Expanded_Build_In_Place_Call
1962 (N
: Node_Id
) return Boolean is
1964 pragma Assert
(False
1965 or else NT
(N
).Nkind
= N_Function_Call
);
1967 end Is_Expanded_Build_In_Place_Call
;
1969 function Is_Expanded_Contract
1970 (N
: Node_Id
) return Boolean is
1972 pragma Assert
(False
1973 or else NT
(N
).Nkind
= N_Contract
);
1975 end Is_Expanded_Contract
;
1977 function Is_Finalization_Wrapper
1978 (N
: Node_Id
) return Boolean is
1980 pragma Assert
(False
1981 or else NT
(N
).Nkind
= N_Block_Statement
);
1983 end Is_Finalization_Wrapper
;
1985 function Is_Folded_In_Parser
1986 (N
: Node_Id
) return Boolean is
1988 pragma Assert
(False
1989 or else NT
(N
).Nkind
= N_String_Literal
);
1991 end Is_Folded_In_Parser
;
1993 function Is_Generic_Contract_Pragma
1994 (N
: Node_Id
) return Boolean is
1996 pragma Assert
(False
1997 or else NT
(N
).Nkind
= N_Pragma
);
1999 end Is_Generic_Contract_Pragma
;
2002 (N
: Node_Id
) return Boolean is
2004 pragma Assert
(False
2005 or else NT
(N
).Nkind
= N_Aspect_Specification
2006 or else NT
(N
).Nkind
= N_Pragma
);
2010 function Is_Ignored_Ghost_Pragma
2011 (N
: Node_Id
) return Boolean is
2013 pragma Assert
(False
2014 or else NT
(N
).Nkind
= N_Pragma
);
2016 end Is_Ignored_Ghost_Pragma
;
2018 function Is_In_Discriminant_Check
2019 (N
: Node_Id
) return Boolean is
2021 pragma Assert
(False
2022 or else NT
(N
).Nkind
= N_Selected_Component
);
2024 end Is_In_Discriminant_Check
;
2026 function Is_Inherited_Pragma
2027 (N
: Node_Id
) return Boolean is
2029 pragma Assert
(False
2030 or else NT
(N
).Nkind
= N_Pragma
);
2032 end Is_Inherited_Pragma
;
2034 function Is_Initialization_Block
2035 (N
: Node_Id
) return Boolean is
2037 pragma Assert
(False
2038 or else NT
(N
).Nkind
= N_Block_Statement
);
2040 end Is_Initialization_Block
;
2042 function Is_Known_Guaranteed_ABE
2043 (N
: Node_Id
) return Boolean is
2045 pragma Assert
(False
2046 or else NT
(N
).Nkind
= N_Call_Marker
2047 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
2048 or else NT
(N
).Nkind
= N_Function_Call
2049 or else NT
(N
).Nkind
= N_Function_Instantiation
2050 or else NT
(N
).Nkind
= N_Package_Instantiation
2051 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
2052 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
2054 end Is_Known_Guaranteed_ABE
;
2056 function Is_Machine_Number
2057 (N
: Node_Id
) return Boolean is
2059 pragma Assert
(False
2060 or else NT
(N
).Nkind
= N_Real_Literal
);
2062 end Is_Machine_Number
;
2064 function Is_Null_Loop
2065 (N
: Node_Id
) return Boolean is
2067 pragma Assert
(False
2068 or else NT
(N
).Nkind
= N_Loop_Statement
);
2072 function Is_Overloaded
2073 (N
: Node_Id
) return Boolean is
2075 pragma Assert
(False
2076 or else NT
(N
).Nkind
in N_Subexpr
);
2080 function Is_Power_Of_2_For_Shift
2081 (N
: Node_Id
) return Boolean is
2083 pragma Assert
(False
2084 or else NT
(N
).Nkind
= N_Op_Expon
);
2086 end Is_Power_Of_2_For_Shift
;
2088 function Is_Prefixed_Call
2089 (N
: Node_Id
) return Boolean is
2091 pragma Assert
(False
2092 or else NT
(N
).Nkind
= N_Selected_Component
);
2094 end Is_Prefixed_Call
;
2096 function Is_Protected_Subprogram_Body
2097 (N
: Node_Id
) return Boolean is
2099 pragma Assert
(False
2100 or else NT
(N
).Nkind
= N_Subprogram_Body
);
2102 end Is_Protected_Subprogram_Body
;
2104 function Is_Qualified_Universal_Literal
2105 (N
: Node_Id
) return Boolean is
2107 pragma Assert
(False
2108 or else NT
(N
).Nkind
= N_Qualified_Expression
);
2110 end Is_Qualified_Universal_Literal
;
2113 (N
: Node_Id
) return Boolean is
2115 pragma Assert
(False
2116 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
2120 function Is_Source_Call
2121 (N
: Node_Id
) return Boolean is
2123 pragma Assert
(False
2124 or else NT
(N
).Nkind
= N_Call_Marker
);
2128 function Is_SPARK_Mode_On_Node
2129 (N
: Node_Id
) return Boolean is
2131 pragma Assert
(False
2132 or else NT
(N
).Nkind
= N_Assignment_Statement
2133 or else NT
(N
).Nkind
= N_Attribute_Reference
2134 or else NT
(N
).Nkind
= N_Call_Marker
2135 or else NT
(N
).Nkind
= N_Entry_Call_Statement
2136 or else NT
(N
).Nkind
= N_Expanded_Name
2137 or else NT
(N
).Nkind
= N_Function_Call
2138 or else NT
(N
).Nkind
= N_Function_Instantiation
2139 or else NT
(N
).Nkind
= N_Identifier
2140 or else NT
(N
).Nkind
= N_Package_Instantiation
2141 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
2142 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2143 or else NT
(N
).Nkind
= N_Requeue_Statement
);
2145 end Is_SPARK_Mode_On_Node
;
2147 function Is_Static_Coextension
2148 (N
: Node_Id
) return Boolean is
2150 pragma Assert
(False
2151 or else NT
(N
).Nkind
= N_Allocator
);
2153 end Is_Static_Coextension
;
2155 function Is_Static_Expression
2156 (N
: Node_Id
) return Boolean is
2158 pragma Assert
(False
2159 or else NT
(N
).Nkind
in N_Subexpr
);
2161 end Is_Static_Expression
;
2163 function Is_Subprogram_Descriptor
2164 (N
: Node_Id
) return Boolean is
2166 pragma Assert
(False
2167 or else NT
(N
).Nkind
= N_Object_Declaration
);
2169 end Is_Subprogram_Descriptor
;
2171 function Is_Task_Allocation_Block
2172 (N
: Node_Id
) return Boolean is
2174 pragma Assert
(False
2175 or else NT
(N
).Nkind
= N_Block_Statement
);
2177 end Is_Task_Allocation_Block
;
2179 function Is_Task_Body_Procedure
2180 (N
: Node_Id
) return Boolean is
2182 pragma Assert
(False
2183 or else NT
(N
).Nkind
= N_Subprogram_Body
2184 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
2186 end Is_Task_Body_Procedure
;
2188 function Is_Task_Master
2189 (N
: Node_Id
) return Boolean is
2191 pragma Assert
(False
2192 or else NT
(N
).Nkind
= N_Block_Statement
2193 or else NT
(N
).Nkind
= N_Subprogram_Body
2194 or else NT
(N
).Nkind
= N_Task_Body
);
2199 (N
: Node_Id
) return Boolean is
2201 pragma Assert
(False
2202 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
2206 function Iteration_Scheme
2207 (N
: Node_Id
) return Node_Id
is
2209 pragma Assert
(False
2210 or else NT
(N
).Nkind
= N_Loop_Statement
);
2212 end Iteration_Scheme
;
2214 function Iterator_Specification
2215 (N
: Node_Id
) return Node_Id
is
2217 pragma Assert
(False
2218 or else NT
(N
).Nkind
= N_Iteration_Scheme
2219 or else NT
(N
).Nkind
= N_Quantified_Expression
);
2221 end Iterator_Specification
;
2224 (N
: Node_Id
) return Node_Id
is
2226 pragma Assert
(False
2227 or else NT
(N
).Nkind
= N_Itype_Reference
);
2231 function Kill_Range_Check
2232 (N
: Node_Id
) return Boolean is
2234 pragma Assert
(False
2235 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
2237 end Kill_Range_Check
;
2239 function Label_Construct
2240 (N
: Node_Id
) return Node_Id
is
2242 pragma Assert
(False
2243 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
);
2245 end Label_Construct
;
2248 (N
: Node_Id
) return Node_Id
is
2250 pragma Assert
(False
2251 or else NT
(N
).Nkind
= N_Component_Clause
);
2256 (N
: Node_Id
) return Boolean is
2258 pragma Assert
(False
2259 or else NT
(N
).Nkind
= N_With_Clause
);
2264 (N
: Node_Id
) return Node_Id
is
2266 pragma Assert
(False
2267 or else NT
(N
).Nkind
= N_And_Then
2268 or else NT
(N
).Nkind
= N_In
2269 or else NT
(N
).Nkind
= N_Not_In
2270 or else NT
(N
).Nkind
= N_Or_Else
2271 or else NT
(N
).Nkind
in N_Binary_Op
);
2275 function Library_Unit
2276 (N
: Node_Id
) return Node_Id
is
2278 pragma Assert
(False
2279 or else NT
(N
).Nkind
= N_Compilation_Unit
2280 or else NT
(N
).Nkind
= N_Package_Body_Stub
2281 or else NT
(N
).Nkind
= N_Protected_Body_Stub
2282 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
2283 or else NT
(N
).Nkind
= N_Task_Body_Stub
2284 or else NT
(N
).Nkind
= N_With_Clause
);
2288 function Limited_View_Installed
2289 (N
: Node_Id
) return Boolean is
2291 pragma Assert
(False
2292 or else NT
(N
).Nkind
= N_Package_Specification
2293 or else NT
(N
).Nkind
= N_With_Clause
);
2295 end Limited_View_Installed
;
2297 function Limited_Present
2298 (N
: Node_Id
) return Boolean is
2300 pragma Assert
(False
2301 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2302 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
2303 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
2304 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
2305 or else NT
(N
).Nkind
= N_Private_Type_Declaration
2306 or else NT
(N
).Nkind
= N_Record_Definition
2307 or else NT
(N
).Nkind
= N_With_Clause
);
2309 end Limited_Present
;
2312 (N
: Node_Id
) return List_Id
is
2314 pragma Assert
(False
2315 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
);
2319 function Local_Raise_Not_OK
2320 (N
: Node_Id
) return Boolean is
2322 pragma Assert
(False
2323 or else NT
(N
).Nkind
= N_Exception_Handler
);
2325 end Local_Raise_Not_OK
;
2327 function Local_Raise_Statements
2328 (N
: Node_Id
) return Elist_Id
is
2330 pragma Assert
(False
2331 or else NT
(N
).Nkind
= N_Exception_Handler
);
2333 end Local_Raise_Statements
;
2335 function Loop_Actions
2336 (N
: Node_Id
) return List_Id
is
2338 pragma Assert
(False
2339 or else NT
(N
).Nkind
= N_Component_Association
2340 or else NT
(N
).Nkind
= N_Iterated_Component_Association
);
2344 function Loop_Parameter_Specification
2345 (N
: Node_Id
) return Node_Id
is
2347 pragma Assert
(False
2348 or else NT
(N
).Nkind
= N_Iteration_Scheme
2349 or else NT
(N
).Nkind
= N_Quantified_Expression
);
2351 end Loop_Parameter_Specification
;
2354 (N
: Node_Id
) return Node_Id
is
2356 pragma Assert
(False
2357 or else NT
(N
).Nkind
= N_Range
2358 or else NT
(N
).Nkind
= N_Real_Range_Specification
2359 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
2364 (N
: Node_Id
) return Node_Id
is
2366 pragma Assert
(False
2367 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
2372 (N
: Node_Id
) return Boolean is
2374 pragma Assert
(False
2375 or else NT
(N
).Nkind
= N_Component_Declaration
2376 or else NT
(N
).Nkind
= N_Discriminant_Specification
2377 or else NT
(N
).Nkind
= N_Exception_Declaration
2378 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2379 or else NT
(N
).Nkind
= N_Number_Declaration
2380 or else NT
(N
).Nkind
= N_Object_Declaration
2381 or else NT
(N
).Nkind
= N_Parameter_Specification
2382 or else NT
(N
).Nkind
= N_Use_Package_Clause
2383 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
2387 function Must_Be_Byte_Aligned
2388 (N
: Node_Id
) return Boolean is
2390 pragma Assert
(False
2391 or else NT
(N
).Nkind
= N_Attribute_Reference
);
2393 end Must_Be_Byte_Aligned
;
2395 function Must_Not_Freeze
2396 (N
: Node_Id
) return Boolean is
2398 pragma Assert
(False
2399 or else NT
(N
).Nkind
= N_Subtype_Indication
2400 or else NT
(N
).Nkind
in N_Subexpr
);
2402 end Must_Not_Freeze
;
2404 function Must_Not_Override
2405 (N
: Node_Id
) return Boolean is
2407 pragma Assert
(False
2408 or else NT
(N
).Nkind
= N_Entry_Declaration
2409 or else NT
(N
).Nkind
= N_Function_Instantiation
2410 or else NT
(N
).Nkind
= N_Function_Specification
2411 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2412 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2414 end Must_Not_Override
;
2416 function Must_Override
2417 (N
: Node_Id
) return Boolean is
2419 pragma Assert
(False
2420 or else NT
(N
).Nkind
= N_Entry_Declaration
2421 or else NT
(N
).Nkind
= N_Function_Instantiation
2422 or else NT
(N
).Nkind
= N_Function_Specification
2423 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2424 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2429 (N
: Node_Id
) return Node_Id
is
2431 pragma Assert
(False
2432 or else NT
(N
).Nkind
= N_Assignment_Statement
2433 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
2434 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
2435 or else NT
(N
).Nkind
= N_Designator
2436 or else NT
(N
).Nkind
= N_Entry_Call_Statement
2437 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
2438 or else NT
(N
).Nkind
= N_Exit_Statement
2439 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
2440 or else NT
(N
).Nkind
= N_Function_Call
2441 or else NT
(N
).Nkind
= N_Function_Instantiation
2442 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
2443 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
2444 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
2445 or else NT
(N
).Nkind
= N_Goto_Statement
2446 or else NT
(N
).Nkind
= N_Iterator_Specification
2447 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
2448 or else NT
(N
).Nkind
= N_Package_Instantiation
2449 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
2450 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
2451 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2452 or else NT
(N
).Nkind
= N_Raise_Expression
2453 or else NT
(N
).Nkind
= N_Raise_Statement
2454 or else NT
(N
).Nkind
= N_Requeue_Statement
2455 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
2456 or else NT
(N
).Nkind
= N_Subunit
2457 or else NT
(N
).Nkind
= N_Use_Package_Clause
2458 or else NT
(N
).Nkind
= N_Variant_Part
2459 or else NT
(N
).Nkind
= N_With_Clause
);
2464 (N
: Node_Id
) return List_Id
is
2466 pragma Assert
(False
2467 or else NT
(N
).Nkind
= N_Abort_Statement
);
2471 function Next_Entity
2472 (N
: Node_Id
) return Node_Id
is
2474 pragma Assert
(False
2475 or else NT
(N
).Nkind
= N_Defining_Character_Literal
2476 or else NT
(N
).Nkind
= N_Defining_Identifier
2477 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
2481 function Next_Exit_Statement
2482 (N
: Node_Id
) return Node_Id
is
2484 pragma Assert
(False
2485 or else NT
(N
).Nkind
= N_Exit_Statement
);
2487 end Next_Exit_Statement
;
2489 function Next_Implicit_With
2490 (N
: Node_Id
) return Node_Id
is
2492 pragma Assert
(False
2493 or else NT
(N
).Nkind
= N_With_Clause
);
2495 end Next_Implicit_With
;
2497 function Next_Named_Actual
2498 (N
: Node_Id
) return Node_Id
is
2500 pragma Assert
(False
2501 or else NT
(N
).Nkind
= N_Parameter_Association
);
2503 end Next_Named_Actual
;
2505 function Next_Pragma
2506 (N
: Node_Id
) return Node_Id
is
2508 pragma Assert
(False
2509 or else NT
(N
).Nkind
= N_Pragma
);
2513 function Next_Rep_Item
2514 (N
: Node_Id
) return Node_Id
is
2516 pragma Assert
(False
2517 or else NT
(N
).Nkind
= N_Aspect_Specification
2518 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
2519 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
2520 or else NT
(N
).Nkind
= N_Pragma
2521 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
2525 function Next_Use_Clause
2526 (N
: Node_Id
) return Node_Id
is
2528 pragma Assert
(False
2529 or else NT
(N
).Nkind
= N_Use_Package_Clause
2530 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
2532 end Next_Use_Clause
;
2534 function No_Ctrl_Actions
2535 (N
: Node_Id
) return Boolean is
2537 pragma Assert
(False
2538 or else NT
(N
).Nkind
= N_Assignment_Statement
);
2540 end No_Ctrl_Actions
;
2542 function No_Elaboration_Check
2543 (N
: Node_Id
) return Boolean is
2545 pragma Assert
(False
2546 or else NT
(N
).Nkind
= N_Function_Call
2547 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
2549 end No_Elaboration_Check
;
2551 function No_Entities_Ref_In_Spec
2552 (N
: Node_Id
) return Boolean is
2554 pragma Assert
(False
2555 or else NT
(N
).Nkind
= N_With_Clause
);
2557 end No_Entities_Ref_In_Spec
;
2559 function No_Initialization
2560 (N
: Node_Id
) return Boolean is
2562 pragma Assert
(False
2563 or else NT
(N
).Nkind
= N_Allocator
2564 or else NT
(N
).Nkind
= N_Object_Declaration
);
2566 end No_Initialization
;
2568 function No_Minimize_Eliminate
2569 (N
: Node_Id
) return Boolean is
2571 pragma Assert
(False
2572 or else NT
(N
).Nkind
= N_In
2573 or else NT
(N
).Nkind
= N_Not_In
);
2575 end No_Minimize_Eliminate
;
2577 function No_Side_Effect_Removal
2578 (N
: Node_Id
) return Boolean is
2580 pragma Assert
(False
2581 or else NT
(N
).Nkind
= N_Function_Call
);
2583 end No_Side_Effect_Removal
;
2585 function No_Truncation
2586 (N
: Node_Id
) return Boolean is
2588 pragma Assert
(False
2589 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
2593 function Null_Excluding_Subtype
2594 (N
: Node_Id
) return Boolean is
2596 pragma Assert
(False
2597 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
);
2599 end Null_Excluding_Subtype
;
2601 function Null_Exclusion_Present
2602 (N
: Node_Id
) return Boolean is
2604 pragma Assert
(False
2605 or else NT
(N
).Nkind
= N_Access_Definition
2606 or else NT
(N
).Nkind
= N_Access_Function_Definition
2607 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2608 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
2609 or else NT
(N
).Nkind
= N_Allocator
2610 or else NT
(N
).Nkind
= N_Component_Definition
2611 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2612 or else NT
(N
).Nkind
= N_Discriminant_Specification
2613 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2614 or else NT
(N
).Nkind
= N_Function_Specification
2615 or else NT
(N
).Nkind
= N_Object_Declaration
2616 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
2617 or else NT
(N
).Nkind
= N_Parameter_Specification
2618 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
2620 end Null_Exclusion_Present
;
2622 function Null_Exclusion_In_Return_Present
2623 (N
: Node_Id
) return Boolean is
2625 pragma Assert
(False
2626 or else NT
(N
).Nkind
= N_Access_Function_Definition
);
2628 end Null_Exclusion_In_Return_Present
;
2630 function Null_Present
2631 (N
: Node_Id
) return Boolean is
2633 pragma Assert
(False
2634 or else NT
(N
).Nkind
= N_Component_List
2635 or else NT
(N
).Nkind
= N_Procedure_Specification
2636 or else NT
(N
).Nkind
= N_Record_Definition
);
2640 function Null_Record_Present
2641 (N
: Node_Id
) return Boolean is
2643 pragma Assert
(False
2644 or else NT
(N
).Nkind
= N_Aggregate
2645 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
2647 end Null_Record_Present
;
2649 function Null_Statement
2650 (N
: Node_Id
) return Node_Id
is
2652 pragma Assert
(False
2653 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2657 function Object_Definition
2658 (N
: Node_Id
) return Node_Id
is
2660 pragma Assert
(False
2661 or else NT
(N
).Nkind
= N_Object_Declaration
);
2663 end Object_Definition
;
2666 (N
: Node_Id
) return Boolean is
2668 pragma Assert
(False
2669 or else NT
(N
).Nkind
= N_Iterator_Specification
);
2673 function Original_Discriminant
2674 (N
: Node_Id
) return Node_Id
is
2676 pragma Assert
(False
2677 or else NT
(N
).Nkind
= N_Identifier
);
2679 end Original_Discriminant
;
2681 function Original_Entity
2682 (N
: Node_Id
) return Entity_Id
is
2684 pragma Assert
(False
2685 or else NT
(N
).Nkind
= N_Integer_Literal
2686 or else NT
(N
).Nkind
= N_Real_Literal
);
2688 end Original_Entity
;
2690 function Others_Discrete_Choices
2691 (N
: Node_Id
) return List_Id
is
2693 pragma Assert
(False
2694 or else NT
(N
).Nkind
= N_Others_Choice
);
2696 end Others_Discrete_Choices
;
2698 function Out_Present
2699 (N
: Node_Id
) return Boolean is
2701 pragma Assert
(False
2702 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2703 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2707 function Parameter_Associations
2708 (N
: Node_Id
) return List_Id
is
2710 pragma Assert
(False
2711 or else NT
(N
).Nkind
= N_Entry_Call_Statement
2712 or else NT
(N
).Nkind
= N_Function_Call
2713 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
2715 end Parameter_Associations
;
2717 function Parameter_Specifications
2718 (N
: Node_Id
) return List_Id
is
2720 pragma Assert
(False
2721 or else NT
(N
).Nkind
= N_Accept_Statement
2722 or else NT
(N
).Nkind
= N_Access_Function_Definition
2723 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2724 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
2725 or else NT
(N
).Nkind
= N_Entry_Declaration
2726 or else NT
(N
).Nkind
= N_Function_Specification
2727 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2729 end Parameter_Specifications
;
2731 function Parameter_Type
2732 (N
: Node_Id
) return Node_Id
is
2734 pragma Assert
(False
2735 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2739 function Parent_Spec
2740 (N
: Node_Id
) return Node_Id
is
2742 pragma Assert
(False
2743 or else NT
(N
).Nkind
= N_Function_Instantiation
2744 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
2745 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
2746 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
2747 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
2748 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
2749 or else NT
(N
).Nkind
= N_Package_Declaration
2750 or else NT
(N
).Nkind
= N_Package_Instantiation
2751 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
2752 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2753 or else NT
(N
).Nkind
= N_Subprogram_Declaration
2754 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
2758 function Parent_With
2759 (N
: Node_Id
) return Boolean is
2761 pragma Assert
(False
2762 or else NT
(N
).Nkind
= N_With_Clause
);
2767 (N
: Node_Id
) return Node_Id
is
2769 pragma Assert
(False
2770 or else NT
(N
).Nkind
= N_Component_Clause
);
2774 function Pragma_Argument_Associations
2775 (N
: Node_Id
) return List_Id
is
2777 pragma Assert
(False
2778 or else NT
(N
).Nkind
= N_Pragma
);
2780 end Pragma_Argument_Associations
;
2782 function Pragma_Identifier
2783 (N
: Node_Id
) return Node_Id
is
2785 pragma Assert
(False
2786 or else NT
(N
).Nkind
= N_Pragma
);
2788 end Pragma_Identifier
;
2790 function Pragmas_After
2791 (N
: Node_Id
) return List_Id
is
2793 pragma Assert
(False
2794 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
2795 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
2799 function Pragmas_Before
2800 (N
: Node_Id
) return List_Id
is
2802 pragma Assert
(False
2803 or else NT
(N
).Nkind
= N_Accept_Alternative
2804 or else NT
(N
).Nkind
= N_Delay_Alternative
2805 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
2806 or else NT
(N
).Nkind
= N_Mod_Clause
2807 or else NT
(N
).Nkind
= N_Terminate_Alternative
2808 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
2812 function Pre_Post_Conditions
2813 (N
: Node_Id
) return Node_Id
is
2815 pragma Assert
(False
2816 or else NT
(N
).Nkind
= N_Contract
);
2818 end Pre_Post_Conditions
;
2821 (N
: Node_Id
) return Node_Id
is
2823 pragma Assert
(False
2824 or else NT
(N
).Nkind
= N_Attribute_Reference
2825 or else NT
(N
).Nkind
= N_Expanded_Name
2826 or else NT
(N
).Nkind
= N_Explicit_Dereference
2827 or else NT
(N
).Nkind
= N_Indexed_Component
2828 or else NT
(N
).Nkind
= N_Reference
2829 or else NT
(N
).Nkind
= N_Selected_Component
2830 or else NT
(N
).Nkind
= N_Slice
);
2834 function Premature_Use
2835 (N
: Node_Id
) return Node_Id
is
2837 pragma Assert
(False
2838 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
);
2842 function Present_Expr
2843 (N
: Node_Id
) return Uint
is
2845 pragma Assert
(False
2846 or else NT
(N
).Nkind
= N_Variant
);
2851 (N
: Node_Id
) return Boolean is
2853 pragma Assert
(False
2854 or else NT
(N
).Nkind
= N_Component_Declaration
2855 or else NT
(N
).Nkind
= N_Discriminant_Specification
2856 or else NT
(N
).Nkind
= N_Exception_Declaration
2857 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2858 or else NT
(N
).Nkind
= N_Number_Declaration
2859 or else NT
(N
).Nkind
= N_Object_Declaration
2860 or else NT
(N
).Nkind
= N_Parameter_Specification
2861 or else NT
(N
).Nkind
= N_Use_Package_Clause
2862 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
2866 function Prev_Use_Clause
2867 (N
: Node_Id
) return Node_Id
is
2869 pragma Assert
(False
2870 or else NT
(N
).Nkind
= N_Use_Package_Clause
2871 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
2873 end Prev_Use_Clause
;
2875 function Print_In_Hex
2876 (N
: Node_Id
) return Boolean is
2878 pragma Assert
(False
2879 or else NT
(N
).Nkind
= N_Integer_Literal
);
2883 function Private_Declarations
2884 (N
: Node_Id
) return List_Id
is
2886 pragma Assert
(False
2887 or else NT
(N
).Nkind
= N_Package_Specification
2888 or else NT
(N
).Nkind
= N_Protected_Definition
2889 or else NT
(N
).Nkind
= N_Task_Definition
);
2891 end Private_Declarations
;
2893 function Private_Present
2894 (N
: Node_Id
) return Boolean is
2896 pragma Assert
(False
2897 or else NT
(N
).Nkind
= N_Compilation_Unit
2898 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
2899 or else NT
(N
).Nkind
= N_With_Clause
);
2901 end Private_Present
;
2903 function Procedure_To_Call
2904 (N
: Node_Id
) return Node_Id
is
2906 pragma Assert
(False
2907 or else NT
(N
).Nkind
= N_Allocator
2908 or else NT
(N
).Nkind
= N_Extended_Return_Statement
2909 or else NT
(N
).Nkind
= N_Free_Statement
2910 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
2912 end Procedure_To_Call
;
2914 function Proper_Body
2915 (N
: Node_Id
) return Node_Id
is
2917 pragma Assert
(False
2918 or else NT
(N
).Nkind
= N_Subunit
);
2922 function Protected_Definition
2923 (N
: Node_Id
) return Node_Id
is
2925 pragma Assert
(False
2926 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
2927 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
);
2929 end Protected_Definition
;
2931 function Protected_Present
2932 (N
: Node_Id
) return Boolean is
2934 pragma Assert
(False
2935 or else NT
(N
).Nkind
= N_Access_Function_Definition
2936 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2937 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2938 or else NT
(N
).Nkind
= N_Record_Definition
);
2940 end Protected_Present
;
2942 function Raises_Constraint_Error
2943 (N
: Node_Id
) return Boolean is
2945 pragma Assert
(False
2946 or else NT
(N
).Nkind
in N_Subexpr
);
2948 end Raises_Constraint_Error
;
2950 function Range_Constraint
2951 (N
: Node_Id
) return Node_Id
is
2953 pragma Assert
(False
2954 or else NT
(N
).Nkind
= N_Delta_Constraint
2955 or else NT
(N
).Nkind
= N_Digits_Constraint
);
2957 end Range_Constraint
;
2959 function Range_Expression
2960 (N
: Node_Id
) return Node_Id
is
2962 pragma Assert
(False
2963 or else NT
(N
).Nkind
= N_Range_Constraint
);
2965 end Range_Expression
;
2967 function Real_Range_Specification
2968 (N
: Node_Id
) return Node_Id
is
2970 pragma Assert
(False
2971 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
2972 or else NT
(N
).Nkind
= N_Floating_Point_Definition
2973 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
2975 end Real_Range_Specification
;
2978 (N
: Node_Id
) return Ureal
is
2980 pragma Assert
(False
2981 or else NT
(N
).Nkind
= N_Real_Literal
);
2986 (N
: Node_Id
) return Uint
is
2988 pragma Assert
(False
2989 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
2990 or else NT
(N
).Nkind
= N_Raise_Program_Error
2991 or else NT
(N
).Nkind
= N_Raise_Storage_Error
);
2995 function Record_Extension_Part
2996 (N
: Node_Id
) return Node_Id
is
2998 pragma Assert
(False
2999 or else NT
(N
).Nkind
= N_Derived_Type_Definition
);
3001 end Record_Extension_Part
;
3003 function Redundant_Use
3004 (N
: Node_Id
) return Boolean is
3006 pragma Assert
(False
3007 or else NT
(N
).Nkind
= N_Attribute_Reference
3008 or else NT
(N
).Nkind
= N_Expanded_Name
3009 or else NT
(N
).Nkind
= N_Identifier
);
3013 function Renaming_Exception
3014 (N
: Node_Id
) return Node_Id
is
3016 pragma Assert
(False
3017 or else NT
(N
).Nkind
= N_Exception_Declaration
);
3019 end Renaming_Exception
;
3021 function Result_Definition
3022 (N
: Node_Id
) return Node_Id
is
3024 pragma Assert
(False
3025 or else NT
(N
).Nkind
= N_Access_Function_Definition
3026 or else NT
(N
).Nkind
= N_Function_Specification
);
3028 end Result_Definition
;
3030 function Return_Object_Declarations
3031 (N
: Node_Id
) return List_Id
is
3033 pragma Assert
(False
3034 or else NT
(N
).Nkind
= N_Extended_Return_Statement
);
3036 end Return_Object_Declarations
;
3038 function Return_Statement_Entity
3039 (N
: Node_Id
) return Node_Id
is
3041 pragma Assert
(False
3042 or else NT
(N
).Nkind
= N_Extended_Return_Statement
3043 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3045 end Return_Statement_Entity
;
3047 function Reverse_Present
3048 (N
: Node_Id
) return Boolean is
3050 pragma Assert
(False
3051 or else NT
(N
).Nkind
= N_Iterator_Specification
3052 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
3054 end Reverse_Present
;
3057 (N
: Node_Id
) return Node_Id
is
3059 pragma Assert
(False
3060 or else NT
(N
).Nkind
in N_Op
3061 or else NT
(N
).Nkind
= N_And_Then
3062 or else NT
(N
).Nkind
= N_In
3063 or else NT
(N
).Nkind
= N_Not_In
3064 or else NT
(N
).Nkind
= N_Or_Else
);
3068 function Rounded_Result
3069 (N
: Node_Id
) return Boolean is
3071 pragma Assert
(False
3072 or else NT
(N
).Nkind
= N_Op_Divide
3073 or else NT
(N
).Nkind
= N_Op_Multiply
3074 or else NT
(N
).Nkind
= N_Type_Conversion
);
3078 function SCIL_Controlling_Tag
3079 (N
: Node_Id
) return Node_Id
is
3081 pragma Assert
(False
3082 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
3084 end SCIL_Controlling_Tag
;
3086 function SCIL_Entity
3087 (N
: Node_Id
) return Node_Id
is
3089 pragma Assert
(False
3090 or else NT
(N
).Nkind
= N_SCIL_Dispatch_Table_Tag_Init
3091 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
3092 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
3096 function SCIL_Tag_Value
3097 (N
: Node_Id
) return Node_Id
is
3099 pragma Assert
(False
3100 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
3104 function SCIL_Target_Prim
3105 (N
: Node_Id
) return Node_Id
is
3107 pragma Assert
(False
3108 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
3110 end SCIL_Target_Prim
;
3113 (N
: Node_Id
) return Node_Id
is
3115 pragma Assert
(False
3116 or else NT
(N
).Nkind
= N_Defining_Character_Literal
3117 or else NT
(N
).Nkind
= N_Defining_Identifier
3118 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
3122 function Select_Alternatives
3123 (N
: Node_Id
) return List_Id
is
3125 pragma Assert
(False
3126 or else NT
(N
).Nkind
= N_Selective_Accept
);
3128 end Select_Alternatives
;
3130 function Selector_Name
3131 (N
: Node_Id
) return Node_Id
is
3133 pragma Assert
(False
3134 or else NT
(N
).Nkind
= N_Expanded_Name
3135 or else NT
(N
).Nkind
= N_Generic_Association
3136 or else NT
(N
).Nkind
= N_Parameter_Association
3137 or else NT
(N
).Nkind
= N_Selected_Component
);
3141 function Selector_Names
3142 (N
: Node_Id
) return List_Id
is
3144 pragma Assert
(False
3145 or else NT
(N
).Nkind
= N_Discriminant_Association
);
3149 function Shift_Count_OK
3150 (N
: Node_Id
) return Boolean is
3152 pragma Assert
(False
3153 or else NT
(N
).Nkind
= N_Op_Rotate_Left
3154 or else NT
(N
).Nkind
= N_Op_Rotate_Right
3155 or else NT
(N
).Nkind
= N_Op_Shift_Left
3156 or else NT
(N
).Nkind
= N_Op_Shift_Right
3157 or else NT
(N
).Nkind
= N_Op_Shift_Right_Arithmetic
);
3161 function Source_Type
3162 (N
: Node_Id
) return Entity_Id
is
3164 pragma Assert
(False
3165 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
3169 function Specification
3170 (N
: Node_Id
) return Node_Id
is
3172 pragma Assert
(False
3173 or else NT
(N
).Nkind
= N_Abstract_Subprogram_Declaration
3174 or else NT
(N
).Nkind
= N_Expression_Function
3175 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
3176 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
3177 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
3178 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
3179 or else NT
(N
).Nkind
= N_Package_Declaration
3180 or else NT
(N
).Nkind
= N_Subprogram_Body
3181 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
3182 or else NT
(N
).Nkind
= N_Subprogram_Declaration
3183 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
3188 (N
: Node_Id
) return Boolean is
3190 pragma Assert
(False
3191 or else NT
(N
).Nkind
= N_Aspect_Specification
3192 or else NT
(N
).Nkind
= N_Pragma
);
3197 (N
: Node_Id
) return List_Id
is
3199 pragma Assert
(False
3200 or else NT
(N
).Nkind
= N_Abortable_Part
3201 or else NT
(N
).Nkind
= N_Accept_Alternative
3202 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
3203 or else NT
(N
).Nkind
= N_Delay_Alternative
3204 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
3205 or else NT
(N
).Nkind
= N_Exception_Handler
3206 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
3207 or else NT
(N
).Nkind
= N_Loop_Statement
3208 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
3212 function Storage_Pool
3213 (N
: Node_Id
) return Node_Id
is
3215 pragma Assert
(False
3216 or else NT
(N
).Nkind
= N_Allocator
3217 or else NT
(N
).Nkind
= N_Extended_Return_Statement
3218 or else NT
(N
).Nkind
= N_Free_Statement
3219 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3223 function Subpool_Handle_Name
3224 (N
: Node_Id
) return Node_Id
is
3226 pragma Assert
(False
3227 or else NT
(N
).Nkind
= N_Allocator
);
3229 end Subpool_Handle_Name
;
3232 (N
: Node_Id
) return String_Id
is
3234 pragma Assert
(False
3235 or else NT
(N
).Nkind
= N_Operator_Symbol
3236 or else NT
(N
).Nkind
= N_String_Literal
);
3240 function Subtype_Indication
3241 (N
: Node_Id
) return Node_Id
is
3243 pragma Assert
(False
3244 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
3245 or else NT
(N
).Nkind
= N_Component_Definition
3246 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3247 or else NT
(N
).Nkind
= N_Iterator_Specification
3248 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3249 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
3251 end Subtype_Indication
;
3253 function Suppress_Assignment_Checks
3254 (N
: Node_Id
) return Boolean is
3256 pragma Assert
(False
3257 or else NT
(N
).Nkind
= N_Assignment_Statement
3258 or else NT
(N
).Nkind
= N_Object_Declaration
);
3260 end Suppress_Assignment_Checks
;
3262 function Suppress_Loop_Warnings
3263 (N
: Node_Id
) return Boolean is
3265 pragma Assert
(False
3266 or else NT
(N
).Nkind
= N_Loop_Statement
);
3268 end Suppress_Loop_Warnings
;
3270 function Subtype_Mark
3271 (N
: Node_Id
) return Node_Id
is
3273 pragma Assert
(False
3274 or else NT
(N
).Nkind
= N_Access_Definition
3275 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
3276 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
3277 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
3278 or else NT
(N
).Nkind
= N_Qualified_Expression
3279 or else NT
(N
).Nkind
= N_Subtype_Indication
3280 or else NT
(N
).Nkind
= N_Type_Conversion
3281 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
3282 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3286 function Subtype_Marks
3287 (N
: Node_Id
) return List_Id
is
3289 pragma Assert
(False
3290 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
3294 function Synchronized_Present
3295 (N
: Node_Id
) return Boolean is
3297 pragma Assert
(False
3298 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3299 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
3300 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3301 or else NT
(N
).Nkind
= N_Record_Definition
);
3303 end Synchronized_Present
;
3305 function Tagged_Present
3306 (N
: Node_Id
) return Boolean is
3308 pragma Assert
(False
3309 or else NT
(N
).Nkind
= N_Formal_Incomplete_Type_Definition
3310 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
3311 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
3312 or else NT
(N
).Nkind
= N_Private_Type_Declaration
3313 or else NT
(N
).Nkind
= N_Record_Definition
);
3318 (N
: Node_Id
) return Entity_Id
is
3320 pragma Assert
(False
3321 or else NT
(N
).Nkind
= N_Call_Marker
3322 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
3326 function Target_Type
3327 (N
: Node_Id
) return Entity_Id
is
3329 pragma Assert
(False
3330 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
3334 function Task_Definition
3335 (N
: Node_Id
) return Node_Id
is
3337 pragma Assert
(False
3338 or else NT
(N
).Nkind
= N_Single_Task_Declaration
3339 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
3341 end Task_Definition
;
3343 function Task_Present
3344 (N
: Node_Id
) return Boolean is
3346 pragma Assert
(False
3347 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3348 or else NT
(N
).Nkind
= N_Record_Definition
);
3352 function Then_Actions
3353 (N
: Node_Id
) return List_Id
is
3355 pragma Assert
(False
3356 or else NT
(N
).Nkind
= N_If_Expression
);
3360 function Then_Statements
3361 (N
: Node_Id
) return List_Id
is
3363 pragma Assert
(False
3364 or else NT
(N
).Nkind
= N_Elsif_Part
3365 or else NT
(N
).Nkind
= N_If_Statement
);
3367 end Then_Statements
;
3369 function Treat_Fixed_As_Integer
3370 (N
: Node_Id
) return Boolean is
3372 pragma Assert
(False
3373 or else NT
(N
).Nkind
= N_Op_Divide
3374 or else NT
(N
).Nkind
= N_Op_Mod
3375 or else NT
(N
).Nkind
= N_Op_Multiply
3376 or else NT
(N
).Nkind
= N_Op_Rem
);
3378 end Treat_Fixed_As_Integer
;
3380 function Triggering_Alternative
3381 (N
: Node_Id
) return Node_Id
is
3383 pragma Assert
(False
3384 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
3386 end Triggering_Alternative
;
3388 function Triggering_Statement
3389 (N
: Node_Id
) return Node_Id
is
3391 pragma Assert
(False
3392 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
3394 end Triggering_Statement
;
3397 (N
: Node_Id
) return Elist_Id
is
3399 pragma Assert
(False
3400 or else NT
(N
).Nkind
= N_Freeze_Entity
);
3404 function Type_Definition
3405 (N
: Node_Id
) return Node_Id
is
3407 pragma Assert
(False
3408 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
3410 end Type_Definition
;
3412 function Uneval_Old_Accept
3413 (N
: Node_Id
) return Boolean is
3415 pragma Assert
(False
3416 or else NT
(N
).Nkind
= N_Pragma
);
3418 end Uneval_Old_Accept
;
3420 function Uneval_Old_Warn
3421 (N
: Node_Id
) return Boolean is
3423 pragma Assert
(False
3424 or else NT
(N
).Nkind
= N_Pragma
);
3426 end Uneval_Old_Warn
;
3429 (N
: Node_Id
) return Node_Id
is
3431 pragma Assert
(False
3432 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3436 function Unknown_Discriminants_Present
3437 (N
: Node_Id
) return Boolean is
3439 pragma Assert
(False
3440 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
3441 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
3442 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3443 or else NT
(N
).Nkind
= N_Private_Type_Declaration
);
3445 end Unknown_Discriminants_Present
;
3447 function Unreferenced_In_Spec
3448 (N
: Node_Id
) return Boolean is
3450 pragma Assert
(False
3451 or else NT
(N
).Nkind
= N_With_Clause
);
3453 end Unreferenced_In_Spec
;
3455 function Variant_Part
3456 (N
: Node_Id
) return Node_Id
is
3458 pragma Assert
(False
3459 or else NT
(N
).Nkind
= N_Component_List
);
3464 (N
: Node_Id
) return List_Id
is
3466 pragma Assert
(False
3467 or else NT
(N
).Nkind
= N_Variant_Part
);
3471 function Visible_Declarations
3472 (N
: Node_Id
) return List_Id
is
3474 pragma Assert
(False
3475 or else NT
(N
).Nkind
= N_Package_Specification
3476 or else NT
(N
).Nkind
= N_Protected_Definition
3477 or else NT
(N
).Nkind
= N_Task_Definition
);
3479 end Visible_Declarations
;
3481 function Uninitialized_Variable
3482 (N
: Node_Id
) return Node_Id
is
3484 pragma Assert
(False
3485 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
3486 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
);
3488 end Uninitialized_Variable
;
3490 function Used_Operations
3491 (N
: Node_Id
) return Elist_Id
is
3493 pragma Assert
(False
3494 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3496 end Used_Operations
;
3498 function Was_Attribute_Reference
3499 (N
: Node_Id
) return Boolean is
3501 pragma Assert
(False
3502 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3504 end Was_Attribute_Reference
;
3506 function Was_Expression_Function
3507 (N
: Node_Id
) return Boolean is
3509 pragma Assert
(False
3510 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3512 end Was_Expression_Function
;
3514 function Was_Originally_Stub
3515 (N
: Node_Id
) return Boolean is
3517 pragma Assert
(False
3518 or else NT
(N
).Nkind
= N_Package_Body
3519 or else NT
(N
).Nkind
= N_Protected_Body
3520 or else NT
(N
).Nkind
= N_Subprogram_Body
3521 or else NT
(N
).Nkind
= N_Task_Body
);
3523 end Was_Originally_Stub
;
3525 function Withed_Body
3526 (N
: Node_Id
) return Node_Id
is
3528 pragma Assert
(False
3529 or else NT
(N
).Nkind
= N_With_Clause
);
3533 --------------------------
3534 -- Field Set Procedures --
3535 --------------------------
3537 procedure Set_Abort_Present
3538 (N
: Node_Id
; Val
: Boolean := True) is
3540 pragma Assert
(False
3541 or else NT
(N
).Nkind
= N_Requeue_Statement
);
3542 Set_Flag15
(N
, Val
);
3543 end Set_Abort_Present
;
3545 procedure Set_Abortable_Part
3546 (N
: Node_Id
; Val
: Node_Id
) is
3548 pragma Assert
(False
3549 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
3550 Set_Node2_With_Parent
(N
, Val
);
3551 end Set_Abortable_Part
;
3553 procedure Set_Abstract_Present
3554 (N
: Node_Id
; Val
: Boolean := True) is
3556 pragma Assert
(False
3557 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3558 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
3559 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
3560 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3561 or else NT
(N
).Nkind
= N_Private_Type_Declaration
3562 or else NT
(N
).Nkind
= N_Record_Definition
);
3564 end Set_Abstract_Present
;
3566 procedure Set_Accept_Handler_Records
3567 (N
: Node_Id
; Val
: List_Id
) is
3569 pragma Assert
(False
3570 or else NT
(N
).Nkind
= N_Accept_Alternative
);
3571 Set_List5
(N
, Val
); -- semantic field, no parent set
3572 end Set_Accept_Handler_Records
;
3574 procedure Set_Accept_Statement
3575 (N
: Node_Id
; Val
: Node_Id
) is
3577 pragma Assert
(False
3578 or else NT
(N
).Nkind
= N_Accept_Alternative
);
3579 Set_Node2_With_Parent
(N
, Val
);
3580 end Set_Accept_Statement
;
3582 procedure Set_Access_Definition
3583 (N
: Node_Id
; Val
: Node_Id
) is
3585 pragma Assert
(False
3586 or else NT
(N
).Nkind
= N_Component_Definition
3587 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
3588 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
3589 Set_Node3_With_Parent
(N
, Val
);
3590 end Set_Access_Definition
;
3592 procedure Set_Access_To_Subprogram_Definition
3593 (N
: Node_Id
; Val
: Node_Id
) is
3595 pragma Assert
(False
3596 or else NT
(N
).Nkind
= N_Access_Definition
);
3597 Set_Node3_With_Parent
(N
, Val
);
3598 end Set_Access_To_Subprogram_Definition
;
3600 procedure Set_Access_Types_To_Process
3601 (N
: Node_Id
; Val
: Elist_Id
) is
3603 pragma Assert
(False
3604 or else NT
(N
).Nkind
= N_Freeze_Entity
);
3605 Set_Elist2
(N
, Val
); -- semantic field, no parent set
3606 end Set_Access_Types_To_Process
;
3608 procedure Set_Actions
3609 (N
: Node_Id
; Val
: List_Id
) is
3611 pragma Assert
(False
3612 or else NT
(N
).Nkind
= N_And_Then
3613 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
3614 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
3615 or else NT
(N
).Nkind
= N_Compound_Statement
3616 or else NT
(N
).Nkind
= N_Expression_With_Actions
3617 or else NT
(N
).Nkind
= N_Freeze_Entity
3618 or else NT
(N
).Nkind
= N_Or_Else
);
3619 Set_List1_With_Parent
(N
, Val
);
3622 procedure Set_Activation_Chain_Entity
3623 (N
: Node_Id
; Val
: Node_Id
) is
3625 pragma Assert
(False
3626 or else NT
(N
).Nkind
= N_Block_Statement
3627 or else NT
(N
).Nkind
= N_Entry_Body
3628 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
3629 or else NT
(N
).Nkind
= N_Package_Declaration
3630 or else NT
(N
).Nkind
= N_Subprogram_Body
3631 or else NT
(N
).Nkind
= N_Task_Body
);
3632 Set_Node3
(N
, Val
); -- semantic field, no parent set
3633 end Set_Activation_Chain_Entity
;
3635 procedure Set_Acts_As_Spec
3636 (N
: Node_Id
; Val
: Boolean := True) is
3638 pragma Assert
(False
3639 or else NT
(N
).Nkind
= N_Compilation_Unit
3640 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3642 end Set_Acts_As_Spec
;
3644 procedure Set_Actual_Designated_Subtype
3645 (N
: Node_Id
; Val
: Node_Id
) is
3647 pragma Assert
(False
3648 or else NT
(N
).Nkind
= N_Explicit_Dereference
3649 or else NT
(N
).Nkind
= N_Free_Statement
);
3651 end Set_Actual_Designated_Subtype
;
3653 procedure Set_Address_Warning_Posted
3654 (N
: Node_Id
; Val
: Boolean := True) is
3656 pragma Assert
(False
3657 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
3658 Set_Flag18
(N
, Val
);
3659 end Set_Address_Warning_Posted
;
3661 procedure Set_Aggregate_Bounds
3662 (N
: Node_Id
; Val
: Node_Id
) is
3664 pragma Assert
(False
3665 or else NT
(N
).Nkind
= N_Aggregate
);
3666 Set_Node3
(N
, Val
); -- semantic field, no parent set
3667 end Set_Aggregate_Bounds
;
3669 procedure Set_Aliased_Present
3670 (N
: Node_Id
; Val
: Boolean := True) is
3672 pragma Assert
(False
3673 or else NT
(N
).Nkind
= N_Component_Definition
3674 or else NT
(N
).Nkind
= N_Object_Declaration
3675 or else NT
(N
).Nkind
= N_Parameter_Specification
);
3677 end Set_Aliased_Present
;
3679 procedure Set_Alloc_For_BIP_Return
3680 (N
: Node_Id
; Val
: Boolean := True) is
3682 pragma Assert
(False
3683 or else NT
(N
).Nkind
= N_Allocator
);
3685 end Set_Alloc_For_BIP_Return
;
3687 procedure Set_All_Others
3688 (N
: Node_Id
; Val
: Boolean := True) is
3690 pragma Assert
(False
3691 or else NT
(N
).Nkind
= N_Others_Choice
);
3692 Set_Flag11
(N
, Val
);
3695 procedure Set_All_Present
3696 (N
: Node_Id
; Val
: Boolean := True) is
3698 pragma Assert
(False
3699 or else NT
(N
).Nkind
= N_Access_Definition
3700 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
3701 or else NT
(N
).Nkind
= N_Quantified_Expression
3702 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3703 Set_Flag15
(N
, Val
);
3704 end Set_All_Present
;
3706 procedure Set_Alternatives
3707 (N
: Node_Id
; Val
: List_Id
) is
3709 pragma Assert
(False
3710 or else NT
(N
).Nkind
= N_Case_Expression
3711 or else NT
(N
).Nkind
= N_Case_Statement
3712 or else NT
(N
).Nkind
= N_In
3713 or else NT
(N
).Nkind
= N_Not_In
);
3714 Set_List4_With_Parent
(N
, Val
);
3715 end Set_Alternatives
;
3717 procedure Set_Ancestor_Part
3718 (N
: Node_Id
; Val
: Node_Id
) is
3720 pragma Assert
(False
3721 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
3722 Set_Node3_With_Parent
(N
, Val
);
3723 end Set_Ancestor_Part
;
3725 procedure Set_Atomic_Sync_Required
3726 (N
: Node_Id
; Val
: Boolean := True) is
3728 pragma Assert
(False
3729 or else NT
(N
).Nkind
= N_Expanded_Name
3730 or else NT
(N
).Nkind
= N_Explicit_Dereference
3731 or else NT
(N
).Nkind
= N_Identifier
3732 or else NT
(N
).Nkind
= N_Indexed_Component
3733 or else NT
(N
).Nkind
= N_Selected_Component
);
3734 Set_Flag14
(N
, Val
);
3735 end Set_Atomic_Sync_Required
;
3737 procedure Set_Array_Aggregate
3738 (N
: Node_Id
; Val
: Node_Id
) is
3740 pragma Assert
(False
3741 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
);
3742 Set_Node3_With_Parent
(N
, Val
);
3743 end Set_Array_Aggregate
;
3745 procedure Set_Aspect_Rep_Item
3746 (N
: Node_Id
; Val
: Node_Id
) is
3748 pragma Assert
(False
3749 or else NT
(N
).Nkind
= N_Aspect_Specification
);
3751 end Set_Aspect_Rep_Item
;
3753 procedure Set_Assignment_OK
3754 (N
: Node_Id
; Val
: Boolean := True) is
3756 pragma Assert
(False
3757 or else NT
(N
).Nkind
= N_Object_Declaration
3758 or else NT
(N
).Nkind
in N_Subexpr
);
3759 Set_Flag15
(N
, Val
);
3760 end Set_Assignment_OK
;
3762 procedure Set_Associated_Node
3763 (N
: Node_Id
; Val
: Node_Id
) is
3765 pragma Assert
(False
3766 or else NT
(N
).Nkind
in N_Has_Entity
3767 or else NT
(N
).Nkind
= N_Aggregate
3768 or else NT
(N
).Nkind
= N_Extension_Aggregate
3769 or else NT
(N
).Nkind
= N_Selected_Component
3770 or else NT
(N
).Nkind
= N_Use_Package_Clause
);
3771 Set_Node4
(N
, Val
); -- semantic field, no parent set
3772 end Set_Associated_Node
;
3774 procedure Set_At_End_Proc
3775 (N
: Node_Id
; Val
: Node_Id
) is
3777 pragma Assert
(False
3778 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
3780 end Set_At_End_Proc
;
3782 procedure Set_Attribute_Name
3783 (N
: Node_Id
; Val
: Name_Id
) is
3785 pragma Assert
(False
3786 or else NT
(N
).Nkind
= N_Attribute_Reference
);
3788 end Set_Attribute_Name
;
3790 procedure Set_Aux_Decls_Node
3791 (N
: Node_Id
; Val
: Node_Id
) is
3793 pragma Assert
(False
3794 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3795 Set_Node5_With_Parent
(N
, Val
);
3796 end Set_Aux_Decls_Node
;
3798 procedure Set_Backwards_OK
3799 (N
: Node_Id
; Val
: Boolean := True) is
3801 pragma Assert
(False
3802 or else NT
(N
).Nkind
= N_Assignment_Statement
);
3804 end Set_Backwards_OK
;
3806 procedure Set_Bad_Is_Detected
3807 (N
: Node_Id
; Val
: Boolean := True) is
3809 pragma Assert
(False
3810 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3811 Set_Flag15
(N
, Val
);
3812 end Set_Bad_Is_Detected
;
3814 procedure Set_Body_Required
3815 (N
: Node_Id
; Val
: Boolean := True) is
3817 pragma Assert
(False
3818 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3819 Set_Flag13
(N
, Val
);
3820 end Set_Body_Required
;
3822 procedure Set_Body_To_Inline
3823 (N
: Node_Id
; Val
: Node_Id
) is
3825 pragma Assert
(False
3826 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
3828 end Set_Body_To_Inline
;
3830 procedure Set_Box_Present
3831 (N
: Node_Id
; Val
: Boolean := True) is
3833 pragma Assert
(False
3834 or else NT
(N
).Nkind
= N_Component_Association
3835 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
3836 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
3837 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
3838 or else NT
(N
).Nkind
= N_Generic_Association
3839 or else NT
(N
).Nkind
= N_Iterated_Component_Association
);
3840 Set_Flag15
(N
, Val
);
3841 end Set_Box_Present
;
3843 procedure Set_By_Ref
3844 (N
: Node_Id
; Val
: Boolean := True) is
3846 pragma Assert
(False
3847 or else NT
(N
).Nkind
= N_Extended_Return_Statement
3848 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3852 procedure Set_Char_Literal_Value
3853 (N
: Node_Id
; Val
: Uint
) is
3855 pragma Assert
(False
3856 or else NT
(N
).Nkind
= N_Character_Literal
);
3858 end Set_Char_Literal_Value
;
3861 (N
: Node_Id
; Val
: Name_Id
) is
3863 pragma Assert
(False
3864 or else NT
(N
).Nkind
in N_Has_Chars
);
3868 procedure Set_Check_Address_Alignment
3869 (N
: Node_Id
; Val
: Boolean := True) is
3871 pragma Assert
(False
3872 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
3873 Set_Flag11
(N
, Val
);
3874 end Set_Check_Address_Alignment
;
3876 procedure Set_Choice_Parameter
3877 (N
: Node_Id
; Val
: Node_Id
) is
3879 pragma Assert
(False
3880 or else NT
(N
).Nkind
= N_Exception_Handler
);
3881 Set_Node2_With_Parent
(N
, Val
);
3882 end Set_Choice_Parameter
;
3884 procedure Set_Choices
3885 (N
: Node_Id
; Val
: List_Id
) is
3887 pragma Assert
(False
3888 or else NT
(N
).Nkind
= N_Component_Association
);
3889 Set_List1_With_Parent
(N
, Val
);
3892 procedure Set_Class_Present
3893 (N
: Node_Id
; Val
: Boolean := True) is
3895 pragma Assert
(False
3896 or else NT
(N
).Nkind
= N_Aspect_Specification
3897 or else NT
(N
).Nkind
= N_Pragma
);
3899 end Set_Class_Present
;
3901 procedure Set_Classifications
3902 (N
: Node_Id
; Val
: Node_Id
) is
3904 pragma Assert
(False
3905 or else NT
(N
).Nkind
= N_Contract
);
3906 Set_Node3
(N
, Val
); -- semantic field, no parent set
3907 end Set_Classifications
;
3909 procedure Set_Cleanup_Actions
3910 (N
: Node_Id
; Val
: List_Id
) is
3912 pragma Assert
(False
3913 or else NT
(N
).Nkind
= N_Block_Statement
);
3914 Set_List5
(N
, Val
); -- semantic field, no parent set
3915 end Set_Cleanup_Actions
;
3917 procedure Set_Comes_From_Extended_Return_Statement
3918 (N
: Node_Id
; Val
: Boolean := True) is
3920 pragma Assert
(False
3921 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3922 Set_Flag18
(N
, Val
);
3923 end Set_Comes_From_Extended_Return_Statement
;
3925 procedure Set_Compile_Time_Known_Aggregate
3926 (N
: Node_Id
; Val
: Boolean := True) is
3928 pragma Assert
(False
3929 or else NT
(N
).Nkind
= N_Aggregate
);
3930 Set_Flag18
(N
, Val
);
3931 end Set_Compile_Time_Known_Aggregate
;
3933 procedure Set_Component_Associations
3934 (N
: Node_Id
; Val
: List_Id
) is
3936 pragma Assert
(False
3937 or else NT
(N
).Nkind
= N_Aggregate
3938 or else NT
(N
).Nkind
= N_Delta_Aggregate
3939 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
3940 Set_List2_With_Parent
(N
, Val
);
3941 end Set_Component_Associations
;
3943 procedure Set_Component_Clauses
3944 (N
: Node_Id
; Val
: List_Id
) is
3946 pragma Assert
(False
3947 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
3948 Set_List3_With_Parent
(N
, Val
);
3949 end Set_Component_Clauses
;
3951 procedure Set_Component_Definition
3952 (N
: Node_Id
; Val
: Node_Id
) is
3954 pragma Assert
(False
3955 or else NT
(N
).Nkind
= N_Component_Declaration
3956 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
3957 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
3958 Set_Node4_With_Parent
(N
, Val
);
3959 end Set_Component_Definition
;
3961 procedure Set_Component_Items
3962 (N
: Node_Id
; Val
: List_Id
) is
3964 pragma Assert
(False
3965 or else NT
(N
).Nkind
= N_Component_List
);
3966 Set_List3_With_Parent
(N
, Val
);
3967 end Set_Component_Items
;
3969 procedure Set_Component_List
3970 (N
: Node_Id
; Val
: Node_Id
) is
3972 pragma Assert
(False
3973 or else NT
(N
).Nkind
= N_Record_Definition
3974 or else NT
(N
).Nkind
= N_Variant
);
3975 Set_Node1_With_Parent
(N
, Val
);
3976 end Set_Component_List
;
3978 procedure Set_Component_Name
3979 (N
: Node_Id
; Val
: Node_Id
) is
3981 pragma Assert
(False
3982 or else NT
(N
).Nkind
= N_Component_Clause
);
3983 Set_Node1_With_Parent
(N
, Val
);
3984 end Set_Component_Name
;
3986 procedure Set_Componentwise_Assignment
3987 (N
: Node_Id
; Val
: Boolean := True) is
3989 pragma Assert
(False
3990 or else NT
(N
).Nkind
= N_Assignment_Statement
);
3991 Set_Flag14
(N
, Val
);
3992 end Set_Componentwise_Assignment
;
3994 procedure Set_Condition
3995 (N
: Node_Id
; Val
: Node_Id
) is
3997 pragma Assert
(False
3998 or else NT
(N
).Nkind
= N_Accept_Alternative
3999 or else NT
(N
).Nkind
= N_Delay_Alternative
4000 or else NT
(N
).Nkind
= N_Elsif_Part
4001 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
4002 or else NT
(N
).Nkind
= N_Exit_Statement
4003 or else NT
(N
).Nkind
= N_If_Statement
4004 or else NT
(N
).Nkind
= N_Iteration_Scheme
4005 or else NT
(N
).Nkind
= N_Quantified_Expression
4006 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
4007 or else NT
(N
).Nkind
= N_Raise_Program_Error
4008 or else NT
(N
).Nkind
= N_Raise_Storage_Error
4009 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
4010 Set_Node1_With_Parent
(N
, Val
);
4013 procedure Set_Condition_Actions
4014 (N
: Node_Id
; Val
: List_Id
) is
4016 pragma Assert
(False
4017 or else NT
(N
).Nkind
= N_Elsif_Part
4018 or else NT
(N
).Nkind
= N_Iteration_Scheme
);
4019 Set_List3
(N
, Val
); -- semantic field, no parent set
4020 end Set_Condition_Actions
;
4022 procedure Set_Config_Pragmas
4023 (N
: Node_Id
; Val
: List_Id
) is
4025 pragma Assert
(False
4026 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
4027 Set_List4_With_Parent
(N
, Val
);
4028 end Set_Config_Pragmas
;
4030 procedure Set_Constant_Present
4031 (N
: Node_Id
; Val
: Boolean := True) is
4033 pragma Assert
(False
4034 or else NT
(N
).Nkind
= N_Access_Definition
4035 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
4036 or else NT
(N
).Nkind
= N_Object_Declaration
);
4037 Set_Flag17
(N
, Val
);
4038 end Set_Constant_Present
;
4040 procedure Set_Constraint
4041 (N
: Node_Id
; Val
: Node_Id
) is
4043 pragma Assert
(False
4044 or else NT
(N
).Nkind
= N_Subtype_Indication
);
4045 Set_Node3_With_Parent
(N
, Val
);
4048 procedure Set_Constraints
4049 (N
: Node_Id
; Val
: List_Id
) is
4051 pragma Assert
(False
4052 or else NT
(N
).Nkind
= N_Index_Or_Discriminant_Constraint
);
4053 Set_List1_With_Parent
(N
, Val
);
4054 end Set_Constraints
;
4056 procedure Set_Context_Installed
4057 (N
: Node_Id
; Val
: Boolean := True) is
4059 pragma Assert
(False
4060 or else NT
(N
).Nkind
= N_With_Clause
);
4061 Set_Flag13
(N
, Val
);
4062 end Set_Context_Installed
;
4064 procedure Set_Context_Items
4065 (N
: Node_Id
; Val
: List_Id
) is
4067 pragma Assert
(False
4068 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4069 Set_List1_With_Parent
(N
, Val
);
4070 end Set_Context_Items
;
4072 procedure Set_Context_Pending
4073 (N
: Node_Id
; Val
: Boolean := True) is
4075 pragma Assert
(False
4076 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4077 Set_Flag16
(N
, Val
);
4078 end Set_Context_Pending
;
4080 procedure Set_Contract_Test_Cases
4081 (N
: Node_Id
; Val
: Node_Id
) is
4083 pragma Assert
(False
4084 or else NT
(N
).Nkind
= N_Contract
);
4085 Set_Node2
(N
, Val
); -- semantic field, no parent set
4086 end Set_Contract_Test_Cases
;
4088 procedure Set_Controlling_Argument
4089 (N
: Node_Id
; Val
: Node_Id
) is
4091 pragma Assert
(False
4092 or else NT
(N
).Nkind
= N_Function_Call
4093 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
4094 Set_Node1
(N
, Val
); -- semantic field, no parent set
4095 end Set_Controlling_Argument
;
4097 procedure Set_Conversion_OK
4098 (N
: Node_Id
; Val
: Boolean := True) is
4100 pragma Assert
(False
4101 or else NT
(N
).Nkind
= N_Type_Conversion
);
4102 Set_Flag14
(N
, Val
);
4103 end Set_Conversion_OK
;
4105 procedure Set_Convert_To_Return_False
4106 (N
: Node_Id
; Val
: Boolean := True) is
4108 pragma Assert
(False
4109 or else NT
(N
).Nkind
= N_Raise_Expression
);
4110 Set_Flag13
(N
, Val
);
4111 end Set_Convert_To_Return_False
;
4113 procedure Set_Corresponding_Aspect
4114 (N
: Node_Id
; Val
: Node_Id
) is
4116 pragma Assert
(False
4117 or else NT
(N
).Nkind
= N_Pragma
);
4119 end Set_Corresponding_Aspect
;
4121 procedure Set_Corresponding_Body
4122 (N
: Node_Id
; Val
: Node_Id
) is
4124 pragma Assert
(False
4125 or else NT
(N
).Nkind
= N_Entry_Declaration
4126 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
4127 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
4128 or else NT
(N
).Nkind
= N_Package_Body_Stub
4129 or else NT
(N
).Nkind
= N_Package_Declaration
4130 or else NT
(N
).Nkind
= N_Protected_Body_Stub
4131 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
4132 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
4133 or else NT
(N
).Nkind
= N_Subprogram_Declaration
4134 or else NT
(N
).Nkind
= N_Task_Body_Stub
4135 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
4136 Set_Node5
(N
, Val
); -- semantic field, no parent set
4137 end Set_Corresponding_Body
;
4139 procedure Set_Corresponding_Formal_Spec
4140 (N
: Node_Id
; Val
: Node_Id
) is
4142 pragma Assert
(False
4143 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
4144 Set_Node3
(N
, Val
); -- semantic field, no parent set
4145 end Set_Corresponding_Formal_Spec
;
4147 procedure Set_Corresponding_Generic_Association
4148 (N
: Node_Id
; Val
: Node_Id
) is
4150 pragma Assert
(False
4151 or else NT
(N
).Nkind
= N_Object_Declaration
4152 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
4153 Set_Node5
(N
, Val
); -- semantic field, no parent set
4154 end Set_Corresponding_Generic_Association
;
4156 procedure Set_Corresponding_Integer_Value
4157 (N
: Node_Id
; Val
: Uint
) is
4159 pragma Assert
(False
4160 or else NT
(N
).Nkind
= N_Real_Literal
);
4161 Set_Uint4
(N
, Val
); -- semantic field, no parent set
4162 end Set_Corresponding_Integer_Value
;
4164 procedure Set_Corresponding_Spec
4165 (N
: Node_Id
; Val
: Entity_Id
) is
4167 pragma Assert
(False
4168 or else NT
(N
).Nkind
= N_Expression_Function
4169 or else NT
(N
).Nkind
= N_Package_Body
4170 or else NT
(N
).Nkind
= N_Protected_Body
4171 or else NT
(N
).Nkind
= N_Subprogram_Body
4172 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
4173 or else NT
(N
).Nkind
= N_Task_Body
4174 or else NT
(N
).Nkind
= N_With_Clause
);
4175 Set_Node5
(N
, Val
); -- semantic field, no parent set
4176 end Set_Corresponding_Spec
;
4178 procedure Set_Corresponding_Spec_Of_Stub
4179 (N
: Node_Id
; Val
: Entity_Id
) is
4181 pragma Assert
(False
4182 or else NT
(N
).Nkind
= N_Package_Body_Stub
4183 or else NT
(N
).Nkind
= N_Protected_Body_Stub
4184 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
4185 or else NT
(N
).Nkind
= N_Task_Body_Stub
);
4186 Set_Node2
(N
, Val
); -- semantic field, no parent set
4187 end Set_Corresponding_Spec_Of_Stub
;
4189 procedure Set_Corresponding_Stub
4190 (N
: Node_Id
; Val
: Node_Id
) is
4192 pragma Assert
(False
4193 or else NT
(N
).Nkind
= N_Subunit
);
4195 end Set_Corresponding_Stub
;
4197 procedure Set_Dcheck_Function
4198 (N
: Node_Id
; Val
: Entity_Id
) is
4200 pragma Assert
(False
4201 or else NT
(N
).Nkind
= N_Variant
);
4202 Set_Node5
(N
, Val
); -- semantic field, no parent set
4203 end Set_Dcheck_Function
;
4205 procedure Set_Declarations
4206 (N
: Node_Id
; Val
: List_Id
) is
4208 pragma Assert
(False
4209 or else NT
(N
).Nkind
= N_Accept_Statement
4210 or else NT
(N
).Nkind
= N_Block_Statement
4211 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
4212 or else NT
(N
).Nkind
= N_Entry_Body
4213 or else NT
(N
).Nkind
= N_Package_Body
4214 or else NT
(N
).Nkind
= N_Protected_Body
4215 or else NT
(N
).Nkind
= N_Subprogram_Body
4216 or else NT
(N
).Nkind
= N_Task_Body
);
4217 Set_List2_With_Parent
(N
, Val
);
4218 end Set_Declarations
;
4220 procedure Set_Default_Expression
4221 (N
: Node_Id
; Val
: Node_Id
) is
4223 pragma Assert
(False
4224 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
4225 or else NT
(N
).Nkind
= N_Parameter_Specification
);
4226 Set_Node5
(N
, Val
); -- semantic field, no parent set
4227 end Set_Default_Expression
;
4229 procedure Set_Default_Storage_Pool
4230 (N
: Node_Id
; Val
: Node_Id
) is
4232 pragma Assert
(False
4233 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
4234 Set_Node3
(N
, Val
); -- semantic field, no parent set
4235 end Set_Default_Storage_Pool
;
4237 procedure Set_Default_Name
4238 (N
: Node_Id
; Val
: Node_Id
) is
4240 pragma Assert
(False
4241 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
4242 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
);
4243 Set_Node2_With_Parent
(N
, Val
);
4244 end Set_Default_Name
;
4246 procedure Set_Defining_Identifier
4247 (N
: Node_Id
; Val
: Entity_Id
) is
4249 pragma Assert
(False
4250 or else NT
(N
).Nkind
= N_Component_Declaration
4251 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
4252 or else NT
(N
).Nkind
= N_Discriminant_Specification
4253 or else NT
(N
).Nkind
= N_Entry_Body
4254 or else NT
(N
).Nkind
= N_Entry_Declaration
4255 or else NT
(N
).Nkind
= N_Entry_Index_Specification
4256 or else NT
(N
).Nkind
= N_Exception_Declaration
4257 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
4258 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
4259 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
4260 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
4261 or else NT
(N
).Nkind
= N_Full_Type_Declaration
4262 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
4263 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
4264 or else NT
(N
).Nkind
= N_Iterated_Component_Association
4265 or else NT
(N
).Nkind
= N_Iterator_Specification
4266 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
4267 or else NT
(N
).Nkind
= N_Number_Declaration
4268 or else NT
(N
).Nkind
= N_Object_Declaration
4269 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
4270 or else NT
(N
).Nkind
= N_Package_Body_Stub
4271 or else NT
(N
).Nkind
= N_Parameter_Specification
4272 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
4273 or else NT
(N
).Nkind
= N_Private_Type_Declaration
4274 or else NT
(N
).Nkind
= N_Protected_Body
4275 or else NT
(N
).Nkind
= N_Protected_Body_Stub
4276 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
4277 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
4278 or else NT
(N
).Nkind
= N_Single_Task_Declaration
4279 or else NT
(N
).Nkind
= N_Subtype_Declaration
4280 or else NT
(N
).Nkind
= N_Task_Body
4281 or else NT
(N
).Nkind
= N_Task_Body_Stub
4282 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
4283 Set_Node1_With_Parent
(N
, Val
);
4284 end Set_Defining_Identifier
;
4286 procedure Set_Defining_Unit_Name
4287 (N
: Node_Id
; Val
: Node_Id
) is
4289 pragma Assert
(False
4290 or else NT
(N
).Nkind
= N_Function_Instantiation
4291 or else NT
(N
).Nkind
= N_Function_Specification
4292 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
4293 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
4294 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
4295 or else NT
(N
).Nkind
= N_Package_Body
4296 or else NT
(N
).Nkind
= N_Package_Instantiation
4297 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
4298 or else NT
(N
).Nkind
= N_Package_Specification
4299 or else NT
(N
).Nkind
= N_Procedure_Instantiation
4300 or else NT
(N
).Nkind
= N_Procedure_Specification
);
4301 Set_Node1_With_Parent
(N
, Val
);
4302 end Set_Defining_Unit_Name
;
4304 procedure Set_Delay_Alternative
4305 (N
: Node_Id
; Val
: Node_Id
) is
4307 pragma Assert
(False
4308 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
4309 Set_Node4_With_Parent
(N
, Val
);
4310 end Set_Delay_Alternative
;
4312 procedure Set_Delay_Statement
4313 (N
: Node_Id
; Val
: Node_Id
) is
4315 pragma Assert
(False
4316 or else NT
(N
).Nkind
= N_Delay_Alternative
);
4317 Set_Node2_With_Parent
(N
, Val
);
4318 end Set_Delay_Statement
;
4320 procedure Set_Delta_Expression
4321 (N
: Node_Id
; Val
: Node_Id
) is
4323 pragma Assert
(False
4324 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
4325 or else NT
(N
).Nkind
= N_Delta_Constraint
4326 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
4327 Set_Node3_With_Parent
(N
, Val
);
4328 end Set_Delta_Expression
;
4330 procedure Set_Digits_Expression
4331 (N
: Node_Id
; Val
: Node_Id
) is
4333 pragma Assert
(False
4334 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
4335 or else NT
(N
).Nkind
= N_Digits_Constraint
4336 or else NT
(N
).Nkind
= N_Floating_Point_Definition
);
4337 Set_Node2_With_Parent
(N
, Val
);
4338 end Set_Digits_Expression
;
4340 procedure Set_Discr_Check_Funcs_Built
4341 (N
: Node_Id
; Val
: Boolean := True) is
4343 pragma Assert
(False
4344 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
4345 Set_Flag11
(N
, Val
);
4346 end Set_Discr_Check_Funcs_Built
;
4348 procedure Set_Discrete_Choices
4349 (N
: Node_Id
; Val
: List_Id
) is
4351 pragma Assert
(False
4352 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
4353 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
4354 or else NT
(N
).Nkind
= N_Iterated_Component_Association
4355 or else NT
(N
).Nkind
= N_Variant
);
4356 Set_List4_With_Parent
(N
, Val
);
4357 end Set_Discrete_Choices
;
4359 procedure Set_Discrete_Range
4360 (N
: Node_Id
; Val
: Node_Id
) is
4362 pragma Assert
(False
4363 or else NT
(N
).Nkind
= N_Slice
);
4364 Set_Node4_With_Parent
(N
, Val
);
4365 end Set_Discrete_Range
;
4367 procedure Set_Discrete_Subtype_Definition
4368 (N
: Node_Id
; Val
: Node_Id
) is
4370 pragma Assert
(False
4371 or else NT
(N
).Nkind
= N_Entry_Declaration
4372 or else NT
(N
).Nkind
= N_Entry_Index_Specification
4373 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
4374 Set_Node4_With_Parent
(N
, Val
);
4375 end Set_Discrete_Subtype_Definition
;
4377 procedure Set_Discrete_Subtype_Definitions
4378 (N
: Node_Id
; Val
: List_Id
) is
4380 pragma Assert
(False
4381 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
);
4382 Set_List2_With_Parent
(N
, Val
);
4383 end Set_Discrete_Subtype_Definitions
;
4385 procedure Set_Discriminant_Specifications
4386 (N
: Node_Id
; Val
: List_Id
) is
4388 pragma Assert
(False
4389 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
4390 or else NT
(N
).Nkind
= N_Full_Type_Declaration
4391 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
4392 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
4393 or else NT
(N
).Nkind
= N_Private_Type_Declaration
4394 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
4395 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
4396 Set_List4_With_Parent
(N
, Val
);
4397 end Set_Discriminant_Specifications
;
4399 procedure Set_Discriminant_Type
4400 (N
: Node_Id
; Val
: Node_Id
) is
4402 pragma Assert
(False
4403 or else NT
(N
).Nkind
= N_Discriminant_Specification
);
4404 Set_Node5_With_Parent
(N
, Val
);
4405 end Set_Discriminant_Type
;
4407 procedure Set_Do_Accessibility_Check
4408 (N
: Node_Id
; Val
: Boolean := True) is
4410 pragma Assert
(False
4411 or else NT
(N
).Nkind
= N_Parameter_Specification
);
4412 Set_Flag13
(N
, Val
);
4413 end Set_Do_Accessibility_Check
;
4415 procedure Set_Do_Discriminant_Check
4416 (N
: Node_Id
; Val
: Boolean := True) is
4418 pragma Assert
(False
4419 or else NT
(N
).Nkind
= N_Assignment_Statement
4420 or else NT
(N
).Nkind
= N_Selected_Component
4421 or else NT
(N
).Nkind
= N_Type_Conversion
);
4423 end Set_Do_Discriminant_Check
;
4425 procedure Set_Do_Division_Check
4426 (N
: Node_Id
; Val
: Boolean := True) is
4428 pragma Assert
(False
4429 or else NT
(N
).Nkind
= N_Op_Divide
4430 or else NT
(N
).Nkind
= N_Op_Mod
4431 or else NT
(N
).Nkind
= N_Op_Rem
);
4432 Set_Flag13
(N
, Val
);
4433 end Set_Do_Division_Check
;
4435 procedure Set_Do_Length_Check
4436 (N
: Node_Id
; Val
: Boolean := True) is
4438 pragma Assert
(False
4439 or else NT
(N
).Nkind
= N_Assignment_Statement
4440 or else NT
(N
).Nkind
= N_Op_And
4441 or else NT
(N
).Nkind
= N_Op_Or
4442 or else NT
(N
).Nkind
= N_Op_Xor
4443 or else NT
(N
).Nkind
= N_Type_Conversion
);
4445 end Set_Do_Length_Check
;
4447 procedure Set_Do_Overflow_Check
4448 (N
: Node_Id
; Val
: Boolean := True) is
4450 pragma Assert
(False
4451 or else NT
(N
).Nkind
in N_Op
4452 or else NT
(N
).Nkind
= N_Attribute_Reference
4453 or else NT
(N
).Nkind
= N_Case_Expression
4454 or else NT
(N
).Nkind
= N_If_Expression
4455 or else NT
(N
).Nkind
= N_Type_Conversion
);
4456 Set_Flag17
(N
, Val
);
4457 end Set_Do_Overflow_Check
;
4459 procedure Set_Do_Range_Check
4460 (N
: Node_Id
; Val
: Boolean := True) is
4462 pragma Assert
(False
4463 or else NT
(N
).Nkind
in N_Subexpr
);
4465 end Set_Do_Range_Check
;
4467 procedure Set_Do_Storage_Check
4468 (N
: Node_Id
; Val
: Boolean := True) is
4470 pragma Assert
(False
4471 or else NT
(N
).Nkind
= N_Allocator
4472 or else NT
(N
).Nkind
= N_Subprogram_Body
);
4473 Set_Flag17
(N
, Val
);
4474 end Set_Do_Storage_Check
;
4476 procedure Set_Do_Tag_Check
4477 (N
: Node_Id
; Val
: Boolean := True) is
4479 pragma Assert
(False
4480 or else NT
(N
).Nkind
= N_Assignment_Statement
4481 or else NT
(N
).Nkind
= N_Extended_Return_Statement
4482 or else NT
(N
).Nkind
= N_Function_Call
4483 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
4484 or else NT
(N
).Nkind
= N_Simple_Return_Statement
4485 or else NT
(N
).Nkind
= N_Type_Conversion
);
4486 Set_Flag13
(N
, Val
);
4487 end Set_Do_Tag_Check
;
4489 procedure Set_Elaborate_All_Desirable
4490 (N
: Node_Id
; Val
: Boolean := True) is
4492 pragma Assert
(False
4493 or else NT
(N
).Nkind
= N_With_Clause
);
4495 end Set_Elaborate_All_Desirable
;
4497 procedure Set_Elaborate_All_Present
4498 (N
: Node_Id
; Val
: Boolean := True) is
4500 pragma Assert
(False
4501 or else NT
(N
).Nkind
= N_With_Clause
);
4502 Set_Flag14
(N
, Val
);
4503 end Set_Elaborate_All_Present
;
4505 procedure Set_Elaborate_Desirable
4506 (N
: Node_Id
; Val
: Boolean := True) is
4508 pragma Assert
(False
4509 or else NT
(N
).Nkind
= N_With_Clause
);
4510 Set_Flag11
(N
, Val
);
4511 end Set_Elaborate_Desirable
;
4513 procedure Set_Elaborate_Present
4514 (N
: Node_Id
; Val
: Boolean := True) is
4516 pragma Assert
(False
4517 or else NT
(N
).Nkind
= N_With_Clause
);
4519 end Set_Elaborate_Present
;
4521 procedure Set_Else_Actions
4522 (N
: Node_Id
; Val
: List_Id
) is
4524 pragma Assert
(False
4525 or else NT
(N
).Nkind
= N_If_Expression
);
4526 Set_List3_With_Parent
(N
, Val
); -- semantic field, but needs parents
4527 end Set_Else_Actions
;
4529 procedure Set_Else_Statements
4530 (N
: Node_Id
; Val
: List_Id
) is
4532 pragma Assert
(False
4533 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
4534 or else NT
(N
).Nkind
= N_If_Statement
4535 or else NT
(N
).Nkind
= N_Selective_Accept
);
4536 Set_List4_With_Parent
(N
, Val
);
4537 end Set_Else_Statements
;
4539 procedure Set_Elsif_Parts
4540 (N
: Node_Id
; Val
: List_Id
) is
4542 pragma Assert
(False
4543 or else NT
(N
).Nkind
= N_If_Statement
);
4544 Set_List3_With_Parent
(N
, Val
);
4545 end Set_Elsif_Parts
;
4547 procedure Set_Enclosing_Variant
4548 (N
: Node_Id
; Val
: Node_Id
) is
4550 pragma Assert
(False
4551 or else NT
(N
).Nkind
= N_Variant
);
4552 Set_Node2
(N
, Val
); -- semantic field, no parent set
4553 end Set_Enclosing_Variant
;
4555 procedure Set_End_Label
4556 (N
: Node_Id
; Val
: Node_Id
) is
4558 pragma Assert
(False
4559 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
4560 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
4561 or else NT
(N
).Nkind
= N_Loop_Statement
4562 or else NT
(N
).Nkind
= N_Package_Specification
4563 or else NT
(N
).Nkind
= N_Protected_Body
4564 or else NT
(N
).Nkind
= N_Protected_Definition
4565 or else NT
(N
).Nkind
= N_Record_Definition
4566 or else NT
(N
).Nkind
= N_Task_Definition
);
4567 Set_Node4_With_Parent
(N
, Val
);
4570 procedure Set_End_Span
4571 (N
: Node_Id
; Val
: Uint
) is
4573 pragma Assert
(False
4574 or else NT
(N
).Nkind
= N_Case_Statement
4575 or else NT
(N
).Nkind
= N_If_Statement
);
4579 procedure Set_Entity
4580 (N
: Node_Id
; Val
: Node_Id
) is
4582 pragma Assert
(False
4583 or else NT
(N
).Nkind
in N_Has_Entity
4584 or else NT
(N
).Nkind
= N_Aspect_Specification
4585 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4586 or else NT
(N
).Nkind
= N_Freeze_Entity
4587 or else NT
(N
).Nkind
= N_Freeze_Generic_Entity
);
4588 Set_Node4
(N
, Val
); -- semantic field, no parent set
4591 procedure Set_Entry_Body_Formal_Part
4592 (N
: Node_Id
; Val
: Node_Id
) is
4594 pragma Assert
(False
4595 or else NT
(N
).Nkind
= N_Entry_Body
);
4596 Set_Node5_With_Parent
(N
, Val
);
4597 end Set_Entry_Body_Formal_Part
;
4599 procedure Set_Entry_Call_Alternative
4600 (N
: Node_Id
; Val
: Node_Id
) is
4602 pragma Assert
(False
4603 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
4604 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
4605 Set_Node1_With_Parent
(N
, Val
);
4606 end Set_Entry_Call_Alternative
;
4608 procedure Set_Entry_Call_Statement
4609 (N
: Node_Id
; Val
: Node_Id
) is
4611 pragma Assert
(False
4612 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
);
4613 Set_Node1_With_Parent
(N
, Val
);
4614 end Set_Entry_Call_Statement
;
4616 procedure Set_Entry_Direct_Name
4617 (N
: Node_Id
; Val
: Node_Id
) is
4619 pragma Assert
(False
4620 or else NT
(N
).Nkind
= N_Accept_Statement
);
4621 Set_Node1_With_Parent
(N
, Val
);
4622 end Set_Entry_Direct_Name
;
4624 procedure Set_Entry_Index
4625 (N
: Node_Id
; Val
: Node_Id
) is
4627 pragma Assert
(False
4628 or else NT
(N
).Nkind
= N_Accept_Statement
);
4629 Set_Node5_With_Parent
(N
, Val
);
4630 end Set_Entry_Index
;
4632 procedure Set_Entry_Index_Specification
4633 (N
: Node_Id
; Val
: Node_Id
) is
4635 pragma Assert
(False
4636 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
);
4637 Set_Node4_With_Parent
(N
, Val
);
4638 end Set_Entry_Index_Specification
;
4641 (N
: Node_Id
; Val
: Node_Id
) is
4643 pragma Assert
(False
4644 or else NT
(N
).Nkind
in N_Has_Etype
);
4645 Set_Node5
(N
, Val
); -- semantic field, no parent set
4648 procedure Set_Exception_Choices
4649 (N
: Node_Id
; Val
: List_Id
) is
4651 pragma Assert
(False
4652 or else NT
(N
).Nkind
= N_Exception_Handler
);
4653 Set_List4_With_Parent
(N
, Val
);
4654 end Set_Exception_Choices
;
4656 procedure Set_Exception_Handlers
4657 (N
: Node_Id
; Val
: List_Id
) is
4659 pragma Assert
(False
4660 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
4661 Set_List5_With_Parent
(N
, Val
);
4662 end Set_Exception_Handlers
;
4664 procedure Set_Exception_Junk
4665 (N
: Node_Id
; Val
: Boolean := True) is
4667 pragma Assert
(False
4668 or else NT
(N
).Nkind
= N_Block_Statement
4669 or else NT
(N
).Nkind
= N_Goto_Statement
4670 or else NT
(N
).Nkind
= N_Label
4671 or else NT
(N
).Nkind
= N_Object_Declaration
4672 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
4674 end Set_Exception_Junk
;
4676 procedure Set_Exception_Label
4677 (N
: Node_Id
; Val
: Node_Id
) is
4679 pragma Assert
(False
4680 or else NT
(N
).Nkind
= N_Exception_Handler
4681 or else NT
(N
).Nkind
= N_Push_Constraint_Error_Label
4682 or else NT
(N
).Nkind
= N_Push_Program_Error_Label
4683 or else NT
(N
).Nkind
= N_Push_Storage_Error_Label
);
4684 Set_Node5
(N
, Val
); -- semantic field, no parent set
4685 end Set_Exception_Label
;
4687 procedure Set_Expansion_Delayed
4688 (N
: Node_Id
; Val
: Boolean := True) is
4690 pragma Assert
(False
4691 or else NT
(N
).Nkind
= N_Aggregate
4692 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
4693 Set_Flag11
(N
, Val
);
4694 end Set_Expansion_Delayed
;
4696 procedure Set_Explicit_Actual_Parameter
4697 (N
: Node_Id
; Val
: Node_Id
) is
4699 pragma Assert
(False
4700 or else NT
(N
).Nkind
= N_Parameter_Association
);
4701 Set_Node3_With_Parent
(N
, Val
);
4702 end Set_Explicit_Actual_Parameter
;
4704 procedure Set_Explicit_Generic_Actual_Parameter
4705 (N
: Node_Id
; Val
: Node_Id
) is
4707 pragma Assert
(False
4708 or else NT
(N
).Nkind
= N_Generic_Association
);
4709 Set_Node1_With_Parent
(N
, Val
);
4710 end Set_Explicit_Generic_Actual_Parameter
;
4712 procedure Set_Expression
4713 (N
: Node_Id
; Val
: Node_Id
) is
4715 pragma Assert
(False
4716 or else NT
(N
).Nkind
= N_Allocator
4717 or else NT
(N
).Nkind
= N_Aspect_Specification
4718 or else NT
(N
).Nkind
= N_Assignment_Statement
4719 or else NT
(N
).Nkind
= N_At_Clause
4720 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4721 or else NT
(N
).Nkind
= N_Case_Expression
4722 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
4723 or else NT
(N
).Nkind
= N_Case_Statement
4724 or else NT
(N
).Nkind
= N_Code_Statement
4725 or else NT
(N
).Nkind
= N_Component_Association
4726 or else NT
(N
).Nkind
= N_Component_Declaration
4727 or else NT
(N
).Nkind
= N_Delay_Relative_Statement
4728 or else NT
(N
).Nkind
= N_Delay_Until_Statement
4729 or else NT
(N
).Nkind
= N_Delta_Aggregate
4730 or else NT
(N
).Nkind
= N_Discriminant_Association
4731 or else NT
(N
).Nkind
= N_Discriminant_Specification
4732 or else NT
(N
).Nkind
= N_Exception_Declaration
4733 or else NT
(N
).Nkind
= N_Expression_Function
4734 or else NT
(N
).Nkind
= N_Expression_With_Actions
4735 or else NT
(N
).Nkind
= N_Free_Statement
4736 or else NT
(N
).Nkind
= N_Iterated_Component_Association
4737 or else NT
(N
).Nkind
= N_Mod_Clause
4738 or else NT
(N
).Nkind
= N_Modular_Type_Definition
4739 or else NT
(N
).Nkind
= N_Number_Declaration
4740 or else NT
(N
).Nkind
= N_Object_Declaration
4741 or else NT
(N
).Nkind
= N_Parameter_Specification
4742 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
4743 or else NT
(N
).Nkind
= N_Qualified_Expression
4744 or else NT
(N
).Nkind
= N_Raise_Expression
4745 or else NT
(N
).Nkind
= N_Raise_Statement
4746 or else NT
(N
).Nkind
= N_Simple_Return_Statement
4747 or else NT
(N
).Nkind
= N_Type_Conversion
4748 or else NT
(N
).Nkind
= N_Unchecked_Expression
4749 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
4750 Set_Node3_With_Parent
(N
, Val
);
4753 procedure Set_Expression_Copy
4754 (N
: Node_Id
; Val
: Node_Id
) is
4756 pragma Assert
(False
4757 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
);
4758 Set_Node2
(N
, Val
); -- semantic field, no parent set
4759 end Set_Expression_Copy
;
4761 procedure Set_Expressions
4762 (N
: Node_Id
; Val
: List_Id
) is
4764 pragma Assert
(False
4765 or else NT
(N
).Nkind
= N_Aggregate
4766 or else NT
(N
).Nkind
= N_Attribute_Reference
4767 or else NT
(N
).Nkind
= N_Extension_Aggregate
4768 or else NT
(N
).Nkind
= N_If_Expression
4769 or else NT
(N
).Nkind
= N_Indexed_Component
);
4770 Set_List1_With_Parent
(N
, Val
);
4771 end Set_Expressions
;
4773 procedure Set_First_Bit
4774 (N
: Node_Id
; Val
: Node_Id
) is
4776 pragma Assert
(False
4777 or else NT
(N
).Nkind
= N_Component_Clause
);
4778 Set_Node3_With_Parent
(N
, Val
);
4781 procedure Set_First_Inlined_Subprogram
4782 (N
: Node_Id
; Val
: Entity_Id
) is
4784 pragma Assert
(False
4785 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4786 Set_Node3
(N
, Val
); -- semantic field, no parent set
4787 end Set_First_Inlined_Subprogram
;
4789 procedure Set_First_Name
4790 (N
: Node_Id
; Val
: Boolean := True) is
4792 pragma Assert
(False
4793 or else NT
(N
).Nkind
= N_With_Clause
);
4797 procedure Set_First_Named_Actual
4798 (N
: Node_Id
; Val
: Node_Id
) is
4800 pragma Assert
(False
4801 or else NT
(N
).Nkind
= N_Entry_Call_Statement
4802 or else NT
(N
).Nkind
= N_Function_Call
4803 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
4804 Set_Node4
(N
, Val
); -- semantic field, no parent set
4805 end Set_First_Named_Actual
;
4807 procedure Set_First_Real_Statement
4808 (N
: Node_Id
; Val
: Node_Id
) is
4810 pragma Assert
(False
4811 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
4812 Set_Node2
(N
, Val
); -- semantic field, no parent set
4813 end Set_First_Real_Statement
;
4815 procedure Set_First_Subtype_Link
4816 (N
: Node_Id
; Val
: Entity_Id
) is
4818 pragma Assert
(False
4819 or else NT
(N
).Nkind
= N_Freeze_Entity
);
4820 Set_Node5
(N
, Val
); -- semantic field, no parent set
4821 end Set_First_Subtype_Link
;
4823 procedure Set_Float_Truncate
4824 (N
: Node_Id
; Val
: Boolean := True) is
4826 pragma Assert
(False
4827 or else NT
(N
).Nkind
= N_Type_Conversion
);
4828 Set_Flag11
(N
, Val
);
4829 end Set_Float_Truncate
;
4831 procedure Set_Formal_Type_Definition
4832 (N
: Node_Id
; Val
: Node_Id
) is
4834 pragma Assert
(False
4835 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
);
4836 Set_Node3_With_Parent
(N
, Val
);
4837 end Set_Formal_Type_Definition
;
4839 procedure Set_Forwards_OK
4840 (N
: Node_Id
; Val
: Boolean := True) is
4842 pragma Assert
(False
4843 or else NT
(N
).Nkind
= N_Assignment_Statement
);
4845 end Set_Forwards_OK
;
4847 procedure Set_From_Aspect_Specification
4848 (N
: Node_Id
; Val
: Boolean := True) is
4850 pragma Assert
(False
4851 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4852 or else NT
(N
).Nkind
= N_Pragma
);
4853 Set_Flag13
(N
, Val
);
4854 end Set_From_Aspect_Specification
;
4856 procedure Set_From_At_End
4857 (N
: Node_Id
; Val
: Boolean := True) is
4859 pragma Assert
(False
4860 or else NT
(N
).Nkind
= N_Raise_Statement
);
4862 end Set_From_At_End
;
4864 procedure Set_From_At_Mod
4865 (N
: Node_Id
; Val
: Boolean := True) is
4867 pragma Assert
(False
4868 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
4870 end Set_From_At_Mod
;
4872 procedure Set_From_Conditional_Expression
4873 (N
: Node_Id
; Val
: Boolean := True) is
4875 pragma Assert
(False
4876 or else NT
(N
).Nkind
= N_Case_Statement
4877 or else NT
(N
).Nkind
= N_If_Statement
);
4879 end Set_From_Conditional_Expression
;
4881 procedure Set_From_Default
4882 (N
: Node_Id
; Val
: Boolean := True) is
4884 pragma Assert
(False
4885 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
4887 end Set_From_Default
;
4889 procedure Set_Generalized_Indexing
4890 (N
: Node_Id
; Val
: Node_Id
) is
4892 pragma Assert
(False
4893 or else NT
(N
).Nkind
= N_Indexed_Component
);
4895 end Set_Generalized_Indexing
;
4897 procedure Set_Generic_Associations
4898 (N
: Node_Id
; Val
: List_Id
) is
4900 pragma Assert
(False
4901 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
4902 or else NT
(N
).Nkind
= N_Function_Instantiation
4903 or else NT
(N
).Nkind
= N_Package_Instantiation
4904 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
4905 Set_List3_With_Parent
(N
, Val
);
4906 end Set_Generic_Associations
;
4908 procedure Set_Generic_Formal_Declarations
4909 (N
: Node_Id
; Val
: List_Id
) is
4911 pragma Assert
(False
4912 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
4913 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
);
4914 Set_List2_With_Parent
(N
, Val
);
4915 end Set_Generic_Formal_Declarations
;
4917 procedure Set_Generic_Parent
4918 (N
: Node_Id
; Val
: Node_Id
) is
4920 pragma Assert
(False
4921 or else NT
(N
).Nkind
= N_Function_Specification
4922 or else NT
(N
).Nkind
= N_Package_Specification
4923 or else NT
(N
).Nkind
= N_Procedure_Specification
);
4925 end Set_Generic_Parent
;
4927 procedure Set_Generic_Parent_Type
4928 (N
: Node_Id
; Val
: Node_Id
) is
4930 pragma Assert
(False
4931 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
4933 end Set_Generic_Parent_Type
;
4935 procedure Set_Handled_Statement_Sequence
4936 (N
: Node_Id
; Val
: Node_Id
) is
4938 pragma Assert
(False
4939 or else NT
(N
).Nkind
= N_Accept_Statement
4940 or else NT
(N
).Nkind
= N_Block_Statement
4941 or else NT
(N
).Nkind
= N_Entry_Body
4942 or else NT
(N
).Nkind
= N_Extended_Return_Statement
4943 or else NT
(N
).Nkind
= N_Package_Body
4944 or else NT
(N
).Nkind
= N_Subprogram_Body
4945 or else NT
(N
).Nkind
= N_Task_Body
);
4946 Set_Node4_With_Parent
(N
, Val
);
4947 end Set_Handled_Statement_Sequence
;
4949 procedure Set_Handler_List_Entry
4950 (N
: Node_Id
; Val
: Node_Id
) is
4952 pragma Assert
(False
4953 or else NT
(N
).Nkind
= N_Object_Declaration
);
4955 end Set_Handler_List_Entry
;
4957 procedure Set_Has_Created_Identifier
4958 (N
: Node_Id
; Val
: Boolean := True) is
4960 pragma Assert
(False
4961 or else NT
(N
).Nkind
= N_Block_Statement
4962 or else NT
(N
).Nkind
= N_Loop_Statement
);
4963 Set_Flag15
(N
, Val
);
4964 end Set_Has_Created_Identifier
;
4966 procedure Set_Has_Dereference_Action
4967 (N
: Node_Id
; Val
: Boolean := True) is
4969 pragma Assert
(False
4970 or else NT
(N
).Nkind
= N_Explicit_Dereference
);
4971 Set_Flag13
(N
, Val
);
4972 end Set_Has_Dereference_Action
;
4974 procedure Set_Has_Dynamic_Length_Check
4975 (N
: Node_Id
; Val
: Boolean := True) is
4977 pragma Assert
(False
4978 or else NT
(N
).Nkind
in N_Subexpr
);
4979 Set_Flag10
(N
, Val
);
4980 end Set_Has_Dynamic_Length_Check
;
4982 procedure Set_Has_Dynamic_Range_Check
4983 (N
: Node_Id
; Val
: Boolean := True) is
4985 pragma Assert
(False
4986 or else NT
(N
).Nkind
= N_Subtype_Declaration
4987 or else NT
(N
).Nkind
in N_Subexpr
);
4988 Set_Flag12
(N
, Val
);
4989 end Set_Has_Dynamic_Range_Check
;
4991 procedure Set_Has_Init_Expression
4992 (N
: Node_Id
; Val
: Boolean := True) is
4994 pragma Assert
(False
4995 or else NT
(N
).Nkind
= N_Object_Declaration
);
4996 Set_Flag14
(N
, Val
);
4997 end Set_Has_Init_Expression
;
4999 procedure Set_Has_Local_Raise
5000 (N
: Node_Id
; Val
: Boolean := True) is
5002 pragma Assert
(False
5003 or else NT
(N
).Nkind
= N_Exception_Handler
);
5005 end Set_Has_Local_Raise
;
5007 procedure Set_Has_No_Elaboration_Code
5008 (N
: Node_Id
; Val
: Boolean := True) is
5010 pragma Assert
(False
5011 or else NT
(N
).Nkind
= N_Compilation_Unit
);
5012 Set_Flag17
(N
, Val
);
5013 end Set_Has_No_Elaboration_Code
;
5015 procedure Set_Has_Pragma_Suppress_All
5016 (N
: Node_Id
; Val
: Boolean := True) is
5018 pragma Assert
(False
5019 or else NT
(N
).Nkind
= N_Compilation_Unit
);
5020 Set_Flag14
(N
, Val
);
5021 end Set_Has_Pragma_Suppress_All
;
5023 procedure Set_Has_Private_View
5024 (N
: Node_Id
; Val
: Boolean := True) is
5026 pragma Assert
(False
5027 or else NT
(N
).Nkind
in N_Op
5028 or else NT
(N
).Nkind
= N_Character_Literal
5029 or else NT
(N
).Nkind
= N_Expanded_Name
5030 or else NT
(N
).Nkind
= N_Identifier
5031 or else NT
(N
).Nkind
= N_Operator_Symbol
);
5032 Set_Flag11
(N
, Val
);
5033 end Set_Has_Private_View
;
5035 procedure Set_Has_Relative_Deadline_Pragma
5036 (N
: Node_Id
; Val
: Boolean := True) is
5038 pragma Assert
(False
5039 or else NT
(N
).Nkind
= N_Subprogram_Body
5040 or else NT
(N
).Nkind
= N_Task_Definition
);
5042 end Set_Has_Relative_Deadline_Pragma
;
5044 procedure Set_Has_Self_Reference
5045 (N
: Node_Id
; Val
: Boolean := True) is
5047 pragma Assert
(False
5048 or else NT
(N
).Nkind
= N_Aggregate
5049 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
5050 Set_Flag13
(N
, Val
);
5051 end Set_Has_Self_Reference
;
5053 procedure Set_Has_SP_Choice
5054 (N
: Node_Id
; Val
: Boolean := True) is
5056 pragma Assert
(False
5057 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
5058 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
5059 or else NT
(N
).Nkind
= N_Variant
);
5060 Set_Flag15
(N
, Val
);
5061 end Set_Has_SP_Choice
;
5063 procedure Set_Has_Storage_Size_Pragma
5064 (N
: Node_Id
; Val
: Boolean := True) is
5066 pragma Assert
(False
5067 or else NT
(N
).Nkind
= N_Task_Definition
);
5069 end Set_Has_Storage_Size_Pragma
;
5071 procedure Set_Has_Target_Names
5072 (N
: Node_Id
; Val
: Boolean := True) is
5074 pragma Assert
(False
5075 or else NT
(N
).Nkind
= N_Assignment_Statement
);
5077 end Set_Has_Target_Names
;
5079 procedure Set_Has_Wide_Character
5080 (N
: Node_Id
; Val
: Boolean := True) is
5082 pragma Assert
(False
5083 or else NT
(N
).Nkind
= N_String_Literal
);
5084 Set_Flag11
(N
, Val
);
5085 end Set_Has_Wide_Character
;
5087 procedure Set_Has_Wide_Wide_Character
5088 (N
: Node_Id
; Val
: Boolean := True) is
5090 pragma Assert
(False
5091 or else NT
(N
).Nkind
= N_String_Literal
);
5092 Set_Flag13
(N
, Val
);
5093 end Set_Has_Wide_Wide_Character
;
5095 procedure Set_Header_Size_Added
5096 (N
: Node_Id
; Val
: Boolean := True) is
5098 pragma Assert
(False
5099 or else NT
(N
).Nkind
= N_Attribute_Reference
);
5100 Set_Flag11
(N
, Val
);
5101 end Set_Header_Size_Added
;
5103 procedure Set_Hidden_By_Use_Clause
5104 (N
: Node_Id
; Val
: Elist_Id
) is
5106 pragma Assert
(False
5107 or else NT
(N
).Nkind
= N_Use_Package_Clause
5108 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5109 Set_Elist5
(N
, Val
);
5110 end Set_Hidden_By_Use_Clause
;
5112 procedure Set_High_Bound
5113 (N
: Node_Id
; Val
: Node_Id
) is
5115 pragma Assert
(False
5116 or else NT
(N
).Nkind
= N_Range
5117 or else NT
(N
).Nkind
= N_Real_Range_Specification
5118 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
5119 Set_Node2_With_Parent
(N
, Val
);
5122 procedure Set_Identifier
5123 (N
: Node_Id
; Val
: Node_Id
) is
5125 pragma Assert
(False
5126 or else NT
(N
).Nkind
= N_Aspect_Specification
5127 or else NT
(N
).Nkind
= N_At_Clause
5128 or else NT
(N
).Nkind
= N_Block_Statement
5129 or else NT
(N
).Nkind
= N_Designator
5130 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
5131 or else NT
(N
).Nkind
= N_Label
5132 or else NT
(N
).Nkind
= N_Loop_Statement
5133 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5134 Set_Node1_With_Parent
(N
, Val
);
5137 procedure Set_Implicit_With
5138 (N
: Node_Id
; Val
: Boolean := True) is
5140 pragma Assert
(False
5141 or else NT
(N
).Nkind
= N_With_Clause
);
5142 Set_Flag16
(N
, Val
);
5143 end Set_Implicit_With
;
5145 procedure Set_Interface_List
5146 (N
: Node_Id
; Val
: List_Id
) is
5148 pragma Assert
(False
5149 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5150 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
5151 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
5152 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
5153 or else NT
(N
).Nkind
= N_Record_Definition
5154 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
5155 or else NT
(N
).Nkind
= N_Single_Task_Declaration
5156 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
5157 Set_List2_With_Parent
(N
, Val
);
5158 end Set_Interface_List
;
5160 procedure Set_Interface_Present
5161 (N
: Node_Id
; Val
: Boolean := True) is
5163 pragma Assert
(False
5164 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5165 or else NT
(N
).Nkind
= N_Record_Definition
);
5166 Set_Flag16
(N
, Val
);
5167 end Set_Interface_Present
;
5169 procedure Set_Import_Interface_Present
5170 (N
: Node_Id
; Val
: Boolean := True) is
5172 pragma Assert
(False
5173 or else NT
(N
).Nkind
= N_Pragma
);
5174 Set_Flag16
(N
, Val
);
5175 end Set_Import_Interface_Present
;
5177 procedure Set_In_Present
5178 (N
: Node_Id
; Val
: Boolean := True) is
5180 pragma Assert
(False
5181 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5182 or else NT
(N
).Nkind
= N_Parameter_Specification
);
5183 Set_Flag15
(N
, Val
);
5186 procedure Set_Includes_Infinities
5187 (N
: Node_Id
; Val
: Boolean := True) is
5189 pragma Assert
(False
5190 or else NT
(N
).Nkind
= N_Range
);
5191 Set_Flag11
(N
, Val
);
5192 end Set_Includes_Infinities
;
5194 procedure Set_Incomplete_View
5195 (N
: Node_Id
; Val
: Node_Id
) is
5197 pragma Assert
(False
5198 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
5199 Set_Node2
(N
, Val
); -- semantic field, no Parent set
5200 end Set_Incomplete_View
;
5202 procedure Set_Inherited_Discriminant
5203 (N
: Node_Id
; Val
: Boolean := True) is
5205 pragma Assert
(False
5206 or else NT
(N
).Nkind
= N_Component_Association
);
5207 Set_Flag13
(N
, Val
);
5208 end Set_Inherited_Discriminant
;
5210 procedure Set_Instance_Spec
5211 (N
: Node_Id
; Val
: Node_Id
) is
5213 pragma Assert
(False
5214 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5215 or else NT
(N
).Nkind
= N_Function_Instantiation
5216 or else NT
(N
).Nkind
= N_Package_Instantiation
5217 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
5218 Set_Node5
(N
, Val
); -- semantic field, no Parent set
5219 end Set_Instance_Spec
;
5221 procedure Set_Intval
5222 (N
: Node_Id
; Val
: Uint
) is
5224 pragma Assert
(False
5225 or else NT
(N
).Nkind
= N_Integer_Literal
);
5229 procedure Set_Is_Abort_Block
5230 (N
: Node_Id
; Val
: Boolean := True) is
5232 pragma Assert
(False
5233 or else NT
(N
).Nkind
= N_Block_Statement
);
5235 end Set_Is_Abort_Block
;
5237 procedure Set_Is_Accessibility_Actual
5238 (N
: Node_Id
; Val
: Boolean := True) is
5240 pragma Assert
(False
5241 or else NT
(N
).Nkind
= N_Parameter_Association
);
5242 Set_Flag13
(N
, Val
);
5243 end Set_Is_Accessibility_Actual
;
5245 procedure Set_Is_Analyzed_Pragma
5246 (N
: Node_Id
; Val
: Boolean := True) is
5248 pragma Assert
(False
5249 or else NT
(N
).Nkind
= N_Pragma
);
5251 end Set_Is_Analyzed_Pragma
;
5253 procedure Set_Is_Asynchronous_Call_Block
5254 (N
: Node_Id
; Val
: Boolean := True) is
5256 pragma Assert
(False
5257 or else NT
(N
).Nkind
= N_Block_Statement
);
5259 end Set_Is_Asynchronous_Call_Block
;
5261 procedure Set_Is_Boolean_Aspect
5262 (N
: Node_Id
; Val
: Boolean := True) is
5264 pragma Assert
(False
5265 or else NT
(N
).Nkind
= N_Aspect_Specification
);
5266 Set_Flag16
(N
, Val
);
5267 end Set_Is_Boolean_Aspect
;
5269 procedure Set_Is_Checked
5270 (N
: Node_Id
; Val
: Boolean := True) is
5272 pragma Assert
(False
5273 or else NT
(N
).Nkind
= N_Aspect_Specification
5274 or else NT
(N
).Nkind
= N_Pragma
);
5275 Set_Flag11
(N
, Val
);
5278 procedure Set_Is_Checked_Ghost_Pragma
5279 (N
: Node_Id
; Val
: Boolean := True) is
5281 pragma Assert
(False
5282 or else NT
(N
).Nkind
= N_Pragma
);
5284 end Set_Is_Checked_Ghost_Pragma
;
5286 procedure Set_Is_Component_Left_Opnd
5287 (N
: Node_Id
; Val
: Boolean := True) is
5289 pragma Assert
(False
5290 or else NT
(N
).Nkind
= N_Op_Concat
);
5291 Set_Flag13
(N
, Val
);
5292 end Set_Is_Component_Left_Opnd
;
5294 procedure Set_Is_Component_Right_Opnd
5295 (N
: Node_Id
; Val
: Boolean := True) is
5297 pragma Assert
(False
5298 or else NT
(N
).Nkind
= N_Op_Concat
);
5299 Set_Flag14
(N
, Val
);
5300 end Set_Is_Component_Right_Opnd
;
5302 procedure Set_Is_Controlling_Actual
5303 (N
: Node_Id
; Val
: Boolean := True) is
5305 pragma Assert
(False
5306 or else NT
(N
).Nkind
in N_Subexpr
);
5307 Set_Flag16
(N
, Val
);
5308 end Set_Is_Controlling_Actual
;
5310 procedure Set_Is_Declaration_Level_Node
5311 (N
: Node_Id
; Val
: Boolean := True) is
5313 pragma Assert
(False
5314 or else NT
(N
).Nkind
= N_Call_Marker
5315 or else NT
(N
).Nkind
= N_Function_Instantiation
5316 or else NT
(N
).Nkind
= N_Package_Instantiation
5317 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
5319 end Set_Is_Declaration_Level_Node
;
5321 procedure Set_Is_Delayed_Aspect
5322 (N
: Node_Id
; Val
: Boolean := True) is
5324 pragma Assert
(False
5325 or else NT
(N
).Nkind
= N_Aspect_Specification
5326 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5327 or else NT
(N
).Nkind
= N_Pragma
);
5328 Set_Flag14
(N
, Val
);
5329 end Set_Is_Delayed_Aspect
;
5331 procedure Set_Is_Disabled
5332 (N
: Node_Id
; Val
: Boolean := True) is
5334 pragma Assert
(False
5335 or else NT
(N
).Nkind
= N_Aspect_Specification
5336 or else NT
(N
).Nkind
= N_Pragma
);
5337 Set_Flag15
(N
, Val
);
5338 end Set_Is_Disabled
;
5340 procedure Set_Is_Dispatching_Call
5341 (N
: Node_Id
; Val
: Boolean := True) is
5343 pragma Assert
(False
5344 or else NT
(N
).Nkind
= N_Call_Marker
);
5346 end Set_Is_Dispatching_Call
;
5348 procedure Set_Is_Dynamic_Coextension
5349 (N
: Node_Id
; Val
: Boolean := True) is
5351 pragma Assert
(False
5352 or else NT
(N
).Nkind
= N_Allocator
);
5353 pragma Assert
(not Val
5354 or else not Is_Static_Coextension
(N
));
5355 Set_Flag18
(N
, Val
);
5356 end Set_Is_Dynamic_Coextension
;
5358 procedure Set_Is_Effective_Use_Clause
5359 (N
: Node_Id
; Val
: Boolean := True) is
5361 pragma Assert
(False
5362 or else NT
(N
).Nkind
= N_Use_Package_Clause
5363 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5365 end Set_Is_Effective_Use_Clause
;
5367 procedure Set_Is_Elaboration_Checks_OK_Node
5368 (N
: Node_Id
; Val
: Boolean := True) is
5370 pragma Assert
(False
5371 or else NT
(N
).Nkind
= N_Assignment_Statement
5372 or else NT
(N
).Nkind
= N_Attribute_Reference
5373 or else NT
(N
).Nkind
= N_Call_Marker
5374 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5375 or else NT
(N
).Nkind
= N_Expanded_Name
5376 or else NT
(N
).Nkind
= N_Function_Call
5377 or else NT
(N
).Nkind
= N_Function_Instantiation
5378 or else NT
(N
).Nkind
= N_Identifier
5379 or else NT
(N
).Nkind
= N_Package_Instantiation
5380 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5381 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5382 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5384 end Set_Is_Elaboration_Checks_OK_Node
;
5386 procedure Set_Is_Elaboration_Code
5387 (N
: Node_Id
; Val
: Boolean := True) is
5389 pragma Assert
(False
5390 or else NT
(N
).Nkind
= N_Assignment_Statement
);
5392 end Set_Is_Elaboration_Code
;
5394 procedure Set_Is_Elaboration_Warnings_OK_Node
5395 (N
: Node_Id
; Val
: Boolean := True) is
5397 pragma Assert
(False
5398 or else NT
(N
).Nkind
= N_Attribute_Reference
5399 or else NT
(N
).Nkind
= N_Call_Marker
5400 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5401 or else NT
(N
).Nkind
= N_Function_Call
5402 or else NT
(N
).Nkind
= N_Function_Instantiation
5403 or else NT
(N
).Nkind
= N_Package_Instantiation
5404 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5405 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5406 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5408 end Set_Is_Elaboration_Warnings_OK_Node
;
5410 procedure Set_Is_Elsif
5411 (N
: Node_Id
; Val
: Boolean := True) is
5413 pragma Assert
(False
5414 or else NT
(N
).Nkind
= N_If_Expression
);
5415 Set_Flag13
(N
, Val
);
5418 procedure Set_Is_Entry_Barrier_Function
5419 (N
: Node_Id
; Val
: Boolean := True) is
5421 pragma Assert
(False
5422 or else NT
(N
).Nkind
= N_Subprogram_Body
5423 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
5425 end Set_Is_Entry_Barrier_Function
;
5427 procedure Set_Is_Expanded_Build_In_Place_Call
5428 (N
: Node_Id
; Val
: Boolean := True) is
5430 pragma Assert
(False
5431 or else NT
(N
).Nkind
= N_Function_Call
);
5432 Set_Flag11
(N
, Val
);
5433 end Set_Is_Expanded_Build_In_Place_Call
;
5435 procedure Set_Is_Expanded_Contract
5436 (N
: Node_Id
; Val
: Boolean := True) is
5438 pragma Assert
(False
5439 or else NT
(N
).Nkind
= N_Contract
);
5441 end Set_Is_Expanded_Contract
;
5443 procedure Set_Is_Finalization_Wrapper
5444 (N
: Node_Id
; Val
: Boolean := True) is
5446 pragma Assert
(False
5447 or else NT
(N
).Nkind
= N_Block_Statement
);
5449 end Set_Is_Finalization_Wrapper
;
5451 procedure Set_Is_Folded_In_Parser
5452 (N
: Node_Id
; Val
: Boolean := True) is
5454 pragma Assert
(False
5455 or else NT
(N
).Nkind
= N_String_Literal
);
5457 end Set_Is_Folded_In_Parser
;
5459 procedure Set_Is_Generic_Contract_Pragma
5460 (N
: Node_Id
; Val
: Boolean := True) is
5462 pragma Assert
(False
5463 or else NT
(N
).Nkind
= N_Pragma
);
5465 end Set_Is_Generic_Contract_Pragma
;
5467 procedure Set_Is_Ignored
5468 (N
: Node_Id
; Val
: Boolean := True) is
5470 pragma Assert
(False
5471 or else NT
(N
).Nkind
= N_Aspect_Specification
5472 or else NT
(N
).Nkind
= N_Pragma
);
5476 procedure Set_Is_Ignored_Ghost_Pragma
5477 (N
: Node_Id
; Val
: Boolean := True) is
5479 pragma Assert
(False
5480 or else NT
(N
).Nkind
= N_Pragma
);
5482 end Set_Is_Ignored_Ghost_Pragma
;
5484 procedure Set_Is_In_Discriminant_Check
5485 (N
: Node_Id
; Val
: Boolean := True) is
5487 pragma Assert
(False
5488 or else NT
(N
).Nkind
= N_Selected_Component
);
5489 Set_Flag11
(N
, Val
);
5490 end Set_Is_In_Discriminant_Check
;
5492 procedure Set_Is_Inherited_Pragma
5493 (N
: Node_Id
; Val
: Boolean := True) is
5495 pragma Assert
(False
5496 or else NT
(N
).Nkind
= N_Pragma
);
5498 end Set_Is_Inherited_Pragma
;
5500 procedure Set_Is_Initialization_Block
5501 (N
: Node_Id
; Val
: Boolean := True) is
5503 pragma Assert
(False
5504 or else NT
(N
).Nkind
= N_Block_Statement
);
5506 end Set_Is_Initialization_Block
;
5508 procedure Set_Is_Known_Guaranteed_ABE
5509 (N
: Node_Id
; Val
: Boolean := True) is
5511 pragma Assert
(False
5512 or else NT
(N
).Nkind
= N_Call_Marker
5513 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5514 or else NT
(N
).Nkind
= N_Function_Call
5515 or else NT
(N
).Nkind
= N_Function_Instantiation
5516 or else NT
(N
).Nkind
= N_Package_Instantiation
5517 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5518 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
5519 Set_Flag18
(N
, Val
);
5520 end Set_Is_Known_Guaranteed_ABE
;
5522 procedure Set_Is_Machine_Number
5523 (N
: Node_Id
; Val
: Boolean := True) is
5525 pragma Assert
(False
5526 or else NT
(N
).Nkind
= N_Real_Literal
);
5527 Set_Flag11
(N
, Val
);
5528 end Set_Is_Machine_Number
;
5530 procedure Set_Is_Null_Loop
5531 (N
: Node_Id
; Val
: Boolean := True) is
5533 pragma Assert
(False
5534 or else NT
(N
).Nkind
= N_Loop_Statement
);
5535 Set_Flag16
(N
, Val
);
5536 end Set_Is_Null_Loop
;
5538 procedure Set_Is_Overloaded
5539 (N
: Node_Id
; Val
: Boolean := True) is
5541 pragma Assert
(False
5542 or else NT
(N
).Nkind
in N_Subexpr
);
5544 end Set_Is_Overloaded
;
5546 procedure Set_Is_Power_Of_2_For_Shift
5547 (N
: Node_Id
; Val
: Boolean := True) is
5549 pragma Assert
(False
5550 or else NT
(N
).Nkind
= N_Op_Expon
);
5551 Set_Flag13
(N
, Val
);
5552 end Set_Is_Power_Of_2_For_Shift
;
5554 procedure Set_Is_Prefixed_Call
5555 (N
: Node_Id
; Val
: Boolean := True) is
5557 pragma Assert
(False
5558 or else NT
(N
).Nkind
= N_Selected_Component
);
5559 Set_Flag17
(N
, Val
);
5560 end Set_Is_Prefixed_Call
;
5562 procedure Set_Is_Protected_Subprogram_Body
5563 (N
: Node_Id
; Val
: Boolean := True) is
5565 pragma Assert
(False
5566 or else NT
(N
).Nkind
= N_Subprogram_Body
);
5568 end Set_Is_Protected_Subprogram_Body
;
5570 procedure Set_Is_Qualified_Universal_Literal
5571 (N
: Node_Id
; Val
: Boolean := True) is
5573 pragma Assert
(False
5574 or else NT
(N
).Nkind
= N_Qualified_Expression
);
5576 end Set_Is_Qualified_Universal_Literal
;
5578 procedure Set_Is_Read
5579 (N
: Node_Id
; Val
: Boolean := True) is
5581 pragma Assert
(False
5582 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
5586 procedure Set_Is_Source_Call
5587 (N
: Node_Id
; Val
: Boolean := True) is
5589 pragma Assert
(False
5590 or else NT
(N
).Nkind
= N_Call_Marker
);
5592 end Set_Is_Source_Call
;
5594 procedure Set_Is_SPARK_Mode_On_Node
5595 (N
: Node_Id
; Val
: Boolean := True) is
5597 pragma Assert
(False
5598 or else NT
(N
).Nkind
= N_Assignment_Statement
5599 or else NT
(N
).Nkind
= N_Attribute_Reference
5600 or else NT
(N
).Nkind
= N_Call_Marker
5601 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5602 or else NT
(N
).Nkind
= N_Expanded_Name
5603 or else NT
(N
).Nkind
= N_Function_Call
5604 or else NT
(N
).Nkind
= N_Function_Instantiation
5605 or else NT
(N
).Nkind
= N_Identifier
5606 or else NT
(N
).Nkind
= N_Package_Instantiation
5607 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5608 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5609 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5611 end Set_Is_SPARK_Mode_On_Node
;
5613 procedure Set_Is_Static_Coextension
5614 (N
: Node_Id
; Val
: Boolean := True) is
5616 pragma Assert
(False
5617 or else NT
(N
).Nkind
= N_Allocator
);
5618 pragma Assert
(not Val
5619 or else not Is_Dynamic_Coextension
(N
));
5620 Set_Flag14
(N
, Val
);
5621 end Set_Is_Static_Coextension
;
5623 procedure Set_Is_Static_Expression
5624 (N
: Node_Id
; Val
: Boolean := True) is
5626 pragma Assert
(False
5627 or else NT
(N
).Nkind
in N_Subexpr
);
5629 end Set_Is_Static_Expression
;
5631 procedure Set_Is_Subprogram_Descriptor
5632 (N
: Node_Id
; Val
: Boolean := True) is
5634 pragma Assert
(False
5635 or else NT
(N
).Nkind
= N_Object_Declaration
);
5636 Set_Flag16
(N
, Val
);
5637 end Set_Is_Subprogram_Descriptor
;
5639 procedure Set_Is_Task_Allocation_Block
5640 (N
: Node_Id
; Val
: Boolean := True) is
5642 pragma Assert
(False
5643 or else NT
(N
).Nkind
= N_Block_Statement
);
5645 end Set_Is_Task_Allocation_Block
;
5647 procedure Set_Is_Task_Body_Procedure
5648 (N
: Node_Id
; Val
: Boolean := True) is
5650 pragma Assert
(False
5651 or else NT
(N
).Nkind
= N_Subprogram_Body
5652 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
5654 end Set_Is_Task_Body_Procedure
;
5656 procedure Set_Is_Task_Master
5657 (N
: Node_Id
; Val
: Boolean := True) is
5659 pragma Assert
(False
5660 or else NT
(N
).Nkind
= N_Block_Statement
5661 or else NT
(N
).Nkind
= N_Subprogram_Body
5662 or else NT
(N
).Nkind
= N_Task_Body
);
5664 end Set_Is_Task_Master
;
5666 procedure Set_Is_Write
5667 (N
: Node_Id
; Val
: Boolean := True) is
5669 pragma Assert
(False
5670 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
5674 procedure Set_Iteration_Scheme
5675 (N
: Node_Id
; Val
: Node_Id
) is
5677 pragma Assert
(False
5678 or else NT
(N
).Nkind
= N_Loop_Statement
);
5679 Set_Node2_With_Parent
(N
, Val
);
5680 end Set_Iteration_Scheme
;
5682 procedure Set_Iterator_Specification
5683 (N
: Node_Id
; Val
: Node_Id
) is
5685 pragma Assert
(False
5686 or else NT
(N
).Nkind
= N_Iteration_Scheme
5687 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5688 Set_Node2_With_Parent
(N
, Val
);
5689 end Set_Iterator_Specification
;
5692 (N
: Node_Id
; Val
: Entity_Id
) is
5694 pragma Assert
(False
5695 or else NT
(N
).Nkind
= N_Itype_Reference
);
5696 Set_Node1
(N
, Val
); -- no parent, semantic field
5699 procedure Set_Kill_Range_Check
5700 (N
: Node_Id
; Val
: Boolean := True) is
5702 pragma Assert
(False
5703 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
5704 Set_Flag11
(N
, Val
);
5705 end Set_Kill_Range_Check
;
5707 procedure Set_Label_Construct
5708 (N
: Node_Id
; Val
: Node_Id
) is
5710 pragma Assert
(False
5711 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
);
5712 Set_Node2
(N
, Val
); -- semantic field, no parent set
5713 end Set_Label_Construct
;
5715 procedure Set_Last_Bit
5716 (N
: Node_Id
; Val
: Node_Id
) is
5718 pragma Assert
(False
5719 or else NT
(N
).Nkind
= N_Component_Clause
);
5720 Set_Node4_With_Parent
(N
, Val
);
5723 procedure Set_Last_Name
5724 (N
: Node_Id
; Val
: Boolean := True) is
5726 pragma Assert
(False
5727 or else NT
(N
).Nkind
= N_With_Clause
);
5731 procedure Set_Left_Opnd
5732 (N
: Node_Id
; Val
: Node_Id
) is
5734 pragma Assert
(False
5735 or else NT
(N
).Nkind
= N_And_Then
5736 or else NT
(N
).Nkind
= N_In
5737 or else NT
(N
).Nkind
= N_Not_In
5738 or else NT
(N
).Nkind
= N_Or_Else
5739 or else NT
(N
).Nkind
in N_Binary_Op
);
5740 Set_Node2_With_Parent
(N
, Val
);
5743 procedure Set_Library_Unit
5744 (N
: Node_Id
; Val
: Node_Id
) is
5746 pragma Assert
(False
5747 or else NT
(N
).Nkind
= N_Compilation_Unit
5748 or else NT
(N
).Nkind
= N_Package_Body_Stub
5749 or else NT
(N
).Nkind
= N_Protected_Body_Stub
5750 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
5751 or else NT
(N
).Nkind
= N_Task_Body_Stub
5752 or else NT
(N
).Nkind
= N_With_Clause
);
5753 Set_Node4
(N
, Val
); -- semantic field, no parent set
5754 end Set_Library_Unit
;
5756 procedure Set_Limited_View_Installed
5757 (N
: Node_Id
; Val
: Boolean := True) is
5759 pragma Assert
(False
5760 or else NT
(N
).Nkind
= N_Package_Specification
5761 or else NT
(N
).Nkind
= N_With_Clause
);
5762 Set_Flag18
(N
, Val
);
5763 end Set_Limited_View_Installed
;
5765 procedure Set_Limited_Present
5766 (N
: Node_Id
; Val
: Boolean := True) is
5768 pragma Assert
(False
5769 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5770 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
5771 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
5772 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
5773 or else NT
(N
).Nkind
= N_Private_Type_Declaration
5774 or else NT
(N
).Nkind
= N_Record_Definition
5775 or else NT
(N
).Nkind
= N_With_Clause
);
5776 Set_Flag17
(N
, Val
);
5777 end Set_Limited_Present
;
5779 procedure Set_Literals
5780 (N
: Node_Id
; Val
: List_Id
) is
5782 pragma Assert
(False
5783 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
);
5784 Set_List1_With_Parent
(N
, Val
);
5787 procedure Set_Local_Raise_Not_OK
5788 (N
: Node_Id
; Val
: Boolean := True) is
5790 pragma Assert
(False
5791 or else NT
(N
).Nkind
= N_Exception_Handler
);
5793 end Set_Local_Raise_Not_OK
;
5795 procedure Set_Local_Raise_Statements
5796 (N
: Node_Id
; Val
: Elist_Id
) is
5798 pragma Assert
(False
5799 or else NT
(N
).Nkind
= N_Exception_Handler
);
5800 Set_Elist1
(N
, Val
);
5801 end Set_Local_Raise_Statements
;
5803 procedure Set_Loop_Actions
5804 (N
: Node_Id
; Val
: List_Id
) is
5806 pragma Assert
(False
5807 or else NT
(N
).Nkind
= N_Component_Association
5808 or else NT
(N
).Nkind
= N_Iterated_Component_Association
);
5809 Set_List2
(N
, Val
); -- semantic field, no parent set
5810 end Set_Loop_Actions
;
5812 procedure Set_Loop_Parameter_Specification
5813 (N
: Node_Id
; Val
: Node_Id
) is
5815 pragma Assert
(False
5816 or else NT
(N
).Nkind
= N_Iteration_Scheme
5817 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5818 Set_Node4_With_Parent
(N
, Val
);
5819 end Set_Loop_Parameter_Specification
;
5821 procedure Set_Low_Bound
5822 (N
: Node_Id
; Val
: Node_Id
) is
5824 pragma Assert
(False
5825 or else NT
(N
).Nkind
= N_Range
5826 or else NT
(N
).Nkind
= N_Real_Range_Specification
5827 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
5828 Set_Node1_With_Parent
(N
, Val
);
5831 procedure Set_Mod_Clause
5832 (N
: Node_Id
; Val
: Node_Id
) is
5834 pragma Assert
(False
5835 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5836 Set_Node2_With_Parent
(N
, Val
);
5839 procedure Set_More_Ids
5840 (N
: Node_Id
; Val
: Boolean := True) is
5842 pragma Assert
(False
5843 or else NT
(N
).Nkind
= N_Component_Declaration
5844 or else NT
(N
).Nkind
= N_Discriminant_Specification
5845 or else NT
(N
).Nkind
= N_Exception_Declaration
5846 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5847 or else NT
(N
).Nkind
= N_Number_Declaration
5848 or else NT
(N
).Nkind
= N_Object_Declaration
5849 or else NT
(N
).Nkind
= N_Parameter_Specification
5850 or else NT
(N
).Nkind
= N_Use_Package_Clause
5851 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5855 procedure Set_Must_Be_Byte_Aligned
5856 (N
: Node_Id
; Val
: Boolean := True) is
5858 pragma Assert
(False
5859 or else NT
(N
).Nkind
= N_Attribute_Reference
);
5860 Set_Flag14
(N
, Val
);
5861 end Set_Must_Be_Byte_Aligned
;
5863 procedure Set_Must_Not_Freeze
5864 (N
: Node_Id
; Val
: Boolean := True) is
5866 pragma Assert
(False
5867 or else NT
(N
).Nkind
= N_Subtype_Indication
5868 or else NT
(N
).Nkind
in N_Subexpr
);
5870 end Set_Must_Not_Freeze
;
5872 procedure Set_Must_Not_Override
5873 (N
: Node_Id
; Val
: Boolean := True) is
5875 pragma Assert
(False
5876 or else NT
(N
).Nkind
= N_Entry_Declaration
5877 or else NT
(N
).Nkind
= N_Function_Instantiation
5878 or else NT
(N
).Nkind
= N_Function_Specification
5879 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5880 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5881 Set_Flag15
(N
, Val
);
5882 end Set_Must_Not_Override
;
5884 procedure Set_Must_Override
5885 (N
: Node_Id
; Val
: Boolean := True) is
5887 pragma Assert
(False
5888 or else NT
(N
).Nkind
= N_Entry_Declaration
5889 or else NT
(N
).Nkind
= N_Function_Instantiation
5890 or else NT
(N
).Nkind
= N_Function_Specification
5891 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5892 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5893 Set_Flag14
(N
, Val
);
5894 end Set_Must_Override
;
5897 (N
: Node_Id
; Val
: Node_Id
) is
5899 pragma Assert
(False
5900 or else NT
(N
).Nkind
= N_Assignment_Statement
5901 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5902 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
5903 or else NT
(N
).Nkind
= N_Designator
5904 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5905 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
5906 or else NT
(N
).Nkind
= N_Exit_Statement
5907 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5908 or else NT
(N
).Nkind
= N_Function_Call
5909 or else NT
(N
).Nkind
= N_Function_Instantiation
5910 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
5911 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
5912 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
5913 or else NT
(N
).Nkind
= N_Goto_Statement
5914 or else NT
(N
).Nkind
= N_Iterator_Specification
5915 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
5916 or else NT
(N
).Nkind
= N_Package_Instantiation
5917 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
5918 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5919 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5920 or else NT
(N
).Nkind
= N_Raise_Expression
5921 or else NT
(N
).Nkind
= N_Raise_Statement
5922 or else NT
(N
).Nkind
= N_Requeue_Statement
5923 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
5924 or else NT
(N
).Nkind
= N_Subunit
5925 or else NT
(N
).Nkind
= N_Use_Package_Clause
5926 or else NT
(N
).Nkind
= N_Variant_Part
5927 or else NT
(N
).Nkind
= N_With_Clause
);
5928 Set_Node2_With_Parent
(N
, Val
);
5932 (N
: Node_Id
; Val
: List_Id
) is
5934 pragma Assert
(False
5935 or else NT
(N
).Nkind
= N_Abort_Statement
);
5936 Set_List2_With_Parent
(N
, Val
);
5939 procedure Set_Next_Entity
5940 (N
: Node_Id
; Val
: Node_Id
) is
5942 pragma Assert
(False
5943 or else NT
(N
).Nkind
= N_Defining_Character_Literal
5944 or else NT
(N
).Nkind
= N_Defining_Identifier
5945 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
5946 Set_Node2
(N
, Val
); -- semantic field, no parent set
5947 end Set_Next_Entity
;
5949 procedure Set_Next_Exit_Statement
5950 (N
: Node_Id
; Val
: Node_Id
) is
5952 pragma Assert
(False
5953 or else NT
(N
).Nkind
= N_Exit_Statement
);
5954 Set_Node3
(N
, Val
); -- semantic field, no parent set
5955 end Set_Next_Exit_Statement
;
5957 procedure Set_Next_Implicit_With
5958 (N
: Node_Id
; Val
: Node_Id
) is
5960 pragma Assert
(False
5961 or else NT
(N
).Nkind
= N_With_Clause
);
5962 Set_Node3
(N
, Val
); -- semantic field, no parent set
5963 end Set_Next_Implicit_With
;
5965 procedure Set_Next_Named_Actual
5966 (N
: Node_Id
; Val
: Node_Id
) is
5968 pragma Assert
(False
5969 or else NT
(N
).Nkind
= N_Parameter_Association
);
5970 Set_Node4
(N
, Val
); -- semantic field, no parent set
5971 end Set_Next_Named_Actual
;
5973 procedure Set_Next_Pragma
5974 (N
: Node_Id
; Val
: Node_Id
) is
5976 pragma Assert
(False
5977 or else NT
(N
).Nkind
= N_Pragma
);
5978 Set_Node1
(N
, Val
); -- semantic field, no parent set
5979 end Set_Next_Pragma
;
5981 procedure Set_Next_Rep_Item
5982 (N
: Node_Id
; Val
: Node_Id
) is
5984 pragma Assert
(False
5985 or else NT
(N
).Nkind
= N_Aspect_Specification
5986 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5987 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
5988 or else NT
(N
).Nkind
= N_Pragma
5989 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5990 Set_Node5
(N
, Val
); -- semantic field, no parent set
5991 end Set_Next_Rep_Item
;
5993 procedure Set_Next_Use_Clause
5994 (N
: Node_Id
; Val
: Node_Id
) is
5996 pragma Assert
(False
5997 or else NT
(N
).Nkind
= N_Use_Package_Clause
5998 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5999 Set_Node3
(N
, Val
); -- semantic field, no parent set
6000 end Set_Next_Use_Clause
;
6002 procedure Set_No_Ctrl_Actions
6003 (N
: Node_Id
; Val
: Boolean := True) is
6005 pragma Assert
(False
6006 or else NT
(N
).Nkind
= N_Assignment_Statement
);
6008 end Set_No_Ctrl_Actions
;
6010 procedure Set_No_Elaboration_Check
6011 (N
: Node_Id
; Val
: Boolean := True) is
6013 pragma Assert
(False
6014 or else NT
(N
).Nkind
= N_Function_Call
6015 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
6017 end Set_No_Elaboration_Check
;
6019 procedure Set_No_Entities_Ref_In_Spec
6020 (N
: Node_Id
; Val
: Boolean := True) is
6022 pragma Assert
(False
6023 or else NT
(N
).Nkind
= N_With_Clause
);
6025 end Set_No_Entities_Ref_In_Spec
;
6027 procedure Set_No_Initialization
6028 (N
: Node_Id
; Val
: Boolean := True) is
6030 pragma Assert
(False
6031 or else NT
(N
).Nkind
= N_Allocator
6032 or else NT
(N
).Nkind
= N_Object_Declaration
);
6033 Set_Flag13
(N
, Val
);
6034 end Set_No_Initialization
;
6036 procedure Set_No_Minimize_Eliminate
6037 (N
: Node_Id
; Val
: Boolean := True) is
6039 pragma Assert
(False
6040 or else NT
(N
).Nkind
= N_In
6041 or else NT
(N
).Nkind
= N_Not_In
);
6042 Set_Flag17
(N
, Val
);
6043 end Set_No_Minimize_Eliminate
;
6045 procedure Set_No_Side_Effect_Removal
6046 (N
: Node_Id
; Val
: Boolean := True) is
6048 pragma Assert
(False
6049 or else NT
(N
).Nkind
= N_Function_Call
);
6050 Set_Flag17
(N
, Val
);
6051 end Set_No_Side_Effect_Removal
;
6053 procedure Set_No_Truncation
6054 (N
: Node_Id
; Val
: Boolean := True) is
6056 pragma Assert
(False
6057 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
6058 Set_Flag17
(N
, Val
);
6059 end Set_No_Truncation
;
6061 procedure Set_Null_Excluding_Subtype
6062 (N
: Node_Id
; Val
: Boolean := True) is
6064 pragma Assert
(False
6065 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
);
6066 Set_Flag16
(N
, Val
);
6067 end Set_Null_Excluding_Subtype
;
6069 procedure Set_Null_Exclusion_Present
6070 (N
: Node_Id
; Val
: Boolean := True) is
6072 pragma Assert
(False
6073 or else NT
(N
).Nkind
= N_Access_Definition
6074 or else NT
(N
).Nkind
= N_Access_Function_Definition
6075 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6076 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
6077 or else NT
(N
).Nkind
= N_Allocator
6078 or else NT
(N
).Nkind
= N_Component_Definition
6079 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6080 or else NT
(N
).Nkind
= N_Discriminant_Specification
6081 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6082 or else NT
(N
).Nkind
= N_Function_Specification
6083 or else NT
(N
).Nkind
= N_Object_Declaration
6084 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
6085 or else NT
(N
).Nkind
= N_Parameter_Specification
6086 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
6087 Set_Flag11
(N
, Val
);
6088 end Set_Null_Exclusion_Present
;
6090 procedure Set_Null_Exclusion_In_Return_Present
6091 (N
: Node_Id
; Val
: Boolean := True) is
6093 pragma Assert
(False
6094 or else NT
(N
).Nkind
= N_Access_Function_Definition
);
6095 Set_Flag14
(N
, Val
);
6096 end Set_Null_Exclusion_In_Return_Present
;
6098 procedure Set_Null_Present
6099 (N
: Node_Id
; Val
: Boolean := True) is
6101 pragma Assert
(False
6102 or else NT
(N
).Nkind
= N_Component_List
6103 or else NT
(N
).Nkind
= N_Procedure_Specification
6104 or else NT
(N
).Nkind
= N_Record_Definition
);
6105 Set_Flag13
(N
, Val
);
6106 end Set_Null_Present
;
6108 procedure Set_Null_Record_Present
6109 (N
: Node_Id
; Val
: Boolean := True) is
6111 pragma Assert
(False
6112 or else NT
(N
).Nkind
= N_Aggregate
6113 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
6114 Set_Flag17
(N
, Val
);
6115 end Set_Null_Record_Present
;
6117 procedure Set_Null_Statement
6118 (N
: Node_Id
; Val
: Node_Id
) is
6120 pragma Assert
(False
6121 or else NT
(N
).Nkind
= N_Procedure_Specification
);
6123 end Set_Null_Statement
;
6125 procedure Set_Object_Definition
6126 (N
: Node_Id
; Val
: Node_Id
) is
6128 pragma Assert
(False
6129 or else NT
(N
).Nkind
= N_Object_Declaration
);
6130 Set_Node4_With_Parent
(N
, Val
);
6131 end Set_Object_Definition
;
6133 procedure Set_Of_Present
6134 (N
: Node_Id
; Val
: Boolean := True) is
6136 pragma Assert
(False
6137 or else NT
(N
).Nkind
= N_Iterator_Specification
);
6138 Set_Flag16
(N
, Val
);
6141 procedure Set_Original_Discriminant
6142 (N
: Node_Id
; Val
: Node_Id
) is
6144 pragma Assert
(False
6145 or else NT
(N
).Nkind
= N_Identifier
);
6146 Set_Node2
(N
, Val
); -- semantic field, no parent set
6147 end Set_Original_Discriminant
;
6149 procedure Set_Original_Entity
6150 (N
: Node_Id
; Val
: Entity_Id
) is
6152 pragma Assert
(False
6153 or else NT
(N
).Nkind
= N_Integer_Literal
6154 or else NT
(N
).Nkind
= N_Real_Literal
);
6155 Set_Node2
(N
, Val
); -- semantic field, no parent set
6156 end Set_Original_Entity
;
6158 procedure Set_Others_Discrete_Choices
6159 (N
: Node_Id
; Val
: List_Id
) is
6161 pragma Assert
(False
6162 or else NT
(N
).Nkind
= N_Others_Choice
);
6163 Set_List1_With_Parent
(N
, Val
);
6164 end Set_Others_Discrete_Choices
;
6166 procedure Set_Out_Present
6167 (N
: Node_Id
; Val
: Boolean := True) is
6169 pragma Assert
(False
6170 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6171 or else NT
(N
).Nkind
= N_Parameter_Specification
);
6172 Set_Flag17
(N
, Val
);
6173 end Set_Out_Present
;
6175 procedure Set_Parameter_Associations
6176 (N
: Node_Id
; Val
: List_Id
) is
6178 pragma Assert
(False
6179 or else NT
(N
).Nkind
= N_Entry_Call_Statement
6180 or else NT
(N
).Nkind
= N_Function_Call
6181 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
6182 Set_List3_With_Parent
(N
, Val
);
6183 end Set_Parameter_Associations
;
6185 procedure Set_Parameter_Specifications
6186 (N
: Node_Id
; Val
: List_Id
) is
6188 pragma Assert
(False
6189 or else NT
(N
).Nkind
= N_Accept_Statement
6190 or else NT
(N
).Nkind
= N_Access_Function_Definition
6191 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6192 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
6193 or else NT
(N
).Nkind
= N_Entry_Declaration
6194 or else NT
(N
).Nkind
= N_Function_Specification
6195 or else NT
(N
).Nkind
= N_Procedure_Specification
);
6196 Set_List3_With_Parent
(N
, Val
);
6197 end Set_Parameter_Specifications
;
6199 procedure Set_Parameter_Type
6200 (N
: Node_Id
; Val
: Node_Id
) is
6202 pragma Assert
(False
6203 or else NT
(N
).Nkind
= N_Parameter_Specification
);
6204 Set_Node2_With_Parent
(N
, Val
);
6205 end Set_Parameter_Type
;
6207 procedure Set_Parent_Spec
6208 (N
: Node_Id
; Val
: Node_Id
) is
6210 pragma Assert
(False
6211 or else NT
(N
).Nkind
= N_Function_Instantiation
6212 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
6213 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
6214 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
6215 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
6216 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
6217 or else NT
(N
).Nkind
= N_Package_Declaration
6218 or else NT
(N
).Nkind
= N_Package_Instantiation
6219 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
6220 or else NT
(N
).Nkind
= N_Procedure_Instantiation
6221 or else NT
(N
).Nkind
= N_Subprogram_Declaration
6222 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
6223 Set_Node4
(N
, Val
); -- semantic field, no parent set
6224 end Set_Parent_Spec
;
6226 procedure Set_Parent_With
6227 (N
: Node_Id
; Val
: Boolean := True) is
6229 pragma Assert
(False
6230 or else NT
(N
).Nkind
= N_With_Clause
);
6232 end Set_Parent_With
;
6234 procedure Set_Position
6235 (N
: Node_Id
; Val
: Node_Id
) is
6237 pragma Assert
(False
6238 or else NT
(N
).Nkind
= N_Component_Clause
);
6239 Set_Node2_With_Parent
(N
, Val
);
6242 procedure Set_Pragma_Argument_Associations
6243 (N
: Node_Id
; Val
: List_Id
) is
6245 pragma Assert
(False
6246 or else NT
(N
).Nkind
= N_Pragma
);
6247 Set_List2_With_Parent
(N
, Val
);
6248 end Set_Pragma_Argument_Associations
;
6250 procedure Set_Pragma_Identifier
6251 (N
: Node_Id
; Val
: Node_Id
) is
6253 pragma Assert
(False
6254 or else NT
(N
).Nkind
= N_Pragma
);
6255 Set_Node4_With_Parent
(N
, Val
);
6256 end Set_Pragma_Identifier
;
6258 procedure Set_Pragmas_After
6259 (N
: Node_Id
; Val
: List_Id
) is
6261 pragma Assert
(False
6262 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
6263 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
6264 Set_List5_With_Parent
(N
, Val
);
6265 end Set_Pragmas_After
;
6267 procedure Set_Pragmas_Before
6268 (N
: Node_Id
; Val
: List_Id
) is
6270 pragma Assert
(False
6271 or else NT
(N
).Nkind
= N_Accept_Alternative
6272 or else NT
(N
).Nkind
= N_Delay_Alternative
6273 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
6274 or else NT
(N
).Nkind
= N_Mod_Clause
6275 or else NT
(N
).Nkind
= N_Terminate_Alternative
6276 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6277 Set_List4_With_Parent
(N
, Val
);
6278 end Set_Pragmas_Before
;
6280 procedure Set_Pre_Post_Conditions
6281 (N
: Node_Id
; Val
: Node_Id
) is
6283 pragma Assert
(False
6284 or else NT
(N
).Nkind
= N_Contract
);
6285 Set_Node1
(N
, Val
); -- semantic field, no parent set
6286 end Set_Pre_Post_Conditions
;
6288 procedure Set_Prefix
6289 (N
: Node_Id
; Val
: Node_Id
) is
6291 pragma Assert
(False
6292 or else NT
(N
).Nkind
= N_Attribute_Reference
6293 or else NT
(N
).Nkind
= N_Expanded_Name
6294 or else NT
(N
).Nkind
= N_Explicit_Dereference
6295 or else NT
(N
).Nkind
= N_Indexed_Component
6296 or else NT
(N
).Nkind
= N_Reference
6297 or else NT
(N
).Nkind
= N_Selected_Component
6298 or else NT
(N
).Nkind
= N_Slice
);
6299 Set_Node3_With_Parent
(N
, Val
);
6302 procedure Set_Premature_Use
6303 (N
: Node_Id
; Val
: Node_Id
) is
6305 pragma Assert
(False
6306 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
);
6308 end Set_Premature_Use
;
6310 procedure Set_Present_Expr
6311 (N
: Node_Id
; Val
: Uint
) is
6313 pragma Assert
(False
6314 or else NT
(N
).Nkind
= N_Variant
);
6316 end Set_Present_Expr
;
6318 procedure Set_Prev_Ids
6319 (N
: Node_Id
; Val
: Boolean := True) is
6321 pragma Assert
(False
6322 or else NT
(N
).Nkind
= N_Component_Declaration
6323 or else NT
(N
).Nkind
= N_Discriminant_Specification
6324 or else NT
(N
).Nkind
= N_Exception_Declaration
6325 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6326 or else NT
(N
).Nkind
= N_Number_Declaration
6327 or else NT
(N
).Nkind
= N_Object_Declaration
6328 or else NT
(N
).Nkind
= N_Parameter_Specification
6329 or else NT
(N
).Nkind
= N_Use_Package_Clause
6330 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6334 procedure Set_Prev_Use_Clause
6335 (N
: Node_Id
; Val
: Node_Id
) is
6337 pragma Assert
(False
6338 or else NT
(N
).Nkind
= N_Use_Package_Clause
6339 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6340 Set_Node1
(N
, Val
); -- semantic field, no parent set
6341 end Set_Prev_Use_Clause
;
6343 procedure Set_Print_In_Hex
6344 (N
: Node_Id
; Val
: Boolean := True) is
6346 pragma Assert
(False
6347 or else NT
(N
).Nkind
= N_Integer_Literal
);
6348 Set_Flag13
(N
, Val
);
6349 end Set_Print_In_Hex
;
6351 procedure Set_Private_Declarations
6352 (N
: Node_Id
; Val
: List_Id
) is
6354 pragma Assert
(False
6355 or else NT
(N
).Nkind
= N_Package_Specification
6356 or else NT
(N
).Nkind
= N_Protected_Definition
6357 or else NT
(N
).Nkind
= N_Task_Definition
);
6358 Set_List3_With_Parent
(N
, Val
);
6359 end Set_Private_Declarations
;
6361 procedure Set_Private_Present
6362 (N
: Node_Id
; Val
: Boolean := True) is
6364 pragma Assert
(False
6365 or else NT
(N
).Nkind
= N_Compilation_Unit
6366 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6367 or else NT
(N
).Nkind
= N_With_Clause
);
6368 Set_Flag15
(N
, Val
);
6369 end Set_Private_Present
;
6371 procedure Set_Procedure_To_Call
6372 (N
: Node_Id
; Val
: Node_Id
) is
6374 pragma Assert
(False
6375 or else NT
(N
).Nkind
= N_Allocator
6376 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6377 or else NT
(N
).Nkind
= N_Free_Statement
6378 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6379 Set_Node2
(N
, Val
); -- semantic field, no parent set
6380 end Set_Procedure_To_Call
;
6382 procedure Set_Proper_Body
6383 (N
: Node_Id
; Val
: Node_Id
) is
6385 pragma Assert
(False
6386 or else NT
(N
).Nkind
= N_Subunit
);
6387 Set_Node1_With_Parent
(N
, Val
);
6388 end Set_Proper_Body
;
6390 procedure Set_Protected_Definition
6391 (N
: Node_Id
; Val
: Node_Id
) is
6393 pragma Assert
(False
6394 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
6395 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
);
6396 Set_Node3_With_Parent
(N
, Val
);
6397 end Set_Protected_Definition
;
6399 procedure Set_Protected_Present
6400 (N
: Node_Id
; Val
: Boolean := True) is
6402 pragma Assert
(False
6403 or else NT
(N
).Nkind
= N_Access_Function_Definition
6404 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6405 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6406 or else NT
(N
).Nkind
= N_Record_Definition
);
6408 end Set_Protected_Present
;
6410 procedure Set_Raises_Constraint_Error
6411 (N
: Node_Id
; Val
: Boolean := True) is
6413 pragma Assert
(False
6414 or else NT
(N
).Nkind
in N_Subexpr
);
6416 end Set_Raises_Constraint_Error
;
6418 procedure Set_Range_Constraint
6419 (N
: Node_Id
; Val
: Node_Id
) is
6421 pragma Assert
(False
6422 or else NT
(N
).Nkind
= N_Delta_Constraint
6423 or else NT
(N
).Nkind
= N_Digits_Constraint
);
6424 Set_Node4_With_Parent
(N
, Val
);
6425 end Set_Range_Constraint
;
6427 procedure Set_Range_Expression
6428 (N
: Node_Id
; Val
: Node_Id
) is
6430 pragma Assert
(False
6431 or else NT
(N
).Nkind
= N_Range_Constraint
);
6432 Set_Node4_With_Parent
(N
, Val
);
6433 end Set_Range_Expression
;
6435 procedure Set_Real_Range_Specification
6436 (N
: Node_Id
; Val
: Node_Id
) is
6438 pragma Assert
(False
6439 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
6440 or else NT
(N
).Nkind
= N_Floating_Point_Definition
6441 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
6442 Set_Node4_With_Parent
(N
, Val
);
6443 end Set_Real_Range_Specification
;
6445 procedure Set_Realval
6446 (N
: Node_Id
; Val
: Ureal
) is
6448 pragma Assert
(False
6449 or else NT
(N
).Nkind
= N_Real_Literal
);
6450 Set_Ureal3
(N
, Val
);
6453 procedure Set_Reason
6454 (N
: Node_Id
; Val
: Uint
) is
6456 pragma Assert
(False
6457 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
6458 or else NT
(N
).Nkind
= N_Raise_Program_Error
6459 or else NT
(N
).Nkind
= N_Raise_Storage_Error
);
6463 procedure Set_Record_Extension_Part
6464 (N
: Node_Id
; Val
: Node_Id
) is
6466 pragma Assert
(False
6467 or else NT
(N
).Nkind
= N_Derived_Type_Definition
);
6468 Set_Node3_With_Parent
(N
, Val
);
6469 end Set_Record_Extension_Part
;
6471 procedure Set_Redundant_Use
6472 (N
: Node_Id
; Val
: Boolean := True) is
6474 pragma Assert
(False
6475 or else NT
(N
).Nkind
= N_Attribute_Reference
6476 or else NT
(N
).Nkind
= N_Expanded_Name
6477 or else NT
(N
).Nkind
= N_Identifier
);
6478 Set_Flag13
(N
, Val
);
6479 end Set_Redundant_Use
;
6481 procedure Set_Renaming_Exception
6482 (N
: Node_Id
; Val
: Node_Id
) is
6484 pragma Assert
(False
6485 or else NT
(N
).Nkind
= N_Exception_Declaration
);
6487 end Set_Renaming_Exception
;
6489 procedure Set_Result_Definition
6490 (N
: Node_Id
; Val
: Node_Id
) is
6492 pragma Assert
(False
6493 or else NT
(N
).Nkind
= N_Access_Function_Definition
6494 or else NT
(N
).Nkind
= N_Function_Specification
);
6495 Set_Node4_With_Parent
(N
, Val
);
6496 end Set_Result_Definition
;
6498 procedure Set_Return_Object_Declarations
6499 (N
: Node_Id
; Val
: List_Id
) is
6501 pragma Assert
(False
6502 or else NT
(N
).Nkind
= N_Extended_Return_Statement
);
6503 Set_List3_With_Parent
(N
, Val
);
6504 end Set_Return_Object_Declarations
;
6506 procedure Set_Return_Statement_Entity
6507 (N
: Node_Id
; Val
: Node_Id
) is
6509 pragma Assert
(False
6510 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6511 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6512 Set_Node5
(N
, Val
); -- semantic field, no parent set
6513 end Set_Return_Statement_Entity
;
6515 procedure Set_Reverse_Present
6516 (N
: Node_Id
; Val
: Boolean := True) is
6518 pragma Assert
(False
6519 or else NT
(N
).Nkind
= N_Iterator_Specification
6520 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
6521 Set_Flag15
(N
, Val
);
6522 end Set_Reverse_Present
;
6524 procedure Set_Right_Opnd
6525 (N
: Node_Id
; Val
: Node_Id
) is
6527 pragma Assert
(False
6528 or else NT
(N
).Nkind
in N_Op
6529 or else NT
(N
).Nkind
= N_And_Then
6530 or else NT
(N
).Nkind
= N_In
6531 or else NT
(N
).Nkind
= N_Not_In
6532 or else NT
(N
).Nkind
= N_Or_Else
);
6533 Set_Node3_With_Parent
(N
, Val
);
6536 procedure Set_Rounded_Result
6537 (N
: Node_Id
; Val
: Boolean := True) is
6539 pragma Assert
(False
6540 or else NT
(N
).Nkind
= N_Op_Divide
6541 or else NT
(N
).Nkind
= N_Op_Multiply
6542 or else NT
(N
).Nkind
= N_Type_Conversion
);
6543 Set_Flag18
(N
, Val
);
6544 end Set_Rounded_Result
;
6546 procedure Set_SCIL_Controlling_Tag
6547 (N
: Node_Id
; Val
: Node_Id
) is
6549 pragma Assert
(False
6550 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
6551 Set_Node5
(N
, Val
); -- semantic field, no parent set
6552 end Set_SCIL_Controlling_Tag
;
6554 procedure Set_SCIL_Entity
6555 (N
: Node_Id
; Val
: Node_Id
) is
6557 pragma Assert
(False
6558 or else NT
(N
).Nkind
= N_SCIL_Dispatch_Table_Tag_Init
6559 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
6560 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
6561 Set_Node4
(N
, Val
); -- semantic field, no parent set
6562 end Set_SCIL_Entity
;
6564 procedure Set_SCIL_Tag_Value
6565 (N
: Node_Id
; Val
: Node_Id
) is
6567 pragma Assert
(False
6568 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
6569 Set_Node5
(N
, Val
); -- semantic field, no parent set
6570 end Set_SCIL_Tag_Value
;
6572 procedure Set_SCIL_Target_Prim
6573 (N
: Node_Id
; Val
: Node_Id
) is
6575 pragma Assert
(False
6576 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
6577 Set_Node2
(N
, Val
); -- semantic field, no parent set
6578 end Set_SCIL_Target_Prim
;
6581 (N
: Node_Id
; Val
: Node_Id
) is
6583 pragma Assert
(False
6584 or else NT
(N
).Nkind
= N_Defining_Character_Literal
6585 or else NT
(N
).Nkind
= N_Defining_Identifier
6586 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
6587 Set_Node3
(N
, Val
); -- semantic field, no parent set
6590 procedure Set_Select_Alternatives
6591 (N
: Node_Id
; Val
: List_Id
) is
6593 pragma Assert
(False
6594 or else NT
(N
).Nkind
= N_Selective_Accept
);
6595 Set_List1_With_Parent
(N
, Val
);
6596 end Set_Select_Alternatives
;
6598 procedure Set_Selector_Name
6599 (N
: Node_Id
; Val
: Node_Id
) is
6601 pragma Assert
(False
6602 or else NT
(N
).Nkind
= N_Expanded_Name
6603 or else NT
(N
).Nkind
= N_Generic_Association
6604 or else NT
(N
).Nkind
= N_Parameter_Association
6605 or else NT
(N
).Nkind
= N_Selected_Component
);
6606 Set_Node2_With_Parent
(N
, Val
);
6607 end Set_Selector_Name
;
6609 procedure Set_Selector_Names
6610 (N
: Node_Id
; Val
: List_Id
) is
6612 pragma Assert
(False
6613 or else NT
(N
).Nkind
= N_Discriminant_Association
);
6614 Set_List1_With_Parent
(N
, Val
);
6615 end Set_Selector_Names
;
6617 procedure Set_Shift_Count_OK
6618 (N
: Node_Id
; Val
: Boolean := True) is
6620 pragma Assert
(False
6621 or else NT
(N
).Nkind
= N_Op_Rotate_Left
6622 or else NT
(N
).Nkind
= N_Op_Rotate_Right
6623 or else NT
(N
).Nkind
= N_Op_Shift_Left
6624 or else NT
(N
).Nkind
= N_Op_Shift_Right
6625 or else NT
(N
).Nkind
= N_Op_Shift_Right_Arithmetic
);
6627 end Set_Shift_Count_OK
;
6629 procedure Set_Source_Type
6630 (N
: Node_Id
; Val
: Entity_Id
) is
6632 pragma Assert
(False
6633 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6634 Set_Node1
(N
, Val
); -- semantic field, no parent set
6635 end Set_Source_Type
;
6637 procedure Set_Specification
6638 (N
: Node_Id
; Val
: Node_Id
) is
6640 pragma Assert
(False
6641 or else NT
(N
).Nkind
= N_Abstract_Subprogram_Declaration
6642 or else NT
(N
).Nkind
= N_Expression_Function
6643 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
6644 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
6645 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
6646 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
6647 or else NT
(N
).Nkind
= N_Package_Declaration
6648 or else NT
(N
).Nkind
= N_Subprogram_Body
6649 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
6650 or else NT
(N
).Nkind
= N_Subprogram_Declaration
6651 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
6652 Set_Node1_With_Parent
(N
, Val
);
6653 end Set_Specification
;
6655 procedure Set_Split_PPC
6656 (N
: Node_Id
; Val
: Boolean) is
6658 pragma Assert
(False
6659 or else NT
(N
).Nkind
= N_Aspect_Specification
6660 or else NT
(N
).Nkind
= N_Pragma
);
6661 Set_Flag17
(N
, Val
);
6664 procedure Set_Statements
6665 (N
: Node_Id
; Val
: List_Id
) is
6667 pragma Assert
(False
6668 or else NT
(N
).Nkind
= N_Abortable_Part
6669 or else NT
(N
).Nkind
= N_Accept_Alternative
6670 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
6671 or else NT
(N
).Nkind
= N_Delay_Alternative
6672 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
6673 or else NT
(N
).Nkind
= N_Exception_Handler
6674 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
6675 or else NT
(N
).Nkind
= N_Loop_Statement
6676 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6677 Set_List3_With_Parent
(N
, Val
);
6680 procedure Set_Storage_Pool
6681 (N
: Node_Id
; Val
: Node_Id
) is
6683 pragma Assert
(False
6684 or else NT
(N
).Nkind
= N_Allocator
6685 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6686 or else NT
(N
).Nkind
= N_Free_Statement
6687 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6688 Set_Node1
(N
, Val
); -- semantic field, no parent set
6689 end Set_Storage_Pool
;
6691 procedure Set_Subpool_Handle_Name
6692 (N
: Node_Id
; Val
: Node_Id
) is
6694 pragma Assert
(False
6695 or else NT
(N
).Nkind
= N_Allocator
);
6696 Set_Node4_With_Parent
(N
, Val
);
6697 end Set_Subpool_Handle_Name
;
6699 procedure Set_Strval
6700 (N
: Node_Id
; Val
: String_Id
) is
6702 pragma Assert
(False
6703 or else NT
(N
).Nkind
= N_Operator_Symbol
6704 or else NT
(N
).Nkind
= N_String_Literal
);
6708 procedure Set_Subtype_Indication
6709 (N
: Node_Id
; Val
: Node_Id
) is
6711 pragma Assert
(False
6712 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
6713 or else NT
(N
).Nkind
= N_Component_Definition
6714 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6715 or else NT
(N
).Nkind
= N_Iterator_Specification
6716 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6717 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
6718 Set_Node5_With_Parent
(N
, Val
);
6719 end Set_Subtype_Indication
;
6721 procedure Set_Subtype_Mark
6722 (N
: Node_Id
; Val
: Node_Id
) is
6724 pragma Assert
(False
6725 or else NT
(N
).Nkind
= N_Access_Definition
6726 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6727 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6728 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
6729 or else NT
(N
).Nkind
= N_Qualified_Expression
6730 or else NT
(N
).Nkind
= N_Subtype_Indication
6731 or else NT
(N
).Nkind
= N_Type_Conversion
6732 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
6733 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6734 Set_Node4_With_Parent
(N
, Val
);
6735 end Set_Subtype_Mark
;
6737 procedure Set_Subtype_Marks
6738 (N
: Node_Id
; Val
: List_Id
) is
6740 pragma Assert
(False
6741 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
6742 Set_List2_With_Parent
(N
, Val
);
6743 end Set_Subtype_Marks
;
6745 procedure Set_Suppress_Assignment_Checks
6746 (N
: Node_Id
; Val
: Boolean := True) is
6748 pragma Assert
(False
6749 or else NT
(N
).Nkind
= N_Assignment_Statement
6750 or else NT
(N
).Nkind
= N_Object_Declaration
);
6751 Set_Flag18
(N
, Val
);
6752 end Set_Suppress_Assignment_Checks
;
6754 procedure Set_Suppress_Loop_Warnings
6755 (N
: Node_Id
; Val
: Boolean := True) is
6757 pragma Assert
(False
6758 or else NT
(N
).Nkind
= N_Loop_Statement
);
6759 Set_Flag17
(N
, Val
);
6760 end Set_Suppress_Loop_Warnings
;
6762 procedure Set_Synchronized_Present
6763 (N
: Node_Id
; Val
: Boolean := True) is
6765 pragma Assert
(False
6766 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6767 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6768 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6769 or else NT
(N
).Nkind
= N_Record_Definition
);
6771 end Set_Synchronized_Present
;
6773 procedure Set_Tagged_Present
6774 (N
: Node_Id
; Val
: Boolean := True) is
6776 pragma Assert
(False
6777 or else NT
(N
).Nkind
= N_Formal_Incomplete_Type_Definition
6778 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
6779 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6780 or else NT
(N
).Nkind
= N_Private_Type_Declaration
6781 or else NT
(N
).Nkind
= N_Record_Definition
);
6782 Set_Flag15
(N
, Val
);
6783 end Set_Tagged_Present
;
6785 procedure Set_Target
6786 (N
: Node_Id
; Val
: Entity_Id
) is
6788 pragma Assert
(False
6789 or else NT
(N
).Nkind
= N_Call_Marker
6790 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
6791 Set_Node1
(N
, Val
); -- semantic field, no parent set
6794 procedure Set_Target_Type
6795 (N
: Node_Id
; Val
: Entity_Id
) is
6797 pragma Assert
(False
6798 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6799 Set_Node2
(N
, Val
); -- semantic field, no parent set
6800 end Set_Target_Type
;
6802 procedure Set_Task_Definition
6803 (N
: Node_Id
; Val
: Node_Id
) is
6805 pragma Assert
(False
6806 or else NT
(N
).Nkind
= N_Single_Task_Declaration
6807 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
6808 Set_Node3_With_Parent
(N
, Val
);
6809 end Set_Task_Definition
;
6811 procedure Set_Task_Present
6812 (N
: Node_Id
; Val
: Boolean := True) is
6814 pragma Assert
(False
6815 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6816 or else NT
(N
).Nkind
= N_Record_Definition
);
6818 end Set_Task_Present
;
6820 procedure Set_Then_Actions
6821 (N
: Node_Id
; Val
: List_Id
) is
6823 pragma Assert
(False
6824 or else NT
(N
).Nkind
= N_If_Expression
);
6825 Set_List2_With_Parent
(N
, Val
); -- semantic field, but needs parents
6826 end Set_Then_Actions
;
6828 procedure Set_Then_Statements
6829 (N
: Node_Id
; Val
: List_Id
) is
6831 pragma Assert
(False
6832 or else NT
(N
).Nkind
= N_Elsif_Part
6833 or else NT
(N
).Nkind
= N_If_Statement
);
6834 Set_List2_With_Parent
(N
, Val
);
6835 end Set_Then_Statements
;
6837 procedure Set_Treat_Fixed_As_Integer
6838 (N
: Node_Id
; Val
: Boolean := True) is
6840 pragma Assert
(False
6841 or else NT
(N
).Nkind
= N_Op_Divide
6842 or else NT
(N
).Nkind
= N_Op_Mod
6843 or else NT
(N
).Nkind
= N_Op_Multiply
6844 or else NT
(N
).Nkind
= N_Op_Rem
);
6845 Set_Flag14
(N
, Val
);
6846 end Set_Treat_Fixed_As_Integer
;
6848 procedure Set_Triggering_Alternative
6849 (N
: Node_Id
; Val
: Node_Id
) is
6851 pragma Assert
(False
6852 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
6853 Set_Node1_With_Parent
(N
, Val
);
6854 end Set_Triggering_Alternative
;
6856 procedure Set_Triggering_Statement
6857 (N
: Node_Id
; Val
: Node_Id
) is
6859 pragma Assert
(False
6860 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6861 Set_Node1_With_Parent
(N
, Val
);
6862 end Set_Triggering_Statement
;
6864 procedure Set_TSS_Elist
6865 (N
: Node_Id
; Val
: Elist_Id
) is
6867 pragma Assert
(False
6868 or else NT
(N
).Nkind
= N_Freeze_Entity
);
6869 Set_Elist3
(N
, Val
); -- semantic field, no parent set
6872 procedure Set_Uneval_Old_Accept
6873 (N
: Node_Id
; Val
: Boolean := True) is
6875 pragma Assert
(False
6876 or else NT
(N
).Nkind
= N_Pragma
);
6878 end Set_Uneval_Old_Accept
;
6880 procedure Set_Uneval_Old_Warn
6881 (N
: Node_Id
; Val
: Boolean := True) is
6883 pragma Assert
(False
6884 or else NT
(N
).Nkind
= N_Pragma
);
6885 Set_Flag18
(N
, Val
);
6886 end Set_Uneval_Old_Warn
;
6888 procedure Set_Type_Definition
6889 (N
: Node_Id
; Val
: Node_Id
) is
6891 pragma Assert
(False
6892 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
6893 Set_Node3_With_Parent
(N
, Val
);
6894 end Set_Type_Definition
;
6897 (N
: Node_Id
; Val
: Node_Id
) is
6899 pragma Assert
(False
6900 or else NT
(N
).Nkind
= N_Compilation_Unit
);
6901 Set_Node2_With_Parent
(N
, Val
);
6904 procedure Set_Unknown_Discriminants_Present
6905 (N
: Node_Id
; Val
: Boolean := True) is
6907 pragma Assert
(False
6908 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
6909 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6910 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6911 or else NT
(N
).Nkind
= N_Private_Type_Declaration
);
6912 Set_Flag13
(N
, Val
);
6913 end Set_Unknown_Discriminants_Present
;
6915 procedure Set_Unreferenced_In_Spec
6916 (N
: Node_Id
; Val
: Boolean := True) is
6918 pragma Assert
(False
6919 or else NT
(N
).Nkind
= N_With_Clause
);
6921 end Set_Unreferenced_In_Spec
;
6923 procedure Set_Variant_Part
6924 (N
: Node_Id
; Val
: Node_Id
) is
6926 pragma Assert
(False
6927 or else NT
(N
).Nkind
= N_Component_List
);
6928 Set_Node4_With_Parent
(N
, Val
);
6929 end Set_Variant_Part
;
6931 procedure Set_Variants
6932 (N
: Node_Id
; Val
: List_Id
) is
6934 pragma Assert
(False
6935 or else NT
(N
).Nkind
= N_Variant_Part
);
6936 Set_List1_With_Parent
(N
, Val
);
6939 procedure Set_Visible_Declarations
6940 (N
: Node_Id
; Val
: List_Id
) is
6942 pragma Assert
(False
6943 or else NT
(N
).Nkind
= N_Package_Specification
6944 or else NT
(N
).Nkind
= N_Protected_Definition
6945 or else NT
(N
).Nkind
= N_Task_Definition
);
6946 Set_List2_With_Parent
(N
, Val
);
6947 end Set_Visible_Declarations
;
6949 procedure Set_Uninitialized_Variable
6950 (N
: Node_Id
; Val
: Node_Id
) is
6952 pragma Assert
(False
6953 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
6954 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
);
6956 end Set_Uninitialized_Variable
;
6958 procedure Set_Used_Operations
6959 (N
: Node_Id
; Val
: Elist_Id
) is
6961 pragma Assert
(False
6962 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6963 Set_Elist2
(N
, Val
);
6964 end Set_Used_Operations
;
6966 procedure Set_Was_Attribute_Reference
6967 (N
: Node_Id
; Val
: Boolean := True) is
6969 pragma Assert
(False
6970 or else NT
(N
).Nkind
= N_Subprogram_Body
);
6972 end Set_Was_Attribute_Reference
;
6974 procedure Set_Was_Expression_Function
6975 (N
: Node_Id
; Val
: Boolean := True) is
6977 pragma Assert
(False
6978 or else NT
(N
).Nkind
= N_Subprogram_Body
);
6979 Set_Flag18
(N
, Val
);
6980 end Set_Was_Expression_Function
;
6982 procedure Set_Was_Originally_Stub
6983 (N
: Node_Id
; Val
: Boolean := True) is
6985 pragma Assert
(False
6986 or else NT
(N
).Nkind
= N_Package_Body
6987 or else NT
(N
).Nkind
= N_Protected_Body
6988 or else NT
(N
).Nkind
= N_Subprogram_Body
6989 or else NT
(N
).Nkind
= N_Task_Body
);
6990 Set_Flag13
(N
, Val
);
6991 end Set_Was_Originally_Stub
;
6993 procedure Set_Withed_Body
6994 (N
: Node_Id
; Val
: Node_Id
) is
6996 pragma Assert
(False
6997 or else NT
(N
).Nkind
= N_With_Clause
);
6999 end Set_Withed_Body
;
7001 -------------------------
7002 -- Iterator Procedures --
7003 -------------------------
7005 procedure Next_Entity
(N
: in out Node_Id
) is
7007 N
:= Next_Entity
(N
);
7010 procedure Next_Named_Actual
(N
: in out Node_Id
) is
7012 N
:= Next_Named_Actual
(N
);
7013 end Next_Named_Actual
;
7015 procedure Next_Rep_Item
(N
: in out Node_Id
) is
7017 N
:= Next_Rep_Item
(N
);
7020 procedure Next_Use_Clause
(N
: in out Node_Id
) is
7022 N
:= Next_Use_Clause
(N
);
7023 end Next_Use_Clause
;
7029 function End_Location
(N
: Node_Id
) return Source_Ptr
is
7030 L
: constant Uint
:= End_Span
(N
);
7035 return Source_Ptr
(Int
(Sloc
(N
)) + UI_To_Int
(L
));
7039 --------------------
7040 -- Get_Pragma_Arg --
7041 --------------------
7043 function Get_Pragma_Arg
(Arg
: Node_Id
) return Node_Id
is
7045 if Nkind
(Arg
) = N_Pragma_Argument_Association
then
7046 return Expression
(Arg
);
7052 ----------------------
7053 -- Set_End_Location --
7054 ----------------------
7056 procedure Set_End_Location
(N
: Node_Id
; S
: Source_Ptr
) is
7059 UI_From_Int
(Int
(S
) - Int
(Sloc
(N
))));
7060 end Set_End_Location
;
7069 V2
: Node_Kind
) return Boolean
7072 return T
= V1
or else
7080 V3
: Node_Kind
) return Boolean
7083 return T
= V1
or else
7093 V4
: Node_Kind
) return Boolean
7096 return T
= V1
or else
7108 V5
: Node_Kind
) return Boolean
7111 return T
= V1
or else
7125 V6
: Node_Kind
) return Boolean
7128 return T
= V1
or else
7144 V7
: Node_Kind
) return Boolean
7147 return T
= V1
or else
7165 V8
: Node_Kind
) return Boolean
7168 return T
= V1
or else
7188 V9
: Node_Kind
) return Boolean
7191 return T
= V1
or else
7213 V10
: Node_Kind
) return Boolean
7216 return T
= V1
or else
7240 V11
: Node_Kind
) return Boolean
7243 return T
= V1
or else
7256 --------------------------
7257 -- Pragma_Name_Unmapped --
7258 --------------------------
7260 function Pragma_Name_Unmapped
(N
: Node_Id
) return Name_Id
is
7262 return Chars
(Pragma_Identifier
(N
));
7263 end Pragma_Name_Unmapped
;
7265 ---------------------
7266 -- Map_Pragma_Name --
7267 ---------------------
7269 -- We don't want to introduce a dependence on some hash table package or
7270 -- similar, so we use a simple array of Key => Value pairs, and do a linear
7271 -- search. Linear search is plenty efficient, given that we don't expect
7272 -- more than a couple of entries in the mapping.
7274 type Name_Pair
is record
7279 type Pragma_Map_Index
is range 1 .. 100;
7280 Pragma_Map
: array (Pragma_Map_Index
) of Name_Pair
;
7281 Last_Pair
: Pragma_Map_Index
'Base range 0 .. Pragma_Map_Index
'Last := 0;
7283 procedure Map_Pragma_Name
(From
, To
: Name_Id
) is
7285 if Last_Pair
= Pragma_Map
'Last then
7286 raise Too_Many_Pragma_Mappings
;
7289 Last_Pair
:= Last_Pair
+ 1;
7290 Pragma_Map
(Last_Pair
) := (Key
=> From
, Value
=> To
);
7291 end Map_Pragma_Name
;
7297 function Pragma_Name
(N
: Node_Id
) return Name_Id
is
7298 Result
: constant Name_Id
:= Pragma_Name_Unmapped
(N
);
7300 for J
in Pragma_Map
'First .. Last_Pair
loop
7301 if Result
= Pragma_Map
(J
).Key
then
7302 return Pragma_Map
(J
).Value
;