equal
deleted
inserted
replaced
17 { |
17 { |
18 val name: String |
18 val name: String |
19 val description: String |
19 val description: String |
20 def mutate(complete: Model.Graph, sub: Model.Graph): Model.Graph |
20 def mutate(complete: Model.Graph, sub: Model.Graph): Model.Graph |
21 |
21 |
22 override def toString() = name |
22 override def toString: String = name |
23 } |
23 } |
24 |
24 |
25 trait Filter extends Mutator |
25 trait Filter extends Mutator |
26 { |
26 { |
27 def mutate(complete: Model.Graph, sub: Model.Graph) = filter(sub) |
27 def mutate(complete: Model.Graph, sub: Model.Graph) = filter(sub) |