1------------------------------------------------------------------------------
2--                                                                          --
3--                            Matreshka Project                             --
4--                                                                          --
5--                          Ada Modeling Framework                          --
6--                                                                          --
7--                        Runtime Library Component                         --
8--                                                                          --
9------------------------------------------------------------------------------
10--                                                                          --
11-- Copyright © 2012-2013, Vadim Godunko <vgodunko@gmail.com>                --
12-- All rights reserved.                                                     --
13--                                                                          --
14-- Redistribution and use in source and binary forms, with or without       --
15-- modification, are permitted provided that the following conditions       --
16-- are met:                                                                 --
17--                                                                          --
18--  * Redistributions of source code must retain the above copyright        --
19--    notice, this list of conditions and the following disclaimer.         --
20--                                                                          --
21--  * Redistributions in binary form must reproduce the above copyright     --
22--    notice, this list of conditions and the following disclaimer in the   --
23--    documentation and/or other materials provided with the distribution.  --
24--                                                                          --
25--  * Neither the name of the Vadim Godunko, IE nor the names of its        --
26--    contributors may be used to endorse or promote products derived from  --
27--    this software without specific prior written permission.              --
28--                                                                          --
29-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS      --
30-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT        --
31-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR    --
32-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT     --
33-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,   --
34-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED --
35-- TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR   --
36-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF   --
37-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING     --
38-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS       --
39-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.             --
40--                                                                          --
41------------------------------------------------------------------------------
42--  $Revision: 3646 $ $Date: 2013-01-07 22:05:34 +0400 (Mon, 07 Jan 2013) $
43------------------------------------------------------------------------------
44--  This file is generated, don't edit it.
45------------------------------------------------------------------------------
46with AMF.OCL.Any_Types;
47with AMF.OCL.Association_Class_Call_Exps;
48with AMF.OCL.Bag_Types;
49with AMF.OCL.Boolean_Literal_Exps;
50with AMF.OCL.Collection_Items;
51with AMF.OCL.Collection_Literal_Exps;
52with AMF.OCL.Collection_Ranges;
53with AMF.OCL.Collection_Types;
54with AMF.OCL.Enum_Literal_Exps;
55with AMF.OCL.Expression_In_Ocls;
56with AMF.OCL.If_Exps;
57with AMF.OCL.Integer_Literal_Exps;
58with AMF.OCL.Invalid_Literal_Exps;
59with AMF.OCL.Invalid_Types;
60with AMF.OCL.Iterate_Exps;
61with AMF.OCL.Iterator_Exps;
62with AMF.OCL.Let_Exps;
63with AMF.OCL.Message_Exps;
64with AMF.OCL.Message_Types;
65with AMF.OCL.Null_Literal_Exps;
66with AMF.OCL.Operation_Call_Exps;
67with AMF.OCL.Ordered_Set_Types;
68with AMF.OCL.Property_Call_Exps;
69with AMF.OCL.Real_Literal_Exps;
70with AMF.OCL.Sequence_Types;
71with AMF.OCL.Set_Types;
72with AMF.OCL.State_Exps;
73with AMF.OCL.String_Literal_Exps;
74with AMF.OCL.Template_Parameter_Types;
75with AMF.OCL.Tuple_Literal_Exps;
76with AMF.OCL.Tuple_Literal_Parts;
77with AMF.OCL.Tuple_Types;
78with AMF.OCL.Type_Exps;
79with AMF.OCL.Unlimited_Natural_Literal_Exps;
80with AMF.OCL.Unspecified_Value_Exps;
81with AMF.OCL.Variable_Exps;
82with AMF.OCL.Variables;
83with AMF.OCL.Void_Types;
84
85package AMF.Visitors.OCL_Visitors is
86
87   pragma Preelaborate;
88
89   type OCL_Visitor is limited interface and AMF.Visitors.Abstract_Visitor;
90
91   not overriding procedure Enter_Any_Type
92    (Self    : in out OCL_Visitor;
93     Element : not null AMF.OCL.Any_Types.OCL_Any_Type_Access;
94     Control : in out AMF.Visitors.Traverse_Control) is null;
95
96   not overriding procedure Leave_Any_Type
97    (Self    : in out OCL_Visitor;
98     Element : not null AMF.OCL.Any_Types.OCL_Any_Type_Access;
99     Control : in out AMF.Visitors.Traverse_Control) is null;
100
101   not overriding procedure Enter_Association_Class_Call_Exp
102    (Self    : in out OCL_Visitor;
103     Element : not null AMF.OCL.Association_Class_Call_Exps.OCL_Association_Class_Call_Exp_Access;
104     Control : in out AMF.Visitors.Traverse_Control) is null;
105
106   not overriding procedure Leave_Association_Class_Call_Exp
107    (Self    : in out OCL_Visitor;
108     Element : not null AMF.OCL.Association_Class_Call_Exps.OCL_Association_Class_Call_Exp_Access;
109     Control : in out AMF.Visitors.Traverse_Control) is null;
110
111   not overriding procedure Enter_Bag_Type
112    (Self    : in out OCL_Visitor;
113     Element : not null AMF.OCL.Bag_Types.OCL_Bag_Type_Access;
114     Control : in out AMF.Visitors.Traverse_Control) is null;
115
116   not overriding procedure Leave_Bag_Type
117    (Self    : in out OCL_Visitor;
118     Element : not null AMF.OCL.Bag_Types.OCL_Bag_Type_Access;
119     Control : in out AMF.Visitors.Traverse_Control) is null;
120
121   not overriding procedure Enter_Boolean_Literal_Exp
122    (Self    : in out OCL_Visitor;
123     Element : not null AMF.OCL.Boolean_Literal_Exps.OCL_Boolean_Literal_Exp_Access;
124     Control : in out AMF.Visitors.Traverse_Control) is null;
125
126   not overriding procedure Leave_Boolean_Literal_Exp
127    (Self    : in out OCL_Visitor;
128     Element : not null AMF.OCL.Boolean_Literal_Exps.OCL_Boolean_Literal_Exp_Access;
129     Control : in out AMF.Visitors.Traverse_Control) is null;
130
131   not overriding procedure Enter_Collection_Item
132    (Self    : in out OCL_Visitor;
133     Element : not null AMF.OCL.Collection_Items.OCL_Collection_Item_Access;
134     Control : in out AMF.Visitors.Traverse_Control) is null;
135
136   not overriding procedure Leave_Collection_Item
137    (Self    : in out OCL_Visitor;
138     Element : not null AMF.OCL.Collection_Items.OCL_Collection_Item_Access;
139     Control : in out AMF.Visitors.Traverse_Control) is null;
140
141   not overriding procedure Enter_Collection_Literal_Exp
142    (Self    : in out OCL_Visitor;
143     Element : not null AMF.OCL.Collection_Literal_Exps.OCL_Collection_Literal_Exp_Access;
144     Control : in out AMF.Visitors.Traverse_Control) is null;
145
146   not overriding procedure Leave_Collection_Literal_Exp
147    (Self    : in out OCL_Visitor;
148     Element : not null AMF.OCL.Collection_Literal_Exps.OCL_Collection_Literal_Exp_Access;
149     Control : in out AMF.Visitors.Traverse_Control) is null;
150
151   not overriding procedure Enter_Collection_Range
152    (Self    : in out OCL_Visitor;
153     Element : not null AMF.OCL.Collection_Ranges.OCL_Collection_Range_Access;
154     Control : in out AMF.Visitors.Traverse_Control) is null;
155
156   not overriding procedure Leave_Collection_Range
157    (Self    : in out OCL_Visitor;
158     Element : not null AMF.OCL.Collection_Ranges.OCL_Collection_Range_Access;
159     Control : in out AMF.Visitors.Traverse_Control) is null;
160
161   not overriding procedure Enter_Collection_Type
162    (Self    : in out OCL_Visitor;
163     Element : not null AMF.OCL.Collection_Types.OCL_Collection_Type_Access;
164     Control : in out AMF.Visitors.Traverse_Control) is null;
165
166   not overriding procedure Leave_Collection_Type
167    (Self    : in out OCL_Visitor;
168     Element : not null AMF.OCL.Collection_Types.OCL_Collection_Type_Access;
169     Control : in out AMF.Visitors.Traverse_Control) is null;
170
171   not overriding procedure Enter_Enum_Literal_Exp
172    (Self    : in out OCL_Visitor;
173     Element : not null AMF.OCL.Enum_Literal_Exps.OCL_Enum_Literal_Exp_Access;
174     Control : in out AMF.Visitors.Traverse_Control) is null;
175
176   not overriding procedure Leave_Enum_Literal_Exp
177    (Self    : in out OCL_Visitor;
178     Element : not null AMF.OCL.Enum_Literal_Exps.OCL_Enum_Literal_Exp_Access;
179     Control : in out AMF.Visitors.Traverse_Control) is null;
180
181   not overriding procedure Enter_Expression_In_Ocl
182    (Self    : in out OCL_Visitor;
183     Element : not null AMF.OCL.Expression_In_Ocls.OCL_Expression_In_Ocl_Access;
184     Control : in out AMF.Visitors.Traverse_Control) is null;
185
186   not overriding procedure Leave_Expression_In_Ocl
187    (Self    : in out OCL_Visitor;
188     Element : not null AMF.OCL.Expression_In_Ocls.OCL_Expression_In_Ocl_Access;
189     Control : in out AMF.Visitors.Traverse_Control) is null;
190
191   not overriding procedure Enter_If_Exp
192    (Self    : in out OCL_Visitor;
193     Element : not null AMF.OCL.If_Exps.OCL_If_Exp_Access;
194     Control : in out AMF.Visitors.Traverse_Control) is null;
195
196   not overriding procedure Leave_If_Exp
197    (Self    : in out OCL_Visitor;
198     Element : not null AMF.OCL.If_Exps.OCL_If_Exp_Access;
199     Control : in out AMF.Visitors.Traverse_Control) is null;
200
201   not overriding procedure Enter_Integer_Literal_Exp
202    (Self    : in out OCL_Visitor;
203     Element : not null AMF.OCL.Integer_Literal_Exps.OCL_Integer_Literal_Exp_Access;
204     Control : in out AMF.Visitors.Traverse_Control) is null;
205
206   not overriding procedure Leave_Integer_Literal_Exp
207    (Self    : in out OCL_Visitor;
208     Element : not null AMF.OCL.Integer_Literal_Exps.OCL_Integer_Literal_Exp_Access;
209     Control : in out AMF.Visitors.Traverse_Control) is null;
210
211   not overriding procedure Enter_Invalid_Literal_Exp
212    (Self    : in out OCL_Visitor;
213     Element : not null AMF.OCL.Invalid_Literal_Exps.OCL_Invalid_Literal_Exp_Access;
214     Control : in out AMF.Visitors.Traverse_Control) is null;
215
216   not overriding procedure Leave_Invalid_Literal_Exp
217    (Self    : in out OCL_Visitor;
218     Element : not null AMF.OCL.Invalid_Literal_Exps.OCL_Invalid_Literal_Exp_Access;
219     Control : in out AMF.Visitors.Traverse_Control) is null;
220
221   not overriding procedure Enter_Invalid_Type
222    (Self    : in out OCL_Visitor;
223     Element : not null AMF.OCL.Invalid_Types.OCL_Invalid_Type_Access;
224     Control : in out AMF.Visitors.Traverse_Control) is null;
225
226   not overriding procedure Leave_Invalid_Type
227    (Self    : in out OCL_Visitor;
228     Element : not null AMF.OCL.Invalid_Types.OCL_Invalid_Type_Access;
229     Control : in out AMF.Visitors.Traverse_Control) is null;
230
231   not overriding procedure Enter_Iterate_Exp
232    (Self    : in out OCL_Visitor;
233     Element : not null AMF.OCL.Iterate_Exps.OCL_Iterate_Exp_Access;
234     Control : in out AMF.Visitors.Traverse_Control) is null;
235
236   not overriding procedure Leave_Iterate_Exp
237    (Self    : in out OCL_Visitor;
238     Element : not null AMF.OCL.Iterate_Exps.OCL_Iterate_Exp_Access;
239     Control : in out AMF.Visitors.Traverse_Control) is null;
240
241   not overriding procedure Enter_Iterator_Exp
242    (Self    : in out OCL_Visitor;
243     Element : not null AMF.OCL.Iterator_Exps.OCL_Iterator_Exp_Access;
244     Control : in out AMF.Visitors.Traverse_Control) is null;
245
246   not overriding procedure Leave_Iterator_Exp
247    (Self    : in out OCL_Visitor;
248     Element : not null AMF.OCL.Iterator_Exps.OCL_Iterator_Exp_Access;
249     Control : in out AMF.Visitors.Traverse_Control) is null;
250
251   not overriding procedure Enter_Let_Exp
252    (Self    : in out OCL_Visitor;
253     Element : not null AMF.OCL.Let_Exps.OCL_Let_Exp_Access;
254     Control : in out AMF.Visitors.Traverse_Control) is null;
255
256   not overriding procedure Leave_Let_Exp
257    (Self    : in out OCL_Visitor;
258     Element : not null AMF.OCL.Let_Exps.OCL_Let_Exp_Access;
259     Control : in out AMF.Visitors.Traverse_Control) is null;
260
261   not overriding procedure Enter_Message_Exp
262    (Self    : in out OCL_Visitor;
263     Element : not null AMF.OCL.Message_Exps.OCL_Message_Exp_Access;
264     Control : in out AMF.Visitors.Traverse_Control) is null;
265
266   not overriding procedure Leave_Message_Exp
267    (Self    : in out OCL_Visitor;
268     Element : not null AMF.OCL.Message_Exps.OCL_Message_Exp_Access;
269     Control : in out AMF.Visitors.Traverse_Control) is null;
270
271   not overriding procedure Enter_Message_Type
272    (Self    : in out OCL_Visitor;
273     Element : not null AMF.OCL.Message_Types.OCL_Message_Type_Access;
274     Control : in out AMF.Visitors.Traverse_Control) is null;
275
276   not overriding procedure Leave_Message_Type
277    (Self    : in out OCL_Visitor;
278     Element : not null AMF.OCL.Message_Types.OCL_Message_Type_Access;
279     Control : in out AMF.Visitors.Traverse_Control) is null;
280
281   not overriding procedure Enter_Null_Literal_Exp
282    (Self    : in out OCL_Visitor;
283     Element : not null AMF.OCL.Null_Literal_Exps.OCL_Null_Literal_Exp_Access;
284     Control : in out AMF.Visitors.Traverse_Control) is null;
285
286   not overriding procedure Leave_Null_Literal_Exp
287    (Self    : in out OCL_Visitor;
288     Element : not null AMF.OCL.Null_Literal_Exps.OCL_Null_Literal_Exp_Access;
289     Control : in out AMF.Visitors.Traverse_Control) is null;
290
291   not overriding procedure Enter_Operation_Call_Exp
292    (Self    : in out OCL_Visitor;
293     Element : not null AMF.OCL.Operation_Call_Exps.OCL_Operation_Call_Exp_Access;
294     Control : in out AMF.Visitors.Traverse_Control) is null;
295
296   not overriding procedure Leave_Operation_Call_Exp
297    (Self    : in out OCL_Visitor;
298     Element : not null AMF.OCL.Operation_Call_Exps.OCL_Operation_Call_Exp_Access;
299     Control : in out AMF.Visitors.Traverse_Control) is null;
300
301   not overriding procedure Enter_Ordered_Set_Type
302    (Self    : in out OCL_Visitor;
303     Element : not null AMF.OCL.Ordered_Set_Types.OCL_Ordered_Set_Type_Access;
304     Control : in out AMF.Visitors.Traverse_Control) is null;
305
306   not overriding procedure Leave_Ordered_Set_Type
307    (Self    : in out OCL_Visitor;
308     Element : not null AMF.OCL.Ordered_Set_Types.OCL_Ordered_Set_Type_Access;
309     Control : in out AMF.Visitors.Traverse_Control) is null;
310
311   not overriding procedure Enter_Property_Call_Exp
312    (Self    : in out OCL_Visitor;
313     Element : not null AMF.OCL.Property_Call_Exps.OCL_Property_Call_Exp_Access;
314     Control : in out AMF.Visitors.Traverse_Control) is null;
315
316   not overriding procedure Leave_Property_Call_Exp
317    (Self    : in out OCL_Visitor;
318     Element : not null AMF.OCL.Property_Call_Exps.OCL_Property_Call_Exp_Access;
319     Control : in out AMF.Visitors.Traverse_Control) is null;
320
321   not overriding procedure Enter_Real_Literal_Exp
322    (Self    : in out OCL_Visitor;
323     Element : not null AMF.OCL.Real_Literal_Exps.OCL_Real_Literal_Exp_Access;
324     Control : in out AMF.Visitors.Traverse_Control) is null;
325
326   not overriding procedure Leave_Real_Literal_Exp
327    (Self    : in out OCL_Visitor;
328     Element : not null AMF.OCL.Real_Literal_Exps.OCL_Real_Literal_Exp_Access;
329     Control : in out AMF.Visitors.Traverse_Control) is null;
330
331   not overriding procedure Enter_Sequence_Type
332    (Self    : in out OCL_Visitor;
333     Element : not null AMF.OCL.Sequence_Types.OCL_Sequence_Type_Access;
334     Control : in out AMF.Visitors.Traverse_Control) is null;
335
336   not overriding procedure Leave_Sequence_Type
337    (Self    : in out OCL_Visitor;
338     Element : not null AMF.OCL.Sequence_Types.OCL_Sequence_Type_Access;
339     Control : in out AMF.Visitors.Traverse_Control) is null;
340
341   not overriding procedure Enter_Set_Type
342    (Self    : in out OCL_Visitor;
343     Element : not null AMF.OCL.Set_Types.OCL_Set_Type_Access;
344     Control : in out AMF.Visitors.Traverse_Control) is null;
345
346   not overriding procedure Leave_Set_Type
347    (Self    : in out OCL_Visitor;
348     Element : not null AMF.OCL.Set_Types.OCL_Set_Type_Access;
349     Control : in out AMF.Visitors.Traverse_Control) is null;
350
351   not overriding procedure Enter_State_Exp
352    (Self    : in out OCL_Visitor;
353     Element : not null AMF.OCL.State_Exps.OCL_State_Exp_Access;
354     Control : in out AMF.Visitors.Traverse_Control) is null;
355
356   not overriding procedure Leave_State_Exp
357    (Self    : in out OCL_Visitor;
358     Element : not null AMF.OCL.State_Exps.OCL_State_Exp_Access;
359     Control : in out AMF.Visitors.Traverse_Control) is null;
360
361   not overriding procedure Enter_String_Literal_Exp
362    (Self    : in out OCL_Visitor;
363     Element : not null AMF.OCL.String_Literal_Exps.OCL_String_Literal_Exp_Access;
364     Control : in out AMF.Visitors.Traverse_Control) is null;
365
366   not overriding procedure Leave_String_Literal_Exp
367    (Self    : in out OCL_Visitor;
368     Element : not null AMF.OCL.String_Literal_Exps.OCL_String_Literal_Exp_Access;
369     Control : in out AMF.Visitors.Traverse_Control) is null;
370
371   not overriding procedure Enter_Template_Parameter_Type
372    (Self    : in out OCL_Visitor;
373     Element : not null AMF.OCL.Template_Parameter_Types.OCL_Template_Parameter_Type_Access;
374     Control : in out AMF.Visitors.Traverse_Control) is null;
375
376   not overriding procedure Leave_Template_Parameter_Type
377    (Self    : in out OCL_Visitor;
378     Element : not null AMF.OCL.Template_Parameter_Types.OCL_Template_Parameter_Type_Access;
379     Control : in out AMF.Visitors.Traverse_Control) is null;
380
381   not overriding procedure Enter_Tuple_Literal_Exp
382    (Self    : in out OCL_Visitor;
383     Element : not null AMF.OCL.Tuple_Literal_Exps.OCL_Tuple_Literal_Exp_Access;
384     Control : in out AMF.Visitors.Traverse_Control) is null;
385
386   not overriding procedure Leave_Tuple_Literal_Exp
387    (Self    : in out OCL_Visitor;
388     Element : not null AMF.OCL.Tuple_Literal_Exps.OCL_Tuple_Literal_Exp_Access;
389     Control : in out AMF.Visitors.Traverse_Control) is null;
390
391   not overriding procedure Enter_Tuple_Literal_Part
392    (Self    : in out OCL_Visitor;
393     Element : not null AMF.OCL.Tuple_Literal_Parts.OCL_Tuple_Literal_Part_Access;
394     Control : in out AMF.Visitors.Traverse_Control) is null;
395
396   not overriding procedure Leave_Tuple_Literal_Part
397    (Self    : in out OCL_Visitor;
398     Element : not null AMF.OCL.Tuple_Literal_Parts.OCL_Tuple_Literal_Part_Access;
399     Control : in out AMF.Visitors.Traverse_Control) is null;
400
401   not overriding procedure Enter_Tuple_Type
402    (Self    : in out OCL_Visitor;
403     Element : not null AMF.OCL.Tuple_Types.OCL_Tuple_Type_Access;
404     Control : in out AMF.Visitors.Traverse_Control) is null;
405
406   not overriding procedure Leave_Tuple_Type
407    (Self    : in out OCL_Visitor;
408     Element : not null AMF.OCL.Tuple_Types.OCL_Tuple_Type_Access;
409     Control : in out AMF.Visitors.Traverse_Control) is null;
410
411   not overriding procedure Enter_Type_Exp
412    (Self    : in out OCL_Visitor;
413     Element : not null AMF.OCL.Type_Exps.OCL_Type_Exp_Access;
414     Control : in out AMF.Visitors.Traverse_Control) is null;
415
416   not overriding procedure Leave_Type_Exp
417    (Self    : in out OCL_Visitor;
418     Element : not null AMF.OCL.Type_Exps.OCL_Type_Exp_Access;
419     Control : in out AMF.Visitors.Traverse_Control) is null;
420
421   not overriding procedure Enter_Unlimited_Natural_Literal_Exp
422    (Self    : in out OCL_Visitor;
423     Element : not null AMF.OCL.Unlimited_Natural_Literal_Exps.OCL_Unlimited_Natural_Literal_Exp_Access;
424     Control : in out AMF.Visitors.Traverse_Control) is null;
425
426   not overriding procedure Leave_Unlimited_Natural_Literal_Exp
427    (Self    : in out OCL_Visitor;
428     Element : not null AMF.OCL.Unlimited_Natural_Literal_Exps.OCL_Unlimited_Natural_Literal_Exp_Access;
429     Control : in out AMF.Visitors.Traverse_Control) is null;
430
431   not overriding procedure Enter_Unspecified_Value_Exp
432    (Self    : in out OCL_Visitor;
433     Element : not null AMF.OCL.Unspecified_Value_Exps.OCL_Unspecified_Value_Exp_Access;
434     Control : in out AMF.Visitors.Traverse_Control) is null;
435
436   not overriding procedure Leave_Unspecified_Value_Exp
437    (Self    : in out OCL_Visitor;
438     Element : not null AMF.OCL.Unspecified_Value_Exps.OCL_Unspecified_Value_Exp_Access;
439     Control : in out AMF.Visitors.Traverse_Control) is null;
440
441   not overriding procedure Enter_Variable
442    (Self    : in out OCL_Visitor;
443     Element : not null AMF.OCL.Variables.OCL_Variable_Access;
444     Control : in out AMF.Visitors.Traverse_Control) is null;
445
446   not overriding procedure Leave_Variable
447    (Self    : in out OCL_Visitor;
448     Element : not null AMF.OCL.Variables.OCL_Variable_Access;
449     Control : in out AMF.Visitors.Traverse_Control) is null;
450
451   not overriding procedure Enter_Variable_Exp
452    (Self    : in out OCL_Visitor;
453     Element : not null AMF.OCL.Variable_Exps.OCL_Variable_Exp_Access;
454     Control : in out AMF.Visitors.Traverse_Control) is null;
455
456   not overriding procedure Leave_Variable_Exp
457    (Self    : in out OCL_Visitor;
458     Element : not null AMF.OCL.Variable_Exps.OCL_Variable_Exp_Access;
459     Control : in out AMF.Visitors.Traverse_Control) is null;
460
461   not overriding procedure Enter_Void_Type
462    (Self    : in out OCL_Visitor;
463     Element : not null AMF.OCL.Void_Types.OCL_Void_Type_Access;
464     Control : in out AMF.Visitors.Traverse_Control) is null;
465
466   not overriding procedure Leave_Void_Type
467    (Self    : in out OCL_Visitor;
468     Element : not null AMF.OCL.Void_Types.OCL_Void_Type_Access;
469     Control : in out AMF.Visitors.Traverse_Control) is null;
470
471end AMF.Visitors.OCL_Visitors;
472