cz::muni::stanse::configuration::Configuration Class Reference

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

Constructor & Destructor Documentation

cz::muni::stanse::configuration::Configuration::Configuration ( ) [inline]

cz::muni::stanse::configuration::Configuration::Configuration ( final SourceConfiguration sourceConfiguration ) [inline]

cz::muni::stanse::configuration::Configuration::Configuration	(	final SourceConfiguration	sourceConfiguration,
		final List< CheckerConfiguration >	checkerConfiguration
	)			`[inline]`

void cz::muni::stanse::configuration::Configuration::evaluate	(	final CheckerErrorReceiver	receiver,
		final CheckerProgressMonitor	monitor,
		final EvaluationStatistic	statistic
	)			`[inline]`

void cz::muni::stanse::configuration::Configuration::evaluateWait	(	final CheckerErrorReceiver	receiver,
		final CheckerProgressMonitor	monitor,
		final EvaluationStatistic	statistic
	)			`[inline]`

void cz::muni::stanse::configuration::Configuration::evaluate_EachUnitSeparately	(	final CheckerErrorReceiver	receiver,
		final CheckerProgressMonitor	monitor
	)			`[inline]`

void cz::muni::stanse::configuration::Configuration::evaluate_EachUnitSeparately	(	final CheckerErrorReceiver	receiver,
		final CheckerProgressMonitor	monitor,
		final EvaluationStatistic	statistic
	)			`[inline]`

void cz::muni::stanse::configuration::Configuration::evaluateWait_EachUnitSeparately	(	final CheckerErrorReceiver	receiver,
		final CheckerProgressMonitor	monitor,
		final EvaluationStatistic	statistic
	)			`[inline]`

SourceConfiguration cz::muni::stanse::configuration::Configuration::getSourceConfiguration ( ) [inline]

List<CheckerConfiguration> cz::muni::stanse::configuration::Configuration::getCheckerConfigurations ( ) [inline]

static SourceConfiguration cz::muni::stanse::configuration::Configuration::createDefaultSourceConfiguration ( ) [inline, static]

static List<CheckerConfiguration> cz::muni::stanse::configuration::Configuration::createDefaultCheckerConfiguration ( ) [inline, static]

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


Public Member Functions
	Configuration ()
	Configuration (final SourceConfiguration sourceConfiguration)
	Configuration (final SourceConfiguration sourceConfiguration, final List< CheckerConfiguration > checkerConfiguration)
void	evaluate (final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)
void	evaluateWait (final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)
void	evaluate_EachUnitSeparately (final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor)
void	evaluate_EachUnitSeparately (final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)
void	evaluateWait_EachUnitSeparately (final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)
SourceConfiguration	getSourceConfiguration ()
List< CheckerConfiguration >	getCheckerConfigurations ()
Static Public Member Functions
static SourceConfiguration	createDefaultSourceConfiguration ()
static List< CheckerConfiguration >	createDefaultCheckerConfiguration ()
Classes
class	MonitoredThread
class	MonitorForThread