mapcomplete/Logic/FeatureSource/FilteringFeatureSource.ts

86 lines
3 KiB
TypeScript
Raw Normal View History

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 = {};
const self = this;
function update() {
const features: { feature: any, freshness: Date }[] = upstream.features.data;
const newFeatures = features.filter(f => {
const layerId = f.feature._matching_layer_id;
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;
}
2021-01-08 14:23:12 +01:00
if (FilteringFeatureSource.showLayer(layer, location)) {
return true;
}
// Does it match any other layer?
for (const toCheck of layers) {
2021-01-08 14:23:12 +01:00
if (!FilteringFeatureSource.showLayer(toCheck, location)) {
continue;
}
2021-01-08 14:23:12 +01:00
if (toCheck.layerDef.overpassTags.matchesProperties(f.feature.properties)) {
return true;
}
}
return false;
2021-01-08 14:23:12 +01:00
});
self.features.setData(newFeatures);
}
for (const layer of layers) {
layerDict[layer.layerDef.id] = layer;
}
upstream.features.addCallback(() => {
2021-01-08 14:23:12 +01:00
update()
});
2021-01-05 10:56:25 +01:00
location.map(l => {
// We want something that is stable for the shown layers
const displayedLayerIndexes = [];
for (let i = 0; i < layers.length; i++) {
2021-01-08 14:23:12 +01:00
if (l.zoom < layers[i].layerDef.minzoom) {
2021-01-05 11:17:12 +01:00
continue;
2021-01-05 10:56:25 +01:00
}
2021-01-08 14:23:12 +01:00
if (!layers[i].isDisplayed.data) {
2021-01-05 11:17:12 +01:00
continue;
}
displayedLayerIndexes.push(i);
2021-01-05 10:56:25 +01:00
}
return displayedLayerIndexes.join(",")
2021-01-05 11:17:12 +01:00
}, layers.map(l => l.isDisplayed))
2021-01-05 10:56:25 +01:00
.addCallback(() => {
2021-01-08 14:23:12 +01:00
update();
});
}
2021-01-08 14:23:12 +01:00
private static showLayer(layer: {
isDisplayed: UIEventSource<boolean>,
layerDef: LayerConfig
}, location: UIEventSource<Loc>) {
return layer.isDisplayed.data && (layer.layerDef.minzoom <= location.data.zoom)
}
}