gov.nasa.jpf.vm.choice

Class RandomOrderLongCG

java.lang.Object

gov.nasa.jpf.vm.ChoiceGeneratorBase<java.lang.Long>

gov.nasa.jpf.vm.choice.RandomOrderLongCG

All Implemented Interfaces:

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

public class RandomOrderLongCG
extends ChoiceGeneratorBase<java.lang.Long>
implements LongChoiceGenerator

Field Summary

Fields

Modifier and Type	Field and Description
protected long[]	choices
protected int	nextIdx

Fields inherited from class gov.nasa.jpf.vm.ChoiceGeneratorBase

attr, id, idRef, insn, isCascaded, isDone, MARKER, prev, random, stateId, ti

Constructor Summary

Constructors

Constructor and Description
RandomOrderLongCG(LongChoiceGenerator sub)

Method Summary

Modifier and Type	Method and Description
void	advance() advance to the next choice.
java.lang.Long	getChoice(int idx) explicit choice enumeration.
java.lang.Class<java.lang.Long>	getChoiceType()
java.lang.Long	getNextChoice()
int	getProcessedNumberOfChoices()
int	getTotalNumberOfChoices()
boolean	hasMoreChoices()
void	reset() this has to reset the CG to its initial state, which includes resetting 'isDone'

Methods inherited from class gov.nasa.jpf.vm.ChoiceGeneratorBase

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

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

Field Detail

choices

protected long[] choices

nextIdx

protected int nextIdx

Constructor Detail

RandomOrderLongCG

public RandomOrderLongCG(LongChoiceGenerator sub)

Method Detail

getChoice

public java.lang.Long getChoice(int idx)

Description copied from class: ChoiceGeneratorBase

explicit choice enumeration. Override if supported

Specified by:

getChoice in interface ChoiceGenerator<java.lang.Long>

Overrides:

getChoice in class ChoiceGeneratorBase<java.lang.Long>

Returns:

choice value or null if not supported

getNextChoice

public java.lang.Long getNextChoice()

Specified by:

getNextChoice in interface ChoiceGenerator<java.lang.Long>

advance

public void advance()

Description copied from interface: ChoiceGenerator

advance to the next choice. This is the only method that really advances our enumeration

Specified by:

advance in interface ChoiceGenerator<java.lang.Long>

getProcessedNumberOfChoices

public int getProcessedNumberOfChoices()

Specified by:

getProcessedNumberOfChoices in interface ChoiceGenerator<java.lang.Long>

getTotalNumberOfChoices

public int getTotalNumberOfChoices()

Specified by:

getTotalNumberOfChoices in interface ChoiceGenerator<java.lang.Long>

hasMoreChoices

public boolean hasMoreChoices()

Specified by:

hasMoreChoices in interface ChoiceGenerator<java.lang.Long>

reset

public void reset()

Description copied from interface: ChoiceGenerator

this has to reset the CG to its initial state, which includes resetting 'isDone'

Specified by:

reset in interface ChoiceGenerator<java.lang.Long>

getChoiceType

public java.lang.Class<java.lang.Long> getChoiceType()

Specified by:

getChoiceType in interface ChoiceGenerator<java.lang.Long>