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 Class<? extends ModelSourceExplorer>DSLRuntimeModule. bindModelSourceExplorer()Binds theModelSourceExplorer. -
Uses of ModelSourceExplorer in de.gebit.integrity.classloading
Fields in de.gebit.integrity.classloading declared as ModelSourceExplorer Modifier and Type Field Description protected ModelSourceExplorerDefaultIntegrityClassLoader. modelSourceExplorerThe 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 classDefaultModelSourceExplorerDefault implementation of aModelSourceExplorer. -
Uses of ModelSourceExplorer in de.gebit.integrity.runner
Fields in de.gebit.integrity.runner declared as ModelSourceExplorer Modifier and Type Field Description protected ModelSourceExplorerDefaultTestRunner. modelSourceExplorerThe model source explorer.protected ModelSourceExplorerTestModel. modelSourceExplorerThe 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 ModelSourceExplorerDefaultModelChecker. modelSourceExplorerThe model source explorer.
-