public class InvocationCG extends ChoiceGeneratorBase<Invocation>
Modifier and Type | Field and Description |
---|---|
protected Invocation |
cur |
protected java.util.List<Invocation> |
invokes |
protected java.util.ListIterator<Invocation> |
it |
Constructor and Description |
---|
InvocationCG(java.lang.String id,
java.util.List<Invocation> invokes) |
Modifier and Type | Method and Description |
---|---|
void |
advance()
advance to the next choice.
|
Invocation |
getChoice(int idx)
explicit choice enumeration.
|
java.lang.Class<Invocation> |
getChoiceType() |
Invocation |
getNextChoice() |
int |
getProcessedNumberOfChoices() |
int |
getTotalNumberOfChoices() |
boolean |
hasMoreChoices() |
void |
printOn(java.io.PrintWriter pw) |
ChoiceGenerator<Invocation> |
randomize()
turn the order of choices random (if it isn't already).
|
void |
reset()
this has to reset the CG to its initial state, which includes resetting
'isDone'
|
java.lang.String |
toString() |
addAttr, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getNumberOfParents, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedChoices, getSourceLocation, getStateId, getThreadInfo, getUnprocessedChoices, hasAttr, hasAttr, hasAttrValue, init, isCascaded, isDone, isProcessed, isSchedulingPoint, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering, useRandomization
protected java.util.List<Invocation> invokes
protected Invocation cur
protected java.util.ListIterator<Invocation> it
public InvocationCG(java.lang.String id, java.util.List<Invocation> invokes)
public Invocation getChoice(int idx)
ChoiceGeneratorBase
getChoice
in interface ChoiceGenerator<Invocation>
getChoice
in class ChoiceGeneratorBase<Invocation>
public void advance()
ChoiceGenerator
public java.lang.Class<Invocation> getChoiceType()
public Invocation getNextChoice()
public int getProcessedNumberOfChoices()
public int getTotalNumberOfChoices()
public boolean hasMoreChoices()
public ChoiceGenerator<Invocation> randomize()
ChoiceGenerator
randomize
in interface ChoiceGenerator<Invocation>
randomize
in class ChoiceGeneratorBase<Invocation>
public java.lang.String toString()
toString
in class ChoiceGeneratorBase<Invocation>
public void printOn(java.io.PrintWriter pw)
public void reset()
ChoiceGenerator