Inheritance diagram for cz.muni.stanse.lockchecker.LockChecker:

Collaboration diagram for cz.muni.stanse.lockchecker.LockChecker:

Public Member Functions
CheckingResult	check (final LazyInternalStructures internals, final CheckerErrorReceiver errReceiver, final CheckerProgressMonitor monitor) throws CheckerException

String	getName ()

Public Member Functions inherited from cz.muni.stanse.checker.Checker
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...

Detailed Description

Lock Checker class used to find possible locking errors

Member Function Documentation

CheckingResult cz.muni.stanse.lockchecker.LockChecker.check	(	final LazyInternalStructures	internals,
		final CheckerErrorReceiver	errReceiver,
		final CheckerProgressMonitor	monitor
	)		throws CheckerException

inline

String cz.muni.stanse.lockchecker.LockChecker.getName ( )

inline

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