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