org.jgrapht.event
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.
|