pnml.loader
Class XML_PNML_Loader

java.lang.Object
  extended by org.graffiti.plugin.io.AbstractInputSerializer
      extended by pnml.loader.XML_PNML_Loader
All Implemented Interfaces:
org.graffiti.plugin.io.InputSerializer, org.graffiti.plugin.io.Serializer

public class XML_PNML_Loader
extends org.graffiti.plugin.io.AbstractInputSerializer

This class provides a reader for graphs in xml_pnml format.

Author:
Kevin Pucknat
See Also:
AbstractIOSerializer

Constructor Summary
XML_PNML_Loader()
          Constructs a new XML_PNML_Loader.
 
Method Summary
 java.lang.String[] getExtensions()
          Returns the extensions supported by this reader.
 java.lang.String[] getFileTypeDescriptions()
           
 org.graffiti.graph.Graph read(java.io.InputStream in)
          Reads in a graph from the given input stream.
 void read(java.io.InputStream in, org.graffiti.graph.Graph g)
          Reads in a graph from the given input stream.
 void read(java.io.Reader reader, org.graffiti.graph.Graph newGraph)
           
 
Methods inherited from class org.graffiti.plugin.io.AbstractInputSerializer
read, read, validFor
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XML_PNML_Loader

public XML_PNML_Loader()
Constructs a new XML_PNML_Loader.

Method Detail

getExtensions

public java.lang.String[] getExtensions()
Returns the extensions supported by this reader.

Returns:
the extensions supported by this reader.

getFileTypeDescriptions

public java.lang.String[] getFileTypeDescriptions()

read

public void read(java.io.InputStream in,
                 org.graffiti.graph.Graph g)
          throws java.io.IOException
Reads in a graph from the given input stream.

Specified by:
read in interface org.graffiti.plugin.io.InputSerializer
Specified by:
read in class org.graffiti.plugin.io.AbstractInputSerializer
Parameters:
in - the InputStream
g - the graph
Throws:
java.io.IOException - I/O exception

read

public org.graffiti.graph.Graph read(java.io.InputStream in)
                              throws java.io.IOException
Reads in a graph from the given input stream.

Specified by:
read in interface org.graffiti.plugin.io.InputSerializer
Overrides:
read in class org.graffiti.plugin.io.AbstractInputSerializer
Parameters:
in - The input stream
Returns:
graph
Throws:
java.io.IOException - I/O exception

read

public void read(java.io.Reader reader,
                 org.graffiti.graph.Graph newGraph)
          throws java.lang.Exception
Throws:
java.lang.Exception