aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeSetup.java
blob: 05decf8c194ed82f4b332202158f4d811b3a7f97 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
/**
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.ide;

import ca.mcgill.ecse.dslreasoner.VampireLanguageRuntimeModule;
import ca.mcgill.ecse.dslreasoner.VampireLanguageStandaloneSetup;
import ca.mcgill.ecse.dslreasoner.ide.VampireLanguageIdeModule;
import com.google.inject.Guice;
import com.google.inject.Injector;
import org.eclipse.xtext.util.Modules2;

/**
 * Initialization support for running Xtext languages as language servers.
 */
@SuppressWarnings("all")
public class VampireLanguageIdeSetup extends VampireLanguageStandaloneSetup {
  @Override
  public Injector createInjector() {
    VampireLanguageRuntimeModule _vampireLanguageRuntimeModule = new VampireLanguageRuntimeModule();
    VampireLanguageIdeModule _vampireLanguageIdeModule = new VampireLanguageIdeModule();
    return Guice.createInjector(Modules2.mixin(_vampireLanguageRuntimeModule, _vampireLanguageIdeModule));
  }
}