2 files changed, 132 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/AlloyLanguageAdapterFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java
index d3d842af..5ca262fe 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java
@@ -165,6 +165,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
         return createALSIntScopeAdapter();

       }

       @Override

+      public Adapter caseALSStringScope(ALSStringScope object)

+      {

+        return createALSStringScopeAdapter();

+      }

+      @Override

       public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object)

       {

         return createALSQuantifiedExAdapter();

@@ -325,6 +330,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
         return createALSIntAdapter();

       }

       @Override

+      public Adapter caseALSString(ALSString object)

+      {

+        return createALSStringAdapter();

+      }

+      @Override

       public Adapter caseALSReference(ALSReference object)

       {

         return createALSReferenceAdapter();

@@ -335,6 +345,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
         return createALSNumberLiteralAdapter();

       }

       @Override

+      public Adapter caseALSStringLiteral(ALSStringLiteral object)

+      {

+        return createALSStringLiteralAdapter();

+      }

+      @Override

       public Adapter defaultCase(EObject object)

       {

         return createEObjectAdapter();

@@ -627,6 +642,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope <em>ALS String Scope</em>}'.

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

+   * 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.

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

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope

+   * @generated

+   */

+  public Adapter createALSStringScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

    * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'.

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

    * This default implementation returns null so that we can easily ignore cases;

@@ -1107,6 +1137,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString <em>ALS String</em>}'.

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

+   * 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.

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

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString

+   * @generated

+   */

+  public Adapter createALSStringAdapter()

+  {

+    return null;

+  }

+

+  /**

    * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'.

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

    * This default implementation returns null so that we can easily ignore cases;

@@ -1137,6 +1182,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral <em>ALS String Literal</em>}'.

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

+   * 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.

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

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral

+   * @generated

+   */

+  public Adapter createALSStringLiteralAdapter()

+  {

+    return null;

+  }

+

+  /**

    * Creates a new adapter for the default case.

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

    * This default implementation returns null.

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;