gov.nasa.jpf.vm

Class ChoiceGeneratorBase<T>

java.lang.Object

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

All Implemented Interfaces:

ChoiceGenerator<T>, java.lang.Cloneable

Direct Known Subclasses:

BooleanChoiceGenerator, BreakGenerator, CompoundChoiceGenerator, DoubleThresholdGenerator, EventChoiceGenerator, EventGenerator, IntIntervalGenerator, InvocationCG, NumberChoiceFromList, PermutationCG, RandomIntIntervalGenerator, RandomOrderIntCG, RandomOrderLongCG, ThreadChoiceFromSet, TypedObjectChoice

public abstract class ChoiceGeneratorBase<T>
extends java.lang.Object
implements ChoiceGenerator<T>

abstract root class for configurable choice generators

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object	attr
protected java.lang.String	id
protected int	idRef
protected Instruction	insn
protected boolean	isCascaded
protected boolean	isDone
static char	MARKER
protected ChoiceGenerator<?>	prev
protected static java.util.Random	random
protected int	stateId
protected ThreadInfo	ti

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ChoiceGeneratorBase() Deprecated.
protected	ChoiceGeneratorBase(java.lang.String id)

Method Summary

Modifier and Type	Method and Description
void	addAttr(java.lang.Object a)
void	advance(int nChoices) advance n choices pretty braindead generic solution, but if more speed is needed, we can easily override in the concrete CGs (it's used for path replay)
ObjectList.Iterator	attrIterator()
<T> ObjectList.TypedIterator<T>	attrIterator(java.lang.Class<T> attrType)
ChoiceGeneratorBase<?>	clone()
ChoiceGenerator<?>	deepClone()
ChoiceGenerator<?>[]	getAll() return array with all parents and this CG, in registration order
T[]	getAllChoices()
<C extends ChoiceGenerator<?>> C[]	getAllOfType(java.lang.Class<C> cgType) return array with all CGs (including this one) of given 'cgType', in registration order
java.lang.Object	getAttr() this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList
<T> T	getAttr(java.lang.Class<T> attrType) this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general
ChoiceGenerator<?>[]	getCascade() return array with all cascaded parents and this CG, in registration order
ChoiceGenerator<?>	getCascadedParent() returns the prev CG if it was registered for the same insn
T	getChoice(int idx) explicit choice enumeration.
java.lang.String	getId()
int	getIdRef()
Instruction	getInsn()
<T> T	getNextAttr(java.lang.Class<T> attrType, java.lang.Object prev)
int	getNumberOfParents()
ChoiceGenerator<?>	getPreviousChoiceGenerator()
<C extends ChoiceGenerator<?>> C	getPreviousChoiceGeneratorOfType(java.lang.Class<C> cls)
T[]	getProcessedChoices()
java.lang.String	getSourceLocation()
int	getStateId()
ThreadInfo	getThreadInfo()
T[]	getUnprocessedChoices()
boolean	hasAttr()
boolean	hasAttr(java.lang.Class<?> attrType)
boolean	hasAttrValue(java.lang.Object a)
static void	init(Config config)
boolean	isCascaded()
boolean	isDone()
boolean	isProcessed()
boolean	isSchedulingPoint()
ChoiceGenerator<T>	randomize() turn the order of choices random (if it isn't already).
void	removeAttr(java.lang.Object a)
ChoiceGenerator<T>	reorder(java.util.Comparator<T> comparator) reorder according to a user provided comparator
void	replaceAttr(java.lang.Object oldAttr, java.lang.Object newAttr)
void	select(int choiceIndex)
void	setAttr(java.lang.Object a) this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()
void	setCascaded()
void	setContext(ThreadInfo tiCreator)
void	setCurrent() to be called before the first advance().
void	setDone()
void	setId(java.lang.String id)
void	setIdRef(int idRef)
void	setInsn(Instruction insn)
void	setPreviousChoiceGenerator(ChoiceGenerator<?> cg)
void	setStateId(int stateId)
void	setThreadInfo(ThreadInfo ti)
boolean	supportsReordering()
java.lang.String	toString()
static boolean	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

advance, getChoiceType, getNextChoice, getProcessedNumberOfChoices, getTotalNumberOfChoices, hasMoreChoices, reset

Field Detail

MARKER

public static final char MARKER

See Also:

Constant Field Values

random

protected static java.util.Random random

id

protected java.lang.String id

idRef

protected int idRef

isDone

protected boolean isDone

prev

protected ChoiceGenerator<?> prev

insn

protected Instruction insn

stateId

protected int stateId

ti

protected ThreadInfo ti

attr

protected java.lang.Object attr

isCascaded

protected boolean isCascaded

Constructor Detail

ChoiceGeneratorBase

@Deprecated
protected ChoiceGeneratorBase()

Deprecated.

don't use this since it is not safe for cascaded ChoiceGenerators (we need the 'id' to be as context specific as possible)

ChoiceGeneratorBase

protected ChoiceGeneratorBase(java.lang.String id)

Method Detail

init

public static void init(Config config)

useRandomization

public static boolean useRandomization()

clone

public ChoiceGeneratorBase<?> clone()
                             throws java.lang.CloneNotSupportedException

Specified by:

clone in interface ChoiceGenerator<T>

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

deepClone

public ChoiceGenerator<?> deepClone()
                             throws java.lang.CloneNotSupportedException

Specified by:

deepClone in interface ChoiceGenerator<T>

Throws:

java.lang.CloneNotSupportedException

getId

public java.lang.String getId()

Specified by:

getId in interface ChoiceGenerator<T>

getIdRef

public int getIdRef()

Specified by:

getIdRef in interface ChoiceGenerator<T>

setIdRef

public void setIdRef(int idRef)

Specified by:

setIdRef in interface ChoiceGenerator<T>

setId

public void setId(java.lang.String id)

Specified by:

setId in interface ChoiceGenerator<T>

isSchedulingPoint

public boolean isSchedulingPoint()

Specified by:

isSchedulingPoint in interface ChoiceGenerator<T>

setThreadInfo

public void setThreadInfo(ThreadInfo ti)

Specified by:

setThreadInfo in interface ChoiceGenerator<T>

getThreadInfo

public ThreadInfo getThreadInfo()

Specified by:

getThreadInfo in interface ChoiceGenerator<T>

setInsn

public void setInsn(Instruction insn)

Specified by:

setInsn in interface ChoiceGenerator<T>

getInsn

public Instruction getInsn()

Specified by:

getInsn in interface ChoiceGenerator<T>

setContext

public void setContext(ThreadInfo tiCreator)

Specified by:

setContext in interface ChoiceGenerator<T>

setStateId

public void setStateId(int stateId)

Specified by:

setStateId in interface ChoiceGenerator<T>

getStateId

public int getStateId()

Specified by:

getStateId in interface ChoiceGenerator<T>

getSourceLocation

public java.lang.String getSourceLocation()

Specified by:

getSourceLocation in interface ChoiceGenerator<T>

supportsReordering

public boolean supportsReordering()

Specified by:

supportsReordering in interface ChoiceGenerator<T>

reorder

public ChoiceGenerator<T> reorder(java.util.Comparator<T> comparator)

reorder according to a user provided comparator

Specified by:

reorder in interface ChoiceGenerator<T>

setPreviousChoiceGenerator

public void setPreviousChoiceGenerator(ChoiceGenerator<?> cg)

Specified by:

setPreviousChoiceGenerator in interface ChoiceGenerator<T>

setCascaded

public void setCascaded()

Specified by:

setCascaded in interface ChoiceGenerator<T>

isCascaded

public boolean isCascaded()

Specified by:

isCascaded in interface ChoiceGenerator<T>

getPreviousChoiceGeneratorOfType

public <C extends ChoiceGenerator<?>> C getPreviousChoiceGeneratorOfType(java.lang.Class<C> cls)

Specified by:

getPreviousChoiceGeneratorOfType in interface ChoiceGenerator<T>

getCascadedParent

public ChoiceGenerator<?> getCascadedParent()

returns the prev CG if it was registered for the same insn

Specified by:

getCascadedParent in interface ChoiceGenerator<T>

getCascade

public ChoiceGenerator<?>[] getCascade()

return array with all cascaded parents and this CG, in registration order

Specified by:

getCascade in interface ChoiceGenerator<T>

getAll

public ChoiceGenerator<?>[] getAll()

return array with all parents and this CG, in registration order

Specified by:

getAll in interface ChoiceGenerator<T>

getAllOfType

public <C extends ChoiceGenerator<?>> C[] getAllOfType(java.lang.Class<C> cgType)

return array with all CGs (including this one) of given 'cgType', in registration order

Specified by:

getAllOfType in interface ChoiceGenerator<T>

getNumberOfParents

public int getNumberOfParents()

Specified by:

getNumberOfParents in interface ChoiceGenerator<T>

setCurrent

public void setCurrent()

Description copied from interface: ChoiceGenerator

to be called before the first advance(). Can be used in implementors to initialize choices from context (similar to what listeners can do from choiceGeneratorSet() notifications)

Specified by:

setCurrent in interface ChoiceGenerator<T>

advance

public void advance(int nChoices)

advance n choices pretty braindead generic solution, but if more speed is needed, we can easily override in the concrete CGs (it's used for path replay)

Specified by:

advance in interface ChoiceGenerator<T>

select

public void select(int choiceIndex)

Specified by:

select in interface ChoiceGenerator<T>

getChoice

public T getChoice(int idx)

explicit choice enumeration. Override if supported

Specified by:

getChoice in interface ChoiceGenerator<T>

Returns:

choice value or null if not supported

getAllChoices

public T[] getAllChoices()

Specified by:

getAllChoices in interface ChoiceGenerator<T>

getProcessedChoices

public T[] getProcessedChoices()

Specified by:

getProcessedChoices in interface ChoiceGenerator<T>

getUnprocessedChoices

public T[] getUnprocessedChoices()

Specified by:

getUnprocessedChoices in interface ChoiceGenerator<T>

isDone

public boolean isDone()

Specified by:

isDone in interface ChoiceGenerator<T>

setDone

public void setDone()

Specified by:

setDone in interface ChoiceGenerator<T>

isProcessed

public boolean isProcessed()

Specified by:

isProcessed in interface ChoiceGenerator<T>

hasAttr

public boolean hasAttr()

Specified by:

hasAttr in interface ChoiceGenerator<T>

hasAttr

public boolean hasAttr(java.lang.Class<?> attrType)

Specified by:

hasAttr in interface ChoiceGenerator<T>

hasAttrValue

public boolean hasAttrValue(java.lang.Object a)

getAttr

public java.lang.Object getAttr()

this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList

Specified by:

getAttr in interface ChoiceGenerator<T>

setAttr

public void setAttr(java.lang.Object a)

this replaces all of them - use only if you know - there will be only one attribute at a time - you obtained the value you set by a previous getXAttr() - you constructed a multi value list with ObjectList.createList()

Specified by:

setAttr in interface ChoiceGenerator<T>

addAttr

public void addAttr(java.lang.Object a)

Specified by:

addAttr in interface ChoiceGenerator<T>

removeAttr

public void removeAttr(java.lang.Object a)

Specified by:

removeAttr in interface ChoiceGenerator<T>

replaceAttr

public void replaceAttr(java.lang.Object oldAttr,
                        java.lang.Object newAttr)

Specified by:

replaceAttr in interface ChoiceGenerator<T>

getAttr

public <T> T getAttr(java.lang.Class<T> attrType)

this only returns the first attr of this type, there can be more if you don't use client private types or the provided type is too general

Specified by:

getAttr in interface ChoiceGenerator<T>

getNextAttr

public <T> T getNextAttr(java.lang.Class<T> attrType,
                         java.lang.Object prev)

Specified by:

getNextAttr in interface ChoiceGenerator<T>

attrIterator

public ObjectList.Iterator attrIterator()

Specified by:

attrIterator in interface ChoiceGenerator<T>

attrIterator

public <T> ObjectList.TypedIterator<T> attrIterator(java.lang.Class<T> attrType)

Specified by:

attrIterator in interface ChoiceGenerator<T>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getPreviousChoiceGenerator

public ChoiceGenerator<?> getPreviousChoiceGenerator()

Specified by:

getPreviousChoiceGenerator in interface ChoiceGenerator<T>

randomize

public ChoiceGenerator<T> randomize()

Description copied from interface: ChoiceGenerator

turn the order of choices random (if it isn't already). Only drawback of this generic method (which might be a decorator factory) is that our type layer (e.g. IntChoiceGenerator) has to guarantee type safety. But hey - this is the first case where we can use covariant return types! NOTES: - this method may alter this ChoiceGenerator and return that or return a new "decorated" version. - random data can be read from the "Random random" field in this class.

Specified by:

randomize in interface ChoiceGenerator<T>