/**
* 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.*;
/**
*
* The Switch for the model's inheritance hierarchy.
* It supports the call {@link #doSwitch(EObject) doSwitch(object)}
* to invoke the caseXXX
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.
*
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
* @generated
*/
public class SolverLanguageSwitch extends Switch {
/**
* The cached model package
*
*
* @generated
*/
protected static SolverLanguagePackage modelPackage;
/**
* Creates an instance of the switch.
*
*
* @generated
*/
public SolverLanguageSwitch() {
if (modelPackage == null) {
modelPackage = SolverLanguagePackage.eINSTANCE;
}
}
/**
* Checks whether this is a switch for the given package.
*
*
* @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 caseXXX
for each class of the model until one returns a non null result; it yields that result.
*
*
* @return the first non-null result returned by a caseXXX
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.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_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.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.EXTERN_AGGREGATOR_DEFINITION: {
ExternAggregatorDefinition externAggregatorDefinition = (ExternAggregatorDefinition)theEObject;
T result = caseExternAggregatorDefinition(externAggregatorDefinition);
if (result == null) result = caseStatement(externAggregatorDefinition);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.EXTERN_DATATYPE_DEFINITION: {
ExternDatatypeDefinition externDatatypeDefinition = (ExternDatatypeDefinition)theEObject;
T result = caseExternDatatypeDefinition(externDatatypeDefinition);
if (result == null) result = caseStatement(externDatatypeDefinition);
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.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.LET: {
Let let = (Let)theEObject;
T result = caseLet(let);
if (result == null) result = caseExpression(let);
if (result == null) result = caseStatement(let);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.LET_BINDING: {
LetBinding letBinding = (LetBinding)theEObject;
T result = caseLetBinding(letBinding);
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.LOCAL_VARIABLES: {
LocalVariables localVariables = (LocalVariables)theEObject;
T result = caseLocalVariables(localVariables);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.QUANTIFIED_EXPRESSION: {
QuantifiedExpression quantifiedExpression = (QuantifiedExpression)theEObject;
T result = caseQuantifiedExpression(quantifiedExpression);
if (result == null) result = caseExpression(quantifiedExpression);
if (result == null) result = caseStatement(quantifiedExpression);
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.INTERPRETATION: {
Interpretation interpretation = (Interpretation)theEObject;
T result = caseInterpretation(interpretation);
if (result == null) result = caseStatement(interpretation);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.VARIABLE: {
Variable variable = (Variable)theEObject;
T result = caseVariable(variable);
if (result == null) result = caseNamedElement(variable);
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.CAST_EXPRESSION: {
CastExpression castExpression = (CastExpression)theEObject;
T result = caseCastExpression(castExpression);
if (result == null) result = caseExpression(castExpression);
if (result == null) result = caseStatement(castExpression);
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;
}
case SolverLanguagePackage.NODE: {
Node node = (Node)theEObject;
T result = caseNode(node);
if (result == null) result = caseNamedElement(node);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.FUNCTOR: {
Functor functor = (Functor)theEObject;
T result = caseFunctor(functor);
if (result == null) result = caseNamedElement(functor);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.PREDICATE: {
Predicate predicate = (Predicate)theEObject;
T result = casePredicate(predicate);
if (result == null) result = caseFunctor(predicate);
if (result == null) result = caseNamedElement(predicate);
if (result == null) result = defaultCase(theEObject);
return result;
}
case SolverLanguagePackage.METRIC: {
Metric metric = (Metric)theEObject;
T result = caseMetric(metric);
if (result == null) result = caseFunctor(metric);
if (result == null) result = caseNamedElement(metric);
if (result == null) result = defaultCase(theEObject);
return result;
}
default: return defaultCase(theEObject);
}
}
/**
* Returns the result of interpreting the object as an instance of 'Problem'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Problem'.
* @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 'Statement'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Statement'.
* @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 'Predicate Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Predicate Definition'.
* @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 'Unnamed Error Prediate Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Unnamed Error Prediate Definition'.
* @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 'Default Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Default Definition'.
* @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 'Metric Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Metric Definition'.
* @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 'Extern Predicate Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Extern Predicate Definition'.
* @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 'Extern Metric Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Extern Metric Definition'.
* @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 'Extern Aggregator Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Extern Aggregator Definition'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseExternAggregatorDefinition(ExternAggregatorDefinition object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Extern Datatype Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Extern Datatype Definition'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseExternDatatypeDefinition(ExternDatatypeDefinition object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Named Element'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Named Element'.
* @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 'Expression'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Expression'.
* @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 'If Else'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'If Else'.
* @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 'Let'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Let'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseLet(Let object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Let Binding'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Let Binding'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseLetBinding(LetBinding object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Case'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Case'.
* @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 'Local Variables'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Local Variables'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseLocalVariables(LocalVariables object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Quantified Expression'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Quantified Expression'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseQuantifiedExpression(QuantifiedExpression object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Aggregation'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Aggregation'.
* @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 'Call'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Call'.
* @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 'Argument List'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Argument List'.
* @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 'Argument'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Argument'.
* @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 'Expression Argument'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Expression Argument'.
* @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 'Star Argument'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Star Argument'.
* @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 'Typed Argument'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Typed Argument'.
* @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 'Typed Star Argument'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Typed Star Argument'.
* @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 'Reference'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Reference'.
* @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 'Interval'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Interval'.
* @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 'Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Literal'.
* @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 'Logic Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Logic Literal'.
* @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 'Numeric Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Numeric Literal'.
* @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 'Infinity Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Infinity Literal'.
* @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 'Empty Interval Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Empty Interval Literal'.
* @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 'String Literal'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'String Literal'.
* @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 'Class Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Class Definition'.
* @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 'Member Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Member Definition'.
* @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 'Multiplicity'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Multiplicity'.
* @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 'Many Multiplicity'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Many Multiplicity'.
* @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 'Exact Multiplicity'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Exact Multiplicity'.
* @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 'Bounded Multiplicity'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Bounded Multiplicity'.
* @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 'Scope Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Scope Definition'.
* @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 'Exact Scope Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Exact Scope Definition'.
* @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 'Bounded Scope Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Bounded Scope Definition'.
* @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 'Lower Bounded Scope Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Lower Bounded Scope Definition'.
* @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 'Objective Definition'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Objective Definition'.
* @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 'Interpretation'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Interpretation'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseInterpretation(Interpretation object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Variable'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Variable'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseVariable(Variable object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Disjunction'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Disjunction'.
* @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 'Switch'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Switch'.
* @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 'Conjunction'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Conjunction'.
* @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 'Comparison'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Comparison'.
* @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 'Binary Expression'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Binary Expression'.
* @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 'Cast Expression'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Cast Expression'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseCastExpression(CastExpression object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Unary Expression'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Unary Expression'.
* @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 'Node'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Node'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseNode(Node object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Functor'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Functor'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseFunctor(Functor object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Predicate'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Predicate'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T casePredicate(Predicate object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'Metric'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'Metric'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
* @generated
*/
public T caseMetric(Metric object) {
return null;
}
/**
* Returns the result of interpreting the object as an instance of 'EObject'.
*
* This implementation returns null;
* returning a non-null result will terminate the switch, but this is the last case anyway.
*
* @param object the target of the switch.
* @return the result of interpreting the object as an instance of 'EObject'.
* @see #doSwitch(org.eclipse.emf.ecore.EObject)
* @generated
*/
@Override
public T defaultCase(EObject object) {
return null;
}
} //SolverLanguageSwitch