java.lang.Object
java.util.EventObject
org.jgrapht.event.GraphChangeEvent
- All Implemented Interfaces:
Serializable
- Direct Known Subclasses:
GraphEdgeChangeEvent
,GraphVertexChangeEvent
An event which indicates that a graph has changed. This class is a root for graph change events.
- Author:
- Barak Naveh
- See Also:
-
Field Summary
Modifier and TypeFieldDescriptionprotected int
The type of graph change this event indicates.Fields inherited from class java.util.EventObject
source
-
Constructor Summary
ConstructorDescriptionGraphChangeEvent
(Object eventSource, int type) Creates a new graph change event. -
Method Summary
Methods inherited from class java.util.EventObject
getSource, toString
-
Field Details
-
type
protected int typeThe type of graph change this event indicates.
-
-
Constructor Details
-
GraphChangeEvent
Creates a new graph change event.- Parameters:
eventSource
- the source of the event.type
- the type of event.
-
-
Method Details
-
getType
public int getType()Returns the event type.- Returns:
- the event type.
-