Robust/src/Tests/disjoint/littleMapReduceTag/test.java

   1 task startup( StartupObject s{initialstate} ) {
   2   Master master = new Master(){reduceoutput};
   3   master.assignMap();
   4   taskexit( s{!initialstate} );
   5 }
   6
   7
   8 task reduceOutput( Master master{reduceoutput} ) {
   9   master.setPartial( true );
  10   taskexit( master{!reduceoutput} );
  11 }
  12
  13
  14 public class Master {
  15   flag reduceoutput;
  16   boolean partial;
  17
  18   public Master() {
  19     this.partial = false;
  20   }
  21
  22   public boolean isPartial() {
  23     return this.partial;
  24   }
  25
  26   public void setPartial( boolean partial ) {
  27     this.partial = partial || this.partial;
  28   }
  29
  30   public void assignMap() {}
  31 }