From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 20 Mar 2019 16:09:09 +0100
Subject: Fault tree transformation for partial models WIP

---
 .../ft2galileo/.Ft2GalileoTransformation.xtendbin  | Bin 4761 -> 4794 bytes
 .../faulttree/transformation/ft2galileo/.gitignore |   2 ++
 .../ft2galileo/Ft2GalileoTransformation.java       |  21 ++++++++++++++-------
 3 files changed, 16 insertions(+), 7 deletions(-)

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo')

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
Binary files a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin and b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin 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 @@
 /.Ft2GalileoTransformation.java._trace
+/.Ft2GalileoTransformation.xtendbin
+/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;
 public class Ft2GalileoTransformation {
   public CharSequence toGalileo(final FaultTree faultTree) {
     StringConcatenation _builder = new StringConcatenation();
-    _builder.append("toplevel ");
+    _builder.append("toplevel \"");
     String _name = faultTree.getTopEvent().getName();
     _builder.append(_name);
-    _builder.append(";");
+    _builder.append("\";");
     _builder.newLineIfNotEmpty();
     {
       EList<RandomEvent> _events = faultTree.getEvents();
       for(final RandomEvent event : _events) {
+        _builder.append("\"");
         String _name_1 = event.getName();
         _builder.append(_name_1);
-        _builder.append(" ");
-        StringConcatenationClient _defineEvent = this.defineEvent(event);
+        _builder.append("\" ");
+        Object _defineEvent = this.defineEvent(event);
         _builder.append(_defineEvent);
         _builder.append(";");
         _builder.newLineIfNotEmpty();
@@ -39,8 +40,12 @@ public class Ft2GalileoTransformation {
     return _builder;
   }
   
-  protected StringConcatenationClient _defineEvent(final BasicEvent basicEvent) {
-    return this.defineDistribution(basicEvent.getDistribution());
+  protected Object _defineEvent(final BasicEvent basicEvent) {
+    StringConcatenation _builder = new StringConcatenation();
+    StringConcatenationClient _defineDistribution = this.defineDistribution(basicEvent.getDistribution());
+    _builder.append(_defineDistribution);
+    _builder.append(" dorm=0.0");
+    return _builder;
   }
   
   protected StringConcatenationClient _defineDistribution(final ConstantDistribution distribution) {
@@ -87,8 +92,10 @@ public class Ft2GalileoTransformation {
             } else {
               _builder.appendImmediate(" ", "");
             }
+            _builder.append("\"");
             String _name = input.getName();
             _builder.append(_name);
+            _builder.append("\"");
           }
         }
       }
@@ -138,7 +145,7 @@ public class Ft2GalileoTransformation {
     throw new IllegalArgumentException(("Unknown random even: " + randomEvent));
   }
   
-  protected StringConcatenationClient defineEvent(final RandomEvent basicEvent) {
+  protected Object defineEvent(final RandomEvent basicEvent) {
     if (basicEvent instanceof BasicEvent) {
       return _defineEvent((BasicEvent)basicEvent);
     } else if (basicEvent instanceof Gate) {
-- 
cgit v1.2.3-70-g09d2