pipe.dataLayer
Class DataLayerWriter
java.lang.Object
pipe.dataLayer.DataLayerWriter
public class DataLayerWriter
- extends java.lang.Object
Create DataLayerWriter object
Method Summary |
void |
savePNML(java.io.File file)
Save the Petri-Net |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DataLayerWriter
public DataLayerWriter(DataLayer currentNet)
- Create a writer with the DataLayer object to save
savePNML
public void savePNML(java.io.File file)
throws java.lang.NullPointerException,
java.io.IOException,
javax.xml.parsers.ParserConfigurationException,
org.w3c.dom.DOMException,
javax.xml.transform.TransformerConfigurationException,
javax.xml.transform.TransformerException
- Save the Petri-Net
- Parameters:
filename
- URI location to save file
- Throws:
javax.xml.parsers.ParserConfigurationException
org.w3c.dom.DOMException
javax.xml.transform.TransformerConfigurationException
javax.xml.transform.TransformerException
java.lang.NullPointerException
java.io.IOException