public class GraphLogger extends 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.
|
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.
|
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()
Copyright © 2025 Central Laboratory of the Research Councils. All Rights Reserved.