changes.

[IRC.git] / Robust / src / Analysis / SSJava / HNode.java

diff --git a/Robust/src/Analysis/SSJava/HNode.java b/Robust/src/Analysis/SSJava/HNode.java
index 47d2c72081a6ae5b5c0112ba46ad4e056b75f508..67133fb8b4caa76251a74684d00ecefacefefc28 100644 (file)
--- a/Robust/src/Analysis/SSJava/HNode.java
+++ b/Robust/src/Analysis/SSJava/HNode.java
@@ -10,11 +10,21 @@ public class HNode {
   private boolean isSkeleton;
   private boolean isCombinationNode;
   private boolean isSharedNode;
+  private boolean isMergeNode;
 
   public HNode() {
     this.isSkeleton = false;
     this.isCombinationNode = false;
     this.isSharedNode = false;
+    this.isMergeNode = false;
+  }
+
+  public boolean isMergeNode() {
+    return isMergeNode;
+  }
+
+  public void setMergeNode(boolean isMergeNode) {
+    this.isMergeNode = isMergeNode;
   }
 
   public HNode(String name) {
@@ -66,12 +76,31 @@ public class HNode {
     return false;
   }
 
+  public String getNamePropertyString() {
+    return toString().substring(1, toString().length() - 1);
+  }
+
   public String toString() {
-    String isShared = "";
+
+    String properties = "";
+
     if (isSharedNode()) {
-      isShared = "*";
+      properties += "*";
     }
-    return "[Node::" + name + isShared + "]";
+
+    if (isCombinationNode()) {
+      properties += "C";
+    }
+
+    if (isSkeleton()) {
+      properties += "S";
+    }
+
+    if (properties.length() > 0) {
+      properties = "(" + properties + ")";
+    }
+
+    return "[" + name + properties + "]";
   }
 
   public Descriptor getDescriptor() {