rebase dreal-integ on models20-measurements

3 files changed, 0 insertions, 35 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
deleted file mode 100644
index d2fd056e..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
+++ /dev/null
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
deleted file mode 100644
index 5fbb81c3..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
+++ /dev/null
@@ -1,9 +0,0 @@
-/.SolverLangaugeSyntheticTokenParser.java._trace
-/.SolverLanguageSyntheticTokenTokenSource.java._trace
-/.LastTokenState.java._trace
-/.SolverLangusgeSyntheticTokenParser.java._trace
-/.SolverLanguageSyntheticTokenParser.java._trace
-/.SolverLanguageTokenSource.java._trace
-/.SolverLanguageTokenDefInjectingParser.java._trace
-/.SolverLanguageTokenDefInjectingParser.xtendbin
-/SolverLanguageTokenDefInjectingParser.java
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
deleted file mode 100644
index 12c92733..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package org.eclipse.viatra.solver.language.parser.antlr;
-
-import com.google.inject.Inject;
-import org.antlr.runtime.CharStream;
-import org.antlr.runtime.TokenSource;
-import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageParser;
-import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageTokenSource;
-import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
-
-@SuppressWarnings("all")
-public class SolverLanguageTokenDefInjectingParser extends SolverLanguageParser {
-  @Inject
-  private ITokenDefProvider tokenDefProvider;
-  
-  @Override
-  protected TokenSource createLexer(final CharStream stream) {
-    SolverLanguageTokenSource _xblockexpression = null;
-    {
-      TokenSource _createLexer = super.createLexer(stream);
-      final SolverLanguageTokenSource tokenSource = ((SolverLanguageTokenSource) _createLexer);
-      tokenSource.initializeTokenDefsFrom(this.tokenDefProvider);
-      _xblockexpression = tokenSource;
-    }
-    return _xblockexpression;
-  }
-}