Static Public Member Functions
static Checker	createInterprocedural (final String checkerName, final List< File > args) throws UnsupportedOperationException, CheckerException

static Checker	createIntraprocedural (final String checkerName, final List< File > args) throws UnsupportedOperationException, CheckerException

static String	getCheckerCreationInfo (final String checkerName) throws UnsupportedOperationException

static List< String >	getDataFilesExtensions (final String checkerName) throws UnsupportedOperationException

static boolean	checkArgumentList (final String checkerName, final List< File > args) throws UnsupportedOperationException

static Set< String >	getRegisteredCheckers ()

Member Function Documentation

static boolean cz.muni.stanse.checker.CheckerFactory.checkArgumentList	(	final String	checkerName,
		final List< File >	args
	)		throws UnsupportedOperationException

inlinestatic

static Checker cz.muni.stanse.checker.CheckerFactory.createInterprocedural	(	final String	checkerName,
		final List< File >	args
	)		throws UnsupportedOperationException, CheckerException

inlinestatic

static Checker cz.muni.stanse.checker.CheckerFactory.createIntraprocedural	(	final String	checkerName,
		final List< File >	args
	)		throws UnsupportedOperationException, CheckerException

inlinestatic

static String cz.muni.stanse.checker.CheckerFactory.getCheckerCreationInfo ( final String checkerName ) throws UnsupportedOperationException

inlinestatic

static List<String> cz.muni.stanse.checker.CheckerFactory.getDataFilesExtensions ( final String checkerName ) throws UnsupportedOperationException

inlinestatic

static Set<String> cz.muni.stanse.checker.CheckerFactory.getRegisteredCheckers ( )

inlinestatic

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

Static Public Member Functions