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

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

Make distinction between index and disriminant constraint

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