diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | 53 |
1 files changed, 1 insertions, 52 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java index 9bc874e3..6f6bcd17 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | |||
@@ -26,7 +26,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | |||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 26 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; |
27 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 27 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; |
28 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 28 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; |
29 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 29 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.False; |
32 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; |
@@ -46,7 +45,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | |||
46 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | 45 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; |
47 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 46 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; |
48 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 47 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
49 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 48 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; |
52 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; |
@@ -275,6 +273,7 @@ public class SolverLanguageSwitch<T> extends Switch<T> | |||
275 | NamedObject namedObject = (NamedObject)theEObject; | 273 | NamedObject namedObject = (NamedObject)theEObject; |
276 | T result = caseNamedObject(namedObject); | 274 | T result = caseNamedObject(namedObject); |
277 | if (result == null) result = caseObject(namedObject); | 275 | if (result == null) result = caseObject(namedObject); |
276 | if (result == null) result = caseLiteral(namedObject); | ||
278 | if (result == null) result = caseComplexObject(namedObject); | 277 | if (result == null) result = caseComplexObject(namedObject); |
279 | if (result == null) result = defaultCase(theEObject); | 278 | if (result == null) result = defaultCase(theEObject); |
280 | return result; | 279 | return result; |
@@ -350,24 +349,6 @@ public class SolverLanguageSwitch<T> extends Switch<T> | |||
350 | if (result == null) result = defaultCase(theEObject); | 349 | if (result == null) result = defaultCase(theEObject); |
351 | return result; | 350 | return result; |
352 | } | 351 | } |
353 | case SolverLanguagePackage.PREDICATE_SYMBOL: | ||
354 | { | ||
355 | PredicateSymbol predicateSymbol = (PredicateSymbol)theEObject; | ||
356 | T result = casePredicateSymbol(predicateSymbol); | ||
357 | if (result == null) result = casePredicate(predicateSymbol); | ||
358 | if (result == null) result = caseStatement(predicateSymbol); | ||
359 | if (result == null) result = defaultCase(theEObject); | ||
360 | return result; | ||
361 | } | ||
362 | case SolverLanguagePackage.ERROR_PREDICATE: | ||
363 | { | ||
364 | ErrorPredicate errorPredicate = (ErrorPredicate)theEObject; | ||
365 | T result = caseErrorPredicate(errorPredicate); | ||
366 | if (result == null) result = casePredicate(errorPredicate); | ||
367 | if (result == null) result = caseStatement(errorPredicate); | ||
368 | if (result == null) result = defaultCase(theEObject); | ||
369 | return result; | ||
370 | } | ||
371 | case SolverLanguagePackage.PARAMETER: | 352 | case SolverLanguagePackage.PARAMETER: |
372 | { | 353 | { |
373 | Parameter parameter = (Parameter)theEObject; | 354 | Parameter parameter = (Parameter)theEObject; |
@@ -997,38 +978,6 @@ public class SolverLanguageSwitch<T> extends Switch<T> | |||
997 | } | 978 | } |
998 | 979 | ||
999 | /** | 980 | /** |
1000 | * Returns the result of interpreting the object as an instance of '<em>Predicate Symbol</em>'. | ||
1001 | * <!-- begin-user-doc --> | ||
1002 | * This implementation returns null; | ||
1003 | * returning a non-null result will terminate the switch. | ||
1004 | * <!-- end-user-doc --> | ||
1005 | * @param object the target of the switch. | ||
1006 | * @return the result of interpreting the object as an instance of '<em>Predicate Symbol</em>'. | ||
1007 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1008 | * @generated | ||
1009 | */ | ||
1010 | public T casePredicateSymbol(PredicateSymbol object) | ||
1011 | { | ||
1012 | return null; | ||
1013 | } | ||
1014 | |||
1015 | /** | ||
1016 | * Returns the result of interpreting the object as an instance of '<em>Error Predicate</em>'. | ||
1017 | * <!-- begin-user-doc --> | ||
1018 | * This implementation returns null; | ||
1019 | * returning a non-null result will terminate the switch. | ||
1020 | * <!-- end-user-doc --> | ||
1021 | * @param object the target of the switch. | ||
1022 | * @return the result of interpreting the object as an instance of '<em>Error Predicate</em>'. | ||
1023 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1024 | * @generated | ||
1025 | */ | ||
1026 | public T caseErrorPredicate(ErrorPredicate object) | ||
1027 | { | ||
1028 | return null; | ||
1029 | } | ||
1030 | |||
1031 | /** | ||
1032 | * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'. | 981 | * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'. |
1033 | * <!-- begin-user-doc --> | 982 | * <!-- begin-user-doc --> |
1034 | * This implementation returns null; | 983 | * This implementation returns null; |