cz.muni.stanse.threadchecker.ThreadInfo Class Reference

Public Member Functions
	ThreadInfo (CFGHandle cfg, final CheckerProgressMonitor mon)
int	getId ()
String	getFunctionName ()
Function	getFunction ()
String	toString ()
Set< DependencyGraph >	getDependencyGraphs ()
boolean	equals (Object obj)
int	hashCode ()

Detailed Description

Class represent thread with specified Function. ThreadInfo holds its Function, id, and its purpose is shell from Function class.

Author

Jan Kučera

Constructor & Destructor Documentation

ThreadInfo()

cz.muni.stanse.threadchecker.ThreadInfo.ThreadInfo ( CFGHandle  cfg, final CheckerProgressMonitor  mon  )

inline

Member Function Documentation

equals()

boolean cz.muni.stanse.threadchecker.ThreadInfo.equals ( Object  obj )

inline

getDependencyGraphs()

Set<DependencyGraph> cz.muni.stanse.threadchecker.ThreadInfo.getDependencyGraphs ( )

inline

getFunction()

Function cz.muni.stanse.threadchecker.ThreadInfo.getFunction ( )

inline

getFunctionName()

String cz.muni.stanse.threadchecker.ThreadInfo.getFunctionName ( )

inline

getId()

int cz.muni.stanse.threadchecker.ThreadInfo.getId ( )

inline

hashCode()

int cz.muni.stanse.threadchecker.ThreadInfo.hashCode ( )

inline

toString()

String cz.muni.stanse.threadchecker.ThreadInfo.toString ( )

inline

Function return string representation of thread showing ID and Datalist.

Returns

String

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/threadchecker/ThreadInfo.java