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 --- .../NaryRelationLinkElement.java | 28 + .../PartialBooleanInterpretation.java | 17 + .../PartialComplexTypeInterpretation.java | 69 + .../PartialIntegerInterpretation.java | 17 + .../PartialInterpretation.java | 276 +- .../PartialPrimitiveInterpretation.java | 17 + .../PartialRealInterpretation.java | 17 + .../PartialStringInterpretation.java | 17 + .../PartialTypeInterpratation.java | 48 +- .../PartialinterpretationFactory.java | 63 +- .../PartialinterpretationPackage.java | 1012 +++-- .../partialinterpretation/Scope.java | 106 + .../impl/NaryRelationLinkElementImpl.java | 62 + .../impl/PartialBooleanInterpretationImpl.java | 37 + .../impl/PartialComplexTypeInterpretationImpl.java | 198 + .../impl/PartialIntegerInterpretationImpl.java | 37 + .../impl/PartialInterpretationImpl.java | 571 +-- .../impl/PartialPrimitiveInterpretationImpl.java | 37 + .../impl/PartialRealInterpretationImpl.java | 37 + .../impl/PartialStringInterpretationImpl.java | 37 + .../impl/PartialTypeInterpratationImpl.java | 103 +- .../impl/PartialinterpretationFactoryImpl.java | 77 +- .../impl/PartialinterpretationPackageImpl.java | 341 +- .../partialinterpretation/impl/ScopeImpl.java | 279 ++ .../util/PartialinterpretationAdapterFactory.java | 126 + .../util/PartialinterpretationSwitch.java | 157 + .../model/PartialInterpretation.aird | 4161 ++++++++++---------- .../model/PartialInterpretation.ecore | 64 +- .../model/PartialInterpretation.genmodel | 31 + .../model/PartialModelAnnotations.genmodel | 1 + .../model/overview.png | Bin 0 -> 183150 bytes .../model/relations.png | Bin 0 -> 142634 bytes .../model/types.png | Bin 0 -> 221405 bytes 33 files changed, 4448 insertions(+), 3595 deletions(-) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java index 4b70390f..8dc06848 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java @@ -2,6 +2,7 @@ */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; import org.eclipse.emf.ecore.EObject; /** @@ -14,6 +15,7 @@ import org.eclipse.emf.ecore.EObject; *

* * * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement() @@ -47,4 +49,30 @@ public interface NaryRelationLinkElement extends EObject { */ void setIndex(int value); + /** + * Returns the value of the 'Param' reference. + * + *

+ * If the meaning of the 'Param' reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Param' reference. + * @see #setParam(DefinedElement) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement_Param() + * @model required="true" + * @generated + */ + DefinedElement getParam(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam Param}' reference. + * + * + * @param value the new value of the 'Param' reference. + * @see #getParam() + * @generated + */ + void setParam(DefinedElement value); + } // NaryRelationLinkElement diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java new file mode 100644 index 00000000..3f96fa10 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + + +/** + * + * A representation of the model object 'Partial Boolean Interpretation'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialBooleanInterpretation() + * @model + * @generated + */ +public interface PartialBooleanInterpretation extends PartialPrimitiveInterpretation { +} // PartialBooleanInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java new file mode 100644 index 00000000..c4431b18 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java @@ -0,0 +1,69 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; + +import org.eclipse.emf.common.util.EList; + +/** + * + * A representation of the model object 'Partial Complex Type Interpretation'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation() + * @model + * @generated + */ +public interface PartialComplexTypeInterpretation extends PartialTypeInterpratation { + /** + * Returns the value of the 'Supertype Interpretation' reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation}. + * + *

+ * If the meaning of the 'Supertype Interpretation' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Supertype Interpretation' reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_SupertypeInterpretation() + * @model + * @generated + */ + EList getSupertypeInterpretation(); + + /** + * Returns the value of the 'Interpretation Of' reference. + * + *

+ * If the meaning of the 'Interpretation Of' reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Interpretation Of' reference. + * @see #setInterpretationOf(TypeDeclaration) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_InterpretationOf() + * @model required="true" + * @generated + */ + TypeDeclaration getInterpretationOf(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf Interpretation Of}' reference. + * + * + * @param value the new value of the 'Interpretation Of' reference. + * @see #getInterpretationOf() + * @generated + */ + void setInterpretationOf(TypeDeclaration value); + +} // PartialComplexTypeInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java new file mode 100644 index 00000000..bbd43608 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + + +/** + * + * A representation of the model object 'Partial Integer Interpretation'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialIntegerInterpretation() + * @model + * @generated + */ +public interface PartialIntegerInterpretation extends PartialPrimitiveInterpretation { +} // PartialIntegerInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java index d0f77a52..098cc15b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java @@ -25,21 +25,11 @@ import org.eclipse.emf.ecore.EObject; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation Partialfunctioninterpretation}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements New Elements}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements Open World Elements}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes Scopes}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes Open World Element Prototypes}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement Stringelement}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements Stringelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements Realelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements Integerelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements Booleanelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}
    • * * * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() @@ -154,74 +144,20 @@ public interface PartialInterpretation extends EObject { EList getPartialtypeinterpratation(); /** - * Returns the value of the 'Min New Elements' attribute. - * The default value is "0". - * - *

    - * If the meaning of the 'Min New Elements' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Min New Elements' attribute. - * @see #setMinNewElements(int) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements() - * @model default="0" id="true" required="true" - * @generated - */ - int getMinNewElements(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}' attribute. - * - * - * @param value the new value of the 'Min New Elements' attribute. - * @see #getMinNewElements() - * @generated - */ - void setMinNewElements(int value); - - /** - * Returns the value of the 'Max New Elements' attribute. - * The default value is "0". - * - *

    - * If the meaning of the 'Max New Elements' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Max New Elements' attribute. - * @see #setMaxNewElements(int) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements() - * @model default="0" required="true" - * @generated - */ - int getMaxNewElements(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}' attribute. - * - * - * @param value the new value of the 'Max New Elements' attribute. - * @see #getMaxNewElements() - * @generated - */ - void setMaxNewElements(int value); - - /** - * Returns the value of the 'Open World Element Prototypes' containment reference list. + * Returns the value of the 'Open World Elements' containment reference list. * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. * *

    - * If the meaning of the 'Open World Element Prototypes' containment reference list isn't clear, + * If the meaning of the 'Open World Elements' containment reference list isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'Open World Element Prototypes' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() + * @return the value of the 'Open World Elements' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElements() * @model containment="true" * @generated */ - EList getOpenWorldElementPrototypes(); + EList getOpenWorldElements(); /** * Returns the value of the 'Problem Conainer' containment reference. @@ -250,209 +186,73 @@ public interface PartialInterpretation extends EObject { void setProblemConainer(LogicProblem value); /** - * Returns the value of the 'Stringelement' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. + * Returns the value of the 'Scopes' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}. * *

    - * If the meaning of the 'Stringelement' containment reference list isn't clear, + * If the meaning of the 'Scopes' containment reference list isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'Stringelement' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement() + * @return the value of the 'Scopes' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Scopes() * @model containment="true" * @generated */ - EList getStringelement(); + EList getScopes(); /** - * Returns the value of the 'Stringelements' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. - * - *

    - * If the meaning of the 'Stringelements' containment reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Stringelements' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements() - * @model containment="true" - * @generated - */ - EList getStringelements(); - - /** - * Returns the value of the 'Realelements' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. - * - *

    - * If the meaning of the 'Realelements' containment reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Realelements' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements() - * @model containment="true" - * @generated - */ - EList getRealelements(); - - /** - * Returns the value of the 'Integerelements' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. - * - *

    - * If the meaning of the 'Integerelements' containment reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Integerelements' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements() - * @model containment="true" - * @generated - */ - EList getIntegerelements(); - - /** - * Returns the value of the 'Booleanelements' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}. - * - *

    - * If the meaning of the 'Booleanelements' containment reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Booleanelements' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements() - * @model containment="true" - * @generated - */ - EList getBooleanelements(); - - /** - * Returns the value of the 'Max New Integers' attribute. - * - *

    - * If the meaning of the 'Max New Integers' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Max New Integers' attribute. - * @see #setMaxNewIntegers(int) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers() - * @model required="true" - * @generated - */ - int getMaxNewIntegers(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}' attribute. - * - * - * @param value the new value of the 'Max New Integers' attribute. - * @see #getMaxNewIntegers() - * @generated - */ - void setMaxNewIntegers(int value); - - /** - * Returns the value of the 'Max New Reals' attribute. - * - *

    - * If the meaning of the 'Max New Reals' attribute isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Max New Reals' attribute. - * @see #setMaxNewReals(int) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals() - * @model required="true" - * @generated - */ - int getMaxNewReals(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}' attribute. - * - * - * @param value the new value of the 'Max New Reals' attribute. - * @see #getMaxNewReals() - * @generated - */ - void setMaxNewReals(int value); - - /** - * Returns the value of the 'Max New Strings' attribute. + * Returns the value of the 'Min New Elements' attribute. + * The default value is "0". * *

    - * If the meaning of the 'Max New Strings' attribute isn't clear, + * If the meaning of the 'Min New Elements' attribute isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'Max New Strings' attribute. - * @see #setMaxNewStrings(int) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings() - * @model required="true" + * @return the value of the 'Min New Elements' attribute. + * @see #setMinNewElements(int) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements() + * @model default="0" required="true" * @generated */ - int getMaxNewStrings(); + int getMinNewElements(); /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}' attribute. + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}' attribute. * * - * @param value the new value of the 'Max New Strings' attribute. - * @see #getMaxNewStrings() - * @generated - */ - void setMaxNewStrings(int value); - - /** - * Returns the value of the 'New Strings' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. - * - *

    - * If the meaning of the 'New Strings' containment reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'New Strings' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings() - * @model containment="true" + * @param value the new value of the 'Min New Elements' attribute. + * @see #getMinNewElements() * @generated */ - EList getNewStrings(); + void setMinNewElements(int value); /** - * Returns the value of the 'New Reals' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. + * Returns the value of the 'Max New Elements' attribute. + * The default value is "-1". * *

    - * If the meaning of the 'New Reals' containment reference list isn't clear, + * If the meaning of the 'Max New Elements' attribute isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'New Reals' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals() - * @model containment="true" + * @return the value of the 'Max New Elements' attribute. + * @see #setMaxNewElements(int) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements() + * @model default="-1" required="true" * @generated */ - EList getNewReals(); + int getMaxNewElements(); /** - * Returns the value of the 'New Integers' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}' attribute. * - *

    - * If the meaning of the 'New Integers' containment reference list isn't clear, - * there really should be more of a description here... - *

    * - * @return the value of the 'New Integers' containment reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers() - * @model containment="true" + * @param value the new value of the 'Max New Elements' attribute. + * @see #getMaxNewElements() * @generated */ - EList getNewIntegers(); + void setMaxNewElements(int value); } // PartialInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java new file mode 100644 index 00000000..0efebd6f --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + + +/** + * + * A representation of the model object 'Partial Primitive Interpretation'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialPrimitiveInterpretation() + * @model abstract="true" + * @generated + */ +public interface PartialPrimitiveInterpretation extends PartialTypeInterpratation { +} // PartialPrimitiveInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java new file mode 100644 index 00000000..e4ce4a00 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + + +/** + * + * A representation of the model object 'Partial Real Interpretation'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialRealInterpretation() + * @model + * @generated + */ +public interface PartialRealInterpretation extends PartialPrimitiveInterpretation { +} // PartialRealInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java new file mode 100644 index 00000000..372b3ee3 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + + +/** + * + * A representation of the model object 'Partial String Interpretation'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialStringInterpretation() + * @model + * @generated + */ +public interface PartialStringInterpretation extends PartialPrimitiveInterpretation { +} // PartialStringInterpretation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java index ff313b42..8e2def20 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java @@ -3,8 +3,6 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; -import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; - import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EObject; @@ -17,42 +15,14 @@ import org.eclipse.emf.ecore.EObject; * The following features are supported: *

    *
      - *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf Interpretation Of}
      • *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}
      • - *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation Supertype Interpretation}
      • *
    * * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation() - * @model + * @model abstract="true" * @generated */ public interface PartialTypeInterpratation extends EObject { - /** - * Returns the value of the 'Interpretation Of' reference. - * - *

    - * If the meaning of the 'Interpretation Of' reference isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Interpretation Of' reference. - * @see #setInterpretationOf(TypeDeclaration) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_InterpretationOf() - * @model required="true" - * @generated - */ - TypeDeclaration getInterpretationOf(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf Interpretation Of}' reference. - * - * - * @param value the new value of the 'Interpretation Of' reference. - * @see #getInterpretationOf() - * @generated - */ - void setInterpretationOf(TypeDeclaration value); - /** * Returns the value of the 'Elements' reference list. * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. @@ -69,20 +39,4 @@ public interface PartialTypeInterpratation extends EObject { */ EList getElements(); - /** - * Returns the value of the 'Supertype Interpretation' reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation}. - * - *

    - * If the meaning of the 'Supertype Interpretation' reference list isn't clear, - * there really should be more of a description here... - *

    - * - * @return the value of the 'Supertype Interpretation' reference list. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_SupertypeInterpretation() - * @model - * @generated - */ - EList getSupertypeInterpretation(); - } // PartialTypeInterpratation diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java index da71e230..df29f0a4 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java @@ -57,15 +57,6 @@ public interface PartialinterpretationFactory extends EFactory { */ PartialFunctionInterpretation createPartialFunctionInterpretation(); - /** - * Returns a new object of class 'Partial Type Interpratation'. - * - * - * @return a new object of class 'Partial Type Interpratation'. - * @generated - */ - PartialTypeInterpratation createPartialTypeInterpratation(); - /** * Returns a new object of class 'Unary Element Relation Link'. * @@ -138,6 +129,60 @@ public interface PartialinterpretationFactory extends EFactory { */ StringElement createStringElement(); + /** + * Returns a new object of class 'Scope'. + * + * + * @return a new object of class 'Scope'. + * @generated + */ + Scope createScope(); + + /** + * Returns a new object of class 'Partial Boolean Interpretation'. + * + * + * @return a new object of class 'Partial Boolean Interpretation'. + * @generated + */ + PartialBooleanInterpretation createPartialBooleanInterpretation(); + + /** + * Returns a new object of class 'Partial Integer Interpretation'. + * + * + * @return a new object of class 'Partial Integer Interpretation'. + * @generated + */ + PartialIntegerInterpretation createPartialIntegerInterpretation(); + + /** + * Returns a new object of class 'Partial Real Interpretation'. + * + * + * @return a new object of class 'Partial Real Interpretation'. + * @generated + */ + PartialRealInterpretation createPartialRealInterpretation(); + + /** + * Returns a new object of class 'Partial String Interpretation'. + * + * + * @return a new object of class 'Partial String Interpretation'. + * @generated + */ + PartialStringInterpretation createPartialStringInterpretation(); + + /** + * Returns a new object of class 'Partial Complex Type Interpretation'. + * + * + * @return a new object of class 'Partial Complex Type Interpretation'. + * @generated + */ + PartialComplexTypeInterpretation createPartialComplexTypeInterpretation(); + /** * Returns the package supported by this factory. * diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index f95262f9..ba04bca8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java @@ -122,31 +122,13 @@ public interface PartialinterpretationPackage extends EPackage { int PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = 5; /** - * The feature id for the 'Min New Elements' attribute. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 6; - - /** - * The feature id for the 'Max New Elements' attribute. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; - - /** - * The feature id for the 'Open World Element Prototypes' containment reference list. + * The feature id for the 'Open World Elements' containment reference list. * * * @generated * @ordered */ - int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8; + int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = 6; /** * The feature id for the 'Problem Conainer' containment reference. @@ -155,106 +137,34 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9; - - /** - * The feature id for the 'Stringelement' containment reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__STRINGELEMENT = 10; - - /** - * The feature id for the 'Stringelements' containment reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11; - - /** - * The feature id for the 'Realelements' containment reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__REALELEMENTS = 12; - - /** - * The feature id for the 'Integerelements' containment reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13; - - /** - * The feature id for the 'Booleanelements' containment reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14; - - /** - * The feature id for the 'Max New Integers' attribute. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15; - - /** - * The feature id for the 'Max New Reals' attribute. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16; - - /** - * The feature id for the 'Max New Strings' attribute. - * - * - * @generated - * @ordered - */ - int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; + int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 7; /** - * The feature id for the 'New Strings' containment reference list. + * The feature id for the 'Scopes' containment reference list. * * * @generated * @ordered */ - int PARTIAL_INTERPRETATION__NEW_STRINGS = 18; + int PARTIAL_INTERPRETATION__SCOPES = 8; /** - * The feature id for the 'New Reals' containment reference list. + * The feature id for the 'Min New Elements' attribute. * * * @generated * @ordered */ - int PARTIAL_INTERPRETATION__NEW_REALS = 19; + int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 9; /** - * The feature id for the 'New Integers' containment reference list. + * The feature id for the 'Max New Elements' attribute. * * * @generated * @ordered */ - int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20; + int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 10; /** * The number of structural features of the 'Partial Interpretation' class. @@ -263,7 +173,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21; + int PARTIAL_INTERPRETATION_FEATURE_COUNT = 11; /** * The number of operations of the 'Partial Interpretation' class. @@ -422,15 +332,6 @@ public interface PartialinterpretationPackage extends EPackage { */ int PARTIAL_TYPE_INTERPRATATION = 4; - /** - * The feature id for the 'Interpretation Of' reference. - * - * - * @generated - * @ordered - */ - int PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = 0; - /** * The feature id for the 'Elements' reference list. * @@ -438,16 +339,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 1; - - /** - * The feature id for the 'Supertype Interpretation' reference list. - * - * - * @generated - * @ordered - */ - int PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = 2; + int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0; /** * The number of structural features of the 'Partial Type Interpratation' class. @@ -456,7 +348,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 3; + int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 1; /** * The number of operations of the 'Partial Type Interpratation' class. @@ -634,6 +526,15 @@ public interface PartialinterpretationPackage extends EPackage { */ int NARY_RELATION_LINK_ELEMENT__INDEX = 0; + /** + * The feature id for the 'Param' reference. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_ELEMENT__PARAM = 1; + /** * The number of structural features of the 'Nary Relation Link Element' class. * @@ -641,7 +542,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1; + int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 2; /** * The number of operations of the 'Nary Relation Link Element' class. @@ -966,384 +867,549 @@ public interface PartialinterpretationPackage extends EPackage { /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation Partial Interpretation}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl Scope}' class. * * - * @return the meta object for class 'Partial Interpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope() * @generated */ - EClass getPartialInterpretation(); + int SCOPE = 15; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem Problem}'. + * The feature id for the 'Min New Elements' attribute. * * - * @return the meta object for the reference 'Problem'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Problem(); + int SCOPE__MIN_NEW_ELEMENTS = 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation Partialconstantinterpretation}'. + * The feature id for the 'Max New Elements' attribute. * * - * @return the meta object for the containment reference list 'Partialconstantinterpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Partialconstantinterpretation(); + int SCOPE__MAX_NEW_ELEMENTS = 1; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation Partialrelationinterpretation}'. + * The feature id for the 'Target Type Interpretation' reference. * * - * @return the meta object for the containment reference list 'Partialrelationinterpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Partialrelationinterpretation(); + int SCOPE__TARGET_TYPE_INTERPRETATION = 2; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation Partialfunctioninterpretation}'. + * The number of structural features of the 'Scope' class. * * - * @return the meta object for the containment reference list 'Partialfunctioninterpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Partialfunctioninterpretation(); + int SCOPE_FEATURE_COUNT = 3; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements New Elements}'. + * The number of operations of the 'Scope' class. * * - * @return the meta object for the containment reference list 'New Elements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_NewElements(); + int SCOPE_OPERATION_COUNT = 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl Partial Primitive Interpretation}' class. * * - * @return the meta object for the containment reference list 'Partialtypeinterpratation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation() - * @see #getPartialInterpretation() + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation() * @generated */ - EReference getPartialInterpretation_Partialtypeinterpratation(); + int PARTIAL_PRIMITIVE_INTERPRETATION = 16; /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the attribute 'Min New Elements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EAttribute getPartialInterpretation_MinNewElements(); + int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}'. + * The number of structural features of the 'Partial Primitive Interpretation' class. * * - * @return the meta object for the attribute 'Max New Elements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EAttribute getPartialInterpretation_MaxNewElements(); + int PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes Open World Element Prototypes}'. + * The number of operations of the 'Partial Primitive Interpretation' class. * * - * @return the meta object for the containment reference list 'Open World Element Prototypes'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_OpenWorldElementPrototypes(); + int PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0; /** - * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl Partial Boolean Interpretation}' class. * * - * @return the meta object for the containment reference 'Problem Conainer'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer() - * @see #getPartialInterpretation() + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation() * @generated */ - EReference getPartialInterpretation_ProblemConainer(); + int PARTIAL_BOOLEAN_INTERPRETATION = 17; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement Stringelement}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the containment reference list 'Stringelement'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Stringelement(); + int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements Stringelements}'. + * The number of structural features of the 'Partial Boolean Interpretation' class. * * - * @return the meta object for the containment reference list 'Stringelements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Stringelements(); + int PARTIAL_BOOLEAN_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements Realelements}'. + * The number of operations of the 'Partial Boolean Interpretation' class. * * - * @return the meta object for the containment reference list 'Realelements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Realelements(); + int PARTIAL_BOOLEAN_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements Integerelements}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl Partial Integer Interpretation}' class. * * - * @return the meta object for the containment reference list 'Integerelements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements() - * @see #getPartialInterpretation() + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation() * @generated */ - EReference getPartialInterpretation_Integerelements(); + int PARTIAL_INTEGER_INTERPRETATION = 18; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements Booleanelements}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the containment reference list 'Booleanelements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_Booleanelements(); + int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}'. + * The number of structural features of the 'Partial Integer Interpretation' class. * * - * @return the meta object for the attribute 'Max New Integers'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EAttribute getPartialInterpretation_MaxNewIntegers(); + int PARTIAL_INTEGER_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}'. + * The number of operations of the 'Partial Integer Interpretation' class. * * - * @return the meta object for the attribute 'Max New Reals'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EAttribute getPartialInterpretation_MaxNewReals(); + int PARTIAL_INTEGER_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl Partial Real Interpretation}' class. * * - * @return the meta object for the attribute 'Max New Strings'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings() - * @see #getPartialInterpretation() + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation() * @generated */ - EAttribute getPartialInterpretation_MaxNewStrings(); + int PARTIAL_REAL_INTERPRETATION = 19; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the containment reference list 'New Strings'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_NewStrings(); + int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}'. + * The number of structural features of the 'Partial Real Interpretation' class. * * - * @return the meta object for the containment reference list 'New Reals'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_NewReals(); + int PARTIAL_REAL_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}'. + * The number of operations of the 'Partial Real Interpretation' class. * * - * @return the meta object for the containment reference list 'New Integers'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers() - * @see #getPartialInterpretation() * @generated + * @ordered */ - EReference getPartialInterpretation_NewIntegers(); + int PARTIAL_REAL_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl Partial String Interpretation}' class. * * - * @return the meta object for class 'Partial Constant Interpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation() * @generated */ - EClass getPartialConstantInterpretation(); + int PARTIAL_STRING_INTERPRETATION = 20; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf Interpretation Of}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the reference 'Interpretation Of'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf() - * @see #getPartialConstantInterpretation() * @generated + * @ordered */ - EReference getPartialConstantInterpretation_InterpretationOf(); + int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS; /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation Partial Relation Interpretation}'. + * The number of structural features of the 'Partial String Interpretation' class. * * - * @return the meta object for class 'Partial Relation Interpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation * @generated + * @ordered */ - EClass getPartialRelationInterpretation(); + int PARTIAL_STRING_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf Interpretation Of}'. + * The number of operations of the 'Partial String Interpretation' class. * * - * @return the meta object for the reference 'Interpretation Of'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf() - * @see #getPartialRelationInterpretation() * @generated + * @ordered */ - EReference getPartialRelationInterpretation_InterpretationOf(); + int PARTIAL_STRING_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0; + /** - * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks Relationlinks}'. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl Partial Complex Type Interpretation}' class. * * - * @return the meta object for the containment reference list 'Relationlinks'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks() - * @see #getPartialRelationInterpretation() + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation() * @generated */ - EReference getPartialRelationInterpretation_Relationlinks(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION = 21; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1 Param1}'. + * The feature id for the 'Elements' reference list. * * - * @return the meta object for the reference 'Param1'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1() - * @see #getPartialRelationInterpretation() * @generated + * @ordered */ - EReference getPartialRelationInterpretation_Param1(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2 Param2}'. + * The feature id for the 'Supertype Interpretation' reference list. * * - * @return the meta object for the reference 'Param2'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2() - * @see #getPartialRelationInterpretation() * @generated + * @ordered */ - EReference getPartialRelationInterpretation_Param2(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0; /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation Partial Function Interpretation}'. + * The feature id for the 'Interpretation Of' reference. * * - * @return the meta object for class 'Partial Function Interpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation * @generated + * @ordered */ - EClass getPartialFunctionInterpretation(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 1; /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf Interpretation Of}'. + * The number of structural features of the 'Partial Complex Type Interpretation' class. * * - * @return the meta object for the reference 'Interpretation Of'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf() - * @see #getPartialFunctionInterpretation() * @generated + * @ordered */ - EReference getPartialFunctionInterpretation_InterpretationOf(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 2; /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation Partial Type Interpratation}'. + * The number of operations of the 'Partial Complex Type Interpretation' class. * * - * @return the meta object for class 'Partial Type Interpratation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation * @generated + * @ordered */ - EClass getPartialTypeInterpratation(); + int PARTIAL_COMPLEX_TYPE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0; + /** - * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf Interpretation Of}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation Partial Interpretation}'. * * - * @return the meta object for the reference 'Interpretation Of'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf() - * @see #getPartialTypeInterpratation() + * @return the meta object for class 'Partial Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation * @generated */ - EReference getPartialTypeInterpratation_InterpretationOf(); + EClass getPartialInterpretation(); /** - * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}'. + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem Problem}'. * * - * @return the meta object for the reference list 'Elements'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements() - * @see #getPartialTypeInterpratation() + * @return the meta object for the reference 'Problem'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem() + * @see #getPartialInterpretation() * @generated */ - EReference getPartialTypeInterpratation_Elements(); + EReference getPartialInterpretation_Problem(); /** - * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation Supertype Interpretation}'. + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation Partialconstantinterpretation}'. * * - * @return the meta object for the reference list 'Supertype Interpretation'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation() + * @return the meta object for the containment reference list 'Partialconstantinterpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Partialconstantinterpretation(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation Partialrelationinterpretation}'. + * + * + * @return the meta object for the containment reference list 'Partialrelationinterpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Partialrelationinterpretation(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation Partialfunctioninterpretation}'. + * + * + * @return the meta object for the containment reference list 'Partialfunctioninterpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Partialfunctioninterpretation(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements New Elements}'. + * + * + * @return the meta object for the containment reference list 'New Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_NewElements(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}'. + * + * + * @return the meta object for the containment reference list 'Partialtypeinterpratation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Partialtypeinterpratation(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements Open World Elements}'. + * + * + * @return the meta object for the containment reference list 'Open World Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_OpenWorldElements(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}'. + * + * + * @return the meta object for the containment reference 'Problem Conainer'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_ProblemConainer(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes Scopes}'. + * + * + * @return the meta object for the containment reference list 'Scopes'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Scopes(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}'. + * + * + * @return the meta object for the attribute 'Min New Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements() + * @see #getPartialInterpretation() + * @generated + */ + EAttribute getPartialInterpretation_MinNewElements(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}'. + * + * + * @return the meta object for the attribute 'Max New Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements() + * @see #getPartialInterpretation() + * @generated + */ + EAttribute getPartialInterpretation_MaxNewElements(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'. + * + * + * @return the meta object for class 'Partial Constant Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation + * @generated + */ + EClass getPartialConstantInterpretation(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf Interpretation Of}'. + * + * + * @return the meta object for the reference 'Interpretation Of'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf() + * @see #getPartialConstantInterpretation() + * @generated + */ + EReference getPartialConstantInterpretation_InterpretationOf(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation Partial Relation Interpretation}'. + * + * + * @return the meta object for class 'Partial Relation Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation + * @generated + */ + EClass getPartialRelationInterpretation(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf Interpretation Of}'. + * + * + * @return the meta object for the reference 'Interpretation Of'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf() + * @see #getPartialRelationInterpretation() + * @generated + */ + EReference getPartialRelationInterpretation_InterpretationOf(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks Relationlinks}'. + * + * + * @return the meta object for the containment reference list 'Relationlinks'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks() + * @see #getPartialRelationInterpretation() + * @generated + */ + EReference getPartialRelationInterpretation_Relationlinks(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1 Param1}'. + * + * + * @return the meta object for the reference 'Param1'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1() + * @see #getPartialRelationInterpretation() + * @generated + */ + EReference getPartialRelationInterpretation_Param1(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2 Param2}'. + * + * + * @return the meta object for the reference 'Param2'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2() + * @see #getPartialRelationInterpretation() + * @generated + */ + EReference getPartialRelationInterpretation_Param2(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation Partial Function Interpretation}'. + * + * + * @return the meta object for class 'Partial Function Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation + * @generated + */ + EClass getPartialFunctionInterpretation(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf Interpretation Of}'. + * + * + * @return the meta object for the reference 'Interpretation Of'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf() + * @see #getPartialFunctionInterpretation() + * @generated + */ + EReference getPartialFunctionInterpretation_InterpretationOf(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation Partial Type Interpratation}'. + * + * + * @return the meta object for class 'Partial Type Interpratation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation + * @generated + */ + EClass getPartialTypeInterpratation(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}'. + * + * + * @return the meta object for the reference list 'Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements() * @see #getPartialTypeInterpratation() * @generated */ - EReference getPartialTypeInterpratation_SupertypeInterpretation(); + EReference getPartialTypeInterpratation_Elements(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink Relation Link}'. @@ -1450,6 +1516,17 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute getNaryRelationLinkElement_Index(); + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam Param}'. + * + * + * @return the meta object for the reference 'Param'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam() + * @see #getNaryRelationLinkElement() + * @generated + */ + EReference getNaryRelationLinkElement_Param(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement Primitive Element}'. * @@ -1555,6 +1632,131 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute getStringElement_Value(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope Scope}'. + * + * + * @return the meta object for class 'Scope'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope + * @generated + */ + EClass getScope(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}'. + * + * + * @return the meta object for the attribute 'Min New Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements() + * @see #getScope() + * @generated + */ + EAttribute getScope_MinNewElements(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}'. + * + * + * @return the meta object for the attribute 'Max New Elements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements() + * @see #getScope() + * @generated + */ + EAttribute getScope_MaxNewElements(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}'. + * + * + * @return the meta object for the reference 'Target Type Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation() + * @see #getScope() + * @generated + */ + EReference getScope_TargetTypeInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation Partial Primitive Interpretation}'. + * + * + * @return the meta object for class 'Partial Primitive Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation + * @generated + */ + EClass getPartialPrimitiveInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation Partial Boolean Interpretation}'. + * + * + * @return the meta object for class 'Partial Boolean Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation + * @generated + */ + EClass getPartialBooleanInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation Partial Integer Interpretation}'. + * + * + * @return the meta object for class 'Partial Integer Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation + * @generated + */ + EClass getPartialIntegerInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation Partial Real Interpretation}'. + * + * + * @return the meta object for class 'Partial Real Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation + * @generated + */ + EClass getPartialRealInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation Partial String Interpretation}'. + * + * + * @return the meta object for class 'Partial String Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation + * @generated + */ + EClass getPartialStringInterpretation(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation Partial Complex Type Interpretation}'. + * + * + * @return the meta object for class 'Partial Complex Type Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation + * @generated + */ + EClass getPartialComplexTypeInterpretation(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation Supertype Interpretation}'. + * + * + * @return the meta object for the reference list 'Supertype Interpretation'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation() + * @see #getPartialComplexTypeInterpretation() + * @generated + */ + EReference getPartialComplexTypeInterpretation_SupertypeInterpretation(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf Interpretation Of}'. + * + * + * @return the meta object for the reference 'Interpretation Of'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf() + * @see #getPartialComplexTypeInterpretation() + * @generated + */ + EReference getPartialComplexTypeInterpretation_InterpretationOf(); + /** * Returns the factory that creates the instances of the model. * @@ -1637,28 +1839,12 @@ public interface PartialinterpretationPackage extends EPackage { EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation(); /** - * The meta object literal for the 'Min New Elements' attribute feature. + * The meta object literal for the 'Open World Elements' containment reference list feature. * * * @generated */ - EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements(); - - /** - * The meta object literal for the 'Max New Elements' attribute feature. - * - * - * @generated - */ - EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); - - /** - * The meta object literal for the 'Open World Element Prototypes' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes(); + EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = eINSTANCE.getPartialInterpretation_OpenWorldElements(); /** * The meta object literal for the 'Problem Conainer' containment reference feature. @@ -1669,92 +1855,28 @@ public interface PartialinterpretationPackage extends EPackage { EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer(); /** - * The meta object literal for the 'Stringelement' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement(); - - /** - * The meta object literal for the 'Stringelements' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements(); - - /** - * The meta object literal for the 'Realelements' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements(); - - /** - * The meta object literal for the 'Integerelements' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements(); - - /** - * The meta object literal for the 'Booleanelements' containment reference list feature. - * - * - * @generated - */ - EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements(); - - /** - * The meta object literal for the 'Max New Integers' attribute feature. - * - * - * @generated - */ - EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers(); - - /** - * The meta object literal for the 'Max New Reals' attribute feature. - * - * - * @generated - */ - EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals(); - - /** - * The meta object literal for the 'Max New Strings' attribute feature. - * - * - * @generated - */ - EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); - - /** - * The meta object literal for the 'New Strings' containment reference list feature. + * The meta object literal for the 'Scopes' containment reference list feature. * * * @generated */ - EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings(); + EReference PARTIAL_INTERPRETATION__SCOPES = eINSTANCE.getPartialInterpretation_Scopes(); /** - * The meta object literal for the 'New Reals' containment reference list feature. + * The meta object literal for the 'Min New Elements' attribute feature. * * * @generated */ - EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals(); + EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements(); /** - * The meta object literal for the 'New Integers' containment reference list feature. + * The meta object literal for the 'Max New Elements' attribute feature. * * * @generated */ - EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers(); + EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl Partial Constant Interpretation}' class. @@ -1844,14 +1966,6 @@ public interface PartialinterpretationPackage extends EPackage { */ EClass PARTIAL_TYPE_INTERPRATATION = eINSTANCE.getPartialTypeInterpratation(); - /** - * The meta object literal for the 'Interpretation Of' reference feature. - * - * - * @generated - */ - EReference PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = eINSTANCE.getPartialTypeInterpratation_InterpretationOf(); - /** * The meta object literal for the 'Elements' reference list feature. * @@ -1860,14 +1974,6 @@ public interface PartialinterpretationPackage extends EPackage { */ EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements(); - /** - * The meta object literal for the 'Supertype Interpretation' reference list feature. - * - * - * @generated - */ - EReference PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialTypeInterpratation_SupertypeInterpretation(); - /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl Relation Link}' class. * @@ -1958,6 +2064,14 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); + /** + * The meta object literal for the 'Param' reference feature. + * + * + * @generated + */ + EReference NARY_RELATION_LINK_ELEMENT__PARAM = eINSTANCE.getNaryRelationLinkElement_Param(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl Primitive Element}' class. * @@ -2048,6 +2162,116 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl Scope}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope() + * @generated + */ + EClass SCOPE = eINSTANCE.getScope(); + + /** + * The meta object literal for the 'Min New Elements' attribute feature. + * + * + * @generated + */ + EAttribute SCOPE__MIN_NEW_ELEMENTS = eINSTANCE.getScope_MinNewElements(); + + /** + * The meta object literal for the 'Max New Elements' attribute feature. + * + * + * @generated + */ + EAttribute SCOPE__MAX_NEW_ELEMENTS = eINSTANCE.getScope_MaxNewElements(); + + /** + * The meta object literal for the 'Target Type Interpretation' reference feature. + * + * + * @generated + */ + EReference SCOPE__TARGET_TYPE_INTERPRETATION = eINSTANCE.getScope_TargetTypeInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl Partial Primitive Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation() + * @generated + */ + EClass PARTIAL_PRIMITIVE_INTERPRETATION = eINSTANCE.getPartialPrimitiveInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl Partial Boolean Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation() + * @generated + */ + EClass PARTIAL_BOOLEAN_INTERPRETATION = eINSTANCE.getPartialBooleanInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl Partial Integer Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation() + * @generated + */ + EClass PARTIAL_INTEGER_INTERPRETATION = eINSTANCE.getPartialIntegerInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl Partial Real Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation() + * @generated + */ + EClass PARTIAL_REAL_INTERPRETATION = eINSTANCE.getPartialRealInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl Partial String Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation() + * @generated + */ + EClass PARTIAL_STRING_INTERPRETATION = eINSTANCE.getPartialStringInterpretation(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl Partial Complex Type Interpretation}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation() + * @generated + */ + EClass PARTIAL_COMPLEX_TYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation(); + + /** + * The meta object literal for the 'Supertype Interpretation' reference list feature. + * + * + * @generated + */ + EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation_SupertypeInterpretation(); + + /** + * The meta object literal for the 'Interpretation Of' reference feature. + * + * + * @generated + */ + EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialComplexTypeInterpretation_InterpretationOf(); + } } //PartialinterpretationPackage diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java new file mode 100644 index 00000000..ba9435c2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java @@ -0,0 +1,106 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Scope'. + * + * + *

    + * The following features are supported: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}
      • + *
    + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope() + * @model + * @generated + */ +public interface Scope extends EObject { + /** + * Returns the value of the 'Min New Elements' attribute. + * The default value is "0". + * + *

    + * If the meaning of the 'Min New Elements' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Min New Elements' attribute. + * @see #setMinNewElements(int) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MinNewElements() + * @model default="0" required="true" + * @generated + */ + int getMinNewElements(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}' attribute. + * + * + * @param value the new value of the 'Min New Elements' attribute. + * @see #getMinNewElements() + * @generated + */ + void setMinNewElements(int value); + + /** + * Returns the value of the 'Max New Elements' attribute. + * The default value is "-1". + * + *

    + * If the meaning of the 'Max New Elements' attribute isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Max New Elements' attribute. + * @see #setMaxNewElements(int) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MaxNewElements() + * @model default="-1" required="true" + * @generated + */ + int getMaxNewElements(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}' attribute. + * + * + * @param value the new value of the 'Max New Elements' attribute. + * @see #getMaxNewElements() + * @generated + */ + void setMaxNewElements(int value); + + /** + * Returns the value of the 'Target Type Interpretation' reference. + * + *

    + * If the meaning of the 'Target Type Interpretation' reference isn't clear, + * there really should be more of a description here... + *

    + * + * @return the value of the 'Target Type Interpretation' reference. + * @see #setTargetTypeInterpretation(PartialTypeInterpratation) + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_TargetTypeInterpretation() + * @model required="true" + * @generated + */ + PartialTypeInterpratation getTargetTypeInterpretation(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}' reference. + * + * + * @param value the new value of the 'Target Type Interpretation' reference. + * @see #getTargetTypeInterpretation() + * @generated + */ + void setTargetTypeInterpretation(PartialTypeInterpratation value); + +} // Scope diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java index 40e6549d..749a03c5 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java @@ -2,6 +2,7 @@ */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; @@ -9,6 +10,7 @@ import org.eclipse.emf.common.notify.Notification; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; import org.eclipse.emf.ecore.impl.ENotificationImpl; import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; @@ -21,6 +23,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; *

    *
      *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex Index}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getParam Param}
      • *
    * * @generated @@ -46,6 +49,16 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im */ protected int index = INDEX_EDEFAULT; + /** + * The cached value of the '{@link #getParam() Param}' reference. + * + * + * @see #getParam() + * @generated + * @ordered + */ + protected DefinedElement param; + /** * * @@ -86,6 +99,44 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX, oldIndex, index)); } + /** + * + * + * @generated + */ + public DefinedElement getParam() { + if (param != null && param.eIsProxy()) { + InternalEObject oldParam = (InternalEObject)param; + param = (DefinedElement)eResolveProxy(oldParam); + if (param != oldParam) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param)); + } + } + return param; + } + + /** + * + * + * @generated + */ + public DefinedElement basicGetParam() { + return param; + } + + /** + * + * + * @generated + */ + public void setParam(DefinedElement newParam) { + DefinedElement oldParam = param; + param = newParam; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param)); + } + /** * * @@ -96,6 +147,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im switch (featureID) { case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: return getIndex(); + case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: + if (resolve) return getParam(); + return basicGetParam(); } return super.eGet(featureID, resolve, coreType); } @@ -111,6 +165,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: setIndex((Integer)newValue); return; + case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: + setParam((DefinedElement)newValue); + return; } super.eSet(featureID, newValue); } @@ -126,6 +183,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: setIndex(INDEX_EDEFAULT); return; + case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: + setParam((DefinedElement)null); + return; } super.eUnset(featureID); } @@ -140,6 +200,8 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im switch (featureID) { case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX: return index != INDEX_EDEFAULT; + case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM: + return param != null; } return super.eIsSet(featureID); } diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java new file mode 100644 index 00000000..6c549300 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Partial Boolean Interpretation'. + * + * + * @generated + */ +public class PartialBooleanInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialBooleanInterpretation { + /** + * + * + * @generated + */ + protected PartialBooleanInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_BOOLEAN_INTERPRETATION; + } + +} //PartialBooleanInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java new file mode 100644 index 00000000..07ee282d --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java @@ -0,0 +1,198 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +import org.eclipse.emf.ecore.util.EObjectResolvingEList; + +/** + * + * An implementation of the model object 'Partial Complex Type Interpretation'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getSupertypeInterpretation Supertype Interpretation}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getInterpretationOf Interpretation Of}
      • + *
    + * + * @generated + */ +public class PartialComplexTypeInterpretationImpl extends PartialTypeInterpratationImpl implements PartialComplexTypeInterpretation { + /** + * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list. + * + * + * @see #getSupertypeInterpretation() + * @generated + * @ordered + */ + protected EList supertypeInterpretation; + + /** + * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference. + * + * + * @see #getInterpretationOf() + * @generated + * @ordered + */ + protected TypeDeclaration interpretationOf; + + /** + * + * + * @generated + */ + protected PartialComplexTypeInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_COMPLEX_TYPE_INTERPRETATION; + } + + /** + * + * + * @generated + */ + public EList getSupertypeInterpretation() { + if (supertypeInterpretation == null) { + supertypeInterpretation = new EObjectResolvingEList(PartialComplexTypeInterpretation.class, this, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION); + } + return supertypeInterpretation; + } + + /** + * + * + * @generated + */ + public TypeDeclaration getInterpretationOf() { + if (interpretationOf != null && interpretationOf.eIsProxy()) { + InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf; + interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf); + if (interpretationOf != oldInterpretationOf) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); + } + } + return interpretationOf; + } + + /** + * + * + * @generated + */ + public TypeDeclaration basicGetInterpretationOf() { + return interpretationOf; + } + + /** + * + * + * @generated + */ + public void setInterpretationOf(TypeDeclaration newInterpretationOf) { + TypeDeclaration oldInterpretationOf = interpretationOf; + interpretationOf = newInterpretationOf; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: + return getSupertypeInterpretation(); + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: + if (resolve) return getInterpretationOf(); + return basicGetInterpretationOf(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: + getSupertypeInterpretation().clear(); + getSupertypeInterpretation().addAll((Collection)newValue); + return; + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: + setInterpretationOf((TypeDeclaration)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: + getSupertypeInterpretation().clear(); + return; + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: + setInterpretationOf((TypeDeclaration)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION: + return supertypeInterpretation != null && !supertypeInterpretation.isEmpty(); + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF: + return interpretationOf != null; + } + return super.eIsSet(featureID); + } + +} //PartialComplexTypeInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java new file mode 100644 index 00000000..d3e034c3 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Partial Integer Interpretation'. + * + * + * @generated + */ +public class PartialIntegerInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialIntegerInterpretation { + /** + * + * + * @generated + */ + protected PartialIntegerInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_INTEGER_INTERPRETATION; + } + +} //PartialIntegerInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index dd744606..bce3e2e0 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java @@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; - -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement; -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; - -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; -import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; import java.util.Collection; import org.eclipse.emf.common.notify.Notification; @@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation Partialfunctioninterpretation}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements New Elements}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation Partialtypeinterpratation}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements Open World Elements}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes Scopes}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements Min New Elements}
    • *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements Max New Elements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes Open World Element Prototypes}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement Stringelement}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements Stringelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements Realelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements Integerelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements Booleanelements}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers Max New Integers}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals Max New Reals}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings Max New Strings}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings New Strings}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals New Reals}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers New Integers}
    • * * * @generated @@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl protected EList partialtypeinterpratation; /** - * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute. - * - * - * @see #getMinNewElements() - * @generated - * @ordered - */ - protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute. - * - * - * @see #getMinNewElements() - * @generated - * @ordered - */ - protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; - - /** - * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute. - * - * - * @see #getMaxNewElements() - * @generated - * @ordered - */ - protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute. - * - * - * @see #getMaxNewElements() - * @generated - * @ordered - */ - protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; - - /** - * The cached value of the '{@link #getOpenWorldElementPrototypes() Open World Element Prototypes}' containment reference list. + * The cached value of the '{@link #getOpenWorldElements() Open World Elements}' containment reference list. * * - * @see #getOpenWorldElementPrototypes() + * @see #getOpenWorldElements() * @generated * @ordered */ - protected EList openWorldElementPrototypes; + protected EList openWorldElements; /** * The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference. @@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl protected LogicProblem problemConainer; /** - * The cached value of the '{@link #getStringelement() Stringelement}' containment reference list. - * - * - * @see #getStringelement() - * @generated - * @ordered - */ - protected EList stringelement; - - /** - * The cached value of the '{@link #getStringelements() Stringelements}' containment reference list. - * - * - * @see #getStringelements() - * @generated - * @ordered - */ - protected EList stringelements; - - /** - * The cached value of the '{@link #getRealelements() Realelements}' containment reference list. - * - * - * @see #getRealelements() - * @generated - * @ordered - */ - protected EList realelements; - - /** - * The cached value of the '{@link #getIntegerelements() Integerelements}' containment reference list. + * The cached value of the '{@link #getScopes() Scopes}' containment reference list. * * - * @see #getIntegerelements() + * @see #getScopes() * @generated * @ordered */ - protected EList integerelements; + protected EList scopes; /** - * The cached value of the '{@link #getBooleanelements() Booleanelements}' containment reference list. - * - * - * @see #getBooleanelements() - * @generated - * @ordered - */ - protected EList booleanelements; - - /** - * The default value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute. - * - * - * @see #getMaxNewIntegers() - * @generated - * @ordered - */ - protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute. - * - * - * @see #getMaxNewIntegers() - * @generated - * @ordered - */ - protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT; - - /** - * The default value of the '{@link #getMaxNewReals() Max New Reals}' attribute. - * - * - * @see #getMaxNewReals() - * @generated - * @ordered - */ - protected static final int MAX_NEW_REALS_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMaxNewReals() Max New Reals}' attribute. - * - * - * @see #getMaxNewReals() - * @generated - * @ordered - */ - protected int maxNewReals = MAX_NEW_REALS_EDEFAULT; - - /** - * The default value of the '{@link #getMaxNewStrings() Max New Strings}' attribute. - * - * - * @see #getMaxNewStrings() - * @generated - * @ordered - */ - protected static final int MAX_NEW_STRINGS_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getMaxNewStrings() Max New Strings}' attribute. + * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute. * * - * @see #getMaxNewStrings() + * @see #getMinNewElements() * @generated * @ordered */ - protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; + protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; /** - * The cached value of the '{@link #getNewStrings() New Strings}' containment reference list. + * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute. * * - * @see #getNewStrings() + * @see #getMinNewElements() * @generated * @ordered */ - protected EList newStrings; + protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; /** - * The cached value of the '{@link #getNewReals() New Reals}' containment reference list. + * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute. * * - * @see #getNewReals() + * @see #getMaxNewElements() * @generated * @ordered */ - protected EList newReals; + protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1; /** - * The cached value of the '{@link #getNewIntegers() New Integers}' containment reference list. + * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute. * * - * @see #getNewIntegers() + * @see #getMaxNewElements() * @generated * @ordered */ - protected EList newIntegers; + protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; /** * @@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public int getMinNewElements() { - return minNewElements; - } - - /** - * - * - * @generated - */ - public void setMinNewElements(int newMinNewElements) { - int oldMinNewElements = minNewElements; - minNewElements = newMinNewElements; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); - } - - /** - * - * - * @generated - */ - public int getMaxNewElements() { - return maxNewElements; - } - - /** - * - * - * @generated - */ - public void setMaxNewElements(int newMaxNewElements) { - int oldMaxNewElements = maxNewElements; - maxNewElements = newMaxNewElements; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); - } - - /** - * - * - * @generated - */ - public EList getOpenWorldElementPrototypes() { - if (openWorldElementPrototypes == null) { - openWorldElementPrototypes = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); + public EList getOpenWorldElements() { + if (openWorldElements == null) { + openWorldElements = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); } - return openWorldElementPrototypes; + return openWorldElements; } /** @@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public EList getStringelement() { - if (stringelement == null) { - stringelement = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); - } - return stringelement; - } - - /** - * - * - * @generated - */ - public EList getStringelements() { - if (stringelements == null) { - stringelements = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS); - } - return stringelements; - } - - /** - * - * - * @generated - */ - public EList getRealelements() { - if (realelements == null) { - realelements = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS); - } - return realelements; - } - - /** - * - * - * @generated - */ - public EList getIntegerelements() { - if (integerelements == null) { - integerelements = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS); - } - return integerelements; - } - - /** - * - * - * @generated - */ - public EList getBooleanelements() { - if (booleanelements == null) { - booleanelements = new EObjectContainmentEList(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS); + public EList getScopes() { + if (scopes == null) { + scopes = new EObjectContainmentEList(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES); } - return booleanelements; - } - - /** - * - * - * @generated - */ - public int getMaxNewIntegers() { - return maxNewIntegers; - } - - /** - * - * - * @generated - */ - public void setMaxNewIntegers(int newMaxNewIntegers) { - int oldMaxNewIntegers = maxNewIntegers; - maxNewIntegers = newMaxNewIntegers; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers)); + return scopes; } /** @@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public int getMaxNewReals() { - return maxNewReals; + public int getMinNewElements() { + return minNewElements; } /** @@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setMaxNewReals(int newMaxNewReals) { - int oldMaxNewReals = maxNewReals; - maxNewReals = newMaxNewReals; + public void setMinNewElements(int newMinNewElements) { + int oldMinNewElements = minNewElements; + minNewElements = newMinNewElements; if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); } /** @@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public int getMaxNewStrings() { - return maxNewStrings; + public int getMaxNewElements() { + return maxNewElements; } /** @@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setMaxNewStrings(int newMaxNewStrings) { - int oldMaxNewStrings = maxNewStrings; - maxNewStrings = newMaxNewStrings; + public void setMaxNewElements(int newMaxNewElements) { + int oldMaxNewElements = maxNewElements; + maxNewElements = newMaxNewElements; if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); - } - - /** - * - * - * @generated - */ - public EList getNewStrings() { - if (newStrings == null) { - newStrings = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS); - } - return newStrings; - } - - /** - * - * - * @generated - */ - public EList getNewReals() { - if (newReals == null) { - newReals = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS); - } - return newReals; - } - - /** - * - * - * @generated - */ - public EList getNewIntegers() { - if (newIntegers == null) { - newIntegers = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS); - } - return newIntegers; + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); } /** @@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl return ((InternalEList)getNewElements()).basicRemove(otherEnd, msgs); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: return ((InternalEList)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: - return ((InternalEList)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + return ((InternalEList)getOpenWorldElements()).basicRemove(otherEnd, msgs); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: return basicSetProblemConainer(null, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - return ((InternalEList)getStringelement()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - return ((InternalEList)getStringelements()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - return ((InternalEList)getRealelements()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - return ((InternalEList)getIntegerelements()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - return ((InternalEList)getBooleanelements()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: - return ((InternalEList)getNewStrings()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - return ((InternalEList)getNewReals()).basicRemove(otherEnd, msgs); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - return ((InternalEList)getNewIntegers()).basicRemove(otherEnd, msgs); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + return ((InternalEList)getScopes()).basicRemove(otherEnd, msgs); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl return getNewElements(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: return getPartialtypeinterpratation(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + return getOpenWorldElements(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: + return getProblemConainer(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + return getScopes(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: return getMinNewElements(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: return getMaxNewElements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: - return getOpenWorldElementPrototypes(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: - return getProblemConainer(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - return getStringelement(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - return getStringelements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - return getRealelements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - return getIntegerelements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - return getBooleanelements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: - return getMaxNewIntegers(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: - return getMaxNewReals(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: - return getMaxNewStrings(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: - return getNewStrings(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - return getNewReals(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - return getNewIntegers(); } return super.eGet(featureID, resolve, coreType); } @@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl getPartialtypeinterpratation().clear(); getPartialtypeinterpratation().addAll((Collection)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: - setMinNewElements((Integer)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: - setMaxNewElements((Integer)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: - getOpenWorldElementPrototypes().clear(); - getOpenWorldElementPrototypes().addAll((Collection)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + getOpenWorldElements().clear(); + getOpenWorldElements().addAll((Collection)newValue); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: setProblemConainer((LogicProblem)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - getStringelement().clear(); - getStringelement().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - getStringelements().clear(); - getStringelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - getRealelements().clear(); - getRealelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - getIntegerelements().clear(); - getIntegerelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - getBooleanelements().clear(); - getBooleanelements().addAll((Collection)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: - setMaxNewIntegers((Integer)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: - setMaxNewReals((Integer)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: - setMaxNewStrings((Integer)newValue); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: - getNewStrings().clear(); - getNewStrings().addAll((Collection)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + getScopes().clear(); + getScopes().addAll((Collection)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - getNewReals().clear(); - getNewReals().addAll((Collection)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: + setMinNewElements((Integer)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - getNewIntegers().clear(); - getNewIntegers().addAll((Collection)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: + setMaxNewElements((Integer)newValue); return; } super.eSet(featureID, newValue); @@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: getPartialtypeinterpratation().clear(); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: - setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: - setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: - getOpenWorldElementPrototypes().clear(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + getOpenWorldElements().clear(); return; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: setProblemConainer((LogicProblem)null); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - getStringelement().clear(); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - getStringelements().clear(); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - getRealelements().clear(); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - getIntegerelements().clear(); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - getBooleanelements().clear(); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: - setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: - setMaxNewReals(MAX_NEW_REALS_EDEFAULT); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: - setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); - return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: - getNewStrings().clear(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + getScopes().clear(); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - getNewReals().clear(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: + setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - getNewIntegers().clear(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: + setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); return; } super.eUnset(featureID); @@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl return newElements != null && !newElements.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION: return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS: + return openWorldElements != null && !openWorldElements.isEmpty(); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: + return problemConainer != null; + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES: + return scopes != null && !scopes.isEmpty(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS: return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: - return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER: - return problemConainer != null; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT: - return stringelement != null && !stringelement.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS: - return stringelements != null && !stringelements.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS: - return realelements != null && !realelements.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS: - return integerelements != null && !integerelements.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: - return booleanelements != null && !booleanelements.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS: - return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS: - return maxNewReals != MAX_NEW_REALS_EDEFAULT; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: - return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: - return newStrings != null && !newStrings.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: - return newReals != null && !newReals.isEmpty(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: - return newIntegers != null && !newIntegers.isEmpty(); } return super.eIsSet(featureID); } @@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl result.append(minNewElements); result.append(", maxNewElements: "); result.append(maxNewElements); - result.append(", maxNewIntegers: "); - result.append(maxNewIntegers); - result.append(", maxNewReals: "); - result.append(maxNewReals); - result.append(", maxNewStrings: "); - result.append(maxNewStrings); result.append(')'); return result.toString(); } diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java new file mode 100644 index 00000000..cc426031 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Partial Primitive Interpretation'. + * + * + * @generated + */ +public abstract class PartialPrimitiveInterpretationImpl extends PartialTypeInterpratationImpl implements PartialPrimitiveInterpretation { + /** + * + * + * @generated + */ + protected PartialPrimitiveInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_PRIMITIVE_INTERPRETATION; + } + +} //PartialPrimitiveInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java new file mode 100644 index 00000000..d14bdaa2 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Partial Real Interpretation'. + * + * + * @generated + */ +public class PartialRealInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialRealInterpretation { + /** + * + * + * @generated + */ + protected PartialRealInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_REAL_INTERPRETATION; + } + +} //PartialRealInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java new file mode 100644 index 00000000..2a887d43 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Partial String Interpretation'. + * + * + * @generated + */ +public class PartialStringInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialStringInterpretation { + /** + * + * + * @generated + */ + protected PartialStringInterpretationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.PARTIAL_STRING_INTERPRETATION; + } + +} //PartialStringInterpretationImpl diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java index 1090aaf7..beb45529 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java @@ -3,19 +3,12 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; -import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; - import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; import java.util.Collection; -import org.eclipse.emf.common.notify.Notification; - import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EClass; -import org.eclipse.emf.ecore.InternalEObject; - -import org.eclipse.emf.ecore.impl.ENotificationImpl; import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; import org.eclipse.emf.ecore.util.EObjectResolvingEList; @@ -27,24 +20,12 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList; * The following features are implemented: *

    *
      - *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getInterpretationOf Interpretation Of}
      • *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements Elements}
      • - *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getSupertypeInterpretation Supertype Interpretation}
      • *
    * * @generated */ -public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation { - /** - * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference. - * - * - * @see #getInterpretationOf() - * @generated - * @ordered - */ - protected TypeDeclaration interpretationOf; - +public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation { /** * The cached value of the '{@link #getElements() Elements}' reference list. * @@ -55,16 +36,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container */ protected EList elements; - /** - * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list. - * - * - * @see #getSupertypeInterpretation() - * @generated - * @ordered - */ - protected EList supertypeInterpretation; - /** * * @@ -84,44 +55,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container return PartialinterpretationPackage.Literals.PARTIAL_TYPE_INTERPRATATION; } - /** - * - * - * @generated - */ - public TypeDeclaration getInterpretationOf() { - if (interpretationOf != null && interpretationOf.eIsProxy()) { - InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf; - interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf); - if (interpretationOf != oldInterpretationOf) { - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); - } - } - return interpretationOf; - } - - /** - * - * - * @generated - */ - public TypeDeclaration basicGetInterpretationOf() { - return interpretationOf; - } - - /** - * - * - * @generated - */ - public void setInterpretationOf(TypeDeclaration newInterpretationOf) { - TypeDeclaration oldInterpretationOf = interpretationOf; - interpretationOf = newInterpretationOf; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf)); - } - /** * * @@ -134,18 +67,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container return elements; } - /** - * - * - * @generated - */ - public EList getSupertypeInterpretation() { - if (supertypeInterpretation == null) { - supertypeInterpretation = new EObjectResolvingEList(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION); - } - return supertypeInterpretation; - } - /** * * @@ -154,13 +75,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container @Override public Object eGet(int featureID, boolean resolve, boolean coreType) { switch (featureID) { - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: - if (resolve) return getInterpretationOf(); - return basicGetInterpretationOf(); case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: return getElements(); - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: - return getSupertypeInterpretation(); } return super.eGet(featureID, resolve, coreType); } @@ -174,17 +90,10 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container @Override public void eSet(int featureID, Object newValue) { switch (featureID) { - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: - setInterpretationOf((TypeDeclaration)newValue); - return; case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: getElements().clear(); getElements().addAll((Collection)newValue); return; - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: - getSupertypeInterpretation().clear(); - getSupertypeInterpretation().addAll((Collection)newValue); - return; } super.eSet(featureID, newValue); } @@ -197,15 +106,9 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container @Override public void eUnset(int featureID) { switch (featureID) { - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: - setInterpretationOf((TypeDeclaration)null); - return; case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: getElements().clear(); return; - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: - getSupertypeInterpretation().clear(); - return; } super.eUnset(featureID); } @@ -218,12 +121,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container @Override public boolean eIsSet(int featureID) { switch (featureID) { - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF: - return interpretationOf != null; case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS: return elements != null && !elements.isEmpty(); - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION: - return supertypeInterpretation != null && !supertypeInterpretation.isEmpty(); } return super.eIsSet(featureID); } diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java index ebd70a97..af1db8a1 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java @@ -60,7 +60,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation(); case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation(); case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation(); - case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: return createPartialTypeInterpratation(); case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink(); case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); @@ -69,6 +68,12 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement(); case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement(); case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement(); + case PartialinterpretationPackage.SCOPE: return createScope(); + case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: return createPartialBooleanInterpretation(); + case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: return createPartialIntegerInterpretation(); + case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: return createPartialRealInterpretation(); + case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: return createPartialStringInterpretation(); + case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: return createPartialComplexTypeInterpretation(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } @@ -114,16 +119,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa return partialFunctionInterpretation; } - /** - * - * - * @generated - */ - public PartialTypeInterpratation createPartialTypeInterpratation() { - PartialTypeInterpratationImpl partialTypeInterpratation = new PartialTypeInterpratationImpl(); - return partialTypeInterpratation; - } - /** * * @@ -204,6 +199,66 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa return stringElement; } + /** + * + * + * @generated + */ + public Scope createScope() { + ScopeImpl scope = new ScopeImpl(); + return scope; + } + + /** + * + * + * @generated + */ + public PartialBooleanInterpretation createPartialBooleanInterpretation() { + PartialBooleanInterpretationImpl partialBooleanInterpretation = new PartialBooleanInterpretationImpl(); + return partialBooleanInterpretation; + } + + /** + * + * + * @generated + */ + public PartialIntegerInterpretation createPartialIntegerInterpretation() { + PartialIntegerInterpretationImpl partialIntegerInterpretation = new PartialIntegerInterpretationImpl(); + return partialIntegerInterpretation; + } + + /** + * + * + * @generated + */ + public PartialRealInterpretation createPartialRealInterpretation() { + PartialRealInterpretationImpl partialRealInterpretation = new PartialRealInterpretationImpl(); + return partialRealInterpretation; + } + + /** + * + * + * @generated + */ + public PartialStringInterpretation createPartialStringInterpretation() { + PartialStringInterpretationImpl partialStringInterpretation = new PartialStringInterpretationImpl(); + return partialStringInterpretation; + } + + /** + * + * + * @generated + */ + public PartialComplexTypeInterpretation createPartialComplexTypeInterpretation() { + PartialComplexTypeInterpretationImpl partialComplexTypeInterpretation = new PartialComplexTypeInterpretationImpl(); + return partialComplexTypeInterpretation; + } + /** * * diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java index 5fae0d4e..c0515c43 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java @@ -11,16 +11,23 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; @@ -143,6 +150,55 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa */ private EClass stringElementEClass = null; + /** + * + * + * @generated + */ + private EClass scopeEClass = null; + + /** + * + * + * @generated + */ + private EClass partialPrimitiveInterpretationEClass = null; + + /** + * + * + * @generated + */ + private EClass partialBooleanInterpretationEClass = null; + + /** + * + * + * @generated + */ + private EClass partialIntegerInterpretationEClass = null; + + /** + * + * + * @generated + */ + private EClass partialRealInterpretationEClass = null; + + /** + * + * + * @generated + */ + private EClass partialStringInterpretationEClass = null; + + /** + * + * + * @generated + */ + private EClass partialComplexTypeInterpretationEClass = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -276,8 +332,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPartialInterpretation_MinNewElements() { - return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6); + public EReference getPartialInterpretation_OpenWorldElements() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(6); } /** @@ -285,8 +341,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPartialInterpretation_MaxNewElements() { - return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7); + public EReference getPartialInterpretation_ProblemConainer() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(7); } /** @@ -294,7 +350,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_OpenWorldElementPrototypes() { + public EReference getPartialInterpretation_Scopes() { return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); } @@ -303,8 +359,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_ProblemConainer() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9); + public EAttribute getPartialInterpretation_MinNewElements() { + return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(9); } /** @@ -312,8 +368,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_Stringelement() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10); + public EAttribute getPartialInterpretation_MaxNewElements() { + return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(10); } /** @@ -321,8 +377,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_Stringelements() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11); + public EClass getPartialConstantInterpretation() { + return partialConstantInterpretationEClass; } /** @@ -330,8 +386,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_Realelements() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12); + public EReference getPartialConstantInterpretation_InterpretationOf() { + return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0); } /** @@ -339,8 +395,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_Integerelements() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13); + public EClass getPartialRelationInterpretation() { + return partialRelationInterpretationEClass; } /** @@ -348,8 +404,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_Booleanelements() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14); + public EReference getPartialRelationInterpretation_InterpretationOf() { + return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0); } /** @@ -357,8 +413,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPartialInterpretation_MaxNewIntegers() { - return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15); + public EReference getPartialRelationInterpretation_Relationlinks() { + return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1); } /** @@ -366,8 +422,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPartialInterpretation_MaxNewReals() { - return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16); + public EReference getPartialRelationInterpretation_Param1() { + return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2); } /** @@ -375,8 +431,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPartialInterpretation_MaxNewStrings() { - return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17); + public EReference getPartialRelationInterpretation_Param2() { + return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3); } /** @@ -384,8 +440,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_NewStrings() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18); + public EClass getPartialFunctionInterpretation() { + return partialFunctionInterpretationEClass; } /** @@ -393,8 +449,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_NewReals() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19); + public EReference getPartialFunctionInterpretation_InterpretationOf() { + return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0); } /** @@ -402,8 +458,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_NewIntegers() { - return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20); + public EClass getPartialTypeInterpratation() { + return partialTypeInterpratationEClass; } /** @@ -411,8 +467,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getPartialConstantInterpretation() { - return partialConstantInterpretationEClass; + public EReference getPartialTypeInterpratation_Elements() { + return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0); } /** @@ -420,8 +476,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialConstantInterpretation_InterpretationOf() { - return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0); + public EClass getRelationLink() { + return relationLinkEClass; } /** @@ -429,8 +485,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getPartialRelationInterpretation() { - return partialRelationInterpretationEClass; + public EClass getUnaryElementRelationLink() { + return unaryElementRelationLinkEClass; } /** @@ -438,8 +494,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialRelationInterpretation_InterpretationOf() { - return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0); + public EReference getUnaryElementRelationLink_Param1() { + return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0); } /** @@ -447,8 +503,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialRelationInterpretation_Relationlinks() { - return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1); + public EClass getBinaryElementRelationLink() { + return binaryElementRelationLinkEClass; } /** @@ -456,8 +512,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialRelationInterpretation_Param1() { - return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2); + public EReference getBinaryElementRelationLink_Param1() { + return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0); } /** @@ -465,8 +521,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialRelationInterpretation_Param2() { - return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3); + public EReference getBinaryElementRelationLink_Param2() { + return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1); } /** @@ -474,8 +530,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getPartialFunctionInterpretation() { - return partialFunctionInterpretationEClass; + public EClass getNaryRelationLink() { + return naryRelationLinkEClass; } /** @@ -483,8 +539,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialFunctionInterpretation_InterpretationOf() { - return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0); + public EReference getNaryRelationLink_Elements() { + return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0); } /** @@ -492,8 +548,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getPartialTypeInterpratation() { - return partialTypeInterpratationEClass; + public EClass getNaryRelationLinkElement() { + return naryRelationLinkElementEClass; } /** @@ -501,8 +557,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialTypeInterpratation_InterpretationOf() { - return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0); + public EAttribute getNaryRelationLinkElement_Index() { + return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0); } /** @@ -510,8 +566,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialTypeInterpratation_Elements() { - return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1); + public EReference getNaryRelationLinkElement_Param() { + return (EReference)naryRelationLinkElementEClass.getEStructuralFeatures().get(1); } /** @@ -519,8 +575,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialTypeInterpratation_SupertypeInterpretation() { - return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2); + public EClass getPrimitiveElement() { + return primitiveElementEClass; } /** @@ -528,8 +584,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getRelationLink() { - return relationLinkEClass; + public EAttribute getPrimitiveElement_ValueSet() { + return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); } /** @@ -537,8 +593,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getUnaryElementRelationLink() { - return unaryElementRelationLinkEClass; + public EClass getBooleanElement() { + return booleanElementEClass; } /** @@ -546,8 +602,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getUnaryElementRelationLink_Param1() { - return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0); + public EAttribute getBooleanElement_Value() { + return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); } /** @@ -555,8 +611,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getBinaryElementRelationLink() { - return binaryElementRelationLinkEClass; + public EClass getIntegerElement() { + return integerElementEClass; } /** @@ -564,8 +620,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getBinaryElementRelationLink_Param1() { - return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0); + public EAttribute getIntegerElement_Value() { + return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); } /** @@ -573,8 +629,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getBinaryElementRelationLink_Param2() { - return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1); + public EClass getRealElement() { + return realElementEClass; } /** @@ -582,8 +638,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getNaryRelationLink() { - return naryRelationLinkEClass; + public EAttribute getRealElement_Value() { + return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); } /** @@ -591,8 +647,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getNaryRelationLink_Elements() { - return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0); + public EClass getStringElement() { + return stringElementEClass; } /** @@ -600,8 +656,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getNaryRelationLinkElement() { - return naryRelationLinkElementEClass; + public EAttribute getStringElement_Value() { + return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); } /** @@ -609,8 +665,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getNaryRelationLinkElement_Index() { - return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0); + public EClass getScope() { + return scopeEClass; } /** @@ -618,8 +674,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getPrimitiveElement() { - return primitiveElementEClass; + public EAttribute getScope_MinNewElements() { + return (EAttribute)scopeEClass.getEStructuralFeatures().get(0); } /** @@ -627,8 +683,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getPrimitiveElement_ValueSet() { - return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); + public EAttribute getScope_MaxNewElements() { + return (EAttribute)scopeEClass.getEStructuralFeatures().get(1); } /** @@ -636,8 +692,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getBooleanElement() { - return booleanElementEClass; + public EReference getScope_TargetTypeInterpretation() { + return (EReference)scopeEClass.getEStructuralFeatures().get(2); } /** @@ -645,8 +701,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getBooleanElement_Value() { - return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); + public EClass getPartialPrimitiveInterpretation() { + return partialPrimitiveInterpretationEClass; } /** @@ -654,8 +710,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getIntegerElement() { - return integerElementEClass; + public EClass getPartialBooleanInterpretation() { + return partialBooleanInterpretationEClass; } /** @@ -663,8 +719,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getIntegerElement_Value() { - return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); + public EClass getPartialIntegerInterpretation() { + return partialIntegerInterpretationEClass; } /** @@ -672,8 +728,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getRealElement() { - return realElementEClass; + public EClass getPartialRealInterpretation() { + return partialRealInterpretationEClass; } /** @@ -681,8 +737,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getRealElement_Value() { - return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); + public EClass getPartialStringInterpretation() { + return partialStringInterpretationEClass; } /** @@ -690,8 +746,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EClass getStringElement() { - return stringElementEClass; + public EClass getPartialComplexTypeInterpretation() { + return partialComplexTypeInterpretationEClass; } /** @@ -699,8 +755,17 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EAttribute getStringElement_Value() { - return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); + public EReference getPartialComplexTypeInterpretation_SupertypeInterpretation() { + return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getPartialComplexTypeInterpretation_InterpretationOf() { + return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(1); } /** @@ -738,21 +803,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION); createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS); createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); + createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS); + createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); + createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__SCOPES); createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS); - createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); - createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); - createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS); partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); @@ -767,9 +822,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF); partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION); - createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF); createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS); - createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION); relationLinkEClass = createEClass(RELATION_LINK); @@ -785,6 +838,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); + createEReference(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__PARAM); primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT); createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET); @@ -800,6 +854,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa stringElementEClass = createEClass(STRING_ELEMENT); createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE); + + scopeEClass = createEClass(SCOPE); + createEAttribute(scopeEClass, SCOPE__MIN_NEW_ELEMENTS); + createEAttribute(scopeEClass, SCOPE__MAX_NEW_ELEMENTS); + createEReference(scopeEClass, SCOPE__TARGET_TYPE_INTERPRETATION); + + partialPrimitiveInterpretationEClass = createEClass(PARTIAL_PRIMITIVE_INTERPRETATION); + + partialBooleanInterpretationEClass = createEClass(PARTIAL_BOOLEAN_INTERPRETATION); + + partialIntegerInterpretationEClass = createEClass(PARTIAL_INTEGER_INTERPRETATION); + + partialRealInterpretationEClass = createEClass(PARTIAL_REAL_INTERPRETATION); + + partialStringInterpretationEClass = createEClass(PARTIAL_STRING_INTERPRETATION); + + partialComplexTypeInterpretationEClass = createEClass(PARTIAL_COMPLEX_TYPE_INTERPRETATION); + createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION); + createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF); } /** @@ -842,6 +915,12 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa integerElementEClass.getESuperTypes().add(this.getPrimitiveElement()); realElementEClass.getESuperTypes().add(this.getPrimitiveElement()); stringElementEClass.getESuperTypes().add(this.getPrimitiveElement()); + partialPrimitiveInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation()); + partialBooleanInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); + partialIntegerInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); + partialRealInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); + partialStringInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation()); + partialComplexTypeInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation()); // Initialize classes, features, and operations; add parameters initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -851,21 +930,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getPartialInterpretation_OpenWorldElements(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getPartialInterpretation_Scopes(), this.getScope(), null, "scopes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); @@ -879,10 +948,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); - initEReference(getPartialTypeInterpratation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEReference(getPartialTypeInterpratation_SupertypeInterpretation(), this.getPartialTypeInterpratation(), null, "supertypeInterpretation", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -898,6 +965,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getNaryRelationLinkElement_Param(), theLogiclanguagePackage.getDefinedElement(), null, "param", null, 1, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); @@ -914,6 +982,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getScope_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getScope_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), null, "targetTypeInterpretation", null, 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(partialBooleanInterpretationEClass, PartialBooleanInterpretation.class, "PartialBooleanInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(partialIntegerInterpretationEClass, PartialIntegerInterpretation.class, "PartialIntegerInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(partialRealInterpretationEClass, PartialRealInterpretation.class, "PartialRealInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(partialStringInterpretationEClass, PartialStringInterpretation.class, "PartialStringInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(partialComplexTypeInterpretationEClass, PartialComplexTypeInterpretation.class, "PartialComplexTypeInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getPartialComplexTypeInterpretation_SupertypeInterpretation(), this.getPartialComplexTypeInterpretation(), null, "supertypeInterpretation", null, 0, -1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getPartialComplexTypeInterpretation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + // Create resource createResource(eNS_URI); } diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java new file mode 100644 index 00000000..4699aef6 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java @@ -0,0 +1,279 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl; + +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage; +import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +/** + * + * An implementation of the model object 'Scope'. + * + *

    + * The following features are implemented: + *

    + *
      + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements Min New Elements}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements Max New Elements}
      • + *
    • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation Target Type Interpretation}
      • + *
    + * + * @generated + */ +public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope { + /** + * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute. + * + * + * @see #getMinNewElements() + * @generated + * @ordered + */ + protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute. + * + * + * @see #getMinNewElements() + * @generated + * @ordered + */ + protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT; + + /** + * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute. + * + * + * @see #getMaxNewElements() + * @generated + * @ordered + */ + protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1; + + /** + * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute. + * + * + * @see #getMaxNewElements() + * @generated + * @ordered + */ + protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; + + /** + * The cached value of the '{@link #getTargetTypeInterpretation() Target Type Interpretation}' reference. + * + * + * @see #getTargetTypeInterpretation() + * @generated + * @ordered + */ + protected PartialTypeInterpratation targetTypeInterpretation; + + /** + * + * + * @generated + */ + protected ScopeImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return PartialinterpretationPackage.Literals.SCOPE; + } + + /** + * + * + * @generated + */ + public int getMinNewElements() { + return minNewElements; + } + + /** + * + * + * @generated + */ + public void setMinNewElements(int newMinNewElements) { + int oldMinNewElements = minNewElements; + minNewElements = newMinNewElements; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements)); + } + + /** + * + * + * @generated + */ + public int getMaxNewElements() { + return maxNewElements; + } + + /** + * + * + * @generated + */ + public void setMaxNewElements(int newMaxNewElements) { + int oldMaxNewElements = maxNewElements; + maxNewElements = newMaxNewElements; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements)); + } + + /** + * + * + * @generated + */ + public PartialTypeInterpratation getTargetTypeInterpretation() { + if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) { + InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation; + targetTypeInterpretation = (PartialTypeInterpratation)eResolveProxy(oldTargetTypeInterpretation); + if (targetTypeInterpretation != oldTargetTypeInterpretation) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation)); + } + } + return targetTypeInterpretation; + } + + /** + * + * + * @generated + */ + public PartialTypeInterpratation basicGetTargetTypeInterpretation() { + return targetTypeInterpretation; + } + + /** + * + * + * @generated + */ + public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) { + PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation; + targetTypeInterpretation = newTargetTypeInterpretation; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: + return getMinNewElements(); + case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: + return getMaxNewElements(); + case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: + if (resolve) return getTargetTypeInterpretation(); + return basicGetTargetTypeInterpretation(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: + setMinNewElements((Integer)newValue); + return; + case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: + setMaxNewElements((Integer)newValue); + return; + case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: + setTargetTypeInterpretation((PartialTypeInterpratation)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: + setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT); + return; + case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: + setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); + return; + case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: + setTargetTypeInterpretation((PartialTypeInterpratation)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS: + return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT; + case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS: + return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT; + case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION: + return targetTypeInterpretation != null; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuffer result = new StringBuffer(super.toString()); + result.append(" (minNewElements: "); + result.append(minNewElements); + result.append(", maxNewElements: "); + result.append(maxNewElements); + result.append(')'); + return result.toString(); + } + +} //ScopeImpl 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'. * diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird index c4c5c03a..35b87922 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird @@ -1,21 +1,21 @@ - + PartialInterpretation.ecore platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore http://www.eclipse.org/emf/2002/Ecore - + - + - + @@ -30,7 +30,7 @@ - + @@ -71,31 +71,23 @@ - - - + + + - - - + + + - - - - - - - - - - - + + + - + @@ -116,7 +108,7 @@ - + @@ -133,7 +125,7 @@ - + @@ -146,7 +138,7 @@ - + @@ -167,7 +159,7 @@ - + @@ -184,7 +176,7 @@ - + @@ -201,7 +193,7 @@ - + @@ -210,7 +202,7 @@ - + @@ -219,7 +211,7 @@ - + @@ -228,7 +220,7 @@ - + @@ -237,7 +229,7 @@ - + @@ -246,20 +238,20 @@ - + - + - + - + @@ -267,7 +259,7 @@ - + @@ -276,7 +268,7 @@ - + @@ -285,167 +277,117 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - + + +
    + + + - - - - - - - - - - - - + + - - + + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -479,23 +421,23 @@ - + - + - + - + - + - + @@ -511,7 +453,7 @@ - + @@ -531,423 +473,223 @@ - + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + KEEP_LOCATION @@ -957,45 +699,29 @@ - + - + bold - + - - bold - - - - - - - - bold - - - - - - - + bold - - - - - bold + + + + + - + @@ -1085,7 +811,7 @@ - + @@ -1094,17 +820,18 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor + borderSize - - bold + + @@ -1313,7 +1040,7 @@ - + @@ -1344,7 +1071,7 @@ - + @@ -1375,7 +1102,7 @@ - + @@ -1397,16 +1124,17 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + italic + - + @@ -1440,25 +1168,28 @@ - + + - + + - + + @@ -1551,12 +1282,16 @@ - + + strokeColor + size labelSize + labelColor - + labelSize + labelColor @@ -1573,8 +1308,8 @@ - - + + bold @@ -1599,17 +1334,20 @@ - + + size - - - + + + + + strokeColor @@ -1628,9 +1366,10 @@ - - - + + + + @@ -1642,254 +1381,6 @@ - - - - - italic - - - - - - - - bold - - - - - - - - - - - italic - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - bold - - - - - - - - - - - - - - - - bold - - - - - - - - - - - - - - - - bold - - - - - - - - - - - - - - - - bold - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - - - - - - italic - - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - labelSize - - - labelSize - - - - @@ -1898,2040 +1389,2434 @@ - - - - + + + + - + bold - + - - - bold - - - - + - + - + - - - bold - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - + + + - - - + + + - - - + + + - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - + + + - - - + + + - - - + + + - - + + - - + + - - - - - - - - - - - - - - - - - - + + + + + + - - - + + + + + + + + + + + + - - - + + + - - + + - - + + - - - - - - - - - + + + + + - - + + - - - - - - + + + + + + - - - + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - + + + + + + + + - - - - - - - - + + + + + + + + + + + + - - - - + + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - + - - - - - - - - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - + + + + + - - - - + + + + + - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - - - - + + + + - - - - + + + + - - - - + + + + - + - + - + - + - + - + - + - - + + labelSize bold - + labelSize - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - + - - bold + + + - - - - + + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor italic - - - - - - bold + + + + + + - + - - - - - - bold + + + + + + - + - - - - - + + + + + labelSize - + labelSize - + - - + + + labelSize - + labelSize - - - - - - - - - - - - - - - - + + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - - - - + + + + - + - + italic - + - - - - - - labelSize - - - labelSize - - - - - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + + + + + + + + + + + + + + + + + + + - - - - - + + + + + bold - + - - - - - - labelSize - - - labelSize + + + + + + labelSize + + + labelSize - - - - - - - + + + + + + + labelSize + + + labelSize + - - - - - - + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + borderSize + italic + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + borderSize + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + borderSize + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + borderSize + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + borderSize + + + + + + + + + + + + + + + + + size + + labelSize + + + labelSize + - - - - - - + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + labelSize - + labelSize - + + + + + size + + bold + + + + + + + + + + size + + bold + + + + + + + + + + size + + bold + + + + + + + + + + + + + + + + - - + + + labelSize - + labelSize + + + + + size + + bold + + + + + - + - - - - + + + + - + bold - - - - - - - - - - + - + bold - - - bold - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - - - - - - - - - - - + + + + + - - - + + + - - + + - - + + - - - - - - - - - + + + + + + + + + - - + + - - + + - - - - - - - - - + + + + + + + + + - - + + - - + + - - - - - - - - - + + + + + + + + + - - + + - - + + - - - - - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - bold - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + - - - - + + + + + - - - - + + + + + - - - - - + + + + + bold - + - - - - - + + + + + bold - + - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - - - - - - - - - + - + - + - + - + + + + + + + + + - + - + - + - + - + - + - - + + labelSize bold - + labelSize - + - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor + borderSize - + - - bold + + - - - - + + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor italic - - - - - + + + + + + bold - + + + + + + + + bold + + - - - - - + + + + + labelSize - + labelSize - + - - - + + labelSize - + + labelSize + + + + + + + + + + + + + + + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + backgroundColor + foregroundColor + italic + + + + + + + + + + + + + + italic + + + + + + + + + + strokeColor + size + + labelSize + labelColor + + + labelSize + labelColor + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + + + labelSize + bold + + + labelSize + + + + + + + + + + labelSize + + + labelSize + + + + + + + + + size + + + labelSize + + + labelSize + + + + + + + + + strokeColor + + + + + + + + + + + labelSize + + + labelSize + + + + + + + + + + + labelSize + + labelSize - + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + bold + + + + + + + + + + + italic + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + bold + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + bold + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + bold + + + - - - - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - - backgroundColor - foregroundColor + + + + + + bold + + + - - - - - - - + + + + - + italic - + - - - + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + + borderSize - - - - - - + + + + bold - - - - + + + + + + + + bold + + + - - - - - + + + + + labelSize + bold - + labelSize - - - - - - + + + + + labelSize - + labelSize - - - - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + italic - - - - - - labelSize - - - labelSize - - - - - - - - KEEP_LOCATION - KEEP_SIZE - KEEP_RATIO - - italic - + + + + + + + italic + + - + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + - - - - - - - - - - - - - - labelSize - - - labelSize - - - - - - - - + + + + - + italic - + - - - - + + + + - + italic - + - - - - + + + + - + italic - + - - - - - - labelSize - - - labelSize - - - - - - - - - - bold - - - - - - - - - - - bold - - - - - - - - - - - bold - - - - - - - - - - - - labelSize - - - labelSize - - - - - - - - - - - labelSize - - - labelSize - + + + + + + + italic + + - + - - - - - - + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + - + - - - - - - labelSize - - - labelSize - + + + + + + + italic + + - + - + diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore index 3c235851..afee2d42 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore @@ -16,38 +16,17 @@ containment="true"/> - - - - - - - - - - - - - - + + + - - + - @@ -90,6 +65,7 @@ + + + + + + + + + + + + + + + diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel index e244d0cd..2ac0a4f3 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel @@ -16,6 +16,9 @@ + + + @@ -23,6 +26,8 @@ + + @@ -30,6 +35,7 @@ + @@ -45,5 +51,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel index 0fd889d2..6c2f83c1 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel @@ -11,6 +11,7 @@ disposableProviderFactory="true" ecorePackage="PartialModelAnnotations.ecore#/"> + diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png new file mode 100644 index 00000000..62f6c91f Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png differ diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png new file mode 100644 index 00000000..fa30dcbf Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png differ diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png new file mode 100644 index 00000000..81445ff5 Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png differ -- cgit v1.2.3-54-g00ecf