diff options
author | michelou <michelou@epfl.ch> | 2008-02-14 16:43:18 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2008-02-14 16:43:18 +0000 |
commit | ba31aaae833ee9caa33c5d7f713003f901b299eb (patch) | |
tree | 68b7aa6919f647e0f1d36dbf9bda31e41c5bb562 /docs/examples/actors/auction.scala | |
parent | 2ba73ce97c64b7ead04a2efc562dbe8ca3b13e6f (diff) | |
download | scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.tar.gz scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.tar.bz2 scala-ba31aaae833ee9caa33c5d7f713003f901b299eb.zip |
updated code
Diffstat (limited to 'docs/examples/actors/auction.scala')
-rw-r--r-- | docs/examples/actors/auction.scala | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/docs/examples/actors/auction.scala b/docs/examples/actors/auction.scala index 513e9a6ad0..5bda010c57 100644 --- a/docs/examples/actors/auction.scala +++ b/docs/examples/actors/auction.scala @@ -1,6 +1,7 @@ package examples.actors import java.util.Date + import scala.actors._ import scala.actors.Actor._ @@ -10,20 +11,20 @@ import scala.actors.Actor._ */ trait AuctionMessage -case class Offer(bid: int, client: Actor) extends AuctionMessage // make a bid +case class Offer(bid: Int, client: Actor) extends AuctionMessage // make a bid case class Inquire(client: Actor) extends AuctionMessage // inquire status trait AuctionReply -case class Status(asked: int, expiration: Date) // asked sum, expiration date +case class Status(asked: Int, expiration: Date) // asked sum, expiration date extends AuctionReply case object BestOffer extends AuctionReply // yours is the best offer -case class BeatenOffer(maxBid: int) extends AuctionReply // offer beaten by maxBid +case class BeatenOffer(maxBid: Int) extends AuctionReply // offer beaten by maxBid case class AuctionConcluded(seller: Actor, client: Actor) // auction concluded extends AuctionReply case object AuctionFailed extends AuctionReply // failed with no bids case object AuctionOver extends AuctionReply // bidding is closed -class AuctionActor(seller: Actor, minBid: int, closing: Date) extends Actor { +class AuctionActor(seller: Actor, minBid: Int, closing: Date) extends Actor { val timeToShutdown = 3000 // msec val bidIncrement = 10 @@ -68,7 +69,7 @@ class AuctionActor(seller: Actor, minBid: int, closing: Date) extends Actor { object auction { - val random = new java.util.Random() + val random = new Random val minBid = 100 val closing = new Date(new Date().getTime() + 4000) @@ -76,11 +77,11 @@ object auction { val seller = Actor.actor { } val auction = new AuctionActor(seller, minBid, closing) - def client(i: int, increment: int, top: int) = new Actor { + def client(i: Int, increment: Int, top: Int) = new Actor { val name = "Client " + i def log(msg: String) = Console.println(name + ": " + msg) - var max: int = _ - var current: int = 0 + var max: Int = _ + var current: Int = 0 def act() { log("started") auction ! Inquire(this) @@ -120,7 +121,7 @@ object auction { } } - def main(args: Array[String]) = { + def main(args: Array[String]) { seller.start() auction.start() client(1, 20, 200).start() |