From: bdemsky <bdemsky>
Date: Wed, 1 Nov 2006 05:49:58 +0000 (+0000)
Subject: Bug fixes for allowing multiple task parameters
X-Git-Tag: preEdgeChange~793
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2b6f6df40abe932af8719d314a47e35ab13fc000;p=IRC.git

Bug fixes for allowing multiple task parameters
Bug in getBytes routine
---

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 9bb42aa6..065f7c8c 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -96,7 +96,7 @@ public class String {
 
     public byte[] getBytes() {
 	byte str[]=new byte[count];
-	for(int i=0;i<value.length;i++)
+	for(int i=0;i<count;i++)
 	    str[i]=(byte)value[i+offset];
 	return str;
     }
diff --git a/Robust/src/IR/Flat/FlatLiteralNode.java b/Robust/src/IR/Flat/FlatLiteralNode.java
index ba5e58cb..60595435 100644
--- a/Robust/src/IR/Flat/FlatLiteralNode.java
+++ b/Robust/src/IR/Flat/FlatLiteralNode.java
@@ -36,6 +36,8 @@ public class FlatLiteralNode extends FlatNode {
 	    char x=st.charAt(i);
 	    if (x=='\n')
 		new_st+="\\n";
+	    else if (x=='\r')
+		new_st+="\\r";
 	    else if (x=='"')
 		new_st+="'"+'"'+"'";
 	    else new_st+=x;
diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index c0040f51..a4b24b45 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -135,12 +135,12 @@ public class SemanticCheck {
 		throw new Error("Cannot have non-object argument to a task");
 	    ClassDescriptor cd=param_type.getClassDesc();
 	    checkFlagExpressionNode(cd, fen);
-	    checkFlagEffects(td, td.getFlagEffects());
-
-	    /* Check that the task code is valid */
-	    BlockNode bn=state.getMethodBody(td);
-	    checkBlockNode(td, td.getParameterTable(),bn);
 	}
+
+	checkFlagEffects(td, td.getFlagEffects());
+	/* Check that the task code is valid */
+	BlockNode bn=state.getMethodBody(td);
+	checkBlockNode(td, td.getParameterTable(),bn);
     }
 
     public void checkFlagExpressionNode(ClassDescriptor cd, FlagExpressionNode fen) {
@@ -627,6 +627,7 @@ public class SemanticCheck {
 	    throw new Error("Error with method call to "+min.getMethodName());
 	ClassDescriptor classtolookin=typetolookin.getClassDesc();
 	System.out.println("Method name="+min.getMethodName());
+
 	Set methoddescriptorset=classtolookin.getMethodTable().getSet(min.getMethodName());
 	MethodDescriptor bestmd=null;
 	NextMethod:
diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index a3563ae7..b1972f97 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -123,10 +123,13 @@ void flagorand(void * ptr, int ormask, int andmask) {
 		newindex=j;
 	      } else {
 		RuntimeHashiterator(pw->objectset, &iteratorarray[j]);
-		if (RunhasNext(&iteratorarray[j]))
-		  taskpointerarray[j]=(void *) Runnext(&iteratorarray[j]);
-		else
+		if (RunhasNext(&iteratorarray[j])) {
+		  taskpointerarray[j]=(void *) Runkey(&iteratorarray[j]);
+		  Runnext(&iteratorarray[j]);
+		} else {
+		  done=0;
 		  break; /* No tasks to dispatch */
+		}
 	      }
 	    }
 	    /* Queue task items... */
@@ -142,7 +145,7 @@ void flagorand(void * ptr, int ormask, int andmask) {
 	      if (!gencontains(failedtasks, tpd))
 		addNewItem(activetasks, tpd);
 	      
-	      /* This loop iterates to the next paramter combination */
+	      /* This loop iterates to the next parameter combination */
 	      for(j=0;j<numparams;j++) {
 		if (j==newindex) {
 		  if ((j+1)==numparams)
@@ -150,7 +153,8 @@ void flagorand(void * ptr, int ormask, int andmask) {
 		  continue;
 		}
 		if (RunhasNext(&iteratorarray[j])) {
-		  taskpointerarray[j]=(void *) Runnext(&iteratorarray[j]);
+		  taskpointerarray[j]=(void *) Runkey(&iteratorarray[j]);
+		  Runnext(&iteratorarray[j]);
 		  break;
 		} else if ((j+1)!=numparams) {
 		  RuntimeHashiterator(task->descriptorarray[j]->queue, &iteratorarray[j]);