Robust/src/Tests/OptionalArgsTest/TestStaticAnalysis/Test11/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
  23 /*task THREE(Test o{B}){
  24
  25     taskexit(o {!B, D});
  26     }*/
  27
  28 task FOUR(optional Test o{C}){
  29
  30     taskexit(o {!C, E});
  31
  32
  33 }
  34
  35 task FIVE(optional Test o{D}){
  36
  37     taskexit(o {!D, F});
  38
  39 }
  40
  41 task SIX(optional Test o{E}){
  42
  43     taskexit(o {!E, G, J});
  44
  45 }
  46
  47 task SEVEN(optional Test o{F}){
  48
  49     taskexit(o {!F, G, K});
  50
  51 }
  52
  53 task EIGHT(optional Test o{G}){
  54
  55
  56     if(true) taskexit(o {!G, H});
  57     else taskexit(o {!G, I});
  58
  59 }
  60