gov.nasa.jpf.vm

Interface ThreadChoiceGenerator

All Superinterfaces:

ChoiceGenerator<ThreadInfo>, java.lang.Cloneable

All Known Implementing Classes:

BreakGenerator, ExceptionThreadChoiceFromSet, ExposureCG, ThreadChoiceFromSet

public interface ThreadChoiceGenerator
extends ChoiceGenerator<ThreadInfo>

Method Summary

Modifier and Type	Method and Description
boolean	contains(ThreadInfo ti)
void	printOn(java.io.PrintWriter pw)

Methods inherited from interface gov.nasa.jpf.vm.ChoiceGenerator

addAttr, advance, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getChoice, getChoiceType, 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

Method Detail

printOn

void printOn(java.io.PrintWriter pw)

contains

boolean contains(ThreadInfo ti)