public class GraphChangeEvent
extends java.util.EventObject
Modifier and Type | Field and Description |
---|---|
protected int |
type
The type of graph change this event indicates.
|
Constructor and Description |
---|
GraphChangeEvent(java.lang.Object eventSource,
int type)
Creates a new graph change event.
|
Modifier and Type | Method and Description |
---|---|
int |
getType()
Returns the event type.
|