public final class MemoryAccess
extends java.lang.Object
MemoryAccess
describes an execution path of a memory access instruction.Constructor and Description |
---|
MemoryAccess(MemoryAccessType type,
MemoryAccessPath path,
MemoryAccessConstraints constraints) |
Modifier and Type | Method and Description |
---|---|
MemoryAccessConstraints |
getConstraints() |
BufferDependency[] |
getDependencies() |
BufferDependency |
getDependency(int i)
Returns the dependency of this memory access from the
i -th memory access. |
MemoryAccessPath |
getPath() |
MemorySymbolicResult |
getSymbolicResult() |
MemoryAccessType |
getType() |
BufferUnitedDependency |
getUnitedDependency()
Returns the united dependency of the
j -th memory access on the previous accesses. |
boolean |
hasSymbolicResult() |
void |
setDependencies(BufferDependency[] dependencies) |
void |
setSymbolicResult(MemorySymbolicResult symbolicResult) |
java.lang.String |
toString() |
public MemoryAccess(MemoryAccessType type, MemoryAccessPath path, MemoryAccessConstraints constraints)
public MemoryAccessType getType()
public MemoryAccessPath getPath()
public MemoryAccessConstraints getConstraints()
public BufferDependency getDependency(int i)
i
-th memory access.i
- the index of the primary memory access.public BufferDependency[] getDependencies()
public void setDependencies(BufferDependency[] dependencies)
public BufferUnitedDependency getUnitedDependency()
j
-th memory access on the previous accesses.public boolean hasSymbolicResult()
public MemorySymbolicResult getSymbolicResult()
public void setSymbolicResult(MemorySymbolicResult symbolicResult)
public java.lang.String toString()
toString
in class java.lang.Object