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

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

Remove Type_Category from type API

  • Property svn:keywords set to Author Date Revision
File size: 669 bytes
Line 
1package Gela.Int.Categories is
2 pragma Preelaborate;
3
4 type Category is new Interpretation with private;
5
6 function Create
7 (Down : Gela.Interpretations.Interpretation_Index_Array;
8 Match : not null Gela.Interpretations.Type_Matcher_Access)
9 return Category;
10
11 function Match
12 (Self : Category)
13 return not null Gela.Interpretations.Type_Matcher_Access;
14
15private
16
17 type Category is new Interpretation with record
18 Match : not null Gela.Interpretations.Type_Matcher_Access;
19 end record;
20
21 overriding procedure Visit
22 (Self : Category;
23 Visiter : access Gela.Int.Visiters.Visiter'Class);
24
25end Gela.Int.Categories;
Note: See TracBrowser for help on using the repository browser.