org.graffiti.plugins.guis.switchselections
Class SwitchSelectionsPlugin

java.lang.Object
  extended by org.graffiti.plugin.GenericPluginAdapter
      extended by org.graffiti.plugin.EditorPluginAdapter
          extended by org.graffiti.plugins.guis.switchselections.SwitchSelectionsPlugin
All Implemented Interfaces:
EditorPlugin, GenericPlugin, SelectionListener

public class SwitchSelectionsPlugin
extends EditorPluginAdapter
implements SelectionListener

Provides a spring embedder algorithm a la KK.

Version:
$Revision: 5766 $

Constructor Summary
SwitchSelectionsPlugin()
          Creates a new TrivialGridRestrictedPlugin object.
 
Method Summary
 boolean isSelectionListener()
          States whether this class wants to be registered as a SelectionListener.
 void selectionChanged(SelectionEvent e)
          Is called, if something in the selection model changed.
 void selectionListChanged(SelectionEvent e)
          Is called, if a named selection is added or removed.
 
Methods inherited from class org.graffiti.plugin.EditorPluginAdapter
getAttributeComponents, getGUIComponents, getShapes, getValueEditComponents
 
Methods inherited from class org.graffiti.plugin.GenericPluginAdapter
addJSeparatorAfterAlgorithm, configure, doBeforeExit, getAlgorithms, getAttributes, getDependencies, getIcon, getInputSerializers, getName, getOutputSerializers, getPathInformation, getViews, interrupt, isSessionListener, isViewListener, needsEditComponents, 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
addJSeparatorAfterAlgorithm, configure, doBeforeExit, getAlgorithms, getAttributes, getDependencies, getIcon, getInputSerializers, getName, getOutputSerializers, getPathInformation, getViews, interrupt, isSessionListener, isViewListener, needsEditComponents, stop
 

Constructor Detail

SwitchSelectionsPlugin

public SwitchSelectionsPlugin()
Creates a new TrivialGridRestrictedPlugin object.

Method Detail

isSelectionListener

public boolean isSelectionListener()
Description copied from class: org.graffiti.plugin.GenericPluginAdapter
States whether this class wants to be registered as a SelectionListener.

Specified by:
isSelectionListener in interface GenericPlugin
Overrides:
isSelectionListener in class GenericPluginAdapter
Returns:
DOCUMENT ME!
See Also:
GenericPluginAdapter.isSelectionListener()

selectionChanged

public void selectionChanged(SelectionEvent e)
Description copied from interface: org.graffiti.selection.SelectionListener
Is called, if something in the selection model changed.

Specified by:
selectionChanged in interface SelectionListener
See Also:
SelectionListener.selectionChanged(org.graffiti.selection.SelectionEvent)

selectionListChanged

public void selectionListChanged(SelectionEvent e)
Description copied from interface: org.graffiti.selection.SelectionListener
Is called, if a named selection is added or removed.

Specified by:
selectionListChanged in interface SelectionListener
See Also:
SelectionListener.selectionListChanged(org.graffiti.selection.SelectionEvent)


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