1------------------------------------------------------------------------------
2--                                                                          --
3--                            Matreshka Project                             --
4--                                                                          --
5--                          Ada Modeling Framework                          --
6--                                                                          --
7--                        Runtime Library Component                         --
8--                                                                          --
9------------------------------------------------------------------------------
10--                                                                          --
11-- Copyright © 2012, 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: 2806 $ $Date: 2012-04-07 01:12:01 +0400 (Sat, 07 Apr 2012) $
43------------------------------------------------------------------------------
44--  This file is generated, don't edit it.
45------------------------------------------------------------------------------
46with AMF.Utp.Coding_Rules;
47with AMF.Utp.Data_Partitions;
48with AMF.Utp.Data_Pools;
49with AMF.Utp.Data_Selectors;
50with AMF.Utp.Default_Applications;
51with AMF.Utp.Defaults;
52with AMF.Utp.Determ_Alts;
53with AMF.Utp.Finish_Actions;
54with AMF.Utp.Get_Timezone_Actions;
55with AMF.Utp.Literal_Anies;
56with AMF.Utp.Literal_Any_Or_Nulls;
57with AMF.Utp.Log_Actions;
58with AMF.Utp.Managed_Elements;
59with AMF.Utp.Read_Timer_Actions;
60with AMF.Utp.SUTs;
61with AMF.Utp.Set_Timezone_Actions;
62with AMF.Utp.Start_Timer_Actions;
63with AMF.Utp.Stop_Timer_Actions;
64with AMF.Utp.Test_Cases;
65with AMF.Utp.Test_Components;
66with AMF.Utp.Test_Contexts;
67with AMF.Utp.Test_Log_Applications;
68with AMF.Utp.Test_Logs;
69with AMF.Utp.Test_Objectives;
70with AMF.Utp.Test_Suites;
71with AMF.Utp.Time_Out_Actions;
72with AMF.Utp.Time_Out_Messages;
73with AMF.Utp.Time_Outs;
74with AMF.Utp.Timer_Running_Actions;
75with AMF.Utp.Validation_Actions;
76
77package AMF.Visitors.Utp_Visitors is
78
79   pragma Preelaborate;
80
81   type Utp_Visitor is limited interface and AMF.Visitors.Abstract_Visitor;
82
83   not overriding procedure Enter_Coding_Rule
84    (Self    : in out Utp_Visitor;
85     Element : not null AMF.Utp.Coding_Rules.Utp_Coding_Rule_Access;
86     Control : in out AMF.Visitors.Traverse_Control) is null;
87
88   not overriding procedure Leave_Coding_Rule
89    (Self    : in out Utp_Visitor;
90     Element : not null AMF.Utp.Coding_Rules.Utp_Coding_Rule_Access;
91     Control : in out AMF.Visitors.Traverse_Control) is null;
92
93   not overriding procedure Enter_Data_Partition
94    (Self    : in out Utp_Visitor;
95     Element : not null AMF.Utp.Data_Partitions.Utp_Data_Partition_Access;
96     Control : in out AMF.Visitors.Traverse_Control) is null;
97
98   not overriding procedure Leave_Data_Partition
99    (Self    : in out Utp_Visitor;
100     Element : not null AMF.Utp.Data_Partitions.Utp_Data_Partition_Access;
101     Control : in out AMF.Visitors.Traverse_Control) is null;
102
103   not overriding procedure Enter_Data_Pool
104    (Self    : in out Utp_Visitor;
105     Element : not null AMF.Utp.Data_Pools.Utp_Data_Pool_Access;
106     Control : in out AMF.Visitors.Traverse_Control) is null;
107
108   not overriding procedure Leave_Data_Pool
109    (Self    : in out Utp_Visitor;
110     Element : not null AMF.Utp.Data_Pools.Utp_Data_Pool_Access;
111     Control : in out AMF.Visitors.Traverse_Control) is null;
112
113   not overriding procedure Enter_Data_Selector
114    (Self    : in out Utp_Visitor;
115     Element : not null AMF.Utp.Data_Selectors.Utp_Data_Selector_Access;
116     Control : in out AMF.Visitors.Traverse_Control) is null;
117
118   not overriding procedure Leave_Data_Selector
119    (Self    : in out Utp_Visitor;
120     Element : not null AMF.Utp.Data_Selectors.Utp_Data_Selector_Access;
121     Control : in out AMF.Visitors.Traverse_Control) is null;
122
123   not overriding procedure Enter_Default
124    (Self    : in out Utp_Visitor;
125     Element : not null AMF.Utp.Defaults.Utp_Default_Access;
126     Control : in out AMF.Visitors.Traverse_Control) is null;
127
128   not overriding procedure Leave_Default
129    (Self    : in out Utp_Visitor;
130     Element : not null AMF.Utp.Defaults.Utp_Default_Access;
131     Control : in out AMF.Visitors.Traverse_Control) is null;
132
133   not overriding procedure Enter_Default_Application
134    (Self    : in out Utp_Visitor;
135     Element : not null AMF.Utp.Default_Applications.Utp_Default_Application_Access;
136     Control : in out AMF.Visitors.Traverse_Control) is null;
137
138   not overriding procedure Leave_Default_Application
139    (Self    : in out Utp_Visitor;
140     Element : not null AMF.Utp.Default_Applications.Utp_Default_Application_Access;
141     Control : in out AMF.Visitors.Traverse_Control) is null;
142
143   not overriding procedure Enter_Determ_Alt
144    (Self    : in out Utp_Visitor;
145     Element : not null AMF.Utp.Determ_Alts.Utp_Determ_Alt_Access;
146     Control : in out AMF.Visitors.Traverse_Control) is null;
147
148   not overriding procedure Leave_Determ_Alt
149    (Self    : in out Utp_Visitor;
150     Element : not null AMF.Utp.Determ_Alts.Utp_Determ_Alt_Access;
151     Control : in out AMF.Visitors.Traverse_Control) is null;
152
153   not overriding procedure Enter_Finish_Action
154    (Self    : in out Utp_Visitor;
155     Element : not null AMF.Utp.Finish_Actions.Utp_Finish_Action_Access;
156     Control : in out AMF.Visitors.Traverse_Control) is null;
157
158   not overriding procedure Leave_Finish_Action
159    (Self    : in out Utp_Visitor;
160     Element : not null AMF.Utp.Finish_Actions.Utp_Finish_Action_Access;
161     Control : in out AMF.Visitors.Traverse_Control) is null;
162
163   not overriding procedure Enter_Get_Timezone_Action
164    (Self    : in out Utp_Visitor;
165     Element : not null AMF.Utp.Get_Timezone_Actions.Utp_Get_Timezone_Action_Access;
166     Control : in out AMF.Visitors.Traverse_Control) is null;
167
168   not overriding procedure Leave_Get_Timezone_Action
169    (Self    : in out Utp_Visitor;
170     Element : not null AMF.Utp.Get_Timezone_Actions.Utp_Get_Timezone_Action_Access;
171     Control : in out AMF.Visitors.Traverse_Control) is null;
172
173   not overriding procedure Enter_Literal_Any
174    (Self    : in out Utp_Visitor;
175     Element : not null AMF.Utp.Literal_Anies.Utp_Literal_Any_Access;
176     Control : in out AMF.Visitors.Traverse_Control) is null;
177
178   not overriding procedure Leave_Literal_Any
179    (Self    : in out Utp_Visitor;
180     Element : not null AMF.Utp.Literal_Anies.Utp_Literal_Any_Access;
181     Control : in out AMF.Visitors.Traverse_Control) is null;
182
183   not overriding procedure Enter_Literal_Any_Or_Null
184    (Self    : in out Utp_Visitor;
185     Element : not null AMF.Utp.Literal_Any_Or_Nulls.Utp_Literal_Any_Or_Null_Access;
186     Control : in out AMF.Visitors.Traverse_Control) is null;
187
188   not overriding procedure Leave_Literal_Any_Or_Null
189    (Self    : in out Utp_Visitor;
190     Element : not null AMF.Utp.Literal_Any_Or_Nulls.Utp_Literal_Any_Or_Null_Access;
191     Control : in out AMF.Visitors.Traverse_Control) is null;
192
193   not overriding procedure Enter_Log_Action
194    (Self    : in out Utp_Visitor;
195     Element : not null AMF.Utp.Log_Actions.Utp_Log_Action_Access;
196     Control : in out AMF.Visitors.Traverse_Control) is null;
197
198   not overriding procedure Leave_Log_Action
199    (Self    : in out Utp_Visitor;
200     Element : not null AMF.Utp.Log_Actions.Utp_Log_Action_Access;
201     Control : in out AMF.Visitors.Traverse_Control) is null;
202
203   not overriding procedure Enter_Managed_Element
204    (Self    : in out Utp_Visitor;
205     Element : not null AMF.Utp.Managed_Elements.Utp_Managed_Element_Access;
206     Control : in out AMF.Visitors.Traverse_Control) is null;
207
208   not overriding procedure Leave_Managed_Element
209    (Self    : in out Utp_Visitor;
210     Element : not null AMF.Utp.Managed_Elements.Utp_Managed_Element_Access;
211     Control : in out AMF.Visitors.Traverse_Control) is null;
212
213   not overriding procedure Enter_Read_Timer_Action
214    (Self    : in out Utp_Visitor;
215     Element : not null AMF.Utp.Read_Timer_Actions.Utp_Read_Timer_Action_Access;
216     Control : in out AMF.Visitors.Traverse_Control) is null;
217
218   not overriding procedure Leave_Read_Timer_Action
219    (Self    : in out Utp_Visitor;
220     Element : not null AMF.Utp.Read_Timer_Actions.Utp_Read_Timer_Action_Access;
221     Control : in out AMF.Visitors.Traverse_Control) is null;
222
223   not overriding procedure Enter_SUT
224    (Self    : in out Utp_Visitor;
225     Element : not null AMF.Utp.SUTs.Utp_SUT_Access;
226     Control : in out AMF.Visitors.Traverse_Control) is null;
227
228   not overriding procedure Leave_SUT
229    (Self    : in out Utp_Visitor;
230     Element : not null AMF.Utp.SUTs.Utp_SUT_Access;
231     Control : in out AMF.Visitors.Traverse_Control) is null;
232
233   not overriding procedure Enter_Set_Timezone_Action
234    (Self    : in out Utp_Visitor;
235     Element : not null AMF.Utp.Set_Timezone_Actions.Utp_Set_Timezone_Action_Access;
236     Control : in out AMF.Visitors.Traverse_Control) is null;
237
238   not overriding procedure Leave_Set_Timezone_Action
239    (Self    : in out Utp_Visitor;
240     Element : not null AMF.Utp.Set_Timezone_Actions.Utp_Set_Timezone_Action_Access;
241     Control : in out AMF.Visitors.Traverse_Control) is null;
242
243   not overriding procedure Enter_Start_Timer_Action
244    (Self    : in out Utp_Visitor;
245     Element : not null AMF.Utp.Start_Timer_Actions.Utp_Start_Timer_Action_Access;
246     Control : in out AMF.Visitors.Traverse_Control) is null;
247
248   not overriding procedure Leave_Start_Timer_Action
249    (Self    : in out Utp_Visitor;
250     Element : not null AMF.Utp.Start_Timer_Actions.Utp_Start_Timer_Action_Access;
251     Control : in out AMF.Visitors.Traverse_Control) is null;
252
253   not overriding procedure Enter_Stop_Timer_Action
254    (Self    : in out Utp_Visitor;
255     Element : not null AMF.Utp.Stop_Timer_Actions.Utp_Stop_Timer_Action_Access;
256     Control : in out AMF.Visitors.Traverse_Control) is null;
257
258   not overriding procedure Leave_Stop_Timer_Action
259    (Self    : in out Utp_Visitor;
260     Element : not null AMF.Utp.Stop_Timer_Actions.Utp_Stop_Timer_Action_Access;
261     Control : in out AMF.Visitors.Traverse_Control) is null;
262
263   not overriding procedure Enter_Test_Case
264    (Self    : in out Utp_Visitor;
265     Element : not null AMF.Utp.Test_Cases.Utp_Test_Case_Access;
266     Control : in out AMF.Visitors.Traverse_Control) is null;
267
268   not overriding procedure Leave_Test_Case
269    (Self    : in out Utp_Visitor;
270     Element : not null AMF.Utp.Test_Cases.Utp_Test_Case_Access;
271     Control : in out AMF.Visitors.Traverse_Control) is null;
272
273   not overriding procedure Enter_Test_Component
274    (Self    : in out Utp_Visitor;
275     Element : not null AMF.Utp.Test_Components.Utp_Test_Component_Access;
276     Control : in out AMF.Visitors.Traverse_Control) is null;
277
278   not overriding procedure Leave_Test_Component
279    (Self    : in out Utp_Visitor;
280     Element : not null AMF.Utp.Test_Components.Utp_Test_Component_Access;
281     Control : in out AMF.Visitors.Traverse_Control) is null;
282
283   not overriding procedure Enter_Test_Context
284    (Self    : in out Utp_Visitor;
285     Element : not null AMF.Utp.Test_Contexts.Utp_Test_Context_Access;
286     Control : in out AMF.Visitors.Traverse_Control) is null;
287
288   not overriding procedure Leave_Test_Context
289    (Self    : in out Utp_Visitor;
290     Element : not null AMF.Utp.Test_Contexts.Utp_Test_Context_Access;
291     Control : in out AMF.Visitors.Traverse_Control) is null;
292
293   not overriding procedure Enter_Test_Log
294    (Self    : in out Utp_Visitor;
295     Element : not null AMF.Utp.Test_Logs.Utp_Test_Log_Access;
296     Control : in out AMF.Visitors.Traverse_Control) is null;
297
298   not overriding procedure Leave_Test_Log
299    (Self    : in out Utp_Visitor;
300     Element : not null AMF.Utp.Test_Logs.Utp_Test_Log_Access;
301     Control : in out AMF.Visitors.Traverse_Control) is null;
302
303   not overriding procedure Enter_Test_Log_Application
304    (Self    : in out Utp_Visitor;
305     Element : not null AMF.Utp.Test_Log_Applications.Utp_Test_Log_Application_Access;
306     Control : in out AMF.Visitors.Traverse_Control) is null;
307
308   not overriding procedure Leave_Test_Log_Application
309    (Self    : in out Utp_Visitor;
310     Element : not null AMF.Utp.Test_Log_Applications.Utp_Test_Log_Application_Access;
311     Control : in out AMF.Visitors.Traverse_Control) is null;
312
313   not overriding procedure Enter_Test_Objective
314    (Self    : in out Utp_Visitor;
315     Element : not null AMF.Utp.Test_Objectives.Utp_Test_Objective_Access;
316     Control : in out AMF.Visitors.Traverse_Control) is null;
317
318   not overriding procedure Leave_Test_Objective
319    (Self    : in out Utp_Visitor;
320     Element : not null AMF.Utp.Test_Objectives.Utp_Test_Objective_Access;
321     Control : in out AMF.Visitors.Traverse_Control) is null;
322
323   not overriding procedure Enter_Test_Suite
324    (Self    : in out Utp_Visitor;
325     Element : not null AMF.Utp.Test_Suites.Utp_Test_Suite_Access;
326     Control : in out AMF.Visitors.Traverse_Control) is null;
327
328   not overriding procedure Leave_Test_Suite
329    (Self    : in out Utp_Visitor;
330     Element : not null AMF.Utp.Test_Suites.Utp_Test_Suite_Access;
331     Control : in out AMF.Visitors.Traverse_Control) is null;
332
333   not overriding procedure Enter_Time_Out
334    (Self    : in out Utp_Visitor;
335     Element : not null AMF.Utp.Time_Outs.Utp_Time_Out_Access;
336     Control : in out AMF.Visitors.Traverse_Control) is null;
337
338   not overriding procedure Leave_Time_Out
339    (Self    : in out Utp_Visitor;
340     Element : not null AMF.Utp.Time_Outs.Utp_Time_Out_Access;
341     Control : in out AMF.Visitors.Traverse_Control) is null;
342
343   not overriding procedure Enter_Time_Out_Action
344    (Self    : in out Utp_Visitor;
345     Element : not null AMF.Utp.Time_Out_Actions.Utp_Time_Out_Action_Access;
346     Control : in out AMF.Visitors.Traverse_Control) is null;
347
348   not overriding procedure Leave_Time_Out_Action
349    (Self    : in out Utp_Visitor;
350     Element : not null AMF.Utp.Time_Out_Actions.Utp_Time_Out_Action_Access;
351     Control : in out AMF.Visitors.Traverse_Control) is null;
352
353   not overriding procedure Enter_Time_Out_Message
354    (Self    : in out Utp_Visitor;
355     Element : not null AMF.Utp.Time_Out_Messages.Utp_Time_Out_Message_Access;
356     Control : in out AMF.Visitors.Traverse_Control) is null;
357
358   not overriding procedure Leave_Time_Out_Message
359    (Self    : in out Utp_Visitor;
360     Element : not null AMF.Utp.Time_Out_Messages.Utp_Time_Out_Message_Access;
361     Control : in out AMF.Visitors.Traverse_Control) is null;
362
363   not overriding procedure Enter_Timer_Running_Action
364    (Self    : in out Utp_Visitor;
365     Element : not null AMF.Utp.Timer_Running_Actions.Utp_Timer_Running_Action_Access;
366     Control : in out AMF.Visitors.Traverse_Control) is null;
367
368   not overriding procedure Leave_Timer_Running_Action
369    (Self    : in out Utp_Visitor;
370     Element : not null AMF.Utp.Timer_Running_Actions.Utp_Timer_Running_Action_Access;
371     Control : in out AMF.Visitors.Traverse_Control) is null;
372
373   not overriding procedure Enter_Validation_Action
374    (Self    : in out Utp_Visitor;
375     Element : not null AMF.Utp.Validation_Actions.Utp_Validation_Action_Access;
376     Control : in out AMF.Visitors.Traverse_Control) is null;
377
378   not overriding procedure Leave_Validation_Action
379    (Self    : in out Utp_Visitor;
380     Element : not null AMF.Utp.Validation_Actions.Utp_Validation_Action_Access;
381     Control : in out AMF.Visitors.Traverse_Control) is null;
382
383end AMF.Visitors.Utp_Visitors;
384