Class MultiExplorer

    • Field Detail

      • m_SplitPane

        protected JSplitPane m_SplitPane
        the split pane for the components.
      • m_PanelExplorer

        protected BasePanel m_PanelExplorer
        the actual panel for displaying the other panels.
      • m_PanelHistory

        protected BasePanel m_PanelHistory
        the history panel.
      • m_PanelButtons

        protected BasePanel m_PanelButtons
        the panel for the buttons.
      • m_ButtonAdd

        protected BaseButton m_ButtonAdd
        the button for adding a panel.
      • m_ButtonCopy

        protected BaseButton m_ButtonCopy
        the button for copying a panel.
      • m_ButtonRemove

        protected BaseButton m_ButtonRemove
        the button for removing a panel.
      • m_ButtonWorkspace

        protected BaseButton m_ButtonWorkspace
        the button for managing the workspaces.
      • m_WorkspaceFileChooser

        protected BaseFileChooser m_WorkspaceFileChooser
        the file chooser for the workspaces.
      • m_Memory

        protected static weka.core.Memory m_Memory
        for monitoring the Memory consumption
    • Constructor Detail

      • MultiExplorer

        public MultiExplorer()
    • Method Detail

      • initialize

        protected void initialize()
        Description copied from class: BasePanel
        For initializing members.
        initialize in class BasePanel
      • initGUI

        protected void initGUI()
        For initializing the GUI.
        initGUI in class BasePanel
      • finishInit

        protected void finishInit()
        finishes the initialization.
        finishInit in class BasePanel
      • clear

        public void clear()
        Removes all panels.
      • count

        public int count()
        Returns the number of explorer panels.
        the number of panels
      • getHistory

        public ExplorerEntryPanel getHistory()
        Returns the underlying history panel.
        the panel
      • addPanel

        public void addPanel​(ExplorerExt panel,
                             String name)
        Adds the given explorer panel.
        panel - the panel to add
        name - the name for the panel
      • removePanel

        public boolean removePanel​(String name)
        Removes the panel with the given name.
        name - the name of the panel to remove
        true if successfully removed
      • removePanel

        public boolean removePanel​(int index)
        Removes the panel at the specified index.
        index - the index of the panel to remove
        true if successfully removed
      • getPanel

        public ExplorerExt getPanel​(String name)
        Returns the panel with the specified name.
        name - the name of the panel to retrieve
        the panel, null if not found
      • load

        public void load​(File file)
        Loads the specified file in a new panel.
        file - the file to load
      • load

        public void load​(File[] files)
        Loads the specified files in new panels.
        files - the files to load
      • openWorkspace

        protected void openWorkspace()
        Opens a workspace.
      • saveWorkspace

        public void saveWorkspace()
        Saves the current workspace.
      • getEntryPanel

        public ExplorerEntryPanel getEntryPanel()
        Returns the panel with the explorer panel entries.
        the panel entries
      • updateButtons

        protected void updateButtons()
        Updates the enabled state of the buttons.
      • runExplorer

        public static void runExplorer​(String[] args)
        Runs an explorer instance. Also interpretes the "-env classname" parameter.
        args - the command-line arguments
      • main

        public static void main​(String[] args)
        Starts the explorer environment.
        args - the command-line arguments: [-env classname] [initial dataset]