This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / RepairTest / TaskExample.java

diff --git a/Robust/src/RepairTest/TaskExample.java b/Robust/src/RepairTest/TaskExample.java
deleted file mode 100644 (file)
index f34922b..0000000
--- a/Robust/src/RepairTest/TaskExample.java
+++ /dev/null
@@ -1,48 +0,0 @@
-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});
-}