diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java index c12f2bae..2b30566f 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java | |||
@@ -5,7 +5,9 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; | |||
5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; | 5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; |
6 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; | 6 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; |
7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; | 7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; |
8 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality; | ||
8 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; | 9 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; |
10 | import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions; | ||
9 | import java.util.Map; | 11 | import java.util.Map; |
10 | import org.eclipse.emf.common.util.EList; | 12 | import org.eclipse.emf.common.util.EList; |
11 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | 13 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; |
@@ -22,14 +24,20 @@ public class InputTrace { | |||
22 | _inputs.add(this.input); | 24 | _inputs.add(this.input); |
23 | } | 25 | } |
24 | 26 | ||
25 | public void assign(final Output output) { | 27 | public void assign(final Output output, final Modality exists) { |
26 | final Connection connection = this.connectionsMap.get(output); | 28 | final Connection connection = this.connectionsMap.get(output); |
27 | if ((connection == null)) { | 29 | if ((connection == null)) { |
28 | final Connection newConnection = CftFactory.eINSTANCE.createConnection(); | 30 | final Connection newConnection = CftFactory.eINSTANCE.createConnection(); |
29 | newConnection.setOutput(output); | 31 | newConnection.setOutput(output); |
32 | newConnection.setExists(exists); | ||
30 | EList<Connection> _incomingConnections = this.input.getIncomingConnections(); | 33 | EList<Connection> _incomingConnections = this.input.getIncomingConnections(); |
31 | _incomingConnections.add(newConnection); | 34 | _incomingConnections.add(newConnection); |
32 | this.connectionsMap.put(output, newConnection); | 35 | this.connectionsMap.put(output, newConnection); |
36 | } else { | ||
37 | boolean _isMoreConcreteThan = CftExtensions.isMoreConcreteThan(exists, connection.getExists()); | ||
38 | if (_isMoreConcreteThan) { | ||
39 | connection.setExists(exists); | ||
40 | } | ||
33 | } | 41 | } |
34 | } | 42 | } |
35 | } | 43 | } |