public class JUMPWorkbench
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static javax.swing.ImageIcon |
APP_ICON |
static java.util.ArrayList |
APP_ICONS |
static java.lang.String |
DEFAULT_PLUGINS |
static java.lang.String |
I18N_FILE |
static java.lang.String |
I18N_SETLOCALE |
static java.lang.String |
INITIAL_PROJECT_FILE |
static java.lang.String |
PLUG_IN_DIRECTORY_OPTION |
static java.lang.String |
PROPERTIES_OPTION |
static java.lang.String |
STATE_OPTION |
Constructor and Description |
---|
JUMPWorkbench(java.lang.String title,
java.lang.String[] args,
java.awt.Component s,
TaskMonitor monitor) |
Modifier and Type | Method and Description |
---|---|
Blackboard |
getBlackboard()
Expensive data structures can be cached on the blackboard so that several
plug-ins can share them.
|
static CommandLine |
getCommandLine() |
WorkbenchContext |
getContext() |
DriverManager |
getDriverManager() |
WorkbenchFrame |
getFrame() |
static javax.swing.ImageIcon |
getIcon() |
static JUMPWorkbench |
getInstance() |
PlugInManager |
getPlugInManager() |
WorkbenchProperties |
getProperties()
The properties file; not to be confused with the WorkbenchContext
properties.
|
static void |
main(java.lang.String[] args) |
static void |
setIcon(java.lang.Object o) |
static javax.swing.ImageIcon |
splashImage() |
public static final javax.swing.ImageIcon APP_ICON
public static final java.util.ArrayList APP_ICONS
public static final java.lang.String PROPERTIES_OPTION
public static final java.lang.String DEFAULT_PLUGINS
public static final java.lang.String PLUG_IN_DIRECTORY_OPTION
public static final java.lang.String I18N_FILE
public static final java.lang.String INITIAL_PROJECT_FILE
public static final java.lang.String STATE_OPTION
public static java.lang.String I18N_SETLOCALE
public JUMPWorkbench(java.lang.String title, java.lang.String[] args, java.awt.Component s, TaskMonitor monitor) throws java.lang.Exception
s
- a visible SplashWindow to close when initialization is complete and
the WorkbenchFrame is openedjava.lang.Exception
public static javax.swing.ImageIcon splashImage()
public static void setIcon(java.lang.Object o)
o
- a window to decorate with iconpublic static javax.swing.ImageIcon getIcon()
public static void main(java.lang.String[] args)
public DriverManager getDriverManager()
public WorkbenchProperties getProperties()
public WorkbenchFrame getFrame()
public WorkbenchContext getContext()
public static final CommandLine getCommandLine()
public static final JUMPWorkbench getInstance()
public PlugInManager getPlugInManager()
public Blackboard getBlackboard()