gov.nasa.jpf.vm.choice

Class LongChoiceFromList

java.lang.Object

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

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

gov.nasa.jpf.vm.choice.LongChoiceFromList

All Implemented Interfaces:

ChoiceGenerator<Long>, LongChoiceGenerator, Cloneable

public class LongChoiceFromList
extends NumberChoiceFromList<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, ti

Constructor Summary

Constructors

Modifier	Constructor and Description
	LongChoiceFromList(Config conf, String id)
protected	LongChoiceFromList(String id) super constructor for subclasses that want to configure themselves
	LongChoiceFromList(String id, long... val)
protected	LongChoiceFromList(String id, Long[] vals)

Method Summary

Methods

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

LongChoiceFromList

protected LongChoiceFromList(String id)

super constructor for subclasses that want to configure themselves

Parameters:

id - name used in choice config

LongChoiceFromList

protected LongChoiceFromList(String id,
                  Long[] vals)

LongChoiceFromList

public LongChoiceFromList(Config conf,
                  String id)

LongChoiceFromList

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

Method Detail

createValueArray

protected Long[] createValueArray(int len)

Specified by:

createValueArray in class NumberChoiceFromList<Long>

getDefaultValue

protected Long getDefaultValue()

Specified by:

getDefaultValue in class NumberChoiceFromList<Long>

getChoiceType

public Class<Long> getChoiceType()

Specified by:

getChoiceType in interface ChoiceGenerator<Long>

parseLiteral

protected Long parseLiteral(String literal,
                int sign)

Specified by:

parseLiteral in class NumberChoiceFromList<Long>

newValue

protected Long newValue(Number num,
            int sign)

Specified by:

newValue in class NumberChoiceFromList<Long>