cz.muni.stanse.threadchecker.ThreadChecker Class Reference

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

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

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

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

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

CheckerProgressMonitor cz.muni.stanse.threadchecker.ThreadChecker.getMonitor ( )

inlineprotected

String cz.muni.stanse.threadchecker.ThreadChecker.getName ( )

inline

---

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

• src/cz/muni/stanse/threadchecker/ThreadChecker.java