1 files changed, 72 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java
index 91fa2086..3551c90f 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java
@@ -210,6 +210,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case AlloyLanguagePackage.ALS_STRING_SCOPE:

+      {

+        ALSStringScope alsStringScope = (ALSStringScope)theEObject;

+        T result = caseALSStringScope(alsStringScope);

+        if (result == null) result = caseALSTypeScope(alsStringScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       case AlloyLanguagePackage.ALS_QUANTIFIED_EX:

       {

         ALSQuantifiedEx alsQuantifiedEx = (ALSQuantifiedEx)theEObject;

@@ -466,6 +474,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case AlloyLanguagePackage.ALS_STRING:

+      {

+        ALSString alsString = (ALSString)theEObject;

+        T result = caseALSString(alsString);

+        if (result == null) result = caseALSTerm(alsString);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       case AlloyLanguagePackage.ALS_REFERENCE:

       {

         ALSReference alsReference = (ALSReference)theEObject;

@@ -482,6 +498,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case AlloyLanguagePackage.ALS_STRING_LITERAL:

+      {

+        ALSStringLiteral alsStringLiteral = (ALSStringLiteral)theEObject;

+        T result = caseALSStringLiteral(alsStringLiteral);

+        if (result == null) result = caseALSTerm(alsStringLiteral);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       default: return defaultCase(theEObject);

     }

   }

@@ -775,6 +799,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>ALS String Scope</em>'.

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

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

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

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>ALS String Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseALSStringScope(ALSStringScope object)

+  {

+    return null;

+  }

+

+  /**

    * Returns the result of interpreting the object as an instance of '<em>ALS Quantified Ex</em>'.

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

    * This implementation returns null;

@@ -1287,6 +1327,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>ALS String</em>'.

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

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

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

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>ALS String</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseALSString(ALSString object)

+  {

+    return null;

+  }

+

+  /**

    * Returns the result of interpreting the object as an instance of '<em>ALS Reference</em>'.

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

    * This implementation returns null;

@@ -1319,6 +1375,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>ALS String Literal</em>'.

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

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

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

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>ALS String Literal</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseALSStringLiteral(ALSStringLiteral object)

+  {

+    return null;

+  }

+

+  /**

    * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

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

    * This implementation returns null;