Package org.jgrapht.event
Class GraphChangeEvent
- java.lang.Object
-
- java.util.EventObject
-
- org.jgrapht.event.GraphChangeEvent
-
- All Implemented Interfaces:
Serializable
- Direct Known Subclasses:
GraphEdgeChangeEvent
,GraphVertexChangeEvent
public class GraphChangeEvent extends 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.-
Fields inherited from class java.util.EventObject
source
-
-
Constructor Summary
Constructors Constructor Description GraphChangeEvent(Object eventSource, int type)
Creates a new graph change event.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getType()
Returns the event type.-
Methods inherited from class java.util.EventObject
getSource, toString
-
-
-
-
Constructor Detail
-
GraphChangeEvent
public GraphChangeEvent(Object eventSource, int type)
Creates a new graph change event.- Parameters:
eventSource
- the source of the event.type
- the type of event.
-
-