org._3pq.jgrapht.event
Class GraphChangeEvent
EventObjectorg._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.