1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2005 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 2, 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. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 pragma Style_Checks (All_Checks);
35 -- No subprogram ordering check, due to logical grouping
37 with Atree; use Atree;
41 use Atree.Unchecked_Access;
42 -- This package is one of the few packages which is allowed to make direct
43 -- references to tree nodes (since it is in the business of providing a
44 -- higher level of tree access which other clients are expected to use and
45 -- which implements checks).
47 use Atree_Private_Part;
48 -- The only reason that we ask for direct access to the private part of
49 -- the tree package is so that we can directly reference the Nkind field
50 -- of nodes table entries. We do this since it helps the efficiency of
51 -- the Sinfo debugging checks considerably (note that when we are checking
52 -- Nkind values, we don't need to check for a valid node reference, because
53 -- we will check that anyway when we reference the field).
55 NT : Nodes.Table_Ptr renames Nodes.Table;
56 -- A short hand abbreviation, useful for the debugging checks
58 ----------------------------
59 -- Field Access Functions --
60 ----------------------------
62 function ABE_Is_Certain
63 (N : Node_Id) return Boolean is
66 or else NT (N).Nkind = N_Formal_Package_Declaration
67 or else NT (N).Nkind = N_Function_Call
68 or else NT (N).Nkind = N_Function_Instantiation
69 or else NT (N).Nkind = N_Package_Instantiation
70 or else NT (N).Nkind = N_Procedure_Call_Statement
71 or else NT (N).Nkind = N_Procedure_Instantiation);
75 function Abort_Present
76 (N : Node_Id) return Boolean is
79 or else NT (N).Nkind = N_Requeue_Statement);
83 function Abortable_Part
84 (N : Node_Id) return Node_Id is
87 or else NT (N).Nkind = N_Asynchronous_Select);
91 function Abstract_Present
92 (N : Node_Id) return Boolean is
95 or else NT (N).Nkind = N_Derived_Type_Definition
96 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
97 or else NT (N).Nkind = N_Formal_Private_Type_Definition
98 or else NT (N).Nkind = N_Private_Extension_Declaration
99 or else NT (N).Nkind = N_Private_Type_Declaration
100 or else NT (N).Nkind = N_Record_Definition);
102 end Abstract_Present;
104 function Accept_Handler_Records
105 (N : Node_Id) return List_Id is
108 or else NT (N).Nkind = N_Accept_Alternative);
110 end Accept_Handler_Records;
112 function Accept_Statement
113 (N : Node_Id) return Node_Id is
116 or else NT (N).Nkind = N_Accept_Alternative);
118 end Accept_Statement;
120 function Access_Definition
121 (N : Node_Id) return Node_Id is
124 or else NT (N).Nkind = N_Component_Definition
125 or else NT (N).Nkind = N_Object_Renaming_Declaration);
127 end Access_Definition;
129 function Access_To_Subprogram_Definition
130 (N : Node_Id) return Node_Id is
133 or else NT (N).Nkind = N_Access_Definition);
135 end Access_To_Subprogram_Definition;
137 function Access_Types_To_Process
138 (N : Node_Id) return Elist_Id is
141 or else NT (N).Nkind = N_Freeze_Entity);
143 end Access_Types_To_Process;
146 (N : Node_Id) return List_Id is
149 or else NT (N).Nkind = N_And_Then
150 or else NT (N).Nkind = N_Compilation_Unit_Aux
151 or else NT (N).Nkind = N_Freeze_Entity
152 or else NT (N).Nkind = N_Or_Else);
156 function Activation_Chain_Entity
157 (N : Node_Id) return Node_Id is
160 or else NT (N).Nkind = N_Block_Statement
161 or else NT (N).Nkind = N_Entry_Body
162 or else NT (N).Nkind = N_Generic_Package_Declaration
163 or else NT (N).Nkind = N_Package_Declaration
164 or else NT (N).Nkind = N_Subprogram_Body
165 or else NT (N).Nkind = N_Task_Body);
167 end Activation_Chain_Entity;
169 function Acts_As_Spec
170 (N : Node_Id) return Boolean is
173 or else NT (N).Nkind = N_Compilation_Unit
174 or else NT (N).Nkind = N_Subprogram_Body);
178 function Aggregate_Bounds
179 (N : Node_Id) return Node_Id is
182 or else NT (N).Nkind = N_Aggregate);
184 end Aggregate_Bounds;
186 function Aliased_Present
187 (N : Node_Id) return Boolean is
190 or else NT (N).Nkind = N_Component_Definition
191 or else NT (N).Nkind = N_Object_Declaration);
196 (N : Node_Id) return Boolean is
199 or else NT (N).Nkind = N_Others_Choice);
204 (N : Node_Id) return Boolean is
207 or else NT (N).Nkind = N_Access_Definition
208 or else NT (N).Nkind = N_Access_To_Object_Definition);
212 function Alternatives
213 (N : Node_Id) return List_Id is
216 or else NT (N).Nkind = N_Case_Statement);
220 function Ancestor_Part
221 (N : Node_Id) return Node_Id is
224 or else NT (N).Nkind = N_Extension_Aggregate);
228 function Array_Aggregate
229 (N : Node_Id) return Node_Id is
232 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
236 function Assignment_OK
237 (N : Node_Id) return Boolean is
240 or else NT (N).Nkind = N_Object_Declaration
241 or else NT (N).Nkind in N_Subexpr);
245 function Associated_Node
246 (N : Node_Id) return Node_Id is
249 or else NT (N).Nkind in N_Has_Entity
250 or else NT (N).Nkind = N_Aggregate
251 or else NT (N).Nkind = N_Extension_Aggregate
252 or else NT (N).Nkind = N_Selected_Component);
257 (N : Node_Id) return Node_Id is
260 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
264 function Attribute_Name
265 (N : Node_Id) return Name_Id is
268 or else NT (N).Nkind = N_Attribute_Reference);
272 function Aux_Decls_Node
273 (N : Node_Id) return Node_Id is
276 or else NT (N).Nkind = N_Compilation_Unit);
280 function Backwards_OK
281 (N : Node_Id) return Boolean is
284 or else NT (N).Nkind = N_Assignment_Statement);
288 function Bad_Is_Detected
289 (N : Node_Id) return Boolean is
292 or else NT (N).Nkind = N_Subprogram_Body);
296 function Body_Required
297 (N : Node_Id) return Boolean is
300 or else NT (N).Nkind = N_Compilation_Unit);
304 function Body_To_Inline
305 (N : Node_Id) return Node_Id is
308 or else NT (N).Nkind = N_Subprogram_Declaration);
313 (N : Node_Id) return Boolean is
316 or else NT (N).Nkind = N_Component_Association
317 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
318 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
319 or else NT (N).Nkind = N_Formal_Package_Declaration);
324 (N : Node_Id) return Boolean is
327 or else NT (N).Nkind = N_Return_Statement);
331 function Char_Literal_Value
332 (N : Node_Id) return Uint is
335 or else NT (N).Nkind = N_Character_Literal);
337 end Char_Literal_Value;
340 (N : Node_Id) return Name_Id is
343 or else NT (N).Nkind in N_Has_Chars);
347 function Check_Address_Alignment
348 (N : Node_Id) return Boolean is
351 or else NT (N).Nkind = N_Attribute_Definition_Clause);
353 end Check_Address_Alignment;
355 function Choice_Parameter
356 (N : Node_Id) return Node_Id is
359 or else NT (N).Nkind = N_Exception_Handler);
361 end Choice_Parameter;
364 (N : Node_Id) return List_Id is
367 or else NT (N).Nkind = N_Component_Association);
371 function Compile_Time_Known_Aggregate
372 (N : Node_Id) return Boolean is
375 or else NT (N).Nkind = N_Aggregate);
377 end Compile_Time_Known_Aggregate;
379 function Component_Associations
380 (N : Node_Id) return List_Id is
383 or else NT (N).Nkind = N_Aggregate
384 or else NT (N).Nkind = N_Extension_Aggregate);
386 end Component_Associations;
388 function Component_Clauses
389 (N : Node_Id) return List_Id is
392 or else NT (N).Nkind = N_Record_Representation_Clause);
394 end Component_Clauses;
396 function Component_Definition
397 (N : Node_Id) return Node_Id is
400 or else NT (N).Nkind = N_Component_Declaration
401 or else NT (N).Nkind = N_Constrained_Array_Definition
402 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
404 end Component_Definition;
406 function Component_Items
407 (N : Node_Id) return List_Id is
410 or else NT (N).Nkind = N_Component_List);
414 function Component_List
415 (N : Node_Id) return Node_Id is
418 or else NT (N).Nkind = N_Record_Definition
419 or else NT (N).Nkind = N_Variant);
423 function Component_Name
424 (N : Node_Id) return Node_Id is
427 or else NT (N).Nkind = N_Component_Clause);
432 (N : Node_Id) return Node_Id is
435 or else NT (N).Nkind = N_Accept_Alternative
436 or else NT (N).Nkind = N_Delay_Alternative
437 or else NT (N).Nkind = N_Elsif_Part
438 or else NT (N).Nkind = N_Entry_Body_Formal_Part
439 or else NT (N).Nkind = N_Exit_Statement
440 or else NT (N).Nkind = N_If_Statement
441 or else NT (N).Nkind = N_Iteration_Scheme
442 or else NT (N).Nkind = N_Raise_Constraint_Error
443 or else NT (N).Nkind = N_Raise_Program_Error
444 or else NT (N).Nkind = N_Raise_Storage_Error
445 or else NT (N).Nkind = N_Terminate_Alternative);
449 function Condition_Actions
450 (N : Node_Id) return List_Id is
453 or else NT (N).Nkind = N_Elsif_Part
454 or else NT (N).Nkind = N_Iteration_Scheme);
456 end Condition_Actions;
458 function Config_Pragmas
459 (N : Node_Id) return List_Id is
462 or else NT (N).Nkind = N_Compilation_Unit_Aux);
466 function Constant_Present
467 (N : Node_Id) return Boolean is
470 or else NT (N).Nkind = N_Access_Definition
471 or else NT (N).Nkind = N_Access_To_Object_Definition
472 or else NT (N).Nkind = N_Object_Declaration);
474 end Constant_Present;
477 (N : Node_Id) return Node_Id is
480 or else NT (N).Nkind = N_Subtype_Indication);
485 (N : Node_Id) return List_Id is
488 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
492 function Context_Installed
493 (N : Node_Id) return Boolean is
496 or else NT (N).Nkind = N_With_Clause);
498 end Context_Installed;
500 function Context_Items
501 (N : Node_Id) return List_Id is
504 or else NT (N).Nkind = N_Compilation_Unit);
508 function Controlling_Argument
509 (N : Node_Id) return Node_Id is
512 or else NT (N).Nkind = N_Function_Call
513 or else NT (N).Nkind = N_Procedure_Call_Statement);
515 end Controlling_Argument;
517 function Conversion_OK
518 (N : Node_Id) return Boolean is
521 or else NT (N).Nkind = N_Type_Conversion);
525 function Corresponding_Body
526 (N : Node_Id) return Node_Id is
529 or else NT (N).Nkind = N_Entry_Declaration
530 or else NT (N).Nkind = N_Generic_Package_Declaration
531 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
532 or else NT (N).Nkind = N_Package_Body_Stub
533 or else NT (N).Nkind = N_Package_Declaration
534 or else NT (N).Nkind = N_Protected_Body_Stub
535 or else NT (N).Nkind = N_Protected_Type_Declaration
536 or else NT (N).Nkind = N_Subprogram_Body_Stub
537 or else NT (N).Nkind = N_Subprogram_Declaration
538 or else NT (N).Nkind = N_Task_Body_Stub
539 or else NT (N).Nkind = N_Task_Type_Declaration);
541 end Corresponding_Body;
543 function Corresponding_Formal_Spec
544 (N : Node_Id) return Node_Id is
547 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
549 end Corresponding_Formal_Spec;
551 function Corresponding_Generic_Association
552 (N : Node_Id) return Node_Id is
555 or else NT (N).Nkind = N_Object_Declaration
556 or else NT (N).Nkind = N_Object_Renaming_Declaration);
558 end Corresponding_Generic_Association;
560 function Corresponding_Integer_Value
561 (N : Node_Id) return Uint is
564 or else NT (N).Nkind = N_Real_Literal);
566 end Corresponding_Integer_Value;
568 function Corresponding_Spec
569 (N : Node_Id) return Node_Id is
572 or else NT (N).Nkind = N_Package_Body
573 or else NT (N).Nkind = N_Protected_Body
574 or else NT (N).Nkind = N_Subprogram_Body
575 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
576 or else NT (N).Nkind = N_Task_Body
577 or else NT (N).Nkind = N_With_Clause);
579 end Corresponding_Spec;
581 function Corresponding_Stub
582 (N : Node_Id) return Node_Id is
585 or else NT (N).Nkind = N_Subunit);
587 end Corresponding_Stub;
589 function Dcheck_Function
590 (N : Node_Id) return Entity_Id is
593 or else NT (N).Nkind = N_Variant);
597 function Debug_Statement
598 (N : Node_Id) return Node_Id is
601 or else NT (N).Nkind = N_Pragma);
605 function Declarations
606 (N : Node_Id) return List_Id is
609 or else NT (N).Nkind = N_Accept_Statement
610 or else NT (N).Nkind = N_Block_Statement
611 or else NT (N).Nkind = N_Compilation_Unit_Aux
612 or else NT (N).Nkind = N_Entry_Body
613 or else NT (N).Nkind = N_Package_Body
614 or else NT (N).Nkind = N_Protected_Body
615 or else NT (N).Nkind = N_Subprogram_Body
616 or else NT (N).Nkind = N_Task_Body);
620 function Default_Expression
621 (N : Node_Id) return Node_Id is
624 or else NT (N).Nkind = N_Parameter_Specification);
626 end Default_Expression;
628 function Default_Name
629 (N : Node_Id) return Node_Id is
632 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
633 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
637 function Defining_Identifier
638 (N : Node_Id) return Entity_Id is
641 or else NT (N).Nkind = N_Component_Declaration
642 or else NT (N).Nkind = N_Defining_Program_Unit_Name
643 or else NT (N).Nkind = N_Discriminant_Specification
644 or else NT (N).Nkind = N_Entry_Body
645 or else NT (N).Nkind = N_Entry_Declaration
646 or else NT (N).Nkind = N_Entry_Index_Specification
647 or else NT (N).Nkind = N_Exception_Declaration
648 or else NT (N).Nkind = N_Exception_Renaming_Declaration
649 or else NT (N).Nkind = N_Formal_Object_Declaration
650 or else NT (N).Nkind = N_Formal_Package_Declaration
651 or else NT (N).Nkind = N_Formal_Type_Declaration
652 or else NT (N).Nkind = N_Full_Type_Declaration
653 or else NT (N).Nkind = N_Implicit_Label_Declaration
654 or else NT (N).Nkind = N_Incomplete_Type_Declaration
655 or else NT (N).Nkind = N_Loop_Parameter_Specification
656 or else NT (N).Nkind = N_Number_Declaration
657 or else NT (N).Nkind = N_Object_Declaration
658 or else NT (N).Nkind = N_Object_Renaming_Declaration
659 or else NT (N).Nkind = N_Package_Body_Stub
660 or else NT (N).Nkind = N_Parameter_Specification
661 or else NT (N).Nkind = N_Private_Extension_Declaration
662 or else NT (N).Nkind = N_Private_Type_Declaration
663 or else NT (N).Nkind = N_Protected_Body
664 or else NT (N).Nkind = N_Protected_Body_Stub
665 or else NT (N).Nkind = N_Protected_Type_Declaration
666 or else NT (N).Nkind = N_Single_Protected_Declaration
667 or else NT (N).Nkind = N_Single_Task_Declaration
668 or else NT (N).Nkind = N_Subtype_Declaration
669 or else NT (N).Nkind = N_Task_Body
670 or else NT (N).Nkind = N_Task_Body_Stub
671 or else NT (N).Nkind = N_Task_Type_Declaration);
673 end Defining_Identifier;
675 function Defining_Unit_Name
676 (N : Node_Id) return Node_Id is
679 or else NT (N).Nkind = N_Function_Instantiation
680 or else NT (N).Nkind = N_Function_Specification
681 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
682 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
683 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
684 or else NT (N).Nkind = N_Package_Body
685 or else NT (N).Nkind = N_Package_Instantiation
686 or else NT (N).Nkind = N_Package_Renaming_Declaration
687 or else NT (N).Nkind = N_Package_Specification
688 or else NT (N).Nkind = N_Procedure_Instantiation
689 or else NT (N).Nkind = N_Procedure_Specification);
691 end Defining_Unit_Name;
693 function Delay_Alternative
694 (N : Node_Id) return Node_Id is
697 or else NT (N).Nkind = N_Timed_Entry_Call);
699 end Delay_Alternative;
701 function Delay_Finalize_Attach
702 (N : Node_Id) return Boolean is
705 or else NT (N).Nkind = N_Object_Declaration);
707 end Delay_Finalize_Attach;
709 function Delay_Statement
710 (N : Node_Id) return Node_Id is
713 or else NT (N).Nkind = N_Delay_Alternative);
717 function Delta_Expression
718 (N : Node_Id) return Node_Id is
721 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
722 or else NT (N).Nkind = N_Delta_Constraint
723 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
725 end Delta_Expression;
727 function Digits_Expression
728 (N : Node_Id) return Node_Id is
731 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
732 or else NT (N).Nkind = N_Digits_Constraint
733 or else NT (N).Nkind = N_Floating_Point_Definition);
735 end Digits_Expression;
737 function Discr_Check_Funcs_Built
738 (N : Node_Id) return Boolean is
741 or else NT (N).Nkind = N_Full_Type_Declaration);
743 end Discr_Check_Funcs_Built;
745 function Discrete_Choices
746 (N : Node_Id) return List_Id is
749 or else NT (N).Nkind = N_Case_Statement_Alternative
750 or else NT (N).Nkind = N_Variant);
752 end Discrete_Choices;
754 function Discrete_Range
755 (N : Node_Id) return Node_Id is
758 or else NT (N).Nkind = N_Slice);
762 function Discrete_Subtype_Definition
763 (N : Node_Id) return Node_Id is
766 or else NT (N).Nkind = N_Entry_Declaration
767 or else NT (N).Nkind = N_Entry_Index_Specification
768 or else NT (N).Nkind = N_Loop_Parameter_Specification);
770 end Discrete_Subtype_Definition;
772 function Discrete_Subtype_Definitions
773 (N : Node_Id) return List_Id is
776 or else NT (N).Nkind = N_Constrained_Array_Definition);
778 end Discrete_Subtype_Definitions;
780 function Discriminant_Specifications
781 (N : Node_Id) return List_Id is
784 or else NT (N).Nkind = N_Formal_Type_Declaration
785 or else NT (N).Nkind = N_Full_Type_Declaration
786 or else NT (N).Nkind = N_Incomplete_Type_Declaration
787 or else NT (N).Nkind = N_Private_Extension_Declaration
788 or else NT (N).Nkind = N_Private_Type_Declaration
789 or else NT (N).Nkind = N_Protected_Type_Declaration
790 or else NT (N).Nkind = N_Task_Type_Declaration);
792 end Discriminant_Specifications;
794 function Discriminant_Type
795 (N : Node_Id) return Node_Id is
798 or else NT (N).Nkind = N_Discriminant_Specification);
800 end Discriminant_Type;
802 function Do_Accessibility_Check
803 (N : Node_Id) return Boolean is
806 or else NT (N).Nkind = N_Parameter_Specification);
808 end Do_Accessibility_Check;
810 function Do_Discriminant_Check
811 (N : Node_Id) return Boolean is
814 or else NT (N).Nkind = N_Selected_Component);
816 end Do_Discriminant_Check;
818 function Do_Division_Check
819 (N : Node_Id) return Boolean is
822 or else NT (N).Nkind = N_Op_Divide
823 or else NT (N).Nkind = N_Op_Mod
824 or else NT (N).Nkind = N_Op_Rem);
826 end Do_Division_Check;
828 function Do_Length_Check
829 (N : Node_Id) return Boolean is
832 or else NT (N).Nkind = N_Assignment_Statement
833 or else NT (N).Nkind = N_Op_And
834 or else NT (N).Nkind = N_Op_Or
835 or else NT (N).Nkind = N_Op_Xor
836 or else NT (N).Nkind = N_Type_Conversion);
840 function Do_Overflow_Check
841 (N : Node_Id) return Boolean is
844 or else NT (N).Nkind in N_Op
845 or else NT (N).Nkind = N_Attribute_Reference
846 or else NT (N).Nkind = N_Type_Conversion);
848 end Do_Overflow_Check;
850 function Do_Range_Check
851 (N : Node_Id) return Boolean is
854 or else NT (N).Nkind in N_Subexpr);
858 function Do_Storage_Check
859 (N : Node_Id) return Boolean is
862 or else NT (N).Nkind = N_Allocator
863 or else NT (N).Nkind = N_Subprogram_Body);
865 end Do_Storage_Check;
867 function Do_Tag_Check
868 (N : Node_Id) return Boolean is
871 or else NT (N).Nkind = N_Assignment_Statement
872 or else NT (N).Nkind = N_Function_Call
873 or else NT (N).Nkind = N_Procedure_Call_Statement
874 or else NT (N).Nkind = N_Return_Statement
875 or else NT (N).Nkind = N_Type_Conversion);
879 function Elaborate_All_Present
880 (N : Node_Id) return Boolean is
883 or else NT (N).Nkind = N_With_Clause);
885 end Elaborate_All_Present;
887 function Elaborate_Present
888 (N : Node_Id) return Boolean is
891 or else NT (N).Nkind = N_With_Clause);
893 end Elaborate_Present;
895 function Elaboration_Boolean
896 (N : Node_Id) return Node_Id is
899 or else NT (N).Nkind = N_Function_Specification
900 or else NT (N).Nkind = N_Procedure_Specification);
902 end Elaboration_Boolean;
904 function Else_Actions
905 (N : Node_Id) return List_Id is
908 or else NT (N).Nkind = N_Conditional_Expression);
912 function Else_Statements
913 (N : Node_Id) return List_Id is
916 or else NT (N).Nkind = N_Conditional_Entry_Call
917 or else NT (N).Nkind = N_If_Statement
918 or else NT (N).Nkind = N_Selective_Accept);
923 (N : Node_Id) return List_Id is
926 or else NT (N).Nkind = N_If_Statement);
930 function Enclosing_Variant
931 (N : Node_Id) return Node_Id is
934 or else NT (N).Nkind = N_Variant);
936 end Enclosing_Variant;
939 (N : Node_Id) return Node_Id is
942 or else NT (N).Nkind = N_Enumeration_Type_Definition
943 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
944 or else NT (N).Nkind = N_Loop_Statement
945 or else NT (N).Nkind = N_Package_Specification
946 or else NT (N).Nkind = N_Protected_Body
947 or else NT (N).Nkind = N_Protected_Definition
948 or else NT (N).Nkind = N_Record_Definition
949 or else NT (N).Nkind = N_Task_Definition);
954 (N : Node_Id) return Uint is
957 or else NT (N).Nkind = N_Case_Statement
958 or else NT (N).Nkind = N_If_Statement);
963 (N : Node_Id) return Node_Id is
966 or else NT (N).Nkind in N_Has_Entity
967 or else NT (N).Nkind = N_Freeze_Entity);
971 function Entity_Or_Associated_Node
972 (N : Node_Id) return Node_Id is
975 or else NT (N).Nkind in N_Has_Entity
976 or else NT (N).Nkind = N_Freeze_Entity);
978 end Entity_Or_Associated_Node;
980 function Entry_Body_Formal_Part
981 (N : Node_Id) return Node_Id is
984 or else NT (N).Nkind = N_Entry_Body);
986 end Entry_Body_Formal_Part;
988 function Entry_Call_Alternative
989 (N : Node_Id) return Node_Id is
992 or else NT (N).Nkind = N_Conditional_Entry_Call
993 or else NT (N).Nkind = N_Timed_Entry_Call);
995 end Entry_Call_Alternative;
997 function Entry_Call_Statement
998 (N : Node_Id) return Node_Id is
1000 pragma Assert (False
1001 or else NT (N).Nkind = N_Entry_Call_Alternative);
1003 end Entry_Call_Statement;
1005 function Entry_Direct_Name
1006 (N : Node_Id) return Node_Id is
1008 pragma Assert (False
1009 or else NT (N).Nkind = N_Accept_Statement);
1011 end Entry_Direct_Name;
1013 function Entry_Index
1014 (N : Node_Id) return Node_Id is
1016 pragma Assert (False
1017 or else NT (N).Nkind = N_Accept_Statement);
1021 function Entry_Index_Specification
1022 (N : Node_Id) return Node_Id is
1024 pragma Assert (False
1025 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1027 end Entry_Index_Specification;
1030 (N : Node_Id) return Node_Id is
1032 pragma Assert (False
1033 or else NT (N).Nkind in N_Has_Etype);
1037 function Exception_Choices
1038 (N : Node_Id) return List_Id is
1040 pragma Assert (False
1041 or else NT (N).Nkind = N_Exception_Handler);
1043 end Exception_Choices;
1045 function Exception_Handlers
1046 (N : Node_Id) return List_Id is
1048 pragma Assert (False
1049 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1051 end Exception_Handlers;
1053 function Exception_Junk
1054 (N : Node_Id) return Boolean is
1056 pragma Assert (False
1057 or else NT (N).Nkind = N_Goto_Statement
1058 or else NT (N).Nkind = N_Label
1059 or else NT (N).Nkind = N_Object_Declaration
1060 or else NT (N).Nkind = N_Subtype_Declaration);
1064 function Expansion_Delayed
1065 (N : Node_Id) return Boolean is
1067 pragma Assert (False
1068 or else NT (N).Nkind = N_Aggregate
1069 or else NT (N).Nkind = N_Extension_Aggregate);
1071 end Expansion_Delayed;
1073 function Explicit_Actual_Parameter
1074 (N : Node_Id) return Node_Id is
1076 pragma Assert (False
1077 or else NT (N).Nkind = N_Parameter_Association);
1079 end Explicit_Actual_Parameter;
1081 function Explicit_Generic_Actual_Parameter
1082 (N : Node_Id) return Node_Id is
1084 pragma Assert (False
1085 or else NT (N).Nkind = N_Generic_Association);
1087 end Explicit_Generic_Actual_Parameter;
1090 (N : Node_Id) return Node_Id is
1092 pragma Assert (False
1093 or else NT (N).Nkind = N_Allocator
1094 or else NT (N).Nkind = N_Assignment_Statement
1095 or else NT (N).Nkind = N_At_Clause
1096 or else NT (N).Nkind = N_Attribute_Definition_Clause
1097 or else NT (N).Nkind = N_Case_Statement
1098 or else NT (N).Nkind = N_Code_Statement
1099 or else NT (N).Nkind = N_Component_Association
1100 or else NT (N).Nkind = N_Component_Declaration
1101 or else NT (N).Nkind = N_Delay_Relative_Statement
1102 or else NT (N).Nkind = N_Delay_Until_Statement
1103 or else NT (N).Nkind = N_Discriminant_Association
1104 or else NT (N).Nkind = N_Discriminant_Specification
1105 or else NT (N).Nkind = N_Exception_Declaration
1106 or else NT (N).Nkind = N_Formal_Object_Declaration
1107 or else NT (N).Nkind = N_Free_Statement
1108 or else NT (N).Nkind = N_Mod_Clause
1109 or else NT (N).Nkind = N_Modular_Type_Definition
1110 or else NT (N).Nkind = N_Number_Declaration
1111 or else NT (N).Nkind = N_Object_Declaration
1112 or else NT (N).Nkind = N_Parameter_Specification
1113 or else NT (N).Nkind = N_Pragma_Argument_Association
1114 or else NT (N).Nkind = N_Qualified_Expression
1115 or else NT (N).Nkind = N_Raise_Statement
1116 or else NT (N).Nkind = N_Return_Statement
1117 or else NT (N).Nkind = N_Type_Conversion
1118 or else NT (N).Nkind = N_Unchecked_Expression
1119 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1123 function Expressions
1124 (N : Node_Id) return List_Id is
1126 pragma Assert (False
1127 or else NT (N).Nkind = N_Aggregate
1128 or else NT (N).Nkind = N_Attribute_Reference
1129 or else NT (N).Nkind = N_Conditional_Expression
1130 or else NT (N).Nkind = N_Extension_Aggregate
1131 or else NT (N).Nkind = N_Indexed_Component);
1136 (N : Node_Id) return Node_Id is
1138 pragma Assert (False
1139 or else NT (N).Nkind = N_Component_Clause);
1143 function First_Inlined_Subprogram
1144 (N : Node_Id) return Entity_Id is
1146 pragma Assert (False
1147 or else NT (N).Nkind = N_Compilation_Unit);
1149 end First_Inlined_Subprogram;
1152 (N : Node_Id) return Boolean is
1154 pragma Assert (False
1155 or else NT (N).Nkind = N_With_Clause);
1159 function First_Named_Actual
1160 (N : Node_Id) return Node_Id is
1162 pragma Assert (False
1163 or else NT (N).Nkind = N_Entry_Call_Statement
1164 or else NT (N).Nkind = N_Function_Call
1165 or else NT (N).Nkind = N_Procedure_Call_Statement);
1167 end First_Named_Actual;
1169 function First_Real_Statement
1170 (N : Node_Id) return Node_Id is
1172 pragma Assert (False
1173 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1175 end First_Real_Statement;
1177 function First_Subtype_Link
1178 (N : Node_Id) return Entity_Id is
1180 pragma Assert (False
1181 or else NT (N).Nkind = N_Freeze_Entity);
1183 end First_Subtype_Link;
1185 function Float_Truncate
1186 (N : Node_Id) return Boolean is
1188 pragma Assert (False
1189 or else NT (N).Nkind = N_Type_Conversion);
1193 function Formal_Type_Definition
1194 (N : Node_Id) return Node_Id is
1196 pragma Assert (False
1197 or else NT (N).Nkind = N_Formal_Type_Declaration);
1199 end Formal_Type_Definition;
1201 function Forwards_OK
1202 (N : Node_Id) return Boolean is
1204 pragma Assert (False
1205 or else NT (N).Nkind = N_Assignment_Statement);
1209 function From_At_Mod
1210 (N : Node_Id) return Boolean is
1212 pragma Assert (False
1213 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1217 function From_Default
1218 (N : Node_Id) return Boolean is
1220 pragma Assert (False
1221 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1225 function Generic_Associations
1226 (N : Node_Id) return List_Id is
1228 pragma Assert (False
1229 or else NT (N).Nkind = N_Formal_Package_Declaration
1230 or else NT (N).Nkind = N_Function_Instantiation
1231 or else NT (N).Nkind = N_Package_Instantiation
1232 or else NT (N).Nkind = N_Procedure_Instantiation);
1234 end Generic_Associations;
1236 function Generic_Formal_Declarations
1237 (N : Node_Id) return List_Id is
1239 pragma Assert (False
1240 or else NT (N).Nkind = N_Generic_Package_Declaration
1241 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1243 end Generic_Formal_Declarations;
1245 function Generic_Parent
1246 (N : Node_Id) return Node_Id is
1248 pragma Assert (False
1249 or else NT (N).Nkind = N_Function_Specification
1250 or else NT (N).Nkind = N_Package_Specification
1251 or else NT (N).Nkind = N_Procedure_Specification);
1255 function Generic_Parent_Type
1256 (N : Node_Id) return Node_Id is
1258 pragma Assert (False
1259 or else NT (N).Nkind = N_Subtype_Declaration);
1261 end Generic_Parent_Type;
1263 function Handled_Statement_Sequence
1264 (N : Node_Id) return Node_Id is
1266 pragma Assert (False
1267 or else NT (N).Nkind = N_Accept_Statement
1268 or else NT (N).Nkind = N_Block_Statement
1269 or else NT (N).Nkind = N_Entry_Body
1270 or else NT (N).Nkind = N_Package_Body
1271 or else NT (N).Nkind = N_Subprogram_Body
1272 or else NT (N).Nkind = N_Task_Body);
1274 end Handled_Statement_Sequence;
1276 function Handler_List_Entry
1277 (N : Node_Id) return Node_Id is
1279 pragma Assert (False
1280 or else NT (N).Nkind = N_Object_Declaration);
1282 end Handler_List_Entry;
1284 function Has_Created_Identifier
1285 (N : Node_Id) return Boolean is
1287 pragma Assert (False
1288 or else NT (N).Nkind = N_Block_Statement
1289 or else NT (N).Nkind = N_Loop_Statement);
1291 end Has_Created_Identifier;
1293 function Has_Dynamic_Length_Check
1294 (N : Node_Id) return Boolean is
1297 end Has_Dynamic_Length_Check;
1299 function Has_Dynamic_Range_Check
1300 (N : Node_Id) return Boolean is
1303 end Has_Dynamic_Range_Check;
1305 function Has_No_Elaboration_Code
1306 (N : Node_Id) return Boolean is
1308 pragma Assert (False
1309 or else NT (N).Nkind = N_Compilation_Unit);
1311 end Has_No_Elaboration_Code;
1313 function Has_Priority_Pragma
1314 (N : Node_Id) return Boolean is
1316 pragma Assert (False
1317 or else NT (N).Nkind = N_Protected_Definition
1318 or else NT (N).Nkind = N_Subprogram_Body
1319 or else NT (N).Nkind = N_Task_Definition);
1321 end Has_Priority_Pragma;
1323 function Has_Private_View
1324 (N : Node_Id) return Boolean is
1326 pragma Assert (False
1327 or else NT (N).Nkind in N_Op
1328 or else NT (N).Nkind = N_Character_Literal
1329 or else NT (N).Nkind = N_Expanded_Name
1330 or else NT (N).Nkind = N_Identifier
1331 or else NT (N).Nkind = N_Operator_Symbol);
1333 end Has_Private_View;
1335 function Has_Storage_Size_Pragma
1336 (N : Node_Id) return Boolean is
1338 pragma Assert (False
1339 or else NT (N).Nkind = N_Task_Definition);
1341 end Has_Storage_Size_Pragma;
1343 function Has_Task_Info_Pragma
1344 (N : Node_Id) return Boolean is
1346 pragma Assert (False
1347 or else NT (N).Nkind = N_Task_Definition);
1349 end Has_Task_Info_Pragma;
1351 function Has_Task_Name_Pragma
1352 (N : Node_Id) return Boolean is
1354 pragma Assert (False
1355 or else NT (N).Nkind = N_Task_Definition);
1357 end Has_Task_Name_Pragma;
1359 function Has_Wide_Character
1360 (N : Node_Id) return Boolean is
1362 pragma Assert (False
1363 or else NT (N).Nkind = N_String_Literal);
1365 end Has_Wide_Character;
1367 function Hidden_By_Use_Clause
1368 (N : Node_Id) return Elist_Id is
1370 pragma Assert (False
1371 or else NT (N).Nkind = N_Use_Package_Clause
1372 or else NT (N).Nkind = N_Use_Type_Clause);
1374 end Hidden_By_Use_Clause;
1377 (N : Node_Id) return Node_Id is
1379 pragma Assert (False
1380 or else NT (N).Nkind = N_Range
1381 or else NT (N).Nkind = N_Real_Range_Specification
1382 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1387 (N : Node_Id) return Node_Id is
1389 pragma Assert (False
1390 or else NT (N).Nkind = N_At_Clause
1391 or else NT (N).Nkind = N_Block_Statement
1392 or else NT (N).Nkind = N_Designator
1393 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1394 or else NT (N).Nkind = N_Label
1395 or else NT (N).Nkind = N_Loop_Statement
1396 or else NT (N).Nkind = N_Record_Representation_Clause
1397 or else NT (N).Nkind = N_Subprogram_Info);
1401 function Implicit_With
1402 (N : Node_Id) return Boolean is
1404 pragma Assert (False
1405 or else NT (N).Nkind = N_With_Clause);
1409 function Interface_List
1410 (N : Node_Id) return List_Id is
1412 pragma Assert (False
1413 or else NT (N).Nkind = N_Derived_Type_Definition
1414 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1415 or else NT (N).Nkind = N_Private_Extension_Declaration
1416 or else NT (N).Nkind = N_Protected_Type_Declaration
1417 or else NT (N).Nkind = N_Record_Definition
1418 or else NT (N).Nkind = N_Single_Protected_Declaration
1419 or else NT (N).Nkind = N_Single_Task_Declaration
1420 or else NT (N).Nkind = N_Task_Type_Declaration);
1424 function Interface_Present
1425 (N : Node_Id) return Boolean is
1427 pragma Assert (False
1428 or else NT (N).Nkind = N_Derived_Type_Definition
1429 or else NT (N).Nkind = N_Record_Definition);
1431 end Interface_Present;
1434 (N : Node_Id) return Boolean is
1436 pragma Assert (False
1437 or else NT (N).Nkind = N_Formal_Object_Declaration
1438 or else NT (N).Nkind = N_Parameter_Specification);
1442 function Includes_Infinities
1443 (N : Node_Id) return Boolean is
1445 pragma Assert (False
1446 or else NT (N).Nkind = N_Range);
1448 end Includes_Infinities;
1450 function Instance_Spec
1451 (N : Node_Id) return Node_Id is
1453 pragma Assert (False
1454 or else NT (N).Nkind = N_Formal_Package_Declaration
1455 or else NT (N).Nkind = N_Function_Instantiation
1456 or else NT (N).Nkind = N_Package_Instantiation
1457 or else NT (N).Nkind = N_Procedure_Instantiation);
1462 (N : Node_Id) return Uint is
1464 pragma Assert (False
1465 or else NT (N).Nkind = N_Integer_Literal);
1469 function Is_Asynchronous_Call_Block
1470 (N : Node_Id) return Boolean is
1472 pragma Assert (False
1473 or else NT (N).Nkind = N_Block_Statement);
1475 end Is_Asynchronous_Call_Block;
1477 function Is_Component_Left_Opnd
1478 (N : Node_Id) return Boolean is
1480 pragma Assert (False
1481 or else NT (N).Nkind = N_Op_Concat);
1483 end Is_Component_Left_Opnd;
1485 function Is_Component_Right_Opnd
1486 (N : Node_Id) return Boolean is
1488 pragma Assert (False
1489 or else NT (N).Nkind = N_Op_Concat);
1491 end Is_Component_Right_Opnd;
1493 function Is_Controlling_Actual
1494 (N : Node_Id) return Boolean is
1496 pragma Assert (False
1497 or else NT (N).Nkind in N_Subexpr);
1499 end Is_Controlling_Actual;
1501 function Is_In_Discriminant_Check
1502 (N : Node_Id) return Boolean is
1504 pragma Assert (False
1505 or else NT (N).Nkind = N_Selected_Component);
1507 end Is_In_Discriminant_Check;
1509 function Is_Machine_Number
1510 (N : Node_Id) return Boolean is
1512 pragma Assert (False
1513 or else NT (N).Nkind = N_Real_Literal);
1515 end Is_Machine_Number;
1517 function Is_Null_Loop
1518 (N : Node_Id) return Boolean is
1520 pragma Assert (False
1521 or else NT (N).Nkind = N_Loop_Statement);
1525 function Is_Overloaded
1526 (N : Node_Id) return Boolean is
1528 pragma Assert (False
1529 or else NT (N).Nkind in N_Subexpr);
1533 function Is_Power_Of_2_For_Shift
1534 (N : Node_Id) return Boolean is
1536 pragma Assert (False
1537 or else NT (N).Nkind = N_Op_Expon);
1539 end Is_Power_Of_2_For_Shift;
1541 function Is_Protected_Subprogram_Body
1542 (N : Node_Id) return Boolean is
1544 pragma Assert (False
1545 or else NT (N).Nkind = N_Subprogram_Body);
1547 end Is_Protected_Subprogram_Body;
1549 function Is_Static_Expression
1550 (N : Node_Id) return Boolean is
1552 pragma Assert (False
1553 or else NT (N).Nkind in N_Subexpr);
1555 end Is_Static_Expression;
1557 function Is_Subprogram_Descriptor
1558 (N : Node_Id) return Boolean is
1560 pragma Assert (False
1561 or else NT (N).Nkind = N_Object_Declaration);
1563 end Is_Subprogram_Descriptor;
1565 function Is_Task_Allocation_Block
1566 (N : Node_Id) return Boolean is
1568 pragma Assert (False
1569 or else NT (N).Nkind = N_Block_Statement);
1571 end Is_Task_Allocation_Block;
1573 function Is_Task_Master
1574 (N : Node_Id) return Boolean is
1576 pragma Assert (False
1577 or else NT (N).Nkind = N_Block_Statement
1578 or else NT (N).Nkind = N_Subprogram_Body
1579 or else NT (N).Nkind = N_Task_Body);
1583 function Iteration_Scheme
1584 (N : Node_Id) return Node_Id is
1586 pragma Assert (False
1587 or else NT (N).Nkind = N_Loop_Statement);
1589 end Iteration_Scheme;
1592 (N : Node_Id) return Node_Id is
1594 pragma Assert (False
1595 or else NT (N).Nkind = N_Itype_Reference);
1599 function Kill_Range_Check
1600 (N : Node_Id) return Boolean is
1602 pragma Assert (False
1603 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1605 end Kill_Range_Check;
1607 function Label_Construct
1608 (N : Node_Id) return Node_Id is
1610 pragma Assert (False
1611 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1613 end Label_Construct;
1616 (N : Node_Id) return Node_Id is
1618 pragma Assert (False
1619 or else NT (N).Nkind = N_Component_Clause);
1624 (N : Node_Id) return Boolean is
1626 pragma Assert (False
1627 or else NT (N).Nkind = N_With_Clause);
1632 (N : Node_Id) return Node_Id is
1634 pragma Assert (False
1635 or else NT (N).Nkind = N_And_Then
1636 or else NT (N).Nkind = N_In
1637 or else NT (N).Nkind = N_Not_In
1638 or else NT (N).Nkind = N_Or_Else
1639 or else NT (N).Nkind in N_Binary_Op);
1643 function Library_Unit
1644 (N : Node_Id) return Node_Id is
1646 pragma Assert (False
1647 or else NT (N).Nkind = N_Compilation_Unit
1648 or else NT (N).Nkind = N_Package_Body_Stub
1649 or else NT (N).Nkind = N_Protected_Body_Stub
1650 or else NT (N).Nkind = N_Subprogram_Body_Stub
1651 or else NT (N).Nkind = N_Task_Body_Stub
1652 or else NT (N).Nkind = N_With_Clause);
1656 function Limited_View_Installed
1657 (N : Node_Id) return Boolean is
1659 pragma Assert (False
1660 or else NT (N).Nkind = N_Package_Specification
1661 or else NT (N).Nkind = N_With_Clause);
1663 end Limited_View_Installed;
1665 function Limited_Present
1666 (N : Node_Id) return Boolean is
1668 pragma Assert (False
1669 or else NT (N).Nkind = N_Derived_Type_Definition
1670 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1671 or else NT (N).Nkind = N_Private_Extension_Declaration
1672 or else NT (N).Nkind = N_Private_Type_Declaration
1673 or else NT (N).Nkind = N_Record_Definition
1674 or else NT (N).Nkind = N_With_Clause);
1676 end Limited_Present;
1679 (N : Node_Id) return List_Id is
1681 pragma Assert (False
1682 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1686 function Loop_Actions
1687 (N : Node_Id) return List_Id is
1689 pragma Assert (False
1690 or else NT (N).Nkind = N_Component_Association);
1694 function Loop_Parameter_Specification
1695 (N : Node_Id) return Node_Id is
1697 pragma Assert (False
1698 or else NT (N).Nkind = N_Iteration_Scheme);
1700 end Loop_Parameter_Specification;
1703 (N : Node_Id) return Node_Id is
1705 pragma Assert (False
1706 or else NT (N).Nkind = N_Range
1707 or else NT (N).Nkind = N_Real_Range_Specification
1708 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1713 (N : Node_Id) return Node_Id is
1715 pragma Assert (False
1716 or else NT (N).Nkind = N_Record_Representation_Clause);
1721 (N : Node_Id) return Boolean is
1723 pragma Assert (False
1724 or else NT (N).Nkind = N_Component_Declaration
1725 or else NT (N).Nkind = N_Discriminant_Specification
1726 or else NT (N).Nkind = N_Exception_Declaration
1727 or else NT (N).Nkind = N_Formal_Object_Declaration
1728 or else NT (N).Nkind = N_Number_Declaration
1729 or else NT (N).Nkind = N_Object_Declaration
1730 or else NT (N).Nkind = N_Parameter_Specification);
1734 function Must_Be_Byte_Aligned
1735 (N : Node_Id) return Boolean is
1737 pragma Assert (False
1738 or else NT (N).Nkind = N_Attribute_Reference);
1740 end Must_Be_Byte_Aligned;
1742 function Must_Not_Freeze
1743 (N : Node_Id) return Boolean is
1745 pragma Assert (False
1746 or else NT (N).Nkind = N_Subtype_Indication
1747 or else NT (N).Nkind in N_Subexpr);
1749 end Must_Not_Freeze;
1751 function Must_Not_Override
1752 (N : Node_Id) return Boolean is
1754 pragma Assert (False
1755 or else NT (N).Nkind = N_Entry_Declaration
1756 or else NT (N).Nkind = N_Function_Instantiation
1757 or else NT (N).Nkind = N_Function_Specification
1758 or else NT (N).Nkind = N_Procedure_Instantiation
1759 or else NT (N).Nkind = N_Procedure_Specification);
1761 end Must_Not_Override;
1763 function Must_Override
1764 (N : Node_Id) return Boolean is
1766 pragma Assert (False
1767 or else NT (N).Nkind = N_Entry_Declaration
1768 or else NT (N).Nkind = N_Function_Instantiation
1769 or else NT (N).Nkind = N_Function_Specification
1770 or else NT (N).Nkind = N_Procedure_Instantiation
1771 or else NT (N).Nkind = N_Procedure_Specification);
1776 (N : Node_Id) return Node_Id is
1778 pragma Assert (False
1779 or else NT (N).Nkind = N_Assignment_Statement
1780 or else NT (N).Nkind = N_Attribute_Definition_Clause
1781 or else NT (N).Nkind = N_Defining_Program_Unit_Name
1782 or else NT (N).Nkind = N_Designator
1783 or else NT (N).Nkind = N_Entry_Call_Statement
1784 or else NT (N).Nkind = N_Exception_Renaming_Declaration
1785 or else NT (N).Nkind = N_Exit_Statement
1786 or else NT (N).Nkind = N_Formal_Package_Declaration
1787 or else NT (N).Nkind = N_Function_Call
1788 or else NT (N).Nkind = N_Function_Instantiation
1789 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1790 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1791 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1792 or else NT (N).Nkind = N_Goto_Statement
1793 or else NT (N).Nkind = N_Object_Renaming_Declaration
1794 or else NT (N).Nkind = N_Package_Instantiation
1795 or else NT (N).Nkind = N_Package_Renaming_Declaration
1796 or else NT (N).Nkind = N_Procedure_Call_Statement
1797 or else NT (N).Nkind = N_Procedure_Instantiation
1798 or else NT (N).Nkind = N_Raise_Statement
1799 or else NT (N).Nkind = N_Requeue_Statement
1800 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1801 or else NT (N).Nkind = N_Subunit
1802 or else NT (N).Nkind = N_Variant_Part
1803 or else NT (N).Nkind = N_With_Clause
1804 or else NT (N).Nkind = N_With_Type_Clause);
1809 (N : Node_Id) return List_Id is
1811 pragma Assert (False
1812 or else NT (N).Nkind = N_Abort_Statement
1813 or else NT (N).Nkind = N_Use_Package_Clause);
1817 function Next_Entity
1818 (N : Node_Id) return Node_Id is
1820 pragma Assert (False
1821 or else NT (N).Nkind = N_Defining_Character_Literal
1822 or else NT (N).Nkind = N_Defining_Identifier
1823 or else NT (N).Nkind = N_Defining_Operator_Symbol);
1827 function Next_Named_Actual
1828 (N : Node_Id) return Node_Id is
1830 pragma Assert (False
1831 or else NT (N).Nkind = N_Parameter_Association);
1833 end Next_Named_Actual;
1835 function Next_Rep_Item
1836 (N : Node_Id) return Node_Id is
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_Attribute_Definition_Clause
1840 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1841 or else NT (N).Nkind = N_Pragma
1842 or else NT (N).Nkind = N_Record_Representation_Clause);
1846 function Next_Use_Clause
1847 (N : Node_Id) return Node_Id is
1849 pragma Assert (False
1850 or else NT (N).Nkind = N_Use_Package_Clause
1851 or else NT (N).Nkind = N_Use_Type_Clause);
1853 end Next_Use_Clause;
1855 function No_Ctrl_Actions
1856 (N : Node_Id) return Boolean is
1858 pragma Assert (False
1859 or else NT (N).Nkind = N_Assignment_Statement);
1861 end No_Ctrl_Actions;
1863 function No_Elaboration_Check
1864 (N : Node_Id) return Boolean is
1866 pragma Assert (False
1867 or else NT (N).Nkind = N_Function_Call
1868 or else NT (N).Nkind = N_Procedure_Call_Statement);
1870 end No_Elaboration_Check;
1872 function No_Entities_Ref_In_Spec
1873 (N : Node_Id) return Boolean is
1875 pragma Assert (False
1876 or else NT (N).Nkind = N_With_Clause);
1878 end No_Entities_Ref_In_Spec;
1880 function No_Initialization
1881 (N : Node_Id) return Boolean is
1883 pragma Assert (False
1884 or else NT (N).Nkind = N_Allocator
1885 or else NT (N).Nkind = N_Object_Declaration);
1887 end No_Initialization;
1889 function No_Truncation
1890 (N : Node_Id) return Boolean is
1892 pragma Assert (False
1893 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1897 function Null_Present
1898 (N : Node_Id) return Boolean is
1900 pragma Assert (False
1901 or else NT (N).Nkind = N_Component_List
1902 or else NT (N).Nkind = N_Procedure_Specification
1903 or else NT (N).Nkind = N_Record_Definition);
1907 function Null_Exclusion_Present
1908 (N : Node_Id) return Boolean is
1910 pragma Assert (False
1911 or else NT (N).Nkind = N_Access_Definition
1912 or else NT (N).Nkind = N_Access_Function_Definition
1913 or else NT (N).Nkind = N_Access_Procedure_Definition
1914 or else NT (N).Nkind = N_Access_To_Object_Definition
1915 or else NT (N).Nkind = N_Allocator
1916 or else NT (N).Nkind = N_Component_Definition
1917 or else NT (N).Nkind = N_Derived_Type_Definition
1918 or else NT (N).Nkind = N_Discriminant_Specification
1919 or else NT (N).Nkind = N_Function_Specification
1920 or else NT (N).Nkind = N_Object_Declaration
1921 or else NT (N).Nkind = N_Parameter_Specification
1922 or else NT (N).Nkind = N_Subtype_Declaration);
1924 end Null_Exclusion_Present;
1926 function Null_Record_Present
1927 (N : Node_Id) return Boolean is
1929 pragma Assert (False
1930 or else NT (N).Nkind = N_Aggregate
1931 or else NT (N).Nkind = N_Extension_Aggregate);
1933 end Null_Record_Present;
1935 function Object_Definition
1936 (N : Node_Id) return Node_Id is
1938 pragma Assert (False
1939 or else NT (N).Nkind = N_Object_Declaration);
1941 end Object_Definition;
1943 function Original_Discriminant
1944 (N : Node_Id) return Node_Id is
1946 pragma Assert (False
1947 or else NT (N).Nkind = N_Identifier);
1949 end Original_Discriminant;
1951 function Original_Entity
1952 (N : Node_Id) return Entity_Id is
1954 pragma Assert (False
1955 or else NT (N).Nkind = N_Integer_Literal
1956 or else NT (N).Nkind = N_Real_Literal);
1958 end Original_Entity;
1960 function Others_Discrete_Choices
1961 (N : Node_Id) return List_Id is
1963 pragma Assert (False
1964 or else NT (N).Nkind = N_Others_Choice);
1966 end Others_Discrete_Choices;
1968 function Out_Present
1969 (N : Node_Id) return Boolean is
1971 pragma Assert (False
1972 or else NT (N).Nkind = N_Formal_Object_Declaration
1973 or else NT (N).Nkind = N_Parameter_Specification);
1977 function Parameter_Associations
1978 (N : Node_Id) return List_Id is
1980 pragma Assert (False
1981 or else NT (N).Nkind = N_Entry_Call_Statement
1982 or else NT (N).Nkind = N_Function_Call
1983 or else NT (N).Nkind = N_Procedure_Call_Statement);
1985 end Parameter_Associations;
1987 function Parameter_List_Truncated
1988 (N : Node_Id) return Boolean is
1990 pragma Assert (False
1991 or else NT (N).Nkind = N_Function_Call
1992 or else NT (N).Nkind = N_Procedure_Call_Statement);
1994 end Parameter_List_Truncated;
1996 function Parameter_Specifications
1997 (N : Node_Id) return List_Id is
1999 pragma Assert (False
2000 or else NT (N).Nkind = N_Accept_Statement
2001 or else NT (N).Nkind = N_Access_Function_Definition
2002 or else NT (N).Nkind = N_Access_Procedure_Definition
2003 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2004 or else NT (N).Nkind = N_Entry_Declaration
2005 or else NT (N).Nkind = N_Function_Specification
2006 or else NT (N).Nkind = N_Procedure_Specification);
2008 end Parameter_Specifications;
2010 function Parameter_Type
2011 (N : Node_Id) return Node_Id is
2013 pragma Assert (False
2014 or else NT (N).Nkind = N_Parameter_Specification);
2018 function Parent_Spec
2019 (N : Node_Id) return Node_Id is
2021 pragma Assert (False
2022 or else NT (N).Nkind = N_Function_Instantiation
2023 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2024 or else NT (N).Nkind = N_Generic_Package_Declaration
2025 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2026 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2027 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2028 or else NT (N).Nkind = N_Package_Declaration
2029 or else NT (N).Nkind = N_Package_Instantiation
2030 or else NT (N).Nkind = N_Package_Renaming_Declaration
2031 or else NT (N).Nkind = N_Procedure_Instantiation
2032 or else NT (N).Nkind = N_Subprogram_Declaration
2033 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2038 (N : Node_Id) return Node_Id is
2040 pragma Assert (False
2041 or else NT (N).Nkind = N_Component_Clause);
2045 function Pragma_Argument_Associations
2046 (N : Node_Id) return List_Id is
2048 pragma Assert (False
2049 or else NT (N).Nkind = N_Pragma);
2051 end Pragma_Argument_Associations;
2053 function Pragmas_After
2054 (N : Node_Id) return List_Id is
2056 pragma Assert (False
2057 or else NT (N).Nkind = N_Compilation_Unit_Aux
2058 or else NT (N).Nkind = N_Terminate_Alternative);
2062 function Pragmas_Before
2063 (N : Node_Id) return List_Id is
2065 pragma Assert (False
2066 or else NT (N).Nkind = N_Accept_Alternative
2067 or else NT (N).Nkind = N_Delay_Alternative
2068 or else NT (N).Nkind = N_Entry_Call_Alternative
2069 or else NT (N).Nkind = N_Mod_Clause
2070 or else NT (N).Nkind = N_Terminate_Alternative
2071 or else NT (N).Nkind = N_Triggering_Alternative);
2076 (N : Node_Id) return Node_Id is
2078 pragma Assert (False
2079 or else NT (N).Nkind = N_Attribute_Reference
2080 or else NT (N).Nkind = N_Expanded_Name
2081 or else NT (N).Nkind = N_Explicit_Dereference
2082 or else NT (N).Nkind = N_Indexed_Component
2083 or else NT (N).Nkind = N_Reference
2084 or else NT (N).Nkind = N_Selected_Component
2085 or else NT (N).Nkind = N_Slice);
2089 function Present_Expr
2090 (N : Node_Id) return Uint is
2092 pragma Assert (False
2093 or else NT (N).Nkind = N_Variant);
2098 (N : Node_Id) return Boolean is
2100 pragma Assert (False
2101 or else NT (N).Nkind = N_Component_Declaration
2102 or else NT (N).Nkind = N_Discriminant_Specification
2103 or else NT (N).Nkind = N_Exception_Declaration
2104 or else NT (N).Nkind = N_Formal_Object_Declaration
2105 or else NT (N).Nkind = N_Number_Declaration
2106 or else NT (N).Nkind = N_Object_Declaration
2107 or else NT (N).Nkind = N_Parameter_Specification);
2111 function Print_In_Hex
2112 (N : Node_Id) return Boolean is
2114 pragma Assert (False
2115 or else NT (N).Nkind = N_Integer_Literal);
2119 function Private_Declarations
2120 (N : Node_Id) return List_Id is
2122 pragma Assert (False
2123 or else NT (N).Nkind = N_Package_Specification
2124 or else NT (N).Nkind = N_Protected_Definition
2125 or else NT (N).Nkind = N_Task_Definition);
2127 end Private_Declarations;
2129 function Private_Present
2130 (N : Node_Id) return Boolean is
2132 pragma Assert (False
2133 or else NT (N).Nkind = N_Compilation_Unit
2134 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2135 or else NT (N).Nkind = N_With_Clause);
2137 end Private_Present;
2139 function Procedure_To_Call
2140 (N : Node_Id) return Node_Id is
2142 pragma Assert (False
2143 or else NT (N).Nkind = N_Allocator
2144 or else NT (N).Nkind = N_Free_Statement
2145 or else NT (N).Nkind = N_Return_Statement);
2147 end Procedure_To_Call;
2149 function Proper_Body
2150 (N : Node_Id) return Node_Id is
2152 pragma Assert (False
2153 or else NT (N).Nkind = N_Subunit);
2157 function Protected_Definition
2158 (N : Node_Id) return Node_Id is
2160 pragma Assert (False
2161 or else NT (N).Nkind = N_Protected_Type_Declaration
2162 or else NT (N).Nkind = N_Single_Protected_Declaration);
2164 end Protected_Definition;
2166 function Protected_Present
2167 (N : Node_Id) return Boolean is
2169 pragma Assert (False
2170 or else NT (N).Nkind = N_Access_Function_Definition
2171 or else NT (N).Nkind = N_Access_Procedure_Definition
2172 or else NT (N).Nkind = N_Derived_Type_Definition
2173 or else NT (N).Nkind = N_Record_Definition);
2175 end Protected_Present;
2177 function Raises_Constraint_Error
2178 (N : Node_Id) return Boolean is
2180 pragma Assert (False
2181 or else NT (N).Nkind in N_Subexpr);
2183 end Raises_Constraint_Error;
2185 function Range_Constraint
2186 (N : Node_Id) return Node_Id is
2188 pragma Assert (False
2189 or else NT (N).Nkind = N_Delta_Constraint
2190 or else NT (N).Nkind = N_Digits_Constraint);
2192 end Range_Constraint;
2194 function Range_Expression
2195 (N : Node_Id) return Node_Id is
2197 pragma Assert (False
2198 or else NT (N).Nkind = N_Range_Constraint);
2200 end Range_Expression;
2202 function Real_Range_Specification
2203 (N : Node_Id) return Node_Id is
2205 pragma Assert (False
2206 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2207 or else NT (N).Nkind = N_Floating_Point_Definition
2208 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2210 end Real_Range_Specification;
2213 (N : Node_Id) return Ureal is
2215 pragma Assert (False
2216 or else NT (N).Nkind = N_Real_Literal);
2221 (N : Node_Id) return Uint is
2223 pragma Assert (False
2224 or else NT (N).Nkind = N_Raise_Constraint_Error
2225 or else NT (N).Nkind = N_Raise_Program_Error
2226 or else NT (N).Nkind = N_Raise_Storage_Error);
2230 function Record_Extension_Part
2231 (N : Node_Id) return Node_Id is
2233 pragma Assert (False
2234 or else NT (N).Nkind = N_Derived_Type_Definition);
2236 end Record_Extension_Part;
2238 function Redundant_Use
2239 (N : Node_Id) return Boolean is
2241 pragma Assert (False
2242 or else NT (N).Nkind = N_Attribute_Reference
2243 or else NT (N).Nkind = N_Expanded_Name
2244 or else NT (N).Nkind = N_Identifier);
2248 function Result_Definition
2249 (N : Node_Id) return Node_Id is
2251 pragma Assert (False
2252 or else NT (N).Nkind = N_Access_Function_Definition
2253 or else NT (N).Nkind = N_Function_Specification);
2255 end Result_Definition;
2257 function Return_Type
2258 (N : Node_Id) return Node_Id is
2260 pragma Assert (False
2261 or else NT (N).Nkind = N_Return_Statement);
2265 function Reverse_Present
2266 (N : Node_Id) return Boolean is
2268 pragma Assert (False
2269 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2271 end Reverse_Present;
2274 (N : Node_Id) return Node_Id is
2276 pragma Assert (False
2277 or else NT (N).Nkind in N_Op
2278 or else NT (N).Nkind = N_And_Then
2279 or else NT (N).Nkind = N_In
2280 or else NT (N).Nkind = N_Not_In
2281 or else NT (N).Nkind = N_Or_Else);
2285 function Rounded_Result
2286 (N : Node_Id) return Boolean is
2288 pragma Assert (False
2289 or else NT (N).Nkind = N_Op_Divide
2290 or else NT (N).Nkind = N_Op_Multiply
2291 or else NT (N).Nkind = N_Type_Conversion);
2296 (N : Node_Id) return Node_Id is
2298 pragma Assert (False
2299 or else NT (N).Nkind = N_Defining_Character_Literal
2300 or else NT (N).Nkind = N_Defining_Identifier
2301 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2305 function Select_Alternatives
2306 (N : Node_Id) return List_Id is
2308 pragma Assert (False
2309 or else NT (N).Nkind = N_Selective_Accept);
2311 end Select_Alternatives;
2313 function Selector_Name
2314 (N : Node_Id) return Node_Id is
2316 pragma Assert (False
2317 or else NT (N).Nkind = N_Expanded_Name
2318 or else NT (N).Nkind = N_Generic_Association
2319 or else NT (N).Nkind = N_Parameter_Association
2320 or else NT (N).Nkind = N_Selected_Component);
2324 function Selector_Names
2325 (N : Node_Id) return List_Id is
2327 pragma Assert (False
2328 or else NT (N).Nkind = N_Discriminant_Association);
2332 function Shift_Count_OK
2333 (N : Node_Id) return Boolean is
2335 pragma Assert (False
2336 or else NT (N).Nkind = N_Op_Rotate_Left
2337 or else NT (N).Nkind = N_Op_Rotate_Right
2338 or else NT (N).Nkind = N_Op_Shift_Left
2339 or else NT (N).Nkind = N_Op_Shift_Right
2340 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2344 function Source_Type
2345 (N : Node_Id) return Entity_Id is
2347 pragma Assert (False
2348 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2352 function Specification
2353 (N : Node_Id) return Node_Id is
2355 pragma Assert (False
2356 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2357 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2358 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2359 or else NT (N).Nkind = N_Generic_Package_Declaration
2360 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2361 or else NT (N).Nkind = N_Package_Declaration
2362 or else NT (N).Nkind = N_Subprogram_Body
2363 or else NT (N).Nkind = N_Subprogram_Body_Stub
2364 or else NT (N).Nkind = N_Subprogram_Declaration
2365 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2370 (N : Node_Id) return List_Id is
2372 pragma Assert (False
2373 or else NT (N).Nkind = N_Abortable_Part
2374 or else NT (N).Nkind = N_Accept_Alternative
2375 or else NT (N).Nkind = N_Case_Statement_Alternative
2376 or else NT (N).Nkind = N_Delay_Alternative
2377 or else NT (N).Nkind = N_Entry_Call_Alternative
2378 or else NT (N).Nkind = N_Exception_Handler
2379 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2380 or else NT (N).Nkind = N_Loop_Statement
2381 or else NT (N).Nkind = N_Triggering_Alternative);
2385 function Static_Processing_OK
2386 (N : Node_Id) return Boolean is
2388 pragma Assert (False
2389 or else NT (N).Nkind = N_Aggregate);
2391 end Static_Processing_OK;
2393 function Storage_Pool
2394 (N : Node_Id) return Node_Id is
2396 pragma Assert (False
2397 or else NT (N).Nkind = N_Allocator
2398 or else NT (N).Nkind = N_Free_Statement
2399 or else NT (N).Nkind = N_Return_Statement);
2404 (N : Node_Id) return String_Id is
2406 pragma Assert (False
2407 or else NT (N).Nkind = N_Operator_Symbol
2408 or else NT (N).Nkind = N_String_Literal);
2412 function Subtype_Indication
2413 (N : Node_Id) return Node_Id is
2415 pragma Assert (False
2416 or else NT (N).Nkind = N_Access_To_Object_Definition
2417 or else NT (N).Nkind = N_Component_Definition
2418 or else NT (N).Nkind = N_Derived_Type_Definition
2419 or else NT (N).Nkind = N_Private_Extension_Declaration
2420 or else NT (N).Nkind = N_Subtype_Declaration);
2422 end Subtype_Indication;
2424 function Subtype_Mark
2425 (N : Node_Id) return Node_Id is
2427 pragma Assert (False
2428 or else NT (N).Nkind = N_Access_Definition
2429 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2430 or else NT (N).Nkind = N_Formal_Object_Declaration
2431 or else NT (N).Nkind = N_Object_Renaming_Declaration
2432 or else NT (N).Nkind = N_Qualified_Expression
2433 or else NT (N).Nkind = N_Subtype_Indication
2434 or else NT (N).Nkind = N_Type_Conversion
2435 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2439 function Subtype_Marks
2440 (N : Node_Id) return List_Id is
2442 pragma Assert (False
2443 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2444 or else NT (N).Nkind = N_Use_Type_Clause);
2448 function Synchronized_Present
2449 (N : Node_Id) return Boolean is
2451 pragma Assert (False
2452 or else NT (N).Nkind = N_Derived_Type_Definition
2453 or else NT (N).Nkind = N_Record_Definition);
2455 end Synchronized_Present;
2457 function Tagged_Present
2458 (N : Node_Id) return Boolean is
2460 pragma Assert (False
2461 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2462 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2463 or else NT (N).Nkind = N_Private_Type_Declaration
2464 or else NT (N).Nkind = N_Record_Definition
2465 or else NT (N).Nkind = N_With_Type_Clause);
2469 function Target_Type
2470 (N : Node_Id) return Entity_Id is
2472 pragma Assert (False
2473 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2477 function Task_Definition
2478 (N : Node_Id) return Node_Id is
2480 pragma Assert (False
2481 or else NT (N).Nkind = N_Single_Task_Declaration
2482 or else NT (N).Nkind = N_Task_Type_Declaration);
2484 end Task_Definition;
2486 function Task_Present
2487 (N : Node_Id) return Boolean is
2489 pragma Assert (False
2490 or else NT (N).Nkind = N_Derived_Type_Definition
2491 or else NT (N).Nkind = N_Record_Definition);
2495 function Then_Actions
2496 (N : Node_Id) return List_Id is
2498 pragma Assert (False
2499 or else NT (N).Nkind = N_Conditional_Expression);
2503 function Then_Statements
2504 (N : Node_Id) return List_Id is
2506 pragma Assert (False
2507 or else NT (N).Nkind = N_Elsif_Part
2508 or else NT (N).Nkind = N_If_Statement);
2510 end Then_Statements;
2512 function Treat_Fixed_As_Integer
2513 (N : Node_Id) return Boolean is
2515 pragma Assert (False
2516 or else NT (N).Nkind = N_Op_Divide
2517 or else NT (N).Nkind = N_Op_Mod
2518 or else NT (N).Nkind = N_Op_Multiply
2519 or else NT (N).Nkind = N_Op_Rem);
2521 end Treat_Fixed_As_Integer;
2523 function Triggering_Alternative
2524 (N : Node_Id) return Node_Id is
2526 pragma Assert (False
2527 or else NT (N).Nkind = N_Asynchronous_Select);
2529 end Triggering_Alternative;
2531 function Triggering_Statement
2532 (N : Node_Id) return Node_Id is
2534 pragma Assert (False
2535 or else NT (N).Nkind = N_Triggering_Alternative);
2537 end Triggering_Statement;
2540 (N : Node_Id) return Elist_Id is
2542 pragma Assert (False
2543 or else NT (N).Nkind = N_Freeze_Entity);
2547 function Type_Definition
2548 (N : Node_Id) return Node_Id is
2550 pragma Assert (False
2551 or else NT (N).Nkind = N_Full_Type_Declaration);
2553 end Type_Definition;
2556 (N : Node_Id) return Node_Id is
2558 pragma Assert (False
2559 or else NT (N).Nkind = N_Compilation_Unit);
2563 function Unknown_Discriminants_Present
2564 (N : Node_Id) return Boolean is
2566 pragma Assert (False
2567 or else NT (N).Nkind = N_Formal_Type_Declaration
2568 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2569 or else NT (N).Nkind = N_Private_Extension_Declaration
2570 or else NT (N).Nkind = N_Private_Type_Declaration);
2572 end Unknown_Discriminants_Present;
2574 function Unreferenced_In_Spec
2575 (N : Node_Id) return Boolean is
2577 pragma Assert (False
2578 or else NT (N).Nkind = N_With_Clause);
2580 end Unreferenced_In_Spec;
2582 function Variant_Part
2583 (N : Node_Id) return Node_Id is
2585 pragma Assert (False
2586 or else NT (N).Nkind = N_Component_List);
2591 (N : Node_Id) return List_Id is
2593 pragma Assert (False
2594 or else NT (N).Nkind = N_Variant_Part);
2598 function Visible_Declarations
2599 (N : Node_Id) return List_Id is
2601 pragma Assert (False
2602 or else NT (N).Nkind = N_Package_Specification
2603 or else NT (N).Nkind = N_Protected_Definition
2604 or else NT (N).Nkind = N_Task_Definition);
2606 end Visible_Declarations;
2608 function Was_Originally_Stub
2609 (N : Node_Id) return Boolean is
2611 pragma Assert (False
2612 or else NT (N).Nkind = N_Package_Body
2613 or else NT (N).Nkind = N_Protected_Body
2614 or else NT (N).Nkind = N_Subprogram_Body
2615 or else NT (N).Nkind = N_Task_Body);
2617 end Was_Originally_Stub;
2619 function Zero_Cost_Handling
2620 (N : Node_Id) return Boolean is
2622 pragma Assert (False
2623 or else NT (N).Nkind = N_Exception_Handler
2624 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2626 end Zero_Cost_Handling;
2628 --------------------------
2629 -- Field Set Procedures --
2630 --------------------------
2632 procedure Set_ABE_Is_Certain
2633 (N : Node_Id; Val : Boolean := True) is
2635 pragma Assert (False
2636 or else NT (N).Nkind = N_Formal_Package_Declaration
2637 or else NT (N).Nkind = N_Function_Call
2638 or else NT (N).Nkind = N_Function_Instantiation
2639 or else NT (N).Nkind = N_Package_Instantiation
2640 or else NT (N).Nkind = N_Procedure_Call_Statement
2641 or else NT (N).Nkind = N_Procedure_Instantiation);
2642 Set_Flag18 (N, Val);
2643 end Set_ABE_Is_Certain;
2645 procedure Set_Abort_Present
2646 (N : Node_Id; Val : Boolean := True) is
2648 pragma Assert (False
2649 or else NT (N).Nkind = N_Requeue_Statement);
2650 Set_Flag15 (N, Val);
2651 end Set_Abort_Present;
2653 procedure Set_Abortable_Part
2654 (N : Node_Id; Val : Node_Id) is
2656 pragma Assert (False
2657 or else NT (N).Nkind = N_Asynchronous_Select);
2658 Set_Node2_With_Parent (N, Val);
2659 end Set_Abortable_Part;
2661 procedure Set_Abstract_Present
2662 (N : Node_Id; Val : Boolean := True) is
2664 pragma Assert (False
2665 or else NT (N).Nkind = N_Derived_Type_Definition
2666 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2667 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2668 or else NT (N).Nkind = N_Private_Extension_Declaration
2669 or else NT (N).Nkind = N_Private_Type_Declaration
2670 or else NT (N).Nkind = N_Record_Definition);
2672 end Set_Abstract_Present;
2674 procedure Set_Accept_Handler_Records
2675 (N : Node_Id; Val : List_Id) is
2677 pragma Assert (False
2678 or else NT (N).Nkind = N_Accept_Alternative);
2679 Set_List5 (N, Val); -- semantic field, no parent set
2680 end Set_Accept_Handler_Records;
2682 procedure Set_Accept_Statement
2683 (N : Node_Id; Val : Node_Id) is
2685 pragma Assert (False
2686 or else NT (N).Nkind = N_Accept_Alternative);
2687 Set_Node2_With_Parent (N, Val);
2688 end Set_Accept_Statement;
2690 procedure Set_Access_Definition
2691 (N : Node_Id; Val : Node_Id) is
2693 pragma Assert (False
2694 or else NT (N).Nkind = N_Component_Definition
2695 or else NT (N).Nkind = N_Object_Renaming_Declaration);
2696 Set_Node3_With_Parent (N, Val);
2697 end Set_Access_Definition;
2699 procedure Set_Access_To_Subprogram_Definition
2700 (N : Node_Id; Val : Node_Id) is
2702 pragma Assert (False
2703 or else NT (N).Nkind = N_Access_Definition);
2704 Set_Node3_With_Parent (N, Val);
2705 end Set_Access_To_Subprogram_Definition;
2707 procedure Set_Access_Types_To_Process
2708 (N : Node_Id; Val : Elist_Id) is
2710 pragma Assert (False
2711 or else NT (N).Nkind = N_Freeze_Entity);
2712 Set_Elist2 (N, Val); -- semantic field, no parent set
2713 end Set_Access_Types_To_Process;
2715 procedure Set_Actions
2716 (N : Node_Id; Val : List_Id) is
2718 pragma Assert (False
2719 or else NT (N).Nkind = N_And_Then
2720 or else NT (N).Nkind = N_Compilation_Unit_Aux
2721 or else NT (N).Nkind = N_Freeze_Entity
2722 or else NT (N).Nkind = N_Or_Else);
2723 Set_List1_With_Parent (N, Val);
2726 procedure Set_Activation_Chain_Entity
2727 (N : Node_Id; Val : Node_Id) is
2729 pragma Assert (False
2730 or else NT (N).Nkind = N_Block_Statement
2731 or else NT (N).Nkind = N_Entry_Body
2732 or else NT (N).Nkind = N_Generic_Package_Declaration
2733 or else NT (N).Nkind = N_Package_Declaration
2734 or else NT (N).Nkind = N_Subprogram_Body
2735 or else NT (N).Nkind = N_Task_Body);
2736 Set_Node3 (N, Val); -- semantic field, no parent set
2737 end Set_Activation_Chain_Entity;
2739 procedure Set_Acts_As_Spec
2740 (N : Node_Id; Val : Boolean := True) is
2742 pragma Assert (False
2743 or else NT (N).Nkind = N_Compilation_Unit
2744 or else NT (N).Nkind = N_Subprogram_Body);
2746 end Set_Acts_As_Spec;
2748 procedure Set_Aggregate_Bounds
2749 (N : Node_Id; Val : Node_Id) is
2751 pragma Assert (False
2752 or else NT (N).Nkind = N_Aggregate);
2753 Set_Node3 (N, Val); -- semantic field, no parent set
2754 end Set_Aggregate_Bounds;
2756 procedure Set_Aliased_Present
2757 (N : Node_Id; Val : Boolean := True) is
2759 pragma Assert (False
2760 or else NT (N).Nkind = N_Component_Definition
2761 or else NT (N).Nkind = N_Object_Declaration);
2763 end Set_Aliased_Present;
2765 procedure Set_All_Others
2766 (N : Node_Id; Val : Boolean := True) is
2768 pragma Assert (False
2769 or else NT (N).Nkind = N_Others_Choice);
2770 Set_Flag11 (N, Val);
2773 procedure Set_All_Present
2774 (N : Node_Id; Val : Boolean := True) is
2776 pragma Assert (False
2777 or else NT (N).Nkind = N_Access_Definition
2778 or else NT (N).Nkind = N_Access_To_Object_Definition);
2779 Set_Flag15 (N, Val);
2780 end Set_All_Present;
2782 procedure Set_Alternatives
2783 (N : Node_Id; Val : List_Id) is
2785 pragma Assert (False
2786 or else NT (N).Nkind = N_Case_Statement);
2787 Set_List4_With_Parent (N, Val);
2788 end Set_Alternatives;
2790 procedure Set_Ancestor_Part
2791 (N : Node_Id; Val : Node_Id) is
2793 pragma Assert (False
2794 or else NT (N).Nkind = N_Extension_Aggregate);
2795 Set_Node3_With_Parent (N, Val);
2796 end Set_Ancestor_Part;
2798 procedure Set_Array_Aggregate
2799 (N : Node_Id; Val : Node_Id) is
2801 pragma Assert (False
2802 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
2803 Set_Node3_With_Parent (N, Val);
2804 end Set_Array_Aggregate;
2806 procedure Set_Assignment_OK
2807 (N : Node_Id; Val : Boolean := True) is
2809 pragma Assert (False
2810 or else NT (N).Nkind = N_Object_Declaration
2811 or else NT (N).Nkind in N_Subexpr);
2812 Set_Flag15 (N, Val);
2813 end Set_Assignment_OK;
2815 procedure Set_Associated_Node
2816 (N : Node_Id; Val : Node_Id) is
2818 pragma Assert (False
2819 or else NT (N).Nkind in N_Has_Entity
2820 or else NT (N).Nkind = N_Aggregate
2821 or else NT (N).Nkind = N_Extension_Aggregate
2822 or else NT (N).Nkind = N_Selected_Component);
2823 Set_Node4 (N, Val); -- semantic field, no parent set
2824 end Set_Associated_Node;
2826 procedure Set_At_End_Proc
2827 (N : Node_Id; Val : Node_Id) is
2829 pragma Assert (False
2830 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2832 end Set_At_End_Proc;
2834 procedure Set_Attribute_Name
2835 (N : Node_Id; Val : Name_Id) is
2837 pragma Assert (False
2838 or else NT (N).Nkind = N_Attribute_Reference);
2840 end Set_Attribute_Name;
2842 procedure Set_Aux_Decls_Node
2843 (N : Node_Id; Val : Node_Id) is
2845 pragma Assert (False
2846 or else NT (N).Nkind = N_Compilation_Unit);
2847 Set_Node5_With_Parent (N, Val);
2848 end Set_Aux_Decls_Node;
2850 procedure Set_Backwards_OK
2851 (N : Node_Id; Val : Boolean := True) is
2853 pragma Assert (False
2854 or else NT (N).Nkind = N_Assignment_Statement);
2856 end Set_Backwards_OK;
2858 procedure Set_Bad_Is_Detected
2859 (N : Node_Id; Val : Boolean := True) is
2861 pragma Assert (False
2862 or else NT (N).Nkind = N_Subprogram_Body);
2863 Set_Flag15 (N, Val);
2864 end Set_Bad_Is_Detected;
2866 procedure Set_Body_Required
2867 (N : Node_Id; Val : Boolean := True) is
2869 pragma Assert (False
2870 or else NT (N).Nkind = N_Compilation_Unit);
2871 Set_Flag13 (N, Val);
2872 end Set_Body_Required;
2874 procedure Set_Body_To_Inline
2875 (N : Node_Id; Val : Node_Id) is
2877 pragma Assert (False
2878 or else NT (N).Nkind = N_Subprogram_Declaration);
2880 end Set_Body_To_Inline;
2882 procedure Set_Box_Present
2883 (N : Node_Id; Val : Boolean := True) is
2885 pragma Assert (False
2886 or else NT (N).Nkind = N_Component_Association
2887 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2888 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2889 or else NT (N).Nkind = N_Formal_Package_Declaration);
2890 Set_Flag15 (N, Val);
2891 end Set_Box_Present;
2893 procedure Set_By_Ref
2894 (N : Node_Id; Val : Boolean := True) is
2896 pragma Assert (False
2897 or else NT (N).Nkind = N_Return_Statement);
2901 procedure Set_Char_Literal_Value
2902 (N : Node_Id; Val : Uint) is
2904 pragma Assert (False
2905 or else NT (N).Nkind = N_Character_Literal);
2907 end Set_Char_Literal_Value;
2910 (N : Node_Id; Val : Name_Id) is
2912 pragma Assert (False
2913 or else NT (N).Nkind in N_Has_Chars);
2917 procedure Set_Check_Address_Alignment
2918 (N : Node_Id; Val : Boolean := True) is
2920 pragma Assert (False
2921 or else NT (N).Nkind = N_Attribute_Definition_Clause);
2922 Set_Flag11 (N, Val);
2923 end Set_Check_Address_Alignment;
2925 procedure Set_Choice_Parameter
2926 (N : Node_Id; Val : Node_Id) is
2928 pragma Assert (False
2929 or else NT (N).Nkind = N_Exception_Handler);
2930 Set_Node2_With_Parent (N, Val);
2931 end Set_Choice_Parameter;
2933 procedure Set_Choices
2934 (N : Node_Id; Val : List_Id) is
2936 pragma Assert (False
2937 or else NT (N).Nkind = N_Component_Association);
2938 Set_List1_With_Parent (N, Val);
2941 procedure Set_Compile_Time_Known_Aggregate
2942 (N : Node_Id; Val : Boolean := True) is
2944 pragma Assert (False
2945 or else NT (N).Nkind = N_Aggregate);
2946 Set_Flag18 (N, Val);
2947 end Set_Compile_Time_Known_Aggregate;
2949 procedure Set_Component_Associations
2950 (N : Node_Id; Val : List_Id) is
2952 pragma Assert (False
2953 or else NT (N).Nkind = N_Aggregate
2954 or else NT (N).Nkind = N_Extension_Aggregate);
2955 Set_List2_With_Parent (N, Val);
2956 end Set_Component_Associations;
2958 procedure Set_Component_Clauses
2959 (N : Node_Id; Val : List_Id) is
2961 pragma Assert (False
2962 or else NT (N).Nkind = N_Record_Representation_Clause);
2963 Set_List3_With_Parent (N, Val);
2964 end Set_Component_Clauses;
2966 procedure Set_Component_Definition
2967 (N : Node_Id; Val : Node_Id) is
2969 pragma Assert (False
2970 or else NT (N).Nkind = N_Component_Declaration
2971 or else NT (N).Nkind = N_Constrained_Array_Definition
2972 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2973 Set_Node4_With_Parent (N, Val);
2974 end Set_Component_Definition;
2976 procedure Set_Component_Items
2977 (N : Node_Id; Val : List_Id) is
2979 pragma Assert (False
2980 or else NT (N).Nkind = N_Component_List);
2981 Set_List3_With_Parent (N, Val);
2982 end Set_Component_Items;
2984 procedure Set_Component_List
2985 (N : Node_Id; Val : Node_Id) is
2987 pragma Assert (False
2988 or else NT (N).Nkind = N_Record_Definition
2989 or else NT (N).Nkind = N_Variant);
2990 Set_Node1_With_Parent (N, Val);
2991 end Set_Component_List;
2993 procedure Set_Component_Name
2994 (N : Node_Id; Val : Node_Id) is
2996 pragma Assert (False
2997 or else NT (N).Nkind = N_Component_Clause);
2998 Set_Node1_With_Parent (N, Val);
2999 end Set_Component_Name;
3001 procedure Set_Condition
3002 (N : Node_Id; Val : Node_Id) is
3004 pragma Assert (False
3005 or else NT (N).Nkind = N_Accept_Alternative
3006 or else NT (N).Nkind = N_Delay_Alternative
3007 or else NT (N).Nkind = N_Elsif_Part
3008 or else NT (N).Nkind = N_Entry_Body_Formal_Part
3009 or else NT (N).Nkind = N_Exit_Statement
3010 or else NT (N).Nkind = N_If_Statement
3011 or else NT (N).Nkind = N_Iteration_Scheme
3012 or else NT (N).Nkind = N_Raise_Constraint_Error
3013 or else NT (N).Nkind = N_Raise_Program_Error
3014 or else NT (N).Nkind = N_Raise_Storage_Error
3015 or else NT (N).Nkind = N_Terminate_Alternative);
3016 Set_Node1_With_Parent (N, Val);
3019 procedure Set_Condition_Actions
3020 (N : Node_Id; Val : List_Id) is
3022 pragma Assert (False
3023 or else NT (N).Nkind = N_Elsif_Part
3024 or else NT (N).Nkind = N_Iteration_Scheme);
3025 Set_List3 (N, Val); -- semantic field, no parent set
3026 end Set_Condition_Actions;
3028 procedure Set_Config_Pragmas
3029 (N : Node_Id; Val : List_Id) is
3031 pragma Assert (False
3032 or else NT (N).Nkind = N_Compilation_Unit_Aux);
3033 Set_List4_With_Parent (N, Val);
3034 end Set_Config_Pragmas;
3036 procedure Set_Constant_Present
3037 (N : Node_Id; Val : Boolean := True) is
3039 pragma Assert (False
3040 or else NT (N).Nkind = N_Access_Definition
3041 or else NT (N).Nkind = N_Access_To_Object_Definition
3042 or else NT (N).Nkind = N_Object_Declaration);
3043 Set_Flag17 (N, Val);
3044 end Set_Constant_Present;
3046 procedure Set_Constraint
3047 (N : Node_Id; Val : Node_Id) is
3049 pragma Assert (False
3050 or else NT (N).Nkind = N_Subtype_Indication);
3051 Set_Node3_With_Parent (N, Val);
3054 procedure Set_Constraints
3055 (N : Node_Id; Val : List_Id) is
3057 pragma Assert (False
3058 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3059 Set_List1_With_Parent (N, Val);
3060 end Set_Constraints;
3062 procedure Set_Context_Installed
3063 (N : Node_Id; Val : Boolean := True) is
3065 pragma Assert (False
3066 or else NT (N).Nkind = N_With_Clause);
3067 Set_Flag13 (N, Val);
3068 end Set_Context_Installed;
3070 procedure Set_Context_Items
3071 (N : Node_Id; Val : List_Id) is
3073 pragma Assert (False
3074 or else NT (N).Nkind = N_Compilation_Unit);
3075 Set_List1_With_Parent (N, Val);
3076 end Set_Context_Items;
3078 procedure Set_Controlling_Argument
3079 (N : Node_Id; Val : Node_Id) is
3081 pragma Assert (False
3082 or else NT (N).Nkind = N_Function_Call
3083 or else NT (N).Nkind = N_Procedure_Call_Statement);
3084 Set_Node1 (N, Val); -- semantic field, no parent set
3085 end Set_Controlling_Argument;
3087 procedure Set_Conversion_OK
3088 (N : Node_Id; Val : Boolean := True) is
3090 pragma Assert (False
3091 or else NT (N).Nkind = N_Type_Conversion);
3092 Set_Flag14 (N, Val);
3093 end Set_Conversion_OK;
3095 procedure Set_Corresponding_Body
3096 (N : Node_Id; Val : Node_Id) is
3098 pragma Assert (False
3099 or else NT (N).Nkind = N_Entry_Declaration
3100 or else NT (N).Nkind = N_Generic_Package_Declaration
3101 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3102 or else NT (N).Nkind = N_Package_Body_Stub
3103 or else NT (N).Nkind = N_Package_Declaration
3104 or else NT (N).Nkind = N_Protected_Body_Stub
3105 or else NT (N).Nkind = N_Protected_Type_Declaration
3106 or else NT (N).Nkind = N_Subprogram_Body_Stub
3107 or else NT (N).Nkind = N_Subprogram_Declaration
3108 or else NT (N).Nkind = N_Task_Body_Stub
3109 or else NT (N).Nkind = N_Task_Type_Declaration);
3110 Set_Node5 (N, Val); -- semantic field, no parent set
3111 end Set_Corresponding_Body;
3113 procedure Set_Corresponding_Formal_Spec
3114 (N : Node_Id; Val : Node_Id) is
3116 pragma Assert (False
3117 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3118 Set_Node3 (N, Val); -- semantic field, no parent set
3119 end Set_Corresponding_Formal_Spec;
3121 procedure Set_Corresponding_Generic_Association
3122 (N : Node_Id; Val : Node_Id) is
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_Object_Declaration
3126 or else NT (N).Nkind = N_Object_Renaming_Declaration);
3127 Set_Node5 (N, Val); -- semantic field, no parent set
3128 end Set_Corresponding_Generic_Association;
3130 procedure Set_Corresponding_Integer_Value
3131 (N : Node_Id; Val : Uint) is
3133 pragma Assert (False
3134 or else NT (N).Nkind = N_Real_Literal);
3135 Set_Uint4 (N, Val); -- semantic field, no parent set
3136 end Set_Corresponding_Integer_Value;
3138 procedure Set_Corresponding_Spec
3139 (N : Node_Id; Val : Node_Id) is
3141 pragma Assert (False
3142 or else NT (N).Nkind = N_Package_Body
3143 or else NT (N).Nkind = N_Protected_Body
3144 or else NT (N).Nkind = N_Subprogram_Body
3145 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3146 or else NT (N).Nkind = N_Task_Body
3147 or else NT (N).Nkind = N_With_Clause);
3148 Set_Node5 (N, Val); -- semantic field, no parent set
3149 end Set_Corresponding_Spec;
3151 procedure Set_Corresponding_Stub
3152 (N : Node_Id; Val : Node_Id) is
3154 pragma Assert (False
3155 or else NT (N).Nkind = N_Subunit);
3157 end Set_Corresponding_Stub;
3159 procedure Set_Dcheck_Function
3160 (N : Node_Id; Val : Entity_Id) is
3162 pragma Assert (False
3163 or else NT (N).Nkind = N_Variant);
3164 Set_Node5 (N, Val); -- semantic field, no parent set
3165 end Set_Dcheck_Function;
3167 procedure Set_Debug_Statement
3168 (N : Node_Id; Val : Node_Id) is
3170 pragma Assert (False
3171 or else NT (N).Nkind = N_Pragma);
3172 Set_Node3_With_Parent (N, Val);
3173 end Set_Debug_Statement;
3175 procedure Set_Declarations
3176 (N : Node_Id; Val : List_Id) is
3178 pragma Assert (False
3179 or else NT (N).Nkind = N_Accept_Statement
3180 or else NT (N).Nkind = N_Block_Statement
3181 or else NT (N).Nkind = N_Compilation_Unit_Aux
3182 or else NT (N).Nkind = N_Entry_Body
3183 or else NT (N).Nkind = N_Package_Body
3184 or else NT (N).Nkind = N_Protected_Body
3185 or else NT (N).Nkind = N_Subprogram_Body
3186 or else NT (N).Nkind = N_Task_Body);
3187 Set_List2_With_Parent (N, Val);
3188 end Set_Declarations;
3190 procedure Set_Default_Expression
3191 (N : Node_Id; Val : Node_Id) is
3193 pragma Assert (False
3194 or else NT (N).Nkind = N_Parameter_Specification);
3195 Set_Node5 (N, Val); -- semantic field, no parent set
3196 end Set_Default_Expression;
3198 procedure Set_Default_Name
3199 (N : Node_Id; Val : Node_Id) is
3201 pragma Assert (False
3202 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3203 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3204 Set_Node2_With_Parent (N, Val);
3205 end Set_Default_Name;
3207 procedure Set_Defining_Identifier
3208 (N : Node_Id; Val : Entity_Id) is
3210 pragma Assert (False
3211 or else NT (N).Nkind = N_Component_Declaration
3212 or else NT (N).Nkind = N_Defining_Program_Unit_Name
3213 or else NT (N).Nkind = N_Discriminant_Specification
3214 or else NT (N).Nkind = N_Entry_Body
3215 or else NT (N).Nkind = N_Entry_Declaration
3216 or else NT (N).Nkind = N_Entry_Index_Specification
3217 or else NT (N).Nkind = N_Exception_Declaration
3218 or else NT (N).Nkind = N_Exception_Renaming_Declaration
3219 or else NT (N).Nkind = N_Formal_Object_Declaration
3220 or else NT (N).Nkind = N_Formal_Package_Declaration
3221 or else NT (N).Nkind = N_Formal_Type_Declaration
3222 or else NT (N).Nkind = N_Full_Type_Declaration
3223 or else NT (N).Nkind = N_Implicit_Label_Declaration
3224 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3225 or else NT (N).Nkind = N_Loop_Parameter_Specification
3226 or else NT (N).Nkind = N_Number_Declaration
3227 or else NT (N).Nkind = N_Object_Declaration
3228 or else NT (N).Nkind = N_Object_Renaming_Declaration
3229 or else NT (N).Nkind = N_Package_Body_Stub
3230 or else NT (N).Nkind = N_Parameter_Specification
3231 or else NT (N).Nkind = N_Private_Extension_Declaration
3232 or else NT (N).Nkind = N_Private_Type_Declaration
3233 or else NT (N).Nkind = N_Protected_Body
3234 or else NT (N).Nkind = N_Protected_Body_Stub
3235 or else NT (N).Nkind = N_Protected_Type_Declaration
3236 or else NT (N).Nkind = N_Single_Protected_Declaration
3237 or else NT (N).Nkind = N_Single_Task_Declaration
3238 or else NT (N).Nkind = N_Subtype_Declaration
3239 or else NT (N).Nkind = N_Task_Body
3240 or else NT (N).Nkind = N_Task_Body_Stub
3241 or else NT (N).Nkind = N_Task_Type_Declaration);
3242 Set_Node1_With_Parent (N, Val);
3243 end Set_Defining_Identifier;
3245 procedure Set_Defining_Unit_Name
3246 (N : Node_Id; Val : Node_Id) is
3248 pragma Assert (False
3249 or else NT (N).Nkind = N_Function_Instantiation
3250 or else NT (N).Nkind = N_Function_Specification
3251 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3252 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3253 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3254 or else NT (N).Nkind = N_Package_Body
3255 or else NT (N).Nkind = N_Package_Instantiation
3256 or else NT (N).Nkind = N_Package_Renaming_Declaration
3257 or else NT (N).Nkind = N_Package_Specification
3258 or else NT (N).Nkind = N_Procedure_Instantiation
3259 or else NT (N).Nkind = N_Procedure_Specification);
3260 Set_Node1_With_Parent (N, Val);
3261 end Set_Defining_Unit_Name;
3263 procedure Set_Delay_Alternative
3264 (N : Node_Id; Val : Node_Id) is
3266 pragma Assert (False
3267 or else NT (N).Nkind = N_Timed_Entry_Call);
3268 Set_Node4_With_Parent (N, Val);
3269 end Set_Delay_Alternative;
3271 procedure Set_Delay_Finalize_Attach
3272 (N : Node_Id; Val : Boolean := True) is
3274 pragma Assert (False
3275 or else NT (N).Nkind = N_Object_Declaration);
3276 Set_Flag14 (N, Val);
3277 end Set_Delay_Finalize_Attach;
3279 procedure Set_Delay_Statement
3280 (N : Node_Id; Val : Node_Id) is
3282 pragma Assert (False
3283 or else NT (N).Nkind = N_Delay_Alternative);
3284 Set_Node2_With_Parent (N, Val);
3285 end Set_Delay_Statement;
3287 procedure Set_Delta_Expression
3288 (N : Node_Id; Val : Node_Id) is
3290 pragma Assert (False
3291 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3292 or else NT (N).Nkind = N_Delta_Constraint
3293 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3294 Set_Node3_With_Parent (N, Val);
3295 end Set_Delta_Expression;
3297 procedure Set_Digits_Expression
3298 (N : Node_Id; Val : Node_Id) is
3300 pragma Assert (False
3301 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3302 or else NT (N).Nkind = N_Digits_Constraint
3303 or else NT (N).Nkind = N_Floating_Point_Definition);
3304 Set_Node2_With_Parent (N, Val);
3305 end Set_Digits_Expression;
3307 procedure Set_Discr_Check_Funcs_Built
3308 (N : Node_Id; Val : Boolean := True) is
3310 pragma Assert (False
3311 or else NT (N).Nkind = N_Full_Type_Declaration);
3312 Set_Flag11 (N, Val);
3313 end Set_Discr_Check_Funcs_Built;
3315 procedure Set_Discrete_Choices
3316 (N : Node_Id; Val : List_Id) is
3318 pragma Assert (False
3319 or else NT (N).Nkind = N_Case_Statement_Alternative
3320 or else NT (N).Nkind = N_Variant);
3321 Set_List4_With_Parent (N, Val);
3322 end Set_Discrete_Choices;
3324 procedure Set_Discrete_Range
3325 (N : Node_Id; Val : Node_Id) is
3327 pragma Assert (False
3328 or else NT (N).Nkind = N_Slice);
3329 Set_Node4_With_Parent (N, Val);
3330 end Set_Discrete_Range;
3332 procedure Set_Discrete_Subtype_Definition
3333 (N : Node_Id; Val : Node_Id) is
3335 pragma Assert (False
3336 or else NT (N).Nkind = N_Entry_Declaration
3337 or else NT (N).Nkind = N_Entry_Index_Specification
3338 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3339 Set_Node4_With_Parent (N, Val);
3340 end Set_Discrete_Subtype_Definition;
3342 procedure Set_Discrete_Subtype_Definitions
3343 (N : Node_Id; Val : List_Id) is
3345 pragma Assert (False
3346 or else NT (N).Nkind = N_Constrained_Array_Definition);
3347 Set_List2_With_Parent (N, Val);
3348 end Set_Discrete_Subtype_Definitions;
3350 procedure Set_Discriminant_Specifications
3351 (N : Node_Id; Val : List_Id) is
3353 pragma Assert (False
3354 or else NT (N).Nkind = N_Formal_Type_Declaration
3355 or else NT (N).Nkind = N_Full_Type_Declaration
3356 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3357 or else NT (N).Nkind = N_Private_Extension_Declaration
3358 or else NT (N).Nkind = N_Private_Type_Declaration
3359 or else NT (N).Nkind = N_Protected_Type_Declaration
3360 or else NT (N).Nkind = N_Task_Type_Declaration);
3361 Set_List4_With_Parent (N, Val);
3362 end Set_Discriminant_Specifications;
3364 procedure Set_Discriminant_Type
3365 (N : Node_Id; Val : Node_Id) is
3367 pragma Assert (False
3368 or else NT (N).Nkind = N_Discriminant_Specification);
3369 Set_Node5_With_Parent (N, Val);
3370 end Set_Discriminant_Type;
3372 procedure Set_Do_Accessibility_Check
3373 (N : Node_Id; Val : Boolean := True) is
3375 pragma Assert (False
3376 or else NT (N).Nkind = N_Parameter_Specification);
3377 Set_Flag13 (N, Val);
3378 end Set_Do_Accessibility_Check;
3380 procedure Set_Do_Discriminant_Check
3381 (N : Node_Id; Val : Boolean := True) is
3383 pragma Assert (False
3384 or else NT (N).Nkind = N_Selected_Component);
3385 Set_Flag13 (N, Val);
3386 end Set_Do_Discriminant_Check;
3388 procedure Set_Do_Division_Check
3389 (N : Node_Id; Val : Boolean := True) is
3391 pragma Assert (False
3392 or else NT (N).Nkind = N_Op_Divide
3393 or else NT (N).Nkind = N_Op_Mod
3394 or else NT (N).Nkind = N_Op_Rem);
3395 Set_Flag13 (N, Val);
3396 end Set_Do_Division_Check;
3398 procedure Set_Do_Length_Check
3399 (N : Node_Id; Val : Boolean := True) is
3401 pragma Assert (False
3402 or else NT (N).Nkind = N_Assignment_Statement
3403 or else NT (N).Nkind = N_Op_And
3404 or else NT (N).Nkind = N_Op_Or
3405 or else NT (N).Nkind = N_Op_Xor
3406 or else NT (N).Nkind = N_Type_Conversion);
3408 end Set_Do_Length_Check;
3410 procedure Set_Do_Overflow_Check
3411 (N : Node_Id; Val : Boolean := True) is
3413 pragma Assert (False
3414 or else NT (N).Nkind in N_Op
3415 or else NT (N).Nkind = N_Attribute_Reference
3416 or else NT (N).Nkind = N_Type_Conversion);
3417 Set_Flag17 (N, Val);
3418 end Set_Do_Overflow_Check;
3420 procedure Set_Do_Range_Check
3421 (N : Node_Id; Val : Boolean := True) is
3423 pragma Assert (False
3424 or else NT (N).Nkind in N_Subexpr);
3426 end Set_Do_Range_Check;
3428 procedure Set_Do_Storage_Check
3429 (N : Node_Id; Val : Boolean := True) is
3431 pragma Assert (False
3432 or else NT (N).Nkind = N_Allocator
3433 or else NT (N).Nkind = N_Subprogram_Body);
3434 Set_Flag17 (N, Val);
3435 end Set_Do_Storage_Check;
3437 procedure Set_Do_Tag_Check
3438 (N : Node_Id; Val : Boolean := True) is
3440 pragma Assert (False
3441 or else NT (N).Nkind = N_Assignment_Statement
3442 or else NT (N).Nkind = N_Function_Call
3443 or else NT (N).Nkind = N_Procedure_Call_Statement
3444 or else NT (N).Nkind = N_Return_Statement
3445 or else NT (N).Nkind = N_Type_Conversion);
3446 Set_Flag13 (N, Val);
3447 end Set_Do_Tag_Check;
3449 procedure Set_Elaborate_All_Present
3450 (N : Node_Id; Val : Boolean := True) is
3452 pragma Assert (False
3453 or else NT (N).Nkind = N_With_Clause);
3454 Set_Flag14 (N, Val);
3455 end Set_Elaborate_All_Present;
3457 procedure Set_Elaborate_Present
3458 (N : Node_Id; Val : Boolean := True) is
3460 pragma Assert (False
3461 or else NT (N).Nkind = N_With_Clause);
3463 end Set_Elaborate_Present;
3465 procedure Set_Elaboration_Boolean
3466 (N : Node_Id; Val : Node_Id) is
3468 pragma Assert (False
3469 or else NT (N).Nkind = N_Function_Specification
3470 or else NT (N).Nkind = N_Procedure_Specification);
3472 end Set_Elaboration_Boolean;
3474 procedure Set_Else_Actions
3475 (N : Node_Id; Val : List_Id) is
3477 pragma Assert (False
3478 or else NT (N).Nkind = N_Conditional_Expression);
3479 Set_List3 (N, Val); -- semantic field, no parent set
3480 end Set_Else_Actions;
3482 procedure Set_Else_Statements
3483 (N : Node_Id; Val : List_Id) is
3485 pragma Assert (False
3486 or else NT (N).Nkind = N_Conditional_Entry_Call
3487 or else NT (N).Nkind = N_If_Statement
3488 or else NT (N).Nkind = N_Selective_Accept);
3489 Set_List4_With_Parent (N, Val);
3490 end Set_Else_Statements;
3492 procedure Set_Elsif_Parts
3493 (N : Node_Id; Val : List_Id) is
3495 pragma Assert (False
3496 or else NT (N).Nkind = N_If_Statement);
3497 Set_List3_With_Parent (N, Val);
3498 end Set_Elsif_Parts;
3500 procedure Set_Enclosing_Variant
3501 (N : Node_Id; Val : Node_Id) is
3503 pragma Assert (False
3504 or else NT (N).Nkind = N_Variant);
3505 Set_Node2 (N, Val); -- semantic field, no parent set
3506 end Set_Enclosing_Variant;
3508 procedure Set_End_Label
3509 (N : Node_Id; Val : Node_Id) is
3511 pragma Assert (False
3512 or else NT (N).Nkind = N_Enumeration_Type_Definition
3513 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3514 or else NT (N).Nkind = N_Loop_Statement
3515 or else NT (N).Nkind = N_Package_Specification
3516 or else NT (N).Nkind = N_Protected_Body
3517 or else NT (N).Nkind = N_Protected_Definition
3518 or else NT (N).Nkind = N_Record_Definition
3519 or else NT (N).Nkind = N_Task_Definition);
3520 Set_Node4_With_Parent (N, Val);
3523 procedure Set_End_Span
3524 (N : Node_Id; Val : Uint) is
3526 pragma Assert (False
3527 or else NT (N).Nkind = N_Case_Statement
3528 or else NT (N).Nkind = N_If_Statement);
3532 procedure Set_Entity
3533 (N : Node_Id; Val : Node_Id) is
3535 pragma Assert (False
3536 or else NT (N).Nkind in N_Has_Entity
3537 or else NT (N).Nkind = N_Freeze_Entity);
3538 Set_Node4 (N, Val); -- semantic field, no parent set
3541 procedure Set_Entry_Body_Formal_Part
3542 (N : Node_Id; Val : Node_Id) is
3544 pragma Assert (False
3545 or else NT (N).Nkind = N_Entry_Body);
3546 Set_Node5_With_Parent (N, Val);
3547 end Set_Entry_Body_Formal_Part;
3549 procedure Set_Entry_Call_Alternative
3550 (N : Node_Id; Val : Node_Id) is
3552 pragma Assert (False
3553 or else NT (N).Nkind = N_Conditional_Entry_Call
3554 or else NT (N).Nkind = N_Timed_Entry_Call);
3555 Set_Node1_With_Parent (N, Val);
3556 end Set_Entry_Call_Alternative;
3558 procedure Set_Entry_Call_Statement
3559 (N : Node_Id; Val : Node_Id) is
3561 pragma Assert (False
3562 or else NT (N).Nkind = N_Entry_Call_Alternative);
3563 Set_Node1_With_Parent (N, Val);
3564 end Set_Entry_Call_Statement;
3566 procedure Set_Entry_Direct_Name
3567 (N : Node_Id; Val : Node_Id) is
3569 pragma Assert (False
3570 or else NT (N).Nkind = N_Accept_Statement);
3571 Set_Node1_With_Parent (N, Val);
3572 end Set_Entry_Direct_Name;
3574 procedure Set_Entry_Index
3575 (N : Node_Id; Val : Node_Id) is
3577 pragma Assert (False
3578 or else NT (N).Nkind = N_Accept_Statement);
3579 Set_Node5_With_Parent (N, Val);
3580 end Set_Entry_Index;
3582 procedure Set_Entry_Index_Specification
3583 (N : Node_Id; Val : Node_Id) is
3585 pragma Assert (False
3586 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3587 Set_Node4_With_Parent (N, Val);
3588 end Set_Entry_Index_Specification;
3591 (N : Node_Id; Val : Node_Id) is
3593 pragma Assert (False
3594 or else NT (N).Nkind in N_Has_Etype);
3595 Set_Node5 (N, Val); -- semantic field, no parent set
3598 procedure Set_Exception_Choices
3599 (N : Node_Id; Val : List_Id) is
3601 pragma Assert (False
3602 or else NT (N).Nkind = N_Exception_Handler);
3603 Set_List4_With_Parent (N, Val);
3604 end Set_Exception_Choices;
3606 procedure Set_Exception_Handlers
3607 (N : Node_Id; Val : List_Id) is
3609 pragma Assert (False
3610 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3611 Set_List5_With_Parent (N, Val);
3612 end Set_Exception_Handlers;
3614 procedure Set_Exception_Junk
3615 (N : Node_Id; Val : Boolean := True) is
3617 pragma Assert (False
3618 or else NT (N).Nkind = N_Goto_Statement
3619 or else NT (N).Nkind = N_Label
3620 or else NT (N).Nkind = N_Object_Declaration
3621 or else NT (N).Nkind = N_Subtype_Declaration);
3623 end Set_Exception_Junk;
3625 procedure Set_Expansion_Delayed
3626 (N : Node_Id; Val : Boolean := True) is
3628 pragma Assert (False
3629 or else NT (N).Nkind = N_Aggregate
3630 or else NT (N).Nkind = N_Extension_Aggregate);
3631 Set_Flag11 (N, Val);
3632 end Set_Expansion_Delayed;
3634 procedure Set_Explicit_Actual_Parameter
3635 (N : Node_Id; Val : Node_Id) is
3637 pragma Assert (False
3638 or else NT (N).Nkind = N_Parameter_Association);
3639 Set_Node3_With_Parent (N, Val);
3640 end Set_Explicit_Actual_Parameter;
3642 procedure Set_Explicit_Generic_Actual_Parameter
3643 (N : Node_Id; Val : Node_Id) is
3645 pragma Assert (False
3646 or else NT (N).Nkind = N_Generic_Association);
3647 Set_Node1_With_Parent (N, Val);
3648 end Set_Explicit_Generic_Actual_Parameter;
3650 procedure Set_Expression
3651 (N : Node_Id; Val : Node_Id) is
3653 pragma Assert (False
3654 or else NT (N).Nkind = N_Allocator
3655 or else NT (N).Nkind = N_Assignment_Statement
3656 or else NT (N).Nkind = N_At_Clause
3657 or else NT (N).Nkind = N_Attribute_Definition_Clause
3658 or else NT (N).Nkind = N_Case_Statement
3659 or else NT (N).Nkind = N_Code_Statement
3660 or else NT (N).Nkind = N_Component_Association
3661 or else NT (N).Nkind = N_Component_Declaration
3662 or else NT (N).Nkind = N_Delay_Relative_Statement
3663 or else NT (N).Nkind = N_Delay_Until_Statement
3664 or else NT (N).Nkind = N_Discriminant_Association
3665 or else NT (N).Nkind = N_Discriminant_Specification
3666 or else NT (N).Nkind = N_Exception_Declaration
3667 or else NT (N).Nkind = N_Formal_Object_Declaration
3668 or else NT (N).Nkind = N_Free_Statement
3669 or else NT (N).Nkind = N_Mod_Clause
3670 or else NT (N).Nkind = N_Modular_Type_Definition
3671 or else NT (N).Nkind = N_Number_Declaration
3672 or else NT (N).Nkind = N_Object_Declaration
3673 or else NT (N).Nkind = N_Parameter_Specification
3674 or else NT (N).Nkind = N_Pragma_Argument_Association
3675 or else NT (N).Nkind = N_Qualified_Expression
3676 or else NT (N).Nkind = N_Raise_Statement
3677 or else NT (N).Nkind = N_Return_Statement
3678 or else NT (N).Nkind = N_Type_Conversion
3679 or else NT (N).Nkind = N_Unchecked_Expression
3680 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3681 Set_Node3_With_Parent (N, Val);
3684 procedure Set_Expressions
3685 (N : Node_Id; Val : List_Id) is
3687 pragma Assert (False
3688 or else NT (N).Nkind = N_Aggregate
3689 or else NT (N).Nkind = N_Attribute_Reference
3690 or else NT (N).Nkind = N_Conditional_Expression
3691 or else NT (N).Nkind = N_Extension_Aggregate
3692 or else NT (N).Nkind = N_Indexed_Component);
3693 Set_List1_With_Parent (N, Val);
3694 end Set_Expressions;
3696 procedure Set_First_Bit
3697 (N : Node_Id; Val : Node_Id) is
3699 pragma Assert (False
3700 or else NT (N).Nkind = N_Component_Clause);
3701 Set_Node3_With_Parent (N, Val);
3704 procedure Set_First_Inlined_Subprogram
3705 (N : Node_Id; Val : Entity_Id) is
3707 pragma Assert (False
3708 or else NT (N).Nkind = N_Compilation_Unit);
3709 Set_Node3 (N, Val); -- semantic field, no parent set
3710 end Set_First_Inlined_Subprogram;
3712 procedure Set_First_Name
3713 (N : Node_Id; Val : Boolean := True) is
3715 pragma Assert (False
3716 or else NT (N).Nkind = N_With_Clause);
3720 procedure Set_First_Named_Actual
3721 (N : Node_Id; Val : Node_Id) is
3723 pragma Assert (False
3724 or else NT (N).Nkind = N_Entry_Call_Statement
3725 or else NT (N).Nkind = N_Function_Call
3726 or else NT (N).Nkind = N_Procedure_Call_Statement);
3727 Set_Node4 (N, Val); -- semantic field, no parent set
3728 end Set_First_Named_Actual;
3730 procedure Set_First_Real_Statement
3731 (N : Node_Id; Val : Node_Id) is
3733 pragma Assert (False
3734 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3735 Set_Node2 (N, Val); -- semantic field, no parent set
3736 end Set_First_Real_Statement;
3738 procedure Set_First_Subtype_Link
3739 (N : Node_Id; Val : Entity_Id) is
3741 pragma Assert (False
3742 or else NT (N).Nkind = N_Freeze_Entity);
3743 Set_Node5 (N, Val); -- semantic field, no parent set
3744 end Set_First_Subtype_Link;
3746 procedure Set_Float_Truncate
3747 (N : Node_Id; Val : Boolean := True) is
3749 pragma Assert (False
3750 or else NT (N).Nkind = N_Type_Conversion);
3751 Set_Flag11 (N, Val);
3752 end Set_Float_Truncate;
3754 procedure Set_Formal_Type_Definition
3755 (N : Node_Id; Val : Node_Id) is
3757 pragma Assert (False
3758 or else NT (N).Nkind = N_Formal_Type_Declaration);
3759 Set_Node3_With_Parent (N, Val);
3760 end Set_Formal_Type_Definition;
3762 procedure Set_Forwards_OK
3763 (N : Node_Id; Val : Boolean := True) is
3765 pragma Assert (False
3766 or else NT (N).Nkind = N_Assignment_Statement);
3768 end Set_Forwards_OK;
3770 procedure Set_From_At_Mod
3771 (N : Node_Id; Val : Boolean := True) is
3773 pragma Assert (False
3774 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3776 end Set_From_At_Mod;
3778 procedure Set_From_Default
3779 (N : Node_Id; Val : Boolean := True) is
3781 pragma Assert (False
3782 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3784 end Set_From_Default;
3786 procedure Set_Generic_Associations
3787 (N : Node_Id; Val : List_Id) is
3789 pragma Assert (False
3790 or else NT (N).Nkind = N_Formal_Package_Declaration
3791 or else NT (N).Nkind = N_Function_Instantiation
3792 or else NT (N).Nkind = N_Package_Instantiation
3793 or else NT (N).Nkind = N_Procedure_Instantiation);
3794 Set_List3_With_Parent (N, Val);
3795 end Set_Generic_Associations;
3797 procedure Set_Generic_Formal_Declarations
3798 (N : Node_Id; Val : List_Id) is
3800 pragma Assert (False
3801 or else NT (N).Nkind = N_Generic_Package_Declaration
3802 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
3803 Set_List2_With_Parent (N, Val);
3804 end Set_Generic_Formal_Declarations;
3806 procedure Set_Generic_Parent
3807 (N : Node_Id; Val : Node_Id) is
3809 pragma Assert (False
3810 or else NT (N).Nkind = N_Function_Specification
3811 or else NT (N).Nkind = N_Package_Specification
3812 or else NT (N).Nkind = N_Procedure_Specification);
3814 end Set_Generic_Parent;
3816 procedure Set_Generic_Parent_Type
3817 (N : Node_Id; Val : Node_Id) is
3819 pragma Assert (False
3820 or else NT (N).Nkind = N_Subtype_Declaration);
3822 end Set_Generic_Parent_Type;
3824 procedure Set_Handled_Statement_Sequence
3825 (N : Node_Id; Val : Node_Id) is
3827 pragma Assert (False
3828 or else NT (N).Nkind = N_Accept_Statement
3829 or else NT (N).Nkind = N_Block_Statement
3830 or else NT (N).Nkind = N_Entry_Body
3831 or else NT (N).Nkind = N_Package_Body
3832 or else NT (N).Nkind = N_Subprogram_Body
3833 or else NT (N).Nkind = N_Task_Body);
3834 Set_Node4_With_Parent (N, Val);
3835 end Set_Handled_Statement_Sequence;
3837 procedure Set_Handler_List_Entry
3838 (N : Node_Id; Val : Node_Id) is
3840 pragma Assert (False
3841 or else NT (N).Nkind = N_Object_Declaration);
3843 end Set_Handler_List_Entry;
3845 procedure Set_Has_Created_Identifier
3846 (N : Node_Id; Val : Boolean := True) is
3848 pragma Assert (False
3849 or else NT (N).Nkind = N_Block_Statement
3850 or else NT (N).Nkind = N_Loop_Statement);
3851 Set_Flag15 (N, Val);
3852 end Set_Has_Created_Identifier;
3854 procedure Set_Has_Dynamic_Length_Check
3855 (N : Node_Id; Val : Boolean := True) is
3857 Set_Flag10 (N, Val);
3858 end Set_Has_Dynamic_Length_Check;
3860 procedure Set_Has_Dynamic_Range_Check
3861 (N : Node_Id; Val : Boolean := True) is
3863 Set_Flag12 (N, Val);
3864 end Set_Has_Dynamic_Range_Check;
3866 procedure Set_Has_No_Elaboration_Code
3867 (N : Node_Id; Val : Boolean := True) is
3869 pragma Assert (False
3870 or else NT (N).Nkind = N_Compilation_Unit);
3871 Set_Flag17 (N, Val);
3872 end Set_Has_No_Elaboration_Code;
3874 procedure Set_Has_Priority_Pragma
3875 (N : Node_Id; Val : Boolean := True) is
3877 pragma Assert (False
3878 or else NT (N).Nkind = N_Protected_Definition
3879 or else NT (N).Nkind = N_Subprogram_Body
3880 or else NT (N).Nkind = N_Task_Definition);
3882 end Set_Has_Priority_Pragma;
3884 procedure Set_Has_Private_View
3885 (N : Node_Id; Val : Boolean := True) is
3887 pragma Assert (False
3888 or else NT (N).Nkind in N_Op
3889 or else NT (N).Nkind = N_Character_Literal
3890 or else NT (N).Nkind = N_Expanded_Name
3891 or else NT (N).Nkind = N_Identifier
3892 or else NT (N).Nkind = N_Operator_Symbol);
3893 Set_Flag11 (N, Val);
3894 end Set_Has_Private_View;
3896 procedure Set_Has_Storage_Size_Pragma
3897 (N : Node_Id; Val : Boolean := True) is
3899 pragma Assert (False
3900 or else NT (N).Nkind = N_Task_Definition);
3902 end Set_Has_Storage_Size_Pragma;
3904 procedure Set_Has_Task_Info_Pragma
3905 (N : Node_Id; Val : Boolean := True) is
3907 pragma Assert (False
3908 or else NT (N).Nkind = N_Task_Definition);
3910 end Set_Has_Task_Info_Pragma;
3912 procedure Set_Has_Task_Name_Pragma
3913 (N : Node_Id; Val : Boolean := True) is
3915 pragma Assert (False
3916 or else NT (N).Nkind = N_Task_Definition);
3918 end Set_Has_Task_Name_Pragma;
3920 procedure Set_Has_Wide_Character
3921 (N : Node_Id; Val : Boolean := True) is
3923 pragma Assert (False
3924 or else NT (N).Nkind = N_String_Literal);
3925 Set_Flag11 (N, Val);
3926 end Set_Has_Wide_Character;
3928 procedure Set_Hidden_By_Use_Clause
3929 (N : Node_Id; Val : Elist_Id) is
3931 pragma Assert (False
3932 or else NT (N).Nkind = N_Use_Package_Clause
3933 or else NT (N).Nkind = N_Use_Type_Clause);
3934 Set_Elist4 (N, Val);
3935 end Set_Hidden_By_Use_Clause;
3937 procedure Set_High_Bound
3938 (N : Node_Id; Val : Node_Id) is
3940 pragma Assert (False
3941 or else NT (N).Nkind = N_Range
3942 or else NT (N).Nkind = N_Real_Range_Specification
3943 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3944 Set_Node2_With_Parent (N, Val);
3947 procedure Set_Identifier
3948 (N : Node_Id; Val : Node_Id) is
3950 pragma Assert (False
3951 or else NT (N).Nkind = N_At_Clause
3952 or else NT (N).Nkind = N_Block_Statement
3953 or else NT (N).Nkind = N_Designator
3954 or else NT (N).Nkind = N_Enumeration_Representation_Clause
3955 or else NT (N).Nkind = N_Label
3956 or else NT (N).Nkind = N_Loop_Statement
3957 or else NT (N).Nkind = N_Record_Representation_Clause
3958 or else NT (N).Nkind = N_Subprogram_Info);
3959 Set_Node1_With_Parent (N, Val);
3962 procedure Set_Implicit_With
3963 (N : Node_Id; Val : Boolean := True) is
3965 pragma Assert (False
3966 or else NT (N).Nkind = N_With_Clause);
3967 Set_Flag16 (N, Val);
3968 end Set_Implicit_With;
3970 procedure Set_Interface_List
3971 (N : Node_Id; Val : List_Id) is
3973 pragma Assert (False
3974 or else NT (N).Nkind = N_Derived_Type_Definition
3975 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3976 or else NT (N).Nkind = N_Private_Extension_Declaration
3977 or else NT (N).Nkind = N_Protected_Type_Declaration
3978 or else NT (N).Nkind = N_Record_Definition
3979 or else NT (N).Nkind = N_Single_Protected_Declaration
3980 or else NT (N).Nkind = N_Single_Task_Declaration
3981 or else NT (N).Nkind = N_Task_Type_Declaration);
3982 Set_List2_With_Parent (N, Val);
3983 end Set_Interface_List;
3985 procedure Set_Interface_Present
3986 (N : Node_Id; Val : Boolean := True) is
3988 pragma Assert (False
3989 or else NT (N).Nkind = N_Derived_Type_Definition
3990 or else NT (N).Nkind = N_Record_Definition);
3991 Set_Flag16 (N, Val);
3992 end Set_Interface_Present;
3994 procedure Set_In_Present
3995 (N : Node_Id; Val : Boolean := True) is
3997 pragma Assert (False
3998 or else NT (N).Nkind = N_Formal_Object_Declaration
3999 or else NT (N).Nkind = N_Parameter_Specification);
4000 Set_Flag15 (N, Val);
4003 procedure Set_Includes_Infinities
4004 (N : Node_Id; Val : Boolean := True) is
4006 pragma Assert (False
4007 or else NT (N).Nkind = N_Range);
4008 Set_Flag11 (N, Val);
4009 end Set_Includes_Infinities;
4011 procedure Set_Instance_Spec
4012 (N : Node_Id; Val : Node_Id) is
4014 pragma Assert (False
4015 or else NT (N).Nkind = N_Formal_Package_Declaration
4016 or else NT (N).Nkind = N_Function_Instantiation
4017 or else NT (N).Nkind = N_Package_Instantiation
4018 or else NT (N).Nkind = N_Procedure_Instantiation);
4019 Set_Node5 (N, Val); -- semantic field, no Parent set
4020 end Set_Instance_Spec;
4022 procedure Set_Intval
4023 (N : Node_Id; Val : Uint) is
4025 pragma Assert (False
4026 or else NT (N).Nkind = N_Integer_Literal);
4030 procedure Set_Is_Asynchronous_Call_Block
4031 (N : Node_Id; Val : Boolean := True) is
4033 pragma Assert (False
4034 or else NT (N).Nkind = N_Block_Statement);
4036 end Set_Is_Asynchronous_Call_Block;
4038 procedure Set_Is_Component_Left_Opnd
4039 (N : Node_Id; Val : Boolean := True) is
4041 pragma Assert (False
4042 or else NT (N).Nkind = N_Op_Concat);
4043 Set_Flag13 (N, Val);
4044 end Set_Is_Component_Left_Opnd;
4046 procedure Set_Is_Component_Right_Opnd
4047 (N : Node_Id; Val : Boolean := True) is
4049 pragma Assert (False
4050 or else NT (N).Nkind = N_Op_Concat);
4051 Set_Flag14 (N, Val);
4052 end Set_Is_Component_Right_Opnd;
4054 procedure Set_Is_Controlling_Actual
4055 (N : Node_Id; Val : Boolean := True) is
4057 pragma Assert (False
4058 or else NT (N).Nkind in N_Subexpr);
4059 Set_Flag16 (N, Val);
4060 end Set_Is_Controlling_Actual;
4062 procedure Set_Is_In_Discriminant_Check
4063 (N : Node_Id; Val : Boolean := True) is
4065 pragma Assert (False
4066 or else NT (N).Nkind = N_Selected_Component);
4067 Set_Flag11 (N, Val);
4068 end Set_Is_In_Discriminant_Check;
4070 procedure Set_Is_Machine_Number
4071 (N : Node_Id; Val : Boolean := True) is
4073 pragma Assert (False
4074 or else NT (N).Nkind = N_Real_Literal);
4075 Set_Flag11 (N, Val);
4076 end Set_Is_Machine_Number;
4078 procedure Set_Is_Null_Loop
4079 (N : Node_Id; Val : Boolean := True) is
4081 pragma Assert (False
4082 or else NT (N).Nkind = N_Loop_Statement);
4083 Set_Flag16 (N, Val);
4084 end Set_Is_Null_Loop;
4086 procedure Set_Is_Overloaded
4087 (N : Node_Id; Val : Boolean := True) is
4089 pragma Assert (False
4090 or else NT (N).Nkind in N_Subexpr);
4092 end Set_Is_Overloaded;
4094 procedure Set_Is_Power_Of_2_For_Shift
4095 (N : Node_Id; Val : Boolean := True) is
4097 pragma Assert (False
4098 or else NT (N).Nkind = N_Op_Expon);
4099 Set_Flag13 (N, Val);
4100 end Set_Is_Power_Of_2_For_Shift;
4102 procedure Set_Is_Protected_Subprogram_Body
4103 (N : Node_Id; Val : Boolean := True) is
4105 pragma Assert (False
4106 or else NT (N).Nkind = N_Subprogram_Body);
4108 end Set_Is_Protected_Subprogram_Body;
4110 procedure Set_Is_Static_Expression
4111 (N : Node_Id; Val : Boolean := True) is
4113 pragma Assert (False
4114 or else NT (N).Nkind in N_Subexpr);
4116 end Set_Is_Static_Expression;
4118 procedure Set_Is_Subprogram_Descriptor
4119 (N : Node_Id; Val : Boolean := True) is
4121 pragma Assert (False
4122 or else NT (N).Nkind = N_Object_Declaration);
4123 Set_Flag16 (N, Val);
4124 end Set_Is_Subprogram_Descriptor;
4126 procedure Set_Is_Task_Allocation_Block
4127 (N : Node_Id; Val : Boolean := True) is
4129 pragma Assert (False
4130 or else NT (N).Nkind = N_Block_Statement);
4132 end Set_Is_Task_Allocation_Block;
4134 procedure Set_Is_Task_Master
4135 (N : Node_Id; Val : Boolean := True) is
4137 pragma Assert (False
4138 or else NT (N).Nkind = N_Block_Statement
4139 or else NT (N).Nkind = N_Subprogram_Body
4140 or else NT (N).Nkind = N_Task_Body);
4142 end Set_Is_Task_Master;
4144 procedure Set_Iteration_Scheme
4145 (N : Node_Id; Val : Node_Id) is
4147 pragma Assert (False
4148 or else NT (N).Nkind = N_Loop_Statement);
4149 Set_Node2_With_Parent (N, Val);
4150 end Set_Iteration_Scheme;
4153 (N : Node_Id; Val : Entity_Id) is
4155 pragma Assert (False
4156 or else NT (N).Nkind = N_Itype_Reference);
4157 Set_Node1 (N, Val); -- no parent, semantic field
4160 procedure Set_Kill_Range_Check
4161 (N : Node_Id; Val : Boolean := True) is
4163 pragma Assert (False
4164 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4165 Set_Flag11 (N, Val);
4166 end Set_Kill_Range_Check;
4168 procedure Set_Label_Construct
4169 (N : Node_Id; Val : Node_Id) is
4171 pragma Assert (False
4172 or else NT (N).Nkind = N_Implicit_Label_Declaration);
4173 Set_Node2 (N, Val); -- semantic field, no parent set
4174 end Set_Label_Construct;
4176 procedure Set_Last_Bit
4177 (N : Node_Id; Val : Node_Id) is
4179 pragma Assert (False
4180 or else NT (N).Nkind = N_Component_Clause);
4181 Set_Node4_With_Parent (N, Val);
4184 procedure Set_Last_Name
4185 (N : Node_Id; Val : Boolean := True) is
4187 pragma Assert (False
4188 or else NT (N).Nkind = N_With_Clause);
4192 procedure Set_Left_Opnd
4193 (N : Node_Id; Val : Node_Id) is
4195 pragma Assert (False
4196 or else NT (N).Nkind = N_And_Then
4197 or else NT (N).Nkind = N_In
4198 or else NT (N).Nkind = N_Not_In
4199 or else NT (N).Nkind = N_Or_Else
4200 or else NT (N).Nkind in N_Binary_Op);
4201 Set_Node2_With_Parent (N, Val);
4204 procedure Set_Library_Unit
4205 (N : Node_Id; Val : Node_Id) is
4207 pragma Assert (False
4208 or else NT (N).Nkind = N_Compilation_Unit
4209 or else NT (N).Nkind = N_Package_Body_Stub
4210 or else NT (N).Nkind = N_Protected_Body_Stub
4211 or else NT (N).Nkind = N_Subprogram_Body_Stub
4212 or else NT (N).Nkind = N_Task_Body_Stub
4213 or else NT (N).Nkind = N_With_Clause);
4214 Set_Node4 (N, Val); -- semantic field, no parent set
4215 end Set_Library_Unit;
4217 procedure Set_Limited_View_Installed
4218 (N : Node_Id; Val : Boolean := True) is
4220 pragma Assert (False
4221 or else NT (N).Nkind = N_Package_Specification
4222 or else NT (N).Nkind = N_With_Clause);
4223 Set_Flag18 (N, Val);
4224 end Set_Limited_View_Installed;
4226 procedure Set_Limited_Present
4227 (N : Node_Id; Val : Boolean := True) is
4229 pragma Assert (False
4230 or else NT (N).Nkind = N_Derived_Type_Definition
4231 or else NT (N).Nkind = N_Formal_Private_Type_Definition
4232 or else NT (N).Nkind = N_Private_Extension_Declaration
4233 or else NT (N).Nkind = N_Private_Type_Declaration
4234 or else NT (N).Nkind = N_Record_Definition
4235 or else NT (N).Nkind = N_With_Clause);
4236 Set_Flag17 (N, Val);
4237 end Set_Limited_Present;
4239 procedure Set_Literals
4240 (N : Node_Id; Val : List_Id) is
4242 pragma Assert (False
4243 or else NT (N).Nkind = N_Enumeration_Type_Definition);
4244 Set_List1_With_Parent (N, Val);
4247 procedure Set_Loop_Actions
4248 (N : Node_Id; Val : List_Id) is
4250 pragma Assert (False
4251 or else NT (N).Nkind = N_Component_Association);
4252 Set_List2 (N, Val); -- semantic field, no parent set
4253 end Set_Loop_Actions;
4255 procedure Set_Loop_Parameter_Specification
4256 (N : Node_Id; Val : Node_Id) is
4258 pragma Assert (False
4259 or else NT (N).Nkind = N_Iteration_Scheme);
4260 Set_Node4_With_Parent (N, Val);
4261 end Set_Loop_Parameter_Specification;
4263 procedure Set_Low_Bound
4264 (N : Node_Id; Val : Node_Id) is
4266 pragma Assert (False
4267 or else NT (N).Nkind = N_Range
4268 or else NT (N).Nkind = N_Real_Range_Specification
4269 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4270 Set_Node1_With_Parent (N, Val);
4273 procedure Set_Mod_Clause
4274 (N : Node_Id; Val : Node_Id) is
4276 pragma Assert (False
4277 or else NT (N).Nkind = N_Record_Representation_Clause);
4278 Set_Node2_With_Parent (N, Val);
4281 procedure Set_More_Ids
4282 (N : Node_Id; Val : Boolean := True) is
4284 pragma Assert (False
4285 or else NT (N).Nkind = N_Component_Declaration
4286 or else NT (N).Nkind = N_Discriminant_Specification
4287 or else NT (N).Nkind = N_Exception_Declaration
4288 or else NT (N).Nkind = N_Formal_Object_Declaration
4289 or else NT (N).Nkind = N_Number_Declaration
4290 or else NT (N).Nkind = N_Object_Declaration
4291 or else NT (N).Nkind = N_Parameter_Specification);
4295 procedure Set_Must_Be_Byte_Aligned
4296 (N : Node_Id; Val : Boolean := True) is
4298 pragma Assert (False
4299 or else NT (N).Nkind = N_Attribute_Reference);
4300 Set_Flag14 (N, Val);
4301 end Set_Must_Be_Byte_Aligned;
4303 procedure Set_Must_Not_Freeze
4304 (N : Node_Id; Val : Boolean := True) is
4306 pragma Assert (False
4307 or else NT (N).Nkind = N_Subtype_Indication
4308 or else NT (N).Nkind in N_Subexpr);
4310 end Set_Must_Not_Freeze;
4312 procedure Set_Must_Not_Override
4313 (N : Node_Id; Val : Boolean := True) is
4315 pragma Assert (False
4316 or else NT (N).Nkind = N_Entry_Declaration
4317 or else NT (N).Nkind = N_Function_Instantiation
4318 or else NT (N).Nkind = N_Function_Specification
4319 or else NT (N).Nkind = N_Procedure_Instantiation
4320 or else NT (N).Nkind = N_Procedure_Specification);
4321 Set_Flag15 (N, Val);
4322 end Set_Must_Not_Override;
4324 procedure Set_Must_Override
4325 (N : Node_Id; Val : Boolean := True) is
4327 pragma Assert (False
4328 or else NT (N).Nkind = N_Entry_Declaration
4329 or else NT (N).Nkind = N_Function_Instantiation
4330 or else NT (N).Nkind = N_Function_Specification
4331 or else NT (N).Nkind = N_Procedure_Instantiation
4332 or else NT (N).Nkind = N_Procedure_Specification);
4333 Set_Flag14 (N, Val);
4334 end Set_Must_Override;
4337 (N : Node_Id; Val : Node_Id) is
4339 pragma Assert (False
4340 or else NT (N).Nkind = N_Assignment_Statement
4341 or else NT (N).Nkind = N_Attribute_Definition_Clause
4342 or else NT (N).Nkind = N_Defining_Program_Unit_Name
4343 or else NT (N).Nkind = N_Designator
4344 or else NT (N).Nkind = N_Entry_Call_Statement
4345 or else NT (N).Nkind = N_Exception_Renaming_Declaration
4346 or else NT (N).Nkind = N_Exit_Statement
4347 or else NT (N).Nkind = N_Formal_Package_Declaration
4348 or else NT (N).Nkind = N_Function_Call
4349 or else NT (N).Nkind = N_Function_Instantiation
4350 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4351 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4352 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4353 or else NT (N).Nkind = N_Goto_Statement
4354 or else NT (N).Nkind = N_Object_Renaming_Declaration
4355 or else NT (N).Nkind = N_Package_Instantiation
4356 or else NT (N).Nkind = N_Package_Renaming_Declaration
4357 or else NT (N).Nkind = N_Procedure_Call_Statement
4358 or else NT (N).Nkind = N_Procedure_Instantiation
4359 or else NT (N).Nkind = N_Raise_Statement
4360 or else NT (N).Nkind = N_Requeue_Statement
4361 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4362 or else NT (N).Nkind = N_Subunit
4363 or else NT (N).Nkind = N_Variant_Part
4364 or else NT (N).Nkind = N_With_Clause
4365 or else NT (N).Nkind = N_With_Type_Clause);
4366 Set_Node2_With_Parent (N, Val);
4370 (N : Node_Id; Val : List_Id) is
4372 pragma Assert (False
4373 or else NT (N).Nkind = N_Abort_Statement
4374 or else NT (N).Nkind = N_Use_Package_Clause);
4375 Set_List2_With_Parent (N, Val);
4378 procedure Set_Next_Entity
4379 (N : Node_Id; Val : Node_Id) is
4381 pragma Assert (False
4382 or else NT (N).Nkind = N_Defining_Character_Literal
4383 or else NT (N).Nkind = N_Defining_Identifier
4384 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4385 Set_Node2 (N, Val); -- semantic field, no parent set
4386 end Set_Next_Entity;
4388 procedure Set_Next_Named_Actual
4389 (N : Node_Id; Val : Node_Id) is
4391 pragma Assert (False
4392 or else NT (N).Nkind = N_Parameter_Association);
4393 Set_Node4 (N, Val); -- semantic field, no parent set
4394 end Set_Next_Named_Actual;
4396 procedure Set_Next_Rep_Item
4397 (N : Node_Id; Val : Node_Id) is
4399 pragma Assert (False
4400 or else NT (N).Nkind = N_Attribute_Definition_Clause
4401 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4402 or else NT (N).Nkind = N_Pragma
4403 or else NT (N).Nkind = N_Record_Representation_Clause);
4404 Set_Node4 (N, Val); -- semantic field, no parent set
4405 end Set_Next_Rep_Item;
4407 procedure Set_Next_Use_Clause
4408 (N : Node_Id; Val : Node_Id) is
4410 pragma Assert (False
4411 or else NT (N).Nkind = N_Use_Package_Clause
4412 or else NT (N).Nkind = N_Use_Type_Clause);
4413 Set_Node3 (N, Val); -- semantic field, no parent set
4414 end Set_Next_Use_Clause;
4416 procedure Set_No_Ctrl_Actions
4417 (N : Node_Id; Val : Boolean := True) is
4419 pragma Assert (False
4420 or else NT (N).Nkind = N_Assignment_Statement);
4422 end Set_No_Ctrl_Actions;
4424 procedure Set_No_Elaboration_Check
4425 (N : Node_Id; Val : Boolean := True) is
4427 pragma Assert (False
4428 or else NT (N).Nkind = N_Function_Call
4429 or else NT (N).Nkind = N_Procedure_Call_Statement);
4430 Set_Flag14 (N, Val);
4431 end Set_No_Elaboration_Check;
4433 procedure Set_No_Entities_Ref_In_Spec
4434 (N : Node_Id; Val : Boolean := True) is
4436 pragma Assert (False
4437 or else NT (N).Nkind = N_With_Clause);
4439 end Set_No_Entities_Ref_In_Spec;
4441 procedure Set_No_Initialization
4442 (N : Node_Id; Val : Boolean := True) is
4444 pragma Assert (False
4445 or else NT (N).Nkind = N_Allocator
4446 or else NT (N).Nkind = N_Object_Declaration);
4447 Set_Flag13 (N, Val);
4448 end Set_No_Initialization;
4450 procedure Set_No_Truncation
4451 (N : Node_Id; Val : Boolean := True) is
4453 pragma Assert (False
4454 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4455 Set_Flag17 (N, Val);
4456 end Set_No_Truncation;
4458 procedure Set_Null_Present
4459 (N : Node_Id; Val : Boolean := True) is
4461 pragma Assert (False
4462 or else NT (N).Nkind = N_Component_List
4463 or else NT (N).Nkind = N_Procedure_Specification
4464 or else NT (N).Nkind = N_Record_Definition);
4465 Set_Flag13 (N, Val);
4466 end Set_Null_Present;
4468 procedure Set_Null_Exclusion_Present
4469 (N : Node_Id; Val : Boolean := True) is
4471 pragma Assert (False
4472 or else NT (N).Nkind = N_Access_Definition
4473 or else NT (N).Nkind = N_Access_Function_Definition
4474 or else NT (N).Nkind = N_Access_Procedure_Definition
4475 or else NT (N).Nkind = N_Access_To_Object_Definition
4476 or else NT (N).Nkind = N_Allocator
4477 or else NT (N).Nkind = N_Component_Definition
4478 or else NT (N).Nkind = N_Derived_Type_Definition
4479 or else NT (N).Nkind = N_Discriminant_Specification
4480 or else NT (N).Nkind = N_Function_Specification
4481 or else NT (N).Nkind = N_Object_Declaration
4482 or else NT (N).Nkind = N_Parameter_Specification
4483 or else NT (N).Nkind = N_Subtype_Declaration);
4484 Set_Flag11 (N, Val);
4485 end Set_Null_Exclusion_Present;
4487 procedure Set_Null_Record_Present
4488 (N : Node_Id; Val : Boolean := True) is
4490 pragma Assert (False
4491 or else NT (N).Nkind = N_Aggregate
4492 or else NT (N).Nkind = N_Extension_Aggregate);
4493 Set_Flag17 (N, Val);
4494 end Set_Null_Record_Present;
4496 procedure Set_Object_Definition
4497 (N : Node_Id; Val : Node_Id) is
4499 pragma Assert (False
4500 or else NT (N).Nkind = N_Object_Declaration);
4501 Set_Node4_With_Parent (N, Val);
4502 end Set_Object_Definition;
4504 procedure Set_Original_Discriminant
4505 (N : Node_Id; Val : Node_Id) is
4507 pragma Assert (False
4508 or else NT (N).Nkind = N_Identifier);
4509 Set_Node2 (N, Val); -- semantic field, no parent set
4510 end Set_Original_Discriminant;
4512 procedure Set_Original_Entity
4513 (N : Node_Id; Val : Entity_Id) is
4515 pragma Assert (False
4516 or else NT (N).Nkind = N_Integer_Literal
4517 or else NT (N).Nkind = N_Real_Literal);
4518 Set_Node2 (N, Val); -- semantic field, no parent set
4519 end Set_Original_Entity;
4521 procedure Set_Others_Discrete_Choices
4522 (N : Node_Id; Val : List_Id) is
4524 pragma Assert (False
4525 or else NT (N).Nkind = N_Others_Choice);
4526 Set_List1_With_Parent (N, Val);
4527 end Set_Others_Discrete_Choices;
4529 procedure Set_Out_Present
4530 (N : Node_Id; Val : Boolean := True) is
4532 pragma Assert (False
4533 or else NT (N).Nkind = N_Formal_Object_Declaration
4534 or else NT (N).Nkind = N_Parameter_Specification);
4535 Set_Flag17 (N, Val);
4536 end Set_Out_Present;
4538 procedure Set_Parameter_Associations
4539 (N : Node_Id; Val : List_Id) is
4541 pragma Assert (False
4542 or else NT (N).Nkind = N_Entry_Call_Statement
4543 or else NT (N).Nkind = N_Function_Call
4544 or else NT (N).Nkind = N_Procedure_Call_Statement);
4545 Set_List3_With_Parent (N, Val);
4546 end Set_Parameter_Associations;
4548 procedure Set_Parameter_List_Truncated
4549 (N : Node_Id; Val : Boolean := True) is
4551 pragma Assert (False
4552 or else NT (N).Nkind = N_Function_Call
4553 or else NT (N).Nkind = N_Procedure_Call_Statement);
4554 Set_Flag17 (N, Val);
4555 end Set_Parameter_List_Truncated;
4557 procedure Set_Parameter_Specifications
4558 (N : Node_Id; Val : List_Id) is
4560 pragma Assert (False
4561 or else NT (N).Nkind = N_Accept_Statement
4562 or else NT (N).Nkind = N_Access_Function_Definition
4563 or else NT (N).Nkind = N_Access_Procedure_Definition
4564 or else NT (N).Nkind = N_Entry_Body_Formal_Part
4565 or else NT (N).Nkind = N_Entry_Declaration
4566 or else NT (N).Nkind = N_Function_Specification
4567 or else NT (N).Nkind = N_Procedure_Specification);
4568 Set_List3_With_Parent (N, Val);
4569 end Set_Parameter_Specifications;
4571 procedure Set_Parameter_Type
4572 (N : Node_Id; Val : Node_Id) is
4574 pragma Assert (False
4575 or else NT (N).Nkind = N_Parameter_Specification);
4576 Set_Node2_With_Parent (N, Val);
4577 end Set_Parameter_Type;
4579 procedure Set_Parent_Spec
4580 (N : Node_Id; Val : Node_Id) is
4582 pragma Assert (False
4583 or else NT (N).Nkind = N_Function_Instantiation
4584 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4585 or else NT (N).Nkind = N_Generic_Package_Declaration
4586 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4587 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4588 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4589 or else NT (N).Nkind = N_Package_Declaration
4590 or else NT (N).Nkind = N_Package_Instantiation
4591 or else NT (N).Nkind = N_Package_Renaming_Declaration
4592 or else NT (N).Nkind = N_Procedure_Instantiation
4593 or else NT (N).Nkind = N_Subprogram_Declaration
4594 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4595 Set_Node4 (N, Val); -- semantic field, no parent set
4596 end Set_Parent_Spec;
4598 procedure Set_Position
4599 (N : Node_Id; Val : Node_Id) is
4601 pragma Assert (False
4602 or else NT (N).Nkind = N_Component_Clause);
4603 Set_Node2_With_Parent (N, Val);
4606 procedure Set_Pragma_Argument_Associations
4607 (N : Node_Id; Val : List_Id) is
4609 pragma Assert (False
4610 or else NT (N).Nkind = N_Pragma);
4611 Set_List2_With_Parent (N, Val);
4612 end Set_Pragma_Argument_Associations;
4614 procedure Set_Pragmas_After
4615 (N : Node_Id; Val : List_Id) is
4617 pragma Assert (False
4618 or else NT (N).Nkind = N_Compilation_Unit_Aux
4619 or else NT (N).Nkind = N_Terminate_Alternative);
4620 Set_List5_With_Parent (N, Val);
4621 end Set_Pragmas_After;
4623 procedure Set_Pragmas_Before
4624 (N : Node_Id; Val : List_Id) is
4626 pragma Assert (False
4627 or else NT (N).Nkind = N_Accept_Alternative
4628 or else NT (N).Nkind = N_Delay_Alternative
4629 or else NT (N).Nkind = N_Entry_Call_Alternative
4630 or else NT (N).Nkind = N_Mod_Clause
4631 or else NT (N).Nkind = N_Terminate_Alternative
4632 or else NT (N).Nkind = N_Triggering_Alternative);
4633 Set_List4_With_Parent (N, Val);
4634 end Set_Pragmas_Before;
4636 procedure Set_Prefix
4637 (N : Node_Id; Val : Node_Id) is
4639 pragma Assert (False
4640 or else NT (N).Nkind = N_Attribute_Reference
4641 or else NT (N).Nkind = N_Expanded_Name
4642 or else NT (N).Nkind = N_Explicit_Dereference
4643 or else NT (N).Nkind = N_Indexed_Component
4644 or else NT (N).Nkind = N_Reference
4645 or else NT (N).Nkind = N_Selected_Component
4646 or else NT (N).Nkind = N_Slice);
4647 Set_Node3_With_Parent (N, Val);
4650 procedure Set_Present_Expr
4651 (N : Node_Id; Val : Uint) is
4653 pragma Assert (False
4654 or else NT (N).Nkind = N_Variant);
4656 end Set_Present_Expr;
4658 procedure Set_Prev_Ids
4659 (N : Node_Id; Val : Boolean := True) is
4661 pragma Assert (False
4662 or else NT (N).Nkind = N_Component_Declaration
4663 or else NT (N).Nkind = N_Discriminant_Specification
4664 or else NT (N).Nkind = N_Exception_Declaration
4665 or else NT (N).Nkind = N_Formal_Object_Declaration
4666 or else NT (N).Nkind = N_Number_Declaration
4667 or else NT (N).Nkind = N_Object_Declaration
4668 or else NT (N).Nkind = N_Parameter_Specification);
4672 procedure Set_Print_In_Hex
4673 (N : Node_Id; Val : Boolean := True) is
4675 pragma Assert (False
4676 or else NT (N).Nkind = N_Integer_Literal);
4677 Set_Flag13 (N, Val);
4678 end Set_Print_In_Hex;
4680 procedure Set_Private_Declarations
4681 (N : Node_Id; Val : List_Id) is
4683 pragma Assert (False
4684 or else NT (N).Nkind = N_Package_Specification
4685 or else NT (N).Nkind = N_Protected_Definition
4686 or else NT (N).Nkind = N_Task_Definition);
4687 Set_List3_With_Parent (N, Val);
4688 end Set_Private_Declarations;
4690 procedure Set_Private_Present
4691 (N : Node_Id; Val : Boolean := True) is
4693 pragma Assert (False
4694 or else NT (N).Nkind = N_Compilation_Unit
4695 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4696 or else NT (N).Nkind = N_With_Clause);
4697 Set_Flag15 (N, Val);
4698 end Set_Private_Present;
4700 procedure Set_Procedure_To_Call
4701 (N : Node_Id; Val : Node_Id) is
4703 pragma Assert (False
4704 or else NT (N).Nkind = N_Allocator
4705 or else NT (N).Nkind = N_Free_Statement
4706 or else NT (N).Nkind = N_Return_Statement);
4707 Set_Node4 (N, Val); -- semantic field, no parent set
4708 end Set_Procedure_To_Call;
4710 procedure Set_Proper_Body
4711 (N : Node_Id; Val : Node_Id) is
4713 pragma Assert (False
4714 or else NT (N).Nkind = N_Subunit);
4715 Set_Node1_With_Parent (N, Val);
4716 end Set_Proper_Body;
4718 procedure Set_Protected_Definition
4719 (N : Node_Id; Val : Node_Id) is
4721 pragma Assert (False
4722 or else NT (N).Nkind = N_Protected_Type_Declaration
4723 or else NT (N).Nkind = N_Single_Protected_Declaration);
4724 Set_Node3_With_Parent (N, Val);
4725 end Set_Protected_Definition;
4727 procedure Set_Protected_Present
4728 (N : Node_Id; Val : Boolean := True) is
4730 pragma Assert (False
4731 or else NT (N).Nkind = N_Access_Function_Definition
4732 or else NT (N).Nkind = N_Access_Procedure_Definition
4733 or else NT (N).Nkind = N_Derived_Type_Definition
4734 or else NT (N).Nkind = N_Record_Definition);
4736 end Set_Protected_Present;
4738 procedure Set_Raises_Constraint_Error
4739 (N : Node_Id; Val : Boolean := True) is
4741 pragma Assert (False
4742 or else NT (N).Nkind in N_Subexpr);
4744 end Set_Raises_Constraint_Error;
4746 procedure Set_Range_Constraint
4747 (N : Node_Id; Val : Node_Id) is
4749 pragma Assert (False
4750 or else NT (N).Nkind = N_Delta_Constraint
4751 or else NT (N).Nkind = N_Digits_Constraint);
4752 Set_Node4_With_Parent (N, Val);
4753 end Set_Range_Constraint;
4755 procedure Set_Range_Expression
4756 (N : Node_Id; Val : Node_Id) is
4758 pragma Assert (False
4759 or else NT (N).Nkind = N_Range_Constraint);
4760 Set_Node4_With_Parent (N, Val);
4761 end Set_Range_Expression;
4763 procedure Set_Real_Range_Specification
4764 (N : Node_Id; Val : Node_Id) is
4766 pragma Assert (False
4767 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4768 or else NT (N).Nkind = N_Floating_Point_Definition
4769 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4770 Set_Node4_With_Parent (N, Val);
4771 end Set_Real_Range_Specification;
4773 procedure Set_Realval
4774 (N : Node_Id; Val : Ureal) is
4776 pragma Assert (False
4777 or else NT (N).Nkind = N_Real_Literal);
4778 Set_Ureal3 (N, Val);
4781 procedure Set_Reason
4782 (N : Node_Id; Val : Uint) is
4784 pragma Assert (False
4785 or else NT (N).Nkind = N_Raise_Constraint_Error
4786 or else NT (N).Nkind = N_Raise_Program_Error
4787 or else NT (N).Nkind = N_Raise_Storage_Error);
4791 procedure Set_Record_Extension_Part
4792 (N : Node_Id; Val : Node_Id) is
4794 pragma Assert (False
4795 or else NT (N).Nkind = N_Derived_Type_Definition);
4796 Set_Node3_With_Parent (N, Val);
4797 end Set_Record_Extension_Part;
4799 procedure Set_Redundant_Use
4800 (N : Node_Id; Val : Boolean := True) is
4802 pragma Assert (False
4803 or else NT (N).Nkind = N_Attribute_Reference
4804 or else NT (N).Nkind = N_Expanded_Name
4805 or else NT (N).Nkind = N_Identifier);
4806 Set_Flag13 (N, Val);
4807 end Set_Redundant_Use;
4809 procedure Set_Result_Definition
4810 (N : Node_Id; Val : Node_Id) is
4812 pragma Assert (False
4813 or else NT (N).Nkind = N_Access_Function_Definition
4814 or else NT (N).Nkind = N_Function_Specification);
4815 Set_Node4_With_Parent (N, Val);
4816 end Set_Result_Definition;
4818 procedure Set_Return_Type
4819 (N : Node_Id; Val : Node_Id) is
4821 pragma Assert (False
4822 or else NT (N).Nkind = N_Return_Statement);
4823 Set_Node2 (N, Val); -- semantic field, no parent set
4824 end Set_Return_Type;
4826 procedure Set_Reverse_Present
4827 (N : Node_Id; Val : Boolean := True) is
4829 pragma Assert (False
4830 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4831 Set_Flag15 (N, Val);
4832 end Set_Reverse_Present;
4834 procedure Set_Right_Opnd
4835 (N : Node_Id; Val : Node_Id) is
4837 pragma Assert (False
4838 or else NT (N).Nkind in N_Op
4839 or else NT (N).Nkind = N_And_Then
4840 or else NT (N).Nkind = N_In
4841 or else NT (N).Nkind = N_Not_In
4842 or else NT (N).Nkind = N_Or_Else);
4843 Set_Node3_With_Parent (N, Val);
4846 procedure Set_Rounded_Result
4847 (N : Node_Id; Val : Boolean := True) is
4849 pragma Assert (False
4850 or else NT (N).Nkind = N_Op_Divide
4851 or else NT (N).Nkind = N_Op_Multiply
4852 or else NT (N).Nkind = N_Type_Conversion);
4853 Set_Flag18 (N, Val);
4854 end Set_Rounded_Result;
4857 (N : Node_Id; Val : Node_Id) is
4859 pragma Assert (False
4860 or else NT (N).Nkind = N_Defining_Character_Literal
4861 or else NT (N).Nkind = N_Defining_Identifier
4862 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4863 Set_Node3 (N, Val); -- semantic field, no parent set
4866 procedure Set_Select_Alternatives
4867 (N : Node_Id; Val : List_Id) is
4869 pragma Assert (False
4870 or else NT (N).Nkind = N_Selective_Accept);
4871 Set_List1_With_Parent (N, Val);
4872 end Set_Select_Alternatives;
4874 procedure Set_Selector_Name
4875 (N : Node_Id; Val : Node_Id) is
4877 pragma Assert (False
4878 or else NT (N).Nkind = N_Expanded_Name
4879 or else NT (N).Nkind = N_Generic_Association
4880 or else NT (N).Nkind = N_Parameter_Association
4881 or else NT (N).Nkind = N_Selected_Component);
4882 Set_Node2_With_Parent (N, Val);
4883 end Set_Selector_Name;
4885 procedure Set_Selector_Names
4886 (N : Node_Id; Val : List_Id) is
4888 pragma Assert (False
4889 or else NT (N).Nkind = N_Discriminant_Association);
4890 Set_List1_With_Parent (N, Val);
4891 end Set_Selector_Names;
4893 procedure Set_Shift_Count_OK
4894 (N : Node_Id; Val : Boolean := True) is
4896 pragma Assert (False
4897 or else NT (N).Nkind = N_Op_Rotate_Left
4898 or else NT (N).Nkind = N_Op_Rotate_Right
4899 or else NT (N).Nkind = N_Op_Shift_Left
4900 or else NT (N).Nkind = N_Op_Shift_Right
4901 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
4903 end Set_Shift_Count_OK;
4905 procedure Set_Source_Type
4906 (N : Node_Id; Val : Entity_Id) is
4908 pragma Assert (False
4909 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4910 Set_Node1 (N, Val); -- semantic field, no parent set
4911 end Set_Source_Type;
4913 procedure Set_Specification
4914 (N : Node_Id; Val : Node_Id) is
4916 pragma Assert (False
4917 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
4918 or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
4919 or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
4920 or else NT (N).Nkind = N_Generic_Package_Declaration
4921 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4922 or else NT (N).Nkind = N_Package_Declaration
4923 or else NT (N).Nkind = N_Subprogram_Body
4924 or else NT (N).Nkind = N_Subprogram_Body_Stub
4925 or else NT (N).Nkind = N_Subprogram_Declaration
4926 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4927 Set_Node1_With_Parent (N, Val);
4928 end Set_Specification;
4930 procedure Set_Statements
4931 (N : Node_Id; Val : List_Id) is
4933 pragma Assert (False
4934 or else NT (N).Nkind = N_Abortable_Part
4935 or else NT (N).Nkind = N_Accept_Alternative
4936 or else NT (N).Nkind = N_Case_Statement_Alternative
4937 or else NT (N).Nkind = N_Delay_Alternative
4938 or else NT (N).Nkind = N_Entry_Call_Alternative
4939 or else NT (N).Nkind = N_Exception_Handler
4940 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4941 or else NT (N).Nkind = N_Loop_Statement
4942 or else NT (N).Nkind = N_Triggering_Alternative);
4943 Set_List3_With_Parent (N, Val);
4946 procedure Set_Static_Processing_OK
4947 (N : Node_Id; Val : Boolean) is
4949 pragma Assert (False
4950 or else NT (N).Nkind = N_Aggregate);
4952 end Set_Static_Processing_OK;
4954 procedure Set_Storage_Pool
4955 (N : Node_Id; Val : Node_Id) is
4957 pragma Assert (False
4958 or else NT (N).Nkind = N_Allocator
4959 or else NT (N).Nkind = N_Free_Statement
4960 or else NT (N).Nkind = N_Return_Statement);
4961 Set_Node1 (N, Val); -- semantic field, no parent set
4962 end Set_Storage_Pool;
4964 procedure Set_Strval
4965 (N : Node_Id; Val : String_Id) is
4967 pragma Assert (False
4968 or else NT (N).Nkind = N_Operator_Symbol
4969 or else NT (N).Nkind = N_String_Literal);
4973 procedure Set_Subtype_Indication
4974 (N : Node_Id; Val : Node_Id) is
4976 pragma Assert (False
4977 or else NT (N).Nkind = N_Access_To_Object_Definition
4978 or else NT (N).Nkind = N_Component_Definition
4979 or else NT (N).Nkind = N_Derived_Type_Definition
4980 or else NT (N).Nkind = N_Private_Extension_Declaration
4981 or else NT (N).Nkind = N_Subtype_Declaration);
4982 Set_Node5_With_Parent (N, Val);
4983 end Set_Subtype_Indication;
4985 procedure Set_Subtype_Mark
4986 (N : Node_Id; Val : Node_Id) is
4988 pragma Assert (False
4989 or else NT (N).Nkind = N_Access_Definition
4990 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4991 or else NT (N).Nkind = N_Formal_Object_Declaration
4992 or else NT (N).Nkind = N_Object_Renaming_Declaration
4993 or else NT (N).Nkind = N_Qualified_Expression
4994 or else NT (N).Nkind = N_Subtype_Indication
4995 or else NT (N).Nkind = N_Type_Conversion
4996 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4997 Set_Node4_With_Parent (N, Val);
4998 end Set_Subtype_Mark;
5000 procedure Set_Subtype_Marks
5001 (N : Node_Id; Val : List_Id) is
5003 pragma Assert (False
5004 or else NT (N).Nkind = N_Unconstrained_Array_Definition
5005 or else NT (N).Nkind = N_Use_Type_Clause);
5006 Set_List2_With_Parent (N, Val);
5007 end Set_Subtype_Marks;
5009 procedure Set_Synchronized_Present
5010 (N : Node_Id; Val : Boolean := True) is
5012 pragma Assert (False
5013 or else NT (N).Nkind = N_Derived_Type_Definition
5014 or else NT (N).Nkind = N_Record_Definition);
5016 end Set_Synchronized_Present;
5018 procedure Set_Tagged_Present
5019 (N : Node_Id; Val : Boolean := True) is
5021 pragma Assert (False
5022 or else NT (N).Nkind = N_Formal_Private_Type_Definition
5023 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5024 or else NT (N).Nkind = N_Private_Type_Declaration
5025 or else NT (N).Nkind = N_Record_Definition
5026 or else NT (N).Nkind = N_With_Type_Clause);
5027 Set_Flag15 (N, Val);
5028 end Set_Tagged_Present;
5030 procedure Set_Target_Type
5031 (N : Node_Id; Val : Entity_Id) is
5033 pragma Assert (False
5034 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5035 Set_Node2 (N, Val); -- semantic field, no parent set
5036 end Set_Target_Type;
5038 procedure Set_Task_Definition
5039 (N : Node_Id; Val : Node_Id) is
5041 pragma Assert (False
5042 or else NT (N).Nkind = N_Single_Task_Declaration
5043 or else NT (N).Nkind = N_Task_Type_Declaration);
5044 Set_Node3_With_Parent (N, Val);
5045 end Set_Task_Definition;
5047 procedure Set_Task_Present
5048 (N : Node_Id; Val : Boolean := True) is
5050 pragma Assert (False
5051 or else NT (N).Nkind = N_Derived_Type_Definition
5052 or else NT (N).Nkind = N_Record_Definition);
5054 end Set_Task_Present;
5056 procedure Set_Then_Actions
5057 (N : Node_Id; Val : List_Id) is
5059 pragma Assert (False
5060 or else NT (N).Nkind = N_Conditional_Expression);
5061 Set_List2 (N, Val); -- semantic field, no parent set
5062 end Set_Then_Actions;
5064 procedure Set_Then_Statements
5065 (N : Node_Id; Val : List_Id) is
5067 pragma Assert (False
5068 or else NT (N).Nkind = N_Elsif_Part
5069 or else NT (N).Nkind = N_If_Statement);
5070 Set_List2_With_Parent (N, Val);
5071 end Set_Then_Statements;
5073 procedure Set_Treat_Fixed_As_Integer
5074 (N : Node_Id; Val : Boolean := True) is
5076 pragma Assert (False
5077 or else NT (N).Nkind = N_Op_Divide
5078 or else NT (N).Nkind = N_Op_Mod
5079 or else NT (N).Nkind = N_Op_Multiply
5080 or else NT (N).Nkind = N_Op_Rem);
5081 Set_Flag14 (N, Val);
5082 end Set_Treat_Fixed_As_Integer;
5084 procedure Set_Triggering_Alternative
5085 (N : Node_Id; Val : Node_Id) is
5087 pragma Assert (False
5088 or else NT (N).Nkind = N_Asynchronous_Select);
5089 Set_Node1_With_Parent (N, Val);
5090 end Set_Triggering_Alternative;
5092 procedure Set_Triggering_Statement
5093 (N : Node_Id; Val : Node_Id) is
5095 pragma Assert (False
5096 or else NT (N).Nkind = N_Triggering_Alternative);
5097 Set_Node1_With_Parent (N, Val);
5098 end Set_Triggering_Statement;
5100 procedure Set_TSS_Elist
5101 (N : Node_Id; Val : Elist_Id) is
5103 pragma Assert (False
5104 or else NT (N).Nkind = N_Freeze_Entity);
5105 Set_Elist3 (N, Val); -- semantic field, no parent set
5108 procedure Set_Type_Definition
5109 (N : Node_Id; Val : Node_Id) is
5111 pragma Assert (False
5112 or else NT (N).Nkind = N_Full_Type_Declaration);
5113 Set_Node3_With_Parent (N, Val);
5114 end Set_Type_Definition;
5117 (N : Node_Id; Val : Node_Id) is
5119 pragma Assert (False
5120 or else NT (N).Nkind = N_Compilation_Unit);
5121 Set_Node2_With_Parent (N, Val);
5124 procedure Set_Unknown_Discriminants_Present
5125 (N : Node_Id; Val : Boolean := True) is
5127 pragma Assert (False
5128 or else NT (N).Nkind = N_Formal_Type_Declaration
5129 or else NT (N).Nkind = N_Incomplete_Type_Declaration
5130 or else NT (N).Nkind = N_Private_Extension_Declaration
5131 or else NT (N).Nkind = N_Private_Type_Declaration);
5132 Set_Flag13 (N, Val);
5133 end Set_Unknown_Discriminants_Present;
5135 procedure Set_Unreferenced_In_Spec
5136 (N : Node_Id; Val : Boolean := True) is
5138 pragma Assert (False
5139 or else NT (N).Nkind = N_With_Clause);
5141 end Set_Unreferenced_In_Spec;
5143 procedure Set_Variant_Part
5144 (N : Node_Id; Val : Node_Id) is
5146 pragma Assert (False
5147 or else NT (N).Nkind = N_Component_List);
5148 Set_Node4_With_Parent (N, Val);
5149 end Set_Variant_Part;
5151 procedure Set_Variants
5152 (N : Node_Id; Val : List_Id) is
5154 pragma Assert (False
5155 or else NT (N).Nkind = N_Variant_Part);
5156 Set_List1_With_Parent (N, Val);
5159 procedure Set_Visible_Declarations
5160 (N : Node_Id; Val : List_Id) is
5162 pragma Assert (False
5163 or else NT (N).Nkind = N_Package_Specification
5164 or else NT (N).Nkind = N_Protected_Definition
5165 or else NT (N).Nkind = N_Task_Definition);
5166 Set_List2_With_Parent (N, Val);
5167 end Set_Visible_Declarations;
5169 procedure Set_Was_Originally_Stub
5170 (N : Node_Id; Val : Boolean := True) is
5172 pragma Assert (False
5173 or else NT (N).Nkind = N_Package_Body
5174 or else NT (N).Nkind = N_Protected_Body
5175 or else NT (N).Nkind = N_Subprogram_Body
5176 or else NT (N).Nkind = N_Task_Body);
5177 Set_Flag13 (N, Val);
5178 end Set_Was_Originally_Stub;
5180 procedure Set_Zero_Cost_Handling
5181 (N : Node_Id; Val : Boolean := True) is
5183 pragma Assert (False
5184 or else NT (N).Nkind = N_Exception_Handler
5185 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
5187 end Set_Zero_Cost_Handling;
5189 -------------------------
5190 -- Iterator Procedures --
5191 -------------------------
5193 procedure Next_Entity (N : in out Node_Id) is
5195 N := Next_Entity (N);
5198 procedure Next_Named_Actual (N : in out Node_Id) is
5200 N := Next_Named_Actual (N);
5201 end Next_Named_Actual;
5203 procedure Next_Rep_Item (N : in out Node_Id) is
5205 N := Next_Rep_Item (N);
5208 procedure Next_Use_Clause (N : in out Node_Id) is
5210 N := Next_Use_Clause (N);
5211 end Next_Use_Clause;
5217 function End_Location (N : Node_Id) return Source_Ptr is
5218 L : constant Uint := End_Span (N);
5224 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
5228 ----------------------
5229 -- Set_End_Location --
5230 ----------------------
5232 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
5235 UI_From_Int (Int (S) - Int (Sloc (N))));
5236 end Set_End_Location;