src/Tools/Graphview/src/mutator.scala
changeset 49743 31bfe82e9220
parent 49737 dd6fc7c9504a
child 50446 8dc05db0bf69
equal deleted inserted replaced
49742:ab0949eff3ca 49743:31bfe82e9220
    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)