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