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) |
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 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 MemorySymbolicExecutor.Result getSymbolicResult()
public void setSymbolicResult(MemorySymbolicExecutor.Result symbolicResult)
public java.lang.String toString()
toString
in class java.lang.Object