pipe.dataLayer
Class DataLayerWriter

java.lang.Object
  extended by pipe.dataLayer.DataLayerWriter

public class DataLayerWriter
extends java.lang.Object

Create DataLayerWriter object


Constructor Summary
DataLayerWriter(DataLayer currentNet)
          Create a writer with the DataLayer object to save
 
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
 

Constructor Detail

DataLayerWriter

public DataLayerWriter(DataLayer currentNet)
Create a writer with the DataLayer object to save

Method Detail

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