From d270d56d2d4520182b7813a293794f3f72510a06 Mon Sep 17 00:00:00 2001
From: wmontaz <wmontaz>
Date: Tue, 17 Jul 2007 21:13:55 +0000
Subject: [PATCH] Test case to fix

---
 Robust/src/Tests/TagTest/Object.java | 26 +++++++++++++
 Robust/src/Tests/TagTest/Willy.java  | 56 ++++++++++++++++++++++++++++
 2 files changed, 82 insertions(+)
 create mode 100644 Robust/src/Tests/TagTest/Object.java
 create mode 100644 Robust/src/Tests/TagTest/Willy.java

diff --git a/Robust/src/Tests/TagTest/Object.java b/Robust/src/Tests/TagTest/Object.java
new file mode 100644
index 00000000..f968cf46
--- /dev/null
+++ b/Robust/src/Tests/TagTest/Object.java
@@ -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
index 00000000..e3756018
--- /dev/null
+++ b/Robust/src/Tests/TagTest/Willy.java
@@ -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});
+
+}
+
-- 
2.34.1