gov.nasa.jpf.vm.choice

Class FloatChoiceFromList

java.lang.Object

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

gov.nasa.jpf.vm.choice.NumberChoiceFromList<java.lang.Float>

gov.nasa.jpf.vm.choice.FloatChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<java.lang.Float>, FloatChoiceGenerator, java.lang.Cloneable

public class FloatChoiceFromList
extends NumberChoiceFromList<java.lang.Float>
implements FloatChoiceGenerator

Field Summary

Fields inherited from class gov.nasa.jpf.vm.choice.NumberChoiceFromList

count, 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
	FloatChoiceFromList(Config conf, java.lang.String id)
protected	FloatChoiceFromList(java.lang.String id) super constructor for subclasses that want to configure themselves
	FloatChoiceFromList(java.lang.String id, float... val)
protected	FloatChoiceFromList(java.lang.String id, java.lang.Float[] vals)

Method Summary

Modifier and Type	Method and Description
protected java.lang.Float[]	createValueArray(int len)
java.lang.Class<java.lang.Float>	getChoiceType()
protected java.lang.Float	getDefaultValue()
protected java.lang.Float	newValue(java.lang.Number num, int sign)
protected java.lang.Float	parseLiteral(java.lang.String literal, int sign)

Methods inherited from class gov.nasa.jpf.vm.choice.NumberChoiceFromList

advance, getChoice, getNextChoice, getProcessedNumberOfChoices, getTotalNumberOfChoices, getValueLabel, hasMoreChoices, parse, randomize, reorder, reset, supportsReordering, 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

addAttr, advance, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getChoice, 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

Constructor Detail

FloatChoiceFromList

protected FloatChoiceFromList(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

FloatChoiceFromList

protected FloatChoiceFromList(java.lang.String id,
                              java.lang.Float[] vals)

FloatChoiceFromList

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

FloatChoiceFromList

public FloatChoiceFromList(java.lang.String id,
                           float... val)

Method Detail

createValueArray

protected java.lang.Float[] createValueArray(int len)

Specified by:

createValueArray in class NumberChoiceFromList<java.lang.Float>

getDefaultValue

protected java.lang.Float getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<java.lang.Float>

getChoiceType

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

Specified by:

getChoiceType in interface ChoiceGenerator<java.lang.Float>

parseLiteral

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

Specified by:

parseLiteral in class NumberChoiceFromList<java.lang.Float>

newValue

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

Specified by:

newValue in class NumberChoiceFromList<java.lang.Float>