From: wmontaz <wmontaz>
Date: Tue, 17 Jul 2007 21:13:55 +0000 (+0000)
Subject: Test case to fix
X-Git-Tag: preEdgeChange~528
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d270d56d2d4520182b7813a293794f3f72510a06;p=IRC.git

Test case to fix
---

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});
+
+}
+