Robust/src/Tests/OptionalArgsTest/TestStaticAnalysis/TestMultiple/Willy.java

   1
   2
   3 task Startup(StartupObject s {initialstate}){
   4
   5     Test o = new Test() {A};
   6     Test2 o2 = new Test2() {G};
   7     taskexit(s {!initialstate});
   8
   9 }
  10
  11 task ONE(Test o{A}){
  12
  13     taskexit(o {!A, B});
  14 }
  15
  16 task TWO(optional Test o{B}){
  17
  18     taskexit(o {!B, C});
  19 }
  20
  21 task THREE(optional Test o{C}, Test2 o2{G}){
  22
  23     taskexit(o {!C, D});
  24 }
  25
  26 task FOUR(optional Test o{D}, Test2 o2{G}){
  27
  28    taskexit(o {!D, E});
  29 }