org.grinvin
Interface EmbeddingListener
- EventListener
- GraphPanel, GraphPanel3D, GraphViewPanel, MutableGraphPanel
public interface EmbeddingListener
extends EventListener
Listens to changes in an embedding. Note that changes to the peer graph
of the embedding are not propagated to the embedding.
Note: It is the responsibility of
the listener to keep track of the embedding being listened
to. This embedding is not handed to the listener as a parameter
of the various methods.
void | dimensionChanged(int oldDimension) - Called when the dimension of the embedding was changed, and as a
consequence that all coordinates have changed as well.
|
void | embeddingChanged() - Called after a major change in the embedding.
|
void | vertexCoordinatesChanged(Vertex vertex) - Called after a vertex was given new coordinates.
|
dimensionChanged
public void dimensionChanged(int oldDimension)
Called when the dimension of the embedding was changed, and as a
consequence that all coordinates have changed as well.
embeddingChanged
public void embeddingChanged()
Called after a major change in the embedding. For instance when the
coordinates of all vertices change at the same time. Note that
also the peer of the embedding may have changed.
vertexCoordinatesChanged
public void vertexCoordinatesChanged(Vertex vertex)
Called after a vertex was given new coordinates.