public final class MemoryGraph
extends java.lang.Object
MemoryGraph
represents a memory subsystem's control flow graph (CFG).
Graph is constructed from the memory specification and reduced based on settings.
Modifier and Type | Class and Description |
---|---|
static class |
MemoryGraph.Edge |
Constructor and Description |
---|
MemoryGraph(MmuSubsystem memory,
MemoryAccessType accessType) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.util.ArrayList<MemoryGraph.Edge> |
getEdges(MmuAction vertex) |
java.util.Set<java.lang.Object> |
getNextLabels(MmuAction vertex) |
int |
hashCode() |
java.lang.String |
toString() |
public MemoryGraph(MmuSubsystem memory, MemoryAccessType accessType)
public java.util.ArrayList<MemoryGraph.Edge> getEdges(MmuAction vertex)
public java.util.Set<java.lang.Object> getNextLabels(MmuAction vertex)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object