cz.muni.stanse.configuration.CheckerConfiguration Class Reference

Public Member Functions
	CheckerConfiguration (final String checkerClassName, final File checkerArgument, final boolean interprocedural)
	CheckerConfiguration (final String checkerClassName, final List< File > checkerArgumentsList, final boolean interprocedural)
Checker	getChecker () throws CheckerException
String	getCheckerClassName ()
List< File >	getCheckerArgumentsList ()
boolean	isInterprocedural ()

Constructor & Destructor Documentation

CheckerConfiguration() [1/2]

cz.muni.stanse.configuration.CheckerConfiguration.CheckerConfiguration ( final String  checkerClassName, final File  checkerArgument, final boolean  interprocedural  )

inline

CheckerConfiguration() [2/2]

cz.muni.stanse.configuration.CheckerConfiguration.CheckerConfiguration ( final String  checkerClassName, final List< File >  checkerArgumentsList, final boolean  interprocedural  )

inline

Member Function Documentation

getChecker()

Checker cz.muni.stanse.configuration.CheckerConfiguration.getChecker ( ) throws CheckerException

inline

getCheckerArgumentsList()

List<File> cz.muni.stanse.configuration.CheckerConfiguration.getCheckerArgumentsList ( )

inline

getCheckerClassName()

String cz.muni.stanse.configuration.CheckerConfiguration.getCheckerClassName ( )

inline

isInterprocedural()

boolean cz.muni.stanse.configuration.CheckerConfiguration.isInterprocedural ( )

inline

---

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

• src/cz/muni/stanse/configuration/CheckerConfiguration.java