gov.nasa.jpf.vm.choice

Class DoubleChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.DoubleChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<Double>, DoubleChoiceGenerator, Cloneable

Direct Known Subclasses:

DoubleChoiceFromSet

public class DoubleChoiceFromList
extends NumberChoiceFromList<Double>
implements DoubleChoiceGenerator

simple DoubleChoiceGenerator that takes it's values from a single property "values" (comma or blank separated list)

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
	DoubleChoiceFromList(Config conf, String id)
protected	DoubleChoiceFromList(String id) super constructor for subclasses that want to configure themselves
	DoubleChoiceFromList(String id, double... val)
protected	DoubleChoiceFromList(String id, Double[] vals)

Method Summary

Methods

Modifier and Type	Method and Description
protected Double[]	createValueArray(int len)
Class<Double>	getChoiceType()
protected Double	getDefaultValue()
protected Double	newValue(Number num, int sign)
protected Double	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

DoubleChoiceFromList

protected DoubleChoiceFromList(String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

DoubleChoiceFromList

protected DoubleChoiceFromList(String id,
                    Double[] vals)

DoubleChoiceFromList

public DoubleChoiceFromList(Config conf,
                    String id)

DoubleChoiceFromList

public DoubleChoiceFromList(String id,
                    double... val)

Method Detail

createValueArray

protected Double[] createValueArray(int len)

Specified by:

createValueArray in class NumberChoiceFromList<Double>

getDefaultValue

protected Double getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<Double>

getChoiceType

public Class<Double> getChoiceType()

Specified by:

getChoiceType in interface ChoiceGenerator<Double>

parseLiteral

protected Double parseLiteral(String literal,
                  int sign)

Specified by:

parseLiteral in class NumberChoiceFromList<Double>

newValue

protected Double newValue(Number num,
              int sign)

Specified by:

newValue in class NumberChoiceFromList<Double>