fmrisc.ProgramExplorer.SWT

Class FileTree

java.lang.Object

fmrisc.ProgramExplorer.SWT.FileTree

public final class FileTree
extends java.lang.Object

A tree displaying directory structures.

Constructor Summary

Constructors

Constructor and Description
FileTree(org.eclipse.swt.widgets.Composite parent, TopWindow top) Create a tree displaying directory structures.

Method Summary

Modifier and Type	Method and Description
void	delete(java.io.File file) Delete file from tree.
org.eclipse.swt.widgets.Tree	getTree() Get visual representation of tree.
void	redraw(java.io.File[] roots) Redraw directory structures.
void	update(java.io.File file) A new file may have been created, update view.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FileTree

public FileTree(org.eclipse.swt.widgets.Composite parent,
                TopWindow top)

Create a tree displaying directory structures.

Parameters:

parent - the parent widget.

top - the top window.

Method Detail

getTree

public org.eclipse.swt.widgets.Tree getTree()

Get visual representation of tree.

Returns:

the tree.

redraw

public void redraw(java.io.File[] roots)

Redraw directory structures.

Parameters:

roots - the root files/directories for display.

update

public void update(java.io.File file)

A new file may have been created, update view.

Parameters:

file - potential new file.

delete

public void delete(java.io.File file)

Delete file from tree.

Parameters:

file - the file to be deleted.