public final class HistoryModelEvent
extends java.util.EventObject
HistoryModel
.Constructor and Description |
---|
HistoryModelEvent(HistoryModel source)
Construct a history model event.
|
HistoryModelEvent(HistoryModel source,
int start,
int end)
Construct a history model event.
|
public HistoryModelEvent(HistoryModel source)
source
- the source should be the model this event relates to.public HistoryModelEvent(HistoryModel source, int start, int end)
source
- the source should be the model this event relates tostart
- the first entry index this event relates toend
- the last entry index this event relates to.public int getStart()
public int getEnd()
public java.lang.String toString()
toString
in class java.util.EventObject