bug fix

diff --git a/Robust/src/Util/Edge.java b/Robust/src/Util/Edge.java
index 1f35e8aa3a7b128f8c5b49d5f3f1332f327f7097..472a3bfc4fdc35bb84b337a4df6107a1563c9afe 100644 (file)
--- a/Robust/src/Util/Edge.java
+++ b/Robust/src/Util/Edge.java
@@ -31,10 +31,10 @@ public class Edge {
        if (param == null) {
            throw new NullPointerException();
        }
-       if (param.length() > 0) {
-           dotnodeparams =  param;
-       } else {
-           dotnodeparams = new String();
-       }
+        if (dotnodeparams.length() > 0) {
+            dotnodeparams += "," + param;
+        } else { 
+            dotnodeparams = param;
+        }
     }
 }

diff --git a/Robust/src/Util/GraphNode.java b/Robust/src/Util/GraphNode.java
index c4c7ba24dae146e4ddf7096b0a1439a20c04dabe..230a1d463e94c64695e7cf04fc02022f33a477b7 100755 (executable)
--- a/Robust/src/Util/GraphNode.java
+++ b/Robust/src/Util/GraphNode.java
@@ -77,10 +77,10 @@ public class GraphNode {
         if (param == null) {
             throw new NullPointerException();
         }
-        if (param.length() > 0) {
-            dotnodeparams = "," + param;
+        if (dotnodeparams.length() > 0) {
+            dotnodeparams += "," + param;
         } else {
-            dotnodeparams = new String();
+            dotnodeparams = param;
         }
     }