Test case to fix
authorwmontaz <wmontaz>
Tue, 17 Jul 2007 21:13:55 +0000 (21:13 +0000)
committerwmontaz <wmontaz>
Tue, 17 Jul 2007 21:13:55 +0000 (21:13 +0000)
Robust/src/Tests/TagTest/Object.java [new file with mode: 0644]
Robust/src/Tests/TagTest/Willy.java [new file with mode: 0644]

diff --git a/Robust/src/Tests/TagTest/Object.java b/Robust/src/Tests/TagTest/Object.java
new file mode 100644 (file)
index 0000000..f968cf4
--- /dev/null
@@ -0,0 +1,26 @@
+public class Test {
+    
+    
+    flag A;
+    flag B;
+    flag C;
+    flag D;
+    flag E;
+    flag F;
+    flag G;
+    flag H;
+    flag I;
+    flag J;
+    flag K;
+    flag L;
+    flag M;
+
+    public void Test(){
+    }
+
+    public boolean is(){
+       return true;
+    }
+
+}
+    
diff --git a/Robust/src/Tests/TagTest/Willy.java b/Robust/src/Tests/TagTest/Willy.java
new file mode 100644 (file)
index 0000000..e375601
--- /dev/null
@@ -0,0 +1,56 @@
+
+
+task Startup(StartupObject s {initialstate}){
+    tag t =new tag(link);
+    Test o = new Test() {A}{t};
+    taskexit(s {!initialstate});
+    
+}
+
+task ONE(Test o{A}{link l}){
+
+    taskexit(o {!A, B});
+}
+
+task TWO(Test o{B}{link l}){
+    
+  taskexit(o {!B, C});
+  
+}
+
+task THREE(Test o{B}{link l}){
+
+    taskexit(o {!B, D});
+}
+
+task FOUR(Test o{C}{link l}){
+    tag f =new tag(link);
+    taskexit(o {!C, E}{!l, f});
+    
+    
+}
+
+task FIVE(Test o{D}{link l}){
+    tag h =new tag(link);
+    taskexit(o {!D, F}{!l, h});
+
+}
+
+task SIX(optional Test o{E}{link l}){
+  
+    taskexit(o {!E, G});
+
+}
+
+task SEVEN(Test o{F}{link l}){
+  
+    taskexit(o {!F, G});
+
+}
+
+task EIGHT(optional Test o{G}{link l}){
+  
+    taskexit(o {!G, H});
+
+}
+