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 Set_Flag18
(N
, Val
);
5354 end Set_Is_Dynamic_Coextension
;
5356 procedure Set_Is_Effective_Use_Clause
5357 (N
: Node_Id
; Val
: Boolean := True) is
5359 pragma Assert
(False
5360 or else NT
(N
).Nkind
= N_Use_Package_Clause
5361 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5363 end Set_Is_Effective_Use_Clause
;
5365 procedure Set_Is_Elaboration_Checks_OK_Node
5366 (N
: Node_Id
; Val
: Boolean := True) is
5368 pragma Assert
(False
5369 or else NT
(N
).Nkind
= N_Assignment_Statement
5370 or else NT
(N
).Nkind
= N_Attribute_Reference
5371 or else NT
(N
).Nkind
= N_Call_Marker
5372 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5373 or else NT
(N
).Nkind
= N_Expanded_Name
5374 or else NT
(N
).Nkind
= N_Function_Call
5375 or else NT
(N
).Nkind
= N_Function_Instantiation
5376 or else NT
(N
).Nkind
= N_Identifier
5377 or else NT
(N
).Nkind
= N_Package_Instantiation
5378 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5379 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5380 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5382 end Set_Is_Elaboration_Checks_OK_Node
;
5384 procedure Set_Is_Elaboration_Code
5385 (N
: Node_Id
; Val
: Boolean := True) is
5387 pragma Assert
(False
5388 or else NT
(N
).Nkind
= N_Assignment_Statement
);
5390 end Set_Is_Elaboration_Code
;
5392 procedure Set_Is_Elaboration_Warnings_OK_Node
5393 (N
: Node_Id
; Val
: Boolean := True) is
5395 pragma Assert
(False
5396 or else NT
(N
).Nkind
= N_Attribute_Reference
5397 or else NT
(N
).Nkind
= N_Call_Marker
5398 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5399 or else NT
(N
).Nkind
= N_Function_Call
5400 or else NT
(N
).Nkind
= N_Function_Instantiation
5401 or else NT
(N
).Nkind
= N_Package_Instantiation
5402 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5403 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5404 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5406 end Set_Is_Elaboration_Warnings_OK_Node
;
5408 procedure Set_Is_Elsif
5409 (N
: Node_Id
; Val
: Boolean := True) is
5411 pragma Assert
(False
5412 or else NT
(N
).Nkind
= N_If_Expression
);
5413 Set_Flag13
(N
, Val
);
5416 procedure Set_Is_Entry_Barrier_Function
5417 (N
: Node_Id
; Val
: Boolean := True) is
5419 pragma Assert
(False
5420 or else NT
(N
).Nkind
= N_Subprogram_Body
5421 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
5423 end Set_Is_Entry_Barrier_Function
;
5425 procedure Set_Is_Expanded_Build_In_Place_Call
5426 (N
: Node_Id
; Val
: Boolean := True) is
5428 pragma Assert
(False
5429 or else NT
(N
).Nkind
= N_Function_Call
);
5430 Set_Flag11
(N
, Val
);
5431 end Set_Is_Expanded_Build_In_Place_Call
;
5433 procedure Set_Is_Expanded_Contract
5434 (N
: Node_Id
; Val
: Boolean := True) is
5436 pragma Assert
(False
5437 or else NT
(N
).Nkind
= N_Contract
);
5439 end Set_Is_Expanded_Contract
;
5441 procedure Set_Is_Finalization_Wrapper
5442 (N
: Node_Id
; Val
: Boolean := True) is
5444 pragma Assert
(False
5445 or else NT
(N
).Nkind
= N_Block_Statement
);
5447 end Set_Is_Finalization_Wrapper
;
5449 procedure Set_Is_Folded_In_Parser
5450 (N
: Node_Id
; Val
: Boolean := True) is
5452 pragma Assert
(False
5453 or else NT
(N
).Nkind
= N_String_Literal
);
5455 end Set_Is_Folded_In_Parser
;
5457 procedure Set_Is_Generic_Contract_Pragma
5458 (N
: Node_Id
; Val
: Boolean := True) is
5460 pragma Assert
(False
5461 or else NT
(N
).Nkind
= N_Pragma
);
5463 end Set_Is_Generic_Contract_Pragma
;
5465 procedure Set_Is_Ignored
5466 (N
: Node_Id
; Val
: Boolean := True) is
5468 pragma Assert
(False
5469 or else NT
(N
).Nkind
= N_Aspect_Specification
5470 or else NT
(N
).Nkind
= N_Pragma
);
5474 procedure Set_Is_Ignored_Ghost_Pragma
5475 (N
: Node_Id
; Val
: Boolean := True) is
5477 pragma Assert
(False
5478 or else NT
(N
).Nkind
= N_Pragma
);
5480 end Set_Is_Ignored_Ghost_Pragma
;
5482 procedure Set_Is_In_Discriminant_Check
5483 (N
: Node_Id
; Val
: Boolean := True) is
5485 pragma Assert
(False
5486 or else NT
(N
).Nkind
= N_Selected_Component
);
5487 Set_Flag11
(N
, Val
);
5488 end Set_Is_In_Discriminant_Check
;
5490 procedure Set_Is_Inherited_Pragma
5491 (N
: Node_Id
; Val
: Boolean := True) is
5493 pragma Assert
(False
5494 or else NT
(N
).Nkind
= N_Pragma
);
5496 end Set_Is_Inherited_Pragma
;
5498 procedure Set_Is_Initialization_Block
5499 (N
: Node_Id
; Val
: Boolean := True) is
5501 pragma Assert
(False
5502 or else NT
(N
).Nkind
= N_Block_Statement
);
5504 end Set_Is_Initialization_Block
;
5506 procedure Set_Is_Known_Guaranteed_ABE
5507 (N
: Node_Id
; Val
: Boolean := True) is
5509 pragma Assert
(False
5510 or else NT
(N
).Nkind
= N_Call_Marker
5511 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5512 or else NT
(N
).Nkind
= N_Function_Call
5513 or else NT
(N
).Nkind
= N_Function_Instantiation
5514 or else NT
(N
).Nkind
= N_Package_Instantiation
5515 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5516 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
5517 Set_Flag18
(N
, Val
);
5518 end Set_Is_Known_Guaranteed_ABE
;
5520 procedure Set_Is_Machine_Number
5521 (N
: Node_Id
; Val
: Boolean := True) is
5523 pragma Assert
(False
5524 or else NT
(N
).Nkind
= N_Real_Literal
);
5525 Set_Flag11
(N
, Val
);
5526 end Set_Is_Machine_Number
;
5528 procedure Set_Is_Null_Loop
5529 (N
: Node_Id
; Val
: Boolean := True) is
5531 pragma Assert
(False
5532 or else NT
(N
).Nkind
= N_Loop_Statement
);
5533 Set_Flag16
(N
, Val
);
5534 end Set_Is_Null_Loop
;
5536 procedure Set_Is_Overloaded
5537 (N
: Node_Id
; Val
: Boolean := True) is
5539 pragma Assert
(False
5540 or else NT
(N
).Nkind
in N_Subexpr
);
5542 end Set_Is_Overloaded
;
5544 procedure Set_Is_Power_Of_2_For_Shift
5545 (N
: Node_Id
; Val
: Boolean := True) is
5547 pragma Assert
(False
5548 or else NT
(N
).Nkind
= N_Op_Expon
);
5549 Set_Flag13
(N
, Val
);
5550 end Set_Is_Power_Of_2_For_Shift
;
5552 procedure Set_Is_Prefixed_Call
5553 (N
: Node_Id
; Val
: Boolean := True) is
5555 pragma Assert
(False
5556 or else NT
(N
).Nkind
= N_Selected_Component
);
5557 Set_Flag17
(N
, Val
);
5558 end Set_Is_Prefixed_Call
;
5560 procedure Set_Is_Protected_Subprogram_Body
5561 (N
: Node_Id
; Val
: Boolean := True) is
5563 pragma Assert
(False
5564 or else NT
(N
).Nkind
= N_Subprogram_Body
);
5566 end Set_Is_Protected_Subprogram_Body
;
5568 procedure Set_Is_Qualified_Universal_Literal
5569 (N
: Node_Id
; Val
: Boolean := True) is
5571 pragma Assert
(False
5572 or else NT
(N
).Nkind
= N_Qualified_Expression
);
5574 end Set_Is_Qualified_Universal_Literal
;
5576 procedure Set_Is_Read
5577 (N
: Node_Id
; Val
: Boolean := True) is
5579 pragma Assert
(False
5580 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
5584 procedure Set_Is_Source_Call
5585 (N
: Node_Id
; Val
: Boolean := True) is
5587 pragma Assert
(False
5588 or else NT
(N
).Nkind
= N_Call_Marker
);
5590 end Set_Is_Source_Call
;
5592 procedure Set_Is_SPARK_Mode_On_Node
5593 (N
: Node_Id
; Val
: Boolean := True) is
5595 pragma Assert
(False
5596 or else NT
(N
).Nkind
= N_Assignment_Statement
5597 or else NT
(N
).Nkind
= N_Attribute_Reference
5598 or else NT
(N
).Nkind
= N_Call_Marker
5599 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5600 or else NT
(N
).Nkind
= N_Expanded_Name
5601 or else NT
(N
).Nkind
= N_Function_Call
5602 or else NT
(N
).Nkind
= N_Function_Instantiation
5603 or else NT
(N
).Nkind
= N_Identifier
5604 or else NT
(N
).Nkind
= N_Package_Instantiation
5605 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5606 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5607 or else NT
(N
).Nkind
= N_Requeue_Statement
);
5609 end Set_Is_SPARK_Mode_On_Node
;
5611 procedure Set_Is_Static_Coextension
5612 (N
: Node_Id
; Val
: Boolean := True) is
5614 pragma Assert
(False
5615 or else NT
(N
).Nkind
= N_Allocator
);
5616 Set_Flag14
(N
, Val
);
5617 end Set_Is_Static_Coextension
;
5619 procedure Set_Is_Static_Expression
5620 (N
: Node_Id
; Val
: Boolean := True) is
5622 pragma Assert
(False
5623 or else NT
(N
).Nkind
in N_Subexpr
);
5625 end Set_Is_Static_Expression
;
5627 procedure Set_Is_Subprogram_Descriptor
5628 (N
: Node_Id
; Val
: Boolean := True) is
5630 pragma Assert
(False
5631 or else NT
(N
).Nkind
= N_Object_Declaration
);
5632 Set_Flag16
(N
, Val
);
5633 end Set_Is_Subprogram_Descriptor
;
5635 procedure Set_Is_Task_Allocation_Block
5636 (N
: Node_Id
; Val
: Boolean := True) is
5638 pragma Assert
(False
5639 or else NT
(N
).Nkind
= N_Block_Statement
);
5641 end Set_Is_Task_Allocation_Block
;
5643 procedure Set_Is_Task_Body_Procedure
5644 (N
: Node_Id
; Val
: Boolean := True) is
5646 pragma Assert
(False
5647 or else NT
(N
).Nkind
= N_Subprogram_Body
5648 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
5650 end Set_Is_Task_Body_Procedure
;
5652 procedure Set_Is_Task_Master
5653 (N
: Node_Id
; Val
: Boolean := True) is
5655 pragma Assert
(False
5656 or else NT
(N
).Nkind
= N_Block_Statement
5657 or else NT
(N
).Nkind
= N_Subprogram_Body
5658 or else NT
(N
).Nkind
= N_Task_Body
);
5660 end Set_Is_Task_Master
;
5662 procedure Set_Is_Write
5663 (N
: Node_Id
; Val
: Boolean := True) is
5665 pragma Assert
(False
5666 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
5670 procedure Set_Iteration_Scheme
5671 (N
: Node_Id
; Val
: Node_Id
) is
5673 pragma Assert
(False
5674 or else NT
(N
).Nkind
= N_Loop_Statement
);
5675 Set_Node2_With_Parent
(N
, Val
);
5676 end Set_Iteration_Scheme
;
5678 procedure Set_Iterator_Specification
5679 (N
: Node_Id
; Val
: Node_Id
) is
5681 pragma Assert
(False
5682 or else NT
(N
).Nkind
= N_Iteration_Scheme
5683 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5684 Set_Node2_With_Parent
(N
, Val
);
5685 end Set_Iterator_Specification
;
5688 (N
: Node_Id
; Val
: Entity_Id
) is
5690 pragma Assert
(False
5691 or else NT
(N
).Nkind
= N_Itype_Reference
);
5692 Set_Node1
(N
, Val
); -- no parent, semantic field
5695 procedure Set_Kill_Range_Check
5696 (N
: Node_Id
; Val
: Boolean := True) is
5698 pragma Assert
(False
5699 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
5700 Set_Flag11
(N
, Val
);
5701 end Set_Kill_Range_Check
;
5703 procedure Set_Label_Construct
5704 (N
: Node_Id
; Val
: Node_Id
) is
5706 pragma Assert
(False
5707 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
);
5708 Set_Node2
(N
, Val
); -- semantic field, no parent set
5709 end Set_Label_Construct
;
5711 procedure Set_Last_Bit
5712 (N
: Node_Id
; Val
: Node_Id
) is
5714 pragma Assert
(False
5715 or else NT
(N
).Nkind
= N_Component_Clause
);
5716 Set_Node4_With_Parent
(N
, Val
);
5719 procedure Set_Last_Name
5720 (N
: Node_Id
; Val
: Boolean := True) is
5722 pragma Assert
(False
5723 or else NT
(N
).Nkind
= N_With_Clause
);
5727 procedure Set_Left_Opnd
5728 (N
: Node_Id
; Val
: Node_Id
) is
5730 pragma Assert
(False
5731 or else NT
(N
).Nkind
= N_And_Then
5732 or else NT
(N
).Nkind
= N_In
5733 or else NT
(N
).Nkind
= N_Not_In
5734 or else NT
(N
).Nkind
= N_Or_Else
5735 or else NT
(N
).Nkind
in N_Binary_Op
);
5736 Set_Node2_With_Parent
(N
, Val
);
5739 procedure Set_Library_Unit
5740 (N
: Node_Id
; Val
: Node_Id
) is
5742 pragma Assert
(False
5743 or else NT
(N
).Nkind
= N_Compilation_Unit
5744 or else NT
(N
).Nkind
= N_Package_Body_Stub
5745 or else NT
(N
).Nkind
= N_Protected_Body_Stub
5746 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
5747 or else NT
(N
).Nkind
= N_Task_Body_Stub
5748 or else NT
(N
).Nkind
= N_With_Clause
);
5749 Set_Node4
(N
, Val
); -- semantic field, no parent set
5750 end Set_Library_Unit
;
5752 procedure Set_Limited_View_Installed
5753 (N
: Node_Id
; Val
: Boolean := True) is
5755 pragma Assert
(False
5756 or else NT
(N
).Nkind
= N_Package_Specification
5757 or else NT
(N
).Nkind
= N_With_Clause
);
5758 Set_Flag18
(N
, Val
);
5759 end Set_Limited_View_Installed
;
5761 procedure Set_Limited_Present
5762 (N
: Node_Id
; Val
: Boolean := True) is
5764 pragma Assert
(False
5765 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5766 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
5767 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
5768 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
5769 or else NT
(N
).Nkind
= N_Private_Type_Declaration
5770 or else NT
(N
).Nkind
= N_Record_Definition
5771 or else NT
(N
).Nkind
= N_With_Clause
);
5772 Set_Flag17
(N
, Val
);
5773 end Set_Limited_Present
;
5775 procedure Set_Literals
5776 (N
: Node_Id
; Val
: List_Id
) is
5778 pragma Assert
(False
5779 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
);
5780 Set_List1_With_Parent
(N
, Val
);
5783 procedure Set_Local_Raise_Not_OK
5784 (N
: Node_Id
; Val
: Boolean := True) is
5786 pragma Assert
(False
5787 or else NT
(N
).Nkind
= N_Exception_Handler
);
5789 end Set_Local_Raise_Not_OK
;
5791 procedure Set_Local_Raise_Statements
5792 (N
: Node_Id
; Val
: Elist_Id
) is
5794 pragma Assert
(False
5795 or else NT
(N
).Nkind
= N_Exception_Handler
);
5796 Set_Elist1
(N
, Val
);
5797 end Set_Local_Raise_Statements
;
5799 procedure Set_Loop_Actions
5800 (N
: Node_Id
; Val
: List_Id
) is
5802 pragma Assert
(False
5803 or else NT
(N
).Nkind
= N_Component_Association
5804 or else NT
(N
).Nkind
= N_Iterated_Component_Association
);
5805 Set_List2
(N
, Val
); -- semantic field, no parent set
5806 end Set_Loop_Actions
;
5808 procedure Set_Loop_Parameter_Specification
5809 (N
: Node_Id
; Val
: Node_Id
) is
5811 pragma Assert
(False
5812 or else NT
(N
).Nkind
= N_Iteration_Scheme
5813 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5814 Set_Node4_With_Parent
(N
, Val
);
5815 end Set_Loop_Parameter_Specification
;
5817 procedure Set_Low_Bound
5818 (N
: Node_Id
; Val
: Node_Id
) is
5820 pragma Assert
(False
5821 or else NT
(N
).Nkind
= N_Range
5822 or else NT
(N
).Nkind
= N_Real_Range_Specification
5823 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
5824 Set_Node1_With_Parent
(N
, Val
);
5827 procedure Set_Mod_Clause
5828 (N
: Node_Id
; Val
: Node_Id
) is
5830 pragma Assert
(False
5831 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5832 Set_Node2_With_Parent
(N
, Val
);
5835 procedure Set_More_Ids
5836 (N
: Node_Id
; Val
: Boolean := True) is
5838 pragma Assert
(False
5839 or else NT
(N
).Nkind
= N_Component_Declaration
5840 or else NT
(N
).Nkind
= N_Discriminant_Specification
5841 or else NT
(N
).Nkind
= N_Exception_Declaration
5842 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5843 or else NT
(N
).Nkind
= N_Number_Declaration
5844 or else NT
(N
).Nkind
= N_Object_Declaration
5845 or else NT
(N
).Nkind
= N_Parameter_Specification
5846 or else NT
(N
).Nkind
= N_Use_Package_Clause
5847 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5851 procedure Set_Must_Be_Byte_Aligned
5852 (N
: Node_Id
; Val
: Boolean := True) is
5854 pragma Assert
(False
5855 or else NT
(N
).Nkind
= N_Attribute_Reference
);
5856 Set_Flag14
(N
, Val
);
5857 end Set_Must_Be_Byte_Aligned
;
5859 procedure Set_Must_Not_Freeze
5860 (N
: Node_Id
; Val
: Boolean := True) is
5862 pragma Assert
(False
5863 or else NT
(N
).Nkind
= N_Subtype_Indication
5864 or else NT
(N
).Nkind
in N_Subexpr
);
5866 end Set_Must_Not_Freeze
;
5868 procedure Set_Must_Not_Override
5869 (N
: Node_Id
; Val
: Boolean := True) is
5871 pragma Assert
(False
5872 or else NT
(N
).Nkind
= N_Entry_Declaration
5873 or else NT
(N
).Nkind
= N_Function_Instantiation
5874 or else NT
(N
).Nkind
= N_Function_Specification
5875 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5876 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5877 Set_Flag15
(N
, Val
);
5878 end Set_Must_Not_Override
;
5880 procedure Set_Must_Override
5881 (N
: Node_Id
; Val
: Boolean := True) is
5883 pragma Assert
(False
5884 or else NT
(N
).Nkind
= N_Entry_Declaration
5885 or else NT
(N
).Nkind
= N_Function_Instantiation
5886 or else NT
(N
).Nkind
= N_Function_Specification
5887 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5888 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5889 Set_Flag14
(N
, Val
);
5890 end Set_Must_Override
;
5893 (N
: Node_Id
; Val
: Node_Id
) is
5895 pragma Assert
(False
5896 or else NT
(N
).Nkind
= N_Assignment_Statement
5897 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5898 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
5899 or else NT
(N
).Nkind
= N_Designator
5900 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5901 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
5902 or else NT
(N
).Nkind
= N_Exit_Statement
5903 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5904 or else NT
(N
).Nkind
= N_Function_Call
5905 or else NT
(N
).Nkind
= N_Function_Instantiation
5906 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
5907 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
5908 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
5909 or else NT
(N
).Nkind
= N_Goto_Statement
5910 or else NT
(N
).Nkind
= N_Iterator_Specification
5911 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
5912 or else NT
(N
).Nkind
= N_Package_Instantiation
5913 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
5914 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5915 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5916 or else NT
(N
).Nkind
= N_Raise_Expression
5917 or else NT
(N
).Nkind
= N_Raise_Statement
5918 or else NT
(N
).Nkind
= N_Requeue_Statement
5919 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
5920 or else NT
(N
).Nkind
= N_Subunit
5921 or else NT
(N
).Nkind
= N_Use_Package_Clause
5922 or else NT
(N
).Nkind
= N_Variant_Part
5923 or else NT
(N
).Nkind
= N_With_Clause
);
5924 Set_Node2_With_Parent
(N
, Val
);
5928 (N
: Node_Id
; Val
: List_Id
) is
5930 pragma Assert
(False
5931 or else NT
(N
).Nkind
= N_Abort_Statement
);
5932 Set_List2_With_Parent
(N
, Val
);
5935 procedure Set_Next_Entity
5936 (N
: Node_Id
; Val
: Node_Id
) is
5938 pragma Assert
(False
5939 or else NT
(N
).Nkind
= N_Defining_Character_Literal
5940 or else NT
(N
).Nkind
= N_Defining_Identifier
5941 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
5942 Set_Node2
(N
, Val
); -- semantic field, no parent set
5943 end Set_Next_Entity
;
5945 procedure Set_Next_Exit_Statement
5946 (N
: Node_Id
; Val
: Node_Id
) is
5948 pragma Assert
(False
5949 or else NT
(N
).Nkind
= N_Exit_Statement
);
5950 Set_Node3
(N
, Val
); -- semantic field, no parent set
5951 end Set_Next_Exit_Statement
;
5953 procedure Set_Next_Implicit_With
5954 (N
: Node_Id
; Val
: Node_Id
) is
5956 pragma Assert
(False
5957 or else NT
(N
).Nkind
= N_With_Clause
);
5958 Set_Node3
(N
, Val
); -- semantic field, no parent set
5959 end Set_Next_Implicit_With
;
5961 procedure Set_Next_Named_Actual
5962 (N
: Node_Id
; Val
: Node_Id
) is
5964 pragma Assert
(False
5965 or else NT
(N
).Nkind
= N_Parameter_Association
);
5966 Set_Node4
(N
, Val
); -- semantic field, no parent set
5967 end Set_Next_Named_Actual
;
5969 procedure Set_Next_Pragma
5970 (N
: Node_Id
; Val
: Node_Id
) is
5972 pragma Assert
(False
5973 or else NT
(N
).Nkind
= N_Pragma
);
5974 Set_Node1
(N
, Val
); -- semantic field, no parent set
5975 end Set_Next_Pragma
;
5977 procedure Set_Next_Rep_Item
5978 (N
: Node_Id
; Val
: Node_Id
) is
5980 pragma Assert
(False
5981 or else NT
(N
).Nkind
= N_Aspect_Specification
5982 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5983 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
5984 or else NT
(N
).Nkind
= N_Pragma
5985 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5986 Set_Node5
(N
, Val
); -- semantic field, no parent set
5987 end Set_Next_Rep_Item
;
5989 procedure Set_Next_Use_Clause
5990 (N
: Node_Id
; Val
: Node_Id
) is
5992 pragma Assert
(False
5993 or else NT
(N
).Nkind
= N_Use_Package_Clause
5994 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5995 Set_Node3
(N
, Val
); -- semantic field, no parent set
5996 end Set_Next_Use_Clause
;
5998 procedure Set_No_Ctrl_Actions
5999 (N
: Node_Id
; Val
: Boolean := True) is
6001 pragma Assert
(False
6002 or else NT
(N
).Nkind
= N_Assignment_Statement
);
6004 end Set_No_Ctrl_Actions
;
6006 procedure Set_No_Elaboration_Check
6007 (N
: Node_Id
; Val
: Boolean := True) is
6009 pragma Assert
(False
6010 or else NT
(N
).Nkind
= N_Function_Call
6011 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
6013 end Set_No_Elaboration_Check
;
6015 procedure Set_No_Entities_Ref_In_Spec
6016 (N
: Node_Id
; Val
: Boolean := True) is
6018 pragma Assert
(False
6019 or else NT
(N
).Nkind
= N_With_Clause
);
6021 end Set_No_Entities_Ref_In_Spec
;
6023 procedure Set_No_Initialization
6024 (N
: Node_Id
; Val
: Boolean := True) is
6026 pragma Assert
(False
6027 or else NT
(N
).Nkind
= N_Allocator
6028 or else NT
(N
).Nkind
= N_Object_Declaration
);
6029 Set_Flag13
(N
, Val
);
6030 end Set_No_Initialization
;
6032 procedure Set_No_Minimize_Eliminate
6033 (N
: Node_Id
; Val
: Boolean := True) is
6035 pragma Assert
(False
6036 or else NT
(N
).Nkind
= N_In
6037 or else NT
(N
).Nkind
= N_Not_In
);
6038 Set_Flag17
(N
, Val
);
6039 end Set_No_Minimize_Eliminate
;
6041 procedure Set_No_Side_Effect_Removal
6042 (N
: Node_Id
; Val
: Boolean := True) is
6044 pragma Assert
(False
6045 or else NT
(N
).Nkind
= N_Function_Call
);
6046 Set_Flag17
(N
, Val
);
6047 end Set_No_Side_Effect_Removal
;
6049 procedure Set_No_Truncation
6050 (N
: Node_Id
; Val
: Boolean := True) is
6052 pragma Assert
(False
6053 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
6054 Set_Flag17
(N
, Val
);
6055 end Set_No_Truncation
;
6057 procedure Set_Null_Excluding_Subtype
6058 (N
: Node_Id
; Val
: Boolean := True) is
6060 pragma Assert
(False
6061 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
);
6062 Set_Flag16
(N
, Val
);
6063 end Set_Null_Excluding_Subtype
;
6065 procedure Set_Null_Exclusion_Present
6066 (N
: Node_Id
; Val
: Boolean := True) is
6068 pragma Assert
(False
6069 or else NT
(N
).Nkind
= N_Access_Definition
6070 or else NT
(N
).Nkind
= N_Access_Function_Definition
6071 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6072 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
6073 or else NT
(N
).Nkind
= N_Allocator
6074 or else NT
(N
).Nkind
= N_Component_Definition
6075 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6076 or else NT
(N
).Nkind
= N_Discriminant_Specification
6077 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6078 or else NT
(N
).Nkind
= N_Function_Specification
6079 or else NT
(N
).Nkind
= N_Object_Declaration
6080 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
6081 or else NT
(N
).Nkind
= N_Parameter_Specification
6082 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
6083 Set_Flag11
(N
, Val
);
6084 end Set_Null_Exclusion_Present
;
6086 procedure Set_Null_Exclusion_In_Return_Present
6087 (N
: Node_Id
; Val
: Boolean := True) is
6089 pragma Assert
(False
6090 or else NT
(N
).Nkind
= N_Access_Function_Definition
);
6091 Set_Flag14
(N
, Val
);
6092 end Set_Null_Exclusion_In_Return_Present
;
6094 procedure Set_Null_Present
6095 (N
: Node_Id
; Val
: Boolean := True) is
6097 pragma Assert
(False
6098 or else NT
(N
).Nkind
= N_Component_List
6099 or else NT
(N
).Nkind
= N_Procedure_Specification
6100 or else NT
(N
).Nkind
= N_Record_Definition
);
6101 Set_Flag13
(N
, Val
);
6102 end Set_Null_Present
;
6104 procedure Set_Null_Record_Present
6105 (N
: Node_Id
; Val
: Boolean := True) is
6107 pragma Assert
(False
6108 or else NT
(N
).Nkind
= N_Aggregate
6109 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
6110 Set_Flag17
(N
, Val
);
6111 end Set_Null_Record_Present
;
6113 procedure Set_Null_Statement
6114 (N
: Node_Id
; Val
: Node_Id
) is
6116 pragma Assert
(False
6117 or else NT
(N
).Nkind
= N_Procedure_Specification
);
6119 end Set_Null_Statement
;
6121 procedure Set_Object_Definition
6122 (N
: Node_Id
; Val
: Node_Id
) is
6124 pragma Assert
(False
6125 or else NT
(N
).Nkind
= N_Object_Declaration
);
6126 Set_Node4_With_Parent
(N
, Val
);
6127 end Set_Object_Definition
;
6129 procedure Set_Of_Present
6130 (N
: Node_Id
; Val
: Boolean := True) is
6132 pragma Assert
(False
6133 or else NT
(N
).Nkind
= N_Iterator_Specification
);
6134 Set_Flag16
(N
, Val
);
6137 procedure Set_Original_Discriminant
6138 (N
: Node_Id
; Val
: Node_Id
) is
6140 pragma Assert
(False
6141 or else NT
(N
).Nkind
= N_Identifier
);
6142 Set_Node2
(N
, Val
); -- semantic field, no parent set
6143 end Set_Original_Discriminant
;
6145 procedure Set_Original_Entity
6146 (N
: Node_Id
; Val
: Entity_Id
) is
6148 pragma Assert
(False
6149 or else NT
(N
).Nkind
= N_Integer_Literal
6150 or else NT
(N
).Nkind
= N_Real_Literal
);
6151 Set_Node2
(N
, Val
); -- semantic field, no parent set
6152 end Set_Original_Entity
;
6154 procedure Set_Others_Discrete_Choices
6155 (N
: Node_Id
; Val
: List_Id
) is
6157 pragma Assert
(False
6158 or else NT
(N
).Nkind
= N_Others_Choice
);
6159 Set_List1_With_Parent
(N
, Val
);
6160 end Set_Others_Discrete_Choices
;
6162 procedure Set_Out_Present
6163 (N
: Node_Id
; Val
: Boolean := True) is
6165 pragma Assert
(False
6166 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6167 or else NT
(N
).Nkind
= N_Parameter_Specification
);
6168 Set_Flag17
(N
, Val
);
6169 end Set_Out_Present
;
6171 procedure Set_Parameter_Associations
6172 (N
: Node_Id
; Val
: List_Id
) is
6174 pragma Assert
(False
6175 or else NT
(N
).Nkind
= N_Entry_Call_Statement
6176 or else NT
(N
).Nkind
= N_Function_Call
6177 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
6178 Set_List3_With_Parent
(N
, Val
);
6179 end Set_Parameter_Associations
;
6181 procedure Set_Parameter_Specifications
6182 (N
: Node_Id
; Val
: List_Id
) is
6184 pragma Assert
(False
6185 or else NT
(N
).Nkind
= N_Accept_Statement
6186 or else NT
(N
).Nkind
= N_Access_Function_Definition
6187 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6188 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
6189 or else NT
(N
).Nkind
= N_Entry_Declaration
6190 or else NT
(N
).Nkind
= N_Function_Specification
6191 or else NT
(N
).Nkind
= N_Procedure_Specification
);
6192 Set_List3_With_Parent
(N
, Val
);
6193 end Set_Parameter_Specifications
;
6195 procedure Set_Parameter_Type
6196 (N
: Node_Id
; Val
: Node_Id
) is
6198 pragma Assert
(False
6199 or else NT
(N
).Nkind
= N_Parameter_Specification
);
6200 Set_Node2_With_Parent
(N
, Val
);
6201 end Set_Parameter_Type
;
6203 procedure Set_Parent_Spec
6204 (N
: Node_Id
; Val
: Node_Id
) is
6206 pragma Assert
(False
6207 or else NT
(N
).Nkind
= N_Function_Instantiation
6208 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
6209 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
6210 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
6211 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
6212 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
6213 or else NT
(N
).Nkind
= N_Package_Declaration
6214 or else NT
(N
).Nkind
= N_Package_Instantiation
6215 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
6216 or else NT
(N
).Nkind
= N_Procedure_Instantiation
6217 or else NT
(N
).Nkind
= N_Subprogram_Declaration
6218 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
6219 Set_Node4
(N
, Val
); -- semantic field, no parent set
6220 end Set_Parent_Spec
;
6222 procedure Set_Parent_With
6223 (N
: Node_Id
; Val
: Boolean := True) is
6225 pragma Assert
(False
6226 or else NT
(N
).Nkind
= N_With_Clause
);
6228 end Set_Parent_With
;
6230 procedure Set_Position
6231 (N
: Node_Id
; Val
: Node_Id
) is
6233 pragma Assert
(False
6234 or else NT
(N
).Nkind
= N_Component_Clause
);
6235 Set_Node2_With_Parent
(N
, Val
);
6238 procedure Set_Pragma_Argument_Associations
6239 (N
: Node_Id
; Val
: List_Id
) is
6241 pragma Assert
(False
6242 or else NT
(N
).Nkind
= N_Pragma
);
6243 Set_List2_With_Parent
(N
, Val
);
6244 end Set_Pragma_Argument_Associations
;
6246 procedure Set_Pragma_Identifier
6247 (N
: Node_Id
; Val
: Node_Id
) is
6249 pragma Assert
(False
6250 or else NT
(N
).Nkind
= N_Pragma
);
6251 Set_Node4_With_Parent
(N
, Val
);
6252 end Set_Pragma_Identifier
;
6254 procedure Set_Pragmas_After
6255 (N
: Node_Id
; Val
: List_Id
) is
6257 pragma Assert
(False
6258 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
6259 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
6260 Set_List5_With_Parent
(N
, Val
);
6261 end Set_Pragmas_After
;
6263 procedure Set_Pragmas_Before
6264 (N
: Node_Id
; Val
: List_Id
) is
6266 pragma Assert
(False
6267 or else NT
(N
).Nkind
= N_Accept_Alternative
6268 or else NT
(N
).Nkind
= N_Delay_Alternative
6269 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
6270 or else NT
(N
).Nkind
= N_Mod_Clause
6271 or else NT
(N
).Nkind
= N_Terminate_Alternative
6272 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6273 Set_List4_With_Parent
(N
, Val
);
6274 end Set_Pragmas_Before
;
6276 procedure Set_Pre_Post_Conditions
6277 (N
: Node_Id
; Val
: Node_Id
) is
6279 pragma Assert
(False
6280 or else NT
(N
).Nkind
= N_Contract
);
6281 Set_Node1
(N
, Val
); -- semantic field, no parent set
6282 end Set_Pre_Post_Conditions
;
6284 procedure Set_Prefix
6285 (N
: Node_Id
; Val
: Node_Id
) is
6287 pragma Assert
(False
6288 or else NT
(N
).Nkind
= N_Attribute_Reference
6289 or else NT
(N
).Nkind
= N_Expanded_Name
6290 or else NT
(N
).Nkind
= N_Explicit_Dereference
6291 or else NT
(N
).Nkind
= N_Indexed_Component
6292 or else NT
(N
).Nkind
= N_Reference
6293 or else NT
(N
).Nkind
= N_Selected_Component
6294 or else NT
(N
).Nkind
= N_Slice
);
6295 Set_Node3_With_Parent
(N
, Val
);
6298 procedure Set_Premature_Use
6299 (N
: Node_Id
; Val
: Node_Id
) is
6301 pragma Assert
(False
6302 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
);
6304 end Set_Premature_Use
;
6306 procedure Set_Present_Expr
6307 (N
: Node_Id
; Val
: Uint
) is
6309 pragma Assert
(False
6310 or else NT
(N
).Nkind
= N_Variant
);
6312 end Set_Present_Expr
;
6314 procedure Set_Prev_Ids
6315 (N
: Node_Id
; Val
: Boolean := True) is
6317 pragma Assert
(False
6318 or else NT
(N
).Nkind
= N_Component_Declaration
6319 or else NT
(N
).Nkind
= N_Discriminant_Specification
6320 or else NT
(N
).Nkind
= N_Exception_Declaration
6321 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6322 or else NT
(N
).Nkind
= N_Number_Declaration
6323 or else NT
(N
).Nkind
= N_Object_Declaration
6324 or else NT
(N
).Nkind
= N_Parameter_Specification
6325 or else NT
(N
).Nkind
= N_Use_Package_Clause
6326 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6330 procedure Set_Prev_Use_Clause
6331 (N
: Node_Id
; Val
: Node_Id
) is
6333 pragma Assert
(False
6334 or else NT
(N
).Nkind
= N_Use_Package_Clause
6335 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6336 Set_Node1
(N
, Val
); -- semantic field, no parent set
6337 end Set_Prev_Use_Clause
;
6339 procedure Set_Print_In_Hex
6340 (N
: Node_Id
; Val
: Boolean := True) is
6342 pragma Assert
(False
6343 or else NT
(N
).Nkind
= N_Integer_Literal
);
6344 Set_Flag13
(N
, Val
);
6345 end Set_Print_In_Hex
;
6347 procedure Set_Private_Declarations
6348 (N
: Node_Id
; Val
: List_Id
) is
6350 pragma Assert
(False
6351 or else NT
(N
).Nkind
= N_Package_Specification
6352 or else NT
(N
).Nkind
= N_Protected_Definition
6353 or else NT
(N
).Nkind
= N_Task_Definition
);
6354 Set_List3_With_Parent
(N
, Val
);
6355 end Set_Private_Declarations
;
6357 procedure Set_Private_Present
6358 (N
: Node_Id
; Val
: Boolean := True) is
6360 pragma Assert
(False
6361 or else NT
(N
).Nkind
= N_Compilation_Unit
6362 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6363 or else NT
(N
).Nkind
= N_With_Clause
);
6364 Set_Flag15
(N
, Val
);
6365 end Set_Private_Present
;
6367 procedure Set_Procedure_To_Call
6368 (N
: Node_Id
; Val
: Node_Id
) is
6370 pragma Assert
(False
6371 or else NT
(N
).Nkind
= N_Allocator
6372 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6373 or else NT
(N
).Nkind
= N_Free_Statement
6374 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6375 Set_Node2
(N
, Val
); -- semantic field, no parent set
6376 end Set_Procedure_To_Call
;
6378 procedure Set_Proper_Body
6379 (N
: Node_Id
; Val
: Node_Id
) is
6381 pragma Assert
(False
6382 or else NT
(N
).Nkind
= N_Subunit
);
6383 Set_Node1_With_Parent
(N
, Val
);
6384 end Set_Proper_Body
;
6386 procedure Set_Protected_Definition
6387 (N
: Node_Id
; Val
: Node_Id
) is
6389 pragma Assert
(False
6390 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
6391 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
);
6392 Set_Node3_With_Parent
(N
, Val
);
6393 end Set_Protected_Definition
;
6395 procedure Set_Protected_Present
6396 (N
: Node_Id
; Val
: Boolean := True) is
6398 pragma Assert
(False
6399 or else NT
(N
).Nkind
= N_Access_Function_Definition
6400 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
6401 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6402 or else NT
(N
).Nkind
= N_Record_Definition
);
6404 end Set_Protected_Present
;
6406 procedure Set_Raises_Constraint_Error
6407 (N
: Node_Id
; Val
: Boolean := True) is
6409 pragma Assert
(False
6410 or else NT
(N
).Nkind
in N_Subexpr
);
6412 end Set_Raises_Constraint_Error
;
6414 procedure Set_Range_Constraint
6415 (N
: Node_Id
; Val
: Node_Id
) is
6417 pragma Assert
(False
6418 or else NT
(N
).Nkind
= N_Delta_Constraint
6419 or else NT
(N
).Nkind
= N_Digits_Constraint
);
6420 Set_Node4_With_Parent
(N
, Val
);
6421 end Set_Range_Constraint
;
6423 procedure Set_Range_Expression
6424 (N
: Node_Id
; Val
: Node_Id
) is
6426 pragma Assert
(False
6427 or else NT
(N
).Nkind
= N_Range_Constraint
);
6428 Set_Node4_With_Parent
(N
, Val
);
6429 end Set_Range_Expression
;
6431 procedure Set_Real_Range_Specification
6432 (N
: Node_Id
; Val
: Node_Id
) is
6434 pragma Assert
(False
6435 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
6436 or else NT
(N
).Nkind
= N_Floating_Point_Definition
6437 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
6438 Set_Node4_With_Parent
(N
, Val
);
6439 end Set_Real_Range_Specification
;
6441 procedure Set_Realval
6442 (N
: Node_Id
; Val
: Ureal
) is
6444 pragma Assert
(False
6445 or else NT
(N
).Nkind
= N_Real_Literal
);
6446 Set_Ureal3
(N
, Val
);
6449 procedure Set_Reason
6450 (N
: Node_Id
; Val
: Uint
) is
6452 pragma Assert
(False
6453 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
6454 or else NT
(N
).Nkind
= N_Raise_Program_Error
6455 or else NT
(N
).Nkind
= N_Raise_Storage_Error
);
6459 procedure Set_Record_Extension_Part
6460 (N
: Node_Id
; Val
: Node_Id
) is
6462 pragma Assert
(False
6463 or else NT
(N
).Nkind
= N_Derived_Type_Definition
);
6464 Set_Node3_With_Parent
(N
, Val
);
6465 end Set_Record_Extension_Part
;
6467 procedure Set_Redundant_Use
6468 (N
: Node_Id
; Val
: Boolean := True) is
6470 pragma Assert
(False
6471 or else NT
(N
).Nkind
= N_Attribute_Reference
6472 or else NT
(N
).Nkind
= N_Expanded_Name
6473 or else NT
(N
).Nkind
= N_Identifier
);
6474 Set_Flag13
(N
, Val
);
6475 end Set_Redundant_Use
;
6477 procedure Set_Renaming_Exception
6478 (N
: Node_Id
; Val
: Node_Id
) is
6480 pragma Assert
(False
6481 or else NT
(N
).Nkind
= N_Exception_Declaration
);
6483 end Set_Renaming_Exception
;
6485 procedure Set_Result_Definition
6486 (N
: Node_Id
; Val
: Node_Id
) is
6488 pragma Assert
(False
6489 or else NT
(N
).Nkind
= N_Access_Function_Definition
6490 or else NT
(N
).Nkind
= N_Function_Specification
);
6491 Set_Node4_With_Parent
(N
, Val
);
6492 end Set_Result_Definition
;
6494 procedure Set_Return_Object_Declarations
6495 (N
: Node_Id
; Val
: List_Id
) is
6497 pragma Assert
(False
6498 or else NT
(N
).Nkind
= N_Extended_Return_Statement
);
6499 Set_List3_With_Parent
(N
, Val
);
6500 end Set_Return_Object_Declarations
;
6502 procedure Set_Return_Statement_Entity
6503 (N
: Node_Id
; Val
: Node_Id
) is
6505 pragma Assert
(False
6506 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6507 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6508 Set_Node5
(N
, Val
); -- semantic field, no parent set
6509 end Set_Return_Statement_Entity
;
6511 procedure Set_Reverse_Present
6512 (N
: Node_Id
; Val
: Boolean := True) is
6514 pragma Assert
(False
6515 or else NT
(N
).Nkind
= N_Iterator_Specification
6516 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
6517 Set_Flag15
(N
, Val
);
6518 end Set_Reverse_Present
;
6520 procedure Set_Right_Opnd
6521 (N
: Node_Id
; Val
: Node_Id
) is
6523 pragma Assert
(False
6524 or else NT
(N
).Nkind
in N_Op
6525 or else NT
(N
).Nkind
= N_And_Then
6526 or else NT
(N
).Nkind
= N_In
6527 or else NT
(N
).Nkind
= N_Not_In
6528 or else NT
(N
).Nkind
= N_Or_Else
);
6529 Set_Node3_With_Parent
(N
, Val
);
6532 procedure Set_Rounded_Result
6533 (N
: Node_Id
; Val
: Boolean := True) is
6535 pragma Assert
(False
6536 or else NT
(N
).Nkind
= N_Op_Divide
6537 or else NT
(N
).Nkind
= N_Op_Multiply
6538 or else NT
(N
).Nkind
= N_Type_Conversion
);
6539 Set_Flag18
(N
, Val
);
6540 end Set_Rounded_Result
;
6542 procedure Set_SCIL_Controlling_Tag
6543 (N
: Node_Id
; Val
: Node_Id
) is
6545 pragma Assert
(False
6546 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
6547 Set_Node5
(N
, Val
); -- semantic field, no parent set
6548 end Set_SCIL_Controlling_Tag
;
6550 procedure Set_SCIL_Entity
6551 (N
: Node_Id
; Val
: Node_Id
) is
6553 pragma Assert
(False
6554 or else NT
(N
).Nkind
= N_SCIL_Dispatch_Table_Tag_Init
6555 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
6556 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
6557 Set_Node4
(N
, Val
); -- semantic field, no parent set
6558 end Set_SCIL_Entity
;
6560 procedure Set_SCIL_Tag_Value
6561 (N
: Node_Id
; Val
: Node_Id
) is
6563 pragma Assert
(False
6564 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
6565 Set_Node5
(N
, Val
); -- semantic field, no parent set
6566 end Set_SCIL_Tag_Value
;
6568 procedure Set_SCIL_Target_Prim
6569 (N
: Node_Id
; Val
: Node_Id
) is
6571 pragma Assert
(False
6572 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
6573 Set_Node2
(N
, Val
); -- semantic field, no parent set
6574 end Set_SCIL_Target_Prim
;
6577 (N
: Node_Id
; Val
: Node_Id
) is
6579 pragma Assert
(False
6580 or else NT
(N
).Nkind
= N_Defining_Character_Literal
6581 or else NT
(N
).Nkind
= N_Defining_Identifier
6582 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
6583 Set_Node3
(N
, Val
); -- semantic field, no parent set
6586 procedure Set_Select_Alternatives
6587 (N
: Node_Id
; Val
: List_Id
) is
6589 pragma Assert
(False
6590 or else NT
(N
).Nkind
= N_Selective_Accept
);
6591 Set_List1_With_Parent
(N
, Val
);
6592 end Set_Select_Alternatives
;
6594 procedure Set_Selector_Name
6595 (N
: Node_Id
; Val
: Node_Id
) is
6597 pragma Assert
(False
6598 or else NT
(N
).Nkind
= N_Expanded_Name
6599 or else NT
(N
).Nkind
= N_Generic_Association
6600 or else NT
(N
).Nkind
= N_Parameter_Association
6601 or else NT
(N
).Nkind
= N_Selected_Component
);
6602 Set_Node2_With_Parent
(N
, Val
);
6603 end Set_Selector_Name
;
6605 procedure Set_Selector_Names
6606 (N
: Node_Id
; Val
: List_Id
) is
6608 pragma Assert
(False
6609 or else NT
(N
).Nkind
= N_Discriminant_Association
);
6610 Set_List1_With_Parent
(N
, Val
);
6611 end Set_Selector_Names
;
6613 procedure Set_Shift_Count_OK
6614 (N
: Node_Id
; Val
: Boolean := True) is
6616 pragma Assert
(False
6617 or else NT
(N
).Nkind
= N_Op_Rotate_Left
6618 or else NT
(N
).Nkind
= N_Op_Rotate_Right
6619 or else NT
(N
).Nkind
= N_Op_Shift_Left
6620 or else NT
(N
).Nkind
= N_Op_Shift_Right
6621 or else NT
(N
).Nkind
= N_Op_Shift_Right_Arithmetic
);
6623 end Set_Shift_Count_OK
;
6625 procedure Set_Source_Type
6626 (N
: Node_Id
; Val
: Entity_Id
) is
6628 pragma Assert
(False
6629 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6630 Set_Node1
(N
, Val
); -- semantic field, no parent set
6631 end Set_Source_Type
;
6633 procedure Set_Specification
6634 (N
: Node_Id
; Val
: Node_Id
) is
6636 pragma Assert
(False
6637 or else NT
(N
).Nkind
= N_Abstract_Subprogram_Declaration
6638 or else NT
(N
).Nkind
= N_Expression_Function
6639 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
6640 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
6641 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
6642 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
6643 or else NT
(N
).Nkind
= N_Package_Declaration
6644 or else NT
(N
).Nkind
= N_Subprogram_Body
6645 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
6646 or else NT
(N
).Nkind
= N_Subprogram_Declaration
6647 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
6648 Set_Node1_With_Parent
(N
, Val
);
6649 end Set_Specification
;
6651 procedure Set_Split_PPC
6652 (N
: Node_Id
; Val
: Boolean) is
6654 pragma Assert
(False
6655 or else NT
(N
).Nkind
= N_Aspect_Specification
6656 or else NT
(N
).Nkind
= N_Pragma
);
6657 Set_Flag17
(N
, Val
);
6660 procedure Set_Statements
6661 (N
: Node_Id
; Val
: List_Id
) is
6663 pragma Assert
(False
6664 or else NT
(N
).Nkind
= N_Abortable_Part
6665 or else NT
(N
).Nkind
= N_Accept_Alternative
6666 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
6667 or else NT
(N
).Nkind
= N_Delay_Alternative
6668 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
6669 or else NT
(N
).Nkind
= N_Exception_Handler
6670 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
6671 or else NT
(N
).Nkind
= N_Loop_Statement
6672 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6673 Set_List3_With_Parent
(N
, Val
);
6676 procedure Set_Storage_Pool
6677 (N
: Node_Id
; Val
: Node_Id
) is
6679 pragma Assert
(False
6680 or else NT
(N
).Nkind
= N_Allocator
6681 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6682 or else NT
(N
).Nkind
= N_Free_Statement
6683 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6684 Set_Node1
(N
, Val
); -- semantic field, no parent set
6685 end Set_Storage_Pool
;
6687 procedure Set_Subpool_Handle_Name
6688 (N
: Node_Id
; Val
: Node_Id
) is
6690 pragma Assert
(False
6691 or else NT
(N
).Nkind
= N_Allocator
);
6692 Set_Node4_With_Parent
(N
, Val
);
6693 end Set_Subpool_Handle_Name
;
6695 procedure Set_Strval
6696 (N
: Node_Id
; Val
: String_Id
) is
6698 pragma Assert
(False
6699 or else NT
(N
).Nkind
= N_Operator_Symbol
6700 or else NT
(N
).Nkind
= N_String_Literal
);
6704 procedure Set_Subtype_Indication
6705 (N
: Node_Id
; Val
: Node_Id
) is
6707 pragma Assert
(False
6708 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
6709 or else NT
(N
).Nkind
= N_Component_Definition
6710 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6711 or else NT
(N
).Nkind
= N_Iterator_Specification
6712 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6713 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
6714 Set_Node5_With_Parent
(N
, Val
);
6715 end Set_Subtype_Indication
;
6717 procedure Set_Subtype_Mark
6718 (N
: Node_Id
; Val
: Node_Id
) is
6720 pragma Assert
(False
6721 or else NT
(N
).Nkind
= N_Access_Definition
6722 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6723 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6724 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
6725 or else NT
(N
).Nkind
= N_Qualified_Expression
6726 or else NT
(N
).Nkind
= N_Subtype_Indication
6727 or else NT
(N
).Nkind
= N_Type_Conversion
6728 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
6729 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6730 Set_Node4_With_Parent
(N
, Val
);
6731 end Set_Subtype_Mark
;
6733 procedure Set_Subtype_Marks
6734 (N
: Node_Id
; Val
: List_Id
) is
6736 pragma Assert
(False
6737 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
6738 Set_List2_With_Parent
(N
, Val
);
6739 end Set_Subtype_Marks
;
6741 procedure Set_Suppress_Assignment_Checks
6742 (N
: Node_Id
; Val
: Boolean := True) is
6744 pragma Assert
(False
6745 or else NT
(N
).Nkind
= N_Assignment_Statement
6746 or else NT
(N
).Nkind
= N_Object_Declaration
);
6747 Set_Flag18
(N
, Val
);
6748 end Set_Suppress_Assignment_Checks
;
6750 procedure Set_Suppress_Loop_Warnings
6751 (N
: Node_Id
; Val
: Boolean := True) is
6753 pragma Assert
(False
6754 or else NT
(N
).Nkind
= N_Loop_Statement
);
6755 Set_Flag17
(N
, Val
);
6756 end Set_Suppress_Loop_Warnings
;
6758 procedure Set_Synchronized_Present
6759 (N
: Node_Id
; Val
: Boolean := True) is
6761 pragma Assert
(False
6762 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6763 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6764 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6765 or else NT
(N
).Nkind
= N_Record_Definition
);
6767 end Set_Synchronized_Present
;
6769 procedure Set_Tagged_Present
6770 (N
: Node_Id
; Val
: Boolean := True) is
6772 pragma Assert
(False
6773 or else NT
(N
).Nkind
= N_Formal_Incomplete_Type_Definition
6774 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
6775 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6776 or else NT
(N
).Nkind
= N_Private_Type_Declaration
6777 or else NT
(N
).Nkind
= N_Record_Definition
);
6778 Set_Flag15
(N
, Val
);
6779 end Set_Tagged_Present
;
6781 procedure Set_Target
6782 (N
: Node_Id
; Val
: Entity_Id
) is
6784 pragma Assert
(False
6785 or else NT
(N
).Nkind
= N_Call_Marker
6786 or else NT
(N
).Nkind
= N_Variable_Reference_Marker
);
6787 Set_Node1
(N
, Val
); -- semantic field, no parent set
6790 procedure Set_Target_Type
6791 (N
: Node_Id
; Val
: Entity_Id
) is
6793 pragma Assert
(False
6794 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6795 Set_Node2
(N
, Val
); -- semantic field, no parent set
6796 end Set_Target_Type
;
6798 procedure Set_Task_Definition
6799 (N
: Node_Id
; Val
: Node_Id
) is
6801 pragma Assert
(False
6802 or else NT
(N
).Nkind
= N_Single_Task_Declaration
6803 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
6804 Set_Node3_With_Parent
(N
, Val
);
6805 end Set_Task_Definition
;
6807 procedure Set_Task_Present
6808 (N
: Node_Id
; Val
: Boolean := True) is
6810 pragma Assert
(False
6811 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6812 or else NT
(N
).Nkind
= N_Record_Definition
);
6814 end Set_Task_Present
;
6816 procedure Set_Then_Actions
6817 (N
: Node_Id
; Val
: List_Id
) is
6819 pragma Assert
(False
6820 or else NT
(N
).Nkind
= N_If_Expression
);
6821 Set_List2_With_Parent
(N
, Val
); -- semantic field, but needs parents
6822 end Set_Then_Actions
;
6824 procedure Set_Then_Statements
6825 (N
: Node_Id
; Val
: List_Id
) is
6827 pragma Assert
(False
6828 or else NT
(N
).Nkind
= N_Elsif_Part
6829 or else NT
(N
).Nkind
= N_If_Statement
);
6830 Set_List2_With_Parent
(N
, Val
);
6831 end Set_Then_Statements
;
6833 procedure Set_Treat_Fixed_As_Integer
6834 (N
: Node_Id
; Val
: Boolean := True) is
6836 pragma Assert
(False
6837 or else NT
(N
).Nkind
= N_Op_Divide
6838 or else NT
(N
).Nkind
= N_Op_Mod
6839 or else NT
(N
).Nkind
= N_Op_Multiply
6840 or else NT
(N
).Nkind
= N_Op_Rem
);
6841 Set_Flag14
(N
, Val
);
6842 end Set_Treat_Fixed_As_Integer
;
6844 procedure Set_Triggering_Alternative
6845 (N
: Node_Id
; Val
: Node_Id
) is
6847 pragma Assert
(False
6848 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
6849 Set_Node1_With_Parent
(N
, Val
);
6850 end Set_Triggering_Alternative
;
6852 procedure Set_Triggering_Statement
6853 (N
: Node_Id
; Val
: Node_Id
) is
6855 pragma Assert
(False
6856 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6857 Set_Node1_With_Parent
(N
, Val
);
6858 end Set_Triggering_Statement
;
6860 procedure Set_TSS_Elist
6861 (N
: Node_Id
; Val
: Elist_Id
) is
6863 pragma Assert
(False
6864 or else NT
(N
).Nkind
= N_Freeze_Entity
);
6865 Set_Elist3
(N
, Val
); -- semantic field, no parent set
6868 procedure Set_Uneval_Old_Accept
6869 (N
: Node_Id
; Val
: Boolean := True) is
6871 pragma Assert
(False
6872 or else NT
(N
).Nkind
= N_Pragma
);
6874 end Set_Uneval_Old_Accept
;
6876 procedure Set_Uneval_Old_Warn
6877 (N
: Node_Id
; Val
: Boolean := True) is
6879 pragma Assert
(False
6880 or else NT
(N
).Nkind
= N_Pragma
);
6881 Set_Flag18
(N
, Val
);
6882 end Set_Uneval_Old_Warn
;
6884 procedure Set_Type_Definition
6885 (N
: Node_Id
; Val
: Node_Id
) is
6887 pragma Assert
(False
6888 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
6889 Set_Node3_With_Parent
(N
, Val
);
6890 end Set_Type_Definition
;
6893 (N
: Node_Id
; Val
: Node_Id
) is
6895 pragma Assert
(False
6896 or else NT
(N
).Nkind
= N_Compilation_Unit
);
6897 Set_Node2_With_Parent
(N
, Val
);
6900 procedure Set_Unknown_Discriminants_Present
6901 (N
: Node_Id
; Val
: Boolean := True) is
6903 pragma Assert
(False
6904 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
6905 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6906 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6907 or else NT
(N
).Nkind
= N_Private_Type_Declaration
);
6908 Set_Flag13
(N
, Val
);
6909 end Set_Unknown_Discriminants_Present
;
6911 procedure Set_Unreferenced_In_Spec
6912 (N
: Node_Id
; Val
: Boolean := True) is
6914 pragma Assert
(False
6915 or else NT
(N
).Nkind
= N_With_Clause
);
6917 end Set_Unreferenced_In_Spec
;
6919 procedure Set_Variant_Part
6920 (N
: Node_Id
; Val
: Node_Id
) is
6922 pragma Assert
(False
6923 or else NT
(N
).Nkind
= N_Component_List
);
6924 Set_Node4_With_Parent
(N
, Val
);
6925 end Set_Variant_Part
;
6927 procedure Set_Variants
6928 (N
: Node_Id
; Val
: List_Id
) is
6930 pragma Assert
(False
6931 or else NT
(N
).Nkind
= N_Variant_Part
);
6932 Set_List1_With_Parent
(N
, Val
);
6935 procedure Set_Visible_Declarations
6936 (N
: Node_Id
; Val
: List_Id
) is
6938 pragma Assert
(False
6939 or else NT
(N
).Nkind
= N_Package_Specification
6940 or else NT
(N
).Nkind
= N_Protected_Definition
6941 or else NT
(N
).Nkind
= N_Task_Definition
);
6942 Set_List2_With_Parent
(N
, Val
);
6943 end Set_Visible_Declarations
;
6945 procedure Set_Uninitialized_Variable
6946 (N
: Node_Id
; Val
: Node_Id
) is
6948 pragma Assert
(False
6949 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
6950 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
);
6952 end Set_Uninitialized_Variable
;
6954 procedure Set_Used_Operations
6955 (N
: Node_Id
; Val
: Elist_Id
) is
6957 pragma Assert
(False
6958 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6959 Set_Elist2
(N
, Val
);
6960 end Set_Used_Operations
;
6962 procedure Set_Was_Attribute_Reference
6963 (N
: Node_Id
; Val
: Boolean := True) is
6965 pragma Assert
(False
6966 or else NT
(N
).Nkind
= N_Subprogram_Body
);
6968 end Set_Was_Attribute_Reference
;
6970 procedure Set_Was_Expression_Function
6971 (N
: Node_Id
; Val
: Boolean := True) is
6973 pragma Assert
(False
6974 or else NT
(N
).Nkind
= N_Subprogram_Body
);
6975 Set_Flag18
(N
, Val
);
6976 end Set_Was_Expression_Function
;
6978 procedure Set_Was_Originally_Stub
6979 (N
: Node_Id
; Val
: Boolean := True) is
6981 pragma Assert
(False
6982 or else NT
(N
).Nkind
= N_Package_Body
6983 or else NT
(N
).Nkind
= N_Protected_Body
6984 or else NT
(N
).Nkind
= N_Subprogram_Body
6985 or else NT
(N
).Nkind
= N_Task_Body
);
6986 Set_Flag13
(N
, Val
);
6987 end Set_Was_Originally_Stub
;
6989 procedure Set_Withed_Body
6990 (N
: Node_Id
; Val
: Node_Id
) is
6992 pragma Assert
(False
6993 or else NT
(N
).Nkind
= N_With_Clause
);
6995 end Set_Withed_Body
;
6997 -------------------------
6998 -- Iterator Procedures --
6999 -------------------------
7001 procedure Next_Entity
(N
: in out Node_Id
) is
7003 N
:= Next_Entity
(N
);
7006 procedure Next_Named_Actual
(N
: in out Node_Id
) is
7008 N
:= Next_Named_Actual
(N
);
7009 end Next_Named_Actual
;
7011 procedure Next_Rep_Item
(N
: in out Node_Id
) is
7013 N
:= Next_Rep_Item
(N
);
7016 procedure Next_Use_Clause
(N
: in out Node_Id
) is
7018 N
:= Next_Use_Clause
(N
);
7019 end Next_Use_Clause
;
7025 function End_Location
(N
: Node_Id
) return Source_Ptr
is
7026 L
: constant Uint
:= End_Span
(N
);
7031 return Source_Ptr
(Int
(Sloc
(N
)) + UI_To_Int
(L
));
7035 --------------------
7036 -- Get_Pragma_Arg --
7037 --------------------
7039 function Get_Pragma_Arg
(Arg
: Node_Id
) return Node_Id
is
7041 if Nkind
(Arg
) = N_Pragma_Argument_Association
then
7042 return Expression
(Arg
);
7048 ----------------------
7049 -- Set_End_Location --
7050 ----------------------
7052 procedure Set_End_Location
(N
: Node_Id
; S
: Source_Ptr
) is
7055 UI_From_Int
(Int
(S
) - Int
(Sloc
(N
))));
7056 end Set_End_Location
;
7065 V2
: Node_Kind
) return Boolean
7068 return T
= V1
or else
7076 V3
: Node_Kind
) return Boolean
7079 return T
= V1
or else
7089 V4
: Node_Kind
) return Boolean
7092 return T
= V1
or else
7104 V5
: Node_Kind
) return Boolean
7107 return T
= V1
or else
7121 V6
: Node_Kind
) return Boolean
7124 return T
= V1
or else
7140 V7
: Node_Kind
) return Boolean
7143 return T
= V1
or else
7161 V8
: Node_Kind
) return Boolean
7164 return T
= V1
or else
7184 V9
: Node_Kind
) return Boolean
7187 return T
= V1
or else
7209 V10
: Node_Kind
) return Boolean
7212 return T
= V1
or else
7236 V11
: Node_Kind
) return Boolean
7239 return T
= V1
or else
7252 --------------------------
7253 -- Pragma_Name_Unmapped --
7254 --------------------------
7256 function Pragma_Name_Unmapped
(N
: Node_Id
) return Name_Id
is
7258 return Chars
(Pragma_Identifier
(N
));
7259 end Pragma_Name_Unmapped
;
7261 ---------------------
7262 -- Map_Pragma_Name --
7263 ---------------------
7265 -- We don't want to introduce a dependence on some hash table package or
7266 -- similar, so we use a simple array of Key => Value pairs, and do a linear
7267 -- search. Linear search is plenty efficient, given that we don't expect
7268 -- more than a couple of entries in the mapping.
7270 type Name_Pair
is record
7275 type Pragma_Map_Index
is range 1 .. 100;
7276 Pragma_Map
: array (Pragma_Map_Index
) of Name_Pair
;
7277 Last_Pair
: Pragma_Map_Index
'Base range 0 .. Pragma_Map_Index
'Last := 0;
7279 procedure Map_Pragma_Name
(From
, To
: Name_Id
) is
7281 if Last_Pair
= Pragma_Map
'Last then
7282 raise Too_Many_Pragma_Mappings
;
7285 Last_Pair
:= Last_Pair
+ 1;
7286 Pragma_Map
(Last_Pair
) := (Key
=> From
, Value
=> To
);
7287 end Map_Pragma_Name
;
7293 function Pragma_Name
(N
: Node_Id
) return Name_Id
is
7294 Result
: constant Name_Id
:= Pragma_Name_Unmapped
(N
);
7296 for J
in Pragma_Map
'First .. Last_Pair
loop
7297 if Result
= Pragma_Map
(J
).Key
then
7298 return Pragma_Map
(J
).Value
;