gov.nasa.jpf.vm.choice

Class NumberChoiceFromList<T extends java.lang.Number>

java.lang.Object

gov.nasa.jpf.vm.ChoiceGeneratorBase<T>

gov.nasa.jpf.vm.choice.NumberChoiceFromList<T>

All Implemented Interfaces:

ChoiceGenerator<T>, java.lang.Cloneable

Direct Known Subclasses:

DoubleChoiceFromList, FloatChoiceFromList, IntChoiceFromList, LongChoiceFromList

public abstract class NumberChoiceFromList<T extends java.lang.Number>
extends ChoiceGeneratorBase<T>

common root for list based number choice generators

Field Summary

Fields

Modifier and Type	Field and Description
protected int	count
protected T[]	values

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
	NumberChoiceFromList(Config conf, java.lang.String id)
protected	NumberChoiceFromList(java.lang.String id) super constructor for subclasses that want to configure themselves
protected	NumberChoiceFromList(java.lang.String id, T[] vals)

Method Summary

Modifier and Type	Method and Description
void	advance() advance to the next choice.
protected abstract T[]	createValueArray(int len)
T	getChoice(int idx) explicit choice enumeration.
protected abstract T	getDefaultValue()
T	getNextChoice()
int	getProcessedNumberOfChoices()
int	getTotalNumberOfChoices()
java.lang.String	getValueLabel() get String label of current value, as specified in config file
boolean	hasMoreChoices()
protected abstract T	newValue(java.lang.Number num, int sign)
protected T	parse(java.lang.String varSpec, StackFrame resolveFrame)
protected abstract T	parseLiteral(java.lang.String literal, int sign)
NumberChoiceFromList<T>	randomize() turn the order of choices random (if it isn't already).
NumberChoiceFromList<T>	reorder(java.util.Comparator<T> comparator) reorder according to a user provided comparator
void	reset() this has to reset the CG to its initial state, which includes resetting 'isDone'
boolean	supportsReordering()
java.lang.String	toString()

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, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, 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

getChoiceType

Field Detail

values

protected T extends java.lang.Number[] values

count

protected int count

Constructor Detail

NumberChoiceFromList

protected NumberChoiceFromList(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

NumberChoiceFromList

protected NumberChoiceFromList(java.lang.String id,
                               T[] vals)

NumberChoiceFromList

public NumberChoiceFromList(Config conf,
                            java.lang.String id)

Parameters:

conf - JPF configuration object

id - name used in choice config

Method Detail

createValueArray

protected abstract T[] createValueArray(int len)

getDefaultValue

protected abstract T getDefaultValue()

parseLiteral

protected abstract T parseLiteral(java.lang.String literal,
                                  int sign)

newValue

protected abstract T newValue(java.lang.Number num,
                              int sign)

getChoice

public T getChoice(int idx)

Description copied from class: ChoiceGeneratorBase

explicit choice enumeration. Override if supported

Specified by:

getChoice in interface ChoiceGenerator<T extends java.lang.Number>

Overrides:

getChoice in class ChoiceGeneratorBase<T extends java.lang.Number>

Returns:

choice value or null if not supported

reset

public void reset()

Description copied from interface: ChoiceGenerator

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

getNextChoice

public T getNextChoice()

See Also:

ChoiceGenerator.getNextChoice()

hasMoreChoices

public boolean hasMoreChoices()

See Also:

ChoiceGenerator.hasMoreChoices()

advance

public void advance()

Description copied from interface: ChoiceGenerator

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

See Also:

ChoiceGenerator.advance()

getValueLabel

public java.lang.String getValueLabel()

get String label of current value, as specified in config file

getTotalNumberOfChoices

public int getTotalNumberOfChoices()

getProcessedNumberOfChoices

public int getProcessedNumberOfChoices()

supportsReordering

public boolean supportsReordering()

Specified by:

supportsReordering in interface ChoiceGenerator<T extends java.lang.Number>

Overrides:

supportsReordering in class ChoiceGeneratorBase<T extends java.lang.Number>

parse

protected T parse(java.lang.String varSpec,
                  StackFrame resolveFrame)

reorder

public NumberChoiceFromList<T> reorder(java.util.Comparator<T> comparator)

Description copied from class: ChoiceGeneratorBase

reorder according to a user provided comparator

Specified by:

reorder in interface ChoiceGenerator<T extends java.lang.Number>

Overrides:

reorder in class ChoiceGeneratorBase<T extends java.lang.Number>

toString

public java.lang.String toString()

Overrides:

toString in class ChoiceGeneratorBase<T extends java.lang.Number>

randomize

public NumberChoiceFromList<T> randomize()

Description copied from interface: ChoiceGenerator

turn the order of choices random (if it isn't already). Only drawback of this generic method (which might be a decorator factory) is that our type layer (e.g. IntChoiceGenerator) has to guarantee type safety. But hey - this is the first case where we can use covariant return types! NOTES: - this method may alter this ChoiceGenerator and return that or return a new "decorated" version. - random data can be read from the "Random random" field in this class.

Specified by:

randomize in interface ChoiceGenerator<T extends java.lang.Number>

Overrides:

randomize in class ChoiceGeneratorBase<T extends java.lang.Number>