|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
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.
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. |
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. |
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 |
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 Iterator iterator()
public String toString()
toString
in class Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |