Package de.ipk_gatersleben.ag_nw.graffiti.plugins.ios.importers.petri_ina_pnt

Class PNTSerializerPlugin

java.lang.Object

org.graffiti.plugin.GenericPluginAdapter

de.ipk_gatersleben.ag_nw.graffiti.plugins.ios.importers.petri_ina_pnt.PNTSerializerPlugin

All Implemented Interfaces:

GenericPlugin

public class PNTSerializerPlugin
extends GenericPluginAdapter

Author:

klukas

Constructor Summary

Constructors

Constructor	Description
PNTSerializerPlugin()

Method Summary

Methods inherited from class org.graffiti.plugin.GenericPluginAdapter

configure, doBeforeExit, getAddonIcon, getAlgorithms, getAttributeDescriptions, getAttributes, getDefaultView, getDependencies, getExtensions, getGraphPostProcessors, getIcon, getInputSerializers, getOutputSerializers, getURLattributeActions, getViews, interrupt, isSelectionListener, isSessionListener, isViewListener, needsEditComponents, setIsAddon, stop

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PNTSerializerPlugin

public PNTSerializerPlugin()