examp/five.log

   1 program five;
   2
   3    unit A: process(node: integer, p: pq);
   4        unit finish: procedure; end finish;
   5    begin
   6         return;
   7
   8         call p.update(false);
   9         accept finish;
  10    end A;
  11
  12    unit B: process(node:integer, p:pq, q:pq);
  13         var aux: boolean;
  14          unit finish: procedure; end finish;
  15    begin
  16         return;
  17
  18         call q.update(true);
  19         aux := q.readval;
  20         call p.update(aux);
  21         accept finish;
  22    end B;
  23
  24     unit pq: process(node:integer);
  25        var value : Boolean;
  26
  27         unit readval: function: Boolean;
  28         begin
  29              result := value;
  30         end readval;
  31
  32         unit update: procedure(arg: boolean);
  33         begin
  34               value := arg
  35         end update;
  36     begin
  37           value := false;
  38            return;
  39
  40            do
  41                accept readval, update;
  42            od;
  43     end pq;
  44
  45    var aa: A, bb: B, p,q: pq;
  46 begin
  47     p := new pq(0);
  48     q := new pq(0);
  49     aa := new A(0,p);
  50     bb := new B (0, p, q);
  51
  52     resume(p);
  53     resume(q);
  54     resume(aa);
  55     resume(bb);
  56
  57     call aa.finish;
  58     call bb.finish;
  59
  60     if p.readval then writeln ("p is TRUE") else writeln("p is FALSE") fi;
  61     call endrun
  62 end
  63
  64
  65 \0\0