public final class MemoryAccessPath
extends java.lang.Object
MemoryAccessPath
represents the execution path of a memory access instruction.Modifier and Type | Class and Description |
---|---|
static class |
MemoryAccessPath.Builder |
static class |
MemoryAccessPath.Entry |
Constructor and Description |
---|
MemoryAccessPath(java.util.Collection<MemoryAccessPath.Entry> entries,
java.util.Collection<MmuAction> actions,
java.util.Collection<MmuAddressInstance> addressInstances,
java.util.Collection<MmuBufferAccess> bufferChecks,
java.util.Collection<MmuBufferAccess> bufferReads,
java.util.Collection<MmuBufferAccess> bufferWrites) |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(MmuAction action) |
boolean |
contains(MmuAddressInstance addressInstance) |
boolean |
contains(MmuBuffer buffer) |
boolean |
contains(MmuBufferAccess bufferAccess) |
java.util.Collection<MmuAction> |
getActions() |
java.util.Collection<MmuAddressInstance> |
getAddressInstances() |
java.util.Collection<MmuBufferAccess> |
getBufferChecks() |
java.util.Collection<MmuBufferAccess> |
getBufferReads() |
java.util.Collection<MmuBuffer> |
getBuffers() |
java.util.Collection<MmuBufferAccess> |
getBufferWrites() |
java.util.Collection<MemoryAccessPath.Entry> |
getEntries() |
java.util.Collection<BufferAccessEvent> |
getEvents(MmuBuffer buffer) |
MemoryAccessPath.Entry |
getFirstEntry() |
MemoryAccessPath.Entry |
getLastEntry() |
MemorySymbolicResult |
getSymbolicResult() |
boolean |
hasSymbolicResult() |
void |
setSymbolicResult(MemorySymbolicResult symbolicResult) |
int |
size() |
java.lang.String |
toString() |
public MemoryAccessPath(java.util.Collection<MemoryAccessPath.Entry> entries, java.util.Collection<MmuAction> actions, java.util.Collection<MmuAddressInstance> addressInstances, java.util.Collection<MmuBufferAccess> bufferChecks, java.util.Collection<MmuBufferAccess> bufferReads, java.util.Collection<MmuBufferAccess> bufferWrites)
public int size()
public MemoryAccessPath.Entry getFirstEntry()
public MemoryAccessPath.Entry getLastEntry()
public java.util.Collection<MemoryAccessPath.Entry> getEntries()
public java.util.Collection<MmuAction> getActions()
public java.util.Collection<MmuAddressInstance> getAddressInstances()
public java.util.Collection<MmuBufferAccess> getBufferChecks()
public java.util.Collection<MmuBufferAccess> getBufferReads()
public java.util.Collection<MmuBufferAccess> getBufferWrites()
public java.util.Collection<MmuBuffer> getBuffers()
public boolean contains(MmuAction action)
public boolean contains(MmuAddressInstance addressInstance)
public boolean contains(MmuBufferAccess bufferAccess)
public boolean contains(MmuBuffer buffer)
public java.util.Collection<BufferAccessEvent> getEvents(MmuBuffer buffer)
public boolean hasSymbolicResult()
public MemorySymbolicResult getSymbolicResult()
public void setSymbolicResult(MemorySymbolicResult symbolicResult)
public java.lang.String toString()
toString
in class java.lang.Object