cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator Class Reference

Inheritance diagram for cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator:

Collaboration diagram for cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator:

Public Member Functions
String	getCheckerName ()
String	getCheckerCreationInfo ()
Checker	createIntraprocedural (final List< File > args) throws CheckerException
Checker	createInterprocedural (List< File > args) throws CheckerException
List< String >	getDataFilesExtensions ()
boolean	checkArgumentList (final List< File > args)
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.reachabilitychecker.ReachabilityCheckerCreator.checkArgumentList ( final List< File >  args )

inline

Checker cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator.createInterprocedural ( List< File >  args ) throws CheckerException

inline

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

inline

String cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator.getCheckerCreationInfo ( )

inline

String cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator.getCheckerName ( )

inline

List<String> cz.muni.stanse.reachabilitychecker.ReachabilityCheckerCreator.getDataFilesExtensions ( )

inline

---

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

• src/cz/muni/stanse/reachabilitychecker/ReachabilityCheckerCreator.java