From afdd2ae37bc2a9d37138d85e6ca82a571ad2897f Mon Sep 17 00:00:00 2001 From: cremet Date: Tue, 21 Oct 2003 15:08:19 +0000 Subject: *** empty log message *** --- sources/examples/jolib/Ref.scala | 10 +++++----- sources/examples/jolib/parallelOr.scala | 10 +++++----- 2 files changed, 10 insertions(+), 10 deletions(-) (limited to 'sources/examples') diff --git a/sources/examples/jolib/Ref.scala b/sources/examples/jolib/Ref.scala index 5e2b955bb7..d48a9ee8f3 100644 --- a/sources/examples/jolib/Ref.scala +++ b/sources/examples/jolib/Ref.scala @@ -9,15 +9,15 @@ class Ref[a](init: a) extends Join { rules ( Pair(List(get, state), { case List(g @ get.C(), state.C(x) ) => - { g.set(x); state.send(state.C(x)) } }), + { g.set(x); state(state.C(x)) } }), Pair(List(set, state), { case List(s @ set.C(x), state.C(y) ) => - { s.set(()); state.send(state.C(x)) } }) + { s.set(()); state(state.C(x)) } }) ); - state.send(state.C(init)); + state(state.C(init)); - def Get: a = get.send(get.C()); - def Set(x: a): unit = set.send(set.C(x)); + def Get: a = get(get.C()); + def Set(x: a): unit = set(set.C(x)); } object RefTest { diff --git a/sources/examples/jolib/parallelOr.scala b/sources/examples/jolib/parallelOr.scala index 40abcc0a87..257733c855 100644 --- a/sources/examples/jolib/parallelOr.scala +++ b/sources/examples/jolib/parallelOr.scala @@ -12,10 +12,10 @@ object or extends Join { rules( Pair(List(res, res1), { case List(r @ res.C(), res1.C(b)) => - if (b) r.set(b) else r.set(res1False.send(res1False.C())) }), + if (b) r.set(b) else r.set(res1False(res1False.C())) }), Pair(List(res, res2), { case List(r @ res.C(), res2.C(b)) => - if (b) r.set(b) else r.set(res2False.send(res2False.C())) }), + if (b) r.set(b) else r.set(res2False(res2False.C())) }), Pair(List(res1False, res2), { case List(r @ res1False.C(), res2.C(b)) => r.set(b) }), @@ -25,9 +25,9 @@ object or extends Join { ); def apply(def b1: boolean, def b2: boolean): boolean = { - concurrent.ops.spawn(res1.send(res1.C(b1))); - concurrent.ops.spawn(res2.send(res2.C(b2))); - res.send(res.C()) + concurrent.ops.spawn(res1(res1.C(b1))); + concurrent.ops.spawn(res2(res2.C(b2))); + res(res.C()) } } -- cgit v1.2.3