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

   1
   2
   3 task Startup(StartupObject s {initialstate}){
   4
   5     Test o = new Test() {A};
   6
   7     taskexit(s {!initialstate});
   8
   9 }
  10
  11 task ONE(optional Test o{A}){
  12
  13     taskexit(o {!A, B});
  14 }
  15
  16 task TWO(optional Test o{B}){
  17
  18   if(o.is())  taskexit(o {!B, C});
  19   else taskexit(o {!B, D});
  20 }
  21
  22 task THREE(optional Test o{C}){
  23
  24     taskexit(o {!C, E});
  25 }
  26
  27 task FOUR(optional Test o{D}){
  28
  29     taskexit(o {!D, F});
  30
  31
  32 }
  33 /*
  34 task FIVE(Test o{D}){
  35
  36     taskexit(o {!D, F});
  37
  38 }
  39
  40 task SIX(Test o{E}){
  41
  42     taskexit(o {!E, F});
  43
  44 }
  45
  46 task SEVEN(Test o{F}){
  47
  48     taskexit(o {!F, G});
  49
  50 }
  51
  52 task EIGHT(Test o{G}){
  53
  54     taskexit(o {!G, H});
  55
  56 }
  57 */