2 files changed, 2622 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java
new file mode 100644
index 00000000..e20bebf6
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java
@@ -0,0 +1,1212 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.alloyLanguage.util;
+
+import hu.bme.mit.inf.dslreasoner.alloyLanguage.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage
+ * @generated
+ */
+public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl
+{
+  /**
+   * The cached model package.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected static AlloyLanguagePackage modelPackage;
+
+  /**
+   * Creates an instance of the adapter factory.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public AlloyLanguageAdapterFactory()
+  {
+    if (modelPackage == null)
+    {
+      modelPackage = AlloyLanguagePackage.eINSTANCE;
+    }
+  }
+
+  /**
+   * Returns whether this factory is applicable for the type of the object.
+   * <!-- begin-user-doc -->
+   * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+   * <!-- end-user-doc -->
+   * @return whether this factory is applicable for the type of the object.
+   * @generated
+   */
+  @Override
+  public boolean isFactoryForType(Object object)
+  {
+    if (object == modelPackage)
+    {
+      return true;
+    }
+    if (object instanceof EObject)
+    {
+      return ((EObject)object).eClass().getEPackage() == modelPackage;
+    }
+    return false;
+  }
+
+  /**
+   * The switch that delegates to the <code>createXXX</code> methods.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected AlloyLanguageSwitch<Adapter> modelSwitch =
+    new AlloyLanguageSwitch<Adapter>()
+    {
+      @Override
+      public Adapter caseALSDocument(ALSDocument object)
+      {
+        return createALSDocumentAdapter();
+      }
+      @Override
+      public Adapter caseALSRelationDeclaration(ALSRelationDeclaration object)
+      {
+        return createALSRelationDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSTypeDeclaration(ALSTypeDeclaration object)
+      {
+        return createALSTypeDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSEnumDeclaration(ALSEnumDeclaration object)
+      {
+        return createALSEnumDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSEnumLiteral(ALSEnumLiteral object)
+      {
+        return createALSEnumLiteralAdapter();
+      }
+      @Override
+      public Adapter caseALSSignatureDeclaration(ALSSignatureDeclaration object)
+      {
+        return createALSSignatureDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSSignatureBody(ALSSignatureBody object)
+      {
+        return createALSSignatureBodyAdapter();
+      }
+      @Override
+      public Adapter caseALSFieldDeclaration(ALSFieldDeclaration object)
+      {
+        return createALSFieldDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSDefinition(ALSDefinition object)
+      {
+        return createALSDefinitionAdapter();
+      }
+      @Override
+      public Adapter caseALSFunctionDefinition(ALSFunctionDefinition object)
+      {
+        return createALSFunctionDefinitionAdapter();
+      }
+      @Override
+      public Adapter caseALSRelationDefinition(ALSRelationDefinition object)
+      {
+        return createALSRelationDefinitionAdapter();
+      }
+      @Override
+      public Adapter caseALSFactDeclaration(ALSFactDeclaration object)
+      {
+        return createALSFactDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSTerm(ALSTerm object)
+      {
+        return createALSTermAdapter();
+      }
+      @Override
+      public Adapter caseALSVariableDeclaration(ALSVariableDeclaration object)
+      {
+        return createALSVariableDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseALSRunCommand(ALSRunCommand object)
+      {
+        return createALSRunCommandAdapter();
+      }
+      @Override
+      public Adapter caseALSTypeScope(ALSTypeScope object)
+      {
+        return createALSTypeScopeAdapter();
+      }
+      @Override
+      public Adapter caseALSSigScope(ALSSigScope object)
+      {
+        return createALSSigScopeAdapter();
+      }
+      @Override
+      public Adapter caseALSIntScope(ALSIntScope object)
+      {
+        return createALSIntScopeAdapter();
+      }
+      @Override
+      public Adapter caseALSStringScope(ALSStringScope object)
+      {
+        return createALSStringScopeAdapter();
+      }
+      @Override
+      public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object)
+      {
+        return createALSQuantifiedExAdapter();
+      }
+      @Override
+      public Adapter caseALSOr(ALSOr object)
+      {
+        return createALSOrAdapter();
+      }
+      @Override
+      public Adapter caseALSIff(ALSIff object)
+      {
+        return createALSIffAdapter();
+      }
+      @Override
+      public Adapter caseALSImpl(ALSImpl object)
+      {
+        return createALSImplAdapter();
+      }
+      @Override
+      public Adapter caseALSAnd(ALSAnd object)
+      {
+        return createALSAndAdapter();
+      }
+      @Override
+      public Adapter caseALSEquals(ALSEquals object)
+      {
+        return createALSEqualsAdapter();
+      }
+      @Override
+      public Adapter caseALSNotEquals(ALSNotEquals object)
+      {
+        return createALSNotEqualsAdapter();
+      }
+      @Override
+      public Adapter caseALSSubset(ALSSubset object)
+      {
+        return createALSSubsetAdapter();
+      }
+      @Override
+      public Adapter caseALSLess(ALSLess object)
+      {
+        return createALSLessAdapter();
+      }
+      @Override
+      public Adapter caseALSLeq(ALSLeq object)
+      {
+        return createALSLeqAdapter();
+      }
+      @Override
+      public Adapter caseALSMore(ALSMore object)
+      {
+        return createALSMoreAdapter();
+      }
+      @Override
+      public Adapter caseALSMeq(ALSMeq object)
+      {
+        return createALSMeqAdapter();
+      }
+      @Override
+      public Adapter caseALSOverride(ALSOverride object)
+      {
+        return createALSOverrideAdapter();
+      }
+      @Override
+      public Adapter caseALSRangeRestrictionRight(ALSRangeRestrictionRight object)
+      {
+        return createALSRangeRestrictionRightAdapter();
+      }
+      @Override
+      public Adapter caseALSRangeRestrictionLeft(ALSRangeRestrictionLeft object)
+      {
+        return createALSRangeRestrictionLeftAdapter();
+      }
+      @Override
+      public Adapter caseALSJoin(ALSJoin object)
+      {
+        return createALSJoinAdapter();
+      }
+      @Override
+      public Adapter caseALSMinus(ALSMinus object)
+      {
+        return createALSMinusAdapter();
+      }
+      @Override
+      public Adapter caseALSPlus(ALSPlus object)
+      {
+        return createALSPlusAdapter();
+      }
+      @Override
+      public Adapter caseALSIntersection(ALSIntersection object)
+      {
+        return createALSIntersectionAdapter();
+      }
+      @Override
+      public Adapter caseALSDirectProduct(ALSDirectProduct object)
+      {
+        return createALSDirectProductAdapter();
+      }
+      @Override
+      public Adapter caseALSNot(ALSNot object)
+      {
+        return createALSNotAdapter();
+      }
+      @Override
+      public Adapter caseALSInverseRelation(ALSInverseRelation object)
+      {
+        return createALSInverseRelationAdapter();
+      }
+      @Override
+      public Adapter caseAlSTransitiveClosure(AlSTransitiveClosure object)
+      {
+        return createAlSTransitiveClosureAdapter();
+      }
+      @Override
+      public Adapter caseALSReflectiveTransitiveClosure(ALSReflectiveTransitiveClosure object)
+      {
+        return createALSReflectiveTransitiveClosureAdapter();
+      }
+      @Override
+      public Adapter caseALSCardinality(ALSCardinality object)
+      {
+        return createALSCardinalityAdapter();
+      }
+      @Override
+      public Adapter caseALSUnaryMinus(ALSUnaryMinus object)
+      {
+        return createALSUnaryMinusAdapter();
+      }
+      @Override
+      public Adapter caseALSSum(ALSSum object)
+      {
+        return createALSSumAdapter();
+      }
+      @Override
+      public Adapter caseALSFunctionCall(ALSFunctionCall object)
+      {
+        return createALSFunctionCallAdapter();
+      }
+      @Override
+      public Adapter caseALSNone(ALSNone object)
+      {
+        return createALSNoneAdapter();
+      }
+      @Override
+      public Adapter caseALSIden(ALSIden object)
+      {
+        return createALSIdenAdapter();
+      }
+      @Override
+      public Adapter caseALSUniv(ALSUniv object)
+      {
+        return createALSUnivAdapter();
+      }
+      @Override
+      public Adapter caseALSInt(ALSInt object)
+      {
+        return createALSIntAdapter();
+      }
+      @Override
+      public Adapter caseALSString(ALSString object)
+      {
+        return createALSStringAdapter();
+      }
+      @Override
+      public Adapter caseALSReference(ALSReference object)
+      {
+        return createALSReferenceAdapter();
+      }
+      @Override
+      public Adapter caseALSNumberLiteral(ALSNumberLiteral object)
+      {
+        return createALSNumberLiteralAdapter();
+      }
+      @Override
+      public Adapter caseALSStringLiteral(ALSStringLiteral object)
+      {
+        return createALSStringLiteralAdapter();
+      }
+      @Override
+      public Adapter defaultCase(EObject object)
+      {
+        return createEObjectAdapter();
+      }
+    };
+
+  /**
+   * Creates an adapter for the <code>target</code>.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param target the object to adapt.
+   * @return the adapter for the <code>target</code>.
+   * @generated
+   */
+  @Override
+  public Adapter createAdapter(Notifier target)
+  {
+    return modelSwitch.doSwitch((EObject)target);
+  }
+
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument <em>ALS Document</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.ALSDocument
+   * @generated
+   */
+  public Adapter createALSDocumentAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDeclaration <em>ALS Relation Declaration</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.ALSRelationDeclaration
+   * @generated
+   */
+  public Adapter createALSRelationDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeDeclaration <em>ALS Type Declaration</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.ALSTypeDeclaration
+   * @generated
+   */
+  public Adapter createALSTypeDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration <em>ALS Enum Declaration</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.ALSEnumDeclaration
+   * @generated
+   */
+  public Adapter createALSEnumDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral <em>ALS Enum 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.ALSEnumLiteral
+   * @generated
+   */
+  public Adapter createALSEnumLiteralAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration <em>ALS Signature Declaration</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.ALSSignatureDeclaration
+   * @generated
+   */
+  public Adapter createALSSignatureDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody <em>ALS Signature Body</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.ALSSignatureBody
+   * @generated
+   */
+  public Adapter createALSSignatureBodyAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration <em>ALS Field Declaration</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.ALSFieldDeclaration
+   * @generated
+   */
+  public Adapter createALSFieldDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDefinition <em>ALS Definition</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.ALSDefinition
+   * @generated
+   */
+  public Adapter createALSDefinitionAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition <em>ALS Function Definition</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.ALSFunctionDefinition
+   * @generated
+   */
+  public Adapter createALSFunctionDefinitionAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition <em>ALS Relation Definition</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.ALSRelationDefinition
+   * @generated
+   */
+  public Adapter createALSRelationDefinitionAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFactDeclaration <em>ALS Fact Declaration</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.ALSFactDeclaration
+   * @generated
+   */
+  public Adapter createALSFactDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm <em>ALS Term</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.ALSTerm
+   * @generated
+   */
+  public Adapter createALSTermAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration <em>ALS Variable Declaration</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.ALSVariableDeclaration
+   * @generated
+   */
+  public Adapter createALSVariableDeclarationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand <em>ALS Run Command</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.ALSRunCommand
+   * @generated
+   */
+  public Adapter createALSRunCommandAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTypeScope <em>ALS Type 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.ALSTypeScope
+   * @generated
+   */
+  public Adapter createALSTypeScopeAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope <em>ALS Sig 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.ALSSigScope
+   * @generated
+   */
+  public Adapter createALSSigScopeAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntScope <em>ALS Int 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.ALSIntScope
+   * @generated
+   */
+  public Adapter createALSIntScopeAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * 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;
+   * 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.ALSQuantifiedEx
+   * @generated
+   */
+  public Adapter createALSQuantifiedExAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOr <em>ALS Or</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.ALSOr
+   * @generated
+   */
+  public Adapter createALSOrAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIff <em>ALS Iff</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.ALSIff
+   * @generated
+   */
+  public Adapter createALSIffAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSImpl <em>ALS Impl</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.ALSImpl
+   * @generated
+   */
+  public Adapter createALSImplAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSAnd <em>ALS And</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.ALSAnd
+   * @generated
+   */
+  public Adapter createALSAndAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEquals <em>ALS Equals</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.ALSEquals
+   * @generated
+   */
+  public Adapter createALSEqualsAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNotEquals <em>ALS Not Equals</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.ALSNotEquals
+   * @generated
+   */
+  public Adapter createALSNotEqualsAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset <em>ALS Subset</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.ALSSubset
+   * @generated
+   */
+  public Adapter createALSSubsetAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLess <em>ALS Less</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.ALSLess
+   * @generated
+   */
+  public Adapter createALSLessAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSLeq <em>ALS Leq</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.ALSLeq
+   * @generated
+   */
+  public Adapter createALSLeqAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMore <em>ALS More</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.ALSMore
+   * @generated
+   */
+  public Adapter createALSMoreAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMeq <em>ALS Meq</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.ALSMeq
+   * @generated
+   */
+  public Adapter createALSMeqAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSOverride <em>ALS Override</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.ALSOverride
+   * @generated
+   */
+  public Adapter createALSOverrideAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionRight <em>ALS Range Restriction Right</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.ALSRangeRestrictionRight
+   * @generated
+   */
+  public Adapter createALSRangeRestrictionRightAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRangeRestrictionLeft <em>ALS Range Restriction Left</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.ALSRangeRestrictionLeft
+   * @generated
+   */
+  public Adapter createALSRangeRestrictionLeftAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSJoin <em>ALS Join</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.ALSJoin
+   * @generated
+   */
+  public Adapter createALSJoinAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMinus <em>ALS Minus</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.ALSMinus
+   * @generated
+   */
+  public Adapter createALSMinusAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSPlus <em>ALS Plus</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.ALSPlus
+   * @generated
+   */
+  public Adapter createALSPlusAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIntersection <em>ALS Intersection</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.ALSIntersection
+   * @generated
+   */
+  public Adapter createALSIntersectionAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDirectProduct <em>ALS Direct Product</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.ALSDirectProduct
+   * @generated
+   */
+  public Adapter createALSDirectProductAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNot <em>ALS Not</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.ALSNot
+   * @generated
+   */
+  public Adapter createALSNotAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInverseRelation <em>ALS Inverse Relation</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.ALSInverseRelation
+   * @generated
+   */
+  public Adapter createALSInverseRelationAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.AlSTransitiveClosure <em>Al STransitive Closure</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.AlSTransitiveClosure
+   * @generated
+   */
+  public Adapter createAlSTransitiveClosureAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReflectiveTransitiveClosure <em>ALS Reflective Transitive Closure</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.ALSReflectiveTransitiveClosure
+   * @generated
+   */
+  public Adapter createALSReflectiveTransitiveClosureAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSCardinality <em>ALS Cardinality</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.ALSCardinality
+   * @generated
+   */
+  public Adapter createALSCardinalityAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUnaryMinus <em>ALS Unary Minus</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.ALSUnaryMinus
+   * @generated
+   */
+  public Adapter createALSUnaryMinusAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum <em>ALS Sum</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.ALSSum
+   * @generated
+   */
+  public Adapter createALSSumAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionCall <em>ALS Function Call</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.ALSFunctionCall
+   * @generated
+   */
+  public Adapter createALSFunctionCallAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNone <em>ALS None</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.ALSNone
+   * @generated
+   */
+  public Adapter createALSNoneAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSIden <em>ALS Iden</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.ALSIden
+   * @generated
+   */
+  public Adapter createALSIdenAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSUniv <em>ALS Univ</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.ALSUniv
+   * @generated
+   */
+  public Adapter createALSUnivAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSInt <em>ALS Int</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.ALSInt
+   * @generated
+   */
+  public Adapter createALSIntAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * 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;
+   * 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.ALSReference
+   * @generated
+   */
+  public Adapter createALSReferenceAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumberLiteral <em>ALS Number 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.ALSNumberLiteral
+   * @generated
+   */
+  public Adapter createALSNumberLiteralAdapter()
+  {
+    return null;
+  }
+
+  /**
+   * 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.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @generated
+   */
+  public Adapter createEObjectAdapter()
+  {
+    return null;
+  }
+
+} //AlloyLanguageAdapterFactory
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java
new file mode 100644
index 00000000..9c67bad7
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java
@@ -0,0 +1,1410 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.alloyLanguage.util;
+
+import hu.bme.mit.inf.dslreasoner.alloyLanguage.*;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.util.Switch;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage
+ * @generated
+ */
+public class AlloyLanguageSwitch<T> extends Switch<T>
+{
+  /**
+   * The cached model package
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected static AlloyLanguagePackage modelPackage;
+
+  /**
+   * Creates an instance of the switch.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public AlloyLanguageSwitch()
+  {
+    if (modelPackage == null)
+    {
+      modelPackage = AlloyLanguagePackage.eINSTANCE;
+    }
+  }
+
+  /**
+   * Checks whether this is a switch for the given package.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param ePackage the package in question.
+   * @return whether this is a switch for the given package.
+   * @generated
+   */
+  @Override
+  protected boolean isSwitchFor(EPackage ePackage)
+  {
+    return ePackage == modelPackage;
+  }
+
+  /**
+   * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return the first non-null result returned by a <code>caseXXX</code> call.
+   * @generated
+   */
+  @Override
+  protected T doSwitch(int classifierID, EObject theEObject)
+  {
+    switch (classifierID)
+    {
+      case AlloyLanguagePackage.ALS_DOCUMENT:
+      {
+        ALSDocument alsDocument = (ALSDocument)theEObject;
+        T result = caseALSDocument(alsDocument);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_RELATION_DECLARATION:
+      {
+        ALSRelationDeclaration alsRelationDeclaration = (ALSRelationDeclaration)theEObject;
+        T result = caseALSRelationDeclaration(alsRelationDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_TYPE_DECLARATION:
+      {
+        ALSTypeDeclaration alsTypeDeclaration = (ALSTypeDeclaration)theEObject;
+        T result = caseALSTypeDeclaration(alsTypeDeclaration);
+        if (result == null) result = caseALSRelationDeclaration(alsTypeDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_ENUM_DECLARATION:
+      {
+        ALSEnumDeclaration alsEnumDeclaration = (ALSEnumDeclaration)theEObject;
+        T result = caseALSEnumDeclaration(alsEnumDeclaration);
+        if (result == null) result = caseALSTypeDeclaration(alsEnumDeclaration);
+        if (result == null) result = caseALSRelationDeclaration(alsEnumDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_ENUM_LITERAL:
+      {
+        ALSEnumLiteral alsEnumLiteral = (ALSEnumLiteral)theEObject;
+        T result = caseALSEnumLiteral(alsEnumLiteral);
+        if (result == null) result = caseALSRelationDeclaration(alsEnumLiteral);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_SIGNATURE_DECLARATION:
+      {
+        ALSSignatureDeclaration alsSignatureDeclaration = (ALSSignatureDeclaration)theEObject;
+        T result = caseALSSignatureDeclaration(alsSignatureDeclaration);
+        if (result == null) result = caseALSTypeDeclaration(alsSignatureDeclaration);
+        if (result == null) result = caseALSRelationDeclaration(alsSignatureDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_SIGNATURE_BODY:
+      {
+        ALSSignatureBody alsSignatureBody = (ALSSignatureBody)theEObject;
+        T result = caseALSSignatureBody(alsSignatureBody);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_FIELD_DECLARATION:
+      {
+        ALSFieldDeclaration alsFieldDeclaration = (ALSFieldDeclaration)theEObject;
+        T result = caseALSFieldDeclaration(alsFieldDeclaration);
+        if (result == null) result = caseALSRelationDeclaration(alsFieldDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_DEFINITION:
+      {
+        ALSDefinition alsDefinition = (ALSDefinition)theEObject;
+        T result = caseALSDefinition(alsDefinition);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_FUNCTION_DEFINITION:
+      {
+        ALSFunctionDefinition alsFunctionDefinition = (ALSFunctionDefinition)theEObject;
+        T result = caseALSFunctionDefinition(alsFunctionDefinition);
+        if (result == null) result = caseALSDefinition(alsFunctionDefinition);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_RELATION_DEFINITION:
+      {
+        ALSRelationDefinition alsRelationDefinition = (ALSRelationDefinition)theEObject;
+        T result = caseALSRelationDefinition(alsRelationDefinition);
+        if (result == null) result = caseALSDefinition(alsRelationDefinition);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_FACT_DECLARATION:
+      {
+        ALSFactDeclaration alsFactDeclaration = (ALSFactDeclaration)theEObject;
+        T result = caseALSFactDeclaration(alsFactDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_TERM:
+      {
+        ALSTerm alsTerm = (ALSTerm)theEObject;
+        T result = caseALSTerm(alsTerm);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_VARIABLE_DECLARATION:
+      {
+        ALSVariableDeclaration alsVariableDeclaration = (ALSVariableDeclaration)theEObject;
+        T result = caseALSVariableDeclaration(alsVariableDeclaration);
+        if (result == null) result = caseALSRelationDeclaration(alsVariableDeclaration);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_RUN_COMMAND:
+      {
+        ALSRunCommand alsRunCommand = (ALSRunCommand)theEObject;
+        T result = caseALSRunCommand(alsRunCommand);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_TYPE_SCOPE:
+      {
+        ALSTypeScope alsTypeScope = (ALSTypeScope)theEObject;
+        T result = caseALSTypeScope(alsTypeScope);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_SIG_SCOPE:
+      {
+        ALSSigScope alsSigScope = (ALSSigScope)theEObject;
+        T result = caseALSSigScope(alsSigScope);
+        if (result == null) result = caseALSTypeScope(alsSigScope);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_INT_SCOPE:
+      {
+        ALSIntScope alsIntScope = (ALSIntScope)theEObject;
+        T result = caseALSIntScope(alsIntScope);
+        if (result == null) result = caseALSTypeScope(alsIntScope);
+        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;
+        T result = caseALSQuantifiedEx(alsQuantifiedEx);
+        if (result == null) result = caseALSTerm(alsQuantifiedEx);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_OR:
+      {
+        ALSOr alsOr = (ALSOr)theEObject;
+        T result = caseALSOr(alsOr);
+        if (result == null) result = caseALSTerm(alsOr);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_IFF:
+      {
+        ALSIff alsIff = (ALSIff)theEObject;
+        T result = caseALSIff(alsIff);
+        if (result == null) result = caseALSTerm(alsIff);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_IMPL:
+      {
+        ALSImpl alsImpl = (ALSImpl)theEObject;
+        T result = caseALSImpl(alsImpl);
+        if (result == null) result = caseALSTerm(alsImpl);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_AND:
+      {
+        ALSAnd alsAnd = (ALSAnd)theEObject;
+        T result = caseALSAnd(alsAnd);
+        if (result == null) result = caseALSTerm(alsAnd);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_EQUALS:
+      {
+        ALSEquals alsEquals = (ALSEquals)theEObject;
+        T result = caseALSEquals(alsEquals);
+        if (result == null) result = caseALSTerm(alsEquals);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_NOT_EQUALS:
+      {
+        ALSNotEquals alsNotEquals = (ALSNotEquals)theEObject;
+        T result = caseALSNotEquals(alsNotEquals);
+        if (result == null) result = caseALSTerm(alsNotEquals);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_SUBSET:
+      {
+        ALSSubset alsSubset = (ALSSubset)theEObject;
+        T result = caseALSSubset(alsSubset);
+        if (result == null) result = caseALSTerm(alsSubset);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_LESS:
+      {
+        ALSLess alsLess = (ALSLess)theEObject;
+        T result = caseALSLess(alsLess);
+        if (result == null) result = caseALSTerm(alsLess);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_LEQ:
+      {
+        ALSLeq alsLeq = (ALSLeq)theEObject;
+        T result = caseALSLeq(alsLeq);
+        if (result == null) result = caseALSTerm(alsLeq);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_MORE:
+      {
+        ALSMore alsMore = (ALSMore)theEObject;
+        T result = caseALSMore(alsMore);
+        if (result == null) result = caseALSTerm(alsMore);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_MEQ:
+      {
+        ALSMeq alsMeq = (ALSMeq)theEObject;
+        T result = caseALSMeq(alsMeq);
+        if (result == null) result = caseALSTerm(alsMeq);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_OVERRIDE:
+      {
+        ALSOverride alsOverride = (ALSOverride)theEObject;
+        T result = caseALSOverride(alsOverride);
+        if (result == null) result = caseALSTerm(alsOverride);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_RANGE_RESTRICTION_RIGHT:
+      {
+        ALSRangeRestrictionRight alsRangeRestrictionRight = (ALSRangeRestrictionRight)theEObject;
+        T result = caseALSRangeRestrictionRight(alsRangeRestrictionRight);
+        if (result == null) result = caseALSTerm(alsRangeRestrictionRight);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_RANGE_RESTRICTION_LEFT:
+      {
+        ALSRangeRestrictionLeft alsRangeRestrictionLeft = (ALSRangeRestrictionLeft)theEObject;
+        T result = caseALSRangeRestrictionLeft(alsRangeRestrictionLeft);
+        if (result == null) result = caseALSTerm(alsRangeRestrictionLeft);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_JOIN:
+      {
+        ALSJoin alsJoin = (ALSJoin)theEObject;
+        T result = caseALSJoin(alsJoin);
+        if (result == null) result = caseALSTerm(alsJoin);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_MINUS:
+      {
+        ALSMinus alsMinus = (ALSMinus)theEObject;
+        T result = caseALSMinus(alsMinus);
+        if (result == null) result = caseALSTerm(alsMinus);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_PLUS:
+      {
+        ALSPlus alsPlus = (ALSPlus)theEObject;
+        T result = caseALSPlus(alsPlus);
+        if (result == null) result = caseALSTerm(alsPlus);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_INTERSECTION:
+      {
+        ALSIntersection alsIntersection = (ALSIntersection)theEObject;
+        T result = caseALSIntersection(alsIntersection);
+        if (result == null) result = caseALSTerm(alsIntersection);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_DIRECT_PRODUCT:
+      {
+        ALSDirectProduct alsDirectProduct = (ALSDirectProduct)theEObject;
+        T result = caseALSDirectProduct(alsDirectProduct);
+        if (result == null) result = caseALSTerm(alsDirectProduct);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_NOT:
+      {
+        ALSNot alsNot = (ALSNot)theEObject;
+        T result = caseALSNot(alsNot);
+        if (result == null) result = caseALSTerm(alsNot);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_INVERSE_RELATION:
+      {
+        ALSInverseRelation alsInverseRelation = (ALSInverseRelation)theEObject;
+        T result = caseALSInverseRelation(alsInverseRelation);
+        if (result == null) result = caseALSTerm(alsInverseRelation);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.AL_STRANSITIVE_CLOSURE:
+      {
+        AlSTransitiveClosure alSTransitiveClosure = (AlSTransitiveClosure)theEObject;
+        T result = caseAlSTransitiveClosure(alSTransitiveClosure);
+        if (result == null) result = caseALSTerm(alSTransitiveClosure);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_REFLECTIVE_TRANSITIVE_CLOSURE:
+      {
+        ALSReflectiveTransitiveClosure alsReflectiveTransitiveClosure = (ALSReflectiveTransitiveClosure)theEObject;
+        T result = caseALSReflectiveTransitiveClosure(alsReflectiveTransitiveClosure);
+        if (result == null) result = caseALSTerm(alsReflectiveTransitiveClosure);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_CARDINALITY:
+      {
+        ALSCardinality alsCardinality = (ALSCardinality)theEObject;
+        T result = caseALSCardinality(alsCardinality);
+        if (result == null) result = caseALSTerm(alsCardinality);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_UNARY_MINUS:
+      {
+        ALSUnaryMinus alsUnaryMinus = (ALSUnaryMinus)theEObject;
+        T result = caseALSUnaryMinus(alsUnaryMinus);
+        if (result == null) result = caseALSTerm(alsUnaryMinus);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_SUM:
+      {
+        ALSSum alsSum = (ALSSum)theEObject;
+        T result = caseALSSum(alsSum);
+        if (result == null) result = caseALSTerm(alsSum);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_FUNCTION_CALL:
+      {
+        ALSFunctionCall alsFunctionCall = (ALSFunctionCall)theEObject;
+        T result = caseALSFunctionCall(alsFunctionCall);
+        if (result == null) result = caseALSTerm(alsFunctionCall);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_NONE:
+      {
+        ALSNone alsNone = (ALSNone)theEObject;
+        T result = caseALSNone(alsNone);
+        if (result == null) result = caseALSTerm(alsNone);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_IDEN:
+      {
+        ALSIden alsIden = (ALSIden)theEObject;
+        T result = caseALSIden(alsIden);
+        if (result == null) result = caseALSTerm(alsIden);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_UNIV:
+      {
+        ALSUniv alsUniv = (ALSUniv)theEObject;
+        T result = caseALSUniv(alsUniv);
+        if (result == null) result = caseALSTerm(alsUniv);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_INT:
+      {
+        ALSInt alsInt = (ALSInt)theEObject;
+        T result = caseALSInt(alsInt);
+        if (result == null) result = caseALSTerm(alsInt);
+        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;
+        T result = caseALSReference(alsReference);
+        if (result == null) result = caseALSTerm(alsReference);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case AlloyLanguagePackage.ALS_NUMBER_LITERAL:
+      {
+        ALSNumberLiteral alsNumberLiteral = (ALSNumberLiteral)theEObject;
+        T result = caseALSNumberLiteral(alsNumberLiteral);
+        if (result == null) result = caseALSTerm(alsNumberLiteral);
+        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);
+    }
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Document</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 Document</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSDocument(ALSDocument object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Relation Declaration</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 Relation Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSRelationDeclaration(ALSRelationDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Type Declaration</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 Type Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSTypeDeclaration(ALSTypeDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Enum Declaration</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 Enum Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSEnumDeclaration(ALSEnumDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Enum 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 Enum Literal</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSEnumLiteral(ALSEnumLiteral object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Signature Declaration</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 Signature Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSSignatureDeclaration(ALSSignatureDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Signature Body</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 Signature Body</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSSignatureBody(ALSSignatureBody object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Field Declaration</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 Field Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSFieldDeclaration(ALSFieldDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Definition</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 Definition</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSDefinition(ALSDefinition object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Function Definition</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 Function Definition</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSFunctionDefinition(ALSFunctionDefinition object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Relation Definition</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 Relation Definition</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSRelationDefinition(ALSRelationDefinition object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Fact Declaration</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 Fact Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSFactDeclaration(ALSFactDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Term</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 Term</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSTerm(ALSTerm object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Variable Declaration</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 Variable Declaration</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSVariableDeclaration(ALSVariableDeclaration object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Run Command</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 Run Command</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSRunCommand(ALSRunCommand object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Type 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 Type Scope</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSTypeScope(ALSTypeScope object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Sig 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 Sig Scope</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSSigScope(ALSSigScope object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Int 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 Int Scope</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSIntScope(ALSIntScope object)
+  {
+    return null;
+  }
+
+  /**
+   * 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;
+   * 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 Quantified Ex</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSQuantifiedEx(ALSQuantifiedEx object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Or</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 Or</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSOr(ALSOr object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Iff</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 Iff</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSIff(ALSIff object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Impl</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 Impl</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSImpl(ALSImpl object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS And</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 And</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSAnd(ALSAnd object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Equals</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 Equals</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSEquals(ALSEquals object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Not Equals</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 Not Equals</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSNotEquals(ALSNotEquals object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Subset</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 Subset</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSSubset(ALSSubset object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Less</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 Less</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSLess(ALSLess object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Leq</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 Leq</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSLeq(ALSLeq object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS More</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 More</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSMore(ALSMore object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Meq</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 Meq</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSMeq(ALSMeq object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Override</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 Override</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSOverride(ALSOverride object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Range Restriction Right</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 Range Restriction Right</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSRangeRestrictionRight(ALSRangeRestrictionRight object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Range Restriction Left</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 Range Restriction Left</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSRangeRestrictionLeft(ALSRangeRestrictionLeft object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Join</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 Join</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSJoin(ALSJoin object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Minus</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 Minus</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSMinus(ALSMinus object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Plus</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 Plus</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSPlus(ALSPlus object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Intersection</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 Intersection</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSIntersection(ALSIntersection object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Direct Product</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 Direct Product</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSDirectProduct(ALSDirectProduct object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Not</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 Not</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSNot(ALSNot object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Inverse Relation</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 Inverse Relation</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSInverseRelation(ALSInverseRelation object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>Al STransitive Closure</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>Al STransitive Closure</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseAlSTransitiveClosure(AlSTransitiveClosure object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Reflective Transitive Closure</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 Reflective Transitive Closure</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSReflectiveTransitiveClosure(ALSReflectiveTransitiveClosure object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Cardinality</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 Cardinality</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSCardinality(ALSCardinality object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Unary Minus</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 Unary Minus</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSUnaryMinus(ALSUnaryMinus object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Sum</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 Sum</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSSum(ALSSum object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Function Call</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 Function Call</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSFunctionCall(ALSFunctionCall object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS None</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 None</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSNone(ALSNone object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Iden</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 Iden</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSIden(ALSIden object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Univ</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 Univ</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSUniv(ALSUniv object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Int</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 Int</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSInt(ALSInt object)
+  {
+    return null;
+  }
+
+  /**
+   * 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;
+   * 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 Reference</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSReference(ALSReference object)
+  {
+    return null;
+  }
+
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>ALS Number 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 Number Literal</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseALSNumberLiteral(ALSNumberLiteral object)
+  {
+    return null;
+  }
+
+  /**
+   * 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;
+   * returning a non-null result will terminate the switch, but this is the last case anyway.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+   * @generated
+   */
+  @Override
+  public T defaultCase(EObject object)
+  {
+    return null;
+  }
+
+} //AlloyLanguageSwitch