|
Scala Library
|
|
scala/actors/Scheduler.scala]
object
Scheduler
extends scala.actors.scheduler.DelegatingSchedulerScheduler object is used by Actor to
execute tasks of an execution of an actor.| Values and Variables inherited from scala.actors.scheduler.DelegatingScheduler | |
| scala.actors.scheduler.DelegatingScheduler.sched |
| Method Summary | |
def
|
makeNewScheduler : IScheduler |
def
|
restart : Unit |
def
|
snapshot : Unit |
| Methods inherited from IScheduler | |
| tick, onLockup, onLockup, printActorDump |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
def
makeNewScheduler : IScheduler
def
snapshot : Unit
def
restart : Unit
|
Scala Library
|
|