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

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

Add new test

File size: 7.8 KB
Line 
1package body Gela.Property_Resets is
2
3 ------------------------------
4 -- On_Chosen_Interpretation --
5 ------------------------------
6
7 overriding procedure On_Chosen_Interpretation
8 (Self : in out Property_Reset;
9 Element : Gela.Elements.Element_Access;
10 Value : out Gela.Interpretations.Interpretation_Kinds)
11 is
12 pragma Unreferenced (Element);
13 begin
14 Value := Self.Chosen_Interpretation;
15 end On_Chosen_Interpretation;
16
17 --------------------------------------
18 -- On_Corresponding_Generic_Element --
19 --------------------------------------
20
21 overriding procedure On_Corresponding_Generic_Element
22 (Self : in out Property_Reset;
23 Element : Gela.Elements.Element_Access;
24 Value : out Gela.Elements.Element_Access)
25 is
26 pragma Unreferenced (Element);
27 begin
28 Value := Self.Corresponding_Generic_Element;
29 end On_Corresponding_Generic_Element;
30
31 ---------------------------
32 -- On_Corresponding_Type --
33 ---------------------------
34
35 overriding procedure On_Corresponding_Type
36 (Self : in out Property_Reset;
37 Element : Gela.Elements.Element_Access;
38 Value : out Gela.Elements.Element_Access)
39 is
40 pragma Unreferenced (Element);
41 begin
42 Value := Self.Corresponding_Type;
43 end On_Corresponding_Type;
44
45 ---------------------------
46 -- On_Corresponding_View --
47 ---------------------------
48
49 overriding procedure On_Corresponding_View
50 (Self : in out Property_Reset;
51 Element : Gela.Elements.Element_Access;
52 Value : out Gela.Elements.Element_Access)
53 is
54 pragma Unreferenced (Element);
55 begin
56 Value := Self.Corresponding_View;
57 end On_Corresponding_View;
58
59 ---------------------------
60 -- On_Declarative_Region --
61 ---------------------------
62
63 overriding procedure On_Declarative_Region
64 (Self : in out Property_Reset;
65 Element : Gela.Elements.Element_Access;
66 Value : out Gela.Semantic_Types.Env_Index)
67 is
68 pragma Unreferenced (Element);
69 begin
70 Value := Self.Declarative_Region;
71 end On_Declarative_Region;
72
73 ----------------------
74 -- On_Defining_Name --
75 ----------------------
76
77 overriding procedure On_Defining_Name
78 (Self : in out Property_Reset;
79 Element : Gela.Elements.Element_Access;
80 Value : out Gela.Elements.Defining_Names.
81 Defining_Name_Access)
82 is
83 pragma Unreferenced (Element);
84 begin
85 Value := Self.Defining_Name;
86 end On_Defining_Name;
87
88 -------------
89 -- On_Down --
90 -------------
91
92 overriding procedure On_Down
93 (Self : in out Property_Reset;
94 Element : Gela.Elements.Element_Access;
95 Value : out Gela.Interpretations.Interpretation_Index)
96 is
97 pragma Unreferenced (Element);
98 begin
99 Value := Self.Down;
100 end On_Down;
101
102 ---------------
103 -- On_Env_In --
104 ---------------
105
106 overriding procedure On_Env_In
107 (Self : in out Property_Reset;
108 Element : Gela.Elements.Element_Access;
109 Value : out Gela.Semantic_Types.Env_Index)
110 is
111 pragma Unreferenced (Element);
112 begin
113 Value := Self.Env_In;
114 end On_Env_In;
115
116 ----------------
117 -- On_Env_Out --
118 ----------------
119
120 overriding procedure On_Env_Out
121 (Self : in out Property_Reset;
122 Element : Gela.Elements.Element_Access;
123 Value : out Gela.Semantic_Types.Env_Index)
124 is
125 pragma Unreferenced (Element);
126 begin
127 Value := Self.Env_Out;
128 end On_Env_Out;
129
130 ---------------
131 -- On_Errors --
132 ---------------
133
134 overriding procedure On_Errors
135 (Self : in out Property_Reset;
136 Element : Gela.Elements.Element_Access;
137 Value : out Gela.Semantic_Types.Error_Set_Index)
138 is
139 pragma Unreferenced (Element);
140 begin
141 Value := Self.Errors;
142 end On_Errors;
143
144 -----------------
145 -- On_Expanded --
146 -----------------
147
148 overriding procedure On_Expanded
149 (Self : in out Property_Reset;
150 Element : Gela.Elements.Element_Access;
151 Value : out Gela.Elements.Element_Access)
152 is
153 pragma Unreferenced (Element);
154 begin
155 Value := Self.Expanded;
156 end On_Expanded;
157
158 ------------------
159 -- On_Full_Name --
160 ------------------
161
162 overriding procedure On_Full_Name
163 (Self : in out Property_Reset;
164 Element : Gela.Elements.Element_Access;
165 Value : out Gela.Lexical_Types.Symbol)
166 is
167 pragma Unreferenced (Element);
168 begin
169 Value := Self.Full_Name;
170 end On_Full_Name;
171
172 --------------
173 -- On_Index --
174 --------------
175
176 overriding procedure On_Index
177 (Self : in out Property_Reset;
178 Element : Gela.Elements.Element_Access;
179 Value : out Gela.Lexical_Types.Token_Count)
180 is
181 pragma Unreferenced (Element);
182 begin
183 Value := Self.Index;
184 end On_Index;
185
186 -----------------
187 -- On_Inh_List --
188 -----------------
189
190 overriding procedure On_Inh_List
191 (Self : in out Property_Reset;
192 Element : Gela.Elements.Element_Access;
193 Value : out Gela.Elements.Element_Sequence_Access)
194 is
195 pragma Unreferenced (Element);
196 begin
197 Value := Self.Inh_List;
198 end On_Inh_List;
199
200 --------------------------
201 -- On_Limited_With_List --
202 --------------------------
203
204 overriding procedure On_Limited_With_List
205 (Self : in out Property_Reset;
206 Element : Gela.Elements.Element_Access;
207 Value : out Gela.Lexical_Types.Symbol_List)
208 is
209 pragma Unreferenced (Element);
210 begin
211 Value := Self.Limited_With_List;
212 end On_Limited_With_List;
213
214 ------------------
215 -- On_Name_List --
216 ------------------
217
218 overriding procedure On_Name_List
219 (Self : in out Property_Reset;
220 Element : Gela.Elements.Element_Access;
221 Value : out Gela.Lexical_Types.Symbol_List)
222 is
223 pragma Unreferenced (Element);
224 begin
225 Value := Self.Name_List;
226 end On_Name_List;
227
228 ---------------------
229 -- On_Static_Value --
230 ---------------------
231
232 overriding procedure On_Static_Value
233 (Self : in out Property_Reset;
234 Element : Gela.Elements.Element_Access;
235 Value : out Gela.Semantic_Types.Value_Index)
236 is
237 pragma Unreferenced (Element);
238 begin
239 Value := Self.Static_Value;
240 end On_Static_Value;
241
242 -------------------
243 -- On_Type_Index --
244 -------------------
245
246 overriding procedure On_Type_Index
247 (Self : in out Property_Reset;
248 Element : Gela.Elements.Element_Access;
249 Value : out Gela.Semantic_Types.Type_Index)
250 is
251 pragma Unreferenced (Element);
252 begin
253 Value := Self.Type_Index;
254 end On_Type_Index;
255
256 -----------
257 -- On_Up --
258 -----------
259
260 overriding procedure On_Up
261 (Self : in out Property_Reset;
262 Element : Gela.Elements.Element_Access;
263 Value : out Gela.Interpretations.Interpretation_Tuple_Index)
264 is
265 pragma Unreferenced (Element);
266 begin
267 Value := Self.Up_Tuple;
268 end On_Up;
269
270 -----------
271 -- On_Up --
272 -----------
273
274 overriding procedure On_Up
275 (Self : in out Property_Reset;
276 Element : Gela.Elements.Element_Access;
277 Value : out Gela.Interpretations.Interpretation_Tuple_List_Index)
278 is
279 pragma Unreferenced (Element);
280 begin
281 Value := Self.Up_Tuple_List;
282 end On_Up;
283
284 -----------
285 -- On_Up --
286 -----------
287
288 overriding procedure On_Up
289 (Self : in out Property_Reset;
290 Element : Gela.Elements.Element_Access;
291 Value : out Gela.Interpretations.Interpretation_Set_Index)
292 is
293 pragma Unreferenced (Element);
294 begin
295 Value := Self.Up_Set;
296 end On_Up;
297
298 ------------------
299 -- On_With_List --
300 ------------------
301
302 overriding procedure On_With_List
303 (Self : in out Property_Reset;
304 Element : Gela.Elements.Element_Access;
305 Value : out Gela.Lexical_Types.Symbol_List)
306 is
307 pragma Unreferenced (Element);
308 begin
309 Value := Self.With_List;
310 end On_With_List;
311
312end Gela.Property_Resets;
Note: See TracBrowser for help on using the repository browser.