Scala 2
isabelle

class EventBus
[source: isabelle/EventBus.scala]
class EventBus[Event]
extends AnyRef
Type Summary
type Handler
Value Summary
var logger : (java.lang.Throwable) => Unit
Method Summary
def + (h : scala.Function1) : EventBus[Event]
def += (h : scala.Function1) : Unit
def - (h : scala.Function1) : EventBus[Event]
def -= (h : scala.Function1) : 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
Type Details
type Handler
Value Details
var logger : (java.lang.Throwable) => Unit
Method Details
def +=(h : scala.Function1) : Unit
def +(h : scala.Function1) : EventBus[Event]
def -=(h : scala.Function1) : Unit
def -(h : scala.Function1) : EventBus[Event]
def event(x : Event) : Unit
Scala 2