diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 20:19:26 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 20:19:26 -0400 |
commit | adddfa282a0fe78bfdc5ffb967996d89293aa45c (patch) | |
tree | ef9b3dbed5bd4fa850d890a67b4c7ee3c1648782 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util | |
parent | VAMPIRE: Rebase on Master (diff) | |
parent | VAMPIRE: Rebase on Master (diff) | |
download | VIATRA-Generator-adddfa282a0fe78bfdc5ffb967996d89293aa45c.tar.gz VIATRA-Generator-adddfa282a0fe78bfdc5ffb967996d89293aa45c.tar.zst VIATRA-Generator-adddfa282a0fe78bfdc5ffb967996d89293aa45c.zip |
Merge branch 'Vampire-New' into Vampire-New
Conflicts:
Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeModule.xtendbin
Application/hu.bme.mit.inf.dslreasoner.application.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/application/ide/.ApplicationConfigurationIdeSetup.xtendbin
Application/hu.bme.mit.inf.dslreasoner.application/xtend-gen/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.java
Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java
Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java
Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF
Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml
Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeScopeMapping.xtend
Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/Entry.java
Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/Synchronization.java
Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/EntryImpl.java
Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/SynchronizationImpl.java
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util')
2 files changed, 714 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java new file mode 100644 index 00000000..566f01e5 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java | |||
@@ -0,0 +1,336 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util; | ||
4 | |||
5 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*; | ||
6 | |||
7 | import org.eclipse.emf.common.notify.Adapter; | ||
8 | import org.eclipse.emf.common.notify.Notifier; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EObject; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * The <b>Adapter Factory</b> for the model. | ||
17 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage | ||
20 | * @generated | ||
21 | */ | ||
22 | public class YakinduAdapterFactory extends AdapterFactoryImpl { | ||
23 | /** | ||
24 | * The cached model package. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @generated | ||
28 | */ | ||
29 | protected static YakinduPackage modelPackage; | ||
30 | |||
31 | /** | ||
32 | * Creates an instance of the adapter factory. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @generated | ||
36 | */ | ||
37 | public YakinduAdapterFactory() { | ||
38 | if (modelPackage == null) { | ||
39 | modelPackage = YakinduPackage.eINSTANCE; | ||
40 | } | ||
41 | } | ||
42 | |||
43 | /** | ||
44 | * Returns whether this factory is applicable for the type of the object. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
47 | * <!-- end-user-doc --> | ||
48 | * @return whether this factory is applicable for the type of the object. | ||
49 | * @generated | ||
50 | */ | ||
51 | @Override | ||
52 | public boolean isFactoryForType(Object object) { | ||
53 | if (object == modelPackage) { | ||
54 | return true; | ||
55 | } | ||
56 | if (object instanceof EObject) { | ||
57 | return ((EObject)object).eClass().getEPackage() == modelPackage; | ||
58 | } | ||
59 | return false; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * The switch that delegates to the <code>createXXX</code> methods. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | protected YakinduSwitch<Adapter> modelSwitch = | ||
69 | new YakinduSwitch<Adapter>() { | ||
70 | @Override | ||
71 | public Adapter casePseudostate(Pseudostate object) { | ||
72 | return createPseudostateAdapter(); | ||
73 | } | ||
74 | @Override | ||
75 | public Adapter caseVertex(Vertex object) { | ||
76 | return createVertexAdapter(); | ||
77 | } | ||
78 | @Override | ||
79 | public Adapter caseRegion(Region object) { | ||
80 | return createRegionAdapter(); | ||
81 | } | ||
82 | @Override | ||
83 | public Adapter caseTransition(Transition object) { | ||
84 | return createTransitionAdapter(); | ||
85 | } | ||
86 | @Override | ||
87 | public Adapter caseStatechart(Statechart object) { | ||
88 | return createStatechartAdapter(); | ||
89 | } | ||
90 | @Override | ||
91 | public Adapter caseEntry(Entry object) { | ||
92 | return createEntryAdapter(); | ||
93 | } | ||
94 | @Override | ||
95 | public Adapter caseSynchronization(Synchronization object) { | ||
96 | return createSynchronizationAdapter(); | ||
97 | } | ||
98 | @Override | ||
99 | public Adapter caseState(State object) { | ||
100 | return createStateAdapter(); | ||
101 | } | ||
102 | @Override | ||
103 | public Adapter caseRegularState(RegularState object) { | ||
104 | return createRegularStateAdapter(); | ||
105 | } | ||
106 | @Override | ||
107 | public Adapter caseCompositeElement(CompositeElement object) { | ||
108 | return createCompositeElementAdapter(); | ||
109 | } | ||
110 | @Override | ||
111 | public Adapter caseChoice(Choice object) { | ||
112 | return createChoiceAdapter(); | ||
113 | } | ||
114 | @Override | ||
115 | public Adapter caseExit(Exit object) { | ||
116 | return createExitAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseFinalState(FinalState object) { | ||
120 | return createFinalStateAdapter(); | ||
121 | } | ||
122 | @Override | ||
123 | public Adapter defaultCase(EObject object) { | ||
124 | return createEObjectAdapter(); | ||
125 | } | ||
126 | }; | ||
127 | |||
128 | /** | ||
129 | * Creates an adapter for the <code>target</code>. | ||
130 | * <!-- begin-user-doc --> | ||
131 | * <!-- end-user-doc --> | ||
132 | * @param target the object to adapt. | ||
133 | * @return the adapter for the <code>target</code>. | ||
134 | * @generated | ||
135 | */ | ||
136 | @Override | ||
137 | public Adapter createAdapter(Notifier target) { | ||
138 | return modelSwitch.doSwitch((EObject)target); | ||
139 | } | ||
140 | |||
141 | |||
142 | /** | ||
143 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate <em>Pseudostate</em>}'. | ||
144 | * <!-- begin-user-doc --> | ||
145 | * This default implementation returns null so that we can easily ignore cases; | ||
146 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
147 | * <!-- end-user-doc --> | ||
148 | * @return the new adapter. | ||
149 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate | ||
150 | * @generated | ||
151 | */ | ||
152 | public Adapter createPseudostateAdapter() { | ||
153 | return null; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex <em>Vertex</em>}'. | ||
158 | * <!-- begin-user-doc --> | ||
159 | * This default implementation returns null so that we can easily ignore cases; | ||
160 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
161 | * <!-- end-user-doc --> | ||
162 | * @return the new adapter. | ||
163 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex | ||
164 | * @generated | ||
165 | */ | ||
166 | public Adapter createVertexAdapter() { | ||
167 | return null; | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region <em>Region</em>}'. | ||
172 | * <!-- begin-user-doc --> | ||
173 | * This default implementation returns null so that we can easily ignore cases; | ||
174 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
175 | * <!-- end-user-doc --> | ||
176 | * @return the new adapter. | ||
177 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region | ||
178 | * @generated | ||
179 | */ | ||
180 | public Adapter createRegionAdapter() { | ||
181 | return null; | ||
182 | } | ||
183 | |||
184 | /** | ||
185 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition <em>Transition</em>}'. | ||
186 | * <!-- begin-user-doc --> | ||
187 | * This default implementation returns null so that we can easily ignore cases; | ||
188 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
189 | * <!-- end-user-doc --> | ||
190 | * @return the new adapter. | ||
191 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition | ||
192 | * @generated | ||
193 | */ | ||
194 | public Adapter createTransitionAdapter() { | ||
195 | return null; | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart <em>Statechart</em>}'. | ||
200 | * <!-- begin-user-doc --> | ||
201 | * This default implementation returns null so that we can easily ignore cases; | ||
202 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
203 | * <!-- end-user-doc --> | ||
204 | * @return the new adapter. | ||
205 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart | ||
206 | * @generated | ||
207 | */ | ||
208 | public Adapter createStatechartAdapter() { | ||
209 | return null; | ||
210 | } | ||
211 | |||
212 | /** | ||
213 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry <em>Entry</em>}'. | ||
214 | * <!-- begin-user-doc --> | ||
215 | * This default implementation returns null so that we can easily ignore cases; | ||
216 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
217 | * <!-- end-user-doc --> | ||
218 | * @return the new adapter. | ||
219 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry | ||
220 | * @generated | ||
221 | */ | ||
222 | public Adapter createEntryAdapter() { | ||
223 | return null; | ||
224 | } | ||
225 | |||
226 | /** | ||
227 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization <em>Synchronization</em>}'. | ||
228 | * <!-- begin-user-doc --> | ||
229 | * This default implementation returns null so that we can easily ignore cases; | ||
230 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
231 | * <!-- end-user-doc --> | ||
232 | * @return the new adapter. | ||
233 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization | ||
234 | * @generated | ||
235 | */ | ||
236 | public Adapter createSynchronizationAdapter() { | ||
237 | return null; | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State <em>State</em>}'. | ||
242 | * <!-- begin-user-doc --> | ||
243 | * This default implementation returns null so that we can easily ignore cases; | ||
244 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
245 | * <!-- end-user-doc --> | ||
246 | * @return the new adapter. | ||
247 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State | ||
248 | * @generated | ||
249 | */ | ||
250 | public Adapter createStateAdapter() { | ||
251 | return null; | ||
252 | } | ||
253 | |||
254 | /** | ||
255 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState <em>Regular State</em>}'. | ||
256 | * <!-- begin-user-doc --> | ||
257 | * This default implementation returns null so that we can easily ignore cases; | ||
258 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
259 | * <!-- end-user-doc --> | ||
260 | * @return the new adapter. | ||
261 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState | ||
262 | * @generated | ||
263 | */ | ||
264 | public Adapter createRegularStateAdapter() { | ||
265 | return null; | ||
266 | } | ||
267 | |||
268 | /** | ||
269 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement <em>Composite Element</em>}'. | ||
270 | * <!-- begin-user-doc --> | ||
271 | * This default implementation returns null so that we can easily ignore cases; | ||
272 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
273 | * <!-- end-user-doc --> | ||
274 | * @return the new adapter. | ||
275 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement | ||
276 | * @generated | ||
277 | */ | ||
278 | public Adapter createCompositeElementAdapter() { | ||
279 | return null; | ||
280 | } | ||
281 | |||
282 | /** | ||
283 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice <em>Choice</em>}'. | ||
284 | * <!-- begin-user-doc --> | ||
285 | * This default implementation returns null so that we can easily ignore cases; | ||
286 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
287 | * <!-- end-user-doc --> | ||
288 | * @return the new adapter. | ||
289 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice | ||
290 | * @generated | ||
291 | */ | ||
292 | public Adapter createChoiceAdapter() { | ||
293 | return null; | ||
294 | } | ||
295 | |||
296 | /** | ||
297 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit <em>Exit</em>}'. | ||
298 | * <!-- begin-user-doc --> | ||
299 | * This default implementation returns null so that we can easily ignore cases; | ||
300 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
301 | * <!-- end-user-doc --> | ||
302 | * @return the new adapter. | ||
303 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit | ||
304 | * @generated | ||
305 | */ | ||
306 | public Adapter createExitAdapter() { | ||
307 | return null; | ||
308 | } | ||
309 | |||
310 | /** | ||
311 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState <em>Final State</em>}'. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * This default implementation returns null so that we can easily ignore cases; | ||
314 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
315 | * <!-- end-user-doc --> | ||
316 | * @return the new adapter. | ||
317 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState | ||
318 | * @generated | ||
319 | */ | ||
320 | public Adapter createFinalStateAdapter() { | ||
321 | return null; | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * Creates a new adapter for the default case. | ||
326 | * <!-- begin-user-doc --> | ||
327 | * This default implementation returns null. | ||
328 | * <!-- end-user-doc --> | ||
329 | * @return the new adapter. | ||
330 | * @generated | ||
331 | */ | ||
332 | public Adapter createEObjectAdapter() { | ||
333 | return null; | ||
334 | } | ||
335 | |||
336 | } //YakinduAdapterFactory | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java new file mode 100644 index 00000000..fdaff54d --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java | |||
@@ -0,0 +1,378 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util; | ||
4 | |||
5 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | |||
10 | import org.eclipse.emf.ecore.util.Switch; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
15 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
16 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
17 | * starting with the actual class of the object | ||
18 | * and proceeding up the inheritance hierarchy | ||
19 | * until a non-null result is returned, | ||
20 | * which is the result of the switch. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class YakinduSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static YakinduPackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public YakinduSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = YakinduPackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Checks whether this is a switch for the given package. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param ePackage the package in question. | ||
51 | * @return whether this is a switch for the given package. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | protected boolean isSwitchFor(EPackage ePackage) { | ||
56 | return ePackage == modelPackage; | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
64 | * @generated | ||
65 | */ | ||
66 | @Override | ||
67 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
68 | switch (classifierID) { | ||
69 | case YakinduPackage.PSEUDOSTATE: { | ||
70 | Pseudostate pseudostate = (Pseudostate)theEObject; | ||
71 | T result = casePseudostate(pseudostate); | ||
72 | if (result == null) result = caseVertex(pseudostate); | ||
73 | if (result == null) result = defaultCase(theEObject); | ||
74 | return result; | ||
75 | } | ||
76 | case YakinduPackage.VERTEX: { | ||
77 | Vertex vertex = (Vertex)theEObject; | ||
78 | T result = caseVertex(vertex); | ||
79 | if (result == null) result = defaultCase(theEObject); | ||
80 | return result; | ||
81 | } | ||
82 | case YakinduPackage.REGION: { | ||
83 | Region region = (Region)theEObject; | ||
84 | T result = caseRegion(region); | ||
85 | if (result == null) result = defaultCase(theEObject); | ||
86 | return result; | ||
87 | } | ||
88 | case YakinduPackage.TRANSITION: { | ||
89 | Transition transition = (Transition)theEObject; | ||
90 | T result = caseTransition(transition); | ||
91 | if (result == null) result = defaultCase(theEObject); | ||
92 | return result; | ||
93 | } | ||
94 | case YakinduPackage.STATECHART: { | ||
95 | Statechart statechart = (Statechart)theEObject; | ||
96 | T result = caseStatechart(statechart); | ||
97 | if (result == null) result = caseCompositeElement(statechart); | ||
98 | if (result == null) result = defaultCase(theEObject); | ||
99 | return result; | ||
100 | } | ||
101 | case YakinduPackage.ENTRY: { | ||
102 | Entry entry = (Entry)theEObject; | ||
103 | T result = caseEntry(entry); | ||
104 | if (result == null) result = casePseudostate(entry); | ||
105 | if (result == null) result = caseVertex(entry); | ||
106 | if (result == null) result = defaultCase(theEObject); | ||
107 | return result; | ||
108 | } | ||
109 | case YakinduPackage.SYNCHRONIZATION: { | ||
110 | Synchronization synchronization = (Synchronization)theEObject; | ||
111 | T result = caseSynchronization(synchronization); | ||
112 | if (result == null) result = casePseudostate(synchronization); | ||
113 | if (result == null) result = caseVertex(synchronization); | ||
114 | if (result == null) result = defaultCase(theEObject); | ||
115 | return result; | ||
116 | } | ||
117 | case YakinduPackage.STATE: { | ||
118 | State state = (State)theEObject; | ||
119 | T result = caseState(state); | ||
120 | if (result == null) result = caseRegularState(state); | ||
121 | if (result == null) result = caseCompositeElement(state); | ||
122 | if (result == null) result = caseVertex(state); | ||
123 | if (result == null) result = defaultCase(theEObject); | ||
124 | return result; | ||
125 | } | ||
126 | case YakinduPackage.REGULAR_STATE: { | ||
127 | RegularState regularState = (RegularState)theEObject; | ||
128 | T result = caseRegularState(regularState); | ||
129 | if (result == null) result = caseVertex(regularState); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case YakinduPackage.COMPOSITE_ELEMENT: { | ||
134 | CompositeElement compositeElement = (CompositeElement)theEObject; | ||
135 | T result = caseCompositeElement(compositeElement); | ||
136 | if (result == null) result = defaultCase(theEObject); | ||
137 | return result; | ||
138 | } | ||
139 | case YakinduPackage.CHOICE: { | ||
140 | Choice choice = (Choice)theEObject; | ||
141 | T result = caseChoice(choice); | ||
142 | if (result == null) result = casePseudostate(choice); | ||
143 | if (result == null) result = caseVertex(choice); | ||
144 | if (result == null) result = defaultCase(theEObject); | ||
145 | return result; | ||
146 | } | ||
147 | case YakinduPackage.EXIT: { | ||
148 | Exit exit = (Exit)theEObject; | ||
149 | T result = caseExit(exit); | ||
150 | if (result == null) result = casePseudostate(exit); | ||
151 | if (result == null) result = caseVertex(exit); | ||
152 | if (result == null) result = defaultCase(theEObject); | ||
153 | return result; | ||
154 | } | ||
155 | case YakinduPackage.FINAL_STATE: { | ||
156 | FinalState finalState = (FinalState)theEObject; | ||
157 | T result = caseFinalState(finalState); | ||
158 | if (result == null) result = caseRegularState(finalState); | ||
159 | if (result == null) result = caseVertex(finalState); | ||
160 | if (result == null) result = defaultCase(theEObject); | ||
161 | return result; | ||
162 | } | ||
163 | default: return defaultCase(theEObject); | ||
164 | } | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * Returns the result of interpreting the object as an instance of '<em>Pseudostate</em>'. | ||
169 | * <!-- begin-user-doc --> | ||
170 | * This implementation returns null; | ||
171 | * returning a non-null result will terminate the switch. | ||
172 | * <!-- end-user-doc --> | ||
173 | * @param object the target of the switch. | ||
174 | * @return the result of interpreting the object as an instance of '<em>Pseudostate</em>'. | ||
175 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
176 | * @generated | ||
177 | */ | ||
178 | public T casePseudostate(Pseudostate object) { | ||
179 | return null; | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * Returns the result of interpreting the object as an instance of '<em>Vertex</em>'. | ||
184 | * <!-- begin-user-doc --> | ||
185 | * This implementation returns null; | ||
186 | * returning a non-null result will terminate the switch. | ||
187 | * <!-- end-user-doc --> | ||
188 | * @param object the target of the switch. | ||
189 | * @return the result of interpreting the object as an instance of '<em>Vertex</em>'. | ||
190 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
191 | * @generated | ||
192 | */ | ||
193 | public T caseVertex(Vertex object) { | ||
194 | return null; | ||
195 | } | ||
196 | |||
197 | /** | ||
198 | * Returns the result of interpreting the object as an instance of '<em>Region</em>'. | ||
199 | * <!-- begin-user-doc --> | ||
200 | * This implementation returns null; | ||
201 | * returning a non-null result will terminate the switch. | ||
202 | * <!-- end-user-doc --> | ||
203 | * @param object the target of the switch. | ||
204 | * @return the result of interpreting the object as an instance of '<em>Region</em>'. | ||
205 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
206 | * @generated | ||
207 | */ | ||
208 | public T caseRegion(Region object) { | ||
209 | return null; | ||
210 | } | ||
211 | |||
212 | /** | ||
213 | * Returns the result of interpreting the object as an instance of '<em>Transition</em>'. | ||
214 | * <!-- begin-user-doc --> | ||
215 | * This implementation returns null; | ||
216 | * returning a non-null result will terminate the switch. | ||
217 | * <!-- end-user-doc --> | ||
218 | * @param object the target of the switch. | ||
219 | * @return the result of interpreting the object as an instance of '<em>Transition</em>'. | ||
220 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
221 | * @generated | ||
222 | */ | ||
223 | public T caseTransition(Transition object) { | ||
224 | return null; | ||
225 | } | ||
226 | |||
227 | /** | ||
228 | * Returns the result of interpreting the object as an instance of '<em>Statechart</em>'. | ||
229 | * <!-- begin-user-doc --> | ||
230 | * This implementation returns null; | ||
231 | * returning a non-null result will terminate the switch. | ||
232 | * <!-- end-user-doc --> | ||
233 | * @param object the target of the switch. | ||
234 | * @return the result of interpreting the object as an instance of '<em>Statechart</em>'. | ||
235 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
236 | * @generated | ||
237 | */ | ||
238 | public T caseStatechart(Statechart object) { | ||
239 | return null; | ||
240 | } | ||
241 | |||
242 | /** | ||
243 | * Returns the result of interpreting the object as an instance of '<em>Entry</em>'. | ||
244 | * <!-- begin-user-doc --> | ||
245 | * This implementation returns null; | ||
246 | * returning a non-null result will terminate the switch. | ||
247 | * <!-- end-user-doc --> | ||
248 | * @param object the target of the switch. | ||
249 | * @return the result of interpreting the object as an instance of '<em>Entry</em>'. | ||
250 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
251 | * @generated | ||
252 | */ | ||
253 | public T caseEntry(Entry object) { | ||
254 | return null; | ||
255 | } | ||
256 | |||
257 | /** | ||
258 | * Returns the result of interpreting the object as an instance of '<em>Synchronization</em>'. | ||
259 | * <!-- begin-user-doc --> | ||
260 | * This implementation returns null; | ||
261 | * returning a non-null result will terminate the switch. | ||
262 | * <!-- end-user-doc --> | ||
263 | * @param object the target of the switch. | ||
264 | * @return the result of interpreting the object as an instance of '<em>Synchronization</em>'. | ||
265 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
266 | * @generated | ||
267 | */ | ||
268 | public T caseSynchronization(Synchronization object) { | ||
269 | return null; | ||
270 | } | ||
271 | |||
272 | /** | ||
273 | * Returns the result of interpreting the object as an instance of '<em>State</em>'. | ||
274 | * <!-- begin-user-doc --> | ||
275 | * This implementation returns null; | ||
276 | * returning a non-null result will terminate the switch. | ||
277 | * <!-- end-user-doc --> | ||
278 | * @param object the target of the switch. | ||
279 | * @return the result of interpreting the object as an instance of '<em>State</em>'. | ||
280 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
281 | * @generated | ||
282 | */ | ||
283 | public T caseState(State object) { | ||
284 | return null; | ||
285 | } | ||
286 | |||
287 | /** | ||
288 | * Returns the result of interpreting the object as an instance of '<em>Regular State</em>'. | ||
289 | * <!-- begin-user-doc --> | ||
290 | * This implementation returns null; | ||
291 | * returning a non-null result will terminate the switch. | ||
292 | * <!-- end-user-doc --> | ||
293 | * @param object the target of the switch. | ||
294 | * @return the result of interpreting the object as an instance of '<em>Regular State</em>'. | ||
295 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
296 | * @generated | ||
297 | */ | ||
298 | public T caseRegularState(RegularState object) { | ||
299 | return null; | ||
300 | } | ||
301 | |||
302 | /** | ||
303 | * Returns the result of interpreting the object as an instance of '<em>Composite Element</em>'. | ||
304 | * <!-- begin-user-doc --> | ||
305 | * This implementation returns null; | ||
306 | * returning a non-null result will terminate the switch. | ||
307 | * <!-- end-user-doc --> | ||
308 | * @param object the target of the switch. | ||
309 | * @return the result of interpreting the object as an instance of '<em>Composite Element</em>'. | ||
310 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
311 | * @generated | ||
312 | */ | ||
313 | public T caseCompositeElement(CompositeElement object) { | ||
314 | return null; | ||
315 | } | ||
316 | |||
317 | /** | ||
318 | * Returns the result of interpreting the object as an instance of '<em>Choice</em>'. | ||
319 | * <!-- begin-user-doc --> | ||
320 | * This implementation returns null; | ||
321 | * returning a non-null result will terminate the switch. | ||
322 | * <!-- end-user-doc --> | ||
323 | * @param object the target of the switch. | ||
324 | * @return the result of interpreting the object as an instance of '<em>Choice</em>'. | ||
325 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
326 | * @generated | ||
327 | */ | ||
328 | public T caseChoice(Choice object) { | ||
329 | return null; | ||
330 | } | ||
331 | |||
332 | /** | ||
333 | * Returns the result of interpreting the object as an instance of '<em>Exit</em>'. | ||
334 | * <!-- begin-user-doc --> | ||
335 | * This implementation returns null; | ||
336 | * returning a non-null result will terminate the switch. | ||
337 | * <!-- end-user-doc --> | ||
338 | * @param object the target of the switch. | ||
339 | * @return the result of interpreting the object as an instance of '<em>Exit</em>'. | ||
340 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
341 | * @generated | ||
342 | */ | ||
343 | public T caseExit(Exit object) { | ||
344 | return null; | ||
345 | } | ||
346 | |||
347 | /** | ||
348 | * Returns the result of interpreting the object as an instance of '<em>Final State</em>'. | ||
349 | * <!-- begin-user-doc --> | ||
350 | * This implementation returns null; | ||
351 | * returning a non-null result will terminate the switch. | ||
352 | * <!-- end-user-doc --> | ||
353 | * @param object the target of the switch. | ||
354 | * @return the result of interpreting the object as an instance of '<em>Final State</em>'. | ||
355 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
356 | * @generated | ||
357 | */ | ||
358 | public T caseFinalState(FinalState object) { | ||
359 | return null; | ||
360 | } | ||
361 | |||
362 | /** | ||
363 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
364 | * <!-- begin-user-doc --> | ||
365 | * This implementation returns null; | ||
366 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
367 | * <!-- end-user-doc --> | ||
368 | * @param object the target of the switch. | ||
369 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
370 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
371 | * @generated | ||
372 | */ | ||
373 | @Override | ||
374 | public T defaultCase(EObject object) { | ||
375 | return null; | ||
376 | } | ||
377 | |||
378 | } //YakinduSwitch | ||