diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend index 732d9fed..4a19e2cd 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend | |||
@@ -14,14 +14,15 @@ import org.eclipse.xtend2.lib.StringConcatenationClient | |||
14 | 14 | ||
15 | class Ft2GalileoTransformation { | 15 | class Ft2GalileoTransformation { |
16 | def toGalileo(FaultTree faultTree) ''' | 16 | def toGalileo(FaultTree faultTree) ''' |
17 | toplevel «faultTree.topEvent.name»; | 17 | toplevel "«faultTree.topEvent.name»"; |
18 | «FOR event : faultTree.events» | 18 | «FOR event : faultTree.events» |
19 | «event.name» «defineEvent(event)»; | 19 | "«event.name»" «defineEvent(event)»; |
20 | «ENDFOR» | 20 | «ENDFOR» |
21 | ''' | 21 | ''' |
22 | 22 | ||
23 | protected dispatch def defineEvent(BasicEvent basicEvent) { | 23 | protected dispatch def defineEvent(BasicEvent basicEvent) { |
24 | defineDistribution(basicEvent.distribution) | 24 | // ft-diet (https://moves.rwth-aachen.de/ft-diet/) needs a dormancy factor. |
25 | '''«defineDistribution(basicEvent.distribution)» dorm=0.0''' | ||
25 | } | 26 | } |
26 | 27 | ||
27 | protected dispatch def StringConcatenationClient defineDistribution(ConstantDistribution distribution) { | 28 | protected dispatch def StringConcatenationClient defineDistribution(ConstantDistribution distribution) { |
@@ -37,7 +38,7 @@ class Ft2GalileoTransformation { | |||
37 | } | 38 | } |
38 | 39 | ||
39 | protected dispatch def StringConcatenationClient defineEvent(Gate gate) { | 40 | protected dispatch def StringConcatenationClient defineEvent(Gate gate) { |
40 | '''«defineGate(gate)» «FOR input : gate.inputEvents SEPARATOR " "»«input.name»«ENDFOR»''' | 41 | '''«defineGate(gate)» «FOR input : gate.inputEvents SEPARATOR " "»"«input.name»"«ENDFOR»''' |
41 | } | 42 | } |
42 | 43 | ||
43 | protected dispatch def StringConcatenationClient defineGate(AndGate gate) '''and''' | 44 | protected dispatch def StringConcatenationClient defineGate(AndGate gate) '''and''' |