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.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getEnd()
Get the last history entry this event relates to.
|
int |
getStart()
Get the first history entry this event relates to.
|
java.lang.String |
toString()
Get a string representation of this object.
|
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