org._3pq.jgrapht.event
Class GraphChangeEvent
EventObject
org._3pq.jgrapht.event.GraphChangeEvent
public class GraphChangeEvent
extends EventObject
An event which indicates that a graph has changed. This class is a root for
graph change events.
protected int | m_type - The type of graph change this event indicates.
|
GraphChangeEvent(Object eventSource, int type) - Creates a new graph change event.
|
int | getType() - Returns the event type.
|
m_type
protected int m_type
The type of graph change this event indicates.
GraphChangeEvent
public GraphChangeEvent(Object eventSource,
int type)
Creates a new graph change event.
eventSource
- the source of the event.type
- the type of event.
getType
public int getType()
Returns the event type.