Public Member Functions | |
String | getCheckerName () |
String | getCheckerCreationInfo () |
Checker | createIntraprocedural (final List< File > args) throws CheckerException |
Checker | createInterprocedural (List< File > args) throws CheckerException |
List< String > | getDataFilesExtensions () |
boolean | checkArgumentList (final List< File > args) |
Static Package Functions | |
static String | getNameForCheckerFactory () |
String cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::getCheckerName | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
String cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::getCheckerCreationInfo | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
Checker cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::createIntraprocedural | ( | final List< File > | args | ) | throws CheckerException [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
Checker cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::createInterprocedural | ( | List< File > | args | ) | throws CheckerException [inline] |
List<String> cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::getDataFilesExtensions | ( | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
boolean cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::checkArgumentList | ( | final List< File > | args | ) | [inline, virtual] |
Implements cz::muni::stanse::checker::CheckerCreator.
static String cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator::getNameForCheckerFactory | ( | ) | [inline, static, package] |