Public Member Functions | |
abstract String | getName () |
Forces all the children to define name of the checker. | |
abstract CheckingResult | check (final LazyInternalStructures internals, final CheckerErrorReceiver errReciver, final CheckerProgressMonitor monitor) throws CheckerException |
String | toString () |
Implements standard string conversion method. |
abstract String cz::muni::stanse::checker::Checker::getName | ( | ) | [pure virtual] |
Forces all the children to define name of the checker.
The name should be unique.
Implemented in cz::muni::stanse::automatonchecker::AutomatonChecker, cz::muni::stanse::lockchecker::LockChecker, cz::muni::stanse::pointeranalyzer::PointerAnalyzer, cz::muni::stanse::reachabilitychecker::ReachabilityChecker, and cz::muni::stanse::threadchecker::ThreadChecker.
abstract CheckingResult cz::muni::stanse::checker::Checker::check | ( | final LazyInternalStructures | internals, | |
final CheckerErrorReceiver | errReciver, | |||
final CheckerProgressMonitor | monitor | |||
) | throws CheckerException [pure virtual] |
String cz::muni::stanse::checker::Checker::toString | ( | ) | [inline] |
Implements standard string conversion method.