edu.utep.cs.utjml.gui
Interface Explorable

All Known Implementing Classes:

ExplorerPane

public interface Explorable

An interface to the explorer of the GUI. This interface provides APIs for recording the history of open files, setting the root of the directory browser, getting the currently selected file, and refreshing the directory browser.

Author:

Yoonsik Cheon

Method Summary

void	addHistory(File file) Records that the given file is opened.
String	getFileName() Returns the name of the currently selected file.
edu.utep.cs.utjml.gui.TestCaseTree	openTestGenPane() Opens the test case viewer.
void	refreshSelected() Refresh the currently selected node.
void	refreshSelectedParent() Refresh the parent of currently selected node.
void	setRoot(File file) Sets the root of the directory browser.

Method Detail

addHistory

void addHistory(File file)

Records that the given file is opened.

openTestGenPane

edu.utep.cs.utjml.gui.TestCaseTree openTestGenPane()

Opens the test case viewer.

refreshSelected

void refreshSelected()

Refresh the currently selected node.

refreshSelectedParent

void refreshSelectedParent()

Refresh the parent of currently selected node.

getFileName

String getFileName()

Returns the name of the currently selected file.

setRoot

void setRoot(File file)

Sets the root of the directory browser.