bug fixes for udp broadcast

[IRC.git] / Robust / src / IR / Flat / BuildCode.java

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index f50802880634bb128621cb9445d26902a142b987..fe3dc9a950ee89752dbd8721de24370b20cf594e 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -262,8 +262,10 @@ public class BuildCode {
                outmethod.println("pthread_exit(NULL);");
        }
 
-
+    outmethod.println("printf(\"numTransAbort= %d\\n\", numTransAbort);");
+    outmethod.println("printf(\"numTransCommit= %d\\n\", numTransCommit);");
        outmethod.println("}");
+
     }
 
     /* This method outputs code for each task. */
@@ -717,6 +719,8 @@ public class BuildCode {
      * information. */
 
     private void generateSizeArray(PrintWriter outclassdefs) {
+       outclassdefs.print("int numTransAbort = 0;");
+       outclassdefs.print("int numTransCommit = 0;");
        outclassdefs.print("int classsize[]={");
        Iterator it=state.getClassSymbolTable().getDescriptorsIterator();
        cdarray=new ClassDescriptor[state.numClasses()];