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

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

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.
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.

units List<Unit> representing all files intended to check
List<PresentableError> representing all errors that checker found

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.

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:10 2011 for Stanse by  doxygen 1.5.6