gov.nasa.jpf.vm.choice

Class IntChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.IntChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<Integer>, IntChoiceGenerator, Cloneable

Direct Known Subclasses:

IntChoiceFromSet

public class IntChoiceFromList
extends NumberChoiceFromList<Integer>
implements IntChoiceGenerator

Author:

jpenix choose from a set of values provided in configuration as xxx.class = IntChoiceFromList xxx.values = {1, 2, 3, 400} where "xxx" is the choice id. choices can then made using: getInt("xxx");

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

Method Summary

Methods

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

IntChoiceFromList

protected IntChoiceFromList(String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

IntChoiceFromList

protected IntChoiceFromList(String id,
                 Integer[] vals)

IntChoiceFromList

public IntChoiceFromList(Config conf,
                 String id)

IntChoiceFromList

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

Method Detail

createValueArray

protected Integer[] createValueArray(int len)

Specified by:

createValueArray in class NumberChoiceFromList<Integer>

getDefaultValue

protected Integer getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<Integer>

getChoiceType

public Class<Integer> getChoiceType()

Specified by:

getChoiceType in interface ChoiceGenerator<Integer>

parseLiteral

protected Integer parseLiteral(String literal,
                   int sign)

Specified by:

parseLiteral in class NumberChoiceFromList<Integer>

newValue

protected Integer newValue(Number num,
               int sign)

Specified by:

newValue in class NumberChoiceFromList<Integer>