br.usp.iterador.plugin.manifold
Class StableManifoldPlugin

java.lang.Object
  extended by br.usp.iterador.plugin.manifold.StableManifoldPlugin
All Implemented Interfaces:
Plugin

public class StableManifoldPlugin
extends java.lang.Object
implements Plugin

Stable manifold plugin.

Author:
Guilherme Silveira

Constructor Summary
StableManifoldPlugin(Controller controller)
           
 
Method Summary
 void activate()
          Activates this plugins
 void activate(java.lang.Object data)
          Recovers its internal structure from a serializable object
 void deactivate()
          Deactivates this plugin
 IterationListener getIterationListener()
          Returns an iteration listener if it should change its behaviour or null otherwise
 javax.swing.JMenu getMenu(MenuBuilder menuBuilder)
          Returns its menu bar
 java.io.Serializable getSerializedData()
          Returns any data that should be serialized in order to save and load
 Tool[] getTools()
          Returns this plugins tools.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StableManifoldPlugin

public StableManifoldPlugin(Controller controller)
Method Detail

getMenu

public javax.swing.JMenu getMenu(MenuBuilder menuBuilder)
Description copied from interface: Plugin
Returns its menu bar

Specified by:
getMenu in interface Plugin
Returns:
the menu bar

getIterationListener

public IterationListener getIterationListener()
Description copied from interface: Plugin
Returns an iteration listener if it should change its behaviour or null otherwise

Specified by:
getIterationListener in interface Plugin
Returns:
the iteration listener, null otherwise

activate

public void activate()
Description copied from interface: Plugin
Activates this plugins

Specified by:
activate in interface Plugin

deactivate

public void deactivate()
Description copied from interface: Plugin
Deactivates this plugin

Specified by:
deactivate in interface Plugin

getSerializedData

public java.io.Serializable getSerializedData()
Description copied from interface: Plugin
Returns any data that should be serialized in order to save and load

Specified by:
getSerializedData in interface Plugin
Returns:
the data or null if nothing should be saved

activate

public void activate(java.lang.Object data)
Description copied from interface: Plugin
Recovers its internal structure from a serializable object

Specified by:
activate in interface Plugin
Parameters:
data - object

getTools

public Tool[] getTools()
Description copied from interface: Plugin
Returns this plugins tools. This method is always called after activation.

Specified by:
getTools in interface Plugin
Returns:
the tools


Copyright 2004-2004-2006 IME - USP. All Rights Reserved.