edu.utep.cs.jet.gui.explorer
Interface Explorer

All Known Implementing Classes:

DefaultExplorer

public interface Explorer

An interface to the explorer. An explorer is a small pane located at the left of the main GUI and allows one to browse through directories and files. This interface provides APIs for:

• setting the root of the directory to browse,
• getting the currently selected file, and
• refreshing the browser.

Author:

Yoonsik Cheon

Method Summary

String	getFileName() Returns the name of the currently selected file.
JComponent	getView() Returns the explorer pane that can be added to the main GUI.
void	refreshSelected() Refreshes the currently selected node.
void	refreshSelectedParent() Refreshes the parent of currently selected node.
void	setRoot(File file) Sets the root of the directory browser.

Method Detail

refreshSelected

void refreshSelected()

Refreshes the currently selected node. This method has no effect if no node is selected.

refreshSelectedParent

void refreshSelectedParent()

Refreshes the parent of currently selected node. This method has no effect if no node is selected.

getFileName

String getFileName()

Returns the name of the currently selected file. If no node is selected, null is returned.

setRoot

void setRoot(File file)

Sets the root of the directory browser.

getView

JComponent getView()

Returns the explorer pane that can be added to the main GUI.