--- a/src/Tools/Graphview/model.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Tools/Graphview/model.scala Mon Mar 01 22:22:12 2021 +0100
@@ -19,13 +19,13 @@
private var _mutators : List[Mutator.Info] = Nil
def apply(): List[Mutator.Info] = _mutators
- def apply(mutators: List[Mutator.Info])
+ def apply(mutators: List[Mutator.Info]): Unit =
{
_mutators = mutators
events.event(Mutator_Event.New_List(mutators))
}
- def add(mutator: Mutator.Info)
+ def add(mutator: Mutator.Info): Unit =
{
_mutators = _mutators ::: List(mutator)
events.event(Mutator_Event.Add(mutator))
@@ -61,7 +61,7 @@
private var _colors = Map.empty[Graph_Display.Node, Color]
def colors = _colors
- private def build_colors()
+ private def build_colors(): Unit =
{
_colors =
(Map.empty[Graph_Display.Node, Color] /: Colors()) {