public abstract class ViewerDataModel
extends java.lang.Object
ObservableSet instances.| Constructor and Description |
|---|
ViewerDataModel(org.eclipse.emf.ecore.resource.ResourceSet notifier) |
ViewerDataModel(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose() |
org.eclipse.viatra.query.runtime.api.ViatraQueryEngine |
getEngine() |
NotationModel |
getNotationModel() |
abstract java.util.Collection<org.eclipse.viatra.query.runtime.api.IQuerySpecification<?>> |
getPatterns() |
public ViewerDataModel(org.eclipse.emf.ecore.resource.ResourceSet notifier)
throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException,
org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
org.eclipse.viatra.query.runtime.exception.ViatraQueryExceptionorg.eclipse.viatra.query.runtime.base.exception.ViatraBaseExceptionpublic ViewerDataModel(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine)
throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException,
org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
org.eclipse.viatra.query.runtime.exception.ViatraQueryExceptionorg.eclipse.viatra.query.runtime.base.exception.ViatraBaseExceptionpublic NotationModel getNotationModel()
public org.eclipse.viatra.query.runtime.api.ViatraQueryEngine getEngine()
public void dispose()
public abstract java.util.Collection<org.eclipse.viatra.query.runtime.api.IQuerySpecification<?>> getPatterns()