pnml.writer
Class XML_PNML_Writer
java.lang.Object
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
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 |
XML_PNML_Writer
public XML_PNML_Writer()
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