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