|
|||||||||
| 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.
| 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 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
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||