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)

Method Summary

Modifier and Type	Method and Description
java.util.List<AbstractRuntimeThread>	getThreads()
boolean	mayHappenInParallel(SootMethod m1, SootMethod m2)
boolean	mayHappenInParallel(SootMethod m1, Unit u1, SootMethod m2, Unit u2)
void	printMhpSummary()

Method Detail

mayHappenInParallel

boolean mayHappenInParallel(SootMethod m1,
                            SootMethod m2)

mayHappenInParallel

boolean mayHappenInParallel(SootMethod m1,
                            Unit u1,
                            SootMethod m2,
                            Unit u2)

printMhpSummary

void printMhpSummary()

getThreads

java.util.List<AbstractRuntimeThread> getThreads()