source: trunk/ada-2012/src/semantic/gela-resolve-each.ads@ 552

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

Implement root_integer and root_real preferences

in interpretation sets of dircrete range and simple expression range.

File size: 1.4 KB
Line 
1with Gela.Type_Managers;
2
3private package Gela.Resolve.Each is
4 pragma Preelaborate;
5
6 function Expression
7 (Self : access Gela.Interpretations.Interpretation_Manager'Class;
8 TM : Gela.Type_Managers.Type_Manager_Access;
9 Env : Gela.Semantic_Types.Env_Index;
10 Set : Gela.Interpretations.Interpretation_Set_Index)
11 return Gela.Interpretations.Expression_Iterators.Forward_Iterator'Class;
12 -- Resolve given interpretation set as expression. So ignore symbol and
13 -- others non-expression interpretations. Translate defining name into
14 -- expression.
15
16 function Prefer_Root
17 (Self : access Gela.Interpretations.Interpretation_Manager'Class;
18 TM : Gela.Type_Managers.Type_Manager_Access;
19 Env : Gela.Semantic_Types.Env_Index;
20 Set : Gela.Interpretations.Interpretation_Set_Index)
21 return Gela.Interpretations.Expression_Iterators.Forward_Iterator'Class;
22 -- The same as Expression, but prefere root_integer and root_read over
23 -- other interpretations.
24
25 function Prefix
26 (Self : access Gela.Interpretations.Interpretation_Manager'Class;
27 TM : Gela.Type_Managers.Type_Manager_Access;
28 Env : Gela.Semantic_Types.Env_Index;
29 Set : Gela.Interpretations.Interpretation_Set_Index)
30 return Gela.Interpretations.Expression_Iterators.Forward_Iterator'Class;
31 -- The same as Expression, but add implicit dereference interpretations.
32
33end Gela.Resolve.Each;
Note: See TracBrowser for help on using the repository browser.