Class GraphComponent

public class GraphComponent

extends JLabel

implements GraphListElementListener

Component that combines the graph icon with its name.

Constructor Summary
`GraphComponent()`
`GraphComponent(GraphListElement element)`

Method Summary
`GraphListElement`	`getElement()`
`void`	`graphListElementGraphChanged(GraphListElement element)`
`void`	`graphListElementInvariantComputed(GraphListElement element, Invariant invariant)`
`void`	`graphListElementNameChanged(GraphListElement element)`
`void`	`graphListElementURIChanged(GraphListElement element)`
`void`	`setElement(GraphListElement newElement)` Display information for the given element.
`@Override`	`void doLayout()`

public GraphComponent()

public GraphComponent(GraphListElement element)

public GraphListElement getElement()

public void graphListElementGraphChanged(GraphListElement element)

Specified by:
graphListElementGraphChanged in interface GraphListElementListener

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)

Specified by:
graphListElementInvariantComputed in interface GraphListElementListener

public void graphListElementNameChanged(GraphListElement element)

Specified by:
graphListElementNameChanged in interface GraphListElementListener

public void graphListElementURIChanged(GraphListElement element)

Specified by:
graphListElementURIChanged in interface GraphListElementListener

public void setElement(GraphListElement newElement)

Display information for the given element.

public @Override void doLayout()

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary