public static final class MemoryAccessPathIterator.Result
extends java.lang.Object
MemoryAccessPathIterator.Result
represents an item returned by MemoryAccessPathIterator
.Constructor and Description |
---|
MemoryAccessPathIterator.Result(MemoryAccessPath path,
MemorySymbolicResult result) |
Modifier and Type | Method and Description |
---|---|
MemoryAccessPath |
getPath() |
MemorySymbolicResult |
getResult() |
public MemoryAccessPathIterator.Result(MemoryAccessPath path, MemorySymbolicResult result)
public MemoryAccessPath getPath()
public MemorySymbolicResult getResult()