|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.graffiti.plugin.GenericPluginAdapter
org.graffiti.plugin.EditorPluginAdapter
de.ipk_gatersleben.ag_nw.graffiti.IPK_EditorPluginAdapter
vanted.addon.PetriAddon
public class PetriAddon
The Class PetriAddon registers all attributes of the Petri net add-on.
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 |
---|
public PetriAddon()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |