public interface ExplorerContext
Modifier and Type | Method and Description |
---|---|
org.processmining.framework.plugin.PluginContext |
getContext()
Deprecated.
|
java.util.concurrent.ExecutorService |
getExecutor() |
org.processmining.logenhancement.view.LogViewContext |
getLogViewContext() |
ExplorerInterface |
getUserQuery() |
java.util.concurrent.ExecutorService getExecutor()
ExplorerInterface getUserQuery()
org.processmining.logenhancement.view.LogViewContext getLogViewContext()
@Deprecated org.processmining.framework.plugin.PluginContext getContext()