1 files changed, 59 insertions, 59 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java
index fde31be5..01712ad3 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/CallImpl.java
@@ -25,9 +25,9 @@ import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
  * </p>

  * <ul>

  *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getFunctor <em>Functor</em>}</li>

- *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getArgumentList <em>Argument List</em>}</li>

  *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isTransitiveClosure <em>Transitive Closure</em>}</li>

  *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}</li>

+ *   <li>{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl#getArgumentList <em>Argument List</em>}</li>

  * </ul>

  *

  * @generated

@@ -45,16 +45,6 @@ public class CallImpl extends ExpressionImpl implements Call
   protected Reference functor;

 

   /**

-   * The cached value of the '{@link #getArgumentList() <em>Argument List</em>}' containment reference.

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

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

-   * @see #getArgumentList()

-   * @generated

-   * @ordered

-   */

-  protected ArgumentList argumentList;

-

-  /**

    * The default value of the '{@link #isTransitiveClosure() <em>Transitive Closure</em>}' attribute.

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

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

@@ -95,6 +85,16 @@ public class CallImpl extends ExpressionImpl implements Call
   protected boolean reflexiveTransitiveClosure = REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT;

 

   /**

+   * The cached value of the '{@link #getArgumentList() <em>Argument List</em>}' containment reference.

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

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

+   * @see #getArgumentList()

+   * @generated

+   * @ordered

+   */

+  protected ArgumentList argumentList;

+

+  /**

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

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

    * @generated

@@ -171,9 +171,9 @@ public class CallImpl extends ExpressionImpl implements Call
    * @generated

    */

   @Override

-  public ArgumentList getArgumentList()

+  public boolean isTransitiveClosure()

   {

-    return argumentList;

+    return transitiveClosure;

   }

 

   /**

@@ -181,16 +181,13 @@ public class CallImpl extends ExpressionImpl implements Call
    * <!-- end-user-doc -->

    * @generated

    */

-  public NotificationChain basicSetArgumentList(ArgumentList newArgumentList, NotificationChain msgs)

+  @Override

+  public void setTransitiveClosure(boolean newTransitiveClosure)

   {

-    ArgumentList oldArgumentList = argumentList;

-    argumentList = newArgumentList;

+    boolean oldTransitiveClosure = transitiveClosure;

+    transitiveClosure = newTransitiveClosure;

     if (eNotificationRequired())

-    {

-      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, oldArgumentList, newArgumentList);

-      if (msgs == null) msgs = notification; else msgs.add(notification);

-    }

-    return msgs;

+      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE, oldTransitiveClosure, transitiveClosure));

   }

 

   /**

@@ -199,20 +196,9 @@ public class CallImpl extends ExpressionImpl implements Call
    * @generated

    */

   @Override

-  public void setArgumentList(ArgumentList newArgumentList)

+  public boolean isReflexiveTransitiveClosure()

   {

-    if (newArgumentList != argumentList)

-    {

-      NotificationChain msgs = null;

-      if (argumentList != null)

-        msgs = ((InternalEObject)argumentList).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs);

-      if (newArgumentList != null)

-        msgs = ((InternalEObject)newArgumentList).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs);

-      msgs = basicSetArgumentList(newArgumentList, msgs);

-      if (msgs != null) msgs.dispatch();

-    }

-    else if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, newArgumentList, newArgumentList));

+    return reflexiveTransitiveClosure;

   }

 

   /**

@@ -221,9 +207,12 @@ public class CallImpl extends ExpressionImpl implements Call
    * @generated

    */

   @Override

-  public boolean isTransitiveClosure()

+  public void setReflexiveTransitiveClosure(boolean newReflexiveTransitiveClosure)

   {

-    return transitiveClosure;

+    boolean oldReflexiveTransitiveClosure = reflexiveTransitiveClosure;

+    reflexiveTransitiveClosure = newReflexiveTransitiveClosure;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE, oldReflexiveTransitiveClosure, reflexiveTransitiveClosure));

   }

 

   /**

@@ -232,12 +221,9 @@ public class CallImpl extends ExpressionImpl implements Call
    * @generated

    */

   @Override

-  public void setTransitiveClosure(boolean newTransitiveClosure)

+  public ArgumentList getArgumentList()

   {

-    boolean oldTransitiveClosure = transitiveClosure;

-    transitiveClosure = newTransitiveClosure;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE, oldTransitiveClosure, transitiveClosure));

+    return argumentList;

   }

 

   /**

@@ -245,10 +231,16 @@ public class CallImpl extends ExpressionImpl implements Call
    * <!-- end-user-doc -->

    * @generated

    */

-  @Override

-  public boolean isReflexiveTransitiveClosure()

+  public NotificationChain basicSetArgumentList(ArgumentList newArgumentList, NotificationChain msgs)

   {

-    return reflexiveTransitiveClosure;

+    ArgumentList oldArgumentList = argumentList;

+    argumentList = newArgumentList;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, oldArgumentList, newArgumentList);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

   }

 

   /**

@@ -257,12 +249,20 @@ public class CallImpl extends ExpressionImpl implements Call
    * @generated

    */

   @Override

-  public void setReflexiveTransitiveClosure(boolean newReflexiveTransitiveClosure)

+  public void setArgumentList(ArgumentList newArgumentList)

   {

-    boolean oldReflexiveTransitiveClosure = reflexiveTransitiveClosure;

-    reflexiveTransitiveClosure = newReflexiveTransitiveClosure;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE, oldReflexiveTransitiveClosure, reflexiveTransitiveClosure));

+    if (newArgumentList != argumentList)

+    {

+      NotificationChain msgs = null;

+      if (argumentList != null)

+        msgs = ((InternalEObject)argumentList).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs);

+      if (newArgumentList != null)

+        msgs = ((InternalEObject)newArgumentList).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SolverLanguagePackage.CALL__ARGUMENT_LIST, null, msgs);

+      msgs = basicSetArgumentList(newArgumentList, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, SolverLanguagePackage.CALL__ARGUMENT_LIST, newArgumentList, newArgumentList));

   }

 

   /**

@@ -295,12 +295,12 @@ public class CallImpl extends ExpressionImpl implements Call
     {

       case SolverLanguagePackage.CALL__FUNCTOR:

         return getFunctor();

-      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

-        return getArgumentList();

       case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE:

         return isTransitiveClosure();

       case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE:

         return isReflexiveTransitiveClosure();

+      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

+        return getArgumentList();

     }

     return super.eGet(featureID, resolve, coreType);

   }

@@ -318,15 +318,15 @@ public class CallImpl extends ExpressionImpl implements Call
       case SolverLanguagePackage.CALL__FUNCTOR:

         setFunctor((Reference)newValue);

         return;

-      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

-        setArgumentList((ArgumentList)newValue);

-        return;

       case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE:

         setTransitiveClosure((Boolean)newValue);

         return;

       case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE:

         setReflexiveTransitiveClosure((Boolean)newValue);

         return;

+      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

+        setArgumentList((ArgumentList)newValue);

+        return;

     }

     super.eSet(featureID, newValue);

   }

@@ -344,15 +344,15 @@ public class CallImpl extends ExpressionImpl implements Call
       case SolverLanguagePackage.CALL__FUNCTOR:

         setFunctor((Reference)null);

         return;

-      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

-        setArgumentList((ArgumentList)null);

-        return;

       case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE:

         setTransitiveClosure(TRANSITIVE_CLOSURE_EDEFAULT);

         return;

       case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE:

         setReflexiveTransitiveClosure(REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT);

         return;

+      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

+        setArgumentList((ArgumentList)null);

+        return;

     }

     super.eUnset(featureID);

   }

@@ -369,12 +369,12 @@ public class CallImpl extends ExpressionImpl implements Call
     {

       case SolverLanguagePackage.CALL__FUNCTOR:

         return functor != null;

-      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

-        return argumentList != null;

       case SolverLanguagePackage.CALL__TRANSITIVE_CLOSURE:

         return transitiveClosure != TRANSITIVE_CLOSURE_EDEFAULT;

       case SolverLanguagePackage.CALL__REFLEXIVE_TRANSITIVE_CLOSURE:

         return reflexiveTransitiveClosure != REFLEXIVE_TRANSITIVE_CLOSURE_EDEFAULT;

+      case SolverLanguagePackage.CALL__ARGUMENT_LIST:

+        return argumentList != null;

     }

     return super.eIsSet(featureID);

   }