cz::muni::stanse::checker::CheckerFactory Class Reference

List of all members.

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 ()
Static Package Functions
	[static initializer]

---

Member Function Documentation

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

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

static String cz::muni::stanse::checker::CheckerFactory::getCheckerCreationInfo

(

final String

checkerName

)

throws UnsupportedOperationException [inline, static]

static List<String> cz::muni::stanse::checker::CheckerFactory::getDataFilesExtensions

(

final String

checkerName

)

throws UnsupportedOperationException [inline, static]

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

static Set<String> cz::muni::stanse::checker::CheckerFactory::getRegisteredCheckers

(

)

[inline, static]

cz::muni::stanse::checker::CheckerFactory::[static initializer]

(

)

[inline, static, package]

---

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

• src/cz/muni/stanse/checker/CheckerFactory.java