org.graffiti.plugins.ios.gml.gmlReader
Class GmlReaderPlugin

java.lang.Object
  extended by org.graffiti.plugin.GenericPluginAdapter
      extended by org.graffiti.plugins.ios.gml.gmlReader.GmlReaderPlugin
All Implemented Interfaces:
GenericPlugin

public class GmlReaderPlugin
extends GenericPluginAdapter

This class provides the plugin for writing a graph to a file in the GML file format.

Author:
ruediger

Constructor Summary
GmlReaderPlugin()
          Constructs a new GmlReaderPlugin.
 
Method Summary
 
Methods inherited from class org.graffiti.plugin.GenericPluginAdapter
addJSeparatorAfterAlgorithm, configure, doBeforeExit, getAlgorithms, getAttributes, getDependencies, getIcon, getInputSerializers, getName, getOutputSerializers, getPathInformation, getViews, interrupt, isSelectionListener, isSessionListener, isViewListener, needsEditComponents, stop
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GmlReaderPlugin

public GmlReaderPlugin()
Constructs a new GmlReaderPlugin.



Generated at 2012-05-30 11:01:25 PM CEST