|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.mutator.selectors.IDMutationSelector.ID
public static final class IDMutationSelector.ID
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 |
---|
public final int mId
public final int variant
Constructor Detail |
---|
public IDMutationSelector.ID(int mId)
mId
- Id of the selected mutant; the default variant
will be used if applicable.public IDMutationSelector.ID(int mId, int variant)
mId
- Id of the selected mutant.variant
- Selected variant of the mutant, if applicable.Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |