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