2021-01-03 03:09:52 +01:00
|
|
|
/**
|
|
|
|
* Every previously added point is remembered, but new points are added
|
|
|
|
*/
|
|
|
|
import FeatureSource from "./FeatureSource";
|
|
|
|
import {UIEventSource} from "../UIEventSource";
|
|
|
|
|
2021-01-04 22:59:11 +01:00
|
|
|
export default class RememberingSource implements FeatureSource {
|
|
|
|
features: UIEventSource<{ feature: any, freshness: Date }[]>;
|
|
|
|
|
2021-01-03 03:09:52 +01:00
|
|
|
constructor(source: FeatureSource) {
|
|
|
|
const self = this;
|
2021-01-04 22:59:11 +01:00
|
|
|
const empty = [];
|
|
|
|
this.features = source.features.map(features => {
|
|
|
|
const oldFeatures = self.features?.data ?? empty;
|
|
|
|
if (features === undefined) {
|
|
|
|
return oldFeatures;
|
2021-01-03 03:09:52 +01:00
|
|
|
}
|
2021-01-04 22:59:11 +01:00
|
|
|
|
|
|
|
// Then new ids
|
|
|
|
const ids = new Set<string>(features.map(f => f.feature.properties.id + f.feature.geometry.type));
|
|
|
|
// the old data
|
|
|
|
const oldData = oldFeatures.filter(old => !ids.has(old.feature.properties.id + old.feature.geometry.type))
|
|
|
|
return [...features, ...oldData];
|
2021-01-03 03:09:52 +01:00
|
|
|
})
|
|
|
|
}
|
2021-01-04 22:59:11 +01:00
|
|
|
|
2021-01-03 03:09:52 +01:00
|
|
|
}
|