Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## pipe.dataLayer
Class DataLayerWriter

    java.lang.Object
      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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD