cz::muni::stanse::checker::CheckerCreator Class Reference

Inheritance diagram for cz::muni::stanse::checker::CheckerCreator:

List of all members.

Public Member Functions

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

Member Function Documentation

abstract String cz::muni::stanse::checker::CheckerCreator::getCheckerName (  )  [pure virtual]

abstract String cz::muni::stanse::checker::CheckerCreator::getCheckerCreationInfo (  )  [pure virtual]

abstract List<String> cz::muni::stanse::checker::CheckerCreator::getDataFilesExtensions (  )  [pure virtual]

abstract boolean cz::muni::stanse::checker::CheckerCreator::checkArgumentList ( final List< File >  args  )  [pure virtual]

abstract Checker cz::muni::stanse::checker::CheckerCreator::createInterprocedural ( final List< File >  args  )  throws CheckerException [pure virtual]

abstract Checker cz::muni::stanse::checker::CheckerCreator::createIntraprocedural ( final List< File >  args  )  throws CheckerException [pure virtual]

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

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