diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend new file mode 100644 index 00000000..7a3e377b --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend | |||
@@ -0,0 +1,39 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory | ||
4 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition | ||
5 | import java.util.Map | ||
6 | import org.eclipse.viatra.query.runtime.api.IPatternMatch | ||
7 | import org.eclipse.xtend.lib.annotations.Accessors | ||
8 | |||
9 | class ComponentFaultTreeTrace { | ||
10 | @Accessors val componentFaultTree = CftFactory.eINSTANCE.createComponentFaultTree | ||
11 | |||
12 | val nameGenerator = new ComponentNameGenerator | ||
13 | val Map<IPatternMatch, ComponentInstanceTrace> componentInstancesMap = newHashMap | ||
14 | |||
15 | def instantiateComponent(IPatternMatch patternMatch, ComponentDefinition componenDefinition) { | ||
16 | if (componentInstancesMap.containsKey(patternMatch)) { | ||
17 | throw new IllegalArgumentException("Already instantiated component for match: " + patternMatch) | ||
18 | } | ||
19 | val componentTrace = new ComponentInstanceTrace(componentFaultTree, componenDefinition, nameGenerator) | ||
20 | componentInstancesMap.put(patternMatch, componentTrace) | ||
21 | componentTrace | ||
22 | } | ||
23 | |||
24 | def setTopLevel(ComponentInstanceTrace trace) { | ||
25 | if (componentFaultTree.topEvent !== null) { | ||
26 | throw new IllegalArgumentException("Top level component already set") | ||
27 | } | ||
28 | val outputs = trace.outputs | ||
29 | if (outputs.size !== 1) { | ||
30 | throw new IllegalArgumentException("Top level component must have 1 output, got " + outputs.size + | ||
31 | " instead") | ||
32 | } | ||
33 | componentFaultTree.topEvent = outputs.head | ||
34 | } | ||
35 | |||
36 | def lookup(IPatternMatch patternMatch) { | ||
37 | componentInstancesMap.get(patternMatch) | ||
38 | } | ||
39 | } | ||