diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra')
10 files changed, 73 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore new file mode 100644 index 00000000..82298938 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/.gitignore | |||
@@ -0,0 +1,6 @@ | |||
1 | /.SolverLanguageRuntimeModule.java._trace | ||
2 | /.SolverLanguageRuntimeModule.xtendbin | ||
3 | /.SolverLanguageStandaloneSetup.java._trace | ||
4 | /.SolverLanguageStandaloneSetup.xtendbin | ||
5 | /SolverLanguageRuntimeModule.java | ||
6 | /SolverLanguageStandaloneSetup.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore new file mode 100644 index 00000000..a9345b80 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/generator/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageGenerator.java._trace | ||
2 | /.SolverLanguageGenerator.xtendbin | ||
3 | /SolverLanguageGenerator.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin new file mode 100644 index 00000000..24f61d80 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore new file mode 100644 index 00000000..9cf14147 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore | |||
@@ -0,0 +1,7 @@ | |||
1 | /.SolverLangaugeSyntheticTokenParser.java._trace | ||
2 | /.SolverLanguageSyntheticTokenTokenSource.java._trace | ||
3 | /.LastTokenState.java._trace | ||
4 | /.SolverLangusgeSyntheticTokenParser.java._trace | ||
5 | /.SolverLanguageSyntheticTokenParser.java._trace | ||
6 | /.SolverLanguageTokenSource.java._trace | ||
7 | /.SolverLanguageTokenDefInjectingParser.java._trace | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java new file mode 100644 index 00000000..12c92733 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java | |||
@@ -0,0 +1,26 @@ | |||
1 | package org.eclipse.viatra.solver.language.parser.antlr; | ||
2 | |||
3 | import com.google.inject.Inject; | ||
4 | import org.antlr.runtime.CharStream; | ||
5 | import org.antlr.runtime.TokenSource; | ||
6 | import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageParser; | ||
7 | import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageTokenSource; | ||
8 | import org.eclipse.xtext.parser.antlr.ITokenDefProvider; | ||
9 | |||
10 | @SuppressWarnings("all") | ||
11 | public class SolverLanguageTokenDefInjectingParser extends SolverLanguageParser { | ||
12 | @Inject | ||
13 | private ITokenDefProvider tokenDefProvider; | ||
14 | |||
15 | @Override | ||
16 | protected TokenSource createLexer(final CharStream stream) { | ||
17 | SolverLanguageTokenSource _xblockexpression = null; | ||
18 | { | ||
19 | TokenSource _createLexer = super.createLexer(stream); | ||
20 | final SolverLanguageTokenSource tokenSource = ((SolverLanguageTokenSource) _createLexer); | ||
21 | tokenSource.initializeTokenDefsFrom(this.tokenDefProvider); | ||
22 | _xblockexpression = tokenSource; | ||
23 | } | ||
24 | return _xblockexpression; | ||
25 | } | ||
26 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore new file mode 100644 index 00000000..16497231 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/scoping/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageScopeProvider.java._trace | ||
2 | /.SolverLanguageScopeProvider.xtendbin | ||
3 | /SolverLanguageScopeProvider.java | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin new file mode 100644 index 00000000..eae3bd77 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore new file mode 100644 index 00000000..b8132d70 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore | |||
@@ -0,0 +1 @@ | |||
/.SolverLanguageSyntheticTokenSyntacticSequencer.java._trace | |||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java new file mode 100644 index 00000000..af761a86 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java | |||
@@ -0,0 +1,24 @@ | |||
1 | package org.eclipse.viatra.solver.language.serializer; | ||
2 | |||
3 | import org.eclipse.emf.ecore.EObject; | ||
4 | import org.eclipse.viatra.solver.language.serializer.SolverLanguageSyntacticSequencer; | ||
5 | import org.eclipse.xtext.RuleCall; | ||
6 | import org.eclipse.xtext.nodemodel.INode; | ||
7 | |||
8 | @SuppressWarnings("all") | ||
9 | public class SolverLanguageSyntheticTokenSyntacticSequencer extends SolverLanguageSyntacticSequencer { | ||
10 | @Override | ||
11 | protected String getTRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) { | ||
12 | return "+"; | ||
13 | } | ||
14 | |||
15 | @Override | ||
16 | protected String getREFLEXIVE_TRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) { | ||
17 | return "*"; | ||
18 | } | ||
19 | |||
20 | @Override | ||
21 | protected String getFULL_STOPToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) { | ||
22 | return "."; | ||
23 | } | ||
24 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore new file mode 100644 index 00000000..565d4b27 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/validation/.gitignore | |||
@@ -0,0 +1,3 @@ | |||
1 | /.SolverLanguageValidator.java._trace | ||
2 | /.SolverLanguageValidator.xtendbin | ||
3 | /SolverLanguageValidator.java | ||