Uses of Interface
soot.toolkits.graph.MutableEdgeLabelledDirectedGraph

Packages that use MutableEdgeLabelledDirectedGraph

soot.jimple.toolkits.thread.synchronization
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.pdg

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

Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg

Subinterfaces of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg

interface

ProgramDependenceGraph This defines the interface to a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.

Classes in soot.toolkits.graph.pdg that implement MutableEdgeLabelledDirectedGraph

class

HashMutablePDG This class implements a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.