java.lang.Object
org.graffiti.plugin.io.AbstractInputSerializer
de.ipk_gatersleben.ag_nw.graffiti.plugins.ios.importers.petri_ina_pnt.PNTReader
All Implemented Interfaces:
InputSerializer, Serializer

public class PNTReader
extends AbstractInputSerializer
Author:
klukas 7.12.2006
  • Constructor Details

    • PNTReader

      public PNTReader()
  • Method Details

    • read

      public void read​(InputStream in, Graph g) throws IOException
      Description copied from class: AbstractInputSerializer
      Reads in a graph from the given input stream.
      Specified by:
      read in interface InputSerializer
      Specified by:
      read in class AbstractInputSerializer
      Parameters:
      in - The input stream to read the graph from.
      g - The graph to add the newly read graph to.
      Throws:
      IOException - If an IO error occurs.
    • getExtensions

      public String[] getExtensions()
      Description copied from interface: Serializer
      The file extensions the serializer can read or write.
      Returns:
      DOCUMENT ME!
    • getFileTypeDescriptions

      public String[] getFileTypeDescriptions()
      Description copied from interface: Serializer
      The file type descriptions of the files the serializer can read or write.
      Returns:
      DOCUMENT ME!
    • read

      public void read​(Reader in, Graph g) throws IOException
      Throws:
      IOException