From 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 23 Jun 2020 15:17:00 +0200 Subject: New configuration language parser WIP --- .../solverLanguage/util/SolverLanguageSwitch.java | 1388 -------------------- 1 file changed, 1388 deletions(-) delete mode 100644 Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java') diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java deleted file mode 100644 index 4e5929e6..00000000 --- a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java +++ /dev/null @@ -1,1388 +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.*; - -/** - * - * 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 -- cgit v1.2.3-70-g09d2