public class BreakGenerator extends ChoiceGeneratorBase<ThreadInfo> implements ThreadChoiceGenerator
attr, id, idRef, insn, isCascaded, isDone, MARKER, prev, random
Constructor and Description |
---|
BreakGenerator(String id,
ThreadInfo ti,
boolean isTerminator) |
Modifier and Type | Method and Description |
---|---|
void |
advance()
advance to the next choice.
|
boolean |
contains(ThreadInfo ti) |
Class<ThreadInfo> |
getChoiceType() |
ThreadInfo |
getNextChoice() |
int |
getProcessedNumberOfChoices() |
int |
getTotalNumberOfChoices() |
boolean |
hasMoreChoices() |
boolean |
isSchedulingPoint() |
void |
printOn(PrintWriter pw) |
ChoiceGenerator<ThreadInfo> |
randomize()
turn the order of choices random (if it isn't already).
|
void |
reset()
this has to reset the CG to its initial state, which includes resetting
'isDone'
|
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, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, supportsReordering, toString, useRandomization
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAttr, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getId, getIdRef, getInsn, getNextAttr, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getSourceLocation, getThreadInfo, hasAttr, hasAttr, isCascaded, isDone, isProcessed, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setThreadInfo, supportsReordering
public BreakGenerator(String id, ThreadInfo ti, boolean isTerminator)
public ThreadInfo getNextChoice()
getNextChoice
in interface ChoiceGenerator<ThreadInfo>
public void printOn(PrintWriter pw)
printOn
in interface ThreadChoiceGenerator
public void advance()
ChoiceGenerator
advance
in interface ChoiceGenerator<ThreadInfo>
public int getProcessedNumberOfChoices()
getProcessedNumberOfChoices
in interface ChoiceGenerator<ThreadInfo>
public int getTotalNumberOfChoices()
getTotalNumberOfChoices
in interface ChoiceGenerator<ThreadInfo>
public boolean hasMoreChoices()
hasMoreChoices
in interface ChoiceGenerator<ThreadInfo>
public void reset()
ChoiceGenerator
reset
in interface ChoiceGenerator<ThreadInfo>
public boolean contains(ThreadInfo ti)
contains
in interface ThreadChoiceGenerator
public Class<ThreadInfo> getChoiceType()
getChoiceType
in interface ChoiceGenerator<ThreadInfo>
public ChoiceGenerator<ThreadInfo> randomize()
ChoiceGenerator
randomize
in interface ChoiceGenerator<ThreadInfo>
randomize
in class ChoiceGeneratorBase<ThreadInfo>
public boolean isSchedulingPoint()
isSchedulingPoint
in interface ChoiceGenerator<ThreadInfo>
isSchedulingPoint
in class ChoiceGeneratorBase<ThreadInfo>