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