Package soot.jimple.toolkits.thread

Class 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.

    • 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​(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()