Class AccessIterator
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.AccessIterator
-
- All Implemented Interfaces:
java.util.Iterator<AccessIterator.Result>
public final class AccessIterator extends java.lang.Object implements java.util.Iterator<AccessIterator.Result>
AccessIterator
implements a DFS-based iterator of memory access paths.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
AccessIterator.Result
AccessIterator.Result
represents an item returned byAccessIterator
.
-
Constructor Summary
Constructors Constructor Description AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasNext()
AccessIterator.Result
next()
void
remove()
-
-
-
Constructor Detail
-
AccessIterator
public AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
-
AccessIterator
public AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
-
AccessIterator
public AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
-
AccessIterator
public AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interfacejava.util.Iterator<AccessIterator.Result>
-
next
public AccessIterator.Result next()
- Specified by:
next
in interfacejava.util.Iterator<AccessIterator.Result>
-
remove
public void remove()
- Specified by:
remove
in interfacejava.util.Iterator<AccessIterator.Result>
-
-