blob: 6683b3f88a4ddbb54064637c4df2dca72f1c7e1c (
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
|
package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
import com.google.common.collect.ImmutableMap
import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition
import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition
import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition
import java.util.Map
import org.eclipse.viatra.query.patternlanguage.emf.specification.SpecificationBuilder
import org.eclipse.viatra.query.runtime.api.GenericQueryGroup
import org.eclipse.viatra.query.runtime.api.IPatternMatch
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
class MappingQueries {
val Map<MappingDefinition, ViatraQueryMatcher<? extends IPatternMatch>> matchersMap
new(TransformationDefinition transformationDefinition, ViatraQueryEngine viatraQueryEngine) {
val specificationBuilder = new SpecificationBuilder
val querySpecificationsMap = transformationDefinition.mappingDefinitions.toMap([it], [
specificationBuilder.getOrCreateSpecification(pattern)
])
GenericQueryGroup.of(querySpecificationsMap.values).prepare(viatraQueryEngine)
matchersMap = ImmutableMap.copyOf(querySpecificationsMap.mapValues[getMatcher(viatraQueryEngine)])
}
def getMatcher(MappingDefinition mappingDefinition) {
val matcher = matchersMap.get(mappingDefinition)
if (matcher === null) {
throw new IllegalArgumentException("Unknown mapping definition: " + mappingDefinition)
}
matcher
}
def createLookupHandler(MappingDefinition mappingDefinition, LookupDefinition lookupDefinition) {
val lookedUpMatcher = getMatcher(lookupDefinition.mapping)
new LookupHandler(mappingDefinition, lookupDefinition, lookedUpMatcher)
}
}
|