OpenCores
URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [ada/] [sinfo.adb] - Blame information for rev 523

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 281 jeremybenn 
------------------------------------------------------------------------------
2 
--                                                                          --
3 
--                         GNAT COMPILER COMPONENTS                         --
4 
--                                                                          --
5 
--                                S I N F O                                 --
6 
--                                                                          --
7 
--                                 B o d y                                  --
8 
--                                                                          --
9 
--          Copyright (C) 1992-2009, 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 3,  or (at your option) any later ver- --
14 
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15 
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16 
-- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
17 
--                                                                          --
18 
-- As a special exception under Section 7 of GPL version 3, you are granted --
19 
-- additional permissions described in the GCC Runtime Library Exception,   --
20 
-- version 3.1, as published by the Free Software Foundation.               --
21 
--                                                                          --
22 
-- You should have received a copy of the GNU General Public License and    --
23 
-- a copy of the GCC Runtime Library Exception along with this program;     --
24 
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
25 
-- <http://www.gnu.org/licenses/>.                                          --
26 
--                                                                          --
27 
-- GNAT was originally developed  by the GNAT team at  New York University. --
28 
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
29 
--                                                                          --
30 
------------------------------------------------------------------------------
31 
 
32 
pragma Style_Checks (All_Checks);
33 
--  No subprogram ordering check, due to logical grouping
34 
 
35 
with Atree; use Atree;
36 
 
37 
package body Sinfo is
38 
 
39 
   use Atree.Unchecked_Access;
40 
   --  This package is one of the few packages which is allowed to make direct
41 
   --  references to tree nodes (since it is in the business of providing a
42 
   --  higher level of tree access which other clients are expected to use and
43 
   --  which implements checks).
44 
 
45 
   use Atree_Private_Part;
46 
   --  The only reason that we ask for direct access to the private part of
47 
   --  the tree package is so that we can directly reference the Nkind field
48 
   --  of nodes table entries. We do this since it helps the efficiency of
49 
   --  the Sinfo debugging checks considerably (note that when we are checking
50 
   --  Nkind values, we don't need to check for a valid node reference, because
51 
   --  we will check that anyway when we reference the field).
52 
 
53 
   NT : Nodes.Table_Ptr renames Nodes.Table;
54 
   --  A short hand abbreviation, useful for the debugging checks
55 
 
56 
   ----------------------------
57 
   -- Field Access Functions --
58 
   ----------------------------
59 
 
60 
   function ABE_Is_Certain
61 
      (N : Node_Id) return Boolean is
62 
   begin
63 
      pragma Assert (False
64 
        or else NT (N).Nkind = N_Formal_Package_Declaration
65 
        or else NT (N).Nkind = N_Function_Call
66 
        or else NT (N).Nkind = N_Function_Instantiation
67 
        or else NT (N).Nkind = N_Package_Instantiation
68 
        or else NT (N).Nkind = N_Procedure_Call_Statement
69 
        or else NT (N).Nkind = N_Procedure_Instantiation);
70 
      return Flag18 (N);
71 
   end ABE_Is_Certain;
72 
 
73 
   function Abort_Present
74 
      (N : Node_Id) return Boolean is
75 
   begin
76 
      pragma Assert (False
77 
        or else NT (N).Nkind = N_Requeue_Statement);
78 
      return Flag15 (N);
79 
   end Abort_Present;
80 
 
81 
   function Abortable_Part
82 
      (N : Node_Id) return Node_Id is
83 
   begin
84 
      pragma Assert (False
85 
        or else NT (N).Nkind = N_Asynchronous_Select);
86 
      return Node2 (N);
87 
   end Abortable_Part;
88 
 
89 
   function Abstract_Present
90 
      (N : Node_Id) return Boolean is
91 
   begin
92 
      pragma Assert (False
93 
        or else NT (N).Nkind = N_Derived_Type_Definition
94 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
95 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
96 
        or else NT (N).Nkind = N_Private_Extension_Declaration
97 
        or else NT (N).Nkind = N_Private_Type_Declaration
98 
        or else NT (N).Nkind = N_Record_Definition);
99 
      return Flag4 (N);
100 
   end Abstract_Present;
101 
 
102 
   function Accept_Handler_Records
103 
      (N : Node_Id) return List_Id is
104 
   begin
105 
      pragma Assert (False
106 
        or else NT (N).Nkind = N_Accept_Alternative);
107 
      return List5 (N);
108 
   end Accept_Handler_Records;
109 
 
110 
   function Accept_Statement
111 
      (N : Node_Id) return Node_Id is
112 
   begin
113 
      pragma Assert (False
114 
        or else NT (N).Nkind = N_Accept_Alternative);
115 
      return Node2 (N);
116 
   end Accept_Statement;
117 
 
118 
   function Access_Definition
119 
     (N : Node_Id) return Node_Id is
120 
   begin
121 
      pragma Assert (False
122 
        or else NT (N).Nkind = N_Component_Definition
123 
        or else NT (N).Nkind = N_Formal_Object_Declaration
124 
        or else NT (N).Nkind = N_Object_Renaming_Declaration);
125 
      return Node3 (N);
126 
   end Access_Definition;
127 
 
128 
   function Access_To_Subprogram_Definition
129 
     (N : Node_Id) return Node_Id is
130 
   begin
131 
      pragma Assert (False
132 
        or else NT (N).Nkind = N_Access_Definition);
133 
      return Node3 (N);
134 
   end Access_To_Subprogram_Definition;
135 
 
136 
   function Access_Types_To_Process
137 
      (N : Node_Id) return Elist_Id is
138 
   begin
139 
      pragma Assert (False
140 
        or else NT (N).Nkind = N_Freeze_Entity);
141 
      return Elist2 (N);
142 
   end Access_Types_To_Process;
143 
 
144 
   function Actions
145 
      (N : Node_Id) return List_Id is
146 
   begin
147 
      pragma Assert (False
148 
        or else NT (N).Nkind = N_And_Then
149 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
150 
        or else NT (N).Nkind = N_Freeze_Entity
151 
        or else NT (N).Nkind = N_Or_Else);
152 
      return List1 (N);
153 
   end Actions;
154 
 
155 
   function Activation_Chain_Entity
156 
      (N : Node_Id) return Node_Id is
157 
   begin
158 
      pragma Assert (False
159 
        or else NT (N).Nkind = N_Block_Statement
160 
        or else NT (N).Nkind = N_Entry_Body
161 
        or else NT (N).Nkind = N_Generic_Package_Declaration
162 
        or else NT (N).Nkind = N_Package_Declaration
163 
        or else NT (N).Nkind = N_Subprogram_Body
164 
        or else NT (N).Nkind = N_Task_Body);
165 
      return Node3 (N);
166 
   end Activation_Chain_Entity;
167 
 
168 
   function Acts_As_Spec
169 
      (N : Node_Id) return Boolean is
170 
   begin
171 
      pragma Assert (False
172 
        or else NT (N).Nkind = N_Compilation_Unit
173 
        or else NT (N).Nkind = N_Subprogram_Body);
174 
      return Flag4 (N);
175 
   end Acts_As_Spec;
176 
 
177 
   function Actual_Designated_Subtype
178 
     (N : Node_Id) return Node_Id is
179 
   begin
180 
      pragma Assert (False
181 
        or else NT (N).Nkind = N_Explicit_Dereference
182 
        or else NT (N).Nkind = N_Free_Statement);
183 
      return Node4 (N);
184 
   end Actual_Designated_Subtype;
185 
 
186 
   function Address_Warning_Posted
187 
      (N : Node_Id) return Boolean is
188 
   begin
189 
      pragma Assert (False
190 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
191 
      return Flag18 (N);
192 
   end Address_Warning_Posted;
193 
 
194 
   function Aggregate_Bounds
195 
      (N : Node_Id) return Node_Id is
196 
   begin
197 
      pragma Assert (False
198 
        or else NT (N).Nkind = N_Aggregate);
199 
      return Node3 (N);
200 
   end Aggregate_Bounds;
201 
 
202 
   function Aliased_Present
203 
      (N : Node_Id) return Boolean is
204 
   begin
205 
      pragma Assert (False
206 
        or else NT (N).Nkind = N_Component_Definition
207 
        or else NT (N).Nkind = N_Object_Declaration);
208 
      return Flag4 (N);
209 
   end Aliased_Present;
210 
 
211 
   function All_Others
212 
      (N : Node_Id) return Boolean is
213 
   begin
214 
      pragma Assert (False
215 
        or else NT (N).Nkind = N_Others_Choice);
216 
      return Flag11 (N);
217 
   end All_Others;
218 
 
219 
   function All_Present
220 
      (N : Node_Id) return Boolean is
221 
   begin
222 
      pragma Assert (False
223 
        or else NT (N).Nkind = N_Access_Definition
224 
        or else NT (N).Nkind = N_Access_To_Object_Definition);
225 
      return Flag15 (N);
226 
   end All_Present;
227 
 
228 
   function Alternatives
229 
      (N : Node_Id) return List_Id is
230 
   begin
231 
      pragma Assert (False
232 
        or else NT (N).Nkind = N_Case_Statement
233 
        or else NT (N).Nkind = N_In
234 
        or else NT (N).Nkind = N_Not_In);
235 
      return List4 (N);
236 
   end Alternatives;
237 
 
238 
   function Ancestor_Part
239 
      (N : Node_Id) return Node_Id is
240 
   begin
241 
      pragma Assert (False
242 
        or else NT (N).Nkind = N_Extension_Aggregate);
243 
      return Node3 (N);
244 
   end Ancestor_Part;
245 
 
246 
   function Array_Aggregate
247 
      (N : Node_Id) return Node_Id is
248 
   begin
249 
      pragma Assert (False
250 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause);
251 
      return Node3 (N);
252 
   end Array_Aggregate;
253 
 
254 
   function Assignment_OK
255 
      (N : Node_Id) return Boolean is
256 
   begin
257 
      pragma Assert (False
258 
        or else NT (N).Nkind = N_Object_Declaration
259 
        or else NT (N).Nkind in N_Subexpr);
260 
      return Flag15 (N);
261 
   end Assignment_OK;
262 
 
263 
   function Associated_Node
264 
      (N : Node_Id) return Node_Id is
265 
   begin
266 
      pragma Assert (False
267 
        or else NT (N).Nkind in N_Has_Entity
268 
        or else NT (N).Nkind = N_Aggregate
269 
        or else NT (N).Nkind = N_Extension_Aggregate
270 
        or else NT (N).Nkind = N_Selected_Component);
271 
      return Node4 (N);
272 
   end Associated_Node;
273 
 
274 
   function At_End_Proc
275 
      (N : Node_Id) return Node_Id is
276 
   begin
277 
      pragma Assert (False
278 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
279 
      return Node1 (N);
280 
   end At_End_Proc;
281 
 
282 
   function Attribute_Name
283 
      (N : Node_Id) return Name_Id is
284 
   begin
285 
      pragma Assert (False
286 
        or else NT (N).Nkind = N_Attribute_Reference);
287 
      return Name2 (N);
288 
   end Attribute_Name;
289 
 
290 
   function Aux_Decls_Node
291 
      (N : Node_Id) return Node_Id is
292 
   begin
293 
      pragma Assert (False
294 
        or else NT (N).Nkind = N_Compilation_Unit);
295 
      return Node5 (N);
296 
   end Aux_Decls_Node;
297 
 
298 
   function Backwards_OK
299 
      (N : Node_Id) return Boolean is
300 
   begin
301 
      pragma Assert (False
302 
        or else NT (N).Nkind = N_Assignment_Statement);
303 
      return Flag6 (N);
304 
   end Backwards_OK;
305 
 
306 
   function Bad_Is_Detected
307 
      (N : Node_Id) return Boolean is
308 
   begin
309 
      pragma Assert (False
310 
        or else NT (N).Nkind = N_Subprogram_Body);
311 
      return Flag15 (N);
312 
   end Bad_Is_Detected;
313 
 
314 
   function Body_Required
315 
      (N : Node_Id) return Boolean is
316 
   begin
317 
      pragma Assert (False
318 
        or else NT (N).Nkind = N_Compilation_Unit);
319 
      return Flag13 (N);
320 
   end Body_Required;
321 
 
322 
   function Body_To_Inline
323 
      (N : Node_Id) return Node_Id is
324 
   begin
325 
      pragma Assert (False
326 
        or else NT (N).Nkind = N_Subprogram_Declaration);
327 
      return Node3 (N);
328 
   end Body_To_Inline;
329 
 
330 
   function Box_Present
331 
      (N : Node_Id) return Boolean is
332 
   begin
333 
      pragma Assert (False
334 
        or else NT (N).Nkind = N_Component_Association
335 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
336 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
337 
        or else NT (N).Nkind = N_Formal_Package_Declaration
338 
        or else NT (N).Nkind = N_Generic_Association);
339 
      return Flag15 (N);
340 
   end Box_Present;
341 
 
342 
   function By_Ref
343 
      (N : Node_Id) return Boolean is
344 
   begin
345 
      pragma Assert (False
346 
        or else NT (N).Nkind = N_Extended_Return_Statement
347 
        or else NT (N).Nkind = N_Return_Statement);
348 
      return Flag5 (N);
349 
   end By_Ref;
350 
 
351 
   function Char_Literal_Value
352 
      (N : Node_Id) return Uint is
353 
   begin
354 
      pragma Assert (False
355 
        or else NT (N).Nkind = N_Character_Literal);
356 
      return Uint2 (N);
357 
   end Char_Literal_Value;
358 
 
359 
   function Chars
360 
      (N : Node_Id) return Name_Id is
361 
   begin
362 
      pragma Assert (False
363 
        or else NT (N).Nkind in N_Has_Chars);
364 
      return Name1 (N);
365 
   end Chars;
366 
 
367 
   function Check_Address_Alignment
368 
      (N : Node_Id) return Boolean is
369 
   begin
370 
      pragma Assert (False
371 
          or else NT (N).Nkind = N_Attribute_Definition_Clause);
372 
      return Flag11 (N);
373 
   end Check_Address_Alignment;
374 
 
375 
   function Choice_Parameter
376 
      (N : Node_Id) return Node_Id is
377 
   begin
378 
      pragma Assert (False
379 
        or else NT (N).Nkind = N_Exception_Handler);
380 
      return Node2 (N);
381 
   end Choice_Parameter;
382 
 
383 
   function Choices
384 
      (N : Node_Id) return List_Id is
385 
   begin
386 
      pragma Assert (False
387 
        or else NT (N).Nkind = N_Component_Association);
388 
      return List1 (N);
389 
   end Choices;
390 
 
391 
   function Coextensions
392 
      (N : Node_Id) return Elist_Id is
393 
   begin
394 
      pragma Assert (False
395 
        or else NT (N).Nkind = N_Allocator);
396 
      return Elist4 (N);
397 
   end Coextensions;
398 
 
399 
   function Comes_From_Extended_Return_Statement
400 
     (N : Node_Id) return Boolean is
401 
   begin
402 
      pragma Assert (False
403 
        or else NT (N).Nkind = N_Return_Statement);
404 
      return Flag18 (N);
405 
   end Comes_From_Extended_Return_Statement;
406 
 
407 
   function Compile_Time_Known_Aggregate
408 
      (N : Node_Id) return Boolean is
409 
   begin
410 
      pragma Assert (False
411 
        or else NT (N).Nkind = N_Aggregate);
412 
      return Flag18 (N);
413 
   end Compile_Time_Known_Aggregate;
414 
 
415 
   function Component_Associations
416 
      (N : Node_Id) return List_Id is
417 
   begin
418 
      pragma Assert (False
419 
        or else NT (N).Nkind = N_Aggregate
420 
        or else NT (N).Nkind = N_Extension_Aggregate);
421 
      return List2 (N);
422 
   end Component_Associations;
423 
 
424 
   function Component_Clauses
425 
      (N : Node_Id) return List_Id is
426 
   begin
427 
      pragma Assert (False
428 
        or else NT (N).Nkind = N_Record_Representation_Clause);
429 
      return List3 (N);
430 
   end Component_Clauses;
431 
 
432 
   function Component_Definition
433 
      (N : Node_Id) return Node_Id is
434 
   begin
435 
      pragma Assert (False
436 
        or else NT (N).Nkind = N_Component_Declaration
437 
        or else NT (N).Nkind = N_Constrained_Array_Definition
438 
        or else NT (N).Nkind = N_Unconstrained_Array_Definition);
439 
      return Node4 (N);
440 
   end Component_Definition;
441 
 
442 
   function Component_Items
443 
      (N : Node_Id) return List_Id is
444 
   begin
445 
      pragma Assert (False
446 
        or else NT (N).Nkind = N_Component_List);
447 
      return List3 (N);
448 
   end Component_Items;
449 
 
450 
   function Component_List
451 
      (N : Node_Id) return Node_Id is
452 
   begin
453 
      pragma Assert (False
454 
        or else NT (N).Nkind = N_Record_Definition
455 
        or else NT (N).Nkind = N_Variant);
456 
      return Node1 (N);
457 
   end Component_List;
458 
 
459 
   function Component_Name
460 
      (N : Node_Id) return Node_Id is
461 
   begin
462 
      pragma Assert (False
463 
        or else NT (N).Nkind = N_Component_Clause);
464 
      return Node1 (N);
465 
   end Component_Name;
466 
 
467 
   function Componentwise_Assignment
468 
      (N : Node_Id) return Boolean is
469 
   begin
470 
      pragma Assert (False
471 
        or else NT (N).Nkind = N_Assignment_Statement);
472 
      return Flag14 (N);
473 
   end Componentwise_Assignment;
474 
 
475 
   function Condition
476 
      (N : Node_Id) return Node_Id is
477 
   begin
478 
      pragma Assert (False
479 
        or else NT (N).Nkind = N_Accept_Alternative
480 
        or else NT (N).Nkind = N_Delay_Alternative
481 
        or else NT (N).Nkind = N_Elsif_Part
482 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part
483 
        or else NT (N).Nkind = N_Exit_Statement
484 
        or else NT (N).Nkind = N_If_Statement
485 
        or else NT (N).Nkind = N_Iteration_Scheme
486 
        or else NT (N).Nkind = N_Raise_Constraint_Error
487 
        or else NT (N).Nkind = N_Raise_Program_Error
488 
        or else NT (N).Nkind = N_Raise_Storage_Error
489 
        or else NT (N).Nkind = N_Terminate_Alternative);
490 
      return Node1 (N);
491 
   end Condition;
492 
 
493 
   function Condition_Actions
494 
      (N : Node_Id) return List_Id is
495 
   begin
496 
      pragma Assert (False
497 
        or else NT (N).Nkind = N_Elsif_Part
498 
        or else NT (N).Nkind = N_Iteration_Scheme);
499 
      return List3 (N);
500 
   end Condition_Actions;
501 
 
502 
   function Config_Pragmas
503 
      (N : Node_Id) return List_Id is
504 
   begin
505 
      pragma Assert (False
506 
        or else NT (N).Nkind = N_Compilation_Unit_Aux);
507 
      return List4 (N);
508 
   end Config_Pragmas;
509 
 
510 
   function Constant_Present
511 
      (N : Node_Id) return Boolean is
512 
   begin
513 
      pragma Assert (False
514 
        or else NT (N).Nkind = N_Access_Definition
515 
        or else NT (N).Nkind = N_Access_To_Object_Definition
516 
        or else NT (N).Nkind = N_Object_Declaration);
517 
      return Flag17 (N);
518 
   end Constant_Present;
519 
 
520 
   function Constraint
521 
      (N : Node_Id) return Node_Id is
522 
   begin
523 
      pragma Assert (False
524 
        or else NT (N).Nkind = N_Subtype_Indication);
525 
      return Node3 (N);
526 
   end Constraint;
527 
 
528 
   function Constraints
529 
      (N : Node_Id) return List_Id is
530 
   begin
531 
      pragma Assert (False
532 
        or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
533 
      return List1 (N);
534 
   end Constraints;
535 
 
536 
   function Context_Installed
537 
      (N : Node_Id) return Boolean is
538 
   begin
539 
      pragma Assert (False
540 
        or else NT (N).Nkind = N_With_Clause);
541 
      return Flag13 (N);
542 
   end Context_Installed;
543 
 
544 
   function Context_Items
545 
      (N : Node_Id) return List_Id is
546 
   begin
547 
      pragma Assert (False
548 
        or else NT (N).Nkind = N_Compilation_Unit);
549 
      return List1 (N);
550 
   end Context_Items;
551 
 
552 
   function Context_Pending
553 
      (N : Node_Id) return Boolean is
554 
   begin
555 
      pragma Assert (False
556 
        or else NT (N).Nkind = N_Compilation_Unit);
557 
      return Flag16 (N);
558 
   end Context_Pending;
559 
 
560 
   function Controlling_Argument
561 
      (N : Node_Id) return Node_Id is
562 
   begin
563 
      pragma Assert (False
564 
        or else NT (N).Nkind = N_Function_Call
565 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
566 
      return Node1 (N);
567 
   end Controlling_Argument;
568 
 
569 
   function Conversion_OK
570 
      (N : Node_Id) return Boolean is
571 
   begin
572 
      pragma Assert (False
573 
        or else NT (N).Nkind = N_Type_Conversion);
574 
      return Flag14 (N);
575 
   end Conversion_OK;
576 
 
577 
   function Corresponding_Body
578 
      (N : Node_Id) return Node_Id is
579 
   begin
580 
      pragma Assert (False
581 
        or else NT (N).Nkind = N_Entry_Declaration
582 
        or else NT (N).Nkind = N_Generic_Package_Declaration
583 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
584 
        or else NT (N).Nkind = N_Package_Body_Stub
585 
        or else NT (N).Nkind = N_Package_Declaration
586 
        or else NT (N).Nkind = N_Protected_Body_Stub
587 
        or else NT (N).Nkind = N_Protected_Type_Declaration
588 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
589 
        or else NT (N).Nkind = N_Subprogram_Declaration
590 
        or else NT (N).Nkind = N_Task_Body_Stub
591 
        or else NT (N).Nkind = N_Task_Type_Declaration);
592 
      return Node5 (N);
593 
   end Corresponding_Body;
594 
 
595 
   function Corresponding_Formal_Spec
596 
      (N : Node_Id) return Node_Id is
597 
   begin
598 
      pragma Assert (False
599 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
600 
      return Node3 (N);
601 
   end Corresponding_Formal_Spec;
602 
 
603 
   function Corresponding_Generic_Association
604 
      (N : Node_Id) return Node_Id is
605 
   begin
606 
      pragma Assert (False
607 
        or else NT (N).Nkind = N_Object_Declaration
608 
        or else NT (N).Nkind = N_Object_Renaming_Declaration);
609 
      return Node5 (N);
610 
   end Corresponding_Generic_Association;
611 
 
612 
   function Corresponding_Integer_Value
613 
      (N : Node_Id) return Uint is
614 
   begin
615 
      pragma Assert (False
616 
        or else NT (N).Nkind = N_Real_Literal);
617 
      return Uint4 (N);
618 
   end Corresponding_Integer_Value;
619 
 
620 
   function Corresponding_Spec
621 
      (N : Node_Id) return Node_Id is
622 
   begin
623 
      pragma Assert (False
624 
        or else NT (N).Nkind = N_Package_Body
625 
        or else NT (N).Nkind = N_Protected_Body
626 
        or else NT (N).Nkind = N_Subprogram_Body
627 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
628 
        or else NT (N).Nkind = N_Task_Body
629 
        or else NT (N).Nkind = N_With_Clause);
630 
      return Node5 (N);
631 
   end Corresponding_Spec;
632 
 
633 
   function Corresponding_Stub
634 
      (N : Node_Id) return Node_Id is
635 
   begin
636 
      pragma Assert (False
637 
        or else NT (N).Nkind = N_Subunit);
638 
      return Node3 (N);
639 
   end Corresponding_Stub;
640 
 
641 
   function Dcheck_Function
642 
      (N : Node_Id) return Entity_Id is
643 
   begin
644 
      pragma Assert (False
645 
        or else NT (N).Nkind = N_Variant);
646 
      return Node5 (N);
647 
   end Dcheck_Function;
648 
 
649 
   function Debug_Statement
650 
      (N : Node_Id) return Node_Id is
651 
   begin
652 
      pragma Assert (False
653 
        or else NT (N).Nkind = N_Pragma);
654 
      return Node3 (N);
655 
   end Debug_Statement;
656 
 
657 
   function Declarations
658 
      (N : Node_Id) return List_Id is
659 
   begin
660 
      pragma Assert (False
661 
        or else NT (N).Nkind = N_Accept_Statement
662 
        or else NT (N).Nkind = N_Block_Statement
663 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
664 
        or else NT (N).Nkind = N_Entry_Body
665 
        or else NT (N).Nkind = N_Package_Body
666 
        or else NT (N).Nkind = N_Protected_Body
667 
        or else NT (N).Nkind = N_Subprogram_Body
668 
        or else NT (N).Nkind = N_Task_Body);
669 
      return List2 (N);
670 
   end Declarations;
671 
 
672 
   function Default_Expression
673 
      (N : Node_Id) return Node_Id is
674 
   begin
675 
      pragma Assert (False
676 
        or else NT (N).Nkind = N_Formal_Object_Declaration
677 
        or else NT (N).Nkind = N_Parameter_Specification);
678 
      return Node5 (N);
679 
   end Default_Expression;
680 
 
681 
   function Default_Name
682 
      (N : Node_Id) return Node_Id is
683 
   begin
684 
      pragma Assert (False
685 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
686 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
687 
      return Node2 (N);
688 
   end Default_Name;
689 
 
690 
   function Defining_Identifier
691 
      (N : Node_Id) return Entity_Id is
692 
   begin
693 
      pragma Assert (False
694 
        or else NT (N).Nkind = N_Component_Declaration
695 
        or else NT (N).Nkind = N_Defining_Program_Unit_Name
696 
        or else NT (N).Nkind = N_Discriminant_Specification
697 
        or else NT (N).Nkind = N_Entry_Body
698 
        or else NT (N).Nkind = N_Entry_Declaration
699 
        or else NT (N).Nkind = N_Entry_Index_Specification
700 
        or else NT (N).Nkind = N_Exception_Declaration
701 
        or else NT (N).Nkind = N_Exception_Renaming_Declaration
702 
        or else NT (N).Nkind = N_Formal_Object_Declaration
703 
        or else NT (N).Nkind = N_Formal_Package_Declaration
704 
        or else NT (N).Nkind = N_Formal_Type_Declaration
705 
        or else NT (N).Nkind = N_Full_Type_Declaration
706 
        or else NT (N).Nkind = N_Implicit_Label_Declaration
707 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
708 
        or else NT (N).Nkind = N_Loop_Parameter_Specification
709 
        or else NT (N).Nkind = N_Number_Declaration
710 
        or else NT (N).Nkind = N_Object_Declaration
711 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
712 
        or else NT (N).Nkind = N_Package_Body_Stub
713 
        or else NT (N).Nkind = N_Parameter_Specification
714 
        or else NT (N).Nkind = N_Private_Extension_Declaration
715 
        or else NT (N).Nkind = N_Private_Type_Declaration
716 
        or else NT (N).Nkind = N_Protected_Body
717 
        or else NT (N).Nkind = N_Protected_Body_Stub
718 
        or else NT (N).Nkind = N_Protected_Type_Declaration
719 
        or else NT (N).Nkind = N_Single_Protected_Declaration
720 
        or else NT (N).Nkind = N_Single_Task_Declaration
721 
        or else NT (N).Nkind = N_Subtype_Declaration
722 
        or else NT (N).Nkind = N_Task_Body
723 
        or else NT (N).Nkind = N_Task_Body_Stub
724 
        or else NT (N).Nkind = N_Task_Type_Declaration);
725 
      return Node1 (N);
726 
   end Defining_Identifier;
727 
 
728 
   function Defining_Unit_Name
729 
      (N : Node_Id) return Node_Id is
730 
   begin
731 
      pragma Assert (False
732 
        or else NT (N).Nkind = N_Function_Instantiation
733 
        or else NT (N).Nkind = N_Function_Specification
734 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
735 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
736 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
737 
        or else NT (N).Nkind = N_Package_Body
738 
        or else NT (N).Nkind = N_Package_Instantiation
739 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
740 
        or else NT (N).Nkind = N_Package_Specification
741 
        or else NT (N).Nkind = N_Procedure_Instantiation
742 
        or else NT (N).Nkind = N_Procedure_Specification);
743 
      return Node1 (N);
744 
   end Defining_Unit_Name;
745 
 
746 
   function Delay_Alternative
747 
      (N : Node_Id) return Node_Id is
748 
   begin
749 
      pragma Assert (False
750 
        or else NT (N).Nkind = N_Timed_Entry_Call);
751 
      return Node4 (N);
752 
   end Delay_Alternative;
753 
 
754 
   function Delay_Statement
755 
      (N : Node_Id) return Node_Id is
756 
   begin
757 
      pragma Assert (False
758 
        or else NT (N).Nkind = N_Delay_Alternative);
759 
      return Node2 (N);
760 
   end Delay_Statement;
761 
 
762 
   function Delta_Expression
763 
      (N : Node_Id) return Node_Id is
764 
   begin
765 
      pragma Assert (False
766 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
767 
        or else NT (N).Nkind = N_Delta_Constraint
768 
        or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
769 
      return Node3 (N);
770 
   end Delta_Expression;
771 
 
772 
   function Digits_Expression
773 
      (N : Node_Id) return Node_Id is
774 
   begin
775 
      pragma Assert (False
776 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
777 
        or else NT (N).Nkind = N_Digits_Constraint
778 
        or else NT (N).Nkind = N_Floating_Point_Definition);
779 
      return Node2 (N);
780 
   end Digits_Expression;
781 
 
782 
   function Discr_Check_Funcs_Built
783 
      (N : Node_Id) return Boolean is
784 
   begin
785 
      pragma Assert (False
786 
        or else NT (N).Nkind = N_Full_Type_Declaration);
787 
      return Flag11 (N);
788 
   end Discr_Check_Funcs_Built;
789 
 
790 
   function Discrete_Choices
791 
      (N : Node_Id) return List_Id is
792 
   begin
793 
      pragma Assert (False
794 
        or else NT (N).Nkind = N_Case_Statement_Alternative
795 
        or else NT (N).Nkind = N_Variant);
796 
      return List4 (N);
797 
   end Discrete_Choices;
798 
 
799 
   function Discrete_Range
800 
      (N : Node_Id) return Node_Id is
801 
   begin
802 
      pragma Assert (False
803 
        or else NT (N).Nkind = N_Slice);
804 
      return Node4 (N);
805 
   end Discrete_Range;
806 
 
807 
   function Discrete_Subtype_Definition
808 
      (N : Node_Id) return Node_Id is
809 
   begin
810 
      pragma Assert (False
811 
        or else NT (N).Nkind = N_Entry_Declaration
812 
        or else NT (N).Nkind = N_Entry_Index_Specification
813 
        or else NT (N).Nkind = N_Loop_Parameter_Specification);
814 
      return Node4 (N);
815 
   end Discrete_Subtype_Definition;
816 
 
817 
   function Discrete_Subtype_Definitions
818 
      (N : Node_Id) return List_Id is
819 
   begin
820 
      pragma Assert (False
821 
        or else NT (N).Nkind = N_Constrained_Array_Definition);
822 
      return List2 (N);
823 
   end Discrete_Subtype_Definitions;
824 
 
825 
   function Discriminant_Specifications
826 
      (N : Node_Id) return List_Id is
827 
   begin
828 
      pragma Assert (False
829 
        or else NT (N).Nkind = N_Formal_Type_Declaration
830 
        or else NT (N).Nkind = N_Full_Type_Declaration
831 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
832 
        or else NT (N).Nkind = N_Private_Extension_Declaration
833 
        or else NT (N).Nkind = N_Private_Type_Declaration
834 
        or else NT (N).Nkind = N_Protected_Type_Declaration
835 
        or else NT (N).Nkind = N_Task_Type_Declaration);
836 
      return List4 (N);
837 
   end Discriminant_Specifications;
838 
 
839 
   function Discriminant_Type
840 
      (N : Node_Id) return Node_Id is
841 
   begin
842 
      pragma Assert (False
843 
        or else NT (N).Nkind = N_Discriminant_Specification);
844 
      return Node5 (N);
845 
   end Discriminant_Type;
846 
 
847 
   function Do_Accessibility_Check
848 
      (N : Node_Id) return Boolean is
849 
   begin
850 
      pragma Assert (False
851 
        or else NT (N).Nkind = N_Parameter_Specification);
852 
      return Flag13 (N);
853 
   end Do_Accessibility_Check;
854 
 
855 
   function Do_Discriminant_Check
856 
      (N : Node_Id) return Boolean is
857 
   begin
858 
      pragma Assert (False
859 
        or else NT (N).Nkind = N_Selected_Component);
860 
      return Flag13 (N);
861 
   end Do_Discriminant_Check;
862 
 
863 
   function Do_Division_Check
864 
      (N : Node_Id) return Boolean is
865 
   begin
866 
      pragma Assert (False
867 
        or else NT (N).Nkind = N_Op_Divide
868 
        or else NT (N).Nkind = N_Op_Mod
869 
        or else NT (N).Nkind = N_Op_Rem);
870 
      return Flag13 (N);
871 
   end Do_Division_Check;
872 
 
873 
   function Do_Length_Check
874 
      (N : Node_Id) return Boolean is
875 
   begin
876 
      pragma Assert (False
877 
        or else NT (N).Nkind = N_Assignment_Statement
878 
        or else NT (N).Nkind = N_Op_And
879 
        or else NT (N).Nkind = N_Op_Or
880 
        or else NT (N).Nkind = N_Op_Xor
881 
        or else NT (N).Nkind = N_Type_Conversion);
882 
      return Flag4 (N);
883 
   end Do_Length_Check;
884 
 
885 
   function Do_Overflow_Check
886 
      (N : Node_Id) return Boolean is
887 
   begin
888 
      pragma Assert (False
889 
        or else NT (N).Nkind in N_Op
890 
        or else NT (N).Nkind = N_Attribute_Reference
891 
        or else NT (N).Nkind = N_Type_Conversion);
892 
      return Flag17 (N);
893 
   end Do_Overflow_Check;
894 
 
895 
   function Do_Range_Check
896 
      (N : Node_Id) return Boolean is
897 
   begin
898 
      pragma Assert (False
899 
        or else NT (N).Nkind in N_Subexpr);
900 
      return Flag9 (N);
901 
   end Do_Range_Check;
902 
 
903 
   function Do_Storage_Check
904 
      (N : Node_Id) return Boolean is
905 
   begin
906 
      pragma Assert (False
907 
        or else NT (N).Nkind = N_Allocator
908 
        or else NT (N).Nkind = N_Subprogram_Body);
909 
      return Flag17 (N);
910 
   end Do_Storage_Check;
911 
 
912 
   function Do_Tag_Check
913 
      (N : Node_Id) return Boolean is
914 
   begin
915 
      pragma Assert (False
916 
        or else NT (N).Nkind = N_Assignment_Statement
917 
        or else NT (N).Nkind = N_Extended_Return_Statement
918 
        or else NT (N).Nkind = N_Function_Call
919 
        or else NT (N).Nkind = N_Procedure_Call_Statement
920 
        or else NT (N).Nkind = N_Return_Statement
921 
        or else NT (N).Nkind = N_Type_Conversion);
922 
      return Flag13 (N);
923 
   end Do_Tag_Check;
924 
 
925 
   function Elaborate_All_Desirable
926 
      (N : Node_Id) return Boolean is
927 
   begin
928 
      pragma Assert (False
929 
        or else NT (N).Nkind = N_With_Clause);
930 
      return Flag9 (N);
931 
   end Elaborate_All_Desirable;
932 
 
933 
   function Elaborate_All_Present
934 
      (N : Node_Id) return Boolean is
935 
   begin
936 
      pragma Assert (False
937 
        or else NT (N).Nkind = N_With_Clause);
938 
      return Flag14 (N);
939 
   end Elaborate_All_Present;
940 
 
941 
   function Elaborate_Desirable
942 
      (N : Node_Id) return Boolean is
943 
   begin
944 
      pragma Assert (False
945 
        or else NT (N).Nkind = N_With_Clause);
946 
      return Flag11 (N);
947 
   end Elaborate_Desirable;
948 
 
949 
   function Elaborate_Present
950 
      (N : Node_Id) return Boolean is
951 
   begin
952 
      pragma Assert (False
953 
        or else NT (N).Nkind = N_With_Clause);
954 
      return Flag4 (N);
955 
   end Elaborate_Present;
956 
 
957 
   function Elaboration_Boolean
958 
      (N : Node_Id) return Node_Id is
959 
   begin
960 
      pragma Assert (False
961 
        or else NT (N).Nkind = N_Function_Specification
962 
        or else NT (N).Nkind = N_Procedure_Specification);
963 
      return Node2 (N);
964 
   end Elaboration_Boolean;
965 
 
966 
   function Else_Actions
967 
      (N : Node_Id) return List_Id is
968 
   begin
969 
      pragma Assert (False
970 
        or else NT (N).Nkind = N_Conditional_Expression);
971 
      return List3 (N);
972 
   end Else_Actions;
973 
 
974 
   function Else_Statements
975 
      (N : Node_Id) return List_Id is
976 
   begin
977 
      pragma Assert (False
978 
        or else NT (N).Nkind = N_Conditional_Entry_Call
979 
        or else NT (N).Nkind = N_If_Statement
980 
        or else NT (N).Nkind = N_Selective_Accept);
981 
      return List4 (N);
982 
   end Else_Statements;
983 
 
984 
   function Elsif_Parts
985 
      (N : Node_Id) return List_Id is
986 
   begin
987 
      pragma Assert (False
988 
        or else NT (N).Nkind = N_If_Statement);
989 
      return List3 (N);
990 
   end Elsif_Parts;
991 
 
992 
   function Enclosing_Variant
993 
      (N : Node_Id) return Node_Id is
994 
   begin
995 
      pragma Assert (False
996 
        or else NT (N).Nkind = N_Variant);
997 
      return Node2 (N);
998 
   end Enclosing_Variant;
999 
 
1000 
   function End_Label
1001 
      (N : Node_Id) return Node_Id is
1002 
   begin
1003 
      pragma Assert (False
1004 
        or else NT (N).Nkind = N_Enumeration_Type_Definition
1005 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1006 
        or else NT (N).Nkind = N_Loop_Statement
1007 
        or else NT (N).Nkind = N_Package_Specification
1008 
        or else NT (N).Nkind = N_Protected_Body
1009 
        or else NT (N).Nkind = N_Protected_Definition
1010 
        or else NT (N).Nkind = N_Record_Definition
1011 
        or else NT (N).Nkind = N_Task_Definition);
1012 
      return Node4 (N);
1013 
   end End_Label;
1014 
 
1015 
   function End_Span
1016 
      (N : Node_Id) return Uint is
1017 
   begin
1018 
      pragma Assert (False
1019 
        or else NT (N).Nkind = N_Case_Statement
1020 
        or else NT (N).Nkind = N_If_Statement);
1021 
      return Uint5 (N);
1022 
   end End_Span;
1023 
 
1024 
   function Entity
1025 
      (N : Node_Id) return Node_Id is
1026 
   begin
1027 
      pragma Assert (False
1028 
        or else NT (N).Nkind in N_Has_Entity
1029 
        or else NT (N).Nkind = N_Freeze_Entity
1030 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
1031 
      return Node4 (N);
1032 
   end Entity;
1033 
 
1034 
   function Entity_Or_Associated_Node
1035 
      (N : Node_Id) return Node_Id is
1036 
   begin
1037 
      pragma Assert (False
1038 
        or else NT (N).Nkind in N_Has_Entity
1039 
        or else NT (N).Nkind = N_Freeze_Entity);
1040 
      return Node4 (N);
1041 
   end Entity_Or_Associated_Node;
1042 
 
1043 
   function Entry_Body_Formal_Part
1044 
      (N : Node_Id) return Node_Id is
1045 
   begin
1046 
      pragma Assert (False
1047 
        or else NT (N).Nkind = N_Entry_Body);
1048 
      return Node5 (N);
1049 
   end Entry_Body_Formal_Part;
1050 
 
1051 
   function Entry_Call_Alternative
1052 
      (N : Node_Id) return Node_Id is
1053 
   begin
1054 
      pragma Assert (False
1055 
        or else NT (N).Nkind = N_Conditional_Entry_Call
1056 
        or else NT (N).Nkind = N_Timed_Entry_Call);
1057 
      return Node1 (N);
1058 
   end Entry_Call_Alternative;
1059 
 
1060 
   function Entry_Call_Statement
1061 
      (N : Node_Id) return Node_Id is
1062 
   begin
1063 
      pragma Assert (False
1064 
        or else NT (N).Nkind = N_Entry_Call_Alternative);
1065 
      return Node1 (N);
1066 
   end Entry_Call_Statement;
1067 
 
1068 
   function Entry_Direct_Name
1069 
      (N : Node_Id) return Node_Id is
1070 
   begin
1071 
      pragma Assert (False
1072 
        or else NT (N).Nkind = N_Accept_Statement);
1073 
      return Node1 (N);
1074 
   end Entry_Direct_Name;
1075 
 
1076 
   function Entry_Index
1077 
      (N : Node_Id) return Node_Id is
1078 
   begin
1079 
      pragma Assert (False
1080 
        or else NT (N).Nkind = N_Accept_Statement);
1081 
      return Node5 (N);
1082 
   end Entry_Index;
1083 
 
1084 
   function Entry_Index_Specification
1085 
      (N : Node_Id) return Node_Id is
1086 
   begin
1087 
      pragma Assert (False
1088 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1089 
      return Node4 (N);
1090 
   end Entry_Index_Specification;
1091 
 
1092 
   function Etype
1093 
      (N : Node_Id) return Node_Id is
1094 
   begin
1095 
      pragma Assert (False
1096 
        or else NT (N).Nkind in N_Has_Etype);
1097 
      return Node5 (N);
1098 
   end Etype;
1099 
 
1100 
   function Exception_Choices
1101 
      (N : Node_Id) return List_Id is
1102 
   begin
1103 
      pragma Assert (False
1104 
        or else NT (N).Nkind = N_Exception_Handler);
1105 
      return List4 (N);
1106 
   end Exception_Choices;
1107 
 
1108 
   function Exception_Handlers
1109 
      (N : Node_Id) return List_Id is
1110 
   begin
1111 
      pragma Assert (False
1112 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1113 
      return List5 (N);
1114 
   end Exception_Handlers;
1115 
 
1116 
   function Exception_Junk
1117 
     (N : Node_Id) return Boolean is
1118 
   begin
1119 
      pragma Assert (False
1120 
        or else NT (N).Nkind = N_Block_Statement
1121 
        or else NT (N).Nkind = N_Goto_Statement
1122 
        or else NT (N).Nkind = N_Label
1123 
        or else NT (N).Nkind = N_Object_Declaration
1124 
        or else NT (N).Nkind = N_Subtype_Declaration);
1125 
      return Flag8 (N);
1126 
   end Exception_Junk;
1127 
 
1128 
   function Exception_Label
1129 
     (N : Node_Id) return Node_Id is
1130 
   begin
1131 
      pragma Assert (False
1132 
        or else NT (N).Nkind = N_Exception_Handler
1133 
        or else NT (N).Nkind = N_Push_Constraint_Error_Label
1134 
        or else NT (N).Nkind = N_Push_Program_Error_Label
1135 
        or else NT (N).Nkind = N_Push_Storage_Error_Label);
1136 
      return Node5 (N);
1137 
   end Exception_Label;
1138 
 
1139 
   function Expansion_Delayed
1140 
     (N : Node_Id) return Boolean is
1141 
   begin
1142 
      pragma Assert (False
1143 
        or else NT (N).Nkind = N_Aggregate
1144 
        or else NT (N).Nkind = N_Extension_Aggregate);
1145 
      return Flag11 (N);
1146 
   end Expansion_Delayed;
1147 
 
1148 
   function Explicit_Actual_Parameter
1149 
      (N : Node_Id) return Node_Id is
1150 
   begin
1151 
      pragma Assert (False
1152 
        or else NT (N).Nkind = N_Parameter_Association);
1153 
      return Node3 (N);
1154 
   end Explicit_Actual_Parameter;
1155 
 
1156 
   function Explicit_Generic_Actual_Parameter
1157 
      (N : Node_Id) return Node_Id is
1158 
   begin
1159 
      pragma Assert (False
1160 
        or else NT (N).Nkind = N_Generic_Association);
1161 
      return Node1 (N);
1162 
   end Explicit_Generic_Actual_Parameter;
1163 
 
1164 
   function Expression
1165 
      (N : Node_Id) return Node_Id is
1166 
   begin
1167 
      pragma Assert (False
1168 
        or else NT (N).Nkind = N_Allocator
1169 
        or else NT (N).Nkind = N_Assignment_Statement
1170 
        or else NT (N).Nkind = N_At_Clause
1171 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
1172 
        or else NT (N).Nkind = N_Case_Statement
1173 
        or else NT (N).Nkind = N_Code_Statement
1174 
        or else NT (N).Nkind = N_Component_Association
1175 
        or else NT (N).Nkind = N_Component_Declaration
1176 
        or else NT (N).Nkind = N_Delay_Relative_Statement
1177 
        or else NT (N).Nkind = N_Delay_Until_Statement
1178 
        or else NT (N).Nkind = N_Discriminant_Association
1179 
        or else NT (N).Nkind = N_Discriminant_Specification
1180 
        or else NT (N).Nkind = N_Exception_Declaration
1181 
        or else NT (N).Nkind = N_Free_Statement
1182 
        or else NT (N).Nkind = N_Mod_Clause
1183 
        or else NT (N).Nkind = N_Modular_Type_Definition
1184 
        or else NT (N).Nkind = N_Number_Declaration
1185 
        or else NT (N).Nkind = N_Object_Declaration
1186 
        or else NT (N).Nkind = N_Parameter_Specification
1187 
        or else NT (N).Nkind = N_Pragma_Argument_Association
1188 
        or else NT (N).Nkind = N_Qualified_Expression
1189 
        or else NT (N).Nkind = N_Raise_Statement
1190 
        or else NT (N).Nkind = N_Return_Statement
1191 
        or else NT (N).Nkind = N_Type_Conversion
1192 
        or else NT (N).Nkind = N_Unchecked_Expression
1193 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1194 
      return Node3 (N);
1195 
   end Expression;
1196 
 
1197 
   function Expressions
1198 
      (N : Node_Id) return List_Id is
1199 
   begin
1200 
      pragma Assert (False
1201 
        or else NT (N).Nkind = N_Aggregate
1202 
        or else NT (N).Nkind = N_Attribute_Reference
1203 
        or else NT (N).Nkind = N_Conditional_Expression
1204 
        or else NT (N).Nkind = N_Extension_Aggregate
1205 
        or else NT (N).Nkind = N_Indexed_Component);
1206 
      return List1 (N);
1207 
   end Expressions;
1208 
 
1209 
   function First_Bit
1210 
      (N : Node_Id) return Node_Id is
1211 
   begin
1212 
      pragma Assert (False
1213 
        or else NT (N).Nkind = N_Component_Clause);
1214 
      return Node3 (N);
1215 
   end First_Bit;
1216 
 
1217 
   function First_Inlined_Subprogram
1218 
      (N : Node_Id) return Entity_Id is
1219 
   begin
1220 
      pragma Assert (False
1221 
        or else NT (N).Nkind = N_Compilation_Unit);
1222 
      return Node3 (N);
1223 
   end First_Inlined_Subprogram;
1224 
 
1225 
   function First_Name
1226 
      (N : Node_Id) return Boolean is
1227 
   begin
1228 
      pragma Assert (False
1229 
        or else NT (N).Nkind = N_With_Clause);
1230 
      return Flag5 (N);
1231 
   end First_Name;
1232 
 
1233 
   function First_Named_Actual
1234 
      (N : Node_Id) return Node_Id is
1235 
   begin
1236 
      pragma Assert (False
1237 
        or else NT (N).Nkind = N_Entry_Call_Statement
1238 
        or else NT (N).Nkind = N_Function_Call
1239 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
1240 
      return Node4 (N);
1241 
   end First_Named_Actual;
1242 
 
1243 
   function First_Real_Statement
1244 
      (N : Node_Id) return Node_Id is
1245 
   begin
1246 
      pragma Assert (False
1247 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1248 
      return Node2 (N);
1249 
   end First_Real_Statement;
1250 
 
1251 
   function First_Subtype_Link
1252 
      (N : Node_Id) return Entity_Id is
1253 
   begin
1254 
      pragma Assert (False
1255 
        or else NT (N).Nkind = N_Freeze_Entity);
1256 
      return Node5 (N);
1257 
   end First_Subtype_Link;
1258 
 
1259 
   function Float_Truncate
1260 
      (N : Node_Id) return Boolean is
1261 
   begin
1262 
      pragma Assert (False
1263 
        or else NT (N).Nkind = N_Type_Conversion);
1264 
      return Flag11 (N);
1265 
   end Float_Truncate;
1266 
 
1267 
   function Formal_Type_Definition
1268 
      (N : Node_Id) return Node_Id is
1269 
   begin
1270 
      pragma Assert (False
1271 
        or else NT (N).Nkind = N_Formal_Type_Declaration);
1272 
      return Node3 (N);
1273 
   end Formal_Type_Definition;
1274 
 
1275 
   function Forwards_OK
1276 
      (N : Node_Id) return Boolean is
1277 
   begin
1278 
      pragma Assert (False
1279 
        or else NT (N).Nkind = N_Assignment_Statement);
1280 
      return Flag5 (N);
1281 
   end Forwards_OK;
1282 
 
1283 
   function From_At_End
1284 
      (N : Node_Id) return Boolean is
1285 
   begin
1286 
      pragma Assert (False
1287 
        or else NT (N).Nkind = N_Raise_Statement);
1288 
      return Flag4 (N);
1289 
   end From_At_End;
1290 
 
1291 
   function From_At_Mod
1292 
      (N : Node_Id) return Boolean is
1293 
   begin
1294 
      pragma Assert (False
1295 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
1296 
      return Flag4 (N);
1297 
   end From_At_Mod;
1298 
 
1299 
   function From_Default
1300 
      (N : Node_Id) return Boolean is
1301 
   begin
1302 
      pragma Assert (False
1303 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1304 
      return Flag6 (N);
1305 
   end From_Default;
1306 
 
1307 
   function Generic_Associations
1308 
      (N : Node_Id) return List_Id is
1309 
   begin
1310 
      pragma Assert (False
1311 
        or else NT (N).Nkind = N_Formal_Package_Declaration
1312 
        or else NT (N).Nkind = N_Function_Instantiation
1313 
        or else NT (N).Nkind = N_Package_Instantiation
1314 
        or else NT (N).Nkind = N_Procedure_Instantiation);
1315 
      return List3 (N);
1316 
   end Generic_Associations;
1317 
 
1318 
   function Generic_Formal_Declarations
1319 
      (N : Node_Id) return List_Id is
1320 
   begin
1321 
      pragma Assert (False
1322 
        or else NT (N).Nkind = N_Generic_Package_Declaration
1323 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1324 
      return List2 (N);
1325 
   end Generic_Formal_Declarations;
1326 
 
1327 
   function Generic_Parent
1328 
      (N : Node_Id) return Node_Id is
1329 
   begin
1330 
      pragma Assert (False
1331 
        or else NT (N).Nkind = N_Function_Specification
1332 
        or else NT (N).Nkind = N_Package_Specification
1333 
        or else NT (N).Nkind = N_Procedure_Specification);
1334 
      return Node5 (N);
1335 
   end Generic_Parent;
1336 
 
1337 
   function Generic_Parent_Type
1338 
      (N : Node_Id) return Node_Id is
1339 
   begin
1340 
      pragma Assert (False
1341 
        or else NT (N).Nkind = N_Subtype_Declaration);
1342 
      return Node4 (N);
1343 
   end Generic_Parent_Type;
1344 
 
1345 
   function Handled_Statement_Sequence
1346 
      (N : Node_Id) return Node_Id is
1347 
   begin
1348 
      pragma Assert (False
1349 
        or else NT (N).Nkind = N_Accept_Statement
1350 
        or else NT (N).Nkind = N_Block_Statement
1351 
        or else NT (N).Nkind = N_Entry_Body
1352 
        or else NT (N).Nkind = N_Extended_Return_Statement
1353 
        or else NT (N).Nkind = N_Package_Body
1354 
        or else NT (N).Nkind = N_Subprogram_Body
1355 
        or else NT (N).Nkind = N_Task_Body);
1356 
      return Node4 (N);
1357 
   end Handled_Statement_Sequence;
1358 
 
1359 
   function Handler_List_Entry
1360 
      (N : Node_Id) return Node_Id is
1361 
   begin
1362 
      pragma Assert (False
1363 
        or else NT (N).Nkind = N_Object_Declaration);
1364 
      return Node2 (N);
1365 
   end Handler_List_Entry;
1366 
 
1367 
   function Has_Created_Identifier
1368 
      (N : Node_Id) return Boolean is
1369 
   begin
1370 
      pragma Assert (False
1371 
        or else NT (N).Nkind = N_Block_Statement
1372 
        or else NT (N).Nkind = N_Loop_Statement);
1373 
      return Flag15 (N);
1374 
   end Has_Created_Identifier;
1375 
 
1376 
   function Has_Dynamic_Length_Check
1377 
      (N : Node_Id) return Boolean is
1378 
   begin
1379 
      return Flag10 (N);
1380 
   end Has_Dynamic_Length_Check;
1381 
 
1382 
   function Has_Dynamic_Range_Check
1383 
      (N : Node_Id) return Boolean is
1384 
   begin
1385 
      return Flag12 (N);
1386 
   end Has_Dynamic_Range_Check;
1387 
 
1388 
   function Has_Init_Expression
1389 
      (N : Node_Id) return Boolean is
1390 
   begin
1391 
      pragma Assert (False
1392 
        or else NT (N).Nkind = N_Object_Declaration);
1393 
      return Flag14 (N);
1394 
   end Has_Init_Expression;
1395 
 
1396 
   function Has_Local_Raise
1397 
      (N : Node_Id) return Boolean is
1398 
   begin
1399 
      pragma Assert (False
1400 
        or else NT (N).Nkind = N_Exception_Handler);
1401 
      return Flag8 (N);
1402 
   end Has_Local_Raise;
1403 
 
1404 
   function Has_No_Elaboration_Code
1405 
      (N : Node_Id) return Boolean is
1406 
   begin
1407 
      pragma Assert (False
1408 
        or else NT (N).Nkind = N_Compilation_Unit);
1409 
      return Flag17 (N);
1410 
   end Has_No_Elaboration_Code;
1411 
 
1412 
   function Has_Priority_Pragma
1413 
      (N : Node_Id) return Boolean is
1414 
   begin
1415 
      pragma Assert (False
1416 
        or else NT (N).Nkind = N_Protected_Definition
1417 
        or else NT (N).Nkind = N_Subprogram_Body
1418 
        or else NT (N).Nkind = N_Task_Definition);
1419 
      return Flag6 (N);
1420 
   end Has_Priority_Pragma;
1421 
 
1422 
   function Has_Private_View
1423 
      (N : Node_Id) return Boolean is
1424 
   begin
1425 
      pragma Assert (False
1426 
       or else NT (N).Nkind in N_Op
1427 
       or else NT (N).Nkind = N_Character_Literal
1428 
       or else NT (N).Nkind = N_Expanded_Name
1429 
       or else NT (N).Nkind = N_Identifier
1430 
       or else NT (N).Nkind = N_Operator_Symbol);
1431 
      return Flag11 (N);
1432 
   end Has_Private_View;
1433 
 
1434 
   function Has_Relative_Deadline_Pragma
1435 
      (N : Node_Id) return Boolean is
1436 
   begin
1437 
      pragma Assert (False
1438 
        or else NT (N).Nkind = N_Subprogram_Body
1439 
        or else NT (N).Nkind = N_Task_Definition);
1440 
      return Flag9 (N);
1441 
   end Has_Relative_Deadline_Pragma;
1442 
 
1443 
   function Has_Self_Reference
1444 
      (N : Node_Id) return Boolean is
1445 
   begin
1446 
      pragma Assert (False
1447 
        or else NT (N).Nkind = N_Aggregate
1448 
        or else NT (N).Nkind = N_Extension_Aggregate);
1449 
      return Flag13 (N);
1450 
   end Has_Self_Reference;
1451 
 
1452 
   function Has_Storage_Size_Pragma
1453 
      (N : Node_Id) return Boolean is
1454 
   begin
1455 
      pragma Assert (False
1456 
        or else NT (N).Nkind = N_Task_Definition);
1457 
      return Flag5 (N);
1458 
   end Has_Storage_Size_Pragma;
1459 
 
1460 
   function Has_Task_Info_Pragma
1461 
      (N : Node_Id) return Boolean is
1462 
   begin
1463 
      pragma Assert (False
1464 
        or else NT (N).Nkind = N_Task_Definition);
1465 
      return Flag7 (N);
1466 
   end Has_Task_Info_Pragma;
1467 
 
1468 
   function Has_Task_Name_Pragma
1469 
      (N : Node_Id) return Boolean is
1470 
   begin
1471 
      pragma Assert (False
1472 
        or else NT (N).Nkind = N_Task_Definition);
1473 
      return Flag8 (N);
1474 
   end Has_Task_Name_Pragma;
1475 
 
1476 
   function Has_Wide_Character
1477 
      (N : Node_Id) return Boolean is
1478 
   begin
1479 
      pragma Assert (False
1480 
        or else NT (N).Nkind = N_String_Literal);
1481 
      return Flag11 (N);
1482 
   end Has_Wide_Character;
1483 
 
1484 
   function Has_Wide_Wide_Character
1485 
      (N : Node_Id) return Boolean is
1486 
   begin
1487 
      pragma Assert (False
1488 
        or else NT (N).Nkind = N_String_Literal);
1489 
      return Flag13 (N);
1490 
   end Has_Wide_Wide_Character;
1491 
 
1492 
   function Hidden_By_Use_Clause
1493 
     (N : Node_Id) return Elist_Id is
1494 
   begin
1495 
      pragma Assert (False
1496 
        or else NT (N).Nkind = N_Use_Package_Clause
1497 
        or else NT (N).Nkind = N_Use_Type_Clause);
1498 
      return Elist4 (N);
1499 
   end Hidden_By_Use_Clause;
1500 
 
1501 
   function High_Bound
1502 
      (N : Node_Id) return Node_Id is
1503 
   begin
1504 
      pragma Assert (False
1505 
        or else NT (N).Nkind = N_Range
1506 
        or else NT (N).Nkind = N_Real_Range_Specification
1507 
        or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1508 
      return Node2 (N);
1509 
   end High_Bound;
1510 
 
1511 
   function Identifier
1512 
      (N : Node_Id) return Node_Id is
1513 
   begin
1514 
      pragma Assert (False
1515 
        or else NT (N).Nkind = N_At_Clause
1516 
        or else NT (N).Nkind = N_Block_Statement
1517 
        or else NT (N).Nkind = N_Designator
1518 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause
1519 
        or else NT (N).Nkind = N_Label
1520 
        or else NT (N).Nkind = N_Loop_Statement
1521 
        or else NT (N).Nkind = N_Record_Representation_Clause
1522 
        or else NT (N).Nkind = N_Subprogram_Info);
1523 
      return Node1 (N);
1524 
   end Identifier;
1525 
 
1526 
   function Implicit_With
1527 
      (N : Node_Id) return Boolean is
1528 
   begin
1529 
      pragma Assert (False
1530 
        or else NT (N).Nkind = N_With_Clause);
1531 
      return Flag16 (N);
1532 
   end Implicit_With;
1533 
 
1534 
   function Interface_List
1535 
      (N : Node_Id) return List_Id is
1536 
   begin
1537 
      pragma Assert (False
1538 
        or else NT (N).Nkind = N_Derived_Type_Definition
1539 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1540 
        or else NT (N).Nkind = N_Private_Extension_Declaration
1541 
        or else NT (N).Nkind = N_Protected_Type_Declaration
1542 
        or else NT (N).Nkind = N_Record_Definition
1543 
        or else NT (N).Nkind = N_Single_Protected_Declaration
1544 
        or else NT (N).Nkind = N_Single_Task_Declaration
1545 
        or else NT (N).Nkind = N_Task_Type_Declaration);
1546 
      return List2 (N);
1547 
   end Interface_List;
1548 
 
1549 
   function Interface_Present
1550 
      (N : Node_Id) return Boolean is
1551 
   begin
1552 
      pragma Assert (False
1553 
        or else NT (N).Nkind = N_Derived_Type_Definition
1554 
        or else NT (N).Nkind = N_Record_Definition);
1555 
      return Flag16 (N);
1556 
   end Interface_Present;
1557 
 
1558 
   function In_Present
1559 
      (N : Node_Id) return Boolean is
1560 
   begin
1561 
      pragma Assert (False
1562 
        or else NT (N).Nkind = N_Formal_Object_Declaration
1563 
        or else NT (N).Nkind = N_Parameter_Specification);
1564 
      return Flag15 (N);
1565 
   end In_Present;
1566 
 
1567 
   function Includes_Infinities
1568 
      (N : Node_Id) return Boolean is
1569 
   begin
1570 
      pragma Assert (False
1571 
        or else NT (N).Nkind = N_Range);
1572 
      return Flag11 (N);
1573 
   end Includes_Infinities;
1574 
 
1575 
   function Instance_Spec
1576 
      (N : Node_Id) return Node_Id is
1577 
   begin
1578 
      pragma Assert (False
1579 
        or else NT (N).Nkind = N_Formal_Package_Declaration
1580 
        or else NT (N).Nkind = N_Function_Instantiation
1581 
        or else NT (N).Nkind = N_Package_Instantiation
1582 
        or else NT (N).Nkind = N_Procedure_Instantiation);
1583 
      return Node5 (N);
1584 
   end Instance_Spec;
1585 
 
1586 
   function Intval
1587 
      (N : Node_Id) return Uint is
1588 
   begin
1589 
      pragma Assert (False
1590 
        or else NT (N).Nkind = N_Integer_Literal);
1591 
      return Uint3 (N);
1592 
   end Intval;
1593 
 
1594 
   function Is_Accessibility_Actual
1595 
     (N : Node_Id) return Boolean is
1596 
   begin
1597 
      pragma Assert (False
1598 
        or else NT (N).Nkind = N_Parameter_Association);
1599 
      return Flag13 (N);
1600 
   end Is_Accessibility_Actual;
1601 
 
1602 
   function Is_Asynchronous_Call_Block
1603 
      (N : Node_Id) return Boolean is
1604 
   begin
1605 
      pragma Assert (False
1606 
        or else NT (N).Nkind = N_Block_Statement);
1607 
      return Flag7 (N);
1608 
   end Is_Asynchronous_Call_Block;
1609 
 
1610 
   function Is_Component_Left_Opnd
1611 
      (N : Node_Id) return Boolean is
1612 
   begin
1613 
      pragma Assert (False
1614 
        or else NT (N).Nkind = N_Op_Concat);
1615 
      return Flag13 (N);
1616 
   end Is_Component_Left_Opnd;
1617 
 
1618 
   function Is_Component_Right_Opnd
1619 
      (N : Node_Id) return Boolean is
1620 
   begin
1621 
      pragma Assert (False
1622 
        or else NT (N).Nkind = N_Op_Concat);
1623 
      return Flag14 (N);
1624 
   end Is_Component_Right_Opnd;
1625 
 
1626 
   function Is_Controlling_Actual
1627 
      (N : Node_Id) return Boolean is
1628 
   begin
1629 
      pragma Assert (False
1630 
        or else NT (N).Nkind in N_Subexpr);
1631 
      return Flag16 (N);
1632 
   end Is_Controlling_Actual;
1633 
 
1634 
   function Is_Dynamic_Coextension
1635 
      (N : Node_Id) return Boolean is
1636 
   begin
1637 
      pragma Assert (False
1638 
        or else NT (N).Nkind = N_Allocator);
1639 
      return Flag18 (N);
1640 
   end Is_Dynamic_Coextension;
1641 
 
1642 
   function Is_Elsif
1643 
     (N : Node_Id) return Boolean is
1644 
   begin
1645 
      pragma Assert (False
1646 
        or else NT (N).Nkind = N_Conditional_Expression);
1647 
      return Flag13 (N);
1648 
   end Is_Elsif;
1649 
 
1650 
   function Is_Entry_Barrier_Function
1651 
      (N : Node_Id) return Boolean is
1652 
   begin
1653 
      pragma Assert (False
1654 
        or else NT (N).Nkind = N_Subprogram_Body);
1655 
      return Flag8 (N);
1656 
   end Is_Entry_Barrier_Function;
1657 
 
1658 
   function Is_Expanded_Build_In_Place_Call
1659 
      (N : Node_Id) return Boolean is
1660 
   begin
1661 
      pragma Assert (False
1662 
        or else NT (N).Nkind = N_Function_Call);
1663 
      return Flag11 (N);
1664 
   end Is_Expanded_Build_In_Place_Call;
1665 
 
1666 
   function Is_Folded_In_Parser
1667 
      (N : Node_Id) return Boolean is
1668 
   begin
1669 
      pragma Assert (False
1670 
        or else NT (N).Nkind = N_String_Literal);
1671 
      return Flag4 (N);
1672 
   end Is_Folded_In_Parser;
1673 
 
1674 
   function Is_In_Discriminant_Check
1675 
      (N : Node_Id) return Boolean is
1676 
   begin
1677 
      pragma Assert (False
1678 
        or else NT (N).Nkind = N_Selected_Component);
1679 
      return Flag11 (N);
1680 
   end Is_In_Discriminant_Check;
1681 
 
1682 
   function Is_Machine_Number
1683 
      (N : Node_Id) return Boolean is
1684 
   begin
1685 
      pragma Assert (False
1686 
        or else NT (N).Nkind = N_Real_Literal);
1687 
      return Flag11 (N);
1688 
   end Is_Machine_Number;
1689 
 
1690 
   function Is_Null_Loop
1691 
      (N : Node_Id) return Boolean is
1692 
   begin
1693 
      pragma Assert (False
1694 
        or else NT (N).Nkind = N_Loop_Statement);
1695 
      return Flag16 (N);
1696 
   end Is_Null_Loop;
1697 
 
1698 
   function Is_Overloaded
1699 
      (N : Node_Id) return Boolean is
1700 
   begin
1701 
      pragma Assert (False
1702 
        or else NT (N).Nkind in N_Subexpr);
1703 
      return Flag5 (N);
1704 
   end Is_Overloaded;
1705 
 
1706 
   function Is_Power_Of_2_For_Shift
1707 
      (N : Node_Id) return Boolean is
1708 
   begin
1709 
      pragma Assert (False
1710 
        or else NT (N).Nkind = N_Op_Expon);
1711 
      return Flag13 (N);
1712 
   end Is_Power_Of_2_For_Shift;
1713 
 
1714 
   function Is_Protected_Subprogram_Body
1715 
      (N : Node_Id) return Boolean is
1716 
   begin
1717 
      pragma Assert (False
1718 
        or else NT (N).Nkind = N_Subprogram_Body);
1719 
      return Flag7 (N);
1720 
   end Is_Protected_Subprogram_Body;
1721 
 
1722 
   function Is_Static_Coextension
1723 
      (N : Node_Id) return Boolean is
1724 
   begin
1725 
      pragma Assert (False
1726 
        or else NT (N).Nkind = N_Allocator);
1727 
      return Flag14 (N);
1728 
   end Is_Static_Coextension;
1729 
 
1730 
   function Is_Static_Expression
1731 
      (N : Node_Id) return Boolean is
1732 
   begin
1733 
      pragma Assert (False
1734 
        or else NT (N).Nkind in N_Subexpr);
1735 
      return Flag6 (N);
1736 
   end Is_Static_Expression;
1737 
 
1738 
   function Is_Subprogram_Descriptor
1739 
      (N : Node_Id) return Boolean is
1740 
   begin
1741 
      pragma Assert (False
1742 
        or else NT (N).Nkind = N_Object_Declaration);
1743 
      return Flag16 (N);
1744 
   end Is_Subprogram_Descriptor;
1745 
 
1746 
   function Is_Task_Allocation_Block
1747 
      (N : Node_Id) return Boolean is
1748 
   begin
1749 
      pragma Assert (False
1750 
        or else NT (N).Nkind = N_Block_Statement);
1751 
      return Flag6 (N);
1752 
   end Is_Task_Allocation_Block;
1753 
 
1754 
   function Is_Task_Master
1755 
      (N : Node_Id) return Boolean is
1756 
   begin
1757 
      pragma Assert (False
1758 
        or else NT (N).Nkind = N_Block_Statement
1759 
        or else NT (N).Nkind = N_Subprogram_Body
1760 
        or else NT (N).Nkind = N_Task_Body);
1761 
      return Flag5 (N);
1762 
   end Is_Task_Master;
1763 
 
1764 
   function Iteration_Scheme
1765 
      (N : Node_Id) return Node_Id is
1766 
   begin
1767 
      pragma Assert (False
1768 
        or else NT (N).Nkind = N_Loop_Statement);
1769 
      return Node2 (N);
1770 
   end Iteration_Scheme;
1771 
 
1772 
   function Itype
1773 
      (N : Node_Id) return Node_Id is
1774 
   begin
1775 
      pragma Assert (False
1776 
      or else NT (N).Nkind = N_Itype_Reference);
1777 
      return Node1 (N);
1778 
   end Itype;
1779 
 
1780 
   function Kill_Range_Check
1781 
      (N : Node_Id) return Boolean is
1782 
   begin
1783 
      pragma Assert (False
1784 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1785 
      return Flag11 (N);
1786 
   end Kill_Range_Check;
1787 
 
1788 
   function Label_Construct
1789 
      (N : Node_Id) return Node_Id is
1790 
   begin
1791 
      pragma Assert (False
1792 
        or else NT (N).Nkind = N_Implicit_Label_Declaration);
1793 
      return Node2 (N);
1794 
   end Label_Construct;
1795 
 
1796 
   function Last_Bit
1797 
      (N : Node_Id) return Node_Id is
1798 
   begin
1799 
      pragma Assert (False
1800 
        or else NT (N).Nkind = N_Component_Clause);
1801 
      return Node4 (N);
1802 
   end Last_Bit;
1803 
 
1804 
   function Last_Name
1805 
      (N : Node_Id) return Boolean is
1806 
   begin
1807 
      pragma Assert (False
1808 
        or else NT (N).Nkind = N_With_Clause);
1809 
      return Flag6 (N);
1810 
   end Last_Name;
1811 
 
1812 
   function Left_Opnd
1813 
      (N : Node_Id) return Node_Id is
1814 
   begin
1815 
      pragma Assert (False
1816 
        or else NT (N).Nkind = N_And_Then
1817 
        or else NT (N).Nkind = N_In
1818 
        or else NT (N).Nkind = N_Not_In
1819 
        or else NT (N).Nkind = N_Or_Else
1820 
        or else NT (N).Nkind in N_Binary_Op);
1821 
      return Node2 (N);
1822 
   end Left_Opnd;
1823 
 
1824 
   function Library_Unit
1825 
      (N : Node_Id) return Node_Id is
1826 
   begin
1827 
      pragma Assert (False
1828 
        or else NT (N).Nkind = N_Compilation_Unit
1829 
        or else NT (N).Nkind = N_Package_Body_Stub
1830 
        or else NT (N).Nkind = N_Protected_Body_Stub
1831 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
1832 
        or else NT (N).Nkind = N_Task_Body_Stub
1833 
        or else NT (N).Nkind = N_With_Clause);
1834 
      return Node4 (N);
1835 
   end Library_Unit;
1836 
 
1837 
   function Limited_View_Installed
1838 
      (N : Node_Id) return Boolean is
1839 
   begin
1840 
      pragma Assert (False
1841 
        or else NT (N).Nkind = N_Package_Specification
1842 
        or else NT (N).Nkind = N_With_Clause);
1843 
      return Flag18 (N);
1844 
   end Limited_View_Installed;
1845 
 
1846 
   function Limited_Present
1847 
      (N : Node_Id) return Boolean is
1848 
   begin
1849 
      pragma Assert (False
1850 
        or else NT (N).Nkind = N_Derived_Type_Definition
1851 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1852 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
1853 
        or else NT (N).Nkind = N_Private_Extension_Declaration
1854 
        or else NT (N).Nkind = N_Private_Type_Declaration
1855 
        or else NT (N).Nkind = N_Record_Definition
1856 
        or else NT (N).Nkind = N_With_Clause);
1857 
      return Flag17 (N);
1858 
   end Limited_Present;
1859 
 
1860 
   function Literals
1861 
      (N : Node_Id) return List_Id is
1862 
   begin
1863 
      pragma Assert (False
1864 
        or else NT (N).Nkind = N_Enumeration_Type_Definition);
1865 
      return List1 (N);
1866 
   end Literals;
1867 
 
1868 
   function Local_Raise_Not_OK
1869 
      (N : Node_Id) return Boolean is
1870 
   begin
1871 
      pragma Assert (False
1872 
        or else NT (N).Nkind = N_Exception_Handler);
1873 
      return Flag7 (N);
1874 
   end Local_Raise_Not_OK;
1875 
 
1876 
   function Local_Raise_Statements
1877 
      (N : Node_Id) return Elist_Id is
1878 
   begin
1879 
      pragma Assert (False
1880 
        or else NT (N).Nkind = N_Exception_Handler);
1881 
      return Elist1 (N);
1882 
   end Local_Raise_Statements;
1883 
 
1884 
   function Loop_Actions
1885 
      (N : Node_Id) return List_Id is
1886 
   begin
1887 
      pragma Assert (False
1888 
        or else NT (N).Nkind = N_Component_Association);
1889 
      return List2 (N);
1890 
   end Loop_Actions;
1891 
 
1892 
   function Loop_Parameter_Specification
1893 
      (N : Node_Id) return Node_Id is
1894 
   begin
1895 
      pragma Assert (False
1896 
        or else NT (N).Nkind = N_Iteration_Scheme);
1897 
      return Node4 (N);
1898 
   end Loop_Parameter_Specification;
1899 
 
1900 
   function Low_Bound
1901 
      (N : Node_Id) return Node_Id is
1902 
   begin
1903 
      pragma Assert (False
1904 
        or else NT (N).Nkind = N_Range
1905 
        or else NT (N).Nkind = N_Real_Range_Specification
1906 
        or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1907 
      return Node1 (N);
1908 
   end Low_Bound;
1909 
 
1910 
   function Mod_Clause
1911 
      (N : Node_Id) return Node_Id is
1912 
   begin
1913 
      pragma Assert (False
1914 
        or else NT (N).Nkind = N_Record_Representation_Clause);
1915 
      return Node2 (N);
1916 
   end Mod_Clause;
1917 
 
1918 
   function More_Ids
1919 
      (N : Node_Id) return Boolean is
1920 
   begin
1921 
      pragma Assert (False
1922 
        or else NT (N).Nkind = N_Component_Declaration
1923 
        or else NT (N).Nkind = N_Discriminant_Specification
1924 
        or else NT (N).Nkind = N_Exception_Declaration
1925 
        or else NT (N).Nkind = N_Formal_Object_Declaration
1926 
        or else NT (N).Nkind = N_Number_Declaration
1927 
        or else NT (N).Nkind = N_Object_Declaration
1928 
        or else NT (N).Nkind = N_Parameter_Specification);
1929 
      return Flag5 (N);
1930 
   end More_Ids;
1931 
 
1932 
   function Must_Be_Byte_Aligned
1933 
      (N : Node_Id) return Boolean is
1934 
   begin
1935 
      pragma Assert (False
1936 
        or else NT (N).Nkind = N_Attribute_Reference);
1937 
      return Flag14 (N);
1938 
   end Must_Be_Byte_Aligned;
1939 
 
1940 
   function Must_Not_Freeze
1941 
      (N : Node_Id) return Boolean is
1942 
   begin
1943 
      pragma Assert (False
1944 
        or else NT (N).Nkind = N_Subtype_Indication
1945 
        or else NT (N).Nkind in N_Subexpr);
1946 
      return Flag8 (N);
1947 
   end Must_Not_Freeze;
1948 
 
1949 
   function Must_Not_Override
1950 
      (N : Node_Id) return Boolean is
1951 
   begin
1952 
      pragma Assert (False
1953 
        or else NT (N).Nkind = N_Entry_Declaration
1954 
        or else NT (N).Nkind = N_Function_Instantiation
1955 
        or else NT (N).Nkind = N_Function_Specification
1956 
        or else NT (N).Nkind = N_Procedure_Instantiation
1957 
        or else NT (N).Nkind = N_Procedure_Specification);
1958 
      return Flag15 (N);
1959 
   end Must_Not_Override;
1960 
 
1961 
   function Must_Override
1962 
      (N : Node_Id) return Boolean is
1963 
   begin
1964 
      pragma Assert (False
1965 
        or else NT (N).Nkind = N_Entry_Declaration
1966 
        or else NT (N).Nkind = N_Function_Instantiation
1967 
        or else NT (N).Nkind = N_Function_Specification
1968 
        or else NT (N).Nkind = N_Procedure_Instantiation
1969 
        or else NT (N).Nkind = N_Procedure_Specification);
1970 
      return Flag14 (N);
1971 
   end Must_Override;
1972 
 
1973 
   function Name
1974 
      (N : Node_Id) return Node_Id is
1975 
   begin
1976 
      pragma Assert (False
1977 
        or else NT (N).Nkind = N_Assignment_Statement
1978 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
1979 
        or else NT (N).Nkind = N_Defining_Program_Unit_Name
1980 
        or else NT (N).Nkind = N_Designator
1981 
        or else NT (N).Nkind = N_Entry_Call_Statement
1982 
        or else NT (N).Nkind = N_Exception_Renaming_Declaration
1983 
        or else NT (N).Nkind = N_Exit_Statement
1984 
        or else NT (N).Nkind = N_Formal_Package_Declaration
1985 
        or else NT (N).Nkind = N_Function_Call
1986 
        or else NT (N).Nkind = N_Function_Instantiation
1987 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1988 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1989 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1990 
        or else NT (N).Nkind = N_Goto_Statement
1991 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
1992 
        or else NT (N).Nkind = N_Package_Instantiation
1993 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
1994 
        or else NT (N).Nkind = N_Procedure_Call_Statement
1995 
        or else NT (N).Nkind = N_Procedure_Instantiation
1996 
        or else NT (N).Nkind = N_Raise_Statement
1997 
        or else NT (N).Nkind = N_Requeue_Statement
1998 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1999 
        or else NT (N).Nkind = N_Subunit
2000 
        or else NT (N).Nkind = N_Variant_Part
2001 
        or else NT (N).Nkind = N_With_Clause);
2002 
      return Node2 (N);
2003 
   end Name;
2004 
 
2005 
   function Names
2006 
      (N : Node_Id) return List_Id is
2007 
   begin
2008 
      pragma Assert (False
2009 
        or else NT (N).Nkind = N_Abort_Statement
2010 
        or else NT (N).Nkind = N_Use_Package_Clause);
2011 
      return List2 (N);
2012 
   end Names;
2013 
 
2014 
   function Next_Entity
2015 
      (N : Node_Id) return Node_Id is
2016 
   begin
2017 
      pragma Assert (False
2018 
        or else NT (N).Nkind = N_Defining_Character_Literal
2019 
        or else NT (N).Nkind = N_Defining_Identifier
2020 
        or else NT (N).Nkind = N_Defining_Operator_Symbol);
2021 
      return Node2 (N);
2022 
   end Next_Entity;
2023 
 
2024 
   function Next_Implicit_With
2025 
     (N : Node_Id) return Node_Id is
2026 
   begin
2027 
      pragma Assert (False
2028 
        or else NT (N).Nkind = N_With_Clause);
2029 
      return Node3 (N);
2030 
   end Next_Implicit_With;
2031 
 
2032 
   function Next_Named_Actual
2033 
      (N : Node_Id) return Node_Id is
2034 
   begin
2035 
      pragma Assert (False
2036 
        or else NT (N).Nkind = N_Parameter_Association);
2037 
      return Node4 (N);
2038 
   end Next_Named_Actual;
2039 
 
2040 
   function Next_Pragma
2041 
      (N : Node_Id) return Node_Id is
2042 
   begin
2043 
      pragma Assert (False
2044 
        or else NT (N).Nkind = N_Pragma);
2045 
      return Node1 (N);
2046 
   end Next_Pragma;
2047 
 
2048 
   function Next_Rep_Item
2049 
      (N : Node_Id) return Node_Id is
2050 
   begin
2051 
      pragma Assert (False
2052 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
2053 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause
2054 
        or else NT (N).Nkind = N_Pragma
2055 
        or else NT (N).Nkind = N_Record_Representation_Clause);
2056 
      return Node5 (N);
2057 
   end Next_Rep_Item;
2058 
 
2059 
   function Next_Use_Clause
2060 
      (N : Node_Id) return Node_Id is
2061 
   begin
2062 
      pragma Assert (False
2063 
        or else NT (N).Nkind = N_Use_Package_Clause
2064 
        or else NT (N).Nkind = N_Use_Type_Clause);
2065 
      return Node3 (N);
2066 
   end Next_Use_Clause;
2067 
 
2068 
   function No_Ctrl_Actions
2069 
      (N : Node_Id) return Boolean is
2070 
   begin
2071 
      pragma Assert (False
2072 
        or else NT (N).Nkind = N_Assignment_Statement);
2073 
      return Flag7 (N);
2074 
   end No_Ctrl_Actions;
2075 
 
2076 
   function No_Elaboration_Check
2077 
      (N : Node_Id) return Boolean is
2078 
   begin
2079 
      pragma Assert (False
2080 
        or else NT (N).Nkind = N_Function_Call
2081 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
2082 
      return Flag14 (N);
2083 
   end No_Elaboration_Check;
2084 
 
2085 
   function No_Entities_Ref_In_Spec
2086 
      (N : Node_Id) return Boolean is
2087 
   begin
2088 
      pragma Assert (False
2089 
        or else NT (N).Nkind = N_With_Clause);
2090 
      return Flag8 (N);
2091 
   end No_Entities_Ref_In_Spec;
2092 
 
2093 
   function No_Initialization
2094 
      (N : Node_Id) return Boolean is
2095 
   begin
2096 
      pragma Assert (False
2097 
        or else NT (N).Nkind = N_Allocator
2098 
        or else NT (N).Nkind = N_Object_Declaration);
2099 
      return Flag13 (N);
2100 
   end No_Initialization;
2101 
 
2102 
   function No_Truncation
2103 
      (N : Node_Id) return Boolean is
2104 
   begin
2105 
      pragma Assert (False
2106 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2107 
      return Flag17 (N);
2108 
   end No_Truncation;
2109 
 
2110 
   function Null_Present
2111 
      (N : Node_Id) return Boolean is
2112 
   begin
2113 
      pragma Assert (False
2114 
        or else NT (N).Nkind = N_Component_List
2115 
        or else NT (N).Nkind = N_Procedure_Specification
2116 
        or else NT (N).Nkind = N_Record_Definition);
2117 
      return Flag13 (N);
2118 
   end Null_Present;
2119 
 
2120 
   function Null_Exclusion_Present
2121 
      (N : Node_Id) return Boolean is
2122 
   begin
2123 
      pragma Assert (False
2124 
        or else NT (N).Nkind = N_Access_Definition
2125 
        or else NT (N).Nkind = N_Access_Function_Definition
2126 
        or else NT (N).Nkind = N_Access_Procedure_Definition
2127 
        or else NT (N).Nkind = N_Access_To_Object_Definition
2128 
        or else NT (N).Nkind = N_Allocator
2129 
        or else NT (N).Nkind = N_Component_Definition
2130 
        or else NT (N).Nkind = N_Derived_Type_Definition
2131 
        or else NT (N).Nkind = N_Discriminant_Specification
2132 
        or else NT (N).Nkind = N_Formal_Object_Declaration
2133 
        or else NT (N).Nkind = N_Function_Specification
2134 
        or else NT (N).Nkind = N_Object_Declaration
2135 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
2136 
        or else NT (N).Nkind = N_Parameter_Specification
2137 
        or else NT (N).Nkind = N_Subtype_Declaration);
2138 
      return Flag11 (N);
2139 
   end Null_Exclusion_Present;
2140 
 
2141 
   function Null_Exclusion_In_Return_Present
2142 
      (N : Node_Id) return Boolean is
2143 
   begin
2144 
      pragma Assert (False
2145 
        or else NT (N).Nkind = N_Access_Function_Definition);
2146 
      return Flag14 (N);
2147 
   end Null_Exclusion_In_Return_Present;
2148 
 
2149 
   function Null_Record_Present
2150 
      (N : Node_Id) return Boolean is
2151 
   begin
2152 
      pragma Assert (False
2153 
        or else NT (N).Nkind = N_Aggregate
2154 
        or else NT (N).Nkind = N_Extension_Aggregate);
2155 
      return Flag17 (N);
2156 
   end Null_Record_Present;
2157 
 
2158 
   function Object_Definition
2159 
      (N : Node_Id) return Node_Id is
2160 
   begin
2161 
      pragma Assert (False
2162 
        or else NT (N).Nkind = N_Object_Declaration);
2163 
      return Node4 (N);
2164 
   end Object_Definition;
2165 
 
2166 
   function Original_Discriminant
2167 
      (N : Node_Id) return Node_Id is
2168 
   begin
2169 
      pragma Assert (False
2170 
        or else NT (N).Nkind = N_Identifier);
2171 
      return Node2 (N);
2172 
   end Original_Discriminant;
2173 
 
2174 
   function Original_Entity
2175 
      (N : Node_Id) return Entity_Id is
2176 
   begin
2177 
      pragma Assert (False
2178 
        or else NT (N).Nkind = N_Integer_Literal
2179 
        or else NT (N).Nkind = N_Real_Literal);
2180 
      return Node2 (N);
2181 
   end Original_Entity;
2182 
 
2183 
   function Others_Discrete_Choices
2184 
      (N : Node_Id) return List_Id is
2185 
   begin
2186 
      pragma Assert (False
2187 
        or else NT (N).Nkind = N_Others_Choice);
2188 
      return List1 (N);
2189 
   end Others_Discrete_Choices;
2190 
 
2191 
   function Out_Present
2192 
      (N : Node_Id) return Boolean is
2193 
   begin
2194 
      pragma Assert (False
2195 
        or else NT (N).Nkind = N_Formal_Object_Declaration
2196 
        or else NT (N).Nkind = N_Parameter_Specification);
2197 
      return Flag17 (N);
2198 
   end Out_Present;
2199 
 
2200 
   function Parameter_Associations
2201 
      (N : Node_Id) return List_Id is
2202 
   begin
2203 
      pragma Assert (False
2204 
        or else NT (N).Nkind = N_Entry_Call_Statement
2205 
        or else NT (N).Nkind = N_Function_Call
2206 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
2207 
      return List3 (N);
2208 
   end Parameter_Associations;
2209 
 
2210 
   function Parameter_List_Truncated
2211 
      (N : Node_Id) return Boolean is
2212 
   begin
2213 
      pragma Assert (False
2214 
        or else NT (N).Nkind = N_Function_Call
2215 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
2216 
      return Flag17 (N);
2217 
   end Parameter_List_Truncated;
2218 
 
2219 
   function Parameter_Specifications
2220 
      (N : Node_Id) return List_Id is
2221 
   begin
2222 
      pragma Assert (False
2223 
        or else NT (N).Nkind = N_Accept_Statement
2224 
        or else NT (N).Nkind = N_Access_Function_Definition
2225 
        or else NT (N).Nkind = N_Access_Procedure_Definition
2226 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part
2227 
        or else NT (N).Nkind = N_Entry_Declaration
2228 
        or else NT (N).Nkind = N_Function_Specification
2229 
        or else NT (N).Nkind = N_Procedure_Specification);
2230 
      return List3 (N);
2231 
   end Parameter_Specifications;
2232 
 
2233 
   function Parameter_Type
2234 
      (N : Node_Id) return Node_Id is
2235 
   begin
2236 
      pragma Assert (False
2237 
        or else NT (N).Nkind = N_Parameter_Specification);
2238 
      return Node2 (N);
2239 
   end Parameter_Type;
2240 
 
2241 
   function Parent_Spec
2242 
      (N : Node_Id) return Node_Id is
2243 
   begin
2244 
      pragma Assert (False
2245 
        or else NT (N).Nkind = N_Function_Instantiation
2246 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2247 
        or else NT (N).Nkind = N_Generic_Package_Declaration
2248 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2249 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2250 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2251 
        or else NT (N).Nkind = N_Package_Declaration
2252 
        or else NT (N).Nkind = N_Package_Instantiation
2253 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
2254 
        or else NT (N).Nkind = N_Procedure_Instantiation
2255 
        or else NT (N).Nkind = N_Subprogram_Declaration
2256 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2257 
      return Node4 (N);
2258 
   end Parent_Spec;
2259 
 
2260 
   function Position
2261 
      (N : Node_Id) return Node_Id is
2262 
   begin
2263 
      pragma Assert (False
2264 
        or else NT (N).Nkind = N_Component_Clause);
2265 
      return Node2 (N);
2266 
   end Position;
2267 
 
2268 
   function Pragma_Argument_Associations
2269 
      (N : Node_Id) return List_Id is
2270 
   begin
2271 
      pragma Assert (False
2272 
        or else NT (N).Nkind = N_Pragma);
2273 
      return List2 (N);
2274 
   end Pragma_Argument_Associations;
2275 
 
2276 
   function Pragma_Enabled
2277 
     (N : Node_Id) return Boolean is
2278 
   begin
2279 
      pragma Assert (False
2280 
        or else NT (N).Nkind = N_Pragma);
2281 
      return Flag5 (N);
2282 
   end Pragma_Enabled;
2283 
 
2284 
   function Pragma_Identifier
2285 
      (N : Node_Id) return Node_Id is
2286 
   begin
2287 
      pragma Assert (False
2288 
        or else NT (N).Nkind = N_Pragma);
2289 
      return Node4 (N);
2290 
   end Pragma_Identifier;
2291 
 
2292 
   function Pragmas_After
2293 
      (N : Node_Id) return List_Id is
2294 
   begin
2295 
      pragma Assert (False
2296 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
2297 
        or else NT (N).Nkind = N_Terminate_Alternative);
2298 
      return List5 (N);
2299 
   end Pragmas_After;
2300 
 
2301 
   function Pragmas_Before
2302 
      (N : Node_Id) return List_Id is
2303 
   begin
2304 
      pragma Assert (False
2305 
        or else NT (N).Nkind = N_Accept_Alternative
2306 
        or else NT (N).Nkind = N_Delay_Alternative
2307 
        or else NT (N).Nkind = N_Entry_Call_Alternative
2308 
        or else NT (N).Nkind = N_Mod_Clause
2309 
        or else NT (N).Nkind = N_Terminate_Alternative
2310 
        or else NT (N).Nkind = N_Triggering_Alternative);
2311 
      return List4 (N);
2312 
   end Pragmas_Before;
2313 
 
2314 
   function Prefix
2315 
      (N : Node_Id) return Node_Id is
2316 
   begin
2317 
      pragma Assert (False
2318 
        or else NT (N).Nkind = N_Attribute_Reference
2319 
        or else NT (N).Nkind = N_Expanded_Name
2320 
        or else NT (N).Nkind = N_Explicit_Dereference
2321 
        or else NT (N).Nkind = N_Indexed_Component
2322 
        or else NT (N).Nkind = N_Reference
2323 
        or else NT (N).Nkind = N_Selected_Component
2324 
        or else NT (N).Nkind = N_Slice);
2325 
      return Node3 (N);
2326 
   end Prefix;
2327 
 
2328 
   function Present_Expr
2329 
      (N : Node_Id) return Uint is
2330 
   begin
2331 
      pragma Assert (False
2332 
        or else NT (N).Nkind = N_Variant);
2333 
      return Uint3 (N);
2334 
   end Present_Expr;
2335 
 
2336 
   function Prev_Ids
2337 
      (N : Node_Id) return Boolean is
2338 
   begin
2339 
      pragma Assert (False
2340 
        or else NT (N).Nkind = N_Component_Declaration
2341 
        or else NT (N).Nkind = N_Discriminant_Specification
2342 
        or else NT (N).Nkind = N_Exception_Declaration
2343 
        or else NT (N).Nkind = N_Formal_Object_Declaration
2344 
        or else NT (N).Nkind = N_Number_Declaration
2345 
        or else NT (N).Nkind = N_Object_Declaration
2346 
        or else NT (N).Nkind = N_Parameter_Specification);
2347 
      return Flag6 (N);
2348 
   end Prev_Ids;
2349 
 
2350 
   function Print_In_Hex
2351 
      (N : Node_Id) return Boolean is
2352 
   begin
2353 
      pragma Assert (False
2354 
        or else NT (N).Nkind = N_Integer_Literal);
2355 
      return Flag13 (N);
2356 
   end Print_In_Hex;
2357 
 
2358 
   function Private_Declarations
2359 
      (N : Node_Id) return List_Id is
2360 
   begin
2361 
      pragma Assert (False
2362 
        or else NT (N).Nkind = N_Package_Specification
2363 
        or else NT (N).Nkind = N_Protected_Definition
2364 
        or else NT (N).Nkind = N_Task_Definition);
2365 
      return List3 (N);
2366 
   end Private_Declarations;
2367 
 
2368 
   function Private_Present
2369 
      (N : Node_Id) return Boolean is
2370 
   begin
2371 
      pragma Assert (False
2372 
        or else NT (N).Nkind = N_Compilation_Unit
2373 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2374 
        or else NT (N).Nkind = N_With_Clause);
2375 
      return Flag15 (N);
2376 
   end Private_Present;
2377 
 
2378 
   function Procedure_To_Call
2379 
      (N : Node_Id) return Node_Id is
2380 
   begin
2381 
      pragma Assert (False
2382 
        or else NT (N).Nkind = N_Allocator
2383 
        or else NT (N).Nkind = N_Extended_Return_Statement
2384 
        or else NT (N).Nkind = N_Free_Statement
2385 
        or else NT (N).Nkind = N_Return_Statement);
2386 
      return Node2 (N);
2387 
   end Procedure_To_Call;
2388 
 
2389 
   function Proper_Body
2390 
      (N : Node_Id) return Node_Id is
2391 
   begin
2392 
      pragma Assert (False
2393 
        or else NT (N).Nkind = N_Subunit);
2394 
      return Node1 (N);
2395 
   end Proper_Body;
2396 
 
2397 
   function Protected_Definition
2398 
      (N : Node_Id) return Node_Id is
2399 
   begin
2400 
      pragma Assert (False
2401 
        or else NT (N).Nkind = N_Protected_Type_Declaration
2402 
        or else NT (N).Nkind = N_Single_Protected_Declaration);
2403 
      return Node3 (N);
2404 
   end Protected_Definition;
2405 
 
2406 
   function Protected_Present
2407 
      (N : Node_Id) return Boolean is
2408 
   begin
2409 
      pragma Assert (False
2410 
        or else NT (N).Nkind = N_Access_Function_Definition
2411 
        or else NT (N).Nkind = N_Access_Procedure_Definition
2412 
        or else NT (N).Nkind = N_Derived_Type_Definition
2413 
        or else NT (N).Nkind = N_Record_Definition);
2414 
      return Flag6 (N);
2415 
   end Protected_Present;
2416 
 
2417 
   function Raises_Constraint_Error
2418 
      (N : Node_Id) return Boolean is
2419 
   begin
2420 
      pragma Assert (False
2421 
        or else NT (N).Nkind in N_Subexpr);
2422 
      return Flag7 (N);
2423 
   end Raises_Constraint_Error;
2424 
 
2425 
   function Range_Constraint
2426 
      (N : Node_Id) return Node_Id is
2427 
   begin
2428 
      pragma Assert (False
2429 
        or else NT (N).Nkind = N_Delta_Constraint
2430 
        or else NT (N).Nkind = N_Digits_Constraint);
2431 
      return Node4 (N);
2432 
   end Range_Constraint;
2433 
 
2434 
   function Range_Expression
2435 
      (N : Node_Id) return Node_Id is
2436 
   begin
2437 
      pragma Assert (False
2438 
        or else NT (N).Nkind = N_Range_Constraint);
2439 
      return Node4 (N);
2440 
   end Range_Expression;
2441 
 
2442 
   function Real_Range_Specification
2443 
      (N : Node_Id) return Node_Id is
2444 
   begin
2445 
      pragma Assert (False
2446 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2447 
        or else NT (N).Nkind = N_Floating_Point_Definition
2448 
        or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2449 
      return Node4 (N);
2450 
   end Real_Range_Specification;
2451 
 
2452 
   function Realval
2453 
      (N : Node_Id) return Ureal is
2454 
   begin
2455 
      pragma Assert (False
2456 
        or else NT (N).Nkind = N_Real_Literal);
2457 
      return Ureal3 (N);
2458 
   end Realval;
2459 
 
2460 
   function Reason
2461 
      (N : Node_Id) return Uint is
2462 
   begin
2463 
      pragma Assert (False
2464 
        or else NT (N).Nkind = N_Raise_Constraint_Error
2465 
        or else NT (N).Nkind = N_Raise_Program_Error
2466 
        or else NT (N).Nkind = N_Raise_Storage_Error);
2467 
      return Uint3 (N);
2468 
   end Reason;
2469 
 
2470 
   function Record_Extension_Part
2471 
      (N : Node_Id) return Node_Id is
2472 
   begin
2473 
      pragma Assert (False
2474 
        or else NT (N).Nkind = N_Derived_Type_Definition);
2475 
      return Node3 (N);
2476 
   end Record_Extension_Part;
2477 
 
2478 
   function Redundant_Use
2479 
      (N : Node_Id) return Boolean is
2480 
   begin
2481 
      pragma Assert (False
2482 
        or else NT (N).Nkind = N_Attribute_Reference
2483 
        or else NT (N).Nkind = N_Expanded_Name
2484 
        or else NT (N).Nkind = N_Identifier);
2485 
      return Flag13 (N);
2486 
   end Redundant_Use;
2487 
 
2488 
   function Renaming_Exception
2489 
      (N : Node_Id) return Node_Id is
2490 
   begin
2491 
      pragma Assert (False
2492 
        or else NT (N).Nkind = N_Exception_Declaration);
2493 
      return Node2 (N);
2494 
   end Renaming_Exception;
2495 
 
2496 
   function Result_Definition
2497 
     (N : Node_Id) return Node_Id is
2498 
   begin
2499 
      pragma Assert (False
2500 
        or else NT (N).Nkind = N_Access_Function_Definition
2501 
        or else NT (N).Nkind = N_Function_Specification);
2502 
      return Node4 (N);
2503 
   end Result_Definition;
2504 
 
2505 
   function Return_Object_Declarations
2506 
     (N : Node_Id) return List_Id is
2507 
   begin
2508 
      pragma Assert (False
2509 
        or else NT (N).Nkind = N_Extended_Return_Statement);
2510 
      return List3 (N);
2511 
   end Return_Object_Declarations;
2512 
 
2513 
   function Return_Statement_Entity
2514 
     (N : Node_Id) return Node_Id is
2515 
   begin
2516 
      pragma Assert (False
2517 
        or else NT (N).Nkind = N_Extended_Return_Statement
2518 
        or else NT (N).Nkind = N_Return_Statement);
2519 
      return Node5 (N);
2520 
   end Return_Statement_Entity;
2521 
 
2522 
   function Reverse_Present
2523 
      (N : Node_Id) return Boolean is
2524 
   begin
2525 
      pragma Assert (False
2526 
        or else NT (N).Nkind = N_Loop_Parameter_Specification);
2527 
      return Flag15 (N);
2528 
   end Reverse_Present;
2529 
 
2530 
   function Right_Opnd
2531 
      (N : Node_Id) return Node_Id is
2532 
   begin
2533 
      pragma Assert (False
2534 
        or else NT (N).Nkind in N_Op
2535 
        or else NT (N).Nkind = N_And_Then
2536 
        or else NT (N).Nkind = N_In
2537 
        or else NT (N).Nkind = N_Not_In
2538 
        or else NT (N).Nkind = N_Or_Else);
2539 
      return Node3 (N);
2540 
   end Right_Opnd;
2541 
 
2542 
   function Rounded_Result
2543 
      (N : Node_Id) return Boolean is
2544 
   begin
2545 
      pragma Assert (False
2546 
        or else NT (N).Nkind = N_Op_Divide
2547 
        or else NT (N).Nkind = N_Op_Multiply
2548 
        or else NT (N).Nkind = N_Type_Conversion);
2549 
      return Flag18 (N);
2550 
   end Rounded_Result;
2551 
 
2552 
   function SCIL_Controlling_Tag
2553 
      (N : Node_Id) return Node_Id is
2554 
   begin
2555 
      pragma Assert (False
2556 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2557 
      return Node5 (N);
2558 
   end SCIL_Controlling_Tag;
2559 
 
2560 
   function SCIL_Entity
2561 
      (N : Node_Id) return Node_Id is
2562 
   begin
2563 
      pragma Assert (False
2564 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Object_Init
2565 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2566 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call
2567 
        or else NT (N).Nkind = N_SCIL_Membership_Test
2568 
        or else NT (N).Nkind = N_SCIL_Tag_Init);
2569 
      return Node4 (N);
2570 
   end SCIL_Entity;
2571 
 
2572 
   function SCIL_Related_Node
2573 
      (N : Node_Id) return Node_Id is
2574 
   begin
2575 
      pragma Assert (False
2576 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Object_Init
2577 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2578 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call
2579 
        or else NT (N).Nkind = N_SCIL_Membership_Test
2580 
        or else NT (N).Nkind = N_SCIL_Tag_Init);
2581 
      return Node1 (N);
2582 
   end SCIL_Related_Node;
2583 
 
2584 
   function SCIL_Tag_Value
2585 
      (N : Node_Id) return Node_Id is
2586 
   begin
2587 
      pragma Assert (False
2588 
        or else NT (N).Nkind = N_SCIL_Membership_Test);
2589 
      return Node5 (N);
2590 
   end SCIL_Tag_Value;
2591 
 
2592 
   function SCIL_Target_Prim
2593 
      (N : Node_Id) return Node_Id is
2594 
   begin
2595 
      pragma Assert (False
2596 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2597 
      return Node2 (N);
2598 
   end SCIL_Target_Prim;
2599 
 
2600 
   function Scope
2601 
      (N : Node_Id) return Node_Id is
2602 
   begin
2603 
      pragma Assert (False
2604 
        or else NT (N).Nkind = N_Defining_Character_Literal
2605 
        or else NT (N).Nkind = N_Defining_Identifier
2606 
        or else NT (N).Nkind = N_Defining_Operator_Symbol);
2607 
      return Node3 (N);
2608 
   end Scope;
2609 
 
2610 
   function Select_Alternatives
2611 
      (N : Node_Id) return List_Id is
2612 
   begin
2613 
      pragma Assert (False
2614 
        or else NT (N).Nkind = N_Selective_Accept);
2615 
      return List1 (N);
2616 
   end Select_Alternatives;
2617 
 
2618 
   function Selector_Name
2619 
      (N : Node_Id) return Node_Id is
2620 
   begin
2621 
      pragma Assert (False
2622 
        or else NT (N).Nkind = N_Expanded_Name
2623 
        or else NT (N).Nkind = N_Generic_Association
2624 
        or else NT (N).Nkind = N_Parameter_Association
2625 
        or else NT (N).Nkind = N_Selected_Component);
2626 
      return Node2 (N);
2627 
   end Selector_Name;
2628 
 
2629 
   function Selector_Names
2630 
      (N : Node_Id) return List_Id is
2631 
   begin
2632 
      pragma Assert (False
2633 
        or else NT (N).Nkind = N_Discriminant_Association);
2634 
      return List1 (N);
2635 
   end Selector_Names;
2636 
 
2637 
   function Shift_Count_OK
2638 
      (N : Node_Id) return Boolean is
2639 
   begin
2640 
      pragma Assert (False
2641 
        or else NT (N).Nkind = N_Op_Rotate_Left
2642 
        or else NT (N).Nkind = N_Op_Rotate_Right
2643 
        or else NT (N).Nkind = N_Op_Shift_Left
2644 
        or else NT (N).Nkind = N_Op_Shift_Right
2645 
        or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2646 
      return Flag4 (N);
2647 
   end Shift_Count_OK;
2648 
 
2649 
   function Source_Type
2650 
      (N : Node_Id) return Entity_Id is
2651 
   begin
2652 
      pragma Assert (False
2653 
        or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2654 
      return Node1 (N);
2655 
   end Source_Type;
2656 
 
2657 
   function Specification
2658 
      (N : Node_Id) return Node_Id is
2659 
   begin
2660 
      pragma Assert (False
2661 
        or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2662 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2663 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2664 
        or else NT (N).Nkind = N_Generic_Package_Declaration
2665 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2666 
        or else NT (N).Nkind = N_Package_Declaration
2667 
        or else NT (N).Nkind = N_Subprogram_Body
2668 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
2669 
        or else NT (N).Nkind = N_Subprogram_Declaration
2670 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2671 
      return Node1 (N);
2672 
   end Specification;
2673 
 
2674 
   function Statements
2675 
      (N : Node_Id) return List_Id is
2676 
   begin
2677 
      pragma Assert (False
2678 
        or else NT (N).Nkind = N_Abortable_Part
2679 
        or else NT (N).Nkind = N_Accept_Alternative
2680 
        or else NT (N).Nkind = N_Case_Statement_Alternative
2681 
        or else NT (N).Nkind = N_Delay_Alternative
2682 
        or else NT (N).Nkind = N_Entry_Call_Alternative
2683 
        or else NT (N).Nkind = N_Exception_Handler
2684 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2685 
        or else NT (N).Nkind = N_Loop_Statement
2686 
        or else NT (N).Nkind = N_Triggering_Alternative);
2687 
      return List3 (N);
2688 
   end Statements;
2689 
 
2690 
   function Static_Processing_OK
2691 
      (N : Node_Id) return Boolean is
2692 
   begin
2693 
      pragma Assert (False
2694 
        or else NT (N).Nkind = N_Aggregate);
2695 
      return Flag4 (N);
2696 
   end Static_Processing_OK;
2697 
 
2698 
   function Storage_Pool
2699 
      (N : Node_Id) return Node_Id is
2700 
   begin
2701 
      pragma Assert (False
2702 
        or else NT (N).Nkind = N_Allocator
2703 
        or else NT (N).Nkind = N_Extended_Return_Statement
2704 
        or else NT (N).Nkind = N_Free_Statement
2705 
        or else NT (N).Nkind = N_Return_Statement);
2706 
      return Node1 (N);
2707 
   end Storage_Pool;
2708 
 
2709 
   function Strval
2710 
      (N : Node_Id) return String_Id is
2711 
   begin
2712 
      pragma Assert (False
2713 
        or else NT (N).Nkind = N_Operator_Symbol
2714 
        or else NT (N).Nkind = N_String_Literal);
2715 
      return Str3 (N);
2716 
   end Strval;
2717 
 
2718 
   function Subtype_Indication
2719 
      (N : Node_Id) return Node_Id is
2720 
   begin
2721 
      pragma Assert (False
2722 
        or else NT (N).Nkind = N_Access_To_Object_Definition
2723 
        or else NT (N).Nkind = N_Component_Definition
2724 
        or else NT (N).Nkind = N_Derived_Type_Definition
2725 
        or else NT (N).Nkind = N_Private_Extension_Declaration
2726 
        or else NT (N).Nkind = N_Subtype_Declaration);
2727 
      return Node5 (N);
2728 
   end Subtype_Indication;
2729 
 
2730 
   function Suppress_Loop_Warnings
2731 
      (N : Node_Id) return Boolean is
2732 
   begin
2733 
      pragma Assert (False
2734 
        or else NT (N).Nkind = N_Loop_Statement);
2735 
      return Flag17 (N);
2736 
   end Suppress_Loop_Warnings;
2737 
 
2738 
   function Subtype_Mark
2739 
      (N : Node_Id) return Node_Id is
2740 
   begin
2741 
      pragma Assert (False
2742 
        or else NT (N).Nkind = N_Access_Definition
2743 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2744 
        or else NT (N).Nkind = N_Formal_Object_Declaration
2745 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
2746 
        or else NT (N).Nkind = N_Qualified_Expression
2747 
        or else NT (N).Nkind = N_Subtype_Indication
2748 
        or else NT (N).Nkind = N_Type_Conversion
2749 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2750 
      return Node4 (N);
2751 
   end Subtype_Mark;
2752 
 
2753 
   function Subtype_Marks
2754 
      (N : Node_Id) return List_Id is
2755 
   begin
2756 
      pragma Assert (False
2757 
        or else NT (N).Nkind = N_Unconstrained_Array_Definition
2758 
        or else NT (N).Nkind = N_Use_Type_Clause);
2759 
      return List2 (N);
2760 
   end Subtype_Marks;
2761 
 
2762 
   function Synchronized_Present
2763 
     (N : Node_Id) return Boolean is
2764 
   begin
2765 
      pragma Assert (False
2766 
        or else NT (N).Nkind = N_Derived_Type_Definition
2767 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2768 
        or else NT (N).Nkind = N_Private_Extension_Declaration
2769 
        or else NT (N).Nkind = N_Record_Definition);
2770 
      return Flag7 (N);
2771 
   end Synchronized_Present;
2772 
 
2773 
   function Tagged_Present
2774 
      (N : Node_Id) return Boolean is
2775 
   begin
2776 
      pragma Assert (False
2777 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
2778 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
2779 
        or else NT (N).Nkind = N_Private_Type_Declaration
2780 
        or else NT (N).Nkind = N_Record_Definition);
2781 
      return Flag15 (N);
2782 
   end Tagged_Present;
2783 
 
2784 
   function Target_Type
2785 
      (N : Node_Id) return Entity_Id is
2786 
   begin
2787 
      pragma Assert (False
2788 
        or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2789 
      return Node2 (N);
2790 
   end Target_Type;
2791 
 
2792 
   function Task_Definition
2793 
      (N : Node_Id) return Node_Id is
2794 
   begin
2795 
      pragma Assert (False
2796 
        or else NT (N).Nkind = N_Single_Task_Declaration
2797 
        or else NT (N).Nkind = N_Task_Type_Declaration);
2798 
      return Node3 (N);
2799 
   end Task_Definition;
2800 
 
2801 
   function Task_Present
2802 
     (N : Node_Id) return Boolean is
2803 
   begin
2804 
      pragma Assert (False
2805 
        or else NT (N).Nkind = N_Derived_Type_Definition
2806 
        or else NT (N).Nkind = N_Record_Definition);
2807 
      return Flag5 (N);
2808 
   end Task_Present;
2809 
 
2810 
   function Then_Actions
2811 
      (N : Node_Id) return List_Id is
2812 
   begin
2813 
      pragma Assert (False
2814 
        or else NT (N).Nkind = N_Conditional_Expression);
2815 
      return List2 (N);
2816 
   end Then_Actions;
2817 
 
2818 
   function Then_Statements
2819 
      (N : Node_Id) return List_Id is
2820 
   begin
2821 
      pragma Assert (False
2822 
        or else NT (N).Nkind = N_Elsif_Part
2823 
        or else NT (N).Nkind = N_If_Statement);
2824 
      return List2 (N);
2825 
   end Then_Statements;
2826 
 
2827 
   function Treat_Fixed_As_Integer
2828 
      (N : Node_Id) return Boolean is
2829 
   begin
2830 
      pragma Assert (False
2831 
        or else NT (N).Nkind = N_Op_Divide
2832 
        or else NT (N).Nkind = N_Op_Mod
2833 
        or else NT (N).Nkind = N_Op_Multiply
2834 
        or else NT (N).Nkind = N_Op_Rem);
2835 
      return Flag14 (N);
2836 
   end Treat_Fixed_As_Integer;
2837 
 
2838 
   function Triggering_Alternative
2839 
      (N : Node_Id) return Node_Id is
2840 
   begin
2841 
      pragma Assert (False
2842 
        or else NT (N).Nkind = N_Asynchronous_Select);
2843 
      return Node1 (N);
2844 
   end Triggering_Alternative;
2845 
 
2846 
   function Triggering_Statement
2847 
      (N : Node_Id) return Node_Id is
2848 
   begin
2849 
      pragma Assert (False
2850 
        or else NT (N).Nkind = N_Triggering_Alternative);
2851 
      return Node1 (N);
2852 
   end Triggering_Statement;
2853 
 
2854 
   function TSS_Elist
2855 
      (N : Node_Id) return Elist_Id is
2856 
   begin
2857 
      pragma Assert (False
2858 
        or else NT (N).Nkind = N_Freeze_Entity);
2859 
      return Elist3 (N);
2860 
   end TSS_Elist;
2861 
 
2862 
   function Type_Definition
2863 
      (N : Node_Id) return Node_Id is
2864 
   begin
2865 
      pragma Assert (False
2866 
        or else NT (N).Nkind = N_Full_Type_Declaration);
2867 
      return Node3 (N);
2868 
   end Type_Definition;
2869 
 
2870 
   function Unit
2871 
      (N : Node_Id) return Node_Id is
2872 
   begin
2873 
      pragma Assert (False
2874 
        or else NT (N).Nkind = N_Compilation_Unit);
2875 
      return Node2 (N);
2876 
   end Unit;
2877 
 
2878 
   function Unknown_Discriminants_Present
2879 
      (N : Node_Id) return Boolean is
2880 
   begin
2881 
      pragma Assert (False
2882 
        or else NT (N).Nkind = N_Formal_Type_Declaration
2883 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
2884 
        or else NT (N).Nkind = N_Private_Extension_Declaration
2885 
        or else NT (N).Nkind = N_Private_Type_Declaration);
2886 
      return Flag13 (N);
2887 
   end Unknown_Discriminants_Present;
2888 
 
2889 
   function Unreferenced_In_Spec
2890 
      (N : Node_Id) return Boolean is
2891 
   begin
2892 
      pragma Assert (False
2893 
        or else NT (N).Nkind = N_With_Clause);
2894 
      return Flag7 (N);
2895 
   end Unreferenced_In_Spec;
2896 
 
2897 
   function Variant_Part
2898 
      (N : Node_Id) return Node_Id is
2899 
   begin
2900 
      pragma Assert (False
2901 
        or else NT (N).Nkind = N_Component_List);
2902 
      return Node4 (N);
2903 
   end Variant_Part;
2904 
 
2905 
   function Variants
2906 
      (N : Node_Id) return List_Id is
2907 
   begin
2908 
      pragma Assert (False
2909 
        or else NT (N).Nkind = N_Variant_Part);
2910 
      return List1 (N);
2911 
   end Variants;
2912 
 
2913 
   function Visible_Declarations
2914 
      (N : Node_Id) return List_Id is
2915 
   begin
2916 
      pragma Assert (False
2917 
        or else NT (N).Nkind = N_Package_Specification
2918 
        or else NT (N).Nkind = N_Protected_Definition
2919 
        or else NT (N).Nkind = N_Task_Definition);
2920 
      return List2 (N);
2921 
   end Visible_Declarations;
2922 
 
2923 
   function Was_Originally_Stub
2924 
      (N : Node_Id) return Boolean is
2925 
   begin
2926 
      pragma Assert (False
2927 
        or else NT (N).Nkind = N_Package_Body
2928 
        or else NT (N).Nkind = N_Protected_Body
2929 
        or else NT (N).Nkind = N_Subprogram_Body
2930 
        or else NT (N).Nkind = N_Task_Body);
2931 
      return Flag13 (N);
2932 
   end Was_Originally_Stub;
2933 
 
2934 
   function Zero_Cost_Handling
2935 
      (N : Node_Id) return Boolean is
2936 
   begin
2937 
      pragma Assert (False
2938 
        or else NT (N).Nkind = N_Exception_Handler
2939 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2940 
      return Flag5 (N);
2941 
   end Zero_Cost_Handling;
2942 
 
2943 
   --------------------------
2944 
   -- Field Set Procedures --
2945 
   --------------------------
2946 
 
2947 
   procedure Set_ABE_Is_Certain
2948 
      (N : Node_Id; Val : Boolean := True) is
2949 
   begin
2950 
      pragma Assert (False
2951 
        or else NT (N).Nkind = N_Formal_Package_Declaration
2952 
        or else NT (N).Nkind = N_Function_Call
2953 
        or else NT (N).Nkind = N_Function_Instantiation
2954 
        or else NT (N).Nkind = N_Package_Instantiation
2955 
        or else NT (N).Nkind = N_Procedure_Call_Statement
2956 
        or else NT (N).Nkind = N_Procedure_Instantiation);
2957 
      Set_Flag18 (N, Val);
2958 
   end Set_ABE_Is_Certain;
2959 
 
2960 
   procedure Set_Abort_Present
2961 
      (N : Node_Id; Val : Boolean := True) is
2962 
   begin
2963 
      pragma Assert (False
2964 
        or else NT (N).Nkind = N_Requeue_Statement);
2965 
      Set_Flag15 (N, Val);
2966 
   end Set_Abort_Present;
2967 
 
2968 
   procedure Set_Abortable_Part
2969 
      (N : Node_Id; Val : Node_Id) is
2970 
   begin
2971 
      pragma Assert (False
2972 
        or else NT (N).Nkind = N_Asynchronous_Select);
2973 
      Set_Node2_With_Parent (N, Val);
2974 
   end Set_Abortable_Part;
2975 
 
2976 
   procedure Set_Abstract_Present
2977 
      (N : Node_Id; Val : Boolean := True) is
2978 
   begin
2979 
      pragma Assert (False
2980 
        or else NT (N).Nkind = N_Derived_Type_Definition
2981 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2982 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
2983 
        or else NT (N).Nkind = N_Private_Extension_Declaration
2984 
        or else NT (N).Nkind = N_Private_Type_Declaration
2985 
        or else NT (N).Nkind = N_Record_Definition);
2986 
      Set_Flag4 (N, Val);
2987 
   end Set_Abstract_Present;
2988 
 
2989 
   procedure Set_Accept_Handler_Records
2990 
      (N : Node_Id; Val : List_Id) is
2991 
   begin
2992 
      pragma Assert (False
2993 
        or else NT (N).Nkind = N_Accept_Alternative);
2994 
      Set_List5 (N, Val); -- semantic field, no parent set
2995 
   end Set_Accept_Handler_Records;
2996 
 
2997 
   procedure Set_Accept_Statement
2998 
      (N : Node_Id; Val : Node_Id) is
2999 
   begin
3000 
      pragma Assert (False
3001 
        or else NT (N).Nkind = N_Accept_Alternative);
3002 
      Set_Node2_With_Parent (N, Val);
3003 
   end Set_Accept_Statement;
3004 
 
3005 
   procedure Set_Access_Definition
3006 
     (N : Node_Id; Val : Node_Id) is
3007 
   begin
3008 
      pragma Assert (False
3009 
        or else NT (N).Nkind = N_Component_Definition
3010 
        or else NT (N).Nkind = N_Formal_Object_Declaration
3011 
        or else NT (N).Nkind = N_Object_Renaming_Declaration);
3012 
      Set_Node3_With_Parent (N, Val);
3013 
   end Set_Access_Definition;
3014 
 
3015 
   procedure Set_Access_To_Subprogram_Definition
3016 
     (N : Node_Id; Val : Node_Id) is
3017 
   begin
3018 
      pragma Assert (False
3019 
        or else NT (N).Nkind = N_Access_Definition);
3020 
      Set_Node3_With_Parent (N, Val);
3021 
   end Set_Access_To_Subprogram_Definition;
3022 
 
3023 
   procedure Set_Access_Types_To_Process
3024 
      (N : Node_Id; Val : Elist_Id) is
3025 
   begin
3026 
      pragma Assert (False
3027 
        or else NT (N).Nkind = N_Freeze_Entity);
3028 
      Set_Elist2 (N, Val); -- semantic field, no parent set
3029 
   end Set_Access_Types_To_Process;
3030 
 
3031 
   procedure Set_Actions
3032 
      (N : Node_Id; Val : List_Id) is
3033 
   begin
3034 
      pragma Assert (False
3035 
        or else NT (N).Nkind = N_And_Then
3036 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
3037 
        or else NT (N).Nkind = N_Freeze_Entity
3038 
        or else NT (N).Nkind = N_Or_Else);
3039 
      Set_List1_With_Parent (N, Val);
3040 
   end Set_Actions;
3041 
 
3042 
   procedure Set_Activation_Chain_Entity
3043 
      (N : Node_Id; Val : Node_Id) is
3044 
   begin
3045 
      pragma Assert (False
3046 
        or else NT (N).Nkind = N_Block_Statement
3047 
        or else NT (N).Nkind = N_Entry_Body
3048 
        or else NT (N).Nkind = N_Generic_Package_Declaration
3049 
        or else NT (N).Nkind = N_Package_Declaration
3050 
        or else NT (N).Nkind = N_Subprogram_Body
3051 
        or else NT (N).Nkind = N_Task_Body);
3052 
      Set_Node3 (N, Val); -- semantic field, no parent set
3053 
   end Set_Activation_Chain_Entity;
3054 
 
3055 
   procedure Set_Acts_As_Spec
3056 
      (N : Node_Id; Val : Boolean := True) is
3057 
   begin
3058 
      pragma Assert (False
3059 
        or else NT (N).Nkind = N_Compilation_Unit
3060 
        or else NT (N).Nkind = N_Subprogram_Body);
3061 
      Set_Flag4 (N, Val);
3062 
   end Set_Acts_As_Spec;
3063 
 
3064 
   procedure Set_Actual_Designated_Subtype
3065 
     (N : Node_Id; Val : Node_Id) is
3066 
   begin
3067 
      pragma Assert (False
3068 
        or else NT (N).Nkind = N_Explicit_Dereference
3069 
        or else NT (N).Nkind = N_Free_Statement);
3070 
      Set_Node4 (N, Val);
3071 
   end Set_Actual_Designated_Subtype;
3072 
 
3073 
   procedure Set_Address_Warning_Posted
3074 
      (N : Node_Id; Val : Boolean := True) is
3075 
   begin
3076 
      pragma Assert (False
3077 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
3078 
      Set_Flag18 (N, Val);
3079 
   end Set_Address_Warning_Posted;
3080 
 
3081 
   procedure Set_Aggregate_Bounds
3082 
      (N : Node_Id; Val : Node_Id) is
3083 
   begin
3084 
      pragma Assert (False
3085 
        or else NT (N).Nkind = N_Aggregate);
3086 
      Set_Node3 (N, Val); -- semantic field, no parent set
3087 
   end Set_Aggregate_Bounds;
3088 
 
3089 
   procedure Set_Aliased_Present
3090 
      (N : Node_Id; Val : Boolean := True) is
3091 
   begin
3092 
      pragma Assert (False
3093 
        or else NT (N).Nkind = N_Component_Definition
3094 
        or else NT (N).Nkind = N_Object_Declaration);
3095 
      Set_Flag4 (N, Val);
3096 
   end Set_Aliased_Present;
3097 
 
3098 
   procedure Set_All_Others
3099 
      (N : Node_Id; Val : Boolean := True) is
3100 
   begin
3101 
      pragma Assert (False
3102 
        or else NT (N).Nkind = N_Others_Choice);
3103 
      Set_Flag11 (N, Val);
3104 
   end Set_All_Others;
3105 
 
3106 
   procedure Set_All_Present
3107 
      (N : Node_Id; Val : Boolean := True) is
3108 
   begin
3109 
      pragma Assert (False
3110 
        or else NT (N).Nkind = N_Access_Definition
3111 
        or else NT (N).Nkind = N_Access_To_Object_Definition);
3112 
      Set_Flag15 (N, Val);
3113 
   end Set_All_Present;
3114 
 
3115 
   procedure Set_Alternatives
3116 
      (N : Node_Id; Val : List_Id) is
3117 
   begin
3118 
      pragma Assert (False
3119 
        or else NT (N).Nkind = N_Case_Statement
3120 
        or else NT (N).Nkind = N_In
3121 
        or else NT (N).Nkind = N_Not_In);
3122 
      Set_List4_With_Parent (N, Val);
3123 
   end Set_Alternatives;
3124 
 
3125 
   procedure Set_Ancestor_Part
3126 
      (N : Node_Id; Val : Node_Id) is
3127 
   begin
3128 
      pragma Assert (False
3129 
        or else NT (N).Nkind = N_Extension_Aggregate);
3130 
      Set_Node3_With_Parent (N, Val);
3131 
   end Set_Ancestor_Part;
3132 
 
3133 
   procedure Set_Array_Aggregate
3134 
      (N : Node_Id; Val : Node_Id) is
3135 
   begin
3136 
      pragma Assert (False
3137 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3138 
      Set_Node3_With_Parent (N, Val);
3139 
   end Set_Array_Aggregate;
3140 
 
3141 
   procedure Set_Assignment_OK
3142 
      (N : Node_Id; Val : Boolean := True) is
3143 
   begin
3144 
      pragma Assert (False
3145 
        or else NT (N).Nkind = N_Object_Declaration
3146 
        or else NT (N).Nkind in N_Subexpr);
3147 
      Set_Flag15 (N, Val);
3148 
   end Set_Assignment_OK;
3149 
 
3150 
   procedure Set_Associated_Node
3151 
      (N : Node_Id; Val : Node_Id) is
3152 
   begin
3153 
      pragma Assert (False
3154 
        or else NT (N).Nkind in N_Has_Entity
3155 
        or else NT (N).Nkind = N_Aggregate
3156 
        or else NT (N).Nkind = N_Extension_Aggregate
3157 
        or else NT (N).Nkind = N_Selected_Component);
3158 
      Set_Node4 (N, Val); -- semantic field, no parent set
3159 
   end Set_Associated_Node;
3160 
 
3161 
   procedure Set_At_End_Proc
3162 
      (N : Node_Id; Val : Node_Id) is
3163 
   begin
3164 
      pragma Assert (False
3165 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3166 
      Set_Node1 (N, Val);
3167 
   end Set_At_End_Proc;
3168 
 
3169 
   procedure Set_Attribute_Name
3170 
      (N : Node_Id; Val : Name_Id) is
3171 
   begin
3172 
      pragma Assert (False
3173 
        or else NT (N).Nkind = N_Attribute_Reference);
3174 
      Set_Name2 (N, Val);
3175 
   end Set_Attribute_Name;
3176 
 
3177 
   procedure Set_Aux_Decls_Node
3178 
      (N : Node_Id; Val : Node_Id) is
3179 
   begin
3180 
      pragma Assert (False
3181 
        or else NT (N).Nkind = N_Compilation_Unit);
3182 
      Set_Node5_With_Parent (N, Val);
3183 
   end Set_Aux_Decls_Node;
3184 
 
3185 
   procedure Set_Backwards_OK
3186 
      (N : Node_Id; Val : Boolean := True) is
3187 
   begin
3188 
      pragma Assert (False
3189 
        or else NT (N).Nkind = N_Assignment_Statement);
3190 
      Set_Flag6 (N, Val);
3191 
   end Set_Backwards_OK;
3192 
 
3193 
   procedure Set_Bad_Is_Detected
3194 
      (N : Node_Id; Val : Boolean := True) is
3195 
   begin
3196 
      pragma Assert (False
3197 
        or else NT (N).Nkind = N_Subprogram_Body);
3198 
      Set_Flag15 (N, Val);
3199 
   end Set_Bad_Is_Detected;
3200 
 
3201 
   procedure Set_Body_Required
3202 
      (N : Node_Id; Val : Boolean := True) is
3203 
   begin
3204 
      pragma Assert (False
3205 
        or else NT (N).Nkind = N_Compilation_Unit);
3206 
      Set_Flag13 (N, Val);
3207 
   end Set_Body_Required;
3208 
 
3209 
   procedure Set_Body_To_Inline
3210 
      (N : Node_Id; Val : Node_Id) is
3211 
   begin
3212 
      pragma Assert (False
3213 
        or else NT (N).Nkind = N_Subprogram_Declaration);
3214 
      Set_Node3 (N, Val);
3215 
   end Set_Body_To_Inline;
3216 
 
3217 
   procedure Set_Box_Present
3218 
      (N : Node_Id; Val : Boolean := True) is
3219 
   begin
3220 
      pragma Assert (False
3221 
        or else NT (N).Nkind = N_Component_Association
3222 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3223 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3224 
        or else NT (N).Nkind = N_Formal_Package_Declaration
3225 
        or else NT (N).Nkind = N_Generic_Association);
3226 
      Set_Flag15 (N, Val);
3227 
   end Set_Box_Present;
3228 
 
3229 
   procedure Set_By_Ref
3230 
      (N : Node_Id; Val : Boolean := True) is
3231 
   begin
3232 
      pragma Assert (False
3233 
        or else NT (N).Nkind = N_Extended_Return_Statement
3234 
        or else NT (N).Nkind = N_Return_Statement);
3235 
      Set_Flag5 (N, Val);
3236 
   end Set_By_Ref;
3237 
 
3238 
   procedure Set_Char_Literal_Value
3239 
      (N : Node_Id; Val : Uint) is
3240 
   begin
3241 
      pragma Assert (False
3242 
        or else NT (N).Nkind = N_Character_Literal);
3243 
      Set_Uint2 (N, Val);
3244 
   end Set_Char_Literal_Value;
3245 
 
3246 
   procedure Set_Chars
3247 
      (N : Node_Id; Val : Name_Id) is
3248 
   begin
3249 
      pragma Assert (False
3250 
        or else NT (N).Nkind in N_Has_Chars);
3251 
      Set_Name1 (N, Val);
3252 
   end Set_Chars;
3253 
 
3254 
   procedure Set_Check_Address_Alignment
3255 
      (N : Node_Id; Val : Boolean := True) is
3256 
   begin
3257 
      pragma Assert (False
3258 
          or else NT (N).Nkind = N_Attribute_Definition_Clause);
3259 
      Set_Flag11 (N, Val);
3260 
   end Set_Check_Address_Alignment;
3261 
 
3262 
   procedure Set_Choice_Parameter
3263 
      (N : Node_Id; Val : Node_Id) is
3264 
   begin
3265 
      pragma Assert (False
3266 
        or else NT (N).Nkind = N_Exception_Handler);
3267 
      Set_Node2_With_Parent (N, Val);
3268 
   end Set_Choice_Parameter;
3269 
 
3270 
   procedure Set_Choices
3271 
      (N : Node_Id; Val : List_Id) is
3272 
   begin
3273 
      pragma Assert (False
3274 
        or else NT (N).Nkind = N_Component_Association);
3275 
      Set_List1_With_Parent (N, Val);
3276 
   end Set_Choices;
3277 
 
3278 
   procedure Set_Coextensions
3279 
      (N : Node_Id; Val : Elist_Id) is
3280 
   begin
3281 
      pragma Assert (False
3282 
        or else NT (N).Nkind = N_Allocator);
3283 
      Set_Elist4 (N, Val);
3284 
   end Set_Coextensions;
3285 
 
3286 
   procedure Set_Comes_From_Extended_Return_Statement
3287 
     (N : Node_Id; Val : Boolean := True) is
3288 
   begin
3289 
      pragma Assert (False
3290 
        or else NT (N).Nkind = N_Return_Statement);
3291 
      Set_Flag18 (N, Val);
3292 
   end Set_Comes_From_Extended_Return_Statement;
3293 
 
3294 
   procedure Set_Compile_Time_Known_Aggregate
3295 
      (N : Node_Id; Val : Boolean := True) is
3296 
   begin
3297 
      pragma Assert (False
3298 
        or else NT (N).Nkind = N_Aggregate);
3299 
      Set_Flag18 (N, Val);
3300 
   end Set_Compile_Time_Known_Aggregate;
3301 
 
3302 
   procedure Set_Component_Associations
3303 
      (N : Node_Id; Val : List_Id) is
3304 
   begin
3305 
      pragma Assert (False
3306 
        or else NT (N).Nkind = N_Aggregate
3307 
        or else NT (N).Nkind = N_Extension_Aggregate);
3308 
      Set_List2_With_Parent (N, Val);
3309 
   end Set_Component_Associations;
3310 
 
3311 
   procedure Set_Component_Clauses
3312 
      (N : Node_Id; Val : List_Id) is
3313 
   begin
3314 
      pragma Assert (False
3315 
        or else NT (N).Nkind = N_Record_Representation_Clause);
3316 
      Set_List3_With_Parent (N, Val);
3317 
   end Set_Component_Clauses;
3318 
 
3319 
   procedure Set_Component_Definition
3320 
      (N : Node_Id; Val : Node_Id) is
3321 
   begin
3322 
      pragma Assert (False
3323 
        or else NT (N).Nkind = N_Component_Declaration
3324 
        or else NT (N).Nkind = N_Constrained_Array_Definition
3325 
        or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3326 
      Set_Node4_With_Parent (N, Val);
3327 
   end Set_Component_Definition;
3328 
 
3329 
   procedure Set_Component_Items
3330 
      (N : Node_Id; Val : List_Id) is
3331 
   begin
3332 
      pragma Assert (False
3333 
        or else NT (N).Nkind = N_Component_List);
3334 
      Set_List3_With_Parent (N, Val);
3335 
   end Set_Component_Items;
3336 
 
3337 
   procedure Set_Component_List
3338 
      (N : Node_Id; Val : Node_Id) is
3339 
   begin
3340 
      pragma Assert (False
3341 
        or else NT (N).Nkind = N_Record_Definition
3342 
        or else NT (N).Nkind = N_Variant);
3343 
      Set_Node1_With_Parent (N, Val);
3344 
   end Set_Component_List;
3345 
 
3346 
   procedure Set_Component_Name
3347 
      (N : Node_Id; Val : Node_Id) is
3348 
   begin
3349 
      pragma Assert (False
3350 
        or else NT (N).Nkind = N_Component_Clause);
3351 
      Set_Node1_With_Parent (N, Val);
3352 
   end Set_Component_Name;
3353 
 
3354 
   procedure Set_Componentwise_Assignment
3355 
      (N : Node_Id; Val : Boolean := True) is
3356 
   begin
3357 
      pragma Assert (False
3358 
        or else NT (N).Nkind = N_Assignment_Statement);
3359 
      Set_Flag14 (N, Val);
3360 
   end Set_Componentwise_Assignment;
3361 
 
3362 
   procedure Set_Condition
3363 
      (N : Node_Id; Val : Node_Id) is
3364 
   begin
3365 
      pragma Assert (False
3366 
        or else NT (N).Nkind = N_Accept_Alternative
3367 
        or else NT (N).Nkind = N_Delay_Alternative
3368 
        or else NT (N).Nkind = N_Elsif_Part
3369 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part
3370 
        or else NT (N).Nkind = N_Exit_Statement
3371 
        or else NT (N).Nkind = N_If_Statement
3372 
        or else NT (N).Nkind = N_Iteration_Scheme
3373 
        or else NT (N).Nkind = N_Raise_Constraint_Error
3374 
        or else NT (N).Nkind = N_Raise_Program_Error
3375 
        or else NT (N).Nkind = N_Raise_Storage_Error
3376 
        or else NT (N).Nkind = N_Terminate_Alternative);
3377 
      Set_Node1_With_Parent (N, Val);
3378 
   end Set_Condition;
3379 
 
3380 
   procedure Set_Condition_Actions
3381 
      (N : Node_Id; Val : List_Id) is
3382 
   begin
3383 
      pragma Assert (False
3384 
        or else NT (N).Nkind = N_Elsif_Part
3385 
        or else NT (N).Nkind = N_Iteration_Scheme);
3386 
      Set_List3 (N, Val); -- semantic field, no parent set
3387 
   end Set_Condition_Actions;
3388 
 
3389 
   procedure Set_Config_Pragmas
3390 
      (N : Node_Id; Val : List_Id) is
3391 
   begin
3392 
      pragma Assert (False
3393 
        or else NT (N).Nkind = N_Compilation_Unit_Aux);
3394 
      Set_List4_With_Parent (N, Val);
3395 
   end Set_Config_Pragmas;
3396 
 
3397 
   procedure Set_Constant_Present
3398 
      (N : Node_Id; Val : Boolean := True) is
3399 
   begin
3400 
      pragma Assert (False
3401 
        or else NT (N).Nkind = N_Access_Definition
3402 
        or else NT (N).Nkind = N_Access_To_Object_Definition
3403 
        or else NT (N).Nkind = N_Object_Declaration);
3404 
      Set_Flag17 (N, Val);
3405 
   end Set_Constant_Present;
3406 
 
3407 
   procedure Set_Constraint
3408 
      (N : Node_Id; Val : Node_Id) is
3409 
   begin
3410 
      pragma Assert (False
3411 
        or else NT (N).Nkind = N_Subtype_Indication);
3412 
      Set_Node3_With_Parent (N, Val);
3413 
   end Set_Constraint;
3414 
 
3415 
   procedure Set_Constraints
3416 
      (N : Node_Id; Val : List_Id) is
3417 
   begin
3418 
      pragma Assert (False
3419 
        or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3420 
      Set_List1_With_Parent (N, Val);
3421 
   end Set_Constraints;
3422 
 
3423 
   procedure Set_Context_Installed
3424 
      (N : Node_Id; Val : Boolean := True) is
3425 
   begin
3426 
      pragma Assert (False
3427 
        or else NT (N).Nkind = N_With_Clause);
3428 
      Set_Flag13 (N, Val);
3429 
   end Set_Context_Installed;
3430 
 
3431 
   procedure Set_Context_Items
3432 
      (N : Node_Id; Val : List_Id) is
3433 
   begin
3434 
      pragma Assert (False
3435 
        or else NT (N).Nkind = N_Compilation_Unit);
3436 
      Set_List1_With_Parent (N, Val);
3437 
   end Set_Context_Items;
3438 
 
3439 
   procedure Set_Context_Pending
3440 
      (N : Node_Id; Val : Boolean := True) is
3441 
   begin
3442 
      pragma Assert (False
3443 
        or else NT (N).Nkind = N_Compilation_Unit);
3444 
      Set_Flag16 (N, Val);
3445 
   end Set_Context_Pending;
3446 
 
3447 
   procedure Set_Controlling_Argument
3448 
      (N : Node_Id; Val : Node_Id) is
3449 
   begin
3450 
      pragma Assert (False
3451 
        or else NT (N).Nkind = N_Function_Call
3452 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
3453 
      Set_Node1 (N, Val); -- semantic field, no parent set
3454 
   end Set_Controlling_Argument;
3455 
 
3456 
   procedure Set_Conversion_OK
3457 
      (N : Node_Id; Val : Boolean := True) is
3458 
   begin
3459 
      pragma Assert (False
3460 
        or else NT (N).Nkind = N_Type_Conversion);
3461 
      Set_Flag14 (N, Val);
3462 
   end Set_Conversion_OK;
3463 
 
3464 
   procedure Set_Corresponding_Body
3465 
      (N : Node_Id; Val : Node_Id) is
3466 
   begin
3467 
      pragma Assert (False
3468 
        or else NT (N).Nkind = N_Entry_Declaration
3469 
        or else NT (N).Nkind = N_Generic_Package_Declaration
3470 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3471 
        or else NT (N).Nkind = N_Package_Body_Stub
3472 
        or else NT (N).Nkind = N_Package_Declaration
3473 
        or else NT (N).Nkind = N_Protected_Body_Stub
3474 
        or else NT (N).Nkind = N_Protected_Type_Declaration
3475 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
3476 
        or else NT (N).Nkind = N_Subprogram_Declaration
3477 
        or else NT (N).Nkind = N_Task_Body_Stub
3478 
        or else NT (N).Nkind = N_Task_Type_Declaration);
3479 
      Set_Node5 (N, Val); -- semantic field, no parent set
3480 
   end Set_Corresponding_Body;
3481 
 
3482 
   procedure Set_Corresponding_Formal_Spec
3483 
      (N : Node_Id; Val : Node_Id) is
3484 
   begin
3485 
      pragma Assert (False
3486 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3487 
      Set_Node3 (N, Val); -- semantic field, no parent set
3488 
   end Set_Corresponding_Formal_Spec;
3489 
 
3490 
   procedure Set_Corresponding_Generic_Association
3491 
      (N : Node_Id; Val : Node_Id) is
3492 
   begin
3493 
      pragma Assert (False
3494 
        or else NT (N).Nkind = N_Object_Declaration
3495 
        or else NT (N).Nkind = N_Object_Renaming_Declaration);
3496 
      Set_Node5 (N, Val); -- semantic field, no parent set
3497 
   end Set_Corresponding_Generic_Association;
3498 
 
3499 
   procedure Set_Corresponding_Integer_Value
3500 
      (N : Node_Id; Val : Uint) is
3501 
   begin
3502 
      pragma Assert (False
3503 
        or else NT (N).Nkind = N_Real_Literal);
3504 
      Set_Uint4 (N, Val); -- semantic field, no parent set
3505 
   end Set_Corresponding_Integer_Value;
3506 
 
3507 
   procedure Set_Corresponding_Spec
3508 
      (N : Node_Id; Val : Node_Id) is
3509 
   begin
3510 
      pragma Assert (False
3511 
        or else NT (N).Nkind = N_Package_Body
3512 
        or else NT (N).Nkind = N_Protected_Body
3513 
        or else NT (N).Nkind = N_Subprogram_Body
3514 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3515 
        or else NT (N).Nkind = N_Task_Body
3516 
        or else NT (N).Nkind = N_With_Clause);
3517 
      Set_Node5 (N, Val); -- semantic field, no parent set
3518 
   end Set_Corresponding_Spec;
3519 
 
3520 
   procedure Set_Corresponding_Stub
3521 
      (N : Node_Id; Val : Node_Id) is
3522 
   begin
3523 
      pragma Assert (False
3524 
        or else NT (N).Nkind = N_Subunit);
3525 
      Set_Node3 (N, Val);
3526 
   end Set_Corresponding_Stub;
3527 
 
3528 
   procedure Set_Dcheck_Function
3529 
      (N : Node_Id; Val : Entity_Id) is
3530 
   begin
3531 
      pragma Assert (False
3532 
        or else NT (N).Nkind = N_Variant);
3533 
      Set_Node5 (N, Val); -- semantic field, no parent set
3534 
   end Set_Dcheck_Function;
3535 
 
3536 
   procedure Set_Debug_Statement
3537 
      (N : Node_Id; Val : Node_Id) is
3538 
   begin
3539 
      pragma Assert (False
3540 
        or else NT (N).Nkind = N_Pragma);
3541 
      Set_Node3_With_Parent (N, Val);
3542 
   end Set_Debug_Statement;
3543 
 
3544 
   procedure Set_Declarations
3545 
      (N : Node_Id; Val : List_Id) is
3546 
   begin
3547 
      pragma Assert (False
3548 
        or else NT (N).Nkind = N_Accept_Statement
3549 
        or else NT (N).Nkind = N_Block_Statement
3550 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
3551 
        or else NT (N).Nkind = N_Entry_Body
3552 
        or else NT (N).Nkind = N_Package_Body
3553 
        or else NT (N).Nkind = N_Protected_Body
3554 
        or else NT (N).Nkind = N_Subprogram_Body
3555 
        or else NT (N).Nkind = N_Task_Body);
3556 
      Set_List2_With_Parent (N, Val);
3557 
   end Set_Declarations;
3558 
 
3559 
   procedure Set_Default_Expression
3560 
      (N : Node_Id; Val : Node_Id) is
3561 
   begin
3562 
      pragma Assert (False
3563 
        or else NT (N).Nkind = N_Formal_Object_Declaration
3564 
        or else NT (N).Nkind = N_Parameter_Specification);
3565 
      Set_Node5 (N, Val); -- semantic field, no parent set
3566 
   end Set_Default_Expression;
3567 
 
3568 
   procedure Set_Default_Name
3569 
      (N : Node_Id; Val : Node_Id) is
3570 
   begin
3571 
      pragma Assert (False
3572 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3573 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3574 
      Set_Node2_With_Parent (N, Val);
3575 
   end Set_Default_Name;
3576 
 
3577 
   procedure Set_Defining_Identifier
3578 
      (N : Node_Id; Val : Entity_Id) is
3579 
   begin
3580 
      pragma Assert (False
3581 
        or else NT (N).Nkind = N_Component_Declaration
3582 
        or else NT (N).Nkind = N_Defining_Program_Unit_Name
3583 
        or else NT (N).Nkind = N_Discriminant_Specification
3584 
        or else NT (N).Nkind = N_Entry_Body
3585 
        or else NT (N).Nkind = N_Entry_Declaration
3586 
        or else NT (N).Nkind = N_Entry_Index_Specification
3587 
        or else NT (N).Nkind = N_Exception_Declaration
3588 
        or else NT (N).Nkind = N_Exception_Renaming_Declaration
3589 
        or else NT (N).Nkind = N_Formal_Object_Declaration
3590 
        or else NT (N).Nkind = N_Formal_Package_Declaration
3591 
        or else NT (N).Nkind = N_Formal_Type_Declaration
3592 
        or else NT (N).Nkind = N_Full_Type_Declaration
3593 
        or else NT (N).Nkind = N_Implicit_Label_Declaration
3594 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
3595 
        or else NT (N).Nkind = N_Loop_Parameter_Specification
3596 
        or else NT (N).Nkind = N_Number_Declaration
3597 
        or else NT (N).Nkind = N_Object_Declaration
3598 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
3599 
        or else NT (N).Nkind = N_Package_Body_Stub
3600 
        or else NT (N).Nkind = N_Parameter_Specification
3601 
        or else NT (N).Nkind = N_Private_Extension_Declaration
3602 
        or else NT (N).Nkind = N_Private_Type_Declaration
3603 
        or else NT (N).Nkind = N_Protected_Body
3604 
        or else NT (N).Nkind = N_Protected_Body_Stub
3605 
        or else NT (N).Nkind = N_Protected_Type_Declaration
3606 
        or else NT (N).Nkind = N_Single_Protected_Declaration
3607 
        or else NT (N).Nkind = N_Single_Task_Declaration
3608 
        or else NT (N).Nkind = N_Subtype_Declaration
3609 
        or else NT (N).Nkind = N_Task_Body
3610 
        or else NT (N).Nkind = N_Task_Body_Stub
3611 
        or else NT (N).Nkind = N_Task_Type_Declaration);
3612 
      Set_Node1_With_Parent (N, Val);
3613 
   end Set_Defining_Identifier;
3614 
 
3615 
   procedure Set_Defining_Unit_Name
3616 
      (N : Node_Id; Val : Node_Id) is
3617 
   begin
3618 
      pragma Assert (False
3619 
        or else NT (N).Nkind = N_Function_Instantiation
3620 
        or else NT (N).Nkind = N_Function_Specification
3621 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3622 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3623 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3624 
        or else NT (N).Nkind = N_Package_Body
3625 
        or else NT (N).Nkind = N_Package_Instantiation
3626 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
3627 
        or else NT (N).Nkind = N_Package_Specification
3628 
        or else NT (N).Nkind = N_Procedure_Instantiation
3629 
        or else NT (N).Nkind = N_Procedure_Specification);
3630 
      Set_Node1_With_Parent (N, Val);
3631 
   end Set_Defining_Unit_Name;
3632 
 
3633 
   procedure Set_Delay_Alternative
3634 
      (N : Node_Id; Val : Node_Id) is
3635 
   begin
3636 
      pragma Assert (False
3637 
        or else NT (N).Nkind = N_Timed_Entry_Call);
3638 
      Set_Node4_With_Parent (N, Val);
3639 
   end Set_Delay_Alternative;
3640 
 
3641 
   procedure Set_Delay_Statement
3642 
      (N : Node_Id; Val : Node_Id) is
3643 
   begin
3644 
      pragma Assert (False
3645 
        or else NT (N).Nkind = N_Delay_Alternative);
3646 
      Set_Node2_With_Parent (N, Val);
3647 
   end Set_Delay_Statement;
3648 
 
3649 
   procedure Set_Delta_Expression
3650 
      (N : Node_Id; Val : Node_Id) is
3651 
   begin
3652 
      pragma Assert (False
3653 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3654 
        or else NT (N).Nkind = N_Delta_Constraint
3655 
        or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3656 
      Set_Node3_With_Parent (N, Val);
3657 
   end Set_Delta_Expression;
3658 
 
3659 
   procedure Set_Digits_Expression
3660 
      (N : Node_Id; Val : Node_Id) is
3661 
   begin
3662 
      pragma Assert (False
3663 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3664 
        or else NT (N).Nkind = N_Digits_Constraint
3665 
        or else NT (N).Nkind = N_Floating_Point_Definition);
3666 
      Set_Node2_With_Parent (N, Val);
3667 
   end Set_Digits_Expression;
3668 
 
3669 
   procedure Set_Discr_Check_Funcs_Built
3670 
      (N : Node_Id; Val : Boolean := True) is
3671 
   begin
3672 
      pragma Assert (False
3673 
        or else NT (N).Nkind = N_Full_Type_Declaration);
3674 
      Set_Flag11 (N, Val);
3675 
   end Set_Discr_Check_Funcs_Built;
3676 
 
3677 
   procedure Set_Discrete_Choices
3678 
      (N : Node_Id; Val : List_Id) is
3679 
   begin
3680 
      pragma Assert (False
3681 
        or else NT (N).Nkind = N_Case_Statement_Alternative
3682 
        or else NT (N).Nkind = N_Variant);
3683 
      Set_List4_With_Parent (N, Val);
3684 
   end Set_Discrete_Choices;
3685 
 
3686 
   procedure Set_Discrete_Range
3687 
      (N : Node_Id; Val : Node_Id) is
3688 
   begin
3689 
      pragma Assert (False
3690 
        or else NT (N).Nkind = N_Slice);
3691 
      Set_Node4_With_Parent (N, Val);
3692 
   end Set_Discrete_Range;
3693 
 
3694 
   procedure Set_Discrete_Subtype_Definition
3695 
      (N : Node_Id; Val : Node_Id) is
3696 
   begin
3697 
      pragma Assert (False
3698 
        or else NT (N).Nkind = N_Entry_Declaration
3699 
        or else NT (N).Nkind = N_Entry_Index_Specification
3700 
        or else NT (N).Nkind = N_Loop_Parameter_Specification);
3701 
      Set_Node4_With_Parent (N, Val);
3702 
   end Set_Discrete_Subtype_Definition;
3703 
 
3704 
   procedure Set_Discrete_Subtype_Definitions
3705 
      (N : Node_Id; Val : List_Id) is
3706 
   begin
3707 
      pragma Assert (False
3708 
        or else NT (N).Nkind = N_Constrained_Array_Definition);
3709 
      Set_List2_With_Parent (N, Val);
3710 
   end Set_Discrete_Subtype_Definitions;
3711 
 
3712 
   procedure Set_Discriminant_Specifications
3713 
      (N : Node_Id; Val : List_Id) is
3714 
   begin
3715 
      pragma Assert (False
3716 
        or else NT (N).Nkind = N_Formal_Type_Declaration
3717 
        or else NT (N).Nkind = N_Full_Type_Declaration
3718 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
3719 
        or else NT (N).Nkind = N_Private_Extension_Declaration
3720 
        or else NT (N).Nkind = N_Private_Type_Declaration
3721 
        or else NT (N).Nkind = N_Protected_Type_Declaration
3722 
        or else NT (N).Nkind = N_Task_Type_Declaration);
3723 
      Set_List4_With_Parent (N, Val);
3724 
   end Set_Discriminant_Specifications;
3725 
 
3726 
   procedure Set_Discriminant_Type
3727 
      (N : Node_Id; Val : Node_Id) is
3728 
   begin
3729 
      pragma Assert (False
3730 
        or else NT (N).Nkind = N_Discriminant_Specification);
3731 
      Set_Node5_With_Parent (N, Val);
3732 
   end Set_Discriminant_Type;
3733 
 
3734 
   procedure Set_Do_Accessibility_Check
3735 
      (N : Node_Id; Val : Boolean := True) is
3736 
   begin
3737 
      pragma Assert (False
3738 
        or else NT (N).Nkind = N_Parameter_Specification);
3739 
      Set_Flag13 (N, Val);
3740 
   end Set_Do_Accessibility_Check;
3741 
 
3742 
   procedure Set_Do_Discriminant_Check
3743 
      (N : Node_Id; Val : Boolean := True) is
3744 
   begin
3745 
      pragma Assert (False
3746 
        or else NT (N).Nkind = N_Selected_Component);
3747 
      Set_Flag13 (N, Val);
3748 
   end Set_Do_Discriminant_Check;
3749 
 
3750 
   procedure Set_Do_Division_Check
3751 
      (N : Node_Id; Val : Boolean := True) is
3752 
   begin
3753 
      pragma Assert (False
3754 
        or else NT (N).Nkind = N_Op_Divide
3755 
        or else NT (N).Nkind = N_Op_Mod
3756 
        or else NT (N).Nkind = N_Op_Rem);
3757 
      Set_Flag13 (N, Val);
3758 
   end Set_Do_Division_Check;
3759 
 
3760 
   procedure Set_Do_Length_Check
3761 
      (N : Node_Id; Val : Boolean := True) is
3762 
   begin
3763 
      pragma Assert (False
3764 
        or else NT (N).Nkind = N_Assignment_Statement
3765 
        or else NT (N).Nkind = N_Op_And
3766 
        or else NT (N).Nkind = N_Op_Or
3767 
        or else NT (N).Nkind = N_Op_Xor
3768 
        or else NT (N).Nkind = N_Type_Conversion);
3769 
      Set_Flag4 (N, Val);
3770 
   end Set_Do_Length_Check;
3771 
 
3772 
   procedure Set_Do_Overflow_Check
3773 
      (N : Node_Id; Val : Boolean := True) is
3774 
   begin
3775 
      pragma Assert (False
3776 
        or else NT (N).Nkind in N_Op
3777 
        or else NT (N).Nkind = N_Attribute_Reference
3778 
        or else NT (N).Nkind = N_Type_Conversion);
3779 
      Set_Flag17 (N, Val);
3780 
   end Set_Do_Overflow_Check;
3781 
 
3782 
   procedure Set_Do_Range_Check
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_Flag9 (N, Val);
3788 
   end Set_Do_Range_Check;
3789 
 
3790 
   procedure Set_Do_Storage_Check
3791 
      (N : Node_Id; Val : Boolean := True) is
3792 
   begin
3793 
      pragma Assert (False
3794 
        or else NT (N).Nkind = N_Allocator
3795 
        or else NT (N).Nkind = N_Subprogram_Body);
3796 
      Set_Flag17 (N, Val);
3797 
   end Set_Do_Storage_Check;
3798 
 
3799 
   procedure Set_Do_Tag_Check
3800 
      (N : Node_Id; Val : Boolean := True) is
3801 
   begin
3802 
      pragma Assert (False
3803 
        or else NT (N).Nkind = N_Assignment_Statement
3804 
        or else NT (N).Nkind = N_Extended_Return_Statement
3805 
        or else NT (N).Nkind = N_Function_Call
3806 
        or else NT (N).Nkind = N_Procedure_Call_Statement
3807 
        or else NT (N).Nkind = N_Return_Statement
3808 
        or else NT (N).Nkind = N_Type_Conversion);
3809 
      Set_Flag13 (N, Val);
3810 
   end Set_Do_Tag_Check;
3811 
 
3812 
   procedure Set_Elaborate_All_Desirable
3813 
      (N : Node_Id; Val : Boolean := True) is
3814 
   begin
3815 
      pragma Assert (False
3816 
        or else NT (N).Nkind = N_With_Clause);
3817 
      Set_Flag9 (N, Val);
3818 
   end Set_Elaborate_All_Desirable;
3819 
 
3820 
   procedure Set_Elaborate_All_Present
3821 
      (N : Node_Id; Val : Boolean := True) is
3822 
   begin
3823 
      pragma Assert (False
3824 
        or else NT (N).Nkind = N_With_Clause);
3825 
      Set_Flag14 (N, Val);
3826 
   end Set_Elaborate_All_Present;
3827 
 
3828 
   procedure Set_Elaborate_Desirable
3829 
      (N : Node_Id; Val : Boolean := True) is
3830 
   begin
3831 
      pragma Assert (False
3832 
        or else NT (N).Nkind = N_With_Clause);
3833 
      Set_Flag11 (N, Val);
3834 
   end Set_Elaborate_Desirable;
3835 
 
3836 
   procedure Set_Elaborate_Present
3837 
      (N : Node_Id; Val : Boolean := True) is
3838 
   begin
3839 
      pragma Assert (False
3840 
        or else NT (N).Nkind = N_With_Clause);
3841 
      Set_Flag4 (N, Val);
3842 
   end Set_Elaborate_Present;
3843 
 
3844 
   procedure Set_Elaboration_Boolean
3845 
      (N : Node_Id; Val : Node_Id) is
3846 
   begin
3847 
      pragma Assert (False
3848 
        or else NT (N).Nkind = N_Function_Specification
3849 
        or else NT (N).Nkind = N_Procedure_Specification);
3850 
      Set_Node2 (N, Val);
3851 
   end Set_Elaboration_Boolean;
3852 
 
3853 
   procedure Set_Else_Actions
3854 
      (N : Node_Id; Val : List_Id) is
3855 
   begin
3856 
      pragma Assert (False
3857 
        or else NT (N).Nkind = N_Conditional_Expression);
3858 
      Set_List3 (N, Val); -- semantic field, no parent set
3859 
   end Set_Else_Actions;
3860 
 
3861 
   procedure Set_Else_Statements
3862 
      (N : Node_Id; Val : List_Id) is
3863 
   begin
3864 
      pragma Assert (False
3865 
        or else NT (N).Nkind = N_Conditional_Entry_Call
3866 
        or else NT (N).Nkind = N_If_Statement
3867 
        or else NT (N).Nkind = N_Selective_Accept);
3868 
      Set_List4_With_Parent (N, Val);
3869 
   end Set_Else_Statements;
3870 
 
3871 
   procedure Set_Elsif_Parts
3872 
      (N : Node_Id; Val : List_Id) is
3873 
   begin
3874 
      pragma Assert (False
3875 
        or else NT (N).Nkind = N_If_Statement);
3876 
      Set_List3_With_Parent (N, Val);
3877 
   end Set_Elsif_Parts;
3878 
 
3879 
   procedure Set_Enclosing_Variant
3880 
      (N : Node_Id; Val : Node_Id) is
3881 
   begin
3882 
      pragma Assert (False
3883 
        or else NT (N).Nkind = N_Variant);
3884 
      Set_Node2 (N, Val); -- semantic field, no parent set
3885 
   end Set_Enclosing_Variant;
3886 
 
3887 
   procedure Set_End_Label
3888 
      (N : Node_Id; Val : Node_Id) is
3889 
   begin
3890 
      pragma Assert (False
3891 
        or else NT (N).Nkind = N_Enumeration_Type_Definition
3892 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3893 
        or else NT (N).Nkind = N_Loop_Statement
3894 
        or else NT (N).Nkind = N_Package_Specification
3895 
        or else NT (N).Nkind = N_Protected_Body
3896 
        or else NT (N).Nkind = N_Protected_Definition
3897 
        or else NT (N).Nkind = N_Record_Definition
3898 
        or else NT (N).Nkind = N_Task_Definition);
3899 
      Set_Node4_With_Parent (N, Val);
3900 
   end Set_End_Label;
3901 
 
3902 
   procedure Set_End_Span
3903 
      (N : Node_Id; Val : Uint) is
3904 
   begin
3905 
      pragma Assert (False
3906 
        or else NT (N).Nkind = N_Case_Statement
3907 
        or else NT (N).Nkind = N_If_Statement);
3908 
      Set_Uint5 (N, Val);
3909 
   end Set_End_Span;
3910 
 
3911 
   procedure Set_Entity
3912 
      (N : Node_Id; Val : Node_Id) is
3913 
   begin
3914 
      pragma Assert (False
3915 
        or else NT (N).Nkind in N_Has_Entity
3916 
        or else NT (N).Nkind = N_Freeze_Entity
3917 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
3918 
      Set_Node4 (N, Val); -- semantic field, no parent set
3919 
   end Set_Entity;
3920 
 
3921 
   procedure Set_Entry_Body_Formal_Part
3922 
      (N : Node_Id; Val : Node_Id) is
3923 
   begin
3924 
      pragma Assert (False
3925 
        or else NT (N).Nkind = N_Entry_Body);
3926 
      Set_Node5_With_Parent (N, Val);
3927 
   end Set_Entry_Body_Formal_Part;
3928 
 
3929 
   procedure Set_Entry_Call_Alternative
3930 
      (N : Node_Id; Val : Node_Id) is
3931 
   begin
3932 
      pragma Assert (False
3933 
        or else NT (N).Nkind = N_Conditional_Entry_Call
3934 
        or else NT (N).Nkind = N_Timed_Entry_Call);
3935 
      Set_Node1_With_Parent (N, Val);
3936 
   end Set_Entry_Call_Alternative;
3937 
 
3938 
   procedure Set_Entry_Call_Statement
3939 
      (N : Node_Id; Val : Node_Id) is
3940 
   begin
3941 
      pragma Assert (False
3942 
        or else NT (N).Nkind = N_Entry_Call_Alternative);
3943 
      Set_Node1_With_Parent (N, Val);
3944 
   end Set_Entry_Call_Statement;
3945 
 
3946 
   procedure Set_Entry_Direct_Name
3947 
      (N : Node_Id; Val : Node_Id) is
3948 
   begin
3949 
      pragma Assert (False
3950 
        or else NT (N).Nkind = N_Accept_Statement);
3951 
      Set_Node1_With_Parent (N, Val);
3952 
   end Set_Entry_Direct_Name;
3953 
 
3954 
   procedure Set_Entry_Index
3955 
      (N : Node_Id; Val : Node_Id) is
3956 
   begin
3957 
      pragma Assert (False
3958 
        or else NT (N).Nkind = N_Accept_Statement);
3959 
      Set_Node5_With_Parent (N, Val);
3960 
   end Set_Entry_Index;
3961 
 
3962 
   procedure Set_Entry_Index_Specification
3963 
      (N : Node_Id; Val : Node_Id) is
3964 
   begin
3965 
      pragma Assert (False
3966 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3967 
      Set_Node4_With_Parent (N, Val);
3968 
   end Set_Entry_Index_Specification;
3969 
 
3970 
   procedure Set_Etype
3971 
      (N : Node_Id; Val : Node_Id) is
3972 
   begin
3973 
      pragma Assert (False
3974 
        or else NT (N).Nkind in N_Has_Etype);
3975 
      Set_Node5 (N, Val); -- semantic field, no parent set
3976 
   end Set_Etype;
3977 
 
3978 
   procedure Set_Exception_Choices
3979 
      (N : Node_Id; Val : List_Id) is
3980 
   begin
3981 
      pragma Assert (False
3982 
        or else NT (N).Nkind = N_Exception_Handler);
3983 
      Set_List4_With_Parent (N, Val);
3984 
   end Set_Exception_Choices;
3985 
 
3986 
   procedure Set_Exception_Handlers
3987 
      (N : Node_Id; Val : List_Id) is
3988 
   begin
3989 
      pragma Assert (False
3990 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3991 
      Set_List5_With_Parent (N, Val);
3992 
   end Set_Exception_Handlers;
3993 
 
3994 
   procedure Set_Exception_Junk
3995 
     (N : Node_Id; Val : Boolean := True) is
3996 
   begin
3997 
      pragma Assert (False
3998 
        or else NT (N).Nkind = N_Block_Statement
3999 
        or else NT (N).Nkind = N_Goto_Statement
4000 
        or else NT (N).Nkind = N_Label
4001 
        or else NT (N).Nkind = N_Object_Declaration
4002 
        or else NT (N).Nkind = N_Subtype_Declaration);
4003 
      Set_Flag8 (N, Val);
4004 
   end Set_Exception_Junk;
4005 
 
4006 
   procedure Set_Exception_Label
4007 
     (N : Node_Id; Val : Node_Id) is
4008 
   begin
4009 
      pragma Assert (False
4010 
        or else NT (N).Nkind = N_Exception_Handler
4011 
        or else NT (N).Nkind = N_Push_Constraint_Error_Label
4012 
        or else NT (N).Nkind = N_Push_Program_Error_Label
4013 
        or else NT (N).Nkind = N_Push_Storage_Error_Label);
4014 
      Set_Node5 (N, Val); -- semantic field, no parent set
4015 
   end Set_Exception_Label;
4016 
 
4017 
   procedure Set_Expansion_Delayed
4018 
     (N : Node_Id; Val : Boolean := True) is
4019 
   begin
4020 
      pragma Assert (False
4021 
        or else NT (N).Nkind = N_Aggregate
4022 
        or else NT (N).Nkind = N_Extension_Aggregate);
4023 
      Set_Flag11 (N, Val);
4024 
   end Set_Expansion_Delayed;
4025 
 
4026 
   procedure Set_Explicit_Actual_Parameter
4027 
      (N : Node_Id; Val : Node_Id) is
4028 
   begin
4029 
      pragma Assert (False
4030 
        or else NT (N).Nkind = N_Parameter_Association);
4031 
      Set_Node3_With_Parent (N, Val);
4032 
   end Set_Explicit_Actual_Parameter;
4033 
 
4034 
   procedure Set_Explicit_Generic_Actual_Parameter
4035 
      (N : Node_Id; Val : Node_Id) is
4036 
   begin
4037 
      pragma Assert (False
4038 
        or else NT (N).Nkind = N_Generic_Association);
4039 
      Set_Node1_With_Parent (N, Val);
4040 
   end Set_Explicit_Generic_Actual_Parameter;
4041 
 
4042 
   procedure Set_Expression
4043 
      (N : Node_Id; Val : Node_Id) is
4044 
   begin
4045 
      pragma Assert (False
4046 
        or else NT (N).Nkind = N_Allocator
4047 
        or else NT (N).Nkind = N_Assignment_Statement
4048 
        or else NT (N).Nkind = N_At_Clause
4049 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
4050 
        or else NT (N).Nkind = N_Case_Statement
4051 
        or else NT (N).Nkind = N_Code_Statement
4052 
        or else NT (N).Nkind = N_Component_Association
4053 
        or else NT (N).Nkind = N_Component_Declaration
4054 
        or else NT (N).Nkind = N_Delay_Relative_Statement
4055 
        or else NT (N).Nkind = N_Delay_Until_Statement
4056 
        or else NT (N).Nkind = N_Discriminant_Association
4057 
        or else NT (N).Nkind = N_Discriminant_Specification
4058 
        or else NT (N).Nkind = N_Exception_Declaration
4059 
        or else NT (N).Nkind = N_Free_Statement
4060 
        or else NT (N).Nkind = N_Mod_Clause
4061 
        or else NT (N).Nkind = N_Modular_Type_Definition
4062 
        or else NT (N).Nkind = N_Number_Declaration
4063 
        or else NT (N).Nkind = N_Object_Declaration
4064 
        or else NT (N).Nkind = N_Parameter_Specification
4065 
        or else NT (N).Nkind = N_Pragma_Argument_Association
4066 
        or else NT (N).Nkind = N_Qualified_Expression
4067 
        or else NT (N).Nkind = N_Raise_Statement
4068 
        or else NT (N).Nkind = N_Return_Statement
4069 
        or else NT (N).Nkind = N_Type_Conversion
4070 
        or else NT (N).Nkind = N_Unchecked_Expression
4071 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4072 
      Set_Node3_With_Parent (N, Val);
4073 
   end Set_Expression;
4074 
 
4075 
   procedure Set_Expressions
4076 
      (N : Node_Id; Val : List_Id) is
4077 
   begin
4078 
      pragma Assert (False
4079 
        or else NT (N).Nkind = N_Aggregate
4080 
        or else NT (N).Nkind = N_Attribute_Reference
4081 
        or else NT (N).Nkind = N_Conditional_Expression
4082 
        or else NT (N).Nkind = N_Extension_Aggregate
4083 
        or else NT (N).Nkind = N_Indexed_Component);
4084 
      Set_List1_With_Parent (N, Val);
4085 
   end Set_Expressions;
4086 
 
4087 
   procedure Set_First_Bit
4088 
      (N : Node_Id; Val : Node_Id) is
4089 
   begin
4090 
      pragma Assert (False
4091 
        or else NT (N).Nkind = N_Component_Clause);
4092 
      Set_Node3_With_Parent (N, Val);
4093 
   end Set_First_Bit;
4094 
 
4095 
   procedure Set_First_Inlined_Subprogram
4096 
      (N : Node_Id; Val : Entity_Id) is
4097 
   begin
4098 
      pragma Assert (False
4099 
        or else NT (N).Nkind = N_Compilation_Unit);
4100 
      Set_Node3 (N, Val);  -- semantic field, no parent set
4101 
   end Set_First_Inlined_Subprogram;
4102 
 
4103 
   procedure Set_First_Name
4104 
      (N : Node_Id; Val : Boolean := True) is
4105 
   begin
4106 
      pragma Assert (False
4107 
        or else NT (N).Nkind = N_With_Clause);
4108 
      Set_Flag5 (N, Val);
4109 
   end Set_First_Name;
4110 
 
4111 
   procedure Set_First_Named_Actual
4112 
      (N : Node_Id; Val : Node_Id) is
4113 
   begin
4114 
      pragma Assert (False
4115 
        or else NT (N).Nkind = N_Entry_Call_Statement
4116 
        or else NT (N).Nkind = N_Function_Call
4117 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
4118 
      Set_Node4 (N, Val); -- semantic field, no parent set
4119 
   end Set_First_Named_Actual;
4120 
 
4121 
   procedure Set_First_Real_Statement
4122 
      (N : Node_Id; Val : Node_Id) is
4123 
   begin
4124 
      pragma Assert (False
4125 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4126 
      Set_Node2 (N, Val); -- semantic field, no parent set
4127 
   end Set_First_Real_Statement;
4128 
 
4129 
   procedure Set_First_Subtype_Link
4130 
      (N : Node_Id; Val : Entity_Id) is
4131 
   begin
4132 
      pragma Assert (False
4133 
        or else NT (N).Nkind = N_Freeze_Entity);
4134 
      Set_Node5 (N, Val); -- semantic field, no parent set
4135 
   end Set_First_Subtype_Link;
4136 
 
4137 
   procedure Set_Float_Truncate
4138 
      (N : Node_Id; Val : Boolean := True) is
4139 
   begin
4140 
      pragma Assert (False
4141 
        or else NT (N).Nkind = N_Type_Conversion);
4142 
      Set_Flag11 (N, Val);
4143 
   end Set_Float_Truncate;
4144 
 
4145 
   procedure Set_Formal_Type_Definition
4146 
      (N : Node_Id; Val : Node_Id) is
4147 
   begin
4148 
      pragma Assert (False
4149 
        or else NT (N).Nkind = N_Formal_Type_Declaration);
4150 
      Set_Node3_With_Parent (N, Val);
4151 
   end Set_Formal_Type_Definition;
4152 
 
4153 
   procedure Set_Forwards_OK
4154 
      (N : Node_Id; Val : Boolean := True) is
4155 
   begin
4156 
      pragma Assert (False
4157 
        or else NT (N).Nkind = N_Assignment_Statement);
4158 
      Set_Flag5 (N, Val);
4159 
   end Set_Forwards_OK;
4160 
 
4161 
   procedure Set_From_At_End
4162 
      (N : Node_Id; Val : Boolean := True) is
4163 
   begin
4164 
      pragma Assert (False
4165 
        or else NT (N).Nkind = N_Raise_Statement);
4166 
      Set_Flag4 (N, Val);
4167 
   end Set_From_At_End;
4168 
 
4169 
   procedure Set_From_At_Mod
4170 
      (N : Node_Id; Val : Boolean := True) is
4171 
   begin
4172 
      pragma Assert (False
4173 
        or else NT (N).Nkind = N_Attribute_Definition_Clause);
4174 
      Set_Flag4 (N, Val);
4175 
   end Set_From_At_Mod;
4176 
 
4177 
   procedure Set_From_Default
4178 
      (N : Node_Id; Val : Boolean := True) is
4179 
   begin
4180 
      pragma Assert (False
4181 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4182 
      Set_Flag6 (N, Val);
4183 
   end Set_From_Default;
4184 
 
4185 
   procedure Set_Generic_Associations
4186 
      (N : Node_Id; Val : List_Id) is
4187 
   begin
4188 
      pragma Assert (False
4189 
        or else NT (N).Nkind = N_Formal_Package_Declaration
4190 
        or else NT (N).Nkind = N_Function_Instantiation
4191 
        or else NT (N).Nkind = N_Package_Instantiation
4192 
        or else NT (N).Nkind = N_Procedure_Instantiation);
4193 
      Set_List3_With_Parent (N, Val);
4194 
   end Set_Generic_Associations;
4195 
 
4196 
   procedure Set_Generic_Formal_Declarations
4197 
      (N : Node_Id; Val : List_Id) is
4198 
   begin
4199 
      pragma Assert (False
4200 
        or else NT (N).Nkind = N_Generic_Package_Declaration
4201 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4202 
      Set_List2_With_Parent (N, Val);
4203 
   end Set_Generic_Formal_Declarations;
4204 
 
4205 
   procedure Set_Generic_Parent
4206 
      (N : Node_Id; Val : Node_Id) is
4207 
   begin
4208 
      pragma Assert (False
4209 
        or else NT (N).Nkind = N_Function_Specification
4210 
        or else NT (N).Nkind = N_Package_Specification
4211 
        or else NT (N).Nkind = N_Procedure_Specification);
4212 
      Set_Node5 (N, Val);
4213 
   end Set_Generic_Parent;
4214 
 
4215 
   procedure Set_Generic_Parent_Type
4216 
      (N : Node_Id; Val : Node_Id) is
4217 
   begin
4218 
      pragma Assert (False
4219 
        or else NT (N).Nkind = N_Subtype_Declaration);
4220 
      Set_Node4 (N, Val);
4221 
   end Set_Generic_Parent_Type;
4222 
 
4223 
   procedure Set_Handled_Statement_Sequence
4224 
      (N : Node_Id; Val : Node_Id) is
4225 
   begin
4226 
      pragma Assert (False
4227 
        or else NT (N).Nkind = N_Accept_Statement
4228 
        or else NT (N).Nkind = N_Block_Statement
4229 
        or else NT (N).Nkind = N_Entry_Body
4230 
        or else NT (N).Nkind = N_Extended_Return_Statement
4231 
        or else NT (N).Nkind = N_Package_Body
4232 
        or else NT (N).Nkind = N_Subprogram_Body
4233 
        or else NT (N).Nkind = N_Task_Body);
4234 
      Set_Node4_With_Parent (N, Val);
4235 
   end Set_Handled_Statement_Sequence;
4236 
 
4237 
   procedure Set_Handler_List_Entry
4238 
      (N : Node_Id; Val : Node_Id) is
4239 
   begin
4240 
      pragma Assert (False
4241 
        or else NT (N).Nkind = N_Object_Declaration);
4242 
      Set_Node2 (N, Val);
4243 
   end Set_Handler_List_Entry;
4244 
 
4245 
   procedure Set_Has_Created_Identifier
4246 
      (N : Node_Id; Val : Boolean := True) is
4247 
   begin
4248 
      pragma Assert (False
4249 
        or else NT (N).Nkind = N_Block_Statement
4250 
        or else NT (N).Nkind = N_Loop_Statement);
4251 
      Set_Flag15 (N, Val);
4252 
   end Set_Has_Created_Identifier;
4253 
 
4254 
   procedure Set_Has_Dynamic_Length_Check
4255 
      (N : Node_Id; Val : Boolean := True) is
4256 
   begin
4257 
      Set_Flag10 (N, Val);
4258 
   end Set_Has_Dynamic_Length_Check;
4259 
 
4260 
   procedure Set_Has_Dynamic_Range_Check
4261 
      (N : Node_Id; Val : Boolean := True) is
4262 
   begin
4263 
      Set_Flag12 (N, Val);
4264 
   end Set_Has_Dynamic_Range_Check;
4265 
 
4266 
   procedure Set_Has_Init_Expression
4267 
      (N : Node_Id; Val : Boolean := True) is
4268 
   begin
4269 
      pragma Assert (False
4270 
        or else NT (N).Nkind = N_Object_Declaration);
4271 
      Set_Flag14 (N, Val);
4272 
   end Set_Has_Init_Expression;
4273 
 
4274 
   procedure Set_Has_Local_Raise
4275 
      (N : Node_Id; Val : Boolean := True) is
4276 
   begin
4277 
      pragma Assert (False
4278 
        or else NT (N).Nkind = N_Exception_Handler);
4279 
      Set_Flag8 (N, Val);
4280 
   end Set_Has_Local_Raise;
4281 
 
4282 
   procedure Set_Has_No_Elaboration_Code
4283 
      (N : Node_Id; Val : Boolean := True) is
4284 
   begin
4285 
      pragma Assert (False
4286 
        or else NT (N).Nkind = N_Compilation_Unit);
4287 
      Set_Flag17 (N, Val);
4288 
   end Set_Has_No_Elaboration_Code;
4289 
 
4290 
   procedure Set_Has_Priority_Pragma
4291 
      (N : Node_Id; Val : Boolean := True) is
4292 
   begin
4293 
      pragma Assert (False
4294 
        or else NT (N).Nkind = N_Protected_Definition
4295 
        or else NT (N).Nkind = N_Subprogram_Body
4296 
        or else NT (N).Nkind = N_Task_Definition);
4297 
      Set_Flag6 (N, Val);
4298 
   end Set_Has_Priority_Pragma;
4299 
 
4300 
   procedure Set_Has_Private_View
4301 
      (N : Node_Id; Val : Boolean := True) is
4302 
   begin
4303 
      pragma Assert (False
4304 
       or else NT (N).Nkind in N_Op
4305 
       or else NT (N).Nkind = N_Character_Literal
4306 
       or else NT (N).Nkind = N_Expanded_Name
4307 
       or else NT (N).Nkind = N_Identifier
4308 
       or else NT (N).Nkind = N_Operator_Symbol);
4309 
      Set_Flag11 (N, Val);
4310 
   end Set_Has_Private_View;
4311 
 
4312 
   procedure Set_Has_Relative_Deadline_Pragma
4313 
      (N : Node_Id; Val : Boolean := True) is
4314 
   begin
4315 
      pragma Assert (False
4316 
        or else NT (N).Nkind = N_Subprogram_Body
4317 
        or else NT (N).Nkind = N_Task_Definition);
4318 
      Set_Flag9 (N, Val);
4319 
   end Set_Has_Relative_Deadline_Pragma;
4320 
 
4321 
   procedure Set_Has_Self_Reference
4322 
      (N : Node_Id; Val : Boolean := True) is
4323 
   begin
4324 
      pragma Assert (False
4325 
        or else NT (N).Nkind = N_Aggregate
4326 
        or else NT (N).Nkind = N_Extension_Aggregate);
4327 
      Set_Flag13 (N, Val);
4328 
   end Set_Has_Self_Reference;
4329 
 
4330 
   procedure Set_Has_Storage_Size_Pragma
4331 
      (N : Node_Id; Val : Boolean := True) is
4332 
   begin
4333 
      pragma Assert (False
4334 
        or else NT (N).Nkind = N_Task_Definition);
4335 
      Set_Flag5 (N, Val);
4336 
   end Set_Has_Storage_Size_Pragma;
4337 
 
4338 
   procedure Set_Has_Task_Info_Pragma
4339 
      (N : Node_Id; Val : Boolean := True) is
4340 
   begin
4341 
      pragma Assert (False
4342 
        or else NT (N).Nkind = N_Task_Definition);
4343 
      Set_Flag7 (N, Val);
4344 
   end Set_Has_Task_Info_Pragma;
4345 
 
4346 
   procedure Set_Has_Task_Name_Pragma
4347 
      (N : Node_Id; Val : Boolean := True) is
4348 
   begin
4349 
      pragma Assert (False
4350 
        or else NT (N).Nkind = N_Task_Definition);
4351 
      Set_Flag8 (N, Val);
4352 
   end Set_Has_Task_Name_Pragma;
4353 
 
4354 
   procedure Set_Has_Wide_Character
4355 
      (N : Node_Id; Val : Boolean := True) is
4356 
   begin
4357 
      pragma Assert (False
4358 
        or else NT (N).Nkind = N_String_Literal);
4359 
      Set_Flag11 (N, Val);
4360 
   end Set_Has_Wide_Character;
4361 
 
4362 
   procedure Set_Has_Wide_Wide_Character
4363 
      (N : Node_Id; Val : Boolean := True) is
4364 
   begin
4365 
      pragma Assert (False
4366 
        or else NT (N).Nkind = N_String_Literal);
4367 
      Set_Flag13 (N, Val);
4368 
   end Set_Has_Wide_Wide_Character;
4369 
 
4370 
   procedure Set_Hidden_By_Use_Clause
4371 
     (N : Node_Id; Val : Elist_Id) is
4372 
   begin
4373 
      pragma Assert (False
4374 
        or else NT (N).Nkind = N_Use_Package_Clause
4375 
        or else NT (N).Nkind = N_Use_Type_Clause);
4376 
      Set_Elist4 (N, Val);
4377 
   end Set_Hidden_By_Use_Clause;
4378 
 
4379 
   procedure Set_High_Bound
4380 
      (N : Node_Id; Val : Node_Id) is
4381 
   begin
4382 
      pragma Assert (False
4383 
        or else NT (N).Nkind = N_Range
4384 
        or else NT (N).Nkind = N_Real_Range_Specification
4385 
        or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4386 
      Set_Node2_With_Parent (N, Val);
4387 
   end Set_High_Bound;
4388 
 
4389 
   procedure Set_Identifier
4390 
      (N : Node_Id; Val : Node_Id) is
4391 
   begin
4392 
      pragma Assert (False
4393 
        or else NT (N).Nkind = N_At_Clause
4394 
        or else NT (N).Nkind = N_Block_Statement
4395 
        or else NT (N).Nkind = N_Designator
4396 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause
4397 
        or else NT (N).Nkind = N_Label
4398 
        or else NT (N).Nkind = N_Loop_Statement
4399 
        or else NT (N).Nkind = N_Record_Representation_Clause
4400 
        or else NT (N).Nkind = N_Subprogram_Info);
4401 
      Set_Node1_With_Parent (N, Val);
4402 
   end Set_Identifier;
4403 
 
4404 
   procedure Set_Implicit_With
4405 
      (N : Node_Id; Val : Boolean := True) is
4406 
   begin
4407 
      pragma Assert (False
4408 
        or else NT (N).Nkind = N_With_Clause);
4409 
      Set_Flag16 (N, Val);
4410 
   end Set_Implicit_With;
4411 
 
4412 
   procedure Set_Interface_List
4413 
      (N : Node_Id; Val : List_Id) is
4414 
   begin
4415 
      pragma Assert (False
4416 
        or else NT (N).Nkind = N_Derived_Type_Definition
4417 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4418 
        or else NT (N).Nkind = N_Private_Extension_Declaration
4419 
        or else NT (N).Nkind = N_Protected_Type_Declaration
4420 
        or else NT (N).Nkind = N_Record_Definition
4421 
        or else NT (N).Nkind = N_Single_Protected_Declaration
4422 
        or else NT (N).Nkind = N_Single_Task_Declaration
4423 
        or else NT (N).Nkind = N_Task_Type_Declaration);
4424 
      Set_List2_With_Parent (N, Val);
4425 
   end Set_Interface_List;
4426 
 
4427 
   procedure Set_Interface_Present
4428 
      (N : Node_Id; Val : Boolean := True) is
4429 
   begin
4430 
      pragma Assert (False
4431 
        or else NT (N).Nkind = N_Derived_Type_Definition
4432 
        or else NT (N).Nkind = N_Record_Definition);
4433 
      Set_Flag16 (N, Val);
4434 
   end Set_Interface_Present;
4435 
 
4436 
   procedure Set_In_Present
4437 
      (N : Node_Id; Val : Boolean := True) is
4438 
   begin
4439 
      pragma Assert (False
4440 
        or else NT (N).Nkind = N_Formal_Object_Declaration
4441 
        or else NT (N).Nkind = N_Parameter_Specification);
4442 
      Set_Flag15 (N, Val);
4443 
   end Set_In_Present;
4444 
 
4445 
   procedure Set_Includes_Infinities
4446 
      (N : Node_Id; Val : Boolean := True) is
4447 
   begin
4448 
      pragma Assert (False
4449 
        or else NT (N).Nkind = N_Range);
4450 
      Set_Flag11 (N, Val);
4451 
   end Set_Includes_Infinities;
4452 
 
4453 
   procedure Set_Instance_Spec
4454 
      (N : Node_Id; Val : Node_Id) is
4455 
   begin
4456 
      pragma Assert (False
4457 
        or else NT (N).Nkind = N_Formal_Package_Declaration
4458 
        or else NT (N).Nkind = N_Function_Instantiation
4459 
        or else NT (N).Nkind = N_Package_Instantiation
4460 
        or else NT (N).Nkind = N_Procedure_Instantiation);
4461 
      Set_Node5 (N, Val); -- semantic field, no Parent set
4462 
   end Set_Instance_Spec;
4463 
 
4464 
   procedure Set_Intval
4465 
      (N : Node_Id; Val : Uint) is
4466 
   begin
4467 
      pragma Assert (False
4468 
        or else NT (N).Nkind = N_Integer_Literal);
4469 
      Set_Uint3 (N, Val);
4470 
   end Set_Intval;
4471 
 
4472 
   procedure Set_Is_Accessibility_Actual
4473 
      (N : Node_Id; Val : Boolean := True) is
4474 
   begin
4475 
      pragma Assert (False
4476 
        or else NT (N).Nkind = N_Parameter_Association);
4477 
      Set_Flag13 (N, Val);
4478 
   end Set_Is_Accessibility_Actual;
4479 
 
4480 
   procedure Set_Is_Asynchronous_Call_Block
4481 
      (N : Node_Id; Val : Boolean := True) is
4482 
   begin
4483 
      pragma Assert (False
4484 
        or else NT (N).Nkind = N_Block_Statement);
4485 
      Set_Flag7 (N, Val);
4486 
   end Set_Is_Asynchronous_Call_Block;
4487 
 
4488 
   procedure Set_Is_Component_Left_Opnd
4489 
      (N : Node_Id; Val : Boolean := True) is
4490 
   begin
4491 
      pragma Assert (False
4492 
        or else NT (N).Nkind = N_Op_Concat);
4493 
      Set_Flag13 (N, Val);
4494 
   end Set_Is_Component_Left_Opnd;
4495 
 
4496 
   procedure Set_Is_Component_Right_Opnd
4497 
      (N : Node_Id; Val : Boolean := True) is
4498 
   begin
4499 
      pragma Assert (False
4500 
        or else NT (N).Nkind = N_Op_Concat);
4501 
      Set_Flag14 (N, Val);
4502 
   end Set_Is_Component_Right_Opnd;
4503 
 
4504 
   procedure Set_Is_Controlling_Actual
4505 
      (N : Node_Id; Val : Boolean := True) is
4506 
   begin
4507 
      pragma Assert (False
4508 
        or else NT (N).Nkind in N_Subexpr);
4509 
      Set_Flag16 (N, Val);
4510 
   end Set_Is_Controlling_Actual;
4511 
 
4512 
   procedure Set_Is_Dynamic_Coextension
4513 
      (N : Node_Id; Val : Boolean := True) is
4514 
   begin
4515 
      pragma Assert (False
4516 
        or else NT (N).Nkind = N_Allocator);
4517 
      Set_Flag18 (N, Val);
4518 
   end Set_Is_Dynamic_Coextension;
4519 
 
4520 
   procedure Set_Is_Elsif
4521 
     (N : Node_Id; Val : Boolean := True) is
4522 
   begin
4523 
      pragma Assert (False
4524 
        or else NT (N).Nkind = N_Conditional_Expression);
4525 
      Set_Flag13 (N, Val);
4526 
   end Set_Is_Elsif;
4527 
 
4528 
   procedure Set_Is_Entry_Barrier_Function
4529 
      (N : Node_Id; Val : Boolean := True) is
4530 
   begin
4531 
      pragma Assert (False
4532 
        or else NT (N).Nkind = N_Subprogram_Body);
4533 
      Set_Flag8 (N, Val);
4534 
   end Set_Is_Entry_Barrier_Function;
4535 
 
4536 
   procedure Set_Is_Expanded_Build_In_Place_Call
4537 
      (N : Node_Id; Val : Boolean := True) is
4538 
   begin
4539 
      pragma Assert (False
4540 
        or else NT (N).Nkind = N_Function_Call);
4541 
      Set_Flag11 (N, Val);
4542 
   end Set_Is_Expanded_Build_In_Place_Call;
4543 
 
4544 
   procedure Set_Is_Folded_In_Parser
4545 
      (N : Node_Id; Val : Boolean := True) is
4546 
   begin
4547 
      pragma Assert (False
4548 
        or else NT (N).Nkind = N_String_Literal);
4549 
      Set_Flag4 (N, Val);
4550 
   end Set_Is_Folded_In_Parser;
4551 
 
4552 
   procedure Set_Is_In_Discriminant_Check
4553 
      (N : Node_Id; Val : Boolean := True) is
4554 
   begin
4555 
      pragma Assert (False
4556 
        or else NT (N).Nkind = N_Selected_Component);
4557 
      Set_Flag11 (N, Val);
4558 
   end Set_Is_In_Discriminant_Check;
4559 
 
4560 
   procedure Set_Is_Machine_Number
4561 
      (N : Node_Id; Val : Boolean := True) is
4562 
   begin
4563 
      pragma Assert (False
4564 
        or else NT (N).Nkind = N_Real_Literal);
4565 
      Set_Flag11 (N, Val);
4566 
   end Set_Is_Machine_Number;
4567 
 
4568 
   procedure Set_Is_Null_Loop
4569 
      (N : Node_Id; Val : Boolean := True) is
4570 
   begin
4571 
      pragma Assert (False
4572 
        or else NT (N).Nkind = N_Loop_Statement);
4573 
      Set_Flag16 (N, Val);
4574 
   end Set_Is_Null_Loop;
4575 
 
4576 
   procedure Set_Is_Overloaded
4577 
      (N : Node_Id; Val : Boolean := True) is
4578 
   begin
4579 
      pragma Assert (False
4580 
        or else NT (N).Nkind in N_Subexpr);
4581 
      Set_Flag5 (N, Val);
4582 
   end Set_Is_Overloaded;
4583 
 
4584 
   procedure Set_Is_Power_Of_2_For_Shift
4585 
      (N : Node_Id; Val : Boolean := True) is
4586 
   begin
4587 
      pragma Assert (False
4588 
        or else NT (N).Nkind = N_Op_Expon);
4589 
      Set_Flag13 (N, Val);
4590 
   end Set_Is_Power_Of_2_For_Shift;
4591 
 
4592 
   procedure Set_Is_Protected_Subprogram_Body
4593 
      (N : Node_Id; Val : Boolean := True) is
4594 
   begin
4595 
      pragma Assert (False
4596 
        or else NT (N).Nkind = N_Subprogram_Body);
4597 
      Set_Flag7 (N, Val);
4598 
   end Set_Is_Protected_Subprogram_Body;
4599 
 
4600 
   procedure Set_Is_Static_Coextension
4601 
      (N : Node_Id; Val : Boolean := True) is
4602 
   begin
4603 
      pragma Assert (False
4604 
        or else NT (N).Nkind = N_Allocator);
4605 
      Set_Flag14 (N, Val);
4606 
   end Set_Is_Static_Coextension;
4607 
 
4608 
   procedure Set_Is_Static_Expression
4609 
      (N : Node_Id; Val : Boolean := True) is
4610 
   begin
4611 
      pragma Assert (False
4612 
        or else NT (N).Nkind in N_Subexpr);
4613 
      Set_Flag6 (N, Val);
4614 
   end Set_Is_Static_Expression;
4615 
 
4616 
   procedure Set_Is_Subprogram_Descriptor
4617 
      (N : Node_Id; Val : Boolean := True) is
4618 
   begin
4619 
      pragma Assert (False
4620 
        or else NT (N).Nkind = N_Object_Declaration);
4621 
      Set_Flag16 (N, Val);
4622 
   end Set_Is_Subprogram_Descriptor;
4623 
 
4624 
   procedure Set_Is_Task_Allocation_Block
4625 
      (N : Node_Id; Val : Boolean := True) is
4626 
   begin
4627 
      pragma Assert (False
4628 
        or else NT (N).Nkind = N_Block_Statement);
4629 
      Set_Flag6 (N, Val);
4630 
   end Set_Is_Task_Allocation_Block;
4631 
 
4632 
   procedure Set_Is_Task_Master
4633 
      (N : Node_Id; Val : Boolean := True) is
4634 
   begin
4635 
      pragma Assert (False
4636 
        or else NT (N).Nkind = N_Block_Statement
4637 
        or else NT (N).Nkind = N_Subprogram_Body
4638 
        or else NT (N).Nkind = N_Task_Body);
4639 
      Set_Flag5 (N, Val);
4640 
   end Set_Is_Task_Master;
4641 
 
4642 
   procedure Set_Iteration_Scheme
4643 
      (N : Node_Id; Val : Node_Id) is
4644 
   begin
4645 
      pragma Assert (False
4646 
        or else NT (N).Nkind = N_Loop_Statement);
4647 
      Set_Node2_With_Parent (N, Val);
4648 
   end Set_Iteration_Scheme;
4649 
 
4650 
   procedure Set_Itype
4651 
      (N : Node_Id; Val : Entity_Id) is
4652 
   begin
4653 
      pragma Assert (False
4654 
      or else NT (N).Nkind = N_Itype_Reference);
4655 
      Set_Node1 (N, Val); -- no parent, semantic field
4656 
   end Set_Itype;
4657 
 
4658 
   procedure Set_Kill_Range_Check
4659 
      (N : Node_Id; Val : Boolean := True) is
4660 
   begin
4661 
      pragma Assert (False
4662 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4663 
      Set_Flag11 (N, Val);
4664 
   end Set_Kill_Range_Check;
4665 
 
4666 
   procedure Set_Label_Construct
4667 
      (N : Node_Id; Val : Node_Id) is
4668 
   begin
4669 
      pragma Assert (False
4670 
        or else NT (N).Nkind = N_Implicit_Label_Declaration);
4671 
      Set_Node2 (N, Val); -- semantic field, no parent set
4672 
   end Set_Label_Construct;
4673 
 
4674 
   procedure Set_Last_Bit
4675 
      (N : Node_Id; Val : Node_Id) is
4676 
   begin
4677 
      pragma Assert (False
4678 
        or else NT (N).Nkind = N_Component_Clause);
4679 
      Set_Node4_With_Parent (N, Val);
4680 
   end Set_Last_Bit;
4681 
 
4682 
   procedure Set_Last_Name
4683 
      (N : Node_Id; Val : Boolean := True) is
4684 
   begin
4685 
      pragma Assert (False
4686 
        or else NT (N).Nkind = N_With_Clause);
4687 
      Set_Flag6 (N, Val);
4688 
   end Set_Last_Name;
4689 
 
4690 
   procedure Set_Left_Opnd
4691 
      (N : Node_Id; Val : Node_Id) is
4692 
   begin
4693 
      pragma Assert (False
4694 
        or else NT (N).Nkind = N_And_Then
4695 
        or else NT (N).Nkind = N_In
4696 
        or else NT (N).Nkind = N_Not_In
4697 
        or else NT (N).Nkind = N_Or_Else
4698 
        or else NT (N).Nkind in N_Binary_Op);
4699 
      Set_Node2_With_Parent (N, Val);
4700 
   end Set_Left_Opnd;
4701 
 
4702 
   procedure Set_Library_Unit
4703 
      (N : Node_Id; Val : Node_Id) is
4704 
   begin
4705 
      pragma Assert (False
4706 
        or else NT (N).Nkind = N_Compilation_Unit
4707 
        or else NT (N).Nkind = N_Package_Body_Stub
4708 
        or else NT (N).Nkind = N_Protected_Body_Stub
4709 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
4710 
        or else NT (N).Nkind = N_Task_Body_Stub
4711 
        or else NT (N).Nkind = N_With_Clause);
4712 
      Set_Node4 (N, Val); -- semantic field, no parent set
4713 
   end Set_Library_Unit;
4714 
 
4715 
   procedure Set_Limited_View_Installed
4716 
      (N : Node_Id; Val : Boolean := True) is
4717 
   begin
4718 
      pragma Assert (False
4719 
        or else NT (N).Nkind = N_Package_Specification
4720 
        or else NT (N).Nkind = N_With_Clause);
4721 
      Set_Flag18 (N, Val);
4722 
   end Set_Limited_View_Installed;
4723 
 
4724 
   procedure Set_Limited_Present
4725 
      (N : Node_Id; Val : Boolean := True) is
4726 
   begin
4727 
      pragma Assert (False
4728 
        or else NT (N).Nkind = N_Derived_Type_Definition
4729 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4730 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
4731 
        or else NT (N).Nkind = N_Private_Extension_Declaration
4732 
        or else NT (N).Nkind = N_Private_Type_Declaration
4733 
        or else NT (N).Nkind = N_Record_Definition
4734 
        or else NT (N).Nkind = N_With_Clause);
4735 
      Set_Flag17 (N, Val);
4736 
   end Set_Limited_Present;
4737 
 
4738 
   procedure Set_Literals
4739 
      (N : Node_Id; Val : List_Id) is
4740 
   begin
4741 
      pragma Assert (False
4742 
        or else NT (N).Nkind = N_Enumeration_Type_Definition);
4743 
      Set_List1_With_Parent (N, Val);
4744 
   end Set_Literals;
4745 
 
4746 
   procedure Set_Local_Raise_Not_OK
4747 
      (N : Node_Id; Val : Boolean := True) is
4748 
   begin
4749 
      pragma Assert (False
4750 
        or else NT (N).Nkind = N_Exception_Handler);
4751 
      Set_Flag7 (N, Val);
4752 
   end Set_Local_Raise_Not_OK;
4753 
 
4754 
   procedure Set_Local_Raise_Statements
4755 
      (N : Node_Id; Val : Elist_Id) is
4756 
   begin
4757 
      pragma Assert (False
4758 
        or else NT (N).Nkind = N_Exception_Handler);
4759 
      Set_Elist1 (N, Val);
4760 
   end Set_Local_Raise_Statements;
4761 
 
4762 
   procedure Set_Loop_Actions
4763 
      (N : Node_Id; Val : List_Id) is
4764 
   begin
4765 
      pragma Assert (False
4766 
        or else NT (N).Nkind = N_Component_Association);
4767 
      Set_List2 (N, Val); -- semantic field, no parent set
4768 
   end Set_Loop_Actions;
4769 
 
4770 
   procedure Set_Loop_Parameter_Specification
4771 
      (N : Node_Id; Val : Node_Id) is
4772 
   begin
4773 
      pragma Assert (False
4774 
        or else NT (N).Nkind = N_Iteration_Scheme);
4775 
      Set_Node4_With_Parent (N, Val);
4776 
   end Set_Loop_Parameter_Specification;
4777 
 
4778 
   procedure Set_Low_Bound
4779 
      (N : Node_Id; Val : Node_Id) is
4780 
   begin
4781 
      pragma Assert (False
4782 
        or else NT (N).Nkind = N_Range
4783 
        or else NT (N).Nkind = N_Real_Range_Specification
4784 
        or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4785 
      Set_Node1_With_Parent (N, Val);
4786 
   end Set_Low_Bound;
4787 
 
4788 
   procedure Set_Mod_Clause
4789 
      (N : Node_Id; Val : Node_Id) is
4790 
   begin
4791 
      pragma Assert (False
4792 
        or else NT (N).Nkind = N_Record_Representation_Clause);
4793 
      Set_Node2_With_Parent (N, Val);
4794 
   end Set_Mod_Clause;
4795 
 
4796 
   procedure Set_More_Ids
4797 
      (N : Node_Id; Val : Boolean := True) is
4798 
   begin
4799 
      pragma Assert (False
4800 
        or else NT (N).Nkind = N_Component_Declaration
4801 
        or else NT (N).Nkind = N_Discriminant_Specification
4802 
        or else NT (N).Nkind = N_Exception_Declaration
4803 
        or else NT (N).Nkind = N_Formal_Object_Declaration
4804 
        or else NT (N).Nkind = N_Number_Declaration
4805 
        or else NT (N).Nkind = N_Object_Declaration
4806 
        or else NT (N).Nkind = N_Parameter_Specification);
4807 
      Set_Flag5 (N, Val);
4808 
   end Set_More_Ids;
4809 
 
4810 
   procedure Set_Must_Be_Byte_Aligned
4811 
      (N : Node_Id; Val : Boolean := True) is
4812 
   begin
4813 
      pragma Assert (False
4814 
        or else NT (N).Nkind = N_Attribute_Reference);
4815 
      Set_Flag14 (N, Val);
4816 
   end Set_Must_Be_Byte_Aligned;
4817 
 
4818 
   procedure Set_Must_Not_Freeze
4819 
      (N : Node_Id; Val : Boolean := True) is
4820 
   begin
4821 
      pragma Assert (False
4822 
        or else NT (N).Nkind = N_Subtype_Indication
4823 
        or else NT (N).Nkind in N_Subexpr);
4824 
      Set_Flag8 (N, Val);
4825 
   end Set_Must_Not_Freeze;
4826 
 
4827 
   procedure Set_Must_Not_Override
4828 
      (N : Node_Id; Val : Boolean := True) is
4829 
   begin
4830 
      pragma Assert (False
4831 
        or else NT (N).Nkind = N_Entry_Declaration
4832 
        or else NT (N).Nkind = N_Function_Instantiation
4833 
        or else NT (N).Nkind = N_Function_Specification
4834 
        or else NT (N).Nkind = N_Procedure_Instantiation
4835 
        or else NT (N).Nkind = N_Procedure_Specification);
4836 
      Set_Flag15 (N, Val);
4837 
   end Set_Must_Not_Override;
4838 
 
4839 
   procedure Set_Must_Override
4840 
      (N : Node_Id; Val : Boolean := True) is
4841 
   begin
4842 
      pragma Assert (False
4843 
        or else NT (N).Nkind = N_Entry_Declaration
4844 
        or else NT (N).Nkind = N_Function_Instantiation
4845 
        or else NT (N).Nkind = N_Function_Specification
4846 
        or else NT (N).Nkind = N_Procedure_Instantiation
4847 
        or else NT (N).Nkind = N_Procedure_Specification);
4848 
      Set_Flag14 (N, Val);
4849 
   end Set_Must_Override;
4850 
 
4851 
   procedure Set_Name
4852 
      (N : Node_Id; Val : Node_Id) is
4853 
   begin
4854 
      pragma Assert (False
4855 
        or else NT (N).Nkind = N_Assignment_Statement
4856 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
4857 
        or else NT (N).Nkind = N_Defining_Program_Unit_Name
4858 
        or else NT (N).Nkind = N_Designator
4859 
        or else NT (N).Nkind = N_Entry_Call_Statement
4860 
        or else NT (N).Nkind = N_Exception_Renaming_Declaration
4861 
        or else NT (N).Nkind = N_Exit_Statement
4862 
        or else NT (N).Nkind = N_Formal_Package_Declaration
4863 
        or else NT (N).Nkind = N_Function_Call
4864 
        or else NT (N).Nkind = N_Function_Instantiation
4865 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4866 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4867 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4868 
        or else NT (N).Nkind = N_Goto_Statement
4869 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
4870 
        or else NT (N).Nkind = N_Package_Instantiation
4871 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
4872 
        or else NT (N).Nkind = N_Procedure_Call_Statement
4873 
        or else NT (N).Nkind = N_Procedure_Instantiation
4874 
        or else NT (N).Nkind = N_Raise_Statement
4875 
        or else NT (N).Nkind = N_Requeue_Statement
4876 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4877 
        or else NT (N).Nkind = N_Subunit
4878 
        or else NT (N).Nkind = N_Variant_Part
4879 
        or else NT (N).Nkind = N_With_Clause);
4880 
      Set_Node2_With_Parent (N, Val);
4881 
   end Set_Name;
4882 
 
4883 
   procedure Set_Names
4884 
      (N : Node_Id; Val : List_Id) is
4885 
   begin
4886 
      pragma Assert (False
4887 
        or else NT (N).Nkind = N_Abort_Statement
4888 
        or else NT (N).Nkind = N_Use_Package_Clause);
4889 
      Set_List2_With_Parent (N, Val);
4890 
   end Set_Names;
4891 
 
4892 
   procedure Set_Next_Entity
4893 
      (N : Node_Id; Val : Node_Id) is
4894 
   begin
4895 
      pragma Assert (False
4896 
        or else NT (N).Nkind = N_Defining_Character_Literal
4897 
        or else NT (N).Nkind = N_Defining_Identifier
4898 
        or else NT (N).Nkind = N_Defining_Operator_Symbol);
4899 
      Set_Node2 (N, Val); -- semantic field, no parent set
4900 
   end Set_Next_Entity;
4901 
 
4902 
   procedure Set_Next_Implicit_With
4903 
      (N : Node_Id; Val : Node_Id) is
4904 
   begin
4905 
      pragma Assert (False
4906 
        or else NT (N).Nkind = N_With_Clause);
4907 
      Set_Node3 (N, Val); -- semantic field, no parent set
4908 
   end Set_Next_Implicit_With;
4909 
 
4910 
   procedure Set_Next_Named_Actual
4911 
      (N : Node_Id; Val : Node_Id) is
4912 
   begin
4913 
      pragma Assert (False
4914 
        or else NT (N).Nkind = N_Parameter_Association);
4915 
      Set_Node4 (N, Val); -- semantic field, no parent set
4916 
   end Set_Next_Named_Actual;
4917 
 
4918 
   procedure Set_Next_Pragma
4919 
      (N : Node_Id; Val : Node_Id) is
4920 
   begin
4921 
      pragma Assert (False
4922 
        or else NT (N).Nkind = N_Pragma);
4923 
      Set_Node1 (N, Val); -- semantic field, no parent set
4924 
   end Set_Next_Pragma;
4925 
 
4926 
   procedure Set_Next_Rep_Item
4927 
      (N : Node_Id; Val : Node_Id) is
4928 
   begin
4929 
      pragma Assert (False
4930 
        or else NT (N).Nkind = N_Attribute_Definition_Clause
4931 
        or else NT (N).Nkind = N_Enumeration_Representation_Clause
4932 
        or else NT (N).Nkind = N_Pragma
4933 
        or else NT (N).Nkind = N_Record_Representation_Clause);
4934 
      Set_Node5 (N, Val); -- semantic field, no parent set
4935 
   end Set_Next_Rep_Item;
4936 
 
4937 
   procedure Set_Next_Use_Clause
4938 
      (N : Node_Id; Val : Node_Id) is
4939 
   begin
4940 
      pragma Assert (False
4941 
        or else NT (N).Nkind = N_Use_Package_Clause
4942 
        or else NT (N).Nkind = N_Use_Type_Clause);
4943 
      Set_Node3 (N, Val); -- semantic field, no parent set
4944 
   end Set_Next_Use_Clause;
4945 
 
4946 
   procedure Set_No_Ctrl_Actions
4947 
      (N : Node_Id; Val : Boolean := True) is
4948 
   begin
4949 
      pragma Assert (False
4950 
        or else NT (N).Nkind = N_Assignment_Statement);
4951 
      Set_Flag7 (N, Val);
4952 
   end Set_No_Ctrl_Actions;
4953 
 
4954 
   procedure Set_No_Elaboration_Check
4955 
      (N : Node_Id; Val : Boolean := True) is
4956 
   begin
4957 
      pragma Assert (False
4958 
        or else NT (N).Nkind = N_Function_Call
4959 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
4960 
      Set_Flag14 (N, Val);
4961 
   end Set_No_Elaboration_Check;
4962 
 
4963 
   procedure Set_No_Entities_Ref_In_Spec
4964 
      (N : Node_Id; Val : Boolean := True) is
4965 
   begin
4966 
      pragma Assert (False
4967 
        or else NT (N).Nkind = N_With_Clause);
4968 
      Set_Flag8 (N, Val);
4969 
   end Set_No_Entities_Ref_In_Spec;
4970 
 
4971 
   procedure Set_No_Initialization
4972 
      (N : Node_Id; Val : Boolean := True) is
4973 
   begin
4974 
      pragma Assert (False
4975 
        or else NT (N).Nkind = N_Allocator
4976 
        or else NT (N).Nkind = N_Object_Declaration);
4977 
      Set_Flag13 (N, Val);
4978 
   end Set_No_Initialization;
4979 
 
4980 
   procedure Set_No_Truncation
4981 
      (N : Node_Id; Val : Boolean := True) is
4982 
   begin
4983 
      pragma Assert (False
4984 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4985 
      Set_Flag17 (N, Val);
4986 
   end Set_No_Truncation;
4987 
 
4988 
   procedure Set_Null_Present
4989 
      (N : Node_Id; Val : Boolean := True) is
4990 
   begin
4991 
      pragma Assert (False
4992 
        or else NT (N).Nkind = N_Component_List
4993 
        or else NT (N).Nkind = N_Procedure_Specification
4994 
        or else NT (N).Nkind = N_Record_Definition);
4995 
      Set_Flag13 (N, Val);
4996 
   end Set_Null_Present;
4997 
 
4998 
   procedure Set_Null_Exclusion_Present
4999 
      (N : Node_Id; Val : Boolean := True) is
5000 
   begin
5001 
      pragma Assert (False
5002 
        or else NT (N).Nkind = N_Access_Definition
5003 
        or else NT (N).Nkind = N_Access_Function_Definition
5004 
        or else NT (N).Nkind = N_Access_Procedure_Definition
5005 
        or else NT (N).Nkind = N_Access_To_Object_Definition
5006 
        or else NT (N).Nkind = N_Allocator
5007 
        or else NT (N).Nkind = N_Component_Definition
5008 
        or else NT (N).Nkind = N_Derived_Type_Definition
5009 
        or else NT (N).Nkind = N_Discriminant_Specification
5010 
        or else NT (N).Nkind = N_Formal_Object_Declaration
5011 
        or else NT (N).Nkind = N_Function_Specification
5012 
        or else NT (N).Nkind = N_Object_Declaration
5013 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
5014 
        or else NT (N).Nkind = N_Parameter_Specification
5015 
        or else NT (N).Nkind = N_Subtype_Declaration);
5016 
      Set_Flag11 (N, Val);
5017 
   end Set_Null_Exclusion_Present;
5018 
 
5019 
   procedure Set_Null_Exclusion_In_Return_Present
5020 
      (N : Node_Id; Val : Boolean := True) is
5021 
   begin
5022 
      pragma Assert (False
5023 
        or else NT (N).Nkind = N_Access_Function_Definition);
5024 
      Set_Flag14 (N, Val);
5025 
   end Set_Null_Exclusion_In_Return_Present;
5026 
 
5027 
   procedure Set_Null_Record_Present
5028 
      (N : Node_Id; Val : Boolean := True) is
5029 
   begin
5030 
      pragma Assert (False
5031 
        or else NT (N).Nkind = N_Aggregate
5032 
        or else NT (N).Nkind = N_Extension_Aggregate);
5033 
      Set_Flag17 (N, Val);
5034 
   end Set_Null_Record_Present;
5035 
 
5036 
   procedure Set_Object_Definition
5037 
      (N : Node_Id; Val : Node_Id) is
5038 
   begin
5039 
      pragma Assert (False
5040 
        or else NT (N).Nkind = N_Object_Declaration);
5041 
      Set_Node4_With_Parent (N, Val);
5042 
   end Set_Object_Definition;
5043 
 
5044 
   procedure Set_Original_Discriminant
5045 
      (N : Node_Id; Val : Node_Id) is
5046 
   begin
5047 
      pragma Assert (False
5048 
        or else NT (N).Nkind = N_Identifier);
5049 
      Set_Node2 (N, Val); -- semantic field, no parent set
5050 
   end Set_Original_Discriminant;
5051 
 
5052 
   procedure Set_Original_Entity
5053 
      (N : Node_Id; Val : Entity_Id) is
5054 
   begin
5055 
      pragma Assert (False
5056 
        or else NT (N).Nkind = N_Integer_Literal
5057 
        or else NT (N).Nkind = N_Real_Literal);
5058 
      Set_Node2 (N, Val); --  semantic field, no parent set
5059 
   end Set_Original_Entity;
5060 
 
5061 
   procedure Set_Others_Discrete_Choices
5062 
      (N : Node_Id; Val : List_Id) is
5063 
   begin
5064 
      pragma Assert (False
5065 
        or else NT (N).Nkind = N_Others_Choice);
5066 
      Set_List1_With_Parent (N, Val);
5067 
   end Set_Others_Discrete_Choices;
5068 
 
5069 
   procedure Set_Out_Present
5070 
      (N : Node_Id; Val : Boolean := True) is
5071 
   begin
5072 
      pragma Assert (False
5073 
        or else NT (N).Nkind = N_Formal_Object_Declaration
5074 
        or else NT (N).Nkind = N_Parameter_Specification);
5075 
      Set_Flag17 (N, Val);
5076 
   end Set_Out_Present;
5077 
 
5078 
   procedure Set_Parameter_Associations
5079 
      (N : Node_Id; Val : List_Id) is
5080 
   begin
5081 
      pragma Assert (False
5082 
        or else NT (N).Nkind = N_Entry_Call_Statement
5083 
        or else NT (N).Nkind = N_Function_Call
5084 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
5085 
      Set_List3_With_Parent (N, Val);
5086 
   end Set_Parameter_Associations;
5087 
 
5088 
   procedure Set_Parameter_List_Truncated
5089 
      (N : Node_Id; Val : Boolean := True) is
5090 
   begin
5091 
      pragma Assert (False
5092 
        or else NT (N).Nkind = N_Function_Call
5093 
        or else NT (N).Nkind = N_Procedure_Call_Statement);
5094 
      Set_Flag17 (N, Val);
5095 
   end Set_Parameter_List_Truncated;
5096 
 
5097 
   procedure Set_Parameter_Specifications
5098 
      (N : Node_Id; Val : List_Id) is
5099 
   begin
5100 
      pragma Assert (False
5101 
        or else NT (N).Nkind = N_Accept_Statement
5102 
        or else NT (N).Nkind = N_Access_Function_Definition
5103 
        or else NT (N).Nkind = N_Access_Procedure_Definition
5104 
        or else NT (N).Nkind = N_Entry_Body_Formal_Part
5105 
        or else NT (N).Nkind = N_Entry_Declaration
5106 
        or else NT (N).Nkind = N_Function_Specification
5107 
        or else NT (N).Nkind = N_Procedure_Specification);
5108 
      Set_List3_With_Parent (N, Val);
5109 
   end Set_Parameter_Specifications;
5110 
 
5111 
   procedure Set_Parameter_Type
5112 
      (N : Node_Id; Val : Node_Id) is
5113 
   begin
5114 
      pragma Assert (False
5115 
        or else NT (N).Nkind = N_Parameter_Specification);
5116 
      Set_Node2_With_Parent (N, Val);
5117 
   end Set_Parameter_Type;
5118 
 
5119 
   procedure Set_Parent_Spec
5120 
      (N : Node_Id; Val : Node_Id) is
5121 
   begin
5122 
      pragma Assert (False
5123 
        or else NT (N).Nkind = N_Function_Instantiation
5124 
        or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5125 
        or else NT (N).Nkind = N_Generic_Package_Declaration
5126 
        or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5127 
        or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5128 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5129 
        or else NT (N).Nkind = N_Package_Declaration
5130 
        or else NT (N).Nkind = N_Package_Instantiation
5131 
        or else NT (N).Nkind = N_Package_Renaming_Declaration
5132 
        or else NT (N).Nkind = N_Procedure_Instantiation
5133 
        or else NT (N).Nkind = N_Subprogram_Declaration
5134 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5135 
      Set_Node4 (N, Val); -- semantic field, no parent set
5136 
   end Set_Parent_Spec;
5137 
 
5138 
   procedure Set_Position
5139 
      (N : Node_Id; Val : Node_Id) is
5140 
   begin
5141 
      pragma Assert (False
5142 
        or else NT (N).Nkind = N_Component_Clause);
5143 
      Set_Node2_With_Parent (N, Val);
5144 
   end Set_Position;
5145 
 
5146 
   procedure Set_Pragma_Argument_Associations
5147 
      (N : Node_Id; Val : List_Id) is
5148 
   begin
5149 
      pragma Assert (False
5150 
        or else NT (N).Nkind = N_Pragma);
5151 
      Set_List2_With_Parent (N, Val);
5152 
   end Set_Pragma_Argument_Associations;
5153 
 
5154 
   procedure Set_Pragma_Enabled
5155 
     (N : Node_Id; Val : Boolean := True) is
5156 
   begin
5157 
      pragma Assert (False
5158 
        or else NT (N).Nkind = N_Pragma);
5159 
      Set_Flag5 (N, Val);
5160 
   end Set_Pragma_Enabled;
5161 
 
5162 
   procedure Set_Pragma_Identifier
5163 
      (N : Node_Id; Val : Node_Id) is
5164 
   begin
5165 
      pragma Assert (False
5166 
        or else NT (N).Nkind = N_Pragma);
5167 
      Set_Node4_With_Parent (N, Val);
5168 
   end Set_Pragma_Identifier;
5169 
 
5170 
   procedure Set_Pragmas_After
5171 
      (N : Node_Id; Val : List_Id) is
5172 
   begin
5173 
      pragma Assert (False
5174 
        or else NT (N).Nkind = N_Compilation_Unit_Aux
5175 
        or else NT (N).Nkind = N_Terminate_Alternative);
5176 
      Set_List5_With_Parent (N, Val);
5177 
   end Set_Pragmas_After;
5178 
 
5179 
   procedure Set_Pragmas_Before
5180 
      (N : Node_Id; Val : List_Id) is
5181 
   begin
5182 
      pragma Assert (False
5183 
        or else NT (N).Nkind = N_Accept_Alternative
5184 
        or else NT (N).Nkind = N_Delay_Alternative
5185 
        or else NT (N).Nkind = N_Entry_Call_Alternative
5186 
        or else NT (N).Nkind = N_Mod_Clause
5187 
        or else NT (N).Nkind = N_Terminate_Alternative
5188 
        or else NT (N).Nkind = N_Triggering_Alternative);
5189 
      Set_List4_With_Parent (N, Val);
5190 
   end Set_Pragmas_Before;
5191 
 
5192 
   procedure Set_Prefix
5193 
      (N : Node_Id; Val : Node_Id) is
5194 
   begin
5195 
      pragma Assert (False
5196 
        or else NT (N).Nkind = N_Attribute_Reference
5197 
        or else NT (N).Nkind = N_Expanded_Name
5198 
        or else NT (N).Nkind = N_Explicit_Dereference
5199 
        or else NT (N).Nkind = N_Indexed_Component
5200 
        or else NT (N).Nkind = N_Reference
5201 
        or else NT (N).Nkind = N_Selected_Component
5202 
        or else NT (N).Nkind = N_Slice);
5203 
      Set_Node3_With_Parent (N, Val);
5204 
   end Set_Prefix;
5205 
 
5206 
   procedure Set_Present_Expr
5207 
      (N : Node_Id; Val : Uint) is
5208 
   begin
5209 
      pragma Assert (False
5210 
        or else NT (N).Nkind = N_Variant);
5211 
      Set_Uint3 (N, Val);
5212 
   end Set_Present_Expr;
5213 
 
5214 
   procedure Set_Prev_Ids
5215 
      (N : Node_Id; Val : Boolean := True) is
5216 
   begin
5217 
      pragma Assert (False
5218 
        or else NT (N).Nkind = N_Component_Declaration
5219 
        or else NT (N).Nkind = N_Discriminant_Specification
5220 
        or else NT (N).Nkind = N_Exception_Declaration
5221 
        or else NT (N).Nkind = N_Formal_Object_Declaration
5222 
        or else NT (N).Nkind = N_Number_Declaration
5223 
        or else NT (N).Nkind = N_Object_Declaration
5224 
        or else NT (N).Nkind = N_Parameter_Specification);
5225 
      Set_Flag6 (N, Val);
5226 
   end Set_Prev_Ids;
5227 
 
5228 
   procedure Set_Print_In_Hex
5229 
      (N : Node_Id; Val : Boolean := True) is
5230 
   begin
5231 
      pragma Assert (False
5232 
        or else NT (N).Nkind = N_Integer_Literal);
5233 
      Set_Flag13 (N, Val);
5234 
   end Set_Print_In_Hex;
5235 
 
5236 
   procedure Set_Private_Declarations
5237 
      (N : Node_Id; Val : List_Id) is
5238 
   begin
5239 
      pragma Assert (False
5240 
        or else NT (N).Nkind = N_Package_Specification
5241 
        or else NT (N).Nkind = N_Protected_Definition
5242 
        or else NT (N).Nkind = N_Task_Definition);
5243 
      Set_List3_With_Parent (N, Val);
5244 
   end Set_Private_Declarations;
5245 
 
5246 
   procedure Set_Private_Present
5247 
      (N : Node_Id; Val : Boolean := True) is
5248 
   begin
5249 
      pragma Assert (False
5250 
        or else NT (N).Nkind = N_Compilation_Unit
5251 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5252 
        or else NT (N).Nkind = N_With_Clause);
5253 
      Set_Flag15 (N, Val);
5254 
   end Set_Private_Present;
5255 
 
5256 
   procedure Set_Procedure_To_Call
5257 
      (N : Node_Id; Val : Node_Id) is
5258 
   begin
5259 
      pragma Assert (False
5260 
        or else NT (N).Nkind = N_Allocator
5261 
        or else NT (N).Nkind = N_Extended_Return_Statement
5262 
        or else NT (N).Nkind = N_Free_Statement
5263 
        or else NT (N).Nkind = N_Return_Statement);
5264 
      Set_Node2 (N, Val); -- semantic field, no parent set
5265 
   end Set_Procedure_To_Call;
5266 
 
5267 
   procedure Set_Proper_Body
5268 
      (N : Node_Id; Val : Node_Id) is
5269 
   begin
5270 
      pragma Assert (False
5271 
        or else NT (N).Nkind = N_Subunit);
5272 
      Set_Node1_With_Parent (N, Val);
5273 
   end Set_Proper_Body;
5274 
 
5275 
   procedure Set_Protected_Definition
5276 
      (N : Node_Id; Val : Node_Id) is
5277 
   begin
5278 
      pragma Assert (False
5279 
        or else NT (N).Nkind = N_Protected_Type_Declaration
5280 
        or else NT (N).Nkind = N_Single_Protected_Declaration);
5281 
      Set_Node3_With_Parent (N, Val);
5282 
   end Set_Protected_Definition;
5283 
 
5284 
   procedure Set_Protected_Present
5285 
      (N : Node_Id; Val : Boolean := True) is
5286 
   begin
5287 
      pragma Assert (False
5288 
        or else NT (N).Nkind = N_Access_Function_Definition
5289 
        or else NT (N).Nkind = N_Access_Procedure_Definition
5290 
        or else NT (N).Nkind = N_Derived_Type_Definition
5291 
        or else NT (N).Nkind = N_Record_Definition);
5292 
      Set_Flag6 (N, Val);
5293 
   end Set_Protected_Present;
5294 
 
5295 
   procedure Set_Raises_Constraint_Error
5296 
      (N : Node_Id; Val : Boolean := True) is
5297 
   begin
5298 
      pragma Assert (False
5299 
        or else NT (N).Nkind in N_Subexpr);
5300 
      Set_Flag7 (N, Val);
5301 
   end Set_Raises_Constraint_Error;
5302 
 
5303 
   procedure Set_Range_Constraint
5304 
      (N : Node_Id; Val : Node_Id) is
5305 
   begin
5306 
      pragma Assert (False
5307 
        or else NT (N).Nkind = N_Delta_Constraint
5308 
        or else NT (N).Nkind = N_Digits_Constraint);
5309 
      Set_Node4_With_Parent (N, Val);
5310 
   end Set_Range_Constraint;
5311 
 
5312 
   procedure Set_Range_Expression
5313 
      (N : Node_Id; Val : Node_Id) is
5314 
   begin
5315 
      pragma Assert (False
5316 
        or else NT (N).Nkind = N_Range_Constraint);
5317 
      Set_Node4_With_Parent (N, Val);
5318 
   end Set_Range_Expression;
5319 
 
5320 
   procedure Set_Real_Range_Specification
5321 
      (N : Node_Id; Val : Node_Id) is
5322 
   begin
5323 
      pragma Assert (False
5324 
        or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5325 
        or else NT (N).Nkind = N_Floating_Point_Definition
5326 
        or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5327 
      Set_Node4_With_Parent (N, Val);
5328 
   end Set_Real_Range_Specification;
5329 
 
5330 
   procedure Set_Realval
5331 
     (N : Node_Id; Val : Ureal) is
5332 
   begin
5333 
      pragma Assert (False
5334 
        or else NT (N).Nkind = N_Real_Literal);
5335 
      Set_Ureal3 (N, Val);
5336 
   end Set_Realval;
5337 
 
5338 
   procedure Set_Reason
5339 
      (N : Node_Id; Val : Uint) is
5340 
   begin
5341 
      pragma Assert (False
5342 
        or else NT (N).Nkind = N_Raise_Constraint_Error
5343 
        or else NT (N).Nkind = N_Raise_Program_Error
5344 
        or else NT (N).Nkind = N_Raise_Storage_Error);
5345 
      Set_Uint3 (N, Val);
5346 
   end Set_Reason;
5347 
 
5348 
   procedure Set_Record_Extension_Part
5349 
      (N : Node_Id; Val : Node_Id) is
5350 
   begin
5351 
      pragma Assert (False
5352 
        or else NT (N).Nkind = N_Derived_Type_Definition);
5353 
      Set_Node3_With_Parent (N, Val);
5354 
   end Set_Record_Extension_Part;
5355 
 
5356 
   procedure Set_Redundant_Use
5357 
      (N : Node_Id; Val : Boolean := True) is
5358 
   begin
5359 
      pragma Assert (False
5360 
        or else NT (N).Nkind = N_Attribute_Reference
5361 
        or else NT (N).Nkind = N_Expanded_Name
5362 
        or else NT (N).Nkind = N_Identifier);
5363 
      Set_Flag13 (N, Val);
5364 
   end Set_Redundant_Use;
5365 
 
5366 
   procedure Set_Renaming_Exception
5367 
      (N : Node_Id; Val : Node_Id) is
5368 
   begin
5369 
      pragma Assert (False
5370 
        or else NT (N).Nkind = N_Exception_Declaration);
5371 
      Set_Node2 (N, Val);
5372 
   end Set_Renaming_Exception;
5373 
 
5374 
   procedure Set_Result_Definition
5375 
     (N : Node_Id; Val : Node_Id) is
5376 
   begin
5377 
      pragma Assert (False
5378 
        or else NT (N).Nkind = N_Access_Function_Definition
5379 
        or else NT (N).Nkind = N_Function_Specification);
5380 
      Set_Node4_With_Parent (N, Val);
5381 
   end Set_Result_Definition;
5382 
 
5383 
   procedure Set_Return_Object_Declarations
5384 
     (N : Node_Id; Val : List_Id) is
5385 
   begin
5386 
      pragma Assert (False
5387 
        or else NT (N).Nkind = N_Extended_Return_Statement);
5388 
      Set_List3_With_Parent (N, Val);
5389 
   end Set_Return_Object_Declarations;
5390 
 
5391 
   procedure Set_Return_Statement_Entity
5392 
     (N : Node_Id; Val : Node_Id) is
5393 
   begin
5394 
      pragma Assert (False
5395 
        or else NT (N).Nkind = N_Extended_Return_Statement
5396 
        or else NT (N).Nkind = N_Return_Statement);
5397 
      Set_Node5 (N, Val); -- semantic field, no parent set
5398 
   end Set_Return_Statement_Entity;
5399 
 
5400 
   procedure Set_Reverse_Present
5401 
      (N : Node_Id; Val : Boolean := True) is
5402 
   begin
5403 
      pragma Assert (False
5404 
        or else NT (N).Nkind = N_Loop_Parameter_Specification);
5405 
      Set_Flag15 (N, Val);
5406 
   end Set_Reverse_Present;
5407 
 
5408 
   procedure Set_Right_Opnd
5409 
      (N : Node_Id; Val : Node_Id) is
5410 
   begin
5411 
      pragma Assert (False
5412 
        or else NT (N).Nkind in N_Op
5413 
        or else NT (N).Nkind = N_And_Then
5414 
        or else NT (N).Nkind = N_In
5415 
        or else NT (N).Nkind = N_Not_In
5416 
        or else NT (N).Nkind = N_Or_Else);
5417 
      Set_Node3_With_Parent (N, Val);
5418 
   end Set_Right_Opnd;
5419 
 
5420 
   procedure Set_Rounded_Result
5421 
      (N : Node_Id; Val : Boolean := True) is
5422 
   begin
5423 
      pragma Assert (False
5424 
        or else NT (N).Nkind = N_Op_Divide
5425 
        or else NT (N).Nkind = N_Op_Multiply
5426 
        or else NT (N).Nkind = N_Type_Conversion);
5427 
      Set_Flag18 (N, Val);
5428 
   end Set_Rounded_Result;
5429 
 
5430 
   procedure Set_SCIL_Controlling_Tag
5431 
      (N : Node_Id; Val : Node_Id) is
5432 
   begin
5433 
      pragma Assert (False
5434 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5435 
      Set_Node5 (N, Val); -- semantic field, no parent set
5436 
   end Set_SCIL_Controlling_Tag;
5437 
 
5438 
   procedure Set_SCIL_Entity
5439 
      (N : Node_Id; Val : Node_Id) is
5440 
   begin
5441 
      pragma Assert (False
5442 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Object_Init
5443 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5444 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call
5445 
        or else NT (N).Nkind = N_SCIL_Membership_Test
5446 
        or else NT (N).Nkind = N_SCIL_Tag_Init);
5447 
      Set_Node4 (N, Val); -- semantic field, no parent set
5448 
   end Set_SCIL_Entity;
5449 
 
5450 
   procedure Set_SCIL_Related_Node
5451 
      (N : Node_Id; Val : Node_Id) is
5452 
   begin
5453 
      pragma Assert (False
5454 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Object_Init
5455 
        or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5456 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call
5457 
        or else NT (N).Nkind = N_SCIL_Membership_Test
5458 
        or else NT (N).Nkind = N_SCIL_Tag_Init);
5459 
      Set_Node1 (N, Val); -- semantic field, no parent set
5460 
   end Set_SCIL_Related_Node;
5461 
 
5462 
   procedure Set_SCIL_Tag_Value
5463 
      (N : Node_Id; Val : Node_Id) is
5464 
   begin
5465 
      pragma Assert (False
5466 
        or else NT (N).Nkind = N_SCIL_Membership_Test);
5467 
      Set_Node5 (N, Val); -- semantic field, no parent set
5468 
   end Set_SCIL_Tag_Value;
5469 
 
5470 
   procedure Set_SCIL_Target_Prim
5471 
      (N : Node_Id; Val : Node_Id) is
5472 
   begin
5473 
      pragma Assert (False
5474 
        or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5475 
      Set_Node2 (N, Val); -- semantic field, no parent set
5476 
   end Set_SCIL_Target_Prim;
5477 
 
5478 
   procedure Set_Scope
5479 
      (N : Node_Id; Val : Node_Id) is
5480 
   begin
5481 
      pragma Assert (False
5482 
        or else NT (N).Nkind = N_Defining_Character_Literal
5483 
        or else NT (N).Nkind = N_Defining_Identifier
5484 
        or else NT (N).Nkind = N_Defining_Operator_Symbol);
5485 
      Set_Node3 (N, Val); -- semantic field, no parent set
5486 
   end Set_Scope;
5487 
 
5488 
   procedure Set_Select_Alternatives
5489 
      (N : Node_Id; Val : List_Id) is
5490 
   begin
5491 
      pragma Assert (False
5492 
        or else NT (N).Nkind = N_Selective_Accept);
5493 
      Set_List1_With_Parent (N, Val);
5494 
   end Set_Select_Alternatives;
5495 
 
5496 
   procedure Set_Selector_Name
5497 
      (N : Node_Id; Val : Node_Id) is
5498 
   begin
5499 
      pragma Assert (False
5500 
        or else NT (N).Nkind = N_Expanded_Name
5501 
        or else NT (N).Nkind = N_Generic_Association
5502 
        or else NT (N).Nkind = N_Parameter_Association
5503 
        or else NT (N).Nkind = N_Selected_Component);
5504 
      Set_Node2_With_Parent (N, Val);
5505 
   end Set_Selector_Name;
5506 
 
5507 
   procedure Set_Selector_Names
5508 
      (N : Node_Id; Val : List_Id) is
5509 
   begin
5510 
      pragma Assert (False
5511 
        or else NT (N).Nkind = N_Discriminant_Association);
5512 
      Set_List1_With_Parent (N, Val);
5513 
   end Set_Selector_Names;
5514 
 
5515 
   procedure Set_Shift_Count_OK
5516 
      (N : Node_Id; Val : Boolean := True) is
5517 
   begin
5518 
      pragma Assert (False
5519 
        or else NT (N).Nkind = N_Op_Rotate_Left
5520 
        or else NT (N).Nkind = N_Op_Rotate_Right
5521 
        or else NT (N).Nkind = N_Op_Shift_Left
5522 
        or else NT (N).Nkind = N_Op_Shift_Right
5523 
        or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5524 
      Set_Flag4 (N, Val);
5525 
   end Set_Shift_Count_OK;
5526 
 
5527 
   procedure Set_Source_Type
5528 
      (N : Node_Id; Val : Entity_Id) is
5529 
   begin
5530 
      pragma Assert (False
5531 
        or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5532 
      Set_Node1 (N, Val); -- semantic field, no parent set
5533 
   end Set_Source_Type;
5534 
 
5535 
   procedure Set_Specification
5536 
      (N : Node_Id; Val : Node_Id) is
5537 
   begin
5538 
      pragma Assert (False
5539 
        or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5540 
        or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5541 
        or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5542 
        or else NT (N).Nkind = N_Generic_Package_Declaration
5543 
        or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5544 
        or else NT (N).Nkind = N_Package_Declaration
5545 
        or else NT (N).Nkind = N_Subprogram_Body
5546 
        or else NT (N).Nkind = N_Subprogram_Body_Stub
5547 
        or else NT (N).Nkind = N_Subprogram_Declaration
5548 
        or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5549 
      Set_Node1_With_Parent (N, Val);
5550 
   end Set_Specification;
5551 
 
5552 
   procedure Set_Statements
5553 
      (N : Node_Id; Val : List_Id) is
5554 
   begin
5555 
      pragma Assert (False
5556 
        or else NT (N).Nkind = N_Abortable_Part
5557 
        or else NT (N).Nkind = N_Accept_Alternative
5558 
        or else NT (N).Nkind = N_Case_Statement_Alternative
5559 
        or else NT (N).Nkind = N_Delay_Alternative
5560 
        or else NT (N).Nkind = N_Entry_Call_Alternative
5561 
        or else NT (N).Nkind = N_Exception_Handler
5562 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5563 
        or else NT (N).Nkind = N_Loop_Statement
5564 
        or else NT (N).Nkind = N_Triggering_Alternative);
5565 
      Set_List3_With_Parent (N, Val);
5566 
   end Set_Statements;
5567 
 
5568 
   procedure Set_Static_Processing_OK
5569 
      (N : Node_Id; Val : Boolean) is
5570 
   begin
5571 
      pragma Assert (False
5572 
        or else NT (N).Nkind = N_Aggregate);
5573 
      Set_Flag4 (N, Val);
5574 
   end Set_Static_Processing_OK;
5575 
 
5576 
   procedure Set_Storage_Pool
5577 
      (N : Node_Id; Val : Node_Id) is
5578 
   begin
5579 
      pragma Assert (False
5580 
        or else NT (N).Nkind = N_Allocator
5581 
        or else NT (N).Nkind = N_Extended_Return_Statement
5582 
        or else NT (N).Nkind = N_Free_Statement
5583 
        or else NT (N).Nkind = N_Return_Statement);
5584 
      Set_Node1 (N, Val); -- semantic field, no parent set
5585 
   end Set_Storage_Pool;
5586 
 
5587 
   procedure Set_Strval
5588 
      (N : Node_Id; Val : String_Id) is
5589 
   begin
5590 
      pragma Assert (False
5591 
        or else NT (N).Nkind = N_Operator_Symbol
5592 
        or else NT (N).Nkind = N_String_Literal);
5593 
      Set_Str3 (N, Val);
5594 
   end Set_Strval;
5595 
 
5596 
   procedure Set_Subtype_Indication
5597 
      (N : Node_Id; Val : Node_Id) is
5598 
   begin
5599 
      pragma Assert (False
5600 
        or else NT (N).Nkind = N_Access_To_Object_Definition
5601 
        or else NT (N).Nkind = N_Component_Definition
5602 
        or else NT (N).Nkind = N_Derived_Type_Definition
5603 
        or else NT (N).Nkind = N_Private_Extension_Declaration
5604 
        or else NT (N).Nkind = N_Subtype_Declaration);
5605 
      Set_Node5_With_Parent (N, Val);
5606 
   end Set_Subtype_Indication;
5607 
 
5608 
   procedure Set_Subtype_Mark
5609 
      (N : Node_Id; Val : Node_Id) is
5610 
   begin
5611 
      pragma Assert (False
5612 
        or else NT (N).Nkind = N_Access_Definition
5613 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5614 
        or else NT (N).Nkind = N_Formal_Object_Declaration
5615 
        or else NT (N).Nkind = N_Object_Renaming_Declaration
5616 
        or else NT (N).Nkind = N_Qualified_Expression
5617 
        or else NT (N).Nkind = N_Subtype_Indication
5618 
        or else NT (N).Nkind = N_Type_Conversion
5619 
        or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5620 
      Set_Node4_With_Parent (N, Val);
5621 
   end Set_Subtype_Mark;
5622 
 
5623 
   procedure Set_Subtype_Marks
5624 
      (N : Node_Id; Val : List_Id) is
5625 
   begin
5626 
      pragma Assert (False
5627 
        or else NT (N).Nkind = N_Unconstrained_Array_Definition
5628 
        or else NT (N).Nkind = N_Use_Type_Clause);
5629 
      Set_List2_With_Parent (N, Val);
5630 
   end Set_Subtype_Marks;
5631 
 
5632 
   procedure Set_Suppress_Loop_Warnings
5633 
      (N : Node_Id; Val : Boolean := True) is
5634 
   begin
5635 
      pragma Assert (False
5636 
        or else NT (N).Nkind = N_Loop_Statement);
5637 
      Set_Flag17 (N, Val);
5638 
   end Set_Suppress_Loop_Warnings;
5639 
 
5640 
   procedure Set_Synchronized_Present
5641 
     (N : Node_Id; Val : Boolean := True) is
5642 
   begin
5643 
      pragma Assert (False
5644 
        or else NT (N).Nkind = N_Derived_Type_Definition
5645 
        or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5646 
        or else NT (N).Nkind = N_Private_Extension_Declaration
5647 
        or else NT (N).Nkind = N_Record_Definition);
5648 
      Set_Flag7 (N, Val);
5649 
   end Set_Synchronized_Present;
5650 
 
5651 
   procedure Set_Tagged_Present
5652 
      (N : Node_Id; Val : Boolean := True) is
5653 
   begin
5654 
      pragma Assert (False
5655 
        or else NT (N).Nkind = N_Formal_Private_Type_Definition
5656 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
5657 
        or else NT (N).Nkind = N_Private_Type_Declaration
5658 
        or else NT (N).Nkind = N_Record_Definition);
5659 
      Set_Flag15 (N, Val);
5660 
   end Set_Tagged_Present;
5661 
 
5662 
   procedure Set_Target_Type
5663 
      (N : Node_Id; Val : Entity_Id) is
5664 
   begin
5665 
      pragma Assert (False
5666 
        or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5667 
      Set_Node2 (N, Val); -- semantic field, no parent set
5668 
   end Set_Target_Type;
5669 
 
5670 
   procedure Set_Task_Definition
5671 
      (N : Node_Id; Val : Node_Id) is
5672 
   begin
5673 
      pragma Assert (False
5674 
        or else NT (N).Nkind = N_Single_Task_Declaration
5675 
        or else NT (N).Nkind = N_Task_Type_Declaration);
5676 
      Set_Node3_With_Parent (N, Val);
5677 
   end Set_Task_Definition;
5678 
 
5679 
   procedure Set_Task_Present
5680 
     (N : Node_Id; Val : Boolean := True) is
5681 
   begin
5682 
      pragma Assert (False
5683 
        or else NT (N).Nkind = N_Derived_Type_Definition
5684 
        or else NT (N).Nkind = N_Record_Definition);
5685 
      Set_Flag5 (N, Val);
5686 
   end Set_Task_Present;
5687 
 
5688 
   procedure Set_Then_Actions
5689 
      (N : Node_Id; Val : List_Id) is
5690 
   begin
5691 
      pragma Assert (False
5692 
        or else NT (N).Nkind = N_Conditional_Expression);
5693 
      Set_List2 (N, Val); -- semantic field, no parent set
5694 
   end Set_Then_Actions;
5695 
 
5696 
   procedure Set_Then_Statements
5697 
      (N : Node_Id; Val : List_Id) is
5698 
   begin
5699 
      pragma Assert (False
5700 
        or else NT (N).Nkind = N_Elsif_Part
5701 
        or else NT (N).Nkind = N_If_Statement);
5702 
      Set_List2_With_Parent (N, Val);
5703 
   end Set_Then_Statements;
5704 
 
5705 
   procedure Set_Treat_Fixed_As_Integer
5706 
      (N : Node_Id; Val : Boolean := True) is
5707 
   begin
5708 
      pragma Assert (False
5709 
        or else NT (N).Nkind = N_Op_Divide
5710 
        or else NT (N).Nkind = N_Op_Mod
5711 
        or else NT (N).Nkind = N_Op_Multiply
5712 
        or else NT (N).Nkind = N_Op_Rem);
5713 
      Set_Flag14 (N, Val);
5714 
   end Set_Treat_Fixed_As_Integer;
5715 
 
5716 
   procedure Set_Triggering_Alternative
5717 
      (N : Node_Id; Val : Node_Id) is
5718 
   begin
5719 
      pragma Assert (False
5720 
        or else NT (N).Nkind = N_Asynchronous_Select);
5721 
      Set_Node1_With_Parent (N, Val);
5722 
   end Set_Triggering_Alternative;
5723 
 
5724 
   procedure Set_Triggering_Statement
5725 
      (N : Node_Id; Val : Node_Id) is
5726 
   begin
5727 
      pragma Assert (False
5728 
        or else NT (N).Nkind = N_Triggering_Alternative);
5729 
      Set_Node1_With_Parent (N, Val);
5730 
   end Set_Triggering_Statement;
5731 
 
5732 
   procedure Set_TSS_Elist
5733 
      (N : Node_Id; Val : Elist_Id) is
5734 
   begin
5735 
      pragma Assert (False
5736 
        or else NT (N).Nkind = N_Freeze_Entity);
5737 
      Set_Elist3 (N, Val); -- semantic field, no parent set
5738 
   end Set_TSS_Elist;
5739 
 
5740 
   procedure Set_Type_Definition
5741 
      (N : Node_Id; Val : Node_Id) is
5742 
   begin
5743 
      pragma Assert (False
5744 
        or else NT (N).Nkind = N_Full_Type_Declaration);
5745 
      Set_Node3_With_Parent (N, Val);
5746 
   end Set_Type_Definition;
5747 
 
5748 
   procedure Set_Unit
5749 
      (N : Node_Id; Val : Node_Id) is
5750 
   begin
5751 
      pragma Assert (False
5752 
        or else NT (N).Nkind = N_Compilation_Unit);
5753 
      Set_Node2_With_Parent (N, Val);
5754 
   end Set_Unit;
5755 
 
5756 
   procedure Set_Unknown_Discriminants_Present
5757 
      (N : Node_Id; Val : Boolean := True) is
5758 
   begin
5759 
      pragma Assert (False
5760 
        or else NT (N).Nkind = N_Formal_Type_Declaration
5761 
        or else NT (N).Nkind = N_Incomplete_Type_Declaration
5762 
        or else NT (N).Nkind = N_Private_Extension_Declaration
5763 
        or else NT (N).Nkind = N_Private_Type_Declaration);
5764 
      Set_Flag13 (N, Val);
5765 
   end Set_Unknown_Discriminants_Present;
5766 
 
5767 
   procedure Set_Unreferenced_In_Spec
5768 
      (N : Node_Id; Val : Boolean := True) is
5769 
   begin
5770 
      pragma Assert (False
5771 
        or else NT (N).Nkind = N_With_Clause);
5772 
      Set_Flag7 (N, Val);
5773 
   end Set_Unreferenced_In_Spec;
5774 
 
5775 
   procedure Set_Variant_Part
5776 
      (N : Node_Id; Val : Node_Id) is
5777 
   begin
5778 
      pragma Assert (False
5779 
        or else NT (N).Nkind = N_Component_List);
5780 
      Set_Node4_With_Parent (N, Val);
5781 
   end Set_Variant_Part;
5782 
 
5783 
   procedure Set_Variants
5784 
      (N : Node_Id; Val : List_Id) is
5785 
   begin
5786 
      pragma Assert (False
5787 
        or else NT (N).Nkind = N_Variant_Part);
5788 
      Set_List1_With_Parent (N, Val);
5789 
   end Set_Variants;
5790 
 
5791 
   procedure Set_Visible_Declarations
5792 
      (N : Node_Id; Val : List_Id) is
5793 
   begin
5794 
      pragma Assert (False
5795 
        or else NT (N).Nkind = N_Package_Specification
5796 
        or else NT (N).Nkind = N_Protected_Definition
5797 
        or else NT (N).Nkind = N_Task_Definition);
5798 
      Set_List2_With_Parent (N, Val);
5799 
   end Set_Visible_Declarations;
5800 
 
5801 
   procedure Set_Was_Originally_Stub
5802 
      (N : Node_Id; Val : Boolean := True) is
5803 
   begin
5804 
      pragma Assert (False
5805 
        or else NT (N).Nkind = N_Package_Body
5806 
        or else NT (N).Nkind = N_Protected_Body
5807 
        or else NT (N).Nkind = N_Subprogram_Body
5808 
        or else NT (N).Nkind = N_Task_Body);
5809 
      Set_Flag13 (N, Val);
5810 
   end Set_Was_Originally_Stub;
5811 
 
5812 
   procedure Set_Zero_Cost_Handling
5813 
      (N : Node_Id; Val : Boolean := True) is
5814 
   begin
5815 
      pragma Assert (False
5816 
        or else NT (N).Nkind = N_Exception_Handler
5817 
        or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
5818 
      Set_Flag5 (N, Val);
5819 
   end Set_Zero_Cost_Handling;
5820 
 
5821 
   -------------------------
5822 
   -- Iterator Procedures --
5823 
   -------------------------
5824 
 
5825 
   procedure Next_Entity       (N : in out Node_Id) is
5826 
   begin
5827 
      N := Next_Entity (N);
5828 
   end Next_Entity;
5829 
 
5830 
   procedure Next_Named_Actual (N : in out Node_Id) is
5831 
   begin
5832 
      N := Next_Named_Actual (N);
5833 
   end Next_Named_Actual;
5834 
 
5835 
   procedure Next_Rep_Item     (N : in out Node_Id) is
5836 
   begin
5837 
      N := Next_Rep_Item (N);
5838 
   end Next_Rep_Item;
5839 
 
5840 
   procedure Next_Use_Clause   (N : in out Node_Id) is
5841 
   begin
5842 
      N := Next_Use_Clause (N);
5843 
   end Next_Use_Clause;
5844 
 
5845 
   ------------------
5846 
   -- End_Location --
5847 
   ------------------
5848 
 
5849 
   function End_Location (N : Node_Id) return Source_Ptr is
5850 
      L : constant Uint := End_Span (N);
5851 
   begin
5852 
      if L = No_Uint then
5853 
         return No_Location;
5854 
      else
5855 
         return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
5856 
      end if;
5857 
   end End_Location;
5858 
 
5859 
   ----------------------
5860 
   -- Set_End_Location --
5861 
   ----------------------
5862 
 
5863 
   procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
5864 
   begin
5865 
      Set_End_Span (N,
5866 
        UI_From_Int (Int (S) - Int (Sloc (N))));
5867 
   end Set_End_Location;
5868 
 
5869 
   --------------
5870 
   -- Nkind_In --
5871 
   --------------
5872 
 
5873 
   function Nkind_In
5874 
     (T  : Node_Kind;
5875 
      V1 : Node_Kind;
5876 
      V2 : Node_Kind) return Boolean
5877 
   is
5878 
   begin
5879 
      return T = V1 or else
5880 
             T = V2;
5881 
   end Nkind_In;
5882 
 
5883 
   function Nkind_In
5884 
     (T  : Node_Kind;
5885 
      V1 : Node_Kind;
5886 
      V2 : Node_Kind;
5887 
      V3 : Node_Kind) return Boolean
5888 
   is
5889 
   begin
5890 
      return T = V1 or else
5891 
             T = V2 or else
5892 
             T = V3;
5893 
   end Nkind_In;
5894 
 
5895 
   function Nkind_In
5896 
     (T  : Node_Kind;
5897 
      V1 : Node_Kind;
5898 
      V2 : Node_Kind;
5899 
      V3 : Node_Kind;
5900 
      V4 : Node_Kind) return Boolean
5901 
   is
5902 
   begin
5903 
      return T = V1 or else
5904 
             T = V2 or else
5905 
             T = V3 or else
5906 
             T = V4;
5907 
   end Nkind_In;
5908 
 
5909 
   function Nkind_In
5910 
     (T  : Node_Kind;
5911 
      V1 : Node_Kind;
5912 
      V2 : Node_Kind;
5913 
      V3 : Node_Kind;
5914 
      V4 : Node_Kind;
5915 
      V5 : Node_Kind) return Boolean
5916 
   is
5917 
   begin
5918 
      return T = V1 or else
5919 
             T = V2 or else
5920 
             T = V3 or else
5921 
             T = V4 or else
5922 
             T = V5;
5923 
   end Nkind_In;
5924 
 
5925 
   function Nkind_In
5926 
     (T  : Node_Kind;
5927 
      V1 : Node_Kind;
5928 
      V2 : Node_Kind;
5929 
      V3 : Node_Kind;
5930 
      V4 : Node_Kind;
5931 
      V5 : Node_Kind;
5932 
      V6 : Node_Kind) return Boolean
5933 
   is
5934 
   begin
5935 
      return T = V1 or else
5936 
             T = V2 or else
5937 
             T = V3 or else
5938 
             T = V4 or else
5939 
             T = V5 or else
5940 
             T = V6;
5941 
   end Nkind_In;
5942 
 
5943 
   function Nkind_In
5944 
     (T  : Node_Kind;
5945 
      V1 : Node_Kind;
5946 
      V2 : Node_Kind;
5947 
      V3 : Node_Kind;
5948 
      V4 : Node_Kind;
5949 
      V5 : Node_Kind;
5950 
      V6 : Node_Kind;
5951 
      V7 : Node_Kind) return Boolean
5952 
   is
5953 
   begin
5954 
      return T = V1 or else
5955 
             T = V2 or else
5956 
             T = V3 or else
5957 
             T = V4 or else
5958 
             T = V5 or else
5959 
             T = V6 or else
5960 
             T = V7;
5961 
   end Nkind_In;
5962 
 
5963 
   function Nkind_In
5964 
     (T  : Node_Kind;
5965 
      V1 : Node_Kind;
5966 
      V2 : Node_Kind;
5967 
      V3 : Node_Kind;
5968 
      V4 : Node_Kind;
5969 
      V5 : Node_Kind;
5970 
      V6 : Node_Kind;
5971 
      V7 : Node_Kind;
5972 
      V8 : Node_Kind) return Boolean
5973 
   is
5974 
   begin
5975 
      return T = V1 or else
5976 
             T = V2 or else
5977 
             T = V3 or else
5978 
             T = V4 or else
5979 
             T = V5 or else
5980 
             T = V6 or else
5981 
             T = V7 or else
5982 
             T = V8;
5983 
   end Nkind_In;
5984 
 
5985 
 
5986 
   function Nkind_In
5987 
     (T  : Node_Kind;
5988 
      V1 : Node_Kind;
5989 
      V2 : Node_Kind;
5990 
      V3 : Node_Kind;
5991 
      V4 : Node_Kind;
5992 
      V5 : Node_Kind;
5993 
      V6 : Node_Kind;
5994 
      V7 : Node_Kind;
5995 
      V8 : Node_Kind;
5996 
      V9 : Node_Kind) return Boolean
5997 
   is
5998 
   begin
5999 
      return T = V1 or else
6000 
             T = V2 or else
6001 
             T = V3 or else
6002 
             T = V4 or else
6003 
             T = V5 or else
6004 
             T = V6 or else
6005 
             T = V7 or else
6006 
             T = V8 or else
6007 
             T = V9;
6008 
   end Nkind_In;
6009 
 
6010 
   -----------------
6011 
   -- Pragma_Name --
6012 
   -----------------
6013 
 
6014 
   function Pragma_Name (N : Node_Id) return Name_Id is
6015 
   begin
6016 
      return Chars (Pragma_Identifier (N));
6017 
   end Pragma_Name;
6018 
 
6019 
end Sinfo;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.