Package org.processmining.petrinets.list.plugin

Class ExportPetriNetListToPNListPlugin

java.lang.Object

org.processmining.petrinets.list.plugin.ExportPetriNetListToPNListPlugin

public class ExportPetriNetListToPNListPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ExportPetriNetListToPNListPlugin()

Method Summary

Modifier and Type	Method	Description
static void	export(org.processmining.framework.plugin.PluginContext context, PetriNetList list, java.io.File file)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExportPetriNetListToPNListPlugin

public ExportPetriNetListToPNListPlugin()

Method Detail

export

public static void export(org.processmining.framework.plugin.PluginContext context,
                          PetriNetList list,
                          java.io.File file)
                   throws java.io.IOException

Throws:

java.io.IOException