public interface GraphListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
edgeHeadChanged(GraphEvent e)
An edge's head has been changed in a registered
graph or one of its subgraphs.
|
void |
edgeTailChanged(GraphEvent e)
An edge's tail has been changed in a registered
graph or one of its subgraphs.
|
void |
nodeAdded(GraphEvent e)
A node has been been added to the registered
graph or one of its subgraphs.
|
void |
nodeRemoved(GraphEvent e)
A node has been been deleted from the registered
graphs or one of its subgraphs.
|
void |
structureChanged(GraphEvent e)
The structure of the event's "source" graph has
been drastically changed in some way, and this
event signals the listener to refresh its view
of that graph from model.
|
void edgeHeadChanged(GraphEvent e)
void edgeTailChanged(GraphEvent e)
void nodeAdded(GraphEvent e)
void nodeRemoved(GraphEvent e)
void structureChanged(GraphEvent e)