public class GraphLogger extends java.lang.Object implements GraphListener
Constructor and Description |
---|
GraphLogger() |
Modifier and Type | Method and Description |
---|---|
void |
edgeHeadChanged(GraphEvent e)
Add this event to the log.
|
void |
edgeTailChanged(GraphEvent e)
Add this event to the log.
|
java.util.Iterator |
iterator()
Return a sequentially-sorted iterator over the GraphEvent
objects contained by the log.
|
void |
nodeAdded(GraphEvent e)
Add this event to the log.
|
void |
nodeRemoved(GraphEvent e)
Add this event to the log.
|
void |
structureChanged(GraphEvent e)
Add this event to the log.
|
java.lang.String |
toString()
Print the contents of the log into a string.
|
public void edgeHeadChanged(GraphEvent e)
edgeHeadChanged
in interface GraphListener
public void edgeTailChanged(GraphEvent e)
edgeTailChanged
in interface GraphListener
public void nodeAdded(GraphEvent e)
nodeAdded
in interface GraphListener
public void nodeRemoved(GraphEvent e)
nodeRemoved
in interface GraphListener
public void structureChanged(GraphEvent e)
structureChanged
in interface GraphListener
public java.util.Iterator iterator()
public java.lang.String toString()
toString
in class java.lang.Object