public class InvocationCG extends ChoiceGeneratorBase<Invocation>
Modifier and Type | Field and Description |
---|---|
protected Invocation |
cur |
protected List<Invocation> |
invokes |
protected ListIterator<Invocation> |
it |
Constructor and Description |
---|
InvocationCG(String id,
List<Invocation> invokes) |
Modifier and Type | Method and Description |
---|---|
void |
advance()
advance to the next choice.
|
Class<Invocation> |
getChoiceType() |
Invocation |
getNextChoice() |
int |
getProcessedNumberOfChoices() |
int |
getTotalNumberOfChoices() |
boolean |
hasMoreChoices() |
void |
printOn(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'
|
String |
toString() |
addAttr, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getSourceLocation, getThreadInfo, hasAttr, hasAttr, hasAttrValue, init, isCascaded, isDone, isProcessed, isSchedulingPoint, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, supportsReordering, useRandomization
protected List<Invocation> invokes
protected Invocation cur
protected ListIterator<Invocation> it
public InvocationCG(String id, List<Invocation> invokes)
public void advance()
ChoiceGenerator
public 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 String toString()
toString
in class ChoiceGeneratorBase<Invocation>
public void printOn(PrintWriter pw)
public void reset()
ChoiceGenerator