gov.nasa.jpf.vm.choice

Class FloatChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.FloatChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<Float>, FloatChoiceGenerator, Cloneable

public class FloatChoiceFromList
extends NumberChoiceFromList<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, ti

Constructor Summary

Constructors

Modifier	Constructor and Description
	FloatChoiceFromList(Config conf, String id)
protected	FloatChoiceFromList(String id) super constructor for subclasses that want to configure themselves
	FloatChoiceFromList(String id, float... val)
protected	FloatChoiceFromList(String id, Float[] vals)

Method Summary

Methods

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

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

advance, 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, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getSourceLocation, getThreadInfo, hasAttr, hasAttr, hasAttrValue, init, isCascaded, isDone, isProcessed, isSchedulingPoint, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, 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, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getNextChoice, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedNumberOfChoices, getSourceLocation, getThreadInfo, getTotalNumberOfChoices, hasAttr, hasAttr, hasMoreChoices, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, reset, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, supportsReordering

Constructor Detail

FloatChoiceFromList

protected FloatChoiceFromList(String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

FloatChoiceFromList

protected FloatChoiceFromList(String id,
                   Float[] vals)

FloatChoiceFromList

public FloatChoiceFromList(Config conf,
                   String id)

FloatChoiceFromList

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

Method Detail

createValueArray

protected Float[] createValueArray(int len)

Specified by:

createValueArray in class NumberChoiceFromList<Float>

getDefaultValue

protected Float getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<Float>

getChoiceType

public Class<Float> getChoiceType()

Specified by:

getChoiceType in interface ChoiceGenerator<Float>

parseLiteral

protected Float parseLiteral(String literal,
                 int sign)

Specified by:

parseLiteral in class NumberChoiceFromList<Float>

newValue

protected Float newValue(Number num,
             int sign)

Specified by:

newValue in class NumberChoiceFromList<Float>