cz::muni::stanse::lockchecker::LockCheckerCreator Class Reference

Inheritance diagram for cz::muni::stanse::lockchecker::LockCheckerCreator:
Collaboration diagram for cz::muni::stanse::lockchecker::LockCheckerCreator:

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

Detailed Description

Class used to create Lock Checker
Radim Cebis

Member Function Documentation

String cz::muni::stanse::lockchecker::LockCheckerCreator::getCheckerName (  )  [inline, virtual]

String cz::muni::stanse::lockchecker::LockCheckerCreator::getCheckerCreationInfo (  )  [inline, virtual]

LinkedList<String> cz::muni::stanse::lockchecker::LockCheckerCreator::getDataFilesExtensions (  )  [inline, virtual]

boolean cz::muni::stanse::lockchecker::LockCheckerCreator::checkArgumentList ( final List< File >  args  )  [inline, virtual]

Checker cz::muni::stanse::lockchecker::LockCheckerCreator::createIntraprocedural ( final List< File >  args  )  throws CheckerException [inline, virtual]

Checker cz::muni::stanse::lockchecker::LockCheckerCreator::createInterprocedural ( final List< File >  args  )  throws CheckerException [inline, virtual]

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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6