soot.jimple.toolkits.thread
Class AbstractRuntimeThread
java.lang.Object
soot.jimple.toolkits.thread.AbstractRuntimeThread
public class AbstractRuntimeThread
- extends Object
AbstractRuntimeThread written by Richard L. Halpert 2007-03-04
Acts as a container for the thread information collected by
UnsynchronizedMhpAnalysis. A set of threads started from the same location
will be represented by one AbstractRuntimeThread, with runsMany set to true.
AbstractRuntimeThread
public AbstractRuntimeThread()
setStartStmt
public void setStartStmt(Stmt startStmt)
setJoinStmt
public void setJoinStmt(Stmt joinStmt)
setStartStmtMethod
public void setStartStmtMethod(SootMethod startStmtMethod)
getStartStmtMethod
public SootMethod getStartStmtMethod()
containsMethod
public boolean containsMethod(Object method)
addMethod
public void addMethod(Object method)
addRunMethod
public void addRunMethod(Object method)
getRunMethods
public List<Object> getRunMethods()
methodCount
public int methodCount()
getMethod
public Object getMethod(int methodNum)
setStartStmtHasMultipleReachingObjects
public void setStartStmtHasMultipleReachingObjects()
setStartStmtMayBeRunMultipleTimes
public void setStartStmtMayBeRunMultipleTimes()
setStartMethodIsReentrant
public void setStartMethodIsReentrant()
setStartMethodMayHappenInParallel
public void setStartMethodMayHappenInParallel()
setRunsMany
public void setRunsMany()
setRunsOnce
public void setRunsOnce()
setRunsOneAtATime
public void setRunsOneAtATime()
setIsMainThread
public void setIsMainThread()
toString
public String toString()
- Overrides:
toString
in class Object