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

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

Drop Cursor and Visiter for up interpretation set.

Replace it with Any_Cursor and iterator.

  • Property svn:keywords set to Author Date Revision
File size: 2.4 KB
Line 
1with Gela.Interpretations;
2with Gela.Int;
3
4package Gela.Int_Sets is
5 pragma Preelaborate;
6
7 type Interpretation_Set is abstract tagged null record;
8
9 type Interpretation_Set_Access is access all Interpretation_Set'Class;
10
11 not overriding function Element
12 (Self : Interpretation_Set;
13 Index : Gela.Interpretations.Interpretation_Index)
14 return Gela.Int.Interpretation_Access is abstract;
15
16 not overriding function Categories
17 (Self : access Interpretation_Set;
18 Index : Gela.Interpretations.Interpretation_Set_Index)
19 return Gela.Interpretations.Category_Iterators
20 .Forward_Iterator'Class is abstract;
21
22 not overriding function Defining_Names
23 (Self : access Interpretation_Set;
24 Index : Gela.Interpretations.Interpretation_Set_Index)
25 return Gela.Interpretations.Defining_Name_Iterators
26 .Forward_Iterator'Class is abstract;
27
28 not overriding function Expressions
29 (Self : access Interpretation_Set;
30 Index : Gela.Interpretations.Interpretation_Set_Index)
31 return Gela.Interpretations.Expression_Iterators
32 .Forward_Iterator'Class is abstract;
33
34 not overriding function Profiles
35 (Self : access Interpretation_Set;
36 Index : Gela.Interpretations.Interpretation_Set_Index)
37 return Gela.Interpretations.Profile_Iterators
38 .Forward_Iterator'Class is abstract;
39
40 not overriding function Symbols
41 (Self : access Interpretation_Set;
42 Index : Gela.Interpretations.Interpretation_Set_Index)
43 return Gela.Interpretations.Symbol_Iterators
44 .Forward_Iterator'Class is abstract;
45
46 not overriding function Each
47 (Self : access Interpretation_Set;
48 Index : Gela.Interpretations.Interpretation_Set_Index)
49 return Gela.Interpretations.Any_Iterators
50 .Forward_Iterator'Class is abstract;
51
52 type Index_Provider is limited interface;
53
54 not overriding procedure Reserve_Indexes
55 (Self : in out Index_Provider;
56 Set : Interpretation_Set_Access;
57 From : out Gela.Interpretations.Interpretation_Set_Index;
58 To : out Gela.Interpretations.Interpretation_Set_Index) is abstract;
59
60 not overriding procedure Reserve_Indexes
61 (Self : in out Index_Provider;
62 Set : Interpretation_Set_Access;
63 From : out Gela.Interpretations.Interpretation_Index;
64 To : out Gela.Interpretations.Interpretation_Index) is abstract;
65
66end Gela.Int_Sets;
Note: See TracBrowser for help on using the repository browser.