org.processmining.datapetrinets.io

Class DataPetriNetExporter

java.lang.Object

org.processmining.datapetrinets.io.DataPetriNetExporter

public class DataPetriNetExporter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DataPetriNetExporter()

Method Summary

Modifier and Type	Method and Description
void	export(DataPetriNet net, java.io.File file)
void	exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, DataPetriNet net, java.io.File file)
protected void	exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context, DataPetriNet net, java.io.File file, org.processmining.plugins.pnml.base.Pnml.PnmlType type)

Methods inherited from class java.lang.Object

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

Constructor Detail

DataPetriNetExporter

public DataPetriNetExporter()

Method Detail

exportPetriNetToPNMLFile

public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                     DataPetriNet net,
                                     java.io.File file)
                              throws java.lang.Exception

Throws:

java.lang.Exception

export

public void export(DataPetriNet net,
                   java.io.File file)
            throws java.lang.Exception

Throws:

java.lang.Exception

exportPetriNetToPNMLOrEPNMLFile

protected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
                                               DataPetriNet net,
                                               java.io.File file,
                                               org.processmining.plugins.pnml.base.Pnml.PnmlType type)
                                        throws java.io.IOException,
                                               org.xml.sax.SAXException,
                                               javax.xml.parsers.ParserConfigurationException,
                                               javax.xml.transform.TransformerFactoryConfigurationError,
                                               javax.xml.transform.TransformerException

Throws:

java.io.IOException

org.xml.sax.SAXException

javax.xml.parsers.ParserConfigurationException

javax.xml.transform.TransformerFactoryConfigurationError

javax.xml.transform.TransformerException