Scala 2
|
|
isabelle/Event_Bus.scala
]
class
Event_Bus[Event]
extends
AnyRefMethod Summary | |
def
|
+ (f : (Event) => Unit) : Event_Bus[Event] |
def
|
+ (r : scala.actors.Actor) : Event_Bus[Event] |
def
|
+= (f : (Event) => Unit) : Unit |
def
|
+= (r : scala.actors.Actor) : Unit |
def
|
- (r : scala.actors.Actor) : Event_Bus[Event] |
def
|
-= (r : scala.actors.Actor) : Unit |
def
|
event (x : Event) : Unit |
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
+=(r : scala.actors.Actor) : Unit
def
+(r : scala.actors.Actor) : Event_Bus[Event]
def
-=(r : scala.actors.Actor) : Unit
def
-(r : scala.actors.Actor) : Event_Bus[Event]
Scala 2
|
|