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,
java.util.Collection<MmuSegment> segments,
java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> regions) |
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, java.util.Collection<MmuSegment> segments, 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> getBufferChecks()
public java.util.Collection<MmuBufferAccess> getBufferReads()
public java.util.Collection<MmuBufferAccess> getBufferWrites()
public java.util.Collection<MmuBuffer> getBuffers()
public java.util.Collection<MmuSegment> getSegments()
public java.util.Map<RegionSettings,java.util.Collection<MmuSegment>> getRegions()
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