gui.multisource
Class ElementView

java.lang.Object
  gui.multisource.ElementView

All Implemented Interfaces:

Viewable

public class ElementView
extends java.lang.Object
implements Viewable

An ElementView provides the capability of displaying the element structure and attributes of a document or part of a document.

Constructor Summary

ElementView()
new ElementView() returns a new ElementView.

Method Summary

javax.swing.JTree	getTree() ev.getTree() returns the tree component for ev.
javax.swing.JPanel	getViewComponent() ev.getViewComponent() returns the panel component for ev.
void	refresh() ev.refresh() refreshes ev's view of its root element.
void	setRoot(javax.swing.text.AbstractDocument.AbstractElement r) ev.setRoot() sets r as the root element for ev's view.

Methods inherited from class java.lang.Object

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

Constructor Detail

ElementView

public ElementView()

new ElementView() returns a new ElementView.

Method Detail

setRoot

public void setRoot(javax.swing.text.AbstractDocument.AbstractElement r)

ev.setRoot() sets r as the root element for ev's view.

refresh

public void refresh()

ev.refresh() refreshes ev's view of its root element.

getTree

public javax.swing.JTree getTree()

ev.getTree() returns the tree component for ev.

getViewComponent

public javax.swing.JPanel getViewComponent()

ev.getViewComponent() returns the panel component for ev. This component contains both ev's tree and its attribute text area.

Specified by:

getViewComponent in interface Viewable

Returns:

the view component