Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.lockchecker.LockCheckerCreator Class Reference
Inheritance diagram for cz.muni.stanse.lockchecker.LockCheckerCreator:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.lockchecker.LockCheckerCreator:
Collaboration graph
[legend]

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
 
- Public Member Functions inherited from cz.muni.stanse.checker.CheckerCreator
abstract String getCheckerName ()
 
abstract String getCheckerCreationInfo ()
 
abstract List< String > getDataFilesExtensions ()
 
abstract boolean checkArgumentList (final List< File > args)
 
abstract Checker createInterprocedural (final List< File > args) throws CheckerException
 
abstract Checker createIntraprocedural (final List< File > args) throws CheckerException
 

Detailed Description

Class used to create Lock Checker

Author
Radim Cebis

Member Function Documentation

boolean cz.muni.stanse.lockchecker.LockCheckerCreator.checkArgumentList ( final List< File >  args)
inline
Checker cz.muni.stanse.lockchecker.LockCheckerCreator.createInterprocedural ( final List< File >  args) throws CheckerException
inline
Checker cz.muni.stanse.lockchecker.LockCheckerCreator.createIntraprocedural ( final List< File >  args) throws CheckerException
inline
String cz.muni.stanse.lockchecker.LockCheckerCreator.getCheckerCreationInfo ( )
inline
String cz.muni.stanse.lockchecker.LockCheckerCreator.getCheckerName ( )
inline
LinkedList<String> cz.muni.stanse.lockchecker.LockCheckerCreator.getDataFilesExtensions ( )
inline

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