Quellcode-Bibliothek mutator_event.scala
Interaktion und PortierbarkeitScala
/* Title: Tools/Graphview/mutator_event.scala Author: Markus Kaiser, TU Muenchen Author: Makarius
Events for dialog synchronization.
*/
package isabelle.graphview
import isabelle._
object Mutator_Event {
enum Message { case Add(m: Mutator.Info) extends Message case New_List(m: List[Mutator.Info]) extends Message
}
type Receiver = Message => Unit
class Bus { privateval receivers = Synchronized[List[Receiver]](Nil)
def += (r: Receiver): Unit = receivers.change(Library.insert(r)) def -= (r: Receiver): Unit = receivers.change(Library.remove(r)) def event(x: Message): Unit = receivers.value.reverse.foreach(r => r(x))
}
}
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung:
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
