cz::muni::stanse::configuration::CheckerConfiguration Class Reference

Collaboration diagram for cz::muni::stanse::configuration::CheckerConfiguration:

[legend]

List of all members.

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]

String cz::muni::stanse::configuration::CheckerConfiguration::getCheckerClassName

(

)

[inline]

List<File> cz::muni::stanse::configuration::CheckerConfiguration::getCheckerArgumentsList

(

)

[inline]

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