Example

diff --git a/Robust/src/RepairTest/TaskExample.java b/Robust/src/RepairTest/TaskExample.java
new file mode 100644 (file)
index 0000000..f34922b
--- /dev/null
+++ b/Robust/src/RepairTest/TaskExample.java
@@ -0,0 +1,48 @@
+class Example {
+    flag needoperation;
+    flag needprinting;
+    public Example() {}
+
+   
+    int operation;
+    int x;
+    int y;
+    int z;
+}
+
+/* Startup object is generated with the initialstate flag set by the
+ *  system to start the computation up */
+
+task Startup(StartupObject s {initialstate}) {
+    for(int i=0;i<10;i++) {
+       Example e=new Example() {needoperation};
+       e.x=i;
+       e.y=2;
+       e.operation=i%2;
+    }
+    
+    taskexit(s {!initialstate}); /* Turns initial state flag off, so this task won't refire */
+}
+
+/* Fails for x=1 */
+
+task DoOperation(Example e{needoperation}) {
+    e.z=10*e.y/(e.x-1);
+
+    if (e.operation==0)
+       /* Print the result */
+       taskexit(e {!needoperation, needprinting}) assert (Example(e : e));
+    else
+       /* Don't print the result */
+       taskexit(e {!needoperation}) assert (Example(e : e));
+}
+
+/* Note that we can write arbitrary boolean expressions for flag
+ * expressions.  For example, needprinting && ! needoperation would
+ * also be a legal flag expression */
+
+task DoPrint(Example e{needprinting}) {
+    System.printInt(e.z);
+    System.printString("\n");
+    taskexit(e {!needprinting});
+}