?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix thinko
[official-gcc.git] / gcc / ada / sinfo.adb
blobf782b3ddf45b55de47601290f78a318375db53b0
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S I N F O --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2002, Free Software Foundation, Inc. --
10 -- --
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, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
21 -- --
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. --
28 -- --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
31 -- --
32 ------------------------------------------------------------------------------
33
34 pragma Style_Checks (All_Checks);
35 -- No subprogram ordering check, due to logical grouping
36
37 with Atree; use Atree;
38
39 package body Sinfo is
40
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).
46
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).
54
55 NT : Nodes.Table_Ptr renames Nodes.Table;
56 -- A short hand abbreviation, useful for the debugging checks
57
58 ----------------------------
59 -- Field Access Functions --
60 ----------------------------
61
62 function ABE_Is_Certain
63 (N : Node_Id) return Boolean is
64 begin
65 pragma Assert (False
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);
72 return Flag18 (N);
73 end ABE_Is_Certain;
74
75 function Abort_Present
76 (N : Node_Id) return Boolean is
77 begin
78 pragma Assert (False
79 or else NT (N).Nkind = N_Requeue_Statement);
80 return Flag15 (N);
81 end Abort_Present;
82
83 function Abortable_Part
84 (N : Node_Id) return Node_Id is
85 begin
86 pragma Assert (False
87 or else NT (N).Nkind = N_Asynchronous_Select);
88 return Node2 (N);
89 end Abortable_Part;
90
91 function Abstract_Present
92 (N : Node_Id) return Boolean is
93 begin
94 pragma Assert (False
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);
101 return Flag4 (N);
102 end Abstract_Present;
103
104 function Accept_Handler_Records
105 (N : Node_Id) return List_Id is
106 begin
107 pragma Assert (False
108 or else NT (N).Nkind = N_Accept_Alternative);
109 return List5 (N);
110 end Accept_Handler_Records;
111
112 function Accept_Statement
113 (N : Node_Id) return Node_Id is
114 begin
115 pragma Assert (False
116 or else NT (N).Nkind = N_Accept_Alternative);
117 return Node2 (N);
118 end Accept_Statement;
119
120 function Access_Types_To_Process
121 (N : Node_Id) return Elist_Id is
122 begin
123 pragma Assert (False
124 or else NT (N).Nkind = N_Freeze_Entity);
125 return Elist2 (N);
126 end Access_Types_To_Process;
127
128 function Actions
129 (N : Node_Id) return List_Id is
130 begin
131 pragma Assert (False
132 or else NT (N).Nkind = N_And_Then
133 or else NT (N).Nkind = N_Compilation_Unit_Aux
134 or else NT (N).Nkind = N_Freeze_Entity
135 or else NT (N).Nkind = N_Or_Else);
136 return List1 (N);
137 end Actions;
138
139 function Activation_Chain_Entity
140 (N : Node_Id) return Node_Id is
141 begin
142 pragma Assert (False
143 or else NT (N).Nkind = N_Block_Statement
144 or else NT (N).Nkind = N_Entry_Body
145 or else NT (N).Nkind = N_Generic_Package_Declaration
146 or else NT (N).Nkind = N_Package_Declaration
147 or else NT (N).Nkind = N_Subprogram_Body
148 or else NT (N).Nkind = N_Task_Body);
149 return Node3 (N);
150 end Activation_Chain_Entity;
151
152 function Acts_As_Spec
153 (N : Node_Id) return Boolean is
154 begin
155 pragma Assert (False
156 or else NT (N).Nkind = N_Compilation_Unit
157 or else NT (N).Nkind = N_Subprogram_Body);
158 return Flag4 (N);
159 end Acts_As_Spec;
160
161 function Aggregate_Bounds
162 (N : Node_Id) return Node_Id is
163 begin
164 pragma Assert (False
165 or else NT (N).Nkind = N_Aggregate);
166 return Node3 (N);
167 end Aggregate_Bounds;
168
169 function Aliased_Present
170 (N : Node_Id) return Boolean is
171 begin
172 pragma Assert (False
173 or else NT (N).Nkind = N_Component_Declaration
174 or else NT (N).Nkind = N_Constrained_Array_Definition
175 or else NT (N).Nkind = N_Object_Declaration
176 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
177 return Flag4 (N);
178 end Aliased_Present;
179
180 function All_Others
181 (N : Node_Id) return Boolean is
182 begin
183 pragma Assert (False
184 or else NT (N).Nkind = N_Others_Choice);
185 return Flag11 (N);
186 end All_Others;
187
188 function All_Present
189 (N : Node_Id) return Boolean is
190 begin
191 pragma Assert (False
192 or else NT (N).Nkind = N_Access_To_Object_Definition);
193 return Flag15 (N);
194 end All_Present;
195
196 function Alternatives
197 (N : Node_Id) return List_Id is
198 begin
199 pragma Assert (False
200 or else NT (N).Nkind = N_Case_Statement);
201 return List4 (N);
202 end Alternatives;
203
204 function Ancestor_Part
205 (N : Node_Id) return Node_Id is
206 begin
207 pragma Assert (False
208 or else NT (N).Nkind = N_Extension_Aggregate);
209 return Node3 (N);
210 end Ancestor_Part;
211
212 function Array_Aggregate
213 (N : Node_Id) return Node_Id is
214 begin
215 pragma Assert (False
216 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
217 return Node3 (N);
218 end Array_Aggregate;
219
220 function Assignment_OK
221 (N : Node_Id) return Boolean is
222 begin
223 pragma Assert (False
224 or else NT (N).Nkind = N_Object_Declaration
225 or else NT (N).Nkind in N_Subexpr);
226 return Flag15 (N);
227 end Assignment_OK;
228
229 function Associated_Node
230 (N : Node_Id) return Node_Id is
231 begin
232 pragma Assert (False
233 or else NT (N).Nkind in N_Has_Entity
234 or else NT (N).Nkind = N_Aggregate
235 or else NT (N).Nkind = N_Extension_Aggregate
236 or else NT (N).Nkind = N_Selected_Component);
237 return Node4 (N);
238 end Associated_Node;
239
240 function At_End_Proc
241 (N : Node_Id) return Node_Id is
242 begin
243 pragma Assert (False
244 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
245 return Node1 (N);
246 end At_End_Proc;
247
248 function Attribute_Name
249 (N : Node_Id) return Name_Id is
250 begin
251 pragma Assert (False
252 or else NT (N).Nkind = N_Attribute_Reference);
253 return Name2 (N);
254 end Attribute_Name;
255
256 function Aux_Decls_Node
257 (N : Node_Id) return Node_Id is
258 begin
259 pragma Assert (False
260 or else NT (N).Nkind = N_Compilation_Unit);
261 return Node5 (N);
262 end Aux_Decls_Node;
263
264 function Backwards_OK
265 (N : Node_Id) return Boolean is
266 begin
267 pragma Assert (False
268 or else NT (N).Nkind = N_Assignment_Statement);
269 return Flag6 (N);
270 end Backwards_OK;
271
272 function Bad_Is_Detected
273 (N : Node_Id) return Boolean is
274 begin
275 pragma Assert (False
276 or else NT (N).Nkind = N_Subprogram_Body);
277 return Flag15 (N);
278 end Bad_Is_Detected;
279
280 function Body_Required
281 (N : Node_Id) return Boolean is
282 begin
283 pragma Assert (False
284 or else NT (N).Nkind = N_Compilation_Unit);
285 return Flag13 (N);
286 end Body_Required;
287
288 function Body_To_Inline
289 (N : Node_Id) return Node_Id is
290 begin
291 pragma Assert (False
292 or else NT (N).Nkind = N_Subprogram_Declaration);
293 return Node3 (N);
294 end Body_To_Inline;
295
296 function Box_Present
297 (N : Node_Id) return Boolean is
298 begin
299 pragma Assert (False
300 or else NT (N).Nkind = N_Formal_Package_Declaration
301 or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
302 return Flag15 (N);
303 end Box_Present;
304
305 function By_Ref
306 (N : Node_Id) return Boolean is
307 begin
308 pragma Assert (False
309 or else NT (N).Nkind = N_Return_Statement);
310 return Flag5 (N);
311 end By_Ref;
312
313 function Char_Literal_Value
314 (N : Node_Id) return Char_Code is
315 begin
316 pragma Assert (False
317 or else NT (N).Nkind = N_Character_Literal);
318 return Char_Code2 (N);
319 end Char_Literal_Value;
320
321 function Chars
322 (N : Node_Id) return Name_Id is
323 begin
324 pragma Assert (False
325 or else NT (N).Nkind in N_Has_Chars);
326 return Name1 (N);
327 end Chars;
328
329 function Choice_Parameter
330 (N : Node_Id) return Node_Id is
331 begin
332 pragma Assert (False
333 or else NT (N).Nkind = N_Exception_Handler);
334 return Node2 (N);
335 end Choice_Parameter;
336
337 function Choices
338 (N : Node_Id) return List_Id is
339 begin
340 pragma Assert (False
341 or else NT (N).Nkind = N_Component_Association);
342 return List1 (N);
343 end Choices;
344
345 function Compile_Time_Known_Aggregate
346 (N : Node_Id) return Boolean is
347 begin
348 pragma Assert (False
349 or else NT (N).Nkind = N_Aggregate);
350 return Flag18 (N);
351 end Compile_Time_Known_Aggregate;
352
353 function Component_Associations
354 (N : Node_Id) return List_Id is
355 begin
356 pragma Assert (False
357 or else NT (N).Nkind = N_Aggregate
358 or else NT (N).Nkind = N_Extension_Aggregate);
359 return List2 (N);
360 end Component_Associations;
361
362 function Component_Clauses
363 (N : Node_Id) return List_Id is
364 begin
365 pragma Assert (False
366 or else NT (N).Nkind = N_Record_Representation_Clause);
367 return List3 (N);
368 end Component_Clauses;
369
370 function Component_Items
371 (N : Node_Id) return List_Id is
372 begin
373 pragma Assert (False
374 or else NT (N).Nkind = N_Component_List);
375 return List3 (N);
376 end Component_Items;
377
378 function Component_List
379 (N : Node_Id) return Node_Id is
380 begin
381 pragma Assert (False
382 or else NT (N).Nkind = N_Record_Definition
383 or else NT (N).Nkind = N_Variant);
384 return Node1 (N);
385 end Component_List;
386
387 function Component_Name
388 (N : Node_Id) return Node_Id is
389 begin
390 pragma Assert (False
391 or else NT (N).Nkind = N_Component_Clause);
392 return Node1 (N);
393 end Component_Name;
394
395 function Condition
396 (N : Node_Id) return Node_Id is
397 begin
398 pragma Assert (False
399 or else NT (N).Nkind = N_Accept_Alternative
400 or else NT (N).Nkind = N_Delay_Alternative
401 or else NT (N).Nkind = N_Elsif_Part
402 or else NT (N).Nkind = N_Entry_Body_Formal_Part
403 or else NT (N).Nkind = N_Exit_Statement
404 or else NT (N).Nkind = N_If_Statement
405 or else NT (N).Nkind = N_Iteration_Scheme
406 or else NT (N).Nkind = N_Raise_Constraint_Error
407 or else NT (N).Nkind = N_Raise_Program_Error
408 or else NT (N).Nkind = N_Raise_Storage_Error
409 or else NT (N).Nkind = N_Terminate_Alternative);
410 return Node1 (N);
411 end Condition;
412
413 function Condition_Actions
414 (N : Node_Id) return List_Id is
415 begin
416 pragma Assert (False
417 or else NT (N).Nkind = N_Elsif_Part
418 or else NT (N).Nkind = N_Iteration_Scheme);
419 return List3 (N);
420 end Condition_Actions;
421
422 function Constant_Present
423 (N : Node_Id) return Boolean is
424 begin
425 pragma Assert (False
426 or else NT (N).Nkind = N_Access_To_Object_Definition
427 or else NT (N).Nkind = N_Object_Declaration);
428 return Flag17 (N);
429 end Constant_Present;
430
431 function Constraint
432 (N : Node_Id) return Node_Id is
433 begin
434 pragma Assert (False
435 or else NT (N).Nkind = N_Subtype_Indication);
436 return Node3 (N);
437 end Constraint;
438
439 function Constraints
440 (N : Node_Id) return List_Id is
441 begin
442 pragma Assert (False
443 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
444 return List1 (N);
445 end Constraints;
446
447 function Context_Installed
448 (N : Node_Id) return Boolean is
449 begin
450 pragma Assert (False
451 or else NT (N).Nkind = N_With_Clause);
452 return Flag13 (N);
453 end Context_Installed;
454
455 function Context_Items
456 (N : Node_Id) return List_Id is
457 begin
458 pragma Assert (False
459 or else NT (N).Nkind = N_Compilation_Unit);
460 return List1 (N);
461 end Context_Items;
462
463 function Controlling_Argument
464 (N : Node_Id) return Node_Id is
465 begin
466 pragma Assert (False
467 or else NT (N).Nkind = N_Function_Call
468 or else NT (N).Nkind = N_Procedure_Call_Statement);
469 return Node1 (N);
470 end Controlling_Argument;
471
472 function Conversion_OK
473 (N : Node_Id) return Boolean is
474 begin
475 pragma Assert (False
476 or else NT (N).Nkind = N_Type_Conversion);
477 return Flag14 (N);
478 end Conversion_OK;
479
480 function Corresponding_Body
481 (N : Node_Id) return Node_Id is
482 begin
483 pragma Assert (False
484 or else NT (N).Nkind = N_Generic_Package_Declaration
485 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
486 or else NT (N).Nkind = N_Package_Body_Stub
487 or else NT (N).Nkind = N_Package_Declaration
488 or else NT (N).Nkind = N_Protected_Body_Stub
489 or else NT (N).Nkind = N_Protected_Type_Declaration
490 or else NT (N).Nkind = N_Subprogram_Body_Stub
491 or else NT (N).Nkind = N_Subprogram_Declaration
492 or else NT (N).Nkind = N_Task_Body_Stub
493 or else NT (N).Nkind = N_Task_Type_Declaration);
494 return Node5 (N);
495 end Corresponding_Body;
496
497 function Corresponding_Generic_Association
498 (N : Node_Id) return Node_Id is
499 begin
500 pragma Assert (False
501 or else NT (N).Nkind = N_Object_Declaration
502 or else NT (N).Nkind = N_Object_Renaming_Declaration);
503 return Node5 (N);
504 end Corresponding_Generic_Association;
505
506 function Corresponding_Integer_Value
507 (N : Node_Id) return Uint is
508 begin
509 pragma Assert (False
510 or else NT (N).Nkind = N_Real_Literal);
511 return Uint4 (N);
512 end Corresponding_Integer_Value;
513
514 function Corresponding_Spec
515 (N : Node_Id) return Node_Id is
516 begin
517 pragma Assert (False
518 or else NT (N).Nkind = N_Package_Body
519 or else NT (N).Nkind = N_Protected_Body
520 or else NT (N).Nkind = N_Subprogram_Body
521 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
522 or else NT (N).Nkind = N_Task_Body
523 or else NT (N).Nkind = N_With_Clause);
524 return Node5 (N);
525 end Corresponding_Spec;
526
527 function Corresponding_Stub
528 (N : Node_Id) return Node_Id is
529 begin
530 pragma Assert (False
531 or else NT (N).Nkind = N_Subunit);
532 return Node3 (N);
533 end Corresponding_Stub;
534
535 function Dcheck_Function
536 (N : Node_Id) return Entity_Id is
537 begin
538 pragma Assert (False
539 or else NT (N).Nkind = N_Variant);
540 return Node5 (N);
541 end Dcheck_Function;
542
543 function Debug_Statement
544 (N : Node_Id) return Node_Id is
545 begin
546 pragma Assert (False
547 or else NT (N).Nkind = N_Pragma);
548 return Node3 (N);
549 end Debug_Statement;
550
551 function Declarations
552 (N : Node_Id) return List_Id is
553 begin
554 pragma Assert (False
555 or else NT (N).Nkind = N_Accept_Statement
556 or else NT (N).Nkind = N_Block_Statement
557 or else NT (N).Nkind = N_Compilation_Unit_Aux
558 or else NT (N).Nkind = N_Entry_Body
559 or else NT (N).Nkind = N_Package_Body
560 or else NT (N).Nkind = N_Protected_Body
561 or else NT (N).Nkind = N_Subprogram_Body
562 or else NT (N).Nkind = N_Task_Body);
563 return List2 (N);
564 end Declarations;
565
566 function Default_Expression
567 (N : Node_Id) return Node_Id is
568 begin
569 pragma Assert (False
570 or else NT (N).Nkind = N_Parameter_Specification);
571 return Node5 (N);
572 end Default_Expression;
573
574 function Default_Name
575 (N : Node_Id) return Node_Id is
576 begin
577 pragma Assert (False
578 or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
579 return Node2 (N);
580 end Default_Name;
581
582 function Defining_Identifier
583 (N : Node_Id) return Entity_Id is
584 begin
585 pragma Assert (False
586 or else NT (N).Nkind = N_Component_Declaration
587 or else NT (N).Nkind = N_Defining_Program_Unit_Name
588 or else NT (N).Nkind = N_Discriminant_Specification
589 or else NT (N).Nkind = N_Entry_Body
590 or else NT (N).Nkind = N_Entry_Declaration
591 or else NT (N).Nkind = N_Entry_Index_Specification
592 or else NT (N).Nkind = N_Exception_Declaration
593 or else NT (N).Nkind = N_Exception_Renaming_Declaration
594 or else NT (N).Nkind = N_Formal_Object_Declaration
595 or else NT (N).Nkind = N_Formal_Package_Declaration
596 or else NT (N).Nkind = N_Formal_Type_Declaration
597 or else NT (N).Nkind = N_Full_Type_Declaration
598 or else NT (N).Nkind = N_Implicit_Label_Declaration
599 or else NT (N).Nkind = N_Incomplete_Type_Declaration
600 or else NT (N).Nkind = N_Loop_Parameter_Specification
601 or else NT (N).Nkind = N_Number_Declaration
602 or else NT (N).Nkind = N_Object_Declaration
603 or else NT (N).Nkind = N_Object_Renaming_Declaration
604 or else NT (N).Nkind = N_Package_Body_Stub
605 or else NT (N).Nkind = N_Parameter_Specification
606 or else NT (N).Nkind = N_Private_Extension_Declaration
607 or else NT (N).Nkind = N_Private_Type_Declaration
608 or else NT (N).Nkind = N_Protected_Body
609 or else NT (N).Nkind = N_Protected_Body_Stub
610 or else NT (N).Nkind = N_Protected_Type_Declaration
611 or else NT (N).Nkind = N_Single_Protected_Declaration
612 or else NT (N).Nkind = N_Single_Task_Declaration
613 or else NT (N).Nkind = N_Subtype_Declaration
614 or else NT (N).Nkind = N_Task_Body
615 or else NT (N).Nkind = N_Task_Body_Stub
616 or else NT (N).Nkind = N_Task_Type_Declaration);
617 return Node1 (N);
618 end Defining_Identifier;
619
620 function Defining_Unit_Name
621 (N : Node_Id) return Node_Id is
622 begin
623 pragma Assert (False
624 or else NT (N).Nkind = N_Function_Instantiation
625 or else NT (N).Nkind = N_Function_Specification
626 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
627 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
628 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
629 or else NT (N).Nkind = N_Package_Body
630 or else NT (N).Nkind = N_Package_Instantiation
631 or else NT (N).Nkind = N_Package_Renaming_Declaration
632 or else NT (N).Nkind = N_Package_Specification
633 or else NT (N).Nkind = N_Procedure_Instantiation
634 or else NT (N).Nkind = N_Procedure_Specification);
635 return Node1 (N);
636 end Defining_Unit_Name;
637
638 function Delay_Alternative
639 (N : Node_Id) return Node_Id is
640 begin
641 pragma Assert (False
642 or else NT (N).Nkind = N_Timed_Entry_Call);
643 return Node4 (N);
644 end Delay_Alternative;
645
646 function Delay_Finalize_Attach
647 (N : Node_Id) return Boolean is
648 begin
649 pragma Assert (False
650 or else NT (N).Nkind = N_Object_Declaration);
651 return Flag14 (N);
652 end Delay_Finalize_Attach;
653
654 function Delay_Statement
655 (N : Node_Id) return Node_Id is
656 begin
657 pragma Assert (False
658 or else NT (N).Nkind = N_Delay_Alternative);
659 return Node2 (N);
660 end Delay_Statement;
661
662 function Delta_Expression
663 (N : Node_Id) return Node_Id is
664 begin
665 pragma Assert (False
666 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
667 or else NT (N).Nkind = N_Delta_Constraint
668 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
669 return Node3 (N);
670 end Delta_Expression;
671
672 function Digits_Expression
673 (N : Node_Id) return Node_Id is
674 begin
675 pragma Assert (False
676 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
677 or else NT (N).Nkind = N_Digits_Constraint
678 or else NT (N).Nkind = N_Floating_Point_Definition);
679 return Node2 (N);
680 end Digits_Expression;
681
682 function Discr_Check_Funcs_Built
683 (N : Node_Id) return Boolean is
684 begin
685 pragma Assert (False
686 or else NT (N).Nkind = N_Full_Type_Declaration);
687 return Flag11 (N);
688 end Discr_Check_Funcs_Built;
689
690 function Discrete_Choices
691 (N : Node_Id) return List_Id is
692 begin
693 pragma Assert (False
694 or else NT (N).Nkind = N_Case_Statement_Alternative
695 or else NT (N).Nkind = N_Variant);
696 return List4 (N);
697 end Discrete_Choices;
698
699 function Discrete_Range
700 (N : Node_Id) return Node_Id is
701 begin
702 pragma Assert (False
703 or else NT (N).Nkind = N_Slice);
704 return Node4 (N);
705 end Discrete_Range;
706
707 function Discrete_Subtype_Definition
708 (N : Node_Id) return Node_Id is
709 begin
710 pragma Assert (False
711 or else NT (N).Nkind = N_Entry_Declaration
712 or else NT (N).Nkind = N_Entry_Index_Specification
713 or else NT (N).Nkind = N_Loop_Parameter_Specification);
714 return Node4 (N);
715 end Discrete_Subtype_Definition;
716
717 function Discrete_Subtype_Definitions
718 (N : Node_Id) return List_Id is
719 begin
720 pragma Assert (False
721 or else NT (N).Nkind = N_Constrained_Array_Definition);
722 return List2 (N);
723 end Discrete_Subtype_Definitions;
724
725 function Discriminant_Specifications
726 (N : Node_Id) return List_Id is
727 begin
728 pragma Assert (False
729 or else NT (N).Nkind = N_Formal_Type_Declaration
730 or else NT (N).Nkind = N_Full_Type_Declaration
731 or else NT (N).Nkind = N_Incomplete_Type_Declaration
732 or else NT (N).Nkind = N_Private_Extension_Declaration
733 or else NT (N).Nkind = N_Private_Type_Declaration
734 or else NT (N).Nkind = N_Protected_Type_Declaration
735 or else NT (N).Nkind = N_Task_Type_Declaration);
736 return List4 (N);
737 end Discriminant_Specifications;
738
739 function Discriminant_Type
740 (N : Node_Id) return Node_Id is
741 begin
742 pragma Assert (False
743 or else NT (N).Nkind = N_Discriminant_Specification);
744 return Node5 (N);
745 end Discriminant_Type;
746
747 function Do_Access_Check
748 (N : Node_Id) return Boolean is
749 begin
750 pragma Assert (False
751 or else NT (N).Nkind = N_Attribute_Reference
752 or else NT (N).Nkind = N_Explicit_Dereference
753 or else NT (N).Nkind = N_Indexed_Component
754 or else NT (N).Nkind = N_Selected_Component
755 or else NT (N).Nkind = N_Slice);
756 return Flag11 (N);
757 end Do_Access_Check;
758
759 function Do_Accessibility_Check
760 (N : Node_Id) return Boolean is
761 begin
762 pragma Assert (False
763 or else NT (N).Nkind = N_Parameter_Specification);
764 return Flag13 (N);
765 end Do_Accessibility_Check;
766
767 function Do_Discriminant_Check
768 (N : Node_Id) return Boolean is
769 begin
770 pragma Assert (False
771 or else NT (N).Nkind = N_Selected_Component);
772 return Flag13 (N);
773 end Do_Discriminant_Check;
774
775 function Do_Division_Check
776 (N : Node_Id) return Boolean is
777 begin
778 pragma Assert (False
779 or else NT (N).Nkind = N_Op_Divide
780 or else NT (N).Nkind = N_Op_Mod
781 or else NT (N).Nkind = N_Op_Rem);
782 return Flag13 (N);
783 end Do_Division_Check;
784
785 function Do_Length_Check
786 (N : Node_Id) return Boolean is
787 begin
788 pragma Assert (False
789 or else NT (N).Nkind = N_Assignment_Statement
790 or else NT (N).Nkind = N_Op_And
791 or else NT (N).Nkind = N_Op_Or
792 or else NT (N).Nkind = N_Op_Xor
793 or else NT (N).Nkind = N_Type_Conversion);
794 return Flag4 (N);
795 end Do_Length_Check;
796
797 function Do_Overflow_Check
798 (N : Node_Id) return Boolean is
799 begin
800 pragma Assert (False
801 or else NT (N).Nkind in N_Op
802 or else NT (N).Nkind = N_Attribute_Reference
803 or else NT (N).Nkind = N_Type_Conversion);
804 return Flag17 (N);
805 end Do_Overflow_Check;
806
807 function Do_Range_Check
808 (N : Node_Id) return Boolean is
809 begin
810 pragma Assert (False
811 or else NT (N).Nkind in N_Subexpr);
812 return Flag9 (N);
813 end Do_Range_Check;
814
815 function Do_Storage_Check
816 (N : Node_Id) return Boolean is
817 begin
818 pragma Assert (False
819 or else NT (N).Nkind = N_Allocator
820 or else NT (N).Nkind = N_Subprogram_Body);
821 return Flag17 (N);
822 end Do_Storage_Check;
823
824 function Do_Tag_Check
825 (N : Node_Id) return Boolean is
826 begin
827 pragma Assert (False
828 or else NT (N).Nkind = N_Assignment_Statement
829 or else NT (N).Nkind = N_Function_Call
830 or else NT (N).Nkind = N_Procedure_Call_Statement
831 or else NT (N).Nkind = N_Return_Statement
832 or else NT (N).Nkind = N_Type_Conversion);
833 return Flag13 (N);
834 end Do_Tag_Check;
835
836 function Elaborate_All_Present
837 (N : Node_Id) return Boolean is
838 begin
839 pragma Assert (False
840 or else NT (N).Nkind = N_With_Clause);
841 return Flag15 (N);
842 end Elaborate_All_Present;
843
844 function Elaborate_Present
845 (N : Node_Id) return Boolean is
846 begin
847 pragma Assert (False
848 or else NT (N).Nkind = N_With_Clause);
849 return Flag4 (N);
850 end Elaborate_Present;
851
852 function Elaboration_Boolean
853 (N : Node_Id) return Node_Id is
854 begin
855 pragma Assert (False
856 or else NT (N).Nkind = N_Function_Specification
857 or else NT (N).Nkind = N_Procedure_Specification);
858 return Node2 (N);
859 end Elaboration_Boolean;
860
861 function Else_Actions
862 (N : Node_Id) return List_Id is
863 begin
864 pragma Assert (False
865 or else NT (N).Nkind = N_Conditional_Expression);
866 return List3 (N);
867 end Else_Actions;
868
869 function Else_Statements
870 (N : Node_Id) return List_Id is
871 begin
872 pragma Assert (False
873 or else NT (N).Nkind = N_Conditional_Entry_Call
874 or else NT (N).Nkind = N_If_Statement
875 or else NT (N).Nkind = N_Selective_Accept);
876 return List4 (N);
877 end Else_Statements;
878
879 function Elsif_Parts
880 (N : Node_Id) return List_Id is
881 begin
882 pragma Assert (False
883 or else NT (N).Nkind = N_If_Statement);
884 return List3 (N);
885 end Elsif_Parts;
886
887 function Enclosing_Variant
888 (N : Node_Id) return Node_Id is
889 begin
890 pragma Assert (False
891 or else NT (N).Nkind = N_Variant);
892 return Node2 (N);
893 end Enclosing_Variant;
894
895 function End_Label
896 (N : Node_Id) return Node_Id is
897 begin
898 pragma Assert (False
899 or else NT (N).Nkind = N_Enumeration_Type_Definition
900 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
901 or else NT (N).Nkind = N_Loop_Statement
902 or else NT (N).Nkind = N_Package_Specification
903 or else NT (N).Nkind = N_Protected_Body
904 or else NT (N).Nkind = N_Protected_Definition
905 or else NT (N).Nkind = N_Record_Definition
906 or else NT (N).Nkind = N_Task_Definition);
907 return Node4 (N);
908 end End_Label;
909
910 function End_Span
911 (N : Node_Id) return Uint is
912 begin
913 pragma Assert (False
914 or else NT (N).Nkind = N_Case_Statement
915 or else NT (N).Nkind = N_If_Statement);
916 return Uint5 (N);
917 end End_Span;
918
919 function Entity
920 (N : Node_Id) return Node_Id is
921 begin
922 pragma Assert (False
923 or else NT (N).Nkind in N_Has_Entity
924 or else NT (N).Nkind = N_Freeze_Entity);
925 return Node4 (N);
926 end Entity;
927
928 function Entry_Body_Formal_Part
929 (N : Node_Id) return Node_Id is
930 begin
931 pragma Assert (False
932 or else NT (N).Nkind = N_Entry_Body);
933 return Node5 (N);
934 end Entry_Body_Formal_Part;
935
936 function Entry_Call_Alternative
937 (N : Node_Id) return Node_Id is
938 begin
939 pragma Assert (False
940 or else NT (N).Nkind = N_Conditional_Entry_Call
941 or else NT (N).Nkind = N_Timed_Entry_Call);
942 return Node1 (N);
943 end Entry_Call_Alternative;
944
945 function Entry_Call_Statement
946 (N : Node_Id) return Node_Id is
947 begin
948 pragma Assert (False
949 or else NT (N).Nkind = N_Entry_Call_Alternative);
950 return Node1 (N);
951 end Entry_Call_Statement;
952
953 function Entry_Direct_Name
954 (N : Node_Id) return Node_Id is
955 begin
956 pragma Assert (False
957 or else NT (N).Nkind = N_Accept_Statement);
958 return Node1 (N);
959 end Entry_Direct_Name;
960
961 function Entry_Index
962 (N : Node_Id) return Node_Id is
963 begin
964 pragma Assert (False
965 or else NT (N).Nkind = N_Accept_Statement);
966 return Node5 (N);
967 end Entry_Index;
968
969 function Entry_Index_Specification
970 (N : Node_Id) return Node_Id is
971 begin
972 pragma Assert (False
973 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
974 return Node4 (N);
975 end Entry_Index_Specification;
976
977 function Etype
978 (N : Node_Id) return Node_Id is
979 begin
980 pragma Assert (False
981 or else NT (N).Nkind in N_Has_Etype);
982 return Node5 (N);
983 end Etype;
984
985 function Exception_Choices
986 (N : Node_Id) return List_Id is
987 begin
988 pragma Assert (False
989 or else NT (N).Nkind = N_Exception_Handler);
990 return List4 (N);
991 end Exception_Choices;
992
993 function Exception_Handlers
994 (N : Node_Id) return List_Id is
995 begin
996 pragma Assert (False
997 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
998 return List5 (N);
999 end Exception_Handlers;
1000
1001 function Exception_Junk
1002 (N : Node_Id) return Boolean is
1003 begin
1004 pragma Assert (False
1005 or else NT (N).Nkind = N_Goto_Statement
1006 or else NT (N).Nkind = N_Label
1007 or else NT (N).Nkind = N_Object_Declaration
1008 or else NT (N).Nkind = N_Subtype_Declaration);
1009 return Flag11 (N);
1010 end Exception_Junk;
1011
1012 function Expansion_Delayed
1013 (N : Node_Id) return Boolean is
1014 begin
1015 pragma Assert (False
1016 or else NT (N).Nkind = N_Aggregate
1017 or else NT (N).Nkind = N_Extension_Aggregate);
1018 return Flag11 (N);
1019 end Expansion_Delayed;
1020
1021 function Explicit_Actual_Parameter
1022 (N : Node_Id) return Node_Id is
1023 begin
1024 pragma Assert (False
1025 or else NT (N).Nkind = N_Parameter_Association);
1026 return Node3 (N);
1027 end Explicit_Actual_Parameter;
1028
1029 function Explicit_Generic_Actual_Parameter
1030 (N : Node_Id) return Node_Id is
1031 begin
1032 pragma Assert (False
1033 or else NT (N).Nkind = N_Generic_Association);
1034 return Node1 (N);
1035 end Explicit_Generic_Actual_Parameter;
1036
1037 function Expression
1038 (N : Node_Id) return Node_Id is
1039 begin
1040 pragma Assert (False
1041 or else NT (N).Nkind = N_Allocator
1042 or else NT (N).Nkind = N_Assignment_Statement
1043 or else NT (N).Nkind = N_At_Clause
1044 or else NT (N).Nkind = N_Attribute_Definition_Clause
1045 or else NT (N).Nkind = N_Case_Statement
1046 or else NT (N).Nkind = N_Code_Statement
1047 or else NT (N).Nkind = N_Component_Association
1048 or else NT (N).Nkind = N_Component_Declaration
1049 or else NT (N).Nkind = N_Delay_Relative_Statement
1050 or else NT (N).Nkind = N_Delay_Until_Statement
1051 or else NT (N).Nkind = N_Discriminant_Association
1052 or else NT (N).Nkind = N_Discriminant_Specification
1053 or else NT (N).Nkind = N_Exception_Declaration
1054 or else NT (N).Nkind = N_Formal_Object_Declaration
1055 or else NT (N).Nkind = N_Free_Statement
1056 or else NT (N).Nkind = N_Mod_Clause
1057 or else NT (N).Nkind = N_Modular_Type_Definition
1058 or else NT (N).Nkind = N_Number_Declaration
1059 or else NT (N).Nkind = N_Object_Declaration
1060 or else NT (N).Nkind = N_Parameter_Specification
1061 or else NT (N).Nkind = N_Pragma_Argument_Association
1062 or else NT (N).Nkind = N_Qualified_Expression
1063 or else NT (N).Nkind = N_Return_Statement
1064 or else NT (N).Nkind = N_Type_Conversion
1065 or else NT (N).Nkind = N_Unchecked_Expression
1066 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1067 return Node3 (N);
1068 end Expression;
1069
1070 function Expressions
1071 (N : Node_Id) return List_Id is
1072 begin
1073 pragma Assert (False
1074 or else NT (N).Nkind = N_Aggregate
1075 or else NT (N).Nkind = N_Attribute_Reference
1076 or else NT (N).Nkind = N_Conditional_Expression
1077 or else NT (N).Nkind = N_Extension_Aggregate
1078 or else NT (N).Nkind = N_Indexed_Component);
1079 return List1 (N);
1080 end Expressions;
1081
1082 function First_Bit
1083 (N : Node_Id) return Node_Id is
1084 begin
1085 pragma Assert (False
1086 or else NT (N).Nkind = N_Component_Clause);
1087 return Node3 (N);
1088 end First_Bit;
1089
1090 function First_Inlined_Subprogram
1091 (N : Node_Id) return Entity_Id is
1092 begin
1093 pragma Assert (False
1094 or else NT (N).Nkind = N_Compilation_Unit);
1095 return Node3 (N);
1096 end First_Inlined_Subprogram;
1097
1098 function First_Name
1099 (N : Node_Id) return Boolean is
1100 begin
1101 pragma Assert (False
1102 or else NT (N).Nkind = N_With_Clause);
1103 return Flag5 (N);
1104 end First_Name;
1105
1106 function First_Named_Actual
1107 (N : Node_Id) return Node_Id is
1108 begin
1109 pragma Assert (False
1110 or else NT (N).Nkind = N_Entry_Call_Statement
1111 or else NT (N).Nkind = N_Function_Call
1112 or else NT (N).Nkind = N_Procedure_Call_Statement);
1113 return Node4 (N);
1114 end First_Named_Actual;
1115
1116 function First_Real_Statement
1117 (N : Node_Id) return Node_Id is
1118 begin
1119 pragma Assert (False
1120 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1121 return Node2 (N);
1122 end First_Real_Statement;
1123
1124 function First_Subtype_Link
1125 (N : Node_Id) return Entity_Id is
1126 begin
1127 pragma Assert (False
1128 or else NT (N).Nkind = N_Freeze_Entity);
1129 return Node5 (N);
1130 end First_Subtype_Link;
1131
1132 function Float_Truncate
1133 (N : Node_Id) return Boolean is
1134 begin
1135 pragma Assert (False
1136 or else NT (N).Nkind = N_Type_Conversion);
1137 return Flag11 (N);
1138 end Float_Truncate;
1139
1140 function Formal_Type_Definition
1141 (N : Node_Id) return Node_Id is
1142 begin
1143 pragma Assert (False
1144 or else NT (N).Nkind = N_Formal_Type_Declaration);
1145 return Node3 (N);
1146 end Formal_Type_Definition;
1147
1148 function Forwards_OK
1149 (N : Node_Id) return Boolean is
1150 begin
1151 pragma Assert (False
1152 or else NT (N).Nkind = N_Assignment_Statement);
1153 return Flag5 (N);
1154 end Forwards_OK;
1155
1156 function From_At_Mod
1157 (N : Node_Id) return Boolean is
1158 begin
1159 pragma Assert (False
1160 or else NT (N).Nkind = N_Attribute_Definition_Clause);
1161 return Flag4 (N);
1162 end From_At_Mod;
1163
1164 function Generic_Associations
1165 (N : Node_Id) return List_Id is
1166 begin
1167 pragma Assert (False
1168 or else NT (N).Nkind = N_Formal_Package_Declaration
1169 or else NT (N).Nkind = N_Function_Instantiation
1170 or else NT (N).Nkind = N_Package_Instantiation
1171 or else NT (N).Nkind = N_Procedure_Instantiation);
1172 return List3 (N);
1173 end Generic_Associations;
1174
1175 function Generic_Formal_Declarations
1176 (N : Node_Id) return List_Id is
1177 begin
1178 pragma Assert (False
1179 or else NT (N).Nkind = N_Generic_Package_Declaration
1180 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1181 return List2 (N);
1182 end Generic_Formal_Declarations;
1183
1184 function Generic_Parent
1185 (N : Node_Id) return Node_Id is
1186 begin
1187 pragma Assert (False
1188 or else NT (N).Nkind = N_Function_Specification
1189 or else NT (N).Nkind = N_Package_Specification
1190 or else NT (N).Nkind = N_Procedure_Specification);
1191 return Node5 (N);
1192 end Generic_Parent;
1193
1194 function Generic_Parent_Type
1195 (N : Node_Id) return Node_Id is
1196 begin
1197 pragma Assert (False
1198 or else NT (N).Nkind = N_Subtype_Declaration);
1199 return Node4 (N);
1200 end Generic_Parent_Type;
1201
1202 function Handled_Statement_Sequence
1203 (N : Node_Id) return Node_Id is
1204 begin
1205 pragma Assert (False
1206 or else NT (N).Nkind = N_Accept_Statement
1207 or else NT (N).Nkind = N_Block_Statement
1208 or else NT (N).Nkind = N_Entry_Body
1209 or else NT (N).Nkind = N_Package_Body
1210 or else NT (N).Nkind = N_Subprogram_Body
1211 or else NT (N).Nkind = N_Task_Body);
1212 return Node4 (N);
1213 end Handled_Statement_Sequence;
1214
1215 function Handler_List_Entry
1216 (N : Node_Id) return Node_Id is
1217 begin
1218 pragma Assert (False
1219 or else NT (N).Nkind = N_Object_Declaration);
1220 return Node2 (N);
1221 end Handler_List_Entry;
1222
1223 function Has_Created_Identifier
1224 (N : Node_Id) return Boolean is
1225 begin
1226 pragma Assert (False
1227 or else NT (N).Nkind = N_Block_Statement
1228 or else NT (N).Nkind = N_Loop_Statement);
1229 return Flag15 (N);
1230 end Has_Created_Identifier;
1231
1232 function Has_Dynamic_Length_Check
1233 (N : Node_Id) return Boolean is
1234 begin
1235 return Flag10 (N);
1236 end Has_Dynamic_Length_Check;
1237
1238 function Has_Dynamic_Range_Check
1239 (N : Node_Id) return Boolean is
1240 begin
1241 return Flag12 (N);
1242 end Has_Dynamic_Range_Check;
1243
1244 function Has_No_Elaboration_Code
1245 (N : Node_Id) return Boolean is
1246 begin
1247 pragma Assert (False
1248 or else NT (N).Nkind = N_Compilation_Unit);
1249 return Flag17 (N);
1250 end Has_No_Elaboration_Code;
1251
1252 function Has_Priority_Pragma
1253 (N : Node_Id) return Boolean is
1254 begin
1255 pragma Assert (False
1256 or else NT (N).Nkind = N_Protected_Definition
1257 or else NT (N).Nkind = N_Subprogram_Body
1258 or else NT (N).Nkind = N_Task_Definition);
1259 return Flag6 (N);
1260 end Has_Priority_Pragma;
1261
1262 function Has_Private_View
1263 (N : Node_Id) return Boolean is
1264 begin
1265 pragma Assert (False
1266 or else NT (N).Nkind in N_Op
1267 or else NT (N).Nkind = N_Character_Literal
1268 or else NT (N).Nkind = N_Expanded_Name
1269 or else NT (N).Nkind = N_Identifier
1270 or else NT (N).Nkind = N_Operator_Symbol);
1271 return Flag11 (N);
1272 end Has_Private_View;
1273
1274 function Has_Storage_Size_Pragma
1275 (N : Node_Id) return Boolean is
1276 begin
1277 pragma Assert (False
1278 or else NT (N).Nkind = N_Task_Definition);
1279 return Flag5 (N);
1280 end Has_Storage_Size_Pragma;
1281
1282 function Has_Task_Info_Pragma
1283 (N : Node_Id) return Boolean is
1284 begin
1285 pragma Assert (False
1286 or else NT (N).Nkind = N_Task_Definition);
1287 return Flag7 (N);
1288 end Has_Task_Info_Pragma;
1289
1290 function Has_Task_Name_Pragma
1291 (N : Node_Id) return Boolean is
1292 begin
1293 pragma Assert (False
1294 or else NT (N).Nkind = N_Task_Definition);
1295 return Flag8 (N);
1296 end Has_Task_Name_Pragma;
1297
1298 function Has_Wide_Character
1299 (N : Node_Id) return Boolean is
1300 begin
1301 pragma Assert (False
1302 or else NT (N).Nkind = N_String_Literal);
1303 return Flag11 (N);
1304 end Has_Wide_Character;
1305
1306 function Hidden_By_Use_Clause
1307 (N : Node_Id) return Elist_Id is
1308 begin
1309 pragma Assert (False
1310 or else NT (N).Nkind = N_Use_Package_Clause
1311 or else NT (N).Nkind = N_Use_Type_Clause);
1312 return Elist4 (N);
1313 end Hidden_By_Use_Clause;
1314
1315 function High_Bound
1316 (N : Node_Id) return Node_Id is
1317 begin
1318 pragma Assert (False
1319 or else NT (N).Nkind = N_Range
1320 or else NT (N).Nkind = N_Real_Range_Specification
1321 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1322 return Node2 (N);
1323 end High_Bound;
1324
1325 function Identifier
1326 (N : Node_Id) return Node_Id is
1327 begin
1328 pragma Assert (False
1329 or else NT (N).Nkind = N_At_Clause
1330 or else NT (N).Nkind = N_Block_Statement
1331 or else NT (N).Nkind = N_Designator
1332 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1333 or else NT (N).Nkind = N_Label
1334 or else NT (N).Nkind = N_Loop_Statement
1335 or else NT (N).Nkind = N_Record_Representation_Clause
1336 or else NT (N).Nkind = N_Subprogram_Info);
1337 return Node1 (N);
1338 end Identifier;
1339
1340 function Implicit_With
1341 (N : Node_Id) return Boolean is
1342 begin
1343 pragma Assert (False
1344 or else NT (N).Nkind = N_With_Clause);
1345 return Flag17 (N);
1346 end Implicit_With;
1347
1348 function In_Present
1349 (N : Node_Id) return Boolean is
1350 begin
1351 pragma Assert (False
1352 or else NT (N).Nkind = N_Formal_Object_Declaration
1353 or else NT (N).Nkind = N_Parameter_Specification);
1354 return Flag15 (N);
1355 end In_Present;
1356
1357 function Includes_Infinities
1358 (N : Node_Id) return Boolean is
1359 begin
1360 pragma Assert (False
1361 or else NT (N).Nkind = N_Range);
1362 return Flag11 (N);
1363 end Includes_Infinities;
1364
1365 function Instance_Spec
1366 (N : Node_Id) return Node_Id is
1367 begin
1368 pragma Assert (False
1369 or else NT (N).Nkind = N_Formal_Package_Declaration
1370 or else NT (N).Nkind = N_Function_Instantiation
1371 or else NT (N).Nkind = N_Package_Instantiation
1372 or else NT (N).Nkind = N_Procedure_Instantiation);
1373 return Node5 (N);
1374 end Instance_Spec;
1375
1376 function Intval
1377 (N : Node_Id) return Uint is
1378 begin
1379 pragma Assert (False
1380 or else NT (N).Nkind = N_Integer_Literal);
1381 return Uint3 (N);
1382 end Intval;
1383
1384 function Is_Asynchronous_Call_Block
1385 (N : Node_Id) return Boolean is
1386 begin
1387 pragma Assert (False
1388 or else NT (N).Nkind = N_Block_Statement);
1389 return Flag7 (N);
1390 end Is_Asynchronous_Call_Block;
1391
1392 function Is_Component_Left_Opnd
1393 (N : Node_Id) return Boolean is
1394 begin
1395 pragma Assert (False
1396 or else NT (N).Nkind = N_Op_Concat);
1397 return Flag13 (N);
1398 end Is_Component_Left_Opnd;
1399
1400 function Is_Component_Right_Opnd
1401 (N : Node_Id) return Boolean is
1402 begin
1403 pragma Assert (False
1404 or else NT (N).Nkind = N_Op_Concat);
1405 return Flag14 (N);
1406 end Is_Component_Right_Opnd;
1407
1408 function Is_Controlling_Actual
1409 (N : Node_Id) return Boolean is
1410 begin
1411 pragma Assert (False
1412 or else NT (N).Nkind in N_Subexpr);
1413 return Flag16 (N);
1414 end Is_Controlling_Actual;
1415
1416 function Is_Machine_Number
1417 (N : Node_Id) return Boolean is
1418 begin
1419 pragma Assert (False
1420 or else NT (N).Nkind = N_Real_Literal);
1421 return Flag11 (N);
1422 end Is_Machine_Number;
1423
1424 function Is_Overloaded
1425 (N : Node_Id) return Boolean is
1426 begin
1427 pragma Assert (False
1428 or else NT (N).Nkind in N_Subexpr);
1429 return Flag5 (N);
1430 end Is_Overloaded;
1431
1432 function Is_Power_Of_2_For_Shift
1433 (N : Node_Id) return Boolean is
1434 begin
1435 pragma Assert (False
1436 or else NT (N).Nkind = N_Op_Expon);
1437 return Flag13 (N);
1438 end Is_Power_Of_2_For_Shift;
1439
1440 function Is_Protected_Subprogram_Body
1441 (N : Node_Id) return Boolean is
1442 begin
1443 pragma Assert (False
1444 or else NT (N).Nkind = N_Subprogram_Body);
1445 return Flag7 (N);
1446 end Is_Protected_Subprogram_Body;
1447
1448 function Is_Static_Expression
1449 (N : Node_Id) return Boolean is
1450 begin
1451 pragma Assert (False
1452 or else NT (N).Nkind in N_Subexpr);
1453 return Flag6 (N);
1454 end Is_Static_Expression;
1455
1456 function Is_Subprogram_Descriptor
1457 (N : Node_Id) return Boolean is
1458 begin
1459 pragma Assert (False
1460 or else NT (N).Nkind = N_Object_Declaration);
1461 return Flag16 (N);
1462 end Is_Subprogram_Descriptor;
1463
1464 function Is_Task_Allocation_Block
1465 (N : Node_Id) return Boolean is
1466 begin
1467 pragma Assert (False
1468 or else NT (N).Nkind = N_Block_Statement);
1469 return Flag6 (N);
1470 end Is_Task_Allocation_Block;
1471
1472 function Is_Task_Master
1473 (N : Node_Id) return Boolean is
1474 begin
1475 pragma Assert (False
1476 or else NT (N).Nkind = N_Block_Statement
1477 or else NT (N).Nkind = N_Subprogram_Body
1478 or else NT (N).Nkind = N_Task_Body);
1479 return Flag5 (N);
1480 end Is_Task_Master;
1481
1482 function Iteration_Scheme
1483 (N : Node_Id) return Node_Id is
1484 begin
1485 pragma Assert (False
1486 or else NT (N).Nkind = N_Loop_Statement);
1487 return Node2 (N);
1488 end Iteration_Scheme;
1489
1490 function Itype
1491 (N : Node_Id) return Node_Id is
1492 begin
1493 pragma Assert (False
1494 or else NT (N).Nkind = N_Itype_Reference);
1495 return Node1 (N);
1496 end Itype;
1497
1498 function Kill_Range_Check
1499 (N : Node_Id) return Boolean is
1500 begin
1501 pragma Assert (False
1502 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1503 return Flag11 (N);
1504 end Kill_Range_Check;
1505
1506 function Label_Construct
1507 (N : Node_Id) return Node_Id is
1508 begin
1509 pragma Assert (False
1510 or else NT (N).Nkind = N_Implicit_Label_Declaration);
1511 return Node2 (N);
1512 end Label_Construct;
1513
1514 function Last_Bit
1515 (N : Node_Id) return Node_Id is
1516 begin
1517 pragma Assert (False
1518 or else NT (N).Nkind = N_Component_Clause);
1519 return Node4 (N);
1520 end Last_Bit;
1521
1522 function Last_Name
1523 (N : Node_Id) return Boolean is
1524 begin
1525 pragma Assert (False
1526 or else NT (N).Nkind = N_With_Clause);
1527 return Flag6 (N);
1528 end Last_Name;
1529
1530 function Left_Opnd
1531 (N : Node_Id) return Node_Id is
1532 begin
1533 pragma Assert (False
1534 or else NT (N).Nkind = N_And_Then
1535 or else NT (N).Nkind = N_In
1536 or else NT (N).Nkind = N_Not_In
1537 or else NT (N).Nkind = N_Or_Else
1538 or else NT (N).Nkind in N_Binary_Op);
1539 return Node2 (N);
1540 end Left_Opnd;
1541
1542 function Library_Unit
1543 (N : Node_Id) return Node_Id is
1544 begin
1545 pragma Assert (False
1546 or else NT (N).Nkind = N_Compilation_Unit
1547 or else NT (N).Nkind = N_Package_Body_Stub
1548 or else NT (N).Nkind = N_Protected_Body_Stub
1549 or else NT (N).Nkind = N_Subprogram_Body_Stub
1550 or else NT (N).Nkind = N_Task_Body_Stub
1551 or else NT (N).Nkind = N_With_Clause);
1552 return Node4 (N);
1553 end Library_Unit;
1554
1555 function Limited_Present
1556 (N : Node_Id) return Boolean is
1557 begin
1558 pragma Assert (False
1559 or else NT (N).Nkind = N_Formal_Private_Type_Definition
1560 or else NT (N).Nkind = N_Private_Type_Declaration
1561 or else NT (N).Nkind = N_Record_Definition);
1562 return Flag17 (N);
1563 end Limited_Present;
1564
1565 function Literals
1566 (N : Node_Id) return List_Id is
1567 begin
1568 pragma Assert (False
1569 or else NT (N).Nkind = N_Enumeration_Type_Definition);
1570 return List1 (N);
1571 end Literals;
1572
1573 function Loop_Actions
1574 (N : Node_Id) return List_Id is
1575 begin
1576 pragma Assert (False
1577 or else NT (N).Nkind = N_Component_Association);
1578 return List2 (N);
1579 end Loop_Actions;
1580
1581 function Loop_Parameter_Specification
1582 (N : Node_Id) return Node_Id is
1583 begin
1584 pragma Assert (False
1585 or else NT (N).Nkind = N_Iteration_Scheme);
1586 return Node4 (N);
1587 end Loop_Parameter_Specification;
1588
1589 function Low_Bound
1590 (N : Node_Id) return Node_Id is
1591 begin
1592 pragma Assert (False
1593 or else NT (N).Nkind = N_Range
1594 or else NT (N).Nkind = N_Real_Range_Specification
1595 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1596 return Node1 (N);
1597 end Low_Bound;
1598
1599 function Mod_Clause
1600 (N : Node_Id) return Node_Id is
1601 begin
1602 pragma Assert (False
1603 or else NT (N).Nkind = N_Record_Representation_Clause);
1604 return Node2 (N);
1605 end Mod_Clause;
1606
1607 function More_Ids
1608 (N : Node_Id) return Boolean is
1609 begin
1610 pragma Assert (False
1611 or else NT (N).Nkind = N_Component_Declaration
1612 or else NT (N).Nkind = N_Discriminant_Specification
1613 or else NT (N).Nkind = N_Exception_Declaration
1614 or else NT (N).Nkind = N_Formal_Object_Declaration
1615 or else NT (N).Nkind = N_Number_Declaration
1616 or else NT (N).Nkind = N_Object_Declaration
1617 or else NT (N).Nkind = N_Parameter_Specification);
1618 return Flag5 (N);
1619 end More_Ids;
1620
1621 function Must_Be_Byte_Aligned
1622 (N : Node_Id) return Boolean is
1623 begin
1624 pragma Assert (False
1625 or else NT (N).Nkind = N_Attribute_Reference);
1626 return Flag14 (N);
1627 end Must_Be_Byte_Aligned;
1628
1629 function Must_Not_Freeze
1630 (N : Node_Id) return Boolean is
1631 begin
1632 pragma Assert (False
1633 or else NT (N).Nkind = N_Subtype_Indication
1634 or else NT (N).Nkind in N_Subexpr);
1635 return Flag8 (N);
1636 end Must_Not_Freeze;
1637
1638 function Name
1639 (N : Node_Id) return Node_Id is
1640 begin
1641 pragma Assert (False
1642 or else NT (N).Nkind = N_Assignment_Statement
1643 or else NT (N).Nkind = N_Attribute_Definition_Clause
1644 or else NT (N).Nkind = N_Defining_Program_Unit_Name
1645 or else NT (N).Nkind = N_Designator
1646 or else NT (N).Nkind = N_Entry_Call_Statement
1647 or else NT (N).Nkind = N_Exception_Renaming_Declaration
1648 or else NT (N).Nkind = N_Exit_Statement
1649 or else NT (N).Nkind = N_Formal_Package_Declaration
1650 or else NT (N).Nkind = N_Function_Call
1651 or else NT (N).Nkind = N_Function_Instantiation
1652 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1653 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1654 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1655 or else NT (N).Nkind = N_Goto_Statement
1656 or else NT (N).Nkind = N_Object_Renaming_Declaration
1657 or else NT (N).Nkind = N_Package_Instantiation
1658 or else NT (N).Nkind = N_Package_Renaming_Declaration
1659 or else NT (N).Nkind = N_Procedure_Call_Statement
1660 or else NT (N).Nkind = N_Procedure_Instantiation
1661 or else NT (N).Nkind = N_Raise_Statement
1662 or else NT (N).Nkind = N_Requeue_Statement
1663 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1664 or else NT (N).Nkind = N_Subunit
1665 or else NT (N).Nkind = N_Variant_Part
1666 or else NT (N).Nkind = N_With_Clause
1667 or else NT (N).Nkind = N_With_Type_Clause);
1668 return Node2 (N);
1669 end Name;
1670
1671 function Names
1672 (N : Node_Id) return List_Id is
1673 begin
1674 pragma Assert (False
1675 or else NT (N).Nkind = N_Abort_Statement
1676 or else NT (N).Nkind = N_Use_Package_Clause);
1677 return List2 (N);
1678 end Names;
1679
1680 function Next_Entity
1681 (N : Node_Id) return Node_Id is
1682 begin
1683 pragma Assert (False
1684 or else NT (N).Nkind = N_Defining_Character_Literal
1685 or else NT (N).Nkind = N_Defining_Identifier
1686 or else NT (N).Nkind = N_Defining_Operator_Symbol);
1687 return Node2 (N);
1688 end Next_Entity;
1689
1690 function Next_Named_Actual
1691 (N : Node_Id) return Node_Id is
1692 begin
1693 pragma Assert (False
1694 or else NT (N).Nkind = N_Parameter_Association);
1695 return Node4 (N);
1696 end Next_Named_Actual;
1697
1698 function Next_Rep_Item
1699 (N : Node_Id) return Node_Id is
1700 begin
1701 pragma Assert (False
1702 or else NT (N).Nkind = N_Attribute_Definition_Clause
1703 or else NT (N).Nkind = N_Enumeration_Representation_Clause
1704 or else NT (N).Nkind = N_Pragma
1705 or else NT (N).Nkind = N_Record_Representation_Clause);
1706 return Node4 (N);
1707 end Next_Rep_Item;
1708
1709 function Next_Use_Clause
1710 (N : Node_Id) return Node_Id is
1711 begin
1712 pragma Assert (False
1713 or else NT (N).Nkind = N_Use_Package_Clause
1714 or else NT (N).Nkind = N_Use_Type_Clause);
1715 return Node3 (N);
1716 end Next_Use_Clause;
1717
1718 function No_Ctrl_Actions
1719 (N : Node_Id) return Boolean is
1720 begin
1721 pragma Assert (False
1722 or else NT (N).Nkind = N_Assignment_Statement);
1723 return Flag7 (N);
1724 end No_Ctrl_Actions;
1725
1726 function No_Entities_Ref_In_Spec
1727 (N : Node_Id) return Boolean is
1728 begin
1729 pragma Assert (False
1730 or else NT (N).Nkind = N_With_Clause);
1731 return Flag8 (N);
1732 end No_Entities_Ref_In_Spec;
1733
1734 function No_Initialization
1735 (N : Node_Id) return Boolean is
1736 begin
1737 pragma Assert (False
1738 or else NT (N).Nkind = N_Allocator
1739 or else NT (N).Nkind = N_Object_Declaration);
1740 return Flag13 (N);
1741 end No_Initialization;
1742
1743 function Null_Present
1744 (N : Node_Id) return Boolean is
1745 begin
1746 pragma Assert (False
1747 or else NT (N).Nkind = N_Component_List
1748 or else NT (N).Nkind = N_Record_Definition);
1749 return Flag13 (N);
1750 end Null_Present;
1751
1752 function Null_Record_Present
1753 (N : Node_Id) return Boolean is
1754 begin
1755 pragma Assert (False
1756 or else NT (N).Nkind = N_Aggregate
1757 or else NT (N).Nkind = N_Extension_Aggregate);
1758 return Flag17 (N);
1759 end Null_Record_Present;
1760
1761 function Object_Definition
1762 (N : Node_Id) return Node_Id is
1763 begin
1764 pragma Assert (False
1765 or else NT (N).Nkind = N_Object_Declaration);
1766 return Node4 (N);
1767 end Object_Definition;
1768
1769 function OK_For_Stream
1770 (N : Node_Id) return Boolean is
1771 begin
1772 pragma Assert (False
1773 or else NT (N).Nkind = N_Attribute_Reference);
1774 return Flag4 (N);
1775 end OK_For_Stream;
1776
1777 function Original_Discriminant
1778 (N : Node_Id) return Node_Id is
1779 begin
1780 pragma Assert (False
1781 or else NT (N).Nkind = N_Identifier);
1782 return Node2 (N);
1783 end Original_Discriminant;
1784
1785 function Others_Discrete_Choices
1786 (N : Node_Id) return List_Id is
1787 begin
1788 pragma Assert (False
1789 or else NT (N).Nkind = N_Others_Choice);
1790 return List1 (N);
1791 end Others_Discrete_Choices;
1792
1793 function Out_Present
1794 (N : Node_Id) return Boolean is
1795 begin
1796 pragma Assert (False
1797 or else NT (N).Nkind = N_Formal_Object_Declaration
1798 or else NT (N).Nkind = N_Parameter_Specification);
1799 return Flag17 (N);
1800 end Out_Present;
1801
1802 function Parameter_Associations
1803 (N : Node_Id) return List_Id is
1804 begin
1805 pragma Assert (False
1806 or else NT (N).Nkind = N_Entry_Call_Statement
1807 or else NT (N).Nkind = N_Function_Call
1808 or else NT (N).Nkind = N_Procedure_Call_Statement);
1809 return List3 (N);
1810 end Parameter_Associations;
1811
1812 function Parameter_List_Truncated
1813 (N : Node_Id) return Boolean is
1814 begin
1815 pragma Assert (False
1816 or else NT (N).Nkind = N_Function_Call
1817 or else NT (N).Nkind = N_Procedure_Call_Statement);
1818 return Flag17 (N);
1819 end Parameter_List_Truncated;
1820
1821 function Parameter_Specifications
1822 (N : Node_Id) return List_Id is
1823 begin
1824 pragma Assert (False
1825 or else NT (N).Nkind = N_Accept_Statement
1826 or else NT (N).Nkind = N_Access_Function_Definition
1827 or else NT (N).Nkind = N_Access_Procedure_Definition
1828 or else NT (N).Nkind = N_Entry_Body_Formal_Part
1829 or else NT (N).Nkind = N_Entry_Declaration
1830 or else NT (N).Nkind = N_Function_Specification
1831 or else NT (N).Nkind = N_Procedure_Specification);
1832 return List3 (N);
1833 end Parameter_Specifications;
1834
1835 function Parameter_Type
1836 (N : Node_Id) return Node_Id is
1837 begin
1838 pragma Assert (False
1839 or else NT (N).Nkind = N_Parameter_Specification);
1840 return Node2 (N);
1841 end Parameter_Type;
1842
1843 function Parent_Spec
1844 (N : Node_Id) return Node_Id is
1845 begin
1846 pragma Assert (False
1847 or else NT (N).Nkind = N_Function_Instantiation
1848 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1849 or else NT (N).Nkind = N_Generic_Package_Declaration
1850 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1851 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1852 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
1853 or else NT (N).Nkind = N_Package_Declaration
1854 or else NT (N).Nkind = N_Package_Instantiation
1855 or else NT (N).Nkind = N_Package_Renaming_Declaration
1856 or else NT (N).Nkind = N_Procedure_Instantiation
1857 or else NT (N).Nkind = N_Subprogram_Declaration
1858 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1859 return Node4 (N);
1860 end Parent_Spec;
1861
1862 function Position
1863 (N : Node_Id) return Node_Id is
1864 begin
1865 pragma Assert (False
1866 or else NT (N).Nkind = N_Component_Clause);
1867 return Node2 (N);
1868 end Position;
1869
1870 function Pragma_Argument_Associations
1871 (N : Node_Id) return List_Id is
1872 begin
1873 pragma Assert (False
1874 or else NT (N).Nkind = N_Pragma);
1875 return List2 (N);
1876 end Pragma_Argument_Associations;
1877
1878 function Pragmas_After
1879 (N : Node_Id) return List_Id is
1880 begin
1881 pragma Assert (False
1882 or else NT (N).Nkind = N_Compilation_Unit_Aux
1883 or else NT (N).Nkind = N_Terminate_Alternative);
1884 return List5 (N);
1885 end Pragmas_After;
1886
1887 function Pragmas_Before
1888 (N : Node_Id) return List_Id is
1889 begin
1890 pragma Assert (False
1891 or else NT (N).Nkind = N_Accept_Alternative
1892 or else NT (N).Nkind = N_Delay_Alternative
1893 or else NT (N).Nkind = N_Entry_Call_Alternative
1894 or else NT (N).Nkind = N_Mod_Clause
1895 or else NT (N).Nkind = N_Terminate_Alternative
1896 or else NT (N).Nkind = N_Triggering_Alternative);
1897 return List4 (N);
1898 end Pragmas_Before;
1899
1900 function Prefix
1901 (N : Node_Id) return Node_Id is
1902 begin
1903 pragma Assert (False
1904 or else NT (N).Nkind = N_Attribute_Reference
1905 or else NT (N).Nkind = N_Expanded_Name
1906 or else NT (N).Nkind = N_Explicit_Dereference
1907 or else NT (N).Nkind = N_Indexed_Component
1908 or else NT (N).Nkind = N_Reference
1909 or else NT (N).Nkind = N_Selected_Component
1910 or else NT (N).Nkind = N_Slice);
1911 return Node3 (N);
1912 end Prefix;
1913
1914 function Present_Expr
1915 (N : Node_Id) return Uint is
1916 begin
1917 pragma Assert (False
1918 or else NT (N).Nkind = N_Variant);
1919 return Uint3 (N);
1920 end Present_Expr;
1921
1922 function Prev_Ids
1923 (N : Node_Id) return Boolean is
1924 begin
1925 pragma Assert (False
1926 or else NT (N).Nkind = N_Component_Declaration
1927 or else NT (N).Nkind = N_Discriminant_Specification
1928 or else NT (N).Nkind = N_Exception_Declaration
1929 or else NT (N).Nkind = N_Formal_Object_Declaration
1930 or else NT (N).Nkind = N_Number_Declaration
1931 or else NT (N).Nkind = N_Object_Declaration
1932 or else NT (N).Nkind = N_Parameter_Specification);
1933 return Flag6 (N);
1934 end Prev_Ids;
1935
1936 function Print_In_Hex
1937 (N : Node_Id) return Boolean is
1938 begin
1939 pragma Assert (False
1940 or else NT (N).Nkind = N_Integer_Literal);
1941 return Flag13 (N);
1942 end Print_In_Hex;
1943
1944 function Private_Declarations
1945 (N : Node_Id) return List_Id is
1946 begin
1947 pragma Assert (False
1948 or else NT (N).Nkind = N_Package_Specification
1949 or else NT (N).Nkind = N_Protected_Definition
1950 or else NT (N).Nkind = N_Task_Definition);
1951 return List3 (N);
1952 end Private_Declarations;
1953
1954 function Private_Present
1955 (N : Node_Id) return Boolean is
1956 begin
1957 pragma Assert (False
1958 or else NT (N).Nkind = N_Compilation_Unit
1959 or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
1960 return Flag15 (N);
1961 end Private_Present;
1962
1963 function Procedure_To_Call
1964 (N : Node_Id) return Node_Id is
1965 begin
1966 pragma Assert (False
1967 or else NT (N).Nkind = N_Allocator
1968 or else NT (N).Nkind = N_Free_Statement
1969 or else NT (N).Nkind = N_Return_Statement);
1970 return Node4 (N);
1971 end Procedure_To_Call;
1972
1973 function Proper_Body
1974 (N : Node_Id) return Node_Id is
1975 begin
1976 pragma Assert (False
1977 or else NT (N).Nkind = N_Subunit);
1978 return Node1 (N);
1979 end Proper_Body;
1980
1981 function Protected_Definition
1982 (N : Node_Id) return Node_Id is
1983 begin
1984 pragma Assert (False
1985 or else NT (N).Nkind = N_Protected_Type_Declaration
1986 or else NT (N).Nkind = N_Single_Protected_Declaration);
1987 return Node3 (N);
1988 end Protected_Definition;
1989
1990 function Protected_Present
1991 (N : Node_Id) return Boolean is
1992 begin
1993 pragma Assert (False
1994 or else NT (N).Nkind = N_Access_Function_Definition
1995 or else NT (N).Nkind = N_Access_Procedure_Definition);
1996 return Flag15 (N);
1997 end Protected_Present;
1998
1999 function Raises_Constraint_Error
2000 (N : Node_Id) return Boolean is
2001 begin
2002 pragma Assert (False
2003 or else NT (N).Nkind in N_Subexpr);
2004 return Flag7 (N);
2005 end Raises_Constraint_Error;
2006
2007 function Range_Constraint
2008 (N : Node_Id) return Node_Id is
2009 begin
2010 pragma Assert (False
2011 or else NT (N).Nkind = N_Delta_Constraint
2012 or else NT (N).Nkind = N_Digits_Constraint);
2013 return Node4 (N);
2014 end Range_Constraint;
2015
2016 function Range_Expression
2017 (N : Node_Id) return Node_Id is
2018 begin
2019 pragma Assert (False
2020 or else NT (N).Nkind = N_Range_Constraint);
2021 return Node4 (N);
2022 end Range_Expression;
2023
2024 function Real_Range_Specification
2025 (N : Node_Id) return Node_Id is
2026 begin
2027 pragma Assert (False
2028 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2029 or else NT (N).Nkind = N_Floating_Point_Definition
2030 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2031 return Node4 (N);
2032 end Real_Range_Specification;
2033
2034 function Realval
2035 (N : Node_Id) return Ureal is
2036 begin
2037 pragma Assert (False
2038 or else NT (N).Nkind = N_Real_Literal);
2039 return Ureal3 (N);
2040 end Realval;
2041
2042 function Reason
2043 (N : Node_Id) return Uint is
2044 begin
2045 pragma Assert (False
2046 or else NT (N).Nkind = N_Raise_Constraint_Error
2047 or else NT (N).Nkind = N_Raise_Program_Error
2048 or else NT (N).Nkind = N_Raise_Storage_Error);
2049 return Uint3 (N);
2050 end Reason;
2051
2052 function Record_Extension_Part
2053 (N : Node_Id) return Node_Id is
2054 begin
2055 pragma Assert (False
2056 or else NT (N).Nkind = N_Derived_Type_Definition);
2057 return Node3 (N);
2058 end Record_Extension_Part;
2059
2060 function Redundant_Use
2061 (N : Node_Id) return Boolean is
2062 begin
2063 pragma Assert (False
2064 or else NT (N).Nkind = N_Attribute_Reference
2065 or else NT (N).Nkind = N_Expanded_Name
2066 or else NT (N).Nkind = N_Identifier);
2067 return Flag13 (N);
2068 end Redundant_Use;
2069
2070 function Return_Type
2071 (N : Node_Id) return Node_Id is
2072 begin
2073 pragma Assert (False
2074 or else NT (N).Nkind = N_Return_Statement);
2075 return Node2 (N);
2076 end Return_Type;
2077
2078 function Reverse_Present
2079 (N : Node_Id) return Boolean is
2080 begin
2081 pragma Assert (False
2082 or else NT (N).Nkind = N_Loop_Parameter_Specification);
2083 return Flag15 (N);
2084 end Reverse_Present;
2085
2086 function Right_Opnd
2087 (N : Node_Id) return Node_Id is
2088 begin
2089 pragma Assert (False
2090 or else NT (N).Nkind in N_Op
2091 or else NT (N).Nkind = N_And_Then
2092 or else NT (N).Nkind = N_In
2093 or else NT (N).Nkind = N_Not_In
2094 or else NT (N).Nkind = N_Or_Else);
2095 return Node3 (N);
2096 end Right_Opnd;
2097
2098 function Rounded_Result
2099 (N : Node_Id) return Boolean is
2100 begin
2101 pragma Assert (False
2102 or else NT (N).Nkind = N_Op_Divide
2103 or else NT (N).Nkind = N_Op_Multiply
2104 or else NT (N).Nkind = N_Type_Conversion);
2105 return Flag18 (N);
2106 end Rounded_Result;
2107
2108 function Scope
2109 (N : Node_Id) return Node_Id is
2110 begin
2111 pragma Assert (False
2112 or else NT (N).Nkind = N_Defining_Character_Literal
2113 or else NT (N).Nkind = N_Defining_Identifier
2114 or else NT (N).Nkind = N_Defining_Operator_Symbol);
2115 return Node3 (N);
2116 end Scope;
2117
2118 function Select_Alternatives
2119 (N : Node_Id) return List_Id is
2120 begin
2121 pragma Assert (False
2122 or else NT (N).Nkind = N_Selective_Accept);
2123 return List1 (N);
2124 end Select_Alternatives;
2125
2126 function Selector_Name
2127 (N : Node_Id) return Node_Id is
2128 begin
2129 pragma Assert (False
2130 or else NT (N).Nkind = N_Expanded_Name
2131 or else NT (N).Nkind = N_Generic_Association
2132 or else NT (N).Nkind = N_Parameter_Association
2133 or else NT (N).Nkind = N_Selected_Component);
2134 return Node2 (N);
2135 end Selector_Name;
2136
2137 function Selector_Names
2138 (N : Node_Id) return List_Id is
2139 begin
2140 pragma Assert (False
2141 or else NT (N).Nkind = N_Discriminant_Association);
2142 return List1 (N);
2143 end Selector_Names;
2144
2145 function Shift_Count_OK
2146 (N : Node_Id) return Boolean is
2147 begin
2148 pragma Assert (False
2149 or else NT (N).Nkind = N_Op_Rotate_Left
2150 or else NT (N).Nkind = N_Op_Rotate_Right
2151 or else NT (N).Nkind = N_Op_Shift_Left
2152 or else NT (N).Nkind = N_Op_Shift_Right
2153 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2154 return Flag4 (N);
2155 end Shift_Count_OK;
2156
2157 function Source_Type
2158 (N : Node_Id) return Entity_Id is
2159 begin
2160 pragma Assert (False
2161 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2162 return Node1 (N);
2163 end Source_Type;
2164
2165 function Specification
2166 (N : Node_Id) return Node_Id is
2167 begin
2168 pragma Assert (False
2169 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2170 or else NT (N).Nkind = N_Formal_Subprogram_Declaration
2171 or else NT (N).Nkind = N_Generic_Package_Declaration
2172 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2173 or else NT (N).Nkind = N_Package_Declaration
2174 or else NT (N).Nkind = N_Subprogram_Body
2175 or else NT (N).Nkind = N_Subprogram_Body_Stub
2176 or else NT (N).Nkind = N_Subprogram_Declaration
2177 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2178 return Node1 (N);
2179 end Specification;
2180
2181 function Statements
2182 (N : Node_Id) return List_Id is
2183 begin
2184 pragma Assert (False
2185 or else NT (N).Nkind = N_Abortable_Part
2186 or else NT (N).Nkind = N_Accept_Alternative
2187 or else NT (N).Nkind = N_Case_Statement_Alternative
2188 or else NT (N).Nkind = N_Delay_Alternative
2189 or else NT (N).Nkind = N_Entry_Call_Alternative
2190 or else NT (N).Nkind = N_Exception_Handler
2191 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2192 or else NT (N).Nkind = N_Loop_Statement
2193 or else NT (N).Nkind = N_Triggering_Alternative);
2194 return List3 (N);
2195 end Statements;
2196
2197 function Static_Processing_OK
2198 (N : Node_Id) return Boolean is
2199 begin
2200 pragma Assert (False
2201 or else NT (N).Nkind = N_Aggregate);
2202 return Flag4 (N);
2203 end Static_Processing_OK;
2204
2205 function Storage_Pool
2206 (N : Node_Id) return Node_Id is
2207 begin
2208 pragma Assert (False
2209 or else NT (N).Nkind = N_Allocator
2210 or else NT (N).Nkind = N_Free_Statement
2211 or else NT (N).Nkind = N_Return_Statement);
2212 return Node1 (N);
2213 end Storage_Pool;
2214
2215 function Strval
2216 (N : Node_Id) return String_Id is
2217 begin
2218 pragma Assert (False
2219 or else NT (N).Nkind = N_Operator_Symbol
2220 or else NT (N).Nkind = N_String_Literal);
2221 return Str3 (N);
2222 end Strval;
2223
2224 function Subtype_Indication
2225 (N : Node_Id) return Node_Id is
2226 begin
2227 pragma Assert (False
2228 or else NT (N).Nkind = N_Access_To_Object_Definition
2229 or else NT (N).Nkind = N_Component_Declaration
2230 or else NT (N).Nkind = N_Constrained_Array_Definition
2231 or else NT (N).Nkind = N_Derived_Type_Definition
2232 or else NT (N).Nkind = N_Private_Extension_Declaration
2233 or else NT (N).Nkind = N_Subtype_Declaration
2234 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2235 return Node5 (N);
2236 end Subtype_Indication;
2237
2238 function Subtype_Mark
2239 (N : Node_Id) return Node_Id is
2240 begin
2241 pragma Assert (False
2242 or else NT (N).Nkind = N_Access_Definition
2243 or else NT (N).Nkind = N_Access_Function_Definition
2244 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2245 or else NT (N).Nkind = N_Formal_Object_Declaration
2246 or else NT (N).Nkind = N_Function_Specification
2247 or else NT (N).Nkind = N_Object_Renaming_Declaration
2248 or else NT (N).Nkind = N_Qualified_Expression
2249 or else NT (N).Nkind = N_Subtype_Indication
2250 or else NT (N).Nkind = N_Type_Conversion
2251 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2252 return Node4 (N);
2253 end Subtype_Mark;
2254
2255 function Subtype_Marks
2256 (N : Node_Id) return List_Id is
2257 begin
2258 pragma Assert (False
2259 or else NT (N).Nkind = N_Unconstrained_Array_Definition
2260 or else NT (N).Nkind = N_Use_Type_Clause);
2261 return List2 (N);
2262 end Subtype_Marks;
2263
2264 function Tagged_Present
2265 (N : Node_Id) return Boolean is
2266 begin
2267 pragma Assert (False
2268 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2269 or else NT (N).Nkind = N_Private_Type_Declaration
2270 or else NT (N).Nkind = N_Record_Definition
2271 or else NT (N).Nkind = N_With_Type_Clause);
2272 return Flag15 (N);
2273 end Tagged_Present;
2274
2275 function Target_Type
2276 (N : Node_Id) return Entity_Id is
2277 begin
2278 pragma Assert (False
2279 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2280 return Node2 (N);
2281 end Target_Type;
2282
2283 function Task_Body_Procedure
2284 (N : Node_Id) return Entity_Id is
2285 begin
2286 pragma Assert (False
2287 or else NT (N).Nkind = N_Task_Type_Declaration);
2288 return Node2 (N);
2289 end Task_Body_Procedure;
2290
2291 function Task_Definition
2292 (N : Node_Id) return Node_Id is
2293 begin
2294 pragma Assert (False
2295 or else NT (N).Nkind = N_Single_Task_Declaration
2296 or else NT (N).Nkind = N_Task_Type_Declaration);
2297 return Node3 (N);
2298 end Task_Definition;
2299
2300 function Then_Actions
2301 (N : Node_Id) return List_Id is
2302 begin
2303 pragma Assert (False
2304 or else NT (N).Nkind = N_Conditional_Expression);
2305 return List2 (N);
2306 end Then_Actions;
2307
2308 function Then_Statements
2309 (N : Node_Id) return List_Id is
2310 begin
2311 pragma Assert (False
2312 or else NT (N).Nkind = N_Elsif_Part
2313 or else NT (N).Nkind = N_If_Statement);
2314 return List2 (N);
2315 end Then_Statements;
2316
2317 function Treat_Fixed_As_Integer
2318 (N : Node_Id) return Boolean is
2319 begin
2320 pragma Assert (False
2321 or else NT (N).Nkind = N_Op_Divide
2322 or else NT (N).Nkind = N_Op_Mod
2323 or else NT (N).Nkind = N_Op_Multiply
2324 or else NT (N).Nkind = N_Op_Rem);
2325 return Flag14 (N);
2326 end Treat_Fixed_As_Integer;
2327
2328 function Triggering_Alternative
2329 (N : Node_Id) return Node_Id is
2330 begin
2331 pragma Assert (False
2332 or else NT (N).Nkind = N_Asynchronous_Select);
2333 return Node1 (N);
2334 end Triggering_Alternative;
2335
2336 function Triggering_Statement
2337 (N : Node_Id) return Node_Id is
2338 begin
2339 pragma Assert (False
2340 or else NT (N).Nkind = N_Triggering_Alternative);
2341 return Node1 (N);
2342 end Triggering_Statement;
2343
2344 function TSS_Elist
2345 (N : Node_Id) return Elist_Id is
2346 begin
2347 pragma Assert (False
2348 or else NT (N).Nkind = N_Freeze_Entity);
2349 return Elist3 (N);
2350 end TSS_Elist;
2351
2352 function Type_Definition
2353 (N : Node_Id) return Node_Id is
2354 begin
2355 pragma Assert (False
2356 or else NT (N).Nkind = N_Full_Type_Declaration);
2357 return Node3 (N);
2358 end Type_Definition;
2359
2360 function Unit
2361 (N : Node_Id) return Node_Id is
2362 begin
2363 pragma Assert (False
2364 or else NT (N).Nkind = N_Compilation_Unit);
2365 return Node2 (N);
2366 end Unit;
2367
2368 function Unknown_Discriminants_Present
2369 (N : Node_Id) return Boolean is
2370 begin
2371 pragma Assert (False
2372 or else NT (N).Nkind = N_Formal_Type_Declaration
2373 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2374 or else NT (N).Nkind = N_Private_Extension_Declaration
2375 or else NT (N).Nkind = N_Private_Type_Declaration);
2376 return Flag13 (N);
2377 end Unknown_Discriminants_Present;
2378
2379 function Unreferenced_In_Spec
2380 (N : Node_Id) return Boolean is
2381 begin
2382 pragma Assert (False
2383 or else NT (N).Nkind = N_With_Clause);
2384 return Flag7 (N);
2385 end Unreferenced_In_Spec;
2386
2387 function Variant_Part
2388 (N : Node_Id) return Node_Id is
2389 begin
2390 pragma Assert (False
2391 or else NT (N).Nkind = N_Component_List);
2392 return Node4 (N);
2393 end Variant_Part;
2394
2395 function Variants
2396 (N : Node_Id) return List_Id is
2397 begin
2398 pragma Assert (False
2399 or else NT (N).Nkind = N_Variant_Part);
2400 return List1 (N);
2401 end Variants;
2402
2403 function Visible_Declarations
2404 (N : Node_Id) return List_Id is
2405 begin
2406 pragma Assert (False
2407 or else NT (N).Nkind = N_Package_Specification
2408 or else NT (N).Nkind = N_Protected_Definition
2409 or else NT (N).Nkind = N_Task_Definition);
2410 return List2 (N);
2411 end Visible_Declarations;
2412
2413 function Was_Originally_Stub
2414 (N : Node_Id) return Boolean is
2415 begin
2416 pragma Assert (False
2417 or else NT (N).Nkind = N_Package_Body
2418 or else NT (N).Nkind = N_Protected_Body
2419 or else NT (N).Nkind = N_Subprogram_Body
2420 or else NT (N).Nkind = N_Task_Body);
2421 return Flag13 (N);
2422 end Was_Originally_Stub;
2423
2424 function Zero_Cost_Handling
2425 (N : Node_Id) return Boolean is
2426 begin
2427 pragma Assert (False
2428 or else NT (N).Nkind = N_Exception_Handler
2429 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2430 return Flag5 (N);
2431 end Zero_Cost_Handling;
2432
2433 --------------------------
2434 -- Field Set Procedures --
2435 --------------------------
2436
2437 procedure Set_ABE_Is_Certain
2438 (N : Node_Id; Val : Boolean := True) is
2439 begin
2440 pragma Assert (False
2441 or else NT (N).Nkind = N_Formal_Package_Declaration
2442 or else NT (N).Nkind = N_Function_Call
2443 or else NT (N).Nkind = N_Function_Instantiation
2444 or else NT (N).Nkind = N_Package_Instantiation
2445 or else NT (N).Nkind = N_Procedure_Call_Statement
2446 or else NT (N).Nkind = N_Procedure_Instantiation);
2447 Set_Flag18 (N, Val);
2448 end Set_ABE_Is_Certain;
2449
2450 procedure Set_Abort_Present
2451 (N : Node_Id; Val : Boolean := True) is
2452 begin
2453 pragma Assert (False
2454 or else NT (N).Nkind = N_Requeue_Statement);
2455 Set_Flag15 (N, Val);
2456 end Set_Abort_Present;
2457
2458 procedure Set_Abortable_Part
2459 (N : Node_Id; Val : Node_Id) is
2460 begin
2461 pragma Assert (False
2462 or else NT (N).Nkind = N_Asynchronous_Select);
2463 Set_Node2_With_Parent (N, Val);
2464 end Set_Abortable_Part;
2465
2466 procedure Set_Abstract_Present
2467 (N : Node_Id; Val : Boolean := True) is
2468 begin
2469 pragma Assert (False
2470 or else NT (N).Nkind = N_Derived_Type_Definition
2471 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2472 or else NT (N).Nkind = N_Formal_Private_Type_Definition
2473 or else NT (N).Nkind = N_Private_Extension_Declaration
2474 or else NT (N).Nkind = N_Private_Type_Declaration
2475 or else NT (N).Nkind = N_Record_Definition);
2476 Set_Flag4 (N, Val);
2477 end Set_Abstract_Present;
2478
2479 procedure Set_Accept_Handler_Records
2480 (N : Node_Id; Val : List_Id) is
2481 begin
2482 pragma Assert (False
2483 or else NT (N).Nkind = N_Accept_Alternative);
2484 Set_List5 (N, Val); -- semantic field, no parent set
2485 end Set_Accept_Handler_Records;
2486
2487 procedure Set_Accept_Statement
2488 (N : Node_Id; Val : Node_Id) is
2489 begin
2490 pragma Assert (False
2491 or else NT (N).Nkind = N_Accept_Alternative);
2492 Set_Node2_With_Parent (N, Val);
2493 end Set_Accept_Statement;
2494
2495 procedure Set_Access_Types_To_Process
2496 (N : Node_Id; Val : Elist_Id) is
2497 begin
2498 pragma Assert (False
2499 or else NT (N).Nkind = N_Freeze_Entity);
2500 Set_Elist2 (N, Val); -- semantic field, no parent set
2501 end Set_Access_Types_To_Process;
2502
2503 procedure Set_Actions
2504 (N : Node_Id; Val : List_Id) is
2505 begin
2506 pragma Assert (False
2507 or else NT (N).Nkind = N_And_Then
2508 or else NT (N).Nkind = N_Compilation_Unit_Aux
2509 or else NT (N).Nkind = N_Freeze_Entity
2510 or else NT (N).Nkind = N_Or_Else);
2511 Set_List1_With_Parent (N, Val);
2512 end Set_Actions;
2513
2514 procedure Set_Activation_Chain_Entity
2515 (N : Node_Id; Val : Node_Id) is
2516 begin
2517 pragma Assert (False
2518 or else NT (N).Nkind = N_Block_Statement
2519 or else NT (N).Nkind = N_Entry_Body
2520 or else NT (N).Nkind = N_Generic_Package_Declaration
2521 or else NT (N).Nkind = N_Package_Declaration
2522 or else NT (N).Nkind = N_Subprogram_Body
2523 or else NT (N).Nkind = N_Task_Body);
2524 Set_Node3 (N, Val); -- semantic field, no parent set
2525 end Set_Activation_Chain_Entity;
2526
2527 procedure Set_Acts_As_Spec
2528 (N : Node_Id; Val : Boolean := True) is
2529 begin
2530 pragma Assert (False
2531 or else NT (N).Nkind = N_Compilation_Unit
2532 or else NT (N).Nkind = N_Subprogram_Body);
2533 Set_Flag4 (N, Val);
2534 end Set_Acts_As_Spec;
2535
2536 procedure Set_Aggregate_Bounds
2537 (N : Node_Id; Val : Node_Id) is
2538 begin
2539 pragma Assert (False
2540 or else NT (N).Nkind = N_Aggregate);
2541 Set_Node3 (N, Val); -- semantic field, no parent set
2542 end Set_Aggregate_Bounds;
2543
2544 procedure Set_Aliased_Present
2545 (N : Node_Id; Val : Boolean := True) is
2546 begin
2547 pragma Assert (False
2548 or else NT (N).Nkind = N_Component_Declaration
2549 or else NT (N).Nkind = N_Constrained_Array_Definition
2550 or else NT (N).Nkind = N_Object_Declaration
2551 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2552 Set_Flag4 (N, Val);
2553 end Set_Aliased_Present;
2554
2555 procedure Set_All_Others
2556 (N : Node_Id; Val : Boolean := True) is
2557 begin
2558 pragma Assert (False
2559 or else NT (N).Nkind = N_Others_Choice);
2560 Set_Flag11 (N, Val);
2561 end Set_All_Others;
2562
2563 procedure Set_All_Present
2564 (N : Node_Id; Val : Boolean := True) is
2565 begin
2566 pragma Assert (False
2567 or else NT (N).Nkind = N_Access_To_Object_Definition);
2568 Set_Flag15 (N, Val);
2569 end Set_All_Present;
2570
2571 procedure Set_Alternatives
2572 (N : Node_Id; Val : List_Id) is
2573 begin
2574 pragma Assert (False
2575 or else NT (N).Nkind = N_Case_Statement);
2576 Set_List4_With_Parent (N, Val);
2577 end Set_Alternatives;
2578
2579 procedure Set_Ancestor_Part
2580 (N : Node_Id; Val : Node_Id) is
2581 begin
2582 pragma Assert (False
2583 or else NT (N).Nkind = N_Extension_Aggregate);
2584 Set_Node3_With_Parent (N, Val);
2585 end Set_Ancestor_Part;
2586
2587 procedure Set_Array_Aggregate
2588 (N : Node_Id; Val : Node_Id) is
2589 begin
2590 pragma Assert (False
2591 or else NT (N).Nkind = N_Enumeration_Representation_Clause);
2592 Set_Node3_With_Parent (N, Val);
2593 end Set_Array_Aggregate;
2594
2595 procedure Set_Assignment_OK
2596 (N : Node_Id; Val : Boolean := True) is
2597 begin
2598 pragma Assert (False
2599 or else NT (N).Nkind = N_Object_Declaration
2600 or else NT (N).Nkind in N_Subexpr);
2601 Set_Flag15 (N, Val);
2602 end Set_Assignment_OK;
2603
2604 procedure Set_Associated_Node
2605 (N : Node_Id; Val : Node_Id) is
2606 begin
2607 pragma Assert (False
2608 or else NT (N).Nkind in N_Has_Entity
2609 or else NT (N).Nkind = N_Aggregate
2610 or else NT (N).Nkind = N_Extension_Aggregate
2611 or else NT (N).Nkind = N_Selected_Component);
2612 Set_Node4 (N, Val); -- semantic field, no parent set
2613 end Set_Associated_Node;
2614
2615 procedure Set_At_End_Proc
2616 (N : Node_Id; Val : Node_Id) is
2617 begin
2618 pragma Assert (False
2619 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2620 Set_Node1 (N, Val);
2621 end Set_At_End_Proc;
2622
2623 procedure Set_Attribute_Name
2624 (N : Node_Id; Val : Name_Id) is
2625 begin
2626 pragma Assert (False
2627 or else NT (N).Nkind = N_Attribute_Reference);
2628 Set_Name2 (N, Val);
2629 end Set_Attribute_Name;
2630
2631 procedure Set_Aux_Decls_Node
2632 (N : Node_Id; Val : Node_Id) is
2633 begin
2634 pragma Assert (False
2635 or else NT (N).Nkind = N_Compilation_Unit);
2636 Set_Node5_With_Parent (N, Val);
2637 end Set_Aux_Decls_Node;
2638
2639 procedure Set_Backwards_OK
2640 (N : Node_Id; Val : Boolean := True) is
2641 begin
2642 pragma Assert (False
2643 or else NT (N).Nkind = N_Assignment_Statement);
2644 Set_Flag6 (N, Val);
2645 end Set_Backwards_OK;
2646
2647 procedure Set_Bad_Is_Detected
2648 (N : Node_Id; Val : Boolean := True) is
2649 begin
2650 pragma Assert (False
2651 or else NT (N).Nkind = N_Subprogram_Body);
2652 Set_Flag15 (N, Val);
2653 end Set_Bad_Is_Detected;
2654
2655 procedure Set_Body_Required
2656 (N : Node_Id; Val : Boolean := True) is
2657 begin
2658 pragma Assert (False
2659 or else NT (N).Nkind = N_Compilation_Unit);
2660 Set_Flag13 (N, Val);
2661 end Set_Body_Required;
2662
2663 procedure Set_Body_To_Inline
2664 (N : Node_Id; Val : Node_Id) is
2665 begin
2666 pragma Assert (False
2667 or else NT (N).Nkind = N_Subprogram_Declaration);
2668 Set_Node3 (N, Val);
2669 end Set_Body_To_Inline;
2670
2671 procedure Set_Box_Present
2672 (N : Node_Id; Val : Boolean := True) is
2673 begin
2674 pragma Assert (False
2675 or else NT (N).Nkind = N_Formal_Package_Declaration
2676 or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
2677 Set_Flag15 (N, Val);
2678 end Set_Box_Present;
2679
2680 procedure Set_By_Ref
2681 (N : Node_Id; Val : Boolean := True) is
2682 begin
2683 pragma Assert (False
2684 or else NT (N).Nkind = N_Return_Statement);
2685 Set_Flag5 (N, Val);
2686 end Set_By_Ref;
2687
2688 procedure Set_Char_Literal_Value
2689 (N : Node_Id; Val : Char_Code) is
2690 begin
2691 pragma Assert (False
2692 or else NT (N).Nkind = N_Character_Literal);
2693 Set_Char_Code2 (N, Val);
2694 end Set_Char_Literal_Value;
2695
2696 procedure Set_Chars
2697 (N : Node_Id; Val : Name_Id) is
2698 begin
2699 pragma Assert (False
2700 or else NT (N).Nkind in N_Has_Chars);
2701 Set_Name1 (N, Val);
2702 end Set_Chars;
2703
2704 procedure Set_Choice_Parameter
2705 (N : Node_Id; Val : Node_Id) is
2706 begin
2707 pragma Assert (False
2708 or else NT (N).Nkind = N_Exception_Handler);
2709 Set_Node2_With_Parent (N, Val);
2710 end Set_Choice_Parameter;
2711
2712 procedure Set_Choices
2713 (N : Node_Id; Val : List_Id) is
2714 begin
2715 pragma Assert (False
2716 or else NT (N).Nkind = N_Component_Association);
2717 Set_List1_With_Parent (N, Val);
2718 end Set_Choices;
2719
2720 procedure Set_Compile_Time_Known_Aggregate
2721 (N : Node_Id; Val : Boolean := True) is
2722 begin
2723 pragma Assert (False
2724 or else NT (N).Nkind = N_Aggregate);
2725 Set_Flag18 (N, Val);
2726 end Set_Compile_Time_Known_Aggregate;
2727
2728 procedure Set_Component_Associations
2729 (N : Node_Id; Val : List_Id) is
2730 begin
2731 pragma Assert (False
2732 or else NT (N).Nkind = N_Aggregate
2733 or else NT (N).Nkind = N_Extension_Aggregate);
2734 Set_List2_With_Parent (N, Val);
2735 end Set_Component_Associations;
2736
2737 procedure Set_Component_Clauses
2738 (N : Node_Id; Val : List_Id) is
2739 begin
2740 pragma Assert (False
2741 or else NT (N).Nkind = N_Record_Representation_Clause);
2742 Set_List3_With_Parent (N, Val);
2743 end Set_Component_Clauses;
2744
2745 procedure Set_Component_Items
2746 (N : Node_Id; Val : List_Id) is
2747 begin
2748 pragma Assert (False
2749 or else NT (N).Nkind = N_Component_List);
2750 Set_List3_With_Parent (N, Val);
2751 end Set_Component_Items;
2752
2753 procedure Set_Component_List
2754 (N : Node_Id; Val : Node_Id) is
2755 begin
2756 pragma Assert (False
2757 or else NT (N).Nkind = N_Record_Definition
2758 or else NT (N).Nkind = N_Variant);
2759 Set_Node1_With_Parent (N, Val);
2760 end Set_Component_List;
2761
2762 procedure Set_Component_Name
2763 (N : Node_Id; Val : Node_Id) is
2764 begin
2765 pragma Assert (False
2766 or else NT (N).Nkind = N_Component_Clause);
2767 Set_Node1_With_Parent (N, Val);
2768 end Set_Component_Name;
2769
2770 procedure Set_Condition
2771 (N : Node_Id; Val : Node_Id) is
2772 begin
2773 pragma Assert (False
2774 or else NT (N).Nkind = N_Accept_Alternative
2775 or else NT (N).Nkind = N_Delay_Alternative
2776 or else NT (N).Nkind = N_Elsif_Part
2777 or else NT (N).Nkind = N_Entry_Body_Formal_Part
2778 or else NT (N).Nkind = N_Exit_Statement
2779 or else NT (N).Nkind = N_If_Statement
2780 or else NT (N).Nkind = N_Iteration_Scheme
2781 or else NT (N).Nkind = N_Raise_Constraint_Error
2782 or else NT (N).Nkind = N_Raise_Program_Error
2783 or else NT (N).Nkind = N_Raise_Storage_Error
2784 or else NT (N).Nkind = N_Terminate_Alternative);
2785 Set_Node1_With_Parent (N, Val);
2786 end Set_Condition;
2787
2788 procedure Set_Condition_Actions
2789 (N : Node_Id; Val : List_Id) is
2790 begin
2791 pragma Assert (False
2792 or else NT (N).Nkind = N_Elsif_Part
2793 or else NT (N).Nkind = N_Iteration_Scheme);
2794 Set_List3 (N, Val); -- semantic field, no parent set
2795 end Set_Condition_Actions;
2796
2797 procedure Set_Constant_Present
2798 (N : Node_Id; Val : Boolean := True) is
2799 begin
2800 pragma Assert (False
2801 or else NT (N).Nkind = N_Access_To_Object_Definition
2802 or else NT (N).Nkind = N_Object_Declaration);
2803 Set_Flag17 (N, Val);
2804 end Set_Constant_Present;
2805
2806 procedure Set_Constraint
2807 (N : Node_Id; Val : Node_Id) is
2808 begin
2809 pragma Assert (False
2810 or else NT (N).Nkind = N_Subtype_Indication);
2811 Set_Node3_With_Parent (N, Val);
2812 end Set_Constraint;
2813
2814 procedure Set_Constraints
2815 (N : Node_Id; Val : List_Id) is
2816 begin
2817 pragma Assert (False
2818 or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
2819 Set_List1_With_Parent (N, Val);
2820 end Set_Constraints;
2821
2822 procedure Set_Context_Installed
2823 (N : Node_Id; Val : Boolean := True) is
2824 begin
2825 pragma Assert (False
2826 or else NT (N).Nkind = N_With_Clause);
2827 Set_Flag13 (N, Val);
2828 end Set_Context_Installed;
2829
2830 procedure Set_Context_Items
2831 (N : Node_Id; Val : List_Id) is
2832 begin
2833 pragma Assert (False
2834 or else NT (N).Nkind = N_Compilation_Unit);
2835 Set_List1_With_Parent (N, Val);
2836 end Set_Context_Items;
2837
2838 procedure Set_Controlling_Argument
2839 (N : Node_Id; Val : Node_Id) is
2840 begin
2841 pragma Assert (False
2842 or else NT (N).Nkind = N_Function_Call
2843 or else NT (N).Nkind = N_Procedure_Call_Statement);
2844 Set_Node1 (N, Val); -- semantic field, no parent set
2845 end Set_Controlling_Argument;
2846
2847 procedure Set_Conversion_OK
2848 (N : Node_Id; Val : Boolean := True) is
2849 begin
2850 pragma Assert (False
2851 or else NT (N).Nkind = N_Type_Conversion);
2852 Set_Flag14 (N, Val);
2853 end Set_Conversion_OK;
2854
2855 procedure Set_Corresponding_Body
2856 (N : Node_Id; Val : Node_Id) is
2857 begin
2858 pragma Assert (False
2859 or else NT (N).Nkind = N_Generic_Package_Declaration
2860 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2861 or else NT (N).Nkind = N_Package_Body_Stub
2862 or else NT (N).Nkind = N_Package_Declaration
2863 or else NT (N).Nkind = N_Protected_Body_Stub
2864 or else NT (N).Nkind = N_Protected_Type_Declaration
2865 or else NT (N).Nkind = N_Subprogram_Body_Stub
2866 or else NT (N).Nkind = N_Subprogram_Declaration
2867 or else NT (N).Nkind = N_Task_Body_Stub
2868 or else NT (N).Nkind = N_Task_Type_Declaration);
2869 Set_Node5 (N, Val); -- semantic field, no parent set
2870 end Set_Corresponding_Body;
2871
2872 procedure Set_Corresponding_Generic_Association
2873 (N : Node_Id; Val : Node_Id) is
2874 begin
2875 pragma Assert (False
2876 or else NT (N).Nkind = N_Object_Declaration
2877 or else NT (N).Nkind = N_Object_Renaming_Declaration);
2878 Set_Node5 (N, Val); -- semantic field, no parent set
2879 end Set_Corresponding_Generic_Association;
2880 procedure Set_Corresponding_Integer_Value
2881 (N : Node_Id; Val : Uint) is
2882 begin
2883 pragma Assert (False
2884 or else NT (N).Nkind = N_Real_Literal);
2885 Set_Uint4 (N, Val); -- semantic field, no parent set
2886 end Set_Corresponding_Integer_Value;
2887
2888 procedure Set_Corresponding_Spec
2889 (N : Node_Id; Val : Node_Id) is
2890 begin
2891 pragma Assert (False
2892 or else NT (N).Nkind = N_Package_Body
2893 or else NT (N).Nkind = N_Protected_Body
2894 or else NT (N).Nkind = N_Subprogram_Body
2895 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2896 or else NT (N).Nkind = N_Task_Body
2897 or else NT (N).Nkind = N_With_Clause);
2898 Set_Node5 (N, Val); -- semantic field, no parent set
2899 end Set_Corresponding_Spec;
2900
2901 procedure Set_Corresponding_Stub
2902 (N : Node_Id; Val : Node_Id) is
2903 begin
2904 pragma Assert (False
2905 or else NT (N).Nkind = N_Subunit);
2906 Set_Node3 (N, Val);
2907 end Set_Corresponding_Stub;
2908
2909 procedure Set_Dcheck_Function
2910 (N : Node_Id; Val : Entity_Id) is
2911 begin
2912 pragma Assert (False
2913 or else NT (N).Nkind = N_Variant);
2914 Set_Node5 (N, Val); -- semantic field, no parent set
2915 end Set_Dcheck_Function;
2916
2917 procedure Set_Debug_Statement
2918 (N : Node_Id; Val : Node_Id) is
2919 begin
2920 pragma Assert (False
2921 or else NT (N).Nkind = N_Pragma);
2922 Set_Node3_With_Parent (N, Val);
2923 end Set_Debug_Statement;
2924
2925 procedure Set_Declarations
2926 (N : Node_Id; Val : List_Id) is
2927 begin
2928 pragma Assert (False
2929 or else NT (N).Nkind = N_Accept_Statement
2930 or else NT (N).Nkind = N_Block_Statement
2931 or else NT (N).Nkind = N_Compilation_Unit_Aux
2932 or else NT (N).Nkind = N_Entry_Body
2933 or else NT (N).Nkind = N_Package_Body
2934 or else NT (N).Nkind = N_Protected_Body
2935 or else NT (N).Nkind = N_Subprogram_Body
2936 or else NT (N).Nkind = N_Task_Body);
2937 Set_List2_With_Parent (N, Val);
2938 end Set_Declarations;
2939
2940 procedure Set_Default_Expression
2941 (N : Node_Id; Val : Node_Id) is
2942 begin
2943 pragma Assert (False
2944 or else NT (N).Nkind = N_Parameter_Specification);
2945 Set_Node5 (N, Val); -- semantic field, no parent set
2946 end Set_Default_Expression;
2947
2948 procedure Set_Default_Name
2949 (N : Node_Id; Val : Node_Id) is
2950 begin
2951 pragma Assert (False
2952 or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
2953 Set_Node2_With_Parent (N, Val);
2954 end Set_Default_Name;
2955
2956 procedure Set_Defining_Identifier
2957 (N : Node_Id; Val : Entity_Id) is
2958 begin
2959 pragma Assert (False
2960 or else NT (N).Nkind = N_Component_Declaration
2961 or else NT (N).Nkind = N_Defining_Program_Unit_Name
2962 or else NT (N).Nkind = N_Discriminant_Specification
2963 or else NT (N).Nkind = N_Entry_Body
2964 or else NT (N).Nkind = N_Entry_Declaration
2965 or else NT (N).Nkind = N_Entry_Index_Specification
2966 or else NT (N).Nkind = N_Exception_Declaration
2967 or else NT (N).Nkind = N_Exception_Renaming_Declaration
2968 or else NT (N).Nkind = N_Formal_Object_Declaration
2969 or else NT (N).Nkind = N_Formal_Package_Declaration
2970 or else NT (N).Nkind = N_Formal_Type_Declaration
2971 or else NT (N).Nkind = N_Full_Type_Declaration
2972 or else NT (N).Nkind = N_Implicit_Label_Declaration
2973 or else NT (N).Nkind = N_Incomplete_Type_Declaration
2974 or else NT (N).Nkind = N_Loop_Parameter_Specification
2975 or else NT (N).Nkind = N_Number_Declaration
2976 or else NT (N).Nkind = N_Object_Declaration
2977 or else NT (N).Nkind = N_Object_Renaming_Declaration
2978 or else NT (N).Nkind = N_Package_Body_Stub
2979 or else NT (N).Nkind = N_Parameter_Specification
2980 or else NT (N).Nkind = N_Private_Extension_Declaration
2981 or else NT (N).Nkind = N_Private_Type_Declaration
2982 or else NT (N).Nkind = N_Protected_Body
2983 or else NT (N).Nkind = N_Protected_Body_Stub
2984 or else NT (N).Nkind = N_Protected_Type_Declaration
2985 or else NT (N).Nkind = N_Single_Protected_Declaration
2986 or else NT (N).Nkind = N_Single_Task_Declaration
2987 or else NT (N).Nkind = N_Subtype_Declaration
2988 or else NT (N).Nkind = N_Task_Body
2989 or else NT (N).Nkind = N_Task_Body_Stub
2990 or else NT (N).Nkind = N_Task_Type_Declaration);
2991 Set_Node1_With_Parent (N, Val);
2992 end Set_Defining_Identifier;
2993
2994 procedure Set_Defining_Unit_Name
2995 (N : Node_Id; Val : Node_Id) is
2996 begin
2997 pragma Assert (False
2998 or else NT (N).Nkind = N_Function_Instantiation
2999 or else NT (N).Nkind = N_Function_Specification
3000 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3001 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3002 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3003 or else NT (N).Nkind = N_Package_Body
3004 or else NT (N).Nkind = N_Package_Instantiation
3005 or else NT (N).Nkind = N_Package_Renaming_Declaration
3006 or else NT (N).Nkind = N_Package_Specification
3007 or else NT (N).Nkind = N_Procedure_Instantiation
3008 or else NT (N).Nkind = N_Procedure_Specification);
3009 Set_Node1_With_Parent (N, Val);
3010 end Set_Defining_Unit_Name;
3011
3012 procedure Set_Delay_Alternative
3013 (N : Node_Id; Val : Node_Id) is
3014 begin
3015 pragma Assert (False
3016 or else NT (N).Nkind = N_Timed_Entry_Call);
3017 Set_Node4_With_Parent (N, Val);
3018 end Set_Delay_Alternative;
3019
3020 procedure Set_Delay_Finalize_Attach
3021 (N : Node_Id; Val : Boolean := True) is
3022 begin
3023 pragma Assert (False
3024 or else NT (N).Nkind = N_Object_Declaration);
3025 Set_Flag14 (N, Val);
3026 end Set_Delay_Finalize_Attach;
3027
3028 procedure Set_Delay_Statement
3029 (N : Node_Id; Val : Node_Id) is
3030 begin
3031 pragma Assert (False
3032 or else NT (N).Nkind = N_Delay_Alternative);
3033 Set_Node2_With_Parent (N, Val);
3034 end Set_Delay_Statement;
3035
3036 procedure Set_Delta_Expression
3037 (N : Node_Id; Val : Node_Id) is
3038 begin
3039 pragma Assert (False
3040 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3041 or else NT (N).Nkind = N_Delta_Constraint
3042 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3043 Set_Node3_With_Parent (N, Val);
3044 end Set_Delta_Expression;
3045
3046 procedure Set_Digits_Expression
3047 (N : Node_Id; Val : Node_Id) is
3048 begin
3049 pragma Assert (False
3050 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3051 or else NT (N).Nkind = N_Digits_Constraint
3052 or else NT (N).Nkind = N_Floating_Point_Definition);
3053 Set_Node2_With_Parent (N, Val);
3054 end Set_Digits_Expression;
3055
3056 procedure Set_Discr_Check_Funcs_Built
3057 (N : Node_Id; Val : Boolean := True) is
3058 begin
3059 pragma Assert (False
3060 or else NT (N).Nkind = N_Full_Type_Declaration);
3061 Set_Flag11 (N, Val);
3062 end Set_Discr_Check_Funcs_Built;
3063
3064 procedure Set_Discrete_Choices
3065 (N : Node_Id; Val : List_Id) is
3066 begin
3067 pragma Assert (False
3068 or else NT (N).Nkind = N_Case_Statement_Alternative
3069 or else NT (N).Nkind = N_Variant);
3070 Set_List4_With_Parent (N, Val);
3071 end Set_Discrete_Choices;
3072
3073 procedure Set_Discrete_Range
3074 (N : Node_Id; Val : Node_Id) is
3075 begin
3076 pragma Assert (False
3077 or else NT (N).Nkind = N_Slice);
3078 Set_Node4_With_Parent (N, Val);
3079 end Set_Discrete_Range;
3080
3081 procedure Set_Discrete_Subtype_Definition
3082 (N : Node_Id; Val : Node_Id) is
3083 begin
3084 pragma Assert (False
3085 or else NT (N).Nkind = N_Entry_Declaration
3086 or else NT (N).Nkind = N_Entry_Index_Specification
3087 or else NT (N).Nkind = N_Loop_Parameter_Specification);
3088 Set_Node4_With_Parent (N, Val);
3089 end Set_Discrete_Subtype_Definition;
3090
3091 procedure Set_Discrete_Subtype_Definitions
3092 (N : Node_Id; Val : List_Id) is
3093 begin
3094 pragma Assert (False
3095 or else NT (N).Nkind = N_Constrained_Array_Definition);
3096 Set_List2_With_Parent (N, Val);
3097 end Set_Discrete_Subtype_Definitions;
3098
3099 procedure Set_Discriminant_Specifications
3100 (N : Node_Id; Val : List_Id) is
3101 begin
3102 pragma Assert (False
3103 or else NT (N).Nkind = N_Formal_Type_Declaration
3104 or else NT (N).Nkind = N_Full_Type_Declaration
3105 or else NT (N).Nkind = N_Incomplete_Type_Declaration
3106 or else NT (N).Nkind = N_Private_Extension_Declaration
3107 or else NT (N).Nkind = N_Private_Type_Declaration
3108 or else NT (N).Nkind = N_Protected_Type_Declaration
3109 or else NT (N).Nkind = N_Task_Type_Declaration);
3110 Set_List4_With_Parent (N, Val);
3111 end Set_Discriminant_Specifications;
3112
3113 procedure Set_Discriminant_Type
3114 (N : Node_Id; Val : Node_Id) is
3115 begin
3116 pragma Assert (False
3117 or else NT (N).Nkind = N_Discriminant_Specification);
3118 Set_Node5_With_Parent (N, Val);
3119 end Set_Discriminant_Type;
3120
3121 procedure Set_Do_Access_Check
3122 (N : Node_Id; Val : Boolean := True) is
3123 begin
3124 pragma Assert (False
3125 or else NT (N).Nkind = N_Attribute_Reference
3126 or else NT (N).Nkind = N_Explicit_Dereference
3127 or else NT (N).Nkind = N_Indexed_Component
3128 or else NT (N).Nkind = N_Selected_Component
3129 or else NT (N).Nkind = N_Slice);
3130 Set_Flag11 (N, Val);
3131 end Set_Do_Access_Check;
3132
3133 procedure Set_Do_Accessibility_Check
3134 (N : Node_Id; Val : Boolean := True) is
3135 begin
3136 pragma Assert (False
3137 or else NT (N).Nkind = N_Parameter_Specification);
3138 Set_Flag13 (N, Val);
3139 end Set_Do_Accessibility_Check;
3140
3141 procedure Set_Do_Discriminant_Check
3142 (N : Node_Id; Val : Boolean := True) is
3143 begin
3144 pragma Assert (False
3145 or else NT (N).Nkind = N_Selected_Component);
3146 Set_Flag13 (N, Val);
3147 end Set_Do_Discriminant_Check;
3148
3149 procedure Set_Do_Division_Check
3150 (N : Node_Id; Val : Boolean := True) is
3151 begin
3152 pragma Assert (False
3153 or else NT (N).Nkind = N_Op_Divide
3154 or else NT (N).Nkind = N_Op_Mod
3155 or else NT (N).Nkind = N_Op_Rem);
3156 Set_Flag13 (N, Val);
3157 end Set_Do_Division_Check;
3158
3159 procedure Set_Do_Length_Check
3160 (N : Node_Id; Val : Boolean := True) is
3161 begin
3162 pragma Assert (False
3163 or else NT (N).Nkind = N_Assignment_Statement
3164 or else NT (N).Nkind = N_Op_And
3165 or else NT (N).Nkind = N_Op_Or
3166 or else NT (N).Nkind = N_Op_Xor
3167 or else NT (N).Nkind = N_Type_Conversion);
3168 Set_Flag4 (N, Val);
3169 end Set_Do_Length_Check;
3170
3171 procedure Set_Do_Overflow_Check
3172 (N : Node_Id; Val : Boolean := True) is
3173 begin
3174 pragma Assert (False
3175 or else NT (N).Nkind in N_Op
3176 or else NT (N).Nkind = N_Attribute_Reference
3177 or else NT (N).Nkind = N_Type_Conversion);
3178 Set_Flag17 (N, Val);
3179 end Set_Do_Overflow_Check;
3180
3181 procedure Set_Do_Range_Check
3182 (N : Node_Id; Val : Boolean := True) is
3183 begin
3184 pragma Assert (False
3185 or else NT (N).Nkind in N_Subexpr);
3186 Set_Flag9 (N, Val);
3187 end Set_Do_Range_Check;
3188
3189 procedure Set_Do_Storage_Check
3190 (N : Node_Id; Val : Boolean := True) is
3191 begin
3192 pragma Assert (False
3193 or else NT (N).Nkind = N_Allocator
3194 or else NT (N).Nkind = N_Subprogram_Body);
3195 Set_Flag17 (N, Val);
3196 end Set_Do_Storage_Check;
3197
3198 procedure Set_Do_Tag_Check
3199 (N : Node_Id; Val : Boolean := True) is
3200 begin
3201 pragma Assert (False
3202 or else NT (N).Nkind = N_Assignment_Statement
3203 or else NT (N).Nkind = N_Function_Call
3204 or else NT (N).Nkind = N_Procedure_Call_Statement
3205 or else NT (N).Nkind = N_Return_Statement
3206 or else NT (N).Nkind = N_Type_Conversion);
3207 Set_Flag13 (N, Val);
3208 end Set_Do_Tag_Check;
3209
3210 procedure Set_Elaborate_All_Present
3211 (N : Node_Id; Val : Boolean := True) is
3212 begin
3213 pragma Assert (False
3214 or else NT (N).Nkind = N_With_Clause);
3215 Set_Flag15 (N, Val);
3216 end Set_Elaborate_All_Present;
3217
3218 procedure Set_Elaborate_Present
3219 (N : Node_Id; Val : Boolean := True) is
3220 begin
3221 pragma Assert (False
3222 or else NT (N).Nkind = N_With_Clause);
3223 Set_Flag4 (N, Val);
3224 end Set_Elaborate_Present;
3225
3226 procedure Set_Elaboration_Boolean
3227 (N : Node_Id; Val : Node_Id) is
3228 begin
3229 pragma Assert (False
3230 or else NT (N).Nkind = N_Function_Specification
3231 or else NT (N).Nkind = N_Procedure_Specification);
3232 Set_Node2 (N, Val);
3233 end Set_Elaboration_Boolean;
3234
3235 procedure Set_Else_Actions
3236 (N : Node_Id; Val : List_Id) is
3237 begin
3238 pragma Assert (False
3239 or else NT (N).Nkind = N_Conditional_Expression);
3240 Set_List3 (N, Val); -- semantic field, no parent set
3241 end Set_Else_Actions;
3242
3243 procedure Set_Else_Statements
3244 (N : Node_Id; Val : List_Id) is
3245 begin
3246 pragma Assert (False
3247 or else NT (N).Nkind = N_Conditional_Entry_Call
3248 or else NT (N).Nkind = N_If_Statement
3249 or else NT (N).Nkind = N_Selective_Accept);
3250 Set_List4_With_Parent (N, Val);
3251 end Set_Else_Statements;
3252
3253 procedure Set_Elsif_Parts
3254 (N : Node_Id; Val : List_Id) is
3255 begin
3256 pragma Assert (False
3257 or else NT (N).Nkind = N_If_Statement);
3258 Set_List3_With_Parent (N, Val);
3259 end Set_Elsif_Parts;
3260
3261 procedure Set_Enclosing_Variant
3262 (N : Node_Id; Val : Node_Id) is
3263 begin
3264 pragma Assert (False
3265 or else NT (N).Nkind = N_Variant);
3266 Set_Node2 (N, Val); -- semantic field, no parent set
3267 end Set_Enclosing_Variant;
3268
3269 procedure Set_End_Label
3270 (N : Node_Id; Val : Node_Id) is
3271 begin
3272 pragma Assert (False
3273 or else NT (N).Nkind = N_Enumeration_Type_Definition
3274 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3275 or else NT (N).Nkind = N_Loop_Statement
3276 or else NT (N).Nkind = N_Package_Specification
3277 or else NT (N).Nkind = N_Protected_Body
3278 or else NT (N).Nkind = N_Protected_Definition
3279 or else NT (N).Nkind = N_Record_Definition
3280 or else NT (N).Nkind = N_Task_Definition);
3281 Set_Node4_With_Parent (N, Val);
3282 end Set_End_Label;
3283
3284 procedure Set_End_Span
3285 (N : Node_Id; Val : Uint) is
3286 begin
3287 pragma Assert (False
3288 or else NT (N).Nkind = N_Case_Statement
3289 or else NT (N).Nkind = N_If_Statement);
3290 Set_Uint5 (N, Val);
3291 end Set_End_Span;
3292
3293 procedure Set_Entity
3294 (N : Node_Id; Val : Node_Id) is
3295 begin
3296 pragma Assert (False
3297 or else NT (N).Nkind in N_Has_Entity
3298 or else NT (N).Nkind = N_Freeze_Entity);
3299 Set_Node4 (N, Val); -- semantic field, no parent set
3300 end Set_Entity;
3301
3302 procedure Set_Entry_Body_Formal_Part
3303 (N : Node_Id; Val : Node_Id) is
3304 begin
3305 pragma Assert (False
3306 or else NT (N).Nkind = N_Entry_Body);
3307 Set_Node5_With_Parent (N, Val);
3308 end Set_Entry_Body_Formal_Part;
3309
3310 procedure Set_Entry_Call_Alternative
3311 (N : Node_Id; Val : Node_Id) is
3312 begin
3313 pragma Assert (False
3314 or else NT (N).Nkind = N_Conditional_Entry_Call
3315 or else NT (N).Nkind = N_Timed_Entry_Call);
3316 Set_Node1_With_Parent (N, Val);
3317 end Set_Entry_Call_Alternative;
3318
3319 procedure Set_Entry_Call_Statement
3320 (N : Node_Id; Val : Node_Id) is
3321 begin
3322 pragma Assert (False
3323 or else NT (N).Nkind = N_Entry_Call_Alternative);
3324 Set_Node1_With_Parent (N, Val);
3325 end Set_Entry_Call_Statement;
3326
3327 procedure Set_Entry_Direct_Name
3328 (N : Node_Id; Val : Node_Id) is
3329 begin
3330 pragma Assert (False
3331 or else NT (N).Nkind = N_Accept_Statement);
3332 Set_Node1_With_Parent (N, Val);
3333 end Set_Entry_Direct_Name;
3334
3335 procedure Set_Entry_Index
3336 (N : Node_Id; Val : Node_Id) is
3337 begin
3338 pragma Assert (False
3339 or else NT (N).Nkind = N_Accept_Statement);
3340 Set_Node5_With_Parent (N, Val);
3341 end Set_Entry_Index;
3342
3343 procedure Set_Entry_Index_Specification
3344 (N : Node_Id; Val : Node_Id) is
3345 begin
3346 pragma Assert (False
3347 or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3348 Set_Node4_With_Parent (N, Val);
3349 end Set_Entry_Index_Specification;
3350
3351 procedure Set_Etype
3352 (N : Node_Id; Val : Node_Id) is
3353 begin
3354 pragma Assert (False
3355 or else NT (N).Nkind in N_Has_Etype);
3356 Set_Node5 (N, Val); -- semantic field, no parent set
3357 end Set_Etype;
3358
3359 procedure Set_Exception_Choices
3360 (N : Node_Id; Val : List_Id) is
3361 begin
3362 pragma Assert (False
3363 or else NT (N).Nkind = N_Exception_Handler);
3364 Set_List4_With_Parent (N, Val);
3365 end Set_Exception_Choices;
3366
3367 procedure Set_Exception_Handlers
3368 (N : Node_Id; Val : List_Id) is
3369 begin
3370 pragma Assert (False
3371 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3372 Set_List5_With_Parent (N, Val);
3373 end Set_Exception_Handlers;
3374
3375 procedure Set_Exception_Junk
3376 (N : Node_Id; Val : Boolean := True) is
3377 begin
3378 pragma Assert (False
3379 or else NT (N).Nkind = N_Goto_Statement
3380 or else NT (N).Nkind = N_Label
3381 or else NT (N).Nkind = N_Object_Declaration
3382 or else NT (N).Nkind = N_Subtype_Declaration);
3383 Set_Flag11 (N, Val);
3384 end Set_Exception_Junk;
3385
3386 procedure Set_Expansion_Delayed
3387 (N : Node_Id; Val : Boolean := True) is
3388 begin
3389 pragma Assert (False
3390 or else NT (N).Nkind = N_Aggregate
3391 or else NT (N).Nkind = N_Extension_Aggregate);
3392 Set_Flag11 (N, Val);
3393 end Set_Expansion_Delayed;
3394
3395 procedure Set_Explicit_Actual_Parameter
3396 (N : Node_Id; Val : Node_Id) is
3397 begin
3398 pragma Assert (False
3399 or else NT (N).Nkind = N_Parameter_Association);
3400 Set_Node3_With_Parent (N, Val);
3401 end Set_Explicit_Actual_Parameter;
3402
3403 procedure Set_Explicit_Generic_Actual_Parameter
3404 (N : Node_Id; Val : Node_Id) is
3405 begin
3406 pragma Assert (False
3407 or else NT (N).Nkind = N_Generic_Association);
3408 Set_Node1_With_Parent (N, Val);
3409 end Set_Explicit_Generic_Actual_Parameter;
3410
3411 procedure Set_Expression
3412 (N : Node_Id; Val : Node_Id) is
3413 begin
3414 pragma Assert (False
3415 or else NT (N).Nkind = N_Allocator
3416 or else NT (N).Nkind = N_Assignment_Statement
3417 or else NT (N).Nkind = N_At_Clause
3418 or else NT (N).Nkind = N_Attribute_Definition_Clause
3419 or else NT (N).Nkind = N_Case_Statement
3420 or else NT (N).Nkind = N_Code_Statement
3421 or else NT (N).Nkind = N_Component_Association
3422 or else NT (N).Nkind = N_Component_Declaration
3423 or else NT (N).Nkind = N_Delay_Relative_Statement
3424 or else NT (N).Nkind = N_Delay_Until_Statement
3425 or else NT (N).Nkind = N_Discriminant_Association
3426 or else NT (N).Nkind = N_Discriminant_Specification
3427 or else NT (N).Nkind = N_Exception_Declaration
3428 or else NT (N).Nkind = N_Formal_Object_Declaration
3429 or else NT (N).Nkind = N_Free_Statement
3430 or else NT (N).Nkind = N_Mod_Clause
3431 or else NT (N).Nkind = N_Modular_Type_Definition
3432 or else NT (N).Nkind = N_Number_Declaration
3433 or else NT (N).Nkind = N_Object_Declaration
3434 or else NT (N).Nkind = N_Parameter_Specification
3435 or else NT (N).Nkind = N_Pragma_Argument_Association
3436 or else NT (N).Nkind = N_Qualified_Expression
3437 or else NT (N).Nkind = N_Return_Statement
3438 or else NT (N).Nkind = N_Type_Conversion
3439 or else NT (N).Nkind = N_Unchecked_Expression
3440 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3441 Set_Node3_With_Parent (N, Val);
3442 end Set_Expression;
3443
3444 procedure Set_Expressions
3445 (N : Node_Id; Val : List_Id) is
3446 begin
3447 pragma Assert (False
3448 or else NT (N).Nkind = N_Aggregate
3449 or else NT (N).Nkind = N_Attribute_Reference
3450 or else NT (N).Nkind = N_Conditional_Expression
3451 or else NT (N).Nkind = N_Extension_Aggregate
3452 or else NT (N).Nkind = N_Indexed_Component);
3453 Set_List1_With_Parent (N, Val);
3454 end Set_Expressions;
3455
3456 procedure Set_First_Bit
3457 (N : Node_Id; Val : Node_Id) is
3458 begin
3459 pragma Assert (False
3460 or else NT (N).Nkind = N_Component_Clause);
3461 Set_Node3_With_Parent (N, Val);
3462 end Set_First_Bit;
3463
3464 procedure Set_First_Inlined_Subprogram
3465 (N : Node_Id; Val : Entity_Id) is
3466 begin
3467 pragma Assert (False
3468 or else NT (N).Nkind = N_Compilation_Unit);
3469 Set_Node3 (N, Val); -- semantic field, no parent set
3470 end Set_First_Inlined_Subprogram;
3471
3472 procedure Set_First_Name
3473 (N : Node_Id; Val : Boolean := True) is
3474 begin
3475 pragma Assert (False
3476 or else NT (N).Nkind = N_With_Clause);
3477 Set_Flag5 (N, Val);
3478 end Set_First_Name;
3479
3480 procedure Set_First_Named_Actual
3481 (N : Node_Id; Val : Node_Id) is
3482 begin
3483 pragma Assert (False
3484 or else NT (N).Nkind = N_Entry_Call_Statement
3485 or else NT (N).Nkind = N_Function_Call
3486 or else NT (N).Nkind = N_Procedure_Call_Statement);
3487 Set_Node4 (N, Val); -- semantic field, no parent set
3488 end Set_First_Named_Actual;
3489
3490 procedure Set_First_Real_Statement
3491 (N : Node_Id; Val : Node_Id) is
3492 begin
3493 pragma Assert (False
3494 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3495 Set_Node2 (N, Val); -- semantic field, no parent set
3496 end Set_First_Real_Statement;
3497
3498 procedure Set_First_Subtype_Link
3499 (N : Node_Id; Val : Entity_Id) is
3500 begin
3501 pragma Assert (False
3502 or else NT (N).Nkind = N_Freeze_Entity);
3503 Set_Node5 (N, Val); -- semantic field, no parent set
3504 end Set_First_Subtype_Link;
3505
3506 procedure Set_Float_Truncate
3507 (N : Node_Id; Val : Boolean := True) is
3508 begin
3509 pragma Assert (False
3510 or else NT (N).Nkind = N_Type_Conversion);
3511 Set_Flag11 (N, Val);
3512 end Set_Float_Truncate;
3513
3514 procedure Set_Formal_Type_Definition
3515 (N : Node_Id; Val : Node_Id) is
3516 begin
3517 pragma Assert (False
3518 or else NT (N).Nkind = N_Formal_Type_Declaration);
3519 Set_Node3_With_Parent (N, Val);
3520 end Set_Formal_Type_Definition;
3521
3522 procedure Set_Forwards_OK
3523 (N : Node_Id; Val : Boolean := True) is
3524 begin
3525 pragma Assert (False
3526 or else NT (N).Nkind = N_Assignment_Statement);
3527 Set_Flag5 (N, Val);
3528 end Set_Forwards_OK;
3529
3530 procedure Set_From_At_Mod
3531 (N : Node_Id; Val : Boolean := True) is
3532 begin
3533 pragma Assert (False
3534 or else NT (N).Nkind = N_Attribute_Definition_Clause);
3535 Set_Flag4 (N, Val);
3536 end Set_From_At_Mod;
3537
3538 procedure Set_Generic_Associations
3539 (N : Node_Id; Val : List_Id) is
3540 begin
3541 pragma Assert (False
3542 or else NT (N).Nkind = N_Formal_Package_Declaration
3543 or else NT (N).Nkind = N_Function_Instantiation
3544 or else NT (N).Nkind = N_Package_Instantiation
3545 or else NT (N).Nkind = N_Procedure_Instantiation);
3546 Set_List3_With_Parent (N, Val);
3547 end Set_Generic_Associations;
3548
3549 procedure Set_Generic_Formal_Declarations
3550 (N : Node_Id; Val : List_Id) is
3551 begin
3552 pragma Assert (False
3553 or else NT (N).Nkind = N_Generic_Package_Declaration
3554 or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
3555 Set_List2_With_Parent (N, Val);
3556 end Set_Generic_Formal_Declarations;
3557
3558 procedure Set_Generic_Parent
3559 (N : Node_Id; Val : Node_Id) is
3560 begin
3561 pragma Assert (False
3562 or else NT (N).Nkind = N_Function_Specification
3563 or else NT (N).Nkind = N_Package_Specification
3564 or else NT (N).Nkind = N_Procedure_Specification);
3565 Set_Node5 (N, Val);
3566 end Set_Generic_Parent;
3567
3568 procedure Set_Generic_Parent_Type
3569 (N : Node_Id; Val : Node_Id) is
3570 begin
3571 pragma Assert (False
3572 or else NT (N).Nkind = N_Subtype_Declaration);
3573 Set_Node4 (N, Val);
3574 end Set_Generic_Parent_Type;
3575
3576 procedure Set_Handled_Statement_Sequence
3577 (N : Node_Id; Val : Node_Id) is
3578 begin
3579 pragma Assert (False
3580 or else NT (N).Nkind = N_Accept_Statement
3581 or else NT (N).Nkind = N_Block_Statement
3582 or else NT (N).Nkind = N_Entry_Body
3583 or else NT (N).Nkind = N_Package_Body
3584 or else NT (N).Nkind = N_Subprogram_Body
3585 or else NT (N).Nkind = N_Task_Body);
3586 Set_Node4_With_Parent (N, Val);
3587 end Set_Handled_Statement_Sequence;
3588
3589 procedure Set_Handler_List_Entry
3590 (N : Node_Id; Val : Node_Id) is
3591 begin
3592 pragma Assert (False
3593 or else NT (N).Nkind = N_Object_Declaration);
3594 Set_Node2 (N, Val);
3595 end Set_Handler_List_Entry;
3596
3597 procedure Set_Has_Created_Identifier
3598 (N : Node_Id; Val : Boolean := True) is
3599 begin
3600 pragma Assert (False
3601 or else NT (N).Nkind = N_Block_Statement
3602 or else NT (N).Nkind = N_Loop_Statement);
3603 Set_Flag15 (N, Val);
3604 end Set_Has_Created_Identifier;
3605
3606 procedure Set_Has_Dynamic_Length_Check
3607 (N : Node_Id; Val : Boolean := True) is
3608 begin
3609 Set_Flag10 (N, Val);
3610 end Set_Has_Dynamic_Length_Check;
3611
3612 procedure Set_Has_Dynamic_Range_Check
3613 (N : Node_Id; Val : Boolean := True) is
3614 begin
3615 Set_Flag12 (N, Val);
3616 end Set_Has_Dynamic_Range_Check;
3617
3618 procedure Set_Has_No_Elaboration_Code
3619 (N : Node_Id; Val : Boolean := True) is
3620 begin
3621 pragma Assert (False
3622 or else NT (N).Nkind = N_Compilation_Unit);
3623 Set_Flag17 (N, Val);
3624 end Set_Has_No_Elaboration_Code;
3625
3626 procedure Set_Has_Priority_Pragma
3627 (N : Node_Id; Val : Boolean := True) is
3628 begin
3629 pragma Assert (False
3630 or else NT (N).Nkind = N_Protected_Definition
3631 or else NT (N).Nkind = N_Subprogram_Body
3632 or else NT (N).Nkind = N_Task_Definition);
3633 Set_Flag6 (N, Val);
3634 end Set_Has_Priority_Pragma;
3635
3636 procedure Set_Has_Private_View
3637 (N : Node_Id; Val : Boolean := True) is
3638 begin
3639 pragma Assert (False
3640 or else NT (N).Nkind in N_Op
3641 or else NT (N).Nkind = N_Character_Literal
3642 or else NT (N).Nkind = N_Expanded_Name
3643 or else NT (N).Nkind = N_Identifier
3644 or else NT (N).Nkind = N_Operator_Symbol);
3645 Set_Flag11 (N, Val);
3646 end Set_Has_Private_View;
3647
3648 procedure Set_Has_Storage_Size_Pragma
3649 (N : Node_Id; Val : Boolean := True) is
3650 begin
3651 pragma Assert (False
3652 or else NT (N).Nkind = N_Task_Definition);
3653 Set_Flag5 (N, Val);
3654 end Set_Has_Storage_Size_Pragma;
3655
3656 procedure Set_Has_Task_Info_Pragma
3657 (N : Node_Id; Val : Boolean := True) is
3658 begin
3659 pragma Assert (False
3660 or else NT (N).Nkind = N_Task_Definition);
3661 Set_Flag7 (N, Val);
3662 end Set_Has_Task_Info_Pragma;
3663
3664 procedure Set_Has_Task_Name_Pragma
3665 (N : Node_Id; Val : Boolean := True) is
3666 begin
3667 pragma Assert (False
3668 or else NT (N).Nkind = N_Task_Definition);
3669 Set_Flag8 (N, Val);
3670 end Set_Has_Task_Name_Pragma;
3671
3672 procedure Set_Has_Wide_Character
3673 (N : Node_Id; Val : Boolean := True) is
3674 begin
3675 pragma Assert (False
3676 or else NT (N).Nkind = N_String_Literal);
3677 Set_Flag11 (N, Val);
3678 end Set_Has_Wide_Character;
3679
3680 procedure Set_Hidden_By_Use_Clause
3681 (N : Node_Id; Val : Elist_Id) is
3682 begin
3683 pragma Assert (False
3684 or else NT (N).Nkind = N_Use_Package_Clause
3685 or else NT (N).Nkind = N_Use_Type_Clause);
3686 Set_Elist4 (N, Val);
3687 end Set_Hidden_By_Use_Clause;
3688
3689 procedure Set_High_Bound
3690 (N : Node_Id; Val : Node_Id) is
3691 begin
3692 pragma Assert (False
3693 or else NT (N).Nkind = N_Range
3694 or else NT (N).Nkind = N_Real_Range_Specification
3695 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3696 Set_Node2_With_Parent (N, Val);
3697 end Set_High_Bound;
3698
3699 procedure Set_Identifier
3700 (N : Node_Id; Val : Node_Id) is
3701 begin
3702 pragma Assert (False
3703 or else NT (N).Nkind = N_At_Clause
3704 or else NT (N).Nkind = N_Block_Statement
3705 or else NT (N).Nkind = N_Designator
3706 or else NT (N).Nkind = N_Enumeration_Representation_Clause
3707 or else NT (N).Nkind = N_Label
3708 or else NT (N).Nkind = N_Loop_Statement
3709 or else NT (N).Nkind = N_Record_Representation_Clause
3710 or else NT (N).Nkind = N_Subprogram_Info);
3711 Set_Node1_With_Parent (N, Val);
3712 end Set_Identifier;
3713
3714 procedure Set_Implicit_With
3715 (N : Node_Id; Val : Boolean := True) is
3716 begin
3717 pragma Assert (False
3718 or else NT (N).Nkind = N_With_Clause);
3719 Set_Flag17 (N, Val);
3720 end Set_Implicit_With;
3721
3722 procedure Set_In_Present
3723 (N : Node_Id; Val : Boolean := True) is
3724 begin
3725 pragma Assert (False
3726 or else NT (N).Nkind = N_Formal_Object_Declaration
3727 or else NT (N).Nkind = N_Parameter_Specification);
3728 Set_Flag15 (N, Val);
3729 end Set_In_Present;
3730
3731 procedure Set_Includes_Infinities
3732 (N : Node_Id; Val : Boolean := True) is
3733 begin
3734 pragma Assert (False
3735 or else NT (N).Nkind = N_Range);
3736 Set_Flag11 (N, Val);
3737 end Set_Includes_Infinities;
3738
3739 procedure Set_Instance_Spec
3740 (N : Node_Id; Val : Node_Id) is
3741 begin
3742 pragma Assert (False
3743 or else NT (N).Nkind = N_Formal_Package_Declaration
3744 or else NT (N).Nkind = N_Function_Instantiation
3745 or else NT (N).Nkind = N_Package_Instantiation
3746 or else NT (N).Nkind = N_Procedure_Instantiation);
3747 Set_Node5 (N, Val); -- semantic field, no Parent set
3748 end Set_Instance_Spec;
3749
3750 procedure Set_Intval
3751 (N : Node_Id; Val : Uint) is
3752 begin
3753 pragma Assert (False
3754 or else NT (N).Nkind = N_Integer_Literal);
3755 Set_Uint3 (N, Val);
3756 end Set_Intval;
3757
3758 procedure Set_Is_Asynchronous_Call_Block
3759 (N : Node_Id; Val : Boolean := True) is
3760 begin
3761 pragma Assert (False
3762 or else NT (N).Nkind = N_Block_Statement);
3763 Set_Flag7 (N, Val);
3764 end Set_Is_Asynchronous_Call_Block;
3765
3766 procedure Set_Is_Component_Left_Opnd
3767 (N : Node_Id; Val : Boolean := True) is
3768 begin
3769 pragma Assert (False
3770 or else NT (N).Nkind = N_Op_Concat);
3771 Set_Flag13 (N, Val);
3772 end Set_Is_Component_Left_Opnd;
3773
3774 procedure Set_Is_Component_Right_Opnd
3775 (N : Node_Id; Val : Boolean := True) is
3776 begin
3777 pragma Assert (False
3778 or else NT (N).Nkind = N_Op_Concat);
3779 Set_Flag14 (N, Val);
3780 end Set_Is_Component_Right_Opnd;
3781
3782 procedure Set_Is_Controlling_Actual
3783 (N : Node_Id; Val : Boolean := True) is
3784 begin
3785 pragma Assert (False
3786 or else NT (N).Nkind in N_Subexpr);
3787 Set_Flag16 (N, Val);
3788 end Set_Is_Controlling_Actual;
3789
3790 procedure Set_Is_Machine_Number
3791 (N : Node_Id; Val : Boolean := True) is
3792 begin
3793 pragma Assert (False
3794 or else NT (N).Nkind = N_Real_Literal);
3795 Set_Flag11 (N, Val);
3796 end Set_Is_Machine_Number;
3797
3798 procedure Set_Is_Overloaded
3799 (N : Node_Id; Val : Boolean := True) is
3800 begin
3801 pragma Assert (False
3802 or else NT (N).Nkind in N_Subexpr);
3803 Set_Flag5 (N, Val);
3804 end Set_Is_Overloaded;
3805
3806 procedure Set_Is_Power_Of_2_For_Shift
3807 (N : Node_Id; Val : Boolean := True) is
3808 begin
3809 pragma Assert (False
3810 or else NT (N).Nkind = N_Op_Expon);
3811 Set_Flag13 (N, Val);
3812 end Set_Is_Power_Of_2_For_Shift;
3813
3814 procedure Set_Is_Protected_Subprogram_Body
3815 (N : Node_Id; Val : Boolean := True) is
3816 begin
3817 pragma Assert (False
3818 or else NT (N).Nkind = N_Subprogram_Body);
3819 Set_Flag7 (N, Val);
3820 end Set_Is_Protected_Subprogram_Body;
3821
3822 procedure Set_Is_Static_Expression
3823 (N : Node_Id; Val : Boolean := True) is
3824 begin
3825 pragma Assert (False
3826 or else NT (N).Nkind in N_Subexpr);
3827 Set_Flag6 (N, Val);
3828 end Set_Is_Static_Expression;
3829
3830 procedure Set_Is_Subprogram_Descriptor
3831 (N : Node_Id; Val : Boolean := True) is
3832 begin
3833 pragma Assert (False
3834 or else NT (N).Nkind = N_Object_Declaration);
3835 Set_Flag16 (N, Val);
3836 end Set_Is_Subprogram_Descriptor;
3837
3838 procedure Set_Is_Task_Allocation_Block
3839 (N : Node_Id; Val : Boolean := True) is
3840 begin
3841 pragma Assert (False
3842 or else NT (N).Nkind = N_Block_Statement);
3843 Set_Flag6 (N, Val);
3844 end Set_Is_Task_Allocation_Block;
3845
3846 procedure Set_Is_Task_Master
3847 (N : Node_Id; Val : Boolean := True) is
3848 begin
3849 pragma Assert (False
3850 or else NT (N).Nkind = N_Block_Statement
3851 or else NT (N).Nkind = N_Subprogram_Body
3852 or else NT (N).Nkind = N_Task_Body);
3853 Set_Flag5 (N, Val);
3854 end Set_Is_Task_Master;
3855
3856 procedure Set_Iteration_Scheme
3857 (N : Node_Id; Val : Node_Id) is
3858 begin
3859 pragma Assert (False
3860 or else NT (N).Nkind = N_Loop_Statement);
3861 Set_Node2_With_Parent (N, Val);
3862 end Set_Iteration_Scheme;
3863
3864 procedure Set_Itype
3865 (N : Node_Id; Val : Entity_Id) is
3866 begin
3867 pragma Assert (False
3868 or else NT (N).Nkind = N_Itype_Reference);
3869 Set_Node1 (N, Val); -- no parent, semantic field
3870 end Set_Itype;
3871
3872 procedure Set_Kill_Range_Check
3873 (N : Node_Id; Val : Boolean := True) is
3874 begin
3875 pragma Assert (False
3876 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3877 Set_Flag11 (N, Val);
3878 end Set_Kill_Range_Check;
3879
3880 procedure Set_Label_Construct
3881 (N : Node_Id; Val : Node_Id) is
3882 begin
3883 pragma Assert (False
3884 or else NT (N).Nkind = N_Implicit_Label_Declaration);
3885 Set_Node2 (N, Val); -- semantic field, no parent set
3886 end Set_Label_Construct;
3887
3888 procedure Set_Last_Bit
3889 (N : Node_Id; Val : Node_Id) is
3890 begin
3891 pragma Assert (False
3892 or else NT (N).Nkind = N_Component_Clause);
3893 Set_Node4_With_Parent (N, Val);
3894 end Set_Last_Bit;
3895
3896 procedure Set_Last_Name
3897 (N : Node_Id; Val : Boolean := True) is
3898 begin
3899 pragma Assert (False
3900 or else NT (N).Nkind = N_With_Clause);
3901 Set_Flag6 (N, Val);
3902 end Set_Last_Name;
3903
3904 procedure Set_Left_Opnd
3905 (N : Node_Id; Val : Node_Id) is
3906 begin
3907 pragma Assert (False
3908 or else NT (N).Nkind = N_And_Then
3909 or else NT (N).Nkind = N_In
3910 or else NT (N).Nkind = N_Not_In
3911 or else NT (N).Nkind = N_Or_Else
3912 or else NT (N).Nkind in N_Binary_Op);
3913 Set_Node2_With_Parent (N, Val);
3914 end Set_Left_Opnd;
3915
3916 procedure Set_Library_Unit
3917 (N : Node_Id; Val : Node_Id) is
3918 begin
3919 pragma Assert (False
3920 or else NT (N).Nkind = N_Compilation_Unit
3921 or else NT (N).Nkind = N_Package_Body_Stub
3922 or else NT (N).Nkind = N_Protected_Body_Stub
3923 or else NT (N).Nkind = N_Subprogram_Body_Stub
3924 or else NT (N).Nkind = N_Task_Body_Stub
3925 or else NT (N).Nkind = N_With_Clause);
3926 Set_Node4 (N, Val); -- semantic field, no parent set
3927 end Set_Library_Unit;
3928
3929 procedure Set_Limited_Present
3930 (N : Node_Id; Val : Boolean := True) is
3931 begin
3932 pragma Assert (False
3933 or else NT (N).Nkind = N_Formal_Private_Type_Definition
3934 or else NT (N).Nkind = N_Private_Type_Declaration
3935 or else NT (N).Nkind = N_Record_Definition);
3936 Set_Flag17 (N, Val);
3937 end Set_Limited_Present;
3938
3939 procedure Set_Literals
3940 (N : Node_Id; Val : List_Id) is
3941 begin
3942 pragma Assert (False
3943 or else NT (N).Nkind = N_Enumeration_Type_Definition);
3944 Set_List1_With_Parent (N, Val);
3945 end Set_Literals;
3946
3947 procedure Set_Loop_Actions
3948 (N : Node_Id; Val : List_Id) is
3949 begin
3950 pragma Assert (False
3951 or else NT (N).Nkind = N_Component_Association);
3952 Set_List2 (N, Val); -- semantic field, no parent set
3953 end Set_Loop_Actions;
3954
3955 procedure Set_Loop_Parameter_Specification
3956 (N : Node_Id; Val : Node_Id) is
3957 begin
3958 pragma Assert (False
3959 or else NT (N).Nkind = N_Iteration_Scheme);
3960 Set_Node4_With_Parent (N, Val);
3961 end Set_Loop_Parameter_Specification;
3962
3963 procedure Set_Low_Bound
3964 (N : Node_Id; Val : Node_Id) is
3965 begin
3966 pragma Assert (False
3967 or else NT (N).Nkind = N_Range
3968 or else NT (N).Nkind = N_Real_Range_Specification
3969 or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3970 Set_Node1_With_Parent (N, Val);
3971 end Set_Low_Bound;
3972
3973 procedure Set_Mod_Clause
3974 (N : Node_Id; Val : Node_Id) is
3975 begin
3976 pragma Assert (False
3977 or else NT (N).Nkind = N_Record_Representation_Clause);
3978 Set_Node2_With_Parent (N, Val);
3979 end Set_Mod_Clause;
3980
3981 procedure Set_More_Ids
3982 (N : Node_Id; Val : Boolean := True) is
3983 begin
3984 pragma Assert (False
3985 or else NT (N).Nkind = N_Component_Declaration
3986 or else NT (N).Nkind = N_Discriminant_Specification
3987 or else NT (N).Nkind = N_Exception_Declaration
3988 or else NT (N).Nkind = N_Formal_Object_Declaration
3989 or else NT (N).Nkind = N_Number_Declaration
3990 or else NT (N).Nkind = N_Object_Declaration
3991 or else NT (N).Nkind = N_Parameter_Specification);
3992 Set_Flag5 (N, Val);
3993 end Set_More_Ids;
3994
3995 procedure Set_Must_Be_Byte_Aligned
3996 (N : Node_Id; Val : Boolean := True) is
3997 begin
3998 pragma Assert (False
3999 or else NT (N).Nkind = N_Attribute_Reference);
4000 Set_Flag14 (N, Val);
4001 end Set_Must_Be_Byte_Aligned;
4002
4003 procedure Set_Must_Not_Freeze
4004 (N : Node_Id; Val : Boolean := True) is
4005 begin
4006 pragma Assert (False
4007 or else NT (N).Nkind = N_Subtype_Indication
4008 or else NT (N).Nkind in N_Subexpr);
4009 Set_Flag8 (N, Val);
4010 end Set_Must_Not_Freeze;
4011
4012 procedure Set_Name
4013 (N : Node_Id; Val : Node_Id) is
4014 begin
4015 pragma Assert (False
4016 or else NT (N).Nkind = N_Assignment_Statement
4017 or else NT (N).Nkind = N_Attribute_Definition_Clause
4018 or else NT (N).Nkind = N_Defining_Program_Unit_Name
4019 or else NT (N).Nkind = N_Designator
4020 or else NT (N).Nkind = N_Entry_Call_Statement
4021 or else NT (N).Nkind = N_Exception_Renaming_Declaration
4022 or else NT (N).Nkind = N_Exit_Statement
4023 or else NT (N).Nkind = N_Formal_Package_Declaration
4024 or else NT (N).Nkind = N_Function_Call
4025 or else NT (N).Nkind = N_Function_Instantiation
4026 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4027 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4028 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4029 or else NT (N).Nkind = N_Goto_Statement
4030 or else NT (N).Nkind = N_Object_Renaming_Declaration
4031 or else NT (N).Nkind = N_Package_Instantiation
4032 or else NT (N).Nkind = N_Package_Renaming_Declaration
4033 or else NT (N).Nkind = N_Procedure_Call_Statement
4034 or else NT (N).Nkind = N_Procedure_Instantiation
4035 or else NT (N).Nkind = N_Raise_Statement
4036 or else NT (N).Nkind = N_Requeue_Statement
4037 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4038 or else NT (N).Nkind = N_Subunit
4039 or else NT (N).Nkind = N_Variant_Part
4040 or else NT (N).Nkind = N_With_Clause
4041 or else NT (N).Nkind = N_With_Type_Clause);
4042 Set_Node2_With_Parent (N, Val);
4043 end Set_Name;
4044
4045 procedure Set_Names
4046 (N : Node_Id; Val : List_Id) is
4047 begin
4048 pragma Assert (False
4049 or else NT (N).Nkind = N_Abort_Statement
4050 or else NT (N).Nkind = N_Use_Package_Clause);
4051 Set_List2_With_Parent (N, Val);
4052 end Set_Names;
4053
4054 procedure Set_Next_Entity
4055 (N : Node_Id; Val : Node_Id) is
4056 begin
4057 pragma Assert (False
4058 or else NT (N).Nkind = N_Defining_Character_Literal
4059 or else NT (N).Nkind = N_Defining_Identifier
4060 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4061 Set_Node2 (N, Val); -- semantic field, no parent set
4062 end Set_Next_Entity;
4063
4064 procedure Set_Next_Named_Actual
4065 (N : Node_Id; Val : Node_Id) is
4066 begin
4067 pragma Assert (False
4068 or else NT (N).Nkind = N_Parameter_Association);
4069 Set_Node4 (N, Val); -- semantic field, no parent set
4070 end Set_Next_Named_Actual;
4071
4072 procedure Set_Next_Rep_Item
4073 (N : Node_Id; Val : Node_Id) is
4074 begin
4075 pragma Assert (False
4076 or else NT (N).Nkind = N_Attribute_Definition_Clause
4077 or else NT (N).Nkind = N_Enumeration_Representation_Clause
4078 or else NT (N).Nkind = N_Pragma
4079 or else NT (N).Nkind = N_Record_Representation_Clause);
4080 Set_Node4 (N, Val); -- semantic field, no parent set
4081 end Set_Next_Rep_Item;
4082
4083 procedure Set_Next_Use_Clause
4084 (N : Node_Id; Val : Node_Id) is
4085 begin
4086 pragma Assert (False
4087 or else NT (N).Nkind = N_Use_Package_Clause
4088 or else NT (N).Nkind = N_Use_Type_Clause);
4089 Set_Node3 (N, Val); -- semantic field, no parent set
4090 end Set_Next_Use_Clause;
4091
4092 procedure Set_No_Ctrl_Actions
4093 (N : Node_Id; Val : Boolean := True) is
4094 begin
4095 pragma Assert (False
4096 or else NT (N).Nkind = N_Assignment_Statement);
4097 Set_Flag7 (N, Val);
4098 end Set_No_Ctrl_Actions;
4099
4100 procedure Set_No_Entities_Ref_In_Spec
4101 (N : Node_Id; Val : Boolean := True) is
4102 begin
4103 pragma Assert (False
4104 or else NT (N).Nkind = N_With_Clause);
4105 Set_Flag8 (N, Val);
4106 end Set_No_Entities_Ref_In_Spec;
4107
4108 procedure Set_No_Initialization
4109 (N : Node_Id; Val : Boolean := True) is
4110 begin
4111 pragma Assert (False
4112 or else NT (N).Nkind = N_Allocator
4113 or else NT (N).Nkind = N_Object_Declaration);
4114 Set_Flag13 (N, Val);
4115 end Set_No_Initialization;
4116
4117 procedure Set_Null_Present
4118 (N : Node_Id; Val : Boolean := True) is
4119 begin
4120 pragma Assert (False
4121 or else NT (N).Nkind = N_Component_List
4122 or else NT (N).Nkind = N_Record_Definition);
4123 Set_Flag13 (N, Val);
4124 end Set_Null_Present;
4125
4126 procedure Set_Null_Record_Present
4127 (N : Node_Id; Val : Boolean := True) is
4128 begin
4129 pragma Assert (False
4130 or else NT (N).Nkind = N_Aggregate
4131 or else NT (N).Nkind = N_Extension_Aggregate);
4132 Set_Flag17 (N, Val);
4133 end Set_Null_Record_Present;
4134
4135 procedure Set_Object_Definition
4136 (N : Node_Id; Val : Node_Id) is
4137 begin
4138 pragma Assert (False
4139 or else NT (N).Nkind = N_Object_Declaration);
4140 Set_Node4_With_Parent (N, Val);
4141 end Set_Object_Definition;
4142
4143 procedure Set_OK_For_Stream
4144 (N : Node_Id; Val : Boolean := True) is
4145 begin
4146 pragma Assert (False
4147 or else NT (N).Nkind = N_Attribute_Reference);
4148 Set_Flag4 (N, Val);
4149 end Set_OK_For_Stream;
4150
4151 procedure Set_Original_Discriminant
4152 (N : Node_Id; Val : Node_Id) is
4153 begin
4154 pragma Assert (False
4155 or else NT (N).Nkind = N_Identifier);
4156 Set_Node2 (N, Val); -- semantic field, no parent set
4157 end Set_Original_Discriminant;
4158
4159 procedure Set_Others_Discrete_Choices
4160 (N : Node_Id; Val : List_Id) is
4161 begin
4162 pragma Assert (False
4163 or else NT (N).Nkind = N_Others_Choice);
4164 Set_List1_With_Parent (N, Val);
4165 end Set_Others_Discrete_Choices;
4166
4167 procedure Set_Out_Present
4168 (N : Node_Id; Val : Boolean := True) is
4169 begin
4170 pragma Assert (False
4171 or else NT (N).Nkind = N_Formal_Object_Declaration
4172 or else NT (N).Nkind = N_Parameter_Specification);
4173 Set_Flag17 (N, Val);
4174 end Set_Out_Present;
4175
4176 procedure Set_Parameter_Associations
4177 (N : Node_Id; Val : List_Id) is
4178 begin
4179 pragma Assert (False
4180 or else NT (N).Nkind = N_Entry_Call_Statement
4181 or else NT (N).Nkind = N_Function_Call
4182 or else NT (N).Nkind = N_Procedure_Call_Statement);
4183 Set_List3_With_Parent (N, Val);
4184 end Set_Parameter_Associations;
4185
4186 procedure Set_Parameter_List_Truncated
4187 (N : Node_Id; Val : Boolean := True) is
4188 begin
4189 pragma Assert (False
4190 or else NT (N).Nkind = N_Function_Call
4191 or else NT (N).Nkind = N_Procedure_Call_Statement);
4192 Set_Flag17 (N, Val);
4193 end Set_Parameter_List_Truncated;
4194
4195 procedure Set_Parameter_Specifications
4196 (N : Node_Id; Val : List_Id) is
4197 begin
4198 pragma Assert (False
4199 or else NT (N).Nkind = N_Accept_Statement
4200 or else NT (N).Nkind = N_Access_Function_Definition
4201 or else NT (N).Nkind = N_Access_Procedure_Definition
4202 or else NT (N).Nkind = N_Entry_Body_Formal_Part
4203 or else NT (N).Nkind = N_Entry_Declaration
4204 or else NT (N).Nkind = N_Function_Specification
4205 or else NT (N).Nkind = N_Procedure_Specification);
4206 Set_List3_With_Parent (N, Val);
4207 end Set_Parameter_Specifications;
4208
4209 procedure Set_Parameter_Type
4210 (N : Node_Id; Val : Node_Id) is
4211 begin
4212 pragma Assert (False
4213 or else NT (N).Nkind = N_Parameter_Specification);
4214 Set_Node2_With_Parent (N, Val);
4215 end Set_Parameter_Type;
4216
4217 procedure Set_Parent_Spec
4218 (N : Node_Id; Val : Node_Id) is
4219 begin
4220 pragma Assert (False
4221 or else NT (N).Nkind = N_Function_Instantiation
4222 or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4223 or else NT (N).Nkind = N_Generic_Package_Declaration
4224 or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4225 or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4226 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4227 or else NT (N).Nkind = N_Package_Declaration
4228 or else NT (N).Nkind = N_Package_Instantiation
4229 or else NT (N).Nkind = N_Package_Renaming_Declaration
4230 or else NT (N).Nkind = N_Procedure_Instantiation
4231 or else NT (N).Nkind = N_Subprogram_Declaration
4232 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4233 Set_Node4 (N, Val); -- semantic field, no parent set
4234 end Set_Parent_Spec;
4235
4236 procedure Set_Position
4237 (N : Node_Id; Val : Node_Id) is
4238 begin
4239 pragma Assert (False
4240 or else NT (N).Nkind = N_Component_Clause);
4241 Set_Node2_With_Parent (N, Val);
4242 end Set_Position;
4243
4244 procedure Set_Pragma_Argument_Associations
4245 (N : Node_Id; Val : List_Id) is
4246 begin
4247 pragma Assert (False
4248 or else NT (N).Nkind = N_Pragma);
4249 Set_List2_With_Parent (N, Val);
4250 end Set_Pragma_Argument_Associations;
4251
4252 procedure Set_Pragmas_After
4253 (N : Node_Id; Val : List_Id) is
4254 begin
4255 pragma Assert (False
4256 or else NT (N).Nkind = N_Compilation_Unit_Aux
4257 or else NT (N).Nkind = N_Terminate_Alternative);
4258 Set_List5_With_Parent (N, Val);
4259 end Set_Pragmas_After;
4260
4261 procedure Set_Pragmas_Before
4262 (N : Node_Id; Val : List_Id) is
4263 begin
4264 pragma Assert (False
4265 or else NT (N).Nkind = N_Accept_Alternative
4266 or else NT (N).Nkind = N_Delay_Alternative
4267 or else NT (N).Nkind = N_Entry_Call_Alternative
4268 or else NT (N).Nkind = N_Mod_Clause
4269 or else NT (N).Nkind = N_Terminate_Alternative
4270 or else NT (N).Nkind = N_Triggering_Alternative);
4271 Set_List4_With_Parent (N, Val);
4272 end Set_Pragmas_Before;
4273
4274 procedure Set_Prefix
4275 (N : Node_Id; Val : Node_Id) is
4276 begin
4277 pragma Assert (False
4278 or else NT (N).Nkind = N_Attribute_Reference
4279 or else NT (N).Nkind = N_Expanded_Name
4280 or else NT (N).Nkind = N_Explicit_Dereference
4281 or else NT (N).Nkind = N_Indexed_Component
4282 or else NT (N).Nkind = N_Reference
4283 or else NT (N).Nkind = N_Selected_Component
4284 or else NT (N).Nkind = N_Slice);
4285 Set_Node3_With_Parent (N, Val);
4286 end Set_Prefix;
4287
4288 procedure Set_Present_Expr
4289 (N : Node_Id; Val : Uint) is
4290 begin
4291 pragma Assert (False
4292 or else NT (N).Nkind = N_Variant);
4293 Set_Uint3 (N, Val);
4294 end Set_Present_Expr;
4295
4296 procedure Set_Prev_Ids
4297 (N : Node_Id; Val : Boolean := True) is
4298 begin
4299 pragma Assert (False
4300 or else NT (N).Nkind = N_Component_Declaration
4301 or else NT (N).Nkind = N_Discriminant_Specification
4302 or else NT (N).Nkind = N_Exception_Declaration
4303 or else NT (N).Nkind = N_Formal_Object_Declaration
4304 or else NT (N).Nkind = N_Number_Declaration
4305 or else NT (N).Nkind = N_Object_Declaration
4306 or else NT (N).Nkind = N_Parameter_Specification);
4307 Set_Flag6 (N, Val);
4308 end Set_Prev_Ids;
4309
4310 procedure Set_Print_In_Hex
4311 (N : Node_Id; Val : Boolean := True) is
4312 begin
4313 pragma Assert (False
4314 or else NT (N).Nkind = N_Integer_Literal);
4315 Set_Flag13 (N, Val);
4316 end Set_Print_In_Hex;
4317
4318 procedure Set_Private_Declarations
4319 (N : Node_Id; Val : List_Id) is
4320 begin
4321 pragma Assert (False
4322 or else NT (N).Nkind = N_Package_Specification
4323 or else NT (N).Nkind = N_Protected_Definition
4324 or else NT (N).Nkind = N_Task_Definition);
4325 Set_List3_With_Parent (N, Val);
4326 end Set_Private_Declarations;
4327
4328 procedure Set_Private_Present
4329 (N : Node_Id; Val : Boolean := True) is
4330 begin
4331 pragma Assert (False
4332 or else NT (N).Nkind = N_Compilation_Unit
4333 or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
4334 Set_Flag15 (N, Val);
4335 end Set_Private_Present;
4336
4337 procedure Set_Procedure_To_Call
4338 (N : Node_Id; Val : Node_Id) is
4339 begin
4340 pragma Assert (False
4341 or else NT (N).Nkind = N_Allocator
4342 or else NT (N).Nkind = N_Free_Statement
4343 or else NT (N).Nkind = N_Return_Statement);
4344 Set_Node4 (N, Val); -- semantic field, no parent set
4345 end Set_Procedure_To_Call;
4346
4347 procedure Set_Proper_Body
4348 (N : Node_Id; Val : Node_Id) is
4349 begin
4350 pragma Assert (False
4351 or else NT (N).Nkind = N_Subunit);
4352 Set_Node1_With_Parent (N, Val);
4353 end Set_Proper_Body;
4354
4355 procedure Set_Protected_Definition
4356 (N : Node_Id; Val : Node_Id) is
4357 begin
4358 pragma Assert (False
4359 or else NT (N).Nkind = N_Protected_Type_Declaration
4360 or else NT (N).Nkind = N_Single_Protected_Declaration);
4361 Set_Node3_With_Parent (N, Val);
4362 end Set_Protected_Definition;
4363
4364 procedure Set_Protected_Present
4365 (N : Node_Id; Val : Boolean := True) is
4366 begin
4367 pragma Assert (False
4368 or else NT (N).Nkind = N_Access_Function_Definition
4369 or else NT (N).Nkind = N_Access_Procedure_Definition);
4370 Set_Flag15 (N, Val);
4371 end Set_Protected_Present;
4372
4373 procedure Set_Raises_Constraint_Error
4374 (N : Node_Id; Val : Boolean := True) is
4375 begin
4376 pragma Assert (False
4377 or else NT (N).Nkind in N_Subexpr);
4378 Set_Flag7 (N, Val);
4379 end Set_Raises_Constraint_Error;
4380
4381 procedure Set_Range_Constraint
4382 (N : Node_Id; Val : Node_Id) is
4383 begin
4384 pragma Assert (False
4385 or else NT (N).Nkind = N_Delta_Constraint
4386 or else NT (N).Nkind = N_Digits_Constraint);
4387 Set_Node4_With_Parent (N, Val);
4388 end Set_Range_Constraint;
4389
4390 procedure Set_Range_Expression
4391 (N : Node_Id; Val : Node_Id) is
4392 begin
4393 pragma Assert (False
4394 or else NT (N).Nkind = N_Range_Constraint);
4395 Set_Node4_With_Parent (N, Val);
4396 end Set_Range_Expression;
4397
4398 procedure Set_Real_Range_Specification
4399 (N : Node_Id; Val : Node_Id) is
4400 begin
4401 pragma Assert (False
4402 or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4403 or else NT (N).Nkind = N_Floating_Point_Definition
4404 or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4405 Set_Node4_With_Parent (N, Val);
4406 end Set_Real_Range_Specification;
4407
4408 procedure Set_Realval
4409 (N : Node_Id; Val : Ureal) is
4410 begin
4411 pragma Assert (False
4412 or else NT (N).Nkind = N_Real_Literal);
4413 Set_Ureal3 (N, Val);
4414 end Set_Realval;
4415
4416 procedure Set_Reason
4417 (N : Node_Id; Val : Uint) is
4418 begin
4419 pragma Assert (False
4420 or else NT (N).Nkind = N_Raise_Constraint_Error
4421 or else NT (N).Nkind = N_Raise_Program_Error
4422 or else NT (N).Nkind = N_Raise_Storage_Error);
4423 Set_Uint3 (N, Val);
4424 end Set_Reason;
4425
4426 procedure Set_Record_Extension_Part
4427 (N : Node_Id; Val : Node_Id) is
4428 begin
4429 pragma Assert (False
4430 or else NT (N).Nkind = N_Derived_Type_Definition);
4431 Set_Node3_With_Parent (N, Val);
4432 end Set_Record_Extension_Part;
4433
4434 procedure Set_Redundant_Use
4435 (N : Node_Id; Val : Boolean := True) is
4436 begin
4437 pragma Assert (False
4438 or else NT (N).Nkind = N_Attribute_Reference
4439 or else NT (N).Nkind = N_Expanded_Name
4440 or else NT (N).Nkind = N_Identifier);
4441 Set_Flag13 (N, Val);
4442 end Set_Redundant_Use;
4443
4444 procedure Set_Return_Type
4445 (N : Node_Id; Val : Node_Id) is
4446 begin
4447 pragma Assert (False
4448 or else NT (N).Nkind = N_Return_Statement);
4449 Set_Node2 (N, Val); -- semantic field, no parent set
4450 end Set_Return_Type;
4451
4452 procedure Set_Reverse_Present
4453 (N : Node_Id; Val : Boolean := True) is
4454 begin
4455 pragma Assert (False
4456 or else NT (N).Nkind = N_Loop_Parameter_Specification);
4457 Set_Flag15 (N, Val);
4458 end Set_Reverse_Present;
4459
4460 procedure Set_Right_Opnd
4461 (N : Node_Id; Val : Node_Id) is
4462 begin
4463 pragma Assert (False
4464 or else NT (N).Nkind in N_Op
4465 or else NT (N).Nkind = N_And_Then
4466 or else NT (N).Nkind = N_In
4467 or else NT (N).Nkind = N_Not_In
4468 or else NT (N).Nkind = N_Or_Else);
4469 Set_Node3_With_Parent (N, Val);
4470 end Set_Right_Opnd;
4471
4472 procedure Set_Rounded_Result
4473 (N : Node_Id; Val : Boolean := True) is
4474 begin
4475 pragma Assert (False
4476 or else NT (N).Nkind = N_Op_Divide
4477 or else NT (N).Nkind = N_Op_Multiply
4478 or else NT (N).Nkind = N_Type_Conversion);
4479 Set_Flag18 (N, Val);
4480 end Set_Rounded_Result;
4481
4482 procedure Set_Scope
4483 (N : Node_Id; Val : Node_Id) is
4484 begin
4485 pragma Assert (False
4486 or else NT (N).Nkind = N_Defining_Character_Literal
4487 or else NT (N).Nkind = N_Defining_Identifier
4488 or else NT (N).Nkind = N_Defining_Operator_Symbol);
4489 Set_Node3 (N, Val); -- semantic field, no parent set
4490 end Set_Scope;
4491
4492 procedure Set_Select_Alternatives
4493 (N : Node_Id; Val : List_Id) is
4494 begin
4495 pragma Assert (False
4496 or else NT (N).Nkind = N_Selective_Accept);
4497 Set_List1_With_Parent (N, Val);
4498 end Set_Select_Alternatives;
4499
4500 procedure Set_Selector_Name
4501 (N : Node_Id; Val : Node_Id) is
4502 begin
4503 pragma Assert (False
4504 or else NT (N).Nkind = N_Expanded_Name
4505 or else NT (N).Nkind = N_Generic_Association
4506 or else NT (N).Nkind = N_Parameter_Association
4507 or else NT (N).Nkind = N_Selected_Component);
4508 Set_Node2_With_Parent (N, Val);
4509 end Set_Selector_Name;
4510
4511 procedure Set_Selector_Names
4512 (N : Node_Id; Val : List_Id) is
4513 begin
4514 pragma Assert (False
4515 or else NT (N).Nkind = N_Discriminant_Association);
4516 Set_List1_With_Parent (N, Val);
4517 end Set_Selector_Names;
4518
4519 procedure Set_Shift_Count_OK
4520 (N : Node_Id; Val : Boolean := True) is
4521 begin
4522 pragma Assert (False
4523 or else NT (N).Nkind = N_Op_Rotate_Left
4524 or else NT (N).Nkind = N_Op_Rotate_Right
4525 or else NT (N).Nkind = N_Op_Shift_Left
4526 or else NT (N).Nkind = N_Op_Shift_Right
4527 or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
4528 Set_Flag4 (N, Val);
4529 end Set_Shift_Count_OK;
4530
4531 procedure Set_Source_Type
4532 (N : Node_Id; Val : Entity_Id) is
4533 begin
4534 pragma Assert (False
4535 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4536 Set_Node1 (N, Val); -- semantic field, no parent set
4537 end Set_Source_Type;
4538
4539 procedure Set_Specification
4540 (N : Node_Id; Val : Node_Id) is
4541 begin
4542 pragma Assert (False
4543 or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
4544 or else NT (N).Nkind = N_Formal_Subprogram_Declaration
4545 or else NT (N).Nkind = N_Generic_Package_Declaration
4546 or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4547 or else NT (N).Nkind = N_Package_Declaration
4548 or else NT (N).Nkind = N_Subprogram_Body
4549 or else NT (N).Nkind = N_Subprogram_Body_Stub
4550 or else NT (N).Nkind = N_Subprogram_Declaration
4551 or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4552 Set_Node1_With_Parent (N, Val);
4553 end Set_Specification;
4554
4555 procedure Set_Statements
4556 (N : Node_Id; Val : List_Id) is
4557 begin
4558 pragma Assert (False
4559 or else NT (N).Nkind = N_Abortable_Part
4560 or else NT (N).Nkind = N_Accept_Alternative
4561 or else NT (N).Nkind = N_Case_Statement_Alternative
4562 or else NT (N).Nkind = N_Delay_Alternative
4563 or else NT (N).Nkind = N_Entry_Call_Alternative
4564 or else NT (N).Nkind = N_Exception_Handler
4565 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4566 or else NT (N).Nkind = N_Loop_Statement
4567 or else NT (N).Nkind = N_Triggering_Alternative);
4568 Set_List3_With_Parent (N, Val);
4569 end Set_Statements;
4570
4571 procedure Set_Static_Processing_OK
4572 (N : Node_Id; Val : Boolean) is
4573 begin
4574 pragma Assert (False
4575 or else NT (N).Nkind = N_Aggregate);
4576 Set_Flag4 (N, Val);
4577 end Set_Static_Processing_OK;
4578
4579 procedure Set_Storage_Pool
4580 (N : Node_Id; Val : Node_Id) is
4581 begin
4582 pragma Assert (False
4583 or else NT (N).Nkind = N_Allocator
4584 or else NT (N).Nkind = N_Free_Statement
4585 or else NT (N).Nkind = N_Return_Statement);
4586 Set_Node1 (N, Val); -- semantic field, no parent set
4587 end Set_Storage_Pool;
4588
4589 procedure Set_Strval
4590 (N : Node_Id; Val : String_Id) is
4591 begin
4592 pragma Assert (False
4593 or else NT (N).Nkind = N_Operator_Symbol
4594 or else NT (N).Nkind = N_String_Literal);
4595 Set_Str3 (N, Val);
4596 end Set_Strval;
4597
4598 procedure Set_Subtype_Indication
4599 (N : Node_Id; Val : Node_Id) is
4600 begin
4601 pragma Assert (False
4602 or else NT (N).Nkind = N_Access_To_Object_Definition
4603 or else NT (N).Nkind = N_Component_Declaration
4604 or else NT (N).Nkind = N_Constrained_Array_Definition
4605 or else NT (N).Nkind = N_Derived_Type_Definition
4606 or else NT (N).Nkind = N_Private_Extension_Declaration
4607 or else NT (N).Nkind = N_Subtype_Declaration
4608 or else NT (N).Nkind = N_Unconstrained_Array_Definition);
4609 Set_Node5_With_Parent (N, Val);
4610 end Set_Subtype_Indication;
4611
4612 procedure Set_Subtype_Mark
4613 (N : Node_Id; Val : Node_Id) is
4614 begin
4615 pragma Assert (False
4616 or else NT (N).Nkind = N_Access_Definition
4617 or else NT (N).Nkind = N_Access_Function_Definition
4618 or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4619 or else NT (N).Nkind = N_Formal_Object_Declaration
4620 or else NT (N).Nkind = N_Function_Specification
4621 or else NT (N).Nkind = N_Object_Renaming_Declaration
4622 or else NT (N).Nkind = N_Qualified_Expression
4623 or else NT (N).Nkind = N_Subtype_Indication
4624 or else NT (N).Nkind = N_Type_Conversion
4625 or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4626 Set_Node4_With_Parent (N, Val);
4627 end Set_Subtype_Mark;
4628
4629 procedure Set_Subtype_Marks
4630 (N : Node_Id; Val : List_Id) is
4631 begin
4632 pragma Assert (False
4633 or else NT (N).Nkind = N_Unconstrained_Array_Definition
4634 or else NT (N).Nkind = N_Use_Type_Clause);
4635 Set_List2_With_Parent (N, Val);
4636 end Set_Subtype_Marks;
4637
4638 procedure Set_Tagged_Present
4639 (N : Node_Id; Val : Boolean := True) is
4640 begin
4641 pragma Assert (False
4642 or else NT (N).Nkind = N_Formal_Private_Type_Definition
4643 or else NT (N).Nkind = N_Private_Type_Declaration
4644 or else NT (N).Nkind = N_Record_Definition
4645 or else NT (N).Nkind = N_With_Type_Clause);
4646 Set_Flag15 (N, Val);
4647 end Set_Tagged_Present;
4648
4649 procedure Set_Target_Type
4650 (N : Node_Id; Val : Entity_Id) is
4651 begin
4652 pragma Assert (False
4653 or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4654 Set_Node2 (N, Val); -- semantic field, no parent set
4655 end Set_Target_Type;
4656
4657 procedure Set_Task_Body_Procedure
4658 (N : Node_Id; Val : Entity_Id) is
4659 begin
4660 pragma Assert (False
4661 or else NT (N).Nkind = N_Task_Type_Declaration);
4662 Set_Node2 (N, Val); -- semantic field, no parent set
4663 end Set_Task_Body_Procedure;
4664
4665 procedure Set_Task_Definition
4666 (N : Node_Id; Val : Node_Id) is
4667 begin
4668 pragma Assert (False
4669 or else NT (N).Nkind = N_Single_Task_Declaration
4670 or else NT (N).Nkind = N_Task_Type_Declaration);
4671 Set_Node3_With_Parent (N, Val);
4672 end Set_Task_Definition;
4673
4674 procedure Set_Then_Actions
4675 (N : Node_Id; Val : List_Id) is
4676 begin
4677 pragma Assert (False
4678 or else NT (N).Nkind = N_Conditional_Expression);
4679 Set_List2 (N, Val); -- semantic field, no parent set
4680 end Set_Then_Actions;
4681
4682 procedure Set_Then_Statements
4683 (N : Node_Id; Val : List_Id) is
4684 begin
4685 pragma Assert (False
4686 or else NT (N).Nkind = N_Elsif_Part
4687 or else NT (N).Nkind = N_If_Statement);
4688 Set_List2_With_Parent (N, Val);
4689 end Set_Then_Statements;
4690
4691 procedure Set_Treat_Fixed_As_Integer
4692 (N : Node_Id; Val : Boolean := True) is
4693 begin
4694 pragma Assert (False
4695 or else NT (N).Nkind = N_Op_Divide
4696 or else NT (N).Nkind = N_Op_Mod
4697 or else NT (N).Nkind = N_Op_Multiply
4698 or else NT (N).Nkind = N_Op_Rem);
4699 Set_Flag14 (N, Val);
4700 end Set_Treat_Fixed_As_Integer;
4701
4702 procedure Set_Triggering_Alternative
4703 (N : Node_Id; Val : Node_Id) is
4704 begin
4705 pragma Assert (False
4706 or else NT (N).Nkind = N_Asynchronous_Select);
4707 Set_Node1_With_Parent (N, Val);
4708 end Set_Triggering_Alternative;
4709
4710 procedure Set_Triggering_Statement
4711 (N : Node_Id; Val : Node_Id) is
4712 begin
4713 pragma Assert (False
4714 or else NT (N).Nkind = N_Triggering_Alternative);
4715 Set_Node1_With_Parent (N, Val);
4716 end Set_Triggering_Statement;
4717
4718 procedure Set_TSS_Elist
4719 (N : Node_Id; Val : Elist_Id) is
4720 begin
4721 pragma Assert (False
4722 or else NT (N).Nkind = N_Freeze_Entity);
4723 Set_Elist3 (N, Val); -- semantic field, no parent set
4724 end Set_TSS_Elist;
4725
4726 procedure Set_Type_Definition
4727 (N : Node_Id; Val : Node_Id) is
4728 begin
4729 pragma Assert (False
4730 or else NT (N).Nkind = N_Full_Type_Declaration);
4731 Set_Node3_With_Parent (N, Val);
4732 end Set_Type_Definition;
4733
4734 procedure Set_Unit
4735 (N : Node_Id; Val : Node_Id) is
4736 begin
4737 pragma Assert (False
4738 or else NT (N).Nkind = N_Compilation_Unit);
4739 Set_Node2_With_Parent (N, Val);
4740 end Set_Unit;
4741
4742 procedure Set_Unknown_Discriminants_Present
4743 (N : Node_Id; Val : Boolean := True) is
4744 begin
4745 pragma Assert (False
4746 or else NT (N).Nkind = N_Formal_Type_Declaration
4747 or else NT (N).Nkind = N_Incomplete_Type_Declaration
4748 or else NT (N).Nkind = N_Private_Extension_Declaration
4749 or else NT (N).Nkind = N_Private_Type_Declaration);
4750 Set_Flag13 (N, Val);
4751 end Set_Unknown_Discriminants_Present;
4752
4753 procedure Set_Unreferenced_In_Spec
4754 (N : Node_Id; Val : Boolean := True) is
4755 begin
4756 pragma Assert (False
4757 or else NT (N).Nkind = N_With_Clause);
4758 Set_Flag7 (N, Val);
4759 end Set_Unreferenced_In_Spec;
4760
4761 procedure Set_Variant_Part
4762 (N : Node_Id; Val : Node_Id) is
4763 begin
4764 pragma Assert (False
4765 or else NT (N).Nkind = N_Component_List);
4766 Set_Node4_With_Parent (N, Val);
4767 end Set_Variant_Part;
4768
4769 procedure Set_Variants
4770 (N : Node_Id; Val : List_Id) is
4771 begin
4772 pragma Assert (False
4773 or else NT (N).Nkind = N_Variant_Part);
4774 Set_List1_With_Parent (N, Val);
4775 end Set_Variants;
4776
4777 procedure Set_Visible_Declarations
4778 (N : Node_Id; Val : List_Id) is
4779 begin
4780 pragma Assert (False
4781 or else NT (N).Nkind = N_Package_Specification
4782 or else NT (N).Nkind = N_Protected_Definition
4783 or else NT (N).Nkind = N_Task_Definition);
4784 Set_List2_With_Parent (N, Val);
4785 end Set_Visible_Declarations;
4786
4787 procedure Set_Was_Originally_Stub
4788 (N : Node_Id; Val : Boolean := True) is
4789 begin
4790 pragma Assert (False
4791 or else NT (N).Nkind = N_Package_Body
4792 or else NT (N).Nkind = N_Protected_Body
4793 or else NT (N).Nkind = N_Subprogram_Body
4794 or else NT (N).Nkind = N_Task_Body);
4795 Set_Flag13 (N, Val);
4796 end Set_Was_Originally_Stub;
4797
4798 procedure Set_Zero_Cost_Handling
4799 (N : Node_Id; Val : Boolean := True) is
4800 begin
4801 pragma Assert (False
4802 or else NT (N).Nkind = N_Exception_Handler
4803 or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4804 Set_Flag5 (N, Val);
4805 end Set_Zero_Cost_Handling;
4806
4807 -------------------------
4808 -- Iterator Procedures --
4809 -------------------------
4810
4811 procedure Next_Entity (N : in out Node_Id) is
4812 begin
4813 N := Next_Entity (N);
4814 end Next_Entity;
4815
4816 procedure Next_Named_Actual (N : in out Node_Id) is
4817 begin
4818 N := Next_Named_Actual (N);
4819 end Next_Named_Actual;
4820
4821 procedure Next_Rep_Item (N : in out Node_Id) is
4822 begin
4823 N := Next_Rep_Item (N);
4824 end Next_Rep_Item;
4825
4826 procedure Next_Use_Clause (N : in out Node_Id) is
4827 begin
4828 N := Next_Use_Clause (N);
4829 end Next_Use_Clause;
4830
4831 ------------------
4832 -- End_Location --
4833 ------------------
4834
4835 function End_Location (N : Node_Id) return Source_Ptr is
4836 L : constant Uint := End_Span (N);
4837
4838 begin
4839 if L = No_Uint then
4840 return No_Location;
4841 else
4842 return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
4843 end if;
4844 end End_Location;
4845
4846 ----------------------
4847 -- Set_End_Location --
4848 ----------------------
4849
4850 procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
4851 begin
4852 Set_End_Span (N,
4853 UI_From_Int (Int (S) - Int (Sloc (N))));
4854 end Set_End_Location;
4855
4856 end Sinfo;
Mirror of the offical gcc git repository hosted at gcc.gnu.org