cz::muni::stanse::threadchecker::ThreadChecker Class Reference

Inheritance diagram for cz::muni::stanse::threadchecker::ThreadChecker:

[legend]

Collaboration diagram for cz::muni::stanse::threadchecker::ThreadChecker:

[legend]

List of all members.

Public Member Functions
CheckingResult	check (final LazyInternalStructures internals, final CheckerErrorReceiver errReceiver, final CheckerProgressMonitor monitor) throws CheckerException
String	getName ()
	Forces all the children to define name of the checker.
Protected Member Functions
CheckerProgressMonitor	getMonitor ()

---

Detailed Description

Class provides static analysis specialized to finding deadlocks in multiple threads.

Author:

Jan Kučera

---

Member Function Documentation

CheckingResult cz::muni::stanse::threadchecker::ThreadChecker::check	(	final LazyInternalStructures	internals,
		final CheckerErrorReceiver	errReceiver,
		final CheckerProgressMonitor	monitor
	)			throws CheckerException [inline, virtual]

Function pick choose starting CFG and build their dependency graphs, then find possible cycles and generate RAG and create appropriate errors or warnings.

Parameters:

units

List<Unit> representing all files intended to check

Returns:

List<PresentableError> representing all errors that checker found

Exceptions:

cz.muni.stanse.checker.CheckerException

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

CheckerProgressMonitor cz::muni::stanse::threadchecker::ThreadChecker::getMonitor

(

)

[inline, protected]

String cz::muni::stanse::threadchecker::ThreadChecker::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/threadchecker/ThreadChecker.java