|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdiva.graph.toolbox.GraphLogger
public class GraphLogger
A logger of graph events. Every event that is sent to this logger is stored in a log which can then be printed out or otherwise analyzed.
Red |
Field Summary | |
---|---|
private java.util.ArrayList |
_log
Storage for the log. |
Constructor Summary | |
---|---|
GraphLogger()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.util.ArrayList _log
Constructor Detail |
---|
public GraphLogger()
Method Detail |
---|
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |