1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2009, 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_Compilation_Unit_Aux
150 or else NT (N).Nkind = N_Freeze_Entity
151 or else NT (N).Nkind = N_Or_Else);
155 function Activation_Chain_Entity
156 (N : Node_Id) return Node_Id is
159 or else NT (N).Nkind = N_Block_Statement
160 or else NT (N).Nkind = N_Entry_Body
161 or else NT (N).Nkind = N_Generic_Package_Declaration
162 or else NT (N).Nkind = N_Package_Declaration
163 or else NT (N).Nkind = N_Subprogram_Body
164 or else NT (N).Nkind = N_Task_Body);
166 end Activation_Chain_Entity;
168 function Acts_As_Spec
169 (N : Node_Id) return Boolean is
172 or else NT (N).Nkind = N_Compilation_Unit
173 or else NT (N).Nkind = N_Subprogram_Body);
177 function Actual_Designated_Subtype
178 (N : Node_Id) return Node_Id is
181 or else NT (N).Nkind = N_Explicit_Dereference
182 or else NT (N).Nkind = N_Free_Statement);
184 end Actual_Designated_Subtype;
186 function Address_Warning_Posted
187 (N : Node_Id) return Boolean is
190 or else NT (N).Nkind = N_Attribute_Definition_Clause);
192 end Address_Warning_Posted;
194 function Aggregate_Bounds
195 (N : Node_Id) return Node_Id is
198 or else NT (N).Nkind = N_Aggregate);
200 end Aggregate_Bounds;
202 function Aliased_Present
203 (N : Node_Id) return Boolean is
206 or else NT (N).Nkind = N_Component_Definition
207 or else NT (N).Nkind = N_Object_Declaration);
212 (N : Node_Id) return Boolean is
215 or else NT (N).Nkind = N_Others_Choice);
220 (N : Node_Id) return Boolean is
223 or else NT (N).Nkind = N_Access_Definition
224 or else NT (N).Nkind = N_Access_To_Object_Definition);
228 function Alternatives
229 (N : Node_Id) return List_Id is
232 or else NT (N).Nkind = N_Case_Statement
233 or else NT (N).Nkind = N_In
234 or else NT (N).Nkind = N_Not_In);
238 function Ancestor_Part
239 (N : Node_Id) return Node_Id is
242 or else NT (N).Nkind = N_Extension_Aggregate);
246 function Array_Aggregate
247 (N : Node_Id) return Node_Id is
250 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
254 function Assignment_OK
255 (N : Node_Id) return Boolean is
258 or else NT (N).Nkind = N_Object_Declaration
259 or else NT (N).Nkind in N_Subexpr);
263 function Associated_Node
264 (N : Node_Id) return Node_Id is
267 or else NT (N).Nkind in N_Has_Entity
268 or else NT (N).Nkind = N_Aggregate
269 or else NT (N).Nkind = N_Extension_Aggregate
270 or else NT (N).Nkind = N_Selected_Component);
275 (N : Node_Id) return Node_Id is
278 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
282 function Attribute_Name
283 (N : Node_Id) return Name_Id is
286 or else NT (N).Nkind = N_Attribute_Reference);
290 function Aux_Decls_Node
291 (N : Node_Id) return Node_Id is
294 or else NT (N).Nkind = N_Compilation_Unit);
298 function Backwards_OK
299 (N : Node_Id) return Boolean is
302 or else NT (N).Nkind = N_Assignment_Statement);
306 function Bad_Is_Detected
307 (N : Node_Id) return Boolean is
310 or else NT (N).Nkind = N_Subprogram_Body);
314 function Body_Required
315 (N : Node_Id) return Boolean is
318 or else NT (N).Nkind = N_Compilation_Unit);
322 function Body_To_Inline
323 (N : Node_Id) return Node_Id is
326 or else NT (N).Nkind = N_Subprogram_Declaration);
331 (N : Node_Id) return Boolean is
334 or else NT (N).Nkind = N_Component_Association
335 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
336 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
337 or else NT (N).Nkind = N_Formal_Package_Declaration
338 or else NT (N).Nkind = N_Generic_Association);
343 (N : Node_Id) return Boolean is
346 or else NT (N).Nkind = N_Extended_Return_Statement
347 or else NT (N).Nkind = N_Return_Statement);
351 function Char_Literal_Value
352 (N : Node_Id) return Uint is
355 or else NT (N).Nkind = N_Character_Literal);
357 end Char_Literal_Value;
360 (N : Node_Id) return Name_Id is
363 or else NT (N).Nkind in N_Has_Chars);
367 function Check_Address_Alignment
368 (N : Node_Id) return Boolean is
371 or else NT (N).Nkind = N_Attribute_Definition_Clause);
373 end Check_Address_Alignment;
375 function Choice_Parameter
376 (N : Node_Id) return Node_Id is
379 or else NT (N).Nkind = N_Exception_Handler);
381 end Choice_Parameter;
384 (N : Node_Id) return List_Id is
387 or else NT (N).Nkind = N_Component_Association);
391 function Coextensions
392 (N : Node_Id) return Elist_Id is
395 or else NT (N).Nkind = N_Allocator);
399 function Comes_From_Extended_Return_Statement
400 (N : Node_Id) return Boolean is
403 or else NT (N).Nkind = N_Return_Statement);
405 end Comes_From_Extended_Return_Statement;
407 function Compile_Time_Known_Aggregate
408 (N : Node_Id) return Boolean is
411 or else NT (N).Nkind = N_Aggregate);
413 end Compile_Time_Known_Aggregate;
415 function Component_Associations
416 (N : Node_Id) return List_Id is
419 or else NT (N).Nkind = N_Aggregate
420 or else NT (N).Nkind = N_Extension_Aggregate);
422 end Component_Associations;
424 function Component_Clauses
425 (N : Node_Id) return List_Id is
428 or else NT (N).Nkind = N_Record_Representation_Clause);
430 end Component_Clauses;
432 function Component_Definition
433 (N : Node_Id) return Node_Id is
436 or else NT (N).Nkind = N_Component_Declaration
437 or else NT (N).Nkind = N_Constrained_Array_Definition
438 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
440 end Component_Definition;
442 function Component_Items
443 (N : Node_Id) return List_Id is
446 or else NT (N).Nkind = N_Component_List);
450 function Component_List
451 (N : Node_Id) return Node_Id is
454 or else NT (N).Nkind = N_Record_Definition
455 or else NT (N).Nkind = N_Variant);
459 function Component_Name
460 (N : Node_Id) return Node_Id is
463 or else NT (N).Nkind = N_Component_Clause);
467 function Componentwise_Assignment
468 (N : Node_Id) return Boolean is
471 or else NT (N).Nkind = N_Assignment_Statement);
473 end Componentwise_Assignment;
476 (N : Node_Id) return Node_Id is
479 or else NT (N).Nkind = N_Accept_Alternative
480 or else NT (N).Nkind = N_Delay_Alternative
481 or else NT (N).Nkind = N_Elsif_Part
482 or else NT (N).Nkind = N_Entry_Body_Formal_Part
483 or else NT (N).Nkind = N_Exit_Statement
484 or else NT (N).Nkind = N_If_Statement
485 or else NT (N).Nkind = N_Iteration_Scheme
486 or else NT (N).Nkind = N_Raise_Constraint_Error
487 or else NT (N).Nkind = N_Raise_Program_Error
488 or else NT (N).Nkind = N_Raise_Storage_Error
489 or else NT (N).Nkind = N_Terminate_Alternative);
493 function Condition_Actions
494 (N : Node_Id) return List_Id is
497 or else NT (N).Nkind = N_Elsif_Part
498 or else NT (N).Nkind = N_Iteration_Scheme);
500 end Condition_Actions;
502 function Config_Pragmas
503 (N : Node_Id) return List_Id is
506 or else NT (N).Nkind = N_Compilation_Unit_Aux);
510 function Constant_Present
511 (N : Node_Id) return Boolean is
514 or else NT (N).Nkind = N_Access_Definition
515 or else NT (N).Nkind = N_Access_To_Object_Definition
516 or else NT (N).Nkind = N_Object_Declaration);
518 end Constant_Present;
521 (N : Node_Id) return Node_Id is
524 or else NT (N).Nkind = N_Subtype_Indication);
529 (N : Node_Id) return List_Id is
532 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
536 function Context_Installed
537 (N : Node_Id) return Boolean is
540 or else NT (N).Nkind = N_With_Clause);
542 end Context_Installed;
544 function Context_Items
545 (N : Node_Id) return List_Id is
548 or else NT (N).Nkind = N_Compilation_Unit);
552 function Context_Pending
553 (N : Node_Id) return Boolean is
556 or else NT (N).Nkind = N_Compilation_Unit);
560 function Controlling_Argument
561 (N : Node_Id) return Node_Id is
564 or else NT (N).Nkind = N_Function_Call
565 or else NT (N).Nkind = N_Procedure_Call_Statement);
567 end Controlling_Argument;
569 function Conversion_OK
570 (N : Node_Id) return Boolean is
573 or else NT (N).Nkind = N_Type_Conversion);
577 function Corresponding_Body
578 (N : Node_Id) return Node_Id is
581 or else NT (N).Nkind = N_Entry_Declaration
582 or else NT (N).Nkind = N_Generic_Package_Declaration
583 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
584 or else NT (N).Nkind = N_Package_Body_Stub
585 or else NT (N).Nkind = N_Package_Declaration
586 or else NT (N).Nkind = N_Protected_Body_Stub
587 or else NT (N).Nkind = N_Protected_Type_Declaration
588 or else NT (N).Nkind = N_Subprogram_Body_Stub
589 or else NT (N).Nkind = N_Subprogram_Declaration
590 or else NT (N).Nkind = N_Task_Body_Stub
591 or else NT (N).Nkind = N_Task_Type_Declaration);
593 end Corresponding_Body;
595 function Corresponding_Formal_Spec
596 (N : Node_Id) return Node_Id is
599 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
601 end Corresponding_Formal_Spec;
603 function Corresponding_Generic_Association
604 (N : Node_Id) return Node_Id is
607 or else NT (N).Nkind = N_Object_Declaration
608 or else NT (N).Nkind = N_Object_Renaming_Declaration);
610 end Corresponding_Generic_Association;
612 function Corresponding_Integer_Value
613 (N : Node_Id) return Uint is
616 or else NT (N).Nkind = N_Real_Literal);
618 end Corresponding_Integer_Value;
620 function Corresponding_Spec
621 (N : Node_Id) return Node_Id is
624 or else NT (N).Nkind = N_Package_Body
625 or else NT (N).Nkind = N_Protected_Body
626 or else NT (N).Nkind = N_Subprogram_Body
627 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
628 or else NT (N).Nkind = N_Task_Body
629 or else NT (N).Nkind = N_With_Clause);
631 end Corresponding_Spec;
633 function Corresponding_Stub
634 (N : Node_Id) return Node_Id is
637 or else NT (N).Nkind = N_Subunit);
639 end Corresponding_Stub;
641 function Dcheck_Function
642 (N : Node_Id) return Entity_Id is
645 or else NT (N).Nkind = N_Variant);
649 function Debug_Statement
650 (N : Node_Id) return Node_Id is
653 or else NT (N).Nkind = N_Pragma);
657 function Declarations
658 (N : Node_Id) return List_Id is
661 or else NT (N).Nkind = N_Accept_Statement
662 or else NT (N).Nkind = N_Block_Statement
663 or else NT (N).Nkind = N_Compilation_Unit_Aux
664 or else NT (N).Nkind = N_Entry_Body
665 or else NT (N).Nkind = N_Package_Body
666 or else NT (N).Nkind = N_Protected_Body
667 or else NT (N).Nkind = N_Subprogram_Body
668 or else NT (N).Nkind = N_Task_Body);
672 function Default_Expression
673 (N : Node_Id) return Node_Id is
676 or else NT (N).Nkind = N_Formal_Object_Declaration
677 or else NT (N).Nkind = N_Parameter_Specification);
679 end Default_Expression;
681 function Default_Name
682 (N : Node_Id) return Node_Id is
685 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
686 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
690 function Defining_Identifier
691 (N : Node_Id) return Entity_Id is
694 or else NT (N).Nkind = N_Component_Declaration
695 or else NT (N).Nkind = N_Defining_Program_Unit_Name
696 or else NT (N).Nkind = N_Discriminant_Specification
697 or else NT (N).Nkind = N_Entry_Body
698 or else NT (N).Nkind = N_Entry_Declaration
699 or else NT (N).Nkind = N_Entry_Index_Specification
700 or else NT (N).Nkind = N_Exception_Declaration
701 or else NT (N).Nkind = N_Exception_Renaming_Declaration
702 or else NT (N).Nkind = N_Formal_Object_Declaration
703 or else NT (N).Nkind = N_Formal_Package_Declaration
704 or else NT (N).Nkind = N_Formal_Type_Declaration
705 or else NT (N).Nkind = N_Full_Type_Declaration
706 or else NT (N).Nkind = N_Implicit_Label_Declaration
707 or else NT (N).Nkind = N_Incomplete_Type_Declaration
708 or else NT (N).Nkind = N_Loop_Parameter_Specification
709 or else NT (N).Nkind = N_Number_Declaration
710 or else NT (N).Nkind = N_Object_Declaration
711 or else NT (N).Nkind = N_Object_Renaming_Declaration
712 or else NT (N).Nkind = N_Package_Body_Stub
713 or else NT (N).Nkind = N_Parameter_Specification
714 or else NT (N).Nkind = N_Private_Extension_Declaration
715 or else NT (N).Nkind = N_Private_Type_Declaration
716 or else NT (N).Nkind = N_Protected_Body
717 or else NT (N).Nkind = N_Protected_Body_Stub
718 or else NT (N).Nkind = N_Protected_Type_Declaration
719 or else NT (N).Nkind = N_Single_Protected_Declaration
720 or else NT (N).Nkind = N_Single_Task_Declaration
721 or else NT (N).Nkind = N_Subtype_Declaration
722 or else NT (N).Nkind = N_Task_Body
723 or else NT (N).Nkind = N_Task_Body_Stub
724 or else NT (N).Nkind = N_Task_Type_Declaration);
726 end Defining_Identifier;
728 function Defining_Unit_Name
729 (N : Node_Id) return Node_Id is
732 or else NT (N).Nkind = N_Function_Instantiation
733 or else NT (N).Nkind = N_Function_Specification
734 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
735 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
736 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
737 or else NT (N).Nkind = N_Package_Body
738 or else NT (N).Nkind = N_Package_Instantiation
739 or else NT (N).Nkind = N_Package_Renaming_Declaration
740 or else NT (N).Nkind = N_Package_Specification
741 or else NT (N).Nkind = N_Procedure_Instantiation
742 or else NT (N).Nkind = N_Procedure_Specification);
744 end Defining_Unit_Name;
746 function Delay_Alternative
747 (N : Node_Id) return Node_Id is
750 or else NT (N).Nkind = N_Timed_Entry_Call);
752 end Delay_Alternative;
754 function Delay_Statement
755 (N : Node_Id) return Node_Id is
758 or else NT (N).Nkind = N_Delay_Alternative);
762 function Delta_Expression
763 (N : Node_Id) return Node_Id is
766 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
767 or else NT (N).Nkind = N_Delta_Constraint
768 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
770 end Delta_Expression;
772 function Digits_Expression
773 (N : Node_Id) return Node_Id is
776 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
777 or else NT (N).Nkind = N_Digits_Constraint
778 or else NT (N).Nkind = N_Floating_Point_Definition);
780 end Digits_Expression;
782 function Discr_Check_Funcs_Built
783 (N : Node_Id) return Boolean is
786 or else NT (N).Nkind = N_Full_Type_Declaration);
788 end Discr_Check_Funcs_Built;
790 function Discrete_Choices
791 (N : Node_Id) return List_Id is
794 or else NT (N).Nkind = N_Case_Statement_Alternative
795 or else NT (N).Nkind = N_Variant);
797 end Discrete_Choices;
799 function Discrete_Range
800 (N : Node_Id) return Node_Id is
803 or else NT (N).Nkind = N_Slice);
807 function Discrete_Subtype_Definition
808 (N : Node_Id) return Node_Id is
811 or else NT (N).Nkind = N_Entry_Declaration
812 or else NT (N).Nkind = N_Entry_Index_Specification
813 or else NT (N).Nkind = N_Loop_Parameter_Specification);
815 end Discrete_Subtype_Definition;
817 function Discrete_Subtype_Definitions
818 (N : Node_Id) return List_Id is
821 or else NT (N).Nkind = N_Constrained_Array_Definition);
823 end Discrete_Subtype_Definitions;
825 function Discriminant_Specifications
826 (N : Node_Id) return List_Id is
829 or else NT (N).Nkind = N_Formal_Type_Declaration
830 or else NT (N).Nkind = N_Full_Type_Declaration
831 or else NT (N).Nkind = N_Incomplete_Type_Declaration
832 or else NT (N).Nkind = N_Private_Extension_Declaration
833 or else NT (N).Nkind = N_Private_Type_Declaration
834 or else NT (N).Nkind = N_Protected_Type_Declaration
835 or else NT (N).Nkind = N_Task_Type_Declaration);
837 end Discriminant_Specifications;
839 function Discriminant_Type
840 (N : Node_Id) return Node_Id is
843 or else NT (N).Nkind = N_Discriminant_Specification);
845 end Discriminant_Type;
847 function Do_Accessibility_Check
848 (N : Node_Id) return Boolean is
851 or else NT (N).Nkind = N_Parameter_Specification);
853 end Do_Accessibility_Check;
855 function Do_Discriminant_Check
856 (N : Node_Id) return Boolean is
859 or else NT (N).Nkind = N_Selected_Component);
861 end Do_Discriminant_Check;
863 function Do_Division_Check
864 (N : Node_Id) return Boolean is
867 or else NT (N).Nkind = N_Op_Divide
868 or else NT (N).Nkind = N_Op_Mod
869 or else NT (N).Nkind = N_Op_Rem);
871 end Do_Division_Check;
873 function Do_Length_Check
874 (N : Node_Id) return Boolean is
877 or else NT (N).Nkind = N_Assignment_Statement
878 or else NT (N).Nkind = N_Op_And
879 or else NT (N).Nkind = N_Op_Or
880 or else NT (N).Nkind = N_Op_Xor
881 or else NT (N).Nkind = N_Type_Conversion);
885 function Do_Overflow_Check
886 (N : Node_Id) return Boolean is
889 or else NT (N).Nkind in N_Op
890 or else NT (N).Nkind = N_Attribute_Reference
891 or else NT (N).Nkind = N_Type_Conversion);
893 end Do_Overflow_Check;
895 function Do_Range_Check
896 (N : Node_Id) return Boolean is
899 or else NT (N).Nkind in N_Subexpr);
903 function Do_Storage_Check
904 (N : Node_Id) return Boolean is
907 or else NT (N).Nkind = N_Allocator
908 or else NT (N).Nkind = N_Subprogram_Body);
910 end Do_Storage_Check;
912 function Do_Tag_Check
913 (N : Node_Id) return Boolean is
916 or else NT (N).Nkind = N_Assignment_Statement
917 or else NT (N).Nkind = N_Extended_Return_Statement
918 or else NT (N).Nkind = N_Function_Call
919 or else NT (N).Nkind = N_Procedure_Call_Statement
920 or else NT (N).Nkind = N_Return_Statement
921 or else NT (N).Nkind = N_Type_Conversion);
925 function Elaborate_All_Desirable
926 (N : Node_Id) return Boolean is
929 or else NT (N).Nkind = N_With_Clause);
931 end Elaborate_All_Desirable;
933 function Elaborate_All_Present
934 (N : Node_Id) return Boolean is
937 or else NT (N).Nkind = N_With_Clause);
939 end Elaborate_All_Present;
941 function Elaborate_Desirable
942 (N : Node_Id) return Boolean is
945 or else NT (N).Nkind = N_With_Clause);
947 end Elaborate_Desirable;
949 function Elaborate_Present
950 (N : Node_Id) return Boolean is
953 or else NT (N).Nkind = N_With_Clause);
955 end Elaborate_Present;
957 function Elaboration_Boolean
958 (N : Node_Id) return Node_Id is
961 or else NT (N).Nkind = N_Function_Specification
962 or else NT (N).Nkind = N_Procedure_Specification);
964 end Elaboration_Boolean;
966 function Else_Actions
967 (N : Node_Id) return List_Id is
970 or else NT (N).Nkind = N_Conditional_Expression);
974 function Else_Statements
975 (N : Node_Id) return List_Id is
978 or else NT (N).Nkind = N_Conditional_Entry_Call
979 or else NT (N).Nkind = N_If_Statement
980 or else NT (N).Nkind = N_Selective_Accept);
985 (N : Node_Id) return List_Id is
988 or else NT (N).Nkind = N_If_Statement);
992 function Enclosing_Variant
993 (N : Node_Id) return Node_Id is
996 or else NT (N).Nkind = N_Variant);
998 end Enclosing_Variant;
1001 (N : Node_Id) return Node_Id is
1003 pragma Assert (False
1004 or else NT (N).Nkind = N_Enumeration_Type_Definition
1005 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1006 or else NT (N).Nkind = N_Loop_Statement
1007 or else NT (N).Nkind = N_Package_Specification
1008 or else NT (N).Nkind = N_Protected_Body
1009 or else NT (N).Nkind = N_Protected_Definition
1010 or else NT (N).Nkind = N_Record_Definition
1011 or else NT (N).Nkind = N_Task_Definition);
1016 (N : Node_Id) return Uint is
1018 pragma Assert (False
1019 or else NT (N).Nkind = N_Case_Statement
1020 or else NT (N).Nkind = N_If_Statement);
1025 (N : Node_Id) return Node_Id is
1027 pragma Assert (False
1028 or else NT (N).Nkind in N_Has_Entity
1029 or else NT (N).Nkind = N_Freeze_Entity
1030 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1034 function Entity_Or_Associated_Node
1035 (N : Node_Id) return Node_Id is
1037 pragma Assert (False
1038 or else NT (N).Nkind in N_Has_Entity
1039 or else NT (N).Nkind = N_Freeze_Entity);
1041 end Entity_Or_Associated_Node;
1043 function Entry_Body_Formal_Part
1044 (N : Node_Id) return Node_Id is
1046 pragma Assert (False
1047 or else NT (N).Nkind = N_Entry_Body);
1049 end Entry_Body_Formal_Part;
1051 function Entry_Call_Alternative
1052 (N : Node_Id) return Node_Id is
1054 pragma Assert (False
1055 or else NT (N).Nkind = N_Conditional_Entry_Call
1056 or else NT (N).Nkind = N_Timed_Entry_Call);
1058 end Entry_Call_Alternative;
1060 function Entry_Call_Statement
1061 (N : Node_Id) return Node_Id is
1063 pragma Assert (False
1064 or else NT (N).Nkind = N_Entry_Call_Alternative);
1066 end Entry_Call_Statement;
1068 function Entry_Direct_Name
1069 (N : Node_Id) return Node_Id is
1071 pragma Assert (False
1072 or else NT (N).Nkind = N_Accept_Statement);
1074 end Entry_Direct_Name;
1076 function Entry_Index
1077 (N : Node_Id) return Node_Id is
1079 pragma Assert (False
1080 or else NT (N).Nkind = N_Accept_Statement);
1084 function Entry_Index_Specification
1085 (N : Node_Id) return Node_Id is
1087 pragma Assert (False
1088 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1090 end Entry_Index_Specification;
1093 (N : Node_Id) return Node_Id is
1095 pragma Assert (False
1096 or else NT (N).Nkind in N_Has_Etype);
1100 function Exception_Choices
1101 (N : Node_Id) return List_Id is
1103 pragma Assert (False
1104 or else NT (N).Nkind = N_Exception_Handler);
1106 end Exception_Choices;
1108 function Exception_Handlers
1109 (N : Node_Id) return List_Id is
1111 pragma Assert (False
1112 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1114 end Exception_Handlers;
1116 function Exception_Junk
1117 (N : Node_Id) return Boolean is
1119 pragma Assert (False
1120 or else NT (N).Nkind = N_Block_Statement
1121 or else NT (N).Nkind = N_Goto_Statement
1122 or else NT (N).Nkind = N_Label
1123 or else NT (N).Nkind = N_Object_Declaration
1124 or else NT (N).Nkind = N_Subtype_Declaration);
1128 function Exception_Label
1129 (N : Node_Id) return Node_Id is
1131 pragma Assert (False
1132 or else NT (N).Nkind = N_Exception_Handler
1133 or else NT (N).Nkind = N_Push_Constraint_Error_Label
1134 or else NT (N).Nkind = N_Push_Program_Error_Label
1135 or else NT (N).Nkind = N_Push_Storage_Error_Label);
1137 end Exception_Label;
1139 function Expansion_Delayed
1140 (N : Node_Id) return Boolean is
1142 pragma Assert (False
1143 or else NT (N).Nkind = N_Aggregate
1144 or else NT (N).Nkind = N_Extension_Aggregate);
1146 end Expansion_Delayed;
1148 function Explicit_Actual_Parameter
1149 (N : Node_Id) return Node_Id is
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Parameter_Association);
1154 end Explicit_Actual_Parameter;
1156 function Explicit_Generic_Actual_Parameter
1157 (N : Node_Id) return Node_Id is
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Generic_Association);
1162 end Explicit_Generic_Actual_Parameter;
1165 (N : Node_Id) return Node_Id is
1167 pragma Assert (False
1168 or else NT (N).Nkind = N_Allocator
1169 or else NT (N).Nkind = N_Assignment_Statement
1170 or else NT (N).Nkind = N_At_Clause
1171 or else NT (N).Nkind = N_Attribute_Definition_Clause
1172 or else NT (N).Nkind = N_Case_Statement
1173 or else NT (N).Nkind = N_Code_Statement
1174 or else NT (N).Nkind = N_Component_Association
1175 or else NT (N).Nkind = N_Component_Declaration
1176 or else NT (N).Nkind = N_Delay_Relative_Statement
1177 or else NT (N).Nkind = N_Delay_Until_Statement
1178 or else NT (N).Nkind = N_Discriminant_Association
1179 or else NT (N).Nkind = N_Discriminant_Specification
1180 or else NT (N).Nkind = N_Exception_Declaration
1181 or else NT (N).Nkind = N_Free_Statement
1182 or else NT (N).Nkind = N_Mod_Clause
1183 or else NT (N).Nkind = N_Modular_Type_Definition
1184 or else NT (N).Nkind = N_Number_Declaration
1185 or else NT (N).Nkind = N_Object_Declaration
1186 or else NT (N).Nkind = N_Parameter_Specification
1187 or else NT (N).Nkind = N_Pragma_Argument_Association
1188 or else NT (N).Nkind = N_Qualified_Expression
1189 or else NT (N).Nkind = N_Raise_Statement
1190 or else NT (N).Nkind = N_Return_Statement
1191 or else NT (N).Nkind = N_Type_Conversion
1192 or else NT (N).Nkind = N_Unchecked_Expression
1193 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1197 function Expressions
1198 (N : Node_Id) return List_Id is
1200 pragma Assert (False
1201 or else NT (N).Nkind = N_Aggregate
1202 or else NT (N).Nkind = N_Attribute_Reference
1203 or else NT (N).Nkind = N_Conditional_Expression
1204 or else NT (N).Nkind = N_Extension_Aggregate
1205 or else NT (N).Nkind = N_Indexed_Component);
1210 (N : Node_Id) return Node_Id is
1212 pragma Assert (False
1213 or else NT (N).Nkind = N_Component_Clause);
1217 function First_Inlined_Subprogram
1218 (N : Node_Id) return Entity_Id is
1220 pragma Assert (False
1221 or else NT (N).Nkind = N_Compilation_Unit);
1223 end First_Inlined_Subprogram;
1226 (N : Node_Id) return Boolean is
1228 pragma Assert (False
1229 or else NT (N).Nkind = N_With_Clause);
1233 function First_Named_Actual
1234 (N : Node_Id) return Node_Id is
1236 pragma Assert (False
1237 or else NT (N).Nkind = N_Entry_Call_Statement
1238 or else NT (N).Nkind = N_Function_Call
1239 or else NT (N).Nkind = N_Procedure_Call_Statement);
1241 end First_Named_Actual;
1243 function First_Real_Statement
1244 (N : Node_Id) return Node_Id is
1246 pragma Assert (False
1247 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1249 end First_Real_Statement;
1251 function First_Subtype_Link
1252 (N : Node_Id) return Entity_Id is
1254 pragma Assert (False
1255 or else NT (N).Nkind = N_Freeze_Entity);
1257 end First_Subtype_Link;
1259 function Float_Truncate
1260 (N : Node_Id) return Boolean is
1262 pragma Assert (False
1263 or else NT (N).Nkind = N_Type_Conversion);
1267 function Formal_Type_Definition
1268 (N : Node_Id) return Node_Id is
1270 pragma Assert (False
1271 or else NT (N).Nkind = N_Formal_Type_Declaration);
1273 end Formal_Type_Definition;
1275 function Forwards_OK
1276 (N : Node_Id) return Boolean is
1278 pragma Assert (False
1279 or else NT (N).Nkind = N_Assignment_Statement);
1283 function From_At_End
1284 (N : Node_Id) return Boolean is
1286 pragma Assert (False
1287 or else NT (N).Nkind = N_Raise_Statement);
1291 function From_At_Mod
1292 (N : Node_Id) return Boolean is
1294 pragma Assert (False
1295 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1299 function From_Default
1300 (N : Node_Id) return Boolean is
1302 pragma Assert (False
1303 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1307 function Generic_Associations
1308 (N : Node_Id) return List_Id is
1310 pragma Assert (False
1311 or else NT (N).Nkind = N_Formal_Package_Declaration
1312 or else NT (N).Nkind = N_Function_Instantiation
1313 or else NT (N).Nkind = N_Package_Instantiation
1314 or else NT (N).Nkind = N_Procedure_Instantiation);
1316 end Generic_Associations;
1318 function Generic_Formal_Declarations
1319 (N : Node_Id) return List_Id is
1321 pragma Assert (False
1322 or else NT (N).Nkind = N_Generic_Package_Declaration
1323 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1325 end Generic_Formal_Declarations;
1327 function Generic_Parent
1328 (N : Node_Id) return Node_Id is
1330 pragma Assert (False
1331 or else NT (N).Nkind = N_Function_Specification
1332 or else NT (N).Nkind = N_Package_Specification
1333 or else NT (N).Nkind = N_Procedure_Specification);
1337 function Generic_Parent_Type
1338 (N : Node_Id) return Node_Id is
1340 pragma Assert (False
1341 or else NT (N).Nkind = N_Subtype_Declaration);
1343 end Generic_Parent_Type;
1345 function Handled_Statement_Sequence
1346 (N : Node_Id) return Node_Id is
1348 pragma Assert (False
1349 or else NT (N).Nkind = N_Accept_Statement
1350 or else NT (N).Nkind = N_Block_Statement
1351 or else NT (N).Nkind = N_Entry_Body
1352 or else NT (N).Nkind = N_Extended_Return_Statement
1353 or else NT (N).Nkind = N_Package_Body
1354 or else NT (N).Nkind = N_Subprogram_Body
1355 or else NT (N).Nkind = N_Task_Body);
1357 end Handled_Statement_Sequence;
1359 function Handler_List_Entry
1360 (N : Node_Id) return Node_Id is
1362 pragma Assert (False
1363 or else NT (N).Nkind = N_Object_Declaration);
1365 end Handler_List_Entry;
1367 function Has_Created_Identifier
1368 (N : Node_Id) return Boolean is
1370 pragma Assert (False
1371 or else NT (N).Nkind = N_Block_Statement
1372 or else NT (N).Nkind = N_Loop_Statement);
1374 end Has_Created_Identifier;
1376 function Has_Dynamic_Length_Check
1377 (N : Node_Id) return Boolean is
1380 end Has_Dynamic_Length_Check;
1382 function Has_Dynamic_Range_Check
1383 (N : Node_Id) return Boolean is
1386 end Has_Dynamic_Range_Check;
1388 function Has_Init_Expression
1389 (N : Node_Id) return Boolean is
1391 pragma Assert (False
1392 or else NT (N).Nkind = N_Object_Declaration);
1394 end Has_Init_Expression;
1396 function Has_Local_Raise
1397 (N : Node_Id) return Boolean is
1399 pragma Assert (False
1400 or else NT (N).Nkind = N_Exception_Handler);
1402 end Has_Local_Raise;
1404 function Has_No_Elaboration_Code
1405 (N : Node_Id) return Boolean is
1407 pragma Assert (False
1408 or else NT (N).Nkind = N_Compilation_Unit);
1410 end Has_No_Elaboration_Code;
1412 function Has_Priority_Pragma
1413 (N : Node_Id) return Boolean is
1415 pragma Assert (False
1416 or else NT (N).Nkind = N_Protected_Definition
1417 or else NT (N).Nkind = N_Subprogram_Body
1418 or else NT (N).Nkind = N_Task_Definition);
1420 end Has_Priority_Pragma;
1422 function Has_Private_View
1423 (N : Node_Id) return Boolean is
1425 pragma Assert (False
1426 or else NT (N).Nkind in N_Op
1427 or else NT (N).Nkind = N_Character_Literal
1428 or else NT (N).Nkind = N_Expanded_Name
1429 or else NT (N).Nkind = N_Identifier
1430 or else NT (N).Nkind = N_Operator_Symbol);
1432 end Has_Private_View;
1434 function Has_Relative_Deadline_Pragma
1435 (N : Node_Id) return Boolean is
1437 pragma Assert (False
1438 or else NT (N).Nkind = N_Subprogram_Body
1439 or else NT (N).Nkind = N_Task_Definition);
1441 end Has_Relative_Deadline_Pragma;
1443 function Has_Self_Reference
1444 (N : Node_Id) return Boolean is
1446 pragma Assert (False
1447 or else NT (N).Nkind = N_Aggregate
1448 or else NT (N).Nkind = N_Extension_Aggregate);
1450 end Has_Self_Reference;
1452 function Has_Storage_Size_Pragma
1453 (N : Node_Id) return Boolean is
1455 pragma Assert (False
1456 or else NT (N).Nkind = N_Task_Definition);
1458 end Has_Storage_Size_Pragma;
1460 function Has_Task_Info_Pragma
1461 (N : Node_Id) return Boolean is
1463 pragma Assert (False
1464 or else NT (N).Nkind = N_Task_Definition);
1466 end Has_Task_Info_Pragma;
1468 function Has_Task_Name_Pragma
1469 (N : Node_Id) return Boolean is
1471 pragma Assert (False
1472 or else NT (N).Nkind = N_Task_Definition);
1474 end Has_Task_Name_Pragma;
1476 function Has_Wide_Character
1477 (N : Node_Id) return Boolean is
1479 pragma Assert (False
1480 or else NT (N).Nkind = N_String_Literal);
1482 end Has_Wide_Character;
1484 function Hidden_By_Use_Clause
1485 (N : Node_Id) return Elist_Id is
1487 pragma Assert (False
1488 or else NT (N).Nkind = N_Use_Package_Clause
1489 or else NT (N).Nkind = N_Use_Type_Clause);
1491 end Hidden_By_Use_Clause;
1494 (N : Node_Id) return Node_Id is
1496 pragma Assert (False
1497 or else NT (N).Nkind = N_Range
1498 or else NT (N).Nkind = N_Real_Range_Specification
1499 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1504 (N : Node_Id) return Node_Id is
1506 pragma Assert (False
1507 or else NT (N).Nkind = N_At_Clause
1508 or else NT (N).Nkind = N_Block_Statement
1509 or else NT (N).Nkind = N_Designator
1510 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1511 or else NT (N).Nkind = N_Label
1512 or else NT (N).Nkind = N_Loop_Statement
1513 or else NT (N).Nkind = N_Record_Representation_Clause
1514 or else NT (N).Nkind = N_Subprogram_Info);
1518 function Implicit_With
1519 (N : Node_Id) return Boolean is
1521 pragma Assert (False
1522 or else NT (N).Nkind = N_With_Clause);
1526 function Interface_List
1527 (N : Node_Id) return List_Id is
1529 pragma Assert (False
1530 or else NT (N).Nkind = N_Derived_Type_Definition
1531 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1532 or else NT (N).Nkind = N_Private_Extension_Declaration
1533 or else NT (N).Nkind = N_Protected_Type_Declaration
1534 or else NT (N).Nkind = N_Record_Definition
1535 or else NT (N).Nkind = N_Single_Protected_Declaration
1536 or else NT (N).Nkind = N_Single_Task_Declaration
1537 or else NT (N).Nkind = N_Task_Type_Declaration);
1541 function Interface_Present
1542 (N : Node_Id) return Boolean is
1544 pragma Assert (False
1545 or else NT (N).Nkind = N_Derived_Type_Definition
1546 or else NT (N).Nkind = N_Record_Definition);
1548 end Interface_Present;
1551 (N : Node_Id) return Boolean is
1553 pragma Assert (False
1554 or else NT (N).Nkind = N_Formal_Object_Declaration
1555 or else NT (N).Nkind = N_Parameter_Specification);
1559 function Includes_Infinities
1560 (N : Node_Id) return Boolean is
1562 pragma Assert (False
1563 or else NT (N).Nkind = N_Range);
1565 end Includes_Infinities;
1567 function Instance_Spec
1568 (N : Node_Id) return Node_Id is
1570 pragma Assert (False
1571 or else NT (N).Nkind = N_Formal_Package_Declaration
1572 or else NT (N).Nkind = N_Function_Instantiation
1573 or else NT (N).Nkind = N_Package_Instantiation
1574 or else NT (N).Nkind = N_Procedure_Instantiation);
1579 (N : Node_Id) return Uint is
1581 pragma Assert (False
1582 or else NT (N).Nkind = N_Integer_Literal);
1586 function Is_Asynchronous_Call_Block
1587 (N : Node_Id) return Boolean is
1589 pragma Assert (False
1590 or else NT (N).Nkind = N_Block_Statement);
1592 end Is_Asynchronous_Call_Block;
1594 function Is_Component_Left_Opnd
1595 (N : Node_Id) return Boolean is
1597 pragma Assert (False
1598 or else NT (N).Nkind = N_Op_Concat);
1600 end Is_Component_Left_Opnd;
1602 function Is_Component_Right_Opnd
1603 (N : Node_Id) return Boolean is
1605 pragma Assert (False
1606 or else NT (N).Nkind = N_Op_Concat);
1608 end Is_Component_Right_Opnd;
1610 function Is_Controlling_Actual
1611 (N : Node_Id) return Boolean is
1613 pragma Assert (False
1614 or else NT (N).Nkind in N_Subexpr);
1616 end Is_Controlling_Actual;
1618 function Is_Dynamic_Coextension
1619 (N : Node_Id) return Boolean is
1621 pragma Assert (False
1622 or else NT (N).Nkind = N_Allocator);
1624 end Is_Dynamic_Coextension;
1627 (N : Node_Id) return Boolean is
1629 pragma Assert (False
1630 or else NT (N).Nkind = N_Conditional_Expression);
1634 function Is_Entry_Barrier_Function
1635 (N : Node_Id) return Boolean is
1637 pragma Assert (False
1638 or else NT (N).Nkind = N_Subprogram_Body);
1640 end Is_Entry_Barrier_Function;
1642 function Is_Expanded_Build_In_Place_Call
1643 (N : Node_Id) return Boolean is
1645 pragma Assert (False
1646 or else NT (N).Nkind = N_Function_Call);
1648 end Is_Expanded_Build_In_Place_Call;
1650 function Is_Folded_In_Parser
1651 (N : Node_Id) return Boolean is
1653 pragma Assert (False
1654 or else NT (N).Nkind = N_String_Literal);
1656 end Is_Folded_In_Parser;
1658 function Is_In_Discriminant_Check
1659 (N : Node_Id) return Boolean is
1661 pragma Assert (False
1662 or else NT (N).Nkind = N_Selected_Component);
1664 end Is_In_Discriminant_Check;
1666 function Is_Machine_Number
1667 (N : Node_Id) return Boolean is
1669 pragma Assert (False
1670 or else NT (N).Nkind = N_Real_Literal);
1672 end Is_Machine_Number;
1674 function Is_Null_Loop
1675 (N : Node_Id) return Boolean is
1677 pragma Assert (False
1678 or else NT (N).Nkind = N_Loop_Statement);
1682 function Is_Overloaded
1683 (N : Node_Id) return Boolean is
1685 pragma Assert (False
1686 or else NT (N).Nkind in N_Subexpr);
1690 function Is_Power_Of_2_For_Shift
1691 (N : Node_Id) return Boolean is
1693 pragma Assert (False
1694 or else NT (N).Nkind = N_Op_Expon);
1696 end Is_Power_Of_2_For_Shift;
1698 function Is_Protected_Subprogram_Body
1699 (N : Node_Id) return Boolean is
1701 pragma Assert (False
1702 or else NT (N).Nkind = N_Subprogram_Body);
1704 end Is_Protected_Subprogram_Body;
1706 function Is_Static_Coextension
1707 (N : Node_Id) return Boolean is
1709 pragma Assert (False
1710 or else NT (N).Nkind = N_Allocator);
1712 end Is_Static_Coextension;
1714 function Is_Static_Expression
1715 (N : Node_Id) return Boolean is
1717 pragma Assert (False
1718 or else NT (N).Nkind in N_Subexpr);
1720 end Is_Static_Expression;
1722 function Is_Subprogram_Descriptor
1723 (N : Node_Id) return Boolean is
1725 pragma Assert (False
1726 or else NT (N).Nkind = N_Object_Declaration);
1728 end Is_Subprogram_Descriptor;
1730 function Is_Task_Allocation_Block
1731 (N : Node_Id) return Boolean is
1733 pragma Assert (False
1734 or else NT (N).Nkind = N_Block_Statement);
1736 end Is_Task_Allocation_Block;
1738 function Is_Task_Master
1739 (N : Node_Id) return Boolean is
1741 pragma Assert (False
1742 or else NT (N).Nkind = N_Block_Statement
1743 or else NT (N).Nkind = N_Subprogram_Body
1744 or else NT (N).Nkind = N_Task_Body);
1748 function Iteration_Scheme
1749 (N : Node_Id) return Node_Id is
1751 pragma Assert (False
1752 or else NT (N).Nkind = N_Loop_Statement);
1754 end Iteration_Scheme;
1757 (N : Node_Id) return Node_Id is
1759 pragma Assert (False
1760 or else NT (N).Nkind = N_Itype_Reference);
1764 function Kill_Range_Check
1765 (N : Node_Id) return Boolean is
1767 pragma Assert (False
1768 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1770 end Kill_Range_Check;
1772 function Label_Construct
1773 (N : Node_Id) return Node_Id is
1775 pragma Assert (False
1776 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1778 end Label_Construct;
1781 (N : Node_Id) return Node_Id is
1783 pragma Assert (False
1784 or else NT (N).Nkind = N_Component_Clause);
1789 (N : Node_Id) return Boolean is
1791 pragma Assert (False
1792 or else NT (N).Nkind = N_With_Clause);
1797 (N : Node_Id) return Node_Id is
1799 pragma Assert (False
1800 or else NT (N).Nkind = N_And_Then
1801 or else NT (N).Nkind = N_In
1802 or else NT (N).Nkind = N_Not_In
1803 or else NT (N).Nkind = N_Or_Else
1804 or else NT (N).Nkind in N_Binary_Op);
1808 function Library_Unit
1809 (N : Node_Id) return Node_Id is
1811 pragma Assert (False
1812 or else NT (N).Nkind = N_Compilation_Unit
1813 or else NT (N).Nkind = N_Package_Body_Stub
1814 or else NT (N).Nkind = N_Protected_Body_Stub
1815 or else NT (N).Nkind = N_Subprogram_Body_Stub
1816 or else NT (N).Nkind = N_Task_Body_Stub
1817 or else NT (N).Nkind = N_With_Clause);
1821 function Limited_View_Installed
1822 (N : Node_Id) return Boolean is
1824 pragma Assert (False
1825 or else NT (N).Nkind = N_Package_Specification
1826 or else NT (N).Nkind = N_With_Clause);
1828 end Limited_View_Installed;
1830 function Limited_Present
1831 (N : Node_Id) return Boolean is
1833 pragma Assert (False
1834 or else NT (N).Nkind = N_Derived_Type_Definition
1835 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1836 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1837 or else NT (N).Nkind = N_Private_Extension_Declaration
1838 or else NT (N).Nkind = N_Private_Type_Declaration
1839 or else NT (N).Nkind = N_Record_Definition
1840 or else NT (N).Nkind = N_With_Clause);
1842 end Limited_Present;
1845 (N : Node_Id) return List_Id is
1847 pragma Assert (False
1848 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1852 function Local_Raise_Not_OK
1853 (N : Node_Id) return Boolean is
1855 pragma Assert (False
1856 or else NT (N).Nkind = N_Exception_Handler);
1858 end Local_Raise_Not_OK;
1860 function Local_Raise_Statements
1861 (N : Node_Id) return Elist_Id is
1863 pragma Assert (False
1864 or else NT (N).Nkind = N_Exception_Handler);
1866 end Local_Raise_Statements;
1868 function Loop_Actions
1869 (N : Node_Id) return List_Id is
1871 pragma Assert (False
1872 or else NT (N).Nkind = N_Component_Association);
1876 function Loop_Parameter_Specification
1877 (N : Node_Id) return Node_Id is
1879 pragma Assert (False
1880 or else NT (N).Nkind = N_Iteration_Scheme);
1882 end Loop_Parameter_Specification;
1885 (N : Node_Id) return Node_Id is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Range
1889 or else NT (N).Nkind = N_Real_Range_Specification
1890 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1895 (N : Node_Id) return Node_Id is
1897 pragma Assert (False
1898 or else NT (N).Nkind = N_Record_Representation_Clause);
1903 (N : Node_Id) return Boolean is
1905 pragma Assert (False
1906 or else NT (N).Nkind = N_Component_Declaration
1907 or else NT (N).Nkind = N_Discriminant_Specification
1908 or else NT (N).Nkind = N_Exception_Declaration
1909 or else NT (N).Nkind = N_Formal_Object_Declaration
1910 or else NT (N).Nkind = N_Number_Declaration
1911 or else NT (N).Nkind = N_Object_Declaration
1912 or else NT (N).Nkind = N_Parameter_Specification);
1916 function Must_Be_Byte_Aligned
1917 (N : Node_Id) return Boolean is
1919 pragma Assert (False
1920 or else NT (N).Nkind = N_Attribute_Reference);
1922 end Must_Be_Byte_Aligned;
1924 function Must_Not_Freeze
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Subtype_Indication
1929 or else NT (N).Nkind in N_Subexpr);
1931 end Must_Not_Freeze;
1933 function Must_Not_Override
1934 (N : Node_Id) return Boolean is
1936 pragma Assert (False
1937 or else NT (N).Nkind = N_Entry_Declaration
1938 or else NT (N).Nkind = N_Function_Instantiation
1939 or else NT (N).Nkind = N_Function_Specification
1940 or else NT (N).Nkind = N_Procedure_Instantiation
1941 or else NT (N).Nkind = N_Procedure_Specification);
1943 end Must_Not_Override;
1945 function Must_Override
1946 (N : Node_Id) return Boolean is
1948 pragma Assert (False
1949 or else NT (N).Nkind = N_Entry_Declaration
1950 or else NT (N).Nkind = N_Function_Instantiation
1951 or else NT (N).Nkind = N_Function_Specification
1952 or else NT (N).Nkind = N_Procedure_Instantiation
1953 or else NT (N).Nkind = N_Procedure_Specification);
1958 (N : Node_Id) return Node_Id is
1960 pragma Assert (False
1961 or else NT (N).Nkind = N_Assignment_Statement
1962 or else NT (N).Nkind = N_Attribute_Definition_Clause
1963 or else NT (N).Nkind = N_Defining_Program_Unit_Name
1964 or else NT (N).Nkind = N_Designator
1965 or else NT (N).Nkind = N_Entry_Call_Statement
1966 or else NT (N).Nkind = N_Exception_Renaming_Declaration
1967 or else NT (N).Nkind = N_Exit_Statement
1968 or else NT (N).Nkind = N_Formal_Package_Declaration
1969 or else NT (N).Nkind = N_Function_Call
1970 or else NT (N).Nkind = N_Function_Instantiation
1971 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1972 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1973 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1974 or else NT (N).Nkind = N_Goto_Statement
1975 or else NT (N).Nkind = N_Object_Renaming_Declaration
1976 or else NT (N).Nkind = N_Package_Instantiation
1977 or else NT (N).Nkind = N_Package_Renaming_Declaration
1978 or else NT (N).Nkind = N_Procedure_Call_Statement
1979 or else NT (N).Nkind = N_Procedure_Instantiation
1980 or else NT (N).Nkind = N_Raise_Statement
1981 or else NT (N).Nkind = N_Requeue_Statement
1982 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1983 or else NT (N).Nkind = N_Subunit
1984 or else NT (N).Nkind = N_Variant_Part
1985 or else NT (N).Nkind = N_With_Clause);
1990 (N : Node_Id) return List_Id is
1992 pragma Assert (False
1993 or else NT (N).Nkind = N_Abort_Statement
1994 or else NT (N).Nkind = N_Use_Package_Clause);
1998 function Next_Entity
1999 (N : Node_Id) return Node_Id is
2001 pragma Assert (False
2002 or else NT (N).Nkind = N_Defining_Character_Literal
2003 or else NT (N).Nkind = N_Defining_Identifier
2004 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2008 function Next_Implicit_With
2009 (N : Node_Id) return Node_Id is
2011 pragma Assert (False
2012 or else NT (N).Nkind = N_With_Clause);
2014 end Next_Implicit_With;
2016 function Next_Named_Actual
2017 (N : Node_Id) return Node_Id is
2019 pragma Assert (False
2020 or else NT (N).Nkind = N_Parameter_Association);
2022 end Next_Named_Actual;
2024 function Next_Pragma
2025 (N : Node_Id) return Node_Id is
2027 pragma Assert (False
2028 or else NT (N).Nkind = N_Pragma);
2032 function Next_Rep_Item
2033 (N : Node_Id) return Node_Id is
2035 pragma Assert (False
2036 or else NT (N).Nkind = N_Attribute_Definition_Clause
2037 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2038 or else NT (N).Nkind = N_Pragma
2039 or else NT (N).Nkind = N_Record_Representation_Clause);
2043 function Next_Use_Clause
2044 (N : Node_Id) return Node_Id is
2046 pragma Assert (False
2047 or else NT (N).Nkind = N_Use_Package_Clause
2048 or else NT (N).Nkind = N_Use_Type_Clause);
2050 end Next_Use_Clause;
2052 function No_Ctrl_Actions
2053 (N : Node_Id) return Boolean is
2055 pragma Assert (False
2056 or else NT (N).Nkind = N_Assignment_Statement);
2058 end No_Ctrl_Actions;
2060 function No_Elaboration_Check
2061 (N : Node_Id) return Boolean is
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Function_Call
2065 or else NT (N).Nkind = N_Procedure_Call_Statement);
2067 end No_Elaboration_Check;
2069 function No_Entities_Ref_In_Spec
2070 (N : Node_Id) return Boolean is
2072 pragma Assert (False
2073 or else NT (N).Nkind = N_With_Clause);
2075 end No_Entities_Ref_In_Spec;
2077 function No_Initialization
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_Allocator
2082 or else NT (N).Nkind = N_Object_Declaration);
2084 end No_Initialization;
2086 function No_Truncation
2087 (N : Node_Id) return Boolean is
2089 pragma Assert (False
2090 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2094 function Null_Present
2095 (N : Node_Id) return Boolean is
2097 pragma Assert (False
2098 or else NT (N).Nkind = N_Component_List
2099 or else NT (N).Nkind = N_Procedure_Specification
2100 or else NT (N).Nkind = N_Record_Definition);
2104 function Null_Exclusion_Present
2105 (N : Node_Id) return Boolean is
2107 pragma Assert (False
2108 or else NT (N).Nkind = N_Access_Definition
2109 or else NT (N).Nkind = N_Access_Function_Definition
2110 or else NT (N).Nkind = N_Access_Procedure_Definition
2111 or else NT (N).Nkind = N_Access_To_Object_Definition
2112 or else NT (N).Nkind = N_Allocator
2113 or else NT (N).Nkind = N_Component_Definition
2114 or else NT (N).Nkind = N_Derived_Type_Definition
2115 or else NT (N).Nkind = N_Discriminant_Specification
2116 or else NT (N).Nkind = N_Formal_Object_Declaration
2117 or else NT (N).Nkind = N_Function_Specification
2118 or else NT (N).Nkind = N_Object_Declaration
2119 or else NT (N).Nkind = N_Object_Renaming_Declaration
2120 or else NT (N).Nkind = N_Parameter_Specification
2121 or else NT (N).Nkind = N_Subtype_Declaration);
2123 end Null_Exclusion_Present;
2125 function Null_Exclusion_In_Return_Present
2126 (N : Node_Id) return Boolean is
2128 pragma Assert (False
2129 or else NT (N).Nkind = N_Access_Function_Definition);
2131 end Null_Exclusion_In_Return_Present;
2133 function Null_Record_Present
2134 (N : Node_Id) return Boolean is
2136 pragma Assert (False
2137 or else NT (N).Nkind = N_Aggregate
2138 or else NT (N).Nkind = N_Extension_Aggregate);
2140 end Null_Record_Present;
2142 function Object_Definition
2143 (N : Node_Id) return Node_Id is
2145 pragma Assert (False
2146 or else NT (N).Nkind = N_Object_Declaration);
2148 end Object_Definition;
2150 function Original_Discriminant
2151 (N : Node_Id) return Node_Id is
2153 pragma Assert (False
2154 or else NT (N).Nkind = N_Identifier);
2156 end Original_Discriminant;
2158 function Original_Entity
2159 (N : Node_Id) return Entity_Id is
2161 pragma Assert (False
2162 or else NT (N).Nkind = N_Integer_Literal
2163 or else NT (N).Nkind = N_Real_Literal);
2165 end Original_Entity;
2167 function Others_Discrete_Choices
2168 (N : Node_Id) return List_Id is
2170 pragma Assert (False
2171 or else NT (N).Nkind = N_Others_Choice);
2173 end Others_Discrete_Choices;
2175 function Out_Present
2176 (N : Node_Id) return Boolean is
2178 pragma Assert (False
2179 or else NT (N).Nkind = N_Formal_Object_Declaration
2180 or else NT (N).Nkind = N_Parameter_Specification);
2184 function Parameter_Associations
2185 (N : Node_Id) return List_Id is
2187 pragma Assert (False
2188 or else NT (N).Nkind = N_Entry_Call_Statement
2189 or else NT (N).Nkind = N_Function_Call
2190 or else NT (N).Nkind = N_Procedure_Call_Statement);
2192 end Parameter_Associations;
2194 function Parameter_List_Truncated
2195 (N : Node_Id) return Boolean is
2197 pragma Assert (False
2198 or else NT (N).Nkind = N_Function_Call
2199 or else NT (N).Nkind = N_Procedure_Call_Statement);
2201 end Parameter_List_Truncated;
2203 function Parameter_Specifications
2204 (N : Node_Id) return List_Id is
2206 pragma Assert (False
2207 or else NT (N).Nkind = N_Accept_Statement
2208 or else NT (N).Nkind = N_Access_Function_Definition
2209 or else NT (N).Nkind = N_Access_Procedure_Definition
2210 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2211 or else NT (N).Nkind = N_Entry_Declaration
2212 or else NT (N).Nkind = N_Function_Specification
2213 or else NT (N).Nkind = N_Procedure_Specification);
2215 end Parameter_Specifications;
2217 function Parameter_Type
2218 (N : Node_Id) return Node_Id is
2220 pragma Assert (False
2221 or else NT (N).Nkind = N_Parameter_Specification);
2225 function Parent_Spec
2226 (N : Node_Id) return Node_Id is
2228 pragma Assert (False
2229 or else NT (N).Nkind = N_Function_Instantiation
2230 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2231 or else NT (N).Nkind = N_Generic_Package_Declaration
2232 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2233 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2234 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2235 or else NT (N).Nkind = N_Package_Declaration
2236 or else NT (N).Nkind = N_Package_Instantiation
2237 or else NT (N).Nkind = N_Package_Renaming_Declaration
2238 or else NT (N).Nkind = N_Procedure_Instantiation
2239 or else NT (N).Nkind = N_Subprogram_Declaration
2240 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2244 function PPC_Enabled
2245 (N : Node_Id) return Boolean is
2247 pragma Assert (False
2248 or else NT (N).Nkind = N_Pragma);
2253 (N : Node_Id) return Node_Id is
2255 pragma Assert (False
2256 or else NT (N).Nkind = N_Component_Clause);
2260 function Pragma_Argument_Associations
2261 (N : Node_Id) return List_Id is
2263 pragma Assert (False
2264 or else NT (N).Nkind = N_Pragma);
2266 end Pragma_Argument_Associations;
2268 function Pragma_Identifier
2269 (N : Node_Id) return Node_Id is
2271 pragma Assert (False
2272 or else NT (N).Nkind = N_Pragma);
2274 end Pragma_Identifier;
2276 function Pragmas_After
2277 (N : Node_Id) return List_Id is
2279 pragma Assert (False
2280 or else NT (N).Nkind = N_Compilation_Unit_Aux
2281 or else NT (N).Nkind = N_Terminate_Alternative);
2285 function Pragmas_Before
2286 (N : Node_Id) return List_Id is
2288 pragma Assert (False
2289 or else NT (N).Nkind = N_Accept_Alternative
2290 or else NT (N).Nkind = N_Delay_Alternative
2291 or else NT (N).Nkind = N_Entry_Call_Alternative
2292 or else NT (N).Nkind = N_Mod_Clause
2293 or else NT (N).Nkind = N_Terminate_Alternative
2294 or else NT (N).Nkind = N_Triggering_Alternative);
2299 (N : Node_Id) return Node_Id is
2301 pragma Assert (False
2302 or else NT (N).Nkind = N_Attribute_Reference
2303 or else NT (N).Nkind = N_Expanded_Name
2304 or else NT (N).Nkind = N_Explicit_Dereference
2305 or else NT (N).Nkind = N_Indexed_Component
2306 or else NT (N).Nkind = N_Reference
2307 or else NT (N).Nkind = N_Selected_Component
2308 or else NT (N).Nkind = N_Slice);
2312 function Present_Expr
2313 (N : Node_Id) return Uint is
2315 pragma Assert (False
2316 or else NT (N).Nkind = N_Variant);
2321 (N : Node_Id) return Boolean is
2323 pragma Assert (False
2324 or else NT (N).Nkind = N_Component_Declaration
2325 or else NT (N).Nkind = N_Discriminant_Specification
2326 or else NT (N).Nkind = N_Exception_Declaration
2327 or else NT (N).Nkind = N_Formal_Object_Declaration
2328 or else NT (N).Nkind = N_Number_Declaration
2329 or else NT (N).Nkind = N_Object_Declaration
2330 or else NT (N).Nkind = N_Parameter_Specification);
2334 function Print_In_Hex
2335 (N : Node_Id) return Boolean is
2337 pragma Assert (False
2338 or else NT (N).Nkind = N_Integer_Literal);
2342 function Private_Declarations
2343 (N : Node_Id) return List_Id is
2345 pragma Assert (False
2346 or else NT (N).Nkind = N_Package_Specification
2347 or else NT (N).Nkind = N_Protected_Definition
2348 or else NT (N).Nkind = N_Task_Definition);
2350 end Private_Declarations;
2352 function Private_Present
2353 (N : Node_Id) return Boolean is
2355 pragma Assert (False
2356 or else NT (N).Nkind = N_Compilation_Unit
2357 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2358 or else NT (N).Nkind = N_With_Clause);
2360 end Private_Present;
2362 function Procedure_To_Call
2363 (N : Node_Id) return Node_Id is
2365 pragma Assert (False
2366 or else NT (N).Nkind = N_Allocator
2367 or else NT (N).Nkind = N_Extended_Return_Statement
2368 or else NT (N).Nkind = N_Free_Statement
2369 or else NT (N).Nkind = N_Return_Statement);
2371 end Procedure_To_Call;
2373 function Proper_Body
2374 (N : Node_Id) return Node_Id is
2376 pragma Assert (False
2377 or else NT (N).Nkind = N_Subunit);
2381 function Protected_Definition
2382 (N : Node_Id) return Node_Id is
2384 pragma Assert (False
2385 or else NT (N).Nkind = N_Protected_Type_Declaration
2386 or else NT (N).Nkind = N_Single_Protected_Declaration);
2388 end Protected_Definition;
2390 function Protected_Present
2391 (N : Node_Id) return Boolean is
2393 pragma Assert (False
2394 or else NT (N).Nkind = N_Access_Function_Definition
2395 or else NT (N).Nkind = N_Access_Procedure_Definition
2396 or else NT (N).Nkind = N_Derived_Type_Definition
2397 or else NT (N).Nkind = N_Record_Definition);
2399 end Protected_Present;
2401 function Raises_Constraint_Error
2402 (N : Node_Id) return Boolean is
2404 pragma Assert (False
2405 or else NT (N).Nkind in N_Subexpr);
2407 end Raises_Constraint_Error;
2409 function Range_Constraint
2410 (N : Node_Id) return Node_Id is
2412 pragma Assert (False
2413 or else NT (N).Nkind = N_Delta_Constraint
2414 or else NT (N).Nkind = N_Digits_Constraint);
2416 end Range_Constraint;
2418 function Range_Expression
2419 (N : Node_Id) return Node_Id is
2421 pragma Assert (False
2422 or else NT (N).Nkind = N_Range_Constraint);
2424 end Range_Expression;
2426 function Real_Range_Specification
2427 (N : Node_Id) return Node_Id is
2429 pragma Assert (False
2430 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2431 or else NT (N).Nkind = N_Floating_Point_Definition
2432 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2434 end Real_Range_Specification;
2437 (N : Node_Id) return Ureal is
2439 pragma Assert (False
2440 or else NT (N).Nkind = N_Real_Literal);
2445 (N : Node_Id) return Uint is
2447 pragma Assert (False
2448 or else NT (N).Nkind = N_Raise_Constraint_Error
2449 or else NT (N).Nkind = N_Raise_Program_Error
2450 or else NT (N).Nkind = N_Raise_Storage_Error);
2454 function Record_Extension_Part
2455 (N : Node_Id) return Node_Id is
2457 pragma Assert (False
2458 or else NT (N).Nkind = N_Derived_Type_Definition);
2460 end Record_Extension_Part;
2462 function Redundant_Use
2463 (N : Node_Id) return Boolean is
2465 pragma Assert (False
2466 or else NT (N).Nkind = N_Attribute_Reference
2467 or else NT (N).Nkind = N_Expanded_Name
2468 or else NT (N).Nkind = N_Identifier);
2472 function Renaming_Exception
2473 (N : Node_Id) return Node_Id is
2475 pragma Assert (False
2476 or else NT (N).Nkind = N_Exception_Declaration);
2478 end Renaming_Exception;
2480 function Result_Definition
2481 (N : Node_Id) return Node_Id is
2483 pragma Assert (False
2484 or else NT (N).Nkind = N_Access_Function_Definition
2485 or else NT (N).Nkind = N_Function_Specification);
2487 end Result_Definition;
2489 function Return_Object_Declarations
2490 (N : Node_Id) return List_Id is
2492 pragma Assert (False
2493 or else NT (N).Nkind = N_Extended_Return_Statement);
2495 end Return_Object_Declarations;
2497 function Return_Statement_Entity
2498 (N : Node_Id) return Node_Id is
2500 pragma Assert (False
2501 or else NT (N).Nkind = N_Extended_Return_Statement
2502 or else NT (N).Nkind = N_Return_Statement);
2504 end Return_Statement_Entity;
2506 function Reverse_Present
2507 (N : Node_Id) return Boolean is
2509 pragma Assert (False
2510 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2512 end Reverse_Present;
2515 (N : Node_Id) return Node_Id is
2517 pragma Assert (False
2518 or else NT (N).Nkind in N_Op
2519 or else NT (N).Nkind = N_And_Then
2520 or else NT (N).Nkind = N_In
2521 or else NT (N).Nkind = N_Not_In
2522 or else NT (N).Nkind = N_Or_Else);
2526 function Rounded_Result
2527 (N : Node_Id) return Boolean is
2529 pragma Assert (False
2530 or else NT (N).Nkind = N_Op_Divide
2531 or else NT (N).Nkind = N_Op_Multiply
2532 or else NT (N).Nkind = N_Type_Conversion);
2537 (N : Node_Id) return Node_Id is
2539 pragma Assert (False
2540 or else NT (N).Nkind = N_Defining_Character_Literal
2541 or else NT (N).Nkind = N_Defining_Identifier
2542 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2546 function Select_Alternatives
2547 (N : Node_Id) return List_Id is
2549 pragma Assert (False
2550 or else NT (N).Nkind = N_Selective_Accept);
2552 end Select_Alternatives;
2554 function Selector_Name
2555 (N : Node_Id) return Node_Id is
2557 pragma Assert (False
2558 or else NT (N).Nkind = N_Expanded_Name
2559 or else NT (N).Nkind = N_Generic_Association
2560 or else NT (N).Nkind = N_Parameter_Association
2561 or else NT (N).Nkind = N_Selected_Component);
2565 function Selector_Names
2566 (N : Node_Id) return List_Id is
2568 pragma Assert (False
2569 or else NT (N).Nkind = N_Discriminant_Association);
2573 function Shift_Count_OK
2574 (N : Node_Id) return Boolean is
2576 pragma Assert (False
2577 or else NT (N).Nkind = N_Op_Rotate_Left
2578 or else NT (N).Nkind = N_Op_Rotate_Right
2579 or else NT (N).Nkind = N_Op_Shift_Left
2580 or else NT (N).Nkind = N_Op_Shift_Right
2581 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2585 function Source_Type
2586 (N : Node_Id) return Entity_Id is
2588 pragma Assert (False
2589 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2593 function Specification
2594 (N : Node_Id) return Node_Id is
2596 pragma Assert (False
2597 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2598 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2599 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2600 or else NT (N).Nkind = N_Generic_Package_Declaration
2601 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2602 or else NT (N).Nkind = N_Package_Declaration
2603 or else NT (N).Nkind = N_Subprogram_Body
2604 or else NT (N).Nkind = N_Subprogram_Body_Stub
2605 or else NT (N).Nkind = N_Subprogram_Declaration
2606 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2611 (N : Node_Id) return List_Id is
2613 pragma Assert (False
2614 or else NT (N).Nkind = N_Abortable_Part
2615 or else NT (N).Nkind = N_Accept_Alternative
2616 or else NT (N).Nkind = N_Case_Statement_Alternative
2617 or else NT (N).Nkind = N_Delay_Alternative
2618 or else NT (N).Nkind = N_Entry_Call_Alternative
2619 or else NT (N).Nkind = N_Exception_Handler
2620 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2621 or else NT (N).Nkind = N_Loop_Statement
2622 or else NT (N).Nkind = N_Triggering_Alternative);
2626 function Static_Processing_OK
2627 (N : Node_Id) return Boolean is
2629 pragma Assert (False
2630 or else NT (N).Nkind = N_Aggregate);
2632 end Static_Processing_OK;
2634 function Storage_Pool
2635 (N : Node_Id) return Node_Id is
2637 pragma Assert (False
2638 or else NT (N).Nkind = N_Allocator
2639 or else NT (N).Nkind = N_Extended_Return_Statement
2640 or else NT (N).Nkind = N_Free_Statement
2641 or else NT (N).Nkind = N_Return_Statement);
2646 (N : Node_Id) return String_Id is
2648 pragma Assert (False
2649 or else NT (N).Nkind = N_Operator_Symbol
2650 or else NT (N).Nkind = N_String_Literal);
2654 function Subtype_Indication
2655 (N : Node_Id) return Node_Id is
2657 pragma Assert (False
2658 or else NT (N).Nkind = N_Access_To_Object_Definition
2659 or else NT (N).Nkind = N_Component_Definition
2660 or else NT (N).Nkind = N_Derived_Type_Definition
2661 or else NT (N).Nkind = N_Private_Extension_Declaration
2662 or else NT (N).Nkind = N_Subtype_Declaration);
2664 end Subtype_Indication;
2666 function Suppress_Loop_Warnings
2667 (N : Node_Id) return Boolean is
2669 pragma Assert (False
2670 or else NT (N).Nkind = N_Loop_Statement);
2672 end Suppress_Loop_Warnings;
2674 function Subtype_Mark
2675 (N : Node_Id) return Node_Id is
2677 pragma Assert (False
2678 or else NT (N).Nkind = N_Access_Definition
2679 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2680 or else NT (N).Nkind = N_Formal_Object_Declaration
2681 or else NT (N).Nkind = N_Object_Renaming_Declaration
2682 or else NT (N).Nkind = N_Qualified_Expression
2683 or else NT (N).Nkind = N_Subtype_Indication
2684 or else NT (N).Nkind = N_Type_Conversion
2685 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2689 function Subtype_Marks
2690 (N : Node_Id) return List_Id is
2692 pragma Assert (False
2693 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2694 or else NT (N).Nkind = N_Use_Type_Clause);
2698 function Synchronized_Present
2699 (N : Node_Id) return Boolean is
2701 pragma Assert (False
2702 or else NT (N).Nkind = N_Derived_Type_Definition
2703 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2704 or else NT (N).Nkind = N_Private_Extension_Declaration
2705 or else NT (N).Nkind = N_Record_Definition);
2707 end Synchronized_Present;
2709 function Tagged_Present
2710 (N : Node_Id) return Boolean is
2712 pragma Assert (False
2713 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2714 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2715 or else NT (N).Nkind = N_Private_Type_Declaration
2716 or else NT (N).Nkind = N_Record_Definition);
2720 function Target_Type
2721 (N : Node_Id) return Entity_Id is
2723 pragma Assert (False
2724 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2728 function Task_Definition
2729 (N : Node_Id) return Node_Id is
2731 pragma Assert (False
2732 or else NT (N).Nkind = N_Single_Task_Declaration
2733 or else NT (N).Nkind = N_Task_Type_Declaration);
2735 end Task_Definition;
2737 function Task_Present
2738 (N : Node_Id) return Boolean is
2740 pragma Assert (False
2741 or else NT (N).Nkind = N_Derived_Type_Definition
2742 or else NT (N).Nkind = N_Record_Definition);
2746 function Then_Actions
2747 (N : Node_Id) return List_Id is
2749 pragma Assert (False
2750 or else NT (N).Nkind = N_Conditional_Expression);
2754 function Then_Statements
2755 (N : Node_Id) return List_Id is
2757 pragma Assert (False
2758 or else NT (N).Nkind = N_Elsif_Part
2759 or else NT (N).Nkind = N_If_Statement);
2761 end Then_Statements;
2763 function Treat_Fixed_As_Integer
2764 (N : Node_Id) return Boolean is
2766 pragma Assert (False
2767 or else NT (N).Nkind = N_Op_Divide
2768 or else NT (N).Nkind = N_Op_Mod
2769 or else NT (N).Nkind = N_Op_Multiply
2770 or else NT (N).Nkind = N_Op_Rem);
2772 end Treat_Fixed_As_Integer;
2774 function Triggering_Alternative
2775 (N : Node_Id) return Node_Id is
2777 pragma Assert (False
2778 or else NT (N).Nkind = N_Asynchronous_Select);
2780 end Triggering_Alternative;
2782 function Triggering_Statement
2783 (N : Node_Id) return Node_Id is
2785 pragma Assert (False
2786 or else NT (N).Nkind = N_Triggering_Alternative);
2788 end Triggering_Statement;
2791 (N : Node_Id) return Elist_Id is
2793 pragma Assert (False
2794 or else NT (N).Nkind = N_Freeze_Entity);
2798 function Type_Definition
2799 (N : Node_Id) return Node_Id is
2801 pragma Assert (False
2802 or else NT (N).Nkind = N_Full_Type_Declaration);
2804 end Type_Definition;
2807 (N : Node_Id) return Node_Id is
2809 pragma Assert (False
2810 or else NT (N).Nkind = N_Compilation_Unit);
2814 function Unknown_Discriminants_Present
2815 (N : Node_Id) return Boolean is
2817 pragma Assert (False
2818 or else NT (N).Nkind = N_Formal_Type_Declaration
2819 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2820 or else NT (N).Nkind = N_Private_Extension_Declaration
2821 or else NT (N).Nkind = N_Private_Type_Declaration);
2823 end Unknown_Discriminants_Present;
2825 function Unreferenced_In_Spec
2826 (N : Node_Id) return Boolean is
2828 pragma Assert (False
2829 or else NT (N).Nkind = N_With_Clause);
2831 end Unreferenced_In_Spec;
2833 function Variant_Part
2834 (N : Node_Id) return Node_Id is
2836 pragma Assert (False
2837 or else NT (N).Nkind = N_Component_List);
2842 (N : Node_Id) return List_Id is
2844 pragma Assert (False
2845 or else NT (N).Nkind = N_Variant_Part);
2849 function Visible_Declarations
2850 (N : Node_Id) return List_Id is
2852 pragma Assert (False
2853 or else NT (N).Nkind = N_Package_Specification
2854 or else NT (N).Nkind = N_Protected_Definition
2855 or else NT (N).Nkind = N_Task_Definition);
2857 end Visible_Declarations;
2859 function Was_Originally_Stub
2860 (N : Node_Id) return Boolean is
2862 pragma Assert (False
2863 or else NT (N).Nkind = N_Package_Body
2864 or else NT (N).Nkind = N_Protected_Body
2865 or else NT (N).Nkind = N_Subprogram_Body
2866 or else NT (N).Nkind = N_Task_Body);
2868 end Was_Originally_Stub;
2870 function Zero_Cost_Handling
2871 (N : Node_Id) return Boolean is
2873 pragma Assert (False
2874 or else NT (N).Nkind = N_Exception_Handler
2875 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2877 end Zero_Cost_Handling;
2879 --------------------------
2880 -- Field Set Procedures --
2881 --------------------------
2883 procedure Set_ABE_Is_Certain
2884 (N : Node_Id; Val : Boolean := True) is
2886 pragma Assert (False
2887 or else NT (N).Nkind = N_Formal_Package_Declaration
2888 or else NT (N).Nkind = N_Function_Call
2889 or else NT (N).Nkind = N_Function_Instantiation
2890 or else NT (N).Nkind = N_Package_Instantiation
2891 or else NT (N).Nkind = N_Procedure_Call_Statement
2892 or else NT (N).Nkind = N_Procedure_Instantiation);
2893 Set_Flag18 (N, Val);
2894 end Set_ABE_Is_Certain;
2896 procedure Set_Abort_Present
2897 (N : Node_Id; Val : Boolean := True) is
2899 pragma Assert (False
2900 or else NT (N).Nkind = N_Requeue_Statement);
2901 Set_Flag15 (N, Val);
2902 end Set_Abort_Present;
2904 procedure Set_Abortable_Part
2905 (N : Node_Id; Val : Node_Id) is
2907 pragma Assert (False
2908 or else NT (N).Nkind = N_Asynchronous_Select);
2909 Set_Node2_With_Parent (N, Val);
2910 end Set_Abortable_Part;
2912 procedure Set_Abstract_Present
2913 (N : Node_Id; Val : Boolean := True) is
2915 pragma Assert (False
2916 or else NT (N).Nkind = N_Derived_Type_Definition
2917 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2918 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2919 or else NT (N).Nkind = N_Private_Extension_Declaration
2920 or else NT (N).Nkind = N_Private_Type_Declaration
2921 or else NT (N).Nkind = N_Record_Definition);
2923 end Set_Abstract_Present;
2925 procedure Set_Accept_Handler_Records
2926 (N : Node_Id; Val : List_Id) is
2928 pragma Assert (False
2929 or else NT (N).Nkind = N_Accept_Alternative);
2930 Set_List5 (N, Val); -- semantic field, no parent set
2931 end Set_Accept_Handler_Records;
2933 procedure Set_Accept_Statement
2934 (N : Node_Id; Val : Node_Id) is
2936 pragma Assert (False
2937 or else NT (N).Nkind = N_Accept_Alternative);
2938 Set_Node2_With_Parent (N, Val);
2939 end Set_Accept_Statement;
2941 procedure Set_Access_Definition
2942 (N : Node_Id; Val : Node_Id) is
2944 pragma Assert (False
2945 or else NT (N).Nkind = N_Component_Definition
2946 or else NT (N).Nkind = N_Formal_Object_Declaration
2947 or else NT (N).Nkind = N_Object_Renaming_Declaration);
2948 Set_Node3_With_Parent (N, Val);
2949 end Set_Access_Definition;
2951 procedure Set_Access_To_Subprogram_Definition
2952 (N : Node_Id; Val : Node_Id) is
2954 pragma Assert (False
2955 or else NT (N).Nkind = N_Access_Definition);
2956 Set_Node3_With_Parent (N, Val);
2957 end Set_Access_To_Subprogram_Definition;
2959 procedure Set_Access_Types_To_Process
2960 (N : Node_Id; Val : Elist_Id) is
2962 pragma Assert (False
2963 or else NT (N).Nkind = N_Freeze_Entity);
2964 Set_Elist2 (N, Val); -- semantic field, no parent set
2965 end Set_Access_Types_To_Process;
2967 procedure Set_Actions
2968 (N : Node_Id; Val : List_Id) is
2970 pragma Assert (False
2971 or else NT (N).Nkind = N_And_Then
2972 or else NT (N).Nkind = N_Compilation_Unit_Aux
2973 or else NT (N).Nkind = N_Freeze_Entity
2974 or else NT (N).Nkind = N_Or_Else);
2975 Set_List1_With_Parent (N, Val);
2978 procedure Set_Activation_Chain_Entity
2979 (N : Node_Id; Val : Node_Id) is
2981 pragma Assert (False
2982 or else NT (N).Nkind = N_Block_Statement
2983 or else NT (N).Nkind = N_Entry_Body
2984 or else NT (N).Nkind = N_Generic_Package_Declaration
2985 or else NT (N).Nkind = N_Package_Declaration
2986 or else NT (N).Nkind = N_Subprogram_Body
2987 or else NT (N).Nkind = N_Task_Body);
2988 Set_Node3 (N, Val); -- semantic field, no parent set
2989 end Set_Activation_Chain_Entity;
2991 procedure Set_Acts_As_Spec
2992 (N : Node_Id; Val : Boolean := True) is
2994 pragma Assert (False
2995 or else NT (N).Nkind = N_Compilation_Unit
2996 or else NT (N).Nkind = N_Subprogram_Body);
2998 end Set_Acts_As_Spec;
3000 procedure Set_Actual_Designated_Subtype
3001 (N : Node_Id; Val : Node_Id) is
3003 pragma Assert (False
3004 or else NT (N).Nkind = N_Explicit_Dereference
3005 or else NT (N).Nkind = N_Free_Statement);
3007 end Set_Actual_Designated_Subtype;
3009 procedure Set_Address_Warning_Posted
3010 (N : Node_Id; Val : Boolean := True) is
3012 pragma Assert (False
3013 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3014 Set_Flag18 (N, Val);
3015 end Set_Address_Warning_Posted;
3017 procedure Set_Aggregate_Bounds
3018 (N : Node_Id; Val : Node_Id) is
3020 pragma Assert (False
3021 or else NT (N).Nkind = N_Aggregate);
3022 Set_Node3 (N, Val); -- semantic field, no parent set
3023 end Set_Aggregate_Bounds;
3025 procedure Set_Aliased_Present
3026 (N : Node_Id; Val : Boolean := True) is
3028 pragma Assert (False
3029 or else NT (N).Nkind = N_Component_Definition
3030 or else NT (N).Nkind = N_Object_Declaration);
3032 end Set_Aliased_Present;
3034 procedure Set_All_Others
3035 (N : Node_Id; Val : Boolean := True) is
3037 pragma Assert (False
3038 or else NT (N).Nkind = N_Others_Choice);
3039 Set_Flag11 (N, Val);
3042 procedure Set_All_Present
3043 (N : Node_Id; Val : Boolean := True) is
3045 pragma Assert (False
3046 or else NT (N).Nkind = N_Access_Definition
3047 or else NT (N).Nkind = N_Access_To_Object_Definition);
3048 Set_Flag15 (N, Val);
3049 end Set_All_Present;
3051 procedure Set_Alternatives
3052 (N : Node_Id; Val : List_Id) is
3054 pragma Assert (False
3055 or else NT (N).Nkind = N_Case_Statement
3056 or else NT (N).Nkind = N_In
3057 or else NT (N).Nkind = N_Not_In);
3058 Set_List4_With_Parent (N, Val);
3059 end Set_Alternatives;
3061 procedure Set_Ancestor_Part
3062 (N : Node_Id; Val : Node_Id) is
3064 pragma Assert (False
3065 or else NT (N).Nkind = N_Extension_Aggregate);
3066 Set_Node3_With_Parent (N, Val);
3067 end Set_Ancestor_Part;
3069 procedure Set_Array_Aggregate
3070 (N : Node_Id; Val : Node_Id) is
3072 pragma Assert (False
3073 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3074 Set_Node3_With_Parent (N, Val);
3075 end Set_Array_Aggregate;
3077 procedure Set_Assignment_OK
3078 (N : Node_Id; Val : Boolean := True) is
3080 pragma Assert (False
3081 or else NT (N).Nkind = N_Object_Declaration
3082 or else NT (N).Nkind in N_Subexpr);
3083 Set_Flag15 (N, Val);
3084 end Set_Assignment_OK;
3086 procedure Set_Associated_Node
3087 (N : Node_Id; Val : Node_Id) is
3089 pragma Assert (False
3090 or else NT (N).Nkind in N_Has_Entity
3091 or else NT (N).Nkind = N_Aggregate
3092 or else NT (N).Nkind = N_Extension_Aggregate
3093 or else NT (N).Nkind = N_Selected_Component);
3094 Set_Node4 (N, Val); -- semantic field, no parent set
3095 end Set_Associated_Node;
3097 procedure Set_At_End_Proc
3098 (N : Node_Id; Val : Node_Id) is
3100 pragma Assert (False
3101 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3103 end Set_At_End_Proc;
3105 procedure Set_Attribute_Name
3106 (N : Node_Id; Val : Name_Id) is
3108 pragma Assert (False
3109 or else NT (N).Nkind = N_Attribute_Reference);
3111 end Set_Attribute_Name;
3113 procedure Set_Aux_Decls_Node
3114 (N : Node_Id; Val : Node_Id) is
3116 pragma Assert (False
3117 or else NT (N).Nkind = N_Compilation_Unit);
3118 Set_Node5_With_Parent (N, Val);
3119 end Set_Aux_Decls_Node;
3121 procedure Set_Backwards_OK
3122 (N : Node_Id; Val : Boolean := True) is
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_Assignment_Statement);
3127 end Set_Backwards_OK;
3129 procedure Set_Bad_Is_Detected
3130 (N : Node_Id; Val : Boolean := True) is
3132 pragma Assert (False
3133 or else NT (N).Nkind = N_Subprogram_Body);
3134 Set_Flag15 (N, Val);
3135 end Set_Bad_Is_Detected;
3137 procedure Set_Body_Required
3138 (N : Node_Id; Val : Boolean := True) is
3140 pragma Assert (False
3141 or else NT (N).Nkind = N_Compilation_Unit);
3142 Set_Flag13 (N, Val);
3143 end Set_Body_Required;
3145 procedure Set_Body_To_Inline
3146 (N : Node_Id; Val : Node_Id) is
3148 pragma Assert (False
3149 or else NT (N).Nkind = N_Subprogram_Declaration);
3151 end Set_Body_To_Inline;
3153 procedure Set_Box_Present
3154 (N : Node_Id; Val : Boolean := True) is
3156 pragma Assert (False
3157 or else NT (N).Nkind = N_Component_Association
3158 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3159 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3160 or else NT (N).Nkind = N_Formal_Package_Declaration
3161 or else NT (N).Nkind = N_Generic_Association);
3162 Set_Flag15 (N, Val);
3163 end Set_Box_Present;
3165 procedure Set_By_Ref
3166 (N : Node_Id; Val : Boolean := True) is
3168 pragma Assert (False
3169 or else NT (N).Nkind = N_Extended_Return_Statement
3170 or else NT (N).Nkind = N_Return_Statement);
3174 procedure Set_Char_Literal_Value
3175 (N : Node_Id; Val : Uint) is
3177 pragma Assert (False
3178 or else NT (N).Nkind = N_Character_Literal);
3180 end Set_Char_Literal_Value;
3183 (N : Node_Id; Val : Name_Id) is
3185 pragma Assert (False
3186 or else NT (N).Nkind in N_Has_Chars);
3190 procedure Set_Check_Address_Alignment
3191 (N : Node_Id; Val : Boolean := True) is
3193 pragma Assert (False
3194 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3195 Set_Flag11 (N, Val);
3196 end Set_Check_Address_Alignment;
3198 procedure Set_Choice_Parameter
3199 (N : Node_Id; Val : Node_Id) is
3201 pragma Assert (False
3202 or else NT (N).Nkind = N_Exception_Handler);
3203 Set_Node2_With_Parent (N, Val);
3204 end Set_Choice_Parameter;
3206 procedure Set_Choices
3207 (N : Node_Id; Val : List_Id) is
3209 pragma Assert (False
3210 or else NT (N).Nkind = N_Component_Association);
3211 Set_List1_With_Parent (N, Val);
3214 procedure Set_Coextensions
3215 (N : Node_Id; Val : Elist_Id) is
3217 pragma Assert (False
3218 or else NT (N).Nkind = N_Allocator);
3219 Set_Elist4 (N, Val);
3220 end Set_Coextensions;
3222 procedure Set_Comes_From_Extended_Return_Statement
3223 (N : Node_Id; Val : Boolean := True) is
3225 pragma Assert (False
3226 or else NT (N).Nkind = N_Return_Statement);
3227 Set_Flag18 (N, Val);
3228 end Set_Comes_From_Extended_Return_Statement;
3230 procedure Set_Compile_Time_Known_Aggregate
3231 (N : Node_Id; Val : Boolean := True) is
3233 pragma Assert (False
3234 or else NT (N).Nkind = N_Aggregate);
3235 Set_Flag18 (N, Val);
3236 end Set_Compile_Time_Known_Aggregate;
3238 procedure Set_Component_Associations
3239 (N : Node_Id; Val : List_Id) is
3241 pragma Assert (False
3242 or else NT (N).Nkind = N_Aggregate
3243 or else NT (N).Nkind = N_Extension_Aggregate);
3244 Set_List2_With_Parent (N, Val);
3245 end Set_Component_Associations;
3247 procedure Set_Component_Clauses
3248 (N : Node_Id; Val : List_Id) is
3250 pragma Assert (False
3251 or else NT (N).Nkind = N_Record_Representation_Clause);
3252 Set_List3_With_Parent (N, Val);
3253 end Set_Component_Clauses;
3255 procedure Set_Component_Definition
3256 (N : Node_Id; Val : Node_Id) is
3258 pragma Assert (False
3259 or else NT (N).Nkind = N_Component_Declaration
3260 or else NT (N).Nkind = N_Constrained_Array_Definition
3261 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3262 Set_Node4_With_Parent (N, Val);
3263 end Set_Component_Definition;
3265 procedure Set_Component_Items
3266 (N : Node_Id; Val : List_Id) is
3268 pragma Assert (False
3269 or else NT (N).Nkind = N_Component_List);
3270 Set_List3_With_Parent (N, Val);
3271 end Set_Component_Items;
3273 procedure Set_Component_List
3274 (N : Node_Id; Val : Node_Id) is
3276 pragma Assert (False
3277 or else NT (N).Nkind = N_Record_Definition
3278 or else NT (N).Nkind = N_Variant);
3279 Set_Node1_With_Parent (N, Val);
3280 end Set_Component_List;
3282 procedure Set_Component_Name
3283 (N : Node_Id; Val : Node_Id) is
3285 pragma Assert (False
3286 or else NT (N).Nkind = N_Component_Clause);
3287 Set_Node1_With_Parent (N, Val);
3288 end Set_Component_Name;
3290 procedure Set_Componentwise_Assignment
3291 (N : Node_Id; Val : Boolean := True) is
3293 pragma Assert (False
3294 or else NT (N).Nkind = N_Assignment_Statement);
3295 Set_Flag14 (N, Val);
3296 end Set_Componentwise_Assignment;
3298 procedure Set_Condition
3299 (N : Node_Id; Val : Node_Id) is
3301 pragma Assert (False
3302 or else NT (N).Nkind = N_Accept_Alternative
3303 or else NT (N).Nkind = N_Delay_Alternative
3304 or else NT (N).Nkind = N_Elsif_Part
3305 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3306 or else NT (N).Nkind = N_Exit_Statement
3307 or else NT (N).Nkind = N_If_Statement
3308 or else NT (N).Nkind = N_Iteration_Scheme
3309 or else NT (N).Nkind = N_Raise_Constraint_Error
3310 or else NT (N).Nkind = N_Raise_Program_Error
3311 or else NT (N).Nkind = N_Raise_Storage_Error
3312 or else NT (N).Nkind = N_Terminate_Alternative);
3313 Set_Node1_With_Parent (N, Val);
3316 procedure Set_Condition_Actions
3317 (N : Node_Id; Val : List_Id) is
3319 pragma Assert (False
3320 or else NT (N).Nkind = N_Elsif_Part
3321 or else NT (N).Nkind = N_Iteration_Scheme);
3322 Set_List3 (N, Val); -- semantic field, no parent set
3323 end Set_Condition_Actions;
3325 procedure Set_Config_Pragmas
3326 (N : Node_Id; Val : List_Id) is
3328 pragma Assert (False
3329 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3330 Set_List4_With_Parent (N, Val);
3331 end Set_Config_Pragmas;
3333 procedure Set_Constant_Present
3334 (N : Node_Id; Val : Boolean := True) is
3336 pragma Assert (False
3337 or else NT (N).Nkind = N_Access_Definition
3338 or else NT (N).Nkind = N_Access_To_Object_Definition
3339 or else NT (N).Nkind = N_Object_Declaration);
3340 Set_Flag17 (N, Val);
3341 end Set_Constant_Present;
3343 procedure Set_Constraint
3344 (N : Node_Id; Val : Node_Id) is
3346 pragma Assert (False
3347 or else NT (N).Nkind = N_Subtype_Indication);
3348 Set_Node3_With_Parent (N, Val);
3351 procedure Set_Constraints
3352 (N : Node_Id; Val : List_Id) is
3354 pragma Assert (False
3355 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3356 Set_List1_With_Parent (N, Val);
3357 end Set_Constraints;
3359 procedure Set_Context_Installed
3360 (N : Node_Id; Val : Boolean := True) is
3362 pragma Assert (False
3363 or else NT (N).Nkind = N_With_Clause);
3364 Set_Flag13 (N, Val);
3365 end Set_Context_Installed;
3367 procedure Set_Context_Items
3368 (N : Node_Id; Val : List_Id) is
3370 pragma Assert (False
3371 or else NT (N).Nkind = N_Compilation_Unit);
3372 Set_List1_With_Parent (N, Val);
3373 end Set_Context_Items;
3375 procedure Set_Context_Pending
3376 (N : Node_Id; Val : Boolean := True) is
3378 pragma Assert (False
3379 or else NT (N).Nkind = N_Compilation_Unit);
3380 Set_Flag16 (N, Val);
3381 end Set_Context_Pending;
3383 procedure Set_Controlling_Argument
3384 (N : Node_Id; Val : Node_Id) is
3386 pragma Assert (False
3387 or else NT (N).Nkind = N_Function_Call
3388 or else NT (N).Nkind = N_Procedure_Call_Statement);
3389 Set_Node1 (N, Val); -- semantic field, no parent set
3390 end Set_Controlling_Argument;
3392 procedure Set_Conversion_OK
3393 (N : Node_Id; Val : Boolean := True) is
3395 pragma Assert (False
3396 or else NT (N).Nkind = N_Type_Conversion);
3397 Set_Flag14 (N, Val);
3398 end Set_Conversion_OK;
3400 procedure Set_Corresponding_Body
3401 (N : Node_Id; Val : Node_Id) is
3403 pragma Assert (False
3404 or else NT (N).Nkind = N_Entry_Declaration
3405 or else NT (N).Nkind = N_Generic_Package_Declaration
3406 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3407 or else NT (N).Nkind = N_Package_Body_Stub
3408 or else NT (N).Nkind = N_Package_Declaration
3409 or else NT (N).Nkind = N_Protected_Body_Stub
3410 or else NT (N).Nkind = N_Protected_Type_Declaration
3411 or else NT (N).Nkind = N_Subprogram_Body_Stub
3412 or else NT (N).Nkind = N_Subprogram_Declaration
3413 or else NT (N).Nkind = N_Task_Body_Stub
3414 or else NT (N).Nkind = N_Task_Type_Declaration);
3415 Set_Node5 (N, Val); -- semantic field, no parent set
3416 end Set_Corresponding_Body;
3418 procedure Set_Corresponding_Formal_Spec
3419 (N : Node_Id; Val : Node_Id) is
3421 pragma Assert (False
3422 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3423 Set_Node3 (N, Val); -- semantic field, no parent set
3424 end Set_Corresponding_Formal_Spec;
3426 procedure Set_Corresponding_Generic_Association
3427 (N : Node_Id; Val : Node_Id) is
3429 pragma Assert (False
3430 or else NT (N).Nkind = N_Object_Declaration
3431 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3432 Set_Node5 (N, Val); -- semantic field, no parent set
3433 end Set_Corresponding_Generic_Association;
3435 procedure Set_Corresponding_Integer_Value
3436 (N : Node_Id; Val : Uint) is
3438 pragma Assert (False
3439 or else NT (N).Nkind = N_Real_Literal);
3440 Set_Uint4 (N, Val); -- semantic field, no parent set
3441 end Set_Corresponding_Integer_Value;
3443 procedure Set_Corresponding_Spec
3444 (N : Node_Id; Val : Node_Id) is
3446 pragma Assert (False
3447 or else NT (N).Nkind = N_Package_Body
3448 or else NT (N).Nkind = N_Protected_Body
3449 or else NT (N).Nkind = N_Subprogram_Body
3450 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3451 or else NT (N).Nkind = N_Task_Body
3452 or else NT (N).Nkind = N_With_Clause);
3453 Set_Node5 (N, Val); -- semantic field, no parent set
3454 end Set_Corresponding_Spec;
3456 procedure Set_Corresponding_Stub
3457 (N : Node_Id; Val : Node_Id) is
3459 pragma Assert (False
3460 or else NT (N).Nkind = N_Subunit);
3462 end Set_Corresponding_Stub;
3464 procedure Set_Dcheck_Function
3465 (N : Node_Id; Val : Entity_Id) is
3467 pragma Assert (False
3468 or else NT (N).Nkind = N_Variant);
3469 Set_Node5 (N, Val); -- semantic field, no parent set
3470 end Set_Dcheck_Function;
3472 procedure Set_Debug_Statement
3473 (N : Node_Id; Val : Node_Id) is
3475 pragma Assert (False
3476 or else NT (N).Nkind = N_Pragma);
3477 Set_Node3_With_Parent (N, Val);
3478 end Set_Debug_Statement;
3480 procedure Set_Declarations
3481 (N : Node_Id; Val : List_Id) is
3483 pragma Assert (False
3484 or else NT (N).Nkind = N_Accept_Statement
3485 or else NT (N).Nkind = N_Block_Statement
3486 or else NT (N).Nkind = N_Compilation_Unit_Aux
3487 or else NT (N).Nkind = N_Entry_Body
3488 or else NT (N).Nkind = N_Package_Body
3489 or else NT (N).Nkind = N_Protected_Body
3490 or else NT (N).Nkind = N_Subprogram_Body
3491 or else NT (N).Nkind = N_Task_Body);
3492 Set_List2_With_Parent (N, Val);
3493 end Set_Declarations;
3495 procedure Set_Default_Expression
3496 (N : Node_Id; Val : Node_Id) is
3498 pragma Assert (False
3499 or else NT (N).Nkind = N_Formal_Object_Declaration
3500 or else NT (N).Nkind = N_Parameter_Specification);
3501 Set_Node5 (N, Val); -- semantic field, no parent set
3502 end Set_Default_Expression;
3504 procedure Set_Default_Name
3505 (N : Node_Id; Val : Node_Id) is
3507 pragma Assert (False
3508 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3509 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3510 Set_Node2_With_Parent (N, Val);
3511 end Set_Default_Name;
3513 procedure Set_Defining_Identifier
3514 (N : Node_Id; Val : Entity_Id) is
3516 pragma Assert (False
3517 or else NT (N).Nkind = N_Component_Declaration
3518 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3519 or else NT (N).Nkind = N_Discriminant_Specification
3520 or else NT (N).Nkind = N_Entry_Body
3521 or else NT (N).Nkind = N_Entry_Declaration
3522 or else NT (N).Nkind = N_Entry_Index_Specification
3523 or else NT (N).Nkind = N_Exception_Declaration
3524 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3525 or else NT (N).Nkind = N_Formal_Object_Declaration
3526 or else NT (N).Nkind = N_Formal_Package_Declaration
3527 or else NT (N).Nkind = N_Formal_Type_Declaration
3528 or else NT (N).Nkind = N_Full_Type_Declaration
3529 or else NT (N).Nkind = N_Implicit_Label_Declaration
3530 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3531 or else NT (N).Nkind = N_Loop_Parameter_Specification
3532 or else NT (N).Nkind = N_Number_Declaration
3533 or else NT (N).Nkind = N_Object_Declaration
3534 or else NT (N).Nkind = N_Object_Renaming_Declaration
3535 or else NT (N).Nkind = N_Package_Body_Stub
3536 or else NT (N).Nkind = N_Parameter_Specification
3537 or else NT (N).Nkind = N_Private_Extension_Declaration
3538 or else NT (N).Nkind = N_Private_Type_Declaration
3539 or else NT (N).Nkind = N_Protected_Body
3540 or else NT (N).Nkind = N_Protected_Body_Stub
3541 or else NT (N).Nkind = N_Protected_Type_Declaration
3542 or else NT (N).Nkind = N_Single_Protected_Declaration
3543 or else NT (N).Nkind = N_Single_Task_Declaration
3544 or else NT (N).Nkind = N_Subtype_Declaration
3545 or else NT (N).Nkind = N_Task_Body
3546 or else NT (N).Nkind = N_Task_Body_Stub
3547 or else NT (N).Nkind = N_Task_Type_Declaration);
3548 Set_Node1_With_Parent (N, Val);
3549 end Set_Defining_Identifier;
3551 procedure Set_Defining_Unit_Name
3552 (N : Node_Id; Val : Node_Id) is
3554 pragma Assert (False
3555 or else NT (N).Nkind = N_Function_Instantiation
3556 or else NT (N).Nkind = N_Function_Specification
3557 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3558 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3559 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3560 or else NT (N).Nkind = N_Package_Body
3561 or else NT (N).Nkind = N_Package_Instantiation
3562 or else NT (N).Nkind = N_Package_Renaming_Declaration
3563 or else NT (N).Nkind = N_Package_Specification
3564 or else NT (N).Nkind = N_Procedure_Instantiation
3565 or else NT (N).Nkind = N_Procedure_Specification);
3566 Set_Node1_With_Parent (N, Val);
3567 end Set_Defining_Unit_Name;
3569 procedure Set_Delay_Alternative
3570 (N : Node_Id; Val : Node_Id) is
3572 pragma Assert (False
3573 or else NT (N).Nkind = N_Timed_Entry_Call);
3574 Set_Node4_With_Parent (N, Val);
3575 end Set_Delay_Alternative;
3577 procedure Set_Delay_Statement
3578 (N : Node_Id; Val : Node_Id) is
3580 pragma Assert (False
3581 or else NT (N).Nkind = N_Delay_Alternative);
3582 Set_Node2_With_Parent (N, Val);
3583 end Set_Delay_Statement;
3585 procedure Set_Delta_Expression
3586 (N : Node_Id; Val : Node_Id) is
3588 pragma Assert (False
3589 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3590 or else NT (N).Nkind = N_Delta_Constraint
3591 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3592 Set_Node3_With_Parent (N, Val);
3593 end Set_Delta_Expression;
3595 procedure Set_Digits_Expression
3596 (N : Node_Id; Val : Node_Id) is
3598 pragma Assert (False
3599 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3600 or else NT (N).Nkind = N_Digits_Constraint
3601 or else NT (N).Nkind = N_Floating_Point_Definition);
3602 Set_Node2_With_Parent (N, Val);
3603 end Set_Digits_Expression;
3605 procedure Set_Discr_Check_Funcs_Built
3606 (N : Node_Id; Val : Boolean := True) is
3608 pragma Assert (False
3609 or else NT (N).Nkind = N_Full_Type_Declaration);
3610 Set_Flag11 (N, Val);
3611 end Set_Discr_Check_Funcs_Built;
3613 procedure Set_Discrete_Choices
3614 (N : Node_Id; Val : List_Id) is
3616 pragma Assert (False
3617 or else NT (N).Nkind = N_Case_Statement_Alternative
3618 or else NT (N).Nkind = N_Variant);
3619 Set_List4_With_Parent (N, Val);
3620 end Set_Discrete_Choices;
3622 procedure Set_Discrete_Range
3623 (N : Node_Id; Val : Node_Id) is
3625 pragma Assert (False
3626 or else NT (N).Nkind = N_Slice);
3627 Set_Node4_With_Parent (N, Val);
3628 end Set_Discrete_Range;
3630 procedure Set_Discrete_Subtype_Definition
3631 (N : Node_Id; Val : Node_Id) is
3633 pragma Assert (False
3634 or else NT (N).Nkind = N_Entry_Declaration
3635 or else NT (N).Nkind = N_Entry_Index_Specification
3636 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3637 Set_Node4_With_Parent (N, Val);
3638 end Set_Discrete_Subtype_Definition;
3640 procedure Set_Discrete_Subtype_Definitions
3641 (N : Node_Id; Val : List_Id) is
3643 pragma Assert (False
3644 or else NT (N).Nkind = N_Constrained_Array_Definition);
3645 Set_List2_With_Parent (N, Val);
3646 end Set_Discrete_Subtype_Definitions;
3648 procedure Set_Discriminant_Specifications
3649 (N : Node_Id; Val : List_Id) is
3651 pragma Assert (False
3652 or else NT (N).Nkind = N_Formal_Type_Declaration
3653 or else NT (N).Nkind = N_Full_Type_Declaration
3654 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3655 or else NT (N).Nkind = N_Private_Extension_Declaration
3656 or else NT (N).Nkind = N_Private_Type_Declaration
3657 or else NT (N).Nkind = N_Protected_Type_Declaration
3658 or else NT (N).Nkind = N_Task_Type_Declaration);
3659 Set_List4_With_Parent (N, Val);
3660 end Set_Discriminant_Specifications;
3662 procedure Set_Discriminant_Type
3663 (N : Node_Id; Val : Node_Id) is
3665 pragma Assert (False
3666 or else NT (N).Nkind = N_Discriminant_Specification);
3667 Set_Node5_With_Parent (N, Val);
3668 end Set_Discriminant_Type;
3670 procedure Set_Do_Accessibility_Check
3671 (N : Node_Id; Val : Boolean := True) is
3673 pragma Assert (False
3674 or else NT (N).Nkind = N_Parameter_Specification);
3675 Set_Flag13 (N, Val);
3676 end Set_Do_Accessibility_Check;
3678 procedure Set_Do_Discriminant_Check
3679 (N : Node_Id; Val : Boolean := True) is
3681 pragma Assert (False
3682 or else NT (N).Nkind = N_Selected_Component);
3683 Set_Flag13 (N, Val);
3684 end Set_Do_Discriminant_Check;
3686 procedure Set_Do_Division_Check
3687 (N : Node_Id; Val : Boolean := True) is
3689 pragma Assert (False
3690 or else NT (N).Nkind = N_Op_Divide
3691 or else NT (N).Nkind = N_Op_Mod
3692 or else NT (N).Nkind = N_Op_Rem);
3693 Set_Flag13 (N, Val);
3694 end Set_Do_Division_Check;
3696 procedure Set_Do_Length_Check
3697 (N : Node_Id; Val : Boolean := True) is
3699 pragma Assert (False
3700 or else NT (N).Nkind = N_Assignment_Statement
3701 or else NT (N).Nkind = N_Op_And
3702 or else NT (N).Nkind = N_Op_Or
3703 or else NT (N).Nkind = N_Op_Xor
3704 or else NT (N).Nkind = N_Type_Conversion);
3706 end Set_Do_Length_Check;
3708 procedure Set_Do_Overflow_Check
3709 (N : Node_Id; Val : Boolean := True) is
3711 pragma Assert (False
3712 or else NT (N).Nkind in N_Op
3713 or else NT (N).Nkind = N_Attribute_Reference
3714 or else NT (N).Nkind = N_Type_Conversion);
3715 Set_Flag17 (N, Val);
3716 end Set_Do_Overflow_Check;
3718 procedure Set_Do_Range_Check
3719 (N : Node_Id; Val : Boolean := True) is
3721 pragma Assert (False
3722 or else NT (N).Nkind in N_Subexpr);
3724 end Set_Do_Range_Check;
3726 procedure Set_Do_Storage_Check
3727 (N : Node_Id; Val : Boolean := True) is
3729 pragma Assert (False
3730 or else NT (N).Nkind = N_Allocator
3731 or else NT (N).Nkind = N_Subprogram_Body);
3732 Set_Flag17 (N, Val);
3733 end Set_Do_Storage_Check;
3735 procedure Set_Do_Tag_Check
3736 (N : Node_Id; Val : Boolean := True) is
3738 pragma Assert (False
3739 or else NT (N).Nkind = N_Assignment_Statement
3740 or else NT (N).Nkind = N_Extended_Return_Statement
3741 or else NT (N).Nkind = N_Function_Call
3742 or else NT (N).Nkind = N_Procedure_Call_Statement
3743 or else NT (N).Nkind = N_Return_Statement
3744 or else NT (N).Nkind = N_Type_Conversion);
3745 Set_Flag13 (N, Val);
3746 end Set_Do_Tag_Check;
3748 procedure Set_Elaborate_All_Desirable
3749 (N : Node_Id; Val : Boolean := True) is
3751 pragma Assert (False
3752 or else NT (N).Nkind = N_With_Clause);
3754 end Set_Elaborate_All_Desirable;
3756 procedure Set_Elaborate_All_Present
3757 (N : Node_Id; Val : Boolean := True) is
3759 pragma Assert (False
3760 or else NT (N).Nkind = N_With_Clause);
3761 Set_Flag14 (N, Val);
3762 end Set_Elaborate_All_Present;
3764 procedure Set_Elaborate_Desirable
3765 (N : Node_Id; Val : Boolean := True) is
3767 pragma Assert (False
3768 or else NT (N).Nkind = N_With_Clause);
3769 Set_Flag11 (N, Val);
3770 end Set_Elaborate_Desirable;
3772 procedure Set_Elaborate_Present
3773 (N : Node_Id; Val : Boolean := True) is
3775 pragma Assert (False
3776 or else NT (N).Nkind = N_With_Clause);
3778 end Set_Elaborate_Present;
3780 procedure Set_Elaboration_Boolean
3781 (N : Node_Id; Val : Node_Id) is
3783 pragma Assert (False
3784 or else NT (N).Nkind = N_Function_Specification
3785 or else NT (N).Nkind = N_Procedure_Specification);
3787 end Set_Elaboration_Boolean;
3789 procedure Set_Else_Actions
3790 (N : Node_Id; Val : List_Id) is
3792 pragma Assert (False
3793 or else NT (N).Nkind = N_Conditional_Expression);
3794 Set_List3 (N, Val); -- semantic field, no parent set
3795 end Set_Else_Actions;
3797 procedure Set_Else_Statements
3798 (N : Node_Id; Val : List_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Conditional_Entry_Call
3802 or else NT (N).Nkind = N_If_Statement
3803 or else NT (N).Nkind = N_Selective_Accept);
3804 Set_List4_With_Parent (N, Val);
3805 end Set_Else_Statements;
3807 procedure Set_Elsif_Parts
3808 (N : Node_Id; Val : List_Id) is
3810 pragma Assert (False
3811 or else NT (N).Nkind = N_If_Statement);
3812 Set_List3_With_Parent (N, Val);
3813 end Set_Elsif_Parts;
3815 procedure Set_Enclosing_Variant
3816 (N : Node_Id; Val : Node_Id) is
3818 pragma Assert (False
3819 or else NT (N).Nkind = N_Variant);
3820 Set_Node2 (N, Val); -- semantic field, no parent set
3821 end Set_Enclosing_Variant;
3823 procedure Set_End_Label
3824 (N : Node_Id; Val : Node_Id) is
3826 pragma Assert (False
3827 or else NT (N).Nkind = N_Enumeration_Type_Definition
3828 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3829 or else NT (N).Nkind = N_Loop_Statement
3830 or else NT (N).Nkind = N_Package_Specification
3831 or else NT (N).Nkind = N_Protected_Body
3832 or else NT (N).Nkind = N_Protected_Definition
3833 or else NT (N).Nkind = N_Record_Definition
3834 or else NT (N).Nkind = N_Task_Definition);
3835 Set_Node4_With_Parent (N, Val);
3838 procedure Set_End_Span
3839 (N : Node_Id; Val : Uint) is
3841 pragma Assert (False
3842 or else NT (N).Nkind = N_Case_Statement
3843 or else NT (N).Nkind = N_If_Statement);
3847 procedure Set_Entity
3848 (N : Node_Id; Val : Node_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind in N_Has_Entity
3852 or else NT (N).Nkind = N_Freeze_Entity
3853 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3854 Set_Node4 (N, Val); -- semantic field, no parent set
3857 procedure Set_Entry_Body_Formal_Part
3858 (N : Node_Id; Val : Node_Id) is
3860 pragma Assert (False
3861 or else NT (N).Nkind = N_Entry_Body);
3862 Set_Node5_With_Parent (N, Val);
3863 end Set_Entry_Body_Formal_Part;
3865 procedure Set_Entry_Call_Alternative
3866 (N : Node_Id; Val : Node_Id) is
3868 pragma Assert (False
3869 or else NT (N).Nkind = N_Conditional_Entry_Call
3870 or else NT (N).Nkind = N_Timed_Entry_Call);
3871 Set_Node1_With_Parent (N, Val);
3872 end Set_Entry_Call_Alternative;
3874 procedure Set_Entry_Call_Statement
3875 (N : Node_Id; Val : Node_Id) is
3877 pragma Assert (False
3878 or else NT (N).Nkind = N_Entry_Call_Alternative);
3879 Set_Node1_With_Parent (N, Val);
3880 end Set_Entry_Call_Statement;
3882 procedure Set_Entry_Direct_Name
3883 (N : Node_Id; Val : Node_Id) is
3885 pragma Assert (False
3886 or else NT (N).Nkind = N_Accept_Statement);
3887 Set_Node1_With_Parent (N, Val);
3888 end Set_Entry_Direct_Name;
3890 procedure Set_Entry_Index
3891 (N : Node_Id; Val : Node_Id) is
3893 pragma Assert (False
3894 or else NT (N).Nkind = N_Accept_Statement);
3895 Set_Node5_With_Parent (N, Val);
3896 end Set_Entry_Index;
3898 procedure Set_Entry_Index_Specification
3899 (N : Node_Id; Val : Node_Id) is
3901 pragma Assert (False
3902 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3903 Set_Node4_With_Parent (N, Val);
3904 end Set_Entry_Index_Specification;
3907 (N : Node_Id; Val : Node_Id) is
3909 pragma Assert (False
3910 or else NT (N).Nkind in N_Has_Etype);
3911 Set_Node5 (N, Val); -- semantic field, no parent set
3914 procedure Set_Exception_Choices
3915 (N : Node_Id; Val : List_Id) is
3917 pragma Assert (False
3918 or else NT (N).Nkind = N_Exception_Handler);
3919 Set_List4_With_Parent (N, Val);
3920 end Set_Exception_Choices;
3922 procedure Set_Exception_Handlers
3923 (N : Node_Id; Val : List_Id) is
3925 pragma Assert (False
3926 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3927 Set_List5_With_Parent (N, Val);
3928 end Set_Exception_Handlers;
3930 procedure Set_Exception_Junk
3931 (N : Node_Id; Val : Boolean := True) is
3933 pragma Assert (False
3934 or else NT (N).Nkind = N_Block_Statement
3935 or else NT (N).Nkind = N_Goto_Statement
3936 or else NT (N).Nkind = N_Label
3937 or else NT (N).Nkind = N_Object_Declaration
3938 or else NT (N).Nkind = N_Subtype_Declaration);
3940 end Set_Exception_Junk;
3942 procedure Set_Exception_Label
3943 (N : Node_Id; Val : Node_Id) is
3945 pragma Assert (False
3946 or else NT (N).Nkind = N_Exception_Handler
3947 or else NT (N).Nkind = N_Push_Constraint_Error_Label
3948 or else NT (N).Nkind = N_Push_Program_Error_Label
3949 or else NT (N).Nkind = N_Push_Storage_Error_Label);
3950 Set_Node5 (N, Val); -- semantic field, no parent set
3951 end Set_Exception_Label;
3953 procedure Set_Expansion_Delayed
3954 (N : Node_Id; Val : Boolean := True) is
3956 pragma Assert (False
3957 or else NT (N).Nkind = N_Aggregate
3958 or else NT (N).Nkind = N_Extension_Aggregate);
3959 Set_Flag11 (N, Val);
3960 end Set_Expansion_Delayed;
3962 procedure Set_Explicit_Actual_Parameter
3963 (N : Node_Id; Val : Node_Id) is
3965 pragma Assert (False
3966 or else NT (N).Nkind = N_Parameter_Association);
3967 Set_Node3_With_Parent (N, Val);
3968 end Set_Explicit_Actual_Parameter;
3970 procedure Set_Explicit_Generic_Actual_Parameter
3971 (N : Node_Id; Val : Node_Id) is
3973 pragma Assert (False
3974 or else NT (N).Nkind = N_Generic_Association);
3975 Set_Node1_With_Parent (N, Val);
3976 end Set_Explicit_Generic_Actual_Parameter;
3978 procedure Set_Expression
3979 (N : Node_Id; Val : Node_Id) is
3981 pragma Assert (False
3982 or else NT (N).Nkind = N_Allocator
3983 or else NT (N).Nkind = N_Assignment_Statement
3984 or else NT (N).Nkind = N_At_Clause
3985 or else NT (N).Nkind = N_Attribute_Definition_Clause
3986 or else NT (N).Nkind = N_Case_Statement
3987 or else NT (N).Nkind = N_Code_Statement
3988 or else NT (N).Nkind = N_Component_Association
3989 or else NT (N).Nkind = N_Component_Declaration
3990 or else NT (N).Nkind = N_Delay_Relative_Statement
3991 or else NT (N).Nkind = N_Delay_Until_Statement
3992 or else NT (N).Nkind = N_Discriminant_Association
3993 or else NT (N).Nkind = N_Discriminant_Specification
3994 or else NT (N).Nkind = N_Exception_Declaration
3995 or else NT (N).Nkind = N_Free_Statement
3996 or else NT (N).Nkind = N_Mod_Clause
3997 or else NT (N).Nkind = N_Modular_Type_Definition
3998 or else NT (N).Nkind = N_Number_Declaration
3999 or else NT (N).Nkind = N_Object_Declaration
4000 or else NT (N).Nkind = N_Parameter_Specification
4001 or else NT (N).Nkind = N_Pragma_Argument_Association
4002 or else NT (N).Nkind = N_Qualified_Expression
4003 or else NT (N).Nkind = N_Raise_Statement
4004 or else NT (N).Nkind = N_Return_Statement
4005 or else NT (N).Nkind = N_Type_Conversion
4006 or else NT (N).Nkind = N_Unchecked_Expression
4007 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4008 Set_Node3_With_Parent (N, Val);
4011 procedure Set_Expressions
4012 (N : Node_Id; Val : List_Id) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_Aggregate
4016 or else NT (N).Nkind = N_Attribute_Reference
4017 or else NT (N).Nkind = N_Conditional_Expression
4018 or else NT (N).Nkind = N_Extension_Aggregate
4019 or else NT (N).Nkind = N_Indexed_Component);
4020 Set_List1_With_Parent (N, Val);
4021 end Set_Expressions;
4023 procedure Set_First_Bit
4024 (N : Node_Id; Val : Node_Id) is
4026 pragma Assert (False
4027 or else NT (N).Nkind = N_Component_Clause);
4028 Set_Node3_With_Parent (N, Val);
4031 procedure Set_First_Inlined_Subprogram
4032 (N : Node_Id; Val : Entity_Id) is
4034 pragma Assert (False
4035 or else NT (N).Nkind = N_Compilation_Unit);
4036 Set_Node3 (N, Val); -- semantic field, no parent set
4037 end Set_First_Inlined_Subprogram;
4039 procedure Set_First_Name
4040 (N : Node_Id; Val : Boolean := True) is
4042 pragma Assert (False
4043 or else NT (N).Nkind = N_With_Clause);
4047 procedure Set_First_Named_Actual
4048 (N : Node_Id; Val : Node_Id) is
4050 pragma Assert (False
4051 or else NT (N).Nkind = N_Entry_Call_Statement
4052 or else NT (N).Nkind = N_Function_Call
4053 or else NT (N).Nkind = N_Procedure_Call_Statement);
4054 Set_Node4 (N, Val); -- semantic field, no parent set
4055 end Set_First_Named_Actual;
4057 procedure Set_First_Real_Statement
4058 (N : Node_Id; Val : Node_Id) is
4060 pragma Assert (False
4061 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4062 Set_Node2 (N, Val); -- semantic field, no parent set
4063 end Set_First_Real_Statement;
4065 procedure Set_First_Subtype_Link
4066 (N : Node_Id; Val : Entity_Id) is
4068 pragma Assert (False
4069 or else NT (N).Nkind = N_Freeze_Entity);
4070 Set_Node5 (N, Val); -- semantic field, no parent set
4071 end Set_First_Subtype_Link;
4073 procedure Set_Float_Truncate
4074 (N : Node_Id; Val : Boolean := True) is
4076 pragma Assert (False
4077 or else NT (N).Nkind = N_Type_Conversion);
4078 Set_Flag11 (N, Val);
4079 end Set_Float_Truncate;
4081 procedure Set_Formal_Type_Definition
4082 (N : Node_Id; Val : Node_Id) is
4084 pragma Assert (False
4085 or else NT (N).Nkind = N_Formal_Type_Declaration);
4086 Set_Node3_With_Parent (N, Val);
4087 end Set_Formal_Type_Definition;
4089 procedure Set_Forwards_OK
4090 (N : Node_Id; Val : Boolean := True) is
4092 pragma Assert (False
4093 or else NT (N).Nkind = N_Assignment_Statement);
4095 end Set_Forwards_OK;
4097 procedure Set_From_At_End
4098 (N : Node_Id; Val : Boolean := True) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_Raise_Statement);
4103 end Set_From_At_End;
4105 procedure Set_From_At_Mod
4106 (N : Node_Id; Val : Boolean := True) is
4108 pragma Assert (False
4109 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4111 end Set_From_At_Mod;
4113 procedure Set_From_Default
4114 (N : Node_Id; Val : Boolean := True) is
4116 pragma Assert (False
4117 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4119 end Set_From_Default;
4121 procedure Set_Generic_Associations
4122 (N : Node_Id; Val : List_Id) is
4124 pragma Assert (False
4125 or else NT (N).Nkind = N_Formal_Package_Declaration
4126 or else NT (N).Nkind = N_Function_Instantiation
4127 or else NT (N).Nkind = N_Package_Instantiation
4128 or else NT (N).Nkind = N_Procedure_Instantiation);
4129 Set_List3_With_Parent (N, Val);
4130 end Set_Generic_Associations;
4132 procedure Set_Generic_Formal_Declarations
4133 (N : Node_Id; Val : List_Id) is
4135 pragma Assert (False
4136 or else NT (N).Nkind = N_Generic_Package_Declaration
4137 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4138 Set_List2_With_Parent (N, Val);
4139 end Set_Generic_Formal_Declarations;
4141 procedure Set_Generic_Parent
4142 (N : Node_Id; Val : Node_Id) is
4144 pragma Assert (False
4145 or else NT (N).Nkind = N_Function_Specification
4146 or else NT (N).Nkind = N_Package_Specification
4147 or else NT (N).Nkind = N_Procedure_Specification);
4149 end Set_Generic_Parent;
4151 procedure Set_Generic_Parent_Type
4152 (N : Node_Id; Val : Node_Id) is
4154 pragma Assert (False
4155 or else NT (N).Nkind = N_Subtype_Declaration);
4157 end Set_Generic_Parent_Type;
4159 procedure Set_Handled_Statement_Sequence
4160 (N : Node_Id; Val : Node_Id) is
4162 pragma Assert (False
4163 or else NT (N).Nkind = N_Accept_Statement
4164 or else NT (N).Nkind = N_Block_Statement
4165 or else NT (N).Nkind = N_Entry_Body
4166 or else NT (N).Nkind = N_Extended_Return_Statement
4167 or else NT (N).Nkind = N_Package_Body
4168 or else NT (N).Nkind = N_Subprogram_Body
4169 or else NT (N).Nkind = N_Task_Body);
4170 Set_Node4_With_Parent (N, Val);
4171 end Set_Handled_Statement_Sequence;
4173 procedure Set_Handler_List_Entry
4174 (N : Node_Id; Val : Node_Id) is
4176 pragma Assert (False
4177 or else NT (N).Nkind = N_Object_Declaration);
4179 end Set_Handler_List_Entry;
4181 procedure Set_Has_Created_Identifier
4182 (N : Node_Id; Val : Boolean := True) is
4184 pragma Assert (False
4185 or else NT (N).Nkind = N_Block_Statement
4186 or else NT (N).Nkind = N_Loop_Statement);
4187 Set_Flag15 (N, Val);
4188 end Set_Has_Created_Identifier;
4190 procedure Set_Has_Dynamic_Length_Check
4191 (N : Node_Id; Val : Boolean := True) is
4193 Set_Flag10 (N, Val);
4194 end Set_Has_Dynamic_Length_Check;
4196 procedure Set_Has_Dynamic_Range_Check
4197 (N : Node_Id; Val : Boolean := True) is
4199 Set_Flag12 (N, Val);
4200 end Set_Has_Dynamic_Range_Check;
4202 procedure Set_Has_Init_Expression
4203 (N : Node_Id; Val : Boolean := True) is
4205 pragma Assert (False
4206 or else NT (N).Nkind = N_Object_Declaration);
4207 Set_Flag14 (N, Val);
4208 end Set_Has_Init_Expression;
4210 procedure Set_Has_Local_Raise
4211 (N : Node_Id; Val : Boolean := True) is
4213 pragma Assert (False
4214 or else NT (N).Nkind = N_Exception_Handler);
4216 end Set_Has_Local_Raise;
4218 procedure Set_Has_No_Elaboration_Code
4219 (N : Node_Id; Val : Boolean := True) is
4221 pragma Assert (False
4222 or else NT (N).Nkind = N_Compilation_Unit);
4223 Set_Flag17 (N, Val);
4224 end Set_Has_No_Elaboration_Code;
4226 procedure Set_Has_Priority_Pragma
4227 (N : Node_Id; Val : Boolean := True) is
4229 pragma Assert (False
4230 or else NT (N).Nkind = N_Protected_Definition
4231 or else NT (N).Nkind = N_Subprogram_Body
4232 or else NT (N).Nkind = N_Task_Definition);
4234 end Set_Has_Priority_Pragma;
4236 procedure Set_Has_Private_View
4237 (N : Node_Id; Val : Boolean := True) is
4239 pragma Assert (False
4240 or else NT (N).Nkind in N_Op
4241 or else NT (N).Nkind = N_Character_Literal
4242 or else NT (N).Nkind = N_Expanded_Name
4243 or else NT (N).Nkind = N_Identifier
4244 or else NT (N).Nkind = N_Operator_Symbol);
4245 Set_Flag11 (N, Val);
4246 end Set_Has_Private_View;
4248 procedure Set_Has_Relative_Deadline_Pragma
4249 (N : Node_Id; Val : Boolean := True) is
4251 pragma Assert (False
4252 or else NT (N).Nkind = N_Subprogram_Body
4253 or else NT (N).Nkind = N_Task_Definition);
4255 end Set_Has_Relative_Deadline_Pragma;
4257 procedure Set_Has_Self_Reference
4258 (N : Node_Id; Val : Boolean := True) is
4260 pragma Assert (False
4261 or else NT (N).Nkind = N_Aggregate
4262 or else NT (N).Nkind = N_Extension_Aggregate);
4263 Set_Flag13 (N, Val);
4264 end Set_Has_Self_Reference;
4266 procedure Set_Has_Storage_Size_Pragma
4267 (N : Node_Id; Val : Boolean := True) is
4269 pragma Assert (False
4270 or else NT (N).Nkind = N_Task_Definition);
4272 end Set_Has_Storage_Size_Pragma;
4274 procedure Set_Has_Task_Info_Pragma
4275 (N : Node_Id; Val : Boolean := True) is
4277 pragma Assert (False
4278 or else NT (N).Nkind = N_Task_Definition);
4280 end Set_Has_Task_Info_Pragma;
4282 procedure Set_Has_Task_Name_Pragma
4283 (N : Node_Id; Val : Boolean := True) is
4285 pragma Assert (False
4286 or else NT (N).Nkind = N_Task_Definition);
4288 end Set_Has_Task_Name_Pragma;
4290 procedure Set_Has_Wide_Character
4291 (N : Node_Id; Val : Boolean := True) is
4293 pragma Assert (False
4294 or else NT (N).Nkind = N_String_Literal);
4295 Set_Flag11 (N, Val);
4296 end Set_Has_Wide_Character;
4298 procedure Set_Hidden_By_Use_Clause
4299 (N : Node_Id; Val : Elist_Id) is
4301 pragma Assert (False
4302 or else NT (N).Nkind = N_Use_Package_Clause
4303 or else NT (N).Nkind = N_Use_Type_Clause);
4304 Set_Elist4 (N, Val);
4305 end Set_Hidden_By_Use_Clause;
4307 procedure Set_High_Bound
4308 (N : Node_Id; Val : Node_Id) is
4310 pragma Assert (False
4311 or else NT (N).Nkind = N_Range
4312 or else NT (N).Nkind = N_Real_Range_Specification
4313 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4314 Set_Node2_With_Parent (N, Val);
4317 procedure Set_Identifier
4318 (N : Node_Id; Val : Node_Id) is
4320 pragma Assert (False
4321 or else NT (N).Nkind = N_At_Clause
4322 or else NT (N).Nkind = N_Block_Statement
4323 or else NT (N).Nkind = N_Designator
4324 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4325 or else NT (N).Nkind = N_Label
4326 or else NT (N).Nkind = N_Loop_Statement
4327 or else NT (N).Nkind = N_Record_Representation_Clause
4328 or else NT (N).Nkind = N_Subprogram_Info);
4329 Set_Node1_With_Parent (N, Val);
4332 procedure Set_Implicit_With
4333 (N : Node_Id; Val : Boolean := True) is
4335 pragma Assert (False
4336 or else NT (N).Nkind = N_With_Clause);
4337 Set_Flag16 (N, Val);
4338 end Set_Implicit_With;
4340 procedure Set_Interface_List
4341 (N : Node_Id; Val : List_Id) is
4343 pragma Assert (False
4344 or else NT (N).Nkind = N_Derived_Type_Definition
4345 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4346 or else NT (N).Nkind = N_Private_Extension_Declaration
4347 or else NT (N).Nkind = N_Protected_Type_Declaration
4348 or else NT (N).Nkind = N_Record_Definition
4349 or else NT (N).Nkind = N_Single_Protected_Declaration
4350 or else NT (N).Nkind = N_Single_Task_Declaration
4351 or else NT (N).Nkind = N_Task_Type_Declaration);
4352 Set_List2_With_Parent (N, Val);
4353 end Set_Interface_List;
4355 procedure Set_Interface_Present
4356 (N : Node_Id; Val : Boolean := True) is
4358 pragma Assert (False
4359 or else NT (N).Nkind = N_Derived_Type_Definition
4360 or else NT (N).Nkind = N_Record_Definition);
4361 Set_Flag16 (N, Val);
4362 end Set_Interface_Present;
4364 procedure Set_In_Present
4365 (N : Node_Id; Val : Boolean := True) is
4367 pragma Assert (False
4368 or else NT (N).Nkind = N_Formal_Object_Declaration
4369 or else NT (N).Nkind = N_Parameter_Specification);
4370 Set_Flag15 (N, Val);
4373 procedure Set_Includes_Infinities
4374 (N : Node_Id; Val : Boolean := True) is
4376 pragma Assert (False
4377 or else NT (N).Nkind = N_Range);
4378 Set_Flag11 (N, Val);
4379 end Set_Includes_Infinities;
4381 procedure Set_Instance_Spec
4382 (N : Node_Id; Val : Node_Id) is
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Formal_Package_Declaration
4386 or else NT (N).Nkind = N_Function_Instantiation
4387 or else NT (N).Nkind = N_Package_Instantiation
4388 or else NT (N).Nkind = N_Procedure_Instantiation);
4389 Set_Node5 (N, Val); -- semantic field, no Parent set
4390 end Set_Instance_Spec;
4392 procedure Set_Intval
4393 (N : Node_Id; Val : Uint) is
4395 pragma Assert (False
4396 or else NT (N).Nkind = N_Integer_Literal);
4400 procedure Set_Is_Asynchronous_Call_Block
4401 (N : Node_Id; Val : Boolean := True) is
4403 pragma Assert (False
4404 or else NT (N).Nkind = N_Block_Statement);
4406 end Set_Is_Asynchronous_Call_Block;
4408 procedure Set_Is_Component_Left_Opnd
4409 (N : Node_Id; Val : Boolean := True) is
4411 pragma Assert (False
4412 or else NT (N).Nkind = N_Op_Concat);
4413 Set_Flag13 (N, Val);
4414 end Set_Is_Component_Left_Opnd;
4416 procedure Set_Is_Component_Right_Opnd
4417 (N : Node_Id; Val : Boolean := True) is
4419 pragma Assert (False
4420 or else NT (N).Nkind = N_Op_Concat);
4421 Set_Flag14 (N, Val);
4422 end Set_Is_Component_Right_Opnd;
4424 procedure Set_Is_Controlling_Actual
4425 (N : Node_Id; Val : Boolean := True) is
4427 pragma Assert (False
4428 or else NT (N).Nkind in N_Subexpr);
4429 Set_Flag16 (N, Val);
4430 end Set_Is_Controlling_Actual;
4432 procedure Set_Is_Dynamic_Coextension
4433 (N : Node_Id; Val : Boolean := True) is
4435 pragma Assert (False
4436 or else NT (N).Nkind = N_Allocator);
4437 Set_Flag18 (N, Val);
4438 end Set_Is_Dynamic_Coextension;
4440 procedure Set_Is_Elsif
4441 (N : Node_Id; Val : Boolean := True) is
4443 pragma Assert (False
4444 or else NT (N).Nkind = N_Conditional_Expression);
4445 Set_Flag13 (N, Val);
4448 procedure Set_Is_Entry_Barrier_Function
4449 (N : Node_Id; Val : Boolean := True) is
4451 pragma Assert (False
4452 or else NT (N).Nkind = N_Subprogram_Body);
4454 end Set_Is_Entry_Barrier_Function;
4456 procedure Set_Is_Expanded_Build_In_Place_Call
4457 (N : Node_Id; Val : Boolean := True) is
4459 pragma Assert (False
4460 or else NT (N).Nkind = N_Function_Call);
4461 Set_Flag11 (N, Val);
4462 end Set_Is_Expanded_Build_In_Place_Call;
4464 procedure Set_Is_Folded_In_Parser
4465 (N : Node_Id; Val : Boolean := True) is
4467 pragma Assert (False
4468 or else NT (N).Nkind = N_String_Literal);
4470 end Set_Is_Folded_In_Parser;
4472 procedure Set_Is_In_Discriminant_Check
4473 (N : Node_Id; Val : Boolean := True) is
4475 pragma Assert (False
4476 or else NT (N).Nkind = N_Selected_Component);
4477 Set_Flag11 (N, Val);
4478 end Set_Is_In_Discriminant_Check;
4480 procedure Set_Is_Machine_Number
4481 (N : Node_Id; Val : Boolean := True) is
4483 pragma Assert (False
4484 or else NT (N).Nkind = N_Real_Literal);
4485 Set_Flag11 (N, Val);
4486 end Set_Is_Machine_Number;
4488 procedure Set_Is_Null_Loop
4489 (N : Node_Id; Val : Boolean := True) is
4491 pragma Assert (False
4492 or else NT (N).Nkind = N_Loop_Statement);
4493 Set_Flag16 (N, Val);
4494 end Set_Is_Null_Loop;
4496 procedure Set_Is_Overloaded
4497 (N : Node_Id; Val : Boolean := True) is
4499 pragma Assert (False
4500 or else NT (N).Nkind in N_Subexpr);
4502 end Set_Is_Overloaded;
4504 procedure Set_Is_Power_Of_2_For_Shift
4505 (N : Node_Id; Val : Boolean := True) is
4507 pragma Assert (False
4508 or else NT (N).Nkind = N_Op_Expon);
4509 Set_Flag13 (N, Val);
4510 end Set_Is_Power_Of_2_For_Shift;
4512 procedure Set_Is_Protected_Subprogram_Body
4513 (N : Node_Id; Val : Boolean := True) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Subprogram_Body);
4518 end Set_Is_Protected_Subprogram_Body;
4520 procedure Set_Is_Static_Coextension
4521 (N : Node_Id; Val : Boolean := True) is
4523 pragma Assert (False
4524 or else NT (N).Nkind = N_Allocator);
4525 Set_Flag14 (N, Val);
4526 end Set_Is_Static_Coextension;
4528 procedure Set_Is_Static_Expression
4529 (N : Node_Id; Val : Boolean := True) is
4531 pragma Assert (False
4532 or else NT (N).Nkind in N_Subexpr);
4534 end Set_Is_Static_Expression;
4536 procedure Set_Is_Subprogram_Descriptor
4537 (N : Node_Id; Val : Boolean := True) is
4539 pragma Assert (False
4540 or else NT (N).Nkind = N_Object_Declaration);
4541 Set_Flag16 (N, Val);
4542 end Set_Is_Subprogram_Descriptor;
4544 procedure Set_Is_Task_Allocation_Block
4545 (N : Node_Id; Val : Boolean := True) is
4547 pragma Assert (False
4548 or else NT (N).Nkind = N_Block_Statement);
4550 end Set_Is_Task_Allocation_Block;
4552 procedure Set_Is_Task_Master
4553 (N : Node_Id; Val : Boolean := True) is
4555 pragma Assert (False
4556 or else NT (N).Nkind = N_Block_Statement
4557 or else NT (N).Nkind = N_Subprogram_Body
4558 or else NT (N).Nkind = N_Task_Body);
4560 end Set_Is_Task_Master;
4562 procedure Set_Iteration_Scheme
4563 (N : Node_Id; Val : Node_Id) is
4565 pragma Assert (False
4566 or else NT (N).Nkind = N_Loop_Statement);
4567 Set_Node2_With_Parent (N, Val);
4568 end Set_Iteration_Scheme;
4571 (N : Node_Id; Val : Entity_Id) is
4573 pragma Assert (False
4574 or else NT (N).Nkind = N_Itype_Reference);
4575 Set_Node1 (N, Val); -- no parent, semantic field
4578 procedure Set_Kill_Range_Check
4579 (N : Node_Id; Val : Boolean := True) is
4581 pragma Assert (False
4582 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4583 Set_Flag11 (N, Val);
4584 end Set_Kill_Range_Check;
4586 procedure Set_Label_Construct
4587 (N : Node_Id; Val : Node_Id) is
4589 pragma Assert (False
4590 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4591 Set_Node2 (N, Val); -- semantic field, no parent set
4592 end Set_Label_Construct;
4594 procedure Set_Last_Bit
4595 (N : Node_Id; Val : Node_Id) is
4597 pragma Assert (False
4598 or else NT (N).Nkind = N_Component_Clause);
4599 Set_Node4_With_Parent (N, Val);
4602 procedure Set_Last_Name
4603 (N : Node_Id; Val : Boolean := True) is
4605 pragma Assert (False
4606 or else NT (N).Nkind = N_With_Clause);
4610 procedure Set_Left_Opnd
4611 (N : Node_Id; Val : Node_Id) is
4613 pragma Assert (False
4614 or else NT (N).Nkind = N_And_Then
4615 or else NT (N).Nkind = N_In
4616 or else NT (N).Nkind = N_Not_In
4617 or else NT (N).Nkind = N_Or_Else
4618 or else NT (N).Nkind in N_Binary_Op);
4619 Set_Node2_With_Parent (N, Val);
4622 procedure Set_Library_Unit
4623 (N : Node_Id; Val : Node_Id) is
4625 pragma Assert (False
4626 or else NT (N).Nkind = N_Compilation_Unit
4627 or else NT (N).Nkind = N_Package_Body_Stub
4628 or else NT (N).Nkind = N_Protected_Body_Stub
4629 or else NT (N).Nkind = N_Subprogram_Body_Stub
4630 or else NT (N).Nkind = N_Task_Body_Stub
4631 or else NT (N).Nkind = N_With_Clause);
4632 Set_Node4 (N, Val); -- semantic field, no parent set
4633 end Set_Library_Unit;
4635 procedure Set_Limited_View_Installed
4636 (N : Node_Id; Val : Boolean := True) is
4638 pragma Assert (False
4639 or else NT (N).Nkind = N_Package_Specification
4640 or else NT (N).Nkind = N_With_Clause);
4641 Set_Flag18 (N, Val);
4642 end Set_Limited_View_Installed;
4644 procedure Set_Limited_Present
4645 (N : Node_Id; Val : Boolean := True) is
4647 pragma Assert (False
4648 or else NT (N).Nkind = N_Derived_Type_Definition
4649 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4650 or else NT (N).Nkind = N_Formal_Private_Type_Definition
4651 or else NT (N).Nkind = N_Private_Extension_Declaration
4652 or else NT (N).Nkind = N_Private_Type_Declaration
4653 or else NT (N).Nkind = N_Record_Definition
4654 or else NT (N).Nkind = N_With_Clause);
4655 Set_Flag17 (N, Val);
4656 end Set_Limited_Present;
4658 procedure Set_Literals
4659 (N : Node_Id; Val : List_Id) is
4661 pragma Assert (False
4662 or else NT (N).Nkind = N_Enumeration_Type_Definition);
4663 Set_List1_With_Parent (N, Val);
4666 procedure Set_Local_Raise_Not_OK
4667 (N : Node_Id; Val : Boolean := True) is
4669 pragma Assert (False
4670 or else NT (N).Nkind = N_Exception_Handler);
4672 end Set_Local_Raise_Not_OK;
4674 procedure Set_Local_Raise_Statements
4675 (N : Node_Id; Val : Elist_Id) is
4677 pragma Assert (False
4678 or else NT (N).Nkind = N_Exception_Handler);
4679 Set_Elist1 (N, Val);
4680 end Set_Local_Raise_Statements;
4682 procedure Set_Loop_Actions
4683 (N : Node_Id; Val : List_Id) is
4685 pragma Assert (False
4686 or else NT (N).Nkind = N_Component_Association);
4687 Set_List2 (N, Val); -- semantic field, no parent set
4688 end Set_Loop_Actions;
4690 procedure Set_Loop_Parameter_Specification
4691 (N : Node_Id; Val : Node_Id) is
4693 pragma Assert (False
4694 or else NT (N).Nkind = N_Iteration_Scheme);
4695 Set_Node4_With_Parent (N, Val);
4696 end Set_Loop_Parameter_Specification;
4698 procedure Set_Low_Bound
4699 (N : Node_Id; Val : Node_Id) is
4701 pragma Assert (False
4702 or else NT (N).Nkind = N_Range
4703 or else NT (N).Nkind = N_Real_Range_Specification
4704 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4705 Set_Node1_With_Parent (N, Val);
4708 procedure Set_Mod_Clause
4709 (N : Node_Id; Val : Node_Id) is
4711 pragma Assert (False
4712 or else NT (N).Nkind = N_Record_Representation_Clause);
4713 Set_Node2_With_Parent (N, Val);
4716 procedure Set_More_Ids
4717 (N : Node_Id; Val : Boolean := True) is
4719 pragma Assert (False
4720 or else NT (N).Nkind = N_Component_Declaration
4721 or else NT (N).Nkind = N_Discriminant_Specification
4722 or else NT (N).Nkind = N_Exception_Declaration
4723 or else NT (N).Nkind = N_Formal_Object_Declaration
4724 or else NT (N).Nkind = N_Number_Declaration
4725 or else NT (N).Nkind = N_Object_Declaration
4726 or else NT (N).Nkind = N_Parameter_Specification);
4730 procedure Set_Must_Be_Byte_Aligned
4731 (N : Node_Id; Val : Boolean := True) is
4733 pragma Assert (False
4734 or else NT (N).Nkind = N_Attribute_Reference);
4735 Set_Flag14 (N, Val);
4736 end Set_Must_Be_Byte_Aligned;
4738 procedure Set_Must_Not_Freeze
4739 (N : Node_Id; Val : Boolean := True) is
4741 pragma Assert (False
4742 or else NT (N).Nkind = N_Subtype_Indication
4743 or else NT (N).Nkind in N_Subexpr);
4745 end Set_Must_Not_Freeze;
4747 procedure Set_Must_Not_Override
4748 (N : Node_Id; Val : Boolean := True) is
4750 pragma Assert (False
4751 or else NT (N).Nkind = N_Entry_Declaration
4752 or else NT (N).Nkind = N_Function_Instantiation
4753 or else NT (N).Nkind = N_Function_Specification
4754 or else NT (N).Nkind = N_Procedure_Instantiation
4755 or else NT (N).Nkind = N_Procedure_Specification);
4756 Set_Flag15 (N, Val);
4757 end Set_Must_Not_Override;
4759 procedure Set_Must_Override
4760 (N : Node_Id; Val : Boolean := True) is
4762 pragma Assert (False
4763 or else NT (N).Nkind = N_Entry_Declaration
4764 or else NT (N).Nkind = N_Function_Instantiation
4765 or else NT (N).Nkind = N_Function_Specification
4766 or else NT (N).Nkind = N_Procedure_Instantiation
4767 or else NT (N).Nkind = N_Procedure_Specification);
4768 Set_Flag14 (N, Val);
4769 end Set_Must_Override;
4772 (N : Node_Id; Val : Node_Id) is
4774 pragma Assert (False
4775 or else NT (N).Nkind = N_Assignment_Statement
4776 or else NT (N).Nkind = N_Attribute_Definition_Clause
4777 or else NT (N).Nkind = N_Defining_Program_Unit_Name
4778 or else NT (N).Nkind = N_Designator
4779 or else NT (N).Nkind = N_Entry_Call_Statement
4780 or else NT (N).Nkind = N_Exception_Renaming_Declaration
4781 or else NT (N).Nkind = N_Exit_Statement
4782 or else NT (N).Nkind = N_Formal_Package_Declaration
4783 or else NT (N).Nkind = N_Function_Call
4784 or else NT (N).Nkind = N_Function_Instantiation
4785 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4786 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4787 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4788 or else NT (N).Nkind = N_Goto_Statement
4789 or else NT (N).Nkind = N_Object_Renaming_Declaration
4790 or else NT (N).Nkind = N_Package_Instantiation
4791 or else NT (N).Nkind = N_Package_Renaming_Declaration
4792 or else NT (N).Nkind = N_Procedure_Call_Statement
4793 or else NT (N).Nkind = N_Procedure_Instantiation
4794 or else NT (N).Nkind = N_Raise_Statement
4795 or else NT (N).Nkind = N_Requeue_Statement
4796 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4797 or else NT (N).Nkind = N_Subunit
4798 or else NT (N).Nkind = N_Variant_Part
4799 or else NT (N).Nkind = N_With_Clause);
4800 Set_Node2_With_Parent (N, Val);
4804 (N : Node_Id; Val : List_Id) is
4806 pragma Assert (False
4807 or else NT (N).Nkind = N_Abort_Statement
4808 or else NT (N).Nkind = N_Use_Package_Clause);
4809 Set_List2_With_Parent (N, Val);
4812 procedure Set_Next_Entity
4813 (N : Node_Id; Val : Node_Id) is
4815 pragma Assert (False
4816 or else NT (N).Nkind = N_Defining_Character_Literal
4817 or else NT (N).Nkind = N_Defining_Identifier
4818 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4819 Set_Node2 (N, Val); -- semantic field, no parent set
4820 end Set_Next_Entity;
4822 procedure Set_Next_Implicit_With
4823 (N : Node_Id; Val : Node_Id) is
4825 pragma Assert (False
4826 or else NT (N).Nkind = N_With_Clause);
4827 Set_Node3 (N, Val); -- semantic field, no parent set
4828 end Set_Next_Implicit_With;
4830 procedure Set_Next_Named_Actual
4831 (N : Node_Id; Val : Node_Id) is
4833 pragma Assert (False
4834 or else NT (N).Nkind = N_Parameter_Association);
4835 Set_Node4 (N, Val); -- semantic field, no parent set
4836 end Set_Next_Named_Actual;
4838 procedure Set_Next_Pragma
4839 (N : Node_Id; Val : Node_Id) is
4841 pragma Assert (False
4842 or else NT (N).Nkind = N_Pragma);
4843 Set_Node1 (N, Val); -- semantic field, no parent set
4844 end Set_Next_Pragma;
4846 procedure Set_Next_Rep_Item
4847 (N : Node_Id; Val : Node_Id) is
4849 pragma Assert (False
4850 or else NT (N).Nkind = N_Attribute_Definition_Clause
4851 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4852 or else NT (N).Nkind = N_Pragma
4853 or else NT (N).Nkind = N_Record_Representation_Clause);
4854 Set_Node5 (N, Val); -- semantic field, no parent set
4855 end Set_Next_Rep_Item;
4857 procedure Set_Next_Use_Clause
4858 (N : Node_Id; Val : Node_Id) is
4860 pragma Assert (False
4861 or else NT (N).Nkind = N_Use_Package_Clause
4862 or else NT (N).Nkind = N_Use_Type_Clause);
4863 Set_Node3 (N, Val); -- semantic field, no parent set
4864 end Set_Next_Use_Clause;
4866 procedure Set_No_Ctrl_Actions
4867 (N : Node_Id; Val : Boolean := True) is
4869 pragma Assert (False
4870 or else NT (N).Nkind = N_Assignment_Statement);
4872 end Set_No_Ctrl_Actions;
4874 procedure Set_No_Elaboration_Check
4875 (N : Node_Id; Val : Boolean := True) is
4877 pragma Assert (False
4878 or else NT (N).Nkind = N_Function_Call
4879 or else NT (N).Nkind = N_Procedure_Call_Statement);
4880 Set_Flag14 (N, Val);
4881 end Set_No_Elaboration_Check;
4883 procedure Set_No_Entities_Ref_In_Spec
4884 (N : Node_Id; Val : Boolean := True) is
4886 pragma Assert (False
4887 or else NT (N).Nkind = N_With_Clause);
4889 end Set_No_Entities_Ref_In_Spec;
4891 procedure Set_No_Initialization
4892 (N : Node_Id; Val : Boolean := True) is
4894 pragma Assert (False
4895 or else NT (N).Nkind = N_Allocator
4896 or else NT (N).Nkind = N_Object_Declaration);
4897 Set_Flag13 (N, Val);
4898 end Set_No_Initialization;
4900 procedure Set_No_Truncation
4901 (N : Node_Id; Val : Boolean := True) is
4903 pragma Assert (False
4904 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4905 Set_Flag17 (N, Val);
4906 end Set_No_Truncation;
4908 procedure Set_Null_Present
4909 (N : Node_Id; Val : Boolean := True) is
4911 pragma Assert (False
4912 or else NT (N).Nkind = N_Component_List
4913 or else NT (N).Nkind = N_Procedure_Specification
4914 or else NT (N).Nkind = N_Record_Definition);
4915 Set_Flag13 (N, Val);
4916 end Set_Null_Present;
4918 procedure Set_Null_Exclusion_Present
4919 (N : Node_Id; Val : Boolean := True) is
4921 pragma Assert (False
4922 or else NT (N).Nkind = N_Access_Definition
4923 or else NT (N).Nkind = N_Access_Function_Definition
4924 or else NT (N).Nkind = N_Access_Procedure_Definition
4925 or else NT (N).Nkind = N_Access_To_Object_Definition
4926 or else NT (N).Nkind = N_Allocator
4927 or else NT (N).Nkind = N_Component_Definition
4928 or else NT (N).Nkind = N_Derived_Type_Definition
4929 or else NT (N).Nkind = N_Discriminant_Specification
4930 or else NT (N).Nkind = N_Formal_Object_Declaration
4931 or else NT (N).Nkind = N_Function_Specification
4932 or else NT (N).Nkind = N_Object_Declaration
4933 or else NT (N).Nkind = N_Object_Renaming_Declaration
4934 or else NT (N).Nkind = N_Parameter_Specification
4935 or else NT (N).Nkind = N_Subtype_Declaration);
4936 Set_Flag11 (N, Val);
4937 end Set_Null_Exclusion_Present;
4939 procedure Set_Null_Exclusion_In_Return_Present
4940 (N : Node_Id; Val : Boolean := True) is
4942 pragma Assert (False
4943 or else NT (N).Nkind = N_Access_Function_Definition);
4944 Set_Flag14 (N, Val);
4945 end Set_Null_Exclusion_In_Return_Present;
4947 procedure Set_Null_Record_Present
4948 (N : Node_Id; Val : Boolean := True) is
4950 pragma Assert (False
4951 or else NT (N).Nkind = N_Aggregate
4952 or else NT (N).Nkind = N_Extension_Aggregate);
4953 Set_Flag17 (N, Val);
4954 end Set_Null_Record_Present;
4956 procedure Set_Object_Definition
4957 (N : Node_Id; Val : Node_Id) is
4959 pragma Assert (False
4960 or else NT (N).Nkind = N_Object_Declaration);
4961 Set_Node4_With_Parent (N, Val);
4962 end Set_Object_Definition;
4964 procedure Set_Original_Discriminant
4965 (N : Node_Id; Val : Node_Id) is
4967 pragma Assert (False
4968 or else NT (N).Nkind = N_Identifier);
4969 Set_Node2 (N, Val); -- semantic field, no parent set
4970 end Set_Original_Discriminant;
4972 procedure Set_Original_Entity
4973 (N : Node_Id; Val : Entity_Id) is
4975 pragma Assert (False
4976 or else NT (N).Nkind = N_Integer_Literal
4977 or else NT (N).Nkind = N_Real_Literal);
4978 Set_Node2 (N, Val); -- semantic field, no parent set
4979 end Set_Original_Entity;
4981 procedure Set_Others_Discrete_Choices
4982 (N : Node_Id; Val : List_Id) is
4984 pragma Assert (False
4985 or else NT (N).Nkind = N_Others_Choice);
4986 Set_List1_With_Parent (N, Val);
4987 end Set_Others_Discrete_Choices;
4989 procedure Set_Out_Present
4990 (N : Node_Id; Val : Boolean := True) is
4992 pragma Assert (False
4993 or else NT (N).Nkind = N_Formal_Object_Declaration
4994 or else NT (N).Nkind = N_Parameter_Specification);
4995 Set_Flag17 (N, Val);
4996 end Set_Out_Present;
4998 procedure Set_Parameter_Associations
4999 (N : Node_Id; Val : List_Id) is
5001 pragma Assert (False
5002 or else NT (N).Nkind = N_Entry_Call_Statement
5003 or else NT (N).Nkind = N_Function_Call
5004 or else NT (N).Nkind = N_Procedure_Call_Statement);
5005 Set_List3_With_Parent (N, Val);
5006 end Set_Parameter_Associations;
5008 procedure Set_Parameter_List_Truncated
5009 (N : Node_Id; Val : Boolean := True) is
5011 pragma Assert (False
5012 or else NT (N).Nkind = N_Function_Call
5013 or else NT (N).Nkind = N_Procedure_Call_Statement);
5014 Set_Flag17 (N, Val);
5015 end Set_Parameter_List_Truncated;
5017 procedure Set_Parameter_Specifications
5018 (N : Node_Id; Val : List_Id) is
5020 pragma Assert (False
5021 or else NT (N).Nkind = N_Accept_Statement
5022 or else NT (N).Nkind = N_Access_Function_Definition
5023 or else NT (N).Nkind = N_Access_Procedure_Definition
5024 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5025 or else NT (N).Nkind = N_Entry_Declaration
5026 or else NT (N).Nkind = N_Function_Specification
5027 or else NT (N).Nkind = N_Procedure_Specification);
5028 Set_List3_With_Parent (N, Val);
5029 end Set_Parameter_Specifications;
5031 procedure Set_Parameter_Type
5032 (N : Node_Id; Val : Node_Id) is
5034 pragma Assert (False
5035 or else NT (N).Nkind = N_Parameter_Specification);
5036 Set_Node2_With_Parent (N, Val);
5037 end Set_Parameter_Type;
5039 procedure Set_Parent_Spec
5040 (N : Node_Id; Val : Node_Id) is
5042 pragma Assert (False
5043 or else NT (N).Nkind = N_Function_Instantiation
5044 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5045 or else NT (N).Nkind = N_Generic_Package_Declaration
5046 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5047 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5048 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5049 or else NT (N).Nkind = N_Package_Declaration
5050 or else NT (N).Nkind = N_Package_Instantiation
5051 or else NT (N).Nkind = N_Package_Renaming_Declaration
5052 or else NT (N).Nkind = N_Procedure_Instantiation
5053 or else NT (N).Nkind = N_Subprogram_Declaration
5054 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5055 Set_Node4 (N, Val); -- semantic field, no parent set
5056 end Set_Parent_Spec;
5058 procedure Set_PPC_Enabled
5059 (N : Node_Id; Val : Boolean := True) is
5061 pragma Assert (False
5062 or else NT (N).Nkind = N_Pragma);
5064 end Set_PPC_Enabled;
5066 procedure Set_Position
5067 (N : Node_Id; Val : Node_Id) is
5069 pragma Assert (False
5070 or else NT (N).Nkind = N_Component_Clause);
5071 Set_Node2_With_Parent (N, Val);
5074 procedure Set_Pragma_Argument_Associations
5075 (N : Node_Id; Val : List_Id) is
5077 pragma Assert (False
5078 or else NT (N).Nkind = N_Pragma);
5079 Set_List2_With_Parent (N, Val);
5080 end Set_Pragma_Argument_Associations;
5082 procedure Set_Pragma_Identifier
5083 (N : Node_Id; Val : Node_Id) is
5085 pragma Assert (False
5086 or else NT (N).Nkind = N_Pragma);
5087 Set_Node4_With_Parent (N, Val);
5088 end Set_Pragma_Identifier;
5090 procedure Set_Pragmas_After
5091 (N : Node_Id; Val : List_Id) is
5093 pragma Assert (False
5094 or else NT (N).Nkind = N_Compilation_Unit_Aux
5095 or else NT (N).Nkind = N_Terminate_Alternative);
5096 Set_List5_With_Parent (N, Val);
5097 end Set_Pragmas_After;
5099 procedure Set_Pragmas_Before
5100 (N : Node_Id; Val : List_Id) is
5102 pragma Assert (False
5103 or else NT (N).Nkind = N_Accept_Alternative
5104 or else NT (N).Nkind = N_Delay_Alternative
5105 or else NT (N).Nkind = N_Entry_Call_Alternative
5106 or else NT (N).Nkind = N_Mod_Clause
5107 or else NT (N).Nkind = N_Terminate_Alternative
5108 or else NT (N).Nkind = N_Triggering_Alternative);
5109 Set_List4_With_Parent (N, Val);
5110 end Set_Pragmas_Before;
5112 procedure Set_Prefix
5113 (N : Node_Id; Val : Node_Id) is
5115 pragma Assert (False
5116 or else NT (N).Nkind = N_Attribute_Reference
5117 or else NT (N).Nkind = N_Expanded_Name
5118 or else NT (N).Nkind = N_Explicit_Dereference
5119 or else NT (N).Nkind = N_Indexed_Component
5120 or else NT (N).Nkind = N_Reference
5121 or else NT (N).Nkind = N_Selected_Component
5122 or else NT (N).Nkind = N_Slice);
5123 Set_Node3_With_Parent (N, Val);
5126 procedure Set_Present_Expr
5127 (N : Node_Id; Val : Uint) is
5129 pragma Assert (False
5130 or else NT (N).Nkind = N_Variant);
5132 end Set_Present_Expr;
5134 procedure Set_Prev_Ids
5135 (N : Node_Id; Val : Boolean := True) is
5137 pragma Assert (False
5138 or else NT (N).Nkind = N_Component_Declaration
5139 or else NT (N).Nkind = N_Discriminant_Specification
5140 or else NT (N).Nkind = N_Exception_Declaration
5141 or else NT (N).Nkind = N_Formal_Object_Declaration
5142 or else NT (N).Nkind = N_Number_Declaration
5143 or else NT (N).Nkind = N_Object_Declaration
5144 or else NT (N).Nkind = N_Parameter_Specification);
5148 procedure Set_Print_In_Hex
5149 (N : Node_Id; Val : Boolean := True) is
5151 pragma Assert (False
5152 or else NT (N).Nkind = N_Integer_Literal);
5153 Set_Flag13 (N, Val);
5154 end Set_Print_In_Hex;
5156 procedure Set_Private_Declarations
5157 (N : Node_Id; Val : List_Id) is
5159 pragma Assert (False
5160 or else NT (N).Nkind = N_Package_Specification
5161 or else NT (N).Nkind = N_Protected_Definition
5162 or else NT (N).Nkind = N_Task_Definition);
5163 Set_List3_With_Parent (N, Val);
5164 end Set_Private_Declarations;
5166 procedure Set_Private_Present
5167 (N : Node_Id; Val : Boolean := True) is
5169 pragma Assert (False
5170 or else NT (N).Nkind = N_Compilation_Unit
5171 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5172 or else NT (N).Nkind = N_With_Clause);
5173 Set_Flag15 (N, Val);
5174 end Set_Private_Present;
5176 procedure Set_Procedure_To_Call
5177 (N : Node_Id; Val : Node_Id) is
5179 pragma Assert (False
5180 or else NT (N).Nkind = N_Allocator
5181 or else NT (N).Nkind = N_Extended_Return_Statement
5182 or else NT (N).Nkind = N_Free_Statement
5183 or else NT (N).Nkind = N_Return_Statement);
5184 Set_Node2 (N, Val); -- semantic field, no parent set
5185 end Set_Procedure_To_Call;
5187 procedure Set_Proper_Body
5188 (N : Node_Id; Val : Node_Id) is
5190 pragma Assert (False
5191 or else NT (N).Nkind = N_Subunit);
5192 Set_Node1_With_Parent (N, Val);
5193 end Set_Proper_Body;
5195 procedure Set_Protected_Definition
5196 (N : Node_Id; Val : Node_Id) is
5198 pragma Assert (False
5199 or else NT (N).Nkind = N_Protected_Type_Declaration
5200 or else NT (N).Nkind = N_Single_Protected_Declaration);
5201 Set_Node3_With_Parent (N, Val);
5202 end Set_Protected_Definition;
5204 procedure Set_Protected_Present
5205 (N : Node_Id; Val : Boolean := True) is
5207 pragma Assert (False
5208 or else NT (N).Nkind = N_Access_Function_Definition
5209 or else NT (N).Nkind = N_Access_Procedure_Definition
5210 or else NT (N).Nkind = N_Derived_Type_Definition
5211 or else NT (N).Nkind = N_Record_Definition);
5213 end Set_Protected_Present;
5215 procedure Set_Raises_Constraint_Error
5216 (N : Node_Id; Val : Boolean := True) is
5218 pragma Assert (False
5219 or else NT (N).Nkind in N_Subexpr);
5221 end Set_Raises_Constraint_Error;
5223 procedure Set_Range_Constraint
5224 (N : Node_Id; Val : Node_Id) is
5226 pragma Assert (False
5227 or else NT (N).Nkind = N_Delta_Constraint
5228 or else NT (N).Nkind = N_Digits_Constraint);
5229 Set_Node4_With_Parent (N, Val);
5230 end Set_Range_Constraint;
5232 procedure Set_Range_Expression
5233 (N : Node_Id; Val : Node_Id) is
5235 pragma Assert (False
5236 or else NT (N).Nkind = N_Range_Constraint);
5237 Set_Node4_With_Parent (N, Val);
5238 end Set_Range_Expression;
5240 procedure Set_Real_Range_Specification
5241 (N : Node_Id; Val : Node_Id) is
5243 pragma Assert (False
5244 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5245 or else NT (N).Nkind = N_Floating_Point_Definition
5246 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5247 Set_Node4_With_Parent (N, Val);
5248 end Set_Real_Range_Specification;
5250 procedure Set_Realval
5251 (N : Node_Id; Val : Ureal) is
5253 pragma Assert (False
5254 or else NT (N).Nkind = N_Real_Literal);
5255 Set_Ureal3 (N, Val);
5258 procedure Set_Reason
5259 (N : Node_Id; Val : Uint) is
5261 pragma Assert (False
5262 or else NT (N).Nkind = N_Raise_Constraint_Error
5263 or else NT (N).Nkind = N_Raise_Program_Error
5264 or else NT (N).Nkind = N_Raise_Storage_Error);
5268 procedure Set_Record_Extension_Part
5269 (N : Node_Id; Val : Node_Id) is
5271 pragma Assert (False
5272 or else NT (N).Nkind = N_Derived_Type_Definition);
5273 Set_Node3_With_Parent (N, Val);
5274 end Set_Record_Extension_Part;
5276 procedure Set_Redundant_Use
5277 (N : Node_Id; Val : Boolean := True) is
5279 pragma Assert (False
5280 or else NT (N).Nkind = N_Attribute_Reference
5281 or else NT (N).Nkind = N_Expanded_Name
5282 or else NT (N).Nkind = N_Identifier);
5283 Set_Flag13 (N, Val);
5284 end Set_Redundant_Use;
5286 procedure Set_Renaming_Exception
5287 (N : Node_Id; Val : Node_Id) is
5289 pragma Assert (False
5290 or else NT (N).Nkind = N_Exception_Declaration);
5292 end Set_Renaming_Exception;
5294 procedure Set_Result_Definition
5295 (N : Node_Id; Val : Node_Id) is
5297 pragma Assert (False
5298 or else NT (N).Nkind = N_Access_Function_Definition
5299 or else NT (N).Nkind = N_Function_Specification);
5300 Set_Node4_With_Parent (N, Val);
5301 end Set_Result_Definition;
5303 procedure Set_Return_Object_Declarations
5304 (N : Node_Id; Val : List_Id) is
5306 pragma Assert (False
5307 or else NT (N).Nkind = N_Extended_Return_Statement);
5308 Set_List3_With_Parent (N, Val);
5309 end Set_Return_Object_Declarations;
5311 procedure Set_Return_Statement_Entity
5312 (N : Node_Id; Val : Node_Id) is
5314 pragma Assert (False
5315 or else NT (N).Nkind = N_Extended_Return_Statement
5316 or else NT (N).Nkind = N_Return_Statement);
5317 Set_Node5 (N, Val); -- semantic field, no parent set
5318 end Set_Return_Statement_Entity;
5320 procedure Set_Reverse_Present
5321 (N : Node_Id; Val : Boolean := True) is
5323 pragma Assert (False
5324 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5325 Set_Flag15 (N, Val);
5326 end Set_Reverse_Present;
5328 procedure Set_Right_Opnd
5329 (N : Node_Id; Val : Node_Id) is
5331 pragma Assert (False
5332 or else NT (N).Nkind in N_Op
5333 or else NT (N).Nkind = N_And_Then
5334 or else NT (N).Nkind = N_In
5335 or else NT (N).Nkind = N_Not_In
5336 or else NT (N).Nkind = N_Or_Else);
5337 Set_Node3_With_Parent (N, Val);
5340 procedure Set_Rounded_Result
5341 (N : Node_Id; Val : Boolean := True) is
5343 pragma Assert (False
5344 or else NT (N).Nkind = N_Op_Divide
5345 or else NT (N).Nkind = N_Op_Multiply
5346 or else NT (N).Nkind = N_Type_Conversion);
5347 Set_Flag18 (N, Val);
5348 end Set_Rounded_Result;
5351 (N : Node_Id; Val : Node_Id) is
5353 pragma Assert (False
5354 or else NT (N).Nkind = N_Defining_Character_Literal
5355 or else NT (N).Nkind = N_Defining_Identifier
5356 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5357 Set_Node3 (N, Val); -- semantic field, no parent set
5360 procedure Set_Select_Alternatives
5361 (N : Node_Id; Val : List_Id) is
5363 pragma Assert (False
5364 or else NT (N).Nkind = N_Selective_Accept);
5365 Set_List1_With_Parent (N, Val);
5366 end Set_Select_Alternatives;
5368 procedure Set_Selector_Name
5369 (N : Node_Id; Val : Node_Id) is
5371 pragma Assert (False
5372 or else NT (N).Nkind = N_Expanded_Name
5373 or else NT (N).Nkind = N_Generic_Association
5374 or else NT (N).Nkind = N_Parameter_Association
5375 or else NT (N).Nkind = N_Selected_Component);
5376 Set_Node2_With_Parent (N, Val);
5377 end Set_Selector_Name;
5379 procedure Set_Selector_Names
5380 (N : Node_Id; Val : List_Id) is
5382 pragma Assert (False
5383 or else NT (N).Nkind = N_Discriminant_Association);
5384 Set_List1_With_Parent (N, Val);
5385 end Set_Selector_Names;
5387 procedure Set_Shift_Count_OK
5388 (N : Node_Id; Val : Boolean := True) is
5390 pragma Assert (False
5391 or else NT (N).Nkind = N_Op_Rotate_Left
5392 or else NT (N).Nkind = N_Op_Rotate_Right
5393 or else NT (N).Nkind = N_Op_Shift_Left
5394 or else NT (N).Nkind = N_Op_Shift_Right
5395 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5397 end Set_Shift_Count_OK;
5399 procedure Set_Source_Type
5400 (N : Node_Id; Val : Entity_Id) is
5402 pragma Assert (False
5403 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5404 Set_Node1 (N, Val); -- semantic field, no parent set
5405 end Set_Source_Type;
5407 procedure Set_Specification
5408 (N : Node_Id; Val : Node_Id) is
5410 pragma Assert (False
5411 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5412 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5413 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5414 or else NT (N).Nkind = N_Generic_Package_Declaration
5415 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5416 or else NT (N).Nkind = N_Package_Declaration
5417 or else NT (N).Nkind = N_Subprogram_Body
5418 or else NT (N).Nkind = N_Subprogram_Body_Stub
5419 or else NT (N).Nkind = N_Subprogram_Declaration
5420 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5421 Set_Node1_With_Parent (N, Val);
5422 end Set_Specification;
5424 procedure Set_Statements
5425 (N : Node_Id; Val : List_Id) is
5427 pragma Assert (False
5428 or else NT (N).Nkind = N_Abortable_Part
5429 or else NT (N).Nkind = N_Accept_Alternative
5430 or else NT (N).Nkind = N_Case_Statement_Alternative
5431 or else NT (N).Nkind = N_Delay_Alternative
5432 or else NT (N).Nkind = N_Entry_Call_Alternative
5433 or else NT (N).Nkind = N_Exception_Handler
5434 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5435 or else NT (N).Nkind = N_Loop_Statement
5436 or else NT (N).Nkind = N_Triggering_Alternative);
5437 Set_List3_With_Parent (N, Val);
5440 procedure Set_Static_Processing_OK
5441 (N : Node_Id; Val : Boolean) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_Aggregate);
5446 end Set_Static_Processing_OK;
5448 procedure Set_Storage_Pool
5449 (N : Node_Id; Val : Node_Id) is
5451 pragma Assert (False
5452 or else NT (N).Nkind = N_Allocator
5453 or else NT (N).Nkind = N_Extended_Return_Statement
5454 or else NT (N).Nkind = N_Free_Statement
5455 or else NT (N).Nkind = N_Return_Statement);
5456 Set_Node1 (N, Val); -- semantic field, no parent set
5457 end Set_Storage_Pool;
5459 procedure Set_Strval
5460 (N : Node_Id; Val : String_Id) is
5462 pragma Assert (False
5463 or else NT (N).Nkind = N_Operator_Symbol
5464 or else NT (N).Nkind = N_String_Literal);
5468 procedure Set_Subtype_Indication
5469 (N : Node_Id; Val : Node_Id) is
5471 pragma Assert (False
5472 or else NT (N).Nkind = N_Access_To_Object_Definition
5473 or else NT (N).Nkind = N_Component_Definition
5474 or else NT (N).Nkind = N_Derived_Type_Definition
5475 or else NT (N).Nkind = N_Private_Extension_Declaration
5476 or else NT (N).Nkind = N_Subtype_Declaration);
5477 Set_Node5_With_Parent (N, Val);
5478 end Set_Subtype_Indication;
5480 procedure Set_Subtype_Mark
5481 (N : Node_Id; Val : Node_Id) is
5483 pragma Assert (False
5484 or else NT (N).Nkind = N_Access_Definition
5485 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5486 or else NT (N).Nkind = N_Formal_Object_Declaration
5487 or else NT (N).Nkind = N_Object_Renaming_Declaration
5488 or else NT (N).Nkind = N_Qualified_Expression
5489 or else NT (N).Nkind = N_Subtype_Indication
5490 or else NT (N).Nkind = N_Type_Conversion
5491 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5492 Set_Node4_With_Parent (N, Val);
5493 end Set_Subtype_Mark;
5495 procedure Set_Subtype_Marks
5496 (N : Node_Id; Val : List_Id) is
5498 pragma Assert (False
5499 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5500 or else NT (N).Nkind = N_Use_Type_Clause);
5501 Set_List2_With_Parent (N, Val);
5502 end Set_Subtype_Marks;
5504 procedure Set_Suppress_Loop_Warnings
5505 (N : Node_Id; Val : Boolean := True) is
5507 pragma Assert (False
5508 or else NT (N).Nkind = N_Loop_Statement);
5509 Set_Flag17 (N, Val);
5510 end Set_Suppress_Loop_Warnings;
5512 procedure Set_Synchronized_Present
5513 (N : Node_Id; Val : Boolean := True) is
5515 pragma Assert (False
5516 or else NT (N).Nkind = N_Derived_Type_Definition
5517 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5518 or else NT (N).Nkind = N_Private_Extension_Declaration
5519 or else NT (N).Nkind = N_Record_Definition);
5521 end Set_Synchronized_Present;
5523 procedure Set_Tagged_Present
5524 (N : Node_Id; Val : Boolean := True) is
5526 pragma Assert (False
5527 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5528 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5529 or else NT (N).Nkind = N_Private_Type_Declaration
5530 or else NT (N).Nkind = N_Record_Definition);
5531 Set_Flag15 (N, Val);
5532 end Set_Tagged_Present;
5534 procedure Set_Target_Type
5535 (N : Node_Id; Val : Entity_Id) is
5537 pragma Assert (False
5538 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5539 Set_Node2 (N, Val); -- semantic field, no parent set
5540 end Set_Target_Type;
5542 procedure Set_Task_Definition
5543 (N : Node_Id; Val : Node_Id) is
5545 pragma Assert (False
5546 or else NT (N).Nkind = N_Single_Task_Declaration
5547 or else NT (N).Nkind = N_Task_Type_Declaration);
5548 Set_Node3_With_Parent (N, Val);
5549 end Set_Task_Definition;
5551 procedure Set_Task_Present
5552 (N : Node_Id; Val : Boolean := True) is
5554 pragma Assert (False
5555 or else NT (N).Nkind = N_Derived_Type_Definition
5556 or else NT (N).Nkind = N_Record_Definition);
5558 end Set_Task_Present;
5560 procedure Set_Then_Actions
5561 (N : Node_Id; Val : List_Id) is
5563 pragma Assert (False
5564 or else NT (N).Nkind = N_Conditional_Expression);
5565 Set_List2 (N, Val); -- semantic field, no parent set
5566 end Set_Then_Actions;
5568 procedure Set_Then_Statements
5569 (N : Node_Id; Val : List_Id) is
5571 pragma Assert (False
5572 or else NT (N).Nkind = N_Elsif_Part
5573 or else NT (N).Nkind = N_If_Statement);
5574 Set_List2_With_Parent (N, Val);
5575 end Set_Then_Statements;
5577 procedure Set_Treat_Fixed_As_Integer
5578 (N : Node_Id; Val : Boolean := True) is
5580 pragma Assert (False
5581 or else NT (N).Nkind = N_Op_Divide
5582 or else NT (N).Nkind = N_Op_Mod
5583 or else NT (N).Nkind = N_Op_Multiply
5584 or else NT (N).Nkind = N_Op_Rem);
5585 Set_Flag14 (N, Val);
5586 end Set_Treat_Fixed_As_Integer;
5588 procedure Set_Triggering_Alternative
5589 (N : Node_Id; Val : Node_Id) is
5591 pragma Assert (False
5592 or else NT (N).Nkind = N_Asynchronous_Select);
5593 Set_Node1_With_Parent (N, Val);
5594 end Set_Triggering_Alternative;
5596 procedure Set_Triggering_Statement
5597 (N : Node_Id; Val : Node_Id) is
5599 pragma Assert (False
5600 or else NT (N).Nkind = N_Triggering_Alternative);
5601 Set_Node1_With_Parent (N, Val);
5602 end Set_Triggering_Statement;
5604 procedure Set_TSS_Elist
5605 (N : Node_Id; Val : Elist_Id) is
5607 pragma Assert (False
5608 or else NT (N).Nkind = N_Freeze_Entity);
5609 Set_Elist3 (N, Val); -- semantic field, no parent set
5612 procedure Set_Type_Definition
5613 (N : Node_Id; Val : Node_Id) is
5615 pragma Assert (False
5616 or else NT (N).Nkind = N_Full_Type_Declaration);
5617 Set_Node3_With_Parent (N, Val);
5618 end Set_Type_Definition;
5621 (N : Node_Id; Val : Node_Id) is
5623 pragma Assert (False
5624 or else NT (N).Nkind = N_Compilation_Unit);
5625 Set_Node2_With_Parent (N, Val);
5628 procedure Set_Unknown_Discriminants_Present
5629 (N : Node_Id; Val : Boolean := True) is
5631 pragma Assert (False
5632 or else NT (N).Nkind = N_Formal_Type_Declaration
5633 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5634 or else NT (N).Nkind = N_Private_Extension_Declaration
5635 or else NT (N).Nkind = N_Private_Type_Declaration);
5636 Set_Flag13 (N, Val);
5637 end Set_Unknown_Discriminants_Present;
5639 procedure Set_Unreferenced_In_Spec
5640 (N : Node_Id; Val : Boolean := True) is
5642 pragma Assert (False
5643 or else NT (N).Nkind = N_With_Clause);
5645 end Set_Unreferenced_In_Spec;
5647 procedure Set_Variant_Part
5648 (N : Node_Id; Val : Node_Id) is
5650 pragma Assert (False
5651 or else NT (N).Nkind = N_Component_List);
5652 Set_Node4_With_Parent (N, Val);
5653 end Set_Variant_Part;
5655 procedure Set_Variants
5656 (N : Node_Id; Val : List_Id) is
5658 pragma Assert (False
5659 or else NT (N).Nkind = N_Variant_Part);
5660 Set_List1_With_Parent (N, Val);
5663 procedure Set_Visible_Declarations
5664 (N : Node_Id; Val : List_Id) is
5666 pragma Assert (False
5667 or else NT (N).Nkind = N_Package_Specification
5668 or else NT (N).Nkind = N_Protected_Definition
5669 or else NT (N).Nkind = N_Task_Definition);
5670 Set_List2_With_Parent (N, Val);
5671 end Set_Visible_Declarations;
5673 procedure Set_Was_Originally_Stub
5674 (N : Node_Id; Val : Boolean := True) is
5676 pragma Assert (False
5677 or else NT (N).Nkind = N_Package_Body
5678 or else NT (N).Nkind = N_Protected_Body
5679 or else NT (N).Nkind = N_Subprogram_Body
5680 or else NT (N).Nkind = N_Task_Body);
5681 Set_Flag13 (N, Val);
5682 end Set_Was_Originally_Stub;
5684 procedure Set_Zero_Cost_Handling
5685 (N : Node_Id; Val : Boolean := True) is
5687 pragma Assert (False
5688 or else NT (N).Nkind = N_Exception_Handler
5689 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
5691 end Set_Zero_Cost_Handling;
5693 -------------------------
5694 -- Iterator Procedures --
5695 -------------------------
5697 procedure Next_Entity (N : in out Node_Id) is
5699 N := Next_Entity (N);
5702 procedure Next_Named_Actual (N : in out Node_Id) is
5704 N := Next_Named_Actual (N);
5705 end Next_Named_Actual;
5707 procedure Next_Rep_Item (N : in out Node_Id) is
5709 N := Next_Rep_Item (N);
5712 procedure Next_Use_Clause (N : in out Node_Id) is
5714 N := Next_Use_Clause (N);
5715 end Next_Use_Clause;
5721 function End_Location (N : Node_Id) return Source_Ptr is
5722 L : constant Uint := End_Span (N);
5727 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
5731 ----------------------
5732 -- Set_End_Location --
5733 ----------------------
5735 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
5738 UI_From_Int (Int (S) - Int (Sloc (N))));
5739 end Set_End_Location;
5748 V2 : Node_Kind) return Boolean
5751 return T = V1 or else
5759 V3 : Node_Kind) return Boolean
5762 return T = V1 or else
5772 V4 : Node_Kind) return Boolean
5775 return T = V1 or else
5787 V5 : Node_Kind) return Boolean
5790 return T = V1 or else
5804 V6 : Node_Kind) return Boolean
5807 return T = V1 or else
5823 V7 : Node_Kind) return Boolean
5826 return T = V1 or else
5844 V8 : Node_Kind) return Boolean
5847 return T = V1 or else
5868 V9 : Node_Kind) return Boolean
5871 return T = V1 or else
5886 function Pragma_Name (N : Node_Id) return Name_Id is
5888 return Chars (Pragma_Identifier (N));