From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../faulttree/transformation/cft2ft/EventMaterializer.xtend | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend index c9aefe51..6b3ed0d0 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend @@ -17,6 +17,8 @@ import java.util.Map import org.eclipse.emf.ecore.util.EcoreUtil import org.eclipse.xtend.lib.annotations.Data +import static extension hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions.* + class EventMaterializer { extension val FtFactory = FtFactory.eINSTANCE @@ -169,8 +171,10 @@ class EventMaterializer { val input = findInput(component, inputEvent) val builder = EventCollection.builder for (connection : input.incomingConnections) { - val materializedEvent = getOrMaterialize(connection.output) - builder.add(materializedEvent) + if (connection.isCurrentlyConnected) { + val materializedEvent = getOrMaterialize(connection.output) + builder.add(materializedEvent) + } } builder.build } -- cgit v1.2.3-70-g09d2