public class IntChoiceFromSet extends IntChoiceFromList
count, values
Modifier | Constructor and Description |
---|---|
|
IntChoiceFromSet(Config conf,
String id) |
protected |
IntChoiceFromSet(String id)
super constructor for subclasses that want to configure themselves
|
|
IntChoiceFromSet(String id,
int... val) |
createValueArray, getChoiceType, getDefaultValue, newValue, parseLiteral
advance, getNextChoice, getProcessedNumberOfChoices, getTotalNumberOfChoices, getValueLabel, hasMoreChoices, parse, randomize, reorder, reset, supportsReordering, 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, replaceAttr, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, useRandomization
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAttr, advance, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getNextChoice, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedNumberOfChoices, getSourceLocation, getThreadInfo, getTotalNumberOfChoices, hasAttr, hasAttr, hasMoreChoices, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, reset, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, supportsReordering
public IntChoiceFromSet(Config conf, String id)
conf
- JPF configuration objectid
- name used in choice configpublic IntChoiceFromSet(String id, int... val)
protected IntChoiceFromSet(String id)
id
- name used in choice config