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.