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_SCIL_Node
1707 (N : Node_Id) return Boolean is
1709 pragma Assert (False
1710 or else NT (N).Nkind = N_Null_Statement);
1714 function Is_Static_Coextension
1715 (N : Node_Id) return Boolean is
1717 pragma Assert (False
1718 or else NT (N).Nkind = N_Allocator);
1720 end Is_Static_Coextension;
1722 function Is_Static_Expression
1723 (N : Node_Id) return Boolean is
1725 pragma Assert (False
1726 or else NT (N).Nkind in N_Subexpr);
1728 end Is_Static_Expression;
1730 function Is_Subprogram_Descriptor
1731 (N : Node_Id) return Boolean is
1733 pragma Assert (False
1734 or else NT (N).Nkind = N_Object_Declaration);
1736 end Is_Subprogram_Descriptor;
1738 function Is_Task_Allocation_Block
1739 (N : Node_Id) return Boolean is
1741 pragma Assert (False
1742 or else NT (N).Nkind = N_Block_Statement);
1744 end Is_Task_Allocation_Block;
1746 function Is_Task_Master
1747 (N : Node_Id) return Boolean is
1749 pragma Assert (False
1750 or else NT (N).Nkind = N_Block_Statement
1751 or else NT (N).Nkind = N_Subprogram_Body
1752 or else NT (N).Nkind = N_Task_Body);
1756 function Iteration_Scheme
1757 (N : Node_Id) return Node_Id is
1759 pragma Assert (False
1760 or else NT (N).Nkind = N_Loop_Statement);
1762 end Iteration_Scheme;
1765 (N : Node_Id) return Node_Id is
1767 pragma Assert (False
1768 or else NT (N).Nkind = N_Itype_Reference);
1772 function Kill_Range_Check
1773 (N : Node_Id) return Boolean is
1775 pragma Assert (False
1776 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1778 end Kill_Range_Check;
1780 function Label_Construct
1781 (N : Node_Id) return Node_Id is
1783 pragma Assert (False
1784 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1786 end Label_Construct;
1789 (N : Node_Id) return Node_Id is
1791 pragma Assert (False
1792 or else NT (N).Nkind = N_Component_Clause);
1797 (N : Node_Id) return Boolean is
1799 pragma Assert (False
1800 or else NT (N).Nkind = N_With_Clause);
1805 (N : Node_Id) return Node_Id is
1807 pragma Assert (False
1808 or else NT (N).Nkind = N_And_Then
1809 or else NT (N).Nkind = N_In
1810 or else NT (N).Nkind = N_Not_In
1811 or else NT (N).Nkind = N_Or_Else
1812 or else NT (N).Nkind in N_Binary_Op);
1816 function Library_Unit
1817 (N : Node_Id) return Node_Id is
1819 pragma Assert (False
1820 or else NT (N).Nkind = N_Compilation_Unit
1821 or else NT (N).Nkind = N_Package_Body_Stub
1822 or else NT (N).Nkind = N_Protected_Body_Stub
1823 or else NT (N).Nkind = N_Subprogram_Body_Stub
1824 or else NT (N).Nkind = N_Task_Body_Stub
1825 or else NT (N).Nkind = N_With_Clause);
1829 function Limited_View_Installed
1830 (N : Node_Id) return Boolean is
1832 pragma Assert (False
1833 or else NT (N).Nkind = N_Package_Specification
1834 or else NT (N).Nkind = N_With_Clause);
1836 end Limited_View_Installed;
1838 function Limited_Present
1839 (N : Node_Id) return Boolean is
1841 pragma Assert (False
1842 or else NT (N).Nkind = N_Derived_Type_Definition
1843 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1844 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1845 or else NT (N).Nkind = N_Private_Extension_Declaration
1846 or else NT (N).Nkind = N_Private_Type_Declaration
1847 or else NT (N).Nkind = N_Record_Definition
1848 or else NT (N).Nkind = N_With_Clause);
1850 end Limited_Present;
1853 (N : Node_Id) return List_Id is
1855 pragma Assert (False
1856 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1860 function Local_Raise_Not_OK
1861 (N : Node_Id) return Boolean is
1863 pragma Assert (False
1864 or else NT (N).Nkind = N_Exception_Handler);
1866 end Local_Raise_Not_OK;
1868 function Local_Raise_Statements
1869 (N : Node_Id) return Elist_Id is
1871 pragma Assert (False
1872 or else NT (N).Nkind = N_Exception_Handler);
1874 end Local_Raise_Statements;
1876 function Loop_Actions
1877 (N : Node_Id) return List_Id is
1879 pragma Assert (False
1880 or else NT (N).Nkind = N_Component_Association);
1884 function Loop_Parameter_Specification
1885 (N : Node_Id) return Node_Id is
1887 pragma Assert (False
1888 or else NT (N).Nkind = N_Iteration_Scheme);
1890 end Loop_Parameter_Specification;
1893 (N : Node_Id) return Node_Id is
1895 pragma Assert (False
1896 or else NT (N).Nkind = N_Range
1897 or else NT (N).Nkind = N_Real_Range_Specification
1898 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1903 (N : Node_Id) return Node_Id is
1905 pragma Assert (False
1906 or else NT (N).Nkind = N_Record_Representation_Clause);
1911 (N : Node_Id) return Boolean is
1913 pragma Assert (False
1914 or else NT (N).Nkind = N_Component_Declaration
1915 or else NT (N).Nkind = N_Discriminant_Specification
1916 or else NT (N).Nkind = N_Exception_Declaration
1917 or else NT (N).Nkind = N_Formal_Object_Declaration
1918 or else NT (N).Nkind = N_Number_Declaration
1919 or else NT (N).Nkind = N_Object_Declaration
1920 or else NT (N).Nkind = N_Parameter_Specification);
1924 function Must_Be_Byte_Aligned
1925 (N : Node_Id) return Boolean is
1927 pragma Assert (False
1928 or else NT (N).Nkind = N_Attribute_Reference);
1930 end Must_Be_Byte_Aligned;
1932 function Must_Not_Freeze
1933 (N : Node_Id) return Boolean is
1935 pragma Assert (False
1936 or else NT (N).Nkind = N_Subtype_Indication
1937 or else NT (N).Nkind in N_Subexpr);
1939 end Must_Not_Freeze;
1941 function Must_Not_Override
1942 (N : Node_Id) return Boolean is
1944 pragma Assert (False
1945 or else NT (N).Nkind = N_Entry_Declaration
1946 or else NT (N).Nkind = N_Function_Instantiation
1947 or else NT (N).Nkind = N_Function_Specification
1948 or else NT (N).Nkind = N_Procedure_Instantiation
1949 or else NT (N).Nkind = N_Procedure_Specification);
1951 end Must_Not_Override;
1953 function Must_Override
1954 (N : Node_Id) return Boolean is
1956 pragma Assert (False
1957 or else NT (N).Nkind = N_Entry_Declaration
1958 or else NT (N).Nkind = N_Function_Instantiation
1959 or else NT (N).Nkind = N_Function_Specification
1960 or else NT (N).Nkind = N_Procedure_Instantiation
1961 or else NT (N).Nkind = N_Procedure_Specification);
1966 (N : Node_Id) return Node_Id is
1968 pragma Assert (False
1969 or else NT (N).Nkind = N_Assignment_Statement
1970 or else NT (N).Nkind = N_Attribute_Definition_Clause
1971 or else NT (N).Nkind = N_Defining_Program_Unit_Name
1972 or else NT (N).Nkind = N_Designator
1973 or else NT (N).Nkind = N_Entry_Call_Statement
1974 or else NT (N).Nkind = N_Exception_Renaming_Declaration
1975 or else NT (N).Nkind = N_Exit_Statement
1976 or else NT (N).Nkind = N_Formal_Package_Declaration
1977 or else NT (N).Nkind = N_Function_Call
1978 or else NT (N).Nkind = N_Function_Instantiation
1979 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1980 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1981 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1982 or else NT (N).Nkind = N_Goto_Statement
1983 or else NT (N).Nkind = N_Object_Renaming_Declaration
1984 or else NT (N).Nkind = N_Package_Instantiation
1985 or else NT (N).Nkind = N_Package_Renaming_Declaration
1986 or else NT (N).Nkind = N_Procedure_Call_Statement
1987 or else NT (N).Nkind = N_Procedure_Instantiation
1988 or else NT (N).Nkind = N_Raise_Statement
1989 or else NT (N).Nkind = N_Requeue_Statement
1990 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1991 or else NT (N).Nkind = N_Subunit
1992 or else NT (N).Nkind = N_Variant_Part
1993 or else NT (N).Nkind = N_With_Clause);
1998 (N : Node_Id) return List_Id is
2000 pragma Assert (False
2001 or else NT (N).Nkind = N_Abort_Statement
2002 or else NT (N).Nkind = N_Use_Package_Clause);
2006 function Next_Entity
2007 (N : Node_Id) return Node_Id is
2009 pragma Assert (False
2010 or else NT (N).Nkind = N_Defining_Character_Literal
2011 or else NT (N).Nkind = N_Defining_Identifier
2012 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2016 function Next_Implicit_With
2017 (N : Node_Id) return Node_Id is
2019 pragma Assert (False
2020 or else NT (N).Nkind = N_With_Clause);
2022 end Next_Implicit_With;
2024 function Next_Named_Actual
2025 (N : Node_Id) return Node_Id is
2027 pragma Assert (False
2028 or else NT (N).Nkind = N_Parameter_Association);
2030 end Next_Named_Actual;
2032 function Next_Pragma
2033 (N : Node_Id) return Node_Id is
2035 pragma Assert (False
2036 or else NT (N).Nkind = N_Pragma);
2040 function Next_Rep_Item
2041 (N : Node_Id) return Node_Id is
2043 pragma Assert (False
2044 or else NT (N).Nkind = N_Attribute_Definition_Clause
2045 or else NT (N).Nkind = N_Enumeration_Representation_Clause
2046 or else NT (N).Nkind = N_Pragma
2047 or else NT (N).Nkind = N_Record_Representation_Clause);
2051 function Next_Use_Clause
2052 (N : Node_Id) return Node_Id is
2054 pragma Assert (False
2055 or else NT (N).Nkind = N_Use_Package_Clause
2056 or else NT (N).Nkind = N_Use_Type_Clause);
2058 end Next_Use_Clause;
2060 function No_Ctrl_Actions
2061 (N : Node_Id) return Boolean is
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Assignment_Statement);
2066 end No_Ctrl_Actions;
2068 function No_Elaboration_Check
2069 (N : Node_Id) return Boolean is
2071 pragma Assert (False
2072 or else NT (N).Nkind = N_Function_Call
2073 or else NT (N).Nkind = N_Procedure_Call_Statement);
2075 end No_Elaboration_Check;
2077 function No_Entities_Ref_In_Spec
2078 (N : Node_Id) return Boolean is
2080 pragma Assert (False
2081 or else NT (N).Nkind = N_With_Clause);
2083 end No_Entities_Ref_In_Spec;
2085 function No_Initialization
2086 (N : Node_Id) return Boolean is
2088 pragma Assert (False
2089 or else NT (N).Nkind = N_Allocator
2090 or else NT (N).Nkind = N_Object_Declaration);
2092 end No_Initialization;
2094 function No_Truncation
2095 (N : Node_Id) return Boolean is
2097 pragma Assert (False
2098 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2102 function Null_Present
2103 (N : Node_Id) return Boolean is
2105 pragma Assert (False
2106 or else NT (N).Nkind = N_Component_List
2107 or else NT (N).Nkind = N_Procedure_Specification
2108 or else NT (N).Nkind = N_Record_Definition);
2112 function Null_Exclusion_Present
2113 (N : Node_Id) return Boolean is
2115 pragma Assert (False
2116 or else NT (N).Nkind = N_Access_Definition
2117 or else NT (N).Nkind = N_Access_Function_Definition
2118 or else NT (N).Nkind = N_Access_Procedure_Definition
2119 or else NT (N).Nkind = N_Access_To_Object_Definition
2120 or else NT (N).Nkind = N_Allocator
2121 or else NT (N).Nkind = N_Component_Definition
2122 or else NT (N).Nkind = N_Derived_Type_Definition
2123 or else NT (N).Nkind = N_Discriminant_Specification
2124 or else NT (N).Nkind = N_Formal_Object_Declaration
2125 or else NT (N).Nkind = N_Function_Specification
2126 or else NT (N).Nkind = N_Object_Declaration
2127 or else NT (N).Nkind = N_Object_Renaming_Declaration
2128 or else NT (N).Nkind = N_Parameter_Specification
2129 or else NT (N).Nkind = N_Subtype_Declaration);
2131 end Null_Exclusion_Present;
2133 function Null_Exclusion_In_Return_Present
2134 (N : Node_Id) return Boolean is
2136 pragma Assert (False
2137 or else NT (N).Nkind = N_Access_Function_Definition);
2139 end Null_Exclusion_In_Return_Present;
2141 function Null_Record_Present
2142 (N : Node_Id) return Boolean is
2144 pragma Assert (False
2145 or else NT (N).Nkind = N_Aggregate
2146 or else NT (N).Nkind = N_Extension_Aggregate);
2148 end Null_Record_Present;
2150 function Object_Definition
2151 (N : Node_Id) return Node_Id is
2153 pragma Assert (False
2154 or else NT (N).Nkind = N_Object_Declaration);
2156 end Object_Definition;
2158 function Original_Discriminant
2159 (N : Node_Id) return Node_Id is
2161 pragma Assert (False
2162 or else NT (N).Nkind = N_Identifier);
2164 end Original_Discriminant;
2166 function Original_Entity
2167 (N : Node_Id) return Entity_Id is
2169 pragma Assert (False
2170 or else NT (N).Nkind = N_Integer_Literal
2171 or else NT (N).Nkind = N_Real_Literal);
2173 end Original_Entity;
2175 function Others_Discrete_Choices
2176 (N : Node_Id) return List_Id is
2178 pragma Assert (False
2179 or else NT (N).Nkind = N_Others_Choice);
2181 end Others_Discrete_Choices;
2183 function Out_Present
2184 (N : Node_Id) return Boolean is
2186 pragma Assert (False
2187 or else NT (N).Nkind = N_Formal_Object_Declaration
2188 or else NT (N).Nkind = N_Parameter_Specification);
2192 function Parameter_Associations
2193 (N : Node_Id) return List_Id is
2195 pragma Assert (False
2196 or else NT (N).Nkind = N_Entry_Call_Statement
2197 or else NT (N).Nkind = N_Function_Call
2198 or else NT (N).Nkind = N_Procedure_Call_Statement);
2200 end Parameter_Associations;
2202 function Parameter_List_Truncated
2203 (N : Node_Id) return Boolean is
2205 pragma Assert (False
2206 or else NT (N).Nkind = N_Function_Call
2207 or else NT (N).Nkind = N_Procedure_Call_Statement);
2209 end Parameter_List_Truncated;
2211 function Parameter_Specifications
2212 (N : Node_Id) return List_Id is
2214 pragma Assert (False
2215 or else NT (N).Nkind = N_Accept_Statement
2216 or else NT (N).Nkind = N_Access_Function_Definition
2217 or else NT (N).Nkind = N_Access_Procedure_Definition
2218 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2219 or else NT (N).Nkind = N_Entry_Declaration
2220 or else NT (N).Nkind = N_Function_Specification
2221 or else NT (N).Nkind = N_Procedure_Specification);
2223 end Parameter_Specifications;
2225 function Parameter_Type
2226 (N : Node_Id) return Node_Id is
2228 pragma Assert (False
2229 or else NT (N).Nkind = N_Parameter_Specification);
2233 function Parent_Spec
2234 (N : Node_Id) return Node_Id is
2236 pragma Assert (False
2237 or else NT (N).Nkind = N_Function_Instantiation
2238 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2239 or else NT (N).Nkind = N_Generic_Package_Declaration
2240 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2241 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2242 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2243 or else NT (N).Nkind = N_Package_Declaration
2244 or else NT (N).Nkind = N_Package_Instantiation
2245 or else NT (N).Nkind = N_Package_Renaming_Declaration
2246 or else NT (N).Nkind = N_Procedure_Instantiation
2247 or else NT (N).Nkind = N_Subprogram_Declaration
2248 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2252 function PPC_Enabled
2253 (N : Node_Id) return Boolean is
2255 pragma Assert (False
2256 or else NT (N).Nkind = N_Pragma);
2261 (N : Node_Id) return Node_Id is
2263 pragma Assert (False
2264 or else NT (N).Nkind = N_Component_Clause);
2268 function Pragma_Argument_Associations
2269 (N : Node_Id) return List_Id is
2271 pragma Assert (False
2272 or else NT (N).Nkind = N_Pragma);
2274 end Pragma_Argument_Associations;
2276 function Pragma_Identifier
2277 (N : Node_Id) return Node_Id is
2279 pragma Assert (False
2280 or else NT (N).Nkind = N_Pragma);
2282 end Pragma_Identifier;
2284 function Pragmas_After
2285 (N : Node_Id) return List_Id is
2287 pragma Assert (False
2288 or else NT (N).Nkind = N_Compilation_Unit_Aux
2289 or else NT (N).Nkind = N_Terminate_Alternative);
2293 function Pragmas_Before
2294 (N : Node_Id) return List_Id is
2296 pragma Assert (False
2297 or else NT (N).Nkind = N_Accept_Alternative
2298 or else NT (N).Nkind = N_Delay_Alternative
2299 or else NT (N).Nkind = N_Entry_Call_Alternative
2300 or else NT (N).Nkind = N_Mod_Clause
2301 or else NT (N).Nkind = N_Terminate_Alternative
2302 or else NT (N).Nkind = N_Triggering_Alternative);
2307 (N : Node_Id) return Node_Id is
2309 pragma Assert (False
2310 or else NT (N).Nkind = N_Attribute_Reference
2311 or else NT (N).Nkind = N_Expanded_Name
2312 or else NT (N).Nkind = N_Explicit_Dereference
2313 or else NT (N).Nkind = N_Indexed_Component
2314 or else NT (N).Nkind = N_Reference
2315 or else NT (N).Nkind = N_Selected_Component
2316 or else NT (N).Nkind = N_Slice);
2320 function Present_Expr
2321 (N : Node_Id) return Uint is
2323 pragma Assert (False
2324 or else NT (N).Nkind = N_Variant);
2329 (N : Node_Id) return Boolean is
2331 pragma Assert (False
2332 or else NT (N).Nkind = N_Component_Declaration
2333 or else NT (N).Nkind = N_Discriminant_Specification
2334 or else NT (N).Nkind = N_Exception_Declaration
2335 or else NT (N).Nkind = N_Formal_Object_Declaration
2336 or else NT (N).Nkind = N_Number_Declaration
2337 or else NT (N).Nkind = N_Object_Declaration
2338 or else NT (N).Nkind = N_Parameter_Specification);
2342 function Print_In_Hex
2343 (N : Node_Id) return Boolean is
2345 pragma Assert (False
2346 or else NT (N).Nkind = N_Integer_Literal);
2350 function Private_Declarations
2351 (N : Node_Id) return List_Id is
2353 pragma Assert (False
2354 or else NT (N).Nkind = N_Package_Specification
2355 or else NT (N).Nkind = N_Protected_Definition
2356 or else NT (N).Nkind = N_Task_Definition);
2358 end Private_Declarations;
2360 function Private_Present
2361 (N : Node_Id) return Boolean is
2363 pragma Assert (False
2364 or else NT (N).Nkind = N_Compilation_Unit
2365 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2366 or else NT (N).Nkind = N_With_Clause);
2368 end Private_Present;
2370 function Procedure_To_Call
2371 (N : Node_Id) return Node_Id is
2373 pragma Assert (False
2374 or else NT (N).Nkind = N_Allocator
2375 or else NT (N).Nkind = N_Extended_Return_Statement
2376 or else NT (N).Nkind = N_Free_Statement
2377 or else NT (N).Nkind = N_Return_Statement);
2379 end Procedure_To_Call;
2381 function Proper_Body
2382 (N : Node_Id) return Node_Id is
2384 pragma Assert (False
2385 or else NT (N).Nkind = N_Subunit);
2389 function Protected_Definition
2390 (N : Node_Id) return Node_Id is
2392 pragma Assert (False
2393 or else NT (N).Nkind = N_Protected_Type_Declaration
2394 or else NT (N).Nkind = N_Single_Protected_Declaration);
2396 end Protected_Definition;
2398 function Protected_Present
2399 (N : Node_Id) return Boolean is
2401 pragma Assert (False
2402 or else NT (N).Nkind = N_Access_Function_Definition
2403 or else NT (N).Nkind = N_Access_Procedure_Definition
2404 or else NT (N).Nkind = N_Derived_Type_Definition
2405 or else NT (N).Nkind = N_Record_Definition);
2407 end Protected_Present;
2409 function Raises_Constraint_Error
2410 (N : Node_Id) return Boolean is
2412 pragma Assert (False
2413 or else NT (N).Nkind in N_Subexpr);
2415 end Raises_Constraint_Error;
2417 function Range_Constraint
2418 (N : Node_Id) return Node_Id is
2420 pragma Assert (False
2421 or else NT (N).Nkind = N_Delta_Constraint
2422 or else NT (N).Nkind = N_Digits_Constraint);
2424 end Range_Constraint;
2426 function Range_Expression
2427 (N : Node_Id) return Node_Id is
2429 pragma Assert (False
2430 or else NT (N).Nkind = N_Range_Constraint);
2432 end Range_Expression;
2434 function Real_Range_Specification
2435 (N : Node_Id) return Node_Id is
2437 pragma Assert (False
2438 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2439 or else NT (N).Nkind = N_Floating_Point_Definition
2440 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2442 end Real_Range_Specification;
2445 (N : Node_Id) return Ureal is
2447 pragma Assert (False
2448 or else NT (N).Nkind = N_Real_Literal);
2453 (N : Node_Id) return Uint is
2455 pragma Assert (False
2456 or else NT (N).Nkind = N_Raise_Constraint_Error
2457 or else NT (N).Nkind = N_Raise_Program_Error
2458 or else NT (N).Nkind = N_Raise_Storage_Error);
2462 function Record_Extension_Part
2463 (N : Node_Id) return Node_Id is
2465 pragma Assert (False
2466 or else NT (N).Nkind = N_Derived_Type_Definition);
2468 end Record_Extension_Part;
2470 function Redundant_Use
2471 (N : Node_Id) return Boolean is
2473 pragma Assert (False
2474 or else NT (N).Nkind = N_Attribute_Reference
2475 or else NT (N).Nkind = N_Expanded_Name
2476 or else NT (N).Nkind = N_Identifier);
2480 function Renaming_Exception
2481 (N : Node_Id) return Node_Id is
2483 pragma Assert (False
2484 or else NT (N).Nkind = N_Exception_Declaration);
2486 end Renaming_Exception;
2488 function Result_Definition
2489 (N : Node_Id) return Node_Id is
2491 pragma Assert (False
2492 or else NT (N).Nkind = N_Access_Function_Definition
2493 or else NT (N).Nkind = N_Function_Specification);
2495 end Result_Definition;
2497 function Return_Object_Declarations
2498 (N : Node_Id) return List_Id is
2500 pragma Assert (False
2501 or else NT (N).Nkind = N_Extended_Return_Statement);
2503 end Return_Object_Declarations;
2505 function Return_Statement_Entity
2506 (N : Node_Id) return Node_Id is
2508 pragma Assert (False
2509 or else NT (N).Nkind = N_Extended_Return_Statement
2510 or else NT (N).Nkind = N_Return_Statement);
2512 end Return_Statement_Entity;
2514 function Reverse_Present
2515 (N : Node_Id) return Boolean is
2517 pragma Assert (False
2518 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2520 end Reverse_Present;
2523 (N : Node_Id) return Node_Id is
2525 pragma Assert (False
2526 or else NT (N).Nkind in N_Op
2527 or else NT (N).Nkind = N_And_Then
2528 or else NT (N).Nkind = N_In
2529 or else NT (N).Nkind = N_Not_In
2530 or else NT (N).Nkind = N_Or_Else);
2534 function Rounded_Result
2535 (N : Node_Id) return Boolean is
2537 pragma Assert (False
2538 or else NT (N).Nkind = N_Op_Divide
2539 or else NT (N).Nkind = N_Op_Multiply
2540 or else NT (N).Nkind = N_Type_Conversion);
2544 function SCIL_Entity
2545 (N : Node_Id) return Node_Id is
2547 pragma Assert (False
2548 or else NT (N).Nkind = N_Null_Statement);
2553 (N : Node_Id) return Uint is
2555 pragma Assert (False
2556 or else NT (N).Nkind = N_Null_Statement);
2560 function SCIL_Related_Node
2561 (N : Node_Id) return Node_Id is
2563 pragma Assert (False
2564 or else NT (N).Nkind = N_Null_Statement);
2566 end SCIL_Related_Node;
2568 function SCIL_Target_Prim
2569 (N : Node_Id) return Node_Id is
2571 pragma Assert (False
2572 or else NT (N).Nkind = N_Null_Statement);
2574 end SCIL_Target_Prim;
2577 (N : Node_Id) return Node_Id is
2579 pragma Assert (False
2580 or else NT (N).Nkind = N_Defining_Character_Literal
2581 or else NT (N).Nkind = N_Defining_Identifier
2582 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2586 function Select_Alternatives
2587 (N : Node_Id) return List_Id is
2589 pragma Assert (False
2590 or else NT (N).Nkind = N_Selective_Accept);
2592 end Select_Alternatives;
2594 function Selector_Name
2595 (N : Node_Id) return Node_Id is
2597 pragma Assert (False
2598 or else NT (N).Nkind = N_Expanded_Name
2599 or else NT (N).Nkind = N_Generic_Association
2600 or else NT (N).Nkind = N_Parameter_Association
2601 or else NT (N).Nkind = N_Selected_Component);
2605 function Selector_Names
2606 (N : Node_Id) return List_Id is
2608 pragma Assert (False
2609 or else NT (N).Nkind = N_Discriminant_Association);
2613 function Shift_Count_OK
2614 (N : Node_Id) return Boolean is
2616 pragma Assert (False
2617 or else NT (N).Nkind = N_Op_Rotate_Left
2618 or else NT (N).Nkind = N_Op_Rotate_Right
2619 or else NT (N).Nkind = N_Op_Shift_Left
2620 or else NT (N).Nkind = N_Op_Shift_Right
2621 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2625 function Source_Type
2626 (N : Node_Id) return Entity_Id is
2628 pragma Assert (False
2629 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2633 function Specification
2634 (N : Node_Id) return Node_Id is
2636 pragma Assert (False
2637 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2638 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2639 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2640 or else NT (N).Nkind = N_Generic_Package_Declaration
2641 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2642 or else NT (N).Nkind = N_Package_Declaration
2643 or else NT (N).Nkind = N_Subprogram_Body
2644 or else NT (N).Nkind = N_Subprogram_Body_Stub
2645 or else NT (N).Nkind = N_Subprogram_Declaration
2646 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2651 (N : Node_Id) return List_Id is
2653 pragma Assert (False
2654 or else NT (N).Nkind = N_Abortable_Part
2655 or else NT (N).Nkind = N_Accept_Alternative
2656 or else NT (N).Nkind = N_Case_Statement_Alternative
2657 or else NT (N).Nkind = N_Delay_Alternative
2658 or else NT (N).Nkind = N_Entry_Call_Alternative
2659 or else NT (N).Nkind = N_Exception_Handler
2660 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2661 or else NT (N).Nkind = N_Loop_Statement
2662 or else NT (N).Nkind = N_Triggering_Alternative);
2666 function Static_Processing_OK
2667 (N : Node_Id) return Boolean is
2669 pragma Assert (False
2670 or else NT (N).Nkind = N_Aggregate);
2672 end Static_Processing_OK;
2674 function Storage_Pool
2675 (N : Node_Id) return Node_Id is
2677 pragma Assert (False
2678 or else NT (N).Nkind = N_Allocator
2679 or else NT (N).Nkind = N_Extended_Return_Statement
2680 or else NT (N).Nkind = N_Free_Statement
2681 or else NT (N).Nkind = N_Return_Statement);
2686 (N : Node_Id) return String_Id is
2688 pragma Assert (False
2689 or else NT (N).Nkind = N_Operator_Symbol
2690 or else NT (N).Nkind = N_String_Literal);
2694 function Subtype_Indication
2695 (N : Node_Id) return Node_Id is
2697 pragma Assert (False
2698 or else NT (N).Nkind = N_Access_To_Object_Definition
2699 or else NT (N).Nkind = N_Component_Definition
2700 or else NT (N).Nkind = N_Derived_Type_Definition
2701 or else NT (N).Nkind = N_Private_Extension_Declaration
2702 or else NT (N).Nkind = N_Subtype_Declaration);
2704 end Subtype_Indication;
2706 function Suppress_Loop_Warnings
2707 (N : Node_Id) return Boolean is
2709 pragma Assert (False
2710 or else NT (N).Nkind = N_Loop_Statement);
2712 end Suppress_Loop_Warnings;
2714 function Subtype_Mark
2715 (N : Node_Id) return Node_Id is
2717 pragma Assert (False
2718 or else NT (N).Nkind = N_Access_Definition
2719 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2720 or else NT (N).Nkind = N_Formal_Object_Declaration
2721 or else NT (N).Nkind = N_Object_Renaming_Declaration
2722 or else NT (N).Nkind = N_Qualified_Expression
2723 or else NT (N).Nkind = N_Subtype_Indication
2724 or else NT (N).Nkind = N_Type_Conversion
2725 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2729 function Subtype_Marks
2730 (N : Node_Id) return List_Id is
2732 pragma Assert (False
2733 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2734 or else NT (N).Nkind = N_Use_Type_Clause);
2738 function Synchronized_Present
2739 (N : Node_Id) return Boolean is
2741 pragma Assert (False
2742 or else NT (N).Nkind = N_Derived_Type_Definition
2743 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2744 or else NT (N).Nkind = N_Private_Extension_Declaration
2745 or else NT (N).Nkind = N_Record_Definition);
2747 end Synchronized_Present;
2749 function Tagged_Present
2750 (N : Node_Id) return Boolean is
2752 pragma Assert (False
2753 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2754 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2755 or else NT (N).Nkind = N_Private_Type_Declaration
2756 or else NT (N).Nkind = N_Record_Definition);
2760 function Target_Type
2761 (N : Node_Id) return Entity_Id is
2763 pragma Assert (False
2764 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2768 function Task_Definition
2769 (N : Node_Id) return Node_Id is
2771 pragma Assert (False
2772 or else NT (N).Nkind = N_Single_Task_Declaration
2773 or else NT (N).Nkind = N_Task_Type_Declaration);
2775 end Task_Definition;
2777 function Task_Present
2778 (N : Node_Id) return Boolean is
2780 pragma Assert (False
2781 or else NT (N).Nkind = N_Derived_Type_Definition
2782 or else NT (N).Nkind = N_Record_Definition);
2786 function Then_Actions
2787 (N : Node_Id) return List_Id is
2789 pragma Assert (False
2790 or else NT (N).Nkind = N_Conditional_Expression);
2794 function Then_Statements
2795 (N : Node_Id) return List_Id is
2797 pragma Assert (False
2798 or else NT (N).Nkind = N_Elsif_Part
2799 or else NT (N).Nkind = N_If_Statement);
2801 end Then_Statements;
2803 function Treat_Fixed_As_Integer
2804 (N : Node_Id) return Boolean is
2806 pragma Assert (False
2807 or else NT (N).Nkind = N_Op_Divide
2808 or else NT (N).Nkind = N_Op_Mod
2809 or else NT (N).Nkind = N_Op_Multiply
2810 or else NT (N).Nkind = N_Op_Rem);
2812 end Treat_Fixed_As_Integer;
2814 function Triggering_Alternative
2815 (N : Node_Id) return Node_Id is
2817 pragma Assert (False
2818 or else NT (N).Nkind = N_Asynchronous_Select);
2820 end Triggering_Alternative;
2822 function Triggering_Statement
2823 (N : Node_Id) return Node_Id is
2825 pragma Assert (False
2826 or else NT (N).Nkind = N_Triggering_Alternative);
2828 end Triggering_Statement;
2831 (N : Node_Id) return Elist_Id is
2833 pragma Assert (False
2834 or else NT (N).Nkind = N_Freeze_Entity);
2838 function Type_Definition
2839 (N : Node_Id) return Node_Id is
2841 pragma Assert (False
2842 or else NT (N).Nkind = N_Full_Type_Declaration);
2844 end Type_Definition;
2847 (N : Node_Id) return Node_Id is
2849 pragma Assert (False
2850 or else NT (N).Nkind = N_Compilation_Unit);
2854 function Unknown_Discriminants_Present
2855 (N : Node_Id) return Boolean is
2857 pragma Assert (False
2858 or else NT (N).Nkind = N_Formal_Type_Declaration
2859 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2860 or else NT (N).Nkind = N_Private_Extension_Declaration
2861 or else NT (N).Nkind = N_Private_Type_Declaration);
2863 end Unknown_Discriminants_Present;
2865 function Unreferenced_In_Spec
2866 (N : Node_Id) return Boolean is
2868 pragma Assert (False
2869 or else NT (N).Nkind = N_With_Clause);
2871 end Unreferenced_In_Spec;
2873 function Variant_Part
2874 (N : Node_Id) return Node_Id is
2876 pragma Assert (False
2877 or else NT (N).Nkind = N_Component_List);
2882 (N : Node_Id) return List_Id is
2884 pragma Assert (False
2885 or else NT (N).Nkind = N_Variant_Part);
2889 function Visible_Declarations
2890 (N : Node_Id) return List_Id is
2892 pragma Assert (False
2893 or else NT (N).Nkind = N_Package_Specification
2894 or else NT (N).Nkind = N_Protected_Definition
2895 or else NT (N).Nkind = N_Task_Definition);
2897 end Visible_Declarations;
2899 function Was_Originally_Stub
2900 (N : Node_Id) return Boolean is
2902 pragma Assert (False
2903 or else NT (N).Nkind = N_Package_Body
2904 or else NT (N).Nkind = N_Protected_Body
2905 or else NT (N).Nkind = N_Subprogram_Body
2906 or else NT (N).Nkind = N_Task_Body);
2908 end Was_Originally_Stub;
2910 function Zero_Cost_Handling
2911 (N : Node_Id) return Boolean is
2913 pragma Assert (False
2914 or else NT (N).Nkind = N_Exception_Handler
2915 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2917 end Zero_Cost_Handling;
2919 --------------------------
2920 -- Field Set Procedures --
2921 --------------------------
2923 procedure Set_ABE_Is_Certain
2924 (N : Node_Id; Val : Boolean := True) is
2926 pragma Assert (False
2927 or else NT (N).Nkind = N_Formal_Package_Declaration
2928 or else NT (N).Nkind = N_Function_Call
2929 or else NT (N).Nkind = N_Function_Instantiation
2930 or else NT (N).Nkind = N_Package_Instantiation
2931 or else NT (N).Nkind = N_Procedure_Call_Statement
2932 or else NT (N).Nkind = N_Procedure_Instantiation);
2933 Set_Flag18 (N, Val);
2934 end Set_ABE_Is_Certain;
2936 procedure Set_Abort_Present
2937 (N : Node_Id; Val : Boolean := True) is
2939 pragma Assert (False
2940 or else NT (N).Nkind = N_Requeue_Statement);
2941 Set_Flag15 (N, Val);
2942 end Set_Abort_Present;
2944 procedure Set_Abortable_Part
2945 (N : Node_Id; Val : Node_Id) is
2947 pragma Assert (False
2948 or else NT (N).Nkind = N_Asynchronous_Select);
2949 Set_Node2_With_Parent (N, Val);
2950 end Set_Abortable_Part;
2952 procedure Set_Abstract_Present
2953 (N : Node_Id; Val : Boolean := True) is
2955 pragma Assert (False
2956 or else NT (N).Nkind = N_Derived_Type_Definition
2957 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2958 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2959 or else NT (N).Nkind = N_Private_Extension_Declaration
2960 or else NT (N).Nkind = N_Private_Type_Declaration
2961 or else NT (N).Nkind = N_Record_Definition);
2963 end Set_Abstract_Present;
2965 procedure Set_Accept_Handler_Records
2966 (N : Node_Id; Val : List_Id) is
2968 pragma Assert (False
2969 or else NT (N).Nkind = N_Accept_Alternative);
2970 Set_List5 (N, Val); -- semantic field, no parent set
2971 end Set_Accept_Handler_Records;
2973 procedure Set_Accept_Statement
2974 (N : Node_Id; Val : Node_Id) is
2976 pragma Assert (False
2977 or else NT (N).Nkind = N_Accept_Alternative);
2978 Set_Node2_With_Parent (N, Val);
2979 end Set_Accept_Statement;
2981 procedure Set_Access_Definition
2982 (N : Node_Id; Val : Node_Id) is
2984 pragma Assert (False
2985 or else NT (N).Nkind = N_Component_Definition
2986 or else NT (N).Nkind = N_Formal_Object_Declaration
2987 or else NT (N).Nkind = N_Object_Renaming_Declaration);
2988 Set_Node3_With_Parent (N, Val);
2989 end Set_Access_Definition;
2991 procedure Set_Access_To_Subprogram_Definition
2992 (N : Node_Id; Val : Node_Id) is
2994 pragma Assert (False
2995 or else NT (N).Nkind = N_Access_Definition);
2996 Set_Node3_With_Parent (N, Val);
2997 end Set_Access_To_Subprogram_Definition;
2999 procedure Set_Access_Types_To_Process
3000 (N : Node_Id; Val : Elist_Id) is
3002 pragma Assert (False
3003 or else NT (N).Nkind = N_Freeze_Entity);
3004 Set_Elist2 (N, Val); -- semantic field, no parent set
3005 end Set_Access_Types_To_Process;
3007 procedure Set_Actions
3008 (N : Node_Id; Val : List_Id) is
3010 pragma Assert (False
3011 or else NT (N).Nkind = N_And_Then
3012 or else NT (N).Nkind = N_Compilation_Unit_Aux
3013 or else NT (N).Nkind = N_Freeze_Entity
3014 or else NT (N).Nkind = N_Or_Else);
3015 Set_List1_With_Parent (N, Val);
3018 procedure Set_Activation_Chain_Entity
3019 (N : Node_Id; Val : Node_Id) is
3021 pragma Assert (False
3022 or else NT (N).Nkind = N_Block_Statement
3023 or else NT (N).Nkind = N_Entry_Body
3024 or else NT (N).Nkind = N_Generic_Package_Declaration
3025 or else NT (N).Nkind = N_Package_Declaration
3026 or else NT (N).Nkind = N_Subprogram_Body
3027 or else NT (N).Nkind = N_Task_Body);
3028 Set_Node3 (N, Val); -- semantic field, no parent set
3029 end Set_Activation_Chain_Entity;
3031 procedure Set_Acts_As_Spec
3032 (N : Node_Id; Val : Boolean := True) is
3034 pragma Assert (False
3035 or else NT (N).Nkind = N_Compilation_Unit
3036 or else NT (N).Nkind = N_Subprogram_Body);
3038 end Set_Acts_As_Spec;
3040 procedure Set_Actual_Designated_Subtype
3041 (N : Node_Id; Val : Node_Id) is
3043 pragma Assert (False
3044 or else NT (N).Nkind = N_Explicit_Dereference
3045 or else NT (N).Nkind = N_Free_Statement);
3047 end Set_Actual_Designated_Subtype;
3049 procedure Set_Address_Warning_Posted
3050 (N : Node_Id; Val : Boolean := True) is
3052 pragma Assert (False
3053 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3054 Set_Flag18 (N, Val);
3055 end Set_Address_Warning_Posted;
3057 procedure Set_Aggregate_Bounds
3058 (N : Node_Id; Val : Node_Id) is
3060 pragma Assert (False
3061 or else NT (N).Nkind = N_Aggregate);
3062 Set_Node3 (N, Val); -- semantic field, no parent set
3063 end Set_Aggregate_Bounds;
3065 procedure Set_Aliased_Present
3066 (N : Node_Id; Val : Boolean := True) is
3068 pragma Assert (False
3069 or else NT (N).Nkind = N_Component_Definition
3070 or else NT (N).Nkind = N_Object_Declaration);
3072 end Set_Aliased_Present;
3074 procedure Set_All_Others
3075 (N : Node_Id; Val : Boolean := True) is
3077 pragma Assert (False
3078 or else NT (N).Nkind = N_Others_Choice);
3079 Set_Flag11 (N, Val);
3082 procedure Set_All_Present
3083 (N : Node_Id; Val : Boolean := True) is
3085 pragma Assert (False
3086 or else NT (N).Nkind = N_Access_Definition
3087 or else NT (N).Nkind = N_Access_To_Object_Definition);
3088 Set_Flag15 (N, Val);
3089 end Set_All_Present;
3091 procedure Set_Alternatives
3092 (N : Node_Id; Val : List_Id) is
3094 pragma Assert (False
3095 or else NT (N).Nkind = N_Case_Statement
3096 or else NT (N).Nkind = N_In
3097 or else NT (N).Nkind = N_Not_In);
3098 Set_List4_With_Parent (N, Val);
3099 end Set_Alternatives;
3101 procedure Set_Ancestor_Part
3102 (N : Node_Id; Val : Node_Id) is
3104 pragma Assert (False
3105 or else NT (N).Nkind = N_Extension_Aggregate);
3106 Set_Node3_With_Parent (N, Val);
3107 end Set_Ancestor_Part;
3109 procedure Set_Array_Aggregate
3110 (N : Node_Id; Val : Node_Id) is
3112 pragma Assert (False
3113 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3114 Set_Node3_With_Parent (N, Val);
3115 end Set_Array_Aggregate;
3117 procedure Set_Assignment_OK
3118 (N : Node_Id; Val : Boolean := True) is
3120 pragma Assert (False
3121 or else NT (N).Nkind = N_Object_Declaration
3122 or else NT (N).Nkind in N_Subexpr);
3123 Set_Flag15 (N, Val);
3124 end Set_Assignment_OK;
3126 procedure Set_Associated_Node
3127 (N : Node_Id; Val : Node_Id) is
3129 pragma Assert (False
3130 or else NT (N).Nkind in N_Has_Entity
3131 or else NT (N).Nkind = N_Aggregate
3132 or else NT (N).Nkind = N_Extension_Aggregate
3133 or else NT (N).Nkind = N_Selected_Component);
3134 Set_Node4 (N, Val); -- semantic field, no parent set
3135 end Set_Associated_Node;
3137 procedure Set_At_End_Proc
3138 (N : Node_Id; Val : Node_Id) is
3140 pragma Assert (False
3141 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3143 end Set_At_End_Proc;
3145 procedure Set_Attribute_Name
3146 (N : Node_Id; Val : Name_Id) is
3148 pragma Assert (False
3149 or else NT (N).Nkind = N_Attribute_Reference);
3151 end Set_Attribute_Name;
3153 procedure Set_Aux_Decls_Node
3154 (N : Node_Id; Val : Node_Id) is
3156 pragma Assert (False
3157 or else NT (N).Nkind = N_Compilation_Unit);
3158 Set_Node5_With_Parent (N, Val);
3159 end Set_Aux_Decls_Node;
3161 procedure Set_Backwards_OK
3162 (N : Node_Id; Val : Boolean := True) is
3164 pragma Assert (False
3165 or else NT (N).Nkind = N_Assignment_Statement);
3167 end Set_Backwards_OK;
3169 procedure Set_Bad_Is_Detected
3170 (N : Node_Id; Val : Boolean := True) is
3172 pragma Assert (False
3173 or else NT (N).Nkind = N_Subprogram_Body);
3174 Set_Flag15 (N, Val);
3175 end Set_Bad_Is_Detected;
3177 procedure Set_Body_Required
3178 (N : Node_Id; Val : Boolean := True) is
3180 pragma Assert (False
3181 or else NT (N).Nkind = N_Compilation_Unit);
3182 Set_Flag13 (N, Val);
3183 end Set_Body_Required;
3185 procedure Set_Body_To_Inline
3186 (N : Node_Id; Val : Node_Id) is
3188 pragma Assert (False
3189 or else NT (N).Nkind = N_Subprogram_Declaration);
3191 end Set_Body_To_Inline;
3193 procedure Set_Box_Present
3194 (N : Node_Id; Val : Boolean := True) is
3196 pragma Assert (False
3197 or else NT (N).Nkind = N_Component_Association
3198 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3199 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3200 or else NT (N).Nkind = N_Formal_Package_Declaration
3201 or else NT (N).Nkind = N_Generic_Association);
3202 Set_Flag15 (N, Val);
3203 end Set_Box_Present;
3205 procedure Set_By_Ref
3206 (N : Node_Id; Val : Boolean := True) is
3208 pragma Assert (False
3209 or else NT (N).Nkind = N_Extended_Return_Statement
3210 or else NT (N).Nkind = N_Return_Statement);
3214 procedure Set_Char_Literal_Value
3215 (N : Node_Id; Val : Uint) is
3217 pragma Assert (False
3218 or else NT (N).Nkind = N_Character_Literal);
3220 end Set_Char_Literal_Value;
3223 (N : Node_Id; Val : Name_Id) is
3225 pragma Assert (False
3226 or else NT (N).Nkind in N_Has_Chars);
3230 procedure Set_Check_Address_Alignment
3231 (N : Node_Id; Val : Boolean := True) is
3233 pragma Assert (False
3234 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3235 Set_Flag11 (N, Val);
3236 end Set_Check_Address_Alignment;
3238 procedure Set_Choice_Parameter
3239 (N : Node_Id; Val : Node_Id) is
3241 pragma Assert (False
3242 or else NT (N).Nkind = N_Exception_Handler);
3243 Set_Node2_With_Parent (N, Val);
3244 end Set_Choice_Parameter;
3246 procedure Set_Choices
3247 (N : Node_Id; Val : List_Id) is
3249 pragma Assert (False
3250 or else NT (N).Nkind = N_Component_Association);
3251 Set_List1_With_Parent (N, Val);
3254 procedure Set_Coextensions
3255 (N : Node_Id; Val : Elist_Id) is
3257 pragma Assert (False
3258 or else NT (N).Nkind = N_Allocator);
3259 Set_Elist4 (N, Val);
3260 end Set_Coextensions;
3262 procedure Set_Comes_From_Extended_Return_Statement
3263 (N : Node_Id; Val : Boolean := True) is
3265 pragma Assert (False
3266 or else NT (N).Nkind = N_Return_Statement);
3267 Set_Flag18 (N, Val);
3268 end Set_Comes_From_Extended_Return_Statement;
3270 procedure Set_Compile_Time_Known_Aggregate
3271 (N : Node_Id; Val : Boolean := True) is
3273 pragma Assert (False
3274 or else NT (N).Nkind = N_Aggregate);
3275 Set_Flag18 (N, Val);
3276 end Set_Compile_Time_Known_Aggregate;
3278 procedure Set_Component_Associations
3279 (N : Node_Id; Val : List_Id) is
3281 pragma Assert (False
3282 or else NT (N).Nkind = N_Aggregate
3283 or else NT (N).Nkind = N_Extension_Aggregate);
3284 Set_List2_With_Parent (N, Val);
3285 end Set_Component_Associations;
3287 procedure Set_Component_Clauses
3288 (N : Node_Id; Val : List_Id) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Record_Representation_Clause);
3292 Set_List3_With_Parent (N, Val);
3293 end Set_Component_Clauses;
3295 procedure Set_Component_Definition
3296 (N : Node_Id; Val : Node_Id) is
3298 pragma Assert (False
3299 or else NT (N).Nkind = N_Component_Declaration
3300 or else NT (N).Nkind = N_Constrained_Array_Definition
3301 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3302 Set_Node4_With_Parent (N, Val);
3303 end Set_Component_Definition;
3305 procedure Set_Component_Items
3306 (N : Node_Id; Val : List_Id) is
3308 pragma Assert (False
3309 or else NT (N).Nkind = N_Component_List);
3310 Set_List3_With_Parent (N, Val);
3311 end Set_Component_Items;
3313 procedure Set_Component_List
3314 (N : Node_Id; Val : Node_Id) is
3316 pragma Assert (False
3317 or else NT (N).Nkind = N_Record_Definition
3318 or else NT (N).Nkind = N_Variant);
3319 Set_Node1_With_Parent (N, Val);
3320 end Set_Component_List;
3322 procedure Set_Component_Name
3323 (N : Node_Id; Val : Node_Id) is
3325 pragma Assert (False
3326 or else NT (N).Nkind = N_Component_Clause);
3327 Set_Node1_With_Parent (N, Val);
3328 end Set_Component_Name;
3330 procedure Set_Componentwise_Assignment
3331 (N : Node_Id; Val : Boolean := True) is
3333 pragma Assert (False
3334 or else NT (N).Nkind = N_Assignment_Statement);
3335 Set_Flag14 (N, Val);
3336 end Set_Componentwise_Assignment;
3338 procedure Set_Condition
3339 (N : Node_Id; Val : Node_Id) is
3341 pragma Assert (False
3342 or else NT (N).Nkind = N_Accept_Alternative
3343 or else NT (N).Nkind = N_Delay_Alternative
3344 or else NT (N).Nkind = N_Elsif_Part
3345 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3346 or else NT (N).Nkind = N_Exit_Statement
3347 or else NT (N).Nkind = N_If_Statement
3348 or else NT (N).Nkind = N_Iteration_Scheme
3349 or else NT (N).Nkind = N_Raise_Constraint_Error
3350 or else NT (N).Nkind = N_Raise_Program_Error
3351 or else NT (N).Nkind = N_Raise_Storage_Error
3352 or else NT (N).Nkind = N_Terminate_Alternative);
3353 Set_Node1_With_Parent (N, Val);
3356 procedure Set_Condition_Actions
3357 (N : Node_Id; Val : List_Id) is
3359 pragma Assert (False
3360 or else NT (N).Nkind = N_Elsif_Part
3361 or else NT (N).Nkind = N_Iteration_Scheme);
3362 Set_List3 (N, Val); -- semantic field, no parent set
3363 end Set_Condition_Actions;
3365 procedure Set_Config_Pragmas
3366 (N : Node_Id; Val : List_Id) is
3368 pragma Assert (False
3369 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3370 Set_List4_With_Parent (N, Val);
3371 end Set_Config_Pragmas;
3373 procedure Set_Constant_Present
3374 (N : Node_Id; Val : Boolean := True) is
3376 pragma Assert (False
3377 or else NT (N).Nkind = N_Access_Definition
3378 or else NT (N).Nkind = N_Access_To_Object_Definition
3379 or else NT (N).Nkind = N_Object_Declaration);
3380 Set_Flag17 (N, Val);
3381 end Set_Constant_Present;
3383 procedure Set_Constraint
3384 (N : Node_Id; Val : Node_Id) is
3386 pragma Assert (False
3387 or else NT (N).Nkind = N_Subtype_Indication);
3388 Set_Node3_With_Parent (N, Val);
3391 procedure Set_Constraints
3392 (N : Node_Id; Val : List_Id) is
3394 pragma Assert (False
3395 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3396 Set_List1_With_Parent (N, Val);
3397 end Set_Constraints;
3399 procedure Set_Context_Installed
3400 (N : Node_Id; Val : Boolean := True) is
3402 pragma Assert (False
3403 or else NT (N).Nkind = N_With_Clause);
3404 Set_Flag13 (N, Val);
3405 end Set_Context_Installed;
3407 procedure Set_Context_Items
3408 (N : Node_Id; Val : List_Id) is
3410 pragma Assert (False
3411 or else NT (N).Nkind = N_Compilation_Unit);
3412 Set_List1_With_Parent (N, Val);
3413 end Set_Context_Items;
3415 procedure Set_Context_Pending
3416 (N : Node_Id; Val : Boolean := True) is
3418 pragma Assert (False
3419 or else NT (N).Nkind = N_Compilation_Unit);
3420 Set_Flag16 (N, Val);
3421 end Set_Context_Pending;
3423 procedure Set_Controlling_Argument
3424 (N : Node_Id; Val : Node_Id) is
3426 pragma Assert (False
3427 or else NT (N).Nkind = N_Function_Call
3428 or else NT (N).Nkind = N_Procedure_Call_Statement);
3429 Set_Node1 (N, Val); -- semantic field, no parent set
3430 end Set_Controlling_Argument;
3432 procedure Set_Conversion_OK
3433 (N : Node_Id; Val : Boolean := True) is
3435 pragma Assert (False
3436 or else NT (N).Nkind = N_Type_Conversion);
3437 Set_Flag14 (N, Val);
3438 end Set_Conversion_OK;
3440 procedure Set_Corresponding_Body
3441 (N : Node_Id; Val : Node_Id) is
3443 pragma Assert (False
3444 or else NT (N).Nkind = N_Entry_Declaration
3445 or else NT (N).Nkind = N_Generic_Package_Declaration
3446 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3447 or else NT (N).Nkind = N_Package_Body_Stub
3448 or else NT (N).Nkind = N_Package_Declaration
3449 or else NT (N).Nkind = N_Protected_Body_Stub
3450 or else NT (N).Nkind = N_Protected_Type_Declaration
3451 or else NT (N).Nkind = N_Subprogram_Body_Stub
3452 or else NT (N).Nkind = N_Subprogram_Declaration
3453 or else NT (N).Nkind = N_Task_Body_Stub
3454 or else NT (N).Nkind = N_Task_Type_Declaration);
3455 Set_Node5 (N, Val); -- semantic field, no parent set
3456 end Set_Corresponding_Body;
3458 procedure Set_Corresponding_Formal_Spec
3459 (N : Node_Id; Val : Node_Id) is
3461 pragma Assert (False
3462 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3463 Set_Node3 (N, Val); -- semantic field, no parent set
3464 end Set_Corresponding_Formal_Spec;
3466 procedure Set_Corresponding_Generic_Association
3467 (N : Node_Id; Val : Node_Id) is
3469 pragma Assert (False
3470 or else NT (N).Nkind = N_Object_Declaration
3471 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3472 Set_Node5 (N, Val); -- semantic field, no parent set
3473 end Set_Corresponding_Generic_Association;
3475 procedure Set_Corresponding_Integer_Value
3476 (N : Node_Id; Val : Uint) is
3478 pragma Assert (False
3479 or else NT (N).Nkind = N_Real_Literal);
3480 Set_Uint4 (N, Val); -- semantic field, no parent set
3481 end Set_Corresponding_Integer_Value;
3483 procedure Set_Corresponding_Spec
3484 (N : Node_Id; Val : Node_Id) is
3486 pragma Assert (False
3487 or else NT (N).Nkind = N_Package_Body
3488 or else NT (N).Nkind = N_Protected_Body
3489 or else NT (N).Nkind = N_Subprogram_Body
3490 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3491 or else NT (N).Nkind = N_Task_Body
3492 or else NT (N).Nkind = N_With_Clause);
3493 Set_Node5 (N, Val); -- semantic field, no parent set
3494 end Set_Corresponding_Spec;
3496 procedure Set_Corresponding_Stub
3497 (N : Node_Id; Val : Node_Id) is
3499 pragma Assert (False
3500 or else NT (N).Nkind = N_Subunit);
3502 end Set_Corresponding_Stub;
3504 procedure Set_Dcheck_Function
3505 (N : Node_Id; Val : Entity_Id) is
3507 pragma Assert (False
3508 or else NT (N).Nkind = N_Variant);
3509 Set_Node5 (N, Val); -- semantic field, no parent set
3510 end Set_Dcheck_Function;
3512 procedure Set_Debug_Statement
3513 (N : Node_Id; Val : Node_Id) is
3515 pragma Assert (False
3516 or else NT (N).Nkind = N_Pragma);
3517 Set_Node3_With_Parent (N, Val);
3518 end Set_Debug_Statement;
3520 procedure Set_Declarations
3521 (N : Node_Id; Val : List_Id) is
3523 pragma Assert (False
3524 or else NT (N).Nkind = N_Accept_Statement
3525 or else NT (N).Nkind = N_Block_Statement
3526 or else NT (N).Nkind = N_Compilation_Unit_Aux
3527 or else NT (N).Nkind = N_Entry_Body
3528 or else NT (N).Nkind = N_Package_Body
3529 or else NT (N).Nkind = N_Protected_Body
3530 or else NT (N).Nkind = N_Subprogram_Body
3531 or else NT (N).Nkind = N_Task_Body);
3532 Set_List2_With_Parent (N, Val);
3533 end Set_Declarations;
3535 procedure Set_Default_Expression
3536 (N : Node_Id; Val : Node_Id) is
3538 pragma Assert (False
3539 or else NT (N).Nkind = N_Formal_Object_Declaration
3540 or else NT (N).Nkind = N_Parameter_Specification);
3541 Set_Node5 (N, Val); -- semantic field, no parent set
3542 end Set_Default_Expression;
3544 procedure Set_Default_Name
3545 (N : Node_Id; Val : Node_Id) is
3547 pragma Assert (False
3548 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3549 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3550 Set_Node2_With_Parent (N, Val);
3551 end Set_Default_Name;
3553 procedure Set_Defining_Identifier
3554 (N : Node_Id; Val : Entity_Id) is
3556 pragma Assert (False
3557 or else NT (N).Nkind = N_Component_Declaration
3558 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3559 or else NT (N).Nkind = N_Discriminant_Specification
3560 or else NT (N).Nkind = N_Entry_Body
3561 or else NT (N).Nkind = N_Entry_Declaration
3562 or else NT (N).Nkind = N_Entry_Index_Specification
3563 or else NT (N).Nkind = N_Exception_Declaration
3564 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3565 or else NT (N).Nkind = N_Formal_Object_Declaration
3566 or else NT (N).Nkind = N_Formal_Package_Declaration
3567 or else NT (N).Nkind = N_Formal_Type_Declaration
3568 or else NT (N).Nkind = N_Full_Type_Declaration
3569 or else NT (N).Nkind = N_Implicit_Label_Declaration
3570 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3571 or else NT (N).Nkind = N_Loop_Parameter_Specification
3572 or else NT (N).Nkind = N_Number_Declaration
3573 or else NT (N).Nkind = N_Object_Declaration
3574 or else NT (N).Nkind = N_Object_Renaming_Declaration
3575 or else NT (N).Nkind = N_Package_Body_Stub
3576 or else NT (N).Nkind = N_Parameter_Specification
3577 or else NT (N).Nkind = N_Private_Extension_Declaration
3578 or else NT (N).Nkind = N_Private_Type_Declaration
3579 or else NT (N).Nkind = N_Protected_Body
3580 or else NT (N).Nkind = N_Protected_Body_Stub
3581 or else NT (N).Nkind = N_Protected_Type_Declaration
3582 or else NT (N).Nkind = N_Single_Protected_Declaration
3583 or else NT (N).Nkind = N_Single_Task_Declaration
3584 or else NT (N).Nkind = N_Subtype_Declaration
3585 or else NT (N).Nkind = N_Task_Body
3586 or else NT (N).Nkind = N_Task_Body_Stub
3587 or else NT (N).Nkind = N_Task_Type_Declaration);
3588 Set_Node1_With_Parent (N, Val);
3589 end Set_Defining_Identifier;
3591 procedure Set_Defining_Unit_Name
3592 (N : Node_Id; Val : Node_Id) is
3594 pragma Assert (False
3595 or else NT (N).Nkind = N_Function_Instantiation
3596 or else NT (N).Nkind = N_Function_Specification
3597 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3598 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3599 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3600 or else NT (N).Nkind = N_Package_Body
3601 or else NT (N).Nkind = N_Package_Instantiation
3602 or else NT (N).Nkind = N_Package_Renaming_Declaration
3603 or else NT (N).Nkind = N_Package_Specification
3604 or else NT (N).Nkind = N_Procedure_Instantiation
3605 or else NT (N).Nkind = N_Procedure_Specification);
3606 Set_Node1_With_Parent (N, Val);
3607 end Set_Defining_Unit_Name;
3609 procedure Set_Delay_Alternative
3610 (N : Node_Id; Val : Node_Id) is
3612 pragma Assert (False
3613 or else NT (N).Nkind = N_Timed_Entry_Call);
3614 Set_Node4_With_Parent (N, Val);
3615 end Set_Delay_Alternative;
3617 procedure Set_Delay_Statement
3618 (N : Node_Id; Val : Node_Id) is
3620 pragma Assert (False
3621 or else NT (N).Nkind = N_Delay_Alternative);
3622 Set_Node2_With_Parent (N, Val);
3623 end Set_Delay_Statement;
3625 procedure Set_Delta_Expression
3626 (N : Node_Id; Val : Node_Id) is
3628 pragma Assert (False
3629 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3630 or else NT (N).Nkind = N_Delta_Constraint
3631 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3632 Set_Node3_With_Parent (N, Val);
3633 end Set_Delta_Expression;
3635 procedure Set_Digits_Expression
3636 (N : Node_Id; Val : Node_Id) is
3638 pragma Assert (False
3639 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3640 or else NT (N).Nkind = N_Digits_Constraint
3641 or else NT (N).Nkind = N_Floating_Point_Definition);
3642 Set_Node2_With_Parent (N, Val);
3643 end Set_Digits_Expression;
3645 procedure Set_Discr_Check_Funcs_Built
3646 (N : Node_Id; Val : Boolean := True) is
3648 pragma Assert (False
3649 or else NT (N).Nkind = N_Full_Type_Declaration);
3650 Set_Flag11 (N, Val);
3651 end Set_Discr_Check_Funcs_Built;
3653 procedure Set_Discrete_Choices
3654 (N : Node_Id; Val : List_Id) is
3656 pragma Assert (False
3657 or else NT (N).Nkind = N_Case_Statement_Alternative
3658 or else NT (N).Nkind = N_Variant);
3659 Set_List4_With_Parent (N, Val);
3660 end Set_Discrete_Choices;
3662 procedure Set_Discrete_Range
3663 (N : Node_Id; Val : Node_Id) is
3665 pragma Assert (False
3666 or else NT (N).Nkind = N_Slice);
3667 Set_Node4_With_Parent (N, Val);
3668 end Set_Discrete_Range;
3670 procedure Set_Discrete_Subtype_Definition
3671 (N : Node_Id; Val : Node_Id) is
3673 pragma Assert (False
3674 or else NT (N).Nkind = N_Entry_Declaration
3675 or else NT (N).Nkind = N_Entry_Index_Specification
3676 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3677 Set_Node4_With_Parent (N, Val);
3678 end Set_Discrete_Subtype_Definition;
3680 procedure Set_Discrete_Subtype_Definitions
3681 (N : Node_Id; Val : List_Id) is
3683 pragma Assert (False
3684 or else NT (N).Nkind = N_Constrained_Array_Definition);
3685 Set_List2_With_Parent (N, Val);
3686 end Set_Discrete_Subtype_Definitions;
3688 procedure Set_Discriminant_Specifications
3689 (N : Node_Id; Val : List_Id) is
3691 pragma Assert (False
3692 or else NT (N).Nkind = N_Formal_Type_Declaration
3693 or else NT (N).Nkind = N_Full_Type_Declaration
3694 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3695 or else NT (N).Nkind = N_Private_Extension_Declaration
3696 or else NT (N).Nkind = N_Private_Type_Declaration
3697 or else NT (N).Nkind = N_Protected_Type_Declaration
3698 or else NT (N).Nkind = N_Task_Type_Declaration);
3699 Set_List4_With_Parent (N, Val);
3700 end Set_Discriminant_Specifications;
3702 procedure Set_Discriminant_Type
3703 (N : Node_Id; Val : Node_Id) is
3705 pragma Assert (False
3706 or else NT (N).Nkind = N_Discriminant_Specification);
3707 Set_Node5_With_Parent (N, Val);
3708 end Set_Discriminant_Type;
3710 procedure Set_Do_Accessibility_Check
3711 (N : Node_Id; Val : Boolean := True) is
3713 pragma Assert (False
3714 or else NT (N).Nkind = N_Parameter_Specification);
3715 Set_Flag13 (N, Val);
3716 end Set_Do_Accessibility_Check;
3718 procedure Set_Do_Discriminant_Check
3719 (N : Node_Id; Val : Boolean := True) is
3721 pragma Assert (False
3722 or else NT (N).Nkind = N_Selected_Component);
3723 Set_Flag13 (N, Val);
3724 end Set_Do_Discriminant_Check;
3726 procedure Set_Do_Division_Check
3727 (N : Node_Id; Val : Boolean := True) is
3729 pragma Assert (False
3730 or else NT (N).Nkind = N_Op_Divide
3731 or else NT (N).Nkind = N_Op_Mod
3732 or else NT (N).Nkind = N_Op_Rem);
3733 Set_Flag13 (N, Val);
3734 end Set_Do_Division_Check;
3736 procedure Set_Do_Length_Check
3737 (N : Node_Id; Val : Boolean := True) is
3739 pragma Assert (False
3740 or else NT (N).Nkind = N_Assignment_Statement
3741 or else NT (N).Nkind = N_Op_And
3742 or else NT (N).Nkind = N_Op_Or
3743 or else NT (N).Nkind = N_Op_Xor
3744 or else NT (N).Nkind = N_Type_Conversion);
3746 end Set_Do_Length_Check;
3748 procedure Set_Do_Overflow_Check
3749 (N : Node_Id; Val : Boolean := True) is
3751 pragma Assert (False
3752 or else NT (N).Nkind in N_Op
3753 or else NT (N).Nkind = N_Attribute_Reference
3754 or else NT (N).Nkind = N_Type_Conversion);
3755 Set_Flag17 (N, Val);
3756 end Set_Do_Overflow_Check;
3758 procedure Set_Do_Range_Check
3759 (N : Node_Id; Val : Boolean := True) is
3761 pragma Assert (False
3762 or else NT (N).Nkind in N_Subexpr);
3764 end Set_Do_Range_Check;
3766 procedure Set_Do_Storage_Check
3767 (N : Node_Id; Val : Boolean := True) is
3769 pragma Assert (False
3770 or else NT (N).Nkind = N_Allocator
3771 or else NT (N).Nkind = N_Subprogram_Body);
3772 Set_Flag17 (N, Val);
3773 end Set_Do_Storage_Check;
3775 procedure Set_Do_Tag_Check
3776 (N : Node_Id; Val : Boolean := True) is
3778 pragma Assert (False
3779 or else NT (N).Nkind = N_Assignment_Statement
3780 or else NT (N).Nkind = N_Extended_Return_Statement
3781 or else NT (N).Nkind = N_Function_Call
3782 or else NT (N).Nkind = N_Procedure_Call_Statement
3783 or else NT (N).Nkind = N_Return_Statement
3784 or else NT (N).Nkind = N_Type_Conversion);
3785 Set_Flag13 (N, Val);
3786 end Set_Do_Tag_Check;
3788 procedure Set_Elaborate_All_Desirable
3789 (N : Node_Id; Val : Boolean := True) is
3791 pragma Assert (False
3792 or else NT (N).Nkind = N_With_Clause);
3794 end Set_Elaborate_All_Desirable;
3796 procedure Set_Elaborate_All_Present
3797 (N : Node_Id; Val : Boolean := True) is
3799 pragma Assert (False
3800 or else NT (N).Nkind = N_With_Clause);
3801 Set_Flag14 (N, Val);
3802 end Set_Elaborate_All_Present;
3804 procedure Set_Elaborate_Desirable
3805 (N : Node_Id; Val : Boolean := True) is
3807 pragma Assert (False
3808 or else NT (N).Nkind = N_With_Clause);
3809 Set_Flag11 (N, Val);
3810 end Set_Elaborate_Desirable;
3812 procedure Set_Elaborate_Present
3813 (N : Node_Id; Val : Boolean := True) is
3815 pragma Assert (False
3816 or else NT (N).Nkind = N_With_Clause);
3818 end Set_Elaborate_Present;
3820 procedure Set_Elaboration_Boolean
3821 (N : Node_Id; Val : Node_Id) is
3823 pragma Assert (False
3824 or else NT (N).Nkind = N_Function_Specification
3825 or else NT (N).Nkind = N_Procedure_Specification);
3827 end Set_Elaboration_Boolean;
3829 procedure Set_Else_Actions
3830 (N : Node_Id; Val : List_Id) is
3832 pragma Assert (False
3833 or else NT (N).Nkind = N_Conditional_Expression);
3834 Set_List3 (N, Val); -- semantic field, no parent set
3835 end Set_Else_Actions;
3837 procedure Set_Else_Statements
3838 (N : Node_Id; Val : List_Id) is
3840 pragma Assert (False
3841 or else NT (N).Nkind = N_Conditional_Entry_Call
3842 or else NT (N).Nkind = N_If_Statement
3843 or else NT (N).Nkind = N_Selective_Accept);
3844 Set_List4_With_Parent (N, Val);
3845 end Set_Else_Statements;
3847 procedure Set_Elsif_Parts
3848 (N : Node_Id; Val : List_Id) is
3850 pragma Assert (False
3851 or else NT (N).Nkind = N_If_Statement);
3852 Set_List3_With_Parent (N, Val);
3853 end Set_Elsif_Parts;
3855 procedure Set_Enclosing_Variant
3856 (N : Node_Id; Val : Node_Id) is
3858 pragma Assert (False
3859 or else NT (N).Nkind = N_Variant);
3860 Set_Node2 (N, Val); -- semantic field, no parent set
3861 end Set_Enclosing_Variant;
3863 procedure Set_End_Label
3864 (N : Node_Id; Val : Node_Id) is
3866 pragma Assert (False
3867 or else NT (N).Nkind = N_Enumeration_Type_Definition
3868 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3869 or else NT (N).Nkind = N_Loop_Statement
3870 or else NT (N).Nkind = N_Package_Specification
3871 or else NT (N).Nkind = N_Protected_Body
3872 or else NT (N).Nkind = N_Protected_Definition
3873 or else NT (N).Nkind = N_Record_Definition
3874 or else NT (N).Nkind = N_Task_Definition);
3875 Set_Node4_With_Parent (N, Val);
3878 procedure Set_End_Span
3879 (N : Node_Id; Val : Uint) is
3881 pragma Assert (False
3882 or else NT (N).Nkind = N_Case_Statement
3883 or else NT (N).Nkind = N_If_Statement);
3887 procedure Set_Entity
3888 (N : Node_Id; Val : Node_Id) is
3890 pragma Assert (False
3891 or else NT (N).Nkind in N_Has_Entity
3892 or else NT (N).Nkind = N_Freeze_Entity
3893 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3894 Set_Node4 (N, Val); -- semantic field, no parent set
3897 procedure Set_Entry_Body_Formal_Part
3898 (N : Node_Id; Val : Node_Id) is
3900 pragma Assert (False
3901 or else NT (N).Nkind = N_Entry_Body);
3902 Set_Node5_With_Parent (N, Val);
3903 end Set_Entry_Body_Formal_Part;
3905 procedure Set_Entry_Call_Alternative
3906 (N : Node_Id; Val : Node_Id) is
3908 pragma Assert (False
3909 or else NT (N).Nkind = N_Conditional_Entry_Call
3910 or else NT (N).Nkind = N_Timed_Entry_Call);
3911 Set_Node1_With_Parent (N, Val);
3912 end Set_Entry_Call_Alternative;
3914 procedure Set_Entry_Call_Statement
3915 (N : Node_Id; Val : Node_Id) is
3917 pragma Assert (False
3918 or else NT (N).Nkind = N_Entry_Call_Alternative);
3919 Set_Node1_With_Parent (N, Val);
3920 end Set_Entry_Call_Statement;
3922 procedure Set_Entry_Direct_Name
3923 (N : Node_Id; Val : Node_Id) is
3925 pragma Assert (False
3926 or else NT (N).Nkind = N_Accept_Statement);
3927 Set_Node1_With_Parent (N, Val);
3928 end Set_Entry_Direct_Name;
3930 procedure Set_Entry_Index
3931 (N : Node_Id; Val : Node_Id) is
3933 pragma Assert (False
3934 or else NT (N).Nkind = N_Accept_Statement);
3935 Set_Node5_With_Parent (N, Val);
3936 end Set_Entry_Index;
3938 procedure Set_Entry_Index_Specification
3939 (N : Node_Id; Val : Node_Id) is
3941 pragma Assert (False
3942 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3943 Set_Node4_With_Parent (N, Val);
3944 end Set_Entry_Index_Specification;
3947 (N : Node_Id; Val : Node_Id) is
3949 pragma Assert (False
3950 or else NT (N).Nkind in N_Has_Etype);
3951 Set_Node5 (N, Val); -- semantic field, no parent set
3954 procedure Set_Exception_Choices
3955 (N : Node_Id; Val : List_Id) is
3957 pragma Assert (False
3958 or else NT (N).Nkind = N_Exception_Handler);
3959 Set_List4_With_Parent (N, Val);
3960 end Set_Exception_Choices;
3962 procedure Set_Exception_Handlers
3963 (N : Node_Id; Val : List_Id) is
3965 pragma Assert (False
3966 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3967 Set_List5_With_Parent (N, Val);
3968 end Set_Exception_Handlers;
3970 procedure Set_Exception_Junk
3971 (N : Node_Id; Val : Boolean := True) is
3973 pragma Assert (False
3974 or else NT (N).Nkind = N_Block_Statement
3975 or else NT (N).Nkind = N_Goto_Statement
3976 or else NT (N).Nkind = N_Label
3977 or else NT (N).Nkind = N_Object_Declaration
3978 or else NT (N).Nkind = N_Subtype_Declaration);
3980 end Set_Exception_Junk;
3982 procedure Set_Exception_Label
3983 (N : Node_Id; Val : Node_Id) is
3985 pragma Assert (False
3986 or else NT (N).Nkind = N_Exception_Handler
3987 or else NT (N).Nkind = N_Push_Constraint_Error_Label
3988 or else NT (N).Nkind = N_Push_Program_Error_Label
3989 or else NT (N).Nkind = N_Push_Storage_Error_Label);
3990 Set_Node5 (N, Val); -- semantic field, no parent set
3991 end Set_Exception_Label;
3993 procedure Set_Expansion_Delayed
3994 (N : Node_Id; Val : Boolean := True) is
3996 pragma Assert (False
3997 or else NT (N).Nkind = N_Aggregate
3998 or else NT (N).Nkind = N_Extension_Aggregate);
3999 Set_Flag11 (N, Val);
4000 end Set_Expansion_Delayed;
4002 procedure Set_Explicit_Actual_Parameter
4003 (N : Node_Id; Val : Node_Id) is
4005 pragma Assert (False
4006 or else NT (N).Nkind = N_Parameter_Association);
4007 Set_Node3_With_Parent (N, Val);
4008 end Set_Explicit_Actual_Parameter;
4010 procedure Set_Explicit_Generic_Actual_Parameter
4011 (N : Node_Id; Val : Node_Id) is
4013 pragma Assert (False
4014 or else NT (N).Nkind = N_Generic_Association);
4015 Set_Node1_With_Parent (N, Val);
4016 end Set_Explicit_Generic_Actual_Parameter;
4018 procedure Set_Expression
4019 (N : Node_Id; Val : Node_Id) is
4021 pragma Assert (False
4022 or else NT (N).Nkind = N_Allocator
4023 or else NT (N).Nkind = N_Assignment_Statement
4024 or else NT (N).Nkind = N_At_Clause
4025 or else NT (N).Nkind = N_Attribute_Definition_Clause
4026 or else NT (N).Nkind = N_Case_Statement
4027 or else NT (N).Nkind = N_Code_Statement
4028 or else NT (N).Nkind = N_Component_Association
4029 or else NT (N).Nkind = N_Component_Declaration
4030 or else NT (N).Nkind = N_Delay_Relative_Statement
4031 or else NT (N).Nkind = N_Delay_Until_Statement
4032 or else NT (N).Nkind = N_Discriminant_Association
4033 or else NT (N).Nkind = N_Discriminant_Specification
4034 or else NT (N).Nkind = N_Exception_Declaration
4035 or else NT (N).Nkind = N_Free_Statement
4036 or else NT (N).Nkind = N_Mod_Clause
4037 or else NT (N).Nkind = N_Modular_Type_Definition
4038 or else NT (N).Nkind = N_Number_Declaration
4039 or else NT (N).Nkind = N_Object_Declaration
4040 or else NT (N).Nkind = N_Parameter_Specification
4041 or else NT (N).Nkind = N_Pragma_Argument_Association
4042 or else NT (N).Nkind = N_Qualified_Expression
4043 or else NT (N).Nkind = N_Raise_Statement
4044 or else NT (N).Nkind = N_Return_Statement
4045 or else NT (N).Nkind = N_Type_Conversion
4046 or else NT (N).Nkind = N_Unchecked_Expression
4047 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4048 Set_Node3_With_Parent (N, Val);
4051 procedure Set_Expressions
4052 (N : Node_Id; Val : List_Id) is
4054 pragma Assert (False
4055 or else NT (N).Nkind = N_Aggregate
4056 or else NT (N).Nkind = N_Attribute_Reference
4057 or else NT (N).Nkind = N_Conditional_Expression
4058 or else NT (N).Nkind = N_Extension_Aggregate
4059 or else NT (N).Nkind = N_Indexed_Component);
4060 Set_List1_With_Parent (N, Val);
4061 end Set_Expressions;
4063 procedure Set_First_Bit
4064 (N : Node_Id; Val : Node_Id) is
4066 pragma Assert (False
4067 or else NT (N).Nkind = N_Component_Clause);
4068 Set_Node3_With_Parent (N, Val);
4071 procedure Set_First_Inlined_Subprogram
4072 (N : Node_Id; Val : Entity_Id) is
4074 pragma Assert (False
4075 or else NT (N).Nkind = N_Compilation_Unit);
4076 Set_Node3 (N, Val); -- semantic field, no parent set
4077 end Set_First_Inlined_Subprogram;
4079 procedure Set_First_Name
4080 (N : Node_Id; Val : Boolean := True) is
4082 pragma Assert (False
4083 or else NT (N).Nkind = N_With_Clause);
4087 procedure Set_First_Named_Actual
4088 (N : Node_Id; Val : Node_Id) is
4090 pragma Assert (False
4091 or else NT (N).Nkind = N_Entry_Call_Statement
4092 or else NT (N).Nkind = N_Function_Call
4093 or else NT (N).Nkind = N_Procedure_Call_Statement);
4094 Set_Node4 (N, Val); -- semantic field, no parent set
4095 end Set_First_Named_Actual;
4097 procedure Set_First_Real_Statement
4098 (N : Node_Id; Val : Node_Id) is
4100 pragma Assert (False
4101 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4102 Set_Node2 (N, Val); -- semantic field, no parent set
4103 end Set_First_Real_Statement;
4105 procedure Set_First_Subtype_Link
4106 (N : Node_Id; Val : Entity_Id) is
4108 pragma Assert (False
4109 or else NT (N).Nkind = N_Freeze_Entity);
4110 Set_Node5 (N, Val); -- semantic field, no parent set
4111 end Set_First_Subtype_Link;
4113 procedure Set_Float_Truncate
4114 (N : Node_Id; Val : Boolean := True) is
4116 pragma Assert (False
4117 or else NT (N).Nkind = N_Type_Conversion);
4118 Set_Flag11 (N, Val);
4119 end Set_Float_Truncate;
4121 procedure Set_Formal_Type_Definition
4122 (N : Node_Id; Val : Node_Id) is
4124 pragma Assert (False
4125 or else NT (N).Nkind = N_Formal_Type_Declaration);
4126 Set_Node3_With_Parent (N, Val);
4127 end Set_Formal_Type_Definition;
4129 procedure Set_Forwards_OK
4130 (N : Node_Id; Val : Boolean := True) is
4132 pragma Assert (False
4133 or else NT (N).Nkind = N_Assignment_Statement);
4135 end Set_Forwards_OK;
4137 procedure Set_From_At_End
4138 (N : Node_Id; Val : Boolean := True) is
4140 pragma Assert (False
4141 or else NT (N).Nkind = N_Raise_Statement);
4143 end Set_From_At_End;
4145 procedure Set_From_At_Mod
4146 (N : Node_Id; Val : Boolean := True) is
4148 pragma Assert (False
4149 or else NT (N).Nkind = N_Attribute_Definition_Clause);
4151 end Set_From_At_Mod;
4153 procedure Set_From_Default
4154 (N : Node_Id; Val : Boolean := True) is
4156 pragma Assert (False
4157 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4159 end Set_From_Default;
4161 procedure Set_Generic_Associations
4162 (N : Node_Id; Val : List_Id) is
4164 pragma Assert (False
4165 or else NT (N).Nkind = N_Formal_Package_Declaration
4166 or else NT (N).Nkind = N_Function_Instantiation
4167 or else NT (N).Nkind = N_Package_Instantiation
4168 or else NT (N).Nkind = N_Procedure_Instantiation);
4169 Set_List3_With_Parent (N, Val);
4170 end Set_Generic_Associations;
4172 procedure Set_Generic_Formal_Declarations
4173 (N : Node_Id; Val : List_Id) is
4175 pragma Assert (False
4176 or else NT (N).Nkind = N_Generic_Package_Declaration
4177 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4178 Set_List2_With_Parent (N, Val);
4179 end Set_Generic_Formal_Declarations;
4181 procedure Set_Generic_Parent
4182 (N : Node_Id; Val : Node_Id) is
4184 pragma Assert (False
4185 or else NT (N).Nkind = N_Function_Specification
4186 or else NT (N).Nkind = N_Package_Specification
4187 or else NT (N).Nkind = N_Procedure_Specification);
4189 end Set_Generic_Parent;
4191 procedure Set_Generic_Parent_Type
4192 (N : Node_Id; Val : Node_Id) is
4194 pragma Assert (False
4195 or else NT (N).Nkind = N_Subtype_Declaration);
4197 end Set_Generic_Parent_Type;
4199 procedure Set_Handled_Statement_Sequence
4200 (N : Node_Id; Val : Node_Id) is
4202 pragma Assert (False
4203 or else NT (N).Nkind = N_Accept_Statement
4204 or else NT (N).Nkind = N_Block_Statement
4205 or else NT (N).Nkind = N_Entry_Body
4206 or else NT (N).Nkind = N_Extended_Return_Statement
4207 or else NT (N).Nkind = N_Package_Body
4208 or else NT (N).Nkind = N_Subprogram_Body
4209 or else NT (N).Nkind = N_Task_Body);
4210 Set_Node4_With_Parent (N, Val);
4211 end Set_Handled_Statement_Sequence;
4213 procedure Set_Handler_List_Entry
4214 (N : Node_Id; Val : Node_Id) is
4216 pragma Assert (False
4217 or else NT (N).Nkind = N_Object_Declaration);
4219 end Set_Handler_List_Entry;
4221 procedure Set_Has_Created_Identifier
4222 (N : Node_Id; Val : Boolean := True) is
4224 pragma Assert (False
4225 or else NT (N).Nkind = N_Block_Statement
4226 or else NT (N).Nkind = N_Loop_Statement);
4227 Set_Flag15 (N, Val);
4228 end Set_Has_Created_Identifier;
4230 procedure Set_Has_Dynamic_Length_Check
4231 (N : Node_Id; Val : Boolean := True) is
4233 Set_Flag10 (N, Val);
4234 end Set_Has_Dynamic_Length_Check;
4236 procedure Set_Has_Dynamic_Range_Check
4237 (N : Node_Id; Val : Boolean := True) is
4239 Set_Flag12 (N, Val);
4240 end Set_Has_Dynamic_Range_Check;
4242 procedure Set_Has_Init_Expression
4243 (N : Node_Id; Val : Boolean := True) is
4245 pragma Assert (False
4246 or else NT (N).Nkind = N_Object_Declaration);
4247 Set_Flag14 (N, Val);
4248 end Set_Has_Init_Expression;
4250 procedure Set_Has_Local_Raise
4251 (N : Node_Id; Val : Boolean := True) is
4253 pragma Assert (False
4254 or else NT (N).Nkind = N_Exception_Handler);
4256 end Set_Has_Local_Raise;
4258 procedure Set_Has_No_Elaboration_Code
4259 (N : Node_Id; Val : Boolean := True) is
4261 pragma Assert (False
4262 or else NT (N).Nkind = N_Compilation_Unit);
4263 Set_Flag17 (N, Val);
4264 end Set_Has_No_Elaboration_Code;
4266 procedure Set_Has_Priority_Pragma
4267 (N : Node_Id; Val : Boolean := True) is
4269 pragma Assert (False
4270 or else NT (N).Nkind = N_Protected_Definition
4271 or else NT (N).Nkind = N_Subprogram_Body
4272 or else NT (N).Nkind = N_Task_Definition);
4274 end Set_Has_Priority_Pragma;
4276 procedure Set_Has_Private_View
4277 (N : Node_Id; Val : Boolean := True) is
4279 pragma Assert (False
4280 or else NT (N).Nkind in N_Op
4281 or else NT (N).Nkind = N_Character_Literal
4282 or else NT (N).Nkind = N_Expanded_Name
4283 or else NT (N).Nkind = N_Identifier
4284 or else NT (N).Nkind = N_Operator_Symbol);
4285 Set_Flag11 (N, Val);
4286 end Set_Has_Private_View;
4288 procedure Set_Has_Relative_Deadline_Pragma
4289 (N : Node_Id; Val : Boolean := True) is
4291 pragma Assert (False
4292 or else NT (N).Nkind = N_Subprogram_Body
4293 or else NT (N).Nkind = N_Task_Definition);
4295 end Set_Has_Relative_Deadline_Pragma;
4297 procedure Set_Has_Self_Reference
4298 (N : Node_Id; Val : Boolean := True) is
4300 pragma Assert (False
4301 or else NT (N).Nkind = N_Aggregate
4302 or else NT (N).Nkind = N_Extension_Aggregate);
4303 Set_Flag13 (N, Val);
4304 end Set_Has_Self_Reference;
4306 procedure Set_Has_Storage_Size_Pragma
4307 (N : Node_Id; Val : Boolean := True) is
4309 pragma Assert (False
4310 or else NT (N).Nkind = N_Task_Definition);
4312 end Set_Has_Storage_Size_Pragma;
4314 procedure Set_Has_Task_Info_Pragma
4315 (N : Node_Id; Val : Boolean := True) is
4317 pragma Assert (False
4318 or else NT (N).Nkind = N_Task_Definition);
4320 end Set_Has_Task_Info_Pragma;
4322 procedure Set_Has_Task_Name_Pragma
4323 (N : Node_Id; Val : Boolean := True) is
4325 pragma Assert (False
4326 or else NT (N).Nkind = N_Task_Definition);
4328 end Set_Has_Task_Name_Pragma;
4330 procedure Set_Has_Wide_Character
4331 (N : Node_Id; Val : Boolean := True) is
4333 pragma Assert (False
4334 or else NT (N).Nkind = N_String_Literal);
4335 Set_Flag11 (N, Val);
4336 end Set_Has_Wide_Character;
4338 procedure Set_Hidden_By_Use_Clause
4339 (N : Node_Id; Val : Elist_Id) is
4341 pragma Assert (False
4342 or else NT (N).Nkind = N_Use_Package_Clause
4343 or else NT (N).Nkind = N_Use_Type_Clause);
4344 Set_Elist4 (N, Val);
4345 end Set_Hidden_By_Use_Clause;
4347 procedure Set_High_Bound
4348 (N : Node_Id; Val : Node_Id) is
4350 pragma Assert (False
4351 or else NT (N).Nkind = N_Range
4352 or else NT (N).Nkind = N_Real_Range_Specification
4353 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4354 Set_Node2_With_Parent (N, Val);
4357 procedure Set_Identifier
4358 (N : Node_Id; Val : Node_Id) is
4360 pragma Assert (False
4361 or else NT (N).Nkind = N_At_Clause
4362 or else NT (N).Nkind = N_Block_Statement
4363 or else NT (N).Nkind = N_Designator
4364 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4365 or else NT (N).Nkind = N_Label
4366 or else NT (N).Nkind = N_Loop_Statement
4367 or else NT (N).Nkind = N_Record_Representation_Clause
4368 or else NT (N).Nkind = N_Subprogram_Info);
4369 Set_Node1_With_Parent (N, Val);
4372 procedure Set_Implicit_With
4373 (N : Node_Id; Val : Boolean := True) is
4375 pragma Assert (False
4376 or else NT (N).Nkind = N_With_Clause);
4377 Set_Flag16 (N, Val);
4378 end Set_Implicit_With;
4380 procedure Set_Interface_List
4381 (N : Node_Id; Val : List_Id) is
4383 pragma Assert (False
4384 or else NT (N).Nkind = N_Derived_Type_Definition
4385 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4386 or else NT (N).Nkind = N_Private_Extension_Declaration
4387 or else NT (N).Nkind = N_Protected_Type_Declaration
4388 or else NT (N).Nkind = N_Record_Definition
4389 or else NT (N).Nkind = N_Single_Protected_Declaration
4390 or else NT (N).Nkind = N_Single_Task_Declaration
4391 or else NT (N).Nkind = N_Task_Type_Declaration);
4392 Set_List2_With_Parent (N, Val);
4393 end Set_Interface_List;
4395 procedure Set_Interface_Present
4396 (N : Node_Id; Val : Boolean := True) is
4398 pragma Assert (False
4399 or else NT (N).Nkind = N_Derived_Type_Definition
4400 or else NT (N).Nkind = N_Record_Definition);
4401 Set_Flag16 (N, Val);
4402 end Set_Interface_Present;
4404 procedure Set_In_Present
4405 (N : Node_Id; Val : Boolean := True) is
4407 pragma Assert (False
4408 or else NT (N).Nkind = N_Formal_Object_Declaration
4409 or else NT (N).Nkind = N_Parameter_Specification);
4410 Set_Flag15 (N, Val);
4413 procedure Set_Includes_Infinities
4414 (N : Node_Id; Val : Boolean := True) is
4416 pragma Assert (False
4417 or else NT (N).Nkind = N_Range);
4418 Set_Flag11 (N, Val);
4419 end Set_Includes_Infinities;
4421 procedure Set_Instance_Spec
4422 (N : Node_Id; Val : Node_Id) is
4424 pragma Assert (False
4425 or else NT (N).Nkind = N_Formal_Package_Declaration
4426 or else NT (N).Nkind = N_Function_Instantiation
4427 or else NT (N).Nkind = N_Package_Instantiation
4428 or else NT (N).Nkind = N_Procedure_Instantiation);
4429 Set_Node5 (N, Val); -- semantic field, no Parent set
4430 end Set_Instance_Spec;
4432 procedure Set_Intval
4433 (N : Node_Id; Val : Uint) is
4435 pragma Assert (False
4436 or else NT (N).Nkind = N_Integer_Literal);
4440 procedure Set_Is_Asynchronous_Call_Block
4441 (N : Node_Id; Val : Boolean := True) is
4443 pragma Assert (False
4444 or else NT (N).Nkind = N_Block_Statement);
4446 end Set_Is_Asynchronous_Call_Block;
4448 procedure Set_Is_Component_Left_Opnd
4449 (N : Node_Id; Val : Boolean := True) is
4451 pragma Assert (False
4452 or else NT (N).Nkind = N_Op_Concat);
4453 Set_Flag13 (N, Val);
4454 end Set_Is_Component_Left_Opnd;
4456 procedure Set_Is_Component_Right_Opnd
4457 (N : Node_Id; Val : Boolean := True) is
4459 pragma Assert (False
4460 or else NT (N).Nkind = N_Op_Concat);
4461 Set_Flag14 (N, Val);
4462 end Set_Is_Component_Right_Opnd;
4464 procedure Set_Is_Controlling_Actual
4465 (N : Node_Id; Val : Boolean := True) is
4467 pragma Assert (False
4468 or else NT (N).Nkind in N_Subexpr);
4469 Set_Flag16 (N, Val);
4470 end Set_Is_Controlling_Actual;
4472 procedure Set_Is_Dynamic_Coextension
4473 (N : Node_Id; Val : Boolean := True) is
4475 pragma Assert (False
4476 or else NT (N).Nkind = N_Allocator);
4477 Set_Flag18 (N, Val);
4478 end Set_Is_Dynamic_Coextension;
4480 procedure Set_Is_Elsif
4481 (N : Node_Id; Val : Boolean := True) is
4483 pragma Assert (False
4484 or else NT (N).Nkind = N_Conditional_Expression);
4485 Set_Flag13 (N, Val);
4488 procedure Set_Is_Entry_Barrier_Function
4489 (N : Node_Id; Val : Boolean := True) is
4491 pragma Assert (False
4492 or else NT (N).Nkind = N_Subprogram_Body);
4494 end Set_Is_Entry_Barrier_Function;
4496 procedure Set_Is_Expanded_Build_In_Place_Call
4497 (N : Node_Id; Val : Boolean := True) is
4499 pragma Assert (False
4500 or else NT (N).Nkind = N_Function_Call);
4501 Set_Flag11 (N, Val);
4502 end Set_Is_Expanded_Build_In_Place_Call;
4504 procedure Set_Is_Folded_In_Parser
4505 (N : Node_Id; Val : Boolean := True) is
4507 pragma Assert (False
4508 or else NT (N).Nkind = N_String_Literal);
4510 end Set_Is_Folded_In_Parser;
4512 procedure Set_Is_In_Discriminant_Check
4513 (N : Node_Id; Val : Boolean := True) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Selected_Component);
4517 Set_Flag11 (N, Val);
4518 end Set_Is_In_Discriminant_Check;
4520 procedure Set_Is_Machine_Number
4521 (N : Node_Id; Val : Boolean := True) is
4523 pragma Assert (False
4524 or else NT (N).Nkind = N_Real_Literal);
4525 Set_Flag11 (N, Val);
4526 end Set_Is_Machine_Number;
4528 procedure Set_Is_Null_Loop
4529 (N : Node_Id; Val : Boolean := True) is
4531 pragma Assert (False
4532 or else NT (N).Nkind = N_Loop_Statement);
4533 Set_Flag16 (N, Val);
4534 end Set_Is_Null_Loop;
4536 procedure Set_Is_Overloaded
4537 (N : Node_Id; Val : Boolean := True) is
4539 pragma Assert (False
4540 or else NT (N).Nkind in N_Subexpr);
4542 end Set_Is_Overloaded;
4544 procedure Set_Is_Power_Of_2_For_Shift
4545 (N : Node_Id; Val : Boolean := True) is
4547 pragma Assert (False
4548 or else NT (N).Nkind = N_Op_Expon);
4549 Set_Flag13 (N, Val);
4550 end Set_Is_Power_Of_2_For_Shift;
4552 procedure Set_Is_Protected_Subprogram_Body
4553 (N : Node_Id; Val : Boolean := True) is
4555 pragma Assert (False
4556 or else NT (N).Nkind = N_Subprogram_Body);
4558 end Set_Is_Protected_Subprogram_Body;
4560 procedure Set_Is_SCIL_Node
4561 (N : Node_Id; Val : Boolean := True) is
4563 pragma Assert (False
4564 or else NT (N).Nkind = N_Null_Statement);
4566 end Set_Is_SCIL_Node;
4568 procedure Set_Is_Static_Coextension
4569 (N : Node_Id; Val : Boolean := True) is
4571 pragma Assert (False
4572 or else NT (N).Nkind = N_Allocator);
4573 Set_Flag14 (N, Val);
4574 end Set_Is_Static_Coextension;
4576 procedure Set_Is_Static_Expression
4577 (N : Node_Id; Val : Boolean := True) is
4579 pragma Assert (False
4580 or else NT (N).Nkind in N_Subexpr);
4582 end Set_Is_Static_Expression;
4584 procedure Set_Is_Subprogram_Descriptor
4585 (N : Node_Id; Val : Boolean := True) is
4587 pragma Assert (False
4588 or else NT (N).Nkind = N_Object_Declaration);
4589 Set_Flag16 (N, Val);
4590 end Set_Is_Subprogram_Descriptor;
4592 procedure Set_Is_Task_Allocation_Block
4593 (N : Node_Id; Val : Boolean := True) is
4595 pragma Assert (False
4596 or else NT (N).Nkind = N_Block_Statement);
4598 end Set_Is_Task_Allocation_Block;
4600 procedure Set_Is_Task_Master
4601 (N : Node_Id; Val : Boolean := True) is
4603 pragma Assert (False
4604 or else NT (N).Nkind = N_Block_Statement
4605 or else NT (N).Nkind = N_Subprogram_Body
4606 or else NT (N).Nkind = N_Task_Body);
4608 end Set_Is_Task_Master;
4610 procedure Set_Iteration_Scheme
4611 (N : Node_Id; Val : Node_Id) is
4613 pragma Assert (False
4614 or else NT (N).Nkind = N_Loop_Statement);
4615 Set_Node2_With_Parent (N, Val);
4616 end Set_Iteration_Scheme;
4619 (N : Node_Id; Val : Entity_Id) is
4621 pragma Assert (False
4622 or else NT (N).Nkind = N_Itype_Reference);
4623 Set_Node1 (N, Val); -- no parent, semantic field
4626 procedure Set_Kill_Range_Check
4627 (N : Node_Id; Val : Boolean := True) is
4629 pragma Assert (False
4630 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4631 Set_Flag11 (N, Val);
4632 end Set_Kill_Range_Check;
4634 procedure Set_Label_Construct
4635 (N : Node_Id; Val : Node_Id) is
4637 pragma Assert (False
4638 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4639 Set_Node2 (N, Val); -- semantic field, no parent set
4640 end Set_Label_Construct;
4642 procedure Set_Last_Bit
4643 (N : Node_Id; Val : Node_Id) is
4645 pragma Assert (False
4646 or else NT (N).Nkind = N_Component_Clause);
4647 Set_Node4_With_Parent (N, Val);
4650 procedure Set_Last_Name
4651 (N : Node_Id; Val : Boolean := True) is
4653 pragma Assert (False
4654 or else NT (N).Nkind = N_With_Clause);
4658 procedure Set_Left_Opnd
4659 (N : Node_Id; Val : Node_Id) is
4661 pragma Assert (False
4662 or else NT (N).Nkind = N_And_Then
4663 or else NT (N).Nkind = N_In
4664 or else NT (N).Nkind = N_Not_In
4665 or else NT (N).Nkind = N_Or_Else
4666 or else NT (N).Nkind in N_Binary_Op);
4667 Set_Node2_With_Parent (N, Val);
4670 procedure Set_Library_Unit
4671 (N : Node_Id; Val : Node_Id) is
4673 pragma Assert (False
4674 or else NT (N).Nkind = N_Compilation_Unit
4675 or else NT (N).Nkind = N_Package_Body_Stub
4676 or else NT (N).Nkind = N_Protected_Body_Stub
4677 or else NT (N).Nkind = N_Subprogram_Body_Stub
4678 or else NT (N).Nkind = N_Task_Body_Stub
4679 or else NT (N).Nkind = N_With_Clause);
4680 Set_Node4 (N, Val); -- semantic field, no parent set
4681 end Set_Library_Unit;
4683 procedure Set_Limited_View_Installed
4684 (N : Node_Id; Val : Boolean := True) is
4686 pragma Assert (False
4687 or else NT (N).Nkind = N_Package_Specification
4688 or else NT (N).Nkind = N_With_Clause);
4689 Set_Flag18 (N, Val);
4690 end Set_Limited_View_Installed;
4692 procedure Set_Limited_Present
4693 (N : Node_Id; Val : Boolean := True) is
4695 pragma Assert (False
4696 or else NT (N).Nkind = N_Derived_Type_Definition
4697 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4698 or else NT (N).Nkind = N_Formal_Private_Type_Definition
4699 or else NT (N).Nkind = N_Private_Extension_Declaration
4700 or else NT (N).Nkind = N_Private_Type_Declaration
4701 or else NT (N).Nkind = N_Record_Definition
4702 or else NT (N).Nkind = N_With_Clause);
4703 Set_Flag17 (N, Val);
4704 end Set_Limited_Present;
4706 procedure Set_Literals
4707 (N : Node_Id; Val : List_Id) is
4709 pragma Assert (False
4710 or else NT (N).Nkind = N_Enumeration_Type_Definition);
4711 Set_List1_With_Parent (N, Val);
4714 procedure Set_Local_Raise_Not_OK
4715 (N : Node_Id; Val : Boolean := True) is
4717 pragma Assert (False
4718 or else NT (N).Nkind = N_Exception_Handler);
4720 end Set_Local_Raise_Not_OK;
4722 procedure Set_Local_Raise_Statements
4723 (N : Node_Id; Val : Elist_Id) is
4725 pragma Assert (False
4726 or else NT (N).Nkind = N_Exception_Handler);
4727 Set_Elist1 (N, Val);
4728 end Set_Local_Raise_Statements;
4730 procedure Set_Loop_Actions
4731 (N : Node_Id; Val : List_Id) is
4733 pragma Assert (False
4734 or else NT (N).Nkind = N_Component_Association);
4735 Set_List2 (N, Val); -- semantic field, no parent set
4736 end Set_Loop_Actions;
4738 procedure Set_Loop_Parameter_Specification
4739 (N : Node_Id; Val : Node_Id) is
4741 pragma Assert (False
4742 or else NT (N).Nkind = N_Iteration_Scheme);
4743 Set_Node4_With_Parent (N, Val);
4744 end Set_Loop_Parameter_Specification;
4746 procedure Set_Low_Bound
4747 (N : Node_Id; Val : Node_Id) is
4749 pragma Assert (False
4750 or else NT (N).Nkind = N_Range
4751 or else NT (N).Nkind = N_Real_Range_Specification
4752 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4753 Set_Node1_With_Parent (N, Val);
4756 procedure Set_Mod_Clause
4757 (N : Node_Id; Val : Node_Id) is
4759 pragma Assert (False
4760 or else NT (N).Nkind = N_Record_Representation_Clause);
4761 Set_Node2_With_Parent (N, Val);
4764 procedure Set_More_Ids
4765 (N : Node_Id; Val : Boolean := True) is
4767 pragma Assert (False
4768 or else NT (N).Nkind = N_Component_Declaration
4769 or else NT (N).Nkind = N_Discriminant_Specification
4770 or else NT (N).Nkind = N_Exception_Declaration
4771 or else NT (N).Nkind = N_Formal_Object_Declaration
4772 or else NT (N).Nkind = N_Number_Declaration
4773 or else NT (N).Nkind = N_Object_Declaration
4774 or else NT (N).Nkind = N_Parameter_Specification);
4778 procedure Set_Must_Be_Byte_Aligned
4779 (N : Node_Id; Val : Boolean := True) is
4781 pragma Assert (False
4782 or else NT (N).Nkind = N_Attribute_Reference);
4783 Set_Flag14 (N, Val);
4784 end Set_Must_Be_Byte_Aligned;
4786 procedure Set_Must_Not_Freeze
4787 (N : Node_Id; Val : Boolean := True) is
4789 pragma Assert (False
4790 or else NT (N).Nkind = N_Subtype_Indication
4791 or else NT (N).Nkind in N_Subexpr);
4793 end Set_Must_Not_Freeze;
4795 procedure Set_Must_Not_Override
4796 (N : Node_Id; Val : Boolean := True) is
4798 pragma Assert (False
4799 or else NT (N).Nkind = N_Entry_Declaration
4800 or else NT (N).Nkind = N_Function_Instantiation
4801 or else NT (N).Nkind = N_Function_Specification
4802 or else NT (N).Nkind = N_Procedure_Instantiation
4803 or else NT (N).Nkind = N_Procedure_Specification);
4804 Set_Flag15 (N, Val);
4805 end Set_Must_Not_Override;
4807 procedure Set_Must_Override
4808 (N : Node_Id; Val : Boolean := True) is
4810 pragma Assert (False
4811 or else NT (N).Nkind = N_Entry_Declaration
4812 or else NT (N).Nkind = N_Function_Instantiation
4813 or else NT (N).Nkind = N_Function_Specification
4814 or else NT (N).Nkind = N_Procedure_Instantiation
4815 or else NT (N).Nkind = N_Procedure_Specification);
4816 Set_Flag14 (N, Val);
4817 end Set_Must_Override;
4820 (N : Node_Id; Val : Node_Id) is
4822 pragma Assert (False
4823 or else NT (N).Nkind = N_Assignment_Statement
4824 or else NT (N).Nkind = N_Attribute_Definition_Clause
4825 or else NT (N).Nkind = N_Defining_Program_Unit_Name
4826 or else NT (N).Nkind = N_Designator
4827 or else NT (N).Nkind = N_Entry_Call_Statement
4828 or else NT (N).Nkind = N_Exception_Renaming_Declaration
4829 or else NT (N).Nkind = N_Exit_Statement
4830 or else NT (N).Nkind = N_Formal_Package_Declaration
4831 or else NT (N).Nkind = N_Function_Call
4832 or else NT (N).Nkind = N_Function_Instantiation
4833 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4834 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4835 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4836 or else NT (N).Nkind = N_Goto_Statement
4837 or else NT (N).Nkind = N_Object_Renaming_Declaration
4838 or else NT (N).Nkind = N_Package_Instantiation
4839 or else NT (N).Nkind = N_Package_Renaming_Declaration
4840 or else NT (N).Nkind = N_Procedure_Call_Statement
4841 or else NT (N).Nkind = N_Procedure_Instantiation
4842 or else NT (N).Nkind = N_Raise_Statement
4843 or else NT (N).Nkind = N_Requeue_Statement
4844 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4845 or else NT (N).Nkind = N_Subunit
4846 or else NT (N).Nkind = N_Variant_Part
4847 or else NT (N).Nkind = N_With_Clause);
4848 Set_Node2_With_Parent (N, Val);
4852 (N : Node_Id; Val : List_Id) is
4854 pragma Assert (False
4855 or else NT (N).Nkind = N_Abort_Statement
4856 or else NT (N).Nkind = N_Use_Package_Clause);
4857 Set_List2_With_Parent (N, Val);
4860 procedure Set_Next_Entity
4861 (N : Node_Id; Val : Node_Id) is
4863 pragma Assert (False
4864 or else NT (N).Nkind = N_Defining_Character_Literal
4865 or else NT (N).Nkind = N_Defining_Identifier
4866 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4867 Set_Node2 (N, Val); -- semantic field, no parent set
4868 end Set_Next_Entity;
4870 procedure Set_Next_Implicit_With
4871 (N : Node_Id; Val : Node_Id) is
4873 pragma Assert (False
4874 or else NT (N).Nkind = N_With_Clause);
4875 Set_Node3 (N, Val); -- semantic field, no parent set
4876 end Set_Next_Implicit_With;
4878 procedure Set_Next_Named_Actual
4879 (N : Node_Id; Val : Node_Id) is
4881 pragma Assert (False
4882 or else NT (N).Nkind = N_Parameter_Association);
4883 Set_Node4 (N, Val); -- semantic field, no parent set
4884 end Set_Next_Named_Actual;
4886 procedure Set_Next_Pragma
4887 (N : Node_Id; Val : Node_Id) is
4889 pragma Assert (False
4890 or else NT (N).Nkind = N_Pragma);
4891 Set_Node1 (N, Val); -- semantic field, no parent set
4892 end Set_Next_Pragma;
4894 procedure Set_Next_Rep_Item
4895 (N : Node_Id; Val : Node_Id) is
4897 pragma Assert (False
4898 or else NT (N).Nkind = N_Attribute_Definition_Clause
4899 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4900 or else NT (N).Nkind = N_Pragma
4901 or else NT (N).Nkind = N_Record_Representation_Clause);
4902 Set_Node5 (N, Val); -- semantic field, no parent set
4903 end Set_Next_Rep_Item;
4905 procedure Set_Next_Use_Clause
4906 (N : Node_Id; Val : Node_Id) is
4908 pragma Assert (False
4909 or else NT (N).Nkind = N_Use_Package_Clause
4910 or else NT (N).Nkind = N_Use_Type_Clause);
4911 Set_Node3 (N, Val); -- semantic field, no parent set
4912 end Set_Next_Use_Clause;
4914 procedure Set_No_Ctrl_Actions
4915 (N : Node_Id; Val : Boolean := True) is
4917 pragma Assert (False
4918 or else NT (N).Nkind = N_Assignment_Statement);
4920 end Set_No_Ctrl_Actions;
4922 procedure Set_No_Elaboration_Check
4923 (N : Node_Id; Val : Boolean := True) is
4925 pragma Assert (False
4926 or else NT (N).Nkind = N_Function_Call
4927 or else NT (N).Nkind = N_Procedure_Call_Statement);
4928 Set_Flag14 (N, Val);
4929 end Set_No_Elaboration_Check;
4931 procedure Set_No_Entities_Ref_In_Spec
4932 (N : Node_Id; Val : Boolean := True) is
4934 pragma Assert (False
4935 or else NT (N).Nkind = N_With_Clause);
4937 end Set_No_Entities_Ref_In_Spec;
4939 procedure Set_No_Initialization
4940 (N : Node_Id; Val : Boolean := True) is
4942 pragma Assert (False
4943 or else NT (N).Nkind = N_Allocator
4944 or else NT (N).Nkind = N_Object_Declaration);
4945 Set_Flag13 (N, Val);
4946 end Set_No_Initialization;
4948 procedure Set_No_Truncation
4949 (N : Node_Id; Val : Boolean := True) is
4951 pragma Assert (False
4952 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4953 Set_Flag17 (N, Val);
4954 end Set_No_Truncation;
4956 procedure Set_Null_Present
4957 (N : Node_Id; Val : Boolean := True) is
4959 pragma Assert (False
4960 or else NT (N).Nkind = N_Component_List
4961 or else NT (N).Nkind = N_Procedure_Specification
4962 or else NT (N).Nkind = N_Record_Definition);
4963 Set_Flag13 (N, Val);
4964 end Set_Null_Present;
4966 procedure Set_Null_Exclusion_Present
4967 (N : Node_Id; Val : Boolean := True) is
4969 pragma Assert (False
4970 or else NT (N).Nkind = N_Access_Definition
4971 or else NT (N).Nkind = N_Access_Function_Definition
4972 or else NT (N).Nkind = N_Access_Procedure_Definition
4973 or else NT (N).Nkind = N_Access_To_Object_Definition
4974 or else NT (N).Nkind = N_Allocator
4975 or else NT (N).Nkind = N_Component_Definition
4976 or else NT (N).Nkind = N_Derived_Type_Definition
4977 or else NT (N).Nkind = N_Discriminant_Specification
4978 or else NT (N).Nkind = N_Formal_Object_Declaration
4979 or else NT (N).Nkind = N_Function_Specification
4980 or else NT (N).Nkind = N_Object_Declaration
4981 or else NT (N).Nkind = N_Object_Renaming_Declaration
4982 or else NT (N).Nkind = N_Parameter_Specification
4983 or else NT (N).Nkind = N_Subtype_Declaration);
4984 Set_Flag11 (N, Val);
4985 end Set_Null_Exclusion_Present;
4987 procedure Set_Null_Exclusion_In_Return_Present
4988 (N : Node_Id; Val : Boolean := True) is
4990 pragma Assert (False
4991 or else NT (N).Nkind = N_Access_Function_Definition);
4992 Set_Flag14 (N, Val);
4993 end Set_Null_Exclusion_In_Return_Present;
4995 procedure Set_Null_Record_Present
4996 (N : Node_Id; Val : Boolean := True) is
4998 pragma Assert (False
4999 or else NT (N).Nkind = N_Aggregate
5000 or else NT (N).Nkind = N_Extension_Aggregate);
5001 Set_Flag17 (N, Val);
5002 end Set_Null_Record_Present;
5004 procedure Set_Object_Definition
5005 (N : Node_Id; Val : Node_Id) is
5007 pragma Assert (False
5008 or else NT (N).Nkind = N_Object_Declaration);
5009 Set_Node4_With_Parent (N, Val);
5010 end Set_Object_Definition;
5012 procedure Set_Original_Discriminant
5013 (N : Node_Id; Val : Node_Id) is
5015 pragma Assert (False
5016 or else NT (N).Nkind = N_Identifier);
5017 Set_Node2 (N, Val); -- semantic field, no parent set
5018 end Set_Original_Discriminant;
5020 procedure Set_Original_Entity
5021 (N : Node_Id; Val : Entity_Id) is
5023 pragma Assert (False
5024 or else NT (N).Nkind = N_Integer_Literal
5025 or else NT (N).Nkind = N_Real_Literal);
5026 Set_Node2 (N, Val); -- semantic field, no parent set
5027 end Set_Original_Entity;
5029 procedure Set_Others_Discrete_Choices
5030 (N : Node_Id; Val : List_Id) is
5032 pragma Assert (False
5033 or else NT (N).Nkind = N_Others_Choice);
5034 Set_List1_With_Parent (N, Val);
5035 end Set_Others_Discrete_Choices;
5037 procedure Set_Out_Present
5038 (N : Node_Id; Val : Boolean := True) is
5040 pragma Assert (False
5041 or else NT (N).Nkind = N_Formal_Object_Declaration
5042 or else NT (N).Nkind = N_Parameter_Specification);
5043 Set_Flag17 (N, Val);
5044 end Set_Out_Present;
5046 procedure Set_Parameter_Associations
5047 (N : Node_Id; Val : List_Id) is
5049 pragma Assert (False
5050 or else NT (N).Nkind = N_Entry_Call_Statement
5051 or else NT (N).Nkind = N_Function_Call
5052 or else NT (N).Nkind = N_Procedure_Call_Statement);
5053 Set_List3_With_Parent (N, Val);
5054 end Set_Parameter_Associations;
5056 procedure Set_Parameter_List_Truncated
5057 (N : Node_Id; Val : Boolean := True) is
5059 pragma Assert (False
5060 or else NT (N).Nkind = N_Function_Call
5061 or else NT (N).Nkind = N_Procedure_Call_Statement);
5062 Set_Flag17 (N, Val);
5063 end Set_Parameter_List_Truncated;
5065 procedure Set_Parameter_Specifications
5066 (N : Node_Id; Val : List_Id) is
5068 pragma Assert (False
5069 or else NT (N).Nkind = N_Accept_Statement
5070 or else NT (N).Nkind = N_Access_Function_Definition
5071 or else NT (N).Nkind = N_Access_Procedure_Definition
5072 or else NT (N).Nkind = N_Entry_Body_Formal_Part
5073 or else NT (N).Nkind = N_Entry_Declaration
5074 or else NT (N).Nkind = N_Function_Specification
5075 or else NT (N).Nkind = N_Procedure_Specification);
5076 Set_List3_With_Parent (N, Val);
5077 end Set_Parameter_Specifications;
5079 procedure Set_Parameter_Type
5080 (N : Node_Id; Val : Node_Id) is
5082 pragma Assert (False
5083 or else NT (N).Nkind = N_Parameter_Specification);
5084 Set_Node2_With_Parent (N, Val);
5085 end Set_Parameter_Type;
5087 procedure Set_Parent_Spec
5088 (N : Node_Id; Val : Node_Id) is
5090 pragma Assert (False
5091 or else NT (N).Nkind = N_Function_Instantiation
5092 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5093 or else NT (N).Nkind = N_Generic_Package_Declaration
5094 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5095 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5096 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5097 or else NT (N).Nkind = N_Package_Declaration
5098 or else NT (N).Nkind = N_Package_Instantiation
5099 or else NT (N).Nkind = N_Package_Renaming_Declaration
5100 or else NT (N).Nkind = N_Procedure_Instantiation
5101 or else NT (N).Nkind = N_Subprogram_Declaration
5102 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5103 Set_Node4 (N, Val); -- semantic field, no parent set
5104 end Set_Parent_Spec;
5106 procedure Set_PPC_Enabled
5107 (N : Node_Id; Val : Boolean := True) is
5109 pragma Assert (False
5110 or else NT (N).Nkind = N_Pragma);
5112 end Set_PPC_Enabled;
5114 procedure Set_Position
5115 (N : Node_Id; Val : Node_Id) is
5117 pragma Assert (False
5118 or else NT (N).Nkind = N_Component_Clause);
5119 Set_Node2_With_Parent (N, Val);
5122 procedure Set_Pragma_Argument_Associations
5123 (N : Node_Id; Val : List_Id) is
5125 pragma Assert (False
5126 or else NT (N).Nkind = N_Pragma);
5127 Set_List2_With_Parent (N, Val);
5128 end Set_Pragma_Argument_Associations;
5130 procedure Set_Pragma_Identifier
5131 (N : Node_Id; Val : Node_Id) is
5133 pragma Assert (False
5134 or else NT (N).Nkind = N_Pragma);
5135 Set_Node4_With_Parent (N, Val);
5136 end Set_Pragma_Identifier;
5138 procedure Set_Pragmas_After
5139 (N : Node_Id; Val : List_Id) is
5141 pragma Assert (False
5142 or else NT (N).Nkind = N_Compilation_Unit_Aux
5143 or else NT (N).Nkind = N_Terminate_Alternative);
5144 Set_List5_With_Parent (N, Val);
5145 end Set_Pragmas_After;
5147 procedure Set_Pragmas_Before
5148 (N : Node_Id; Val : List_Id) is
5150 pragma Assert (False
5151 or else NT (N).Nkind = N_Accept_Alternative
5152 or else NT (N).Nkind = N_Delay_Alternative
5153 or else NT (N).Nkind = N_Entry_Call_Alternative
5154 or else NT (N).Nkind = N_Mod_Clause
5155 or else NT (N).Nkind = N_Terminate_Alternative
5156 or else NT (N).Nkind = N_Triggering_Alternative);
5157 Set_List4_With_Parent (N, Val);
5158 end Set_Pragmas_Before;
5160 procedure Set_Prefix
5161 (N : Node_Id; Val : Node_Id) is
5163 pragma Assert (False
5164 or else NT (N).Nkind = N_Attribute_Reference
5165 or else NT (N).Nkind = N_Expanded_Name
5166 or else NT (N).Nkind = N_Explicit_Dereference
5167 or else NT (N).Nkind = N_Indexed_Component
5168 or else NT (N).Nkind = N_Reference
5169 or else NT (N).Nkind = N_Selected_Component
5170 or else NT (N).Nkind = N_Slice);
5171 Set_Node3_With_Parent (N, Val);
5174 procedure Set_Present_Expr
5175 (N : Node_Id; Val : Uint) is
5177 pragma Assert (False
5178 or else NT (N).Nkind = N_Variant);
5180 end Set_Present_Expr;
5182 procedure Set_Prev_Ids
5183 (N : Node_Id; Val : Boolean := True) is
5185 pragma Assert (False
5186 or else NT (N).Nkind = N_Component_Declaration
5187 or else NT (N).Nkind = N_Discriminant_Specification
5188 or else NT (N).Nkind = N_Exception_Declaration
5189 or else NT (N).Nkind = N_Formal_Object_Declaration
5190 or else NT (N).Nkind = N_Number_Declaration
5191 or else NT (N).Nkind = N_Object_Declaration
5192 or else NT (N).Nkind = N_Parameter_Specification);
5196 procedure Set_Print_In_Hex
5197 (N : Node_Id; Val : Boolean := True) is
5199 pragma Assert (False
5200 or else NT (N).Nkind = N_Integer_Literal);
5201 Set_Flag13 (N, Val);
5202 end Set_Print_In_Hex;
5204 procedure Set_Private_Declarations
5205 (N : Node_Id; Val : List_Id) is
5207 pragma Assert (False
5208 or else NT (N).Nkind = N_Package_Specification
5209 or else NT (N).Nkind = N_Protected_Definition
5210 or else NT (N).Nkind = N_Task_Definition);
5211 Set_List3_With_Parent (N, Val);
5212 end Set_Private_Declarations;
5214 procedure Set_Private_Present
5215 (N : Node_Id; Val : Boolean := True) is
5217 pragma Assert (False
5218 or else NT (N).Nkind = N_Compilation_Unit
5219 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5220 or else NT (N).Nkind = N_With_Clause);
5221 Set_Flag15 (N, Val);
5222 end Set_Private_Present;
5224 procedure Set_Procedure_To_Call
5225 (N : Node_Id; Val : Node_Id) is
5227 pragma Assert (False
5228 or else NT (N).Nkind = N_Allocator
5229 or else NT (N).Nkind = N_Extended_Return_Statement
5230 or else NT (N).Nkind = N_Free_Statement
5231 or else NT (N).Nkind = N_Return_Statement);
5232 Set_Node2 (N, Val); -- semantic field, no parent set
5233 end Set_Procedure_To_Call;
5235 procedure Set_Proper_Body
5236 (N : Node_Id; Val : Node_Id) is
5238 pragma Assert (False
5239 or else NT (N).Nkind = N_Subunit);
5240 Set_Node1_With_Parent (N, Val);
5241 end Set_Proper_Body;
5243 procedure Set_Protected_Definition
5244 (N : Node_Id; Val : Node_Id) is
5246 pragma Assert (False
5247 or else NT (N).Nkind = N_Protected_Type_Declaration
5248 or else NT (N).Nkind = N_Single_Protected_Declaration);
5249 Set_Node3_With_Parent (N, Val);
5250 end Set_Protected_Definition;
5252 procedure Set_Protected_Present
5253 (N : Node_Id; Val : Boolean := True) is
5255 pragma Assert (False
5256 or else NT (N).Nkind = N_Access_Function_Definition
5257 or else NT (N).Nkind = N_Access_Procedure_Definition
5258 or else NT (N).Nkind = N_Derived_Type_Definition
5259 or else NT (N).Nkind = N_Record_Definition);
5261 end Set_Protected_Present;
5263 procedure Set_Raises_Constraint_Error
5264 (N : Node_Id; Val : Boolean := True) is
5266 pragma Assert (False
5267 or else NT (N).Nkind in N_Subexpr);
5269 end Set_Raises_Constraint_Error;
5271 procedure Set_Range_Constraint
5272 (N : Node_Id; Val : Node_Id) is
5274 pragma Assert (False
5275 or else NT (N).Nkind = N_Delta_Constraint
5276 or else NT (N).Nkind = N_Digits_Constraint);
5277 Set_Node4_With_Parent (N, Val);
5278 end Set_Range_Constraint;
5280 procedure Set_Range_Expression
5281 (N : Node_Id; Val : Node_Id) is
5283 pragma Assert (False
5284 or else NT (N).Nkind = N_Range_Constraint);
5285 Set_Node4_With_Parent (N, Val);
5286 end Set_Range_Expression;
5288 procedure Set_Real_Range_Specification
5289 (N : Node_Id; Val : Node_Id) is
5291 pragma Assert (False
5292 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5293 or else NT (N).Nkind = N_Floating_Point_Definition
5294 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5295 Set_Node4_With_Parent (N, Val);
5296 end Set_Real_Range_Specification;
5298 procedure Set_Realval
5299 (N : Node_Id; Val : Ureal) is
5301 pragma Assert (False
5302 or else NT (N).Nkind = N_Real_Literal);
5303 Set_Ureal3 (N, Val);
5306 procedure Set_Reason
5307 (N : Node_Id; Val : Uint) is
5309 pragma Assert (False
5310 or else NT (N).Nkind = N_Raise_Constraint_Error
5311 or else NT (N).Nkind = N_Raise_Program_Error
5312 or else NT (N).Nkind = N_Raise_Storage_Error);
5316 procedure Set_Record_Extension_Part
5317 (N : Node_Id; Val : Node_Id) is
5319 pragma Assert (False
5320 or else NT (N).Nkind = N_Derived_Type_Definition);
5321 Set_Node3_With_Parent (N, Val);
5322 end Set_Record_Extension_Part;
5324 procedure Set_Redundant_Use
5325 (N : Node_Id; Val : Boolean := True) is
5327 pragma Assert (False
5328 or else NT (N).Nkind = N_Attribute_Reference
5329 or else NT (N).Nkind = N_Expanded_Name
5330 or else NT (N).Nkind = N_Identifier);
5331 Set_Flag13 (N, Val);
5332 end Set_Redundant_Use;
5334 procedure Set_Renaming_Exception
5335 (N : Node_Id; Val : Node_Id) is
5337 pragma Assert (False
5338 or else NT (N).Nkind = N_Exception_Declaration);
5340 end Set_Renaming_Exception;
5342 procedure Set_Result_Definition
5343 (N : Node_Id; Val : Node_Id) is
5345 pragma Assert (False
5346 or else NT (N).Nkind = N_Access_Function_Definition
5347 or else NT (N).Nkind = N_Function_Specification);
5348 Set_Node4_With_Parent (N, Val);
5349 end Set_Result_Definition;
5351 procedure Set_Return_Object_Declarations
5352 (N : Node_Id; Val : List_Id) is
5354 pragma Assert (False
5355 or else NT (N).Nkind = N_Extended_Return_Statement);
5356 Set_List3_With_Parent (N, Val);
5357 end Set_Return_Object_Declarations;
5359 procedure Set_Return_Statement_Entity
5360 (N : Node_Id; Val : Node_Id) is
5362 pragma Assert (False
5363 or else NT (N).Nkind = N_Extended_Return_Statement
5364 or else NT (N).Nkind = N_Return_Statement);
5365 Set_Node5 (N, Val); -- semantic field, no parent set
5366 end Set_Return_Statement_Entity;
5368 procedure Set_Reverse_Present
5369 (N : Node_Id; Val : Boolean := True) is
5371 pragma Assert (False
5372 or else NT (N).Nkind = N_Loop_Parameter_Specification);
5373 Set_Flag15 (N, Val);
5374 end Set_Reverse_Present;
5376 procedure Set_Right_Opnd
5377 (N : Node_Id; Val : Node_Id) is
5379 pragma Assert (False
5380 or else NT (N).Nkind in N_Op
5381 or else NT (N).Nkind = N_And_Then
5382 or else NT (N).Nkind = N_In
5383 or else NT (N).Nkind = N_Not_In
5384 or else NT (N).Nkind = N_Or_Else);
5385 Set_Node3_With_Parent (N, Val);
5388 procedure Set_Rounded_Result
5389 (N : Node_Id; Val : Boolean := True) is
5391 pragma Assert (False
5392 or else NT (N).Nkind = N_Op_Divide
5393 or else NT (N).Nkind = N_Op_Multiply
5394 or else NT (N).Nkind = N_Type_Conversion);
5395 Set_Flag18 (N, Val);
5396 end Set_Rounded_Result;
5398 procedure Set_SCIL_Entity
5399 (N : Node_Id; Val : Node_Id) is
5401 pragma Assert (False
5402 or else NT (N).Nkind = N_Null_Statement);
5403 Set_Node4 (N, Val); -- semantic field, no parent set
5404 end Set_SCIL_Entity;
5406 procedure Set_SCIL_Nkind
5407 (N : Node_Id; Val : Uint) is
5409 pragma Assert (False
5410 or else NT (N).Nkind = N_Null_Statement);
5414 procedure Set_SCIL_Related_Node
5415 (N : Node_Id; Val : Node_Id) is
5417 pragma Assert (False
5418 or else NT (N).Nkind = N_Null_Statement);
5420 end Set_SCIL_Related_Node;
5422 procedure Set_SCIL_Target_Prim
5423 (N : Node_Id; Val : Node_Id) is
5425 pragma Assert (False
5426 or else NT (N).Nkind = N_Null_Statement);
5428 end Set_SCIL_Target_Prim;
5431 (N : Node_Id; Val : Node_Id) is
5433 pragma Assert (False
5434 or else NT (N).Nkind = N_Defining_Character_Literal
5435 or else NT (N).Nkind = N_Defining_Identifier
5436 or else NT (N).Nkind = N_Defining_Operator_Symbol);
5437 Set_Node3 (N, Val); -- semantic field, no parent set
5440 procedure Set_Select_Alternatives
5441 (N : Node_Id; Val : List_Id) is
5443 pragma Assert (False
5444 or else NT (N).Nkind = N_Selective_Accept);
5445 Set_List1_With_Parent (N, Val);
5446 end Set_Select_Alternatives;
5448 procedure Set_Selector_Name
5449 (N : Node_Id; Val : Node_Id) is
5451 pragma Assert (False
5452 or else NT (N).Nkind = N_Expanded_Name
5453 or else NT (N).Nkind = N_Generic_Association
5454 or else NT (N).Nkind = N_Parameter_Association
5455 or else NT (N).Nkind = N_Selected_Component);
5456 Set_Node2_With_Parent (N, Val);
5457 end Set_Selector_Name;
5459 procedure Set_Selector_Names
5460 (N : Node_Id; Val : List_Id) is
5462 pragma Assert (False
5463 or else NT (N).Nkind = N_Discriminant_Association);
5464 Set_List1_With_Parent (N, Val);
5465 end Set_Selector_Names;
5467 procedure Set_Shift_Count_OK
5468 (N : Node_Id; Val : Boolean := True) is
5470 pragma Assert (False
5471 or else NT (N).Nkind = N_Op_Rotate_Left
5472 or else NT (N).Nkind = N_Op_Rotate_Right
5473 or else NT (N).Nkind = N_Op_Shift_Left
5474 or else NT (N).Nkind = N_Op_Shift_Right
5475 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5477 end Set_Shift_Count_OK;
5479 procedure Set_Source_Type
5480 (N : Node_Id; Val : Entity_Id) is
5482 pragma Assert (False
5483 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5484 Set_Node1 (N, Val); -- semantic field, no parent set
5485 end Set_Source_Type;
5487 procedure Set_Specification
5488 (N : Node_Id; Val : Node_Id) is
5490 pragma Assert (False
5491 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5492 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5493 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5494 or else NT (N).Nkind = N_Generic_Package_Declaration
5495 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5496 or else NT (N).Nkind = N_Package_Declaration
5497 or else NT (N).Nkind = N_Subprogram_Body
5498 or else NT (N).Nkind = N_Subprogram_Body_Stub
5499 or else NT (N).Nkind = N_Subprogram_Declaration
5500 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5501 Set_Node1_With_Parent (N, Val);
5502 end Set_Specification;
5504 procedure Set_Statements
5505 (N : Node_Id; Val : List_Id) is
5507 pragma Assert (False
5508 or else NT (N).Nkind = N_Abortable_Part
5509 or else NT (N).Nkind = N_Accept_Alternative
5510 or else NT (N).Nkind = N_Case_Statement_Alternative
5511 or else NT (N).Nkind = N_Delay_Alternative
5512 or else NT (N).Nkind = N_Entry_Call_Alternative
5513 or else NT (N).Nkind = N_Exception_Handler
5514 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5515 or else NT (N).Nkind = N_Loop_Statement
5516 or else NT (N).Nkind = N_Triggering_Alternative);
5517 Set_List3_With_Parent (N, Val);
5520 procedure Set_Static_Processing_OK
5521 (N : Node_Id; Val : Boolean) is
5523 pragma Assert (False
5524 or else NT (N).Nkind = N_Aggregate);
5526 end Set_Static_Processing_OK;
5528 procedure Set_Storage_Pool
5529 (N : Node_Id; Val : Node_Id) is
5531 pragma Assert (False
5532 or else NT (N).Nkind = N_Allocator
5533 or else NT (N).Nkind = N_Extended_Return_Statement
5534 or else NT (N).Nkind = N_Free_Statement
5535 or else NT (N).Nkind = N_Return_Statement);
5536 Set_Node1 (N, Val); -- semantic field, no parent set
5537 end Set_Storage_Pool;
5539 procedure Set_Strval
5540 (N : Node_Id; Val : String_Id) is
5542 pragma Assert (False
5543 or else NT (N).Nkind = N_Operator_Symbol
5544 or else NT (N).Nkind = N_String_Literal);
5548 procedure Set_Subtype_Indication
5549 (N : Node_Id; Val : Node_Id) is
5551 pragma Assert (False
5552 or else NT (N).Nkind = N_Access_To_Object_Definition
5553 or else NT (N).Nkind = N_Component_Definition
5554 or else NT (N).Nkind = N_Derived_Type_Definition
5555 or else NT (N).Nkind = N_Private_Extension_Declaration
5556 or else NT (N).Nkind = N_Subtype_Declaration);
5557 Set_Node5_With_Parent (N, Val);
5558 end Set_Subtype_Indication;
5560 procedure Set_Subtype_Mark
5561 (N : Node_Id; Val : Node_Id) is
5563 pragma Assert (False
5564 or else NT (N).Nkind = N_Access_Definition
5565 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5566 or else NT (N).Nkind = N_Formal_Object_Declaration
5567 or else NT (N).Nkind = N_Object_Renaming_Declaration
5568 or else NT (N).Nkind = N_Qualified_Expression
5569 or else NT (N).Nkind = N_Subtype_Indication
5570 or else NT (N).Nkind = N_Type_Conversion
5571 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5572 Set_Node4_With_Parent (N, Val);
5573 end Set_Subtype_Mark;
5575 procedure Set_Subtype_Marks
5576 (N : Node_Id; Val : List_Id) is
5578 pragma Assert (False
5579 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5580 or else NT (N).Nkind = N_Use_Type_Clause);
5581 Set_List2_With_Parent (N, Val);
5582 end Set_Subtype_Marks;
5584 procedure Set_Suppress_Loop_Warnings
5585 (N : Node_Id; Val : Boolean := True) is
5587 pragma Assert (False
5588 or else NT (N).Nkind = N_Loop_Statement);
5589 Set_Flag17 (N, Val);
5590 end Set_Suppress_Loop_Warnings;
5592 procedure Set_Synchronized_Present
5593 (N : Node_Id; Val : Boolean := True) is
5595 pragma Assert (False
5596 or else NT (N).Nkind = N_Derived_Type_Definition
5597 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5598 or else NT (N).Nkind = N_Private_Extension_Declaration
5599 or else NT (N).Nkind = N_Record_Definition);
5601 end Set_Synchronized_Present;
5603 procedure Set_Tagged_Present
5604 (N : Node_Id; Val : Boolean := True) is
5606 pragma Assert (False
5607 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5608 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5609 or else NT (N).Nkind = N_Private_Type_Declaration
5610 or else NT (N).Nkind = N_Record_Definition);
5611 Set_Flag15 (N, Val);
5612 end Set_Tagged_Present;
5614 procedure Set_Target_Type
5615 (N : Node_Id; Val : Entity_Id) is
5617 pragma Assert (False
5618 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5619 Set_Node2 (N, Val); -- semantic field, no parent set
5620 end Set_Target_Type;
5622 procedure Set_Task_Definition
5623 (N : Node_Id; Val : Node_Id) is
5625 pragma Assert (False
5626 or else NT (N).Nkind = N_Single_Task_Declaration
5627 or else NT (N).Nkind = N_Task_Type_Declaration);
5628 Set_Node3_With_Parent (N, Val);
5629 end Set_Task_Definition;
5631 procedure Set_Task_Present
5632 (N : Node_Id; Val : Boolean := True) is
5634 pragma Assert (False
5635 or else NT (N).Nkind = N_Derived_Type_Definition
5636 or else NT (N).Nkind = N_Record_Definition);
5638 end Set_Task_Present;
5640 procedure Set_Then_Actions
5641 (N : Node_Id; Val : List_Id) is
5643 pragma Assert (False
5644 or else NT (N).Nkind = N_Conditional_Expression);
5645 Set_List2 (N, Val); -- semantic field, no parent set
5646 end Set_Then_Actions;
5648 procedure Set_Then_Statements
5649 (N : Node_Id; Val : List_Id) is
5651 pragma Assert (False
5652 or else NT (N).Nkind = N_Elsif_Part
5653 or else NT (N).Nkind = N_If_Statement);
5654 Set_List2_With_Parent (N, Val);
5655 end Set_Then_Statements;
5657 procedure Set_Treat_Fixed_As_Integer
5658 (N : Node_Id; Val : Boolean := True) is
5660 pragma Assert (False
5661 or else NT (N).Nkind = N_Op_Divide
5662 or else NT (N).Nkind = N_Op_Mod
5663 or else NT (N).Nkind = N_Op_Multiply
5664 or else NT (N).Nkind = N_Op_Rem);
5665 Set_Flag14 (N, Val);
5666 end Set_Treat_Fixed_As_Integer;
5668 procedure Set_Triggering_Alternative
5669 (N : Node_Id; Val : Node_Id) is
5671 pragma Assert (False
5672 or else NT (N).Nkind = N_Asynchronous_Select);
5673 Set_Node1_With_Parent (N, Val);
5674 end Set_Triggering_Alternative;
5676 procedure Set_Triggering_Statement
5677 (N : Node_Id; Val : Node_Id) is
5679 pragma Assert (False
5680 or else NT (N).Nkind = N_Triggering_Alternative);
5681 Set_Node1_With_Parent (N, Val);
5682 end Set_Triggering_Statement;
5684 procedure Set_TSS_Elist
5685 (N : Node_Id; Val : Elist_Id) is
5687 pragma Assert (False
5688 or else NT (N).Nkind = N_Freeze_Entity);
5689 Set_Elist3 (N, Val); -- semantic field, no parent set
5692 procedure Set_Type_Definition
5693 (N : Node_Id; Val : Node_Id) is
5695 pragma Assert (False
5696 or else NT (N).Nkind = N_Full_Type_Declaration);
5697 Set_Node3_With_Parent (N, Val);
5698 end Set_Type_Definition;
5701 (N : Node_Id; Val : Node_Id) is
5703 pragma Assert (False
5704 or else NT (N).Nkind = N_Compilation_Unit);
5705 Set_Node2_With_Parent (N, Val);
5708 procedure Set_Unknown_Discriminants_Present
5709 (N : Node_Id; Val : Boolean := True) is
5711 pragma Assert (False
5712 or else NT (N).Nkind = N_Formal_Type_Declaration
5713 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5714 or else NT (N).Nkind = N_Private_Extension_Declaration
5715 or else NT (N).Nkind = N_Private_Type_Declaration);
5716 Set_Flag13 (N, Val);
5717 end Set_Unknown_Discriminants_Present;
5719 procedure Set_Unreferenced_In_Spec
5720 (N : Node_Id; Val : Boolean := True) is
5722 pragma Assert (False
5723 or else NT (N).Nkind = N_With_Clause);
5725 end Set_Unreferenced_In_Spec;
5727 procedure Set_Variant_Part
5728 (N : Node_Id; Val : Node_Id) is
5730 pragma Assert (False
5731 or else NT (N).Nkind = N_Component_List);
5732 Set_Node4_With_Parent (N, Val);
5733 end Set_Variant_Part;
5735 procedure Set_Variants
5736 (N : Node_Id; Val : List_Id) is
5738 pragma Assert (False
5739 or else NT (N).Nkind = N_Variant_Part);
5740 Set_List1_With_Parent (N, Val);
5743 procedure Set_Visible_Declarations
5744 (N : Node_Id; Val : List_Id) is
5746 pragma Assert (False
5747 or else NT (N).Nkind = N_Package_Specification
5748 or else NT (N).Nkind = N_Protected_Definition
5749 or else NT (N).Nkind = N_Task_Definition);
5750 Set_List2_With_Parent (N, Val);
5751 end Set_Visible_Declarations;
5753 procedure Set_Was_Originally_Stub
5754 (N : Node_Id; Val : Boolean := True) is
5756 pragma Assert (False
5757 or else NT (N).Nkind = N_Package_Body
5758 or else NT (N).Nkind = N_Protected_Body
5759 or else NT (N).Nkind = N_Subprogram_Body
5760 or else NT (N).Nkind = N_Task_Body);
5761 Set_Flag13 (N, Val);
5762 end Set_Was_Originally_Stub;
5764 procedure Set_Zero_Cost_Handling
5765 (N : Node_Id; Val : Boolean := True) is
5767 pragma Assert (False
5768 or else NT (N).Nkind = N_Exception_Handler
5769 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
5771 end Set_Zero_Cost_Handling;
5773 -------------------------
5774 -- Iterator Procedures --
5775 -------------------------
5777 procedure Next_Entity (N : in out Node_Id) is
5779 N := Next_Entity (N);
5782 procedure Next_Named_Actual (N : in out Node_Id) is
5784 N := Next_Named_Actual (N);
5785 end Next_Named_Actual;
5787 procedure Next_Rep_Item (N : in out Node_Id) is
5789 N := Next_Rep_Item (N);
5792 procedure Next_Use_Clause (N : in out Node_Id) is
5794 N := Next_Use_Clause (N);
5795 end Next_Use_Clause;
5801 function End_Location (N : Node_Id) return Source_Ptr is
5802 L : constant Uint := End_Span (N);
5807 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
5811 ----------------------
5812 -- Set_End_Location --
5813 ----------------------
5815 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
5818 UI_From_Int (Int (S) - Int (Sloc (N))));
5819 end Set_End_Location;
5828 V2 : Node_Kind) return Boolean
5831 return T = V1 or else
5839 V3 : Node_Kind) return Boolean
5842 return T = V1 or else
5852 V4 : Node_Kind) return Boolean
5855 return T = V1 or else
5867 V5 : Node_Kind) return Boolean
5870 return T = V1 or else
5884 V6 : Node_Kind) return Boolean
5887 return T = V1 or else
5903 V7 : Node_Kind) return Boolean
5906 return T = V1 or else
5924 V8 : Node_Kind) return Boolean
5927 return T = V1 or else
5948 V9 : Node_Kind) return Boolean
5951 return T = V1 or else
5966 function Pragma_Name (N : Node_Id) return Name_Id is
5968 return Chars (Pragma_Identifier (N));