diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 20:39:40 +0200 |
commit | 10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch) | |
tree | 0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java | |
parent | Migrating Additional projects (diff) | |
download | VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip |
Added generated Xtext artefacts
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java new file mode 100644 index 00000000..7579dddd --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/SmtLanguageParser.java | |||
@@ -0,0 +1,39 @@ | |||
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.SmtLanguageGrammarAccess; | ||
10 | |||
11 | public class SmtLanguageParser extends org.eclipse.xtext.parser.antlr.AbstractAntlrParser { | ||
12 | |||
13 | @Inject | ||
14 | private SmtLanguageGrammarAccess 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.InternalSmtLanguageParser createParser(XtextTokenStream stream) { | ||
23 | return new hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalSmtLanguageParser(stream, getGrammarAccess()); | ||
24 | } | ||
25 | |||
26 | @Override | ||
27 | protected String getDefaultRuleName() { | ||
28 | return "SMTDocument"; | ||
29 | } | ||
30 | |||
31 | public SmtLanguageGrammarAccess getGrammarAccess() { | ||
32 | return this.grammarAccess; | ||
33 | } | ||
34 | |||
35 | public void setGrammarAccess(SmtLanguageGrammarAccess grammarAccess) { | ||
36 | this.grammarAccess = grammarAccess; | ||
37 | } | ||
38 | |||
39 | } | ||