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