soot.jimple.toolkits.thread

Class AbstractRuntimeThread

java.lang.Object

soot.jimple.toolkits.thread.AbstractRuntimeThread

public class AbstractRuntimeThread
extends java.lang.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.

Constructor Summary

Constructors

Constructor and Description
AbstractRuntimeThread()

Method Summary

Modifier and Type	Method and Description
void	addMethod(java.lang.Object method)
void	addRunMethod(java.lang.Object method)
boolean	containsMethod(java.lang.Object method)
java.lang.Object	getMethod(int methodNum)
java.util.List<java.lang.Object>	getRunMethods()
SootMethod	getStartStmtMethod()
int	methodCount()
void	setIsMainThread()
void	setJoinStmt(Stmt joinStmt)
void	setRunsMany()
void	setRunsOnce()
void	setRunsOneAtATime()
void	setStartMethodIsReentrant()
void	setStartMethodMayHappenInParallel()
void	setStartStmt(Stmt startStmt)
void	setStartStmtHasMultipleReachingObjects()
void	setStartStmtMayBeRunMultipleTimes()
void	setStartStmtMethod(SootMethod startStmtMethod)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractRuntimeThread

public AbstractRuntimeThread()

Method Detail

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(java.lang.Object method)

addMethod

public void addMethod(java.lang.Object method)

addRunMethod

public void addRunMethod(java.lang.Object method)

getRunMethods

public java.util.List<java.lang.Object> getRunMethods()

methodCount

public int methodCount()

getMethod

public java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object