public class RandomOrderIntCG extends ChoiceGeneratorBase<java.lang.Integer> implements IntChoiceGenerator
Modifier and Type | Field and Description |
---|---|
protected int[] |
choices |
protected int |
nextIdx |
Constructor and Description |
---|
RandomOrderIntCG(IntChoiceGenerator sub) |
Modifier and Type | Method and Description |
---|---|
void |
advance()
advance to the next choice.
|
java.lang.Integer |
getChoice(int idx)
explicit choice enumeration.
|
java.lang.Class<java.lang.Integer> |
getChoiceType() |
java.lang.Integer |
getNextChoice() |
int |
getProcessedNumberOfChoices() |
int |
getTotalNumberOfChoices() |
boolean |
hasMoreChoices() |
void |
reset()
this has to reset the CG to its initial state, which includes resetting
'isDone'
|
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, randomize, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering, toString, useRandomization
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering
public RandomOrderIntCG(IntChoiceGenerator sub)
public java.lang.Integer getChoice(int idx)
ChoiceGeneratorBase
getChoice
in interface ChoiceGenerator<java.lang.Integer>
getChoice
in class ChoiceGeneratorBase<java.lang.Integer>
public java.lang.Integer getNextChoice()
getNextChoice
in interface ChoiceGenerator<java.lang.Integer>
public void advance()
ChoiceGenerator
advance
in interface ChoiceGenerator<java.lang.Integer>
public int getProcessedNumberOfChoices()
getProcessedNumberOfChoices
in interface ChoiceGenerator<java.lang.Integer>
public int getTotalNumberOfChoices()
getTotalNumberOfChoices
in interface ChoiceGenerator<java.lang.Integer>
public boolean hasMoreChoices()
hasMoreChoices
in interface ChoiceGenerator<java.lang.Integer>
public void reset()
ChoiceGenerator
reset
in interface ChoiceGenerator<java.lang.Integer>
public java.lang.Class<java.lang.Integer> getChoiceType()
getChoiceType
in interface ChoiceGenerator<java.lang.Integer>