diva.graph.schematic

Class GraphView

java.lang.Object

diva.gui.AbstractView

diva.graph.schematic.GraphView

All Implemented Interfaces:

View

public class GraphView
extends AbstractView

Steve, fix me!

Version:

$Revision: 1.4 $

Author:

Steve Neuendorffer (neuendor@eecs.berkeley.edu

Constructor Summary

Constructors

Constructor and Description
GraphView(Document d)

Method Summary

Modifier and Type	Method and Description
JComponent	getComponent() Return the component that implements the display of this view.
String	getShortTitle() Get the short title of this document.
String	getTitle() Get the title of this document

Methods inherited from class diva.gui.AbstractView

close, copy, cut, getDocument, paste

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphView

public GraphView(Document d)

Method Detail

getComponent

public JComponent getComponent()

Description copied from class: AbstractView

Return the component that implements the display of this view. The returned object should be a unique object that corresponds to this view.

Specified by:

getComponent in interface View

Specified by:

getComponent in class AbstractView

getTitle

public String getTitle()

Description copied from class: AbstractView

Get the title of this document

Specified by:

getTitle in interface View

Specified by:

getTitle in class AbstractView

getShortTitle

public String getShortTitle()

Description copied from class: AbstractView

Get the short title of this document. The short title is used in situations where the regular title is likely to be too long, such as iconified windows, menus, and so on.

Specified by:

getShortTitle in interface View

Specified by:

getShortTitle in class AbstractView