Synthetic tokens for solver language

3 files changed, 33 insertions, 0 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
new file mode 100644
index 00000000..d833165e
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
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
new file mode 100644
index 00000000..9cf14147
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
@@ -0,0 +1,7 @@
+/.SolverLangaugeSyntheticTokenParser.java._trace
+/.SolverLanguageSyntheticTokenTokenSource.java._trace
+/.LastTokenState.java._trace
+/.SolverLangusgeSyntheticTokenParser.java._trace
+/.SolverLanguageSyntheticTokenParser.java._trace
+/.SolverLanguageTokenSource.java._trace
+/.SolverLanguageTokenDefInjectingParser.java._trace
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
new file mode 100644
index 00000000..12c92733
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
@@ -0,0 +1,26 @@
+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;
+  }
+}