pnml.writer
Class XML_PNML_Writer

java.lang.Object
  extended by pnml.writer.XML_PNML_Writer
All Implemented Interfaces:
org.graffiti.plugin.io.OutputSerializer, org.graffiti.plugin.io.Serializer

public class XML_PNML_Writer
extends java.lang.Object
implements org.graffiti.plugin.io.OutputSerializer

The Class XML_PNML_Writer.

Author:
Kevin Pucknat

Constructor Summary
XML_PNML_Writer()
           
 
Method Summary
 java.lang.String[] getExtensions()
          Specify all extensions you are able to write.
 java.lang.String[] getFileTypeDescriptions()
          Description of the file format, which will be shown in the file dialog as .
 void write(java.io.OutputStream stream, org.graffiti.graph.Graph g)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XML_PNML_Writer

public XML_PNML_Writer()
Method Detail

write

public void write(java.io.OutputStream stream,
                  org.graffiti.graph.Graph g)
           throws java.io.IOException
Specified by:
write in interface org.graffiti.plugin.io.OutputSerializer
Throws:
java.io.IOException

getExtensions

public java.lang.String[] getExtensions()
Specify all extensions you are able to write.

Specified by:
getExtensions in interface org.graffiti.plugin.io.Serializer
Returns:
the extensions

getFileTypeDescriptions

public java.lang.String[] getFileTypeDescriptions()
Description of the file format, which will be shown in the file dialog as

.

Specified by:
getFileTypeDescriptions in interface org.graffiti.plugin.io.Serializer
Returns:
the file type descriptions