easik.sketch.util
Class SketchAdapter.JGraphTListener

java.lang.Object
  easik.sketch.util.SketchAdapter.JGraphTListener

All Implemented Interfaces:

java.io.Serializable, java.util.EventListener, org.jgrapht.event.GraphListener, org.jgrapht.event.VertexSetListener

Enclosing class:

SketchAdapter

private class SketchAdapter.JGraphTListener
extends java.lang.Object
implements org.jgrapht.event.GraphListener, java.io.Serializable

A listener on the underlying JGraphT graph. This listener is used to keep the JGraph model in sync. Whenever one of the event handlers is called, it first checks whether the change is due to a previous change in the JGraph model. If it is, then no action is taken.

Since:

Aug 2, 2003

Author:

Barak Naveh

Constructor Summary

private

SketchAdapter.JGraphTListener()

Method Summary

void	edgeAdded(org.jgrapht.event.GraphEdgeChangeEvent e) Action called when an edge is added
void	edgeRemoved(org.jgrapht.event.GraphEdgeChangeEvent e) Action called when an edge is removed
void	vertexAdded(org.jgrapht.event.GraphVertexChangeEvent e) Action called when a vertex is added
void	vertexRemoved(org.jgrapht.event.GraphVertexChangeEvent e) Action called when a vertex is removed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SketchAdapter.JGraphTListener

private SketchAdapter.JGraphTListener()

Method Detail

edgeAdded

public void edgeAdded(org.jgrapht.event.GraphEdgeChangeEvent e)

Action called when an edge is added

Specified by:

edgeAdded in interface org.jgrapht.event.GraphListener

Parameters:

e - The action event

edgeRemoved

public void edgeRemoved(org.jgrapht.event.GraphEdgeChangeEvent e)

Action called when an edge is removed

Specified by:

edgeRemoved in interface org.jgrapht.event.GraphListener

Parameters:

e - The action event

vertexAdded

public void vertexAdded(org.jgrapht.event.GraphVertexChangeEvent e)

Action called when a vertex is added

Specified by:

vertexAdded in interface org.jgrapht.event.VertexSetListener

Parameters:

e - The action event

vertexRemoved

public void vertexRemoved(org.jgrapht.event.GraphVertexChangeEvent e)

Action called when a vertex is removed

Specified by:

vertexRemoved in interface org.jgrapht.event.VertexSetListener

Parameters:

e - The action event