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