Uses of Interface
soot.toolkits.graph.MutableEdgeLabelledDirectedGraph

Packages that use MutableEdgeLabelledDirectedGraph

Package	Description
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

Modifier and Type	Method and Description
MutableEdgeLabelledDirectedGraph	DeadlockDetector.detectLocksetDeadlock(java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)
MutableEdgeLabelledDirectedGraph	DeadlockDetector.detectLocksetDeadlock(java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type MutableEdgeLabelledDirectedGraph

Modifier and Type	Method and Description
void	DeadlockDetector.reorderLocksets(java.util.Map<Value,java.lang.Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph lockOrder)
void	DeadlockDetector.reorderLocksets(java.util.Map<Value,java.lang.Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph lockOrder)

Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph

Classes in soot.toolkits.graph that implement MutableEdgeLabelledDirectedGraph

Modifier and Type	Class and Description
class	HashMutableEdgeLabelledDirectedGraph<N,L>

Uses of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg

Subinterfaces of MutableEdgeLabelledDirectedGraph in soot.toolkits.graph.pdg

Modifier and Type	Interface and Description
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

Modifier and Type	Class and Description
class	HashMutablePDG This class implements a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.