Class JUMPWorkbench


  • public class JUMPWorkbench
    extends Object
    This class is responsible for setting up and displaying the main JUMP workbench window.
    • Method Detail

      • splashImage

        public static ImageIcon splashImage()
      • main

        public static void main​(String[] args)
      • main

        public 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.
        Parameters:
        setupClass - the name of a class that implements Setup
        splashWindow - a window to open until the workbench frame is displayed
        taskMonitor - notified of progress of plug-in loading
      • getProperties

        public WorkbenchProperties getProperties()
        The properties file; not to be confused with the WorkbenchContext properties.
      • getBlackboard

        public Blackboard getBlackboard()
        Expensive data structures can be cached on the blackboard so that several plug-ins can share them.