N - The type of Node stored in the Graph to which this Listener will
listenET - The type of Edge stored in the Graph to which this Listener will
listenpublic interface GraphChangeListener<N,ET extends Edge<N>>
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
edgeAdded(EdgeChangeEvent<N,ET> event)
Method called when an Edge has been added to a Graph and this
GraphChangeListener has been added as a GraphChangeListener to the source
Graph.
|
void |
edgeRemoved(EdgeChangeEvent<N,ET> event)
Method called when an Edge has been removed from a Graph and this
GraphChangeListener has been added as a GraphChangeListener to the source
Graph.
|
void |
nodeAdded(NodeChangeEvent<N> event)
Method called when a Node has been added to a Graph and this
GraphChangeListener has been added as a GraphChangeListener to the source
Graph.
|
void |
nodeRemoved(NodeChangeEvent<N> event)
Method called when a Node has been removed from a Graph and this
GraphChangeListener has been added as a GraphChangeListener to the source
Graph.
|
void nodeAdded(NodeChangeEvent<N> event)
event - The NodeChangeEvent that occurred.void nodeRemoved(NodeChangeEvent<N> event)
event - The NodeChangeEvent that occurred.void edgeAdded(EdgeChangeEvent<N,ET> event)
event - The EdgeChangeEvent that occurred.void edgeRemoved(EdgeChangeEvent<N,ET> event)
event - The EdgeChangeEvent that occurred.