diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
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 | 43 |
1 files changed, 0 insertions, 43 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 deleted file mode 100644 index 2b30566f..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java +++ /dev/null | |||
@@ -1,43 +0,0 @@ | |||
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.Component; | ||
5 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; | ||
6 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; | ||
7 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; | ||
8 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality; | ||
9 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; | ||
10 | import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions; | ||
11 | import java.util.Map; | ||
12 | import org.eclipse.emf.common.util.EList; | ||
13 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | ||
14 | |||
15 | @SuppressWarnings("all") | ||
16 | public class InputTrace { | ||
17 | private final Input input = CftFactory.eINSTANCE.createInput(); | ||
18 | |||
19 | private final Map<Output, Connection> connectionsMap = CollectionLiterals.<Output, Connection>newHashMap(); | ||
20 | |||
21 | protected InputTrace(final Component component, final InputEvent inputEvent) { | ||
22 | this.input.setInputEvent(inputEvent); | ||
23 | EList<Input> _inputs = component.getInputs(); | ||
24 | _inputs.add(this.input); | ||
25 | } | ||
26 | |||
27 | public void assign(final Output output, final Modality exists) { | ||
28 | final Connection connection = this.connectionsMap.get(output); | ||
29 | if ((connection == null)) { | ||
30 | final Connection newConnection = CftFactory.eINSTANCE.createConnection(); | ||
31 | newConnection.setOutput(output); | ||
32 | newConnection.setExists(exists); | ||
33 | EList<Connection> _incomingConnections = this.input.getIncomingConnections(); | ||
34 | _incomingConnections.add(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 | } | ||
41 | } | ||
42 | } | ||
43 | } | ||