|
Scala 2.2.0.9025
|
object
Scheduler
extends
java.lang.Object with
scala.ScalaObjectScheduler
object is used by
Actor
to execute tasks of an execution of a
reactor.Constructor Summary | |
def
this
|
Def Summary | |
def
execute
(task: scala.actors.Reaction)
: scala.Unit
|
|
def
impl
: scala.actors.IScheduler
|
|
def
impl_=
(scheduler: scala.actors.IScheduler)
: scala.Unit
|
|
def
shutdown
: scala.Unit
|
|
def
tick
(a: scala.actors.Actor)
: scala.Unit
|
Constructor Detail |
def
this
Def Detail |
def
execute
(task: scala.actors.Reaction): scala.Unit
def
impl
: scala.actors.IScheduler
def
impl_=
(scheduler: scala.actors.IScheduler): scala.Unit
def
shutdown
: scala.Unit
def
tick
(a: scala.actors.Actor): scala.Unit