org.openorb.board
public interface Manager extends ScenarioManager, ThreadManager
Field Summary | |
---|---|
int | MESSAGE_ERROR |
int | MESSAGE_INFO
Messages types |
int | MESSAGE_SUCCESS |
int | MESSAGE_WARNING |
int | TRACES_DEBUG |
int | TRACES_FATAL |
int | TRACES_NONE
Traces levels |
int | TRACES_NORMAL |
Method Summary | |
---|---|
void | displayHelp(URL page)
This method displays the specified URL into the Help System |
void | displaySimpleDialog(String title, String message, int type)
This method displays a dialog according to a title, a message and a type |
void | exposeResourceFactory(ResourceFactory factory)
This method is invoked by a plugin to expose its Resource Factory |
Clipboard | getClipboard()
Get the clipboard |
ComponentFactory | getComponentFactory()
This method is invoked by a plugin to get the component factory |
HelpSet[] | getHelpSets()
This method returns the current helpsets |
ManagerLayout | getManagerLayout()
Get the plugin layout responsible for placing component areas |
void | installPlugin(Plugin plugin)
This method adds a plugin |
void | printMessage(String source, String trace, int messageType)
This method prints a trace on the JVM console or
in the Management Board traces file - info message |
void | printTrace(String source, String trace, int traceLevel)
This method prints a trace on the JVM console or
in the Management Board traces file - error message |
void | setPlugin(Plugin plugin)
This method sets the current plugin |
void | setStatusBarText(String text, int msgType)
This method sets the status bar text and the icon accordingly |
void | toFront(Plugin plugin)
This method puts the plugin to front |
void | uninstallPlugin(Plugin plugin)
This method unregisters a plugin |
void | unsetPlugin(Plugin plugin)
This method unsets the current plugin |