gov.nasa.jpf.vm.choice

Class LongChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.LongChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<java.lang.Long>, LongChoiceGenerator, java.lang.Cloneable

public class LongChoiceFromList
extends NumberChoiceFromList<java.lang.Long>
implements LongChoiceGenerator

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

Method Summary

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

LongChoiceFromList

protected LongChoiceFromList(java.lang.String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

LongChoiceFromList

protected LongChoiceFromList(java.lang.String id,
                             java.lang.Long[] vals)

LongChoiceFromList

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

LongChoiceFromList

public LongChoiceFromList(java.lang.String id,
                          long... val)

Method Detail

createValueArray

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

Specified by:

createValueArray in class NumberChoiceFromList<java.lang.Long>

getDefaultValue

protected java.lang.Long getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<java.lang.Long>

getChoiceType

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

Specified by:

getChoiceType in interface ChoiceGenerator<java.lang.Long>

parseLiteral

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

Specified by:

parseLiteral in class NumberChoiceFromList<java.lang.Long>

newValue

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

Specified by:

newValue in class NumberChoiceFromList<java.lang.Long>