source: trunk/ada-2012/src/semantic/gela-int-expressions.ads@ 552

Last change on this file since 552 was 496, checked in by Maxim Reznik, 6 years ago

Add new property chosen_interpretation

to keep interpretation of Auxiliary_Apply (and may be others nodes latter).
This will simplify work with generic instantination.

  • Property svn:keywords set to Author Date Revision
File size: 960 bytes
Line 
1with Gela.Semantic_Types;
2
3package Gela.Int.Expressions is
4 pragma Preelaborate;
5
6 type Expression is new Interpretation with private;
7
8 function Create
9 (Down : Gela.Interpretations.Interpretation_Index_Array;
10 Expression_Type : Gela.Semantic_Types.Type_Index;
11 Expression_Kind : Gela.Interpretations.Unknown_Auxiliary_Apply_Kinds)
12 return Expression;
13
14 function Expression_Type
15 (Self : Expression)
16 return Gela.Semantic_Types.Type_Index;
17
18 function Expression_Kind
19 (Self : Expression)
20 return Gela.Interpretations.Unknown_Auxiliary_Apply_Kinds;
21
22private
23
24 type Expression is new Interpretation with record
25 Expression_Type : Gela.Semantic_Types.Type_Index;
26 Expression_Kind : Gela.Interpretations.Unknown_Auxiliary_Apply_Kinds;
27 end record;
28
29 overriding procedure Visit
30 (Self : Expression;
31 Visiter : access Gela.Int.Visiters.Visiter'Class);
32
33end Gela.Int.Expressions;
Note: See TracBrowser for help on using the repository browser.