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

◆ checkArgumentList()

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: