blob: 0b0afea631b0c0cbafd42673670fecb4b3cc70a6 (
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
|
package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
import java.util.Collection
import org.eclipse.xtend.lib.annotations.Accessors
class FaultTreeBuilder {
@Accessors
val faultTree = FtFactory.eINSTANCE.createFaultTree
def addTopLevel(RandomEvent event) {
if (faultTree.topEvent !== null) {
throw new IllegalStateException("Top event was already set")
}
add(event)
faultTree.topEvent = event
}
protected def void add(RandomEvent event) {
if (faultTree.eContainer == faultTree) {
return
}
if (faultTree.eContainer !== null) {
throw new IllegalStateException("Event is already in a different fault tree")
}
faultTree.events += event
if (event instanceof Gate) {
addAll(event.inputEvents)
}
}
protected def addAll(Collection<RandomEvent> events) {
for (event : events) {
add(event)
}
}
}
|
