diff options
author | cremet <cremet@epfl.ch> | 2003-10-21 15:08:19 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2003-10-21 15:08:19 +0000 |
commit | afdd2ae37bc2a9d37138d85e6ca82a571ad2897f (patch) | |
tree | e06a0a1f0964b3dc2c14e6d27f8e539496860f3a /sources/examples/jolib/Ref.scala | |
parent | eb0304192b4f9d5f71c16d5f1962943763da6664 (diff) | |
download | scala-afdd2ae37bc2a9d37138d85e6ca82a571ad2897f.tar.gz scala-afdd2ae37bc2a9d37138d85e6ca82a571ad2897f.tar.bz2 scala-afdd2ae37bc2a9d37138d85e6ca82a571ad2897f.zip |
*** empty log message ***
Diffstat (limited to 'sources/examples/jolib/Ref.scala')
-rw-r--r-- | sources/examples/jolib/Ref.scala | 10 |
1 files changed, 5 insertions, 5 deletions
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 { |