cz.muni.stanse.automatonchecker.AutomatonCheckerCreator Class Reference

Inheritance diagram for cz.muni.stanse.automatonchecker.AutomatonCheckerCreator:

Collaboration diagram for cz.muni.stanse.automatonchecker.AutomatonCheckerCreator:

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

Member Function Documentation

boolean cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.checkArgumentList ( final List< File >  args )

inline

Checker cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.createInterprocedural ( final List< File >  args ) throws CheckerException

inline

Checker cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.createIntraprocedural ( final List< File >  args ) throws CheckerException

inline

String cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.getCheckerCreationInfo ( )

inline

String cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.getCheckerName ( )

inline

LinkedList<String> cz.muni.stanse.automatonchecker.AutomatonCheckerCreator.getDataFilesExtensions ( )

inline

---

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

• src/cz/muni/stanse/automatonchecker/AutomatonCheckerCreator.java