Robust/src/Tests/TagTest/Willy.java

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