org.grinvin.graphbrowser

Class GraphComponent

Implemented Interfaces:
GraphListElementListener
Known Direct Subclasses:
GraphViewer, NamedGraphComponent

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()

Constructor Details

GraphComponent

public GraphComponent()

GraphComponent

public GraphComponent(GraphListElement element)

Method Details

getElement

public GraphListElement getElement()

graphListElementGraphChanged

public void graphListElementGraphChanged(GraphListElement element)
Specified by:
graphListElementGraphChanged in interface GraphListElementListener

graphListElementInvariantComputed

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)
Specified by:
graphListElementInvariantComputed in interface GraphListElementListener

graphListElementNameChanged

public void graphListElementNameChanged(GraphListElement element)
Specified by:
graphListElementNameChanged in interface GraphListElementListener

graphListElementURIChanged

public void graphListElementURIChanged(GraphListElement element)
Specified by:
graphListElementURIChanged in interface GraphListElementListener

setElement

public void setElement(GraphListElement newElement)
Display information for the given element.

void doLayout

public @Override void doLayout()