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