Class Graph
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.Graph
-
public final class Graph extends java.lang.Object
Graph
represents a memory subsystem's control flow graph (CFG).Graph is constructed from the memory specification and reduced based on settings.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Graph.Edge
-
Constructor Summary
Constructors Constructor Description Graph()
Graph(MmuSubsystem memory, MemoryAccessType accessType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
java.util.ArrayList<Graph.Edge>
getEdges(MmuAction vertex)
java.util.Set<java.lang.Object>
getNextLabels(MmuAction vertex)
int
hashCode()
java.lang.String
toString()
-
-
-
Constructor Detail
-
Graph
public Graph()
-
Graph
public Graph(MmuSubsystem memory, MemoryAccessType accessType)
-
-
Method Detail
-
getEdges
public java.util.ArrayList<Graph.Edge> getEdges(MmuAction vertex)
-
getNextLabels
public java.util.Set<java.lang.Object> getNextLabels(MmuAction vertex)
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-