blob: 5561b7610c3dd206a34a732559a2a21740fa904d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
import scala.collection.mutable._;
import scala.collection.script._;
class Members;
object subscriber extends Subscriber[Message[String] with Undoable, Members] {
def notify(pub: Members, event: Message[String] with Undoable): Unit =
(event: Message[String]) match {
case Include(l, elem) => Console.println("ADD: " + elem);
case Remove(l, elem) => Console.println("REM: " + elem);
//case i : Include[HasTree] with Undoable =>
//case r : Remove [HasTree] with Undoable =>
}
}
|