vanted.addon
Class PetriAddon

java.lang.Object
  extended by org.graffiti.plugin.GenericPluginAdapter
      extended by org.graffiti.plugin.EditorPluginAdapter
          extended by de.ipk_gatersleben.ag_nw.graffiti.IPK_EditorPluginAdapter
              extended by vanted.addon.PetriAddon
All Implemented Interfaces:
org.graffiti.plugin.EditorPlugin, org.graffiti.plugin.GenericPlugin

public class PetriAddon
extends de.ipk_gatersleben.ag_nw.graffiti.IPK_EditorPluginAdapter

The Class PetriAddon registers all attributes of the Petri net add-on.

Author:
Kevin Pucknat

Field Summary
 
Fields inherited from class org.graffiti.plugin.EditorPluginAdapter
tools
 
Constructor Summary
PetriAddon()
          Instantiates a new petri addon.
 
Method Summary
 
Methods inherited from class de.ipk_gatersleben.ag_nw.graffiti.IPK_EditorPluginAdapter
getIcon
 
Methods inherited from class org.graffiti.plugin.EditorPluginAdapter
getAttributeComponents, getGUIComponents, getInspectorTabs, getModes, getShapes, getTools, getValueEditComponents
 
Methods inherited from class org.graffiti.plugin.GenericPluginAdapter
configure, doBeforeExit, getAddonIcon, getAlgorithms, getAttributeDescriptions, getAttributes, getDefaultView, getDependencies, getExtensions, getGraphPostProcessors, 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
 
Methods inherited from interface org.graffiti.plugin.GenericPlugin
configure, doBeforeExit, getAlgorithms, getAttributeDescriptions, getAttributes, getDefaultView, getDependencies, getExtensions, getInputSerializers, getOutputSerializers, getURLattributeActions, getViews, interrupt, isSelectionListener, isSessionListener, isViewListener, needsEditComponents, stop
 

Constructor Detail

PetriAddon

public PetriAddon()
Instantiates a new petri addon.