public abstract class AccessibleIDObserver
extends java.lang.Object
AccessibleID
Constructor and Description |
---|
AccessibleIDObserver(Graph<?,?> graph)
Creates a new identifier observer.
|
Modifier and Type | Method and Description |
---|---|
protected abstract void |
edgeIDModified(int oldID,
int newID)
Indicates that the edge with the identifier
oldID has changed its id to newID . |
void |
remove()
Removes the observer from the related graph.
|
protected abstract void |
vertexIDModified(int oldID,
int newID)
Indicates that the vertex with the identifier
oldID has changed its id to newID . |
public AccessibleIDObserver(Graph<?,?> graph) throws java.lang.IllegalArgumentException
graph
- the related graphjava.lang.IllegalArgumentException
- public final void remove()
protected abstract void vertexIDModified(int oldID, int newID)
oldID
has changed its id to newID
.oldID
- the old id of the vertexnewID
- the new identifierprotected abstract void edgeIDModified(int oldID, int newID)
oldID
has changed its id to newID
.oldID
- the old id of the edgenewID
- the new identifier