trying to isolate a bug from MapReduceTag in a miniature version here

diff --git a/Robust/src/Tests/disjoint/littleMapReduceTag/makefile b/Robust/src/Tests/disjoint/littleMapReduceTag/makefile
new file mode 100644 (file)
index 0000000..cd46ac2
--- /dev/null
+++ b/Robust/src/Tests/disjoint/littleMapReduceTag/makefile
@@ -0,0 +1,29 @@
+BUILDSCRIPT=~/research/Robust/src/buildscript
+
+#DEBUGFLAGS= -disjoint-debug-callsite setPartial reduceOutput 1 20 false
+#SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 1 20 true
+
+BAMBOOFLAGS= -recover
+
+#VISITMODE= -disjoint-dvisit-stack
+#VISITMODE= -disjoint-dvisit-pqueue
+VISITMODE= -disjoint-dvisit-stack-callees-on-top
+
+DEBUGMODE= -enable-assertions -disjoint-write-dots all -disjoint-alias-file aliases.txt normal -disjoint-desire-determinism
+
+BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods -flatirtasks
+
+bamboo:
+       $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
+
+clean:
+       rm -f  *.bin
+       rm -fr tmpbuilddirectory
+       rm -f  *~
+       rm -f  *.dot
+       rm -f  *.png
+       rm -f  *.aux
+       rm -f  *.log
+       rm -f  *.pdf
+       rm -f  aliases.txt
+       rm -f  tabResults.tex

diff --git a/Robust/src/Tests/disjoint/littleMapReduceTag/test.java b/Robust/src/Tests/disjoint/littleMapReduceTag/test.java
new file mode 100644 (file)
index 0000000..d05e749
--- /dev/null
+++ b/Robust/src/Tests/disjoint/littleMapReduceTag/test.java
@@ -0,0 +1,31 @@
+task startup( StartupObject s{initialstate} ) {
+  Master master = new Master(){reduceoutput};   
+  master.assignMap();
+  taskexit( s{!initialstate} );
+}
+
+
+task reduceOutput( Master master{reduceoutput} ) {
+  master.setPartial( true );
+  taskexit( master{!reduceoutput} );
+}
+
+
+public class Master {
+  flag reduceoutput;
+  boolean partial;
+
+  public Master() {
+    this.partial = false;
+  }
+  
+  public boolean isPartial() {
+    return this.partial;
+  }
+  
+  public void setPartial( boolean partial ) {
+    this.partial = partial || this.partial;
+  }
+  
+  public void assignMap() {}
+}