From b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Tue, 19 May 2020 21:18:06 +0200
Subject: Config language WIP

---
 .../solverLanguage/util/SolverLanguageSwitch.java  | 1245 --------------------
 1 file changed, 1245 deletions(-)
 delete mode 100644 Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java

(limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java')

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
deleted file mode 100644
index 79a98ff7..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
+++ /dev/null
@@ -1,1245 +0,0 @@
-/**
- * generated by Xtext 2.21.0
- */
-package org.eclipse.viatra.solver.language.solverLanguage.util;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EPackage;
-
-import org.eclipse.emf.ecore.util.Switch;
-
-import org.eclipse.viatra.solver.language.solverLanguage.*;
-
-/**
- * <!-- 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 org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
- * @generated
- */
-public class SolverLanguageSwitch<T> extends Switch<T>
-{
-  /**
-   * The cached model package
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  protected static SolverLanguagePackage modelPackage;
-
-  /**
-   * Creates an instance of the switch.
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  public SolverLanguageSwitch()
-  {
-    if (modelPackage == null)
-    {
-      modelPackage = SolverLanguagePackage.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 SolverLanguagePackage.PROBLEM:
-      {
-        Problem problem = (Problem)theEObject;
-        T result = caseProblem(problem);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.STATEMENT:
-      {
-        Statement statement = (Statement)theEObject;
-        T result = caseStatement(statement);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.PREDICATE_DEFINITION:
-      {
-        PredicateDefinition predicateDefinition = (PredicateDefinition)theEObject;
-        T result = casePredicateDefinition(predicateDefinition);
-        if (result == null) result = caseStatement(predicateDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION:
-      {
-        UnnamedErrorPrediateDefinition unnamedErrorPrediateDefinition = (UnnamedErrorPrediateDefinition)theEObject;
-        T result = caseUnnamedErrorPrediateDefinition(unnamedErrorPrediateDefinition);
-        if (result == null) result = caseStatement(unnamedErrorPrediateDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.DEFAULT_DEFINITION:
-      {
-        DefaultDefinition defaultDefinition = (DefaultDefinition)theEObject;
-        T result = caseDefaultDefinition(defaultDefinition);
-        if (result == null) result = caseStatement(defaultDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXTERN_PREDICATE_DEFINITION:
-      {
-        ExternPredicateDefinition externPredicateDefinition = (ExternPredicateDefinition)theEObject;
-        T result = caseExternPredicateDefinition(externPredicateDefinition);
-        if (result == null) result = caseStatement(externPredicateDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.METRIC_DEFINITION:
-      {
-        MetricDefinition metricDefinition = (MetricDefinition)theEObject;
-        T result = caseMetricDefinition(metricDefinition);
-        if (result == null) result = caseStatement(metricDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXTERN_METRIC_DEFINITION:
-      {
-        ExternMetricDefinition externMetricDefinition = (ExternMetricDefinition)theEObject;
-        T result = caseExternMetricDefinition(externMetricDefinition);
-        if (result == null) result = caseStatement(externMetricDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXPRESSION:
-      {
-        Expression expression = (Expression)theEObject;
-        T result = caseExpression(expression);
-        if (result == null) result = caseStatement(expression);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.IF_ELSE:
-      {
-        IfElse ifElse = (IfElse)theEObject;
-        T result = caseIfElse(ifElse);
-        if (result == null) result = caseExpression(ifElse);
-        if (result == null) result = caseStatement(ifElse);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.CASE:
-      {
-        Case case_ = (Case)theEObject;
-        T result = caseCase(case_);
-        if (result == null) result = caseExpression(case_);
-        if (result == null) result = caseStatement(case_);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.COUNT:
-      {
-        Count count = (Count)theEObject;
-        T result = caseCount(count);
-        if (result == null) result = caseExpression(count);
-        if (result == null) result = caseStatement(count);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.AGGREGATION:
-      {
-        Aggregation aggregation = (Aggregation)theEObject;
-        T result = caseAggregation(aggregation);
-        if (result == null) result = caseExpression(aggregation);
-        if (result == null) result = caseStatement(aggregation);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.CALL:
-      {
-        Call call = (Call)theEObject;
-        T result = caseCall(call);
-        if (result == null) result = caseExpression(call);
-        if (result == null) result = caseStatement(call);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.ARGUMENT_LIST:
-      {
-        ArgumentList argumentList = (ArgumentList)theEObject;
-        T result = caseArgumentList(argumentList);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.ARGUMENT:
-      {
-        Argument argument = (Argument)theEObject;
-        T result = caseArgument(argument);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXPRESSION_ARGUMENT:
-      {
-        ExpressionArgument expressionArgument = (ExpressionArgument)theEObject;
-        T result = caseExpressionArgument(expressionArgument);
-        if (result == null) result = caseArgument(expressionArgument);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.STAR_ARGUMENT:
-      {
-        StarArgument starArgument = (StarArgument)theEObject;
-        T result = caseStarArgument(starArgument);
-        if (result == null) result = caseArgument(starArgument);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.TYPED_ARGUMENT:
-      {
-        TypedArgument typedArgument = (TypedArgument)theEObject;
-        T result = caseTypedArgument(typedArgument);
-        if (result == null) result = caseArgument(typedArgument);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.TYPED_STAR_ARGUMENT:
-      {
-        TypedStarArgument typedStarArgument = (TypedStarArgument)theEObject;
-        T result = caseTypedStarArgument(typedStarArgument);
-        if (result == null) result = caseArgument(typedStarArgument);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.REFERENCE:
-      {
-        Reference reference = (Reference)theEObject;
-        T result = caseReference(reference);
-        if (result == null) result = caseExpression(reference);
-        if (result == null) result = caseStatement(reference);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.INTERVAL:
-      {
-        Interval interval = (Interval)theEObject;
-        T result = caseInterval(interval);
-        if (result == null) result = caseExpression(interval);
-        if (result == null) result = caseStatement(interval);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.LITERAL:
-      {
-        Literal literal = (Literal)theEObject;
-        T result = caseLiteral(literal);
-        if (result == null) result = caseExpression(literal);
-        if (result == null) result = caseStatement(literal);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.LOGIC_LITERAL:
-      {
-        LogicLiteral logicLiteral = (LogicLiteral)theEObject;
-        T result = caseLogicLiteral(logicLiteral);
-        if (result == null) result = caseLiteral(logicLiteral);
-        if (result == null) result = caseExpression(logicLiteral);
-        if (result == null) result = caseStatement(logicLiteral);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.NUMERIC_LITERAL:
-      {
-        NumericLiteral numericLiteral = (NumericLiteral)theEObject;
-        T result = caseNumericLiteral(numericLiteral);
-        if (result == null) result = caseLiteral(numericLiteral);
-        if (result == null) result = caseExpression(numericLiteral);
-        if (result == null) result = caseStatement(numericLiteral);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.INFINITY_LITERAL:
-      {
-        InfinityLiteral infinityLiteral = (InfinityLiteral)theEObject;
-        T result = caseInfinityLiteral(infinityLiteral);
-        if (result == null) result = caseLiteral(infinityLiteral);
-        if (result == null) result = caseExpression(infinityLiteral);
-        if (result == null) result = caseStatement(infinityLiteral);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL:
-      {
-        EmptyIntervalLiteral emptyIntervalLiteral = (EmptyIntervalLiteral)theEObject;
-        T result = caseEmptyIntervalLiteral(emptyIntervalLiteral);
-        if (result == null) result = caseLiteral(emptyIntervalLiteral);
-        if (result == null) result = caseExpression(emptyIntervalLiteral);
-        if (result == null) result = caseStatement(emptyIntervalLiteral);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.STRING_LITERAL:
-      {
-        StringLiteral stringLiteral = (StringLiteral)theEObject;
-        T result = caseStringLiteral(stringLiteral);
-        if (result == null) result = caseLiteral(stringLiteral);
-        if (result == null) result = caseExpression(stringLiteral);
-        if (result == null) result = caseStatement(stringLiteral);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.CLASS_DEFINITION:
-      {
-        ClassDefinition classDefinition = (ClassDefinition)theEObject;
-        T result = caseClassDefinition(classDefinition);
-        if (result == null) result = caseStatement(classDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.MEMBER_DEFINITION:
-      {
-        MemberDefinition memberDefinition = (MemberDefinition)theEObject;
-        T result = caseMemberDefinition(memberDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.MULTIPLICITY:
-      {
-        Multiplicity multiplicity = (Multiplicity)theEObject;
-        T result = caseMultiplicity(multiplicity);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.MANY_MULTIPLICITY:
-      {
-        ManyMultiplicity manyMultiplicity = (ManyMultiplicity)theEObject;
-        T result = caseManyMultiplicity(manyMultiplicity);
-        if (result == null) result = caseMultiplicity(manyMultiplicity);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXACT_MULTIPLICITY:
-      {
-        ExactMultiplicity exactMultiplicity = (ExactMultiplicity)theEObject;
-        T result = caseExactMultiplicity(exactMultiplicity);
-        if (result == null) result = caseMultiplicity(exactMultiplicity);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.BOUNDED_MULTIPLICITY:
-      {
-        BoundedMultiplicity boundedMultiplicity = (BoundedMultiplicity)theEObject;
-        T result = caseBoundedMultiplicity(boundedMultiplicity);
-        if (result == null) result = caseMultiplicity(boundedMultiplicity);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.SCOPE_DEFINITION:
-      {
-        ScopeDefinition scopeDefinition = (ScopeDefinition)theEObject;
-        T result = caseScopeDefinition(scopeDefinition);
-        if (result == null) result = caseStatement(scopeDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.EXACT_SCOPE_DEFINITION:
-      {
-        ExactScopeDefinition exactScopeDefinition = (ExactScopeDefinition)theEObject;
-        T result = caseExactScopeDefinition(exactScopeDefinition);
-        if (result == null) result = caseScopeDefinition(exactScopeDefinition);
-        if (result == null) result = caseStatement(exactScopeDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.BOUNDED_SCOPE_DEFINITION:
-      {
-        BoundedScopeDefinition boundedScopeDefinition = (BoundedScopeDefinition)theEObject;
-        T result = caseBoundedScopeDefinition(boundedScopeDefinition);
-        if (result == null) result = caseScopeDefinition(boundedScopeDefinition);
-        if (result == null) result = caseStatement(boundedScopeDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.LOWER_BOUNDED_SCOPE_DEFINITION:
-      {
-        LowerBoundedScopeDefinition lowerBoundedScopeDefinition = (LowerBoundedScopeDefinition)theEObject;
-        T result = caseLowerBoundedScopeDefinition(lowerBoundedScopeDefinition);
-        if (result == null) result = caseScopeDefinition(lowerBoundedScopeDefinition);
-        if (result == null) result = caseStatement(lowerBoundedScopeDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.OBJECTIVE_DEFINITION:
-      {
-        ObjectiveDefinition objectiveDefinition = (ObjectiveDefinition)theEObject;
-        T result = caseObjectiveDefinition(objectiveDefinition);
-        if (result == null) result = caseStatement(objectiveDefinition);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.NAMED_ELEMENT:
-      {
-        NamedElement namedElement = (NamedElement)theEObject;
-        T result = caseNamedElement(namedElement);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.ASSERTION:
-      {
-        Assertion assertion = (Assertion)theEObject;
-        T result = caseAssertion(assertion);
-        if (result == null) result = caseStatement(assertion);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.DISJUNCTION:
-      {
-        Disjunction disjunction = (Disjunction)theEObject;
-        T result = caseDisjunction(disjunction);
-        if (result == null) result = caseExpression(disjunction);
-        if (result == null) result = caseStatement(disjunction);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.SWITCH:
-      {
-        org.eclipse.viatra.solver.language.solverLanguage.Switch switch_ = (org.eclipse.viatra.solver.language.solverLanguage.Switch)theEObject;
-        T result = caseSwitch(switch_);
-        if (result == null) result = caseExpression(switch_);
-        if (result == null) result = caseStatement(switch_);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.CONJUNCTION:
-      {
-        Conjunction conjunction = (Conjunction)theEObject;
-        T result = caseConjunction(conjunction);
-        if (result == null) result = caseExpression(conjunction);
-        if (result == null) result = caseStatement(conjunction);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.COMPARISON:
-      {
-        Comparison comparison = (Comparison)theEObject;
-        T result = caseComparison(comparison);
-        if (result == null) result = caseExpression(comparison);
-        if (result == null) result = caseStatement(comparison);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.BINARY_EXPRESSION:
-      {
-        BinaryExpression binaryExpression = (BinaryExpression)theEObject;
-        T result = caseBinaryExpression(binaryExpression);
-        if (result == null) result = caseExpression(binaryExpression);
-        if (result == null) result = caseStatement(binaryExpression);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      case SolverLanguagePackage.UNARY_EXPRESSION:
-      {
-        UnaryExpression unaryExpression = (UnaryExpression)theEObject;
-        T result = caseUnaryExpression(unaryExpression);
-        if (result == null) result = caseExpression(unaryExpression);
-        if (result == null) result = caseStatement(unaryExpression);
-        if (result == null) result = defaultCase(theEObject);
-        return result;
-      }
-      default: return defaultCase(theEObject);
-    }
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Problem</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>Problem</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseProblem(Problem object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Statement</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>Statement</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseStatement(Statement object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Predicate 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>Predicate Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T casePredicateDefinition(PredicateDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Unnamed Error Prediate 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>Unnamed Error Prediate Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Default 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>Default Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseDefaultDefinition(DefaultDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Extern Predicate 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>Extern Predicate Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExternPredicateDefinition(ExternPredicateDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Metric 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>Metric Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseMetricDefinition(MetricDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Extern Metric 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>Extern Metric Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExternMetricDefinition(ExternMetricDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Expression</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>Expression</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExpression(Expression object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>If Else</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>If Else</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseIfElse(IfElse object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Case</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>Case</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseCase(Case object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Count</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>Count</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseCount(Count object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Aggregation</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>Aggregation</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseAggregation(Aggregation object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>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>Call</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseCall(Call object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Argument List</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>Argument List</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseArgumentList(ArgumentList object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Argument</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>Argument</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseArgument(Argument object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Expression Argument</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>Expression Argument</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExpressionArgument(ExpressionArgument object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Star Argument</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>Star Argument</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseStarArgument(StarArgument object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Typed Argument</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>Typed Argument</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseTypedArgument(TypedArgument object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Typed Star Argument</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>Typed Star Argument</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseTypedStarArgument(TypedStarArgument object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>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>Reference</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseReference(Reference object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Interval</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>Interval</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseInterval(Interval object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>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>Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseLiteral(Literal object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Logic 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>Logic Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseLogicLiteral(LogicLiteral object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Numeric 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>Numeric Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseNumericLiteral(NumericLiteral object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Infinity 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>Infinity Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseInfinityLiteral(InfinityLiteral object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Empty Interval 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>Empty Interval Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseEmptyIntervalLiteral(EmptyIntervalLiteral object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>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>String Literal</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseStringLiteral(StringLiteral object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Class 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>Class Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseClassDefinition(ClassDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Member 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>Member Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseMemberDefinition(MemberDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Multiplicity</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>Multiplicity</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseMultiplicity(Multiplicity object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Many Multiplicity</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>Many Multiplicity</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseManyMultiplicity(ManyMultiplicity object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</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>Exact Multiplicity</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExactMultiplicity(ExactMultiplicity object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Bounded Multiplicity</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>Bounded Multiplicity</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseBoundedMultiplicity(BoundedMultiplicity object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Scope 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>Scope Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseScopeDefinition(ScopeDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Exact Scope 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>Exact Scope Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseExactScopeDefinition(ExactScopeDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Bounded Scope 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>Bounded Scope Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseBoundedScopeDefinition(BoundedScopeDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Lower Bounded Scope 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>Lower Bounded Scope Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Objective 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>Objective Definition</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseObjectiveDefinition(ObjectiveDefinition object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Named Element</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>Named Element</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseNamedElement(NamedElement object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Assertion</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>Assertion</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseAssertion(Assertion object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Disjunction</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>Disjunction</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseDisjunction(Disjunction object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Switch</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>Switch</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseSwitch(org.eclipse.viatra.solver.language.solverLanguage.Switch object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Conjunction</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>Conjunction</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseConjunction(Conjunction object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Comparison</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>Comparison</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseComparison(Comparison object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Binary Expression</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>Binary Expression</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseBinaryExpression(BinaryExpression object)
-  {
-    return null;
-  }
-
-  /**
-   * Returns the result of interpreting the object as an instance of '<em>Unary Expression</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>Unary Expression</em>'.
-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
-   * @generated
-   */
-  public T caseUnaryExpression(UnaryExpression 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;
-  }
-
-} //SolverLanguageSwitch
-- 
cgit v1.2.3-54-g00ecf