cz::muni::stanse::threadchecker::ThreadCheckerCreator Class Reference

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

[legend]

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

[legend]

List of all members.

Public Member Functions
String	getCheckerName ()
String	getCheckerCreationInfo ()
LinkedList< String >	getDataFilesExtensions ()
boolean	checkArgumentList (final List< File > args)
Checker	createIntraprocedural (final List< File > args) throws CheckerException
Checker	createInterprocedural (final List< File > args) throws CheckerException

---

Member Function Documentation

String cz::muni::stanse::threadchecker::ThreadCheckerCreator::getCheckerName

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

String cz::muni::stanse::threadchecker::ThreadCheckerCreator::getCheckerCreationInfo

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

LinkedList<String> cz::muni::stanse::threadchecker::ThreadCheckerCreator::getDataFilesExtensions

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

boolean cz::muni::stanse::threadchecker::ThreadCheckerCreator::checkArgumentList

(

final List< File >

args

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

Checker cz::muni::stanse::threadchecker::ThreadCheckerCreator::createIntraprocedural

(

final List< File >

args

)

throws CheckerException [inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

Checker cz::muni::stanse::threadchecker::ThreadCheckerCreator::createInterprocedural

(

final List< File >

args

)

throws CheckerException [inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

---

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

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