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

Inheritance diagram for cz::muni::stanse::lockchecker::LockCheckerCreator:
[legend]
Collaboration diagram for cz::muni::stanse::lockchecker::LockCheckerCreator:
[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


Detailed Description

Class used to create Lock Checker
Author:
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