public class ViewModelManager
extends java.lang.Object
ResourceSet
.Constructor and Description |
---|
ViewModelManager() |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
org.eclipse.viatra.query.runtime.api.ViatraQueryEngine |
getEngine() |
Traceability |
getTraceability() |
void |
initialize()
Initialize the manager.
|
void |
setEngine(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine) |
void |
setRules(java.util.Collection<ViewModelRule> rules) |
public void initialize() throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException, org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException, org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
org.eclipse.viatra.query.runtime.base.exception.ViatraBaseException
public org.eclipse.viatra.query.runtime.api.ViatraQueryEngine getEngine()
public void setEngine(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine)
public void setRules(java.util.Collection<ViewModelRule> rules)
public Traceability getTraceability()
public void dispose()