Class BranchExecutionIterator
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.branch.BranchExecutionIterator
-
- All Implemented Interfaces:
ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
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 Summary
Constructors Constructor Description BranchExecutionIterator(ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>> branchStructureIterator, int maxBranchExecutions, int maxBlockExecutions, int maxExecutionTraces)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BranchExecutionIterator
clone()
boolean
hasValue()
void
init()
void
next()
void
stop()
java.util.List<java.lang.Integer>
trace()
java.util.List<BranchEntry>
value()
-
-
-
Constructor Detail
-
BranchExecutionIterator
public BranchExecutionIterator(ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>> branchStructureIterator, int maxBranchExecutions, int maxBlockExecutions, int maxExecutionTraces)
-
-
Method Detail
-
init
public void init()
- Specified by:
init
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
-
hasValue
public boolean hasValue()
- Specified by:
hasValue
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
-
value
public java.util.List<BranchEntry> value()
- Specified by:
value
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
-
trace
public java.util.List<java.lang.Integer> trace()
-
next
public void next()
- Specified by:
next
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
-
stop
public void stop()
- Specified by:
stop
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
-
clone
public BranchExecutionIterator clone()
- Specified by:
clone
in interfaceru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
- Overrides:
clone
in classjava.lang.Object
-
-