org.processmining.plugins.pnml.exporting
Class PnmlExportNet

java.lang.Object
  org.processmining.plugins.pnml.exporting.PnmlExportNet

Direct Known Subclasses:

PnmlExportNetToEPNML, PnmlExportNetToPNML

public class PnmlExportNet
extends java.lang.Object

Constructor Summary

PnmlExportNet()

Method Summary

protected void	exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context, OpenNet openNet, java.io.File file, Pnml.PnmlType type)
protected void	exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file, Pnml.PnmlType type)

Methods inherited from class java.lang.Object

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

Constructor Detail

PnmlExportNet

public PnmlExportNet()

Method Detail

exportPetriNetToPNMLOrEPNMLFile

protected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                               Petrinet net,
                                               java.io.File file,
                                               Pnml.PnmlType type)
                                        throws java.io.IOException

Throws:

java.io.IOException

exportPetriNetToPNMLOrEPNMLFile

protected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                               OpenNet openNet,
                                               java.io.File file,
                                               Pnml.PnmlType type)
                                        throws java.io.IOException

Throws:

java.io.IOException