From f87b4233437f0900c19f462b5e443a3c81b27b6e Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Jan 2019 12:44:33 -0500
Subject: Initial workspace setup

---
 .../parser/antlr/VampireLanguageParser.java        | 40 ++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java
new file mode 100644
index 00000000..0e487d5c
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/VampireLanguageParser.java
@@ -0,0 +1,40 @@
+/*
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.parser.antlr;
+
+import ca.mcgill.ecse.dslreasoner.parser.antlr.internal.InternalVampireLanguageParser;
+import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
+import com.google.inject.Inject;
+import org.eclipse.xtext.parser.antlr.AbstractAntlrParser;
+import org.eclipse.xtext.parser.antlr.XtextTokenStream;
+
+public class VampireLanguageParser extends AbstractAntlrParser {
+
+	@Inject
+	private VampireLanguageGrammarAccess grammarAccess;
+
+	@Override
+	protected void setInitialHiddenTokens(XtextTokenStream tokenStream) {
+		tokenStream.setInitialHiddenTokens("RULE_WS");
+	}
+	
+
+	@Override
+	protected InternalVampireLanguageParser createParser(XtextTokenStream stream) {
+		return new InternalVampireLanguageParser(stream, getGrammarAccess());
+	}
+
+	@Override 
+	protected String getDefaultRuleName() {
+		return "VampireModel";
+	}
+
+	public VampireLanguageGrammarAccess getGrammarAccess() {
+		return this.grammarAccess;
+	}
+
+	public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) {
+		this.grammarAccess = grammarAccess;
+	}
+}
-- 
cgit v1.2.3-54-g00ecf