bug fixes

diff --git a/Robust/src/IR/Flat/BuildOoOJavaCode.java b/Robust/src/IR/Flat/BuildOoOJavaCode.java
index eebfa3087eb5ac672ff6cbc42d3ec0b48c1412c4..12807e31f13088e16aeed7560f2b3bdb1598856c 100644 (file)
--- a/Robust/src/IR/Flat/BuildOoOJavaCode.java
+++ b/Robust/src/IR/Flat/BuildOoOJavaCode.java
@@ -1555,7 +1555,7 @@ public class BuildOoOJavaCode extends BuildCode {
     // new task and insert it into the appropriate parent queues
     assert newChild.getParents().size() > 0;
 
-    output.println("     switch( seseToIssue->common.classID ) {");
+    output.println("     switch( runningSESE->classID ) {");
 
     Iterator<FlatSESEEnterNode> pItr = newChild.getParents().iterator();
     while( pItr.hasNext() ) {
@@ -1657,13 +1657,13 @@ public class BuildOoOJavaCode extends BuildCode {
             output.println("       if(!dispCount"+i+" || !atomic_sub_and_test(dispCount"+i+",&(seseToIssue->rcrRecords["+i+"].flag)))");
             output.println("         localCount++;");
           }
-          output.println("      }");
+          output.println("      } break;");
         }
       }
     }
 
     output.println("       default: {");
-    output.println("         printf(\"Error: unknown SESE class ID in dispatchMEMRC.\\n\");");
+    output.println("         printf(\"Error: unknown SESE class ID %d in dispatchMEMRC.\\n\", runningSESE->classID);");
     output.println("         exit( -1 );");
     output.println("       }");
     output.println("     } // end switch");