diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java')
1 files changed, 172 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java index f99b2d76..364df3c8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java | |||
@@ -2,6 +2,9 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; | 3 | package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | ||
5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; | 8 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; |
6 | 9 | ||
7 | import org.eclipse.emf.ecore.EObject; | 10 | import org.eclipse.emf.ecore.EObject; |
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
129 | if (result == null) result = defaultCase(theEObject); | 132 | if (result == null) result = defaultCase(theEObject); |
130 | return result; | 133 | return result; |
131 | } | 134 | } |
135 | case PartialinterpretationPackage.PRIMITIVE_ELEMENT: { | ||
136 | PrimitiveElement primitiveElement = (PrimitiveElement)theEObject; | ||
137 | T result = casePrimitiveElement(primitiveElement); | ||
138 | if (result == null) result = caseDefinedElement(primitiveElement); | ||
139 | if (result == null) result = caseSymbolicDeclaration(primitiveElement); | ||
140 | if (result == null) result = caseTermDescription(primitiveElement); | ||
141 | if (result == null) result = defaultCase(theEObject); | ||
142 | return result; | ||
143 | } | ||
144 | case PartialinterpretationPackage.BOOLEAN_ELEMENT: { | ||
145 | BooleanElement booleanElement = (BooleanElement)theEObject; | ||
146 | T result = caseBooleanElement(booleanElement); | ||
147 | if (result == null) result = casePrimitiveElement(booleanElement); | ||
148 | if (result == null) result = caseDefinedElement(booleanElement); | ||
149 | if (result == null) result = caseSymbolicDeclaration(booleanElement); | ||
150 | if (result == null) result = caseTermDescription(booleanElement); | ||
151 | if (result == null) result = defaultCase(theEObject); | ||
152 | return result; | ||
153 | } | ||
154 | case PartialinterpretationPackage.INTEGER_ELEMENT: { | ||
155 | IntegerElement integerElement = (IntegerElement)theEObject; | ||
156 | T result = caseIntegerElement(integerElement); | ||
157 | if (result == null) result = casePrimitiveElement(integerElement); | ||
158 | if (result == null) result = caseDefinedElement(integerElement); | ||
159 | if (result == null) result = caseSymbolicDeclaration(integerElement); | ||
160 | if (result == null) result = caseTermDescription(integerElement); | ||
161 | if (result == null) result = defaultCase(theEObject); | ||
162 | return result; | ||
163 | } | ||
164 | case PartialinterpretationPackage.REAL_ELEMENT: { | ||
165 | RealElement realElement = (RealElement)theEObject; | ||
166 | T result = caseRealElement(realElement); | ||
167 | if (result == null) result = casePrimitiveElement(realElement); | ||
168 | if (result == null) result = caseDefinedElement(realElement); | ||
169 | if (result == null) result = caseSymbolicDeclaration(realElement); | ||
170 | if (result == null) result = caseTermDescription(realElement); | ||
171 | if (result == null) result = defaultCase(theEObject); | ||
172 | return result; | ||
173 | } | ||
174 | case PartialinterpretationPackage.STRING_ELEMENT: { | ||
175 | StringElement stringElement = (StringElement)theEObject; | ||
176 | T result = caseStringElement(stringElement); | ||
177 | if (result == null) result = casePrimitiveElement(stringElement); | ||
178 | if (result == null) result = caseDefinedElement(stringElement); | ||
179 | if (result == null) result = caseSymbolicDeclaration(stringElement); | ||
180 | if (result == null) result = caseTermDescription(stringElement); | ||
181 | if (result == null) result = defaultCase(theEObject); | ||
182 | return result; | ||
183 | } | ||
132 | default: return defaultCase(theEObject); | 184 | default: return defaultCase(theEObject); |
133 | } | 185 | } |
134 | } | 186 | } |
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
284 | } | 336 | } |
285 | 337 | ||
286 | /** | 338 | /** |
339 | * Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'. | ||
340 | * <!-- begin-user-doc --> | ||
341 | * This implementation returns null; | ||
342 | * returning a non-null result will terminate the switch. | ||
343 | * <!-- end-user-doc --> | ||
344 | * @param object the target of the switch. | ||
345 | * @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'. | ||
346 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
347 | * @generated | ||
348 | */ | ||
349 | public T casePrimitiveElement(PrimitiveElement object) { | ||
350 | return null; | ||
351 | } | ||
352 | |||
353 | /** | ||
354 | * Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'. | ||
355 | * <!-- begin-user-doc --> | ||
356 | * This implementation returns null; | ||
357 | * returning a non-null result will terminate the switch. | ||
358 | * <!-- end-user-doc --> | ||
359 | * @param object the target of the switch. | ||
360 | * @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'. | ||
361 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
362 | * @generated | ||
363 | */ | ||
364 | public T caseBooleanElement(BooleanElement object) { | ||
365 | return null; | ||
366 | } | ||
367 | |||
368 | /** | ||
369 | * Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'. | ||
370 | * <!-- begin-user-doc --> | ||
371 | * This implementation returns null; | ||
372 | * returning a non-null result will terminate the switch. | ||
373 | * <!-- end-user-doc --> | ||
374 | * @param object the target of the switch. | ||
375 | * @return the result of interpreting the object as an instance of '<em>Integer Element</em>'. | ||
376 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
377 | * @generated | ||
378 | */ | ||
379 | public T caseIntegerElement(IntegerElement object) { | ||
380 | return null; | ||
381 | } | ||
382 | |||
383 | /** | ||
384 | * Returns the result of interpreting the object as an instance of '<em>Real Element</em>'. | ||
385 | * <!-- begin-user-doc --> | ||
386 | * This implementation returns null; | ||
387 | * returning a non-null result will terminate the switch. | ||
388 | * <!-- end-user-doc --> | ||
389 | * @param object the target of the switch. | ||
390 | * @return the result of interpreting the object as an instance of '<em>Real Element</em>'. | ||
391 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
392 | * @generated | ||
393 | */ | ||
394 | public T caseRealElement(RealElement object) { | ||
395 | return null; | ||
396 | } | ||
397 | |||
398 | /** | ||
399 | * Returns the result of interpreting the object as an instance of '<em>String Element</em>'. | ||
400 | * <!-- begin-user-doc --> | ||
401 | * This implementation returns null; | ||
402 | * returning a non-null result will terminate the switch. | ||
403 | * <!-- end-user-doc --> | ||
404 | * @param object the target of the switch. | ||
405 | * @return the result of interpreting the object as an instance of '<em>String Element</em>'. | ||
406 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
407 | * @generated | ||
408 | */ | ||
409 | public T caseStringElement(StringElement object) { | ||
410 | return null; | ||
411 | } | ||
412 | |||
413 | /** | ||
414 | * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
415 | * <!-- begin-user-doc --> | ||
416 | * This implementation returns null; | ||
417 | * returning a non-null result will terminate the switch. | ||
418 | * <!-- end-user-doc --> | ||
419 | * @param object the target of the switch. | ||
420 | * @return the result of interpreting the object as an instance of '<em>Term Description</em>'. | ||
421 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
422 | * @generated | ||
423 | */ | ||
424 | public T caseTermDescription(TermDescription object) { | ||
425 | return null; | ||
426 | } | ||
427 | |||
428 | /** | ||
429 | * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
430 | * <!-- begin-user-doc --> | ||
431 | * This implementation returns null; | ||
432 | * returning a non-null result will terminate the switch. | ||
433 | * <!-- end-user-doc --> | ||
434 | * @param object the target of the switch. | ||
435 | * @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'. | ||
436 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
437 | * @generated | ||
438 | */ | ||
439 | public T caseSymbolicDeclaration(SymbolicDeclaration object) { | ||
440 | return null; | ||
441 | } | ||
442 | |||
443 | /** | ||
444 | * Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
445 | * <!-- begin-user-doc --> | ||
446 | * This implementation returns null; | ||
447 | * returning a non-null result will terminate the switch. | ||
448 | * <!-- end-user-doc --> | ||
449 | * @param object the target of the switch. | ||
450 | * @return the result of interpreting the object as an instance of '<em>Defined Element</em>'. | ||
451 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
452 | * @generated | ||
453 | */ | ||
454 | public T caseDefinedElement(DefinedElement object) { | ||
455 | return null; | ||
456 | } | ||
457 | |||
458 | /** | ||
287 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 459 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
288 | * <!-- begin-user-doc --> | 460 | * <!-- begin-user-doc --> |
289 | * This implementation returns null; | 461 | * This implementation returns null; |