gov.nasa.jpf.vm.choice

Class IntChoiceFromSet

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.IntChoiceFromList

gov.nasa.jpf.vm.choice.IntChoiceFromSet

All Implemented Interfaces:

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

public class IntChoiceFromSet
extends IntChoiceFromList

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

Method Summary

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

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

IntChoiceFromSet

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

Parameters:

conf - JPF configuration object

id - name used in choice config

IntChoiceFromSet

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

IntChoiceFromSet

protected IntChoiceFromSet(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config