jmodelgen.core

Class Mutable.LeftMutator<T extends Mutable<T>,S extends Domain<T>>

java.lang.Object

jmodelgen.core.Mutable.LeftMutator<T,S>

Type Parameters:

T -

All Implemented Interfaces:

Transformer<T>

Enclosing interface:

Mutable<T>

public static class Mutable.LeftMutator<T extends Mutable<T>,S extends Domain<T>>
extends Object
implements Transformer<T>

Implements a generic mutator which generates all possible single mutations for a given mutable item. For example, consider an array item [1,2]. There are three possible mutations for this. We can replace either of the elements with a new element from the domain; or we can append a new element.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
LeftMutator(S domain, int maxWidth)
LeftMutator(S domain, Mutable.Transfer<T,S> transfer, int maxWidth)

Method Summary

Modifier and Type	Method and Description
List<T>	transform(T item) Transform a given item into zero or more items which are modified in some way.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LeftMutator

public LeftMutator(S domain,
                   int maxWidth)

LeftMutator

public LeftMutator(S domain,
                   Mutable.Transfer<T,S> transfer,
                   int maxWidth)

Method Detail

transform

public List<T> transform(T item)

Description copied from interface: Transformer

Transform a given item into zero or more items which are modified in some way. For example, if the item was an array then we might return the list of its "one place extensions" --- that is, all instances of the array appended with a new element.

Specified by:

transform in interface Transformer<T extends Mutable<T>>

Returns: