java.lang.Object
java.util.EventObject
org.jgrapht.event.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.
- Author:
- Barak Naveh
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description protected int
type
The type of graph change this event indicates. -
Constructor Summary
Constructors Constructor Description GraphChangeEvent(java.lang.Object eventSource, int type)
Creates a new graph change event. -
Method Summary
Modifier and Type Method Description int
getType()
Returns the event type.
-
Field Details
-
type
protected int typeThe type of graph change this event indicates.
-
-
Constructor Details
-
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 Details
-
getType
public int getType()Returns the event type.- Returns:
- the event type.
-