net.sf.taverna.update.plugin.ui
Class PluginListModel

java.lang.Object
  extended by javax.swing.AbstractListModel
      extended by net.sf.taverna.update.plugin.ui.PluginListModel
All Implemented Interfaces:
java.io.Serializable, java.util.EventListener, javax.swing.ListModel, PluginManagerListener

public class PluginListModel
extends javax.swing.AbstractListModel
implements PluginManagerListener

Author:
David Withers
See Also:
Serialized Form

Constructor Summary
PluginListModel(PluginManager pluginManager)
           
 
Method Summary
 java.lang.Object getElementAt(int index)
           
 int getSize()
           
 void pluginAdded(PluginManagerEvent event)
          Invoked when a plugin is added.
 void pluginChanged(PluginManagerEvent event)
          Invoked when a plugin is changed.
 void pluginIncompatible(PluginManagerEvent event)
          Invoked when a plugin is found to be incompatible with the current running version of Taverna.
 void pluginRemoved(PluginManagerEvent event)
          Invoked when a plugin is removed.
 
Methods inherited from class javax.swing.AbstractListModel
addListDataListener, getListDataListeners, getListeners, removeListDataListener
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PluginListModel

public PluginListModel(PluginManager pluginManager)
Method Detail

getElementAt

public java.lang.Object getElementAt(int index)
Specified by:
getElementAt in interface javax.swing.ListModel

getSize

public int getSize()
Specified by:
getSize in interface javax.swing.ListModel

pluginAdded

public void pluginAdded(PluginManagerEvent event)
Description copied from interface: PluginManagerListener
Invoked when a plugin is added.

Specified by:
pluginAdded in interface PluginManagerListener

pluginRemoved

public void pluginRemoved(PluginManagerEvent event)
Description copied from interface: PluginManagerListener
Invoked when a plugin is removed.

Specified by:
pluginRemoved in interface PluginManagerListener

pluginChanged

public void pluginChanged(PluginManagerEvent event)
Description copied from interface: PluginManagerListener
Invoked when a plugin is changed.

Specified by:
pluginChanged in interface PluginManagerListener

pluginIncompatible

public void pluginIncompatible(PluginManagerEvent event)
Description copied from interface: PluginManagerListener
Invoked when a plugin is found to be incompatible with the current running version of Taverna.

Specified by:
pluginIncompatible in interface PluginManagerListener