aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src/ca/mcgill/ecse/dslreasoner/ide/VampireLanguageIdeSetup.xtend
blob: b8411c3220c35e641b757b96c117c4b8751d72a0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/*
 * 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 com.google.inject.Guice
import org.eclipse.xtext.util.Modules2

/**
 * Initialization support for running Xtext languages as language servers.
 */
class VampireLanguageIdeSetup extends VampireLanguageStandaloneSetup {

	override createInjector() {
		Guice.createInjector(Modules2.mixin(new VampireLanguageRuntimeModule, new VampireLanguageIdeModule))
	}
	
}