2021-01-03 03:09:52 +01:00
|
|
|
import FeatureSource from "./FeatureSource";
|
|
|
|
import {UIEventSource} from "../UIEventSource";
|
|
|
|
import LayerConfig from "../../Customizations/JSON/LayerConfig";
|
|
|
|
import Loc from "../../Models/Loc";
|
|
|
|
|
|
|
|
export default class FilteringFeatureSource implements FeatureSource {
|
|
|
|
public features: UIEventSource<{ feature: any; freshness: Date }[]> = new UIEventSource<{ feature: any; freshness: Date }[]>([]);
|
|
|
|
|
|
|
|
constructor(layers: {
|
|
|
|
isDisplayed: UIEventSource<boolean>,
|
|
|
|
layerDef: LayerConfig
|
|
|
|
}[],
|
|
|
|
location: UIEventSource<Loc>,
|
|
|
|
upstream: FeatureSource) {
|
|
|
|
|
|
|
|
const layerDict = {};
|
2021-01-04 04:06:21 +01:00
|
|
|
|
2021-01-03 03:09:52 +01:00
|
|
|
const self = this;
|
2021-01-04 04:06:21 +01:00
|
|
|
|
2021-01-03 03:09:52 +01:00
|
|
|
function update() {
|
|
|
|
const features: { feature: any, freshness: Date }[] = upstream.features.data;
|
|
|
|
const newFeatures = features.filter(f => {
|
2021-01-04 04:06:21 +01:00
|
|
|
const layerId = f.feature._matching_layer_id;
|
2021-01-03 03:09:52 +01:00
|
|
|
if (layerId === undefined) {
|
|
|
|
console.error(f)
|
|
|
|
throw "feature._matching_layer_id is undefined"
|
|
|
|
}
|
|
|
|
const layer: {
|
|
|
|
isDisplayed: UIEventSource<boolean>,
|
|
|
|
layerDef: LayerConfig
|
|
|
|
} = layerDict[layerId];
|
|
|
|
if (layer === undefined) {
|
|
|
|
throw "No layer found with id " + layerId;
|
|
|
|
}
|
|
|
|
return layer.isDisplayed.data && (layer.layerDef.minzoom <= location.data.zoom);
|
|
|
|
});
|
|
|
|
self.features.setData(newFeatures);
|
|
|
|
}
|
2021-01-04 04:06:21 +01:00
|
|
|
|
2021-01-03 03:09:52 +01:00
|
|
|
for (const layer of layers) {
|
|
|
|
layerDict[layer.layerDef.id] = layer;
|
2021-01-04 04:06:21 +01:00
|
|
|
layer.isDisplayed.addCallback(() => {
|
|
|
|
update()})
|
2021-01-03 03:09:52 +01:00
|
|
|
}
|
2021-01-04 04:06:21 +01:00
|
|
|
upstream.features.addCallback(() => {
|
|
|
|
update()});
|
|
|
|
location.map(l => l.zoom).addCallback(() => {
|
|
|
|
update();});
|
2021-01-03 03:09:52 +01:00
|
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
}
|