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