public class JUMPWorkbench extends Object
| Modifier and Type | Field and Description |
|---|---|
static String |
PLUG_IN_DIRECTORY_OPTION |
static String |
PROPERTIES_OPTION |
static String |
VERSION_TEXT |
| Constructor and Description |
|---|
JUMPWorkbench(String title,
String[] args,
ImageIcon icon,
JWindow 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.
|
WorkbenchContext |
getContext() |
DriverManager |
getDriverManager() |
WorkbenchFrame |
getFrame() |
PlugInManager |
getPlugInManager() |
WorkbenchProperties |
getProperties()
The properties file; not to be confused with the WorkbenchContext
properties.
|
static void |
main(String[] args) |
static void |
main(String[] args,
String title,
Setup setup,
JComponent splashComponent,
TaskMonitor taskMonitor)
setupClass is specified as a String to prevent it from being loaded before
we display the splash screen, in case setupClass takes a long time to load.
|
static ImageIcon |
splashImage() |
public static final String VERSION_TEXT
public static final String PROPERTIES_OPTION
public static final String PLUG_IN_DIRECTORY_OPTION
public static ImageIcon splashImage()
public static void main(String[] args)
public static void main(String[] args, String title, Setup setup, JComponent splashComponent, TaskMonitor taskMonitor)
setupClass - the name of a class that implements SetupsplashWindow - a window to open until the workbench frame is displayedtaskMonitor - notified of progress of plug-in loadingpublic DriverManager getDriverManager()
public WorkbenchProperties getProperties()
public WorkbenchFrame getFrame()
public WorkbenchContext getContext()
public PlugInManager getPlugInManager()
public Blackboard getBlackboard()
Copyright © 2015. All rights reserved.