public class GraphLogger extends java.lang.Object implements GraphListener
| Red |
| 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 GraphListenerpublic void edgeTailChanged(GraphEvent e)
edgeTailChanged in interface GraphListenerpublic void nodeAdded(GraphEvent e)
nodeAdded in interface GraphListenerpublic void nodeRemoved(GraphEvent e)
nodeRemoved in interface GraphListenerpublic void structureChanged(GraphEvent e)
structureChanged in interface GraphListenerpublic java.util.Iterator iterator()
public java.lang.String toString()
toString in class java.lang.Object