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.ViatraQueryException
org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
public 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.ViatraQueryException
org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
public 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()