org.jscience.computing.graph.events
Class GraphChangeEvent

java.lang.Object
  extended by java.util.EventObject
      extended by org.jscience.computing.graph.events.GraphChangeEvent
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
GraphEdgeChangeEvent, GraphVertexChangeEvent

public class GraphChangeEvent
extends java.util.EventObject

An event which indicates that a graph has changed. This class is a root for graph change events.

Since:
Aug 10, 2003
See Also:
Serialized Form

Field Summary
protected  int m_type
          The type of graph change this event indicates.
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
GraphChangeEvent(java.lang.Object eventSource, int type)
          Creates a new graph change event.
 
Method Summary
 int getType()
          Returns the event type.
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_type

protected int m_type
The type of graph change this event indicates.

Constructor Detail

GraphChangeEvent

public GraphChangeEvent(java.lang.Object eventSource,
                        int type)
Creates a new graph change event.

Parameters:
eventSource - the source of the event.
type - the type of event.
Method Detail

getType

public int getType()
Returns the event type.

Returns:
the event type.