fmrisc.ProgramExplorer.SWT

Class SymbolTree

java.lang.Object

fmrisc.ProgramExplorer.SWT.SymbolTree

public final class SymbolTree
extends java.lang.Object

A tree displaying symbol structures.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	expand(Source source) Expand tree node associated to source (if any).
Symbol[]	getSelection() Get symbols selected in tree.
org.eclipse.swt.widgets.Tree	getTree() Get visual representation of tree.
java.util.Collection<Symbol>	getUnitSymbols() Get all symbols in symbol tree denoting units (classes/theories).
void	redraw(PackageSymbol root) Redraw symbol structures.
void	remove(Symbol symbol) Remove subtree denoted by symbol.
void	show(Symbol symbol) Show tree item denoted by symbol.
void	signalError(Symbol symbol) Indicate that symbol has errors.

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolTree

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

Create a tree displaying symbol 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 visual representation.

getSelection

public Symbol[] getSelection()

Get symbols selected in tree.

Returns:

the symbols.

redraw

public void redraw(PackageSymbol root)

Redraw symbol structures.

Parameters:

root - the symbol of the top-level package (may be null, the tree is then erased)

signalError

public void signalError(Symbol symbol)

Indicate that symbol has errors.

Parameters:

symbol - the symbol that has errors.

expand

public void expand(Source source)

Expand tree node associated to source (if any).

Parameters:

source - the source whose visual representation is to be expanded.

getUnitSymbols

public java.util.Collection<Symbol> getUnitSymbols()

Get all symbols in symbol tree denoting units (classes/theories).

Returns:

the set of all symbols denoting units.

remove

public void remove(Symbol symbol)

Remove subtree denoted by symbol.

Parameters:

symbol - the symbol whose subtree (if any) is to be disposed.

show

public void show(Symbol symbol)

Show tree item denoted by symbol.

Parameters:

symbol - the symbol whose subtree (if any) is to be expanded.