cz.muni.stanse.checker.CheckerCreator Class Reference

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

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 boolean cz.muni.stanse.checker.CheckerCreator.checkArgumentList ( final List< File >  args )

abstract

abstract Checker cz.muni.stanse.checker.CheckerCreator.createInterprocedural ( final List< File >  args ) throws CheckerException

abstract

abstract Checker cz.muni.stanse.checker.CheckerCreator.createIntraprocedural ( final List< File >  args ) throws CheckerException

abstract

abstract String cz.muni.stanse.checker.CheckerCreator.getCheckerCreationInfo ( )

abstract

abstract String cz.muni.stanse.checker.CheckerCreator.getCheckerName ( )

abstract

abstract List<String> cz.muni.stanse.checker.CheckerCreator.getDataFilesExtensions ( )

abstract

---

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

• src/cz/muni/stanse/checker/CheckerCreator.java