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

Packages that use MhpTester

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

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

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

MhpTester	MhpTransformer.getMhpTester()
MhpTester	MhpTransformer.getMhpTester()

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

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

void	LockAllocator.printTable(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, MhpTester mhp)
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

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

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