soot.jimple.toolkits.thread.mhp
Interface MhpTester
- All Known Implementing Classes:
- UnsynchronizedMhpAnalysis
- public interface MhpTester
MhpTester written by Richard L. Halpert 2007-03-15
An interface for any object that can provide May-Happen-in-Parallel info and
a list of the program's threads (List of AbstractRuntimeThreads)
mayHappenInParallel
public boolean mayHappenInParallel(SootMethod m1,
SootMethod m2)
mayHappenInParallel
public boolean mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
printMhpSummary
public void printMhpSummary()
getThreads
public List getThreads()