com.inubit.research.gui.plugins

Class WorkbenchPlugin

java.lang.Object

com.inubit.research.gui.plugins.WorkbenchPlugin

Direct Known Subclasses:

AbstractChoreographyPlugin, AnimationDemoPlugin, ModelOperationsPlugin, NaturalLanguageInputPlugin, NodeViewPlugin, OntologyGeneratorPlugin, ProcessModelMergerPlugin, PropertiesPlugin, RPSTPlugin, ServerLoadTestPlugin, ServerTestPlugin, SourceVisualizerPlugin, ValidationPlugin, WorkbenchBirdview

public abstract class WorkbenchPlugin
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Workbench	workbench

Constructor Summary

Constructors

Constructor and Description
WorkbenchPlugin() used if the workbench is set later so this plugin can be considered during initialization
WorkbenchPlugin(Workbench workbench)

Method Summary

Modifier and Type	Method and Description
abstract java.awt.Component	getMenuEntry() Returns the Menu/MenuItem for this plugin.
Workbench	getWorkbench()
void	init(SplashScreen splashScreen) initialization method which is called when a plugin is handed over to the constructor of a workbench
void	setWorkbench(Workbench wb)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

workbench

protected Workbench workbench

Constructor Detail

WorkbenchPlugin

public WorkbenchPlugin(Workbench workbench)

WorkbenchPlugin

public WorkbenchPlugin()

used if the workbench is set later so this plugin can be considered during initialization

Method Detail

getWorkbench

public Workbench getWorkbench()

setWorkbench

public void setWorkbench(Workbench wb)

getMenuEntry

public abstract java.awt.Component getMenuEntry()

Returns the Menu/MenuItem for this plugin.

Returns:

init

public void init(SplashScreen splashScreen)

initialization method which is called when a plugin is handed over to the constructor of a workbench

Parameters:

splashScreen -