diff options
author | 2020-06-07 20:19:26 -0400 | |
---|---|---|
committer | 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/YakinduSwitch.java | |
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/YakinduSwitch.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java | 378 |
1 files changed, 378 insertions, 0 deletions
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 | ||