source: trunk/ada-2012/src/semantic/gela-int-categories.adb@ 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: 889 bytes
Line 
1with Gela.Int.Visiters;
2
3package body Gela.Int.Categories is
4
5 ------------
6 -- Create --
7 ------------
8
9 function Create
10 (Down : Gela.Interpretations.Interpretation_Index_Array;
11 Match : not null Gela.Interpretations.Type_Matcher_Access)
12 return Category is
13 begin
14 return (Index => 0,
15 Length => Down'Length,
16 Match => Match,
17 Down => Down);
18 end Create;
19
20 -----------
21 -- Match --
22 -----------
23
24 function Match
25 (Self : Category)
26 return not null Gela.Interpretations.Type_Matcher_Access is
27 begin
28 return Self.Match;
29 end Match;
30
31 -----------
32 -- Visit --
33 -----------
34
35 overriding procedure Visit
36 (Self : Category;
37 Visiter : access Gela.Int.Visiters.Visiter'Class) is
38 begin
39 Visiter.Expression_Category (Self);
40 end Visit;
41
42end Gela.Int.Categories;
Note: See TracBrowser for help on using the repository browser.