Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.checker.Checker Class Referenceabstract
Inheritance diagram for cz.muni.stanse.checker.Checker:
Inheritance graph
[legend]

Public Member Functions

abstract String getName ()
 Forces all the children to define name of the checker. More...
 
abstract CheckingResult check (final LazyInternalStructures internals, final CheckerErrorReceiver errReciver, final CheckerProgressMonitor monitor) throws CheckerException
 
String toString ()
 Implements standard string conversion method. More...
 

Member Function Documentation

abstract CheckingResult cz.muni.stanse.checker.Checker.check ( final LazyInternalStructures  internals,
final CheckerErrorReceiver  errReciver,
final CheckerProgressMonitor  monitor 
) throws CheckerException
abstract
abstract String cz.muni.stanse.checker.Checker.getName ( )
abstract

Forces all the children to define name of the checker.

The name should be unique.

Returns
Unique name of the checker.
String cz.muni.stanse.checker.Checker.toString ( )
inline

Implements standard string conversion method.

Returns
String description of the checker.
See Also
java.lang.Object::toString()

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