diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
commit | 3f5aaab5025b8eb243f414b1c789085327df04f4 (patch) | |
tree | 156d9d95888fce6b003d73f509b9155e6b24555f /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo | |
parent | Fix ParseUtil to avoid breaking the .vql editor in Eclipse (diff) | |
download | VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.gz VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.zst VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.zip |
Fault tree transformation for partial models WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo')
3 files changed, 16 insertions, 7 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin index 9fe75a0f..25ddc417 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin | |||
Binary files differ | |||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore index 3f932890..f4610b04 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore | |||
@@ -1 +1,3 @@ | |||
1 | /.Ft2GalileoTransformation.java._trace | 1 | /.Ft2GalileoTransformation.java._trace |
2 | /.Ft2GalileoTransformation.xtendbin | ||
3 | /Ft2GalileoTransformation.java | ||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java index e900c62a..8748825d 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java | |||
@@ -19,18 +19,19 @@ import org.eclipse.xtend2.lib.StringConcatenationClient; | |||
19 | public class Ft2GalileoTransformation { | 19 | public class Ft2GalileoTransformation { |
20 | public CharSequence toGalileo(final FaultTree faultTree) { | 20 | public CharSequence toGalileo(final FaultTree faultTree) { |
21 | StringConcatenation _builder = new StringConcatenation(); | 21 | StringConcatenation _builder = new StringConcatenation(); |
22 | _builder.append("toplevel "); | 22 | _builder.append("toplevel \""); |
23 | String _name = faultTree.getTopEvent().getName(); | 23 | String _name = faultTree.getTopEvent().getName(); |
24 | _builder.append(_name); | 24 | _builder.append(_name); |
25 | _builder.append(";"); | 25 | _builder.append("\";"); |
26 | _builder.newLineIfNotEmpty(); | 26 | _builder.newLineIfNotEmpty(); |
27 | { | 27 | { |
28 | EList<RandomEvent> _events = faultTree.getEvents(); | 28 | EList<RandomEvent> _events = faultTree.getEvents(); |
29 | for(final RandomEvent event : _events) { | 29 | for(final RandomEvent event : _events) { |
30 | _builder.append("\""); | ||
30 | String _name_1 = event.getName(); | 31 | String _name_1 = event.getName(); |
31 | _builder.append(_name_1); | 32 | _builder.append(_name_1); |
32 | _builder.append(" "); | 33 | _builder.append("\" "); |
33 | StringConcatenationClient _defineEvent = this.defineEvent(event); | 34 | Object _defineEvent = this.defineEvent(event); |
34 | _builder.append(_defineEvent); | 35 | _builder.append(_defineEvent); |
35 | _builder.append(";"); | 36 | _builder.append(";"); |
36 | _builder.newLineIfNotEmpty(); | 37 | _builder.newLineIfNotEmpty(); |
@@ -39,8 +40,12 @@ public class Ft2GalileoTransformation { | |||
39 | return _builder; | 40 | return _builder; |
40 | } | 41 | } |
41 | 42 | ||
42 | protected StringConcatenationClient _defineEvent(final BasicEvent basicEvent) { | 43 | protected Object _defineEvent(final BasicEvent basicEvent) { |
43 | return this.defineDistribution(basicEvent.getDistribution()); | 44 | StringConcatenation _builder = new StringConcatenation(); |
45 | StringConcatenationClient _defineDistribution = this.defineDistribution(basicEvent.getDistribution()); | ||
46 | _builder.append(_defineDistribution); | ||
47 | _builder.append(" dorm=0.0"); | ||
48 | return _builder; | ||
44 | } | 49 | } |
45 | 50 | ||
46 | protected StringConcatenationClient _defineDistribution(final ConstantDistribution distribution) { | 51 | protected StringConcatenationClient _defineDistribution(final ConstantDistribution distribution) { |
@@ -87,8 +92,10 @@ public class Ft2GalileoTransformation { | |||
87 | } else { | 92 | } else { |
88 | _builder.appendImmediate(" ", ""); | 93 | _builder.appendImmediate(" ", ""); |
89 | } | 94 | } |
95 | _builder.append("\""); | ||
90 | String _name = input.getName(); | 96 | String _name = input.getName(); |
91 | _builder.append(_name); | 97 | _builder.append(_name); |
98 | _builder.append("\""); | ||
92 | } | 99 | } |
93 | } | 100 | } |
94 | } | 101 | } |
@@ -138,7 +145,7 @@ public class Ft2GalileoTransformation { | |||
138 | throw new IllegalArgumentException(("Unknown random even: " + randomEvent)); | 145 | throw new IllegalArgumentException(("Unknown random even: " + randomEvent)); |
139 | } | 146 | } |
140 | 147 | ||
141 | protected StringConcatenationClient defineEvent(final RandomEvent basicEvent) { | 148 | protected Object defineEvent(final RandomEvent basicEvent) { |
142 | if (basicEvent instanceof BasicEvent) { | 149 | if (basicEvent instanceof BasicEvent) { |
143 | return _defineEvent((BasicEvent)basicEvent); | 150 | return _defineEvent((BasicEvent)basicEvent); |
144 | } else if (basicEvent instanceof Gate) { | 151 | } else if (basicEvent instanceof Gate) { |