soot.jimple.toolkits.thread.mhp
Interface MhpTester
- All Known Implementing Classes:
- SynchObliviousMhpAnalysis, 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
boolean mayHappenInParallel(SootMethod m1,
SootMethod m2)
mayHappenInParallel
boolean mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
printMhpSummary
void printMhpSummary()
getThreads
List<AbstractRuntimeThread> getThreads()