diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java | 421 |
1 files changed, 0 insertions, 421 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java deleted file mode 100644 index 3c5a4fd9..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java +++ /dev/null | |||
@@ -1,421 +0,0 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*; | ||
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 hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class CftSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static CftPackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public CftSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = CftPackage.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 CftPackage.COMPONENT_DEFINITION: { | ||
70 | ComponentDefinition componentDefinition = (ComponentDefinition)theEObject; | ||
71 | T result = caseComponentDefinition(componentDefinition); | ||
72 | if (result == null) result = defaultCase(theEObject); | ||
73 | return result; | ||
74 | } | ||
75 | case CftPackage.EVENT_DEFINITION: { | ||
76 | EventDefinition eventDefinition = (EventDefinition)theEObject; | ||
77 | T result = caseEventDefinition(eventDefinition); | ||
78 | if (result == null) result = caseEventDeclaration(eventDefinition); | ||
79 | if (result == null) result = defaultCase(theEObject); | ||
80 | return result; | ||
81 | } | ||
82 | case CftPackage.GATE_DEFINITION: { | ||
83 | GateDefinition gateDefinition = (GateDefinition)theEObject; | ||
84 | T result = caseGateDefinition(gateDefinition); | ||
85 | if (result == null) result = caseEventDefinition(gateDefinition); | ||
86 | if (result == null) result = caseEventDeclaration(gateDefinition); | ||
87 | if (result == null) result = defaultCase(theEObject); | ||
88 | return result; | ||
89 | } | ||
90 | case CftPackage.BASIC_EVENT_DEFINITION: { | ||
91 | BasicEventDefinition basicEventDefinition = (BasicEventDefinition)theEObject; | ||
92 | T result = caseBasicEventDefinition(basicEventDefinition); | ||
93 | if (result == null) result = caseEventDefinition(basicEventDefinition); | ||
94 | if (result == null) result = caseEventDeclaration(basicEventDefinition); | ||
95 | if (result == null) result = defaultCase(theEObject); | ||
96 | return result; | ||
97 | } | ||
98 | case CftPackage.INPUT_EVENT: { | ||
99 | InputEvent inputEvent = (InputEvent)theEObject; | ||
100 | T result = caseInputEvent(inputEvent); | ||
101 | if (result == null) result = caseEventDeclaration(inputEvent); | ||
102 | if (result == null) result = defaultCase(theEObject); | ||
103 | return result; | ||
104 | } | ||
105 | case CftPackage.EVENT_DECLARATION: { | ||
106 | EventDeclaration eventDeclaration = (EventDeclaration)theEObject; | ||
107 | T result = caseEventDeclaration(eventDeclaration); | ||
108 | if (result == null) result = defaultCase(theEObject); | ||
109 | return result; | ||
110 | } | ||
111 | case CftPackage.AND_GATE_DEFINITION: { | ||
112 | AndGateDefinition andGateDefinition = (AndGateDefinition)theEObject; | ||
113 | T result = caseAndGateDefinition(andGateDefinition); | ||
114 | if (result == null) result = caseGateDefinition(andGateDefinition); | ||
115 | if (result == null) result = caseEventDefinition(andGateDefinition); | ||
116 | if (result == null) result = caseEventDeclaration(andGateDefinition); | ||
117 | if (result == null) result = defaultCase(theEObject); | ||
118 | return result; | ||
119 | } | ||
120 | case CftPackage.OR_GATE_DEFINITION: { | ||
121 | OrGateDefinition orGateDefinition = (OrGateDefinition)theEObject; | ||
122 | T result = caseOrGateDefinition(orGateDefinition); | ||
123 | if (result == null) result = caseGateDefinition(orGateDefinition); | ||
124 | if (result == null) result = caseEventDefinition(orGateDefinition); | ||
125 | if (result == null) result = caseEventDeclaration(orGateDefinition); | ||
126 | if (result == null) result = defaultCase(theEObject); | ||
127 | return result; | ||
128 | } | ||
129 | case CftPackage.KOF_MGATE_DEFINITION: { | ||
130 | KOfMGateDefinition kOfMGateDefinition = (KOfMGateDefinition)theEObject; | ||
131 | T result = caseKOfMGateDefinition(kOfMGateDefinition); | ||
132 | if (result == null) result = caseGateDefinition(kOfMGateDefinition); | ||
133 | if (result == null) result = caseEventDefinition(kOfMGateDefinition); | ||
134 | if (result == null) result = caseEventDeclaration(kOfMGateDefinition); | ||
135 | if (result == null) result = defaultCase(theEObject); | ||
136 | return result; | ||
137 | } | ||
138 | case CftPackage.COMPONENT_FAULT_TREE: { | ||
139 | ComponentFaultTree componentFaultTree = (ComponentFaultTree)theEObject; | ||
140 | T result = caseComponentFaultTree(componentFaultTree); | ||
141 | if (result == null) result = defaultCase(theEObject); | ||
142 | return result; | ||
143 | } | ||
144 | case CftPackage.COMPONENT: { | ||
145 | Component component = (Component)theEObject; | ||
146 | T result = caseComponent(component); | ||
147 | if (result == null) result = caseModalElement(component); | ||
148 | if (result == null) result = defaultCase(theEObject); | ||
149 | return result; | ||
150 | } | ||
151 | case CftPackage.INPUT: { | ||
152 | Input input = (Input)theEObject; | ||
153 | T result = caseInput(input); | ||
154 | if (result == null) result = defaultCase(theEObject); | ||
155 | return result; | ||
156 | } | ||
157 | case CftPackage.OUTPUT: { | ||
158 | Output output = (Output)theEObject; | ||
159 | T result = caseOutput(output); | ||
160 | if (result == null) result = defaultCase(theEObject); | ||
161 | return result; | ||
162 | } | ||
163 | case CftPackage.CONNECTION: { | ||
164 | Connection connection = (Connection)theEObject; | ||
165 | T result = caseConnection(connection); | ||
166 | if (result == null) result = caseModalElement(connection); | ||
167 | if (result == null) result = defaultCase(theEObject); | ||
168 | return result; | ||
169 | } | ||
170 | case CftPackage.MODAL_ELEMENT: { | ||
171 | ModalElement modalElement = (ModalElement)theEObject; | ||
172 | T result = caseModalElement(modalElement); | ||
173 | if (result == null) result = defaultCase(theEObject); | ||
174 | return result; | ||
175 | } | ||
176 | default: return defaultCase(theEObject); | ||
177 | } | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * Returns the result of interpreting the object as an instance of '<em>Component Definition</em>'. | ||
182 | * <!-- begin-user-doc --> | ||
183 | * This implementation returns null; | ||
184 | * returning a non-null result will terminate the switch. | ||
185 | * <!-- end-user-doc --> | ||
186 | * @param object the target of the switch. | ||
187 | * @return the result of interpreting the object as an instance of '<em>Component Definition</em>'. | ||
188 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
189 | * @generated | ||
190 | */ | ||
191 | public T caseComponentDefinition(ComponentDefinition object) { | ||
192 | return null; | ||
193 | } | ||
194 | |||
195 | /** | ||
196 | * Returns the result of interpreting the object as an instance of '<em>Event Definition</em>'. | ||
197 | * <!-- begin-user-doc --> | ||
198 | * This implementation returns null; | ||
199 | * returning a non-null result will terminate the switch. | ||
200 | * <!-- end-user-doc --> | ||
201 | * @param object the target of the switch. | ||
202 | * @return the result of interpreting the object as an instance of '<em>Event Definition</em>'. | ||
203 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
204 | * @generated | ||
205 | */ | ||
206 | public T caseEventDefinition(EventDefinition object) { | ||
207 | return null; | ||
208 | } | ||
209 | |||
210 | /** | ||
211 | * Returns the result of interpreting the object as an instance of '<em>Gate Definition</em>'. | ||
212 | * <!-- begin-user-doc --> | ||
213 | * This implementation returns null; | ||
214 | * returning a non-null result will terminate the switch. | ||
215 | * <!-- end-user-doc --> | ||
216 | * @param object the target of the switch. | ||
217 | * @return the result of interpreting the object as an instance of '<em>Gate Definition</em>'. | ||
218 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
219 | * @generated | ||
220 | */ | ||
221 | public T caseGateDefinition(GateDefinition object) { | ||
222 | return null; | ||
223 | } | ||
224 | |||
225 | /** | ||
226 | * Returns the result of interpreting the object as an instance of '<em>Basic Event Definition</em>'. | ||
227 | * <!-- begin-user-doc --> | ||
228 | * This implementation returns null; | ||
229 | * returning a non-null result will terminate the switch. | ||
230 | * <!-- end-user-doc --> | ||
231 | * @param object the target of the switch. | ||
232 | * @return the result of interpreting the object as an instance of '<em>Basic Event Definition</em>'. | ||
233 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
234 | * @generated | ||
235 | */ | ||
236 | public T caseBasicEventDefinition(BasicEventDefinition object) { | ||
237 | return null; | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * Returns the result of interpreting the object as an instance of '<em>Input Event</em>'. | ||
242 | * <!-- begin-user-doc --> | ||
243 | * This implementation returns null; | ||
244 | * returning a non-null result will terminate the switch. | ||
245 | * <!-- end-user-doc --> | ||
246 | * @param object the target of the switch. | ||
247 | * @return the result of interpreting the object as an instance of '<em>Input Event</em>'. | ||
248 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
249 | * @generated | ||
250 | */ | ||
251 | public T caseInputEvent(InputEvent object) { | ||
252 | return null; | ||
253 | } | ||
254 | |||
255 | /** | ||
256 | * Returns the result of interpreting the object as an instance of '<em>Event Declaration</em>'. | ||
257 | * <!-- begin-user-doc --> | ||
258 | * This implementation returns null; | ||
259 | * returning a non-null result will terminate the switch. | ||
260 | * <!-- end-user-doc --> | ||
261 | * @param object the target of the switch. | ||
262 | * @return the result of interpreting the object as an instance of '<em>Event Declaration</em>'. | ||
263 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
264 | * @generated | ||
265 | */ | ||
266 | public T caseEventDeclaration(EventDeclaration object) { | ||
267 | return null; | ||
268 | } | ||
269 | |||
270 | /** | ||
271 | * Returns the result of interpreting the object as an instance of '<em>And Gate Definition</em>'. | ||
272 | * <!-- begin-user-doc --> | ||
273 | * This implementation returns null; | ||
274 | * returning a non-null result will terminate the switch. | ||
275 | * <!-- end-user-doc --> | ||
276 | * @param object the target of the switch. | ||
277 | * @return the result of interpreting the object as an instance of '<em>And Gate Definition</em>'. | ||
278 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
279 | * @generated | ||
280 | */ | ||
281 | public T caseAndGateDefinition(AndGateDefinition object) { | ||
282 | return null; | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * Returns the result of interpreting the object as an instance of '<em>Or Gate Definition</em>'. | ||
287 | * <!-- begin-user-doc --> | ||
288 | * This implementation returns null; | ||
289 | * returning a non-null result will terminate the switch. | ||
290 | * <!-- end-user-doc --> | ||
291 | * @param object the target of the switch. | ||
292 | * @return the result of interpreting the object as an instance of '<em>Or Gate Definition</em>'. | ||
293 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
294 | * @generated | ||
295 | */ | ||
296 | public T caseOrGateDefinition(OrGateDefinition object) { | ||
297 | return null; | ||
298 | } | ||
299 | |||
300 | /** | ||
301 | * Returns the result of interpreting the object as an instance of '<em>KOf MGate Definition</em>'. | ||
302 | * <!-- begin-user-doc --> | ||
303 | * This implementation returns null; | ||
304 | * returning a non-null result will terminate the switch. | ||
305 | * <!-- end-user-doc --> | ||
306 | * @param object the target of the switch. | ||
307 | * @return the result of interpreting the object as an instance of '<em>KOf MGate Definition</em>'. | ||
308 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
309 | * @generated | ||
310 | */ | ||
311 | public T caseKOfMGateDefinition(KOfMGateDefinition object) { | ||
312 | return null; | ||
313 | } | ||
314 | |||
315 | /** | ||
316 | * Returns the result of interpreting the object as an instance of '<em>Component Fault Tree</em>'. | ||
317 | * <!-- begin-user-doc --> | ||
318 | * This implementation returns null; | ||
319 | * returning a non-null result will terminate the switch. | ||
320 | * <!-- end-user-doc --> | ||
321 | * @param object the target of the switch. | ||
322 | * @return the result of interpreting the object as an instance of '<em>Component Fault Tree</em>'. | ||
323 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
324 | * @generated | ||
325 | */ | ||
326 | public T caseComponentFaultTree(ComponentFaultTree object) { | ||
327 | return null; | ||
328 | } | ||
329 | |||
330 | /** | ||
331 | * Returns the result of interpreting the object as an instance of '<em>Component</em>'. | ||
332 | * <!-- begin-user-doc --> | ||
333 | * This implementation returns null; | ||
334 | * returning a non-null result will terminate the switch. | ||
335 | * <!-- end-user-doc --> | ||
336 | * @param object the target of the switch. | ||
337 | * @return the result of interpreting the object as an instance of '<em>Component</em>'. | ||
338 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
339 | * @generated | ||
340 | */ | ||
341 | public T caseComponent(Component object) { | ||
342 | return null; | ||
343 | } | ||
344 | |||
345 | /** | ||
346 | * Returns the result of interpreting the object as an instance of '<em>Input</em>'. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * This implementation returns null; | ||
349 | * returning a non-null result will terminate the switch. | ||
350 | * <!-- end-user-doc --> | ||
351 | * @param object the target of the switch. | ||
352 | * @return the result of interpreting the object as an instance of '<em>Input</em>'. | ||
353 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
354 | * @generated | ||
355 | */ | ||
356 | public T caseInput(Input object) { | ||
357 | return null; | ||
358 | } | ||
359 | |||
360 | /** | ||
361 | * Returns the result of interpreting the object as an instance of '<em>Output</em>'. | ||
362 | * <!-- begin-user-doc --> | ||
363 | * This implementation returns null; | ||
364 | * returning a non-null result will terminate the switch. | ||
365 | * <!-- end-user-doc --> | ||
366 | * @param object the target of the switch. | ||
367 | * @return the result of interpreting the object as an instance of '<em>Output</em>'. | ||
368 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
369 | * @generated | ||
370 | */ | ||
371 | public T caseOutput(Output object) { | ||
372 | return null; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * Returns the result of interpreting the object as an instance of '<em>Connection</em>'. | ||
377 | * <!-- begin-user-doc --> | ||
378 | * This implementation returns null; | ||
379 | * returning a non-null result will terminate the switch. | ||
380 | * <!-- end-user-doc --> | ||
381 | * @param object the target of the switch. | ||
382 | * @return the result of interpreting the object as an instance of '<em>Connection</em>'. | ||
383 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
384 | * @generated | ||
385 | */ | ||
386 | public T caseConnection(Connection object) { | ||
387 | return null; | ||
388 | } | ||
389 | |||
390 | /** | ||
391 | * Returns the result of interpreting the object as an instance of '<em>Modal Element</em>'. | ||
392 | * <!-- begin-user-doc --> | ||
393 | * This implementation returns null; | ||
394 | * returning a non-null result will terminate the switch. | ||
395 | * <!-- end-user-doc --> | ||
396 | * @param object the target of the switch. | ||
397 | * @return the result of interpreting the object as an instance of '<em>Modal Element</em>'. | ||
398 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
399 | * @generated | ||
400 | */ | ||
401 | public T caseModalElement(ModalElement object) { | ||
402 | return null; | ||
403 | } | ||
404 | |||
405 | /** | ||
406 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
407 | * <!-- begin-user-doc --> | ||
408 | * This implementation returns null; | ||
409 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
410 | * <!-- end-user-doc --> | ||
411 | * @param object the target of the switch. | ||
412 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
413 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
414 | * @generated | ||
415 | */ | ||
416 | @Override | ||
417 | public T defaultCase(EObject object) { | ||
418 | return null; | ||
419 | } | ||
420 | |||
421 | } //CftSwitch | ||