sofya.mutator.selectors
Class IDMutationSelector.ID

java.lang.Object
  sofya.mutator.selectors.IDMutationSelector.ID

Enclosing class:

IDMutationSelector

public static final class IDMutationSelector.ID
extends java.lang.Object

Utility class to correlate mutants with selected variants.

Once created, an ID is immutable.

Field Summary

int	mId ID of the selected mutant.
int	variant Selected variant of the mutant, if applicable.

Constructor Summary

IDMutationSelector.ID(int mId)
Creates a new mutant selection ID.

IDMutationSelector.ID(int mId, int variant)
Creates a new mutant selection ID.

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

mId

public final int mId

ID of the selected mutant.

variant

public final int variant

Selected variant of the mutant, if applicable.

Constructor Detail

IDMutationSelector.ID

public IDMutationSelector.ID(int mId)

Creates a new mutant selection ID.

Parameters:

mId - Id of the selected mutant; the default variant will be used if applicable.

IDMutationSelector.ID

public IDMutationSelector.ID(int mId,
                             int variant)

Creates a new mutant selection ID.

Parameters:

mId - Id of the selected mutant.

variant - Selected variant of the mutant, if applicable.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object