public interface HistoryDataSetListener
HistoryDataSet
.Modifier and Type | Method and Description |
---|---|
void |
historyDataSetCleared(HistoryDataSet source)
Fired by a
HistoryDataSet if the history cached is cleared. |
void |
historyUpdated(HistoryDataSet source,
PrimitiveId id)
Fired by a
HistoryDataSet if the cached history of an OSM primitive with
id id is updated |
void historyUpdated(HistoryDataSet source, PrimitiveId id)
HistoryDataSet
if the cached history of an OSM primitive with
id id
is updatedsource
- the data set firing the eventid
- the id of the updated primitivevoid historyDataSetCleared(HistoryDataSet source)
HistoryDataSet
if the history cached is cleared.source
- the history data set firing the event