Public Member Functions | |
String | getCheckerName () |
String | getCheckerCreationInfo () |
LinkedList< String > | getDataFilesExtensions () |
boolean | checkArgumentList (final List< File > args) |
Checker | createIntraprocedural (final List< File > args) throws CheckerException |
Checker | createInterprocedural (final List< File > args) throws CheckerException |
String cz::muni::stanse::lockchecker::LockCheckerCreator::getCheckerName | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
String cz::muni::stanse::lockchecker::LockCheckerCreator::getCheckerCreationInfo | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
LinkedList<String> cz::muni::stanse::lockchecker::LockCheckerCreator::getDataFilesExtensions | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
boolean cz::muni::stanse::lockchecker::LockCheckerCreator::checkArgumentList | ( | final List< File > | args | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
Checker cz::muni::stanse::lockchecker::LockCheckerCreator::createIntraprocedural | ( | final List< File > | args | ) | throws CheckerException [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
Checker cz::muni::stanse::lockchecker::LockCheckerCreator::createInterprocedural | ( | final List< File > | args | ) | throws CheckerException [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.