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 () |
cz::muni::stanse::threadchecker::ThreadInfo::ThreadInfo | ( | CFGHandle | cfg, | |
final CheckerProgressMonitor | mon | |||
) | [inline] |
int cz::muni::stanse::threadchecker::ThreadInfo::getId | ( | ) | [inline] |
String cz::muni::stanse::threadchecker::ThreadInfo::getFunctionName | ( | ) | [inline] |
Function cz::muni::stanse::threadchecker::ThreadInfo::getFunction | ( | ) | [inline] |
String cz::muni::stanse::threadchecker::ThreadInfo::toString | ( | ) | [inline] |
Function return string representation of thread showing ID and Datalist.
Set<DependencyGraph> cz::muni::stanse::threadchecker::ThreadInfo::getDependencyGraphs | ( | ) | [inline] |
boolean cz::muni::stanse::threadchecker::ThreadInfo::equals | ( | Object | obj | ) | [inline] |
int cz::muni::stanse::threadchecker::ThreadInfo::hashCode | ( | ) | [inline] |