gov.nasa.jpf.vm.choice

Class IntChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.IntChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<java.lang.Integer>, IntChoiceGenerator, java.lang.Cloneable

Direct Known Subclasses:

IntChoiceFromSet

public class IntChoiceFromList
extends NumberChoiceFromList<java.lang.Integer>
implements IntChoiceGenerator

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

Method Summary

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

IntChoiceFromList

protected IntChoiceFromList(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

IntChoiceFromList

protected IntChoiceFromList(java.lang.String id,
                            java.lang.Integer[] vals)

IntChoiceFromList

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

IntChoiceFromList

public IntChoiceFromList(java.lang.String id,
                         int... val)

Method Detail

createValueArray

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

Specified by:

createValueArray in class NumberChoiceFromList<java.lang.Integer>

getDefaultValue

protected java.lang.Integer getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<java.lang.Integer>

getChoiceType

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

Specified by:

getChoiceType in interface ChoiceGenerator<java.lang.Integer>

parseLiteral

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

Specified by:

parseLiteral in class NumberChoiceFromList<java.lang.Integer>

newValue

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

Specified by:

newValue in class NumberChoiceFromList<java.lang.Integer>