blob: 1269ec1fa8b1a0314a7b05cdd1d42f87c6db2ec9 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
package hu.bme.mit.inf.dslreasoner.application.execution
import com.google.inject.Binder
import com.google.inject.multibindings.Multibinder
import com.google.inject.name.Names
import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup.StandaloneParserWithSeparateModules
import org.eclipse.viatra.query.patternlanguage.emf.scoping.EMFPatternLanguageImportNamespaceProvider
import org.eclipse.viatra.query.patternlanguage.emf.scoping.IMetamodelProvider
import org.eclipse.viatra.query.patternlanguage.emf.scoping.IMetamodelProviderInstance
import org.eclipse.xtext.scoping.IScopeProvider
import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider
import org.eclipse.viatra.query.patternlanguage.emf.scoping.CompoundMetamodelProviderService
import org.eclipse.viatra.query.patternlanguage.emf.scoping.MetamodelProviderService
import org.eclipse.viatra.query.patternlanguage.emf.scoping.ResourceSetMetamodelProviderService
import org.eclipse.viatra.query.patternlanguage.emf.types.EMFTypeInferrer
import org.eclipse.viatra.query.patternlanguage.emf.types.EMFTypeSystem
import org.eclipse.viatra.query.patternlanguage.emf.types.ITypeInferrer
import org.eclipse.viatra.query.patternlanguage.emf.types.ITypeSystem
import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageRuntimeModule
class PatternLanguageWithRSModule extends EMFPatternLanguageRuntimeModule{
override configureIScopeProviderDelegate(Binder binder) {
binder.bind(IScopeProvider).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE))
.to(EMFPatternLanguageImportNamespaceProvider);
Multibinder::newSetBinder(binder, IMetamodelProviderInstance);
}
override Class<? extends IMetamodelProvider> bindIMetamodelProvider() {
CompoundMetamodelProviderService
}
def configureMetamodelProviderInstance(Binder binder) {
val metamodelProviderBinder = Multibinder.newSetBinder(binder, IMetamodelProviderInstance)
metamodelProviderBinder.addBinding.to(MetamodelProviderService)
metamodelProviderBinder.addBinding.to(ResourceSetMetamodelProviderService)
}
override Class<? extends ITypeSystem> bindITypeSystem() {
return EMFTypeSystem;
}
override Class<? extends ITypeInferrer> bindITypeInferrer() {
return EMFTypeInferrer;
}
}
|