Bug fixed in BuildCode.

[IRC.git] / Robust / src / Tests / OptionalArgsTest / TestStaticAnalysis / Test2 / Willy.java

diff --git a/Robust/src/Tests/OptionalArgsTest/TestStaticAnalysis/Test2/Willy.java b/Robust/src/Tests/OptionalArgsTest/TestStaticAnalysis/Test2/Willy.java
new file mode 100644 (file)
index 0000000..0102d18
--- /dev/null
+++ b/Robust/src/Tests/OptionalArgsTest/TestStaticAnalysis/Test2/Willy.java
@@ -0,0 +1,54 @@
+
+
+task Startup(StartupObject s {initialstate}){
+    
+    Test o = new Test() {A};
+    
+    taskexit(s {!initialstate});
+    
+}
+
+task ONE(optional Test o{A}){
+
+    taskexit(o {!A, B});
+}
+
+task TWO(optional Test o{B}){
+    
+    taskexit(o {!B, C});
+}
+
+task THREE(optional Test o{B}){
+
+    taskexit(o {!B, D});
+}
+
+task FOUR(optional Test o{C}){
+    
+   taskexit(o {!C, E});
+}
+
+task FIVE(optional Test o{D}){
+  
+    taskexit(o {!D, F});
+
+}
+/*
+task SIX(Test o{E}){
+  
+    taskexit(o {!E, F});
+
+}
+
+task SEVEN(Test o{F}){
+  
+    taskexit(o {!F, G});
+
+}
+
+task EIGHT(Test o{G}){
+  
+    taskexit(o {!G, H});
+
+}
+*/