public final class MemoryAccessPathIterator extends java.lang.Object implements java.util.Iterator<MemoryAccessPathIterator.Result>
MemoryAccessPathIterator
implements a DFS-based iterator of memory access paths.Modifier and Type | Class and Description |
---|---|
static class |
MemoryAccessPathIterator.Result |
Constructor and Description |
---|
MemoryAccessPathIterator(MmuSubsystem memory,
java.util.Collection<java.lang.Object> trajectory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints) |
MemoryAccessPathIterator(MmuSubsystem memory,
java.util.Collection<java.lang.Object> trajectory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack,
MemorySymbolicResult context) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack,
MemorySymbolicResult context) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
MemoryAccessPathIterator.Result |
next() |
void |
remove() |
public MemoryAccessPathIterator(MmuSubsystem memory, MemoryGraph graph, MemoryAccessType type, MemoryAccessConstraints constraints)
public MemoryAccessPathIterator(MmuSubsystem memory, java.util.Collection<java.lang.Object> trajectory, MemoryGraph graph, MemoryAccessType type, MemoryAccessConstraints constraints)
public MemoryAccessPathIterator(MmuSubsystem memory, MemoryGraph graph, MemoryAccessType type, MemoryAccessConstraints constraints, MemoryAccessStack stack, MemorySymbolicResult context)
public MemoryAccessPathIterator(MmuSubsystem memory, java.util.Collection<java.lang.Object> trajectory, MemoryGraph graph, MemoryAccessType type, MemoryAccessConstraints constraints, MemoryAccessStack stack, MemorySymbolicResult context)
public boolean hasNext()
hasNext
in interface java.util.Iterator<MemoryAccessPathIterator.Result>
public MemoryAccessPathIterator.Result next()
next
in interface java.util.Iterator<MemoryAccessPathIterator.Result>
public void remove()
remove
in interface java.util.Iterator<MemoryAccessPathIterator.Result>