From 3d05776b1338eb5aa02026a941dcf3111d00109b Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 15 Aug 2017 02:20:25 +0200 Subject: Added primitive types to the model code --- .../PartialInterpretation.java | 190 ++++- .../PartialinterpretationFactory.java | 36 + .../PartialinterpretationPackage.java | 810 ++++++++++++++++++++- .../impl/PartialInterpretationImpl.java | 412 +++++++++-- .../impl/PartialinterpretationFactoryImpl.java | 44 ++ .../impl/PartialinterpretationPackageImpl.java | 259 ++++++- .../util/PartialinterpretationAdapterFactory.java | 147 ++++ .../util/PartialinterpretationSwitch.java | 172 +++++ 8 files changed, 1963 insertions(+), 107 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver') 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 46c85cc8..6c46cdbe 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 @@ -27,8 +27,16 @@ import org.eclipse.emf.ecore.EObject; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}
    • *
  • {@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#getOpenWorldElementPrototype Open World Element Prototype}
    • + *
  • {@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}
    • * * * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() @@ -197,30 +205,20 @@ public interface PartialInterpretation extends EObject { void setMaxNewElements(int value); /** - * Returns the value of the 'Open World Element Prototype' containment reference. + * Returns the value of the 'Open World Element Prototypes' 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 Prototype' containment reference isn't clear, + * If the meaning of the 'Open World Element Prototypes' containment reference list isn't clear, * there really should be more of a description here... *

    * - * @return the value of the 'Open World Element Prototype' containment reference. - * @see #setOpenWorldElementPrototype(DefinedElement) - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype() + * @return the value of the 'Open World Element Prototypes' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() * @model containment="true" required="true" * @generated */ - DefinedElement getOpenWorldElementPrototype(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype Open World Element Prototype}' containment reference. - * - * - * @param value the new value of the 'Open World Element Prototype' containment reference. - * @see #getOpenWorldElementPrototype() - * @generated - */ - void setOpenWorldElementPrototype(DefinedElement value); + EList getOpenWorldElementPrototypes(); /** * Returns the value of the 'Problem Conainer' containment reference. @@ -248,4 +246,162 @@ 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}. + * + *

    + * If the meaning of the 'Stringelement' 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() + * @model containment="true" + * @generated + */ + EList getStringelement(); + + /** + * 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. + * + *

    + * If the meaning of the 'Max New Strings' 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" + * @generated + */ + int getMaxNewStrings(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}' attribute. + * + * + * @param value the new value of the 'Max New Strings' attribute. + * @see #getMaxNewStrings() + * @generated + */ + void setMaxNewStrings(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/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 406e2f02..da71e230 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 @@ -102,6 +102,42 @@ public interface PartialinterpretationFactory extends EFactory { */ NaryRelationLinkElement createNaryRelationLinkElement(); + /** + * Returns a new object of class 'Boolean Element'. + * + * + * @return a new object of class 'Boolean Element'. + * @generated + */ + BooleanElement createBooleanElement(); + + /** + * Returns a new object of class 'Integer Element'. + * + * + * @return a new object of class 'Integer Element'. + * @generated + */ + IntegerElement createIntegerElement(); + + /** + * Returns a new object of class 'Real Element'. + * + * + * @return a new object of class 'Real Element'. + * @generated + */ + RealElement createRealElement(); + + /** + * Returns a new object of class 'String Element'. + * + * + * @return a new object of class 'String Element'. + * @generated + */ + StringElement createStringElement(); + /** * 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 573500dd..3f2fe479 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 @@ -2,6 +2,7 @@ */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.EPackage; @@ -139,13 +140,13 @@ public interface PartialinterpretationPackage extends EPackage { int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7; /** - * The feature id for the 'Open World Element Prototype' containment reference. + * The feature id for the 'Open World Element Prototypes' containment reference list. * * * @generated * @ordered */ - int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = 8; + int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8; /** * The feature id for the 'Problem Conainer' containment reference. @@ -156,6 +157,78 @@ public interface PartialinterpretationPackage extends EPackage { */ 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; + /** * The number of structural features of the 'Partial Interpretation' class. * @@ -163,7 +236,7 @@ public interface PartialinterpretationPackage extends EPackage { * @generated * @ordered */ - int PARTIAL_INTERPRETATION_FEATURE_COUNT = 10; + int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18; /** * The number of operations of the 'Partial Interpretation' class. @@ -440,117 +513,429 @@ public interface PartialinterpretationPackage extends EPackage { * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBinaryElementRelationLink() * @generated */ - int BINARY_ELEMENT_RELATION_LINK = 7; + int BINARY_ELEMENT_RELATION_LINK = 7; + + /** + * The feature id for the 'Param1' reference. + * + * + * @generated + * @ordered + */ + int BINARY_ELEMENT_RELATION_LINK__PARAM1 = RELATION_LINK_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Param2' reference. + * + * + * @generated + * @ordered + */ + int BINARY_ELEMENT_RELATION_LINK__PARAM2 = RELATION_LINK_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Binary Element Relation Link' class. + * + * + * @generated + * @ordered + */ + int BINARY_ELEMENT_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Binary Element Relation Link' class. + * + * + * @generated + * @ordered + */ + int BINARY_ELEMENT_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkImpl Nary Relation Link}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getNaryRelationLink() + * @generated + */ + int NARY_RELATION_LINK = 8; + + /** + * The feature id for the 'Elements' containment reference list. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK__ELEMENTS = RELATION_LINK_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Nary Relation Link' class. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Nary Relation Link' class. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl Nary Relation Link Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getNaryRelationLinkElement() + * @generated + */ + int NARY_RELATION_LINK_ELEMENT = 9; + + /** + * The feature id for the 'Index' attribute. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_ELEMENT__INDEX = 0; + + /** + * The number of structural features of the 'Nary Relation Link Element' class. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'Nary Relation Link Element' class. + * + * + * @generated + * @ordered + */ + int NARY_RELATION_LINK_ELEMENT_OPERATION_COUNT = 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl Primitive Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement() + * @generated + */ + int PRIMITIVE_ELEMENT = 10; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_ELEMENT__NAME = LogiclanguagePackage.DEFINED_ELEMENT__NAME; + + /** + * The feature id for the 'Defined In Type' reference list. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_ELEMENT__DEFINED_IN_TYPE = LogiclanguagePackage.DEFINED_ELEMENT__DEFINED_IN_TYPE; + + /** + * The feature id for the 'Value Set' attribute. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_ELEMENT__VALUE_SET = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Primitive Element' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_ELEMENT_FEATURE_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Primitive Element' class. + * + * + * @generated + * @ordered + */ + int PRIMITIVE_ELEMENT_OPERATION_COUNT = LogiclanguagePackage.DEFINED_ELEMENT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl Boolean Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement() + * @generated + */ + int BOOLEAN_ELEMENT = 11; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; + + /** + * The feature id for the 'Defined In Type' reference list. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; + + /** + * The feature id for the 'Value Set' attribute. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Boolean Element' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Boolean Element' class. + * + * + * @generated + * @ordered + */ + int BOOLEAN_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl Integer Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement() + * @generated + */ + int INTEGER_ELEMENT = 12; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; + + /** + * The feature id for the 'Defined In Type' reference list. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; + + /** + * The feature id for the 'Value Set' attribute. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; + + /** + * The feature id for the 'Value' attribute. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Integer Element' class. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Integer Element' class. + * + * + * @generated + * @ordered + */ + int INTEGER_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl Real Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement() + * @generated + */ + int REAL_ELEMENT = 13; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int REAL_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; /** - * The feature id for the 'Param1' reference. + * The feature id for the 'Defined In Type' reference list. * * * @generated * @ordered */ - int BINARY_ELEMENT_RELATION_LINK__PARAM1 = RELATION_LINK_FEATURE_COUNT + 0; + int REAL_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; /** - * The feature id for the 'Param2' reference. + * The feature id for the 'Value Set' attribute. * * * @generated * @ordered */ - int BINARY_ELEMENT_RELATION_LINK__PARAM2 = RELATION_LINK_FEATURE_COUNT + 1; + int REAL_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; /** - * The number of structural features of the 'Binary Element Relation Link' class. + * The feature id for the 'Value' attribute. * * * @generated * @ordered */ - int BINARY_ELEMENT_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 2; + int REAL_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; /** - * The number of operations of the 'Binary Element Relation Link' class. + * The number of structural features of the 'Real Element' class. * * * @generated * @ordered */ - int BINARY_ELEMENT_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0; + int REAL_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkImpl Nary Relation Link}' class. + * The number of operations of the 'Real Element' class. * * - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkImpl - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getNaryRelationLink() * @generated + * @ordered */ - int NARY_RELATION_LINK = 8; + int REAL_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; /** - * The feature id for the 'Elements' containment reference list. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl String Element}' class. * * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement() * @generated - * @ordered */ - int NARY_RELATION_LINK__ELEMENTS = RELATION_LINK_FEATURE_COUNT + 0; + int STRING_ELEMENT = 14; /** - * The number of structural features of the 'Nary Relation Link' class. + * The feature id for the 'Name' attribute. * * * @generated * @ordered */ - int NARY_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 1; + int STRING_ELEMENT__NAME = PRIMITIVE_ELEMENT__NAME; /** - * The number of operations of the 'Nary Relation Link' class. + * The feature id for the 'Defined In Type' reference list. * * * @generated * @ordered */ - int NARY_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0; + int STRING_ELEMENT__DEFINED_IN_TYPE = PRIMITIVE_ELEMENT__DEFINED_IN_TYPE; /** - * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl Nary Relation Link Element}' class. + * The feature id for the 'Value Set' attribute. * * - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getNaryRelationLinkElement() * @generated + * @ordered */ - int NARY_RELATION_LINK_ELEMENT = 9; + int STRING_ELEMENT__VALUE_SET = PRIMITIVE_ELEMENT__VALUE_SET; /** - * The feature id for the 'Index' attribute. + * The feature id for the 'Value' attribute. * * * @generated * @ordered */ - int NARY_RELATION_LINK_ELEMENT__INDEX = 0; + int STRING_ELEMENT__VALUE = PRIMITIVE_ELEMENT_FEATURE_COUNT + 0; /** - * The number of structural features of the 'Nary Relation Link Element' class. + * The number of structural features of the 'String Element' class. * * * @generated * @ordered */ - int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1; + int STRING_ELEMENT_FEATURE_COUNT = PRIMITIVE_ELEMENT_FEATURE_COUNT + 1; /** - * The number of operations of the 'Nary Relation Link Element' class. + * The number of operations of the 'String Element' class. * * * @generated * @ordered */ - int NARY_RELATION_LINK_ELEMENT_OPERATION_COUNT = 0; + int STRING_ELEMENT_OPERATION_COUNT = PRIMITIVE_ELEMENT_OPERATION_COUNT + 0; /** @@ -652,15 +1037,15 @@ public interface PartialinterpretationPackage extends EPackage { EAttribute getPartialInterpretation_MaxNewElements(); /** - * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype Open World Element Prototype}'. + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes Open World Element Prototypes}'. * * - * @return the meta object for the containment reference 'Open World Element Prototype'. - * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype() + * @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 */ - EReference getPartialInterpretation_OpenWorldElementPrototype(); + EReference getPartialInterpretation_OpenWorldElementPrototypes(); /** * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}'. @@ -673,6 +1058,94 @@ public interface PartialinterpretationPackage extends EPackage { */ EReference getPartialInterpretation_ProblemConainer(); + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement Stringelement}'. + * + * + * @return the meta object for the containment reference list 'Stringelement'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Stringelement(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements Stringelements}'. + * + * + * @return the meta object for the containment reference list 'Stringelements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Stringelements(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements Realelements}'. + * + * + * @return the meta object for the containment reference list 'Realelements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Realelements(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements Integerelements}'. + * + * + * @return the meta object for the containment reference list 'Integerelements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Integerelements(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements Booleanelements}'. + * + * + * @return the meta object for the containment reference list 'Booleanelements'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements() + * @see #getPartialInterpretation() + * @generated + */ + EReference getPartialInterpretation_Booleanelements(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}'. + * + * + * @return the meta object for the attribute 'Max New Integers'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers() + * @see #getPartialInterpretation() + * @generated + */ + EAttribute getPartialInterpretation_MaxNewIntegers(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}'. + * + * + * @return the meta object for the attribute 'Max New Reals'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals() + * @see #getPartialInterpretation() + * @generated + */ + EAttribute getPartialInterpretation_MaxNewReals(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}'. + * + * + * @return the meta object for the attribute 'Max New Strings'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings() + * @see #getPartialInterpretation() + * @generated + */ + EAttribute getPartialInterpretation_MaxNewStrings(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'. * @@ -917,6 +1390,111 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute getNaryRelationLinkElement_Index(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement Primitive Element}'. + * + * + * @return the meta object for class 'Primitive Element'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement + * @generated + */ + EClass getPrimitiveElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet Value Set}'. + * + * + * @return the meta object for the attribute 'Value Set'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement#isValueSet() + * @see #getPrimitiveElement() + * @generated + */ + EAttribute getPrimitiveElement_ValueSet(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement Boolean Element}'. + * + * + * @return the meta object for class 'Boolean Element'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement + * @generated + */ + EClass getBooleanElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement#isValue() + * @see #getBooleanElement() + * @generated + */ + EAttribute getBooleanElement_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement Integer Element}'. + * + * + * @return the meta object for class 'Integer Element'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement + * @generated + */ + EClass getIntegerElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement#getValue() + * @see #getIntegerElement() + * @generated + */ + EAttribute getIntegerElement_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement Real Element}'. + * + * + * @return the meta object for class 'Real Element'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement + * @generated + */ + EClass getRealElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue() + * @see #getRealElement() + * @generated + */ + EAttribute getRealElement_Value(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement String Element}'. + * + * + * @return the meta object for class 'String Element'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement + * @generated + */ + EClass getStringElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue Value}'. + * + * + * @return the meta object for the attribute 'Value'. + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement#getValue() + * @see #getStringElement() + * @generated + */ + EAttribute getStringElement_Value(); + /** * Returns the factory that creates the instances of the model. * @@ -1015,12 +1593,12 @@ public interface PartialinterpretationPackage extends EPackage { EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements(); /** - * The meta object literal for the 'Open World Element Prototype' containment reference feature. + * The meta object literal for the 'Open World Element Prototypes' containment reference list feature. * * * @generated */ - EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototype(); + EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes(); /** * The meta object literal for the 'Problem Conainer' containment reference feature. @@ -1030,6 +1608,70 @@ 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 '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl Partial Constant Interpretation}' class. * @@ -1232,6 +1874,96 @@ public interface PartialinterpretationPackage extends EPackage { */ EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl Primitive Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPrimitiveElement() + * @generated + */ + EClass PRIMITIVE_ELEMENT = eINSTANCE.getPrimitiveElement(); + + /** + * The meta object literal for the 'Value Set' attribute feature. + * + * + * @generated + */ + EAttribute PRIMITIVE_ELEMENT__VALUE_SET = eINSTANCE.getPrimitiveElement_ValueSet(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl Boolean Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BooleanElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getBooleanElement() + * @generated + */ + EClass BOOLEAN_ELEMENT = eINSTANCE.getBooleanElement(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute BOOLEAN_ELEMENT__VALUE = eINSTANCE.getBooleanElement_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl Integer Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.IntegerElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getIntegerElement() + * @generated + */ + EClass INTEGER_ELEMENT = eINSTANCE.getIntegerElement(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute INTEGER_ELEMENT__VALUE = eINSTANCE.getIntegerElement_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl Real Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RealElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getRealElement() + * @generated + */ + EClass REAL_ELEMENT = eINSTANCE.getRealElement(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute REAL_ELEMENT__VALUE = eINSTANCE.getRealElement_Value(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl String Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.StringElementImpl + * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getStringElement() + * @generated + */ + EClass STRING_ELEMENT = eINSTANCE.getStringElement(); + + /** + * The meta object literal for the 'Value' attribute feature. + * + * + * @generated + */ + EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value(); + } } //PartialinterpretationPackage 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 09690c79..4b7061ce 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 @@ -6,6 +6,8 @@ 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; @@ -13,6 +15,8 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par 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 java.util.Collection; import org.eclipse.emf.common.notify.Notification; @@ -45,8 +49,16 @@ import org.eclipse.emf.ecore.util.InternalEList; *
  • {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation Partialtypeinterpratation}
    • *
  • {@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#getOpenWorldElementPrototype Open World Element Prototype}
    • + *
  • {@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}
    • * * * @generated @@ -153,14 +165,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT; /** - * The cached value of the '{@link #getOpenWorldElementPrototype() Open World Element Prototype}' containment reference. + * The cached value of the '{@link #getOpenWorldElementPrototypes() Open World Element Prototypes}' containment reference list. * * - * @see #getOpenWorldElementPrototype() + * @see #getOpenWorldElementPrototypes() * @generated * @ordered */ - protected DefinedElement openWorldElementPrototype; + protected EList openWorldElementPrototypes; /** * The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference. @@ -172,6 +184,116 @@ 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. + * + * + * @see #getIntegerelements() + * @generated + * @ordered + */ + protected EList integerelements; + + /** + * 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. + * + * + * @see #getMaxNewStrings() + * @generated + * @ordered + */ + protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; + /** * * @@ -336,8 +458,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public DefinedElement getOpenWorldElementPrototype() { - return openWorldElementPrototype; + public EList getOpenWorldElementPrototypes() { + if (openWorldElementPrototypes == null) { + openWorldElementPrototypes = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES); + } + return openWorldElementPrototypes; + } + + /** + * + * + * @generated + */ + public LogicProblem getProblemConainer() { + return problemConainer; } /** @@ -345,11 +479,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) { - DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype; - openWorldElementPrototype = newOpenWorldElementPrototype; + public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { + LogicProblem oldProblemConainer = problemConainer; + problemConainer = newProblemConainer; if (eNotificationRequired()) { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype); + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); if (msgs == null) msgs = notification; else msgs.add(notification); } return msgs; @@ -360,18 +494,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) { - if (newOpenWorldElementPrototype != openWorldElementPrototype) { + public void setProblemConainer(LogicProblem newProblemConainer) { + if (newProblemConainer != problemConainer) { NotificationChain msgs = null; - if (openWorldElementPrototype != null) - msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); - if (newOpenWorldElementPrototype != null) - msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs); - msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs); + if (problemConainer != null) + msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); + if (newProblemConainer != null) + msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); + msgs = basicSetProblemConainer(newProblemConainer, msgs); if (msgs != null) msgs.dispatch(); } else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype)); + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); } /** @@ -379,8 +513,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public LogicProblem getProblemConainer() { - return problemConainer; + public EList getStringelement() { + if (stringelement == null) { + stringelement = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT); + } + return stringelement; } /** @@ -388,14 +525,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) { - LogicProblem oldProblemConainer = problemConainer; - problemConainer = newProblemConainer; - if (eNotificationRequired()) { - ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer); - if (msgs == null) msgs = notification; else msgs.add(notification); + public EList getStringelements() { + if (stringelements == null) { + stringelements = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS); } - return msgs; + return stringelements; } /** @@ -403,18 +537,98 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl * * @generated */ - public void setProblemConainer(LogicProblem newProblemConainer) { - if (newProblemConainer != problemConainer) { - NotificationChain msgs = null; - if (problemConainer != null) - msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); - if (newProblemConainer != null) - msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs); - msgs = basicSetProblemConainer(newProblemConainer, msgs); - if (msgs != null) msgs.dispatch(); + public EList getRealelements() { + if (realelements == null) { + realelements = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS); } - else if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer)); + 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); + } + 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)); + } + + /** + * + * + * @generated + */ + public int getMaxNewReals() { + return maxNewReals; + } + + /** + * + * + * @generated + */ + public void setMaxNewReals(int newMaxNewReals) { + int oldMaxNewReals = maxNewReals; + maxNewReals = newMaxNewReals; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals)); + } + + /** + * + * + * @generated + */ + public int getMaxNewStrings() { + return maxNewStrings; + } + + /** + * + * + * @generated + */ + public void setMaxNewStrings(int newMaxNewStrings) { + int oldMaxNewStrings = maxNewStrings; + maxNewStrings = newMaxNewStrings; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings)); } /** @@ -435,10 +649,20 @@ 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_PROTOTYPE: - return basicSetOpenWorldElementPrototype(null, msgs); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + return ((InternalEList)getOpenWorldElementPrototypes()).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); } return super.eInverseRemove(otherEnd, featureID, msgs); } @@ -468,10 +692,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl return getMinNewElements(); case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: return getMaxNewElements(); - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - return getOpenWorldElementPrototype(); + 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(); } return super.eGet(featureID, resolve, coreType); } @@ -514,12 +754,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: setMaxNewElements((Integer)newValue); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - setOpenWorldElementPrototype((DefinedElement)newValue); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + getOpenWorldElementPrototypes().clear(); + getOpenWorldElementPrototypes().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; } super.eSet(featureID, newValue); } @@ -556,12 +826,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS: setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT); return; - case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE: - setOpenWorldElementPrototype((DefinedElement)null); + case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES: + getOpenWorldElementPrototypes().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; } super.eUnset(featureID); } @@ -590,10 +884,26 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl 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_PROTOTYPE: - return openWorldElementPrototype != null; + 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; } return super.eIsSet(featureID); } @@ -612,6 +922,12 @@ 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/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 99ab7830..ebd70a97 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 @@ -65,6 +65,10 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink(); case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink(); case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement(); + case PartialinterpretationPackage.BOOLEAN_ELEMENT: return createBooleanElement(); + case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement(); + case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement(); + case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } @@ -160,6 +164,46 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa return naryRelationLinkElement; } + /** + * + * + * @generated + */ + public BooleanElement createBooleanElement() { + BooleanElementImpl booleanElement = new BooleanElementImpl(); + return booleanElement; + } + + /** + * + * + * @generated + */ + public IntegerElement createIntegerElement() { + IntegerElementImpl integerElement = new IntegerElementImpl(); + return integerElement; + } + + /** + * + * + * @generated + */ + public RealElement createRealElement() { + RealElementImpl realElement = new RealElementImpl(); + return realElement; + } + + /** + * + * + * @generated + */ + public StringElement createStringElement() { + StringElementImpl stringElement = new StringElementImpl(); + return stringElement; + } + /** * * 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 65d73721..9493cc9a 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 @@ -7,6 +7,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink; +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.NaryRelationLink; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation; @@ -16,7 +18,10 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par 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.StringElement; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink; import org.eclipse.emf.ecore.EAttribute; @@ -103,6 +108,41 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa */ private EClass naryRelationLinkElementEClass = null; + /** + * + * + * @generated + */ + private EClass primitiveElementEClass = null; + + /** + * + * + * @generated + */ + private EClass booleanElementEClass = null; + + /** + * + * + * @generated + */ + private EClass integerElementEClass = null; + + /** + * + * + * @generated + */ + private EClass realElementEClass = null; + + /** + * + * + * @generated + */ + private EClass stringElementEClass = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -254,7 +294,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa * * @generated */ - public EReference getPartialInterpretation_OpenWorldElementPrototype() { + public EReference getPartialInterpretation_OpenWorldElementPrototypes() { return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8); } @@ -267,6 +307,78 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9); } + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_Stringelement() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_Stringelements() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_Realelements() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_Integerelements() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13); + } + + /** + * + * + * @generated + */ + public EReference getPartialInterpretation_Booleanelements() { + return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14); + } + + /** + * + * + * @generated + */ + public EAttribute getPartialInterpretation_MaxNewIntegers() { + return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15); + } + + /** + * + * + * @generated + */ + public EAttribute getPartialInterpretation_MaxNewReals() { + return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16); + } + + /** + * + * + * @generated + */ + public EAttribute getPartialInterpretation_MaxNewStrings() { + return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17); + } + /** * * @@ -474,6 +586,96 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0); } + /** + * + * + * @generated + */ + public EClass getPrimitiveElement() { + return primitiveElementEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getPrimitiveElement_ValueSet() { + return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getBooleanElement() { + return booleanElementEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getBooleanElement_Value() { + return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getIntegerElement() { + return integerElementEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getIntegerElement_Value() { + return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getRealElement() { + return realElementEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getRealElement_Value() { + return (EAttribute)realElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getStringElement() { + return stringElementEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getStringElement_Value() { + return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0); + } + /** * * @@ -511,8 +713,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION); createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS); createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS); - createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE); + 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); partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); @@ -545,6 +755,21 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT); createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX); + + primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT); + createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET); + + booleanElementEClass = createEClass(BOOLEAN_ELEMENT); + createEAttribute(booleanElementEClass, BOOLEAN_ELEMENT__VALUE); + + integerElementEClass = createEClass(INTEGER_ELEMENT); + createEAttribute(integerElementEClass, INTEGER_ELEMENT__VALUE); + + realElementEClass = createEClass(REAL_ELEMENT); + createEAttribute(realElementEClass, REAL_ELEMENT__VALUE); + + stringElementEClass = createEClass(STRING_ELEMENT); + createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE); } /** @@ -582,6 +807,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink()); + primitiveElementEClass.getESuperTypes().add(theLogiclanguagePackage.getDefinedElement()); + booleanElementEClass.getESuperTypes().add(this.getPrimitiveElement()); + integerElementEClass.getESuperTypes().add(this.getPrimitiveElement()); + realElementEClass.getESuperTypes().add(this.getPrimitiveElement()); + stringElementEClass.getESuperTypes().add(this.getPrimitiveElement()); // Initialize classes, features, and operations; add parameters initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -593,8 +823,16 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa 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_OpenWorldElementPrototype(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototype", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 1, -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); 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); @@ -628,6 +866,21 @@ 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); + 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); + + initEClass(booleanElementEClass, BooleanElement.class, "BooleanElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getBooleanElement_Value(), ecorePackage.getEBoolean(), "value", null, 1, 1, BooleanElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(integerElementEClass, IntegerElement.class, "IntegerElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getIntegerElement_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntegerElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(realElementEClass, RealElement.class, "RealElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getRealElement_Value(), ecorePackage.getEBigDecimal(), "value", null, 1, 1, RealElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + 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); + // 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/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 628d56eb..27b88b7a 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 @@ -2,6 +2,9 @@ */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; import org.eclipse.emf.common.notify.Adapter; @@ -108,6 +111,38 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl { return createNaryRelationLinkElementAdapter(); } @Override + public Adapter casePrimitiveElement(PrimitiveElement object) { + return createPrimitiveElementAdapter(); + } + @Override + public Adapter caseBooleanElement(BooleanElement object) { + return createBooleanElementAdapter(); + } + @Override + public Adapter caseIntegerElement(IntegerElement object) { + return createIntegerElementAdapter(); + } + @Override + public Adapter caseRealElement(RealElement object) { + return createRealElementAdapter(); + } + @Override + public Adapter caseStringElement(StringElement object) { + return createStringElementAdapter(); + } + @Override + public Adapter caseTermDescription(TermDescription object) { + return createTermDescriptionAdapter(); + } + @Override + public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) { + return createSymbolicDeclarationAdapter(); + } + @Override + public Adapter caseDefinedElement(DefinedElement object) { + return createDefinedElementAdapter(); + } + @Override public Adapter defaultCase(EObject object) { return createEObjectAdapter(); } @@ -267,6 +302,118 @@ 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.PrimitiveElement Primitive Element}'. + * + * 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.PrimitiveElement + * @generated + */ + public Adapter createPrimitiveElementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement Boolean Element}'. + * + * 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.BooleanElement + * @generated + */ + public Adapter createBooleanElementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement Integer Element}'. + * + * 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.IntegerElement + * @generated + */ + public Adapter createIntegerElementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement Real Element}'. + * + * 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.RealElement + * @generated + */ + public Adapter createRealElementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement String Element}'. + * + * 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.StringElement + * @generated + */ + public Adapter createStringElementAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}'. + * + * 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.logic.model.logiclanguage.TermDescription + * @generated + */ + public Adapter createTermDescriptionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration Symbolic Declaration}'. + * + * 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.logic.model.logiclanguage.SymbolicDeclaration + * @generated + */ + public Adapter createSymbolicDeclarationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement Defined Element}'. + * + * 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.logic.model.logiclanguage.DefinedElement + * @generated + */ + public Adapter createDefinedElementAdapter() { + return null; + } + /** * Creates a new adapter for the default case. * diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java index f99b2d76..364df3c8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java @@ -2,6 +2,9 @@ */ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*; import org.eclipse.emf.ecore.EObject; @@ -129,6 +132,55 @@ public class PartialinterpretationSwitch extends Switch { if (result == null) result = defaultCase(theEObject); return result; } + case PartialinterpretationPackage.PRIMITIVE_ELEMENT: { + PrimitiveElement primitiveElement = (PrimitiveElement)theEObject; + T result = casePrimitiveElement(primitiveElement); + if (result == null) result = caseDefinedElement(primitiveElement); + if (result == null) result = caseSymbolicDeclaration(primitiveElement); + if (result == null) result = caseTermDescription(primitiveElement); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.BOOLEAN_ELEMENT: { + BooleanElement booleanElement = (BooleanElement)theEObject; + T result = caseBooleanElement(booleanElement); + if (result == null) result = casePrimitiveElement(booleanElement); + if (result == null) result = caseDefinedElement(booleanElement); + if (result == null) result = caseSymbolicDeclaration(booleanElement); + if (result == null) result = caseTermDescription(booleanElement); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.INTEGER_ELEMENT: { + IntegerElement integerElement = (IntegerElement)theEObject; + T result = caseIntegerElement(integerElement); + if (result == null) result = casePrimitiveElement(integerElement); + if (result == null) result = caseDefinedElement(integerElement); + if (result == null) result = caseSymbolicDeclaration(integerElement); + if (result == null) result = caseTermDescription(integerElement); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.REAL_ELEMENT: { + RealElement realElement = (RealElement)theEObject; + T result = caseRealElement(realElement); + if (result == null) result = casePrimitiveElement(realElement); + if (result == null) result = caseDefinedElement(realElement); + if (result == null) result = caseSymbolicDeclaration(realElement); + if (result == null) result = caseTermDescription(realElement); + if (result == null) result = defaultCase(theEObject); + return result; + } + case PartialinterpretationPackage.STRING_ELEMENT: { + StringElement stringElement = (StringElement)theEObject; + T result = caseStringElement(stringElement); + if (result == null) result = casePrimitiveElement(stringElement); + if (result == null) result = caseDefinedElement(stringElement); + if (result == null) result = caseSymbolicDeclaration(stringElement); + if (result == null) result = caseTermDescription(stringElement); + if (result == null) result = defaultCase(theEObject); + return result; + } default: return defaultCase(theEObject); } } @@ -283,6 +335,126 @@ public class PartialinterpretationSwitch extends Switch { return null; } + /** + * Returns the result of interpreting the object as an instance of 'Primitive Element'. + * + * 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 'Primitive Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T casePrimitiveElement(PrimitiveElement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Boolean Element'. + * + * 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 'Boolean Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseBooleanElement(BooleanElement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Integer Element'. + * + * 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 'Integer Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseIntegerElement(IntegerElement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Real Element'. + * + * 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 'Real Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseRealElement(RealElement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'String Element'. + * + * 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 'String Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseStringElement(StringElement object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Term Description'. + * + * 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 'Term Description'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseTermDescription(TermDescription object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Symbolic Declaration'. + * + * 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 'Symbolic Declaration'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseSymbolicDeclaration(SymbolicDeclaration object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Defined Element'. + * + * 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 'Defined Element'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseDefinedElement(DefinedElement object) { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'EObject'. * -- cgit v1.2.3-54-g00ecf