1 files changed, 61 insertions, 1 deletions

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;

 

 /**

  * <!-- begin-user-doc -->

@@ -21,6 +28,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
  * <ul>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getVariableTrace <em>Variable Trace</em>}</li>

  * </ul>

  *

  * @generated

@@ -64,6 +72,15 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          */

         protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT;

         /**

+         * The cached value of the '{@link #getVariableTrace() <em>Variable Trace</em>}' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getVariableTrace()

+         * @generated

+         * @ordered

+         */

+        protected EList<VariableMapping> variableTrace;

+        /**

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

@@ -87,6 +104,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public String getPatternFullyQualifiedName() {

                 return patternFullyQualifiedName;

         }

@@ -96,6 +114,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) {

                 String oldPatternFullyQualifiedName = patternFullyQualifiedName;

                 patternFullyQualifiedName = newPatternFullyQualifiedName;

@@ -108,6 +127,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Object getPatternPQuery() {

                 return patternPQuery;

         }

@@ -117,6 +137,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public void setPatternPQuery(Object newPatternPQuery) {

                 Object oldPatternPQuery = patternPQuery;

                 patternPQuery = newPatternPQuery;

@@ -130,12 +151,41 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
          * @generated

          */

         @Override

+        public EList<VariableMapping> getVariableTrace() {

+                if (variableTrace == null) {

+                        variableTrace = new EObjectContainmentEList<VariableMapping>(VariableMapping.class, this, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE);

+                }

+                return variableTrace;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @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);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

         public Object eGet(int featureID, boolean resolve, boolean coreType) {

                 switch (featureID) {

                         case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:

                                 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
          * <!-- end-user-doc -->

          * @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<? extends VariableMapping>)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: ");