From: bdemsky <bdemsky>
Date: Mon, 19 Oct 2009 06:56:29 +0000 (+0000)
Subject: more bug fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0ed8290ac356826cb1126824de3f437b87ea6706;p=IRC.git

more bug fixes
---

diff --git a/Robust/src/Benchmarks/SingleTM/Yada/avltree.java b/Robust/src/Benchmarks/SingleTM/Yada/avltree.java
index cb69209c..47f43c2b 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/avltree.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/avltree.java
@@ -122,11 +122,11 @@
   int bal = dir == 0 ? -1 : +1;	  \
   if ( ni.balance == bal ) {               \
     root.balance = ni.balance = 0;        \
-    jsw_single ( root, 1-dir );             \
+    jsw_single ( root, (1-dir) );	   \
   }                                        \
   else { /* n.balance == -bal */          \
     jsw_adjust_balance( root, dir, bal ); \
-    jsw_double( root, 1-dir );             \
+    jsw_double( root, (1-dir) );	   \
   }                                        \
 } while (false)
 
@@ -139,7 +139,7 @@
     jsw_single ( root, dir );                  \
   }                                            \
   else if ( nr.balance == bal ) {              \
-    jsw_adjust_balance ( root, 1-dir, -bal );   \
+    jsw_adjust_balance ( root, (1-dir), -bal ); \
     jsw_double ( root, dir );                  \
   }                                            \
   else { /* n.balance == 0 */                 \
@@ -258,6 +258,11 @@ public class avltree {
   }
 
   int cmp(Object a, Object b) {
+    if (mode==0) {
+      return element.element_mapCompareEdge((edge)a, (edge)b);
+    } else if (mode==1) {
+      return element.element_mapCompare((edge)a, (edge)b);      
+    }
     return 0;
   }
 
diff --git a/Robust/src/Benchmarks/SingleTM/Yada/bytereader.java b/Robust/src/Benchmarks/SingleTM/Yada/bytereader.java
index 0f49ba32..0ef91b09 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/bytereader.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/bytereader.java
@@ -57,7 +57,9 @@ public class bytereader {
     boolean searching=true;
     while(searching) {
       for(;pos<lastlocation;pos++) {
-	if (buffer[pos]!=' '&&buffer[pos]!='\n'&&buffer[pos]!='\t') {
+	if (buffer[pos]=='#') {
+	  jumptonextline();
+	} else if (buffer[pos]!=' '&&buffer[pos]!='\n'&&buffer[pos]!='\t') {
 	  searching=false;
 	  break;
 	}
diff --git a/Robust/src/Benchmarks/SingleTM/Yada/element.java b/Robust/src/Benchmarks/SingleTM/Yada/element.java
index 9cba4e8b..0273981f 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/element.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/element.java
@@ -260,7 +260,7 @@ public class element {
  * element_compare
  * =============================================================================
  */
-int element_compare (element aElementPtr, element bElementPtr) {
+static int element_compare (element aElementPtr, element bElementPtr) {
   int aNumCoordinate = aElementPtr.numCoordinate;
   int bNumCoordinate = bElementPtr.numCoordinate;
   coordinate aCoordinates[] = aElementPtr.coordinates;
@@ -304,7 +304,7 @@ int element_compare (element aElementPtr, element bElementPtr) {
  * For use in MAP_T
  * =============================================================================
  */
-  int element_mapCompare(Object aPtr, Object bPtr) {
+  static int element_mapCompare(Object aPtr, Object bPtr) {
     element aElementPtr = (element)(((edge)aPtr).firstPtr);
     element bElementPtr = (element)(((edge)bPtr).firstPtr);
     
@@ -402,7 +402,7 @@ int element_compare (element aElementPtr, element bElementPtr) {
   * For use in MAP_T
  * =============================================================================
  */
-  int element_mapCompareEdge (edge aPtr, edge bPtr) {
+  static int element_mapCompareEdge (edge aPtr, edge bPtr) {
     edge aEdgePtr = (edge)(aPtr.firstPtr);
     edge bEdgePtr = (edge)(bPtr.firstPtr);
     
diff --git a/Robust/src/Benchmarks/SingleTM/Yada/mesh.java b/Robust/src/Benchmarks/SingleTM/Yada/mesh.java
index 07eb1508..3037c89f 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/mesh.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/mesh.java
@@ -313,7 +313,6 @@ int mesh_read(String fileNamePrefix) {
       a=br.getInt();
       b=br.getInt();
       c=br.getInt();
-      br.jumptonextline();
       yada.Assert(a >= 0 && a < numCoordinate);
       yada.Assert(b >= 0 && b < numCoordinate);
       yada.Assert(c >= 0 && c < numCoordinate);
diff --git a/Robust/src/Benchmarks/SingleTM/Yada/region.java b/Robust/src/Benchmarks/SingleTM/Yada/region.java
index c6795f40..c8947569 100644
--- a/Robust/src/Benchmarks/SingleTM/Yada/region.java
+++ b/Robust/src/Benchmarks/SingleTM/Yada/region.java
@@ -239,7 +239,7 @@ public class region {
 	    edge borderEdgePtr = element.element_getCommonEdge(neighborElementPtr, currentElementPtr);
 
 	    if (borderEdgePtr==null) {
-	      Thread.abort();
+	      //	      Thread.abort();
 	    }
 	    borderListPtr.insert(borderEdgePtr); /* no duplicates */
 	    if (!edgeMapPtr.contains(borderEdgePtr)) {