1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2013, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks
(All_Checks
);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree
; use Atree
;
39 use Atree
.Unchecked_Access
;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part
;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT
: Nodes
.Table_Ptr
renames Nodes
.Table
;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N
: Node_Id
) return Boolean is
64 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
65 or else NT
(N
).Nkind
= N_Function_Call
66 or else NT
(N
).Nkind
= N_Function_Instantiation
67 or else NT
(N
).Nkind
= N_Package_Instantiation
68 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
69 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
73 function Abort_Present
74 (N
: Node_Id
) return Boolean is
77 or else NT
(N
).Nkind
= N_Requeue_Statement
);
81 function Abortable_Part
82 (N
: Node_Id
) return Node_Id
is
85 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
89 function Abstract_Present
90 (N
: Node_Id
) return Boolean is
93 or else NT
(N
).Nkind
= N_Derived_Type_Definition
94 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
95 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
96 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
97 or else NT
(N
).Nkind
= N_Private_Type_Declaration
98 or else NT
(N
).Nkind
= N_Record_Definition
);
100 end Abstract_Present
;
102 function Accept_Handler_Records
103 (N
: Node_Id
) return List_Id
is
106 or else NT
(N
).Nkind
= N_Accept_Alternative
);
108 end Accept_Handler_Records
;
110 function Accept_Statement
111 (N
: Node_Id
) return Node_Id
is
114 or else NT
(N
).Nkind
= N_Accept_Alternative
);
116 end Accept_Statement
;
118 function Access_Definition
119 (N
: Node_Id
) return Node_Id
is
122 or else NT
(N
).Nkind
= N_Component_Definition
123 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
124 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
126 end Access_Definition
;
128 function Access_To_Subprogram_Definition
129 (N
: Node_Id
) return Node_Id
is
132 or else NT
(N
).Nkind
= N_Access_Definition
);
134 end Access_To_Subprogram_Definition
;
136 function Access_Types_To_Process
137 (N
: Node_Id
) return Elist_Id
is
140 or else NT
(N
).Nkind
= N_Freeze_Entity
);
142 end Access_Types_To_Process
;
145 (N
: Node_Id
) return List_Id
is
148 or else NT
(N
).Nkind
= N_And_Then
149 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
150 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
151 or else NT
(N
).Nkind
= N_Expression_With_Actions
152 or else NT
(N
).Nkind
= N_Freeze_Entity
153 or else NT
(N
).Nkind
= N_Or_Else
);
157 function Activation_Chain_Entity
158 (N
: Node_Id
) return Node_Id
is
161 or else NT
(N
).Nkind
= N_Block_Statement
162 or else NT
(N
).Nkind
= N_Entry_Body
163 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
164 or else NT
(N
).Nkind
= N_Package_Declaration
165 or else NT
(N
).Nkind
= N_Subprogram_Body
166 or else NT
(N
).Nkind
= N_Task_Body
);
168 end Activation_Chain_Entity
;
170 function Acts_As_Spec
171 (N
: Node_Id
) return Boolean is
174 or else NT
(N
).Nkind
= N_Compilation_Unit
175 or else NT
(N
).Nkind
= N_Subprogram_Body
);
179 function Actual_Designated_Subtype
180 (N
: Node_Id
) return Node_Id
is
183 or else NT
(N
).Nkind
= N_Explicit_Dereference
184 or else NT
(N
).Nkind
= N_Free_Statement
);
186 end Actual_Designated_Subtype
;
188 function Address_Warning_Posted
189 (N
: Node_Id
) return Boolean is
192 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
194 end Address_Warning_Posted
;
196 function Aggregate_Bounds
197 (N
: Node_Id
) return Node_Id
is
200 or else NT
(N
).Nkind
= N_Aggregate
);
202 end Aggregate_Bounds
;
204 function Aliased_Present
205 (N
: Node_Id
) return Boolean is
208 or else NT
(N
).Nkind
= N_Component_Definition
209 or else NT
(N
).Nkind
= N_Object_Declaration
210 or else NT
(N
).Nkind
= N_Parameter_Specification
);
215 (N
: Node_Id
) return Boolean is
218 or else NT
(N
).Nkind
= N_Others_Choice
);
223 (N
: Node_Id
) return Boolean is
226 or else NT
(N
).Nkind
= N_Access_Definition
227 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
228 or else NT
(N
).Nkind
= N_Quantified_Expression
229 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
233 function Alternatives
234 (N
: Node_Id
) return List_Id
is
237 or else NT
(N
).Nkind
= N_Case_Expression
238 or else NT
(N
).Nkind
= N_Case_Statement
239 or else NT
(N
).Nkind
= N_In
240 or else NT
(N
).Nkind
= N_Not_In
);
244 function Ancestor_Part
245 (N
: Node_Id
) return Node_Id
is
248 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
252 function Atomic_Sync_Required
253 (N
: Node_Id
) return Boolean is
256 or else NT
(N
).Nkind
= N_Expanded_Name
257 or else NT
(N
).Nkind
= N_Explicit_Dereference
258 or else NT
(N
).Nkind
= N_Identifier
259 or else NT
(N
).Nkind
= N_Indexed_Component
260 or else NT
(N
).Nkind
= N_Selected_Component
);
262 end Atomic_Sync_Required
;
264 function Array_Aggregate
265 (N
: Node_Id
) return Node_Id
is
268 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
);
272 function Aspect_Rep_Item
273 (N
: Node_Id
) return Node_Id
is
276 or else NT
(N
).Nkind
= N_Aspect_Specification
);
280 function Assignment_OK
281 (N
: Node_Id
) return Boolean is
284 or else NT
(N
).Nkind
= N_Object_Declaration
285 or else NT
(N
).Nkind
in N_Subexpr
);
289 function Associated_Node
290 (N
: Node_Id
) return Node_Id
is
293 or else NT
(N
).Nkind
in N_Has_Entity
294 or else NT
(N
).Nkind
= N_Aggregate
295 or else NT
(N
).Nkind
= N_Extension_Aggregate
296 or else NT
(N
).Nkind
= N_Selected_Component
);
301 (N
: Node_Id
) return Node_Id
is
304 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
308 function Attribute_Name
309 (N
: Node_Id
) return Name_Id
is
312 or else NT
(N
).Nkind
= N_Attribute_Reference
);
316 function Aux_Decls_Node
317 (N
: Node_Id
) return Node_Id
is
320 or else NT
(N
).Nkind
= N_Compilation_Unit
);
324 function Backwards_OK
325 (N
: Node_Id
) return Boolean is
328 or else NT
(N
).Nkind
= N_Assignment_Statement
);
332 function Bad_Is_Detected
333 (N
: Node_Id
) return Boolean is
336 or else NT
(N
).Nkind
= N_Subprogram_Body
);
340 function Body_Required
341 (N
: Node_Id
) return Boolean is
344 or else NT
(N
).Nkind
= N_Compilation_Unit
);
348 function Body_To_Inline
349 (N
: Node_Id
) return Node_Id
is
352 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
357 (N
: Node_Id
) return Boolean is
360 or else NT
(N
).Nkind
= N_Component_Association
361 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
362 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
363 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
364 or else NT
(N
).Nkind
= N_Generic_Association
);
369 (N
: Node_Id
) return Boolean is
372 or else NT
(N
).Nkind
= N_Extended_Return_Statement
373 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
377 function Char_Literal_Value
378 (N
: Node_Id
) return Uint
is
381 or else NT
(N
).Nkind
= N_Character_Literal
);
383 end Char_Literal_Value
;
386 (N
: Node_Id
) return Name_Id
is
389 or else NT
(N
).Nkind
in N_Has_Chars
);
393 function Check_Address_Alignment
394 (N
: Node_Id
) return Boolean is
397 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
399 end Check_Address_Alignment
;
401 function Choice_Parameter
402 (N
: Node_Id
) return Node_Id
is
405 or else NT
(N
).Nkind
= N_Exception_Handler
);
407 end Choice_Parameter
;
410 (N
: Node_Id
) return List_Id
is
413 or else NT
(N
).Nkind
= N_Component_Association
);
417 function Class_Present
418 (N
: Node_Id
) return Boolean is
421 or else NT
(N
).Nkind
= N_Aspect_Specification
422 or else NT
(N
).Nkind
= N_Pragma
);
426 function Classifications
427 (N
: Node_Id
) return Node_Id
is
430 or else NT
(N
).Nkind
= N_Contract
);
434 function Comes_From_Extended_Return_Statement
435 (N
: Node_Id
) return Boolean is
438 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
440 end Comes_From_Extended_Return_Statement
;
442 function Compile_Time_Known_Aggregate
443 (N
: Node_Id
) return Boolean is
446 or else NT
(N
).Nkind
= N_Aggregate
);
448 end Compile_Time_Known_Aggregate
;
450 function Component_Associations
451 (N
: Node_Id
) return List_Id
is
454 or else NT
(N
).Nkind
= N_Aggregate
455 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
457 end Component_Associations
;
459 function Component_Clauses
460 (N
: Node_Id
) return List_Id
is
463 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
465 end Component_Clauses
;
467 function Component_Definition
468 (N
: Node_Id
) return Node_Id
is
471 or else NT
(N
).Nkind
= N_Component_Declaration
472 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
473 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
475 end Component_Definition
;
477 function Component_Items
478 (N
: Node_Id
) return List_Id
is
481 or else NT
(N
).Nkind
= N_Component_List
);
485 function Component_List
486 (N
: Node_Id
) return Node_Id
is
489 or else NT
(N
).Nkind
= N_Record_Definition
490 or else NT
(N
).Nkind
= N_Variant
);
494 function Component_Name
495 (N
: Node_Id
) return Node_Id
is
498 or else NT
(N
).Nkind
= N_Component_Clause
);
502 function Componentwise_Assignment
503 (N
: Node_Id
) return Boolean is
506 or else NT
(N
).Nkind
= N_Assignment_Statement
);
508 end Componentwise_Assignment
;
511 (N
: Node_Id
) return Node_Id
is
514 or else NT
(N
).Nkind
= N_Accept_Alternative
515 or else NT
(N
).Nkind
= N_Delay_Alternative
516 or else NT
(N
).Nkind
= N_Elsif_Part
517 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
518 or else NT
(N
).Nkind
= N_Exit_Statement
519 or else NT
(N
).Nkind
= N_If_Statement
520 or else NT
(N
).Nkind
= N_Iteration_Scheme
521 or else NT
(N
).Nkind
= N_Quantified_Expression
522 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
523 or else NT
(N
).Nkind
= N_Raise_Program_Error
524 or else NT
(N
).Nkind
= N_Raise_Storage_Error
525 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
529 function Condition_Actions
530 (N
: Node_Id
) return List_Id
is
533 or else NT
(N
).Nkind
= N_Elsif_Part
534 or else NT
(N
).Nkind
= N_Iteration_Scheme
);
536 end Condition_Actions
;
538 function Config_Pragmas
539 (N
: Node_Id
) return List_Id
is
542 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
546 function Constant_Present
547 (N
: Node_Id
) return Boolean is
550 or else NT
(N
).Nkind
= N_Access_Definition
551 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
552 or else NT
(N
).Nkind
= N_Object_Declaration
);
554 end Constant_Present
;
557 (N
: Node_Id
) return Node_Id
is
560 or else NT
(N
).Nkind
= N_Subtype_Indication
);
565 (N
: Node_Id
) return List_Id
is
568 or else NT
(N
).Nkind
= N_Index_Or_Discriminant_Constraint
);
572 function Context_Installed
573 (N
: Node_Id
) return Boolean is
576 or else NT
(N
).Nkind
= N_With_Clause
);
578 end Context_Installed
;
580 function Context_Items
581 (N
: Node_Id
) return List_Id
is
584 or else NT
(N
).Nkind
= N_Compilation_Unit
);
588 function Context_Pending
589 (N
: Node_Id
) return Boolean is
592 or else NT
(N
).Nkind
= N_Compilation_Unit
);
596 function Contract_Test_Cases
597 (N
: Node_Id
) return Node_Id
is
600 or else NT
(N
).Nkind
= N_Contract
);
602 end Contract_Test_Cases
;
604 function Controlling_Argument
605 (N
: Node_Id
) return Node_Id
is
608 or else NT
(N
).Nkind
= N_Function_Call
609 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
611 end Controlling_Argument
;
613 function Conversion_OK
614 (N
: Node_Id
) return Boolean is
617 or else NT
(N
).Nkind
= N_Type_Conversion
);
621 function Convert_To_Return_False
622 (N
: Node_Id
) return Boolean is
625 or else NT
(N
).Nkind
= N_Raise_Expression
);
627 end Convert_To_Return_False
;
629 function Corresponding_Aspect
630 (N
: Node_Id
) return Node_Id
is
633 or else NT
(N
).Nkind
= N_Pragma
);
635 end Corresponding_Aspect
;
637 function Corresponding_Body
638 (N
: Node_Id
) return Node_Id
is
641 or else NT
(N
).Nkind
= N_Entry_Declaration
642 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
643 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
644 or else NT
(N
).Nkind
= N_Package_Body_Stub
645 or else NT
(N
).Nkind
= N_Package_Declaration
646 or else NT
(N
).Nkind
= N_Protected_Body_Stub
647 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
648 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
649 or else NT
(N
).Nkind
= N_Subprogram_Declaration
650 or else NT
(N
).Nkind
= N_Task_Body_Stub
651 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
653 end Corresponding_Body
;
655 function Corresponding_Formal_Spec
656 (N
: Node_Id
) return Node_Id
is
659 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
661 end Corresponding_Formal_Spec
;
663 function Corresponding_Generic_Association
664 (N
: Node_Id
) return Node_Id
is
667 or else NT
(N
).Nkind
= N_Object_Declaration
668 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
670 end Corresponding_Generic_Association
;
672 function Corresponding_Integer_Value
673 (N
: Node_Id
) return Uint
is
676 or else NT
(N
).Nkind
= N_Real_Literal
);
678 end Corresponding_Integer_Value
;
680 function Corresponding_Spec
681 (N
: Node_Id
) return Node_Id
is
684 or else NT
(N
).Nkind
= N_Expression_Function
685 or else NT
(N
).Nkind
= N_Package_Body
686 or else NT
(N
).Nkind
= N_Protected_Body
687 or else NT
(N
).Nkind
= N_Subprogram_Body
688 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
689 or else NT
(N
).Nkind
= N_Task_Body
690 or else NT
(N
).Nkind
= N_With_Clause
);
692 end Corresponding_Spec
;
694 function Corresponding_Spec_Of_Stub
695 (N
: Node_Id
) return Entity_Id
is
698 or else NT
(N
).Nkind
= N_Package_Body_Stub
699 or else NT
(N
).Nkind
= N_Protected_Body_Stub
700 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
701 or else NT
(N
).Nkind
= N_Task_Body_Stub
);
703 end Corresponding_Spec_Of_Stub
;
705 function Corresponding_Stub
706 (N
: Node_Id
) return Node_Id
is
709 or else NT
(N
).Nkind
= N_Subunit
);
711 end Corresponding_Stub
;
713 function Dcheck_Function
714 (N
: Node_Id
) return Entity_Id
is
717 or else NT
(N
).Nkind
= N_Variant
);
721 function Declarations
722 (N
: Node_Id
) return List_Id
is
725 or else NT
(N
).Nkind
= N_Accept_Statement
726 or else NT
(N
).Nkind
= N_Block_Statement
727 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
728 or else NT
(N
).Nkind
= N_Entry_Body
729 or else NT
(N
).Nkind
= N_Package_Body
730 or else NT
(N
).Nkind
= N_Protected_Body
731 or else NT
(N
).Nkind
= N_Subprogram_Body
732 or else NT
(N
).Nkind
= N_Task_Body
);
736 function Default_Expression
737 (N
: Node_Id
) return Node_Id
is
740 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
741 or else NT
(N
).Nkind
= N_Parameter_Specification
);
743 end Default_Expression
;
745 function Default_Storage_Pool
746 (N
: Node_Id
) return Node_Id
is
749 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
751 end Default_Storage_Pool
;
753 function Default_Name
754 (N
: Node_Id
) return Node_Id
is
757 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
758 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
);
762 function Defining_Identifier
763 (N
: Node_Id
) return Entity_Id
is
766 or else NT
(N
).Nkind
= N_Component_Declaration
767 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
768 or else NT
(N
).Nkind
= N_Discriminant_Specification
769 or else NT
(N
).Nkind
= N_Entry_Body
770 or else NT
(N
).Nkind
= N_Entry_Declaration
771 or else NT
(N
).Nkind
= N_Entry_Index_Specification
772 or else NT
(N
).Nkind
= N_Exception_Declaration
773 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
774 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
775 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
776 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
777 or else NT
(N
).Nkind
= N_Full_Type_Declaration
778 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
779 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
780 or else NT
(N
).Nkind
= N_Iterator_Specification
781 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
782 or else NT
(N
).Nkind
= N_Number_Declaration
783 or else NT
(N
).Nkind
= N_Object_Declaration
784 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
785 or else NT
(N
).Nkind
= N_Package_Body_Stub
786 or else NT
(N
).Nkind
= N_Parameter_Specification
787 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
788 or else NT
(N
).Nkind
= N_Private_Type_Declaration
789 or else NT
(N
).Nkind
= N_Protected_Body
790 or else NT
(N
).Nkind
= N_Protected_Body_Stub
791 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
792 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
793 or else NT
(N
).Nkind
= N_Single_Task_Declaration
794 or else NT
(N
).Nkind
= N_Subtype_Declaration
795 or else NT
(N
).Nkind
= N_Task_Body
796 or else NT
(N
).Nkind
= N_Task_Body_Stub
797 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
799 end Defining_Identifier
;
801 function Defining_Unit_Name
802 (N
: Node_Id
) return Node_Id
is
805 or else NT
(N
).Nkind
= N_Function_Instantiation
806 or else NT
(N
).Nkind
= N_Function_Specification
807 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
808 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
809 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
810 or else NT
(N
).Nkind
= N_Package_Body
811 or else NT
(N
).Nkind
= N_Package_Instantiation
812 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
813 or else NT
(N
).Nkind
= N_Package_Specification
814 or else NT
(N
).Nkind
= N_Procedure_Instantiation
815 or else NT
(N
).Nkind
= N_Procedure_Specification
);
817 end Defining_Unit_Name
;
819 function Delay_Alternative
820 (N
: Node_Id
) return Node_Id
is
823 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
825 end Delay_Alternative
;
827 function Delay_Statement
828 (N
: Node_Id
) return Node_Id
is
831 or else NT
(N
).Nkind
= N_Delay_Alternative
);
835 function Delta_Expression
836 (N
: Node_Id
) return Node_Id
is
839 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
840 or else NT
(N
).Nkind
= N_Delta_Constraint
841 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
843 end Delta_Expression
;
845 function Digits_Expression
846 (N
: Node_Id
) return Node_Id
is
849 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
850 or else NT
(N
).Nkind
= N_Digits_Constraint
851 or else NT
(N
).Nkind
= N_Floating_Point_Definition
);
853 end Digits_Expression
;
855 function Discr_Check_Funcs_Built
856 (N
: Node_Id
) return Boolean is
859 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
861 end Discr_Check_Funcs_Built
;
863 function Discrete_Choices
864 (N
: Node_Id
) return List_Id
is
867 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
868 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
869 or else NT
(N
).Nkind
= N_Variant
);
871 end Discrete_Choices
;
873 function Discrete_Range
874 (N
: Node_Id
) return Node_Id
is
877 or else NT
(N
).Nkind
= N_Slice
);
881 function Discrete_Subtype_Definition
882 (N
: Node_Id
) return Node_Id
is
885 or else NT
(N
).Nkind
= N_Entry_Declaration
886 or else NT
(N
).Nkind
= N_Entry_Index_Specification
887 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
889 end Discrete_Subtype_Definition
;
891 function Discrete_Subtype_Definitions
892 (N
: Node_Id
) return List_Id
is
895 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
);
897 end Discrete_Subtype_Definitions
;
899 function Discriminant_Specifications
900 (N
: Node_Id
) return List_Id
is
903 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
904 or else NT
(N
).Nkind
= N_Full_Type_Declaration
905 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
906 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
907 or else NT
(N
).Nkind
= N_Private_Type_Declaration
908 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
909 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
911 end Discriminant_Specifications
;
913 function Discriminant_Type
914 (N
: Node_Id
) return Node_Id
is
917 or else NT
(N
).Nkind
= N_Discriminant_Specification
);
919 end Discriminant_Type
;
921 function Do_Accessibility_Check
922 (N
: Node_Id
) return Boolean is
925 or else NT
(N
).Nkind
= N_Parameter_Specification
);
927 end Do_Accessibility_Check
;
929 function Do_Discriminant_Check
930 (N
: Node_Id
) return Boolean is
933 or else NT
(N
).Nkind
= N_Assignment_Statement
934 or else NT
(N
).Nkind
= N_Selected_Component
935 or else NT
(N
).Nkind
= N_Type_Conversion
);
937 end Do_Discriminant_Check
;
939 function Do_Division_Check
940 (N
: Node_Id
) return Boolean is
943 or else NT
(N
).Nkind
= N_Op_Divide
944 or else NT
(N
).Nkind
= N_Op_Mod
945 or else NT
(N
).Nkind
= N_Op_Rem
);
947 end Do_Division_Check
;
949 function Do_Length_Check
950 (N
: Node_Id
) return Boolean is
953 or else NT
(N
).Nkind
= N_Assignment_Statement
954 or else NT
(N
).Nkind
= N_Op_And
955 or else NT
(N
).Nkind
= N_Op_Or
956 or else NT
(N
).Nkind
= N_Op_Xor
957 or else NT
(N
).Nkind
= N_Type_Conversion
);
961 function Do_Overflow_Check
962 (N
: Node_Id
) return Boolean is
965 or else NT
(N
).Nkind
in N_Op
966 or else NT
(N
).Nkind
= N_Attribute_Reference
967 or else NT
(N
).Nkind
= N_Case_Expression
968 or else NT
(N
).Nkind
= N_If_Expression
969 or else NT
(N
).Nkind
= N_Type_Conversion
);
971 end Do_Overflow_Check
;
973 function Do_Range_Check
974 (N
: Node_Id
) return Boolean is
977 or else NT
(N
).Nkind
in N_Subexpr
);
981 function Do_Storage_Check
982 (N
: Node_Id
) return Boolean is
985 or else NT
(N
).Nkind
= N_Allocator
986 or else NT
(N
).Nkind
= N_Subprogram_Body
);
988 end Do_Storage_Check
;
990 function Do_Tag_Check
991 (N
: Node_Id
) return Boolean is
994 or else NT
(N
).Nkind
= N_Assignment_Statement
995 or else NT
(N
).Nkind
= N_Extended_Return_Statement
996 or else NT
(N
).Nkind
= N_Function_Call
997 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
998 or else NT
(N
).Nkind
= N_Simple_Return_Statement
999 or else NT
(N
).Nkind
= N_Type_Conversion
);
1003 function Elaborate_All_Desirable
1004 (N
: Node_Id
) return Boolean is
1006 pragma Assert
(False
1007 or else NT
(N
).Nkind
= N_With_Clause
);
1009 end Elaborate_All_Desirable
;
1011 function Elaborate_All_Present
1012 (N
: Node_Id
) return Boolean is
1014 pragma Assert
(False
1015 or else NT
(N
).Nkind
= N_With_Clause
);
1017 end Elaborate_All_Present
;
1019 function Elaborate_Desirable
1020 (N
: Node_Id
) return Boolean is
1022 pragma Assert
(False
1023 or else NT
(N
).Nkind
= N_With_Clause
);
1025 end Elaborate_Desirable
;
1027 function Elaborate_Present
1028 (N
: Node_Id
) return Boolean is
1030 pragma Assert
(False
1031 or else NT
(N
).Nkind
= N_With_Clause
);
1033 end Elaborate_Present
;
1035 function Elaboration_Boolean
1036 (N
: Node_Id
) return Node_Id
is
1038 pragma Assert
(False
1039 or else NT
(N
).Nkind
= N_Function_Specification
1040 or else NT
(N
).Nkind
= N_Procedure_Specification
);
1042 end Elaboration_Boolean
;
1044 function Else_Actions
1045 (N
: Node_Id
) return List_Id
is
1047 pragma Assert
(False
1048 or else NT
(N
).Nkind
= N_If_Expression
);
1052 function Else_Statements
1053 (N
: Node_Id
) return List_Id
is
1055 pragma Assert
(False
1056 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
1057 or else NT
(N
).Nkind
= N_If_Statement
1058 or else NT
(N
).Nkind
= N_Selective_Accept
);
1060 end Else_Statements
;
1062 function Elsif_Parts
1063 (N
: Node_Id
) return List_Id
is
1065 pragma Assert
(False
1066 or else NT
(N
).Nkind
= N_If_Statement
);
1070 function Enclosing_Variant
1071 (N
: Node_Id
) return Node_Id
is
1073 pragma Assert
(False
1074 or else NT
(N
).Nkind
= N_Variant
);
1076 end Enclosing_Variant
;
1079 (N
: Node_Id
) return Node_Id
is
1081 pragma Assert
(False
1082 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
1083 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
1084 or else NT
(N
).Nkind
= N_Loop_Statement
1085 or else NT
(N
).Nkind
= N_Package_Specification
1086 or else NT
(N
).Nkind
= N_Protected_Body
1087 or else NT
(N
).Nkind
= N_Protected_Definition
1088 or else NT
(N
).Nkind
= N_Record_Definition
1089 or else NT
(N
).Nkind
= N_Task_Definition
);
1094 (N
: Node_Id
) return Uint
is
1096 pragma Assert
(False
1097 or else NT
(N
).Nkind
= N_Case_Statement
1098 or else NT
(N
).Nkind
= N_If_Statement
);
1103 (N
: Node_Id
) return Node_Id
is
1105 pragma Assert
(False
1106 or else NT
(N
).Nkind
in N_Has_Entity
1107 or else NT
(N
).Nkind
= N_Aspect_Specification
1108 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1109 or else NT
(N
).Nkind
= N_Freeze_Entity
1110 or else NT
(N
).Nkind
= N_Freeze_Generic_Entity
);
1114 function Entity_Or_Associated_Node
1115 (N
: Node_Id
) return Node_Id
is
1117 pragma Assert
(False
1118 or else NT
(N
).Nkind
in N_Has_Entity
1119 or else NT
(N
).Nkind
= N_Freeze_Entity
);
1121 end Entity_Or_Associated_Node
;
1123 function Entry_Body_Formal_Part
1124 (N
: Node_Id
) return Node_Id
is
1126 pragma Assert
(False
1127 or else NT
(N
).Nkind
= N_Entry_Body
);
1129 end Entry_Body_Formal_Part
;
1131 function Entry_Call_Alternative
1132 (N
: Node_Id
) return Node_Id
is
1134 pragma Assert
(False
1135 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
1136 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
1138 end Entry_Call_Alternative
;
1140 function Entry_Call_Statement
1141 (N
: Node_Id
) return Node_Id
is
1143 pragma Assert
(False
1144 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
);
1146 end Entry_Call_Statement
;
1148 function Entry_Direct_Name
1149 (N
: Node_Id
) return Node_Id
is
1151 pragma Assert
(False
1152 or else NT
(N
).Nkind
= N_Accept_Statement
);
1154 end Entry_Direct_Name
;
1156 function Entry_Index
1157 (N
: Node_Id
) return Node_Id
is
1159 pragma Assert
(False
1160 or else NT
(N
).Nkind
= N_Accept_Statement
);
1164 function Entry_Index_Specification
1165 (N
: Node_Id
) return Node_Id
is
1167 pragma Assert
(False
1168 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
);
1170 end Entry_Index_Specification
;
1173 (N
: Node_Id
) return Node_Id
is
1175 pragma Assert
(False
1176 or else NT
(N
).Nkind
in N_Has_Etype
);
1180 function Exception_Choices
1181 (N
: Node_Id
) return List_Id
is
1183 pragma Assert
(False
1184 or else NT
(N
).Nkind
= N_Exception_Handler
);
1186 end Exception_Choices
;
1188 function Exception_Handlers
1189 (N
: Node_Id
) return List_Id
is
1191 pragma Assert
(False
1192 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
1194 end Exception_Handlers
;
1196 function Exception_Junk
1197 (N
: Node_Id
) return Boolean is
1199 pragma Assert
(False
1200 or else NT
(N
).Nkind
= N_Block_Statement
1201 or else NT
(N
).Nkind
= N_Goto_Statement
1202 or else NT
(N
).Nkind
= N_Label
1203 or else NT
(N
).Nkind
= N_Object_Declaration
1204 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
1208 function Exception_Label
1209 (N
: Node_Id
) return Node_Id
is
1211 pragma Assert
(False
1212 or else NT
(N
).Nkind
= N_Exception_Handler
1213 or else NT
(N
).Nkind
= N_Push_Constraint_Error_Label
1214 or else NT
(N
).Nkind
= N_Push_Program_Error_Label
1215 or else NT
(N
).Nkind
= N_Push_Storage_Error_Label
);
1217 end Exception_Label
;
1219 function Expansion_Delayed
1220 (N
: Node_Id
) return Boolean is
1222 pragma Assert
(False
1223 or else NT
(N
).Nkind
= N_Aggregate
1224 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
1226 end Expansion_Delayed
;
1228 function Explicit_Actual_Parameter
1229 (N
: Node_Id
) return Node_Id
is
1231 pragma Assert
(False
1232 or else NT
(N
).Nkind
= N_Parameter_Association
);
1234 end Explicit_Actual_Parameter
;
1236 function Explicit_Generic_Actual_Parameter
1237 (N
: Node_Id
) return Node_Id
is
1239 pragma Assert
(False
1240 or else NT
(N
).Nkind
= N_Generic_Association
);
1242 end Explicit_Generic_Actual_Parameter
;
1245 (N
: Node_Id
) return Node_Id
is
1247 pragma Assert
(False
1248 or else NT
(N
).Nkind
= N_Allocator
1249 or else NT
(N
).Nkind
= N_Aspect_Specification
1250 or else NT
(N
).Nkind
= N_Assignment_Statement
1251 or else NT
(N
).Nkind
= N_At_Clause
1252 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1253 or else NT
(N
).Nkind
= N_Case_Expression
1254 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
1255 or else NT
(N
).Nkind
= N_Case_Statement
1256 or else NT
(N
).Nkind
= N_Code_Statement
1257 or else NT
(N
).Nkind
= N_Component_Association
1258 or else NT
(N
).Nkind
= N_Component_Declaration
1259 or else NT
(N
).Nkind
= N_Delay_Relative_Statement
1260 or else NT
(N
).Nkind
= N_Delay_Until_Statement
1261 or else NT
(N
).Nkind
= N_Discriminant_Association
1262 or else NT
(N
).Nkind
= N_Discriminant_Specification
1263 or else NT
(N
).Nkind
= N_Exception_Declaration
1264 or else NT
(N
).Nkind
= N_Expression_Function
1265 or else NT
(N
).Nkind
= N_Expression_With_Actions
1266 or else NT
(N
).Nkind
= N_Free_Statement
1267 or else NT
(N
).Nkind
= N_Mod_Clause
1268 or else NT
(N
).Nkind
= N_Modular_Type_Definition
1269 or else NT
(N
).Nkind
= N_Number_Declaration
1270 or else NT
(N
).Nkind
= N_Object_Declaration
1271 or else NT
(N
).Nkind
= N_Parameter_Specification
1272 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
1273 or else NT
(N
).Nkind
= N_Qualified_Expression
1274 or else NT
(N
).Nkind
= N_Raise_Expression
1275 or else NT
(N
).Nkind
= N_Raise_Statement
1276 or else NT
(N
).Nkind
= N_Simple_Return_Statement
1277 or else NT
(N
).Nkind
= N_Type_Conversion
1278 or else NT
(N
).Nkind
= N_Unchecked_Expression
1279 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
1283 function Expressions
1284 (N
: Node_Id
) return List_Id
is
1286 pragma Assert
(False
1287 or else NT
(N
).Nkind
= N_Aggregate
1288 or else NT
(N
).Nkind
= N_Attribute_Reference
1289 or else NT
(N
).Nkind
= N_Extension_Aggregate
1290 or else NT
(N
).Nkind
= N_If_Expression
1291 or else NT
(N
).Nkind
= N_Indexed_Component
);
1296 (N
: Node_Id
) return Node_Id
is
1298 pragma Assert
(False
1299 or else NT
(N
).Nkind
= N_Component_Clause
);
1303 function First_Inlined_Subprogram
1304 (N
: Node_Id
) return Entity_Id
is
1306 pragma Assert
(False
1307 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1309 end First_Inlined_Subprogram
;
1312 (N
: Node_Id
) return Boolean is
1314 pragma Assert
(False
1315 or else NT
(N
).Nkind
= N_With_Clause
);
1319 function First_Named_Actual
1320 (N
: Node_Id
) return Node_Id
is
1322 pragma Assert
(False
1323 or else NT
(N
).Nkind
= N_Entry_Call_Statement
1324 or else NT
(N
).Nkind
= N_Function_Call
1325 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
1327 end First_Named_Actual
;
1329 function First_Real_Statement
1330 (N
: Node_Id
) return Node_Id
is
1332 pragma Assert
(False
1333 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
1335 end First_Real_Statement
;
1337 function First_Subtype_Link
1338 (N
: Node_Id
) return Entity_Id
is
1340 pragma Assert
(False
1341 or else NT
(N
).Nkind
= N_Freeze_Entity
);
1343 end First_Subtype_Link
;
1345 function Float_Truncate
1346 (N
: Node_Id
) return Boolean is
1348 pragma Assert
(False
1349 or else NT
(N
).Nkind
= N_Type_Conversion
);
1353 function Formal_Type_Definition
1354 (N
: Node_Id
) return Node_Id
is
1356 pragma Assert
(False
1357 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
);
1359 end Formal_Type_Definition
;
1361 function Forwards_OK
1362 (N
: Node_Id
) return Boolean is
1364 pragma Assert
(False
1365 or else NT
(N
).Nkind
= N_Assignment_Statement
);
1369 function From_Aspect_Specification
1370 (N
: Node_Id
) return Boolean is
1372 pragma Assert
(False
1373 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1374 or else NT
(N
).Nkind
= N_Pragma
);
1376 end From_Aspect_Specification
;
1378 function From_At_End
1379 (N
: Node_Id
) return Boolean is
1381 pragma Assert
(False
1382 or else NT
(N
).Nkind
= N_Raise_Statement
);
1386 function From_At_Mod
1387 (N
: Node_Id
) return Boolean is
1389 pragma Assert
(False
1390 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
1394 function From_Default
1395 (N
: Node_Id
) return Boolean is
1397 pragma Assert
(False
1398 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
1402 function Generalized_Indexing
1403 (N
: Node_Id
) return Node_Id
is
1405 pragma Assert
(False
1406 or else NT
(N
).Nkind
= N_Indexed_Component
);
1408 end Generalized_Indexing
;
1410 function Generic_Associations
1411 (N
: Node_Id
) return List_Id
is
1413 pragma Assert
(False
1414 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
1415 or else NT
(N
).Nkind
= N_Function_Instantiation
1416 or else NT
(N
).Nkind
= N_Package_Instantiation
1417 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
1419 end Generic_Associations
;
1421 function Generic_Formal_Declarations
1422 (N
: Node_Id
) return List_Id
is
1424 pragma Assert
(False
1425 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
1426 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
);
1428 end Generic_Formal_Declarations
;
1430 function Generic_Parent
1431 (N
: Node_Id
) return Node_Id
is
1433 pragma Assert
(False
1434 or else NT
(N
).Nkind
= N_Function_Specification
1435 or else NT
(N
).Nkind
= N_Package_Specification
1436 or else NT
(N
).Nkind
= N_Procedure_Specification
);
1440 function Generic_Parent_Type
1441 (N
: Node_Id
) return Node_Id
is
1443 pragma Assert
(False
1444 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
1446 end Generic_Parent_Type
;
1448 function Handled_Statement_Sequence
1449 (N
: Node_Id
) return Node_Id
is
1451 pragma Assert
(False
1452 or else NT
(N
).Nkind
= N_Accept_Statement
1453 or else NT
(N
).Nkind
= N_Block_Statement
1454 or else NT
(N
).Nkind
= N_Entry_Body
1455 or else NT
(N
).Nkind
= N_Extended_Return_Statement
1456 or else NT
(N
).Nkind
= N_Package_Body
1457 or else NT
(N
).Nkind
= N_Subprogram_Body
1458 or else NT
(N
).Nkind
= N_Task_Body
);
1460 end Handled_Statement_Sequence
;
1462 function Handler_List_Entry
1463 (N
: Node_Id
) return Node_Id
is
1465 pragma Assert
(False
1466 or else NT
(N
).Nkind
= N_Object_Declaration
);
1468 end Handler_List_Entry
;
1470 function Has_Created_Identifier
1471 (N
: Node_Id
) return Boolean is
1473 pragma Assert
(False
1474 or else NT
(N
).Nkind
= N_Block_Statement
1475 or else NT
(N
).Nkind
= N_Loop_Statement
);
1477 end Has_Created_Identifier
;
1479 function Has_Dereference_Action
1480 (N
: Node_Id
) return Boolean is
1482 pragma Assert
(False
1483 or else NT
(N
).Nkind
= N_Explicit_Dereference
);
1485 end Has_Dereference_Action
;
1487 function Has_Dynamic_Length_Check
1488 (N
: Node_Id
) return Boolean is
1490 pragma Assert
(False
1491 or else NT
(N
).Nkind
in N_Subexpr
);
1493 end Has_Dynamic_Length_Check
;
1495 function Has_Dynamic_Range_Check
1496 (N
: Node_Id
) return Boolean is
1498 pragma Assert
(False
1499 or else NT
(N
).Nkind
= N_Subtype_Declaration
1500 or else NT
(N
).Nkind
in N_Subexpr
);
1502 end Has_Dynamic_Range_Check
;
1504 function Has_Init_Expression
1505 (N
: Node_Id
) return Boolean is
1507 pragma Assert
(False
1508 or else NT
(N
).Nkind
= N_Object_Declaration
);
1510 end Has_Init_Expression
;
1512 function Has_Local_Raise
1513 (N
: Node_Id
) return Boolean is
1515 pragma Assert
(False
1516 or else NT
(N
).Nkind
= N_Exception_Handler
);
1518 end Has_Local_Raise
;
1520 function Has_No_Elaboration_Code
1521 (N
: Node_Id
) return Boolean is
1523 pragma Assert
(False
1524 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1526 end Has_No_Elaboration_Code
;
1528 function Has_Pragma_Suppress_All
1529 (N
: Node_Id
) return Boolean is
1531 pragma Assert
(False
1532 or else NT
(N
).Nkind
= N_Compilation_Unit
);
1534 end Has_Pragma_Suppress_All
;
1536 function Has_Private_View
1537 (N
: Node_Id
) return Boolean is
1539 pragma Assert
(False
1540 or else NT
(N
).Nkind
in N_Op
1541 or else NT
(N
).Nkind
= N_Character_Literal
1542 or else NT
(N
).Nkind
= N_Expanded_Name
1543 or else NT
(N
).Nkind
= N_Identifier
1544 or else NT
(N
).Nkind
= N_Operator_Symbol
);
1546 end Has_Private_View
;
1548 function Has_Relative_Deadline_Pragma
1549 (N
: Node_Id
) return Boolean is
1551 pragma Assert
(False
1552 or else NT
(N
).Nkind
= N_Subprogram_Body
1553 or else NT
(N
).Nkind
= N_Task_Definition
);
1555 end Has_Relative_Deadline_Pragma
;
1557 function Has_Self_Reference
1558 (N
: Node_Id
) return Boolean is
1560 pragma Assert
(False
1561 or else NT
(N
).Nkind
= N_Aggregate
1562 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
1564 end Has_Self_Reference
;
1566 function Has_SP_Choice
1567 (N
: Node_Id
) return Boolean is
1569 pragma Assert
(False
1570 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
1571 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
1572 or else NT
(N
).Nkind
= N_Variant
);
1576 function Has_Storage_Size_Pragma
1577 (N
: Node_Id
) return Boolean is
1579 pragma Assert
(False
1580 or else NT
(N
).Nkind
= N_Task_Definition
);
1582 end Has_Storage_Size_Pragma
;
1584 function Has_Wide_Character
1585 (N
: Node_Id
) return Boolean is
1587 pragma Assert
(False
1588 or else NT
(N
).Nkind
= N_String_Literal
);
1590 end Has_Wide_Character
;
1592 function Has_Wide_Wide_Character
1593 (N
: Node_Id
) return Boolean is
1595 pragma Assert
(False
1596 or else NT
(N
).Nkind
= N_String_Literal
);
1598 end Has_Wide_Wide_Character
;
1600 function Header_Size_Added
1601 (N
: Node_Id
) return Boolean is
1603 pragma Assert
(False
1604 or else NT
(N
).Nkind
= N_Attribute_Reference
);
1606 end Header_Size_Added
;
1608 function Hidden_By_Use_Clause
1609 (N
: Node_Id
) return Elist_Id
is
1611 pragma Assert
(False
1612 or else NT
(N
).Nkind
= N_Use_Package_Clause
1613 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
1615 end Hidden_By_Use_Clause
;
1618 (N
: Node_Id
) return Node_Id
is
1620 pragma Assert
(False
1621 or else NT
(N
).Nkind
= N_Range
1622 or else NT
(N
).Nkind
= N_Real_Range_Specification
1623 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
1628 (N
: Node_Id
) return Node_Id
is
1630 pragma Assert
(False
1631 or else NT
(N
).Nkind
= N_Aspect_Specification
1632 or else NT
(N
).Nkind
= N_At_Clause
1633 or else NT
(N
).Nkind
= N_Block_Statement
1634 or else NT
(N
).Nkind
= N_Designator
1635 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
1636 or else NT
(N
).Nkind
= N_Label
1637 or else NT
(N
).Nkind
= N_Loop_Statement
1638 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
1642 function Implicit_With
1643 (N
: Node_Id
) return Boolean is
1645 pragma Assert
(False
1646 or else NT
(N
).Nkind
= N_With_Clause
);
1650 function Implicit_With_From_Instantiation
1651 (N
: Node_Id
) return Boolean is
1653 pragma Assert
(False
1654 or else NT
(N
).Nkind
= N_With_Clause
);
1656 end Implicit_With_From_Instantiation
;
1658 function Interface_List
1659 (N
: Node_Id
) return List_Id
is
1661 pragma Assert
(False
1662 or else NT
(N
).Nkind
= N_Derived_Type_Definition
1663 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
1664 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
1665 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
1666 or else NT
(N
).Nkind
= N_Record_Definition
1667 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
1668 or else NT
(N
).Nkind
= N_Single_Task_Declaration
1669 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
1673 function Interface_Present
1674 (N
: Node_Id
) return Boolean is
1676 pragma Assert
(False
1677 or else NT
(N
).Nkind
= N_Derived_Type_Definition
1678 or else NT
(N
).Nkind
= N_Record_Definition
);
1680 end Interface_Present
;
1682 function Import_Interface_Present
1683 (N
: Node_Id
) return Boolean is
1685 pragma Assert
(False
1686 or else NT
(N
).Nkind
= N_Pragma
);
1688 end Import_Interface_Present
;
1691 (N
: Node_Id
) return Boolean is
1693 pragma Assert
(False
1694 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
1695 or else NT
(N
).Nkind
= N_Parameter_Specification
);
1699 function Includes_Infinities
1700 (N
: Node_Id
) return Boolean is
1702 pragma Assert
(False
1703 or else NT
(N
).Nkind
= N_Range
);
1705 end Includes_Infinities
;
1707 function Inherited_Discriminant
1708 (N
: Node_Id
) return Boolean is
1710 pragma Assert
(False
1711 or else NT
(N
).Nkind
= N_Component_Association
);
1713 end Inherited_Discriminant
;
1715 function Instance_Spec
1716 (N
: Node_Id
) return Node_Id
is
1718 pragma Assert
(False
1719 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
1720 or else NT
(N
).Nkind
= N_Function_Instantiation
1721 or else NT
(N
).Nkind
= N_Package_Instantiation
1722 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
1727 (N
: Node_Id
) return Uint
is
1729 pragma Assert
(False
1730 or else NT
(N
).Nkind
= N_Integer_Literal
);
1734 function Is_Accessibility_Actual
1735 (N
: Node_Id
) return Boolean is
1737 pragma Assert
(False
1738 or else NT
(N
).Nkind
= N_Parameter_Association
);
1740 end Is_Accessibility_Actual
;
1742 function Is_Asynchronous_Call_Block
1743 (N
: Node_Id
) return Boolean is
1745 pragma Assert
(False
1746 or else NT
(N
).Nkind
= N_Block_Statement
);
1748 end Is_Asynchronous_Call_Block
;
1750 function Is_Boolean_Aspect
1751 (N
: Node_Id
) return Boolean is
1753 pragma Assert
(False
1754 or else NT
(N
).Nkind
= N_Aspect_Specification
);
1756 end Is_Boolean_Aspect
;
1759 (N
: Node_Id
) return Boolean is
1761 pragma Assert
(False
1762 or else NT
(N
).Nkind
= N_Aspect_Specification
1763 or else NT
(N
).Nkind
= N_Pragma
);
1767 function Is_Component_Left_Opnd
1768 (N
: Node_Id
) return Boolean is
1770 pragma Assert
(False
1771 or else NT
(N
).Nkind
= N_Op_Concat
);
1773 end Is_Component_Left_Opnd
;
1775 function Is_Component_Right_Opnd
1776 (N
: Node_Id
) return Boolean is
1778 pragma Assert
(False
1779 or else NT
(N
).Nkind
= N_Op_Concat
);
1781 end Is_Component_Right_Opnd
;
1783 function Is_Controlling_Actual
1784 (N
: Node_Id
) return Boolean is
1786 pragma Assert
(False
1787 or else NT
(N
).Nkind
in N_Subexpr
);
1789 end Is_Controlling_Actual
;
1791 function Is_Disabled
1792 (N
: Node_Id
) return Boolean is
1794 pragma Assert
(False
1795 or else NT
(N
).Nkind
= N_Aspect_Specification
1796 or else NT
(N
).Nkind
= N_Pragma
);
1800 function Is_Delayed_Aspect
1801 (N
: Node_Id
) return Boolean is
1803 pragma Assert
(False
1804 or else NT
(N
).Nkind
= N_Aspect_Specification
1805 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
1806 or else NT
(N
).Nkind
= N_Pragma
);
1808 end Is_Delayed_Aspect
;
1810 function Is_Dynamic_Coextension
1811 (N
: Node_Id
) return Boolean is
1813 pragma Assert
(False
1814 or else NT
(N
).Nkind
= N_Allocator
);
1816 end Is_Dynamic_Coextension
;
1819 (N
: Node_Id
) return Boolean is
1821 pragma Assert
(False
1822 or else NT
(N
).Nkind
= N_If_Expression
);
1826 function Is_Entry_Barrier_Function
1827 (N
: Node_Id
) return Boolean is
1829 pragma Assert
(False
1830 or else NT
(N
).Nkind
= N_Subprogram_Body
);
1832 end Is_Entry_Barrier_Function
;
1834 function Is_Expanded_Build_In_Place_Call
1835 (N
: Node_Id
) return Boolean is
1837 pragma Assert
(False
1838 or else NT
(N
).Nkind
= N_Function_Call
);
1840 end Is_Expanded_Build_In_Place_Call
;
1842 function Is_Finalization_Wrapper
1843 (N
: Node_Id
) return Boolean is
1845 pragma Assert
(False
1846 or else NT
(N
).Nkind
= N_Block_Statement
);
1848 end Is_Finalization_Wrapper
;
1850 function Is_Folded_In_Parser
1851 (N
: Node_Id
) return Boolean is
1853 pragma Assert
(False
1854 or else NT
(N
).Nkind
= N_String_Literal
);
1856 end Is_Folded_In_Parser
;
1859 (N
: Node_Id
) return Boolean is
1861 pragma Assert
(False
1862 or else NT
(N
).Nkind
= N_Aspect_Specification
1863 or else NT
(N
).Nkind
= N_Pragma
);
1867 function Is_In_Discriminant_Check
1868 (N
: Node_Id
) return Boolean is
1870 pragma Assert
(False
1871 or else NT
(N
).Nkind
= N_Selected_Component
);
1873 end Is_In_Discriminant_Check
;
1875 function Is_Machine_Number
1876 (N
: Node_Id
) return Boolean is
1878 pragma Assert
(False
1879 or else NT
(N
).Nkind
= N_Real_Literal
);
1881 end Is_Machine_Number
;
1883 function Is_Null_Loop
1884 (N
: Node_Id
) return Boolean is
1886 pragma Assert
(False
1887 or else NT
(N
).Nkind
= N_Loop_Statement
);
1891 function Is_Overloaded
1892 (N
: Node_Id
) return Boolean is
1894 pragma Assert
(False
1895 or else NT
(N
).Nkind
in N_Subexpr
);
1899 function Is_Power_Of_2_For_Shift
1900 (N
: Node_Id
) return Boolean is
1902 pragma Assert
(False
1903 or else NT
(N
).Nkind
= N_Op_Expon
);
1905 end Is_Power_Of_2_For_Shift
;
1907 function Is_Prefixed_Call
1908 (N
: Node_Id
) return Boolean is
1910 pragma Assert
(False
1911 or else NT
(N
).Nkind
= N_Selected_Component
);
1913 end Is_Prefixed_Call
;
1915 function Is_Protected_Subprogram_Body
1916 (N
: Node_Id
) return Boolean is
1918 pragma Assert
(False
1919 or else NT
(N
).Nkind
= N_Subprogram_Body
);
1921 end Is_Protected_Subprogram_Body
;
1923 function Is_Static_Coextension
1924 (N
: Node_Id
) return Boolean is
1926 pragma Assert
(False
1927 or else NT
(N
).Nkind
= N_Allocator
);
1929 end Is_Static_Coextension
;
1931 function Is_Static_Expression
1932 (N
: Node_Id
) return Boolean is
1934 pragma Assert
(False
1935 or else NT
(N
).Nkind
in N_Subexpr
);
1937 end Is_Static_Expression
;
1939 function Is_Subprogram_Descriptor
1940 (N
: Node_Id
) return Boolean is
1942 pragma Assert
(False
1943 or else NT
(N
).Nkind
= N_Object_Declaration
);
1945 end Is_Subprogram_Descriptor
;
1947 function Is_Task_Allocation_Block
1948 (N
: Node_Id
) return Boolean is
1950 pragma Assert
(False
1951 or else NT
(N
).Nkind
= N_Block_Statement
);
1953 end Is_Task_Allocation_Block
;
1955 function Is_Task_Master
1956 (N
: Node_Id
) return Boolean is
1958 pragma Assert
(False
1959 or else NT
(N
).Nkind
= N_Block_Statement
1960 or else NT
(N
).Nkind
= N_Subprogram_Body
1961 or else NT
(N
).Nkind
= N_Task_Body
);
1965 function Iteration_Scheme
1966 (N
: Node_Id
) return Node_Id
is
1968 pragma Assert
(False
1969 or else NT
(N
).Nkind
= N_Loop_Statement
);
1971 end Iteration_Scheme
;
1973 function Iterator_Specification
1974 (N
: Node_Id
) return Node_Id
is
1976 pragma Assert
(False
1977 or else NT
(N
).Nkind
= N_Iteration_Scheme
1978 or else NT
(N
).Nkind
= N_Quantified_Expression
);
1980 end Iterator_Specification
;
1983 (N
: Node_Id
) return Node_Id
is
1985 pragma Assert
(False
1986 or else NT
(N
).Nkind
= N_Itype_Reference
);
1990 function Kill_Range_Check
1991 (N
: Node_Id
) return Boolean is
1993 pragma Assert
(False
1994 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
1996 end Kill_Range_Check
;
1998 function Label_Construct
1999 (N
: Node_Id
) return Node_Id
is
2001 pragma Assert
(False
2002 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
);
2004 end Label_Construct
;
2007 (N
: Node_Id
) return Node_Id
is
2009 pragma Assert
(False
2010 or else NT
(N
).Nkind
= N_Component_Clause
);
2015 (N
: Node_Id
) return Boolean is
2017 pragma Assert
(False
2018 or else NT
(N
).Nkind
= N_With_Clause
);
2023 (N
: Node_Id
) return Node_Id
is
2025 pragma Assert
(False
2026 or else NT
(N
).Nkind
= N_And_Then
2027 or else NT
(N
).Nkind
= N_In
2028 or else NT
(N
).Nkind
= N_Not_In
2029 or else NT
(N
).Nkind
= N_Or_Else
2030 or else NT
(N
).Nkind
in N_Binary_Op
);
2034 function Library_Unit
2035 (N
: Node_Id
) return Node_Id
is
2037 pragma Assert
(False
2038 or else NT
(N
).Nkind
= N_Compilation_Unit
2039 or else NT
(N
).Nkind
= N_Package_Body_Stub
2040 or else NT
(N
).Nkind
= N_Protected_Body_Stub
2041 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
2042 or else NT
(N
).Nkind
= N_Task_Body_Stub
2043 or else NT
(N
).Nkind
= N_With_Clause
);
2047 function Limited_View_Installed
2048 (N
: Node_Id
) return Boolean is
2050 pragma Assert
(False
2051 or else NT
(N
).Nkind
= N_Package_Specification
2052 or else NT
(N
).Nkind
= N_With_Clause
);
2054 end Limited_View_Installed
;
2056 function Limited_Present
2057 (N
: Node_Id
) return Boolean is
2059 pragma Assert
(False
2060 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2061 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
2062 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
2063 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
2064 or else NT
(N
).Nkind
= N_Private_Type_Declaration
2065 or else NT
(N
).Nkind
= N_Record_Definition
2066 or else NT
(N
).Nkind
= N_With_Clause
);
2068 end Limited_Present
;
2071 (N
: Node_Id
) return List_Id
is
2073 pragma Assert
(False
2074 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
);
2078 function Local_Raise_Not_OK
2079 (N
: Node_Id
) return Boolean is
2081 pragma Assert
(False
2082 or else NT
(N
).Nkind
= N_Exception_Handler
);
2084 end Local_Raise_Not_OK
;
2086 function Local_Raise_Statements
2087 (N
: Node_Id
) return Elist_Id
is
2089 pragma Assert
(False
2090 or else NT
(N
).Nkind
= N_Exception_Handler
);
2092 end Local_Raise_Statements
;
2094 function Loop_Actions
2095 (N
: Node_Id
) return List_Id
is
2097 pragma Assert
(False
2098 or else NT
(N
).Nkind
= N_Component_Association
);
2102 function Loop_Parameter_Specification
2103 (N
: Node_Id
) return Node_Id
is
2105 pragma Assert
(False
2106 or else NT
(N
).Nkind
= N_Iteration_Scheme
2107 or else NT
(N
).Nkind
= N_Quantified_Expression
);
2109 end Loop_Parameter_Specification
;
2112 (N
: Node_Id
) return Node_Id
is
2114 pragma Assert
(False
2115 or else NT
(N
).Nkind
= N_Range
2116 or else NT
(N
).Nkind
= N_Real_Range_Specification
2117 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
2122 (N
: Node_Id
) return Node_Id
is
2124 pragma Assert
(False
2125 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
2130 (N
: Node_Id
) return Boolean is
2132 pragma Assert
(False
2133 or else NT
(N
).Nkind
= N_Component_Declaration
2134 or else NT
(N
).Nkind
= N_Discriminant_Specification
2135 or else NT
(N
).Nkind
= N_Exception_Declaration
2136 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2137 or else NT
(N
).Nkind
= N_Number_Declaration
2138 or else NT
(N
).Nkind
= N_Object_Declaration
2139 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2143 function Must_Be_Byte_Aligned
2144 (N
: Node_Id
) return Boolean is
2146 pragma Assert
(False
2147 or else NT
(N
).Nkind
= N_Attribute_Reference
);
2149 end Must_Be_Byte_Aligned
;
2151 function Must_Not_Freeze
2152 (N
: Node_Id
) return Boolean is
2154 pragma Assert
(False
2155 or else NT
(N
).Nkind
= N_Subtype_Indication
2156 or else NT
(N
).Nkind
in N_Subexpr
);
2158 end Must_Not_Freeze
;
2160 function Must_Not_Override
2161 (N
: Node_Id
) return Boolean is
2163 pragma Assert
(False
2164 or else NT
(N
).Nkind
= N_Entry_Declaration
2165 or else NT
(N
).Nkind
= N_Function_Instantiation
2166 or else NT
(N
).Nkind
= N_Function_Specification
2167 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2168 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2170 end Must_Not_Override
;
2172 function Must_Override
2173 (N
: Node_Id
) return Boolean is
2175 pragma Assert
(False
2176 or else NT
(N
).Nkind
= N_Entry_Declaration
2177 or else NT
(N
).Nkind
= N_Function_Instantiation
2178 or else NT
(N
).Nkind
= N_Function_Specification
2179 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2180 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2185 (N
: Node_Id
) return Node_Id
is
2187 pragma Assert
(False
2188 or else NT
(N
).Nkind
= N_Assignment_Statement
2189 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
2190 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
2191 or else NT
(N
).Nkind
= N_Designator
2192 or else NT
(N
).Nkind
= N_Entry_Call_Statement
2193 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
2194 or else NT
(N
).Nkind
= N_Exit_Statement
2195 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
2196 or else NT
(N
).Nkind
= N_Function_Call
2197 or else NT
(N
).Nkind
= N_Function_Instantiation
2198 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
2199 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
2200 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
2201 or else NT
(N
).Nkind
= N_Goto_Statement
2202 or else NT
(N
).Nkind
= N_Iterator_Specification
2203 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
2204 or else NT
(N
).Nkind
= N_Package_Instantiation
2205 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
2206 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
2207 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2208 or else NT
(N
).Nkind
= N_Raise_Expression
2209 or else NT
(N
).Nkind
= N_Raise_Statement
2210 or else NT
(N
).Nkind
= N_Requeue_Statement
2211 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
2212 or else NT
(N
).Nkind
= N_Subunit
2213 or else NT
(N
).Nkind
= N_Variant_Part
2214 or else NT
(N
).Nkind
= N_With_Clause
);
2219 (N
: Node_Id
) return List_Id
is
2221 pragma Assert
(False
2222 or else NT
(N
).Nkind
= N_Abort_Statement
2223 or else NT
(N
).Nkind
= N_Use_Package_Clause
);
2227 function Next_Entity
2228 (N
: Node_Id
) return Node_Id
is
2230 pragma Assert
(False
2231 or else NT
(N
).Nkind
= N_Defining_Character_Literal
2232 or else NT
(N
).Nkind
= N_Defining_Identifier
2233 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
2237 function Next_Exit_Statement
2238 (N
: Node_Id
) return Node_Id
is
2240 pragma Assert
(False
2241 or else NT
(N
).Nkind
= N_Exit_Statement
);
2243 end Next_Exit_Statement
;
2245 function Next_Implicit_With
2246 (N
: Node_Id
) return Node_Id
is
2248 pragma Assert
(False
2249 or else NT
(N
).Nkind
= N_With_Clause
);
2251 end Next_Implicit_With
;
2253 function Next_Named_Actual
2254 (N
: Node_Id
) return Node_Id
is
2256 pragma Assert
(False
2257 or else NT
(N
).Nkind
= N_Parameter_Association
);
2259 end Next_Named_Actual
;
2261 function Next_Pragma
2262 (N
: Node_Id
) return Node_Id
is
2264 pragma Assert
(False
2265 or else NT
(N
).Nkind
= N_Pragma
);
2269 function Next_Rep_Item
2270 (N
: Node_Id
) return Node_Id
is
2272 pragma Assert
(False
2273 or else NT
(N
).Nkind
= N_Aspect_Specification
2274 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
2275 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
2276 or else NT
(N
).Nkind
= N_Pragma
2277 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
2281 function Next_Use_Clause
2282 (N
: Node_Id
) return Node_Id
is
2284 pragma Assert
(False
2285 or else NT
(N
).Nkind
= N_Use_Package_Clause
2286 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
2288 end Next_Use_Clause
;
2290 function No_Ctrl_Actions
2291 (N
: Node_Id
) return Boolean is
2293 pragma Assert
(False
2294 or else NT
(N
).Nkind
= N_Assignment_Statement
);
2296 end No_Ctrl_Actions
;
2298 function No_Elaboration_Check
2299 (N
: Node_Id
) return Boolean is
2301 pragma Assert
(False
2302 or else NT
(N
).Nkind
= N_Function_Call
2303 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
2305 end No_Elaboration_Check
;
2307 function No_Entities_Ref_In_Spec
2308 (N
: Node_Id
) return Boolean is
2310 pragma Assert
(False
2311 or else NT
(N
).Nkind
= N_With_Clause
);
2313 end No_Entities_Ref_In_Spec
;
2315 function No_Initialization
2316 (N
: Node_Id
) return Boolean is
2318 pragma Assert
(False
2319 or else NT
(N
).Nkind
= N_Allocator
2320 or else NT
(N
).Nkind
= N_Object_Declaration
);
2322 end No_Initialization
;
2324 function No_Minimize_Eliminate
2325 (N
: Node_Id
) return Boolean is
2327 pragma Assert
(False
2328 or else NT
(N
).Nkind
= N_In
2329 or else NT
(N
).Nkind
= N_Not_In
);
2331 end No_Minimize_Eliminate
;
2333 function No_Truncation
2334 (N
: Node_Id
) return Boolean is
2336 pragma Assert
(False
2337 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
2341 function Null_Present
2342 (N
: Node_Id
) return Boolean is
2344 pragma Assert
(False
2345 or else NT
(N
).Nkind
= N_Component_List
2346 or else NT
(N
).Nkind
= N_Procedure_Specification
2347 or else NT
(N
).Nkind
= N_Record_Definition
);
2351 function Null_Exclusion_Present
2352 (N
: Node_Id
) return Boolean is
2354 pragma Assert
(False
2355 or else NT
(N
).Nkind
= N_Access_Definition
2356 or else NT
(N
).Nkind
= N_Access_Function_Definition
2357 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2358 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
2359 or else NT
(N
).Nkind
= N_Allocator
2360 or else NT
(N
).Nkind
= N_Component_Definition
2361 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2362 or else NT
(N
).Nkind
= N_Discriminant_Specification
2363 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2364 or else NT
(N
).Nkind
= N_Function_Specification
2365 or else NT
(N
).Nkind
= N_Object_Declaration
2366 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
2367 or else NT
(N
).Nkind
= N_Parameter_Specification
2368 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
2370 end Null_Exclusion_Present
;
2372 function Null_Exclusion_In_Return_Present
2373 (N
: Node_Id
) return Boolean is
2375 pragma Assert
(False
2376 or else NT
(N
).Nkind
= N_Access_Function_Definition
);
2378 end Null_Exclusion_In_Return_Present
;
2380 function Null_Record_Present
2381 (N
: Node_Id
) return Boolean is
2383 pragma Assert
(False
2384 or else NT
(N
).Nkind
= N_Aggregate
2385 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
2387 end Null_Record_Present
;
2389 function Object_Definition
2390 (N
: Node_Id
) return Node_Id
is
2392 pragma Assert
(False
2393 or else NT
(N
).Nkind
= N_Object_Declaration
);
2395 end Object_Definition
;
2398 (N
: Node_Id
) return Boolean is
2400 pragma Assert
(False
2401 or else NT
(N
).Nkind
= N_Iterator_Specification
);
2405 function Original_Discriminant
2406 (N
: Node_Id
) return Node_Id
is
2408 pragma Assert
(False
2409 or else NT
(N
).Nkind
= N_Identifier
);
2411 end Original_Discriminant
;
2413 function Original_Entity
2414 (N
: Node_Id
) return Entity_Id
is
2416 pragma Assert
(False
2417 or else NT
(N
).Nkind
= N_Integer_Literal
2418 or else NT
(N
).Nkind
= N_Real_Literal
);
2420 end Original_Entity
;
2422 function Others_Discrete_Choices
2423 (N
: Node_Id
) return List_Id
is
2425 pragma Assert
(False
2426 or else NT
(N
).Nkind
= N_Others_Choice
);
2428 end Others_Discrete_Choices
;
2430 function Out_Present
2431 (N
: Node_Id
) return Boolean is
2433 pragma Assert
(False
2434 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2435 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2439 function Parameter_Associations
2440 (N
: Node_Id
) return List_Id
is
2442 pragma Assert
(False
2443 or else NT
(N
).Nkind
= N_Entry_Call_Statement
2444 or else NT
(N
).Nkind
= N_Function_Call
2445 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
2447 end Parameter_Associations
;
2449 function Parameter_List_Truncated
2450 (N
: Node_Id
) return Boolean is
2452 pragma Assert
(False
2453 or else NT
(N
).Nkind
= N_Function_Call
2454 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
2456 end Parameter_List_Truncated
;
2458 function Parameter_Specifications
2459 (N
: Node_Id
) return List_Id
is
2461 pragma Assert
(False
2462 or else NT
(N
).Nkind
= N_Accept_Statement
2463 or else NT
(N
).Nkind
= N_Access_Function_Definition
2464 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2465 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
2466 or else NT
(N
).Nkind
= N_Entry_Declaration
2467 or else NT
(N
).Nkind
= N_Function_Specification
2468 or else NT
(N
).Nkind
= N_Procedure_Specification
);
2470 end Parameter_Specifications
;
2472 function Parameter_Type
2473 (N
: Node_Id
) return Node_Id
is
2475 pragma Assert
(False
2476 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2480 function Parent_Spec
2481 (N
: Node_Id
) return Node_Id
is
2483 pragma Assert
(False
2484 or else NT
(N
).Nkind
= N_Function_Instantiation
2485 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
2486 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
2487 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
2488 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
2489 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
2490 or else NT
(N
).Nkind
= N_Package_Declaration
2491 or else NT
(N
).Nkind
= N_Package_Instantiation
2492 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
2493 or else NT
(N
).Nkind
= N_Procedure_Instantiation
2494 or else NT
(N
).Nkind
= N_Subprogram_Declaration
2495 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
2500 (N
: Node_Id
) return Node_Id
is
2502 pragma Assert
(False
2503 or else NT
(N
).Nkind
= N_Component_Clause
);
2507 function Pragma_Argument_Associations
2508 (N
: Node_Id
) return List_Id
is
2510 pragma Assert
(False
2511 or else NT
(N
).Nkind
= N_Pragma
);
2513 end Pragma_Argument_Associations
;
2515 function Pragma_Identifier
2516 (N
: Node_Id
) return Node_Id
is
2518 pragma Assert
(False
2519 or else NT
(N
).Nkind
= N_Pragma
);
2521 end Pragma_Identifier
;
2523 function Pragmas_After
2524 (N
: Node_Id
) return List_Id
is
2526 pragma Assert
(False
2527 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
2528 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
2532 function Pragmas_Before
2533 (N
: Node_Id
) return List_Id
is
2535 pragma Assert
(False
2536 or else NT
(N
).Nkind
= N_Accept_Alternative
2537 or else NT
(N
).Nkind
= N_Delay_Alternative
2538 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
2539 or else NT
(N
).Nkind
= N_Mod_Clause
2540 or else NT
(N
).Nkind
= N_Terminate_Alternative
2541 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
2545 function Pre_Post_Conditions
2546 (N
: Node_Id
) return Node_Id
is
2548 pragma Assert
(False
2549 or else NT
(N
).Nkind
= N_Contract
);
2551 end Pre_Post_Conditions
;
2554 (N
: Node_Id
) return Node_Id
is
2556 pragma Assert
(False
2557 or else NT
(N
).Nkind
= N_Attribute_Reference
2558 or else NT
(N
).Nkind
= N_Expanded_Name
2559 or else NT
(N
).Nkind
= N_Explicit_Dereference
2560 or else NT
(N
).Nkind
= N_Indexed_Component
2561 or else NT
(N
).Nkind
= N_Reference
2562 or else NT
(N
).Nkind
= N_Selected_Component
2563 or else NT
(N
).Nkind
= N_Slice
);
2567 function Premature_Use
2568 (N
: Node_Id
) return Node_Id
is
2570 pragma Assert
(False
2571 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
);
2575 function Present_Expr
2576 (N
: Node_Id
) return Uint
is
2578 pragma Assert
(False
2579 or else NT
(N
).Nkind
= N_Variant
);
2584 (N
: Node_Id
) return Boolean is
2586 pragma Assert
(False
2587 or else NT
(N
).Nkind
= N_Component_Declaration
2588 or else NT
(N
).Nkind
= N_Discriminant_Specification
2589 or else NT
(N
).Nkind
= N_Exception_Declaration
2590 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2591 or else NT
(N
).Nkind
= N_Number_Declaration
2592 or else NT
(N
).Nkind
= N_Object_Declaration
2593 or else NT
(N
).Nkind
= N_Parameter_Specification
);
2597 function Print_In_Hex
2598 (N
: Node_Id
) return Boolean is
2600 pragma Assert
(False
2601 or else NT
(N
).Nkind
= N_Integer_Literal
);
2605 function Private_Declarations
2606 (N
: Node_Id
) return List_Id
is
2608 pragma Assert
(False
2609 or else NT
(N
).Nkind
= N_Package_Specification
2610 or else NT
(N
).Nkind
= N_Protected_Definition
2611 or else NT
(N
).Nkind
= N_Task_Definition
);
2613 end Private_Declarations
;
2615 function Private_Present
2616 (N
: Node_Id
) return Boolean is
2618 pragma Assert
(False
2619 or else NT
(N
).Nkind
= N_Compilation_Unit
2620 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
2621 or else NT
(N
).Nkind
= N_With_Clause
);
2623 end Private_Present
;
2625 function Procedure_To_Call
2626 (N
: Node_Id
) return Node_Id
is
2628 pragma Assert
(False
2629 or else NT
(N
).Nkind
= N_Allocator
2630 or else NT
(N
).Nkind
= N_Extended_Return_Statement
2631 or else NT
(N
).Nkind
= N_Free_Statement
2632 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
2634 end Procedure_To_Call
;
2636 function Proper_Body
2637 (N
: Node_Id
) return Node_Id
is
2639 pragma Assert
(False
2640 or else NT
(N
).Nkind
= N_Subunit
);
2644 function Protected_Definition
2645 (N
: Node_Id
) return Node_Id
is
2647 pragma Assert
(False
2648 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
2649 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
);
2651 end Protected_Definition
;
2653 function Protected_Present
2654 (N
: Node_Id
) return Boolean is
2656 pragma Assert
(False
2657 or else NT
(N
).Nkind
= N_Access_Function_Definition
2658 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
2659 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2660 or else NT
(N
).Nkind
= N_Record_Definition
);
2662 end Protected_Present
;
2664 function Raises_Constraint_Error
2665 (N
: Node_Id
) return Boolean is
2667 pragma Assert
(False
2668 or else NT
(N
).Nkind
in N_Subexpr
);
2670 end Raises_Constraint_Error
;
2672 function Range_Constraint
2673 (N
: Node_Id
) return Node_Id
is
2675 pragma Assert
(False
2676 or else NT
(N
).Nkind
= N_Delta_Constraint
2677 or else NT
(N
).Nkind
= N_Digits_Constraint
);
2679 end Range_Constraint
;
2681 function Range_Expression
2682 (N
: Node_Id
) return Node_Id
is
2684 pragma Assert
(False
2685 or else NT
(N
).Nkind
= N_Range_Constraint
);
2687 end Range_Expression
;
2689 function Real_Range_Specification
2690 (N
: Node_Id
) return Node_Id
is
2692 pragma Assert
(False
2693 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
2694 or else NT
(N
).Nkind
= N_Floating_Point_Definition
2695 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
2697 end Real_Range_Specification
;
2700 (N
: Node_Id
) return Ureal
is
2702 pragma Assert
(False
2703 or else NT
(N
).Nkind
= N_Real_Literal
);
2708 (N
: Node_Id
) return Uint
is
2710 pragma Assert
(False
2711 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
2712 or else NT
(N
).Nkind
= N_Raise_Program_Error
2713 or else NT
(N
).Nkind
= N_Raise_Storage_Error
);
2717 function Record_Extension_Part
2718 (N
: Node_Id
) return Node_Id
is
2720 pragma Assert
(False
2721 or else NT
(N
).Nkind
= N_Derived_Type_Definition
);
2723 end Record_Extension_Part
;
2725 function Redundant_Use
2726 (N
: Node_Id
) return Boolean is
2728 pragma Assert
(False
2729 or else NT
(N
).Nkind
= N_Attribute_Reference
2730 or else NT
(N
).Nkind
= N_Expanded_Name
2731 or else NT
(N
).Nkind
= N_Identifier
);
2735 function Renaming_Exception
2736 (N
: Node_Id
) return Node_Id
is
2738 pragma Assert
(False
2739 or else NT
(N
).Nkind
= N_Exception_Declaration
);
2741 end Renaming_Exception
;
2743 function Result_Definition
2744 (N
: Node_Id
) return Node_Id
is
2746 pragma Assert
(False
2747 or else NT
(N
).Nkind
= N_Access_Function_Definition
2748 or else NT
(N
).Nkind
= N_Function_Specification
);
2750 end Result_Definition
;
2752 function Return_Object_Declarations
2753 (N
: Node_Id
) return List_Id
is
2755 pragma Assert
(False
2756 or else NT
(N
).Nkind
= N_Extended_Return_Statement
);
2758 end Return_Object_Declarations
;
2760 function Return_Statement_Entity
2761 (N
: Node_Id
) return Node_Id
is
2763 pragma Assert
(False
2764 or else NT
(N
).Nkind
= N_Extended_Return_Statement
2765 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
2767 end Return_Statement_Entity
;
2769 function Reverse_Present
2770 (N
: Node_Id
) return Boolean is
2772 pragma Assert
(False
2773 or else NT
(N
).Nkind
= N_Iterator_Specification
2774 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
2776 end Reverse_Present
;
2779 (N
: Node_Id
) return Node_Id
is
2781 pragma Assert
(False
2782 or else NT
(N
).Nkind
in N_Op
2783 or else NT
(N
).Nkind
= N_And_Then
2784 or else NT
(N
).Nkind
= N_In
2785 or else NT
(N
).Nkind
= N_Not_In
2786 or else NT
(N
).Nkind
= N_Or_Else
);
2790 function Rounded_Result
2791 (N
: Node_Id
) return Boolean is
2793 pragma Assert
(False
2794 or else NT
(N
).Nkind
= N_Op_Divide
2795 or else NT
(N
).Nkind
= N_Op_Multiply
2796 or else NT
(N
).Nkind
= N_Type_Conversion
);
2800 function SCIL_Controlling_Tag
2801 (N
: Node_Id
) return Node_Id
is
2803 pragma Assert
(False
2804 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
2806 end SCIL_Controlling_Tag
;
2808 function SCIL_Entity
2809 (N
: Node_Id
) return Node_Id
is
2811 pragma Assert
(False
2812 or else NT
(N
).Nkind
= N_SCIL_Dispatch_Table_Tag_Init
2813 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
2814 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
2818 function SCIL_Tag_Value
2819 (N
: Node_Id
) return Node_Id
is
2821 pragma Assert
(False
2822 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
2826 function SCIL_Target_Prim
2827 (N
: Node_Id
) return Node_Id
is
2829 pragma Assert
(False
2830 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
2832 end SCIL_Target_Prim
;
2835 (N
: Node_Id
) return Node_Id
is
2837 pragma Assert
(False
2838 or else NT
(N
).Nkind
= N_Defining_Character_Literal
2839 or else NT
(N
).Nkind
= N_Defining_Identifier
2840 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
2844 function Select_Alternatives
2845 (N
: Node_Id
) return List_Id
is
2847 pragma Assert
(False
2848 or else NT
(N
).Nkind
= N_Selective_Accept
);
2850 end Select_Alternatives
;
2852 function Selector_Name
2853 (N
: Node_Id
) return Node_Id
is
2855 pragma Assert
(False
2856 or else NT
(N
).Nkind
= N_Expanded_Name
2857 or else NT
(N
).Nkind
= N_Generic_Association
2858 or else NT
(N
).Nkind
= N_Parameter_Association
2859 or else NT
(N
).Nkind
= N_Selected_Component
);
2863 function Selector_Names
2864 (N
: Node_Id
) return List_Id
is
2866 pragma Assert
(False
2867 or else NT
(N
).Nkind
= N_Discriminant_Association
);
2871 function Shift_Count_OK
2872 (N
: Node_Id
) return Boolean is
2874 pragma Assert
(False
2875 or else NT
(N
).Nkind
= N_Op_Rotate_Left
2876 or else NT
(N
).Nkind
= N_Op_Rotate_Right
2877 or else NT
(N
).Nkind
= N_Op_Shift_Left
2878 or else NT
(N
).Nkind
= N_Op_Shift_Right
2879 or else NT
(N
).Nkind
= N_Op_Shift_Right_Arithmetic
);
2883 function Source_Type
2884 (N
: Node_Id
) return Entity_Id
is
2886 pragma Assert
(False
2887 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
2891 function Specification
2892 (N
: Node_Id
) return Node_Id
is
2894 pragma Assert
(False
2895 or else NT
(N
).Nkind
= N_Abstract_Subprogram_Declaration
2896 or else NT
(N
).Nkind
= N_Expression_Function
2897 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
2898 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
2899 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
2900 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
2901 or else NT
(N
).Nkind
= N_Package_Declaration
2902 or else NT
(N
).Nkind
= N_Subprogram_Body
2903 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
2904 or else NT
(N
).Nkind
= N_Subprogram_Declaration
2905 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
2910 (N
: Node_Id
) return Boolean is
2912 pragma Assert
(False
2913 or else NT
(N
).Nkind
= N_Aspect_Specification
2914 or else NT
(N
).Nkind
= N_Pragma
);
2919 (N
: Node_Id
) return List_Id
is
2921 pragma Assert
(False
2922 or else NT
(N
).Nkind
= N_Abortable_Part
2923 or else NT
(N
).Nkind
= N_Accept_Alternative
2924 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
2925 or else NT
(N
).Nkind
= N_Delay_Alternative
2926 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
2927 or else NT
(N
).Nkind
= N_Exception_Handler
2928 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
2929 or else NT
(N
).Nkind
= N_Loop_Statement
2930 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
2934 function Storage_Pool
2935 (N
: Node_Id
) return Node_Id
is
2937 pragma Assert
(False
2938 or else NT
(N
).Nkind
= N_Allocator
2939 or else NT
(N
).Nkind
= N_Extended_Return_Statement
2940 or else NT
(N
).Nkind
= N_Free_Statement
2941 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
2945 function Subpool_Handle_Name
2946 (N
: Node_Id
) return Node_Id
is
2948 pragma Assert
(False
2949 or else NT
(N
).Nkind
= N_Allocator
);
2951 end Subpool_Handle_Name
;
2954 (N
: Node_Id
) return String_Id
is
2956 pragma Assert
(False
2957 or else NT
(N
).Nkind
= N_Operator_Symbol
2958 or else NT
(N
).Nkind
= N_String_Literal
);
2962 function Subtype_Indication
2963 (N
: Node_Id
) return Node_Id
is
2965 pragma Assert
(False
2966 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
2967 or else NT
(N
).Nkind
= N_Component_Definition
2968 or else NT
(N
).Nkind
= N_Derived_Type_Definition
2969 or else NT
(N
).Nkind
= N_Iterator_Specification
2970 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
2971 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
2973 end Subtype_Indication
;
2975 function Suppress_Assignment_Checks
2976 (N
: Node_Id
) return Boolean is
2978 pragma Assert
(False
2979 or else NT
(N
).Nkind
= N_Assignment_Statement
2980 or else NT
(N
).Nkind
= N_Object_Declaration
);
2982 end Suppress_Assignment_Checks
;
2984 function Suppress_Loop_Warnings
2985 (N
: Node_Id
) return Boolean is
2987 pragma Assert
(False
2988 or else NT
(N
).Nkind
= N_Loop_Statement
);
2990 end Suppress_Loop_Warnings
;
2992 function Subtype_Mark
2993 (N
: Node_Id
) return Node_Id
is
2995 pragma Assert
(False
2996 or else NT
(N
).Nkind
= N_Access_Definition
2997 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
2998 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
2999 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
3000 or else NT
(N
).Nkind
= N_Qualified_Expression
3001 or else NT
(N
).Nkind
= N_Subtype_Indication
3002 or else NT
(N
).Nkind
= N_Type_Conversion
3003 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
3007 function Subtype_Marks
3008 (N
: Node_Id
) return List_Id
is
3010 pragma Assert
(False
3011 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
3012 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3016 function Synchronized_Present
3017 (N
: Node_Id
) return Boolean is
3019 pragma Assert
(False
3020 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3021 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
3022 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3023 or else NT
(N
).Nkind
= N_Record_Definition
);
3025 end Synchronized_Present
;
3027 function Tagged_Present
3028 (N
: Node_Id
) return Boolean is
3030 pragma Assert
(False
3031 or else NT
(N
).Nkind
= N_Formal_Incomplete_Type_Definition
3032 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
3033 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
3034 or else NT
(N
).Nkind
= N_Private_Type_Declaration
3035 or else NT
(N
).Nkind
= N_Record_Definition
);
3039 function Target_Type
3040 (N
: Node_Id
) return Entity_Id
is
3042 pragma Assert
(False
3043 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
3047 function Task_Definition
3048 (N
: Node_Id
) return Node_Id
is
3050 pragma Assert
(False
3051 or else NT
(N
).Nkind
= N_Single_Task_Declaration
3052 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
3054 end Task_Definition
;
3056 function Task_Present
3057 (N
: Node_Id
) return Boolean is
3059 pragma Assert
(False
3060 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3061 or else NT
(N
).Nkind
= N_Record_Definition
);
3065 function Then_Actions
3066 (N
: Node_Id
) return List_Id
is
3068 pragma Assert
(False
3069 or else NT
(N
).Nkind
= N_If_Expression
);
3073 function Then_Statements
3074 (N
: Node_Id
) return List_Id
is
3076 pragma Assert
(False
3077 or else NT
(N
).Nkind
= N_Elsif_Part
3078 or else NT
(N
).Nkind
= N_If_Statement
);
3080 end Then_Statements
;
3082 function Treat_Fixed_As_Integer
3083 (N
: Node_Id
) return Boolean is
3085 pragma Assert
(False
3086 or else NT
(N
).Nkind
= N_Op_Divide
3087 or else NT
(N
).Nkind
= N_Op_Mod
3088 or else NT
(N
).Nkind
= N_Op_Multiply
3089 or else NT
(N
).Nkind
= N_Op_Rem
);
3091 end Treat_Fixed_As_Integer
;
3093 function Triggering_Alternative
3094 (N
: Node_Id
) return Node_Id
is
3096 pragma Assert
(False
3097 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
3099 end Triggering_Alternative
;
3101 function Triggering_Statement
3102 (N
: Node_Id
) return Node_Id
is
3104 pragma Assert
(False
3105 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
3107 end Triggering_Statement
;
3110 (N
: Node_Id
) return Elist_Id
is
3112 pragma Assert
(False
3113 or else NT
(N
).Nkind
= N_Freeze_Entity
);
3117 function Type_Definition
3118 (N
: Node_Id
) return Node_Id
is
3120 pragma Assert
(False
3121 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
3123 end Type_Definition
;
3126 (N
: Node_Id
) return Node_Id
is
3128 pragma Assert
(False
3129 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3133 function Unknown_Discriminants_Present
3134 (N
: Node_Id
) return Boolean is
3136 pragma Assert
(False
3137 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
3138 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
3139 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3140 or else NT
(N
).Nkind
= N_Private_Type_Declaration
);
3142 end Unknown_Discriminants_Present
;
3144 function Unreferenced_In_Spec
3145 (N
: Node_Id
) return Boolean is
3147 pragma Assert
(False
3148 or else NT
(N
).Nkind
= N_With_Clause
);
3150 end Unreferenced_In_Spec
;
3152 function Variant_Part
3153 (N
: Node_Id
) return Node_Id
is
3155 pragma Assert
(False
3156 or else NT
(N
).Nkind
= N_Component_List
);
3161 (N
: Node_Id
) return List_Id
is
3163 pragma Assert
(False
3164 or else NT
(N
).Nkind
= N_Variant_Part
);
3168 function Visible_Declarations
3169 (N
: Node_Id
) return List_Id
is
3171 pragma Assert
(False
3172 or else NT
(N
).Nkind
= N_Package_Specification
3173 or else NT
(N
).Nkind
= N_Protected_Definition
3174 or else NT
(N
).Nkind
= N_Task_Definition
);
3176 end Visible_Declarations
;
3178 function Used_Operations
3179 (N
: Node_Id
) return Elist_Id
is
3181 pragma Assert
(False
3182 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3184 end Used_Operations
;
3186 function Was_Originally_Stub
3187 (N
: Node_Id
) return Boolean is
3189 pragma Assert
(False
3190 or else NT
(N
).Nkind
= N_Package_Body
3191 or else NT
(N
).Nkind
= N_Protected_Body
3192 or else NT
(N
).Nkind
= N_Subprogram_Body
3193 or else NT
(N
).Nkind
= N_Task_Body
);
3195 end Was_Originally_Stub
;
3197 function Withed_Body
3198 (N
: Node_Id
) return Node_Id
is
3200 pragma Assert
(False
3201 or else NT
(N
).Nkind
= N_With_Clause
);
3205 --------------------------
3206 -- Field Set Procedures --
3207 --------------------------
3209 procedure Set_ABE_Is_Certain
3210 (N
: Node_Id
; Val
: Boolean := True) is
3212 pragma Assert
(False
3213 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
3214 or else NT
(N
).Nkind
= N_Function_Call
3215 or else NT
(N
).Nkind
= N_Function_Instantiation
3216 or else NT
(N
).Nkind
= N_Package_Instantiation
3217 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
3218 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
3219 Set_Flag18
(N
, Val
);
3220 end Set_ABE_Is_Certain
;
3222 procedure Set_Abort_Present
3223 (N
: Node_Id
; Val
: Boolean := True) is
3225 pragma Assert
(False
3226 or else NT
(N
).Nkind
= N_Requeue_Statement
);
3227 Set_Flag15
(N
, Val
);
3228 end Set_Abort_Present
;
3230 procedure Set_Abortable_Part
3231 (N
: Node_Id
; Val
: Node_Id
) is
3233 pragma Assert
(False
3234 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
3235 Set_Node2_With_Parent
(N
, Val
);
3236 end Set_Abortable_Part
;
3238 procedure Set_Abstract_Present
3239 (N
: Node_Id
; Val
: Boolean := True) is
3241 pragma Assert
(False
3242 or else NT
(N
).Nkind
= N_Derived_Type_Definition
3243 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
3244 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
3245 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3246 or else NT
(N
).Nkind
= N_Private_Type_Declaration
3247 or else NT
(N
).Nkind
= N_Record_Definition
);
3249 end Set_Abstract_Present
;
3251 procedure Set_Accept_Handler_Records
3252 (N
: Node_Id
; Val
: List_Id
) is
3254 pragma Assert
(False
3255 or else NT
(N
).Nkind
= N_Accept_Alternative
);
3256 Set_List5
(N
, Val
); -- semantic field, no parent set
3257 end Set_Accept_Handler_Records
;
3259 procedure Set_Accept_Statement
3260 (N
: Node_Id
; Val
: Node_Id
) is
3262 pragma Assert
(False
3263 or else NT
(N
).Nkind
= N_Accept_Alternative
);
3264 Set_Node2_With_Parent
(N
, Val
);
3265 end Set_Accept_Statement
;
3267 procedure Set_Access_Definition
3268 (N
: Node_Id
; Val
: Node_Id
) is
3270 pragma Assert
(False
3271 or else NT
(N
).Nkind
= N_Component_Definition
3272 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
3273 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
3274 Set_Node3_With_Parent
(N
, Val
);
3275 end Set_Access_Definition
;
3277 procedure Set_Access_To_Subprogram_Definition
3278 (N
: Node_Id
; Val
: Node_Id
) is
3280 pragma Assert
(False
3281 or else NT
(N
).Nkind
= N_Access_Definition
);
3282 Set_Node3_With_Parent
(N
, Val
);
3283 end Set_Access_To_Subprogram_Definition
;
3285 procedure Set_Access_Types_To_Process
3286 (N
: Node_Id
; Val
: Elist_Id
) is
3288 pragma Assert
(False
3289 or else NT
(N
).Nkind
= N_Freeze_Entity
);
3290 Set_Elist2
(N
, Val
); -- semantic field, no parent set
3291 end Set_Access_Types_To_Process
;
3293 procedure Set_Actions
3294 (N
: Node_Id
; Val
: List_Id
) is
3296 pragma Assert
(False
3297 or else NT
(N
).Nkind
= N_And_Then
3298 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
3299 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
3300 or else NT
(N
).Nkind
= N_Expression_With_Actions
3301 or else NT
(N
).Nkind
= N_Freeze_Entity
3302 or else NT
(N
).Nkind
= N_Or_Else
);
3303 Set_List1_With_Parent
(N
, Val
);
3306 procedure Set_Activation_Chain_Entity
3307 (N
: Node_Id
; Val
: Node_Id
) is
3309 pragma Assert
(False
3310 or else NT
(N
).Nkind
= N_Block_Statement
3311 or else NT
(N
).Nkind
= N_Entry_Body
3312 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
3313 or else NT
(N
).Nkind
= N_Package_Declaration
3314 or else NT
(N
).Nkind
= N_Subprogram_Body
3315 or else NT
(N
).Nkind
= N_Task_Body
);
3316 Set_Node3
(N
, Val
); -- semantic field, no parent set
3317 end Set_Activation_Chain_Entity
;
3319 procedure Set_Acts_As_Spec
3320 (N
: Node_Id
; Val
: Boolean := True) is
3322 pragma Assert
(False
3323 or else NT
(N
).Nkind
= N_Compilation_Unit
3324 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3326 end Set_Acts_As_Spec
;
3328 procedure Set_Actual_Designated_Subtype
3329 (N
: Node_Id
; Val
: Node_Id
) is
3331 pragma Assert
(False
3332 or else NT
(N
).Nkind
= N_Explicit_Dereference
3333 or else NT
(N
).Nkind
= N_Free_Statement
);
3335 end Set_Actual_Designated_Subtype
;
3337 procedure Set_Address_Warning_Posted
3338 (N
: Node_Id
; Val
: Boolean := True) is
3340 pragma Assert
(False
3341 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
3342 Set_Flag18
(N
, Val
);
3343 end Set_Address_Warning_Posted
;
3345 procedure Set_Aggregate_Bounds
3346 (N
: Node_Id
; Val
: Node_Id
) is
3348 pragma Assert
(False
3349 or else NT
(N
).Nkind
= N_Aggregate
);
3350 Set_Node3
(N
, Val
); -- semantic field, no parent set
3351 end Set_Aggregate_Bounds
;
3353 procedure Set_Aliased_Present
3354 (N
: Node_Id
; Val
: Boolean := True) is
3356 pragma Assert
(False
3357 or else NT
(N
).Nkind
= N_Component_Definition
3358 or else NT
(N
).Nkind
= N_Object_Declaration
3359 or else NT
(N
).Nkind
= N_Parameter_Specification
);
3361 end Set_Aliased_Present
;
3363 procedure Set_All_Others
3364 (N
: Node_Id
; Val
: Boolean := True) is
3366 pragma Assert
(False
3367 or else NT
(N
).Nkind
= N_Others_Choice
);
3368 Set_Flag11
(N
, Val
);
3371 procedure Set_All_Present
3372 (N
: Node_Id
; Val
: Boolean := True) is
3374 pragma Assert
(False
3375 or else NT
(N
).Nkind
= N_Access_Definition
3376 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
3377 or else NT
(N
).Nkind
= N_Quantified_Expression
3378 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
3379 Set_Flag15
(N
, Val
);
3380 end Set_All_Present
;
3382 procedure Set_Alternatives
3383 (N
: Node_Id
; Val
: List_Id
) is
3385 pragma Assert
(False
3386 or else NT
(N
).Nkind
= N_Case_Expression
3387 or else NT
(N
).Nkind
= N_Case_Statement
3388 or else NT
(N
).Nkind
= N_In
3389 or else NT
(N
).Nkind
= N_Not_In
);
3390 Set_List4_With_Parent
(N
, Val
);
3391 end Set_Alternatives
;
3393 procedure Set_Ancestor_Part
3394 (N
: Node_Id
; Val
: Node_Id
) is
3396 pragma Assert
(False
3397 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
3398 Set_Node3_With_Parent
(N
, Val
);
3399 end Set_Ancestor_Part
;
3401 procedure Set_Atomic_Sync_Required
3402 (N
: Node_Id
; Val
: Boolean := True) is
3404 pragma Assert
(False
3405 or else NT
(N
).Nkind
= N_Expanded_Name
3406 or else NT
(N
).Nkind
= N_Explicit_Dereference
3407 or else NT
(N
).Nkind
= N_Identifier
3408 or else NT
(N
).Nkind
= N_Indexed_Component
3409 or else NT
(N
).Nkind
= N_Selected_Component
);
3410 Set_Flag14
(N
, Val
);
3411 end Set_Atomic_Sync_Required
;
3413 procedure Set_Array_Aggregate
3414 (N
: Node_Id
; Val
: Node_Id
) is
3416 pragma Assert
(False
3417 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
);
3418 Set_Node3_With_Parent
(N
, Val
);
3419 end Set_Array_Aggregate
;
3421 procedure Set_Aspect_Rep_Item
3422 (N
: Node_Id
; Val
: Node_Id
) is
3424 pragma Assert
(False
3425 or else NT
(N
).Nkind
= N_Aspect_Specification
);
3427 end Set_Aspect_Rep_Item
;
3429 procedure Set_Assignment_OK
3430 (N
: Node_Id
; Val
: Boolean := True) is
3432 pragma Assert
(False
3433 or else NT
(N
).Nkind
= N_Object_Declaration
3434 or else NT
(N
).Nkind
in N_Subexpr
);
3435 Set_Flag15
(N
, Val
);
3436 end Set_Assignment_OK
;
3438 procedure Set_Associated_Node
3439 (N
: Node_Id
; Val
: Node_Id
) is
3441 pragma Assert
(False
3442 or else NT
(N
).Nkind
in N_Has_Entity
3443 or else NT
(N
).Nkind
= N_Aggregate
3444 or else NT
(N
).Nkind
= N_Extension_Aggregate
3445 or else NT
(N
).Nkind
= N_Selected_Component
);
3446 Set_Node4
(N
, Val
); -- semantic field, no parent set
3447 end Set_Associated_Node
;
3449 procedure Set_At_End_Proc
3450 (N
: Node_Id
; Val
: Node_Id
) is
3452 pragma Assert
(False
3453 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
3455 end Set_At_End_Proc
;
3457 procedure Set_Attribute_Name
3458 (N
: Node_Id
; Val
: Name_Id
) is
3460 pragma Assert
(False
3461 or else NT
(N
).Nkind
= N_Attribute_Reference
);
3463 end Set_Attribute_Name
;
3465 procedure Set_Aux_Decls_Node
3466 (N
: Node_Id
; Val
: Node_Id
) is
3468 pragma Assert
(False
3469 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3470 Set_Node5_With_Parent
(N
, Val
);
3471 end Set_Aux_Decls_Node
;
3473 procedure Set_Backwards_OK
3474 (N
: Node_Id
; Val
: Boolean := True) is
3476 pragma Assert
(False
3477 or else NT
(N
).Nkind
= N_Assignment_Statement
);
3479 end Set_Backwards_OK
;
3481 procedure Set_Bad_Is_Detected
3482 (N
: Node_Id
; Val
: Boolean := True) is
3484 pragma Assert
(False
3485 or else NT
(N
).Nkind
= N_Subprogram_Body
);
3486 Set_Flag15
(N
, Val
);
3487 end Set_Bad_Is_Detected
;
3489 procedure Set_Body_Required
3490 (N
: Node_Id
; Val
: Boolean := True) is
3492 pragma Assert
(False
3493 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3494 Set_Flag13
(N
, Val
);
3495 end Set_Body_Required
;
3497 procedure Set_Body_To_Inline
3498 (N
: Node_Id
; Val
: Node_Id
) is
3500 pragma Assert
(False
3501 or else NT
(N
).Nkind
= N_Subprogram_Declaration
);
3503 end Set_Body_To_Inline
;
3505 procedure Set_Box_Present
3506 (N
: Node_Id
; Val
: Boolean := True) is
3508 pragma Assert
(False
3509 or else NT
(N
).Nkind
= N_Component_Association
3510 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
3511 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
3512 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
3513 or else NT
(N
).Nkind
= N_Generic_Association
);
3514 Set_Flag15
(N
, Val
);
3515 end Set_Box_Present
;
3517 procedure Set_By_Ref
3518 (N
: Node_Id
; Val
: Boolean := True) is
3520 pragma Assert
(False
3521 or else NT
(N
).Nkind
= N_Extended_Return_Statement
3522 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3526 procedure Set_Char_Literal_Value
3527 (N
: Node_Id
; Val
: Uint
) is
3529 pragma Assert
(False
3530 or else NT
(N
).Nkind
= N_Character_Literal
);
3532 end Set_Char_Literal_Value
;
3535 (N
: Node_Id
; Val
: Name_Id
) is
3537 pragma Assert
(False
3538 or else NT
(N
).Nkind
in N_Has_Chars
);
3542 procedure Set_Check_Address_Alignment
3543 (N
: Node_Id
; Val
: Boolean := True) is
3545 pragma Assert
(False
3546 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
3547 Set_Flag11
(N
, Val
);
3548 end Set_Check_Address_Alignment
;
3550 procedure Set_Choice_Parameter
3551 (N
: Node_Id
; Val
: Node_Id
) is
3553 pragma Assert
(False
3554 or else NT
(N
).Nkind
= N_Exception_Handler
);
3555 Set_Node2_With_Parent
(N
, Val
);
3556 end Set_Choice_Parameter
;
3558 procedure Set_Choices
3559 (N
: Node_Id
; Val
: List_Id
) is
3561 pragma Assert
(False
3562 or else NT
(N
).Nkind
= N_Component_Association
);
3563 Set_List1_With_Parent
(N
, Val
);
3566 procedure Set_Class_Present
3567 (N
: Node_Id
; Val
: Boolean := True) is
3569 pragma Assert
(False
3570 or else NT
(N
).Nkind
= N_Aspect_Specification
3571 or else NT
(N
).Nkind
= N_Pragma
);
3573 end Set_Class_Present
;
3575 procedure Set_Classifications
3576 (N
: Node_Id
; Val
: Node_Id
) is
3578 pragma Assert
(False
3579 or else NT
(N
).Nkind
= N_Contract
);
3580 Set_Node3
(N
, Val
); -- semantic field, no parent set
3581 end Set_Classifications
;
3583 procedure Set_Comes_From_Extended_Return_Statement
3584 (N
: Node_Id
; Val
: Boolean := True) is
3586 pragma Assert
(False
3587 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
3588 Set_Flag18
(N
, Val
);
3589 end Set_Comes_From_Extended_Return_Statement
;
3591 procedure Set_Compile_Time_Known_Aggregate
3592 (N
: Node_Id
; Val
: Boolean := True) is
3594 pragma Assert
(False
3595 or else NT
(N
).Nkind
= N_Aggregate
);
3596 Set_Flag18
(N
, Val
);
3597 end Set_Compile_Time_Known_Aggregate
;
3599 procedure Set_Component_Associations
3600 (N
: Node_Id
; Val
: List_Id
) is
3602 pragma Assert
(False
3603 or else NT
(N
).Nkind
= N_Aggregate
3604 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
3605 Set_List2_With_Parent
(N
, Val
);
3606 end Set_Component_Associations
;
3608 procedure Set_Component_Clauses
3609 (N
: Node_Id
; Val
: List_Id
) is
3611 pragma Assert
(False
3612 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
3613 Set_List3_With_Parent
(N
, Val
);
3614 end Set_Component_Clauses
;
3616 procedure Set_Component_Definition
3617 (N
: Node_Id
; Val
: Node_Id
) is
3619 pragma Assert
(False
3620 or else NT
(N
).Nkind
= N_Component_Declaration
3621 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
3622 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
);
3623 Set_Node4_With_Parent
(N
, Val
);
3624 end Set_Component_Definition
;
3626 procedure Set_Component_Items
3627 (N
: Node_Id
; Val
: List_Id
) is
3629 pragma Assert
(False
3630 or else NT
(N
).Nkind
= N_Component_List
);
3631 Set_List3_With_Parent
(N
, Val
);
3632 end Set_Component_Items
;
3634 procedure Set_Component_List
3635 (N
: Node_Id
; Val
: Node_Id
) is
3637 pragma Assert
(False
3638 or else NT
(N
).Nkind
= N_Record_Definition
3639 or else NT
(N
).Nkind
= N_Variant
);
3640 Set_Node1_With_Parent
(N
, Val
);
3641 end Set_Component_List
;
3643 procedure Set_Component_Name
3644 (N
: Node_Id
; Val
: Node_Id
) is
3646 pragma Assert
(False
3647 or else NT
(N
).Nkind
= N_Component_Clause
);
3648 Set_Node1_With_Parent
(N
, Val
);
3649 end Set_Component_Name
;
3651 procedure Set_Componentwise_Assignment
3652 (N
: Node_Id
; Val
: Boolean := True) is
3654 pragma Assert
(False
3655 or else NT
(N
).Nkind
= N_Assignment_Statement
);
3656 Set_Flag14
(N
, Val
);
3657 end Set_Componentwise_Assignment
;
3659 procedure Set_Condition
3660 (N
: Node_Id
; Val
: Node_Id
) is
3662 pragma Assert
(False
3663 or else NT
(N
).Nkind
= N_Accept_Alternative
3664 or else NT
(N
).Nkind
= N_Delay_Alternative
3665 or else NT
(N
).Nkind
= N_Elsif_Part
3666 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
3667 or else NT
(N
).Nkind
= N_Exit_Statement
3668 or else NT
(N
).Nkind
= N_If_Statement
3669 or else NT
(N
).Nkind
= N_Iteration_Scheme
3670 or else NT
(N
).Nkind
= N_Quantified_Expression
3671 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
3672 or else NT
(N
).Nkind
= N_Raise_Program_Error
3673 or else NT
(N
).Nkind
= N_Raise_Storage_Error
3674 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
3675 Set_Node1_With_Parent
(N
, Val
);
3678 procedure Set_Condition_Actions
3679 (N
: Node_Id
; Val
: List_Id
) is
3681 pragma Assert
(False
3682 or else NT
(N
).Nkind
= N_Elsif_Part
3683 or else NT
(N
).Nkind
= N_Iteration_Scheme
);
3684 Set_List3
(N
, Val
); -- semantic field, no parent set
3685 end Set_Condition_Actions
;
3687 procedure Set_Config_Pragmas
3688 (N
: Node_Id
; Val
: List_Id
) is
3690 pragma Assert
(False
3691 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
3692 Set_List4_With_Parent
(N
, Val
);
3693 end Set_Config_Pragmas
;
3695 procedure Set_Constant_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_Object_Declaration
);
3702 Set_Flag17
(N
, Val
);
3703 end Set_Constant_Present
;
3705 procedure Set_Constraint
3706 (N
: Node_Id
; Val
: Node_Id
) is
3708 pragma Assert
(False
3709 or else NT
(N
).Nkind
= N_Subtype_Indication
);
3710 Set_Node3_With_Parent
(N
, Val
);
3713 procedure Set_Constraints
3714 (N
: Node_Id
; Val
: List_Id
) is
3716 pragma Assert
(False
3717 or else NT
(N
).Nkind
= N_Index_Or_Discriminant_Constraint
);
3718 Set_List1_With_Parent
(N
, Val
);
3719 end Set_Constraints
;
3721 procedure Set_Context_Installed
3722 (N
: Node_Id
; Val
: Boolean := True) is
3724 pragma Assert
(False
3725 or else NT
(N
).Nkind
= N_With_Clause
);
3726 Set_Flag13
(N
, Val
);
3727 end Set_Context_Installed
;
3729 procedure Set_Context_Items
3730 (N
: Node_Id
; Val
: List_Id
) is
3732 pragma Assert
(False
3733 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3734 Set_List1_With_Parent
(N
, Val
);
3735 end Set_Context_Items
;
3737 procedure Set_Context_Pending
3738 (N
: Node_Id
; Val
: Boolean := True) is
3740 pragma Assert
(False
3741 or else NT
(N
).Nkind
= N_Compilation_Unit
);
3742 Set_Flag16
(N
, Val
);
3743 end Set_Context_Pending
;
3745 procedure Set_Contract_Test_Cases
3746 (N
: Node_Id
; Val
: Node_Id
) is
3748 pragma Assert
(False
3749 or else NT
(N
).Nkind
= N_Contract
);
3750 Set_Node2
(N
, Val
); -- semantic field, no parent set
3751 end Set_Contract_Test_Cases
;
3753 procedure Set_Controlling_Argument
3754 (N
: Node_Id
; Val
: Node_Id
) is
3756 pragma Assert
(False
3757 or else NT
(N
).Nkind
= N_Function_Call
3758 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
3759 Set_Node1
(N
, Val
); -- semantic field, no parent set
3760 end Set_Controlling_Argument
;
3762 procedure Set_Conversion_OK
3763 (N
: Node_Id
; Val
: Boolean := True) is
3765 pragma Assert
(False
3766 or else NT
(N
).Nkind
= N_Type_Conversion
);
3767 Set_Flag14
(N
, Val
);
3768 end Set_Conversion_OK
;
3770 procedure Set_Convert_To_Return_False
3771 (N
: Node_Id
; Val
: Boolean := True) is
3773 pragma Assert
(False
3774 or else NT
(N
).Nkind
= N_Raise_Expression
);
3775 Set_Flag13
(N
, Val
);
3776 end Set_Convert_To_Return_False
;
3778 procedure Set_Corresponding_Aspect
3779 (N
: Node_Id
; Val
: Node_Id
) is
3781 pragma Assert
(False
3782 or else NT
(N
).Nkind
= N_Pragma
);
3784 end Set_Corresponding_Aspect
;
3786 procedure Set_Corresponding_Body
3787 (N
: Node_Id
; Val
: Node_Id
) is
3789 pragma Assert
(False
3790 or else NT
(N
).Nkind
= N_Entry_Declaration
3791 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
3792 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
3793 or else NT
(N
).Nkind
= N_Package_Body_Stub
3794 or else NT
(N
).Nkind
= N_Package_Declaration
3795 or else NT
(N
).Nkind
= N_Protected_Body_Stub
3796 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
3797 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
3798 or else NT
(N
).Nkind
= N_Subprogram_Declaration
3799 or else NT
(N
).Nkind
= N_Task_Body_Stub
3800 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
3801 Set_Node5
(N
, Val
); -- semantic field, no parent set
3802 end Set_Corresponding_Body
;
3804 procedure Set_Corresponding_Formal_Spec
3805 (N
: Node_Id
; Val
: Node_Id
) is
3807 pragma Assert
(False
3808 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
3809 Set_Node3
(N
, Val
); -- semantic field, no parent set
3810 end Set_Corresponding_Formal_Spec
;
3812 procedure Set_Corresponding_Generic_Association
3813 (N
: Node_Id
; Val
: Node_Id
) is
3815 pragma Assert
(False
3816 or else NT
(N
).Nkind
= N_Object_Declaration
3817 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
);
3818 Set_Node5
(N
, Val
); -- semantic field, no parent set
3819 end Set_Corresponding_Generic_Association
;
3821 procedure Set_Corresponding_Integer_Value
3822 (N
: Node_Id
; Val
: Uint
) is
3824 pragma Assert
(False
3825 or else NT
(N
).Nkind
= N_Real_Literal
);
3826 Set_Uint4
(N
, Val
); -- semantic field, no parent set
3827 end Set_Corresponding_Integer_Value
;
3829 procedure Set_Corresponding_Spec
3830 (N
: Node_Id
; Val
: Node_Id
) is
3832 pragma Assert
(False
3833 or else NT
(N
).Nkind
= N_Expression_Function
3834 or else NT
(N
).Nkind
= N_Package_Body
3835 or else NT
(N
).Nkind
= N_Protected_Body
3836 or else NT
(N
).Nkind
= N_Subprogram_Body
3837 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
3838 or else NT
(N
).Nkind
= N_Task_Body
3839 or else NT
(N
).Nkind
= N_With_Clause
);
3840 Set_Node5
(N
, Val
); -- semantic field, no parent set
3841 end Set_Corresponding_Spec
;
3843 procedure Set_Corresponding_Spec_Of_Stub
3844 (N
: Node_Id
; Val
: Entity_Id
) is
3846 pragma Assert
(False
3847 or else NT
(N
).Nkind
= N_Package_Body_Stub
3848 or else NT
(N
).Nkind
= N_Protected_Body_Stub
3849 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
3850 or else NT
(N
).Nkind
= N_Task_Body_Stub
);
3851 Set_Node2
(N
, Val
); -- semantic field, no parent set
3852 end Set_Corresponding_Spec_Of_Stub
;
3854 procedure Set_Corresponding_Stub
3855 (N
: Node_Id
; Val
: Node_Id
) is
3857 pragma Assert
(False
3858 or else NT
(N
).Nkind
= N_Subunit
);
3860 end Set_Corresponding_Stub
;
3862 procedure Set_Dcheck_Function
3863 (N
: Node_Id
; Val
: Entity_Id
) is
3865 pragma Assert
(False
3866 or else NT
(N
).Nkind
= N_Variant
);
3867 Set_Node5
(N
, Val
); -- semantic field, no parent set
3868 end Set_Dcheck_Function
;
3870 procedure Set_Declarations
3871 (N
: Node_Id
; Val
: List_Id
) is
3873 pragma Assert
(False
3874 or else NT
(N
).Nkind
= N_Accept_Statement
3875 or else NT
(N
).Nkind
= N_Block_Statement
3876 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
3877 or else NT
(N
).Nkind
= N_Entry_Body
3878 or else NT
(N
).Nkind
= N_Package_Body
3879 or else NT
(N
).Nkind
= N_Protected_Body
3880 or else NT
(N
).Nkind
= N_Subprogram_Body
3881 or else NT
(N
).Nkind
= N_Task_Body
);
3882 Set_List2_With_Parent
(N
, Val
);
3883 end Set_Declarations
;
3885 procedure Set_Default_Expression
3886 (N
: Node_Id
; Val
: Node_Id
) is
3888 pragma Assert
(False
3889 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
3890 or else NT
(N
).Nkind
= N_Parameter_Specification
);
3891 Set_Node5
(N
, Val
); -- semantic field, no parent set
3892 end Set_Default_Expression
;
3894 procedure Set_Default_Storage_Pool
3895 (N
: Node_Id
; Val
: Node_Id
) is
3897 pragma Assert
(False
3898 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
);
3899 Set_Node3
(N
, Val
); -- semantic field, no parent set
3900 end Set_Default_Storage_Pool
;
3902 procedure Set_Default_Name
3903 (N
: Node_Id
; Val
: Node_Id
) is
3905 pragma Assert
(False
3906 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
3907 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
);
3908 Set_Node2_With_Parent
(N
, Val
);
3909 end Set_Default_Name
;
3911 procedure Set_Defining_Identifier
3912 (N
: Node_Id
; Val
: Entity_Id
) is
3914 pragma Assert
(False
3915 or else NT
(N
).Nkind
= N_Component_Declaration
3916 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
3917 or else NT
(N
).Nkind
= N_Discriminant_Specification
3918 or else NT
(N
).Nkind
= N_Entry_Body
3919 or else NT
(N
).Nkind
= N_Entry_Declaration
3920 or else NT
(N
).Nkind
= N_Entry_Index_Specification
3921 or else NT
(N
).Nkind
= N_Exception_Declaration
3922 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
3923 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
3924 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
3925 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
3926 or else NT
(N
).Nkind
= N_Full_Type_Declaration
3927 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
3928 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
3929 or else NT
(N
).Nkind
= N_Iterator_Specification
3930 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
3931 or else NT
(N
).Nkind
= N_Number_Declaration
3932 or else NT
(N
).Nkind
= N_Object_Declaration
3933 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
3934 or else NT
(N
).Nkind
= N_Package_Body_Stub
3935 or else NT
(N
).Nkind
= N_Parameter_Specification
3936 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
3937 or else NT
(N
).Nkind
= N_Private_Type_Declaration
3938 or else NT
(N
).Nkind
= N_Protected_Body
3939 or else NT
(N
).Nkind
= N_Protected_Body_Stub
3940 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
3941 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
3942 or else NT
(N
).Nkind
= N_Single_Task_Declaration
3943 or else NT
(N
).Nkind
= N_Subtype_Declaration
3944 or else NT
(N
).Nkind
= N_Task_Body
3945 or else NT
(N
).Nkind
= N_Task_Body_Stub
3946 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
3947 Set_Node1_With_Parent
(N
, Val
);
3948 end Set_Defining_Identifier
;
3950 procedure Set_Defining_Unit_Name
3951 (N
: Node_Id
; Val
: Node_Id
) is
3953 pragma Assert
(False
3954 or else NT
(N
).Nkind
= N_Function_Instantiation
3955 or else NT
(N
).Nkind
= N_Function_Specification
3956 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
3957 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
3958 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
3959 or else NT
(N
).Nkind
= N_Package_Body
3960 or else NT
(N
).Nkind
= N_Package_Instantiation
3961 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
3962 or else NT
(N
).Nkind
= N_Package_Specification
3963 or else NT
(N
).Nkind
= N_Procedure_Instantiation
3964 or else NT
(N
).Nkind
= N_Procedure_Specification
);
3965 Set_Node1_With_Parent
(N
, Val
);
3966 end Set_Defining_Unit_Name
;
3968 procedure Set_Delay_Alternative
3969 (N
: Node_Id
; Val
: Node_Id
) is
3971 pragma Assert
(False
3972 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
3973 Set_Node4_With_Parent
(N
, Val
);
3974 end Set_Delay_Alternative
;
3976 procedure Set_Delay_Statement
3977 (N
: Node_Id
; Val
: Node_Id
) is
3979 pragma Assert
(False
3980 or else NT
(N
).Nkind
= N_Delay_Alternative
);
3981 Set_Node2_With_Parent
(N
, Val
);
3982 end Set_Delay_Statement
;
3984 procedure Set_Delta_Expression
3985 (N
: Node_Id
; Val
: Node_Id
) is
3987 pragma Assert
(False
3988 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
3989 or else NT
(N
).Nkind
= N_Delta_Constraint
3990 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
3991 Set_Node3_With_Parent
(N
, Val
);
3992 end Set_Delta_Expression
;
3994 procedure Set_Digits_Expression
3995 (N
: Node_Id
; Val
: Node_Id
) is
3997 pragma Assert
(False
3998 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
3999 or else NT
(N
).Nkind
= N_Digits_Constraint
4000 or else NT
(N
).Nkind
= N_Floating_Point_Definition
);
4001 Set_Node2_With_Parent
(N
, Val
);
4002 end Set_Digits_Expression
;
4004 procedure Set_Discr_Check_Funcs_Built
4005 (N
: Node_Id
; Val
: Boolean := True) is
4007 pragma Assert
(False
4008 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
4009 Set_Flag11
(N
, Val
);
4010 end Set_Discr_Check_Funcs_Built
;
4012 procedure Set_Discrete_Choices
4013 (N
: Node_Id
; Val
: List_Id
) is
4015 pragma Assert
(False
4016 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
4017 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
4018 or else NT
(N
).Nkind
= N_Variant
);
4019 Set_List4_With_Parent
(N
, Val
);
4020 end Set_Discrete_Choices
;
4022 procedure Set_Discrete_Range
4023 (N
: Node_Id
; Val
: Node_Id
) is
4025 pragma Assert
(False
4026 or else NT
(N
).Nkind
= N_Slice
);
4027 Set_Node4_With_Parent
(N
, Val
);
4028 end Set_Discrete_Range
;
4030 procedure Set_Discrete_Subtype_Definition
4031 (N
: Node_Id
; Val
: Node_Id
) is
4033 pragma Assert
(False
4034 or else NT
(N
).Nkind
= N_Entry_Declaration
4035 or else NT
(N
).Nkind
= N_Entry_Index_Specification
4036 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
4037 Set_Node4_With_Parent
(N
, Val
);
4038 end Set_Discrete_Subtype_Definition
;
4040 procedure Set_Discrete_Subtype_Definitions
4041 (N
: Node_Id
; Val
: List_Id
) is
4043 pragma Assert
(False
4044 or else NT
(N
).Nkind
= N_Constrained_Array_Definition
);
4045 Set_List2_With_Parent
(N
, Val
);
4046 end Set_Discrete_Subtype_Definitions
;
4048 procedure Set_Discriminant_Specifications
4049 (N
: Node_Id
; Val
: List_Id
) is
4051 pragma Assert
(False
4052 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
4053 or else NT
(N
).Nkind
= N_Full_Type_Declaration
4054 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
4055 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
4056 or else NT
(N
).Nkind
= N_Private_Type_Declaration
4057 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
4058 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
4059 Set_List4_With_Parent
(N
, Val
);
4060 end Set_Discriminant_Specifications
;
4062 procedure Set_Discriminant_Type
4063 (N
: Node_Id
; Val
: Node_Id
) is
4065 pragma Assert
(False
4066 or else NT
(N
).Nkind
= N_Discriminant_Specification
);
4067 Set_Node5_With_Parent
(N
, Val
);
4068 end Set_Discriminant_Type
;
4070 procedure Set_Do_Accessibility_Check
4071 (N
: Node_Id
; Val
: Boolean := True) is
4073 pragma Assert
(False
4074 or else NT
(N
).Nkind
= N_Parameter_Specification
);
4075 Set_Flag13
(N
, Val
);
4076 end Set_Do_Accessibility_Check
;
4078 procedure Set_Do_Discriminant_Check
4079 (N
: Node_Id
; Val
: Boolean := True) is
4081 pragma Assert
(False
4082 or else NT
(N
).Nkind
= N_Assignment_Statement
4083 or else NT
(N
).Nkind
= N_Selected_Component
4084 or else NT
(N
).Nkind
= N_Type_Conversion
);
4086 end Set_Do_Discriminant_Check
;
4088 procedure Set_Do_Division_Check
4089 (N
: Node_Id
; Val
: Boolean := True) is
4091 pragma Assert
(False
4092 or else NT
(N
).Nkind
= N_Op_Divide
4093 or else NT
(N
).Nkind
= N_Op_Mod
4094 or else NT
(N
).Nkind
= N_Op_Rem
);
4095 Set_Flag13
(N
, Val
);
4096 end Set_Do_Division_Check
;
4098 procedure Set_Do_Length_Check
4099 (N
: Node_Id
; Val
: Boolean := True) is
4101 pragma Assert
(False
4102 or else NT
(N
).Nkind
= N_Assignment_Statement
4103 or else NT
(N
).Nkind
= N_Op_And
4104 or else NT
(N
).Nkind
= N_Op_Or
4105 or else NT
(N
).Nkind
= N_Op_Xor
4106 or else NT
(N
).Nkind
= N_Type_Conversion
);
4108 end Set_Do_Length_Check
;
4110 procedure Set_Do_Overflow_Check
4111 (N
: Node_Id
; Val
: Boolean := True) is
4113 pragma Assert
(False
4114 or else NT
(N
).Nkind
in N_Op
4115 or else NT
(N
).Nkind
= N_Attribute_Reference
4116 or else NT
(N
).Nkind
= N_Case_Expression
4117 or else NT
(N
).Nkind
= N_If_Expression
4118 or else NT
(N
).Nkind
= N_Type_Conversion
);
4119 Set_Flag17
(N
, Val
);
4120 end Set_Do_Overflow_Check
;
4122 procedure Set_Do_Range_Check
4123 (N
: Node_Id
; Val
: Boolean := True) is
4125 pragma Assert
(False
4126 or else NT
(N
).Nkind
in N_Subexpr
);
4128 end Set_Do_Range_Check
;
4130 procedure Set_Do_Storage_Check
4131 (N
: Node_Id
; Val
: Boolean := True) is
4133 pragma Assert
(False
4134 or else NT
(N
).Nkind
= N_Allocator
4135 or else NT
(N
).Nkind
= N_Subprogram_Body
);
4136 Set_Flag17
(N
, Val
);
4137 end Set_Do_Storage_Check
;
4139 procedure Set_Do_Tag_Check
4140 (N
: Node_Id
; Val
: Boolean := True) is
4142 pragma Assert
(False
4143 or else NT
(N
).Nkind
= N_Assignment_Statement
4144 or else NT
(N
).Nkind
= N_Extended_Return_Statement
4145 or else NT
(N
).Nkind
= N_Function_Call
4146 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
4147 or else NT
(N
).Nkind
= N_Simple_Return_Statement
4148 or else NT
(N
).Nkind
= N_Type_Conversion
);
4149 Set_Flag13
(N
, Val
);
4150 end Set_Do_Tag_Check
;
4152 procedure Set_Elaborate_All_Desirable
4153 (N
: Node_Id
; Val
: Boolean := True) is
4155 pragma Assert
(False
4156 or else NT
(N
).Nkind
= N_With_Clause
);
4158 end Set_Elaborate_All_Desirable
;
4160 procedure Set_Elaborate_All_Present
4161 (N
: Node_Id
; Val
: Boolean := True) is
4163 pragma Assert
(False
4164 or else NT
(N
).Nkind
= N_With_Clause
);
4165 Set_Flag14
(N
, Val
);
4166 end Set_Elaborate_All_Present
;
4168 procedure Set_Elaborate_Desirable
4169 (N
: Node_Id
; Val
: Boolean := True) is
4171 pragma Assert
(False
4172 or else NT
(N
).Nkind
= N_With_Clause
);
4173 Set_Flag11
(N
, Val
);
4174 end Set_Elaborate_Desirable
;
4176 procedure Set_Elaborate_Present
4177 (N
: Node_Id
; Val
: Boolean := True) is
4179 pragma Assert
(False
4180 or else NT
(N
).Nkind
= N_With_Clause
);
4182 end Set_Elaborate_Present
;
4184 procedure Set_Elaboration_Boolean
4185 (N
: Node_Id
; Val
: Node_Id
) is
4187 pragma Assert
(False
4188 or else NT
(N
).Nkind
= N_Function_Specification
4189 or else NT
(N
).Nkind
= N_Procedure_Specification
);
4191 end Set_Elaboration_Boolean
;
4193 procedure Set_Else_Actions
4194 (N
: Node_Id
; Val
: List_Id
) is
4196 pragma Assert
(False
4197 or else NT
(N
).Nkind
= N_If_Expression
);
4198 Set_List3
(N
, Val
); -- semantic field, no parent set
4199 end Set_Else_Actions
;
4201 procedure Set_Else_Statements
4202 (N
: Node_Id
; Val
: List_Id
) is
4204 pragma Assert
(False
4205 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
4206 or else NT
(N
).Nkind
= N_If_Statement
4207 or else NT
(N
).Nkind
= N_Selective_Accept
);
4208 Set_List4_With_Parent
(N
, Val
);
4209 end Set_Else_Statements
;
4211 procedure Set_Elsif_Parts
4212 (N
: Node_Id
; Val
: List_Id
) is
4214 pragma Assert
(False
4215 or else NT
(N
).Nkind
= N_If_Statement
);
4216 Set_List3_With_Parent
(N
, Val
);
4217 end Set_Elsif_Parts
;
4219 procedure Set_Enclosing_Variant
4220 (N
: Node_Id
; Val
: Node_Id
) is
4222 pragma Assert
(False
4223 or else NT
(N
).Nkind
= N_Variant
);
4224 Set_Node2
(N
, Val
); -- semantic field, no parent set
4225 end Set_Enclosing_Variant
;
4227 procedure Set_End_Label
4228 (N
: Node_Id
; Val
: Node_Id
) is
4230 pragma Assert
(False
4231 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
4232 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
4233 or else NT
(N
).Nkind
= N_Loop_Statement
4234 or else NT
(N
).Nkind
= N_Package_Specification
4235 or else NT
(N
).Nkind
= N_Protected_Body
4236 or else NT
(N
).Nkind
= N_Protected_Definition
4237 or else NT
(N
).Nkind
= N_Record_Definition
4238 or else NT
(N
).Nkind
= N_Task_Definition
);
4239 Set_Node4_With_Parent
(N
, Val
);
4242 procedure Set_End_Span
4243 (N
: Node_Id
; Val
: Uint
) is
4245 pragma Assert
(False
4246 or else NT
(N
).Nkind
= N_Case_Statement
4247 or else NT
(N
).Nkind
= N_If_Statement
);
4251 procedure Set_Entity
4252 (N
: Node_Id
; Val
: Node_Id
) is
4254 pragma Assert
(False
4255 or else NT
(N
).Nkind
in N_Has_Entity
4256 or else NT
(N
).Nkind
= N_Aspect_Specification
4257 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4258 or else NT
(N
).Nkind
= N_Freeze_Entity
4259 or else NT
(N
).Nkind
= N_Freeze_Generic_Entity
);
4260 Set_Node4
(N
, Val
); -- semantic field, no parent set
4263 procedure Set_Entry_Body_Formal_Part
4264 (N
: Node_Id
; Val
: Node_Id
) is
4266 pragma Assert
(False
4267 or else NT
(N
).Nkind
= N_Entry_Body
);
4268 Set_Node5_With_Parent
(N
, Val
);
4269 end Set_Entry_Body_Formal_Part
;
4271 procedure Set_Entry_Call_Alternative
4272 (N
: Node_Id
; Val
: Node_Id
) is
4274 pragma Assert
(False
4275 or else NT
(N
).Nkind
= N_Conditional_Entry_Call
4276 or else NT
(N
).Nkind
= N_Timed_Entry_Call
);
4277 Set_Node1_With_Parent
(N
, Val
);
4278 end Set_Entry_Call_Alternative
;
4280 procedure Set_Entry_Call_Statement
4281 (N
: Node_Id
; Val
: Node_Id
) is
4283 pragma Assert
(False
4284 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
);
4285 Set_Node1_With_Parent
(N
, Val
);
4286 end Set_Entry_Call_Statement
;
4288 procedure Set_Entry_Direct_Name
4289 (N
: Node_Id
; Val
: Node_Id
) is
4291 pragma Assert
(False
4292 or else NT
(N
).Nkind
= N_Accept_Statement
);
4293 Set_Node1_With_Parent
(N
, Val
);
4294 end Set_Entry_Direct_Name
;
4296 procedure Set_Entry_Index
4297 (N
: Node_Id
; Val
: Node_Id
) is
4299 pragma Assert
(False
4300 or else NT
(N
).Nkind
= N_Accept_Statement
);
4301 Set_Node5_With_Parent
(N
, Val
);
4302 end Set_Entry_Index
;
4304 procedure Set_Entry_Index_Specification
4305 (N
: Node_Id
; Val
: Node_Id
) is
4307 pragma Assert
(False
4308 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
);
4309 Set_Node4_With_Parent
(N
, Val
);
4310 end Set_Entry_Index_Specification
;
4313 (N
: Node_Id
; Val
: Node_Id
) is
4315 pragma Assert
(False
4316 or else NT
(N
).Nkind
in N_Has_Etype
);
4317 Set_Node5
(N
, Val
); -- semantic field, no parent set
4320 procedure Set_Exception_Choices
4321 (N
: Node_Id
; Val
: List_Id
) is
4323 pragma Assert
(False
4324 or else NT
(N
).Nkind
= N_Exception_Handler
);
4325 Set_List4_With_Parent
(N
, Val
);
4326 end Set_Exception_Choices
;
4328 procedure Set_Exception_Handlers
4329 (N
: Node_Id
; Val
: List_Id
) is
4331 pragma Assert
(False
4332 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
4333 Set_List5_With_Parent
(N
, Val
);
4334 end Set_Exception_Handlers
;
4336 procedure Set_Exception_Junk
4337 (N
: Node_Id
; Val
: Boolean := True) is
4339 pragma Assert
(False
4340 or else NT
(N
).Nkind
= N_Block_Statement
4341 or else NT
(N
).Nkind
= N_Goto_Statement
4342 or else NT
(N
).Nkind
= N_Label
4343 or else NT
(N
).Nkind
= N_Object_Declaration
4344 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
4346 end Set_Exception_Junk
;
4348 procedure Set_Exception_Label
4349 (N
: Node_Id
; Val
: Node_Id
) is
4351 pragma Assert
(False
4352 or else NT
(N
).Nkind
= N_Exception_Handler
4353 or else NT
(N
).Nkind
= N_Push_Constraint_Error_Label
4354 or else NT
(N
).Nkind
= N_Push_Program_Error_Label
4355 or else NT
(N
).Nkind
= N_Push_Storage_Error_Label
);
4356 Set_Node5
(N
, Val
); -- semantic field, no parent set
4357 end Set_Exception_Label
;
4359 procedure Set_Expansion_Delayed
4360 (N
: Node_Id
; Val
: Boolean := True) is
4362 pragma Assert
(False
4363 or else NT
(N
).Nkind
= N_Aggregate
4364 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
4365 Set_Flag11
(N
, Val
);
4366 end Set_Expansion_Delayed
;
4368 procedure Set_Explicit_Actual_Parameter
4369 (N
: Node_Id
; Val
: Node_Id
) is
4371 pragma Assert
(False
4372 or else NT
(N
).Nkind
= N_Parameter_Association
);
4373 Set_Node3_With_Parent
(N
, Val
);
4374 end Set_Explicit_Actual_Parameter
;
4376 procedure Set_Explicit_Generic_Actual_Parameter
4377 (N
: Node_Id
; Val
: Node_Id
) is
4379 pragma Assert
(False
4380 or else NT
(N
).Nkind
= N_Generic_Association
);
4381 Set_Node1_With_Parent
(N
, Val
);
4382 end Set_Explicit_Generic_Actual_Parameter
;
4384 procedure Set_Expression
4385 (N
: Node_Id
; Val
: Node_Id
) is
4387 pragma Assert
(False
4388 or else NT
(N
).Nkind
= N_Allocator
4389 or else NT
(N
).Nkind
= N_Aspect_Specification
4390 or else NT
(N
).Nkind
= N_Assignment_Statement
4391 or else NT
(N
).Nkind
= N_At_Clause
4392 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4393 or else NT
(N
).Nkind
= N_Case_Expression
4394 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
4395 or else NT
(N
).Nkind
= N_Case_Statement
4396 or else NT
(N
).Nkind
= N_Code_Statement
4397 or else NT
(N
).Nkind
= N_Component_Association
4398 or else NT
(N
).Nkind
= N_Component_Declaration
4399 or else NT
(N
).Nkind
= N_Delay_Relative_Statement
4400 or else NT
(N
).Nkind
= N_Delay_Until_Statement
4401 or else NT
(N
).Nkind
= N_Discriminant_Association
4402 or else NT
(N
).Nkind
= N_Discriminant_Specification
4403 or else NT
(N
).Nkind
= N_Exception_Declaration
4404 or else NT
(N
).Nkind
= N_Expression_Function
4405 or else NT
(N
).Nkind
= N_Expression_With_Actions
4406 or else NT
(N
).Nkind
= N_Free_Statement
4407 or else NT
(N
).Nkind
= N_Mod_Clause
4408 or else NT
(N
).Nkind
= N_Modular_Type_Definition
4409 or else NT
(N
).Nkind
= N_Number_Declaration
4410 or else NT
(N
).Nkind
= N_Object_Declaration
4411 or else NT
(N
).Nkind
= N_Parameter_Specification
4412 or else NT
(N
).Nkind
= N_Pragma_Argument_Association
4413 or else NT
(N
).Nkind
= N_Qualified_Expression
4414 or else NT
(N
).Nkind
= N_Raise_Expression
4415 or else NT
(N
).Nkind
= N_Raise_Statement
4416 or else NT
(N
).Nkind
= N_Simple_Return_Statement
4417 or else NT
(N
).Nkind
= N_Type_Conversion
4418 or else NT
(N
).Nkind
= N_Unchecked_Expression
4419 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
4420 Set_Node3_With_Parent
(N
, Val
);
4423 procedure Set_Expressions
4424 (N
: Node_Id
; Val
: List_Id
) is
4426 pragma Assert
(False
4427 or else NT
(N
).Nkind
= N_Aggregate
4428 or else NT
(N
).Nkind
= N_Attribute_Reference
4429 or else NT
(N
).Nkind
= N_Extension_Aggregate
4430 or else NT
(N
).Nkind
= N_If_Expression
4431 or else NT
(N
).Nkind
= N_Indexed_Component
);
4432 Set_List1_With_Parent
(N
, Val
);
4433 end Set_Expressions
;
4435 procedure Set_First_Bit
4436 (N
: Node_Id
; Val
: Node_Id
) is
4438 pragma Assert
(False
4439 or else NT
(N
).Nkind
= N_Component_Clause
);
4440 Set_Node3_With_Parent
(N
, Val
);
4443 procedure Set_First_Inlined_Subprogram
4444 (N
: Node_Id
; Val
: Entity_Id
) is
4446 pragma Assert
(False
4447 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4448 Set_Node3
(N
, Val
); -- semantic field, no parent set
4449 end Set_First_Inlined_Subprogram
;
4451 procedure Set_First_Name
4452 (N
: Node_Id
; Val
: Boolean := True) is
4454 pragma Assert
(False
4455 or else NT
(N
).Nkind
= N_With_Clause
);
4459 procedure Set_First_Named_Actual
4460 (N
: Node_Id
; Val
: Node_Id
) is
4462 pragma Assert
(False
4463 or else NT
(N
).Nkind
= N_Entry_Call_Statement
4464 or else NT
(N
).Nkind
= N_Function_Call
4465 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
4466 Set_Node4
(N
, Val
); -- semantic field, no parent set
4467 end Set_First_Named_Actual
;
4469 procedure Set_First_Real_Statement
4470 (N
: Node_Id
; Val
: Node_Id
) is
4472 pragma Assert
(False
4473 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
);
4474 Set_Node2
(N
, Val
); -- semantic field, no parent set
4475 end Set_First_Real_Statement
;
4477 procedure Set_First_Subtype_Link
4478 (N
: Node_Id
; Val
: Entity_Id
) is
4480 pragma Assert
(False
4481 or else NT
(N
).Nkind
= N_Freeze_Entity
);
4482 Set_Node5
(N
, Val
); -- semantic field, no parent set
4483 end Set_First_Subtype_Link
;
4485 procedure Set_Float_Truncate
4486 (N
: Node_Id
; Val
: Boolean := True) is
4488 pragma Assert
(False
4489 or else NT
(N
).Nkind
= N_Type_Conversion
);
4490 Set_Flag11
(N
, Val
);
4491 end Set_Float_Truncate
;
4493 procedure Set_Formal_Type_Definition
4494 (N
: Node_Id
; Val
: Node_Id
) is
4496 pragma Assert
(False
4497 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
);
4498 Set_Node3_With_Parent
(N
, Val
);
4499 end Set_Formal_Type_Definition
;
4501 procedure Set_Forwards_OK
4502 (N
: Node_Id
; Val
: Boolean := True) is
4504 pragma Assert
(False
4505 or else NT
(N
).Nkind
= N_Assignment_Statement
);
4507 end Set_Forwards_OK
;
4509 procedure Set_From_Aspect_Specification
4510 (N
: Node_Id
; Val
: Boolean := True) is
4512 pragma Assert
(False
4513 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4514 or else NT
(N
).Nkind
= N_Pragma
);
4515 Set_Flag13
(N
, Val
);
4516 end Set_From_Aspect_Specification
;
4518 procedure Set_From_At_End
4519 (N
: Node_Id
; Val
: Boolean := True) is
4521 pragma Assert
(False
4522 or else NT
(N
).Nkind
= N_Raise_Statement
);
4524 end Set_From_At_End
;
4526 procedure Set_From_At_Mod
4527 (N
: Node_Id
; Val
: Boolean := True) is
4529 pragma Assert
(False
4530 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
);
4532 end Set_From_At_Mod
;
4534 procedure Set_From_Default
4535 (N
: Node_Id
; Val
: Boolean := True) is
4537 pragma Assert
(False
4538 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
4540 end Set_From_Default
;
4542 procedure Set_Generalized_Indexing
4543 (N
: Node_Id
; Val
: Node_Id
) is
4545 pragma Assert
(False
4546 or else NT
(N
).Nkind
= N_Indexed_Component
);
4548 end Set_Generalized_Indexing
;
4550 procedure Set_Generic_Associations
4551 (N
: Node_Id
; Val
: List_Id
) is
4553 pragma Assert
(False
4554 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
4555 or else NT
(N
).Nkind
= N_Function_Instantiation
4556 or else NT
(N
).Nkind
= N_Package_Instantiation
4557 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
4558 Set_List3_With_Parent
(N
, Val
);
4559 end Set_Generic_Associations
;
4561 procedure Set_Generic_Formal_Declarations
4562 (N
: Node_Id
; Val
: List_Id
) is
4564 pragma Assert
(False
4565 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
4566 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
);
4567 Set_List2_With_Parent
(N
, Val
);
4568 end Set_Generic_Formal_Declarations
;
4570 procedure Set_Generic_Parent
4571 (N
: Node_Id
; Val
: Node_Id
) is
4573 pragma Assert
(False
4574 or else NT
(N
).Nkind
= N_Function_Specification
4575 or else NT
(N
).Nkind
= N_Package_Specification
4576 or else NT
(N
).Nkind
= N_Procedure_Specification
);
4578 end Set_Generic_Parent
;
4580 procedure Set_Generic_Parent_Type
4581 (N
: Node_Id
; Val
: Node_Id
) is
4583 pragma Assert
(False
4584 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
4586 end Set_Generic_Parent_Type
;
4588 procedure Set_Handled_Statement_Sequence
4589 (N
: Node_Id
; Val
: Node_Id
) is
4591 pragma Assert
(False
4592 or else NT
(N
).Nkind
= N_Accept_Statement
4593 or else NT
(N
).Nkind
= N_Block_Statement
4594 or else NT
(N
).Nkind
= N_Entry_Body
4595 or else NT
(N
).Nkind
= N_Extended_Return_Statement
4596 or else NT
(N
).Nkind
= N_Package_Body
4597 or else NT
(N
).Nkind
= N_Subprogram_Body
4598 or else NT
(N
).Nkind
= N_Task_Body
);
4599 Set_Node4_With_Parent
(N
, Val
);
4600 end Set_Handled_Statement_Sequence
;
4602 procedure Set_Handler_List_Entry
4603 (N
: Node_Id
; Val
: Node_Id
) is
4605 pragma Assert
(False
4606 or else NT
(N
).Nkind
= N_Object_Declaration
);
4608 end Set_Handler_List_Entry
;
4610 procedure Set_Has_Created_Identifier
4611 (N
: Node_Id
; Val
: Boolean := True) is
4613 pragma Assert
(False
4614 or else NT
(N
).Nkind
= N_Block_Statement
4615 or else NT
(N
).Nkind
= N_Loop_Statement
);
4616 Set_Flag15
(N
, Val
);
4617 end Set_Has_Created_Identifier
;
4619 procedure Set_Has_Dereference_Action
4620 (N
: Node_Id
; Val
: Boolean := True) is
4622 pragma Assert
(False
4623 or else NT
(N
).Nkind
= N_Explicit_Dereference
);
4624 Set_Flag13
(N
, Val
);
4625 end Set_Has_Dereference_Action
;
4627 procedure Set_Has_Dynamic_Length_Check
4628 (N
: Node_Id
; Val
: Boolean := True) is
4630 pragma Assert
(False
4631 or else NT
(N
).Nkind
in N_Subexpr
);
4632 Set_Flag10
(N
, Val
);
4633 end Set_Has_Dynamic_Length_Check
;
4635 procedure Set_Has_Dynamic_Range_Check
4636 (N
: Node_Id
; Val
: Boolean := True) is
4638 pragma Assert
(False
4639 or else NT
(N
).Nkind
= N_Subtype_Declaration
4640 or else NT
(N
).Nkind
in N_Subexpr
);
4641 Set_Flag12
(N
, Val
);
4642 end Set_Has_Dynamic_Range_Check
;
4644 procedure Set_Has_Init_Expression
4645 (N
: Node_Id
; Val
: Boolean := True) is
4647 pragma Assert
(False
4648 or else NT
(N
).Nkind
= N_Object_Declaration
);
4649 Set_Flag14
(N
, Val
);
4650 end Set_Has_Init_Expression
;
4652 procedure Set_Has_Local_Raise
4653 (N
: Node_Id
; Val
: Boolean := True) is
4655 pragma Assert
(False
4656 or else NT
(N
).Nkind
= N_Exception_Handler
);
4658 end Set_Has_Local_Raise
;
4660 procedure Set_Has_No_Elaboration_Code
4661 (N
: Node_Id
; Val
: Boolean := True) is
4663 pragma Assert
(False
4664 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4665 Set_Flag17
(N
, Val
);
4666 end Set_Has_No_Elaboration_Code
;
4668 procedure Set_Has_Pragma_Suppress_All
4669 (N
: Node_Id
; Val
: Boolean := True) is
4671 pragma Assert
(False
4672 or else NT
(N
).Nkind
= N_Compilation_Unit
);
4673 Set_Flag14
(N
, Val
);
4674 end Set_Has_Pragma_Suppress_All
;
4676 procedure Set_Has_Private_View
4677 (N
: Node_Id
; Val
: Boolean := True) is
4679 pragma Assert
(False
4680 or else NT
(N
).Nkind
in N_Op
4681 or else NT
(N
).Nkind
= N_Character_Literal
4682 or else NT
(N
).Nkind
= N_Expanded_Name
4683 or else NT
(N
).Nkind
= N_Identifier
4684 or else NT
(N
).Nkind
= N_Operator_Symbol
);
4685 Set_Flag11
(N
, Val
);
4686 end Set_Has_Private_View
;
4688 procedure Set_Has_Relative_Deadline_Pragma
4689 (N
: Node_Id
; Val
: Boolean := True) is
4691 pragma Assert
(False
4692 or else NT
(N
).Nkind
= N_Subprogram_Body
4693 or else NT
(N
).Nkind
= N_Task_Definition
);
4695 end Set_Has_Relative_Deadline_Pragma
;
4697 procedure Set_Has_Self_Reference
4698 (N
: Node_Id
; Val
: Boolean := True) is
4700 pragma Assert
(False
4701 or else NT
(N
).Nkind
= N_Aggregate
4702 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
4703 Set_Flag13
(N
, Val
);
4704 end Set_Has_Self_Reference
;
4706 procedure Set_Has_SP_Choice
4707 (N
: Node_Id
; Val
: Boolean := True) is
4709 pragma Assert
(False
4710 or else NT
(N
).Nkind
= N_Case_Expression_Alternative
4711 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
4712 or else NT
(N
).Nkind
= N_Variant
);
4713 Set_Flag15
(N
, Val
);
4714 end Set_Has_SP_Choice
;
4716 procedure Set_Has_Storage_Size_Pragma
4717 (N
: Node_Id
; Val
: Boolean := True) is
4719 pragma Assert
(False
4720 or else NT
(N
).Nkind
= N_Task_Definition
);
4722 end Set_Has_Storage_Size_Pragma
;
4724 procedure Set_Has_Wide_Character
4725 (N
: Node_Id
; Val
: Boolean := True) is
4727 pragma Assert
(False
4728 or else NT
(N
).Nkind
= N_String_Literal
);
4729 Set_Flag11
(N
, Val
);
4730 end Set_Has_Wide_Character
;
4732 procedure Set_Has_Wide_Wide_Character
4733 (N
: Node_Id
; Val
: Boolean := True) is
4735 pragma Assert
(False
4736 or else NT
(N
).Nkind
= N_String_Literal
);
4737 Set_Flag13
(N
, Val
);
4738 end Set_Has_Wide_Wide_Character
;
4740 procedure Set_Header_Size_Added
4741 (N
: Node_Id
; Val
: Boolean := True) is
4743 pragma Assert
(False
4744 or else NT
(N
).Nkind
= N_Attribute_Reference
);
4745 Set_Flag11
(N
, Val
);
4746 end Set_Header_Size_Added
;
4748 procedure Set_Hidden_By_Use_Clause
4749 (N
: Node_Id
; Val
: Elist_Id
) is
4751 pragma Assert
(False
4752 or else NT
(N
).Nkind
= N_Use_Package_Clause
4753 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
4754 Set_Elist4
(N
, Val
);
4755 end Set_Hidden_By_Use_Clause
;
4757 procedure Set_High_Bound
4758 (N
: Node_Id
; Val
: Node_Id
) is
4760 pragma Assert
(False
4761 or else NT
(N
).Nkind
= N_Range
4762 or else NT
(N
).Nkind
= N_Real_Range_Specification
4763 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
4764 Set_Node2_With_Parent
(N
, Val
);
4767 procedure Set_Identifier
4768 (N
: Node_Id
; Val
: Node_Id
) is
4770 pragma Assert
(False
4771 or else NT
(N
).Nkind
= N_Aspect_Specification
4772 or else NT
(N
).Nkind
= N_At_Clause
4773 or else NT
(N
).Nkind
= N_Block_Statement
4774 or else NT
(N
).Nkind
= N_Designator
4775 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
4776 or else NT
(N
).Nkind
= N_Label
4777 or else NT
(N
).Nkind
= N_Loop_Statement
4778 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
4779 Set_Node1_With_Parent
(N
, Val
);
4782 procedure Set_Implicit_With
4783 (N
: Node_Id
; Val
: Boolean := True) is
4785 pragma Assert
(False
4786 or else NT
(N
).Nkind
= N_With_Clause
);
4787 Set_Flag16
(N
, Val
);
4788 end Set_Implicit_With
;
4790 procedure Set_Implicit_With_From_Instantiation
4791 (N
: Node_Id
; Val
: Boolean := True) is
4793 pragma Assert
(False
4794 or else NT
(N
).Nkind
= N_With_Clause
);
4795 Set_Flag12
(N
, Val
);
4796 end Set_Implicit_With_From_Instantiation
;
4798 procedure Set_Interface_List
4799 (N
: Node_Id
; Val
: List_Id
) is
4801 pragma Assert
(False
4802 or else NT
(N
).Nkind
= N_Derived_Type_Definition
4803 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
4804 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
4805 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
4806 or else NT
(N
).Nkind
= N_Record_Definition
4807 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
4808 or else NT
(N
).Nkind
= N_Single_Task_Declaration
4809 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
4810 Set_List2_With_Parent
(N
, Val
);
4811 end Set_Interface_List
;
4813 procedure Set_Interface_Present
4814 (N
: Node_Id
; Val
: Boolean := True) is
4816 pragma Assert
(False
4817 or else NT
(N
).Nkind
= N_Derived_Type_Definition
4818 or else NT
(N
).Nkind
= N_Record_Definition
);
4819 Set_Flag16
(N
, Val
);
4820 end Set_Interface_Present
;
4822 procedure Set_Import_Interface_Present
4823 (N
: Node_Id
; Val
: Boolean := True) is
4825 pragma Assert
(False
4826 or else NT
(N
).Nkind
= N_Pragma
);
4827 Set_Flag16
(N
, Val
);
4828 end Set_Import_Interface_Present
;
4830 procedure Set_In_Present
4831 (N
: Node_Id
; Val
: Boolean := True) is
4833 pragma Assert
(False
4834 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
4835 or else NT
(N
).Nkind
= N_Parameter_Specification
);
4836 Set_Flag15
(N
, Val
);
4839 procedure Set_Includes_Infinities
4840 (N
: Node_Id
; Val
: Boolean := True) is
4842 pragma Assert
(False
4843 or else NT
(N
).Nkind
= N_Range
);
4844 Set_Flag11
(N
, Val
);
4845 end Set_Includes_Infinities
;
4847 procedure Set_Inherited_Discriminant
4848 (N
: Node_Id
; Val
: Boolean := True) is
4850 pragma Assert
(False
4851 or else NT
(N
).Nkind
= N_Component_Association
);
4852 Set_Flag13
(N
, Val
);
4853 end Set_Inherited_Discriminant
;
4855 procedure Set_Instance_Spec
4856 (N
: Node_Id
; Val
: Node_Id
) is
4858 pragma Assert
(False
4859 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
4860 or else NT
(N
).Nkind
= N_Function_Instantiation
4861 or else NT
(N
).Nkind
= N_Package_Instantiation
4862 or else NT
(N
).Nkind
= N_Procedure_Instantiation
);
4863 Set_Node5
(N
, Val
); -- semantic field, no Parent set
4864 end Set_Instance_Spec
;
4866 procedure Set_Intval
4867 (N
: Node_Id
; Val
: Uint
) is
4869 pragma Assert
(False
4870 or else NT
(N
).Nkind
= N_Integer_Literal
);
4874 procedure Set_Is_Accessibility_Actual
4875 (N
: Node_Id
; Val
: Boolean := True) is
4877 pragma Assert
(False
4878 or else NT
(N
).Nkind
= N_Parameter_Association
);
4879 Set_Flag13
(N
, Val
);
4880 end Set_Is_Accessibility_Actual
;
4882 procedure Set_Is_Asynchronous_Call_Block
4883 (N
: Node_Id
; Val
: Boolean := True) is
4885 pragma Assert
(False
4886 or else NT
(N
).Nkind
= N_Block_Statement
);
4888 end Set_Is_Asynchronous_Call_Block
;
4890 procedure Set_Is_Boolean_Aspect
4891 (N
: Node_Id
; Val
: Boolean := True) is
4893 pragma Assert
(False
4894 or else NT
(N
).Nkind
= N_Aspect_Specification
);
4895 Set_Flag16
(N
, Val
);
4896 end Set_Is_Boolean_Aspect
;
4898 procedure Set_Is_Checked
4899 (N
: Node_Id
; Val
: Boolean := True) is
4901 pragma Assert
(False
4902 or else NT
(N
).Nkind
= N_Aspect_Specification
4903 or else NT
(N
).Nkind
= N_Pragma
);
4904 Set_Flag11
(N
, Val
);
4907 procedure Set_Is_Component_Left_Opnd
4908 (N
: Node_Id
; Val
: Boolean := True) is
4910 pragma Assert
(False
4911 or else NT
(N
).Nkind
= N_Op_Concat
);
4912 Set_Flag13
(N
, Val
);
4913 end Set_Is_Component_Left_Opnd
;
4915 procedure Set_Is_Component_Right_Opnd
4916 (N
: Node_Id
; Val
: Boolean := True) is
4918 pragma Assert
(False
4919 or else NT
(N
).Nkind
= N_Op_Concat
);
4920 Set_Flag14
(N
, Val
);
4921 end Set_Is_Component_Right_Opnd
;
4923 procedure Set_Is_Controlling_Actual
4924 (N
: Node_Id
; Val
: Boolean := True) is
4926 pragma Assert
(False
4927 or else NT
(N
).Nkind
in N_Subexpr
);
4928 Set_Flag16
(N
, Val
);
4929 end Set_Is_Controlling_Actual
;
4931 procedure Set_Is_Delayed_Aspect
4932 (N
: Node_Id
; Val
: Boolean := True) is
4934 pragma Assert
(False
4935 or else NT
(N
).Nkind
= N_Aspect_Specification
4936 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
4937 or else NT
(N
).Nkind
= N_Pragma
);
4938 Set_Flag14
(N
, Val
);
4939 end Set_Is_Delayed_Aspect
;
4941 procedure Set_Is_Disabled
4942 (N
: Node_Id
; Val
: Boolean := True) is
4944 pragma Assert
(False
4945 or else NT
(N
).Nkind
= N_Aspect_Specification
4946 or else NT
(N
).Nkind
= N_Pragma
);
4947 Set_Flag15
(N
, Val
);
4948 end Set_Is_Disabled
;
4950 procedure Set_Is_Dynamic_Coextension
4951 (N
: Node_Id
; Val
: Boolean := True) is
4953 pragma Assert
(False
4954 or else NT
(N
).Nkind
= N_Allocator
);
4955 Set_Flag18
(N
, Val
);
4956 end Set_Is_Dynamic_Coextension
;
4958 procedure Set_Is_Elsif
4959 (N
: Node_Id
; Val
: Boolean := True) is
4961 pragma Assert
(False
4962 or else NT
(N
).Nkind
= N_If_Expression
);
4963 Set_Flag13
(N
, Val
);
4966 procedure Set_Is_Entry_Barrier_Function
4967 (N
: Node_Id
; Val
: Boolean := True) is
4969 pragma Assert
(False
4970 or else NT
(N
).Nkind
= N_Subprogram_Body
);
4972 end Set_Is_Entry_Barrier_Function
;
4974 procedure Set_Is_Expanded_Build_In_Place_Call
4975 (N
: Node_Id
; Val
: Boolean := True) is
4977 pragma Assert
(False
4978 or else NT
(N
).Nkind
= N_Function_Call
);
4979 Set_Flag11
(N
, Val
);
4980 end Set_Is_Expanded_Build_In_Place_Call
;
4982 procedure Set_Is_Finalization_Wrapper
4983 (N
: Node_Id
; Val
: Boolean := True) is
4985 pragma Assert
(False
4986 or else NT
(N
).Nkind
= N_Block_Statement
);
4988 end Set_Is_Finalization_Wrapper
;
4990 procedure Set_Is_Folded_In_Parser
4991 (N
: Node_Id
; Val
: Boolean := True) is
4993 pragma Assert
(False
4994 or else NT
(N
).Nkind
= N_String_Literal
);
4996 end Set_Is_Folded_In_Parser
;
4998 procedure Set_Is_Ignored
4999 (N
: Node_Id
; Val
: Boolean := True) is
5001 pragma Assert
(False
5002 or else NT
(N
).Nkind
= N_Aspect_Specification
5003 or else NT
(N
).Nkind
= N_Pragma
);
5007 procedure Set_Is_In_Discriminant_Check
5008 (N
: Node_Id
; Val
: Boolean := True) is
5010 pragma Assert
(False
5011 or else NT
(N
).Nkind
= N_Selected_Component
);
5012 Set_Flag11
(N
, Val
);
5013 end Set_Is_In_Discriminant_Check
;
5015 procedure Set_Is_Machine_Number
5016 (N
: Node_Id
; Val
: Boolean := True) is
5018 pragma Assert
(False
5019 or else NT
(N
).Nkind
= N_Real_Literal
);
5020 Set_Flag11
(N
, Val
);
5021 end Set_Is_Machine_Number
;
5023 procedure Set_Is_Null_Loop
5024 (N
: Node_Id
; Val
: Boolean := True) is
5026 pragma Assert
(False
5027 or else NT
(N
).Nkind
= N_Loop_Statement
);
5028 Set_Flag16
(N
, Val
);
5029 end Set_Is_Null_Loop
;
5031 procedure Set_Is_Overloaded
5032 (N
: Node_Id
; Val
: Boolean := True) is
5034 pragma Assert
(False
5035 or else NT
(N
).Nkind
in N_Subexpr
);
5037 end Set_Is_Overloaded
;
5039 procedure Set_Is_Power_Of_2_For_Shift
5040 (N
: Node_Id
; Val
: Boolean := True) is
5042 pragma Assert
(False
5043 or else NT
(N
).Nkind
= N_Op_Expon
);
5044 Set_Flag13
(N
, Val
);
5045 end Set_Is_Power_Of_2_For_Shift
;
5047 procedure Set_Is_Prefixed_Call
5048 (N
: Node_Id
; Val
: Boolean := True) is
5050 pragma Assert
(False
5051 or else NT
(N
).Nkind
= N_Selected_Component
);
5052 Set_Flag17
(N
, Val
);
5053 end Set_Is_Prefixed_Call
;
5055 procedure Set_Is_Protected_Subprogram_Body
5056 (N
: Node_Id
; Val
: Boolean := True) is
5058 pragma Assert
(False
5059 or else NT
(N
).Nkind
= N_Subprogram_Body
);
5061 end Set_Is_Protected_Subprogram_Body
;
5063 procedure Set_Is_Static_Coextension
5064 (N
: Node_Id
; Val
: Boolean := True) is
5066 pragma Assert
(False
5067 or else NT
(N
).Nkind
= N_Allocator
);
5068 Set_Flag14
(N
, Val
);
5069 end Set_Is_Static_Coextension
;
5071 procedure Set_Is_Static_Expression
5072 (N
: Node_Id
; Val
: Boolean := True) is
5074 pragma Assert
(False
5075 or else NT
(N
).Nkind
in N_Subexpr
);
5077 end Set_Is_Static_Expression
;
5079 procedure Set_Is_Subprogram_Descriptor
5080 (N
: Node_Id
; Val
: Boolean := True) is
5082 pragma Assert
(False
5083 or else NT
(N
).Nkind
= N_Object_Declaration
);
5084 Set_Flag16
(N
, Val
);
5085 end Set_Is_Subprogram_Descriptor
;
5087 procedure Set_Is_Task_Allocation_Block
5088 (N
: Node_Id
; Val
: Boolean := True) is
5090 pragma Assert
(False
5091 or else NT
(N
).Nkind
= N_Block_Statement
);
5093 end Set_Is_Task_Allocation_Block
;
5095 procedure Set_Is_Task_Master
5096 (N
: Node_Id
; Val
: Boolean := True) is
5098 pragma Assert
(False
5099 or else NT
(N
).Nkind
= N_Block_Statement
5100 or else NT
(N
).Nkind
= N_Subprogram_Body
5101 or else NT
(N
).Nkind
= N_Task_Body
);
5103 end Set_Is_Task_Master
;
5105 procedure Set_Iteration_Scheme
5106 (N
: Node_Id
; Val
: Node_Id
) is
5108 pragma Assert
(False
5109 or else NT
(N
).Nkind
= N_Loop_Statement
);
5110 Set_Node2_With_Parent
(N
, Val
);
5111 end Set_Iteration_Scheme
;
5113 procedure Set_Iterator_Specification
5114 (N
: Node_Id
; Val
: Node_Id
) is
5116 pragma Assert
(False
5117 or else NT
(N
).Nkind
= N_Iteration_Scheme
5118 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5119 Set_Node2_With_Parent
(N
, Val
);
5120 end Set_Iterator_Specification
;
5123 (N
: Node_Id
; Val
: Entity_Id
) is
5125 pragma Assert
(False
5126 or else NT
(N
).Nkind
= N_Itype_Reference
);
5127 Set_Node1
(N
, Val
); -- no parent, semantic field
5130 procedure Set_Kill_Range_Check
5131 (N
: Node_Id
; Val
: Boolean := True) is
5133 pragma Assert
(False
5134 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
5135 Set_Flag11
(N
, Val
);
5136 end Set_Kill_Range_Check
;
5138 procedure Set_Label_Construct
5139 (N
: Node_Id
; Val
: Node_Id
) is
5141 pragma Assert
(False
5142 or else NT
(N
).Nkind
= N_Implicit_Label_Declaration
);
5143 Set_Node2
(N
, Val
); -- semantic field, no parent set
5144 end Set_Label_Construct
;
5146 procedure Set_Last_Bit
5147 (N
: Node_Id
; Val
: Node_Id
) is
5149 pragma Assert
(False
5150 or else NT
(N
).Nkind
= N_Component_Clause
);
5151 Set_Node4_With_Parent
(N
, Val
);
5154 procedure Set_Last_Name
5155 (N
: Node_Id
; Val
: Boolean := True) is
5157 pragma Assert
(False
5158 or else NT
(N
).Nkind
= N_With_Clause
);
5162 procedure Set_Left_Opnd
5163 (N
: Node_Id
; Val
: Node_Id
) is
5165 pragma Assert
(False
5166 or else NT
(N
).Nkind
= N_And_Then
5167 or else NT
(N
).Nkind
= N_In
5168 or else NT
(N
).Nkind
= N_Not_In
5169 or else NT
(N
).Nkind
= N_Or_Else
5170 or else NT
(N
).Nkind
in N_Binary_Op
);
5171 Set_Node2_With_Parent
(N
, Val
);
5174 procedure Set_Library_Unit
5175 (N
: Node_Id
; Val
: Node_Id
) is
5177 pragma Assert
(False
5178 or else NT
(N
).Nkind
= N_Compilation_Unit
5179 or else NT
(N
).Nkind
= N_Package_Body_Stub
5180 or else NT
(N
).Nkind
= N_Protected_Body_Stub
5181 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
5182 or else NT
(N
).Nkind
= N_Task_Body_Stub
5183 or else NT
(N
).Nkind
= N_With_Clause
);
5184 Set_Node4
(N
, Val
); -- semantic field, no parent set
5185 end Set_Library_Unit
;
5187 procedure Set_Limited_View_Installed
5188 (N
: Node_Id
; Val
: Boolean := True) is
5190 pragma Assert
(False
5191 or else NT
(N
).Nkind
= N_Package_Specification
5192 or else NT
(N
).Nkind
= N_With_Clause
);
5193 Set_Flag18
(N
, Val
);
5194 end Set_Limited_View_Installed
;
5196 procedure Set_Limited_Present
5197 (N
: Node_Id
; Val
: Boolean := True) is
5199 pragma Assert
(False
5200 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5201 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
5202 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
5203 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
5204 or else NT
(N
).Nkind
= N_Private_Type_Declaration
5205 or else NT
(N
).Nkind
= N_Record_Definition
5206 or else NT
(N
).Nkind
= N_With_Clause
);
5207 Set_Flag17
(N
, Val
);
5208 end Set_Limited_Present
;
5210 procedure Set_Literals
5211 (N
: Node_Id
; Val
: List_Id
) is
5213 pragma Assert
(False
5214 or else NT
(N
).Nkind
= N_Enumeration_Type_Definition
);
5215 Set_List1_With_Parent
(N
, Val
);
5218 procedure Set_Local_Raise_Not_OK
5219 (N
: Node_Id
; Val
: Boolean := True) is
5221 pragma Assert
(False
5222 or else NT
(N
).Nkind
= N_Exception_Handler
);
5224 end Set_Local_Raise_Not_OK
;
5226 procedure Set_Local_Raise_Statements
5227 (N
: Node_Id
; Val
: Elist_Id
) is
5229 pragma Assert
(False
5230 or else NT
(N
).Nkind
= N_Exception_Handler
);
5231 Set_Elist1
(N
, Val
);
5232 end Set_Local_Raise_Statements
;
5234 procedure Set_Loop_Actions
5235 (N
: Node_Id
; Val
: List_Id
) is
5237 pragma Assert
(False
5238 or else NT
(N
).Nkind
= N_Component_Association
);
5239 Set_List2
(N
, Val
); -- semantic field, no parent set
5240 end Set_Loop_Actions
;
5242 procedure Set_Loop_Parameter_Specification
5243 (N
: Node_Id
; Val
: Node_Id
) is
5245 pragma Assert
(False
5246 or else NT
(N
).Nkind
= N_Iteration_Scheme
5247 or else NT
(N
).Nkind
= N_Quantified_Expression
);
5248 Set_Node4_With_Parent
(N
, Val
);
5249 end Set_Loop_Parameter_Specification
;
5251 procedure Set_Low_Bound
5252 (N
: Node_Id
; Val
: Node_Id
) is
5254 pragma Assert
(False
5255 or else NT
(N
).Nkind
= N_Range
5256 or else NT
(N
).Nkind
= N_Real_Range_Specification
5257 or else NT
(N
).Nkind
= N_Signed_Integer_Type_Definition
);
5258 Set_Node1_With_Parent
(N
, Val
);
5261 procedure Set_Mod_Clause
5262 (N
: Node_Id
; Val
: Node_Id
) is
5264 pragma Assert
(False
5265 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5266 Set_Node2_With_Parent
(N
, Val
);
5269 procedure Set_More_Ids
5270 (N
: Node_Id
; Val
: Boolean := True) is
5272 pragma Assert
(False
5273 or else NT
(N
).Nkind
= N_Component_Declaration
5274 or else NT
(N
).Nkind
= N_Discriminant_Specification
5275 or else NT
(N
).Nkind
= N_Exception_Declaration
5276 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5277 or else NT
(N
).Nkind
= N_Number_Declaration
5278 or else NT
(N
).Nkind
= N_Object_Declaration
5279 or else NT
(N
).Nkind
= N_Parameter_Specification
);
5283 procedure Set_Must_Be_Byte_Aligned
5284 (N
: Node_Id
; Val
: Boolean := True) is
5286 pragma Assert
(False
5287 or else NT
(N
).Nkind
= N_Attribute_Reference
);
5288 Set_Flag14
(N
, Val
);
5289 end Set_Must_Be_Byte_Aligned
;
5291 procedure Set_Must_Not_Freeze
5292 (N
: Node_Id
; Val
: Boolean := True) is
5294 pragma Assert
(False
5295 or else NT
(N
).Nkind
= N_Subtype_Indication
5296 or else NT
(N
).Nkind
in N_Subexpr
);
5298 end Set_Must_Not_Freeze
;
5300 procedure Set_Must_Not_Override
5301 (N
: Node_Id
; Val
: Boolean := True) is
5303 pragma Assert
(False
5304 or else NT
(N
).Nkind
= N_Entry_Declaration
5305 or else NT
(N
).Nkind
= N_Function_Instantiation
5306 or else NT
(N
).Nkind
= N_Function_Specification
5307 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5308 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5309 Set_Flag15
(N
, Val
);
5310 end Set_Must_Not_Override
;
5312 procedure Set_Must_Override
5313 (N
: Node_Id
; Val
: Boolean := True) is
5315 pragma Assert
(False
5316 or else NT
(N
).Nkind
= N_Entry_Declaration
5317 or else NT
(N
).Nkind
= N_Function_Instantiation
5318 or else NT
(N
).Nkind
= N_Function_Specification
5319 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5320 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5321 Set_Flag14
(N
, Val
);
5322 end Set_Must_Override
;
5325 (N
: Node_Id
; Val
: Node_Id
) is
5327 pragma Assert
(False
5328 or else NT
(N
).Nkind
= N_Assignment_Statement
5329 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5330 or else NT
(N
).Nkind
= N_Defining_Program_Unit_Name
5331 or else NT
(N
).Nkind
= N_Designator
5332 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5333 or else NT
(N
).Nkind
= N_Exception_Renaming_Declaration
5334 or else NT
(N
).Nkind
= N_Exit_Statement
5335 or else NT
(N
).Nkind
= N_Formal_Package_Declaration
5336 or else NT
(N
).Nkind
= N_Function_Call
5337 or else NT
(N
).Nkind
= N_Function_Instantiation
5338 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
5339 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
5340 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
5341 or else NT
(N
).Nkind
= N_Goto_Statement
5342 or else NT
(N
).Nkind
= N_Iterator_Specification
5343 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
5344 or else NT
(N
).Nkind
= N_Package_Instantiation
5345 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
5346 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
5347 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5348 or else NT
(N
).Nkind
= N_Raise_Expression
5349 or else NT
(N
).Nkind
= N_Raise_Statement
5350 or else NT
(N
).Nkind
= N_Requeue_Statement
5351 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
5352 or else NT
(N
).Nkind
= N_Subunit
5353 or else NT
(N
).Nkind
= N_Variant_Part
5354 or else NT
(N
).Nkind
= N_With_Clause
);
5355 Set_Node2_With_Parent
(N
, Val
);
5359 (N
: Node_Id
; Val
: List_Id
) is
5361 pragma Assert
(False
5362 or else NT
(N
).Nkind
= N_Abort_Statement
5363 or else NT
(N
).Nkind
= N_Use_Package_Clause
);
5364 Set_List2_With_Parent
(N
, Val
);
5367 procedure Set_Next_Entity
5368 (N
: Node_Id
; Val
: Node_Id
) is
5370 pragma Assert
(False
5371 or else NT
(N
).Nkind
= N_Defining_Character_Literal
5372 or else NT
(N
).Nkind
= N_Defining_Identifier
5373 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
5374 Set_Node2
(N
, Val
); -- semantic field, no parent set
5375 end Set_Next_Entity
;
5377 procedure Set_Next_Exit_Statement
5378 (N
: Node_Id
; Val
: Node_Id
) is
5380 pragma Assert
(False
5381 or else NT
(N
).Nkind
= N_Exit_Statement
);
5382 Set_Node3
(N
, Val
); -- semantic field, no parent set
5383 end Set_Next_Exit_Statement
;
5385 procedure Set_Next_Implicit_With
5386 (N
: Node_Id
; Val
: Node_Id
) is
5388 pragma Assert
(False
5389 or else NT
(N
).Nkind
= N_With_Clause
);
5390 Set_Node3
(N
, Val
); -- semantic field, no parent set
5391 end Set_Next_Implicit_With
;
5393 procedure Set_Next_Named_Actual
5394 (N
: Node_Id
; Val
: Node_Id
) is
5396 pragma Assert
(False
5397 or else NT
(N
).Nkind
= N_Parameter_Association
);
5398 Set_Node4
(N
, Val
); -- semantic field, no parent set
5399 end Set_Next_Named_Actual
;
5401 procedure Set_Next_Pragma
5402 (N
: Node_Id
; Val
: Node_Id
) is
5404 pragma Assert
(False
5405 or else NT
(N
).Nkind
= N_Pragma
);
5406 Set_Node1
(N
, Val
); -- semantic field, no parent set
5407 end Set_Next_Pragma
;
5409 procedure Set_Next_Rep_Item
5410 (N
: Node_Id
; Val
: Node_Id
) is
5412 pragma Assert
(False
5413 or else NT
(N
).Nkind
= N_Aspect_Specification
5414 or else NT
(N
).Nkind
= N_Attribute_Definition_Clause
5415 or else NT
(N
).Nkind
= N_Enumeration_Representation_Clause
5416 or else NT
(N
).Nkind
= N_Pragma
5417 or else NT
(N
).Nkind
= N_Record_Representation_Clause
);
5418 Set_Node5
(N
, Val
); -- semantic field, no parent set
5419 end Set_Next_Rep_Item
;
5421 procedure Set_Next_Use_Clause
5422 (N
: Node_Id
; Val
: Node_Id
) is
5424 pragma Assert
(False
5425 or else NT
(N
).Nkind
= N_Use_Package_Clause
5426 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
5427 Set_Node3
(N
, Val
); -- semantic field, no parent set
5428 end Set_Next_Use_Clause
;
5430 procedure Set_No_Ctrl_Actions
5431 (N
: Node_Id
; Val
: Boolean := True) is
5433 pragma Assert
(False
5434 or else NT
(N
).Nkind
= N_Assignment_Statement
);
5436 end Set_No_Ctrl_Actions
;
5438 procedure Set_No_Elaboration_Check
5439 (N
: Node_Id
; Val
: Boolean := True) is
5441 pragma Assert
(False
5442 or else NT
(N
).Nkind
= N_Function_Call
5443 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
5444 Set_Flag14
(N
, Val
);
5445 end Set_No_Elaboration_Check
;
5447 procedure Set_No_Entities_Ref_In_Spec
5448 (N
: Node_Id
; Val
: Boolean := True) is
5450 pragma Assert
(False
5451 or else NT
(N
).Nkind
= N_With_Clause
);
5453 end Set_No_Entities_Ref_In_Spec
;
5455 procedure Set_No_Initialization
5456 (N
: Node_Id
; Val
: Boolean := True) is
5458 pragma Assert
(False
5459 or else NT
(N
).Nkind
= N_Allocator
5460 or else NT
(N
).Nkind
= N_Object_Declaration
);
5461 Set_Flag13
(N
, Val
);
5462 end Set_No_Initialization
;
5464 procedure Set_No_Minimize_Eliminate
5465 (N
: Node_Id
; Val
: Boolean := True) is
5467 pragma Assert
(False
5468 or else NT
(N
).Nkind
= N_In
5469 or else NT
(N
).Nkind
= N_Not_In
);
5470 Set_Flag17
(N
, Val
);
5471 end Set_No_Minimize_Eliminate
;
5473 procedure Set_No_Truncation
5474 (N
: Node_Id
; Val
: Boolean := True) is
5476 pragma Assert
(False
5477 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
5478 Set_Flag17
(N
, Val
);
5479 end Set_No_Truncation
;
5481 procedure Set_Null_Present
5482 (N
: Node_Id
; Val
: Boolean := True) is
5484 pragma Assert
(False
5485 or else NT
(N
).Nkind
= N_Component_List
5486 or else NT
(N
).Nkind
= N_Procedure_Specification
5487 or else NT
(N
).Nkind
= N_Record_Definition
);
5488 Set_Flag13
(N
, Val
);
5489 end Set_Null_Present
;
5491 procedure Set_Null_Exclusion_Present
5492 (N
: Node_Id
; Val
: Boolean := True) is
5494 pragma Assert
(False
5495 or else NT
(N
).Nkind
= N_Access_Definition
5496 or else NT
(N
).Nkind
= N_Access_Function_Definition
5497 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
5498 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
5499 or else NT
(N
).Nkind
= N_Allocator
5500 or else NT
(N
).Nkind
= N_Component_Definition
5501 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5502 or else NT
(N
).Nkind
= N_Discriminant_Specification
5503 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5504 or else NT
(N
).Nkind
= N_Function_Specification
5505 or else NT
(N
).Nkind
= N_Object_Declaration
5506 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
5507 or else NT
(N
).Nkind
= N_Parameter_Specification
5508 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
5509 Set_Flag11
(N
, Val
);
5510 end Set_Null_Exclusion_Present
;
5512 procedure Set_Null_Exclusion_In_Return_Present
5513 (N
: Node_Id
; Val
: Boolean := True) is
5515 pragma Assert
(False
5516 or else NT
(N
).Nkind
= N_Access_Function_Definition
);
5517 Set_Flag14
(N
, Val
);
5518 end Set_Null_Exclusion_In_Return_Present
;
5520 procedure Set_Null_Record_Present
5521 (N
: Node_Id
; Val
: Boolean := True) is
5523 pragma Assert
(False
5524 or else NT
(N
).Nkind
= N_Aggregate
5525 or else NT
(N
).Nkind
= N_Extension_Aggregate
);
5526 Set_Flag17
(N
, Val
);
5527 end Set_Null_Record_Present
;
5529 procedure Set_Object_Definition
5530 (N
: Node_Id
; Val
: Node_Id
) is
5532 pragma Assert
(False
5533 or else NT
(N
).Nkind
= N_Object_Declaration
);
5534 Set_Node4_With_Parent
(N
, Val
);
5535 end Set_Object_Definition
;
5537 procedure Set_Of_Present
5538 (N
: Node_Id
; Val
: Boolean := True) is
5540 pragma Assert
(False
5541 or else NT
(N
).Nkind
= N_Iterator_Specification
);
5542 Set_Flag16
(N
, Val
);
5545 procedure Set_Original_Discriminant
5546 (N
: Node_Id
; Val
: Node_Id
) is
5548 pragma Assert
(False
5549 or else NT
(N
).Nkind
= N_Identifier
);
5550 Set_Node2
(N
, Val
); -- semantic field, no parent set
5551 end Set_Original_Discriminant
;
5553 procedure Set_Original_Entity
5554 (N
: Node_Id
; Val
: Entity_Id
) is
5556 pragma Assert
(False
5557 or else NT
(N
).Nkind
= N_Integer_Literal
5558 or else NT
(N
).Nkind
= N_Real_Literal
);
5559 Set_Node2
(N
, Val
); -- semantic field, no parent set
5560 end Set_Original_Entity
;
5562 procedure Set_Others_Discrete_Choices
5563 (N
: Node_Id
; Val
: List_Id
) is
5565 pragma Assert
(False
5566 or else NT
(N
).Nkind
= N_Others_Choice
);
5567 Set_List1_With_Parent
(N
, Val
);
5568 end Set_Others_Discrete_Choices
;
5570 procedure Set_Out_Present
5571 (N
: Node_Id
; Val
: Boolean := True) is
5573 pragma Assert
(False
5574 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5575 or else NT
(N
).Nkind
= N_Parameter_Specification
);
5576 Set_Flag17
(N
, Val
);
5577 end Set_Out_Present
;
5579 procedure Set_Parameter_Associations
5580 (N
: Node_Id
; Val
: List_Id
) is
5582 pragma Assert
(False
5583 or else NT
(N
).Nkind
= N_Entry_Call_Statement
5584 or else NT
(N
).Nkind
= N_Function_Call
5585 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
5586 Set_List3_With_Parent
(N
, Val
);
5587 end Set_Parameter_Associations
;
5589 procedure Set_Parameter_List_Truncated
5590 (N
: Node_Id
; Val
: Boolean := True) is
5592 pragma Assert
(False
5593 or else NT
(N
).Nkind
= N_Function_Call
5594 or else NT
(N
).Nkind
= N_Procedure_Call_Statement
);
5595 Set_Flag17
(N
, Val
);
5596 end Set_Parameter_List_Truncated
;
5598 procedure Set_Parameter_Specifications
5599 (N
: Node_Id
; Val
: List_Id
) is
5601 pragma Assert
(False
5602 or else NT
(N
).Nkind
= N_Accept_Statement
5603 or else NT
(N
).Nkind
= N_Access_Function_Definition
5604 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
5605 or else NT
(N
).Nkind
= N_Entry_Body_Formal_Part
5606 or else NT
(N
).Nkind
= N_Entry_Declaration
5607 or else NT
(N
).Nkind
= N_Function_Specification
5608 or else NT
(N
).Nkind
= N_Procedure_Specification
);
5609 Set_List3_With_Parent
(N
, Val
);
5610 end Set_Parameter_Specifications
;
5612 procedure Set_Parameter_Type
5613 (N
: Node_Id
; Val
: Node_Id
) is
5615 pragma Assert
(False
5616 or else NT
(N
).Nkind
= N_Parameter_Specification
);
5617 Set_Node2_With_Parent
(N
, Val
);
5618 end Set_Parameter_Type
;
5620 procedure Set_Parent_Spec
5621 (N
: Node_Id
; Val
: Node_Id
) is
5623 pragma Assert
(False
5624 or else NT
(N
).Nkind
= N_Function_Instantiation
5625 or else NT
(N
).Nkind
= N_Generic_Function_Renaming_Declaration
5626 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
5627 or else NT
(N
).Nkind
= N_Generic_Package_Renaming_Declaration
5628 or else NT
(N
).Nkind
= N_Generic_Procedure_Renaming_Declaration
5629 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
5630 or else NT
(N
).Nkind
= N_Package_Declaration
5631 or else NT
(N
).Nkind
= N_Package_Instantiation
5632 or else NT
(N
).Nkind
= N_Package_Renaming_Declaration
5633 or else NT
(N
).Nkind
= N_Procedure_Instantiation
5634 or else NT
(N
).Nkind
= N_Subprogram_Declaration
5635 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
5636 Set_Node4
(N
, Val
); -- semantic field, no parent set
5637 end Set_Parent_Spec
;
5639 procedure Set_Position
5640 (N
: Node_Id
; Val
: Node_Id
) is
5642 pragma Assert
(False
5643 or else NT
(N
).Nkind
= N_Component_Clause
);
5644 Set_Node2_With_Parent
(N
, Val
);
5647 procedure Set_Pragma_Argument_Associations
5648 (N
: Node_Id
; Val
: List_Id
) is
5650 pragma Assert
(False
5651 or else NT
(N
).Nkind
= N_Pragma
);
5652 Set_List2_With_Parent
(N
, Val
);
5653 end Set_Pragma_Argument_Associations
;
5655 procedure Set_Pragma_Identifier
5656 (N
: Node_Id
; Val
: Node_Id
) is
5658 pragma Assert
(False
5659 or else NT
(N
).Nkind
= N_Pragma
);
5660 Set_Node4_With_Parent
(N
, Val
);
5661 end Set_Pragma_Identifier
;
5663 procedure Set_Pragmas_After
5664 (N
: Node_Id
; Val
: List_Id
) is
5666 pragma Assert
(False
5667 or else NT
(N
).Nkind
= N_Compilation_Unit_Aux
5668 or else NT
(N
).Nkind
= N_Terminate_Alternative
);
5669 Set_List5_With_Parent
(N
, Val
);
5670 end Set_Pragmas_After
;
5672 procedure Set_Pragmas_Before
5673 (N
: Node_Id
; Val
: List_Id
) is
5675 pragma Assert
(False
5676 or else NT
(N
).Nkind
= N_Accept_Alternative
5677 or else NT
(N
).Nkind
= N_Delay_Alternative
5678 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
5679 or else NT
(N
).Nkind
= N_Mod_Clause
5680 or else NT
(N
).Nkind
= N_Terminate_Alternative
5681 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
5682 Set_List4_With_Parent
(N
, Val
);
5683 end Set_Pragmas_Before
;
5685 procedure Set_Pre_Post_Conditions
5686 (N
: Node_Id
; Val
: Node_Id
) is
5688 pragma Assert
(False
5689 or else NT
(N
).Nkind
= N_Contract
);
5690 Set_Node1
(N
, Val
); -- semantic field, no parent set
5691 end Set_Pre_Post_Conditions
;
5693 procedure Set_Prefix
5694 (N
: Node_Id
; Val
: Node_Id
) is
5696 pragma Assert
(False
5697 or else NT
(N
).Nkind
= N_Attribute_Reference
5698 or else NT
(N
).Nkind
= N_Expanded_Name
5699 or else NT
(N
).Nkind
= N_Explicit_Dereference
5700 or else NT
(N
).Nkind
= N_Indexed_Component
5701 or else NT
(N
).Nkind
= N_Reference
5702 or else NT
(N
).Nkind
= N_Selected_Component
5703 or else NT
(N
).Nkind
= N_Slice
);
5704 Set_Node3_With_Parent
(N
, Val
);
5707 procedure Set_Premature_Use
5708 (N
: Node_Id
; Val
: Node_Id
) is
5710 pragma Assert
(False
5711 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
);
5713 end Set_Premature_Use
;
5715 procedure Set_Present_Expr
5716 (N
: Node_Id
; Val
: Uint
) is
5718 pragma Assert
(False
5719 or else NT
(N
).Nkind
= N_Variant
);
5721 end Set_Present_Expr
;
5723 procedure Set_Prev_Ids
5724 (N
: Node_Id
; Val
: Boolean := True) is
5726 pragma Assert
(False
5727 or else NT
(N
).Nkind
= N_Component_Declaration
5728 or else NT
(N
).Nkind
= N_Discriminant_Specification
5729 or else NT
(N
).Nkind
= N_Exception_Declaration
5730 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
5731 or else NT
(N
).Nkind
= N_Number_Declaration
5732 or else NT
(N
).Nkind
= N_Object_Declaration
5733 or else NT
(N
).Nkind
= N_Parameter_Specification
);
5737 procedure Set_Print_In_Hex
5738 (N
: Node_Id
; Val
: Boolean := True) is
5740 pragma Assert
(False
5741 or else NT
(N
).Nkind
= N_Integer_Literal
);
5742 Set_Flag13
(N
, Val
);
5743 end Set_Print_In_Hex
;
5745 procedure Set_Private_Declarations
5746 (N
: Node_Id
; Val
: List_Id
) is
5748 pragma Assert
(False
5749 or else NT
(N
).Nkind
= N_Package_Specification
5750 or else NT
(N
).Nkind
= N_Protected_Definition
5751 or else NT
(N
).Nkind
= N_Task_Definition
);
5752 Set_List3_With_Parent
(N
, Val
);
5753 end Set_Private_Declarations
;
5755 procedure Set_Private_Present
5756 (N
: Node_Id
; Val
: Boolean := True) is
5758 pragma Assert
(False
5759 or else NT
(N
).Nkind
= N_Compilation_Unit
5760 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
5761 or else NT
(N
).Nkind
= N_With_Clause
);
5762 Set_Flag15
(N
, Val
);
5763 end Set_Private_Present
;
5765 procedure Set_Procedure_To_Call
5766 (N
: Node_Id
; Val
: Node_Id
) is
5768 pragma Assert
(False
5769 or else NT
(N
).Nkind
= N_Allocator
5770 or else NT
(N
).Nkind
= N_Extended_Return_Statement
5771 or else NT
(N
).Nkind
= N_Free_Statement
5772 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
5773 Set_Node2
(N
, Val
); -- semantic field, no parent set
5774 end Set_Procedure_To_Call
;
5776 procedure Set_Proper_Body
5777 (N
: Node_Id
; Val
: Node_Id
) is
5779 pragma Assert
(False
5780 or else NT
(N
).Nkind
= N_Subunit
);
5781 Set_Node1_With_Parent
(N
, Val
);
5782 end Set_Proper_Body
;
5784 procedure Set_Protected_Definition
5785 (N
: Node_Id
; Val
: Node_Id
) is
5787 pragma Assert
(False
5788 or else NT
(N
).Nkind
= N_Protected_Type_Declaration
5789 or else NT
(N
).Nkind
= N_Single_Protected_Declaration
);
5790 Set_Node3_With_Parent
(N
, Val
);
5791 end Set_Protected_Definition
;
5793 procedure Set_Protected_Present
5794 (N
: Node_Id
; Val
: Boolean := True) is
5796 pragma Assert
(False
5797 or else NT
(N
).Nkind
= N_Access_Function_Definition
5798 or else NT
(N
).Nkind
= N_Access_Procedure_Definition
5799 or else NT
(N
).Nkind
= N_Derived_Type_Definition
5800 or else NT
(N
).Nkind
= N_Record_Definition
);
5802 end Set_Protected_Present
;
5804 procedure Set_Raises_Constraint_Error
5805 (N
: Node_Id
; Val
: Boolean := True) is
5807 pragma Assert
(False
5808 or else NT
(N
).Nkind
in N_Subexpr
);
5810 end Set_Raises_Constraint_Error
;
5812 procedure Set_Range_Constraint
5813 (N
: Node_Id
; Val
: Node_Id
) is
5815 pragma Assert
(False
5816 or else NT
(N
).Nkind
= N_Delta_Constraint
5817 or else NT
(N
).Nkind
= N_Digits_Constraint
);
5818 Set_Node4_With_Parent
(N
, Val
);
5819 end Set_Range_Constraint
;
5821 procedure Set_Range_Expression
5822 (N
: Node_Id
; Val
: Node_Id
) is
5824 pragma Assert
(False
5825 or else NT
(N
).Nkind
= N_Range_Constraint
);
5826 Set_Node4_With_Parent
(N
, Val
);
5827 end Set_Range_Expression
;
5829 procedure Set_Real_Range_Specification
5830 (N
: Node_Id
; Val
: Node_Id
) is
5832 pragma Assert
(False
5833 or else NT
(N
).Nkind
= N_Decimal_Fixed_Point_Definition
5834 or else NT
(N
).Nkind
= N_Floating_Point_Definition
5835 or else NT
(N
).Nkind
= N_Ordinary_Fixed_Point_Definition
);
5836 Set_Node4_With_Parent
(N
, Val
);
5837 end Set_Real_Range_Specification
;
5839 procedure Set_Realval
5840 (N
: Node_Id
; Val
: Ureal
) is
5842 pragma Assert
(False
5843 or else NT
(N
).Nkind
= N_Real_Literal
);
5844 Set_Ureal3
(N
, Val
);
5847 procedure Set_Reason
5848 (N
: Node_Id
; Val
: Uint
) is
5850 pragma Assert
(False
5851 or else NT
(N
).Nkind
= N_Raise_Constraint_Error
5852 or else NT
(N
).Nkind
= N_Raise_Program_Error
5853 or else NT
(N
).Nkind
= N_Raise_Storage_Error
);
5857 procedure Set_Record_Extension_Part
5858 (N
: Node_Id
; Val
: Node_Id
) is
5860 pragma Assert
(False
5861 or else NT
(N
).Nkind
= N_Derived_Type_Definition
);
5862 Set_Node3_With_Parent
(N
, Val
);
5863 end Set_Record_Extension_Part
;
5865 procedure Set_Redundant_Use
5866 (N
: Node_Id
; Val
: Boolean := True) is
5868 pragma Assert
(False
5869 or else NT
(N
).Nkind
= N_Attribute_Reference
5870 or else NT
(N
).Nkind
= N_Expanded_Name
5871 or else NT
(N
).Nkind
= N_Identifier
);
5872 Set_Flag13
(N
, Val
);
5873 end Set_Redundant_Use
;
5875 procedure Set_Renaming_Exception
5876 (N
: Node_Id
; Val
: Node_Id
) is
5878 pragma Assert
(False
5879 or else NT
(N
).Nkind
= N_Exception_Declaration
);
5881 end Set_Renaming_Exception
;
5883 procedure Set_Result_Definition
5884 (N
: Node_Id
; Val
: Node_Id
) is
5886 pragma Assert
(False
5887 or else NT
(N
).Nkind
= N_Access_Function_Definition
5888 or else NT
(N
).Nkind
= N_Function_Specification
);
5889 Set_Node4_With_Parent
(N
, Val
);
5890 end Set_Result_Definition
;
5892 procedure Set_Return_Object_Declarations
5893 (N
: Node_Id
; Val
: List_Id
) is
5895 pragma Assert
(False
5896 or else NT
(N
).Nkind
= N_Extended_Return_Statement
);
5897 Set_List3_With_Parent
(N
, Val
);
5898 end Set_Return_Object_Declarations
;
5900 procedure Set_Return_Statement_Entity
5901 (N
: Node_Id
; Val
: Node_Id
) is
5903 pragma Assert
(False
5904 or else NT
(N
).Nkind
= N_Extended_Return_Statement
5905 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
5906 Set_Node5
(N
, Val
); -- semantic field, no parent set
5907 end Set_Return_Statement_Entity
;
5909 procedure Set_Reverse_Present
5910 (N
: Node_Id
; Val
: Boolean := True) is
5912 pragma Assert
(False
5913 or else NT
(N
).Nkind
= N_Iterator_Specification
5914 or else NT
(N
).Nkind
= N_Loop_Parameter_Specification
);
5915 Set_Flag15
(N
, Val
);
5916 end Set_Reverse_Present
;
5918 procedure Set_Right_Opnd
5919 (N
: Node_Id
; Val
: Node_Id
) is
5921 pragma Assert
(False
5922 or else NT
(N
).Nkind
in N_Op
5923 or else NT
(N
).Nkind
= N_And_Then
5924 or else NT
(N
).Nkind
= N_In
5925 or else NT
(N
).Nkind
= N_Not_In
5926 or else NT
(N
).Nkind
= N_Or_Else
);
5927 Set_Node3_With_Parent
(N
, Val
);
5930 procedure Set_Rounded_Result
5931 (N
: Node_Id
; Val
: Boolean := True) is
5933 pragma Assert
(False
5934 or else NT
(N
).Nkind
= N_Op_Divide
5935 or else NT
(N
).Nkind
= N_Op_Multiply
5936 or else NT
(N
).Nkind
= N_Type_Conversion
);
5937 Set_Flag18
(N
, Val
);
5938 end Set_Rounded_Result
;
5940 procedure Set_SCIL_Controlling_Tag
5941 (N
: Node_Id
; Val
: Node_Id
) is
5943 pragma Assert
(False
5944 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
5945 Set_Node5
(N
, Val
); -- semantic field, no parent set
5946 end Set_SCIL_Controlling_Tag
;
5948 procedure Set_SCIL_Entity
5949 (N
: Node_Id
; Val
: Node_Id
) is
5951 pragma Assert
(False
5952 or else NT
(N
).Nkind
= N_SCIL_Dispatch_Table_Tag_Init
5953 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
5954 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
5955 Set_Node4
(N
, Val
); -- semantic field, no parent set
5956 end Set_SCIL_Entity
;
5958 procedure Set_SCIL_Tag_Value
5959 (N
: Node_Id
; Val
: Node_Id
) is
5961 pragma Assert
(False
5962 or else NT
(N
).Nkind
= N_SCIL_Membership_Test
);
5963 Set_Node5
(N
, Val
); -- semantic field, no parent set
5964 end Set_SCIL_Tag_Value
;
5966 procedure Set_SCIL_Target_Prim
5967 (N
: Node_Id
; Val
: Node_Id
) is
5969 pragma Assert
(False
5970 or else NT
(N
).Nkind
= N_SCIL_Dispatching_Call
);
5971 Set_Node2
(N
, Val
); -- semantic field, no parent set
5972 end Set_SCIL_Target_Prim
;
5975 (N
: Node_Id
; Val
: Node_Id
) is
5977 pragma Assert
(False
5978 or else NT
(N
).Nkind
= N_Defining_Character_Literal
5979 or else NT
(N
).Nkind
= N_Defining_Identifier
5980 or else NT
(N
).Nkind
= N_Defining_Operator_Symbol
);
5981 Set_Node3
(N
, Val
); -- semantic field, no parent set
5984 procedure Set_Select_Alternatives
5985 (N
: Node_Id
; Val
: List_Id
) is
5987 pragma Assert
(False
5988 or else NT
(N
).Nkind
= N_Selective_Accept
);
5989 Set_List1_With_Parent
(N
, Val
);
5990 end Set_Select_Alternatives
;
5992 procedure Set_Selector_Name
5993 (N
: Node_Id
; Val
: Node_Id
) is
5995 pragma Assert
(False
5996 or else NT
(N
).Nkind
= N_Expanded_Name
5997 or else NT
(N
).Nkind
= N_Generic_Association
5998 or else NT
(N
).Nkind
= N_Parameter_Association
5999 or else NT
(N
).Nkind
= N_Selected_Component
);
6000 Set_Node2_With_Parent
(N
, Val
);
6001 end Set_Selector_Name
;
6003 procedure Set_Selector_Names
6004 (N
: Node_Id
; Val
: List_Id
) is
6006 pragma Assert
(False
6007 or else NT
(N
).Nkind
= N_Discriminant_Association
);
6008 Set_List1_With_Parent
(N
, Val
);
6009 end Set_Selector_Names
;
6011 procedure Set_Shift_Count_OK
6012 (N
: Node_Id
; Val
: Boolean := True) is
6014 pragma Assert
(False
6015 or else NT
(N
).Nkind
= N_Op_Rotate_Left
6016 or else NT
(N
).Nkind
= N_Op_Rotate_Right
6017 or else NT
(N
).Nkind
= N_Op_Shift_Left
6018 or else NT
(N
).Nkind
= N_Op_Shift_Right
6019 or else NT
(N
).Nkind
= N_Op_Shift_Right_Arithmetic
);
6021 end Set_Shift_Count_OK
;
6023 procedure Set_Source_Type
6024 (N
: Node_Id
; Val
: Entity_Id
) is
6026 pragma Assert
(False
6027 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6028 Set_Node1
(N
, Val
); -- semantic field, no parent set
6029 end Set_Source_Type
;
6031 procedure Set_Specification
6032 (N
: Node_Id
; Val
: Node_Id
) is
6034 pragma Assert
(False
6035 or else NT
(N
).Nkind
= N_Abstract_Subprogram_Declaration
6036 or else NT
(N
).Nkind
= N_Expression_Function
6037 or else NT
(N
).Nkind
= N_Formal_Abstract_Subprogram_Declaration
6038 or else NT
(N
).Nkind
= N_Formal_Concrete_Subprogram_Declaration
6039 or else NT
(N
).Nkind
= N_Generic_Package_Declaration
6040 or else NT
(N
).Nkind
= N_Generic_Subprogram_Declaration
6041 or else NT
(N
).Nkind
= N_Package_Declaration
6042 or else NT
(N
).Nkind
= N_Subprogram_Body
6043 or else NT
(N
).Nkind
= N_Subprogram_Body_Stub
6044 or else NT
(N
).Nkind
= N_Subprogram_Declaration
6045 or else NT
(N
).Nkind
= N_Subprogram_Renaming_Declaration
);
6046 Set_Node1_With_Parent
(N
, Val
);
6047 end Set_Specification
;
6049 procedure Set_Split_PPC
6050 (N
: Node_Id
; Val
: Boolean) is
6052 pragma Assert
(False
6053 or else NT
(N
).Nkind
= N_Aspect_Specification
6054 or else NT
(N
).Nkind
= N_Pragma
);
6055 Set_Flag17
(N
, Val
);
6058 procedure Set_Statements
6059 (N
: Node_Id
; Val
: List_Id
) is
6061 pragma Assert
(False
6062 or else NT
(N
).Nkind
= N_Abortable_Part
6063 or else NT
(N
).Nkind
= N_Accept_Alternative
6064 or else NT
(N
).Nkind
= N_Case_Statement_Alternative
6065 or else NT
(N
).Nkind
= N_Delay_Alternative
6066 or else NT
(N
).Nkind
= N_Entry_Call_Alternative
6067 or else NT
(N
).Nkind
= N_Exception_Handler
6068 or else NT
(N
).Nkind
= N_Handled_Sequence_Of_Statements
6069 or else NT
(N
).Nkind
= N_Loop_Statement
6070 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6071 Set_List3_With_Parent
(N
, Val
);
6074 procedure Set_Storage_Pool
6075 (N
: Node_Id
; Val
: Node_Id
) is
6077 pragma Assert
(False
6078 or else NT
(N
).Nkind
= N_Allocator
6079 or else NT
(N
).Nkind
= N_Extended_Return_Statement
6080 or else NT
(N
).Nkind
= N_Free_Statement
6081 or else NT
(N
).Nkind
= N_Simple_Return_Statement
);
6082 Set_Node1
(N
, Val
); -- semantic field, no parent set
6083 end Set_Storage_Pool
;
6085 procedure Set_Subpool_Handle_Name
6086 (N
: Node_Id
; Val
: Node_Id
) is
6088 pragma Assert
(False
6089 or else NT
(N
).Nkind
= N_Allocator
);
6090 Set_Node4_With_Parent
(N
, Val
);
6091 end Set_Subpool_Handle_Name
;
6093 procedure Set_Strval
6094 (N
: Node_Id
; Val
: String_Id
) is
6096 pragma Assert
(False
6097 or else NT
(N
).Nkind
= N_Operator_Symbol
6098 or else NT
(N
).Nkind
= N_String_Literal
);
6102 procedure Set_Subtype_Indication
6103 (N
: Node_Id
; Val
: Node_Id
) is
6105 pragma Assert
(False
6106 or else NT
(N
).Nkind
= N_Access_To_Object_Definition
6107 or else NT
(N
).Nkind
= N_Component_Definition
6108 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6109 or else NT
(N
).Nkind
= N_Iterator_Specification
6110 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6111 or else NT
(N
).Nkind
= N_Subtype_Declaration
);
6112 Set_Node5_With_Parent
(N
, Val
);
6113 end Set_Subtype_Indication
;
6115 procedure Set_Subtype_Mark
6116 (N
: Node_Id
; Val
: Node_Id
) is
6118 pragma Assert
(False
6119 or else NT
(N
).Nkind
= N_Access_Definition
6120 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6121 or else NT
(N
).Nkind
= N_Formal_Object_Declaration
6122 or else NT
(N
).Nkind
= N_Object_Renaming_Declaration
6123 or else NT
(N
).Nkind
= N_Qualified_Expression
6124 or else NT
(N
).Nkind
= N_Subtype_Indication
6125 or else NT
(N
).Nkind
= N_Type_Conversion
6126 or else NT
(N
).Nkind
= N_Unchecked_Type_Conversion
);
6127 Set_Node4_With_Parent
(N
, Val
);
6128 end Set_Subtype_Mark
;
6130 procedure Set_Subtype_Marks
6131 (N
: Node_Id
; Val
: List_Id
) is
6133 pragma Assert
(False
6134 or else NT
(N
).Nkind
= N_Unconstrained_Array_Definition
6135 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6136 Set_List2_With_Parent
(N
, Val
);
6137 end Set_Subtype_Marks
;
6139 procedure Set_Suppress_Assignment_Checks
6140 (N
: Node_Id
; Val
: Boolean := True) is
6142 pragma Assert
(False
6143 or else NT
(N
).Nkind
= N_Assignment_Statement
6144 or else NT
(N
).Nkind
= N_Object_Declaration
);
6145 Set_Flag18
(N
, Val
);
6146 end Set_Suppress_Assignment_Checks
;
6148 procedure Set_Suppress_Loop_Warnings
6149 (N
: Node_Id
; Val
: Boolean := True) is
6151 pragma Assert
(False
6152 or else NT
(N
).Nkind
= N_Loop_Statement
);
6153 Set_Flag17
(N
, Val
);
6154 end Set_Suppress_Loop_Warnings
;
6156 procedure Set_Synchronized_Present
6157 (N
: Node_Id
; Val
: Boolean := True) is
6159 pragma Assert
(False
6160 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6161 or else NT
(N
).Nkind
= N_Formal_Derived_Type_Definition
6162 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6163 or else NT
(N
).Nkind
= N_Record_Definition
);
6165 end Set_Synchronized_Present
;
6167 procedure Set_Tagged_Present
6168 (N
: Node_Id
; Val
: Boolean := True) is
6170 pragma Assert
(False
6171 or else NT
(N
).Nkind
= N_Formal_Incomplete_Type_Definition
6172 or else NT
(N
).Nkind
= N_Formal_Private_Type_Definition
6173 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6174 or else NT
(N
).Nkind
= N_Private_Type_Declaration
6175 or else NT
(N
).Nkind
= N_Record_Definition
);
6176 Set_Flag15
(N
, Val
);
6177 end Set_Tagged_Present
;
6179 procedure Set_Target_Type
6180 (N
: Node_Id
; Val
: Entity_Id
) is
6182 pragma Assert
(False
6183 or else NT
(N
).Nkind
= N_Validate_Unchecked_Conversion
);
6184 Set_Node2
(N
, Val
); -- semantic field, no parent set
6185 end Set_Target_Type
;
6187 procedure Set_Task_Definition
6188 (N
: Node_Id
; Val
: Node_Id
) is
6190 pragma Assert
(False
6191 or else NT
(N
).Nkind
= N_Single_Task_Declaration
6192 or else NT
(N
).Nkind
= N_Task_Type_Declaration
);
6193 Set_Node3_With_Parent
(N
, Val
);
6194 end Set_Task_Definition
;
6196 procedure Set_Task_Present
6197 (N
: Node_Id
; Val
: Boolean := True) is
6199 pragma Assert
(False
6200 or else NT
(N
).Nkind
= N_Derived_Type_Definition
6201 or else NT
(N
).Nkind
= N_Record_Definition
);
6203 end Set_Task_Present
;
6205 procedure Set_Then_Actions
6206 (N
: Node_Id
; Val
: List_Id
) is
6208 pragma Assert
(False
6209 or else NT
(N
).Nkind
= N_If_Expression
);
6210 Set_List2
(N
, Val
); -- semantic field, no parent set
6211 end Set_Then_Actions
;
6213 procedure Set_Then_Statements
6214 (N
: Node_Id
; Val
: List_Id
) is
6216 pragma Assert
(False
6217 or else NT
(N
).Nkind
= N_Elsif_Part
6218 or else NT
(N
).Nkind
= N_If_Statement
);
6219 Set_List2_With_Parent
(N
, Val
);
6220 end Set_Then_Statements
;
6222 procedure Set_Treat_Fixed_As_Integer
6223 (N
: Node_Id
; Val
: Boolean := True) is
6225 pragma Assert
(False
6226 or else NT
(N
).Nkind
= N_Op_Divide
6227 or else NT
(N
).Nkind
= N_Op_Mod
6228 or else NT
(N
).Nkind
= N_Op_Multiply
6229 or else NT
(N
).Nkind
= N_Op_Rem
);
6230 Set_Flag14
(N
, Val
);
6231 end Set_Treat_Fixed_As_Integer
;
6233 procedure Set_Triggering_Alternative
6234 (N
: Node_Id
; Val
: Node_Id
) is
6236 pragma Assert
(False
6237 or else NT
(N
).Nkind
= N_Asynchronous_Select
);
6238 Set_Node1_With_Parent
(N
, Val
);
6239 end Set_Triggering_Alternative
;
6241 procedure Set_Triggering_Statement
6242 (N
: Node_Id
; Val
: Node_Id
) is
6244 pragma Assert
(False
6245 or else NT
(N
).Nkind
= N_Triggering_Alternative
);
6246 Set_Node1_With_Parent
(N
, Val
);
6247 end Set_Triggering_Statement
;
6249 procedure Set_TSS_Elist
6250 (N
: Node_Id
; Val
: Elist_Id
) is
6252 pragma Assert
(False
6253 or else NT
(N
).Nkind
= N_Freeze_Entity
);
6254 Set_Elist3
(N
, Val
); -- semantic field, no parent set
6257 procedure Set_Type_Definition
6258 (N
: Node_Id
; Val
: Node_Id
) is
6260 pragma Assert
(False
6261 or else NT
(N
).Nkind
= N_Full_Type_Declaration
);
6262 Set_Node3_With_Parent
(N
, Val
);
6263 end Set_Type_Definition
;
6266 (N
: Node_Id
; Val
: Node_Id
) is
6268 pragma Assert
(False
6269 or else NT
(N
).Nkind
= N_Compilation_Unit
);
6270 Set_Node2_With_Parent
(N
, Val
);
6273 procedure Set_Unknown_Discriminants_Present
6274 (N
: Node_Id
; Val
: Boolean := True) is
6276 pragma Assert
(False
6277 or else NT
(N
).Nkind
= N_Formal_Type_Declaration
6278 or else NT
(N
).Nkind
= N_Incomplete_Type_Declaration
6279 or else NT
(N
).Nkind
= N_Private_Extension_Declaration
6280 or else NT
(N
).Nkind
= N_Private_Type_Declaration
);
6281 Set_Flag13
(N
, Val
);
6282 end Set_Unknown_Discriminants_Present
;
6284 procedure Set_Unreferenced_In_Spec
6285 (N
: Node_Id
; Val
: Boolean := True) is
6287 pragma Assert
(False
6288 or else NT
(N
).Nkind
= N_With_Clause
);
6290 end Set_Unreferenced_In_Spec
;
6292 procedure Set_Variant_Part
6293 (N
: Node_Id
; Val
: Node_Id
) is
6295 pragma Assert
(False
6296 or else NT
(N
).Nkind
= N_Component_List
);
6297 Set_Node4_With_Parent
(N
, Val
);
6298 end Set_Variant_Part
;
6300 procedure Set_Variants
6301 (N
: Node_Id
; Val
: List_Id
) is
6303 pragma Assert
(False
6304 or else NT
(N
).Nkind
= N_Variant_Part
);
6305 Set_List1_With_Parent
(N
, Val
);
6308 procedure Set_Visible_Declarations
6309 (N
: Node_Id
; Val
: List_Id
) is
6311 pragma Assert
(False
6312 or else NT
(N
).Nkind
= N_Package_Specification
6313 or else NT
(N
).Nkind
= N_Protected_Definition
6314 or else NT
(N
).Nkind
= N_Task_Definition
);
6315 Set_List2_With_Parent
(N
, Val
);
6316 end Set_Visible_Declarations
;
6318 procedure Set_Used_Operations
6319 (N
: Node_Id
; Val
: Elist_Id
) is
6321 pragma Assert
(False
6322 or else NT
(N
).Nkind
= N_Use_Type_Clause
);
6323 Set_Elist5
(N
, Val
);
6324 end Set_Used_Operations
;
6326 procedure Set_Was_Originally_Stub
6327 (N
: Node_Id
; Val
: Boolean := True) is
6329 pragma Assert
(False
6330 or else NT
(N
).Nkind
= N_Package_Body
6331 or else NT
(N
).Nkind
= N_Protected_Body
6332 or else NT
(N
).Nkind
= N_Subprogram_Body
6333 or else NT
(N
).Nkind
= N_Task_Body
);
6334 Set_Flag13
(N
, Val
);
6335 end Set_Was_Originally_Stub
;
6337 procedure Set_Withed_Body
6338 (N
: Node_Id
; Val
: Node_Id
) is
6340 pragma Assert
(False
6341 or else NT
(N
).Nkind
= N_With_Clause
);
6343 end Set_Withed_Body
;
6345 -------------------------
6346 -- Iterator Procedures --
6347 -------------------------
6349 procedure Next_Entity
(N
: in out Node_Id
) is
6351 N
:= Next_Entity
(N
);
6354 procedure Next_Named_Actual
(N
: in out Node_Id
) is
6356 N
:= Next_Named_Actual
(N
);
6357 end Next_Named_Actual
;
6359 procedure Next_Rep_Item
(N
: in out Node_Id
) is
6361 N
:= Next_Rep_Item
(N
);
6364 procedure Next_Use_Clause
(N
: in out Node_Id
) is
6366 N
:= Next_Use_Clause
(N
);
6367 end Next_Use_Clause
;
6373 function End_Location
(N
: Node_Id
) return Source_Ptr
is
6374 L
: constant Uint
:= End_Span
(N
);
6379 return Source_Ptr
(Int
(Sloc
(N
)) + UI_To_Int
(L
));
6383 --------------------
6384 -- Get_Pragma_Arg --
6385 --------------------
6387 function Get_Pragma_Arg
(Arg
: Node_Id
) return Node_Id
is
6389 if Nkind
(Arg
) = N_Pragma_Argument_Association
then
6390 return Expression
(Arg
);
6396 ----------------------
6397 -- Set_End_Location --
6398 ----------------------
6400 procedure Set_End_Location
(N
: Node_Id
; S
: Source_Ptr
) is
6403 UI_From_Int
(Int
(S
) - Int
(Sloc
(N
))));
6404 end Set_End_Location
;
6413 V2
: Node_Kind
) return Boolean
6416 return T
= V1
or else
6424 V3
: Node_Kind
) return Boolean
6427 return T
= V1
or else
6437 V4
: Node_Kind
) return Boolean
6440 return T
= V1
or else
6452 V5
: Node_Kind
) return Boolean
6455 return T
= V1
or else
6469 V6
: Node_Kind
) return Boolean
6472 return T
= V1
or else
6488 V7
: Node_Kind
) return Boolean
6491 return T
= V1
or else
6509 V8
: Node_Kind
) return Boolean
6512 return T
= V1
or else
6532 V9
: Node_Kind
) return Boolean
6535 return T
= V1
or else
6550 function Pragma_Name
(N
: Node_Id
) return Name_Id
is
6552 return Chars
(Pragma_Identifier
(N
));