diff options
author | 2020-04-28 20:43:04 +0200 | |
---|---|---|
committer | 2020-04-28 20:43:04 +0200 | |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide')
2 files changed, 31 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeModule.xtend b/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeModule.xtend new file mode 100644 index 00000000..b251a682 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeModule.xtend | |||
@@ -0,0 +1,11 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ide | ||
5 | |||
6 | |||
7 | /** | ||
8 | * Use this class to register ide components. | ||
9 | */ | ||
10 | class SolverLanguageIdeModule extends AbstractSolverLanguageIdeModule { | ||
11 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeSetup.xtend b/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeSetup.xtend new file mode 100644 index 00000000..e62468d1 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ide/src/org/eclipse/viatra/solver/language/ide/SolverLanguageIdeSetup.xtend | |||
@@ -0,0 +1,20 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.ide | ||
5 | |||
6 | import com.google.inject.Guice | ||
7 | import org.eclipse.viatra.solver.language.SolverLanguageRuntimeModule | ||
8 | import org.eclipse.viatra.solver.language.SolverLanguageStandaloneSetup | ||
9 | import org.eclipse.xtext.util.Modules2 | ||
10 | |||
11 | /** | ||
12 | * Initialization support for running Xtext languages as language servers. | ||
13 | */ | ||
14 | class SolverLanguageIdeSetup extends SolverLanguageStandaloneSetup { | ||
15 | |||
16 | override createInjector() { | ||
17 | Guice.createInjector(Modules2.mixin(new SolverLanguageRuntimeModule, new SolverLanguageIdeModule)) | ||
18 | } | ||
19 | |||
20 | } | ||