gov.nasa.jpf.vm

Interface IntChoiceGenerator

All Superinterfaces:

ChoiceGenerator<java.lang.Integer>, java.lang.Cloneable

All Known Implementing Classes:

IntChoiceFromList, IntChoiceFromSet, IntIntervalGenerator, RandomIntIntervalGenerator, RandomOrderIntCG

public interface IntChoiceGenerator
extends ChoiceGenerator<java.lang.Integer>

Choice Generator that creates Integer values - this is just an interface so that we can type test for implementors that have their own generic hierarchy

Method Summary

Methods inherited from interface gov.nasa.jpf.vm.ChoiceGenerator

addAttr, advance, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getChoice, getChoiceType, getId, getIdRef, getInsn, getNextAttr, getNextChoice, getNumberOfParents, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedChoices, getProcessedNumberOfChoices, getSourceLocation, getStateId, getThreadInfo, getTotalNumberOfChoices, getUnprocessedChoices, hasAttr, hasAttr, hasMoreChoices, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, reset, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering