public final class BranchExecutionIterator extends java.lang.Object implements ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
BranchExecutionIterator
implements a composite iterator of branch structures and
execution traces.Constructor and Description |
---|
BranchExecutionIterator(ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>> branchStructureIterator,
int maxBranchExecutions,
int maxBlockExecutions,
int maxExecutionTraces) |
Modifier and Type | Method and Description |
---|---|
BranchExecutionIterator |
clone() |
boolean |
hasValue() |
void |
init() |
void |
next() |
void |
stop() |
java.util.List<java.lang.Integer> |
trace() |
java.util.List<BranchEntry> |
value() |
public BranchExecutionIterator(ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>> branchStructureIterator, int maxBranchExecutions, int maxBlockExecutions, int maxExecutionTraces)
public void init()
init
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
public boolean hasValue()
hasValue
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
public java.util.List<BranchEntry> value()
value
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
public java.util.List<java.lang.Integer> trace()
public void next()
next
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
public void stop()
stop
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
public BranchExecutionIterator clone()
clone
in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
clone
in class java.lang.Object