From de022e798e527ee5d5b68905059b3a40aa3ecb46 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 1 Aug 2006 22:56:17 +0000
Subject: [PATCH] Bug fixes

---
 Robust/src/IR/Flat/BuildFlat.java     | 3 +++
 Robust/src/IR/State.java              | 4 ++++
 Robust/src/IR/Tree/BuildIR.java       | 9 ++++-----
 Robust/src/IR/Tree/SemanticCheck.java | 2 ++
 Robust/src/IR/TypeDescriptor.java     | 2 +-
 Robust/src/Main/Main.java             | 5 +++++
 Robust/src/Tests/TaskExample.java     | 6 ++++--
 7 files changed, 23 insertions(+), 8 deletions(-)

diff --git a/Robust/src/IR/Flat/BuildFlat.java b/Robust/src/IR/Flat/BuildFlat.java
index f47fdeeb..a0fcb722 100644
--- a/Robust/src/IR/Flat/BuildFlat.java
+++ b/Robust/src/IR/Flat/BuildFlat.java
@@ -51,6 +51,9 @@ public class BuildFlat {
 
     /* This method transforms a vector of FlagEffects into the FlatFlagActionNode */
     private void updateFlagActionNode(FlatFlagActionNode ffan, Vector flags) {
+	if (flags==null) // Do nothing if the flag effects vector is empty
+	    return;
+
 	for(int i=0;i<flags.size();i++) {
 	    FlagEffects fes=(FlagEffects)flags.get(i);
 	    TempDescriptor flagtemp=getTempforVar(fes.getVar());
diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index c893c20e..ac160634 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -21,6 +21,10 @@ public class State {
 	parsetrees.add(parsetree);
     }
 
+    /** Boolean flag which indicates whether compiler is compiling a task-based
+     * program. */
+    public boolean TASK;
+
     public SymbolTable classes;
     public SymbolTable tasks;
     public Set parsetrees;
diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index 9bebc91d..96cbf846 100644
--- a/Robust/src/IR/Tree/BuildIR.java
+++ b/Robust/src/IR/Tree/BuildIR.java
@@ -170,6 +170,7 @@ public class BuildIR {
 	ParseNode flagnode=pn.getChild("flag");
 	if (flagnode!=null) {
 	    parseFlagDecl(cn, flagnode.getChild("flag_declaration"));
+	    return;
 	}
 	throw new Error();
     }
@@ -416,14 +417,12 @@ public class BuildIR {
 	ParseNode bodyn0=pn.getChild("body");
 	ParseNode bodyn=bodyn0.getChild("constructor_body");
 	cn.addMethod(md);
-	if (bodyn!=null) {
-	    BlockNode bn=parseBlock(bodyn);
-	    state.addTreeCode(md,bn);
-	}
+	BlockNode bn=parseBlock(bodyn);
+	state.addTreeCode(md,bn);
     }
 
     public BlockNode parseBlock(ParseNode pn) {
-	if (isEmpty(pn.getTerminal()))
+	if (pn==null||isEmpty(pn.getTerminal()))
 	    return new BlockNode();
 	ParseNode bsn=pn.getChild("block_statement_list");
 	return parseBlockHelper(bsn);
diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 9be66a38..5892bb6e 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -79,6 +79,8 @@ public class SemanticCheck {
     }
 
     public void checkFlagEffects(TaskDescriptor td, Vector vfe) {
+	if (vfe==null)
+	    return; /* No flag effects to check */
 	for(int i=0;i<vfe.size();i++) {
 	    FlagEffects fe=(FlagEffects) vfe.get(i);
 	    String varname=fe.getName();
diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 78270a0b..9f564211 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -41,7 +41,7 @@ public class TypeDescriptor extends Descriptor {
     public int hashCode() {
 	int hashcode=type^arraycount;
 	if (type==CLASS)
-	    hashcode^=class_desc.hashCode();
+	    hashcode^=getSymbol().hashCode();
 	return hashcode;
     }
 
diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index da4c77bd..cf2f054f 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -12,6 +12,7 @@ import IR.State;
 import IR.TypeUtil;
 
 public class Main {
+
   public static void main(String args[]) throws Exception {
       String ClassLibraryPrefix="./ClassLibrary/";
       State state=new State();
@@ -26,6 +27,8 @@ public class Main {
 	      ClassLibraryPrefix=args[++i]+"/";
 	  else if (option.equals("-mainclass"))
 	      state.main=args[++i];
+	  else if (option.equals("-task"))
+	      state.TASK=true;
 	  else if (option.equals("-help")) {
 	      System.out.println("-classlibrary classlibrarydirectory -- directory where classlibrary is located");
 	      System.out.println("-dir outputdirectory -- output code in outputdirectory");
@@ -42,6 +45,8 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");
       readSourceFile(state, ClassLibraryPrefix+"System.java");
       readSourceFile(state, ClassLibraryPrefix+"String.java");
+      if (state.TASK)      
+	  readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
 
       BuildIR bir=new BuildIR(state);
       bir.buildtree();
diff --git a/Robust/src/Tests/TaskExample.java b/Robust/src/Tests/TaskExample.java
index dcaf9506..94a6c4c1 100644
--- a/Robust/src/Tests/TaskExample.java
+++ b/Robust/src/Tests/TaskExample.java
@@ -1,7 +1,9 @@
 class Example {
     flag needoperation;
     flag needprinting;
-    
+    public Example() {}
+
+   
     int operation;
     int x;
     int y;
@@ -41,5 +43,5 @@ task DoOperation(Example e{needoperation}) {
 
 task DoPrint(Example e{needprinting}) {
     System.printInt(e.z);
-    taskexit(e {!needprinting};
+    taskexit(e {!needprinting});
 }
-- 
2.34.1