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
MemoryAccessPath.Builder implements MemoryAccessPath builder. |
Constructor and Description |
---|
MemoryAccessPath(java.util.Collection<MmuTransition> transitions,
java.util.Collection<MmuAction> actions,
java.util.Collection<MmuAddressInstance> addresses,
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<MmuTransition> transitions, java.util.Collection<MmuAction> actions, java.util.Collection<MmuAddressInstance> addresses, 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 MmuTransition getFirstTransition()
public MmuTransition getLastTransition()
public java.util.Collection<MmuTransition> getTransitions()
public java.util.Collection<MmuAction> getActions()
public java.util.Collection<MmuAddressInstance> getAddresses()
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(MmuTransition transition)
public boolean contains(MmuAction action)
public boolean contains(MmuAddressInstance address)
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