Uses of Interface
soot.jimple.toolkits.thread.mhp.MhpTester

Packages that use MhpTester

Package	Description
soot.jimple.toolkits.thread
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.synchronization

Uses of MhpTester in soot.jimple.toolkits.thread

Constructors in soot.jimple.toolkits.thread with parameters of type MhpTester

Constructor	Description
ThreadLocalObjectsAnalysis(MhpTester mhp)

Uses of MhpTester in soot.jimple.toolkits.thread.mhp

Classes in soot.jimple.toolkits.thread.mhp that implement MhpTester

Modifier and Type	Class	Description
class	SynchObliviousMhpAnalysis	UnsynchronizedMhpAnalysis written by Richard L.
class	UnsynchronizedMhpAnalysis	Deprecated. This class has been added to maintain compatibility while it is being renamed to SynchObliviousMhpAnalysis.

Methods in soot.jimple.toolkits.thread.mhp that return MhpTester

Modifier and Type	Method	Description
MhpTester	MhpTransformer.getMhpTester()

Methods in soot.jimple.toolkits.thread.mhp with parameters of type MhpTester

Modifier and Type	Method	Description
void	MhpTransformer.setMhpTester(MhpTester mhpTester)

Uses of MhpTester in soot.jimple.toolkits.thread.synchronization

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

Modifier and Type	Method	Description
void	LockAllocator.printTable(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, MhpTester mhp)

Constructors in soot.jimple.toolkits.thread.synchronization with parameters of type MhpTester

Constructor	Description
CriticalSectionInterferenceGraph(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections, MhpTester mhp, boolean optionOneGlobalLock, boolean optionLeaveOriginalLocks, boolean optionIncludeEmptyPossibleEdges)