equal
deleted
inserted
replaced
10 |
10 |
11 import isabelle._ |
11 import isabelle._ |
12 |
12 |
13 |
13 |
14 object Mutator_Event { |
14 object Mutator_Event { |
15 sealed abstract class Message |
15 enum Message { |
16 case class Add(m: Mutator.Info) extends Message |
16 case Add(m: Mutator.Info) extends Message |
17 case class New_List(m: List[Mutator.Info]) extends Message |
17 case New_List(m: List[Mutator.Info]) extends Message |
|
18 } |
18 |
19 |
19 type Receiver = Message => Unit |
20 type Receiver = Message => Unit |
20 |
21 |
21 class Bus { |
22 class Bus { |
22 private val receivers = Synchronized[List[Receiver]](Nil) |
23 private val receivers = Synchronized[List[Receiver]](Nil) |