Public Member Functions | |
abstract String | getCheckerName () |
abstract String | getCheckerCreationInfo () |
abstract List< String > | getDataFilesExtensions () |
abstract boolean | checkArgumentList (final List< File > args) |
abstract Checker | createInterprocedural (final List< File > args) throws CheckerException |
abstract Checker | createIntraprocedural (final List< File > args) throws CheckerException |
abstract String cz::muni::stanse::checker::CheckerCreator::getCheckerName | ( | ) | [pure virtual] |
Implemented in cz::muni::stanse::automatonchecker::AutomatonCheckerCreator, cz::muni::stanse::lockchecker::LockCheckerCreator, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator, and cz::muni::stanse::threadchecker::ThreadCheckerCreator.
abstract String cz::muni::stanse::checker::CheckerCreator::getCheckerCreationInfo | ( | ) | [pure virtual] |
Implemented in cz::muni::stanse::automatonchecker::AutomatonCheckerCreator, cz::muni::stanse::lockchecker::LockCheckerCreator, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator, and cz::muni::stanse::threadchecker::ThreadCheckerCreator.
abstract List<String> cz::muni::stanse::checker::CheckerCreator::getDataFilesExtensions | ( | ) | [pure virtual] |
Implemented in cz::muni::stanse::automatonchecker::AutomatonCheckerCreator, cz::muni::stanse::lockchecker::LockCheckerCreator, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator, and cz::muni::stanse::threadchecker::ThreadCheckerCreator.
abstract boolean cz::muni::stanse::checker::CheckerCreator::checkArgumentList | ( | final List< File > | args | ) | [pure virtual] |
Implemented in cz::muni::stanse::automatonchecker::AutomatonCheckerCreator, cz::muni::stanse::lockchecker::LockCheckerCreator, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator, and cz::muni::stanse::threadchecker::ThreadCheckerCreator.
abstract Checker cz::muni::stanse::checker::CheckerCreator::createInterprocedural | ( | final List< File > | args | ) | throws CheckerException [pure virtual] |
abstract Checker cz::muni::stanse::checker::CheckerCreator::createIntraprocedural | ( | final List< File > | args | ) | throws CheckerException [pure virtual] |
Implemented in cz::muni::stanse::automatonchecker::AutomatonCheckerCreator, cz::muni::stanse::lockchecker::LockCheckerCreator, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator, and cz::muni::stanse::threadchecker::ThreadCheckerCreator.