public final class AccessIterator extends java.lang.Object implements java.util.Iterator<AccessIterator.Result>
AccessIterator
implements a DFS-based iterator of memory access paths.Modifier and Type | Class and Description |
---|---|
static class |
AccessIterator.Result
AccessIterator.Result represents an item returned by AccessIterator . |
Constructor and Description |
---|
AccessIterator(MmuSubsystem memory,
Graph graph,
MemoryAccessType type,
AccessConstraints constraints,
int recursionLimit) |
AccessIterator(MmuSubsystem memory,
Graph graph,
MemoryAccessType type,
AccessConstraints constraints,
SymbolicResult result,
int recursionLimit) |
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) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
AccessIterator.Result |
next() |
void |
remove() |
public AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
public AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, int recursionLimit)
public AccessIterator(MmuSubsystem memory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
public AccessIterator(MmuSubsystem memory, java.util.List<java.lang.Object> trajectory, Graph graph, MemoryAccessType type, AccessConstraints constraints, SymbolicResult result, int recursionLimit)
public boolean hasNext()
hasNext
in interface java.util.Iterator<AccessIterator.Result>
public AccessIterator.Result next()
next
in interface java.util.Iterator<AccessIterator.Result>
public void remove()
remove
in interface java.util.Iterator<AccessIterator.Result>