cz::muni::stanse::lockchecker::LockChecker Class Reference

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

List of all members.

Public Member Functions

 LockChecker (Configuration conf)
CheckingResult check (final LazyInternalStructures internals, final CheckerErrorReceiver errReciver, final CheckerProgressMonitor monitor) throws CheckerException
String getName ()
 Forces all the children to define name of the checker.

Detailed Description

Lock Checker class used to find possible locking errors

Radim Cebis

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::LockChecker::LockChecker ( Configuration  conf  )  [inline]

Constructs the Lock Checker using given configuration

conf Configuration

Member Function Documentation

CheckingResult cz::muni::stanse::lockchecker::LockChecker::check ( final LazyInternalStructures  internals,
final CheckerErrorReceiver  errReciver,
final CheckerProgressMonitor  monitor 
) throws CheckerException [inline, virtual]

String cz::muni::stanse::lockchecker::LockChecker::getName (  )  [inline, virtual]

Forces all the children to define name of the checker.

The name should be unique.

Unique name of the checker.

Implements cz::muni::stanse::checker::Checker.

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

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