From 9e39671e47b12ef63178715b19d2ab23a9acdc11 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 13 Jun 2018 11:15:12 +0200 Subject: Updated partial model representation --- .../util/PartialinterpretationAdapterFactory.java | 126 +++++++++++++++++ .../util/PartialinterpretationSwitch.java | 157 +++++++++++++++++++++ 2 files changed, 283 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util') 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 { return createStringElementAdapter(); } @Override + public Adapter caseScope(Scope object) { + return createScopeAdapter(); + } + @Override + public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) { + return createPartialPrimitiveInterpretationAdapter(); + } + @Override + public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) { + return createPartialBooleanInterpretationAdapter(); + } + @Override + public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) { + return createPartialIntegerInterpretationAdapter(); + } + @Override + public Adapter casePartialRealInterpretation(PartialRealInterpretation object) { + return createPartialRealInterpretationAdapter(); + } + @Override + public Adapter casePartialStringInterpretation(PartialStringInterpretation object) { + return createPartialStringInterpretationAdapter(); + } + @Override + public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) { + return createPartialComplexTypeInterpretationAdapter(); + } + @Override public Adapter caseTermDescription(TermDescription object) { return createTermDescriptionAdapter(); } @@ -372,6 +400,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { return null; } + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope Scope}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope + * @generated + */ + public Adapter createScopeAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation Partial Primitive Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation + * @generated + */ + public Adapter createPartialPrimitiveInterpretationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation Partial Boolean Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation + * @generated + */ + public Adapter createPartialBooleanInterpretationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation Partial Integer Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation + * @generated + */ + public Adapter createPartialIntegerInterpretationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation Partial Real Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation + * @generated + */ + public Adapter createPartialRealInterpretationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation Partial String Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation + * @generated + */ + public Adapter createPartialStringInterpretationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation Partial Complex Type Interpretation}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation + * @generated + */ + public Adapter createPartialComplexTypeInterpretationAdapter() { + return null; + } + /** * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}'. * 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 extends Switch { if (result == null) result = defaultCase(theEObject); return result; } + case PartialinterpretationPackage.SCOPE: { + Scope scope = (Scope)theEObject; + T result = caseScope(scope); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: { + PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject; + T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: { + PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject; + T result = casePartialBooleanInterpretation(partialBooleanInterpretation); + if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: { + PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject; + T result = casePartialIntegerInterpretation(partialIntegerInterpretation); + if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: { + PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject; + T result = casePartialRealInterpretation(partialRealInterpretation); + if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: { + PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject; + T result = casePartialStringInterpretation(partialStringInterpretation); + if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: { + PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject; + T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation); + if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation); + if (result == null) result = defaultCase(theEObject); + return result; + } default: return defaultCase(theEObject); } } @@ -410,6 +462,111 @@ public class PartialinterpretationSwitch extends Switch { return null; } + /** + * Returns the result of interpreting the object as an instance of 'Scope'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Scope'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseScope(Scope object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial Primitive Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial Primitive Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial Boolean Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial Boolean Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial Integer Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial Integer Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial Real Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial Real Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialRealInterpretation(PartialRealInterpretation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial String Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial String Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialStringInterpretation(PartialStringInterpretation object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Partial Complex Type Interpretation'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Partial Complex Type Interpretation'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'Term Description'. * -- cgit v1.2.3-70-g09d2