diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java index 12ffc551..5cb1dcdc 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguageFactoryImpl.java | |||
@@ -29,7 +29,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | |||
29 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | 29 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; |
30 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | 30 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; |
31 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | 31 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; |
32 | import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | 32 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; |
34 | import org.eclipse.viatra.solver.language.solverLanguage.False; | 33 | import org.eclipse.viatra.solver.language.solverLanguage.False; |
35 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | 34 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; |
@@ -49,7 +48,6 @@ import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | |||
49 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | 48 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; |
50 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | 49 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; |
51 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | 50 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; |
52 | import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | 51 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; |
54 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | 52 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; |
55 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | 53 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; |
@@ -144,8 +142,6 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
144 | case SolverLanguagePackage.REAL_OBJECT: return createRealObject(); | 142 | case SolverLanguagePackage.REAL_OBJECT: return createRealObject(); |
145 | case SolverLanguagePackage.STRING_OBJECT: return createStringObject(); | 143 | case SolverLanguagePackage.STRING_OBJECT: return createStringObject(); |
146 | case SolverLanguagePackage.PREDICATE: return createPredicate(); | 144 | case SolverLanguagePackage.PREDICATE: return createPredicate(); |
147 | case SolverLanguagePackage.PREDICATE_SYMBOL: return createPredicateSymbol(); | ||
148 | case SolverLanguagePackage.ERROR_PREDICATE: return createErrorPredicate(); | ||
149 | case SolverLanguagePackage.PARAMETER: return createParameter(); | 145 | case SolverLanguagePackage.PARAMETER: return createParameter(); |
150 | case SolverLanguagePackage.PATTERN_BODY: return createPatternBody(); | 146 | case SolverLanguagePackage.PATTERN_BODY: return createPatternBody(); |
151 | case SolverLanguagePackage.POLARITY: return createPolarity(); | 147 | case SolverLanguagePackage.POLARITY: return createPolarity(); |
@@ -495,30 +491,6 @@ public class SolverLanguageFactoryImpl extends EFactoryImpl implements SolverLan | |||
495 | * @generated | 491 | * @generated |
496 | */ | 492 | */ |
497 | @Override | 493 | @Override |
498 | public PredicateSymbol createPredicateSymbol() | ||
499 | { | ||
500 | PredicateSymbolImpl predicateSymbol = new PredicateSymbolImpl(); | ||
501 | return predicateSymbol; | ||
502 | } | ||
503 | |||
504 | /** | ||
505 | * <!-- begin-user-doc --> | ||
506 | * <!-- end-user-doc --> | ||
507 | * @generated | ||
508 | */ | ||
509 | @Override | ||
510 | public ErrorPredicate createErrorPredicate() | ||
511 | { | ||
512 | ErrorPredicateImpl errorPredicate = new ErrorPredicateImpl(); | ||
513 | return errorPredicate; | ||
514 | } | ||
515 | |||
516 | /** | ||
517 | * <!-- begin-user-doc --> | ||
518 | * <!-- end-user-doc --> | ||
519 | * @generated | ||
520 | */ | ||
521 | @Override | ||
522 | public Parameter createParameter() | 494 | public Parameter createParameter() |
523 | { | 495 | { |
524 | ParameterImpl parameter = new ParameterImpl(); | 496 | ParameterImpl parameter = new ParameterImpl(); |