gov.nasa.jpf.vm.choice

Class DoubleChoiceFromSet

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.DoubleChoiceFromList

gov.nasa.jpf.vm.choice.DoubleChoiceFromSet

All Implemented Interfaces:

ChoiceGenerator<java.lang.Double>, DoubleChoiceGenerator, java.lang.Cloneable

public class DoubleChoiceFromSet
extends DoubleChoiceFromList

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
	DoubleChoiceFromSet(Config conf, java.lang.String id)
protected	DoubleChoiceFromSet(java.lang.String id) super constructor for subclasses that want to configure themselves
	DoubleChoiceFromSet(java.lang.String id, double... val)

Method Summary

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

createValueArray, getChoiceType, getDefaultValue, newValue, parseLiteral

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

DoubleChoiceFromSet

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

DoubleChoiceFromSet

public DoubleChoiceFromSet(java.lang.String id,
                           double... val)

DoubleChoiceFromSet

protected DoubleChoiceFromSet(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config