1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 pragma Style_Checks (All_Checks);
33 -- No subprogram ordering check, due to logical grouping
35 with Atree; use Atree;
39 use Atree.Unchecked_Access;
40 -- This package is one of the few packages which is allowed to make direct
41 -- references to tree nodes (since it is in the business of providing a
42 -- higher level of tree access which other clients are expected to use and
43 -- which implements checks).
45 use Atree_Private_Part;
46 -- The only reason that we ask for direct access to the private part of
47 -- the tree package is so that we can directly reference the Nkind field
48 -- of nodes table entries. We do this since it helps the efficiency of
49 -- the Sinfo debugging checks considerably (note that when we are checking
50 -- Nkind values, we don't need to check for a valid node reference, because
51 -- we will check that anyway when we reference the field).
53 NT : Nodes.Table_Ptr renames Nodes.Table;
54 -- A short hand abbreviation, useful for the debugging checks
56 ----------------------------
57 -- Field Access Functions --
58 ----------------------------
60 function ABE_Is_Certain
61 (N : Node_Id) return Boolean is
64 or else NT (N).Nkind = N_Formal_Package_Declaration
65 or else NT (N).Nkind = N_Function_Call
66 or else NT (N).Nkind = N_Function_Instantiation
67 or else NT (N).Nkind = N_Package_Instantiation
68 or else NT (N).Nkind = N_Procedure_Call_Statement
69 or else NT (N).Nkind = N_Procedure_Instantiation);
73 function Abort_Present
74 (N : Node_Id) return Boolean is
77 or else NT (N).Nkind = N_Requeue_Statement);
81 function Abortable_Part
82 (N : Node_Id) return Node_Id is
85 or else NT (N).Nkind = N_Asynchronous_Select);
89 function Abstract_Present
90 (N : Node_Id) return Boolean is
93 or else NT (N).Nkind = N_Derived_Type_Definition
94 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 or else NT (N).Nkind = N_Private_Extension_Declaration
97 or else NT (N).Nkind = N_Private_Type_Declaration
98 or else NT (N).Nkind = N_Record_Definition);
100 end Abstract_Present;
102 function Accept_Handler_Records
103 (N : Node_Id) return List_Id is
106 or else NT (N).Nkind = N_Accept_Alternative);
108 end Accept_Handler_Records;
110 function Accept_Statement
111 (N : Node_Id) return Node_Id is
114 or else NT (N).Nkind = N_Accept_Alternative);
116 end Accept_Statement;
118 function Access_Definition
119 (N : Node_Id) return Node_Id is
122 or else NT (N).Nkind = N_Component_Definition
123 or else NT (N).Nkind = N_Formal_Object_Declaration
124 or else NT (N).Nkind = N_Object_Renaming_Declaration);
126 end Access_Definition;
128 function Access_To_Subprogram_Definition
129 (N : Node_Id) return Node_Id is
132 or else NT (N).Nkind = N_Access_Definition);
134 end Access_To_Subprogram_Definition;
136 function Access_Types_To_Process
137 (N : Node_Id) return Elist_Id is
140 or else NT (N).Nkind = N_Freeze_Entity);
142 end Access_Types_To_Process;
145 (N : Node_Id) return List_Id is
148 or else NT (N).Nkind = N_And_Then
149 or else NT (N).Nkind = N_Case_Expression_Alternative
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Expression_With_Actions
152 or else NT (N).Nkind = N_Freeze_Entity
153 or else NT (N).Nkind = N_Or_Else);
157 function Activation_Chain_Entity
158 (N : Node_Id) return Node_Id is
161 or else NT (N).Nkind = N_Block_Statement
162 or else NT (N).Nkind = N_Entry_Body
163 or else NT (N).Nkind = N_Generic_Package_Declaration
164 or else NT (N).Nkind = N_Package_Declaration
165 or else NT (N).Nkind = N_Subprogram_Body
166 or else NT (N).Nkind = N_Task_Body);
168 end Activation_Chain_Entity;
170 function Acts_As_Spec
171 (N : Node_Id) return Boolean is
174 or else NT (N).Nkind = N_Compilation_Unit
175 or else NT (N).Nkind = N_Subprogram_Body);
179 function Actual_Designated_Subtype
180 (N : Node_Id) return Node_Id is
183 or else NT (N).Nkind = N_Explicit_Dereference
184 or else NT (N).Nkind = N_Free_Statement);
186 end Actual_Designated_Subtype;
188 function Address_Warning_Posted
189 (N : Node_Id) return Boolean is
192 or else NT (N).Nkind = N_Attribute_Definition_Clause);
194 end Address_Warning_Posted;
196 function Aggregate_Bounds
197 (N : Node_Id) return Node_Id is
200 or else NT (N).Nkind = N_Aggregate);
202 end Aggregate_Bounds;
204 function Aliased_Present
205 (N : Node_Id) return Boolean is
208 or else NT (N).Nkind = N_Component_Definition
209 or else NT (N).Nkind = N_Object_Declaration
210 or else NT (N).Nkind = N_Parameter_Specification);
215 (N : Node_Id) return Boolean is
218 or else NT (N).Nkind = N_Others_Choice);
223 (N : Node_Id) return Boolean is
226 or else NT (N).Nkind = N_Access_Definition
227 or else NT (N).Nkind = N_Access_To_Object_Definition
228 or else NT (N).Nkind = N_Quantified_Expression
229 or else NT (N).Nkind = N_Use_Type_Clause);
233 function Alternatives
234 (N : Node_Id) return List_Id is
237 or else NT (N).Nkind = N_Case_Expression
238 or else NT (N).Nkind = N_Case_Statement
239 or else NT (N).Nkind = N_In
240 or else NT (N).Nkind = N_Not_In);
244 function Ancestor_Part
245 (N : Node_Id) return Node_Id is
248 or else NT (N).Nkind = N_Extension_Aggregate);
252 function Atomic_Sync_Required
253 (N : Node_Id) return Boolean is
256 or else NT (N).Nkind = N_Expanded_Name
257 or else NT (N).Nkind = N_Explicit_Dereference
258 or else NT (N).Nkind = N_Identifier
259 or else NT (N).Nkind = N_Indexed_Component
260 or else NT (N).Nkind = N_Selected_Component);
262 end Atomic_Sync_Required;
264 function Array_Aggregate
265 (N : Node_Id) return Node_Id is
268 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
272 function Aspect_Rep_Item
273 (N : Node_Id) return Node_Id is
276 or else NT (N).Nkind = N_Aspect_Specification);
280 function Assignment_OK
281 (N : Node_Id) return Boolean is
284 or else NT (N).Nkind = N_Object_Declaration
285 or else NT (N).Nkind in N_Subexpr);
289 function Associated_Node
290 (N : Node_Id) return Node_Id is
293 or else NT (N).Nkind in N_Has_Entity
294 or else NT (N).Nkind = N_Aggregate
295 or else NT (N).Nkind = N_Extension_Aggregate
296 or else NT (N).Nkind = N_Selected_Component);
301 (N : Node_Id) return Node_Id is
304 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
308 function Attribute_Name
309 (N : Node_Id) return Name_Id is
312 or else NT (N).Nkind = N_Attribute_Reference);
316 function Aux_Decls_Node
317 (N : Node_Id) return Node_Id is
320 or else NT (N).Nkind = N_Compilation_Unit);
324 function Backwards_OK
325 (N : Node_Id) return Boolean is
328 or else NT (N).Nkind = N_Assignment_Statement);
332 function Bad_Is_Detected
333 (N : Node_Id) return Boolean is
336 or else NT (N).Nkind = N_Subprogram_Body);
340 function Body_Required
341 (N : Node_Id) return Boolean is
344 or else NT (N).Nkind = N_Compilation_Unit);
348 function Body_To_Inline
349 (N : Node_Id) return Node_Id is
352 or else NT (N).Nkind = N_Subprogram_Declaration);
357 (N : Node_Id) return Boolean is
360 or else NT (N).Nkind = N_Component_Association
361 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
362 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
363 or else NT (N).Nkind = N_Formal_Package_Declaration
364 or else NT (N).Nkind = N_Generic_Association);
369 (N : Node_Id) return Boolean is
372 or else NT (N).Nkind = N_Extended_Return_Statement
373 or else NT (N).Nkind = N_Return_Statement);
377 function Char_Literal_Value
378 (N : Node_Id) return Uint is
381 or else NT (N).Nkind = N_Character_Literal);
383 end Char_Literal_Value;
386 (N : Node_Id) return Name_Id is
389 or else NT (N).Nkind in N_Has_Chars);
393 function Check_Address_Alignment
394 (N : Node_Id) return Boolean is
397 or else NT (N).Nkind = N_Attribute_Definition_Clause);
399 end Check_Address_Alignment;
401 function Choice_Parameter
402 (N : Node_Id) return Node_Id is
405 or else NT (N).Nkind = N_Exception_Handler);
407 end Choice_Parameter;
410 (N : Node_Id) return List_Id is
413 or else NT (N).Nkind = N_Component_Association);
417 function Class_Present
418 (N : Node_Id) return Boolean is
421 or else NT (N).Nkind = N_Aspect_Specification
422 or else NT (N).Nkind = N_Pragma);
426 function Comes_From_Extended_Return_Statement
427 (N : Node_Id) return Boolean is
430 or else NT (N).Nkind = N_Return_Statement);
432 end Comes_From_Extended_Return_Statement;
434 function Compile_Time_Known_Aggregate
435 (N : Node_Id) return Boolean is
438 or else NT (N).Nkind = N_Aggregate);
440 end Compile_Time_Known_Aggregate;
442 function Component_Associations
443 (N : Node_Id) return List_Id is
446 or else NT (N).Nkind = N_Aggregate
447 or else NT (N).Nkind = N_Extension_Aggregate);
449 end Component_Associations;
451 function Component_Clauses
452 (N : Node_Id) return List_Id is
455 or else NT (N).Nkind = N_Record_Representation_Clause);
457 end Component_Clauses;
459 function Component_Definition
460 (N : Node_Id) return Node_Id is
463 or else NT (N).Nkind = N_Component_Declaration
464 or else NT (N).Nkind = N_Constrained_Array_Definition
465 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
467 end Component_Definition;
469 function Component_Items
470 (N : Node_Id) return List_Id is
473 or else NT (N).Nkind = N_Component_List);
477 function Component_List
478 (N : Node_Id) return Node_Id is
481 or else NT (N).Nkind = N_Record_Definition
482 or else NT (N).Nkind = N_Variant);
486 function Component_Name
487 (N : Node_Id) return Node_Id is
490 or else NT (N).Nkind = N_Component_Clause);
494 function Componentwise_Assignment
495 (N : Node_Id) return Boolean is
498 or else NT (N).Nkind = N_Assignment_Statement);
500 end Componentwise_Assignment;
503 (N : Node_Id) return Node_Id is
506 or else NT (N).Nkind = N_Accept_Alternative
507 or else NT (N).Nkind = N_Delay_Alternative
508 or else NT (N).Nkind = N_Elsif_Part
509 or else NT (N).Nkind = N_Entry_Body_Formal_Part
510 or else NT (N).Nkind = N_Exit_Statement
511 or else NT (N).Nkind = N_If_Statement
512 or else NT (N).Nkind = N_Iteration_Scheme
513 or else NT (N).Nkind = N_Quantified_Expression
514 or else NT (N).Nkind = N_Raise_Constraint_Error
515 or else NT (N).Nkind = N_Raise_Program_Error
516 or else NT (N).Nkind = N_Raise_Storage_Error
517 or else NT (N).Nkind = N_Terminate_Alternative);
521 function Condition_Actions
522 (N : Node_Id) return List_Id is
525 or else NT (N).Nkind = N_Elsif_Part
526 or else NT (N).Nkind = N_Iteration_Scheme);
528 end Condition_Actions;
530 function Config_Pragmas
531 (N : Node_Id) return List_Id is
534 or else NT (N).Nkind = N_Compilation_Unit_Aux);
538 function Constant_Present
539 (N : Node_Id) return Boolean is
542 or else NT (N).Nkind = N_Access_Definition
543 or else NT (N).Nkind = N_Access_To_Object_Definition
544 or else NT (N).Nkind = N_Object_Declaration);
546 end Constant_Present;
549 (N : Node_Id) return Node_Id is
552 or else NT (N).Nkind = N_Subtype_Indication);
557 (N : Node_Id) return List_Id is
560 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
564 function Context_Installed
565 (N : Node_Id) return Boolean is
568 or else NT (N).Nkind = N_With_Clause);
570 end Context_Installed;
572 function Context_Items
573 (N : Node_Id) return List_Id is
576 or else NT (N).Nkind = N_Compilation_Unit);
580 function Context_Pending
581 (N : Node_Id) return Boolean is
584 or else NT (N).Nkind = N_Compilation_Unit);
588 function Controlling_Argument
589 (N : Node_Id) return Node_Id is
592 or else NT (N).Nkind = N_Function_Call
593 or else NT (N).Nkind = N_Procedure_Call_Statement);
595 end Controlling_Argument;
597 function Conversion_OK
598 (N : Node_Id) return Boolean is
601 or else NT (N).Nkind = N_Type_Conversion);
605 function Corresponding_Aspect
606 (N : Node_Id) return Node_Id is
609 or else NT (N).Nkind = N_Pragma);
611 end Corresponding_Aspect;
613 function Corresponding_Body
614 (N : Node_Id) return Node_Id is
617 or else NT (N).Nkind = N_Entry_Declaration
618 or else NT (N).Nkind = N_Generic_Package_Declaration
619 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
620 or else NT (N).Nkind = N_Package_Body_Stub
621 or else NT (N).Nkind = N_Package_Declaration
622 or else NT (N).Nkind = N_Protected_Body_Stub
623 or else NT (N).Nkind = N_Protected_Type_Declaration
624 or else NT (N).Nkind = N_Subprogram_Body_Stub
625 or else NT (N).Nkind = N_Subprogram_Declaration
626 or else NT (N).Nkind = N_Task_Body_Stub
627 or else NT (N).Nkind = N_Task_Type_Declaration);
629 end Corresponding_Body;
631 function Corresponding_Formal_Spec
632 (N : Node_Id) return Node_Id is
635 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
637 end Corresponding_Formal_Spec;
639 function Corresponding_Generic_Association
640 (N : Node_Id) return Node_Id is
643 or else NT (N).Nkind = N_Object_Declaration
644 or else NT (N).Nkind = N_Object_Renaming_Declaration);
646 end Corresponding_Generic_Association;
648 function Corresponding_Integer_Value
649 (N : Node_Id) return Uint is
652 or else NT (N).Nkind = N_Real_Literal);
654 end Corresponding_Integer_Value;
656 function Corresponding_Spec
657 (N : Node_Id) return Node_Id is
660 or else NT (N).Nkind = N_Expression_Function
661 or else NT (N).Nkind = N_Package_Body
662 or else NT (N).Nkind = N_Protected_Body
663 or else NT (N).Nkind = N_Subprogram_Body
664 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
665 or else NT (N).Nkind = N_Task_Body
666 or else NT (N).Nkind = N_With_Clause);
668 end Corresponding_Spec;
670 function Corresponding_Stub
671 (N : Node_Id) return Node_Id is
674 or else NT (N).Nkind = N_Subunit);
676 end Corresponding_Stub;
678 function Dcheck_Function
679 (N : Node_Id) return Entity_Id is
682 or else NT (N).Nkind = N_Variant);
686 function Declarations
687 (N : Node_Id) return List_Id is
690 or else NT (N).Nkind = N_Accept_Statement
691 or else NT (N).Nkind = N_Block_Statement
692 or else NT (N).Nkind = N_Compilation_Unit_Aux
693 or else NT (N).Nkind = N_Entry_Body
694 or else NT (N).Nkind = N_Package_Body
695 or else NT (N).Nkind = N_Protected_Body
696 or else NT (N).Nkind = N_Subprogram_Body
697 or else NT (N).Nkind = N_Task_Body);
701 function Default_Expression
702 (N : Node_Id) return Node_Id is
705 or else NT (N).Nkind = N_Formal_Object_Declaration
706 or else NT (N).Nkind = N_Parameter_Specification);
708 end Default_Expression;
710 function Default_Storage_Pool
711 (N : Node_Id) return Node_Id is
714 or else NT (N).Nkind = N_Compilation_Unit_Aux);
716 end Default_Storage_Pool;
718 function Default_Name
719 (N : Node_Id) return Node_Id is
722 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
723 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
727 function Defining_Identifier
728 (N : Node_Id) return Entity_Id is
731 or else NT (N).Nkind = N_Component_Declaration
732 or else NT (N).Nkind = N_Defining_Program_Unit_Name
733 or else NT (N).Nkind = N_Discriminant_Specification
734 or else NT (N).Nkind = N_Entry_Body
735 or else NT (N).Nkind = N_Entry_Declaration
736 or else NT (N).Nkind = N_Entry_Index_Specification
737 or else NT (N).Nkind = N_Exception_Declaration
738 or else NT (N).Nkind = N_Exception_Renaming_Declaration
739 or else NT (N).Nkind = N_Formal_Object_Declaration
740 or else NT (N).Nkind = N_Formal_Package_Declaration
741 or else NT (N).Nkind = N_Formal_Type_Declaration
742 or else NT (N).Nkind = N_Full_Type_Declaration
743 or else NT (N).Nkind = N_Implicit_Label_Declaration
744 or else NT (N).Nkind = N_Incomplete_Type_Declaration
745 or else NT (N).Nkind = N_Iterator_Specification
746 or else NT (N).Nkind = N_Loop_Parameter_Specification
747 or else NT (N).Nkind = N_Number_Declaration
748 or else NT (N).Nkind = N_Object_Declaration
749 or else NT (N).Nkind = N_Object_Renaming_Declaration
750 or else NT (N).Nkind = N_Package_Body_Stub
751 or else NT (N).Nkind = N_Parameter_Specification
752 or else NT (N).Nkind = N_Private_Extension_Declaration
753 or else NT (N).Nkind = N_Private_Type_Declaration
754 or else NT (N).Nkind = N_Protected_Body
755 or else NT (N).Nkind = N_Protected_Body_Stub
756 or else NT (N).Nkind = N_Protected_Type_Declaration
757 or else NT (N).Nkind = N_Single_Protected_Declaration
758 or else NT (N).Nkind = N_Single_Task_Declaration
759 or else NT (N).Nkind = N_Subtype_Declaration
760 or else NT (N).Nkind = N_Task_Body
761 or else NT (N).Nkind = N_Task_Body_Stub
762 or else NT (N).Nkind = N_Task_Type_Declaration);
764 end Defining_Identifier;
766 function Defining_Unit_Name
767 (N : Node_Id) return Node_Id is
770 or else NT (N).Nkind = N_Function_Instantiation
771 or else NT (N).Nkind = N_Function_Specification
772 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
773 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
774 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
775 or else NT (N).Nkind = N_Package_Body
776 or else NT (N).Nkind = N_Package_Instantiation
777 or else NT (N).Nkind = N_Package_Renaming_Declaration
778 or else NT (N).Nkind = N_Package_Specification
779 or else NT (N).Nkind = N_Procedure_Instantiation
780 or else NT (N).Nkind = N_Procedure_Specification);
782 end Defining_Unit_Name;
784 function Delay_Alternative
785 (N : Node_Id) return Node_Id is
788 or else NT (N).Nkind = N_Timed_Entry_Call);
790 end Delay_Alternative;
792 function Delay_Statement
793 (N : Node_Id) return Node_Id is
796 or else NT (N).Nkind = N_Delay_Alternative);
800 function Delta_Expression
801 (N : Node_Id) return Node_Id is
804 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
805 or else NT (N).Nkind = N_Delta_Constraint
806 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
808 end Delta_Expression;
810 function Digits_Expression
811 (N : Node_Id) return Node_Id is
814 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
815 or else NT (N).Nkind = N_Digits_Constraint
816 or else NT (N).Nkind = N_Floating_Point_Definition);
818 end Digits_Expression;
820 function Discr_Check_Funcs_Built
821 (N : Node_Id) return Boolean is
824 or else NT (N).Nkind = N_Full_Type_Declaration);
826 end Discr_Check_Funcs_Built;
828 function Discrete_Choices
829 (N : Node_Id) return List_Id is
832 or else NT (N).Nkind = N_Case_Expression_Alternative
833 or else NT (N).Nkind = N_Case_Statement_Alternative
834 or else NT (N).Nkind = N_Variant);
836 end Discrete_Choices;
838 function Discrete_Range
839 (N : Node_Id) return Node_Id is
842 or else NT (N).Nkind = N_Slice);
846 function Discrete_Subtype_Definition
847 (N : Node_Id) return Node_Id is
850 or else NT (N).Nkind = N_Entry_Declaration
851 or else NT (N).Nkind = N_Entry_Index_Specification
852 or else NT (N).Nkind = N_Loop_Parameter_Specification);
854 end Discrete_Subtype_Definition;
856 function Discrete_Subtype_Definitions
857 (N : Node_Id) return List_Id is
860 or else NT (N).Nkind = N_Constrained_Array_Definition);
862 end Discrete_Subtype_Definitions;
864 function Discriminant_Specifications
865 (N : Node_Id) return List_Id is
868 or else NT (N).Nkind = N_Formal_Type_Declaration
869 or else NT (N).Nkind = N_Full_Type_Declaration
870 or else NT (N).Nkind = N_Incomplete_Type_Declaration
871 or else NT (N).Nkind = N_Private_Extension_Declaration
872 or else NT (N).Nkind = N_Private_Type_Declaration
873 or else NT (N).Nkind = N_Protected_Type_Declaration
874 or else NT (N).Nkind = N_Task_Type_Declaration);
876 end Discriminant_Specifications;
878 function Discriminant_Type
879 (N : Node_Id) return Node_Id is
882 or else NT (N).Nkind = N_Discriminant_Specification);
884 end Discriminant_Type;
886 function Do_Accessibility_Check
887 (N : Node_Id) return Boolean is
890 or else NT (N).Nkind = N_Parameter_Specification);
892 end Do_Accessibility_Check;
894 function Do_Discriminant_Check
895 (N : Node_Id) return Boolean is
898 or else NT (N).Nkind = N_Selected_Component);
900 end Do_Discriminant_Check;
902 function Do_Division_Check
903 (N : Node_Id) return Boolean is
906 or else NT (N).Nkind = N_Op_Divide
907 or else NT (N).Nkind = N_Op_Mod
908 or else NT (N).Nkind = N_Op_Rem);
910 end Do_Division_Check;
912 function Do_Length_Check
913 (N : Node_Id) return Boolean is
916 or else NT (N).Nkind = N_Assignment_Statement
917 or else NT (N).Nkind = N_Op_And
918 or else NT (N).Nkind = N_Op_Or
919 or else NT (N).Nkind = N_Op_Xor
920 or else NT (N).Nkind = N_Type_Conversion);
924 function Do_Overflow_Check
925 (N : Node_Id) return Boolean is
928 or else NT (N).Nkind in N_Op
929 or else NT (N).Nkind = N_Attribute_Reference
930 or else NT (N).Nkind = N_Type_Conversion);
932 end Do_Overflow_Check;
934 function Do_Range_Check
935 (N : Node_Id) return Boolean is
938 or else NT (N).Nkind in N_Subexpr);
942 function Do_Storage_Check
943 (N : Node_Id) return Boolean is
946 or else NT (N).Nkind = N_Allocator
947 or else NT (N).Nkind = N_Subprogram_Body);
949 end Do_Storage_Check;
951 function Do_Tag_Check
952 (N : Node_Id) return Boolean is
955 or else NT (N).Nkind = N_Assignment_Statement
956 or else NT (N).Nkind = N_Extended_Return_Statement
957 or else NT (N).Nkind = N_Function_Call
958 or else NT (N).Nkind = N_Procedure_Call_Statement
959 or else NT (N).Nkind = N_Return_Statement
960 or else NT (N).Nkind = N_Type_Conversion);
964 function Elaborate_All_Desirable
965 (N : Node_Id) return Boolean is
968 or else NT (N).Nkind = N_With_Clause);
970 end Elaborate_All_Desirable;
972 function Elaborate_All_Present
973 (N : Node_Id) return Boolean is
976 or else NT (N).Nkind = N_With_Clause);
978 end Elaborate_All_Present;
980 function Elaborate_Desirable
981 (N : Node_Id) return Boolean is
984 or else NT (N).Nkind = N_With_Clause);
986 end Elaborate_Desirable;
988 function Elaborate_Present
989 (N : Node_Id) return Boolean is
992 or else NT (N).Nkind = N_With_Clause);
994 end Elaborate_Present;
996 function Elaboration_Boolean
997 (N : Node_Id) return Node_Id is
1000 or else NT (N).Nkind = N_Function_Specification
1001 or else NT (N).Nkind = N_Procedure_Specification);
1003 end Elaboration_Boolean;
1005 function Else_Actions
1006 (N : Node_Id) return List_Id is
1008 pragma Assert (False
1009 or else NT (N).Nkind = N_Conditional_Expression);
1013 function Else_Statements
1014 (N : Node_Id) return List_Id is
1016 pragma Assert (False
1017 or else NT (N).Nkind = N_Conditional_Entry_Call
1018 or else NT (N).Nkind = N_If_Statement
1019 or else NT (N).Nkind = N_Selective_Accept);
1021 end Else_Statements;
1023 function Elsif_Parts
1024 (N : Node_Id) return List_Id is
1026 pragma Assert (False
1027 or else NT (N).Nkind = N_If_Statement);
1031 function Enclosing_Variant
1032 (N : Node_Id) return Node_Id is
1034 pragma Assert (False
1035 or else NT (N).Nkind = N_Variant);
1037 end Enclosing_Variant;
1040 (N : Node_Id) return Node_Id is
1042 pragma Assert (False
1043 or else NT (N).Nkind = N_Enumeration_Type_Definition
1044 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1045 or else NT (N).Nkind = N_Loop_Statement
1046 or else NT (N).Nkind = N_Package_Specification
1047 or else NT (N).Nkind = N_Protected_Body
1048 or else NT (N).Nkind = N_Protected_Definition
1049 or else NT (N).Nkind = N_Record_Definition
1050 or else NT (N).Nkind = N_Task_Definition);
1055 (N : Node_Id) return Uint is
1057 pragma Assert (False
1058 or else NT (N).Nkind = N_Case_Statement
1059 or else NT (N).Nkind = N_If_Statement);
1064 (N : Node_Id) return Node_Id is
1066 pragma Assert (False
1067 or else NT (N).Nkind in N_Has_Entity
1068 or else NT (N).Nkind = N_Aspect_Specification
1069 or else NT (N).Nkind = N_Attribute_Definition_Clause
1070 or else NT (N).Nkind = N_Freeze_Entity);
1074 function Entity_Or_Associated_Node
1075 (N : Node_Id) return Node_Id is
1077 pragma Assert (False
1078 or else NT (N).Nkind in N_Has_Entity
1079 or else NT (N).Nkind = N_Freeze_Entity);
1081 end Entity_Or_Associated_Node;
1083 function Entry_Body_Formal_Part
1084 (N : Node_Id) return Node_Id is
1086 pragma Assert (False
1087 or else NT (N).Nkind = N_Entry_Body);
1089 end Entry_Body_Formal_Part;
1091 function Entry_Call_Alternative
1092 (N : Node_Id) return Node_Id is
1094 pragma Assert (False
1095 or else NT (N).Nkind = N_Conditional_Entry_Call
1096 or else NT (N).Nkind = N_Timed_Entry_Call);
1098 end Entry_Call_Alternative;
1100 function Entry_Call_Statement
1101 (N : Node_Id) return Node_Id is
1103 pragma Assert (False
1104 or else NT (N).Nkind = N_Entry_Call_Alternative);
1106 end Entry_Call_Statement;
1108 function Entry_Direct_Name
1109 (N : Node_Id) return Node_Id is
1111 pragma Assert (False
1112 or else NT (N).Nkind = N_Accept_Statement);
1114 end Entry_Direct_Name;
1116 function Entry_Index
1117 (N : Node_Id) return Node_Id is
1119 pragma Assert (False
1120 or else NT (N).Nkind = N_Accept_Statement);
1124 function Entry_Index_Specification
1125 (N : Node_Id) return Node_Id is
1127 pragma Assert (False
1128 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1130 end Entry_Index_Specification;
1133 (N : Node_Id) return Node_Id is
1135 pragma Assert (False
1136 or else NT (N).Nkind in N_Has_Etype);
1140 function Exception_Choices
1141 (N : Node_Id) return List_Id is
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Exception_Handler);
1146 end Exception_Choices;
1148 function Exception_Handlers
1149 (N : Node_Id) return List_Id is
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1154 end Exception_Handlers;
1156 function Exception_Junk
1157 (N : Node_Id) return Boolean is
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Block_Statement
1161 or else NT (N).Nkind = N_Goto_Statement
1162 or else NT (N).Nkind = N_Label
1163 or else NT (N).Nkind = N_Object_Declaration
1164 or else NT (N).Nkind = N_Subtype_Declaration);
1168 function Exception_Label
1169 (N : Node_Id) return Node_Id is
1171 pragma Assert (False
1172 or else NT (N).Nkind = N_Exception_Handler
1173 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1174 or else NT (N).Nkind = N_Push_Program_Error_Label
1175 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1177 end Exception_Label;
1179 function Expansion_Delayed
1180 (N : Node_Id) return Boolean is
1182 pragma Assert (False
1183 or else NT (N).Nkind = N_Aggregate
1184 or else NT (N).Nkind = N_Extension_Aggregate);
1186 end Expansion_Delayed;
1188 function Explicit_Actual_Parameter
1189 (N : Node_Id) return Node_Id is
1191 pragma Assert (False
1192 or else NT (N).Nkind = N_Parameter_Association);
1194 end Explicit_Actual_Parameter;
1196 function Explicit_Generic_Actual_Parameter
1197 (N : Node_Id) return Node_Id is
1199 pragma Assert (False
1200 or else NT (N).Nkind = N_Generic_Association);
1202 end Explicit_Generic_Actual_Parameter;
1205 (N : Node_Id) return Node_Id is
1207 pragma Assert (False
1208 or else NT (N).Nkind = N_Allocator
1209 or else NT (N).Nkind = N_Aspect_Specification
1210 or else NT (N).Nkind = N_Assignment_Statement
1211 or else NT (N).Nkind = N_At_Clause
1212 or else NT (N).Nkind = N_Attribute_Definition_Clause
1213 or else NT (N).Nkind = N_Case_Expression
1214 or else NT (N).Nkind = N_Case_Expression_Alternative
1215 or else NT (N).Nkind = N_Case_Statement
1216 or else NT (N).Nkind = N_Code_Statement
1217 or else NT (N).Nkind = N_Component_Association
1218 or else NT (N).Nkind = N_Component_Declaration
1219 or else NT (N).Nkind = N_Delay_Relative_Statement
1220 or else NT (N).Nkind = N_Delay_Until_Statement
1221 or else NT (N).Nkind = N_Discriminant_Association
1222 or else NT (N).Nkind = N_Discriminant_Specification
1223 or else NT (N).Nkind = N_Exception_Declaration
1224 or else NT (N).Nkind = N_Expression_Function
1225 or else NT (N).Nkind = N_Expression_With_Actions
1226 or else NT (N).Nkind = N_Free_Statement
1227 or else NT (N).Nkind = N_Mod_Clause
1228 or else NT (N).Nkind = N_Modular_Type_Definition
1229 or else NT (N).Nkind = N_Number_Declaration
1230 or else NT (N).Nkind = N_Object_Declaration
1231 or else NT (N).Nkind = N_Parameter_Specification
1232 or else NT (N).Nkind = N_Pragma_Argument_Association
1233 or else NT (N).Nkind = N_Qualified_Expression
1234 or else NT (N).Nkind = N_Raise_Statement
1235 or else NT (N).Nkind = N_Return_Statement
1236 or else NT (N).Nkind = N_Type_Conversion
1237 or else NT (N).Nkind = N_Unchecked_Expression
1238 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1242 function Expressions
1243 (N : Node_Id) return List_Id is
1245 pragma Assert (False
1246 or else NT (N).Nkind = N_Aggregate
1247 or else NT (N).Nkind = N_Attribute_Reference
1248 or else NT (N).Nkind = N_Conditional_Expression
1249 or else NT (N).Nkind = N_Extension_Aggregate
1250 or else NT (N).Nkind = N_Indexed_Component);
1255 (N : Node_Id) return Node_Id is
1257 pragma Assert (False
1258 or else NT (N).Nkind = N_Component_Clause);
1262 function First_Inlined_Subprogram
1263 (N : Node_Id) return Entity_Id is
1265 pragma Assert (False
1266 or else NT (N).Nkind = N_Compilation_Unit);
1268 end First_Inlined_Subprogram;
1271 (N : Node_Id) return Boolean is
1273 pragma Assert (False
1274 or else NT (N).Nkind = N_With_Clause);
1278 function First_Named_Actual
1279 (N : Node_Id) return Node_Id is
1281 pragma Assert (False
1282 or else NT (N).Nkind = N_Entry_Call_Statement
1283 or else NT (N).Nkind = N_Function_Call
1284 or else NT (N).Nkind = N_Procedure_Call_Statement);
1286 end First_Named_Actual;
1288 function First_Real_Statement
1289 (N : Node_Id) return Node_Id is
1291 pragma Assert (False
1292 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1294 end First_Real_Statement;
1296 function First_Subtype_Link
1297 (N : Node_Id) return Entity_Id is
1299 pragma Assert (False
1300 or else NT (N).Nkind = N_Freeze_Entity);
1302 end First_Subtype_Link;
1304 function Float_Truncate
1305 (N : Node_Id) return Boolean is
1307 pragma Assert (False
1308 or else NT (N).Nkind = N_Type_Conversion);
1312 function Formal_Type_Definition
1313 (N : Node_Id) return Node_Id is
1315 pragma Assert (False
1316 or else NT (N).Nkind = N_Formal_Type_Declaration);
1318 end Formal_Type_Definition;
1320 function Forwards_OK
1321 (N : Node_Id) return Boolean is
1323 pragma Assert (False
1324 or else NT (N).Nkind = N_Assignment_Statement);
1328 function From_Aspect_Specification
1329 (N : Node_Id) return Boolean is
1331 pragma Assert (False
1332 or else NT (N).Nkind = N_Attribute_Definition_Clause
1333 or else NT (N).Nkind = N_Pragma);
1335 end From_Aspect_Specification;
1337 function From_At_End
1338 (N : Node_Id) return Boolean is
1340 pragma Assert (False
1341 or else NT (N).Nkind = N_Raise_Statement);
1345 function From_At_Mod
1346 (N : Node_Id) return Boolean is
1348 pragma Assert (False
1349 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1353 function From_Default
1354 (N : Node_Id) return Boolean is
1356 pragma Assert (False
1357 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1361 function Generic_Associations
1362 (N : Node_Id) return List_Id is
1364 pragma Assert (False
1365 or else NT (N).Nkind = N_Formal_Package_Declaration
1366 or else NT (N).Nkind = N_Function_Instantiation
1367 or else NT (N).Nkind = N_Package_Instantiation
1368 or else NT (N).Nkind = N_Procedure_Instantiation);
1370 end Generic_Associations;
1372 function Generic_Formal_Declarations
1373 (N : Node_Id) return List_Id is
1375 pragma Assert (False
1376 or else NT (N).Nkind = N_Generic_Package_Declaration
1377 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1379 end Generic_Formal_Declarations;
1381 function Generic_Parent
1382 (N : Node_Id) return Node_Id is
1384 pragma Assert (False
1385 or else NT (N).Nkind = N_Function_Specification
1386 or else NT (N).Nkind = N_Package_Specification
1387 or else NT (N).Nkind = N_Procedure_Specification);
1391 function Generic_Parent_Type
1392 (N : Node_Id) return Node_Id is
1394 pragma Assert (False
1395 or else NT (N).Nkind = N_Subtype_Declaration);
1397 end Generic_Parent_Type;
1399 function Handled_Statement_Sequence
1400 (N : Node_Id) return Node_Id is
1402 pragma Assert (False
1403 or else NT (N).Nkind = N_Accept_Statement
1404 or else NT (N).Nkind = N_Block_Statement
1405 or else NT (N).Nkind = N_Entry_Body
1406 or else NT (N).Nkind = N_Extended_Return_Statement
1407 or else NT (N).Nkind = N_Package_Body
1408 or else NT (N).Nkind = N_Subprogram_Body
1409 or else NT (N).Nkind = N_Task_Body);
1411 end Handled_Statement_Sequence;
1413 function Handler_List_Entry
1414 (N : Node_Id) return Node_Id is
1416 pragma Assert (False
1417 or else NT (N).Nkind = N_Object_Declaration);
1419 end Handler_List_Entry;
1421 function Has_Created_Identifier
1422 (N : Node_Id) return Boolean is
1424 pragma Assert (False
1425 or else NT (N).Nkind = N_Block_Statement
1426 or else NT (N).Nkind = N_Loop_Statement);
1428 end Has_Created_Identifier;
1430 function Has_Dynamic_Length_Check
1431 (N : Node_Id) return Boolean is
1433 pragma Assert (False
1434 or else NT (N).Nkind in N_Subexpr);
1436 end Has_Dynamic_Length_Check;
1438 function Has_Dynamic_Range_Check
1439 (N : Node_Id) return Boolean is
1441 pragma Assert (False
1442 or else NT (N).Nkind = N_Subtype_Declaration
1443 or else NT (N).Nkind in N_Subexpr);
1445 end Has_Dynamic_Range_Check;
1447 function Has_Init_Expression
1448 (N : Node_Id) return Boolean is
1450 pragma Assert (False
1451 or else NT (N).Nkind = N_Object_Declaration);
1453 end Has_Init_Expression;
1455 function Has_Local_Raise
1456 (N : Node_Id) return Boolean is
1458 pragma Assert (False
1459 or else NT (N).Nkind = N_Exception_Handler);
1461 end Has_Local_Raise;
1463 function Has_No_Elaboration_Code
1464 (N : Node_Id) return Boolean is
1466 pragma Assert (False
1467 or else NT (N).Nkind = N_Compilation_Unit);
1469 end Has_No_Elaboration_Code;
1471 function Has_Pragma_CPU
1472 (N : Node_Id) return Boolean is
1474 pragma Assert (False
1475 or else NT (N).Nkind = N_Subprogram_Body
1476 or else NT (N).Nkind = N_Task_Definition);
1480 function Has_Pragma_Dispatching_Domain
1481 (N : Node_Id) return Boolean is
1483 pragma Assert (False
1484 or else NT (N).Nkind = N_Task_Definition);
1486 end Has_Pragma_Dispatching_Domain;
1488 function Has_Pragma_Priority
1489 (N : Node_Id) return Boolean is
1491 pragma Assert (False
1492 or else NT (N).Nkind = N_Protected_Definition
1493 or else NT (N).Nkind = N_Subprogram_Body
1494 or else NT (N).Nkind = N_Task_Definition);
1496 end Has_Pragma_Priority;
1498 function Has_Pragma_Suppress_All
1499 (N : Node_Id) return Boolean is
1501 pragma Assert (False
1502 or else NT (N).Nkind = N_Compilation_Unit);
1504 end Has_Pragma_Suppress_All;
1506 function Has_Private_View
1507 (N : Node_Id) return Boolean is
1509 pragma Assert (False
1510 or else NT (N).Nkind in N_Op
1511 or else NT (N).Nkind = N_Character_Literal
1512 or else NT (N).Nkind = N_Expanded_Name
1513 or else NT (N).Nkind = N_Identifier
1514 or else NT (N).Nkind = N_Operator_Symbol);
1516 end Has_Private_View;
1518 function Has_Relative_Deadline_Pragma
1519 (N : Node_Id) return Boolean is
1521 pragma Assert (False
1522 or else NT (N).Nkind = N_Subprogram_Body
1523 or else NT (N).Nkind = N_Task_Definition);
1525 end Has_Relative_Deadline_Pragma;
1527 function Has_Self_Reference
1528 (N : Node_Id) return Boolean is
1530 pragma Assert (False
1531 or else NT (N).Nkind = N_Aggregate
1532 or else NT (N).Nkind = N_Extension_Aggregate);
1534 end Has_Self_Reference;
1536 function Has_Storage_Size_Pragma
1537 (N : Node_Id) return Boolean is
1539 pragma Assert (False
1540 or else NT (N).Nkind = N_Task_Definition);
1542 end Has_Storage_Size_Pragma;
1544 function Has_Task_Info_Pragma
1545 (N : Node_Id) return Boolean is
1547 pragma Assert (False
1548 or else NT (N).Nkind = N_Task_Definition);
1550 end Has_Task_Info_Pragma;
1552 function Has_Task_Name_Pragma
1553 (N : Node_Id) return Boolean is
1555 pragma Assert (False
1556 or else NT (N).Nkind = N_Task_Definition);
1558 end Has_Task_Name_Pragma;
1560 function Has_Wide_Character
1561 (N : Node_Id) return Boolean is
1563 pragma Assert (False
1564 or else NT (N).Nkind = N_String_Literal);
1566 end Has_Wide_Character;
1568 function Has_Wide_Wide_Character
1569 (N : Node_Id) return Boolean is
1571 pragma Assert (False
1572 or else NT (N).Nkind = N_String_Literal);
1574 end Has_Wide_Wide_Character;
1576 function Header_Size_Added
1577 (N : Node_Id) return Boolean is
1579 pragma Assert (False
1580 or else NT (N).Nkind = N_Attribute_Reference);
1582 end Header_Size_Added;
1584 function Hidden_By_Use_Clause
1585 (N : Node_Id) return Elist_Id is
1587 pragma Assert (False
1588 or else NT (N).Nkind = N_Use_Package_Clause
1589 or else NT (N).Nkind = N_Use_Type_Clause);
1591 end Hidden_By_Use_Clause;
1594 (N : Node_Id) return Node_Id is
1596 pragma Assert (False
1597 or else NT (N).Nkind = N_Range
1598 or else NT (N).Nkind = N_Real_Range_Specification
1599 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1604 (N : Node_Id) return Node_Id is
1606 pragma Assert (False
1607 or else NT (N).Nkind = N_Aspect_Specification
1608 or else NT (N).Nkind = N_At_Clause
1609 or else NT (N).Nkind = N_Block_Statement
1610 or else NT (N).Nkind = N_Designator
1611 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1612 or else NT (N).Nkind = N_Label
1613 or else NT (N).Nkind = N_Loop_Statement
1614 or else NT (N).Nkind = N_Record_Representation_Clause
1615 or else NT (N).Nkind = N_Subprogram_Info);
1619 function Implicit_With
1620 (N : Node_Id) return Boolean is
1622 pragma Assert (False
1623 or else NT (N).Nkind = N_With_Clause);
1627 function Interface_List
1628 (N : Node_Id) return List_Id is
1630 pragma Assert (False
1631 or else NT (N).Nkind = N_Derived_Type_Definition
1632 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1633 or else NT (N).Nkind = N_Private_Extension_Declaration
1634 or else NT (N).Nkind = N_Protected_Type_Declaration
1635 or else NT (N).Nkind = N_Record_Definition
1636 or else NT (N).Nkind = N_Single_Protected_Declaration
1637 or else NT (N).Nkind = N_Single_Task_Declaration
1638 or else NT (N).Nkind = N_Task_Type_Declaration);
1642 function Interface_Present
1643 (N : Node_Id) return Boolean is
1645 pragma Assert (False
1646 or else NT (N).Nkind = N_Derived_Type_Definition
1647 or else NT (N).Nkind = N_Record_Definition);
1649 end Interface_Present;
1651 function Import_Interface_Present
1652 (N : Node_Id) return Boolean is
1654 pragma Assert (False
1655 or else NT (N).Nkind = N_Pragma);
1657 end Import_Interface_Present;
1660 (N : Node_Id) return Boolean is
1662 pragma Assert (False
1663 or else NT (N).Nkind = N_Formal_Object_Declaration
1664 or else NT (N).Nkind = N_Parameter_Specification);
1668 function Includes_Infinities
1669 (N : Node_Id) return Boolean is
1671 pragma Assert (False
1672 or else NT (N).Nkind = N_Range);
1674 end Includes_Infinities;
1676 function Inherited_Discriminant
1677 (N : Node_Id) return Boolean is
1679 pragma Assert (False
1680 or else NT (N).Nkind = N_Component_Association);
1682 end Inherited_Discriminant;
1684 function Instance_Spec
1685 (N : Node_Id) return Node_Id is
1687 pragma Assert (False
1688 or else NT (N).Nkind = N_Formal_Package_Declaration
1689 or else NT (N).Nkind = N_Function_Instantiation
1690 or else NT (N).Nkind = N_Package_Instantiation
1691 or else NT (N).Nkind = N_Procedure_Instantiation);
1696 (N : Node_Id) return Uint is
1698 pragma Assert (False
1699 or else NT (N).Nkind = N_Integer_Literal);
1703 function Is_Accessibility_Actual
1704 (N : Node_Id) return Boolean is
1706 pragma Assert (False
1707 or else NT (N).Nkind = N_Parameter_Association);
1709 end Is_Accessibility_Actual;
1711 function Is_Asynchronous_Call_Block
1712 (N : Node_Id) return Boolean is
1714 pragma Assert (False
1715 or else NT (N).Nkind = N_Block_Statement);
1717 end Is_Asynchronous_Call_Block;
1719 function Is_Boolean_Aspect
1720 (N : Node_Id) return Boolean is
1722 pragma Assert (False
1723 or else NT (N).Nkind = N_Aspect_Specification);
1725 end Is_Boolean_Aspect;
1727 function Is_Component_Left_Opnd
1728 (N : Node_Id) return Boolean is
1730 pragma Assert (False
1731 or else NT (N).Nkind = N_Op_Concat);
1733 end Is_Component_Left_Opnd;
1735 function Is_Component_Right_Opnd
1736 (N : Node_Id) return Boolean is
1738 pragma Assert (False
1739 or else NT (N).Nkind = N_Op_Concat);
1741 end Is_Component_Right_Opnd;
1743 function Is_Controlling_Actual
1744 (N : Node_Id) return Boolean is
1746 pragma Assert (False
1747 or else NT (N).Nkind in N_Subexpr);
1749 end Is_Controlling_Actual;
1751 function Is_Delayed_Aspect
1752 (N : Node_Id) return Boolean is
1754 pragma Assert (False
1755 or else NT (N).Nkind = N_Aspect_Specification
1756 or else NT (N).Nkind = N_Attribute_Definition_Clause
1757 or else NT (N).Nkind = N_Pragma);
1759 end Is_Delayed_Aspect;
1761 function Is_Dynamic_Coextension
1762 (N : Node_Id) return Boolean is
1764 pragma Assert (False
1765 or else NT (N).Nkind = N_Allocator);
1767 end Is_Dynamic_Coextension;
1770 (N : Node_Id) return Boolean is
1772 pragma Assert (False
1773 or else NT (N).Nkind = N_Conditional_Expression);
1777 function Is_Entry_Barrier_Function
1778 (N : Node_Id) return Boolean is
1780 pragma Assert (False
1781 or else NT (N).Nkind = N_Subprogram_Body);
1783 end Is_Entry_Barrier_Function;
1785 function Is_Expanded_Build_In_Place_Call
1786 (N : Node_Id) return Boolean is
1788 pragma Assert (False
1789 or else NT (N).Nkind = N_Function_Call);
1791 end Is_Expanded_Build_In_Place_Call;
1793 function Is_Folded_In_Parser
1794 (N : Node_Id) return Boolean is
1796 pragma Assert (False
1797 or else NT (N).Nkind = N_String_Literal);
1799 end Is_Folded_In_Parser;
1801 function Is_In_Discriminant_Check
1802 (N : Node_Id) return Boolean is
1804 pragma Assert (False
1805 or else NT (N).Nkind = N_Selected_Component);
1807 end Is_In_Discriminant_Check;
1809 function Is_Machine_Number
1810 (N : Node_Id) return Boolean is
1812 pragma Assert (False
1813 or else NT (N).Nkind = N_Real_Literal);
1815 end Is_Machine_Number;
1817 function Is_Null_Loop
1818 (N : Node_Id) return Boolean is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_Loop_Statement);
1825 function Is_Overloaded
1826 (N : Node_Id) return Boolean is
1828 pragma Assert (False
1829 or else NT (N).Nkind in N_Subexpr);
1833 function Is_Power_Of_2_For_Shift
1834 (N : Node_Id) return Boolean is
1836 pragma Assert (False
1837 or else NT (N).Nkind = N_Op_Expon);
1839 end Is_Power_Of_2_For_Shift;
1841 function Is_Protected_Subprogram_Body
1842 (N : Node_Id) return Boolean is
1844 pragma Assert (False
1845 or else NT (N).Nkind = N_Subprogram_Body);
1847 end Is_Protected_Subprogram_Body;
1849 function Is_Static_Coextension
1850 (N : Node_Id) return Boolean is
1852 pragma Assert (False
1853 or else NT (N).Nkind = N_Allocator);
1855 end Is_Static_Coextension;
1857 function Is_Static_Expression
1858 (N : Node_Id) return Boolean is
1860 pragma Assert (False
1861 or else NT (N).Nkind in N_Subexpr);
1863 end Is_Static_Expression;
1865 function Is_Subprogram_Descriptor
1866 (N : Node_Id) return Boolean is
1868 pragma Assert (False
1869 or else NT (N).Nkind = N_Object_Declaration);
1871 end Is_Subprogram_Descriptor;
1873 function Is_Task_Allocation_Block
1874 (N : Node_Id) return Boolean is
1876 pragma Assert (False
1877 or else NT (N).Nkind = N_Block_Statement);
1879 end Is_Task_Allocation_Block;
1881 function Is_Task_Master
1882 (N : Node_Id) return Boolean is
1884 pragma Assert (False
1885 or else NT (N).Nkind = N_Block_Statement
1886 or else NT (N).Nkind = N_Subprogram_Body
1887 or else NT (N).Nkind = N_Task_Body);
1891 function Iteration_Scheme
1892 (N : Node_Id) return Node_Id is
1894 pragma Assert (False
1895 or else NT (N).Nkind = N_Loop_Statement);
1897 end Iteration_Scheme;
1899 function Iterator_Specification
1900 (N : Node_Id) return Node_Id is
1902 pragma Assert (False
1903 or else NT (N).Nkind = N_Iteration_Scheme
1904 or else NT (N).Nkind = N_Quantified_Expression);
1906 end Iterator_Specification;
1909 (N : Node_Id) return Node_Id is
1911 pragma Assert (False
1912 or else NT (N).Nkind = N_Itype_Reference);
1916 function Kill_Range_Check
1917 (N : Node_Id) return Boolean is
1919 pragma Assert (False
1920 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1922 end Kill_Range_Check;
1924 function Label_Construct
1925 (N : Node_Id) return Node_Id is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1930 end Label_Construct;
1933 (N : Node_Id) return Node_Id is
1935 pragma Assert (False
1936 or else NT (N).Nkind = N_Component_Clause);
1941 (N : Node_Id) return Boolean is
1943 pragma Assert (False
1944 or else NT (N).Nkind = N_With_Clause);
1949 (N : Node_Id) return Node_Id is
1951 pragma Assert (False
1952 or else NT (N).Nkind = N_And_Then
1953 or else NT (N).Nkind = N_In
1954 or else NT (N).Nkind = N_Not_In
1955 or else NT (N).Nkind = N_Or_Else
1956 or else NT (N).Nkind in N_Binary_Op);
1960 function Library_Unit
1961 (N : Node_Id) return Node_Id is
1963 pragma Assert (False
1964 or else NT (N).Nkind = N_Compilation_Unit
1965 or else NT (N).Nkind = N_Package_Body_Stub
1966 or else NT (N).Nkind = N_Protected_Body_Stub
1967 or else NT (N).Nkind = N_Subprogram_Body_Stub
1968 or else NT (N).Nkind = N_Task_Body_Stub
1969 or else NT (N).Nkind = N_With_Clause);
1973 function Limited_View_Installed
1974 (N : Node_Id) return Boolean is
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Package_Specification
1978 or else NT (N).Nkind = N_With_Clause);
1980 end Limited_View_Installed;
1982 function Limited_Present
1983 (N : Node_Id) return Boolean is
1985 pragma Assert (False
1986 or else NT (N).Nkind = N_Derived_Type_Definition
1987 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1988 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1989 or else NT (N).Nkind = N_Private_Extension_Declaration
1990 or else NT (N).Nkind = N_Private_Type_Declaration
1991 or else NT (N).Nkind = N_Record_Definition
1992 or else NT (N).Nkind = N_With_Clause);
1994 end Limited_Present;
1997 (N : Node_Id) return List_Id is
1999 pragma Assert (False
2000 or else NT (N).Nkind = N_Enumeration_Type_Definition);
2004 function Local_Raise_Not_OK
2005 (N : Node_Id) return Boolean is
2007 pragma Assert (False
2008 or else NT (N).Nkind = N_Exception_Handler);
2010 end Local_Raise_Not_OK;
2012 function Local_Raise_Statements
2013 (N : Node_Id) return Elist_Id is
2015 pragma Assert (False
2016 or else NT (N).Nkind = N_Exception_Handler);
2018 end Local_Raise_Statements;
2020 function Loop_Actions
2021 (N : Node_Id) return List_Id is
2023 pragma Assert (False
2024 or else NT (N).Nkind = N_Component_Association);
2028 function Loop_Parameter_Specification
2029 (N : Node_Id) return Node_Id is
2031 pragma Assert (False
2032 or else NT (N).Nkind = N_Iteration_Scheme
2033 or else NT (N).Nkind = N_Quantified_Expression);
2035 end Loop_Parameter_Specification;
2038 (N : Node_Id) return Node_Id is
2040 pragma Assert (False
2041 or else NT (N).Nkind = N_Range
2042 or else NT (N).Nkind = N_Real_Range_Specification
2043 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2048 (N : Node_Id) return Node_Id is
2050 pragma Assert (False
2051 or else NT (N).Nkind = N_Record_Representation_Clause);
2056 (N : Node_Id) return Boolean is
2058 pragma Assert (False
2059 or else NT (N).Nkind = N_Component_Declaration
2060 or else NT (N).Nkind = N_Discriminant_Specification
2061 or else NT (N).Nkind = N_Exception_Declaration
2062 or else NT (N).Nkind = N_Formal_Object_Declaration
2063 or else NT (N).Nkind = N_Number_Declaration
2064 or else NT (N).Nkind = N_Object_Declaration
2065 or else NT (N).Nkind = N_Parameter_Specification);
2069 function Must_Be_Byte_Aligned
2070 (N : Node_Id) return Boolean is
2072 pragma Assert (False
2073 or else NT (N).Nkind = N_Attribute_Reference);
2075 end Must_Be_Byte_Aligned;
2077 function Must_Not_Freeze
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Subtype_Indication
2082 or else NT (N).Nkind in N_Subexpr);
2084 end Must_Not_Freeze;
2086 function Must_Not_Override
2087 (N : Node_Id) return Boolean is
2089 pragma Assert (False
2090 or else NT (N).Nkind = N_Entry_Declaration
2091 or else NT (N).Nkind = N_Function_Instantiation
2092 or else NT (N).Nkind = N_Function_Specification
2093 or else NT (N).Nkind = N_Procedure_Instantiation
2094 or else NT (N).Nkind = N_Procedure_Specification);
2096 end Must_Not_Override;
2098 function Must_Override
2099 (N : Node_Id) return Boolean is
2101 pragma Assert (False
2102 or else NT (N).Nkind = N_Entry_Declaration
2103 or else NT (N).Nkind = N_Function_Instantiation
2104 or else NT (N).Nkind = N_Function_Specification
2105 or else NT (N).Nkind = N_Procedure_Instantiation
2106 or else NT (N).Nkind = N_Procedure_Specification);
2111 (N : Node_Id) return Node_Id is
2113 pragma Assert (False
2114 or else NT (N).Nkind = N_Assignment_Statement
2115 or else NT (N).Nkind = N_Attribute_Definition_Clause
2116 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2117 or else NT (N).Nkind = N_Designator
2118 or else NT (N).Nkind = N_Entry_Call_Statement
2119 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2120 or else NT (N).Nkind = N_Exit_Statement
2121 or else NT (N).Nkind = N_Formal_Package_Declaration
2122 or else NT (N).Nkind = N_Function_Call
2123 or else NT (N).Nkind = N_Function_Instantiation
2124 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2125 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2126 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2127 or else NT (N).Nkind = N_Goto_Statement
2128 or else NT (N).Nkind = N_Iterator_Specification
2129 or else NT (N).Nkind = N_Object_Renaming_Declaration
2130 or else NT (N).Nkind = N_Package_Instantiation
2131 or else NT (N).Nkind = N_Package_Renaming_Declaration
2132 or else NT (N).Nkind = N_Procedure_Call_Statement
2133 or else NT (N).Nkind = N_Procedure_Instantiation
2134 or else NT (N).Nkind = N_Raise_Statement
2135 or else NT (N).Nkind = N_Requeue_Statement
2136 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2137 or else NT (N).Nkind = N_Subunit
2138 or else NT (N).Nkind = N_Variant_Part
2139 or else NT (N).Nkind = N_With_Clause);
2144 (N : Node_Id) return List_Id is
2146 pragma Assert (False
2147 or else NT (N).Nkind = N_Abort_Statement
2148 or else NT (N).Nkind = N_Use_Package_Clause);
2152 function Next_Entity
2153 (N : Node_Id) return Node_Id is
2155 pragma Assert (False
2156 or else NT (N).Nkind = N_Defining_Character_Literal
2157 or else NT (N).Nkind = N_Defining_Identifier
2158 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2162 function Next_Exit_Statement
2163 (N : Node_Id) return Node_Id is
2165 pragma Assert (False
2166 or else NT (N).Nkind = N_Exit_Statement);
2168 end Next_Exit_Statement;
2170 function Next_Implicit_With
2171 (N : Node_Id) return Node_Id is
2173 pragma Assert (False
2174 or else NT (N).Nkind = N_With_Clause);
2176 end Next_Implicit_With;
2178 function Next_Named_Actual
2179 (N : Node_Id) return Node_Id is
2181 pragma Assert (False
2182 or else NT (N).Nkind = N_Parameter_Association);
2184 end Next_Named_Actual;
2186 function Next_Pragma
2187 (N : Node_Id) return Node_Id is
2189 pragma Assert (False
2190 or else NT (N).Nkind = N_Pragma);
2194 function Next_Rep_Item
2195 (N : Node_Id) return Node_Id is
2197 pragma Assert (False
2198 or else NT (N).Nkind = N_Aspect_Specification
2199 or else NT (N).Nkind = N_Attribute_Definition_Clause
2200 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2201 or else NT (N).Nkind = N_Pragma
2202 or else NT (N).Nkind = N_Record_Representation_Clause);
2206 function Next_Use_Clause
2207 (N : Node_Id) return Node_Id is
2209 pragma Assert (False
2210 or else NT (N).Nkind = N_Use_Package_Clause
2211 or else NT (N).Nkind = N_Use_Type_Clause);
2213 end Next_Use_Clause;
2215 function No_Ctrl_Actions
2216 (N : Node_Id) return Boolean is
2218 pragma Assert (False
2219 or else NT (N).Nkind = N_Assignment_Statement);
2221 end No_Ctrl_Actions;
2223 function No_Elaboration_Check
2224 (N : Node_Id) return Boolean is
2226 pragma Assert (False
2227 or else NT (N).Nkind = N_Function_Call
2228 or else NT (N).Nkind = N_Procedure_Call_Statement);
2230 end No_Elaboration_Check;
2232 function No_Entities_Ref_In_Spec
2233 (N : Node_Id) return Boolean is
2235 pragma Assert (False
2236 or else NT (N).Nkind = N_With_Clause);
2238 end No_Entities_Ref_In_Spec;
2240 function No_Initialization
2241 (N : Node_Id) return Boolean is
2243 pragma Assert (False
2244 or else NT (N).Nkind = N_Allocator
2245 or else NT (N).Nkind = N_Object_Declaration);
2247 end No_Initialization;
2249 function No_Truncation
2250 (N : Node_Id) return Boolean is
2252 pragma Assert (False
2253 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2257 function Null_Present
2258 (N : Node_Id) return Boolean is
2260 pragma Assert (False
2261 or else NT (N).Nkind = N_Component_List
2262 or else NT (N).Nkind = N_Procedure_Specification
2263 or else NT (N).Nkind = N_Record_Definition);
2267 function Null_Exclusion_Present
2268 (N : Node_Id) return Boolean is
2270 pragma Assert (False
2271 or else NT (N).Nkind = N_Access_Definition
2272 or else NT (N).Nkind = N_Access_Function_Definition
2273 or else NT (N).Nkind = N_Access_Procedure_Definition
2274 or else NT (N).Nkind = N_Access_To_Object_Definition
2275 or else NT (N).Nkind = N_Allocator
2276 or else NT (N).Nkind = N_Component_Definition
2277 or else NT (N).Nkind = N_Derived_Type_Definition
2278 or else NT (N).Nkind = N_Discriminant_Specification
2279 or else NT (N).Nkind = N_Formal_Object_Declaration
2280 or else NT (N).Nkind = N_Function_Specification
2281 or else NT (N).Nkind = N_Object_Declaration
2282 or else NT (N).Nkind = N_Object_Renaming_Declaration
2283 or else NT (N).Nkind = N_Parameter_Specification
2284 or else NT (N).Nkind = N_Subtype_Declaration);
2286 end Null_Exclusion_Present;
2288 function Null_Exclusion_In_Return_Present
2289 (N : Node_Id) return Boolean is
2291 pragma Assert (False
2292 or else NT (N).Nkind = N_Access_Function_Definition);
2294 end Null_Exclusion_In_Return_Present;
2296 function Null_Record_Present
2297 (N : Node_Id) return Boolean is
2299 pragma Assert (False
2300 or else NT (N).Nkind = N_Aggregate
2301 or else NT (N).Nkind = N_Extension_Aggregate);
2303 end Null_Record_Present;
2305 function Object_Definition
2306 (N : Node_Id) return Node_Id is
2308 pragma Assert (False
2309 or else NT (N).Nkind = N_Object_Declaration);
2311 end Object_Definition;
2314 (N : Node_Id) return Boolean is
2316 pragma Assert (False
2317 or else NT (N).Nkind = N_Iterator_Specification);
2321 function Original_Discriminant
2322 (N : Node_Id) return Node_Id is
2324 pragma Assert (False
2325 or else NT (N).Nkind = N_Identifier);
2327 end Original_Discriminant;
2329 function Original_Entity
2330 (N : Node_Id) return Entity_Id is
2332 pragma Assert (False
2333 or else NT (N).Nkind = N_Integer_Literal
2334 or else NT (N).Nkind = N_Real_Literal);
2336 end Original_Entity;
2338 function Others_Discrete_Choices
2339 (N : Node_Id) return List_Id is
2341 pragma Assert (False
2342 or else NT (N).Nkind = N_Others_Choice);
2344 end Others_Discrete_Choices;
2346 function Out_Present
2347 (N : Node_Id) return Boolean is
2349 pragma Assert (False
2350 or else NT (N).Nkind = N_Formal_Object_Declaration
2351 or else NT (N).Nkind = N_Parameter_Specification);
2355 function Parameter_Associations
2356 (N : Node_Id) return List_Id is
2358 pragma Assert (False
2359 or else NT (N).Nkind = N_Entry_Call_Statement
2360 or else NT (N).Nkind = N_Function_Call
2361 or else NT (N).Nkind = N_Procedure_Call_Statement);
2363 end Parameter_Associations;
2365 function Parameter_List_Truncated
2366 (N : Node_Id) return Boolean is
2368 pragma Assert (False
2369 or else NT (N).Nkind = N_Function_Call
2370 or else NT (N).Nkind = N_Procedure_Call_Statement);
2372 end Parameter_List_Truncated;
2374 function Parameter_Specifications
2375 (N : Node_Id) return List_Id is
2377 pragma Assert (False
2378 or else NT (N).Nkind = N_Accept_Statement
2379 or else NT (N).Nkind = N_Access_Function_Definition
2380 or else NT (N).Nkind = N_Access_Procedure_Definition
2381 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2382 or else NT (N).Nkind = N_Entry_Declaration
2383 or else NT (N).Nkind = N_Function_Specification
2384 or else NT (N).Nkind = N_Procedure_Specification);
2386 end Parameter_Specifications;
2388 function Parameter_Type
2389 (N : Node_Id) return Node_Id is
2391 pragma Assert (False
2392 or else NT (N).Nkind = N_Parameter_Specification);
2396 function Parent_Spec
2397 (N : Node_Id) return Node_Id is
2399 pragma Assert (False
2400 or else NT (N).Nkind = N_Function_Instantiation
2401 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2402 or else NT (N).Nkind = N_Generic_Package_Declaration
2403 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2404 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2405 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2406 or else NT (N).Nkind = N_Package_Declaration
2407 or else NT (N).Nkind = N_Package_Instantiation
2408 or else NT (N).Nkind = N_Package_Renaming_Declaration
2409 or else NT (N).Nkind = N_Procedure_Instantiation
2410 or else NT (N).Nkind = N_Subprogram_Declaration
2411 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2416 (N : Node_Id) return Node_Id is
2418 pragma Assert (False
2419 or else NT (N).Nkind = N_Component_Clause);
2423 function Pragma_Argument_Associations
2424 (N : Node_Id) return List_Id is
2426 pragma Assert (False
2427 or else NT (N).Nkind = N_Pragma);
2429 end Pragma_Argument_Associations;
2431 function Pragma_Identifier
2432 (N : Node_Id) return Node_Id is
2434 pragma Assert (False
2435 or else NT (N).Nkind = N_Pragma);
2437 end Pragma_Identifier;
2439 function Pragmas_After
2440 (N : Node_Id) return List_Id is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Compilation_Unit_Aux
2444 or else NT (N).Nkind = N_Terminate_Alternative);
2448 function Pragmas_Before
2449 (N : Node_Id) return List_Id is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Accept_Alternative
2453 or else NT (N).Nkind = N_Delay_Alternative
2454 or else NT (N).Nkind = N_Entry_Call_Alternative
2455 or else NT (N).Nkind = N_Mod_Clause
2456 or else NT (N).Nkind = N_Terminate_Alternative
2457 or else NT (N).Nkind = N_Triggering_Alternative);
2462 (N : Node_Id) return Node_Id is
2464 pragma Assert (False
2465 or else NT (N).Nkind = N_Attribute_Reference
2466 or else NT (N).Nkind = N_Expanded_Name
2467 or else NT (N).Nkind = N_Explicit_Dereference
2468 or else NT (N).Nkind = N_Indexed_Component
2469 or else NT (N).Nkind = N_Reference
2470 or else NT (N).Nkind = N_Selected_Component
2471 or else NT (N).Nkind = N_Slice);
2475 function Premature_Use
2476 (N : Node_Id) return Node_Id is
2478 pragma Assert (False
2479 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2483 function Present_Expr
2484 (N : Node_Id) return Uint is
2486 pragma Assert (False
2487 or else NT (N).Nkind = N_Variant);
2492 (N : Node_Id) return Boolean is
2494 pragma Assert (False
2495 or else NT (N).Nkind = N_Component_Declaration
2496 or else NT (N).Nkind = N_Discriminant_Specification
2497 or else NT (N).Nkind = N_Exception_Declaration
2498 or else NT (N).Nkind = N_Formal_Object_Declaration
2499 or else NT (N).Nkind = N_Number_Declaration
2500 or else NT (N).Nkind = N_Object_Declaration
2501 or else NT (N).Nkind = N_Parameter_Specification);
2505 function Print_In_Hex
2506 (N : Node_Id) return Boolean is
2508 pragma Assert (False
2509 or else NT (N).Nkind = N_Integer_Literal);
2513 function Private_Declarations
2514 (N : Node_Id) return List_Id is
2516 pragma Assert (False
2517 or else NT (N).Nkind = N_Package_Specification
2518 or else NT (N).Nkind = N_Protected_Definition
2519 or else NT (N).Nkind = N_Task_Definition);
2521 end Private_Declarations;
2523 function Private_Present
2524 (N : Node_Id) return Boolean is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Compilation_Unit
2528 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2529 or else NT (N).Nkind = N_With_Clause);
2531 end Private_Present;
2533 function Procedure_To_Call
2534 (N : Node_Id) return Node_Id is
2536 pragma Assert (False
2537 or else NT (N).Nkind = N_Allocator
2538 or else NT (N).Nkind = N_Extended_Return_Statement
2539 or else NT (N).Nkind = N_Free_Statement
2540 or else NT (N).Nkind = N_Return_Statement);
2542 end Procedure_To_Call;
2544 function Proper_Body
2545 (N : Node_Id) return Node_Id is
2547 pragma Assert (False
2548 or else NT (N).Nkind = N_Subunit);
2552 function Protected_Definition
2553 (N : Node_Id) return Node_Id is
2555 pragma Assert (False
2556 or else NT (N).Nkind = N_Protected_Type_Declaration
2557 or else NT (N).Nkind = N_Single_Protected_Declaration);
2559 end Protected_Definition;
2561 function Protected_Present
2562 (N : Node_Id) return Boolean is
2564 pragma Assert (False
2565 or else NT (N).Nkind = N_Access_Function_Definition
2566 or else NT (N).Nkind = N_Access_Procedure_Definition
2567 or else NT (N).Nkind = N_Derived_Type_Definition
2568 or else NT (N).Nkind = N_Record_Definition);
2570 end Protected_Present;
2572 function Raises_Constraint_Error
2573 (N : Node_Id) return Boolean is
2575 pragma Assert (False
2576 or else NT (N).Nkind in N_Subexpr);
2578 end Raises_Constraint_Error;
2580 function Range_Constraint
2581 (N : Node_Id) return Node_Id is
2583 pragma Assert (False
2584 or else NT (N).Nkind = N_Delta_Constraint
2585 or else NT (N).Nkind = N_Digits_Constraint);
2587 end Range_Constraint;
2589 function Range_Expression
2590 (N : Node_Id) return Node_Id is
2592 pragma Assert (False
2593 or else NT (N).Nkind = N_Range_Constraint);
2595 end Range_Expression;
2597 function Real_Range_Specification
2598 (N : Node_Id) return Node_Id is
2600 pragma Assert (False
2601 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2602 or else NT (N).Nkind = N_Floating_Point_Definition
2603 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2605 end Real_Range_Specification;
2608 (N : Node_Id) return Ureal is
2610 pragma Assert (False
2611 or else NT (N).Nkind = N_Real_Literal);
2616 (N : Node_Id) return Uint is
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Raise_Constraint_Error
2620 or else NT (N).Nkind = N_Raise_Program_Error
2621 or else NT (N).Nkind = N_Raise_Storage_Error);
2625 function Record_Extension_Part
2626 (N : Node_Id) return Node_Id is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Derived_Type_Definition);
2631 end Record_Extension_Part;
2633 function Redundant_Use
2634 (N : Node_Id) return Boolean is
2636 pragma Assert (False
2637 or else NT (N).Nkind = N_Attribute_Reference
2638 or else NT (N).Nkind = N_Expanded_Name
2639 or else NT (N).Nkind = N_Identifier);
2643 function Renaming_Exception
2644 (N : Node_Id) return Node_Id is
2646 pragma Assert (False
2647 or else NT (N).Nkind = N_Exception_Declaration);
2649 end Renaming_Exception;
2651 function Result_Definition
2652 (N : Node_Id) return Node_Id is
2654 pragma Assert (False
2655 or else NT (N).Nkind = N_Access_Function_Definition
2656 or else NT (N).Nkind = N_Function_Specification);
2658 end Result_Definition;
2660 function Return_Object_Declarations
2661 (N : Node_Id) return List_Id is
2663 pragma Assert (False
2664 or else NT (N).Nkind = N_Extended_Return_Statement);
2666 end Return_Object_Declarations;
2668 function Return_Statement_Entity
2669 (N : Node_Id) return Node_Id is
2671 pragma Assert (False
2672 or else NT (N).Nkind = N_Extended_Return_Statement
2673 or else NT (N).Nkind = N_Return_Statement);
2675 end Return_Statement_Entity;
2677 function Reverse_Present
2678 (N : Node_Id) return Boolean is
2680 pragma Assert (False
2681 or else NT (N).Nkind = N_Iterator_Specification
2682 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2684 end Reverse_Present;
2687 (N : Node_Id) return Node_Id is
2689 pragma Assert (False
2690 or else NT (N).Nkind in N_Op
2691 or else NT (N).Nkind = N_And_Then
2692 or else NT (N).Nkind = N_In
2693 or else NT (N).Nkind = N_Not_In
2694 or else NT (N).Nkind = N_Or_Else);
2698 function Rounded_Result
2699 (N : Node_Id) return Boolean is
2701 pragma Assert (False
2702 or else NT (N).Nkind = N_Op_Divide
2703 or else NT (N).Nkind = N_Op_Multiply
2704 or else NT (N).Nkind = N_Type_Conversion);
2708 function SCIL_Controlling_Tag
2709 (N : Node_Id) return Node_Id is
2711 pragma Assert (False
2712 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2714 end SCIL_Controlling_Tag;
2716 function SCIL_Entity
2717 (N : Node_Id) return Node_Id is
2719 pragma Assert (False
2720 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2721 or else NT (N).Nkind = N_SCIL_Dispatching_Call
2722 or else NT (N).Nkind = N_SCIL_Membership_Test);
2726 function SCIL_Tag_Value
2727 (N : Node_Id) return Node_Id is
2729 pragma Assert (False
2730 or else NT (N).Nkind = N_SCIL_Membership_Test);
2734 function SCIL_Target_Prim
2735 (N : Node_Id) return Node_Id is
2737 pragma Assert (False
2738 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2740 end SCIL_Target_Prim;
2743 (N : Node_Id) return Node_Id is
2745 pragma Assert (False
2746 or else NT (N).Nkind = N_Defining_Character_Literal
2747 or else NT (N).Nkind = N_Defining_Identifier
2748 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2752 function Select_Alternatives
2753 (N : Node_Id) return List_Id is
2755 pragma Assert (False
2756 or else NT (N).Nkind = N_Selective_Accept);
2758 end Select_Alternatives;
2760 function Selector_Name
2761 (N : Node_Id) return Node_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Expanded_Name
2765 or else NT (N).Nkind = N_Generic_Association
2766 or else NT (N).Nkind = N_Parameter_Association
2767 or else NT (N).Nkind = N_Selected_Component);
2771 function Selector_Names
2772 (N : Node_Id) return List_Id is
2774 pragma Assert (False
2775 or else NT (N).Nkind = N_Discriminant_Association);
2779 function Shift_Count_OK
2780 (N : Node_Id) return Boolean is
2782 pragma Assert (False
2783 or else NT (N).Nkind = N_Op_Rotate_Left
2784 or else NT (N).Nkind = N_Op_Rotate_Right
2785 or else NT (N).Nkind = N_Op_Shift_Left
2786 or else NT (N).Nkind = N_Op_Shift_Right
2787 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2791 function Source_Type
2792 (N : Node_Id) return Entity_Id is
2794 pragma Assert (False
2795 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2799 function Spec_PPC_List
2800 (N : Node_Id) return Node_Id is
2802 pragma Assert (False
2803 or else NT (N).Nkind = N_Contract);
2807 function Spec_TC_List
2808 (N : Node_Id) return Node_Id is
2810 pragma Assert (False
2811 or else NT (N).Nkind = N_Contract);
2815 function Specification
2816 (N : Node_Id) return Node_Id is
2818 pragma Assert (False
2819 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2820 or else NT (N).Nkind = N_Expression_Function
2821 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2822 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2823 or else NT (N).Nkind = N_Generic_Package_Declaration
2824 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2825 or else NT (N).Nkind = N_Package_Declaration
2826 or else NT (N).Nkind = N_Subprogram_Body
2827 or else NT (N).Nkind = N_Subprogram_Body_Stub
2828 or else NT (N).Nkind = N_Subprogram_Declaration
2829 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2834 (N : Node_Id) return Boolean is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_Aspect_Specification
2838 or else NT (N).Nkind = N_Pragma);
2843 (N : Node_Id) return List_Id is
2845 pragma Assert (False
2846 or else NT (N).Nkind = N_Abortable_Part
2847 or else NT (N).Nkind = N_Accept_Alternative
2848 or else NT (N).Nkind = N_Case_Statement_Alternative
2849 or else NT (N).Nkind = N_Delay_Alternative
2850 or else NT (N).Nkind = N_Entry_Call_Alternative
2851 or else NT (N).Nkind = N_Exception_Handler
2852 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2853 or else NT (N).Nkind = N_Loop_Statement
2854 or else NT (N).Nkind = N_Triggering_Alternative);
2858 function Static_Processing_OK
2859 (N : Node_Id) return Boolean is
2861 pragma Assert (False
2862 or else NT (N).Nkind = N_Aggregate);
2864 end Static_Processing_OK;
2866 function Storage_Pool
2867 (N : Node_Id) return Node_Id is
2869 pragma Assert (False
2870 or else NT (N).Nkind = N_Allocator
2871 or else NT (N).Nkind = N_Extended_Return_Statement
2872 or else NT (N).Nkind = N_Free_Statement
2873 or else NT (N).Nkind = N_Return_Statement);
2877 function Subpool_Handle_Name
2878 (N : Node_Id) return Node_Id is
2880 pragma Assert (False
2881 or else NT (N).Nkind = N_Allocator);
2883 end Subpool_Handle_Name;
2886 (N : Node_Id) return String_Id is
2888 pragma Assert (False
2889 or else NT (N).Nkind = N_Operator_Symbol
2890 or else NT (N).Nkind = N_String_Literal);
2894 function Subtype_Indication
2895 (N : Node_Id) return Node_Id is
2897 pragma Assert (False
2898 or else NT (N).Nkind = N_Access_To_Object_Definition
2899 or else NT (N).Nkind = N_Component_Definition
2900 or else NT (N).Nkind = N_Derived_Type_Definition
2901 or else NT (N).Nkind = N_Iterator_Specification
2902 or else NT (N).Nkind = N_Private_Extension_Declaration
2903 or else NT (N).Nkind = N_Subtype_Declaration);
2905 end Subtype_Indication;
2907 function Suppress_Assignment_Checks
2908 (N : Node_Id) return Boolean is
2910 pragma Assert (False
2911 or else NT (N).Nkind = N_Assignment_Statement
2912 or else NT (N).Nkind = N_Object_Declaration);
2914 end Suppress_Assignment_Checks;
2916 function Suppress_Loop_Warnings
2917 (N : Node_Id) return Boolean is
2919 pragma Assert (False
2920 or else NT (N).Nkind = N_Loop_Statement);
2922 end Suppress_Loop_Warnings;
2924 function Subtype_Mark
2925 (N : Node_Id) return Node_Id is
2927 pragma Assert (False
2928 or else NT (N).Nkind = N_Access_Definition
2929 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2930 or else NT (N).Nkind = N_Formal_Object_Declaration
2931 or else NT (N).Nkind = N_Object_Renaming_Declaration
2932 or else NT (N).Nkind = N_Qualified_Expression
2933 or else NT (N).Nkind = N_Subtype_Indication
2934 or else NT (N).Nkind = N_Type_Conversion
2935 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2939 function Subtype_Marks
2940 (N : Node_Id) return List_Id is
2942 pragma Assert (False
2943 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2944 or else NT (N).Nkind = N_Use_Type_Clause);
2948 function Synchronized_Present
2949 (N : Node_Id) return Boolean is
2951 pragma Assert (False
2952 or else NT (N).Nkind = N_Derived_Type_Definition
2953 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2954 or else NT (N).Nkind = N_Private_Extension_Declaration
2955 or else NT (N).Nkind = N_Record_Definition);
2957 end Synchronized_Present;
2959 function Tagged_Present
2960 (N : Node_Id) return Boolean is
2962 pragma Assert (False
2963 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2964 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2965 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2966 or else NT (N).Nkind = N_Private_Type_Declaration
2967 or else NT (N).Nkind = N_Record_Definition);
2971 function Target_Type
2972 (N : Node_Id) return Entity_Id is
2974 pragma Assert (False
2975 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2979 function Task_Definition
2980 (N : Node_Id) return Node_Id is
2982 pragma Assert (False
2983 or else NT (N).Nkind = N_Single_Task_Declaration
2984 or else NT (N).Nkind = N_Task_Type_Declaration);
2986 end Task_Definition;
2988 function Task_Present
2989 (N : Node_Id) return Boolean is
2991 pragma Assert (False
2992 or else NT (N).Nkind = N_Derived_Type_Definition
2993 or else NT (N).Nkind = N_Record_Definition);
2997 function Then_Actions
2998 (N : Node_Id) return List_Id is
3000 pragma Assert (False
3001 or else NT (N).Nkind = N_Conditional_Expression);
3005 function Then_Statements
3006 (N : Node_Id) return List_Id is
3008 pragma Assert (False
3009 or else NT (N).Nkind = N_Elsif_Part
3010 or else NT (N).Nkind = N_If_Statement);
3012 end Then_Statements;
3014 function Treat_Fixed_As_Integer
3015 (N : Node_Id) return Boolean is
3017 pragma Assert (False
3018 or else NT (N).Nkind = N_Op_Divide
3019 or else NT (N).Nkind = N_Op_Mod
3020 or else NT (N).Nkind = N_Op_Multiply
3021 or else NT (N).Nkind = N_Op_Rem);
3023 end Treat_Fixed_As_Integer;
3025 function Triggering_Alternative
3026 (N : Node_Id) return Node_Id is
3028 pragma Assert (False
3029 or else NT (N).Nkind = N_Asynchronous_Select);
3031 end Triggering_Alternative;
3033 function Triggering_Statement
3034 (N : Node_Id) return Node_Id is
3036 pragma Assert (False
3037 or else NT (N).Nkind = N_Triggering_Alternative);
3039 end Triggering_Statement;
3042 (N : Node_Id) return Elist_Id is
3044 pragma Assert (False
3045 or else NT (N).Nkind = N_Freeze_Entity);
3049 function Type_Definition
3050 (N : Node_Id) return Node_Id is
3052 pragma Assert (False
3053 or else NT (N).Nkind = N_Full_Type_Declaration);
3055 end Type_Definition;
3058 (N : Node_Id) return Node_Id is
3060 pragma Assert (False
3061 or else NT (N).Nkind = N_Compilation_Unit);
3065 function Unknown_Discriminants_Present
3066 (N : Node_Id) return Boolean is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_Formal_Type_Declaration
3070 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3071 or else NT (N).Nkind = N_Private_Extension_Declaration
3072 or else NT (N).Nkind = N_Private_Type_Declaration);
3074 end Unknown_Discriminants_Present;
3076 function Unreferenced_In_Spec
3077 (N : Node_Id) return Boolean is
3079 pragma Assert (False
3080 or else NT (N).Nkind = N_With_Clause);
3082 end Unreferenced_In_Spec;
3084 function Variant_Part
3085 (N : Node_Id) return Node_Id is
3087 pragma Assert (False
3088 or else NT (N).Nkind = N_Component_List);
3093 (N : Node_Id) return List_Id is
3095 pragma Assert (False
3096 or else NT (N).Nkind = N_Variant_Part);
3100 function Visible_Declarations
3101 (N : Node_Id) return List_Id is
3103 pragma Assert (False
3104 or else NT (N).Nkind = N_Package_Specification
3105 or else NT (N).Nkind = N_Protected_Definition
3106 or else NT (N).Nkind = N_Task_Definition);
3108 end Visible_Declarations;
3110 function Used_Operations
3111 (N : Node_Id) return Elist_Id is
3113 pragma Assert (False
3114 or else NT (N).Nkind = N_Use_Type_Clause);
3116 end Used_Operations;
3118 function Was_Originally_Stub
3119 (N : Node_Id) return Boolean is
3121 pragma Assert (False
3122 or else NT (N).Nkind = N_Package_Body
3123 or else NT (N).Nkind = N_Protected_Body
3124 or else NT (N).Nkind = N_Subprogram_Body
3125 or else NT (N).Nkind = N_Task_Body);
3127 end Was_Originally_Stub;
3129 function Withed_Body
3130 (N : Node_Id) return Node_Id is
3132 pragma Assert (False
3133 or else NT (N).Nkind = N_With_Clause);
3137 --------------------------
3138 -- Field Set Procedures --
3139 --------------------------
3141 procedure Set_ABE_Is_Certain
3142 (N : Node_Id; Val : Boolean := True) is
3144 pragma Assert (False
3145 or else NT (N).Nkind = N_Formal_Package_Declaration
3146 or else NT (N).Nkind = N_Function_Call
3147 or else NT (N).Nkind = N_Function_Instantiation
3148 or else NT (N).Nkind = N_Package_Instantiation
3149 or else NT (N).Nkind = N_Procedure_Call_Statement
3150 or else NT (N).Nkind = N_Procedure_Instantiation);
3151 Set_Flag18 (N, Val);
3152 end Set_ABE_Is_Certain;
3154 procedure Set_Abort_Present
3155 (N : Node_Id; Val : Boolean := True) is
3157 pragma Assert (False
3158 or else NT (N).Nkind = N_Requeue_Statement);
3159 Set_Flag15 (N, Val);
3160 end Set_Abort_Present;
3162 procedure Set_Abortable_Part
3163 (N : Node_Id; Val : Node_Id) is
3165 pragma Assert (False
3166 or else NT (N).Nkind = N_Asynchronous_Select);
3167 Set_Node2_With_Parent (N, Val);
3168 end Set_Abortable_Part;
3170 procedure Set_Abstract_Present
3171 (N : Node_Id; Val : Boolean := True) is
3173 pragma Assert (False
3174 or else NT (N).Nkind = N_Derived_Type_Definition
3175 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3176 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3177 or else NT (N).Nkind = N_Private_Extension_Declaration
3178 or else NT (N).Nkind = N_Private_Type_Declaration
3179 or else NT (N).Nkind = N_Record_Definition);
3181 end Set_Abstract_Present;
3183 procedure Set_Accept_Handler_Records
3184 (N : Node_Id; Val : List_Id) is
3186 pragma Assert (False
3187 or else NT (N).Nkind = N_Accept_Alternative);
3188 Set_List5 (N, Val); -- semantic field, no parent set
3189 end Set_Accept_Handler_Records;
3191 procedure Set_Accept_Statement
3192 (N : Node_Id; Val : Node_Id) is
3194 pragma Assert (False
3195 or else NT (N).Nkind = N_Accept_Alternative);
3196 Set_Node2_With_Parent (N, Val);
3197 end Set_Accept_Statement;
3199 procedure Set_Access_Definition
3200 (N : Node_Id; Val : Node_Id) is
3202 pragma Assert (False
3203 or else NT (N).Nkind = N_Component_Definition
3204 or else NT (N).Nkind = N_Formal_Object_Declaration
3205 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3206 Set_Node3_With_Parent (N, Val);
3207 end Set_Access_Definition;
3209 procedure Set_Access_To_Subprogram_Definition
3210 (N : Node_Id; Val : Node_Id) is
3212 pragma Assert (False
3213 or else NT (N).Nkind = N_Access_Definition);
3214 Set_Node3_With_Parent (N, Val);
3215 end Set_Access_To_Subprogram_Definition;
3217 procedure Set_Access_Types_To_Process
3218 (N : Node_Id; Val : Elist_Id) is
3220 pragma Assert (False
3221 or else NT (N).Nkind = N_Freeze_Entity);
3222 Set_Elist2 (N, Val); -- semantic field, no parent set
3223 end Set_Access_Types_To_Process;
3225 procedure Set_Actions
3226 (N : Node_Id; Val : List_Id) is
3228 pragma Assert (False
3229 or else NT (N).Nkind = N_And_Then
3230 or else NT (N).Nkind = N_Case_Expression_Alternative
3231 or else NT (N).Nkind = N_Compilation_Unit_Aux
3232 or else NT (N).Nkind = N_Expression_With_Actions
3233 or else NT (N).Nkind = N_Freeze_Entity
3234 or else NT (N).Nkind = N_Or_Else);
3235 Set_List1_With_Parent (N, Val);
3238 procedure Set_Activation_Chain_Entity
3239 (N : Node_Id; Val : Node_Id) is
3241 pragma Assert (False
3242 or else NT (N).Nkind = N_Block_Statement
3243 or else NT (N).Nkind = N_Entry_Body
3244 or else NT (N).Nkind = N_Generic_Package_Declaration
3245 or else NT (N).Nkind = N_Package_Declaration
3246 or else NT (N).Nkind = N_Subprogram_Body
3247 or else NT (N).Nkind = N_Task_Body);
3248 Set_Node3 (N, Val); -- semantic field, no parent set
3249 end Set_Activation_Chain_Entity;
3251 procedure Set_Acts_As_Spec
3252 (N : Node_Id; Val : Boolean := True) is
3254 pragma Assert (False
3255 or else NT (N).Nkind = N_Compilation_Unit
3256 or else NT (N).Nkind = N_Subprogram_Body);
3258 end Set_Acts_As_Spec;
3260 procedure Set_Actual_Designated_Subtype
3261 (N : Node_Id; Val : Node_Id) is
3263 pragma Assert (False
3264 or else NT (N).Nkind = N_Explicit_Dereference
3265 or else NT (N).Nkind = N_Free_Statement);
3267 end Set_Actual_Designated_Subtype;
3269 procedure Set_Address_Warning_Posted
3270 (N : Node_Id; Val : Boolean := True) is
3272 pragma Assert (False
3273 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3274 Set_Flag18 (N, Val);
3275 end Set_Address_Warning_Posted;
3277 procedure Set_Aggregate_Bounds
3278 (N : Node_Id; Val : Node_Id) is
3280 pragma Assert (False
3281 or else NT (N).Nkind = N_Aggregate);
3282 Set_Node3 (N, Val); -- semantic field, no parent set
3283 end Set_Aggregate_Bounds;
3285 procedure Set_Aliased_Present
3286 (N : Node_Id; Val : Boolean := True) is
3288 pragma Assert (False
3289 or else NT (N).Nkind = N_Component_Definition
3290 or else NT (N).Nkind = N_Object_Declaration
3291 or else NT (N).Nkind = N_Parameter_Specification);
3293 end Set_Aliased_Present;
3295 procedure Set_All_Others
3296 (N : Node_Id; Val : Boolean := True) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Others_Choice);
3300 Set_Flag11 (N, Val);
3303 procedure Set_All_Present
3304 (N : Node_Id; Val : Boolean := True) is
3306 pragma Assert (False
3307 or else NT (N).Nkind = N_Access_Definition
3308 or else NT (N).Nkind = N_Access_To_Object_Definition
3309 or else NT (N).Nkind = N_Quantified_Expression
3310 or else NT (N).Nkind = N_Use_Type_Clause);
3311 Set_Flag15 (N, Val);
3312 end Set_All_Present;
3314 procedure Set_Alternatives
3315 (N : Node_Id; Val : List_Id) is
3317 pragma Assert (False
3318 or else NT (N).Nkind = N_Case_Expression
3319 or else NT (N).Nkind = N_Case_Statement
3320 or else NT (N).Nkind = N_In
3321 or else NT (N).Nkind = N_Not_In);
3322 Set_List4_With_Parent (N, Val);
3323 end Set_Alternatives;
3325 procedure Set_Ancestor_Part
3326 (N : Node_Id; Val : Node_Id) is
3328 pragma Assert (False
3329 or else NT (N).Nkind = N_Extension_Aggregate);
3330 Set_Node3_With_Parent (N, Val);
3331 end Set_Ancestor_Part;
3333 procedure Set_Atomic_Sync_Required
3334 (N : Node_Id; Val : Boolean := True) is
3336 pragma Assert (False
3337 or else NT (N).Nkind = N_Expanded_Name
3338 or else NT (N).Nkind = N_Explicit_Dereference
3339 or else NT (N).Nkind = N_Identifier
3340 or else NT (N).Nkind = N_Indexed_Component
3341 or else NT (N).Nkind = N_Selected_Component);
3342 Set_Flag14 (N, Val);
3343 end Set_Atomic_Sync_Required;
3345 procedure Set_Array_Aggregate
3346 (N : Node_Id; Val : Node_Id) is
3348 pragma Assert (False
3349 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3350 Set_Node3_With_Parent (N, Val);
3351 end Set_Array_Aggregate;
3353 procedure Set_Aspect_Rep_Item
3354 (N : Node_Id; Val : Node_Id) is
3356 pragma Assert (False
3357 or else NT (N).Nkind = N_Aspect_Specification);
3359 end Set_Aspect_Rep_Item;
3361 procedure Set_Assignment_OK
3362 (N : Node_Id; Val : Boolean := True) is
3364 pragma Assert (False
3365 or else NT (N).Nkind = N_Object_Declaration
3366 or else NT (N).Nkind in N_Subexpr);
3367 Set_Flag15 (N, Val);
3368 end Set_Assignment_OK;
3370 procedure Set_Associated_Node
3371 (N : Node_Id; Val : Node_Id) is
3373 pragma Assert (False
3374 or else NT (N).Nkind in N_Has_Entity
3375 or else NT (N).Nkind = N_Aggregate
3376 or else NT (N).Nkind = N_Extension_Aggregate
3377 or else NT (N).Nkind = N_Selected_Component);
3378 Set_Node4 (N, Val); -- semantic field, no parent set
3379 end Set_Associated_Node;
3381 procedure Set_At_End_Proc
3382 (N : Node_Id; Val : Node_Id) is
3384 pragma Assert (False
3385 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3387 end Set_At_End_Proc;
3389 procedure Set_Attribute_Name
3390 (N : Node_Id; Val : Name_Id) is
3392 pragma Assert (False
3393 or else NT (N).Nkind = N_Attribute_Reference);
3395 end Set_Attribute_Name;
3397 procedure Set_Aux_Decls_Node
3398 (N : Node_Id; Val : Node_Id) is
3400 pragma Assert (False
3401 or else NT (N).Nkind = N_Compilation_Unit);
3402 Set_Node5_With_Parent (N, Val);
3403 end Set_Aux_Decls_Node;
3405 procedure Set_Backwards_OK
3406 (N : Node_Id; Val : Boolean := True) is
3408 pragma Assert (False
3409 or else NT (N).Nkind = N_Assignment_Statement);
3411 end Set_Backwards_OK;
3413 procedure Set_Bad_Is_Detected
3414 (N : Node_Id; Val : Boolean := True) is
3416 pragma Assert (False
3417 or else NT (N).Nkind = N_Subprogram_Body);
3418 Set_Flag15 (N, Val);
3419 end Set_Bad_Is_Detected;
3421 procedure Set_Body_Required
3422 (N : Node_Id; Val : Boolean := True) is
3424 pragma Assert (False
3425 or else NT (N).Nkind = N_Compilation_Unit);
3426 Set_Flag13 (N, Val);
3427 end Set_Body_Required;
3429 procedure Set_Body_To_Inline
3430 (N : Node_Id; Val : Node_Id) is
3432 pragma Assert (False
3433 or else NT (N).Nkind = N_Subprogram_Declaration);
3435 end Set_Body_To_Inline;
3437 procedure Set_Box_Present
3438 (N : Node_Id; Val : Boolean := True) is
3440 pragma Assert (False
3441 or else NT (N).Nkind = N_Component_Association
3442 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3443 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3444 or else NT (N).Nkind = N_Formal_Package_Declaration
3445 or else NT (N).Nkind = N_Generic_Association);
3446 Set_Flag15 (N, Val);
3447 end Set_Box_Present;
3449 procedure Set_By_Ref
3450 (N : Node_Id; Val : Boolean := True) is
3452 pragma Assert (False
3453 or else NT (N).Nkind = N_Extended_Return_Statement
3454 or else NT (N).Nkind = N_Return_Statement);
3458 procedure Set_Char_Literal_Value
3459 (N : Node_Id; Val : Uint) is
3461 pragma Assert (False
3462 or else NT (N).Nkind = N_Character_Literal);
3464 end Set_Char_Literal_Value;
3467 (N : Node_Id; Val : Name_Id) is
3469 pragma Assert (False
3470 or else NT (N).Nkind in N_Has_Chars);
3474 procedure Set_Check_Address_Alignment
3475 (N : Node_Id; Val : Boolean := True) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3479 Set_Flag11 (N, Val);
3480 end Set_Check_Address_Alignment;
3482 procedure Set_Choice_Parameter
3483 (N : Node_Id; Val : Node_Id) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Exception_Handler);
3487 Set_Node2_With_Parent (N, Val);
3488 end Set_Choice_Parameter;
3490 procedure Set_Choices
3491 (N : Node_Id; Val : List_Id) is
3493 pragma Assert (False
3494 or else NT (N).Nkind = N_Component_Association);
3495 Set_List1_With_Parent (N, Val);
3498 procedure Set_Class_Present
3499 (N : Node_Id; Val : Boolean := True) is
3501 pragma Assert (False
3502 or else NT (N).Nkind = N_Aspect_Specification
3503 or else NT (N).Nkind = N_Pragma);
3505 end Set_Class_Present;
3507 procedure Set_Comes_From_Extended_Return_Statement
3508 (N : Node_Id; Val : Boolean := True) is
3510 pragma Assert (False
3511 or else NT (N).Nkind = N_Return_Statement);
3512 Set_Flag18 (N, Val);
3513 end Set_Comes_From_Extended_Return_Statement;
3515 procedure Set_Compile_Time_Known_Aggregate
3516 (N : Node_Id; Val : Boolean := True) is
3518 pragma Assert (False
3519 or else NT (N).Nkind = N_Aggregate);
3520 Set_Flag18 (N, Val);
3521 end Set_Compile_Time_Known_Aggregate;
3523 procedure Set_Component_Associations
3524 (N : Node_Id; Val : List_Id) is
3526 pragma Assert (False
3527 or else NT (N).Nkind = N_Aggregate
3528 or else NT (N).Nkind = N_Extension_Aggregate);
3529 Set_List2_With_Parent (N, Val);
3530 end Set_Component_Associations;
3532 procedure Set_Component_Clauses
3533 (N : Node_Id; Val : List_Id) is
3535 pragma Assert (False
3536 or else NT (N).Nkind = N_Record_Representation_Clause);
3537 Set_List3_With_Parent (N, Val);
3538 end Set_Component_Clauses;
3540 procedure Set_Component_Definition
3541 (N : Node_Id; Val : Node_Id) is
3543 pragma Assert (False
3544 or else NT (N).Nkind = N_Component_Declaration
3545 or else NT (N).Nkind = N_Constrained_Array_Definition
3546 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3547 Set_Node4_With_Parent (N, Val);
3548 end Set_Component_Definition;
3550 procedure Set_Component_Items
3551 (N : Node_Id; Val : List_Id) is
3553 pragma Assert (False
3554 or else NT (N).Nkind = N_Component_List);
3555 Set_List3_With_Parent (N, Val);
3556 end Set_Component_Items;
3558 procedure Set_Component_List
3559 (N : Node_Id; Val : Node_Id) is
3561 pragma Assert (False
3562 or else NT (N).Nkind = N_Record_Definition
3563 or else NT (N).Nkind = N_Variant);
3564 Set_Node1_With_Parent (N, Val);
3565 end Set_Component_List;
3567 procedure Set_Component_Name
3568 (N : Node_Id; Val : Node_Id) is
3570 pragma Assert (False
3571 or else NT (N).Nkind = N_Component_Clause);
3572 Set_Node1_With_Parent (N, Val);
3573 end Set_Component_Name;
3575 procedure Set_Componentwise_Assignment
3576 (N : Node_Id; Val : Boolean := True) is
3578 pragma Assert (False
3579 or else NT (N).Nkind = N_Assignment_Statement);
3580 Set_Flag14 (N, Val);
3581 end Set_Componentwise_Assignment;
3583 procedure Set_Condition
3584 (N : Node_Id; Val : Node_Id) is
3586 pragma Assert (False
3587 or else NT (N).Nkind = N_Accept_Alternative
3588 or else NT (N).Nkind = N_Delay_Alternative
3589 or else NT (N).Nkind = N_Elsif_Part
3590 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3591 or else NT (N).Nkind = N_Exit_Statement
3592 or else NT (N).Nkind = N_If_Statement
3593 or else NT (N).Nkind = N_Iteration_Scheme
3594 or else NT (N).Nkind = N_Quantified_Expression
3595 or else NT (N).Nkind = N_Raise_Constraint_Error
3596 or else NT (N).Nkind = N_Raise_Program_Error
3597 or else NT (N).Nkind = N_Raise_Storage_Error
3598 or else NT (N).Nkind = N_Terminate_Alternative);
3599 Set_Node1_With_Parent (N, Val);
3602 procedure Set_Condition_Actions
3603 (N : Node_Id; Val : List_Id) is
3605 pragma Assert (False
3606 or else NT (N).Nkind = N_Elsif_Part
3607 or else NT (N).Nkind = N_Iteration_Scheme);
3608 Set_List3 (N, Val); -- semantic field, no parent set
3609 end Set_Condition_Actions;
3611 procedure Set_Config_Pragmas
3612 (N : Node_Id; Val : List_Id) is
3614 pragma Assert (False
3615 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3616 Set_List4_With_Parent (N, Val);
3617 end Set_Config_Pragmas;
3619 procedure Set_Constant_Present
3620 (N : Node_Id; Val : Boolean := True) is
3622 pragma Assert (False
3623 or else NT (N).Nkind = N_Access_Definition
3624 or else NT (N).Nkind = N_Access_To_Object_Definition
3625 or else NT (N).Nkind = N_Object_Declaration);
3626 Set_Flag17 (N, Val);
3627 end Set_Constant_Present;
3629 procedure Set_Constraint
3630 (N : Node_Id; Val : Node_Id) is
3632 pragma Assert (False
3633 or else NT (N).Nkind = N_Subtype_Indication);
3634 Set_Node3_With_Parent (N, Val);
3637 procedure Set_Constraints
3638 (N : Node_Id; Val : List_Id) is
3640 pragma Assert (False
3641 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3642 Set_List1_With_Parent (N, Val);
3643 end Set_Constraints;
3645 procedure Set_Context_Installed
3646 (N : Node_Id; Val : Boolean := True) is
3648 pragma Assert (False
3649 or else NT (N).Nkind = N_With_Clause);
3650 Set_Flag13 (N, Val);
3651 end Set_Context_Installed;
3653 procedure Set_Context_Items
3654 (N : Node_Id; Val : List_Id) is
3656 pragma Assert (False
3657 or else NT (N).Nkind = N_Compilation_Unit);
3658 Set_List1_With_Parent (N, Val);
3659 end Set_Context_Items;
3661 procedure Set_Context_Pending
3662 (N : Node_Id; Val : Boolean := True) is
3664 pragma Assert (False
3665 or else NT (N).Nkind = N_Compilation_Unit);
3666 Set_Flag16 (N, Val);
3667 end Set_Context_Pending;
3669 procedure Set_Controlling_Argument
3670 (N : Node_Id; Val : Node_Id) is
3672 pragma Assert (False
3673 or else NT (N).Nkind = N_Function_Call
3674 or else NT (N).Nkind = N_Procedure_Call_Statement);
3675 Set_Node1 (N, Val); -- semantic field, no parent set
3676 end Set_Controlling_Argument;
3678 procedure Set_Conversion_OK
3679 (N : Node_Id; Val : Boolean := True) is
3681 pragma Assert (False
3682 or else NT (N).Nkind = N_Type_Conversion);
3683 Set_Flag14 (N, Val);
3684 end Set_Conversion_OK;
3686 procedure Set_Corresponding_Aspect
3687 (N : Node_Id; Val : Node_Id) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Pragma);
3692 end Set_Corresponding_Aspect;
3694 procedure Set_Corresponding_Body
3695 (N : Node_Id; Val : Node_Id) is
3697 pragma Assert (False
3698 or else NT (N).Nkind = N_Entry_Declaration
3699 or else NT (N).Nkind = N_Generic_Package_Declaration
3700 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3701 or else NT (N).Nkind = N_Package_Body_Stub
3702 or else NT (N).Nkind = N_Package_Declaration
3703 or else NT (N).Nkind = N_Protected_Body_Stub
3704 or else NT (N).Nkind = N_Protected_Type_Declaration
3705 or else NT (N).Nkind = N_Subprogram_Body_Stub
3706 or else NT (N).Nkind = N_Subprogram_Declaration
3707 or else NT (N).Nkind = N_Task_Body_Stub
3708 or else NT (N).Nkind = N_Task_Type_Declaration);
3709 Set_Node5 (N, Val); -- semantic field, no parent set
3710 end Set_Corresponding_Body;
3712 procedure Set_Corresponding_Formal_Spec
3713 (N : Node_Id; Val : Node_Id) is
3715 pragma Assert (False
3716 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3717 Set_Node3 (N, Val); -- semantic field, no parent set
3718 end Set_Corresponding_Formal_Spec;
3720 procedure Set_Corresponding_Generic_Association
3721 (N : Node_Id; Val : Node_Id) is
3723 pragma Assert (False
3724 or else NT (N).Nkind = N_Object_Declaration
3725 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3726 Set_Node5 (N, Val); -- semantic field, no parent set
3727 end Set_Corresponding_Generic_Association;
3729 procedure Set_Corresponding_Integer_Value
3730 (N : Node_Id; Val : Uint) is
3732 pragma Assert (False
3733 or else NT (N).Nkind = N_Real_Literal);
3734 Set_Uint4 (N, Val); -- semantic field, no parent set
3735 end Set_Corresponding_Integer_Value;
3737 procedure Set_Corresponding_Spec
3738 (N : Node_Id; Val : Node_Id) is
3740 pragma Assert (False
3741 or else NT (N).Nkind = N_Expression_Function
3742 or else NT (N).Nkind = N_Package_Body
3743 or else NT (N).Nkind = N_Protected_Body
3744 or else NT (N).Nkind = N_Subprogram_Body
3745 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3746 or else NT (N).Nkind = N_Task_Body
3747 or else NT (N).Nkind = N_With_Clause);
3748 Set_Node5 (N, Val); -- semantic field, no parent set
3749 end Set_Corresponding_Spec;
3751 procedure Set_Corresponding_Stub
3752 (N : Node_Id; Val : Node_Id) is
3754 pragma Assert (False
3755 or else NT (N).Nkind = N_Subunit);
3757 end Set_Corresponding_Stub;
3759 procedure Set_Dcheck_Function
3760 (N : Node_Id; Val : Entity_Id) is
3762 pragma Assert (False
3763 or else NT (N).Nkind = N_Variant);
3764 Set_Node5 (N, Val); -- semantic field, no parent set
3765 end Set_Dcheck_Function;
3767 procedure Set_Declarations
3768 (N : Node_Id; Val : List_Id) is
3770 pragma Assert (False
3771 or else NT (N).Nkind = N_Accept_Statement
3772 or else NT (N).Nkind = N_Block_Statement
3773 or else NT (N).Nkind = N_Compilation_Unit_Aux
3774 or else NT (N).Nkind = N_Entry_Body
3775 or else NT (N).Nkind = N_Package_Body
3776 or else NT (N).Nkind = N_Protected_Body
3777 or else NT (N).Nkind = N_Subprogram_Body
3778 or else NT (N).Nkind = N_Task_Body);
3779 Set_List2_With_Parent (N, Val);
3780 end Set_Declarations;
3782 procedure Set_Default_Expression
3783 (N : Node_Id; Val : Node_Id) is
3785 pragma Assert (False
3786 or else NT (N).Nkind = N_Formal_Object_Declaration
3787 or else NT (N).Nkind = N_Parameter_Specification);
3788 Set_Node5 (N, Val); -- semantic field, no parent set
3789 end Set_Default_Expression;
3791 procedure Set_Default_Storage_Pool
3792 (N : Node_Id; Val : Node_Id) is
3794 pragma Assert (False
3795 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3796 Set_Node3 (N, Val); -- semantic field, no parent set
3797 end Set_Default_Storage_Pool;
3799 procedure Set_Default_Name
3800 (N : Node_Id; Val : Node_Id) is
3802 pragma Assert (False
3803 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3804 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3805 Set_Node2_With_Parent (N, Val);
3806 end Set_Default_Name;
3808 procedure Set_Defining_Identifier
3809 (N : Node_Id; Val : Entity_Id) is
3811 pragma Assert (False
3812 or else NT (N).Nkind = N_Component_Declaration
3813 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3814 or else NT (N).Nkind = N_Discriminant_Specification
3815 or else NT (N).Nkind = N_Entry_Body
3816 or else NT (N).Nkind = N_Entry_Declaration
3817 or else NT (N).Nkind = N_Entry_Index_Specification
3818 or else NT (N).Nkind = N_Exception_Declaration
3819 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3820 or else NT (N).Nkind = N_Formal_Object_Declaration
3821 or else NT (N).Nkind = N_Formal_Package_Declaration
3822 or else NT (N).Nkind = N_Formal_Type_Declaration
3823 or else NT (N).Nkind = N_Full_Type_Declaration
3824 or else NT (N).Nkind = N_Implicit_Label_Declaration
3825 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3826 or else NT (N).Nkind = N_Iterator_Specification
3827 or else NT (N).Nkind = N_Loop_Parameter_Specification
3828 or else NT (N).Nkind = N_Number_Declaration
3829 or else NT (N).Nkind = N_Object_Declaration
3830 or else NT (N).Nkind = N_Object_Renaming_Declaration
3831 or else NT (N).Nkind = N_Package_Body_Stub
3832 or else NT (N).Nkind = N_Parameter_Specification
3833 or else NT (N).Nkind = N_Private_Extension_Declaration
3834 or else NT (N).Nkind = N_Private_Type_Declaration
3835 or else NT (N).Nkind = N_Protected_Body
3836 or else NT (N).Nkind = N_Protected_Body_Stub
3837 or else NT (N).Nkind = N_Protected_Type_Declaration
3838 or else NT (N).Nkind = N_Single_Protected_Declaration
3839 or else NT (N).Nkind = N_Single_Task_Declaration
3840 or else NT (N).Nkind = N_Subtype_Declaration
3841 or else NT (N).Nkind = N_Task_Body
3842 or else NT (N).Nkind = N_Task_Body_Stub
3843 or else NT (N).Nkind = N_Task_Type_Declaration);
3844 Set_Node1_With_Parent (N, Val);
3845 end Set_Defining_Identifier;
3847 procedure Set_Defining_Unit_Name
3848 (N : Node_Id; Val : Node_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind = N_Function_Instantiation
3852 or else NT (N).Nkind = N_Function_Specification
3853 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3854 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3855 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3856 or else NT (N).Nkind = N_Package_Body
3857 or else NT (N).Nkind = N_Package_Instantiation
3858 or else NT (N).Nkind = N_Package_Renaming_Declaration
3859 or else NT (N).Nkind = N_Package_Specification
3860 or else NT (N).Nkind = N_Procedure_Instantiation
3861 or else NT (N).Nkind = N_Procedure_Specification);
3862 Set_Node1_With_Parent (N, Val);
3863 end Set_Defining_Unit_Name;
3865 procedure Set_Delay_Alternative
3866 (N : Node_Id; Val : Node_Id) is
3868 pragma Assert (False
3869 or else NT (N).Nkind = N_Timed_Entry_Call);
3870 Set_Node4_With_Parent (N, Val);
3871 end Set_Delay_Alternative;
3873 procedure Set_Delay_Statement
3874 (N : Node_Id; Val : Node_Id) is
3876 pragma Assert (False
3877 or else NT (N).Nkind = N_Delay_Alternative);
3878 Set_Node2_With_Parent (N, Val);
3879 end Set_Delay_Statement;
3881 procedure Set_Delta_Expression
3882 (N : Node_Id; Val : Node_Id) is
3884 pragma Assert (False
3885 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3886 or else NT (N).Nkind = N_Delta_Constraint
3887 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3888 Set_Node3_With_Parent (N, Val);
3889 end Set_Delta_Expression;
3891 procedure Set_Digits_Expression
3892 (N : Node_Id; Val : Node_Id) is
3894 pragma Assert (False
3895 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3896 or else NT (N).Nkind = N_Digits_Constraint
3897 or else NT (N).Nkind = N_Floating_Point_Definition);
3898 Set_Node2_With_Parent (N, Val);
3899 end Set_Digits_Expression;
3901 procedure Set_Discr_Check_Funcs_Built
3902 (N : Node_Id; Val : Boolean := True) is
3904 pragma Assert (False
3905 or else NT (N).Nkind = N_Full_Type_Declaration);
3906 Set_Flag11 (N, Val);
3907 end Set_Discr_Check_Funcs_Built;
3909 procedure Set_Discrete_Choices
3910 (N : Node_Id; Val : List_Id) is
3912 pragma Assert (False
3913 or else NT (N).Nkind = N_Case_Expression_Alternative
3914 or else NT (N).Nkind = N_Case_Statement_Alternative
3915 or else NT (N).Nkind = N_Variant);
3916 Set_List4_With_Parent (N, Val);
3917 end Set_Discrete_Choices;
3919 procedure Set_Discrete_Range
3920 (N : Node_Id; Val : Node_Id) is
3922 pragma Assert (False
3923 or else NT (N).Nkind = N_Slice);
3924 Set_Node4_With_Parent (N, Val);
3925 end Set_Discrete_Range;
3927 procedure Set_Discrete_Subtype_Definition
3928 (N : Node_Id; Val : Node_Id) is
3930 pragma Assert (False
3931 or else NT (N).Nkind = N_Entry_Declaration
3932 or else NT (N).Nkind = N_Entry_Index_Specification
3933 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3934 Set_Node4_With_Parent (N, Val);
3935 end Set_Discrete_Subtype_Definition;
3937 procedure Set_Discrete_Subtype_Definitions
3938 (N : Node_Id; Val : List_Id) is
3940 pragma Assert (False
3941 or else NT (N).Nkind = N_Constrained_Array_Definition);
3942 Set_List2_With_Parent (N, Val);
3943 end Set_Discrete_Subtype_Definitions;
3945 procedure Set_Discriminant_Specifications
3946 (N : Node_Id; Val : List_Id) is
3948 pragma Assert (False
3949 or else NT (N).Nkind = N_Formal_Type_Declaration
3950 or else NT (N).Nkind = N_Full_Type_Declaration
3951 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3952 or else NT (N).Nkind = N_Private_Extension_Declaration
3953 or else NT (N).Nkind = N_Private_Type_Declaration
3954 or else NT (N).Nkind = N_Protected_Type_Declaration
3955 or else NT (N).Nkind = N_Task_Type_Declaration);
3956 Set_List4_With_Parent (N, Val);
3957 end Set_Discriminant_Specifications;
3959 procedure Set_Discriminant_Type
3960 (N : Node_Id; Val : Node_Id) is
3962 pragma Assert (False
3963 or else NT (N).Nkind = N_Discriminant_Specification);
3964 Set_Node5_With_Parent (N, Val);
3965 end Set_Discriminant_Type;
3967 procedure Set_Do_Accessibility_Check
3968 (N : Node_Id; Val : Boolean := True) is
3970 pragma Assert (False
3971 or else NT (N).Nkind = N_Parameter_Specification);
3972 Set_Flag13 (N, Val);
3973 end Set_Do_Accessibility_Check;
3975 procedure Set_Do_Discriminant_Check
3976 (N : Node_Id; Val : Boolean := True) is
3978 pragma Assert (False
3979 or else NT (N).Nkind = N_Selected_Component);
3980 Set_Flag13 (N, Val);
3981 end Set_Do_Discriminant_Check;
3983 procedure Set_Do_Division_Check
3984 (N : Node_Id; Val : Boolean := True) is
3986 pragma Assert (False
3987 or else NT (N).Nkind = N_Op_Divide
3988 or else NT (N).Nkind = N_Op_Mod
3989 or else NT (N).Nkind = N_Op_Rem);
3990 Set_Flag13 (N, Val);
3991 end Set_Do_Division_Check;
3993 procedure Set_Do_Length_Check
3994 (N : Node_Id; Val : Boolean := True) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Assignment_Statement
3998 or else NT (N).Nkind = N_Op_And
3999 or else NT (N).Nkind = N_Op_Or
4000 or else NT (N).Nkind = N_Op_Xor
4001 or else NT (N).Nkind = N_Type_Conversion);
4003 end Set_Do_Length_Check;
4005 procedure Set_Do_Overflow_Check
4006 (N : Node_Id; Val : Boolean := True) is
4008 pragma Assert (False
4009 or else NT (N).Nkind in N_Op
4010 or else NT (N).Nkind = N_Attribute_Reference
4011 or else NT (N).Nkind = N_Type_Conversion);
4012 Set_Flag17 (N, Val);
4013 end Set_Do_Overflow_Check;
4015 procedure Set_Do_Range_Check
4016 (N : Node_Id; Val : Boolean := True) is
4018 pragma Assert (False
4019 or else NT (N).Nkind in N_Subexpr);
4021 end Set_Do_Range_Check;
4023 procedure Set_Do_Storage_Check
4024 (N : Node_Id; Val : Boolean := True) is
4026 pragma Assert (False
4027 or else NT (N).Nkind = N_Allocator
4028 or else NT (N).Nkind = N_Subprogram_Body);
4029 Set_Flag17 (N, Val);
4030 end Set_Do_Storage_Check;
4032 procedure Set_Do_Tag_Check
4033 (N : Node_Id; Val : Boolean := True) is
4035 pragma Assert (False
4036 or else NT (N).Nkind = N_Assignment_Statement
4037 or else NT (N).Nkind = N_Extended_Return_Statement
4038 or else NT (N).Nkind = N_Function_Call
4039 or else NT (N).Nkind = N_Procedure_Call_Statement
4040 or else NT (N).Nkind = N_Return_Statement
4041 or else NT (N).Nkind = N_Type_Conversion);
4042 Set_Flag13 (N, Val);
4043 end Set_Do_Tag_Check;
4045 procedure Set_Elaborate_All_Desirable
4046 (N : Node_Id; Val : Boolean := True) is
4048 pragma Assert (False
4049 or else NT (N).Nkind = N_With_Clause);
4051 end Set_Elaborate_All_Desirable;
4053 procedure Set_Elaborate_All_Present
4054 (N : Node_Id; Val : Boolean := True) is
4056 pragma Assert (False
4057 or else NT (N).Nkind = N_With_Clause);
4058 Set_Flag14 (N, Val);
4059 end Set_Elaborate_All_Present;
4061 procedure Set_Elaborate_Desirable
4062 (N : Node_Id; Val : Boolean := True) is
4064 pragma Assert (False
4065 or else NT (N).Nkind = N_With_Clause);
4066 Set_Flag11 (N, Val);
4067 end Set_Elaborate_Desirable;
4069 procedure Set_Elaborate_Present
4070 (N : Node_Id; Val : Boolean := True) is
4072 pragma Assert (False
4073 or else NT (N).Nkind = N_With_Clause);
4075 end Set_Elaborate_Present;
4077 procedure Set_Elaboration_Boolean
4078 (N : Node_Id; Val : Node_Id) is
4080 pragma Assert (False
4081 or else NT (N).Nkind = N_Function_Specification
4082 or else NT (N).Nkind = N_Procedure_Specification);
4084 end Set_Elaboration_Boolean;
4086 procedure Set_Else_Actions
4087 (N : Node_Id; Val : List_Id) is
4089 pragma Assert (False
4090 or else NT (N).Nkind = N_Conditional_Expression);
4091 Set_List3 (N, Val); -- semantic field, no parent set
4092 end Set_Else_Actions;
4094 procedure Set_Else_Statements
4095 (N : Node_Id; Val : List_Id) is
4097 pragma Assert (False
4098 or else NT (N).Nkind = N_Conditional_Entry_Call
4099 or else NT (N).Nkind = N_If_Statement
4100 or else NT (N).Nkind = N_Selective_Accept);
4101 Set_List4_With_Parent (N, Val);
4102 end Set_Else_Statements;
4104 procedure Set_Elsif_Parts
4105 (N : Node_Id; Val : List_Id) is
4107 pragma Assert (False
4108 or else NT (N).Nkind = N_If_Statement);
4109 Set_List3_With_Parent (N, Val);
4110 end Set_Elsif_Parts;
4112 procedure Set_Enclosing_Variant
4113 (N : Node_Id; Val : Node_Id) is
4115 pragma Assert (False
4116 or else NT (N).Nkind = N_Variant);
4117 Set_Node2 (N, Val); -- semantic field, no parent set
4118 end Set_Enclosing_Variant;
4120 procedure Set_End_Label
4121 (N : Node_Id; Val : Node_Id) is
4123 pragma Assert (False
4124 or else NT (N).Nkind = N_Enumeration_Type_Definition
4125 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4126 or else NT (N).Nkind = N_Loop_Statement
4127 or else NT (N).Nkind = N_Package_Specification
4128 or else NT (N).Nkind = N_Protected_Body
4129 or else NT (N).Nkind = N_Protected_Definition
4130 or else NT (N).Nkind = N_Record_Definition
4131 or else NT (N).Nkind = N_Task_Definition);
4132 Set_Node4_With_Parent (N, Val);
4135 procedure Set_End_Span
4136 (N : Node_Id; Val : Uint) is
4138 pragma Assert (False
4139 or else NT (N).Nkind = N_Case_Statement
4140 or else NT (N).Nkind = N_If_Statement);
4144 procedure Set_Entity
4145 (N : Node_Id; Val : Node_Id) is
4147 pragma Assert (False
4148 or else NT (N).Nkind in N_Has_Entity
4149 or else NT (N).Nkind = N_Aspect_Specification
4150 or else NT (N).Nkind = N_Attribute_Definition_Clause
4151 or else NT (N).Nkind = N_Freeze_Entity);
4152 Set_Node4 (N, Val); -- semantic field, no parent set
4155 procedure Set_Entry_Body_Formal_Part
4156 (N : Node_Id; Val : Node_Id) is
4158 pragma Assert (False
4159 or else NT (N).Nkind = N_Entry_Body);
4160 Set_Node5_With_Parent (N, Val);
4161 end Set_Entry_Body_Formal_Part;
4163 procedure Set_Entry_Call_Alternative
4164 (N : Node_Id; Val : Node_Id) is
4166 pragma Assert (False
4167 or else NT (N).Nkind = N_Conditional_Entry_Call
4168 or else NT (N).Nkind = N_Timed_Entry_Call);
4169 Set_Node1_With_Parent (N, Val);
4170 end Set_Entry_Call_Alternative;
4172 procedure Set_Entry_Call_Statement
4173 (N : Node_Id; Val : Node_Id) is
4175 pragma Assert (False
4176 or else NT (N).Nkind = N_Entry_Call_Alternative);
4177 Set_Node1_With_Parent (N, Val);
4178 end Set_Entry_Call_Statement;
4180 procedure Set_Entry_Direct_Name
4181 (N : Node_Id; Val : Node_Id) is
4183 pragma Assert (False
4184 or else NT (N).Nkind = N_Accept_Statement);
4185 Set_Node1_With_Parent (N, Val);
4186 end Set_Entry_Direct_Name;
4188 procedure Set_Entry_Index
4189 (N : Node_Id; Val : Node_Id) is
4191 pragma Assert (False
4192 or else NT (N).Nkind = N_Accept_Statement);
4193 Set_Node5_With_Parent (N, Val);
4194 end Set_Entry_Index;
4196 procedure Set_Entry_Index_Specification
4197 (N : Node_Id; Val : Node_Id) is
4199 pragma Assert (False
4200 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4201 Set_Node4_With_Parent (N, Val);
4202 end Set_Entry_Index_Specification;
4205 (N : Node_Id; Val : Node_Id) is
4207 pragma Assert (False
4208 or else NT (N).Nkind in N_Has_Etype);
4209 Set_Node5 (N, Val); -- semantic field, no parent set
4212 procedure Set_Exception_Choices
4213 (N : Node_Id; Val : List_Id) is
4215 pragma Assert (False
4216 or else NT (N).Nkind = N_Exception_Handler);
4217 Set_List4_With_Parent (N, Val);
4218 end Set_Exception_Choices;
4220 procedure Set_Exception_Handlers
4221 (N : Node_Id; Val : List_Id) is
4223 pragma Assert (False
4224 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4225 Set_List5_With_Parent (N, Val);
4226 end Set_Exception_Handlers;
4228 procedure Set_Exception_Junk
4229 (N : Node_Id; Val : Boolean := True) is
4231 pragma Assert (False
4232 or else NT (N).Nkind = N_Block_Statement
4233 or else NT (N).Nkind = N_Goto_Statement
4234 or else NT (N).Nkind = N_Label
4235 or else NT (N).Nkind = N_Object_Declaration
4236 or else NT (N).Nkind = N_Subtype_Declaration);
4238 end Set_Exception_Junk;
4240 procedure Set_Exception_Label
4241 (N : Node_Id; Val : Node_Id) is
4243 pragma Assert (False
4244 or else NT (N).Nkind = N_Exception_Handler
4245 or else NT (N).Nkind = N_Push_Constraint_Error_Label
4246 or else NT (N).Nkind = N_Push_Program_Error_Label
4247 or else NT (N).Nkind = N_Push_Storage_Error_Label);
4248 Set_Node5 (N, Val); -- semantic field, no parent set
4249 end Set_Exception_Label;
4251 procedure Set_Expansion_Delayed
4252 (N : Node_Id; Val : Boolean := True) is
4254 pragma Assert (False
4255 or else NT (N).Nkind = N_Aggregate
4256 or else NT (N).Nkind = N_Extension_Aggregate);
4257 Set_Flag11 (N, Val);
4258 end Set_Expansion_Delayed;
4260 procedure Set_Explicit_Actual_Parameter
4261 (N : Node_Id; Val : Node_Id) is
4263 pragma Assert (False
4264 or else NT (N).Nkind = N_Parameter_Association);
4265 Set_Node3_With_Parent (N, Val);
4266 end Set_Explicit_Actual_Parameter;
4268 procedure Set_Explicit_Generic_Actual_Parameter
4269 (N : Node_Id; Val : Node_Id) is
4271 pragma Assert (False
4272 or else NT (N).Nkind = N_Generic_Association);
4273 Set_Node1_With_Parent (N, Val);
4274 end Set_Explicit_Generic_Actual_Parameter;
4276 procedure Set_Expression
4277 (N : Node_Id; Val : Node_Id) is
4279 pragma Assert (False
4280 or else NT (N).Nkind = N_Allocator
4281 or else NT (N).Nkind = N_Aspect_Specification
4282 or else NT (N).Nkind = N_Assignment_Statement
4283 or else NT (N).Nkind = N_At_Clause
4284 or else NT (N).Nkind = N_Attribute_Definition_Clause
4285 or else NT (N).Nkind = N_Case_Expression
4286 or else NT (N).Nkind = N_Case_Expression_Alternative
4287 or else NT (N).Nkind = N_Case_Statement
4288 or else NT (N).Nkind = N_Code_Statement
4289 or else NT (N).Nkind = N_Component_Association
4290 or else NT (N).Nkind = N_Component_Declaration
4291 or else NT (N).Nkind = N_Delay_Relative_Statement
4292 or else NT (N).Nkind = N_Delay_Until_Statement
4293 or else NT (N).Nkind = N_Discriminant_Association
4294 or else NT (N).Nkind = N_Discriminant_Specification
4295 or else NT (N).Nkind = N_Exception_Declaration
4296 or else NT (N).Nkind = N_Expression_Function
4297 or else NT (N).Nkind = N_Expression_With_Actions
4298 or else NT (N).Nkind = N_Free_Statement
4299 or else NT (N).Nkind = N_Mod_Clause
4300 or else NT (N).Nkind = N_Modular_Type_Definition
4301 or else NT (N).Nkind = N_Number_Declaration
4302 or else NT (N).Nkind = N_Object_Declaration
4303 or else NT (N).Nkind = N_Parameter_Specification
4304 or else NT (N).Nkind = N_Pragma_Argument_Association
4305 or else NT (N).Nkind = N_Qualified_Expression
4306 or else NT (N).Nkind = N_Raise_Statement
4307 or else NT (N).Nkind = N_Return_Statement
4308 or else NT (N).Nkind = N_Type_Conversion
4309 or else NT (N).Nkind = N_Unchecked_Expression
4310 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4311 Set_Node3_With_Parent (N, Val);
4314 procedure Set_Expressions
4315 (N : Node_Id; Val : List_Id) is
4317 pragma Assert (False
4318 or else NT (N).Nkind = N_Aggregate
4319 or else NT (N).Nkind = N_Attribute_Reference
4320 or else NT (N).Nkind = N_Conditional_Expression
4321 or else NT (N).Nkind = N_Extension_Aggregate
4322 or else NT (N).Nkind = N_Indexed_Component);
4323 Set_List1_With_Parent (N, Val);
4324 end Set_Expressions;
4326 procedure Set_First_Bit
4327 (N : Node_Id; Val : Node_Id) is
4329 pragma Assert (False
4330 or else NT (N).Nkind = N_Component_Clause);
4331 Set_Node3_With_Parent (N, Val);
4334 procedure Set_First_Inlined_Subprogram
4335 (N : Node_Id; Val : Entity_Id) is
4337 pragma Assert (False
4338 or else NT (N).Nkind = N_Compilation_Unit);
4339 Set_Node3 (N, Val); -- semantic field, no parent set
4340 end Set_First_Inlined_Subprogram;
4342 procedure Set_First_Name
4343 (N : Node_Id; Val : Boolean := True) is
4345 pragma Assert (False
4346 or else NT (N).Nkind = N_With_Clause);
4350 procedure Set_First_Named_Actual
4351 (N : Node_Id; Val : Node_Id) is
4353 pragma Assert (False
4354 or else NT (N).Nkind = N_Entry_Call_Statement
4355 or else NT (N).Nkind = N_Function_Call
4356 or else NT (N).Nkind = N_Procedure_Call_Statement);
4357 Set_Node4 (N, Val); -- semantic field, no parent set
4358 end Set_First_Named_Actual;
4360 procedure Set_First_Real_Statement
4361 (N : Node_Id; Val : Node_Id) is
4363 pragma Assert (False
4364 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4365 Set_Node2 (N, Val); -- semantic field, no parent set
4366 end Set_First_Real_Statement;
4368 procedure Set_First_Subtype_Link
4369 (N : Node_Id; Val : Entity_Id) is
4371 pragma Assert (False
4372 or else NT (N).Nkind = N_Freeze_Entity);
4373 Set_Node5 (N, Val); -- semantic field, no parent set
4374 end Set_First_Subtype_Link;
4376 procedure Set_Float_Truncate
4377 (N : Node_Id; Val : Boolean := True) is
4379 pragma Assert (False
4380 or else NT (N).Nkind = N_Type_Conversion);
4381 Set_Flag11 (N, Val);
4382 end Set_Float_Truncate;
4384 procedure Set_Formal_Type_Definition
4385 (N : Node_Id; Val : Node_Id) is
4387 pragma Assert (False
4388 or else NT (N).Nkind = N_Formal_Type_Declaration);
4389 Set_Node3_With_Parent (N, Val);
4390 end Set_Formal_Type_Definition;
4392 procedure Set_Forwards_OK
4393 (N : Node_Id; Val : Boolean := True) is
4395 pragma Assert (False
4396 or else NT (N).Nkind = N_Assignment_Statement);
4398 end Set_Forwards_OK;
4400 procedure Set_From_Aspect_Specification
4401 (N : Node_Id; Val : Boolean := True) is
4403 pragma Assert (False
4404 or else NT (N).Nkind = N_Attribute_Definition_Clause
4405 or else NT (N).Nkind = N_Pragma);
4406 Set_Flag13 (N, Val);
4407 end Set_From_Aspect_Specification;
4409 procedure Set_From_At_End
4410 (N : Node_Id; Val : Boolean := True) is
4412 pragma Assert (False
4413 or else NT (N).Nkind = N_Raise_Statement);
4415 end Set_From_At_End;
4417 procedure Set_From_At_Mod
4418 (N : Node_Id; Val : Boolean := True) is
4420 pragma Assert (False
4421 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4423 end Set_From_At_Mod;
4425 procedure Set_From_Default
4426 (N : Node_Id; Val : Boolean := True) is
4428 pragma Assert (False
4429 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4431 end Set_From_Default;
4433 procedure Set_Generic_Associations
4434 (N : Node_Id; Val : List_Id) is
4436 pragma Assert (False
4437 or else NT (N).Nkind = N_Formal_Package_Declaration
4438 or else NT (N).Nkind = N_Function_Instantiation
4439 or else NT (N).Nkind = N_Package_Instantiation
4440 or else NT (N).Nkind = N_Procedure_Instantiation);
4441 Set_List3_With_Parent (N, Val);
4442 end Set_Generic_Associations;
4444 procedure Set_Generic_Formal_Declarations
4445 (N : Node_Id; Val : List_Id) is
4447 pragma Assert (False
4448 or else NT (N).Nkind = N_Generic_Package_Declaration
4449 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4450 Set_List2_With_Parent (N, Val);
4451 end Set_Generic_Formal_Declarations;
4453 procedure Set_Generic_Parent
4454 (N : Node_Id; Val : Node_Id) is
4456 pragma Assert (False
4457 or else NT (N).Nkind = N_Function_Specification
4458 or else NT (N).Nkind = N_Package_Specification
4459 or else NT (N).Nkind = N_Procedure_Specification);
4461 end Set_Generic_Parent;
4463 procedure Set_Generic_Parent_Type
4464 (N : Node_Id; Val : Node_Id) is
4466 pragma Assert (False
4467 or else NT (N).Nkind = N_Subtype_Declaration);
4469 end Set_Generic_Parent_Type;
4471 procedure Set_Handled_Statement_Sequence
4472 (N : Node_Id; Val : Node_Id) is
4474 pragma Assert (False
4475 or else NT (N).Nkind = N_Accept_Statement
4476 or else NT (N).Nkind = N_Block_Statement
4477 or else NT (N).Nkind = N_Entry_Body
4478 or else NT (N).Nkind = N_Extended_Return_Statement
4479 or else NT (N).Nkind = N_Package_Body
4480 or else NT (N).Nkind = N_Subprogram_Body
4481 or else NT (N).Nkind = N_Task_Body);
4482 Set_Node4_With_Parent (N, Val);
4483 end Set_Handled_Statement_Sequence;
4485 procedure Set_Handler_List_Entry
4486 (N : Node_Id; Val : Node_Id) is
4488 pragma Assert (False
4489 or else NT (N).Nkind = N_Object_Declaration);
4491 end Set_Handler_List_Entry;
4493 procedure Set_Has_Created_Identifier
4494 (N : Node_Id; Val : Boolean := True) is
4496 pragma Assert (False
4497 or else NT (N).Nkind = N_Block_Statement
4498 or else NT (N).Nkind = N_Loop_Statement);
4499 Set_Flag15 (N, Val);
4500 end Set_Has_Created_Identifier;
4502 procedure Set_Has_Dynamic_Length_Check
4503 (N : Node_Id; Val : Boolean := True) is
4505 pragma Assert (False
4506 or else NT (N).Nkind in N_Subexpr);
4507 Set_Flag10 (N, Val);
4508 end Set_Has_Dynamic_Length_Check;
4510 procedure Set_Has_Dynamic_Range_Check
4511 (N : Node_Id; Val : Boolean := True) is
4513 pragma Assert (False
4514 or else NT (N).Nkind = N_Subtype_Declaration
4515 or else NT (N).Nkind in N_Subexpr);
4516 Set_Flag12 (N, Val);
4517 end Set_Has_Dynamic_Range_Check;
4519 procedure Set_Has_Init_Expression
4520 (N : Node_Id; Val : Boolean := True) is
4522 pragma Assert (False
4523 or else NT (N).Nkind = N_Object_Declaration);
4524 Set_Flag14 (N, Val);
4525 end Set_Has_Init_Expression;
4527 procedure Set_Has_Local_Raise
4528 (N : Node_Id; Val : Boolean := True) is
4530 pragma Assert (False
4531 or else NT (N).Nkind = N_Exception_Handler);
4533 end Set_Has_Local_Raise;
4535 procedure Set_Has_No_Elaboration_Code
4536 (N : Node_Id; Val : Boolean := True) is
4538 pragma Assert (False
4539 or else NT (N).Nkind = N_Compilation_Unit);
4540 Set_Flag17 (N, Val);
4541 end Set_Has_No_Elaboration_Code;
4543 procedure Set_Has_Pragma_CPU
4544 (N : Node_Id; Val : Boolean := True) is
4546 pragma Assert (False
4547 or else NT (N).Nkind = N_Subprogram_Body
4548 or else NT (N).Nkind = N_Task_Definition);
4549 Set_Flag14 (N, Val);
4550 end Set_Has_Pragma_CPU;
4552 procedure Set_Has_Pragma_Dispatching_Domain
4553 (N : Node_Id; Val : Boolean := True) is
4555 pragma Assert (False
4556 or else NT (N).Nkind = N_Task_Definition);
4557 Set_Flag15 (N, Val);
4558 end Set_Has_Pragma_Dispatching_Domain;
4560 procedure Set_Has_Pragma_Priority
4561 (N : Node_Id; Val : Boolean := True) is
4563 pragma Assert (False
4564 or else NT (N).Nkind = N_Protected_Definition
4565 or else NT (N).Nkind = N_Subprogram_Body
4566 or else NT (N).Nkind = N_Task_Definition);
4568 end Set_Has_Pragma_Priority;
4570 procedure Set_Has_Pragma_Suppress_All
4571 (N : Node_Id; Val : Boolean := True) is
4573 pragma Assert (False
4574 or else NT (N).Nkind = N_Compilation_Unit);
4575 Set_Flag14 (N, Val);
4576 end Set_Has_Pragma_Suppress_All;
4578 procedure Set_Has_Private_View
4579 (N : Node_Id; Val : Boolean := True) is
4581 pragma Assert (False
4582 or else NT (N).Nkind in N_Op
4583 or else NT (N).Nkind = N_Character_Literal
4584 or else NT (N).Nkind = N_Expanded_Name
4585 or else NT (N).Nkind = N_Identifier
4586 or else NT (N).Nkind = N_Operator_Symbol);
4587 Set_Flag11 (N, Val);
4588 end Set_Has_Private_View;
4590 procedure Set_Has_Relative_Deadline_Pragma
4591 (N : Node_Id; Val : Boolean := True) is
4593 pragma Assert (False
4594 or else NT (N).Nkind = N_Subprogram_Body
4595 or else NT (N).Nkind = N_Task_Definition);
4597 end Set_Has_Relative_Deadline_Pragma;
4599 procedure Set_Has_Self_Reference
4600 (N : Node_Id; Val : Boolean := True) is
4602 pragma Assert (False
4603 or else NT (N).Nkind = N_Aggregate
4604 or else NT (N).Nkind = N_Extension_Aggregate);
4605 Set_Flag13 (N, Val);
4606 end Set_Has_Self_Reference;
4608 procedure Set_Has_Storage_Size_Pragma
4609 (N : Node_Id; Val : Boolean := True) is
4611 pragma Assert (False
4612 or else NT (N).Nkind = N_Task_Definition);
4614 end Set_Has_Storage_Size_Pragma;
4616 procedure Set_Has_Task_Info_Pragma
4617 (N : Node_Id; Val : Boolean := True) is
4619 pragma Assert (False
4620 or else NT (N).Nkind = N_Task_Definition);
4622 end Set_Has_Task_Info_Pragma;
4624 procedure Set_Has_Task_Name_Pragma
4625 (N : Node_Id; Val : Boolean := True) is
4627 pragma Assert (False
4628 or else NT (N).Nkind = N_Task_Definition);
4630 end Set_Has_Task_Name_Pragma;
4632 procedure Set_Has_Wide_Character
4633 (N : Node_Id; Val : Boolean := True) is
4635 pragma Assert (False
4636 or else NT (N).Nkind = N_String_Literal);
4637 Set_Flag11 (N, Val);
4638 end Set_Has_Wide_Character;
4640 procedure Set_Has_Wide_Wide_Character
4641 (N : Node_Id; Val : Boolean := True) is
4643 pragma Assert (False
4644 or else NT (N).Nkind = N_String_Literal);
4645 Set_Flag13 (N, Val);
4646 end Set_Has_Wide_Wide_Character;
4648 procedure Set_Header_Size_Added
4649 (N : Node_Id; Val : Boolean := True) is
4651 pragma Assert (False
4652 or else NT (N).Nkind = N_Attribute_Reference);
4653 Set_Flag11 (N, Val);
4654 end Set_Header_Size_Added;
4656 procedure Set_Hidden_By_Use_Clause
4657 (N : Node_Id; Val : Elist_Id) is
4659 pragma Assert (False
4660 or else NT (N).Nkind = N_Use_Package_Clause
4661 or else NT (N).Nkind = N_Use_Type_Clause);
4662 Set_Elist4 (N, Val);
4663 end Set_Hidden_By_Use_Clause;
4665 procedure Set_High_Bound
4666 (N : Node_Id; Val : Node_Id) is
4668 pragma Assert (False
4669 or else NT (N).Nkind = N_Range
4670 or else NT (N).Nkind = N_Real_Range_Specification
4671 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4672 Set_Node2_With_Parent (N, Val);
4675 procedure Set_Identifier
4676 (N : Node_Id; Val : Node_Id) is
4678 pragma Assert (False
4679 or else NT (N).Nkind = N_Aspect_Specification
4680 or else NT (N).Nkind = N_At_Clause
4681 or else NT (N).Nkind = N_Block_Statement
4682 or else NT (N).Nkind = N_Designator
4683 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4684 or else NT (N).Nkind = N_Label
4685 or else NT (N).Nkind = N_Loop_Statement
4686 or else NT (N).Nkind = N_Record_Representation_Clause
4687 or else NT (N).Nkind = N_Subprogram_Info);
4688 Set_Node1_With_Parent (N, Val);
4691 procedure Set_Implicit_With
4692 (N : Node_Id; Val : Boolean := True) is
4694 pragma Assert (False
4695 or else NT (N).Nkind = N_With_Clause);
4696 Set_Flag16 (N, Val);
4697 end Set_Implicit_With;
4699 procedure Set_Interface_List
4700 (N : Node_Id; Val : List_Id) is
4702 pragma Assert (False
4703 or else NT (N).Nkind = N_Derived_Type_Definition
4704 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4705 or else NT (N).Nkind = N_Private_Extension_Declaration
4706 or else NT (N).Nkind = N_Protected_Type_Declaration
4707 or else NT (N).Nkind = N_Record_Definition
4708 or else NT (N).Nkind = N_Single_Protected_Declaration
4709 or else NT (N).Nkind = N_Single_Task_Declaration
4710 or else NT (N).Nkind = N_Task_Type_Declaration);
4711 Set_List2_With_Parent (N, Val);
4712 end Set_Interface_List;
4714 procedure Set_Interface_Present
4715 (N : Node_Id; Val : Boolean := True) is
4717 pragma Assert (False
4718 or else NT (N).Nkind = N_Derived_Type_Definition
4719 or else NT (N).Nkind = N_Record_Definition);
4720 Set_Flag16 (N, Val);
4721 end Set_Interface_Present;
4723 procedure Set_Import_Interface_Present
4724 (N : Node_Id; Val : Boolean := True) is
4726 pragma Assert (False
4727 or else NT (N).Nkind = N_Pragma);
4728 Set_Flag16 (N, Val);
4729 end Set_Import_Interface_Present;
4731 procedure Set_In_Present
4732 (N : Node_Id; Val : Boolean := True) is
4734 pragma Assert (False
4735 or else NT (N).Nkind = N_Formal_Object_Declaration
4736 or else NT (N).Nkind = N_Parameter_Specification);
4737 Set_Flag15 (N, Val);
4740 procedure Set_Includes_Infinities
4741 (N : Node_Id; Val : Boolean := True) is
4743 pragma Assert (False
4744 or else NT (N).Nkind = N_Range);
4745 Set_Flag11 (N, Val);
4746 end Set_Includes_Infinities;
4748 procedure Set_Inherited_Discriminant
4749 (N : Node_Id; Val : Boolean := True) is
4751 pragma Assert (False
4752 or else NT (N).Nkind = N_Component_Association);
4753 Set_Flag13 (N, Val);
4754 end Set_Inherited_Discriminant;
4756 procedure Set_Instance_Spec
4757 (N : Node_Id; Val : Node_Id) is
4759 pragma Assert (False
4760 or else NT (N).Nkind = N_Formal_Package_Declaration
4761 or else NT (N).Nkind = N_Function_Instantiation
4762 or else NT (N).Nkind = N_Package_Instantiation
4763 or else NT (N).Nkind = N_Procedure_Instantiation);
4764 Set_Node5 (N, Val); -- semantic field, no Parent set
4765 end Set_Instance_Spec;
4767 procedure Set_Intval
4768 (N : Node_Id; Val : Uint) is
4770 pragma Assert (False
4771 or else NT (N).Nkind = N_Integer_Literal);
4775 procedure Set_Is_Accessibility_Actual
4776 (N : Node_Id; Val : Boolean := True) is
4778 pragma Assert (False
4779 or else NT (N).Nkind = N_Parameter_Association);
4780 Set_Flag13 (N, Val);
4781 end Set_Is_Accessibility_Actual;
4783 procedure Set_Is_Asynchronous_Call_Block
4784 (N : Node_Id; Val : Boolean := True) is
4786 pragma Assert (False
4787 or else NT (N).Nkind = N_Block_Statement);
4789 end Set_Is_Asynchronous_Call_Block;
4791 procedure Set_Is_Boolean_Aspect
4792 (N : Node_Id; Val : Boolean := True) is
4794 pragma Assert (False
4795 or else NT (N).Nkind = N_Aspect_Specification);
4796 Set_Flag16 (N, Val);
4797 end Set_Is_Boolean_Aspect;
4799 procedure Set_Is_Component_Left_Opnd
4800 (N : Node_Id; Val : Boolean := True) is
4802 pragma Assert (False
4803 or else NT (N).Nkind = N_Op_Concat);
4804 Set_Flag13 (N, Val);
4805 end Set_Is_Component_Left_Opnd;
4807 procedure Set_Is_Component_Right_Opnd
4808 (N : Node_Id; Val : Boolean := True) is
4810 pragma Assert (False
4811 or else NT (N).Nkind = N_Op_Concat);
4812 Set_Flag14 (N, Val);
4813 end Set_Is_Component_Right_Opnd;
4815 procedure Set_Is_Controlling_Actual
4816 (N : Node_Id; Val : Boolean := True) is
4818 pragma Assert (False
4819 or else NT (N).Nkind in N_Subexpr);
4820 Set_Flag16 (N, Val);
4821 end Set_Is_Controlling_Actual;
4823 procedure Set_Is_Delayed_Aspect
4824 (N : Node_Id; Val : Boolean := True) is
4826 pragma Assert (False
4827 or else NT (N).Nkind = N_Aspect_Specification
4828 or else NT (N).Nkind = N_Attribute_Definition_Clause
4829 or else NT (N).Nkind = N_Pragma);
4830 Set_Flag14 (N, Val);
4831 end Set_Is_Delayed_Aspect;
4833 procedure Set_Is_Dynamic_Coextension
4834 (N : Node_Id; Val : Boolean := True) is
4836 pragma Assert (False
4837 or else NT (N).Nkind = N_Allocator);
4838 Set_Flag18 (N, Val);
4839 end Set_Is_Dynamic_Coextension;
4841 procedure Set_Is_Elsif
4842 (N : Node_Id; Val : Boolean := True) is
4844 pragma Assert (False
4845 or else NT (N).Nkind = N_Conditional_Expression);
4846 Set_Flag13 (N, Val);
4849 procedure Set_Is_Entry_Barrier_Function
4850 (N : Node_Id; Val : Boolean := True) is
4852 pragma Assert (False
4853 or else NT (N).Nkind = N_Subprogram_Body);
4855 end Set_Is_Entry_Barrier_Function;
4857 procedure Set_Is_Expanded_Build_In_Place_Call
4858 (N : Node_Id; Val : Boolean := True) is
4860 pragma Assert (False
4861 or else NT (N).Nkind = N_Function_Call);
4862 Set_Flag11 (N, Val);
4863 end Set_Is_Expanded_Build_In_Place_Call;
4865 procedure Set_Is_Folded_In_Parser
4866 (N : Node_Id; Val : Boolean := True) is
4868 pragma Assert (False
4869 or else NT (N).Nkind = N_String_Literal);
4871 end Set_Is_Folded_In_Parser;
4873 procedure Set_Is_In_Discriminant_Check
4874 (N : Node_Id; Val : Boolean := True) is
4876 pragma Assert (False
4877 or else NT (N).Nkind = N_Selected_Component);
4878 Set_Flag11 (N, Val);
4879 end Set_Is_In_Discriminant_Check;
4881 procedure Set_Is_Machine_Number
4882 (N : Node_Id; Val : Boolean := True) is
4884 pragma Assert (False
4885 or else NT (N).Nkind = N_Real_Literal);
4886 Set_Flag11 (N, Val);
4887 end Set_Is_Machine_Number;
4889 procedure Set_Is_Null_Loop
4890 (N : Node_Id; Val : Boolean := True) is
4892 pragma Assert (False
4893 or else NT (N).Nkind = N_Loop_Statement);
4894 Set_Flag16 (N, Val);
4895 end Set_Is_Null_Loop;
4897 procedure Set_Is_Overloaded
4898 (N : Node_Id; Val : Boolean := True) is
4900 pragma Assert (False
4901 or else NT (N).Nkind in N_Subexpr);
4903 end Set_Is_Overloaded;
4905 procedure Set_Is_Power_Of_2_For_Shift
4906 (N : Node_Id; Val : Boolean := True) is
4908 pragma Assert (False
4909 or else NT (N).Nkind = N_Op_Expon);
4910 Set_Flag13 (N, Val);
4911 end Set_Is_Power_Of_2_For_Shift;
4913 procedure Set_Is_Protected_Subprogram_Body
4914 (N : Node_Id; Val : Boolean := True) is
4916 pragma Assert (False
4917 or else NT (N).Nkind = N_Subprogram_Body);
4919 end Set_Is_Protected_Subprogram_Body;
4921 procedure Set_Is_Static_Coextension
4922 (N : Node_Id; Val : Boolean := True) is
4924 pragma Assert (False
4925 or else NT (N).Nkind = N_Allocator);
4926 Set_Flag14 (N, Val);
4927 end Set_Is_Static_Coextension;
4929 procedure Set_Is_Static_Expression
4930 (N : Node_Id; Val : Boolean := True) is
4932 pragma Assert (False
4933 or else NT (N).Nkind in N_Subexpr);
4935 end Set_Is_Static_Expression;
4937 procedure Set_Is_Subprogram_Descriptor
4938 (N : Node_Id; Val : Boolean := True) is
4940 pragma Assert (False
4941 or else NT (N).Nkind = N_Object_Declaration);
4942 Set_Flag16 (N, Val);
4943 end Set_Is_Subprogram_Descriptor;
4945 procedure Set_Is_Task_Allocation_Block
4946 (N : Node_Id; Val : Boolean := True) is
4948 pragma Assert (False
4949 or else NT (N).Nkind = N_Block_Statement);
4951 end Set_Is_Task_Allocation_Block;
4953 procedure Set_Is_Task_Master
4954 (N : Node_Id; Val : Boolean := True) is
4956 pragma Assert (False
4957 or else NT (N).Nkind = N_Block_Statement
4958 or else NT (N).Nkind = N_Subprogram_Body
4959 or else NT (N).Nkind = N_Task_Body);
4961 end Set_Is_Task_Master;
4963 procedure Set_Iteration_Scheme
4964 (N : Node_Id; Val : Node_Id) is
4966 pragma Assert (False
4967 or else NT (N).Nkind = N_Loop_Statement);
4968 Set_Node2_With_Parent (N, Val);
4969 end Set_Iteration_Scheme;
4971 procedure Set_Iterator_Specification
4972 (N : Node_Id; Val : Node_Id) is
4974 pragma Assert (False
4975 or else NT (N).Nkind = N_Iteration_Scheme
4976 or else NT (N).Nkind = N_Quantified_Expression);
4977 Set_Node2_With_Parent (N, Val);
4978 end Set_Iterator_Specification;
4981 (N : Node_Id; Val : Entity_Id) is
4983 pragma Assert (False
4984 or else NT (N).Nkind = N_Itype_Reference);
4985 Set_Node1 (N, Val); -- no parent, semantic field
4988 procedure Set_Kill_Range_Check
4989 (N : Node_Id; Val : Boolean := True) is
4991 pragma Assert (False
4992 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4993 Set_Flag11 (N, Val);
4994 end Set_Kill_Range_Check;
4996 procedure Set_Label_Construct
4997 (N : Node_Id; Val : Node_Id) is
4999 pragma Assert (False
5000 or else NT (N).Nkind = N_Implicit_Label_Declaration);
5001 Set_Node2 (N, Val); -- semantic field, no parent set
5002 end Set_Label_Construct;
5004 procedure Set_Last_Bit
5005 (N : Node_Id; Val : Node_Id) is
5007 pragma Assert (False
5008 or else NT (N).Nkind = N_Component_Clause);
5009 Set_Node4_With_Parent (N, Val);
5012 procedure Set_Last_Name
5013 (N : Node_Id; Val : Boolean := True) is
5015 pragma Assert (False
5016 or else NT (N).Nkind = N_With_Clause);
5020 procedure Set_Left_Opnd
5021 (N : Node_Id; Val : Node_Id) is
5023 pragma Assert (False
5024 or else NT (N).Nkind = N_And_Then
5025 or else NT (N).Nkind = N_In
5026 or else NT (N).Nkind = N_Not_In
5027 or else NT (N).Nkind = N_Or_Else
5028 or else NT (N).Nkind in N_Binary_Op);
5029 Set_Node2_With_Parent (N, Val);
5032 procedure Set_Library_Unit
5033 (N : Node_Id; Val : Node_Id) is
5035 pragma Assert (False
5036 or else NT (N).Nkind = N_Compilation_Unit
5037 or else NT (N).Nkind = N_Package_Body_Stub
5038 or else NT (N).Nkind = N_Protected_Body_Stub
5039 or else NT (N).Nkind = N_Subprogram_Body_Stub
5040 or else NT (N).Nkind = N_Task_Body_Stub
5041 or else NT (N).Nkind = N_With_Clause);
5042 Set_Node4 (N, Val); -- semantic field, no parent set
5043 end Set_Library_Unit;
5045 procedure Set_Limited_View_Installed
5046 (N : Node_Id; Val : Boolean := True) is
5048 pragma Assert (False
5049 or else NT (N).Nkind = N_Package_Specification
5050 or else NT (N).Nkind = N_With_Clause);
5051 Set_Flag18 (N, Val);
5052 end Set_Limited_View_Installed;
5054 procedure Set_Limited_Present
5055 (N : Node_Id; Val : Boolean := True) is
5057 pragma Assert (False
5058 or else NT (N).Nkind = N_Derived_Type_Definition
5059 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5060 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5061 or else NT (N).Nkind = N_Private_Extension_Declaration
5062 or else NT (N).Nkind = N_Private_Type_Declaration
5063 or else NT (N).Nkind = N_Record_Definition
5064 or else NT (N).Nkind = N_With_Clause);
5065 Set_Flag17 (N, Val);
5066 end Set_Limited_Present;
5068 procedure Set_Literals
5069 (N : Node_Id; Val : List_Id) is
5071 pragma Assert (False
5072 or else NT (N).Nkind = N_Enumeration_Type_Definition);
5073 Set_List1_With_Parent (N, Val);
5076 procedure Set_Local_Raise_Not_OK
5077 (N : Node_Id; Val : Boolean := True) is
5079 pragma Assert (False
5080 or else NT (N).Nkind = N_Exception_Handler);
5082 end Set_Local_Raise_Not_OK;
5084 procedure Set_Local_Raise_Statements
5085 (N : Node_Id; Val : Elist_Id) is
5087 pragma Assert (False
5088 or else NT (N).Nkind = N_Exception_Handler);
5089 Set_Elist1 (N, Val);
5090 end Set_Local_Raise_Statements;
5092 procedure Set_Loop_Actions
5093 (N : Node_Id; Val : List_Id) is
5095 pragma Assert (False
5096 or else NT (N).Nkind = N_Component_Association);
5097 Set_List2 (N, Val); -- semantic field, no parent set
5098 end Set_Loop_Actions;
5100 procedure Set_Loop_Parameter_Specification
5101 (N : Node_Id; Val : Node_Id) is
5103 pragma Assert (False
5104 or else NT (N).Nkind = N_Iteration_Scheme
5105 or else NT (N).Nkind = N_Quantified_Expression);
5106 Set_Node4_With_Parent (N, Val);
5107 end Set_Loop_Parameter_Specification;
5109 procedure Set_Low_Bound
5110 (N : Node_Id; Val : Node_Id) is
5112 pragma Assert (False
5113 or else NT (N).Nkind = N_Range
5114 or else NT (N).Nkind = N_Real_Range_Specification
5115 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5116 Set_Node1_With_Parent (N, Val);
5119 procedure Set_Mod_Clause
5120 (N : Node_Id; Val : Node_Id) is
5122 pragma Assert (False
5123 or else NT (N).Nkind = N_Record_Representation_Clause);
5124 Set_Node2_With_Parent (N, Val);
5127 procedure Set_More_Ids
5128 (N : Node_Id; Val : Boolean := True) is
5130 pragma Assert (False
5131 or else NT (N).Nkind = N_Component_Declaration
5132 or else NT (N).Nkind = N_Discriminant_Specification
5133 or else NT (N).Nkind = N_Exception_Declaration
5134 or else NT (N).Nkind = N_Formal_Object_Declaration
5135 or else NT (N).Nkind = N_Number_Declaration
5136 or else NT (N).Nkind = N_Object_Declaration
5137 or else NT (N).Nkind = N_Parameter_Specification);
5141 procedure Set_Must_Be_Byte_Aligned
5142 (N : Node_Id; Val : Boolean := True) is
5144 pragma Assert (False
5145 or else NT (N).Nkind = N_Attribute_Reference);
5146 Set_Flag14 (N, Val);
5147 end Set_Must_Be_Byte_Aligned;
5149 procedure Set_Must_Not_Freeze
5150 (N : Node_Id; Val : Boolean := True) is
5152 pragma Assert (False
5153 or else NT (N).Nkind = N_Subtype_Indication
5154 or else NT (N).Nkind in N_Subexpr);
5156 end Set_Must_Not_Freeze;
5158 procedure Set_Must_Not_Override
5159 (N : Node_Id; Val : Boolean := True) is
5161 pragma Assert (False
5162 or else NT (N).Nkind = N_Entry_Declaration
5163 or else NT (N).Nkind = N_Function_Instantiation
5164 or else NT (N).Nkind = N_Function_Specification
5165 or else NT (N).Nkind = N_Procedure_Instantiation
5166 or else NT (N).Nkind = N_Procedure_Specification);
5167 Set_Flag15 (N, Val);
5168 end Set_Must_Not_Override;
5170 procedure Set_Must_Override
5171 (N : Node_Id; Val : Boolean := True) is
5173 pragma Assert (False
5174 or else NT (N).Nkind = N_Entry_Declaration
5175 or else NT (N).Nkind = N_Function_Instantiation
5176 or else NT (N).Nkind = N_Function_Specification
5177 or else NT (N).Nkind = N_Procedure_Instantiation
5178 or else NT (N).Nkind = N_Procedure_Specification);
5179 Set_Flag14 (N, Val);
5180 end Set_Must_Override;
5183 (N : Node_Id; Val : Node_Id) is
5185 pragma Assert (False
5186 or else NT (N).Nkind = N_Assignment_Statement
5187 or else NT (N).Nkind = N_Attribute_Definition_Clause
5188 or else NT (N).Nkind = N_Defining_Program_Unit_Name
5189 or else NT (N).Nkind = N_Designator
5190 or else NT (N).Nkind = N_Entry_Call_Statement
5191 or else NT (N).Nkind = N_Exception_Renaming_Declaration
5192 or else NT (N).Nkind = N_Exit_Statement
5193 or else NT (N).Nkind = N_Formal_Package_Declaration
5194 or else NT (N).Nkind = N_Function_Call
5195 or else NT (N).Nkind = N_Function_Instantiation
5196 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5197 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5198 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5199 or else NT (N).Nkind = N_Goto_Statement
5200 or else NT (N).Nkind = N_Iterator_Specification
5201 or else NT (N).Nkind = N_Object_Renaming_Declaration
5202 or else NT (N).Nkind = N_Package_Instantiation
5203 or else NT (N).Nkind = N_Package_Renaming_Declaration
5204 or else NT (N).Nkind = N_Procedure_Call_Statement
5205 or else NT (N).Nkind = N_Procedure_Instantiation
5206 or else NT (N).Nkind = N_Raise_Statement
5207 or else NT (N).Nkind = N_Requeue_Statement
5208 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5209 or else NT (N).Nkind = N_Subunit
5210 or else NT (N).Nkind = N_Variant_Part
5211 or else NT (N).Nkind = N_With_Clause);
5212 Set_Node2_With_Parent (N, Val);
5216 (N : Node_Id; Val : List_Id) is
5218 pragma Assert (False
5219 or else NT (N).Nkind = N_Abort_Statement
5220 or else NT (N).Nkind = N_Use_Package_Clause);
5221 Set_List2_With_Parent (N, Val);
5224 procedure Set_Next_Entity
5225 (N : Node_Id; Val : Node_Id) is
5227 pragma Assert (False
5228 or else NT (N).Nkind = N_Defining_Character_Literal
5229 or else NT (N).Nkind = N_Defining_Identifier
5230 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5231 Set_Node2 (N, Val); -- semantic field, no parent set
5232 end Set_Next_Entity;
5234 procedure Set_Next_Exit_Statement
5235 (N : Node_Id; Val : Node_Id) is
5237 pragma Assert (False
5238 or else NT (N).Nkind = N_Exit_Statement);
5239 Set_Node3 (N, Val); -- semantic field, no parent set
5240 end Set_Next_Exit_Statement;
5242 procedure Set_Next_Implicit_With
5243 (N : Node_Id; Val : Node_Id) is
5245 pragma Assert (False
5246 or else NT (N).Nkind = N_With_Clause);
5247 Set_Node3 (N, Val); -- semantic field, no parent set
5248 end Set_Next_Implicit_With;
5250 procedure Set_Next_Named_Actual
5251 (N : Node_Id; Val : Node_Id) is
5253 pragma Assert (False
5254 or else NT (N).Nkind = N_Parameter_Association);
5255 Set_Node4 (N, Val); -- semantic field, no parent set
5256 end Set_Next_Named_Actual;
5258 procedure Set_Next_Pragma
5259 (N : Node_Id; Val : Node_Id) is
5261 pragma Assert (False
5262 or else NT (N).Nkind = N_Pragma);
5263 Set_Node1 (N, Val); -- semantic field, no parent set
5264 end Set_Next_Pragma;
5266 procedure Set_Next_Rep_Item
5267 (N : Node_Id; Val : Node_Id) is
5269 pragma Assert (False
5270 or else NT (N).Nkind = N_Aspect_Specification
5271 or else NT (N).Nkind = N_Attribute_Definition_Clause
5272 or else NT (N).Nkind = N_Enumeration_Representation_Clause
5273 or else NT (N).Nkind = N_Pragma
5274 or else NT (N).Nkind = N_Record_Representation_Clause);
5275 Set_Node5 (N, Val); -- semantic field, no parent set
5276 end Set_Next_Rep_Item;
5278 procedure Set_Next_Use_Clause
5279 (N : Node_Id; Val : Node_Id) is
5281 pragma Assert (False
5282 or else NT (N).Nkind = N_Use_Package_Clause
5283 or else NT (N).Nkind = N_Use_Type_Clause);
5284 Set_Node3 (N, Val); -- semantic field, no parent set
5285 end Set_Next_Use_Clause;
5287 procedure Set_No_Ctrl_Actions
5288 (N : Node_Id; Val : Boolean := True) is
5290 pragma Assert (False
5291 or else NT (N).Nkind = N_Assignment_Statement);
5293 end Set_No_Ctrl_Actions;
5295 procedure Set_No_Elaboration_Check
5296 (N : Node_Id; Val : Boolean := True) is
5298 pragma Assert (False
5299 or else NT (N).Nkind = N_Function_Call
5300 or else NT (N).Nkind = N_Procedure_Call_Statement);
5301 Set_Flag14 (N, Val);
5302 end Set_No_Elaboration_Check;
5304 procedure Set_No_Entities_Ref_In_Spec
5305 (N : Node_Id; Val : Boolean := True) is
5307 pragma Assert (False
5308 or else NT (N).Nkind = N_With_Clause);
5310 end Set_No_Entities_Ref_In_Spec;
5312 procedure Set_No_Initialization
5313 (N : Node_Id; Val : Boolean := True) is
5315 pragma Assert (False
5316 or else NT (N).Nkind = N_Allocator
5317 or else NT (N).Nkind = N_Object_Declaration);
5318 Set_Flag13 (N, Val);
5319 end Set_No_Initialization;
5321 procedure Set_No_Truncation
5322 (N : Node_Id; Val : Boolean := True) is
5324 pragma Assert (False
5325 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5326 Set_Flag17 (N, Val);
5327 end Set_No_Truncation;
5329 procedure Set_Null_Present
5330 (N : Node_Id; Val : Boolean := True) is
5332 pragma Assert (False
5333 or else NT (N).Nkind = N_Component_List
5334 or else NT (N).Nkind = N_Procedure_Specification
5335 or else NT (N).Nkind = N_Record_Definition);
5336 Set_Flag13 (N, Val);
5337 end Set_Null_Present;
5339 procedure Set_Null_Exclusion_Present
5340 (N : Node_Id; Val : Boolean := True) is
5342 pragma Assert (False
5343 or else NT (N).Nkind = N_Access_Definition
5344 or else NT (N).Nkind = N_Access_Function_Definition
5345 or else NT (N).Nkind = N_Access_Procedure_Definition
5346 or else NT (N).Nkind = N_Access_To_Object_Definition
5347 or else NT (N).Nkind = N_Allocator
5348 or else NT (N).Nkind = N_Component_Definition
5349 or else NT (N).Nkind = N_Derived_Type_Definition
5350 or else NT (N).Nkind = N_Discriminant_Specification
5351 or else NT (N).Nkind = N_Formal_Object_Declaration
5352 or else NT (N).Nkind = N_Function_Specification
5353 or else NT (N).Nkind = N_Object_Declaration
5354 or else NT (N).Nkind = N_Object_Renaming_Declaration
5355 or else NT (N).Nkind = N_Parameter_Specification
5356 or else NT (N).Nkind = N_Subtype_Declaration);
5357 Set_Flag11 (N, Val);
5358 end Set_Null_Exclusion_Present;
5360 procedure Set_Null_Exclusion_In_Return_Present
5361 (N : Node_Id; Val : Boolean := True) is
5363 pragma Assert (False
5364 or else NT (N).Nkind = N_Access_Function_Definition);
5365 Set_Flag14 (N, Val);
5366 end Set_Null_Exclusion_In_Return_Present;
5368 procedure Set_Null_Record_Present
5369 (N : Node_Id; Val : Boolean := True) is
5371 pragma Assert (False
5372 or else NT (N).Nkind = N_Aggregate
5373 or else NT (N).Nkind = N_Extension_Aggregate);
5374 Set_Flag17 (N, Val);
5375 end Set_Null_Record_Present;
5377 procedure Set_Object_Definition
5378 (N : Node_Id; Val : Node_Id) is
5380 pragma Assert (False
5381 or else NT (N).Nkind = N_Object_Declaration);
5382 Set_Node4_With_Parent (N, Val);
5383 end Set_Object_Definition;
5385 procedure Set_Of_Present
5386 (N : Node_Id; Val : Boolean := True) is
5388 pragma Assert (False
5389 or else NT (N).Nkind = N_Iterator_Specification);
5390 Set_Flag16 (N, Val);
5393 procedure Set_Original_Discriminant
5394 (N : Node_Id; Val : Node_Id) is
5396 pragma Assert (False
5397 or else NT (N).Nkind = N_Identifier);
5398 Set_Node2 (N, Val); -- semantic field, no parent set
5399 end Set_Original_Discriminant;
5401 procedure Set_Original_Entity
5402 (N : Node_Id; Val : Entity_Id) is
5404 pragma Assert (False
5405 or else NT (N).Nkind = N_Integer_Literal
5406 or else NT (N).Nkind = N_Real_Literal);
5407 Set_Node2 (N, Val); -- semantic field, no parent set
5408 end Set_Original_Entity;
5410 procedure Set_Others_Discrete_Choices
5411 (N : Node_Id; Val : List_Id) is
5413 pragma Assert (False
5414 or else NT (N).Nkind = N_Others_Choice);
5415 Set_List1_With_Parent (N, Val);
5416 end Set_Others_Discrete_Choices;
5418 procedure Set_Out_Present
5419 (N : Node_Id; Val : Boolean := True) is
5421 pragma Assert (False
5422 or else NT (N).Nkind = N_Formal_Object_Declaration
5423 or else NT (N).Nkind = N_Parameter_Specification);
5424 Set_Flag17 (N, Val);
5425 end Set_Out_Present;
5427 procedure Set_Parameter_Associations
5428 (N : Node_Id; Val : List_Id) is
5430 pragma Assert (False
5431 or else NT (N).Nkind = N_Entry_Call_Statement
5432 or else NT (N).Nkind = N_Function_Call
5433 or else NT (N).Nkind = N_Procedure_Call_Statement);
5434 Set_List3_With_Parent (N, Val);
5435 end Set_Parameter_Associations;
5437 procedure Set_Parameter_List_Truncated
5438 (N : Node_Id; Val : Boolean := True) is
5440 pragma Assert (False
5441 or else NT (N).Nkind = N_Function_Call
5442 or else NT (N).Nkind = N_Procedure_Call_Statement);
5443 Set_Flag17 (N, Val);
5444 end Set_Parameter_List_Truncated;
5446 procedure Set_Parameter_Specifications
5447 (N : Node_Id; Val : List_Id) is
5449 pragma Assert (False
5450 or else NT (N).Nkind = N_Accept_Statement
5451 or else NT (N).Nkind = N_Access_Function_Definition
5452 or else NT (N).Nkind = N_Access_Procedure_Definition
5453 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5454 or else NT (N).Nkind = N_Entry_Declaration
5455 or else NT (N).Nkind = N_Function_Specification
5456 or else NT (N).Nkind = N_Procedure_Specification);
5457 Set_List3_With_Parent (N, Val);
5458 end Set_Parameter_Specifications;
5460 procedure Set_Parameter_Type
5461 (N : Node_Id; Val : Node_Id) is
5463 pragma Assert (False
5464 or else NT (N).Nkind = N_Parameter_Specification);
5465 Set_Node2_With_Parent (N, Val);
5466 end Set_Parameter_Type;
5468 procedure Set_Parent_Spec
5469 (N : Node_Id; Val : Node_Id) is
5471 pragma Assert (False
5472 or else NT (N).Nkind = N_Function_Instantiation
5473 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5474 or else NT (N).Nkind = N_Generic_Package_Declaration
5475 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5476 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5477 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5478 or else NT (N).Nkind = N_Package_Declaration
5479 or else NT (N).Nkind = N_Package_Instantiation
5480 or else NT (N).Nkind = N_Package_Renaming_Declaration
5481 or else NT (N).Nkind = N_Procedure_Instantiation
5482 or else NT (N).Nkind = N_Subprogram_Declaration
5483 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5484 Set_Node4 (N, Val); -- semantic field, no parent set
5485 end Set_Parent_Spec;
5487 procedure Set_Position
5488 (N : Node_Id; Val : Node_Id) is
5490 pragma Assert (False
5491 or else NT (N).Nkind = N_Component_Clause);
5492 Set_Node2_With_Parent (N, Val);
5495 procedure Set_Pragma_Argument_Associations
5496 (N : Node_Id; Val : List_Id) is
5498 pragma Assert (False
5499 or else NT (N).Nkind = N_Pragma);
5500 Set_List2_With_Parent (N, Val);
5501 end Set_Pragma_Argument_Associations;
5503 procedure Set_Pragma_Identifier
5504 (N : Node_Id; Val : Node_Id) is
5506 pragma Assert (False
5507 or else NT (N).Nkind = N_Pragma);
5508 Set_Node4_With_Parent (N, Val);
5509 end Set_Pragma_Identifier;
5511 procedure Set_Pragmas_After
5512 (N : Node_Id; Val : List_Id) is
5514 pragma Assert (False
5515 or else NT (N).Nkind = N_Compilation_Unit_Aux
5516 or else NT (N).Nkind = N_Terminate_Alternative);
5517 Set_List5_With_Parent (N, Val);
5518 end Set_Pragmas_After;
5520 procedure Set_Pragmas_Before
5521 (N : Node_Id; Val : List_Id) is
5523 pragma Assert (False
5524 or else NT (N).Nkind = N_Accept_Alternative
5525 or else NT (N).Nkind = N_Delay_Alternative
5526 or else NT (N).Nkind = N_Entry_Call_Alternative
5527 or else NT (N).Nkind = N_Mod_Clause
5528 or else NT (N).Nkind = N_Terminate_Alternative
5529 or else NT (N).Nkind = N_Triggering_Alternative);
5530 Set_List4_With_Parent (N, Val);
5531 end Set_Pragmas_Before;
5533 procedure Set_Prefix
5534 (N : Node_Id; Val : Node_Id) is
5536 pragma Assert (False
5537 or else NT (N).Nkind = N_Attribute_Reference
5538 or else NT (N).Nkind = N_Expanded_Name
5539 or else NT (N).Nkind = N_Explicit_Dereference
5540 or else NT (N).Nkind = N_Indexed_Component
5541 or else NT (N).Nkind = N_Reference
5542 or else NT (N).Nkind = N_Selected_Component
5543 or else NT (N).Nkind = N_Slice);
5544 Set_Node3_With_Parent (N, Val);
5547 procedure Set_Premature_Use
5548 (N : Node_Id; Val : Node_Id) is
5550 pragma Assert (False
5551 or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5553 end Set_Premature_Use;
5555 procedure Set_Present_Expr
5556 (N : Node_Id; Val : Uint) is
5558 pragma Assert (False
5559 or else NT (N).Nkind = N_Variant);
5561 end Set_Present_Expr;
5563 procedure Set_Prev_Ids
5564 (N : Node_Id; Val : Boolean := True) is
5566 pragma Assert (False
5567 or else NT (N).Nkind = N_Component_Declaration
5568 or else NT (N).Nkind = N_Discriminant_Specification
5569 or else NT (N).Nkind = N_Exception_Declaration
5570 or else NT (N).Nkind = N_Formal_Object_Declaration
5571 or else NT (N).Nkind = N_Number_Declaration
5572 or else NT (N).Nkind = N_Object_Declaration
5573 or else NT (N).Nkind = N_Parameter_Specification);
5577 procedure Set_Print_In_Hex
5578 (N : Node_Id; Val : Boolean := True) is
5580 pragma Assert (False
5581 or else NT (N).Nkind = N_Integer_Literal);
5582 Set_Flag13 (N, Val);
5583 end Set_Print_In_Hex;
5585 procedure Set_Private_Declarations
5586 (N : Node_Id; Val : List_Id) is
5588 pragma Assert (False
5589 or else NT (N).Nkind = N_Package_Specification
5590 or else NT (N).Nkind = N_Protected_Definition
5591 or else NT (N).Nkind = N_Task_Definition);
5592 Set_List3_With_Parent (N, Val);
5593 end Set_Private_Declarations;
5595 procedure Set_Private_Present
5596 (N : Node_Id; Val : Boolean := True) is
5598 pragma Assert (False
5599 or else NT (N).Nkind = N_Compilation_Unit
5600 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5601 or else NT (N).Nkind = N_With_Clause);
5602 Set_Flag15 (N, Val);
5603 end Set_Private_Present;
5605 procedure Set_Procedure_To_Call
5606 (N : Node_Id; Val : Node_Id) is
5608 pragma Assert (False
5609 or else NT (N).Nkind = N_Allocator
5610 or else NT (N).Nkind = N_Extended_Return_Statement
5611 or else NT (N).Nkind = N_Free_Statement
5612 or else NT (N).Nkind = N_Return_Statement);
5613 Set_Node2 (N, Val); -- semantic field, no parent set
5614 end Set_Procedure_To_Call;
5616 procedure Set_Proper_Body
5617 (N : Node_Id; Val : Node_Id) is
5619 pragma Assert (False
5620 or else NT (N).Nkind = N_Subunit);
5621 Set_Node1_With_Parent (N, Val);
5622 end Set_Proper_Body;
5624 procedure Set_Protected_Definition
5625 (N : Node_Id; Val : Node_Id) is
5627 pragma Assert (False
5628 or else NT (N).Nkind = N_Protected_Type_Declaration
5629 or else NT (N).Nkind = N_Single_Protected_Declaration);
5630 Set_Node3_With_Parent (N, Val);
5631 end Set_Protected_Definition;
5633 procedure Set_Protected_Present
5634 (N : Node_Id; Val : Boolean := True) is
5636 pragma Assert (False
5637 or else NT (N).Nkind = N_Access_Function_Definition
5638 or else NT (N).Nkind = N_Access_Procedure_Definition
5639 or else NT (N).Nkind = N_Derived_Type_Definition
5640 or else NT (N).Nkind = N_Record_Definition);
5642 end Set_Protected_Present;
5644 procedure Set_Raises_Constraint_Error
5645 (N : Node_Id; Val : Boolean := True) is
5647 pragma Assert (False
5648 or else NT (N).Nkind in N_Subexpr);
5650 end Set_Raises_Constraint_Error;
5652 procedure Set_Range_Constraint
5653 (N : Node_Id; Val : Node_Id) is
5655 pragma Assert (False
5656 or else NT (N).Nkind = N_Delta_Constraint
5657 or else NT (N).Nkind = N_Digits_Constraint);
5658 Set_Node4_With_Parent (N, Val);
5659 end Set_Range_Constraint;
5661 procedure Set_Range_Expression
5662 (N : Node_Id; Val : Node_Id) is
5664 pragma Assert (False
5665 or else NT (N).Nkind = N_Range_Constraint);
5666 Set_Node4_With_Parent (N, Val);
5667 end Set_Range_Expression;
5669 procedure Set_Real_Range_Specification
5670 (N : Node_Id; Val : Node_Id) is
5672 pragma Assert (False
5673 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5674 or else NT (N).Nkind = N_Floating_Point_Definition
5675 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5676 Set_Node4_With_Parent (N, Val);
5677 end Set_Real_Range_Specification;
5679 procedure Set_Realval
5680 (N : Node_Id; Val : Ureal) is
5682 pragma Assert (False
5683 or else NT (N).Nkind = N_Real_Literal);
5684 Set_Ureal3 (N, Val);
5687 procedure Set_Reason
5688 (N : Node_Id; Val : Uint) is
5690 pragma Assert (False
5691 or else NT (N).Nkind = N_Raise_Constraint_Error
5692 or else NT (N).Nkind = N_Raise_Program_Error
5693 or else NT (N).Nkind = N_Raise_Storage_Error);
5697 procedure Set_Record_Extension_Part
5698 (N : Node_Id; Val : Node_Id) is
5700 pragma Assert (False
5701 or else NT (N).Nkind = N_Derived_Type_Definition);
5702 Set_Node3_With_Parent (N, Val);
5703 end Set_Record_Extension_Part;
5705 procedure Set_Redundant_Use
5706 (N : Node_Id; Val : Boolean := True) is
5708 pragma Assert (False
5709 or else NT (N).Nkind = N_Attribute_Reference
5710 or else NT (N).Nkind = N_Expanded_Name
5711 or else NT (N).Nkind = N_Identifier);
5712 Set_Flag13 (N, Val);
5713 end Set_Redundant_Use;
5715 procedure Set_Renaming_Exception
5716 (N : Node_Id; Val : Node_Id) is
5718 pragma Assert (False
5719 or else NT (N).Nkind = N_Exception_Declaration);
5721 end Set_Renaming_Exception;
5723 procedure Set_Result_Definition
5724 (N : Node_Id; Val : Node_Id) is
5726 pragma Assert (False
5727 or else NT (N).Nkind = N_Access_Function_Definition
5728 or else NT (N).Nkind = N_Function_Specification);
5729 Set_Node4_With_Parent (N, Val);
5730 end Set_Result_Definition;
5732 procedure Set_Return_Object_Declarations
5733 (N : Node_Id; Val : List_Id) is
5735 pragma Assert (False
5736 or else NT (N).Nkind = N_Extended_Return_Statement);
5737 Set_List3_With_Parent (N, Val);
5738 end Set_Return_Object_Declarations;
5740 procedure Set_Return_Statement_Entity
5741 (N : Node_Id; Val : Node_Id) is
5743 pragma Assert (False
5744 or else NT (N).Nkind = N_Extended_Return_Statement
5745 or else NT (N).Nkind = N_Return_Statement);
5746 Set_Node5 (N, Val); -- semantic field, no parent set
5747 end Set_Return_Statement_Entity;
5749 procedure Set_Reverse_Present
5750 (N : Node_Id; Val : Boolean := True) is
5752 pragma Assert (False
5753 or else NT (N).Nkind = N_Iterator_Specification
5754 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5755 Set_Flag15 (N, Val);
5756 end Set_Reverse_Present;
5758 procedure Set_Right_Opnd
5759 (N : Node_Id; Val : Node_Id) is
5761 pragma Assert (False
5762 or else NT (N).Nkind in N_Op
5763 or else NT (N).Nkind = N_And_Then
5764 or else NT (N).Nkind = N_In
5765 or else NT (N).Nkind = N_Not_In
5766 or else NT (N).Nkind = N_Or_Else);
5767 Set_Node3_With_Parent (N, Val);
5770 procedure Set_Rounded_Result
5771 (N : Node_Id; Val : Boolean := True) is
5773 pragma Assert (False
5774 or else NT (N).Nkind = N_Op_Divide
5775 or else NT (N).Nkind = N_Op_Multiply
5776 or else NT (N).Nkind = N_Type_Conversion);
5777 Set_Flag18 (N, Val);
5778 end Set_Rounded_Result;
5780 procedure Set_SCIL_Controlling_Tag
5781 (N : Node_Id; Val : Node_Id) is
5783 pragma Assert (False
5784 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5785 Set_Node5 (N, Val); -- semantic field, no parent set
5786 end Set_SCIL_Controlling_Tag;
5788 procedure Set_SCIL_Entity
5789 (N : Node_Id; Val : Node_Id) is
5791 pragma Assert (False
5792 or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5793 or else NT (N).Nkind = N_SCIL_Dispatching_Call
5794 or else NT (N).Nkind = N_SCIL_Membership_Test);
5795 Set_Node4 (N, Val); -- semantic field, no parent set
5796 end Set_SCIL_Entity;
5798 procedure Set_SCIL_Tag_Value
5799 (N : Node_Id; Val : Node_Id) is
5801 pragma Assert (False
5802 or else NT (N).Nkind = N_SCIL_Membership_Test);
5803 Set_Node5 (N, Val); -- semantic field, no parent set
5804 end Set_SCIL_Tag_Value;
5806 procedure Set_SCIL_Target_Prim
5807 (N : Node_Id; Val : Node_Id) is
5809 pragma Assert (False
5810 or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5811 Set_Node2 (N, Val); -- semantic field, no parent set
5812 end Set_SCIL_Target_Prim;
5815 (N : Node_Id; Val : Node_Id) is
5817 pragma Assert (False
5818 or else NT (N).Nkind = N_Defining_Character_Literal
5819 or else NT (N).Nkind = N_Defining_Identifier
5820 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5821 Set_Node3 (N, Val); -- semantic field, no parent set
5824 procedure Set_Select_Alternatives
5825 (N : Node_Id; Val : List_Id) is
5827 pragma Assert (False
5828 or else NT (N).Nkind = N_Selective_Accept);
5829 Set_List1_With_Parent (N, Val);
5830 end Set_Select_Alternatives;
5832 procedure Set_Selector_Name
5833 (N : Node_Id; Val : Node_Id) is
5835 pragma Assert (False
5836 or else NT (N).Nkind = N_Expanded_Name
5837 or else NT (N).Nkind = N_Generic_Association
5838 or else NT (N).Nkind = N_Parameter_Association
5839 or else NT (N).Nkind = N_Selected_Component);
5840 Set_Node2_With_Parent (N, Val);
5841 end Set_Selector_Name;
5843 procedure Set_Selector_Names
5844 (N : Node_Id; Val : List_Id) is
5846 pragma Assert (False
5847 or else NT (N).Nkind = N_Discriminant_Association);
5848 Set_List1_With_Parent (N, Val);
5849 end Set_Selector_Names;
5851 procedure Set_Shift_Count_OK
5852 (N : Node_Id; Val : Boolean := True) is
5854 pragma Assert (False
5855 or else NT (N).Nkind = N_Op_Rotate_Left
5856 or else NT (N).Nkind = N_Op_Rotate_Right
5857 or else NT (N).Nkind = N_Op_Shift_Left
5858 or else NT (N).Nkind = N_Op_Shift_Right
5859 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5861 end Set_Shift_Count_OK;
5863 procedure Set_Source_Type
5864 (N : Node_Id; Val : Entity_Id) is
5866 pragma Assert (False
5867 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5868 Set_Node1 (N, Val); -- semantic field, no parent set
5869 end Set_Source_Type;
5871 procedure Set_Spec_PPC_List
5872 (N : Node_Id; Val : Node_Id) is
5874 pragma Assert (False
5875 or else NT (N).Nkind = N_Contract);
5876 Set_Node1 (N, Val); -- semantic field, no parent set
5877 end Set_Spec_PPC_List;
5879 procedure Set_Spec_TC_List
5880 (N : Node_Id; Val : Node_Id) is
5882 pragma Assert (False
5883 or else NT (N).Nkind = N_Contract);
5884 Set_Node2 (N, Val); -- semantic field, no parent set
5885 end Set_Spec_TC_List;
5887 procedure Set_Specification
5888 (N : Node_Id; Val : Node_Id) is
5890 pragma Assert (False
5891 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5892 or else NT (N).Nkind = N_Expression_Function
5893 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5894 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5895 or else NT (N).Nkind = N_Generic_Package_Declaration
5896 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5897 or else NT (N).Nkind = N_Package_Declaration
5898 or else NT (N).Nkind = N_Subprogram_Body
5899 or else NT (N).Nkind = N_Subprogram_Body_Stub
5900 or else NT (N).Nkind = N_Subprogram_Declaration
5901 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5902 Set_Node1_With_Parent (N, Val);
5903 end Set_Specification;
5905 procedure Set_Split_PPC
5906 (N : Node_Id; Val : Boolean) is
5908 pragma Assert (False
5909 or else NT (N).Nkind = N_Aspect_Specification
5910 or else NT (N).Nkind = N_Pragma);
5911 Set_Flag17 (N, Val);
5914 procedure Set_Statements
5915 (N : Node_Id; Val : List_Id) is
5917 pragma Assert (False
5918 or else NT (N).Nkind = N_Abortable_Part
5919 or else NT (N).Nkind = N_Accept_Alternative
5920 or else NT (N).Nkind = N_Case_Statement_Alternative
5921 or else NT (N).Nkind = N_Delay_Alternative
5922 or else NT (N).Nkind = N_Entry_Call_Alternative
5923 or else NT (N).Nkind = N_Exception_Handler
5924 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5925 or else NT (N).Nkind = N_Loop_Statement
5926 or else NT (N).Nkind = N_Triggering_Alternative);
5927 Set_List3_With_Parent (N, Val);
5930 procedure Set_Static_Processing_OK
5931 (N : Node_Id; Val : Boolean) is
5933 pragma Assert (False
5934 or else NT (N).Nkind = N_Aggregate);
5936 end Set_Static_Processing_OK;
5938 procedure Set_Storage_Pool
5939 (N : Node_Id; Val : Node_Id) is
5941 pragma Assert (False
5942 or else NT (N).Nkind = N_Allocator
5943 or else NT (N).Nkind = N_Extended_Return_Statement
5944 or else NT (N).Nkind = N_Free_Statement
5945 or else NT (N).Nkind = N_Return_Statement);
5946 Set_Node1 (N, Val); -- semantic field, no parent set
5947 end Set_Storage_Pool;
5949 procedure Set_Subpool_Handle_Name
5950 (N : Node_Id; Val : Node_Id) is
5952 pragma Assert (False
5953 or else NT (N).Nkind = N_Allocator);
5954 Set_Node4_With_Parent (N, Val);
5955 end Set_Subpool_Handle_Name;
5957 procedure Set_Strval
5958 (N : Node_Id; Val : String_Id) is
5960 pragma Assert (False
5961 or else NT (N).Nkind = N_Operator_Symbol
5962 or else NT (N).Nkind = N_String_Literal);
5966 procedure Set_Subtype_Indication
5967 (N : Node_Id; Val : Node_Id) is
5969 pragma Assert (False
5970 or else NT (N).Nkind = N_Access_To_Object_Definition
5971 or else NT (N).Nkind = N_Component_Definition
5972 or else NT (N).Nkind = N_Derived_Type_Definition
5973 or else NT (N).Nkind = N_Iterator_Specification
5974 or else NT (N).Nkind = N_Private_Extension_Declaration
5975 or else NT (N).Nkind = N_Subtype_Declaration);
5976 Set_Node5_With_Parent (N, Val);
5977 end Set_Subtype_Indication;
5979 procedure Set_Subtype_Mark
5980 (N : Node_Id; Val : Node_Id) is
5982 pragma Assert (False
5983 or else NT (N).Nkind = N_Access_Definition
5984 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5985 or else NT (N).Nkind = N_Formal_Object_Declaration
5986 or else NT (N).Nkind = N_Object_Renaming_Declaration
5987 or else NT (N).Nkind = N_Qualified_Expression
5988 or else NT (N).Nkind = N_Subtype_Indication
5989 or else NT (N).Nkind = N_Type_Conversion
5990 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5991 Set_Node4_With_Parent (N, Val);
5992 end Set_Subtype_Mark;
5994 procedure Set_Subtype_Marks
5995 (N : Node_Id; Val : List_Id) is
5997 pragma Assert (False
5998 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5999 or else NT (N).Nkind = N_Use_Type_Clause);
6000 Set_List2_With_Parent (N, Val);
6001 end Set_Subtype_Marks;
6003 procedure Set_Suppress_Assignment_Checks
6004 (N : Node_Id; Val : Boolean := True) is
6006 pragma Assert (False
6007 or else NT (N).Nkind = N_Assignment_Statement
6008 or else NT (N).Nkind = N_Object_Declaration);
6009 Set_Flag18 (N, Val);
6010 end Set_Suppress_Assignment_Checks;
6012 procedure Set_Suppress_Loop_Warnings
6013 (N : Node_Id; Val : Boolean := True) is
6015 pragma Assert (False
6016 or else NT (N).Nkind = N_Loop_Statement);
6017 Set_Flag17 (N, Val);
6018 end Set_Suppress_Loop_Warnings;
6020 procedure Set_Synchronized_Present
6021 (N : Node_Id; Val : Boolean := True) is
6023 pragma Assert (False
6024 or else NT (N).Nkind = N_Derived_Type_Definition
6025 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6026 or else NT (N).Nkind = N_Private_Extension_Declaration
6027 or else NT (N).Nkind = N_Record_Definition);
6029 end Set_Synchronized_Present;
6031 procedure Set_Tagged_Present
6032 (N : Node_Id; Val : Boolean := True) is
6034 pragma Assert (False
6035 or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6036 or else NT (N).Nkind = N_Formal_Private_Type_Definition
6037 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6038 or else NT (N).Nkind = N_Private_Type_Declaration
6039 or else NT (N).Nkind = N_Record_Definition);
6040 Set_Flag15 (N, Val);
6041 end Set_Tagged_Present;
6043 procedure Set_Target_Type
6044 (N : Node_Id; Val : Entity_Id) is
6046 pragma Assert (False
6047 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6048 Set_Node2 (N, Val); -- semantic field, no parent set
6049 end Set_Target_Type;
6051 procedure Set_Task_Definition
6052 (N : Node_Id; Val : Node_Id) is
6054 pragma Assert (False
6055 or else NT (N).Nkind = N_Single_Task_Declaration
6056 or else NT (N).Nkind = N_Task_Type_Declaration);
6057 Set_Node3_With_Parent (N, Val);
6058 end Set_Task_Definition;
6060 procedure Set_Task_Present
6061 (N : Node_Id; Val : Boolean := True) is
6063 pragma Assert (False
6064 or else NT (N).Nkind = N_Derived_Type_Definition
6065 or else NT (N).Nkind = N_Record_Definition);
6067 end Set_Task_Present;
6069 procedure Set_Then_Actions
6070 (N : Node_Id; Val : List_Id) is
6072 pragma Assert (False
6073 or else NT (N).Nkind = N_Conditional_Expression);
6074 Set_List2 (N, Val); -- semantic field, no parent set
6075 end Set_Then_Actions;
6077 procedure Set_Then_Statements
6078 (N : Node_Id; Val : List_Id) is
6080 pragma Assert (False
6081 or else NT (N).Nkind = N_Elsif_Part
6082 or else NT (N).Nkind = N_If_Statement);
6083 Set_List2_With_Parent (N, Val);
6084 end Set_Then_Statements;
6086 procedure Set_Treat_Fixed_As_Integer
6087 (N : Node_Id; Val : Boolean := True) is
6089 pragma Assert (False
6090 or else NT (N).Nkind = N_Op_Divide
6091 or else NT (N).Nkind = N_Op_Mod
6092 or else NT (N).Nkind = N_Op_Multiply
6093 or else NT (N).Nkind = N_Op_Rem);
6094 Set_Flag14 (N, Val);
6095 end Set_Treat_Fixed_As_Integer;
6097 procedure Set_Triggering_Alternative
6098 (N : Node_Id; Val : Node_Id) is
6100 pragma Assert (False
6101 or else NT (N).Nkind = N_Asynchronous_Select);
6102 Set_Node1_With_Parent (N, Val);
6103 end Set_Triggering_Alternative;
6105 procedure Set_Triggering_Statement
6106 (N : Node_Id; Val : Node_Id) is
6108 pragma Assert (False
6109 or else NT (N).Nkind = N_Triggering_Alternative);
6110 Set_Node1_With_Parent (N, Val);
6111 end Set_Triggering_Statement;
6113 procedure Set_TSS_Elist
6114 (N : Node_Id; Val : Elist_Id) is
6116 pragma Assert (False
6117 or else NT (N).Nkind = N_Freeze_Entity);
6118 Set_Elist3 (N, Val); -- semantic field, no parent set
6121 procedure Set_Type_Definition
6122 (N : Node_Id; Val : Node_Id) is
6124 pragma Assert (False
6125 or else NT (N).Nkind = N_Full_Type_Declaration);
6126 Set_Node3_With_Parent (N, Val);
6127 end Set_Type_Definition;
6130 (N : Node_Id; Val : Node_Id) is
6132 pragma Assert (False
6133 or else NT (N).Nkind = N_Compilation_Unit);
6134 Set_Node2_With_Parent (N, Val);
6137 procedure Set_Unknown_Discriminants_Present
6138 (N : Node_Id; Val : Boolean := True) is
6140 pragma Assert (False
6141 or else NT (N).Nkind = N_Formal_Type_Declaration
6142 or else NT (N).Nkind = N_Incomplete_Type_Declaration
6143 or else NT (N).Nkind = N_Private_Extension_Declaration
6144 or else NT (N).Nkind = N_Private_Type_Declaration);
6145 Set_Flag13 (N, Val);
6146 end Set_Unknown_Discriminants_Present;
6148 procedure Set_Unreferenced_In_Spec
6149 (N : Node_Id; Val : Boolean := True) is
6151 pragma Assert (False
6152 or else NT (N).Nkind = N_With_Clause);
6154 end Set_Unreferenced_In_Spec;
6156 procedure Set_Variant_Part
6157 (N : Node_Id; Val : Node_Id) is
6159 pragma Assert (False
6160 or else NT (N).Nkind = N_Component_List);
6161 Set_Node4_With_Parent (N, Val);
6162 end Set_Variant_Part;
6164 procedure Set_Variants
6165 (N : Node_Id; Val : List_Id) is
6167 pragma Assert (False
6168 or else NT (N).Nkind = N_Variant_Part);
6169 Set_List1_With_Parent (N, Val);
6172 procedure Set_Visible_Declarations
6173 (N : Node_Id; Val : List_Id) is
6175 pragma Assert (False
6176 or else NT (N).Nkind = N_Package_Specification
6177 or else NT (N).Nkind = N_Protected_Definition
6178 or else NT (N).Nkind = N_Task_Definition);
6179 Set_List2_With_Parent (N, Val);
6180 end Set_Visible_Declarations;
6182 procedure Set_Used_Operations
6183 (N : Node_Id; Val : Elist_Id) is
6185 pragma Assert (False
6186 or else NT (N).Nkind = N_Use_Type_Clause);
6187 Set_Elist5 (N, Val);
6188 end Set_Used_Operations;
6190 procedure Set_Was_Originally_Stub
6191 (N : Node_Id; Val : Boolean := True) is
6193 pragma Assert (False
6194 or else NT (N).Nkind = N_Package_Body
6195 or else NT (N).Nkind = N_Protected_Body
6196 or else NT (N).Nkind = N_Subprogram_Body
6197 or else NT (N).Nkind = N_Task_Body);
6198 Set_Flag13 (N, Val);
6199 end Set_Was_Originally_Stub;
6201 procedure Set_Withed_Body
6202 (N : Node_Id; Val : Node_Id) is
6204 pragma Assert (False
6205 or else NT (N).Nkind = N_With_Clause);
6207 end Set_Withed_Body;
6209 -------------------------
6210 -- Iterator Procedures --
6211 -------------------------
6213 procedure Next_Entity (N : in out Node_Id) is
6215 N := Next_Entity (N);
6218 procedure Next_Named_Actual (N : in out Node_Id) is
6220 N := Next_Named_Actual (N);
6221 end Next_Named_Actual;
6223 procedure Next_Rep_Item (N : in out Node_Id) is
6225 N := Next_Rep_Item (N);
6228 procedure Next_Use_Clause (N : in out Node_Id) is
6230 N := Next_Use_Clause (N);
6231 end Next_Use_Clause;
6237 function End_Location (N : Node_Id) return Source_Ptr is
6238 L : constant Uint := End_Span (N);
6243 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6247 --------------------
6248 -- Get_Pragma_Arg --
6249 --------------------
6251 function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6253 if Nkind (Arg) = N_Pragma_Argument_Association then
6254 return Expression (Arg);
6260 ----------------------
6261 -- Set_End_Location --
6262 ----------------------
6264 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6267 UI_From_Int (Int (S) - Int (Sloc (N))));
6268 end Set_End_Location;
6277 V2 : Node_Kind) return Boolean
6280 return T = V1 or else
6288 V3 : Node_Kind) return Boolean
6291 return T = V1 or else
6301 V4 : Node_Kind) return Boolean
6304 return T = V1 or else
6316 V5 : Node_Kind) return Boolean
6319 return T = V1 or else
6333 V6 : Node_Kind) return Boolean
6336 return T = V1 or else
6352 V7 : Node_Kind) return Boolean
6355 return T = V1 or else
6373 V8 : Node_Kind) return Boolean
6376 return T = V1 or else
6396 V9 : Node_Kind) return Boolean
6399 return T = V1 or else
6414 function Pragma_Name (N : Node_Id) return Name_Id is
6416 return Chars (Pragma_Identifier (N));