From 67bd5449706f722a0c98c510b3c47e2af41ba487 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 17 Apr 2020 00:17:19 +0200 Subject: variable mapping trace is created after mapping --- .../impl/DefinedByDerivedFeatureImpl.java | 2 + .../impl/TransfomedViatraQueryImpl.java | 62 +++++- ...nsformedViatraWellformednessConstraintImpl.java | 2 + .../impl/VariableMappingImpl.java | 230 +++++++++++++++++++++ 4 files changed, 295 insertions(+), 1 deletion(-) create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java index c2098ed0..a489c673 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java @@ -63,6 +63,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen * * @generated */ + @Override public TransfomedViatraQuery getQuery() { if (query != null && query.eIsProxy()) { InternalEObject oldQuery = (InternalEObject)query; @@ -89,6 +90,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen * * @generated */ + @Override public void setQuery(TransfomedViatraQuery newQuery) { TransfomedViatraQuery oldQuery = query; query = newQuery; diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java index d7f9ff68..469ba336 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java @@ -5,11 +5,18 @@ package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; +import java.util.Collection; import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; +import org.eclipse.emf.common.util.EList; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.util.EObjectContainmentEList; +import org.eclipse.emf.ecore.util.InternalEList; /** * @@ -21,6 +28,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; * * * @generated @@ -63,6 +71,15 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * @ordered */ protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT; + /** + * The cached value of the '{@link #getVariableTrace() Variable Trace}' containment reference list. + * + * + * @see #getVariableTrace() + * @generated + * @ordered + */ + protected EList variableTrace; /** * * @@ -87,6 +104,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * * @generated */ + @Override public String getPatternFullyQualifiedName() { return patternFullyQualifiedName; } @@ -96,6 +114,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * * @generated */ + @Override public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) { String oldPatternFullyQualifiedName = patternFullyQualifiedName; patternFullyQualifiedName = newPatternFullyQualifiedName; @@ -108,6 +127,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * * @generated */ + @Override public Object getPatternPQuery() { return patternPQuery; } @@ -117,6 +137,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * * @generated */ + @Override public void setPatternPQuery(Object newPatternPQuery) { Object oldPatternPQuery = patternPQuery; patternPQuery = newPatternPQuery; @@ -124,6 +145,33 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY, oldPatternPQuery, patternPQuery)); } + /** + * + * + * @generated + */ + @Override + public EList getVariableTrace() { + if (variableTrace == null) { + variableTrace = new EObjectContainmentEList(VariableMapping.class, this, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE); + } + return variableTrace; + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: + return ((InternalEList)getVariableTrace()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + /** * * @@ -136,6 +184,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements return getPatternFullyQualifiedName(); case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: return getPatternPQuery(); + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: + return getVariableTrace(); } return super.eGet(featureID, resolve, coreType); } @@ -145,6 +195,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements * * @generated */ + @SuppressWarnings("unchecked") @Override public void eSet(int featureID, Object newValue) { switch (featureID) { @@ -154,6 +205,10 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: setPatternPQuery(newValue); return; + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: + getVariableTrace().clear(); + getVariableTrace().addAll((Collection)newValue); + return; } super.eSet(featureID, newValue); } @@ -172,6 +227,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: setPatternPQuery(PATTERN_PQUERY_EDEFAULT); return; + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: + getVariableTrace().clear(); + return; } super.eUnset(featureID); } @@ -188,6 +246,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName); case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); + case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE: + return variableTrace != null && !variableTrace.isEmpty(); } return super.eIsSet(featureID); } @@ -201,7 +261,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements public String toString() { if (eIsProxy()) return super.toString(); - StringBuffer result = new StringBuffer(super.toString()); + StringBuilder result = new StringBuilder(super.toString()); result.append(" (patternFullyQualifiedName: "); result.append(patternFullyQualifiedName); result.append(", patternPQuery: "); diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java index be0c3078..3e41c3fd 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java @@ -63,6 +63,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno * * @generated */ + @Override public TransfomedViatraQuery getQuery() { if (query != null && query.eIsProxy()) { InternalEObject oldQuery = (InternalEObject)query; @@ -89,6 +90,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno * * @generated */ + @Override public void setQuery(TransfomedViatraQuery newQuery) { TransfomedViatraQuery oldQuery = query; query = newQuery; diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java new file mode 100644 index 00000000..020c71c7 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java @@ -0,0 +1,230 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; + +import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; + +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; +import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +/** + * + * An implementation of the model object 'Variable Mapping'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl#getSourcePVariable Source PVariable}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl#getTargetLogicVariable Target Logic Variable}
    • + *
+ * + * @generated + */ +public class VariableMappingImpl extends MinimalEObjectImpl.Container implements VariableMapping { + /** + * The default value of the '{@link #getSourcePVariable() Source PVariable}' attribute. + * + * + * @see #getSourcePVariable() + * @generated + * @ordered + */ + protected static final Object SOURCE_PVARIABLE_EDEFAULT = null; + + /** + * The cached value of the '{@link #getSourcePVariable() Source PVariable}' attribute. + * + * + * @see #getSourcePVariable() + * @generated + * @ordered + */ + protected Object sourcePVariable = SOURCE_PVARIABLE_EDEFAULT; + + /** + * The cached value of the '{@link #getTargetLogicVariable() Target Logic Variable}' reference. + * + * + * @see #getTargetLogicVariable() + * @generated + * @ordered + */ + protected Variable targetLogicVariable; + + /** + * + * + * @generated + */ + protected VariableMappingImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return Viatra2LogicAnnotationsPackage.Literals.VARIABLE_MAPPING; + } + + /** + * + * + * @generated + */ + @Override + public Object getSourcePVariable() { + return sourcePVariable; + } + + /** + * + * + * @generated + */ + @Override + public void setSourcePVariable(Object newSourcePVariable) { + Object oldSourcePVariable = sourcePVariable; + sourcePVariable = newSourcePVariable; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE, oldSourcePVariable, sourcePVariable)); + } + + /** + * + * + * @generated + */ + @Override + public Variable getTargetLogicVariable() { + if (targetLogicVariable != null && targetLogicVariable.eIsProxy()) { + InternalEObject oldTargetLogicVariable = (InternalEObject)targetLogicVariable; + targetLogicVariable = (Variable)eResolveProxy(oldTargetLogicVariable); + if (targetLogicVariable != oldTargetLogicVariable) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable)); + } + } + return targetLogicVariable; + } + + /** + * + * + * @generated + */ + public Variable basicGetTargetLogicVariable() { + return targetLogicVariable; + } + + /** + * + * + * @generated + */ + @Override + public void setTargetLogicVariable(Variable newTargetLogicVariable) { + Variable oldTargetLogicVariable = targetLogicVariable; + targetLogicVariable = newTargetLogicVariable; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: + return getSourcePVariable(); + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: + if (resolve) return getTargetLogicVariable(); + return basicGetTargetLogicVariable(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: + setSourcePVariable(newValue); + return; + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: + setTargetLogicVariable((Variable)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: + setSourcePVariable(SOURCE_PVARIABLE_EDEFAULT); + return; + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: + setTargetLogicVariable((Variable)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE: + return SOURCE_PVARIABLE_EDEFAULT == null ? sourcePVariable != null : !SOURCE_PVARIABLE_EDEFAULT.equals(sourcePVariable); + case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE: + return targetLogicVariable != null; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (sourcePVariable: "); + result.append(sourcePVariable); + result.append(')'); + return result.toString(); + } + +} //VariableMappingImpl -- cgit v1.2.3-54-g00ecf