source: trunk/ada-2012/src/semantic/gela-resolve-type_matchers.adb@ 552

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

Add character_literal resolution

  • Property svn:keywords set to Author Date Revision
File size: 2.2 KB
Line 
1package body Gela.Resolve.Type_Matchers is
2
3 ----------------
4 -- Array_Type --
5 ----------------
6
7 overriding procedure Array_Type
8 (Self : in out Array_Type_Matcher;
9 Value : not null Gela.Types.Arrays.Array_Type_Access)
10 is
11 pragma Unreferenced (Value);
12 begin
13 Self.Match := True;
14 end Array_Type;
15
16 ----------------
17 -- Array_Type --
18 ----------------
19
20 overriding procedure Array_Type
21 (Self : in out String_Type_Matcher;
22 Value : not null Gela.Types.Arrays.Array_Type_Access)
23 is
24 pragma Unreferenced (Value);
25 begin
26 Self.Match := True; -- Value.Is_String; FIXME
27 end Array_Type;
28
29 --------------------
30 -- Character_Type --
31 --------------------
32
33 overriding procedure Character_Type
34 (Self : in out Character_Type_Matcher;
35 Value : not null Gela.Types.Simple.Character_Type_Access)
36 is
37 pragma Unreferenced (Value);
38 begin
39 Self.Match := True;
40 end Character_Type;
41
42 -------------------------
43 -- Floating_Point_Type --
44 -------------------------
45
46 overriding procedure Floating_Point_Type
47 (Self : in out Float_Type_Matcher;
48 Value : not null Gela.Types.Simple.Floating_Point_Type_Access)
49 is
50 pragma Unreferenced (Value);
51 begin
52 Self.Match := True;
53 end Floating_Point_Type;
54
55 ----------------
56 -- Is_Matched --
57 ----------------
58
59 overriding function Is_Matched (Self : Base_Type_Matcher) return Boolean is
60 begin
61 return Self.Match;
62 end Is_Matched;
63
64 -------------------------
65 -- Signed_Integer_Type --
66 -------------------------
67
68 overriding procedure Signed_Integer_Type
69 (Self : in out Integer_Type_Matcher;
70 Value : not null Gela.Types.Simple.Signed_Integer_Type_Access)
71 is
72 pragma Unreferenced (Value);
73 begin
74 Self.Match := True;
75 end Signed_Integer_Type;
76
77 ---------------------
78 -- Untagged_Record --
79 ---------------------
80
81 overriding procedure Untagged_Record
82 (Self : in out Record_Type_Matcher;
83 Value : not null Gela.Types.Untagged_Records.Untagged_Record_Type_Access)
84 is
85 pragma Unreferenced (Value);
86 begin
87 Self.Match := True;
88 end Untagged_Record;
89
90end Gela.Resolve.Type_Matchers;
Note: See TracBrowser for help on using the repository browser.