public class WorkshopExportPlugin
extends java.lang.Object
| Constructor and Description |
|---|
WorkshopExportPlugin() |
| Modifier and Type | Method and Description |
|---|---|
void |
export(org.processmining.framework.plugin.PluginContext context,
WorkshopModel model,
java.io.File file)
Exports the given workshop model to the given file.
|
public void export(org.processmining.framework.plugin.PluginContext context,
WorkshopModel model,
java.io.File file)
throws java.io.IOException
context - The given plug-in context.model - The given workshop model.file - The given file.java.io.IOException