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 ()

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

Member Function Documentation

static List<CheckerConfiguration> cz.muni.stanse.configuration.Configuration.createDefaultCheckerConfiguration ( )

inlinestatic

static SourceConfiguration cz.muni.stanse.configuration.Configuration.createDefaultSourceConfiguration ( )

inlinestatic

void cz.muni.stanse.configuration.Configuration.evaluate	(	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	(	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

List<CheckerConfiguration> cz.muni.stanse.configuration.Configuration.getCheckerConfigurations ( )

inline

SourceConfiguration cz.muni.stanse.configuration.Configuration.getSourceConfiguration ( )

inline

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