found a bug, wasn't returning pointer at end of poolcreate--pool allocation doesn...

[IRC.git] / Robust / src / Analysis / OoOJava / OoOJavaAnalysis.java

diff --git a/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java b/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
index 20d5f548bafc34a386dd2900ea1151d0fbbcea2e..2424ae8d17fcf8608eaf15354a3ff5dd180403ec 100644 (file)
--- a/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
+++ b/Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
@@ -1540,7 +1540,11 @@ public class OoOJavaAnalysis {
       throws java.io.IOException {
 
     if (!fsen.getIsCallerSESEplaceholder()) {
-      bw.write("SESE " + fsen.getPrettyIdentifier() + " {\n");
+      bw.write("SESE " + fsen.getPrettyIdentifier());
+      if( fsen.getIsLeafSESE() ) {
+        bw.write(" (leaf)");
+      }
+      bw.write(" {\n");
 
       bw.write("  in-set: " + fsen.getInVarSet() + "\n");
       Iterator<TempDescriptor> tItr = fsen.getInVarSet().iterator();