gov.nasa.jpf.vm

Interface LongChoiceGenerator

All Superinterfaces:

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

All Known Implementing Classes:

LongChoiceFromList, RandomOrderLongCG

public interface LongChoiceGenerator
extends ChoiceGenerator<java.lang.Long>

ChoiceGenerator for Long values - this is only an interface so that we can use it for type checks of implementors that use 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