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> bufferAccesses,
java.util.Collection<MmuSegment> segments,
java.util.Collection<IntegerVariable> variables,
java.util.Map<MmuBufferAccess,BufferAccessEvent> events,
java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> regions) |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(IntegerVariable variable) |
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> |
getBufferAccesses() |
java.util.Collection<MmuBuffer> |
getBuffers() |
java.util.Collection<MemoryAccessPath.Entry> |
getEntries() |
BufferAccessEvent |
getEvent(MmuBuffer buffer) |
MemoryAccessPath.Entry |
getFirstEntry() |
MemoryAccessPath.Entry |
getLastEntry() |
java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> |
getRegions() |
java.util.Collection<MmuSegment> |
getSegments() |
MemorySymbolicResult |
getSymbolicResult() |
java.util.Collection<IntegerVariable> |
getVariables() |
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> bufferAccesses, java.util.Collection<MmuSegment> segments, java.util.Collection<IntegerVariable> variables, java.util.Map<MmuBufferAccess,BufferAccessEvent> events, java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> regions)
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> getBufferAccesses()
public java.util.Collection<MmuBuffer> getBuffers()
public java.util.Collection<MmuSegment> getSegments()
public java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> getRegions()
public java.util.Collection<IntegerVariable> getVariables()
public boolean contains(MmuAction action)
public boolean contains(MmuAddressInstance addressInstance)
public boolean contains(MmuBufferAccess bufferAccess)
public boolean contains(MmuBuffer buffer)
public boolean contains(IntegerVariable variable)
public BufferAccessEvent getEvent(MmuBuffer buffer)
public boolean hasSymbolicResult()
public MemorySymbolicResult getSymbolicResult()
public void setSymbolicResult(MemorySymbolicResult symbolicResult)
public java.lang.String toString()
toString
in class java.lang.Object