diff options
| author | Matthias Zenger <mzenger@gmail.com> | 2004-01-12 15:30:26 +0000 |
|---|---|---|
| committer | Matthias Zenger <mzenger@gmail.com> | 2004-01-12 15:30:26 +0000 |
| commit | 33d36a45ebba56b12aabd31c6ca1b49784485d43 (patch) | |
| tree | be24920dd0fcf22a121df0cc5ac0de18c9fc609b /sources | |
| parent | 5e6ded3a4a37d50d492aa5ab29690ec77346b336 (diff) | |
| download | scala-33d36a45ebba56b12aabd31c6ca1b49784485d43.tar.gz scala-33d36a45ebba56b12aabd31c6ca1b49784485d43.tar.bz2 scala-33d36a45ebba56b12aabd31c6ca1b49784485d43.zip | |
Replace class Executable with Application.
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/examples/ComputeServer.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/piNat.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/twoPlaceBuffer.scala | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sources/examples/ComputeServer.scala b/sources/examples/ComputeServer.scala index 034b996498..bd79403149 100644 --- a/sources/examples/ComputeServer.scala +++ b/sources/examples/ComputeServer.scala @@ -35,7 +35,7 @@ class ComputeServer(n: Int) { spawn(replicate(0, n) { processor }) } -object Test with Executable { +object Test with Application { val server = new ComputeServer(1); val f = server.future(42); Console.println(f()) diff --git a/sources/examples/pilib/piNat.scala b/sources/examples/pilib/piNat.scala index 5fd2dde385..b3364227c2 100644 --- a/sources/examples/pilib/piNat.scala +++ b/sources/examples/pilib/piNat.scala @@ -2,7 +2,7 @@ import scala.concurrent.pilib._; //import pilib._; /** Church encoding of naturals in the Pi-calculus */ -object piNat with Executable { +object piNat with Application { /** Locations of Pi-calculus natural */ class NatChan extends Chan[Triple[Chan[unit], Chan[NatChan], Chan[NatChan]]]; diff --git a/sources/examples/pilib/twoPlaceBuffer.scala b/sources/examples/pilib/twoPlaceBuffer.scala index ad0ab60307..670c879ce6 100644 --- a/sources/examples/pilib/twoPlaceBuffer.scala +++ b/sources/examples/pilib/twoPlaceBuffer.scala @@ -1,7 +1,7 @@ import scala.concurrent.pilib._; /** Two-place buffer specification and implementation. */ -object twoPlaceBuffer with Executable { +object twoPlaceBuffer with Application { /** * Specification. |