Uses of Interface
de.gebit.integrity.runner.modelcheck.ModelChecker

Packages that use ModelChecker

Package	Description
de.gebit.integrity.runner
de.gebit.integrity.runner.modelcheck
de.gebit.integrity.runner.wrapper

Uses of ModelChecker in de.gebit.integrity.runner

Fields in de.gebit.integrity.runner declared as ModelChecker

Modifier and Type	Field	Description
protected ModelChecker	DefaultTestRunner.modelChecker	The model checker is used to validate the test model prior to execution.

Methods in de.gebit.integrity.runner that return types with arguments of type ModelChecker

Modifier and Type	Method	Description
java.lang.Class<? extends ModelChecker>	IntegrityRunnerModule.bindModelChecker()	Binding of the ModelChecker.

Uses of ModelChecker in de.gebit.integrity.runner.modelcheck

Classes in de.gebit.integrity.runner.modelcheck that implement ModelChecker

Modifier and Type	Class	Description
class	DefaultModelChecker	Default implementation of a ModelChecker.
class	NullModelChecker	This ModelChecker implementation does not perform any checks.

Uses of ModelChecker in de.gebit.integrity.runner.wrapper

Fields in de.gebit.integrity.runner.wrapper declared as ModelChecker

Modifier and Type	Field	Description
protected ModelChecker	DefaultWrapperFactory.modelChecker	The model checker.