diff options
author | 2018-06-13 11:15:12 +0200 | |
---|---|---|
committer | 2018-06-13 11:15:12 +0200 | |
commit | 9e39671e47b12ef63178715b19d2ab23a9acdc11 (patch) | |
tree | eb941857c11e1156d006e1fb6b885d164fed5f3d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util | |
parent | Cleared up visualisation thread (diff) | |
download | VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.gz VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.tar.zst VIATRA-Generator-9e39671e47b12ef63178715b19d2ab23a9acdc11.zip |
Updated partial model representation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util')
2 files changed, 283 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/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java index 27b88b7a..072472d2 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java | |||
@@ -131,6 +131,34 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { | |||
131 | return createStringElementAdapter(); | 131 | return createStringElementAdapter(); |
132 | } | 132 | } |
133 | @Override | 133 | @Override |
134 | public Adapter caseScope(Scope object) { | ||
135 | return createScopeAdapter(); | ||
136 | } | ||
137 | @Override | ||
138 | public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) { | ||
139 | return createPartialPrimitiveInterpretationAdapter(); | ||
140 | } | ||
141 | @Override | ||
142 | public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) { | ||
143 | return createPartialBooleanInterpretationAdapter(); | ||
144 | } | ||
145 | @Override | ||
146 | public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) { | ||
147 | return createPartialIntegerInterpretationAdapter(); | ||
148 | } | ||
149 | @Override | ||
150 | public Adapter casePartialRealInterpretation(PartialRealInterpretation object) { | ||
151 | return createPartialRealInterpretationAdapter(); | ||
152 | } | ||
153 | @Override | ||
154 | public Adapter casePartialStringInterpretation(PartialStringInterpretation object) { | ||
155 | return createPartialStringInterpretationAdapter(); | ||
156 | } | ||
157 | @Override | ||
158 | public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) { | ||
159 | return createPartialComplexTypeInterpretationAdapter(); | ||
160 | } | ||
161 | @Override | ||
134 | public Adapter caseTermDescription(TermDescription object) { | 162 | public Adapter caseTermDescription(TermDescription object) { |
135 | return createTermDescriptionAdapter(); | 163 | return createTermDescriptionAdapter(); |
136 | } | 164 | } |
@@ -373,6 +401,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { | |||
373 | } | 401 | } |
374 | 402 | ||
375 | /** | 403 | /** |
404 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</em>}'. | ||
405 | * <!-- begin-user-doc --> | ||
406 | * This default implementation returns null so that we can easily ignore cases; | ||
407 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
408 | * <!-- end-user-doc --> | ||
409 | * @return the new adapter. | ||
410 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope | ||
411 | * @generated | ||
412 | */ | ||
413 | public Adapter createScopeAdapter() { | ||
414 | return null; | ||
415 | } | ||
416 | |||
417 | /** | ||
418 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</em>}'. | ||
419 | * <!-- begin-user-doc --> | ||
420 | * This default implementation returns null so that we can easily ignore cases; | ||
421 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
422 | * <!-- end-user-doc --> | ||
423 | * @return the new adapter. | ||
424 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation | ||
425 | * @generated | ||
426 | */ | ||
427 | public Adapter createPartialPrimitiveInterpretationAdapter() { | ||
428 | return null; | ||
429 | } | ||
430 | |||
431 | /** | ||
432 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</em>}'. | ||
433 | * <!-- begin-user-doc --> | ||
434 | * This default implementation returns null so that we can easily ignore cases; | ||
435 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
436 | * <!-- end-user-doc --> | ||
437 | * @return the new adapter. | ||
438 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation | ||
439 | * @generated | ||
440 | */ | ||
441 | public Adapter createPartialBooleanInterpretationAdapter() { | ||
442 | return null; | ||
443 | } | ||
444 | |||
445 | /** | ||
446 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</em>}'. | ||
447 | * <!-- begin-user-doc --> | ||
448 | * This default implementation returns null so that we can easily ignore cases; | ||
449 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
450 | * <!-- end-user-doc --> | ||
451 | * @return the new adapter. | ||
452 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation | ||
453 | * @generated | ||
454 | */ | ||
455 | public Adapter createPartialIntegerInterpretationAdapter() { | ||
456 | return null; | ||
457 | } | ||
458 | |||
459 | /** | ||
460 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</em>}'. | ||
461 | * <!-- begin-user-doc --> | ||
462 | * This default implementation returns null so that we can easily ignore cases; | ||
463 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
464 | * <!-- end-user-doc --> | ||
465 | * @return the new adapter. | ||
466 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation | ||
467 | * @generated | ||
468 | */ | ||
469 | public Adapter createPartialRealInterpretationAdapter() { | ||
470 | return null; | ||
471 | } | ||
472 | |||
473 | /** | ||
474 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</em>}'. | ||
475 | * <!-- begin-user-doc --> | ||
476 | * This default implementation returns null so that we can easily ignore cases; | ||
477 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
478 | * <!-- end-user-doc --> | ||
479 | * @return the new adapter. | ||
480 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation | ||
481 | * @generated | ||
482 | */ | ||
483 | public Adapter createPartialStringInterpretationAdapter() { | ||
484 | return null; | ||
485 | } | ||
486 | |||
487 | /** | ||
488 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</em>}'. | ||
489 | * <!-- begin-user-doc --> | ||
490 | * This default implementation returns null so that we can easily ignore cases; | ||
491 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
492 | * <!-- end-user-doc --> | ||
493 | * @return the new adapter. | ||
494 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation | ||
495 | * @generated | ||
496 | */ | ||
497 | public Adapter createPartialComplexTypeInterpretationAdapter() { | ||
498 | return null; | ||
499 | } | ||
500 | |||
501 | /** | ||
376 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'. | 502 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'. |
377 | * <!-- begin-user-doc --> | 503 | * <!-- begin-user-doc --> |
378 | * This default implementation returns null so that we can easily ignore cases; | 504 | * This default implementation returns null so that we can easily ignore cases; |
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 364df3c8..f3269cbf 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 | |||
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
181 | if (result == null) result = defaultCase(theEObject); | 181 | if (result == null) result = defaultCase(theEObject); |
182 | return result; | 182 | return result; |
183 | } | 183 | } |
184 | case PartialinterpretationPackage.SCOPE: { | ||
185 | Scope scope = (Scope)theEObject; | ||
186 | T result = caseScope(scope); | ||
187 | if (result == null) result = defaultCase(theEObject); | ||
188 | return result; | ||
189 | } | ||
190 | case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: { | ||
191 | PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject; | ||
192 | T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation); | ||
193 | if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation); | ||
194 | if (result == null) result = defaultCase(theEObject); | ||
195 | return result; | ||
196 | } | ||
197 | case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: { | ||
198 | PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject; | ||
199 | T result = casePartialBooleanInterpretation(partialBooleanInterpretation); | ||
200 | if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation); | ||
201 | if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation); | ||
202 | if (result == null) result = defaultCase(theEObject); | ||
203 | return result; | ||
204 | } | ||
205 | case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: { | ||
206 | PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject; | ||
207 | T result = casePartialIntegerInterpretation(partialIntegerInterpretation); | ||
208 | if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation); | ||
209 | if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation); | ||
210 | if (result == null) result = defaultCase(theEObject); | ||
211 | return result; | ||
212 | } | ||
213 | case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: { | ||
214 | PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject; | ||
215 | T result = casePartialRealInterpretation(partialRealInterpretation); | ||
216 | if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation); | ||
217 | if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation); | ||
218 | if (result == null) result = defaultCase(theEObject); | ||
219 | return result; | ||
220 | } | ||
221 | case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: { | ||
222 | PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject; | ||
223 | T result = casePartialStringInterpretation(partialStringInterpretation); | ||
224 | if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation); | ||
225 | if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation); | ||
226 | if (result == null) result = defaultCase(theEObject); | ||
227 | return result; | ||
228 | } | ||
229 | case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: { | ||
230 | PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject; | ||
231 | T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation); | ||
232 | if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation); | ||
233 | if (result == null) result = defaultCase(theEObject); | ||
234 | return result; | ||
235 | } | ||
184 | default: return defaultCase(theEObject); | 236 | default: return defaultCase(theEObject); |
185 | } | 237 | } |
186 | } | 238 | } |
@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> { | |||
411 | } | 463 | } |
412 | 464 | ||
413 | /** | 465 | /** |
466 | * Returns the result of interpreting the object as an instance of '<em>Scope</em>'. | ||
467 | * <!-- begin-user-doc --> | ||
468 | * This implementation returns null; | ||
469 | * returning a non-null result will terminate the switch. | ||
470 | * <!-- end-user-doc --> | ||
471 | * @param object the target of the switch. | ||
472 | * @return the result of interpreting the object as an instance of '<em>Scope</em>'. | ||
473 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
474 | * @generated | ||
475 | */ | ||
476 | public T caseScope(Scope object) { | ||
477 | return null; | ||
478 | } | ||
479 | |||
480 | /** | ||
481 | * Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'. | ||
482 | * <!-- begin-user-doc --> | ||
483 | * This implementation returns null; | ||
484 | * returning a non-null result will terminate the switch. | ||
485 | * <!-- end-user-doc --> | ||
486 | * @param object the target of the switch. | ||
487 | * @return the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'. | ||
488 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
489 | * @generated | ||
490 | */ | ||
491 | public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) { | ||
492 | return null; | ||
493 | } | ||
494 | |||
495 | /** | ||
496 | * Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'. | ||
497 | * <!-- begin-user-doc --> | ||
498 | * This implementation returns null; | ||
499 | * returning a non-null result will terminate the switch. | ||
500 | * <!-- end-user-doc --> | ||
501 | * @param object the target of the switch. | ||
502 | * @return the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'. | ||
503 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
504 | * @generated | ||
505 | */ | ||
506 | public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) { | ||
507 | return null; | ||
508 | } | ||
509 | |||
510 | /** | ||
511 | * Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'. | ||
512 | * <!-- begin-user-doc --> | ||
513 | * This implementation returns null; | ||
514 | * returning a non-null result will terminate the switch. | ||
515 | * <!-- end-user-doc --> | ||
516 | * @param object the target of the switch. | ||
517 | * @return the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'. | ||
518 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
519 | * @generated | ||
520 | */ | ||
521 | public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) { | ||
522 | return null; | ||
523 | } | ||
524 | |||
525 | /** | ||
526 | * Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'. | ||
527 | * <!-- begin-user-doc --> | ||
528 | * This implementation returns null; | ||
529 | * returning a non-null result will terminate the switch. | ||
530 | * <!-- end-user-doc --> | ||
531 | * @param object the target of the switch. | ||
532 | * @return the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'. | ||
533 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
534 | * @generated | ||
535 | */ | ||
536 | public T casePartialRealInterpretation(PartialRealInterpretation object) { | ||
537 | return null; | ||
538 | } | ||
539 | |||
540 | /** | ||
541 | * Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'. | ||
542 | * <!-- begin-user-doc --> | ||
543 | * This implementation returns null; | ||
544 | * returning a non-null result will terminate the switch. | ||
545 | * <!-- end-user-doc --> | ||
546 | * @param object the target of the switch. | ||
547 | * @return the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'. | ||
548 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
549 | * @generated | ||
550 | */ | ||
551 | public T casePartialStringInterpretation(PartialStringInterpretation object) { | ||
552 | return null; | ||
553 | } | ||
554 | |||
555 | /** | ||
556 | * Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'. | ||
557 | * <!-- begin-user-doc --> | ||
558 | * This implementation returns null; | ||
559 | * returning a non-null result will terminate the switch. | ||
560 | * <!-- end-user-doc --> | ||
561 | * @param object the target of the switch. | ||
562 | * @return the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'. | ||
563 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
564 | * @generated | ||
565 | */ | ||
566 | public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) { | ||
567 | return null; | ||
568 | } | ||
569 | |||
570 | /** | ||
414 | * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'. | 571 | * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'. |
415 | * <!-- begin-user-doc --> | 572 | * <!-- begin-user-doc --> |
416 | * This implementation returns null; | 573 | * This implementation returns null; |