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
-
Constructor Details
-
PNTSerializerPlugin
public PNTSerializerPlugin()
-