have linear-type-safe source codes of mp3decoder

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

diff --git a/Robust/src/Tests/TaskExample.java b/Robust/src/Tests/TaskExample.java
index dcaf95060e9a9b0e471b804b300679014477cde8..8ad37b3409587e5e16194f35283a7fcda99b40cc 100644 (file)
--- 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;
@@ -20,6 +22,7 @@ task Startup(StartupObject s {initialstate}) {
     }
     
     taskexit(s {!initialstate}); /* Turns initial state flag off, so this task won't refire */
+
 }
 
 /* Fails for x=1 */
@@ -41,5 +44,6 @@ task DoOperation(Example e{needoperation}) {
 
 task DoPrint(Example e{needprinting}) {
     System.printInt(e.z);
-    taskexit(e {!needprinting};
+    System.printString("\n");
+    taskexit(e {!needprinting});
 }