|
Scala Library
|
|
scala/actors/Scheduler.scala]
object
Scheduler
extends DelegatingSchedulerScheduler object is used by Actor to
execute tasks of an execution of an actor.| Values and Variables inherited from DelegatingScheduler | |
| sched |
| Method Summary | |
def
|
makeNewScheduler : IScheduler |
def
|
restart : Unit |
def
|
snapshot : Unit |
| Methods inherited from DelegatingScheduler | |
| impl, impl_=, isActive, execute, execute, executeFromActor, shutdown, newActor, terminated, onTerminate, managedBlock |
| 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
|
|