From 771e3773bb7ebbf6712724cb2b248467c9cc2e3c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 8 May 2020 21:02:33 +0200 Subject: Synthetic tokens for solver language --- .../language/parser/antlr/SolverLanguageParser.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageParser.java') diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageParser.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageParser.java index eb746697..da897406 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageParser.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageParser.java @@ -4,6 +4,8 @@ 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.internal.InternalSolverLanguageParser; import org.eclipse.viatra.solver.language.services.SolverLanguageGrammarAccess; import org.eclipse.xtext.parser.antlr.AbstractAntlrParser; @@ -19,6 +21,19 @@ public class SolverLanguageParser extends AbstractAntlrParser { tokenStream.setInitialHiddenTokens("RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT"); } + @Override + protected TokenSource createLexer(CharStream stream) { + return new SolverLanguageTokenSource(super.createLexer(stream)); + } + + /** + * Indentation aware languages do not support partial parsing since the lexer is inherently stateful. + * Override and return {@code true} if your terminal splitting is stateless. + */ + @Override + protected boolean isReparseSupported() { + return false; + } @Override protected InternalSolverLanguageParser createParser(XtextTokenStream stream) { -- cgit v1.2.3-54-g00ecf