From 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 25 Oct 2019 04:15:39 -0400 Subject: VAMPIRE: post-submission push --- .../parser/antlr/AlloyLanguageParser.java | 39 ++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java new file mode 100644 index 00000000..b1e11c01 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java @@ -0,0 +1,39 @@ +/* + * generated by Xtext + */ +package hu.bme.mit.inf.dslreasoner.parser.antlr; + +import com.google.inject.Inject; + +import org.eclipse.xtext.parser.antlr.XtextTokenStream; +import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess; + +public class AlloyLanguageParser extends org.eclipse.xtext.parser.antlr.AbstractAntlrParser { + + @Inject + private AlloyLanguageGrammarAccess grammarAccess; + + @Override + protected void setInitialHiddenTokens(XtextTokenStream tokenStream) { + tokenStream.setInitialHiddenTokens("RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT"); + } + + @Override + protected hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageParser createParser(XtextTokenStream stream) { + return new hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageParser(stream, getGrammarAccess()); + } + + @Override + protected String getDefaultRuleName() { + return "ALSDocument"; + } + + public AlloyLanguageGrammarAccess getGrammarAccess() { + return this.grammarAccess; + } + + public void setGrammarAccess(AlloyLanguageGrammarAccess grammarAccess) { + this.grammarAccess = grammarAccess; + } + +} -- cgit v1.2.3-70-g09d2