public final class BranchTraceIterator extends java.lang.Object implements ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>
BranchTraceIterator implements an iterator of execution traces for a given branch
structure.| Constructor and Description |
|---|
BranchTraceIterator(BranchStructure branchStructure) |
BranchTraceIterator(BranchStructure branchStructure,
int maxExecutionTraces) |
BranchTraceIterator(BranchStructure branchStructure,
int maxBranchExecutions,
int maxExecutionTraces) |
| Modifier and Type | Method and Description |
|---|---|
BranchTraceIterator |
clone() |
boolean |
hasValue() |
void |
init() |
void |
next() |
void |
stop() |
BranchStructure |
value() |
public BranchTraceIterator(BranchStructure branchStructure, int maxBranchExecutions, int maxExecutionTraces)
public BranchTraceIterator(BranchStructure branchStructure, int maxExecutionTraces)
public BranchTraceIterator(BranchStructure branchStructure)
public void init()
init in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>public boolean hasValue()
hasValue in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>public BranchStructure value()
value in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>public void next()
next in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>public void stop()
stop in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>public BranchTraceIterator clone()
clone in interface ru.ispras.testbase.knowledge.iterator.Iterator<BranchStructure>clone in class java.lang.Object