source: trunk/ada-2012/src/asis/asis-extensions-flat_kinds.adb@ 397

Last change on this file since 397 was 397, checked in by Maxim Reznik, 5 years ago

Declare incomplete types. Add new tests

File size: 79.6 KB
Line 
1with Gela.Compilations;
2with Gela.Lexical_Types;
3
4with Gela.Element_Visiters;
5with Gela.Elements.Abort_Statements;
6with Gela.Elements.Accept_Statements;
7with Gela.Elements.Access_To_Function_Definitions;
8with Gela.Elements.Access_To_Object_Definitions;
9with Gela.Elements.Access_To_Procedure_Definitions;
10with Gela.Elements.Allocators;
11with Gela.Elements.Anonymous_Access_To_Function_Definitions;
12with Gela.Elements.Anonymous_Access_To_Object_Definitions;
13with Gela.Elements.Anonymous_Access_To_Procedure_Definitions;
14with Gela.Elements.Aspect_Specifications;
15with Gela.Elements.Assignment_Statements;
16with Gela.Elements.Associations;
17with Gela.Elements.Asynchronous_Selects;
18with Gela.Elements.At_Clauses;
19with Gela.Elements.Attribute_Definition_Clauses;
20with Gela.Elements.Attribute_References;
21with Gela.Elements.Auxiliary_Applies;
22with Gela.Elements.Block_Statements;
23with Gela.Elements.Boxes;
24with Gela.Elements.Case_Expression_Paths;
25with Gela.Elements.Case_Expressions;
26with Gela.Elements.Case_Paths;
27with Gela.Elements.Case_Statements;
28with Gela.Elements.Character_Literals;
29with Gela.Elements.Choice_Parameter_Specifications;
30with Gela.Elements.Compilation_Unit_Bodies;
31with Gela.Elements.Compilation_Unit_Declarations;
32with Gela.Elements.Compilations;
33with Gela.Elements.Component_Clauses;
34with Gela.Elements.Component_Declarations;
35with Gela.Elements.Component_Definitions;
36with Gela.Elements.Composite_Constraints;
37with Gela.Elements.Constrained_Array_Definitions;
38with Gela.Elements.Decimal_Fixed_Point_Definitions;
39with Gela.Elements.Defining_Character_Literals;
40with Gela.Elements.Defining_Enumeration_Literals;
41with Gela.Elements.Defining_Expanded_Unit_Names;
42with Gela.Elements.Defining_Identifiers;
43with Gela.Elements.Defining_Operator_Symbols;
44with Gela.Elements.Delay_Statements;
45with Gela.Elements.Delta_Constraints;
46with Gela.Elements.Derived_Record_Definitions;
47with Gela.Elements.Derived_Type_Definitions;
48with Gela.Elements.Digits_Constraints;
49with Gela.Elements.Discrete_Range_Attribute_References;
50with Gela.Elements.Discrete_Simple_Expression_Ranges;
51with Gela.Elements.Discrete_Subtype_Indication_Drs;
52with Gela.Elements.Discrete_Subtype_Indications;
53with Gela.Elements.Discriminant_Specifications;
54with Gela.Elements.Element_Iterator_Specifications;
55with Gela.Elements.Else_Expression_Paths;
56with Gela.Elements.Else_Paths;
57with Gela.Elements.Elsif_Expression_Paths;
58with Gela.Elements.Elsif_Paths;
59with Gela.Elements.Entry_Bodies;
60with Gela.Elements.Entry_Declarations;
61with Gela.Elements.Entry_Index_Specifications;
62with Gela.Elements.Enumeration_Literal_Specifications;
63with Gela.Elements.Enumeration_Literals;
64with Gela.Elements.Enumeration_Type_Definitions;
65with Gela.Elements.Exception_Declarations;
66with Gela.Elements.Exception_Handlers;
67with Gela.Elements.Exception_Renaming_Declarations;
68with Gela.Elements.Exit_Statements;
69with Gela.Elements.Explicit_Dereferences;
70with Gela.Elements.Extended_Return_Statements;
71with Gela.Elements.Extension_Aggregates;
72with Gela.Elements.Floating_Point_Definitions;
73with Gela.Elements.For_Loop_Statements;
74with Gela.Elements.Formal_Access_To_Function_Definitions;
75with Gela.Elements.Formal_Access_To_Object_Definitions;
76with Gela.Elements.Formal_Access_To_Procedure_Definitions;
77with Gela.Elements.Formal_Constrained_Array_Definitions;
78with Gela.Elements.Formal_Decimal_Fixed_Point_Definitions;
79with Gela.Elements.Formal_Derived_Type_Definitions;
80with Gela.Elements.Formal_Discrete_Type_Definitions;
81with Gela.Elements.Formal_Floating_Point_Definitions;
82with Gela.Elements.Formal_Function_Declarations;
83with Gela.Elements.Formal_Incomplete_Type_Declarations;
84with Gela.Elements.Formal_Interface_Type_Definitions;
85with Gela.Elements.Formal_Modular_Type_Definitions;
86with Gela.Elements.Formal_Object_Declarations;
87with Gela.Elements.Formal_Ordinary_Fixed_Point_Definitions;
88with Gela.Elements.Formal_Package_Declarations;
89with Gela.Elements.Formal_Private_Type_Definitions;
90with Gela.Elements.Formal_Procedure_Declarations;
91with Gela.Elements.Formal_Signed_Integer_Type_Definitions;
92with Gela.Elements.Formal_Type_Declarations;
93with Gela.Elements.Formal_Unconstrained_Array_Definitions;
94with Gela.Elements.Full_Type_Declarations;
95with Gela.Elements.Function_Bodies;
96with Gela.Elements.Function_Declarations;
97with Gela.Elements.Function_Instantiations;
98with Gela.Elements.Generalized_Iterator_Specifications;
99with Gela.Elements.Generic_Associations;
100with Gela.Elements.Generic_Function_Declarations;
101with Gela.Elements.Generic_Function_Renamings;
102with Gela.Elements.Generic_Package_Declarations;
103with Gela.Elements.Generic_Package_Renamings;
104with Gela.Elements.Generic_Procedure_Declarations;
105with Gela.Elements.Generic_Procedure_Renamings;
106with Gela.Elements.Goto_Statements;
107with Gela.Elements.Identifiers;
108with Gela.Elements.If_Expression_Paths;
109with Gela.Elements.If_Expressions;
110with Gela.Elements.If_Paths;
111with Gela.Elements.If_Statements;
112with Gela.Elements.Incomplete_Type_Declarations;
113with Gela.Elements.Incomplete_Type_Definitions;
114with Gela.Elements.Interface_Type_Definitions;
115with Gela.Elements.Known_Discriminant_Parts;
116with Gela.Elements.Label_Decorators;
117with Gela.Elements.Loop_Parameter_Specifications;
118with Gela.Elements.Loop_Statements;
119with Gela.Elements.Membership_Tests;
120with Gela.Elements.Modular_Type_Definitions;
121with Gela.Elements.Null_Components;
122with Gela.Elements.Null_Literals;
123with Gela.Elements.Null_Record_Definitions;
124with Gela.Elements.Null_Statements;
125with Gela.Elements.Number_Declarations;
126with Gela.Elements.Numeric_Literals;
127with Gela.Elements.Object_Declarations;
128with Gela.Elements.Object_Renaming_Declarations;
129with Gela.Elements.Operator_Symbols;
130with Gela.Elements.Ordinary_Fixed_Point_Definitions;
131with Gela.Elements.Others_Choices;
132with Gela.Elements.Package_Bodies;
133with Gela.Elements.Package_Body_Stubs;
134with Gela.Elements.Package_Declarations;
135with Gela.Elements.Package_Instantiations;
136with Gela.Elements.Package_Renaming_Declarations;
137with Gela.Elements.Parameter_Associations;
138with Gela.Elements.Parameter_Specifications;
139with Gela.Elements.Pragma_Argument_Associations;
140with Gela.Elements.Pragma_Nodes;
141with Gela.Elements.Private_Extension_Declarations;
142with Gela.Elements.Private_Extension_Definitions;
143with Gela.Elements.Private_Type_Declarations;
144with Gela.Elements.Private_Type_Definitions;
145with Gela.Elements.Procedure_Bodies;
146with Gela.Elements.Procedure_Call_Statements;
147with Gela.Elements.Procedure_Declarations;
148with Gela.Elements.Procedure_Instantiations;
149with Gela.Elements.Protected_Bodies;
150with Gela.Elements.Protected_Body_Stubs;
151with Gela.Elements.Protected_Definitions;
152with Gela.Elements.Protected_Type_Declarations;
153with Gela.Elements.Qualified_Expressions;
154with Gela.Elements.Quantified_Expressions;
155with Gela.Elements.Raise_Statements;
156with Gela.Elements.Range_Attribute_Reference_Drs;
157with Gela.Elements.Range_Attribute_References;
158with Gela.Elements.Record_Aggregates;
159with Gela.Elements.Record_Definitions;
160with Gela.Elements.Record_Representation_Clauses;
161with Gela.Elements.Record_Type_Definitions;
162with Gela.Elements.Requeue_Statements;
163with Gela.Elements.Return_Object_Specifications;
164with Gela.Elements.Select_Or_Paths;
165with Gela.Elements.Selected_Components;
166with Gela.Elements.Selected_Identifiers;
167with Gela.Elements.Selective_Accepts;
168with Gela.Elements.Short_Circuits;
169with Gela.Elements.Signed_Integer_Type_Definitions;
170with Gela.Elements.Simple_Expression_Range_Drs;
171with Gela.Elements.Simple_Expression_Ranges;
172with Gela.Elements.Simple_Return_Statements;
173with Gela.Elements.Single_Protected_Declarations;
174with Gela.Elements.Single_Task_Declarations;
175with Gela.Elements.String_Literals;
176with Gela.Elements.Subtype_Declarations;
177with Gela.Elements.Subtype_Indications;
178with Gela.Elements.Subunits;
179with Gela.Elements.Task_Bodies;
180with Gela.Elements.Task_Body_Stubs;
181with Gela.Elements.Task_Definitions;
182with Gela.Elements.Task_Type_Declarations;
183with Gela.Elements.Terminate_Alternative_Statements;
184with Gela.Elements.Then_Abort_Paths;
185with Gela.Elements.Unconstrained_Array_Definitions;
186with Gela.Elements.Unknown_Discriminant_Parts;
187with Gela.Elements.Use_Package_Clauses;
188with Gela.Elements.Use_Type_Clauses;
189with Gela.Elements.Variant_Parts;
190with Gela.Elements.Variants;
191with Gela.Elements.While_Loop_Statements;
192with Gela.Elements.With_Clauses;
193
194package body Asis.Extensions.Flat_Kinds is
195
196 type Visiter is new Gela.Element_Visiters.Visiter with record
197 Result : Element_Flat_Kind;
198 end record;
199
200 overriding procedure Compilation
201 (Self : in out Visiter;
202 Node : not null Gela.Elements.Compilations.Compilation_Access)
203 is null;
204
205 overriding procedure Abort_Statement
206 (Self : in out Visiter;
207 Node : not null Gela.Elements.Abort_Statements.Abort_Statement_Access)
208 is null;
209
210 overriding procedure Accept_Statement
211 (Self : in out Visiter;
212 Node : not null Gela.Elements.Accept_Statements.Accept_Statement_Access);
213
214 overriding procedure Access_To_Function_Definition
215 (Self : in out Visiter;
216 Node : not null Gela.Elements.Access_To_Function_Definitions.
217 Access_To_Function_Definition_Access)
218 is null;
219
220 overriding procedure Access_To_Object_Definition
221 (Self : in out Visiter;
222 Node : not null Gela.Elements.Access_To_Object_Definitions.
223 Access_To_Object_Definition_Access);
224
225 overriding procedure Access_To_Procedure_Definition
226 (Self : in out Visiter;
227 Node : not null Gela.Elements.Access_To_Procedure_Definitions.
228 Access_To_Procedure_Definition_Access)
229 is null;
230
231 overriding procedure Allocator
232 (Self : in out Visiter;
233 Node : not null Gela.Elements.Allocators.Allocator_Access)
234 is null;
235
236 overriding procedure Anonymous_Access_To_Function_Definition
237 (Self : in out Visiter;
238 Node : not null Gela.Elements.Anonymous_Access_To_Function_Definitions.
239 Anonymous_Access_To_Function_Definition_Access)
240 is null;
241
242 overriding procedure Anonymous_Access_To_Object_Definition
243 (Self : in out Visiter;
244 Node : not null Gela.Elements.Anonymous_Access_To_Object_Definitions.
245 Anonymous_Access_To_Object_Definition_Access);
246
247 overriding procedure Anonymous_Access_To_Procedure_Definition
248 (Self : in out Visiter;
249 Node : not null Gela.Elements.Anonymous_Access_To_Procedure_Definitions.
250 Anonymous_Access_To_Procedure_Definition_Access)
251 is null;
252
253 overriding procedure Aspect_Specification
254 (Self : in out Visiter;
255 Node : not null Gela.Elements.Aspect_Specifications.
256 Aspect_Specification_Access)
257 is null;
258
259 overriding procedure Assignment_Statement
260 (Self : in out Visiter;
261 Node : not null Gela.Elements.Assignment_Statements.
262 Assignment_Statement_Access);
263
264 overriding procedure Association
265 (Self : in out Visiter;
266 Node : not null Gela.Elements.Associations.Association_Access);
267
268 overriding procedure Asynchronous_Select
269 (Self : in out Visiter;
270 Node : not null Gela.Elements.Asynchronous_Selects.
271 Asynchronous_Select_Access)
272 is null;
273
274 overriding procedure At_Clause
275 (Self : in out Visiter;
276 Node : not null Gela.Elements.At_Clauses.At_Clause_Access)
277 is null;
278
279 overriding procedure Attribute_Definition_Clause
280 (Self : in out Visiter;
281 Node : not null Gela.Elements.Attribute_Definition_Clauses.
282 Attribute_Definition_Clause_Access)
283 is null;
284
285 overriding procedure Attribute_Reference
286 (Self : in out Visiter;
287 Node : not null Gela.Elements.Attribute_References.
288 Attribute_Reference_Access);
289
290 overriding procedure Auxiliary_Apply
291 (Self : in out Visiter;
292 Node : not null Gela.Elements.Auxiliary_Applies.Auxiliary_Apply_Access);
293
294 overriding procedure Block_Statement
295 (Self : in out Visiter;
296 Node : not null Gela.Elements.Block_Statements.Block_Statement_Access);
297
298 overriding procedure Box
299 (Self : in out Visiter;
300 Node : not null Gela.Elements.Boxes.Box_Access)
301 is null;
302
303 overriding procedure Case_Expression
304 (Self : in out Visiter;
305 Node : not null Gela.Elements.Case_Expressions.Case_Expression_Access)
306 is null;
307
308 overriding procedure Case_Expression_Path
309 (Self : in out Visiter;
310 Node : not null Gela.Elements.Case_Expression_Paths.
311 Case_Expression_Path_Access)
312 is null;
313
314 overriding procedure Case_Path
315 (Self : in out Visiter;
316 Node : not null Gela.Elements.Case_Paths.Case_Path_Access);
317
318 overriding procedure Case_Statement
319 (Self : in out Visiter;
320 Node : not null Gela.Elements.Case_Statements.Case_Statement_Access);
321
322 overriding procedure Character_Literal
323 (Self : in out Visiter;
324 Node : not null Gela.Elements.Character_Literals.
325 Character_Literal_Access)
326 is null;
327
328 overriding procedure Choice_Parameter_Specification
329 (Self : in out Visiter;
330 Node : not null Gela.Elements.Choice_Parameter_Specifications.
331 Choice_Parameter_Specification_Access)
332 is null;
333
334 overriding procedure Compilation_Unit_Body
335 (Self : in out Visiter;
336 Node : not null Gela.Elements.Compilation_Unit_Bodies.
337 Compilation_Unit_Body_Access)
338 is null;
339
340 overriding procedure Compilation_Unit_Declaration
341 (Self : in out Visiter;
342 Node : not null Gela.Elements.Compilation_Unit_Declarations.
343 Compilation_Unit_Declaration_Access)
344 is null;
345
346 overriding procedure Component_Clause
347 (Self : in out Visiter;
348 Node : not null Gela.Elements.Component_Clauses.Component_Clause_Access)
349 is null;
350
351 overriding procedure Component_Declaration
352 (Self : in out Visiter;
353 Node : not null Gela.Elements.Component_Declarations.
354 Component_Declaration_Access);
355
356 overriding procedure Component_Definition
357 (Self : in out Visiter;
358 Node : not null Gela.Elements.Component_Definitions.
359 Component_Definition_Access);
360
361 overriding procedure Composite_Constraint
362 (Self : in out Visiter;
363 Node : not null Gela.Elements.Composite_Constraints.
364 Composite_Constraint_Access);
365
366 overriding procedure Constrained_Array_Definition
367 (Self : in out Visiter;
368 Node : not null Gela.Elements.Constrained_Array_Definitions.
369 Constrained_Array_Definition_Access);
370
371 overriding procedure Decimal_Fixed_Point_Definition
372 (Self : in out Visiter;
373 Node : not null Gela.Elements.Decimal_Fixed_Point_Definitions.
374 Decimal_Fixed_Point_Definition_Access)
375 is null;
376
377 overriding procedure Defining_Character_Literal
378 (Self : in out Visiter;
379 Node : not null Gela.Elements.Defining_Character_Literals.
380 Defining_Character_Literal_Access)
381 is null;
382
383 overriding procedure Defining_Enumeration_Literal
384 (Self : in out Visiter;
385 Node : not null Gela.Elements.Defining_Enumeration_Literals.
386 Defining_Enumeration_Literal_Access);
387
388 overriding procedure Defining_Expanded_Unit_Name
389 (Self : in out Visiter;
390 Node : not null Gela.Elements.Defining_Expanded_Unit_Names.
391 Defining_Expanded_Unit_Name_Access);
392
393 overriding procedure Defining_Identifier
394 (Self : in out Visiter;
395 Node : not null Gela.Elements.Defining_Identifiers.
396 Defining_Identifier_Access);
397
398 overriding procedure Defining_Operator_Symbol
399 (Self : in out Visiter;
400 Node : not null Gela.Elements.Defining_Operator_Symbols.
401 Defining_Operator_Symbol_Access);
402
403 overriding procedure Delay_Statement
404 (Self : in out Visiter;
405 Node : not null Gela.Elements.Delay_Statements.Delay_Statement_Access);
406
407 overriding procedure Delta_Constraint
408 (Self : in out Visiter;
409 Node : not null Gela.Elements.Delta_Constraints.Delta_Constraint_Access)
410 is null;
411
412 overriding procedure Derived_Record_Definition
413 (Self : in out Visiter;
414 Node : not null Gela.Elements.Derived_Record_Definitions.
415 Derived_Record_Definition_Access)
416 is null;
417
418 overriding procedure Derived_Type_Definition
419 (Self : in out Visiter;
420 Node : not null Gela.Elements.Derived_Type_Definitions.
421 Derived_Type_Definition_Access);
422
423 overriding procedure Digits_Constraint
424 (Self : in out Visiter;
425 Node : not null Gela.Elements.Digits_Constraints.
426 Digits_Constraint_Access)
427 is null;
428
429 overriding procedure Discrete_Range_Attribute_Reference
430 (Self : in out Visiter;
431 Node : not null Gela.Elements.Discrete_Range_Attribute_References.
432 Discrete_Range_Attribute_Reference_Access)
433 is null;
434
435 overriding procedure Discrete_Simple_Expression_Range
436 (Self : in out Visiter;
437 Node : not null Gela.Elements.Discrete_Simple_Expression_Ranges.
438 Discrete_Simple_Expression_Range_Access);
439
440 overriding procedure Discrete_Subtype_Indication
441 (Self : in out Visiter;
442 Node : not null Gela.Elements.Discrete_Subtype_Indications.
443 Discrete_Subtype_Indication_Access);
444
445 overriding procedure Discrete_Subtype_Indication_Dr
446 (Self : in out Visiter;
447 Node : not null Gela.Elements.Discrete_Subtype_Indication_Drs.
448 Discrete_Subtype_Indication_Dr_Access)
449 is null;
450
451 overriding procedure Discriminant_Specification
452 (Self : in out Visiter;
453 Node : not null Gela.Elements.Discriminant_Specifications.
454 Discriminant_Specification_Access);
455
456 overriding procedure Element_Iterator_Specification
457 (Self : in out Visiter;
458 Node : not null Gela.Elements.Element_Iterator_Specifications.
459 Element_Iterator_Specification_Access)
460 is null;
461
462 overriding procedure Else_Expression_Path
463 (Self : in out Visiter;
464 Node : not null Gela.Elements.Else_Expression_Paths.
465 Else_Expression_Path_Access)
466 is null;
467
468 overriding procedure Else_Path
469 (Self : in out Visiter;
470 Node : not null Gela.Elements.Else_Paths.Else_Path_Access);
471
472 overriding procedure Elsif_Expression_Path
473 (Self : in out Visiter;
474 Node : not null Gela.Elements.Elsif_Expression_Paths.
475 Elsif_Expression_Path_Access)
476 is null;
477
478 overriding procedure Elsif_Path
479 (Self : in out Visiter;
480 Node : not null Gela.Elements.Elsif_Paths.Elsif_Path_Access)
481 is null;
482
483 overriding procedure Entry_Body
484 (Self : in out Visiter;
485 Node : not null Gela.Elements.Entry_Bodies.Entry_Body_Access);
486
487 overriding procedure Entry_Declaration
488 (Self : in out Visiter;
489 Node : not null Gela.Elements.Entry_Declarations.
490 Entry_Declaration_Access);
491
492 overriding procedure Entry_Index_Specification
493 (Self : in out Visiter;
494 Node : not null Gela.Elements.Entry_Index_Specifications.
495 Entry_Index_Specification_Access)
496 is null;
497
498 overriding procedure Enumeration_Literal
499 (Self : in out Visiter;
500 Node : not null Gela.Elements.Enumeration_Literals.
501 Enumeration_Literal_Access)
502 is null;
503
504 overriding procedure Enumeration_Literal_Specification
505 (Self : in out Visiter;
506 Node : not null Gela.Elements.Enumeration_Literal_Specifications.
507 Enumeration_Literal_Specification_Access);
508
509 overriding procedure Enumeration_Type_Definition
510 (Self : in out Visiter;
511 Node : not null Gela.Elements.Enumeration_Type_Definitions.
512 Enumeration_Type_Definition_Access);
513
514 overriding procedure Exception_Declaration
515 (Self : in out Visiter;
516 Node : not null Gela.Elements.Exception_Declarations.
517 Exception_Declaration_Access);
518
519 overriding procedure Exception_Handler
520 (Self : in out Visiter;
521 Node : not null Gela.Elements.Exception_Handlers.
522 Exception_Handler_Access);
523
524 overriding procedure Exception_Renaming_Declaration
525 (Self : in out Visiter;
526 Node : not null Gela.Elements.Exception_Renaming_Declarations.
527 Exception_Renaming_Declaration_Access);
528
529 overriding procedure Exit_Statement
530 (Self : in out Visiter;
531 Node : not null Gela.Elements.Exit_Statements.Exit_Statement_Access);
532
533 overriding procedure Explicit_Dereference
534 (Self : in out Visiter;
535 Node : not null Gela.Elements.Explicit_Dereferences.
536 Explicit_Dereference_Access);
537
538 overriding procedure Extended_Return_Statement
539 (Self : in out Visiter;
540 Node : not null Gela.Elements.Extended_Return_Statements.
541 Extended_Return_Statement_Access)
542 is null;
543
544 overriding procedure Extension_Aggregate
545 (Self : in out Visiter;
546 Node : not null Gela.Elements.Extension_Aggregates.
547 Extension_Aggregate_Access)
548 is null;
549
550 overriding procedure Floating_Point_Definition
551 (Self : in out Visiter;
552 Node : not null Gela.Elements.Floating_Point_Definitions.
553 Floating_Point_Definition_Access)
554 is null;
555
556 overriding procedure For_Loop_Statement
557 (Self : in out Visiter;
558 Node : not null Gela.Elements.For_Loop_Statements.
559 For_Loop_Statement_Access)
560 is null;
561
562 overriding procedure Formal_Access_To_Function_Definition
563 (Self : in out Visiter;
564 Node : not null Gela.Elements.Formal_Access_To_Function_Definitions.
565 Formal_Access_To_Function_Definition_Access)
566 is null;
567
568 overriding procedure Formal_Access_To_Object_Definition
569 (Self : in out Visiter;
570 Node : not null Gela.Elements.Formal_Access_To_Object_Definitions.
571 Formal_Access_To_Object_Definition_Access)
572 is null;
573
574 overriding procedure Formal_Access_To_Procedure_Definition
575 (Self : in out Visiter;
576 Node : not null Gela.Elements.Formal_Access_To_Procedure_Definitions.
577 Formal_Access_To_Procedure_Definition_Access)
578 is null;
579
580 overriding procedure Formal_Constrained_Array_Definition
581 (Self : in out Visiter;
582 Node : not null Gela.Elements.Formal_Constrained_Array_Definitions.
583 Formal_Constrained_Array_Definition_Access)
584 is null;
585
586 overriding procedure Formal_Decimal_Fixed_Point_Definition
587 (Self : in out Visiter;
588 Node : not null Gela.Elements.Formal_Decimal_Fixed_Point_Definitions.
589 Formal_Decimal_Fixed_Point_Definition_Access)
590 is null;
591
592 overriding procedure Formal_Derived_Type_Definition
593 (Self : in out Visiter;
594 Node : not null Gela.Elements.Formal_Derived_Type_Definitions.
595 Formal_Derived_Type_Definition_Access);
596
597 overriding procedure Formal_Discrete_Type_Definition
598 (Self : in out Visiter;
599 Node : not null Gela.Elements.Formal_Discrete_Type_Definitions.
600 Formal_Discrete_Type_Definition_Access)
601 is null;
602
603 overriding procedure Formal_Floating_Point_Definition
604 (Self : in out Visiter;
605 Node : not null Gela.Elements.Formal_Floating_Point_Definitions.
606 Formal_Floating_Point_Definition_Access)
607 is null;
608
609 overriding procedure Formal_Function_Declaration
610 (Self : in out Visiter;
611 Node : not null Gela.Elements.Formal_Function_Declarations.
612 Formal_Function_Declaration_Access)
613 is null;
614
615 overriding procedure Formal_Incomplete_Type_Declaration
616 (Self : in out Visiter;
617 Node : not null Gela.Elements.Formal_Incomplete_Type_Declarations.
618 Formal_Incomplete_Type_Declaration_Access)
619 is null;
620
621 overriding procedure Formal_Interface_Type_Definition
622 (Self : in out Visiter;
623 Node : not null Gela.Elements.Formal_Interface_Type_Definitions.
624 Formal_Interface_Type_Definition_Access)
625 is null;
626
627 overriding procedure Formal_Modular_Type_Definition
628 (Self : in out Visiter;
629 Node : not null Gela.Elements.Formal_Modular_Type_Definitions.
630 Formal_Modular_Type_Definition_Access)
631 is null;
632
633 overriding procedure Formal_Object_Declaration
634 (Self : in out Visiter;
635 Node : not null Gela.Elements.Formal_Object_Declarations.
636 Formal_Object_Declaration_Access)
637 is null;
638
639 overriding procedure Formal_Ordinary_Fixed_Point_Definition
640 (Self : in out Visiter;
641 Node : not null Gela.Elements.Formal_Ordinary_Fixed_Point_Definitions.
642 Formal_Ordinary_Fixed_Point_Definition_Access)
643 is null;
644
645 overriding procedure Formal_Package_Declaration
646 (Self : in out Visiter;
647 Node : not null Gela.Elements.Formal_Package_Declarations.
648 Formal_Package_Declaration_Access)
649 is null;
650
651 overriding procedure Formal_Private_Type_Definition
652 (Self : in out Visiter;
653 Node : not null Gela.Elements.Formal_Private_Type_Definitions.
654 Formal_Private_Type_Definition_Access)
655 is null;
656
657 overriding procedure Formal_Procedure_Declaration
658 (Self : in out Visiter;
659 Node : not null Gela.Elements.Formal_Procedure_Declarations.
660 Formal_Procedure_Declaration_Access)
661 is null;
662
663 overriding procedure Formal_Signed_Integer_Type_Definition
664 (Self : in out Visiter;
665 Node : not null Gela.Elements.Formal_Signed_Integer_Type_Definitions.
666 Formal_Signed_Integer_Type_Definition_Access)
667 is null;
668
669 overriding procedure Formal_Type_Declaration
670 (Self : in out Visiter;
671 Node : not null Gela.Elements.Formal_Type_Declarations.
672 Formal_Type_Declaration_Access);
673
674 overriding procedure Formal_Unconstrained_Array_Definition
675 (Self : in out Visiter;
676 Node : not null Gela.Elements.Formal_Unconstrained_Array_Definitions.
677 Formal_Unconstrained_Array_Definition_Access)
678 is null;
679
680 overriding procedure Full_Type_Declaration
681 (Self : in out Visiter;
682 Node : not null Gela.Elements.Full_Type_Declarations.
683 Full_Type_Declaration_Access);
684
685 overriding procedure Function_Body
686 (Self : in out Visiter;
687 Node : not null Gela.Elements.Function_Bodies.Function_Body_Access);
688
689 overriding procedure Function_Declaration
690 (Self : in out Visiter;
691 Node : not null Gela.Elements.Function_Declarations.
692 Function_Declaration_Access);
693
694 overriding procedure Function_Instantiation
695 (Self : in out Visiter;
696 Node : not null Gela.Elements.Function_Instantiations.
697 Function_Instantiation_Access)
698 is null;
699
700 overriding procedure Generalized_Iterator_Specification
701 (Self : in out Visiter;
702 Node : not null Gela.Elements.Generalized_Iterator_Specifications.
703 Generalized_Iterator_Specification_Access)
704 is null;
705
706 overriding procedure Generic_Association
707 (Self : in out Visiter;
708 Node : not null Gela.Elements.Generic_Associations.
709 Generic_Association_Access);
710
711 overriding procedure Generic_Function_Declaration
712 (Self : in out Visiter;
713 Node : not null Gela.Elements.Generic_Function_Declarations.
714 Generic_Function_Declaration_Access)
715 is null;
716
717 overriding procedure Generic_Function_Renaming
718 (Self : in out Visiter;
719 Node : not null Gela.Elements.Generic_Function_Renamings.
720 Generic_Function_Renaming_Access)
721 is null;
722
723 overriding procedure Generic_Package_Declaration
724 (Self : in out Visiter;
725 Node : not null Gela.Elements.Generic_Package_Declarations.
726 Generic_Package_Declaration_Access);
727
728 overriding procedure Generic_Package_Renaming
729 (Self : in out Visiter;
730 Node : not null Gela.Elements.Generic_Package_Renamings.
731 Generic_Package_Renaming_Access)
732 is null;
733
734 overriding procedure Generic_Procedure_Declaration
735 (Self : in out Visiter;
736 Node : not null Gela.Elements.Generic_Procedure_Declarations.
737 Generic_Procedure_Declaration_Access)
738 is null;
739
740 overriding procedure Generic_Procedure_Renaming
741 (Self : in out Visiter;
742 Node : not null Gela.Elements.Generic_Procedure_Renamings.
743 Generic_Procedure_Renaming_Access)
744 is null;
745
746 overriding procedure Goto_Statement
747 (Self : in out Visiter;
748 Node : not null Gela.Elements.Goto_Statements.Goto_Statement_Access)
749 is null;
750
751 overriding procedure Identifier
752 (Self : in out Visiter;
753 Node : not null Gela.Elements.Identifiers.Identifier_Access);
754
755 overriding procedure If_Expression
756 (Self : in out Visiter;
757 Node : not null Gela.Elements.If_Expressions.If_Expression_Access)
758 is null;
759
760 overriding procedure If_Expression_Path
761 (Self : in out Visiter;
762 Node : not null Gela.Elements.If_Expression_Paths.
763 If_Expression_Path_Access)
764 is null;
765
766 overriding procedure If_Path
767 (Self : in out Visiter;
768 Node : not null Gela.Elements.If_Paths.If_Path_Access);
769
770 overriding procedure If_Statement
771 (Self : in out Visiter;
772 Node : not null Gela.Elements.If_Statements.If_Statement_Access);
773
774 overriding procedure Incomplete_Type_Declaration
775 (Self : in out Visiter;
776 Node : not null Gela.Elements.Incomplete_Type_Declarations.
777 Incomplete_Type_Declaration_Access);
778
779 overriding procedure Incomplete_Type_Definition
780 (Self : in out Visiter;
781 Node : not null Gela.Elements.Incomplete_Type_Definitions.
782 Incomplete_Type_Definition_Access);
783
784 overriding procedure Interface_Type_Definition
785 (Self : in out Visiter;
786 Node : not null Gela.Elements.Interface_Type_Definitions.
787 Interface_Type_Definition_Access)
788 is null;
789
790 overriding procedure Known_Discriminant_Part
791 (Self : in out Visiter;
792 Node : not null Gela.Elements.Known_Discriminant_Parts.
793 Known_Discriminant_Part_Access);
794
795 overriding procedure Label_Decorator
796 (Self : in out Visiter;
797 Node : not null Gela.Elements.Label_Decorators.Label_Decorator_Access)
798 is null;
799
800 overriding procedure Loop_Parameter_Specification
801 (Self : in out Visiter;
802 Node : not null Gela.Elements.Loop_Parameter_Specifications.
803 Loop_Parameter_Specification_Access)
804 is null;
805
806 overriding procedure Loop_Statement
807 (Self : in out Visiter;
808 Node : not null Gela.Elements.Loop_Statements.Loop_Statement_Access);
809
810 overriding procedure Membership_Test
811 (Self : in out Visiter;
812 Node : not null Gela.Elements.Membership_Tests.Membership_Test_Access)
813 is null;
814
815 overriding procedure Modular_Type_Definition
816 (Self : in out Visiter;
817 Node : not null Gela.Elements.Modular_Type_Definitions.
818 Modular_Type_Definition_Access)
819 is null;
820
821 overriding procedure Null_Component
822 (Self : in out Visiter;
823 Node : not null Gela.Elements.Null_Components.Null_Component_Access);
824
825 overriding procedure Null_Literal
826 (Self : in out Visiter;
827 Node : not null Gela.Elements.Null_Literals.Null_Literal_Access)
828 is null;
829
830 overriding procedure Null_Record_Definition
831 (Self : in out Visiter;
832 Node : not null Gela.Elements.Null_Record_Definitions.
833 Null_Record_Definition_Access)
834 is null;
835
836 overriding procedure Null_Statement
837 (Self : in out Visiter;
838 Node : not null Gela.Elements.Null_Statements.Null_Statement_Access);
839
840 overriding procedure Number_Declaration
841 (Self : in out Visiter;
842 Node : not null Gela.Elements.Number_Declarations.
843 Number_Declaration_Access);
844
845 overriding procedure Numeric_Literal
846 (Self : in out Visiter;
847 Node : not null Gela.Elements.Numeric_Literals.Numeric_Literal_Access);
848
849 overriding procedure Object_Declaration
850 (Self : in out Visiter;
851 Node : not null Gela.Elements.Object_Declarations.
852 Object_Declaration_Access);
853
854 overriding procedure Object_Renaming_Declaration
855 (Self : in out Visiter;
856 Node : not null Gela.Elements.Object_Renaming_Declarations.
857 Object_Renaming_Declaration_Access);
858
859 overriding procedure Operator_Symbol
860 (Self : in out Visiter;
861 Node : not null Gela.Elements.Operator_Symbols.Operator_Symbol_Access);
862
863 overriding procedure Ordinary_Fixed_Point_Definition
864 (Self : in out Visiter;
865 Node : not null Gela.Elements.Ordinary_Fixed_Point_Definitions.
866 Ordinary_Fixed_Point_Definition_Access)
867 is null;
868
869 overriding procedure Others_Choice
870 (Self : in out Visiter;
871 Node : not null Gela.Elements.Others_Choices.Others_Choice_Access);
872
873 overriding procedure Package_Body
874 (Self : in out Visiter;
875 Node : not null Gela.Elements.Package_Bodies.Package_Body_Access);
876
877 overriding procedure Package_Body_Stub
878 (Self : in out Visiter;
879 Node : not null Gela.Elements.Package_Body_Stubs.
880 Package_Body_Stub_Access)
881 is null;
882
883 overriding procedure Package_Declaration
884 (Self : in out Visiter;
885 Node : not null Gela.Elements.Package_Declarations.
886 Package_Declaration_Access);
887
888 overriding procedure Package_Instantiation
889 (Self : in out Visiter;
890 Node : not null Gela.Elements.Package_Instantiations.
891 Package_Instantiation_Access);
892
893 overriding procedure Package_Renaming_Declaration
894 (Self : in out Visiter;
895 Node : not null Gela.Elements.Package_Renaming_Declarations.
896 Package_Renaming_Declaration_Access);
897
898 overriding procedure Parameter_Association
899 (Self : in out Visiter;
900 Node : not null Gela.Elements.Parameter_Associations.
901 Parameter_Association_Access)
902 is null;
903
904 overriding procedure Parameter_Specification
905 (Self : in out Visiter;
906 Node : not null Gela.Elements.Parameter_Specifications.
907 Parameter_Specification_Access);
908
909 overriding procedure Pragma_Argument_Association
910 (Self : in out Visiter;
911 Node : not null Gela.Elements.Pragma_Argument_Associations.
912 Pragma_Argument_Association_Access)
913 is null;
914
915 overriding procedure Pragma_Node
916 (Self : in out Visiter;
917 Node : not null Gela.Elements.Pragma_Nodes.Pragma_Node_Access);
918
919 overriding procedure Private_Extension_Declaration
920 (Self : in out Visiter;
921 Node : not null Gela.Elements.Private_Extension_Declarations.
922 Private_Extension_Declaration_Access)
923 is null;
924
925 overriding procedure Private_Extension_Definition
926 (Self : in out Visiter;
927 Node : not null Gela.Elements.Private_Extension_Definitions.
928 Private_Extension_Definition_Access)
929 is null;
930
931 overriding procedure Private_Type_Declaration
932 (Self : in out Visiter;
933 Node : not null Gela.Elements.Private_Type_Declarations.
934 Private_Type_Declaration_Access);
935
936 overriding procedure Private_Type_Definition
937 (Self : in out Visiter;
938 Node : not null Gela.Elements.Private_Type_Definitions.
939 Private_Type_Definition_Access);
940
941 overriding procedure Procedure_Body
942 (Self : in out Visiter;
943 Node : not null Gela.Elements.Procedure_Bodies.Procedure_Body_Access);
944
945 overriding procedure Procedure_Call_Statement
946 (Self : in out Visiter;
947 Node : not null Gela.Elements.Procedure_Call_Statements.
948 Procedure_Call_Statement_Access);
949
950 overriding procedure Procedure_Declaration
951 (Self : in out Visiter;
952 Node : not null Gela.Elements.Procedure_Declarations.
953 Procedure_Declaration_Access);
954
955 overriding procedure Procedure_Instantiation
956 (Self : in out Visiter;
957 Node : not null Gela.Elements.Procedure_Instantiations.
958 Procedure_Instantiation_Access)
959 is null;
960
961 overriding procedure Protected_Body
962 (Self : in out Visiter;
963 Node : not null Gela.Elements.Protected_Bodies.Protected_Body_Access);
964
965 overriding procedure Protected_Body_Stub
966 (Self : in out Visiter;
967 Node : not null Gela.Elements.Protected_Body_Stubs.
968 Protected_Body_Stub_Access)
969 is null;
970
971 overriding procedure Protected_Definition
972 (Self : in out Visiter;
973 Node : not null Gela.Elements.Protected_Definitions.
974 Protected_Definition_Access);
975
976 overriding procedure Protected_Type_Declaration
977 (Self : in out Visiter;
978 Node : not null Gela.Elements.Protected_Type_Declarations.
979 Protected_Type_Declaration_Access)
980 is null;
981
982 overriding procedure Qualified_Expression
983 (Self : in out Visiter;
984 Node : not null Gela.Elements.Qualified_Expressions.
985 Qualified_Expression_Access)
986 is null;
987
988 overriding procedure Quantified_Expression
989 (Self : in out Visiter;
990 Node : not null Gela.Elements.Quantified_Expressions.
991 Quantified_Expression_Access)
992 is null;
993
994 overriding procedure Raise_Statement
995 (Self : in out Visiter;
996 Node : not null Gela.Elements.Raise_Statements.Raise_Statement_Access)
997 is null;
998
999 overriding procedure Range_Attribute_Reference
1000 (Self : in out Visiter;
1001 Node : not null Gela.Elements.Range_Attribute_References.
1002 Range_Attribute_Reference_Access)
1003 is null;
1004
1005 overriding procedure Range_Attribute_Reference_Dr
1006 (Self : in out Visiter;
1007 Node : not null Gela.Elements.Range_Attribute_Reference_Drs.
1008 Range_Attribute_Reference_Dr_Access)
1009 is null;
1010
1011 overriding procedure Record_Aggregate
1012 (Self : in out Visiter;
1013 Node : not null Gela.Elements.Record_Aggregates.
1014 Record_Aggregate_Access);
1015
1016 overriding procedure Record_Definition
1017 (Self : in out Visiter;
1018 Node : not null Gela.Elements.Record_Definitions.
1019 Record_Definition_Access);
1020
1021 overriding procedure Record_Representation_Clause
1022 (Self : in out Visiter;
1023 Node : not null Gela.Elements.Record_Representation_Clauses.
1024 Record_Representation_Clause_Access)
1025 is null;
1026
1027 overriding procedure Record_Type_Definition
1028 (Self : in out Visiter;
1029 Node : not null Gela.Elements.Record_Type_Definitions.
1030 Record_Type_Definition_Access);
1031
1032 overriding procedure Requeue_Statement
1033 (Self : in out Visiter;
1034 Node : not null Gela.Elements.Requeue_Statements.
1035 Requeue_Statement_Access);
1036
1037 overriding procedure Return_Object_Specification
1038 (Self : in out Visiter;
1039 Node : not null Gela.Elements.Return_Object_Specifications.
1040 Return_Object_Specification_Access)
1041 is null;
1042
1043 overriding procedure Select_Or_Path
1044 (Self : in out Visiter;
1045 Node : not null Gela.Elements.Select_Or_Paths.Select_Or_Path_Access);
1046
1047 overriding procedure Selected_Component
1048 (Self : in out Visiter;
1049 Node : not null Gela.Elements.Selected_Components.
1050 Selected_Component_Access);
1051
1052 overriding procedure Selected_Identifier
1053 (Self : in out Visiter;
1054 Node : not null Gela.Elements.Selected_Identifiers.
1055 Selected_Identifier_Access);
1056
1057 overriding procedure Selective_Accept
1058 (Self : in out Visiter;
1059 Node : not null Gela.Elements.Selective_Accepts.Selective_Accept_Access);
1060
1061 overriding procedure Short_Circuit
1062 (Self : in out Visiter;
1063 Node : not null Gela.Elements.Short_Circuits.Short_Circuit_Access)
1064 is null;
1065
1066 overriding procedure Signed_Integer_Type_Definition
1067 (Self : in out Visiter;
1068 Node : not null Gela.Elements.Signed_Integer_Type_Definitions.
1069 Signed_Integer_Type_Definition_Access);
1070
1071 overriding procedure Simple_Expression_Range
1072 (Self : in out Visiter;
1073 Node : not null Gela.Elements.Simple_Expression_Ranges.
1074 Simple_Expression_Range_Access);
1075
1076 overriding procedure Simple_Expression_Range_Dr
1077 (Self : in out Visiter;
1078 Node : not null Gela.Elements.Simple_Expression_Range_Drs.
1079 Simple_Expression_Range_Dr_Access);
1080
1081 overriding procedure Simple_Return_Statement
1082 (Self : in out Visiter;
1083 Node : not null Gela.Elements.Simple_Return_Statements.
1084 Simple_Return_Statement_Access);
1085
1086 overriding procedure Single_Protected_Declaration
1087 (Self : in out Visiter;
1088 Node : not null Gela.Elements.Single_Protected_Declarations.
1089 Single_Protected_Declaration_Access);
1090
1091 overriding procedure Single_Task_Declaration
1092 (Self : in out Visiter;
1093 Node : not null Gela.Elements.Single_Task_Declarations.
1094 Single_Task_Declaration_Access);
1095
1096 overriding procedure String_Literal
1097 (Self : in out Visiter;
1098 Node : not null Gela.Elements.String_Literals.String_Literal_Access);
1099
1100 overriding procedure Subtype_Declaration
1101 (Self : in out Visiter;
1102 Node : not null Gela.Elements.Subtype_Declarations.
1103 Subtype_Declaration_Access);
1104
1105 overriding procedure Subtype_Indication
1106 (Self : in out Visiter;
1107 Node : not null Gela.Elements.Subtype_Indications.
1108 Subtype_Indication_Access);
1109
1110 overriding procedure Subunit
1111 (Self : in out Visiter;
1112 Node : not null Gela.Elements.Subunits.Subunit_Access)
1113 is null;
1114
1115 overriding procedure Task_Body
1116 (Self : in out Visiter;
1117 Node : not null Gela.Elements.Task_Bodies.Task_Body_Access);
1118
1119 overriding procedure Task_Body_Stub
1120 (Self : in out Visiter;
1121 Node : not null Gela.Elements.Task_Body_Stubs.Task_Body_Stub_Access)
1122 is null;
1123
1124 overriding procedure Task_Definition
1125 (Self : in out Visiter;
1126 Node : not null Gela.Elements.Task_Definitions.Task_Definition_Access);
1127
1128 overriding procedure Task_Type_Declaration
1129 (Self : in out Visiter;
1130 Node : not null Gela.Elements.Task_Type_Declarations.
1131 Task_Type_Declaration_Access)
1132 is null;
1133
1134 overriding procedure Terminate_Alternative_Statement
1135 (Self : in out Visiter;
1136 Node : not null Gela.Elements.Terminate_Alternative_Statements.
1137 Terminate_Alternative_Statement_Access);
1138
1139 overriding procedure Then_Abort_Path
1140 (Self : in out Visiter;
1141 Node : not null Gela.Elements.Then_Abort_Paths.Then_Abort_Path_Access)
1142 is null;
1143
1144 overriding procedure Unconstrained_Array_Definition
1145 (Self : in out Visiter;
1146 Node : not null Gela.Elements.Unconstrained_Array_Definitions.
1147 Unconstrained_Array_Definition_Access);
1148
1149 overriding procedure Unknown_Discriminant_Part
1150 (Self : in out Visiter;
1151 Node : not null Gela.Elements.Unknown_Discriminant_Parts.
1152 Unknown_Discriminant_Part_Access)
1153 is null;
1154
1155 overriding procedure Use_Package_Clause
1156 (Self : in out Visiter;
1157 Node : not null Gela.Elements.Use_Package_Clauses.
1158 Use_Package_Clause_Access);
1159
1160 overriding procedure Use_Type_Clause
1161 (Self : in out Visiter;
1162 Node : not null Gela.Elements.Use_Type_Clauses.Use_Type_Clause_Access);
1163
1164 overriding procedure Variant
1165 (Self : in out Visiter;
1166 Node : not null Gela.Elements.Variants.Variant_Access);
1167
1168 overriding procedure Variant_Part
1169 (Self : in out Visiter;
1170 Node : not null Gela.Elements.Variant_Parts.Variant_Part_Access);
1171
1172 overriding procedure While_Loop_Statement
1173 (Self : in out Visiter;
1174 Node : not null Gela.Elements.While_Loop_Statements.
1175 While_Loop_Statement_Access)
1176 is null;
1177
1178 overriding procedure With_Clause
1179 (Self : in out Visiter;
1180 Node : not null Gela.Elements.With_Clauses.With_Clause_Access);
1181
1182 overriding procedure Accept_Statement
1183 (Self : in out Visiter;
1184 Node : not null Gela.Elements.Accept_Statements.Accept_Statement_Access)
1185 is
1186 pragma Unreferenced (Node);
1187 begin
1188 Self.Result := An_Accept_Statement;
1189 end Accept_Statement;
1190
1191 overriding procedure Access_To_Object_Definition
1192 (Self : in out Visiter;
1193 Node : not null Gela.Elements.Access_To_Object_Definitions.
1194 Access_To_Object_Definition_Access)
1195 is
1196 use type Gela.Lexical_Types.Token_Count;
1197 begin
1198 if Node.Constant_Token = 0 then
1199 Self.Result := An_Anonymous_Access_To_Variable;
1200 else
1201 Self.Result := An_Anonymous_Access_To_Constant;
1202 end if;
1203 end Access_To_Object_Definition;
1204
1205 overriding procedure Anonymous_Access_To_Object_Definition
1206 (Self : in out Visiter;
1207 Node : not null Gela.Elements.Anonymous_Access_To_Object_Definitions.
1208 Anonymous_Access_To_Object_Definition_Access)
1209 is
1210 use type Gela.Lexical_Types.Token_Count;
1211 begin
1212 if Node.Constant_Token = 0 then
1213 Self.Result := An_Anonymous_Access_To_Variable;
1214 else
1215 Self.Result := An_Anonymous_Access_To_Constant;
1216 end if;
1217 end Anonymous_Access_To_Object_Definition;
1218
1219 overriding procedure Assignment_Statement
1220 (Self : in out Visiter;
1221 Node : not null Gela.Elements.Assignment_Statements.
1222 Assignment_Statement_Access)
1223 is
1224 pragma Unreferenced (Node);
1225 begin
1226 Self.Result := An_Assignment_Statement;
1227 end Assignment_Statement;
1228
1229 overriding procedure Association
1230 (Self : in out Visiter;
1231 Node : not null Gela.Elements.Associations.Association_Access)
1232 is
1233 pragma Unreferenced (Node);
1234 begin
1235 Self.Result := A_Parameter_Association;
1236 end Association;
1237
1238 overriding procedure Attribute_Reference
1239 (Self : in out Visiter;
1240 Node : not null Gela.Elements.Attribute_References.
1241 Attribute_Reference_Access)
1242 is
1243 package X renames Gela.Lexical_Types.Predefined_Symbols;
1244
1245 Id : constant Gela.Elements.Identifiers.Identifier_Access :=
1246 Node.Attribute_Designator_Identifier;
1247 Comp : constant Gela.Compilations.Compilation_Access :=
1248 Node.Enclosing_Compilation;
1249 Token : constant Gela.Lexical_Types.Token :=
1250 Comp.Get_Token (Id.Identifier_Token);
1251 Map : constant array (Gela.Lexical_Types.Symbol range
1252 X.Access_Symbol .. X.Write) of Element_Flat_Kind
1253 :=
1254 (
1255 X.Access_Symbol => An_Access_Attribute,
1256 X.Address => An_Address_Attribute,
1257 X.Adjacent => An_Adjacent_Attribute,
1258 X.Aft => An_Aft_Attribute,
1259 X.Alignment => An_Alignment_Attribute,
1260 X.Base => A_Base_Attribute,
1261 X.Bit_Order => A_Bit_Order_Attribute,
1262 X.Body_Version => A_Body_Version_Attribute,
1263 X.Callable => A_Callable_Attribute,
1264 X.Caller => A_Caller_Attribute,
1265 X.Ceiling => A_Ceiling_Attribute,
1266 X.Class => A_Class_Attribute,
1267 X.Component_Size => A_Component_Size_Attribute,
1268 X.Compose => A_Compose_Attribute,
1269 X.Constrained => A_Constrained_Attribute,
1270 X.Copy_Sign => A_Copy_Sign_Attribute,
1271 X.Count => A_Count_Attribute,
1272 X.Definite => A_Definite_Attribute,
1273 X.Delta_Symbol => A_Delta_Attribute,
1274 X.Denorm => A_Denorm_Attribute,
1275 X.Digits_Symbol => A_Digits_Attribute,
1276 X.Exponent => An_Exponent_Attribute,
1277 X.External_Tag => An_External_Tag_Attribute,
1278 X.First => A_First_Attribute,
1279 X.First_Bit => A_First_Bit_Attribute,
1280 X.Floor => A_Floor_Attribute,
1281 X.Fore => A_Fore_Attribute,
1282 X.Fraction => A_Fraction_Attribute,
1283 X.Identity => An_Identity_Attribute,
1284 X.Image => An_Image_Attribute,
1285 X.Input => An_Input_Attribute,
1286 X.Last => A_Last_Attribute,
1287 X.Last_Bit => A_Last_Bit_Attribute,
1288 X.Leading_Part => A_Leading_Part_Attribute,
1289 X.Length => A_Length_Attribute,
1290 X.Machine => A_Machine_Attribute,
1291 X.Machine_Emax => A_Machine_Emax_Attribute,
1292 X.Machine_Emin => A_Machine_Emin_Attribute,
1293 X.Machine_Mantissa => A_Machine_Mantissa_Attribute,
1294 X.Machine_Overflows => A_Machine_Overflows_Attribute,
1295 X.Machine_Radix => A_Machine_Radix_Attribute,
1296 X.Machine_Rounding => A_Machine_Rounding_Attribute,
1297 X.Machine_Rounds => A_Machine_Rounds_Attribute,
1298 X.Max => A_Max_Attribute,
1299 X.Max_Size_In_Storage_Elements =>
1300 A_Max_Size_In_Storage_Elements_Attribute,
1301 X.Min => A_Min_Attribute,
1302 X.Mod_Symbol => A_Mod_Attribute,
1303 X.Model => A_Model_Attribute,
1304 X.Model_Emin => A_Model_Emin_Attribute,
1305 X.Model_Epsilon => A_Model_Epsilon_Attribute,
1306 X.Model_Mantissa => A_Model_Mantissa_Attribute,
1307 X.Model_Small => A_Model_Small_Attribute,
1308 X.Modulus => A_Modulus_Attribute,
1309 X.Output => An_Output_Attribute,
1310 X.Partition_ID => A_Partition_ID_Attribute,
1311 X.Pos => A_Pos_Attribute,
1312 X.Position => A_Position_Attribute,
1313 X.Pred => A_Pred_Attribute,
1314 X.Priority => A_Priority_Attribute,
1315 X.Range_Symbol => A_Range_Attribute,
1316 X.Read => A_Read_Attribute,
1317 X.Remainder => A_Remainder_Attribute,
1318 X.Round => A_Round_Attribute,
1319 X.Rounding => A_Rounding_Attribute,
1320 X.Safe_First => A_Safe_First_Attribute,
1321 X.Safe_Last => A_Safe_Last_Attribute,
1322 X.Scale => A_Scale_Attribute,
1323 X.Scaling => A_Scaling_Attribute,
1324 X.Signed_Zeros => A_Signed_Zeros_Attribute,
1325 X.Size => A_Size_Attribute,
1326 X.Small => A_Small_Attribute,
1327 X.Storage_Pool => A_Storage_Pool_Attribute,
1328 X.Storage_Size => A_Storage_Size_Attribute,
1329 X.Stream_Size => A_Stream_Size_Attribute,
1330 X.Succ => A_Succ_Attribute,
1331 X.Tag => A_Tag_Attribute,
1332 X.Terminated => A_Terminated_Attribute,
1333 X.Truncation => A_Truncation_Attribute,
1334 X.Unbiased_Rounding => An_Unbiased_Rounding_Attribute,
1335 X.Unchecked_Access => An_Unchecked_Access_Attribute,
1336 X.Val => A_Val_Attribute,
1337 X.Valid => A_Valid_Attribute,
1338 X.Value => A_Value_Attribute,
1339 X.Version => A_Version_Attribute,
1340 X.Wide_Image => A_Wide_Image_Attribute,
1341 X.Wide_Value => A_Wide_Value_Attribute,
1342 X.Wide_Wide_Image => A_Wide_Wide_Image_Attribute,
1343 X.Wide_Wide_Value => A_Wide_Wide_Value_Attribute,
1344 X.Wide_Wide_Width => A_Wide_Wide_Width_Attribute,
1345 X.Wide_Width => A_Wide_Width_Attribute,
1346 X.Width => A_Width_Attribute,
1347 X.Write => A_Write_Attribute);
1348 begin
1349 if Token.Symbol in Map'Range then
1350 Self.Result := Map (Token.Symbol);
1351 end if;
1352 end Attribute_Reference;
1353
1354 overriding procedure Auxiliary_Apply
1355 (Self : in out Visiter;
1356 Node : not null Gela.Elements.Auxiliary_Applies.Auxiliary_Apply_Access)
1357 is
1358 pragma Unreferenced (Node);
1359 begin
1360 Self.Result := A_Function_Call;
1361 end Auxiliary_Apply;
1362
1363 overriding procedure Block_Statement
1364 (Self : in out Visiter;
1365 Node : not null Gela.Elements.Block_Statements.Block_Statement_Access)
1366 is
1367 pragma Unreferenced (Node);
1368 begin
1369 Self.Result := A_Block_Statement;
1370 end Block_Statement;
1371
1372 overriding procedure Case_Path
1373 (Self : in out Visiter;
1374 Node : not null Gela.Elements.Case_Paths.Case_Path_Access)
1375 is
1376 pragma Unreferenced (Node);
1377 begin
1378 Self.Result := A_Case_Path;
1379 end Case_Path;
1380
1381 overriding procedure Case_Statement
1382 (Self : in out Visiter;
1383 Node : not null Gela.Elements.Case_Statements.Case_Statement_Access)
1384 is
1385 pragma Unreferenced (Node);
1386 begin
1387 Self.Result := A_Case_Statement;
1388 end Case_Statement;
1389
1390 overriding procedure Component_Declaration
1391 (Self : in out Visiter;
1392 Node : not null Gela.Elements.Component_Declarations.
1393 Component_Declaration_Access)
1394 is
1395 pragma Unreferenced (Node);
1396 begin
1397 Self.Result := A_Component_Declaration;
1398 end Component_Declaration;
1399
1400 overriding procedure Component_Definition
1401 (Self : in out Visiter;
1402 Node : not null Gela.Elements.Component_Definitions.
1403 Component_Definition_Access)
1404 is
1405 pragma Unreferenced (Node);
1406 begin
1407 Self.Result := A_Component_Definition;
1408 end Component_Definition;
1409
1410 overriding procedure Composite_Constraint
1411 (Self : in out Visiter;
1412 Node : not null Gela.Elements.Composite_Constraints.
1413 Composite_Constraint_Access)
1414 is
1415 pragma Unreferenced (Node);
1416 begin
1417 Self.Result := An_Index_Constraint; -- FIXME
1418 end Composite_Constraint;
1419
1420 overriding procedure Constrained_Array_Definition
1421 (Self : in out Visiter;
1422 Node : not null Gela.Elements.Constrained_Array_Definitions.
1423 Constrained_Array_Definition_Access)
1424 is
1425 pragma Unreferenced (Node);
1426 begin
1427 Self.Result := A_Constrained_Array_Definition;
1428 end Constrained_Array_Definition;
1429
1430 overriding procedure Defining_Enumeration_Literal
1431 (Self : in out Visiter;
1432 Node : not null Gela.Elements.Defining_Enumeration_Literals.
1433 Defining_Enumeration_Literal_Access)
1434 is
1435 pragma Unreferenced (Node);
1436 begin
1437 Self.Result := A_Defining_Enumeration_Literal;
1438 end Defining_Enumeration_Literal;
1439
1440 overriding procedure Defining_Expanded_Unit_Name
1441 (Self : in out Visiter;
1442 Node : not null Gela.Elements.Defining_Expanded_Unit_Names.
1443 Defining_Expanded_Unit_Name_Access)
1444 is
1445 pragma Unreferenced (Node);
1446 begin
1447 Self.Result := A_Defining_Expanded_Name;
1448 end Defining_Expanded_Unit_Name;
1449
1450 overriding procedure Defining_Identifier
1451 (Self : in out Visiter;
1452 Node : not null Gela.Elements.Defining_Identifiers.
1453 Defining_Identifier_Access)
1454 is
1455 pragma Unreferenced (Node);
1456 begin
1457 Self.Result := A_Defining_Identifier;
1458 end Defining_Identifier;
1459
1460 overriding procedure Defining_Operator_Symbol
1461 (Self : in out Visiter;
1462 Node : not null Gela.Elements.Defining_Operator_Symbols.
1463 Defining_Operator_Symbol_Access)
1464 is
1465 Operator_Map : constant array
1466 (Gela.Lexical_Types.Symbol range 1 .. 19) of Element_Flat_Kind
1467 := (A_Defining_Less_Than_Operator,
1468 A_Defining_Equal_Operator,
1469 A_Defining_Greater_Than_Operator,
1470 A_Defining_Minus_Operator,
1471 A_Defining_Divide_Operator,
1472 A_Defining_Multiply_Operator,
1473 A_Defining_Concatenate_Operator,
1474 A_Defining_Plus_Operator,
1475 A_Defining_Less_Than_Or_Equal_Operator,
1476 A_Defining_Greater_Than_Or_Equal_Operator,
1477 A_Defining_Not_Equal_Operator,
1478 A_Defining_Exponentiate_Operator,
1479 A_Defining_Or_Operator,
1480 A_Defining_And_Operator,
1481 A_Defining_Xor_Operator,
1482 A_Defining_Mod_Operator,
1483 A_Defining_Rem_Operator,
1484 A_Defining_Abs_Operator,
1485 A_Defining_Not_Operator);
1486
1487 Comp : constant Gela.Compilations.Compilation_Access :=
1488 Node.Enclosing_Compilation;
1489 Token : constant Gela.Lexical_Types.Token :=
1490 Comp.Get_Token (Node.Operator_Symbol_Token);
1491 begin
1492 if Token.Symbol in Operator_Map'Range then
1493 Self.Result := Operator_Map (Token.Symbol);
1494 end if;
1495 end Defining_Operator_Symbol;
1496
1497 overriding procedure Delay_Statement
1498 (Self : in out Visiter;
1499 Node : not null Gela.Elements.Delay_Statements.Delay_Statement_Access)
1500 is
1501 use type Gela.Lexical_Types.Token_Index;
1502 begin
1503 if Node.Until_Token = 0 then
1504 Self.Result := A_Delay_Relative_Statement;
1505 else
1506 Self.Result := A_Delay_Until_Statement;
1507 end if;
1508 end Delay_Statement;
1509
1510 overriding procedure Derived_Type_Definition
1511 (Self : in out Visiter;
1512 Node : not null Gela.Elements.Derived_Type_Definitions.
1513 Derived_Type_Definition_Access)
1514 is
1515 pragma Unreferenced (Node);
1516 begin
1517 Self.Result := A_Derived_Type_Definition;
1518 end Derived_Type_Definition;
1519
1520 overriding procedure Discrete_Simple_Expression_Range
1521 (Self : in out Visiter;
1522 Node : not null Gela.Elements.Discrete_Simple_Expression_Ranges.
1523 Discrete_Simple_Expression_Range_Access)
1524 is
1525 pragma Unreferenced (Node);
1526 begin
1527 Self.Result := A_Discrete_Simple_Expression_Range;
1528 end Discrete_Simple_Expression_Range;
1529
1530 overriding procedure Discrete_Subtype_Indication
1531 (Self : in out Visiter;
1532 Node : not null Gela.Elements.Discrete_Subtype_Indications.
1533 Discrete_Subtype_Indication_Access)
1534 is
1535 pragma Unreferenced (Node);
1536 begin
1537 Self.Result := A_Discrete_Subtype_Indication;
1538 end Discrete_Subtype_Indication;
1539
1540 overriding procedure Discriminant_Specification
1541 (Self : in out Visiter;
1542 Node : not null Gela.Elements.Discriminant_Specifications.
1543 Discriminant_Specification_Access)
1544 is
1545 pragma Unreferenced (Node);
1546 begin
1547 Self.Result := A_Discriminant_Specification;
1548 end Discriminant_Specification;
1549
1550 overriding procedure Else_Path
1551 (Self : in out Visiter;
1552 Node : not null Gela.Elements.Else_Paths.Else_Path_Access)
1553 is
1554 pragma Unreferenced (Node);
1555 begin
1556 Self.Result := An_Else_Path;
1557 end Else_Path;
1558
1559 overriding procedure Entry_Body
1560 (Self : in out Visiter;
1561 Node : not null Gela.Elements.Entry_Bodies.Entry_Body_Access)
1562 is
1563 pragma Unreferenced (Node);
1564 begin
1565 Self.Result := An_Entry_Body_Declaration;
1566 end Entry_Body;
1567
1568 overriding procedure Entry_Declaration
1569 (Self : in out Visiter;
1570 Node : not null Gela.Elements.Entry_Declarations.
1571 Entry_Declaration_Access)
1572 is
1573 pragma Unreferenced (Node);
1574 begin
1575 Self.Result := An_Entry_Declaration;
1576 end Entry_Declaration;
1577
1578 overriding procedure Enumeration_Literal_Specification
1579 (Self : in out Visiter;
1580 Node : not null Gela.Elements.Enumeration_Literal_Specifications.
1581 Enumeration_Literal_Specification_Access)
1582 is
1583 pragma Unreferenced (Node);
1584 begin
1585 Self.Result := An_Enumeration_Literal_Specification;
1586 end Enumeration_Literal_Specification;
1587
1588 overriding procedure Enumeration_Type_Definition
1589 (Self : in out Visiter;
1590 Node : not null Gela.Elements.Enumeration_Type_Definitions.
1591 Enumeration_Type_Definition_Access)
1592 is
1593 pragma Unreferenced (Node);
1594 begin
1595 Self.Result := An_Enumeration_Type_Definition;
1596 end Enumeration_Type_Definition;
1597
1598 overriding procedure Exception_Declaration
1599 (Self : in out Visiter;
1600 Node : not null Gela.Elements.Exception_Declarations.
1601 Exception_Declaration_Access)
1602 is
1603 pragma Unreferenced (Node);
1604 begin
1605 Self.Result := An_Exception_Declaration;
1606 end Exception_Declaration;
1607
1608 overriding procedure Exception_Handler
1609 (Self : in out Visiter;
1610 Node : not null Gela.Elements.Exception_Handlers.
1611 Exception_Handler_Access)
1612 is
1613 pragma Unreferenced (Node);
1614 begin
1615 Self.Result := An_Exception_Handler;
1616 end Exception_Handler;
1617
1618 overriding procedure Exception_Renaming_Declaration
1619 (Self : in out Visiter;
1620 Node : not null Gela.Elements.Exception_Renaming_Declarations.
1621 Exception_Renaming_Declaration_Access)
1622 is
1623 pragma Unreferenced (Node);
1624 begin
1625 Self.Result := An_Exception_Renaming_Declaration;
1626 end Exception_Renaming_Declaration;
1627
1628 overriding procedure Exit_Statement
1629 (Self : in out Visiter;
1630 Node : not null Gela.Elements.Exit_Statements.Exit_Statement_Access)
1631 is
1632 pragma Unreferenced (Node);
1633 begin
1634 Self.Result := An_Exit_Statement;
1635 end Exit_Statement;
1636
1637 overriding procedure Explicit_Dereference
1638 (Self : in out Visiter;
1639 Node : not null Gela.Elements.Explicit_Dereferences.
1640 Explicit_Dereference_Access)
1641 is
1642 pragma Unreferenced (Node);
1643 begin
1644 Self.Result := An_Explicit_Dereference;
1645 end Explicit_Dereference;
1646
1647 ---------------
1648 -- Flat_Kind --
1649 ---------------
1650
1651 function Flat_Kind (Element : Asis.Element) return Element_Flat_Kind is
1652 V : aliased Visiter := (Result => Not_An_Element);
1653 begin
1654 Element.Data.Visit (V);
1655 pragma Assert
1656 (Element.Data.Assigned and then V.Result /= Not_An_Element);
1657 return V.Result;
1658 end Flat_Kind;
1659
1660 overriding procedure Formal_Derived_Type_Definition
1661 (Self : in out Visiter;
1662 Node : not null Gela.Elements.Formal_Derived_Type_Definitions.
1663 Formal_Derived_Type_Definition_Access)
1664 is
1665 pragma Unreferenced (Node);
1666 begin
1667 Self.Result := A_Formal_Derived_Type_Definition;
1668 end Formal_Derived_Type_Definition;
1669
1670 overriding procedure Formal_Type_Declaration
1671 (Self : in out Visiter;
1672 Node : not null Gela.Elements.Formal_Type_Declarations.
1673 Formal_Type_Declaration_Access)
1674 is
1675 pragma Unreferenced (Node);
1676 begin
1677 Self.Result := A_Formal_Type_Declaration;
1678 end Formal_Type_Declaration;
1679
1680 overriding procedure Full_Type_Declaration
1681 (Self : in out Visiter;
1682 Node : not null Gela.Elements.Full_Type_Declarations.
1683 Full_Type_Declaration_Access)
1684 is
1685 pragma Unreferenced (Node);
1686 begin
1687 Self.Result := An_Ordinary_Type_Declaration;
1688 end Full_Type_Declaration;
1689
1690 overriding procedure Function_Body
1691 (Self : in out Visiter;
1692 Node : not null Gela.Elements.Function_Bodies.Function_Body_Access)
1693 is
1694 pragma Unreferenced (Node);
1695 begin
1696 Self.Result := A_Function_Body_Declaration;
1697 end Function_Body;
1698
1699 overriding procedure Function_Declaration
1700 (Self : in out Visiter;
1701 Node : not null Gela.Elements.Function_Declarations.
1702 Function_Declaration_Access)
1703 is
1704 pragma Unreferenced (Node);
1705 begin
1706 Self.Result := A_Function_Declaration;
1707 end Function_Declaration;
1708
1709 overriding procedure Generic_Association
1710 (Self : in out Visiter;
1711 Node : not null Gela.Elements.Generic_Associations.
1712 Generic_Association_Access)
1713 is
1714 pragma Unreferenced (Node);
1715 begin
1716 Self.Result := A_Generic_Association;
1717 end Generic_Association;
1718
1719 overriding procedure Generic_Package_Declaration
1720 (Self : in out Visiter;
1721 Node : not null Gela.Elements.Generic_Package_Declarations.
1722 Generic_Package_Declaration_Access)
1723 is
1724 pragma Unreferenced (Node);
1725 begin
1726 Self.Result := A_Generic_Package_Declaration;
1727 end Generic_Package_Declaration;
1728
1729 overriding procedure Identifier
1730 (Self : in out Visiter;
1731 Node : not null Gela.Elements.Identifiers.Identifier_Access)
1732 is
1733 pragma Unreferenced (Node);
1734 begin
1735 Self.Result := An_Identifier;
1736 end Identifier;
1737
1738 overriding procedure If_Path
1739 (Self : in out Visiter;
1740 Node : not null Gela.Elements.If_Paths.If_Path_Access)
1741 is
1742 pragma Unreferenced (Node);
1743 begin
1744 Self.Result := An_If_Path;
1745 end If_Path;
1746
1747 overriding procedure If_Statement
1748 (Self : in out Visiter;
1749 Node : not null Gela.Elements.If_Statements.If_Statement_Access)
1750 is
1751 pragma Unreferenced (Node);
1752 begin
1753 Self.Result := An_If_Statement;
1754 end If_Statement;
1755
1756 overriding procedure Incomplete_Type_Declaration
1757 (Self : in out Visiter;
1758 Node : not null Gela.Elements.Incomplete_Type_Declarations.
1759 Incomplete_Type_Declaration_Access)
1760 is
1761 pragma Unreferenced (Node);
1762 begin
1763 Self.Result := An_Incomplete_Type_Declaration;
1764 end Incomplete_Type_Declaration;
1765
1766 overriding procedure Incomplete_Type_Definition
1767 (Self : in out Visiter;
1768 Node : not null Gela.Elements.Incomplete_Type_Definitions.
1769 Incomplete_Type_Definition_Access)
1770 is
1771 pragma Unreferenced (Node);
1772 begin
1773 Self.Result := An_Incomplete_Type_Definition;
1774 end Incomplete_Type_Definition;
1775
1776 overriding procedure Known_Discriminant_Part
1777 (Self : in out Visiter;
1778 Node : not null Gela.Elements.Known_Discriminant_Parts.
1779 Known_Discriminant_Part_Access)
1780 is
1781 pragma Unreferenced (Node);
1782 begin
1783 Self.Result := A_Known_Discriminant_Part;
1784 end Known_Discriminant_Part;
1785
1786 overriding procedure Loop_Statement
1787 (Self : in out Visiter;
1788 Node : not null Gela.Elements.Loop_Statements.Loop_Statement_Access)
1789 is
1790 pragma Unreferenced (Node);
1791 begin
1792 Self.Result := A_Loop_Statement;
1793 end Loop_Statement;
1794
1795 overriding procedure Null_Component
1796 (Self : in out Visiter;
1797 Node : not null Gela.Elements.Null_Components.Null_Component_Access)
1798 is
1799 pragma Unreferenced (Node);
1800 begin
1801 Self.Result := A_Null_Component;
1802 end Null_Component;
1803
1804 overriding procedure Null_Statement
1805 (Self : in out Visiter;
1806 Node : not null Gela.Elements.Null_Statements.Null_Statement_Access)
1807 is
1808 pragma Unreferenced (Node);
1809 begin
1810 Self.Result := A_Null_Statement;
1811 end Null_Statement;
1812
1813 overriding procedure Number_Declaration
1814 (Self : in out Visiter;
1815 Node : not null Gela.Elements.Number_Declarations.
1816 Number_Declaration_Access)
1817 is
1818 pragma Unreferenced (Node);
1819 begin
1820 Self.Result := An_Integer_Number_Declaration;
1821 end Number_Declaration;
1822
1823 overriding procedure Numeric_Literal
1824 (Self : in out Visiter;
1825 Node : not null Gela.Elements.Numeric_Literals.Numeric_Literal_Access)
1826 is
1827 pragma Unreferenced (Node);
1828 begin
1829 Self.Result := An_Integer_Literal;
1830 end Numeric_Literal;
1831
1832 overriding procedure Object_Declaration
1833 (Self : in out Visiter;
1834 Node : not null Gela.Elements.Object_Declarations.
1835 Object_Declaration_Access)
1836 is
1837 use type Gela.Lexical_Types.Token_Count;
1838 begin
1839 if Node.Constant_Token = 0 then
1840 Self.Result := A_Variable_Declaration;
1841 else
1842 Self.Result := A_Constant_Declaration;
1843 end if;
1844 end Object_Declaration;
1845
1846 overriding procedure Object_Renaming_Declaration
1847 (Self : in out Visiter;
1848 Node : not null Gela.Elements.Object_Renaming_Declarations.
1849 Object_Renaming_Declaration_Access)
1850 is
1851 pragma Unreferenced (Node);
1852 begin
1853 Self.Result := An_Object_Renaming_Declaration;
1854 end Object_Renaming_Declaration;
1855
1856 overriding procedure Operator_Symbol
1857 (Self : in out Visiter;
1858 Node : not null Gela.Elements.Operator_Symbols.Operator_Symbol_Access)
1859 is
1860 Operator_Map : constant array
1861 (Gela.Lexical_Types.Symbol range 1 .. 19) of Element_Flat_Kind
1862 :=
1863 (A_Less_Than_Operator, An_Equal_Operator, A_Greater_Than_Operator,
1864 A_Minus_Operator, A_Divide_Operator, A_Multiply_Operator,
1865 A_Concatenate_Operator, A_Plus_Operator,
1866 A_Less_Than_Or_Equal_Operator, A_Greater_Than_Or_Equal_Operator,
1867 A_Not_Equal_Operator, An_Exponentiate_Operator, An_Or_Operator,
1868 An_And_Operator, An_Xor_Operator, A_Mod_Operator, A_Rem_Operator,
1869 An_Abs_Operator, A_Not_Operator);
1870
1871 Comp : constant Gela.Compilations.Compilation_Access :=
1872 Node.Enclosing_Compilation;
1873 Token : constant Gela.Lexical_Types.Token :=
1874 Comp.Get_Token (Node.Operator_Symbol_Token);
1875 begin
1876 if Token.Symbol in Operator_Map'Range then
1877 Self.Result := Operator_Map (Token.Symbol);
1878 end if;
1879 end Operator_Symbol;
1880
1881 overriding procedure Others_Choice
1882 (Self : in out Visiter;
1883 Node : not null Gela.Elements.Others_Choices.Others_Choice_Access)
1884 is
1885 pragma Unreferenced (Node);
1886 begin
1887 Self.Result := An_Others_Choice;
1888 end Others_Choice;
1889
1890 overriding procedure Package_Body
1891 (Self : in out Visiter;
1892 Node : not null Gela.Elements.Package_Bodies.Package_Body_Access)
1893 is
1894 pragma Unreferenced (Node);
1895 begin
1896 Self.Result := A_Package_Body_Declaration;
1897 end Package_Body;
1898
1899 overriding procedure Package_Declaration
1900 (Self : in out Visiter;
1901 Node : not null Gela.Elements.Package_Declarations.
1902 Package_Declaration_Access)
1903 is
1904 pragma Unreferenced (Node);
1905 begin
1906 Self.Result := A_Package_Declaration;
1907 end Package_Declaration;
1908
1909 overriding procedure Package_Instantiation
1910 (Self : in out Visiter;
1911 Node : not null Gela.Elements.Package_Instantiations.
1912 Package_Instantiation_Access)
1913 is
1914 pragma Unreferenced (Node);
1915 begin
1916 Self.Result := A_Package_Instantiation;
1917 end Package_Instantiation;
1918
1919 overriding procedure Package_Renaming_Declaration
1920 (Self : in out Visiter;
1921 Node : not null Gela.Elements.Package_Renaming_Declarations.
1922 Package_Renaming_Declaration_Access)
1923 is
1924 pragma Unreferenced (Node);
1925 begin
1926 Self.Result := A_Package_Renaming_Declaration;
1927 end Package_Renaming_Declaration;
1928
1929 overriding procedure Parameter_Specification
1930 (Self : in out Visiter;
1931 Node : not null Gela.Elements.Parameter_Specifications.
1932 Parameter_Specification_Access)
1933 is
1934 pragma Unreferenced (Node);
1935 begin
1936 Self.Result := A_Parameter_Specification;
1937 end Parameter_Specification;
1938
1939 overriding procedure Pragma_Node
1940 (Self : in out Visiter;
1941 Node : not null Gela.Elements.Pragma_Nodes.Pragma_Node_Access)
1942 is
1943 package X renames Gela.Lexical_Types.Predefined_Symbols;
1944
1945 Comp : constant Gela.Compilations.Compilation_Access :=
1946 Node.Enclosing_Compilation;
1947 Token : constant Gela.Lexical_Types.Token :=
1948 Comp.Get_Token (Node.Pragma_Token);
1949 Map : constant array
1950 (Gela.Lexical_Types.Symbol range
1951 X.All_Calls_Remote .. X.Storage_Size) of Element_Flat_Kind :=
1952 (X.All_Calls_Remote => An_All_Calls_Remote_Pragma,
1953 X.Assert => An_Assert_Pragma,
1954 X.Assertion_Policy => An_Assertion_Policy_Pragma,
1955 X.Asynchronous => An_Asynchronous_Pragma,
1956 X.Atomic => An_Atomic_Pragma,
1957 X.Atomic_Components => An_Atomic_Components_Pragma,
1958 X.Attach_Handler => An_Attach_Handler_Pragma,
1959 X.Controlled => A_Controlled_Pragma,
1960 X.Convention => A_Convention_Pragma,
1961 X.Detect_Blocking => A_Detect_Blocking_Pragma,
1962 X.Discard_Names => A_Discard_Names_Pragma,
1963 X.Elaborate => An_Elaborate_Pragma,
1964 X.Elaborate_All => An_Elaborate_All_Pragma,
1965 X.Elaborate_Body => An_Elaborate_Body_Pragma,
1966 X.Export => An_Export_Pragma,
1967 X.Import => An_Import_Pragma,
1968 X.Inline => An_Inline_Pragma,
1969 X.Inspection_Point => An_Inspection_Point_Pragma,
1970 X.Interrupt_Handler => An_Interrupt_Handler_Pragma,
1971 X.Interrupt_Priority => An_Interrupt_Priority_Pragma,
1972 X.Linker_Options => A_Linker_Options_Pragma,
1973 X.List => A_List_Pragma,
1974 X.Locking_Policy => A_Locking_Policy_Pragma,
1975 X.No_Return => A_No_Return_Pragma,
1976 X.Normalize_Scalars => A_Normalize_Scalars_Pragma,
1977 X.Optimize => An_Optimize_Pragma,
1978 X.Pack => A_Pack_Pragma,
1979 X.Page => A_Page_Pragma,
1980 X.Partition_Elaboration_Policy =>
1981 A_Partition_Elaboration_Policy_Pragma,
1982 X.Preelaborable_Initialization =>
1983 A_Preelaborable_Initialization_Pragma,
1984 X.Preelaborate => A_Preelaborate_Pragma,
1985 X.Priority => A_Priority_Pragma,
1986 X.Priority_Specific_Dispatching =>
1987 A_Priority_Specific_Dispatching_Pragma,
1988 X.Profile => A_Profile_Pragma,
1989 X.Pure => A_Pure_Pragma,
1990 X.Queuing_Policy => A_Queuing_Policy_Pragma,
1991 X.Relative_Deadline => A_Relative_Deadline_Pragma,
1992 X.Remote_Call_Interface => A_Remote_Call_Interface_Pragma,
1993 X.Remote_Types => A_Remote_Types_Pragma,
1994 X.Restrictions => A_Restrictions_Pragma,
1995 X.Reviewable => A_Reviewable_Pragma,
1996 X.Shared_Passive => A_Shared_Passive_Pragma,
1997 X.Storage_Size => A_Storage_Size_Pragma,
1998 X.Suppress => A_Suppress_Pragma,
1999 X.Task_Dispatching_Policy => A_Task_Dispatching_Policy_Pragma,
2000 X.Unchecked_Union => An_Unchecked_Union_Pragma,
2001 X.Unsuppress => An_Unsuppress_Pragma,
2002 X.Volatile => A_Volatile_Pragma,
2003 X.Volatile_Components => A_Volatile_Components_Pragma,
2004 others => An_Unknown_Pragma);
2005
2006 begin
2007 if Token.Symbol in Map'Range then
2008 Self.Result := Map (Token.Symbol);
2009 else
2010 Self.Result := An_Unknown_Pragma;
2011 end if;
2012 end Pragma_Node;
2013
2014 overriding procedure Private_Type_Declaration
2015 (Self : in out Visiter;
2016 Node : not null Gela.Elements.Private_Type_Declarations.
2017 Private_Type_Declaration_Access)
2018 is
2019 pragma Unreferenced (Node);
2020 begin
2021 Self.Result := A_Private_Type_Declaration;
2022 end Private_Type_Declaration;
2023
2024 overriding procedure Private_Type_Definition
2025 (Self : in out Visiter;
2026 Node : not null Gela.Elements.Private_Type_Definitions.
2027 Private_Type_Definition_Access)
2028 is
2029 pragma Unreferenced (Node);
2030 begin
2031 Self.Result := A_Private_Type_Definition;
2032 end Private_Type_Definition;
2033
2034 --------------------
2035 -- Procedure_Body --
2036 --------------------
2037
2038 overriding procedure Procedure_Body
2039 (Self : in out Visiter;
2040 Node : not null Gela.Elements.Procedure_Bodies.Procedure_Body_Access)
2041 is
2042 pragma Unreferenced (Node);
2043 begin
2044 Self.Result := A_Procedure_Body_Declaration;
2045 end Procedure_Body;
2046
2047 ------------------------------
2048 -- Procedure_Call_Statement --
2049 ------------------------------
2050
2051 overriding procedure Procedure_Call_Statement
2052 (Self : in out Visiter;
2053 Node : not null Gela.Elements.Procedure_Call_Statements.
2054 Procedure_Call_Statement_Access)
2055 is
2056 pragma Unreferenced (Node);
2057 begin
2058 Self.Result := A_Procedure_Call_Statement;
2059 end Procedure_Call_Statement;
2060
2061 overriding procedure Procedure_Declaration
2062 (Self : in out Visiter;
2063 Node : not null Gela.Elements.Procedure_Declarations.
2064 Procedure_Declaration_Access)
2065 is
2066 pragma Unreferenced (Node);
2067 begin
2068 Self.Result := A_Procedure_Declaration;
2069 end Procedure_Declaration;
2070
2071 overriding procedure Protected_Body
2072 (Self : in out Visiter;
2073 Node : not null Gela.Elements.Protected_Bodies.Protected_Body_Access)
2074 is
2075 pragma Unreferenced (Node);
2076 begin
2077 Self.Result := A_Protected_Body_Declaration;
2078 end Protected_Body;
2079
2080 overriding procedure Protected_Definition
2081 (Self : in out Visiter;
2082 Node : not null Gela.Elements.Protected_Definitions.
2083 Protected_Definition_Access)
2084 is
2085 pragma Unreferenced (Node);
2086 begin
2087 Self.Result := A_Protected_Definition;
2088 end Protected_Definition;
2089
2090 overriding procedure Record_Aggregate
2091 (Self : in out Visiter;
2092 Node : not null Gela.Elements.Record_Aggregates.Record_Aggregate_Access)
2093 is
2094 pragma Unreferenced (Node);
2095 begin
2096 Self.Result := A_Record_Aggregate;
2097 end Record_Aggregate;
2098
2099 overriding procedure Record_Definition
2100 (Self : in out Visiter;
2101 Node : not null Gela.Elements.Record_Definitions.
2102 Record_Definition_Access)
2103 is
2104 pragma Unreferenced (Node);
2105 begin
2106 Self.Result := A_Record_Definition;
2107 end Record_Definition;
2108
2109 overriding procedure Record_Type_Definition
2110 (Self : in out Visiter;
2111 Node : not null Gela.Elements.Record_Type_Definitions.
2112 Record_Type_Definition_Access)
2113 is
2114 pragma Unreferenced (Node);
2115 begin
2116 Self.Result := A_Record_Type_Definition;
2117 end Record_Type_Definition;
2118
2119 overriding procedure Requeue_Statement
2120 (Self : in out Visiter;
2121 Node : not null Gela.Elements.Requeue_Statements.
2122 Requeue_Statement_Access)
2123 is
2124 use type Gela.Lexical_Types.Token_Count;
2125 begin
2126 if Node.With_Token = 0 then
2127 Self.Result := A_Requeue_Statement;
2128 else
2129 Self.Result := A_Requeue_Statement_With_Abort;
2130 end if;
2131 end Requeue_Statement;
2132
2133 overriding procedure Select_Or_Path
2134 (Self : in out Visiter;
2135 Node : not null Gela.Elements.Select_Or_Paths.Select_Or_Path_Access)
2136 is
2137 pragma Unreferenced (Node);
2138 begin
2139 Self.Result := An_Or_Path;
2140 end Select_Or_Path;
2141
2142 ------------------------
2143 -- Selected_Component --
2144 ------------------------
2145
2146 overriding procedure Selected_Component
2147 (Self : in out Visiter;
2148 Node : not null Gela.Elements.Selected_Components.
2149 Selected_Component_Access)
2150 is
2151 pragma Unreferenced (Node);
2152 begin
2153 Self.Result := A_Selected_Component;
2154 end Selected_Component;
2155
2156 -------------------------
2157 -- Selected_Identifier --
2158 -------------------------
2159
2160 overriding procedure Selected_Identifier
2161 (Self : in out Visiter;
2162 Node : not null Gela.Elements.Selected_Identifiers.
2163 Selected_Identifier_Access)
2164 is
2165 pragma Unreferenced (Node);
2166 begin
2167 Self.Result := A_Selected_Component;
2168 end Selected_Identifier;
2169
2170 overriding procedure Selective_Accept
2171 (Self : in out Visiter;
2172 Node : not null Gela.Elements.Selective_Accepts.Selective_Accept_Access)
2173 is
2174 pragma Unreferenced (Node);
2175 begin
2176 Self.Result := A_Selective_Accept_Statement;
2177 end Selective_Accept;
2178
2179 overriding procedure Signed_Integer_Type_Definition
2180 (Self : in out Visiter;
2181 Node : not null Gela.Elements.Signed_Integer_Type_Definitions.
2182 Signed_Integer_Type_Definition_Access)
2183 is
2184 pragma Unreferenced (Node);
2185 begin
2186 Self.Result := A_Signed_Integer_Type_Definition;
2187 end Signed_Integer_Type_Definition;
2188
2189 overriding procedure Simple_Expression_Range
2190 (Self : in out Visiter;
2191 Node : not null Gela.Elements.Simple_Expression_Ranges.
2192 Simple_Expression_Range_Access)
2193 is
2194 pragma Unreferenced (Node);
2195 begin
2196 Self.Result := A_Discrete_Simple_Expression_Range;
2197 end Simple_Expression_Range;
2198
2199 overriding procedure Simple_Expression_Range_Dr
2200 (Self : in out Visiter;
2201 Node : not null Gela.Elements.Simple_Expression_Range_Drs.
2202 Simple_Expression_Range_Dr_Access)
2203 is
2204 pragma Unreferenced (Node);
2205 begin
2206 Self.Result := A_Discrete_Simple_Expression_Range_DR;
2207 end Simple_Expression_Range_Dr;
2208
2209 overriding procedure Simple_Return_Statement
2210 (Self : in out Visiter;
2211 Node : not null Gela.Elements.Simple_Return_Statements.
2212 Simple_Return_Statement_Access)
2213 is
2214 pragma Unreferenced (Node);
2215 begin
2216 Self.Result := A_Simple_Return_Statement;
2217 end Simple_Return_Statement;
2218
2219 overriding procedure Single_Protected_Declaration
2220 (Self : in out Visiter;
2221 Node : not null Gela.Elements.Single_Protected_Declarations.
2222 Single_Protected_Declaration_Access)
2223 is
2224 pragma Unreferenced (Node);
2225 begin
2226 Self.Result := A_Single_Protected_Declaration;
2227 end Single_Protected_Declaration;
2228
2229 overriding procedure Single_Task_Declaration
2230 (Self : in out Visiter;
2231 Node : not null Gela.Elements.Single_Task_Declarations.
2232 Single_Task_Declaration_Access)
2233 is
2234 pragma Unreferenced (Node);
2235 begin
2236 Self.Result := A_Single_Task_Declaration;
2237 end Single_Task_Declaration;
2238
2239 --------------------
2240 -- String_Literal --
2241 --------------------
2242
2243 overriding procedure String_Literal
2244 (Self : in out Visiter;
2245 Node : not null Gela.Elements.String_Literals.String_Literal_Access)
2246 is
2247 pragma Unreferenced (Node);
2248 begin
2249 Self.Result := A_String_Literal;
2250 end String_Literal;
2251
2252 overriding procedure Subtype_Declaration
2253 (Self : in out Visiter;
2254 Node : not null Gela.Elements.Subtype_Declarations.
2255 Subtype_Declaration_Access)
2256 is
2257 pragma Unreferenced (Node);
2258 begin
2259 Self.Result := A_Subtype_Declaration;
2260 end Subtype_Declaration;
2261
2262 overriding procedure Subtype_Indication
2263 (Self : in out Visiter;
2264 Node : not null Gela.Elements.Subtype_Indications.
2265 Subtype_Indication_Access)
2266 is
2267 pragma Unreferenced (Node);
2268 begin
2269 Self.Result := A_Subtype_Indication;
2270 end Subtype_Indication;
2271
2272 overriding procedure Task_Body
2273 (Self : in out Visiter;
2274 Node : not null Gela.Elements.Task_Bodies.Task_Body_Access)
2275 is
2276 pragma Unreferenced (Node);
2277 begin
2278 Self.Result := A_Task_Body_Declaration;
2279 end Task_Body;
2280
2281 overriding procedure Task_Definition
2282 (Self : in out Visiter;
2283 Node : not null Gela.Elements.Task_Definitions.Task_Definition_Access)
2284 is
2285 pragma Unreferenced (Node);
2286 begin
2287 Self.Result := A_Task_Definition;
2288 end Task_Definition;
2289
2290 overriding procedure Terminate_Alternative_Statement
2291 (Self : in out Visiter;
2292 Node : not null Gela.Elements.Terminate_Alternative_Statements.
2293 Terminate_Alternative_Statement_Access)
2294 is
2295 pragma Unreferenced (Node);
2296 begin
2297 Self.Result := A_Terminate_Alternative_Statement;
2298 end Terminate_Alternative_Statement;
2299
2300 overriding procedure Unconstrained_Array_Definition
2301 (Self : in out Visiter;
2302 Node : not null Gela.Elements.Unconstrained_Array_Definitions.
2303 Unconstrained_Array_Definition_Access)
2304 is
2305 pragma Unreferenced (Node);
2306 begin
2307 Self.Result := An_Unconstrained_Array_Definition;
2308 end Unconstrained_Array_Definition;
2309
2310 ------------------------
2311 -- Use_Package_Clause --
2312 ------------------------
2313
2314 overriding procedure Use_Package_Clause
2315 (Self : in out Visiter;
2316 Node : not null Gela.Elements.Use_Package_Clauses.
2317 Use_Package_Clause_Access)
2318 is
2319 pragma Unreferenced (Node);
2320 begin
2321 Self.Result := A_Use_Package_Clause;
2322 end Use_Package_Clause;
2323
2324 overriding procedure Use_Type_Clause
2325 (Self : in out Visiter;
2326 Node : not null Gela.Elements.Use_Type_Clauses.Use_Type_Clause_Access)
2327 is
2328 pragma Unreferenced (Node);
2329 begin
2330 Self.Result := A_Use_Type_Clause;
2331 end Use_Type_Clause;
2332
2333 overriding procedure Variant
2334 (Self : in out Visiter;
2335 Node : not null Gela.Elements.Variants.Variant_Access)
2336 is
2337 pragma Unreferenced (Node);
2338 begin
2339 Self.Result := A_Variant;
2340 end Variant;
2341
2342 overriding procedure Variant_Part
2343 (Self : in out Visiter;
2344 Node : not null Gela.Elements.Variant_Parts.Variant_Part_Access)
2345 is
2346 pragma Unreferenced (Node);
2347 begin
2348 Self.Result := A_Variant_Part;
2349 end Variant_Part;
2350
2351 -----------------
2352 -- With_Clause --
2353 -----------------
2354
2355 overriding procedure With_Clause
2356 (Self : in out Visiter;
2357 Node : not null Gela.Elements.With_Clauses.With_Clause_Access)
2358 is
2359 pragma Unreferenced (Node);
2360 begin
2361 Self.Result := A_With_Clause;
2362 end With_Clause;
2363
2364end Asis.Extensions.Flat_Kinds;
Note: See TracBrowser for help on using the repository browser.