Uses of Interface
de.gebit.integrity.modelsource.ModelSourceExplorer

Packages that use ModelSourceExplorer

Package	Description
de.gebit.integrity
de.gebit.integrity.classloading
de.gebit.integrity.modelsource
de.gebit.integrity.runner
de.gebit.integrity.runner.modelcheck

Uses of ModelSourceExplorer in de.gebit.integrity

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

Modifier and Type	Method	Description
java.lang.Class<? extends ModelSourceExplorer>	DSLRuntimeModule.bindModelSourceExplorer()	Binds the ModelSourceExplorer.

Uses of ModelSourceExplorer in de.gebit.integrity.classloading

Fields in de.gebit.integrity.classloading declared as ModelSourceExplorer

Modifier and Type	Field	Description
protected ModelSourceExplorer	DefaultIntegrityClassLoader.modelSourceExplorer	The model source explorer.

Uses of ModelSourceExplorer in de.gebit.integrity.modelsource

Classes in de.gebit.integrity.modelsource that implement ModelSourceExplorer

Modifier and Type	Class	Description
class	DefaultModelSourceExplorer	Default implementation of a ModelSourceExplorer.

Uses of ModelSourceExplorer in de.gebit.integrity.runner

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

Modifier and Type	Field	Description
protected ModelSourceExplorer	DefaultTestRunner.modelSourceExplorer	The model source explorer.
protected ModelSourceExplorer	TestModel.modelSourceExplorer	The model source explorer.

Constructors in de.gebit.integrity.runner with parameters of type ModelSourceExplorer

Constructor	Description
Diagnostic(org.eclipse.emf.common.util.Diagnostic aDiagnostic, ModelSourceExplorer aSourceExplorer)	Constructs a new instance based on an existing diagnostic object.

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

Fields in de.gebit.integrity.runner.modelcheck declared as ModelSourceExplorer

Modifier and Type	Field	Description
protected ModelSourceExplorer	DefaultModelChecker.modelSourceExplorer	The model source explorer.