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 and Description
ThreadLocalObjectsAnalysis(MhpTester mhp)
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 and 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. Use that instead!

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

Modifier and Type	Method and Description
MhpTester	MhpTransformer.getMhpTester()
MhpTester	MhpTransformer.getMhpTester()

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

Modifier and Type	Method and Description
void	MhpTransformer.setMhpTester(MhpTester mhpTester)
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 and Description
void	LockAllocator.printTable(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, MhpTester mhp)
void	LockAllocator.printTable(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, MhpTester mhp)

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

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