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

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

inline

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

inline

Member Function Documentation

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

inline

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

inline

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

inline

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

inline

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