01: package soot.jimple.toolkits.thread.mhp;
02:
03: import java.util.*;
04:
05: import soot.*;
06: import soot.jimple.toolkits.thread.AbstractRuntimeThread;
07:
08: /** MhpTester written by Richard L. Halpert 2007-03-15
09: * An interface for any object that can provide May-Happen-in-Parallel info and
10: * a list of the program's threads (List of AbstractRuntimeThreads)
11: */
12:
13: public interface MhpTester {
14: public boolean mayHappenInParallel(SootMethod m1, SootMethod m2); // method level MHP
15:
16: public boolean mayHappenInParallel(SootMethod m1, Unit u1,
17: SootMethod m2, Unit u2); // stmt level MHP
18:
19: public void printMhpSummary();
20:
21: public List<AbstractRuntimeThread> getThreads();
22: }
|