diff options
author | 2020-06-13 19:24:25 -0400 | |
---|---|---|
committer | 2020-06-13 19:24:25 -0400 | |
commit | 022a1e52e0cf20f64d9cd6685c65d945c04eaecc (patch) | |
tree | c281cd871d008ae63640fbdd9ff5739e273cb224 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java | |
parent | Merge branch 'Vampire-New' into Vampire-New (diff) | |
download | VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.gz VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.zst VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.zip |
remove Alloy solver copy
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java | 39 |
1 files changed, 0 insertions, 39 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 deleted file mode 100644 index b1e11c01..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/AlloyLanguageParser.java +++ /dev/null | |||
@@ -1,39 +0,0 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.parser.antlr; | ||
5 | |||
6 | import com.google.inject.Inject; | ||
7 | |||
8 | import org.eclipse.xtext.parser.antlr.XtextTokenStream; | ||
9 | import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess; | ||
10 | |||
11 | public class AlloyLanguageParser extends org.eclipse.xtext.parser.antlr.AbstractAntlrParser { | ||
12 | |||
13 | @Inject | ||
14 | private AlloyLanguageGrammarAccess grammarAccess; | ||
15 | |||
16 | @Override | ||
17 | protected void setInitialHiddenTokens(XtextTokenStream tokenStream) { | ||
18 | tokenStream.setInitialHiddenTokens("RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT"); | ||
19 | } | ||
20 | |||
21 | @Override | ||
22 | protected hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageParser createParser(XtextTokenStream stream) { | ||
23 | return new hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageParser(stream, getGrammarAccess()); | ||
24 | } | ||
25 | |||
26 | @Override | ||
27 | protected String getDefaultRuleName() { | ||
28 | return "ALSDocument"; | ||
29 | } | ||
30 | |||
31 | public AlloyLanguageGrammarAccess getGrammarAccess() { | ||
32 | return this.grammarAccess; | ||
33 | } | ||
34 | |||
35 | public void setGrammarAccess(AlloyLanguageGrammarAccess grammarAccess) { | ||
36 | this.grammarAccess = grammarAccess; | ||
37 | } | ||
38 | |||
39 | } | ||