cz.muni.stanse.checker.Checker Class Reference

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

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:

• src/cz/muni/stanse/checker/Checker.java