author | wenzelm |
Sun, 19 Oct 2008 16:51:55 +0200 | |
changeset 34318 | c13e168a8ae6 |
child 34407 | aad6834ba380 |
permissions | -rw-r--r-- |
package isabelle.utils import scala.collection.mutable.HashSet class EventSource[Event] { private val handlers = new HashSet[(Event) => Unit]() def add(handler : (Event) => Unit) { handlers += handler } def remove(handler : (Event) => Unit) { handlers -= handler } def fire(event : Event) { for(h <- handlers) h(event) } }