obsolete;
authorwenzelm
Fri Apr 25 12:56:24 2014 +0200 (2014-04-25)
changeset 567166d5733303a50
parent 56715 52125652e82a
child 56717 d96b10ec397c
obsolete;
src/Pure/System/event_bus.scala
src/Pure/build-jars
     1.1 --- a/src/Pure/System/event_bus.scala	Fri Apr 25 12:51:08 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,32 +0,0 @@
     1.4 -/*  Title:      Pure/System/event_bus.scala
     1.5 -    Module:     PIDE
     1.6 -    Author:     Makarius
     1.7 -
     1.8 -Generic event bus with multiple receiving actors.
     1.9 -*/
    1.10 -
    1.11 -package isabelle
    1.12 -
    1.13 -
    1.14 -import scala.actors.Actor, Actor._
    1.15 -
    1.16 -
    1.17 -class Event_Bus[Event]
    1.18 -{
    1.19 -  /* receivers */
    1.20 -
    1.21 -  private val receivers = Synchronized(List.empty[Actor])
    1.22 -
    1.23 -  def += (r: Actor) { receivers.change(Library.insert(r)) }
    1.24 -
    1.25 -  def += (f: Event => Unit) {
    1.26 -    this += actor { loop { react { case x => f(x.asInstanceOf[Event]) } } }
    1.27 -  }
    1.28 -
    1.29 -  def -= (r: Actor) { receivers.change(Library.remove(r)) }
    1.30 -
    1.31 -
    1.32 -  /* event invocation */
    1.33 -
    1.34 -  def event(x: Event) { receivers.value.iterator.foreach(_ ! x) }
    1.35 -}
     2.1 --- a/src/Pure/build-jars	Fri Apr 25 12:51:08 2014 +0200
     2.2 +++ b/src/Pure/build-jars	Fri Apr 25 12:56:24 2014 +0200
     2.3 @@ -64,7 +64,6 @@
     2.4    PIDE/xml.scala
     2.5    PIDE/yxml.scala
     2.6    System/command_line.scala
     2.7 -  System/event_bus.scala
     2.8    System/interrupt.scala
     2.9    System/invoke_scala.scala
    2.10    System/isabelle_charset.scala