Static Public Member Functions | |
static Function | analyseCFG (CFGHandle cfg, final CheckerProgressMonitor mon) throws CheckerException |
static void | chooseAction (final CFGNode node, final Function function, final CheckerProgressMonitor mon) throws CheckerException |
Static Package Functions | |
[static initializer] |
Singleton class executes algorithm which traverse CFG the way, where every cycles (while, for etc) are traversed only once.
cz::muni::stanse::threadchecker::CFGTransit::[static initializer] | ( | ) | [inline, static, package] |
static Function cz::muni::stanse::threadchecker::CFGTransit::analyseCFG | ( | CFGHandle | cfg, | |
final CheckerProgressMonitor | mon | |||
) | throws CheckerException [inline, static] |
static void cz::muni::stanse::threadchecker::CFGTransit::chooseAction | ( | final CFGNode | node, | |
final Function | function, | |||
final CheckerProgressMonitor | mon | |||
) | throws CheckerException [inline, static] |
Method choose proper code analysis from user's settings. If no pattern matches, tries to analyse as normal functionCall.
node | CFGNode contains Element describing source code | |
function | Function with actual state of analysis |