|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MutableEdgeLabelledDirectedGraph | |
---|---|
soot.jimple.toolkits.thread.synchronization | |
soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
Uses of MutableEdgeLabelledDirectedGraph in soot.jimple.toolkits.thread.synchronization |
---|
Methods in soot.jimple.toolkits.thread.synchronization that return MutableEdgeLabelledDirectedGraph | |
---|---|
MutableEdgeLabelledDirectedGraph |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
|
MutableEdgeLabelledDirectedGraph |
DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets)
|
Methods in soot.jimple.toolkits.thread.synchronization with parameters of type MutableEdgeLabelledDirectedGraph | |
---|---|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder)
|
void |
DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder)
|
Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph |
---|
Classes in soot.toolkits.graph that implement MutableEdgeLabelledDirectedGraph | |
---|---|
class |
HashMutableEdgeLabelledDirectedGraph
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |