org.grinvin.list
Interface GraphListElementListener
- DefaultGraphListModel, GraphComponent, GraphPropertiesTableModel, GraphPropertiesWindow, GraphViewer, NamedGraphComponent
public interface GraphListElementListener
Interface that all elements that listen to GraphListElements should implement.
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)