org.grinvin.list.graphs

Interface GraphListElementListener

Known Implementing Classes:
DefaultGraphListModel, GraphBundlePreview, GraphComponent, GraphPropertiesTableModel, GraphPropertiesWindow, GraphViewer, NamedGraphComponent, RenameGraphListElementAction

public interface GraphListElementListener

Interface that all elements that listen to GraphListElements should implement.

Method Summary

void
graphListElementGraphChanged(GraphListElement element)
void
graphListElementInvariantComputed(GraphListElement element, Invariant invariant)
void
graphListElementNameChanged(GraphListElement element)
void
graphListElementURIChanged(GraphListElement element)

Method Details

graphListElementGraphChanged

public void graphListElementGraphChanged(GraphListElement element)

graphListElementInvariantComputed

public void graphListElementInvariantComputed(GraphListElement element,
                                              Invariant invariant)

graphListElementNameChanged

public void graphListElementNameChanged(GraphListElement element)

graphListElementURIChanged

public void graphListElementURIChanged(GraphListElement element)