gov.nasa.jpf.vm.choice

Class ExceptionThreadChoiceFromSet

java.lang.Object

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

gov.nasa.jpf.vm.choice.ThreadChoiceFromSet

gov.nasa.jpf.vm.choice.ExceptionThreadChoiceFromSet

All Implemented Interfaces:

ChoiceGenerator<ThreadInfo>, ThreadChoiceGenerator, java.lang.Cloneable

public class ExceptionThreadChoiceFromSet
extends ThreadChoiceFromSet

a ThreadChoiceFromSet that reschedules the specified thread with exceptions

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String[]	exceptions
protected ThreadInfo	exceptionThread

Fields inherited from class gov.nasa.jpf.vm.choice.ThreadChoiceFromSet

count, isSchedulingPoint, values

Fields inherited from class gov.nasa.jpf.vm.ChoiceGeneratorBase

attr, id, idRef, insn, isCascaded, isDone, MARKER, prev, random, stateId, ti

Constructor Summary

Constructors

Constructor and Description
ExceptionThreadChoiceFromSet(java.lang.String id, ThreadInfo[] runnables, ThreadInfo exceptionThread, java.lang.String[] exceptionClsNames)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getExceptionForCurrentChoice()
ThreadChoiceFromSet	randomize() turn the order of choices random (if it isn't already).
ThreadChoiceGenerator	reorder(java.util.Comparator<ThreadInfo> comparator) reorder according to a user provided comparator

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

advance, contains, getAllThreadChoices, getChoice, getChoices, getChoiceType, getNextChoice, getNextChoiceObject, getProcessedNumberOfChoices, getTotalNumberOfChoices, hasMoreChoices, isSchedulingPoint, printOn, reset, supportsReordering

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, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, toString, 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, 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, isCascaded, isDone, isProcessed, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo

Field Detail

exceptionThread

protected ThreadInfo exceptionThread

exceptions

protected java.lang.String[] exceptions

Constructor Detail

ExceptionThreadChoiceFromSet

public ExceptionThreadChoiceFromSet(java.lang.String id,
                                    ThreadInfo[] runnables,
                                    ThreadInfo exceptionThread,
                                    java.lang.String[] exceptionClsNames)

Method Detail

getExceptionForCurrentChoice

public java.lang.String getExceptionForCurrentChoice()

reorder

public ThreadChoiceGenerator reorder(java.util.Comparator<ThreadInfo> comparator)

Description copied from class: ChoiceGeneratorBase

reorder according to a user provided comparator

Specified by:

reorder in interface ChoiceGenerator<ThreadInfo>

Overrides:

reorder in class ThreadChoiceFromSet

randomize

public ThreadChoiceFromSet 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<ThreadInfo>

Overrides:

randomize in class ThreadChoiceFromSet