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