gov.nasa.jpf.vm

Interface ReferenceChoiceGenerator

All Superinterfaces:

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

All Known Implementing Classes:

TypedObjectChoice

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

that's a little bit counter-intuitive - references are just int values in JPF

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