VAMPIRE: post-submission push

1 files changed, 39 insertions, 0 deletions

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;
+        }
+        
+}