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

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

[legend]

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

[legend]

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

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::LockChecker::LockChecker

(

Configuration

conf

)

[inline]

Constructs the Lock Checker using given configuration

Parameters:

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]

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

String cz::muni::stanse::lockchecker::LockChecker::getName

(

)

[inline, virtual]

Forces all the children to define name of the checker.

The name should be unique.

Returns:

Unique name of the checker.

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

---

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

• src/cz/muni/stanse/lockchecker/LockChecker.java