cz::muni::stanse::checker::Checker Class Reference

Inheritance diagram for cz::muni::stanse::checker::Checker:

List of all members.

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.

Member Function Documentation

abstract String cz::muni::stanse::checker::Checker::getName (  )  [pure virtual]

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.

String description of the checker.
See also:

The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6