Class Explorer

    • Constructor Detail

      • Explorer

        public Explorer()
        Creates the experiment environment gui with no initial experiment
    • Method Detail

      • terminate

        public void terminate()
        Terminates this panel, which means, in the case of this panel, that it terminates the associated LogPanel.
      • getPanels

        public Vector<Explorer.ExplorerPanel> getPanels()
        returns all the panels, apart from the PreprocessPanel
        Returns:
        the currently displayed panels w/o PreprocessPanel
      • getPreprocessPanel

        public PreprocessPanel getPreprocessPanel()
        returns the instance of the PreprocessPanel being used in this instance of the Explorer
        Returns:
        the panel
      • getTabbedPane

        public JTabbedPane getTabbedPane()
        returns the tabbed pane of the Explorer
        Returns:
        the tabbed pane
      • removeCapabilitiesFilterListener

        public boolean removeCapabilitiesFilterListener​(Explorer.CapabilitiesFilterChangeListener l)
        Removes the specified listener from the set of listeners if it is present.
        Parameters:
        l - the listener to remove
        Returns:
        true if the listener was registered
      • notifyCapabilitiesFilterListener

        public void notifyCapabilitiesFilterListener​(Capabilities filter)
        notifies all the listeners of a change
        Parameters:
        filter - the affected filter
      • main

        public static void main​(String[] args)
        Tests out the explorer environment.
        Parameters:
        args - ignored.