mapcomplete/Logic/ElementStorage.ts

99 lines
3.1 KiB
TypeScript
Raw Normal View History

2020-06-24 00:35:19 +02:00
/**
2021-01-02 21:03:40 +01:00
* Keeps track of a dictionary 'elementID' -> UIEventSource<tags>
2020-06-24 00:35:19 +02:00
*/
import {UIEventSource} from "./UIEventSource";
2020-06-24 00:35:19 +02:00
export class ElementStorage {
public ContainingFeatures = new Map<string, any>();
private _elements = new Map<string, UIEventSource<any>>();
2020-06-24 00:35:19 +02:00
constructor() {
}
addElementById(id: string, eventSource: UIEventSource<any>) {
this._elements.set(id, eventSource);
2020-06-24 00:35:19 +02:00
}
/**
* Creates a UIEventSource for the tags of the given feature.
* If an UIEventsource has been created previously, the same UIEventSource will be returned
*
* Note: it will cleverly merge the tags, if needed
*/
addOrGetElement(feature: any): UIEventSource<any> {
const elementId = feature.properties.id;
const newProperties = feature.properties;
const es = this.addOrGetById(elementId, newProperties)
2020-06-24 00:35:19 +02:00
// At last, we overwrite the tag of the new feature to use the tags in the already existing event source
feature.properties = es.data
if (!this.ContainingFeatures.has(elementId)) {
this.ContainingFeatures.set(elementId, feature);
}
return es;
}
getEventSourceById(elementId): UIEventSource<any> {
2021-11-07 16:34:51 +01:00
if (elementId === undefined) {
2021-09-29 01:12:38 +02:00
return undefined;
}
2021-11-07 16:34:51 +01:00
return this._elements.get(elementId);
}
has(id) {
return this._elements.has(id);
}
private addOrGetById(elementId: string, newProperties: any): UIEventSource<any> {
if (!this._elements.has(elementId)) {
const eventSource = new UIEventSource<any>(newProperties, "tags of " + elementId);
this._elements.set(elementId, eventSource);
return eventSource;
2020-06-24 00:35:19 +02:00
}
const es = this._elements.get(elementId);
if (es.data == newProperties) {
// Reference comparison gives the same object! we can just return the event source
return es;
}
const keptKeys = es.data;
// The element already exists
// We use the new feature to overwrite all the properties in the already existing eventsource
const debug_msg = []
let somethingChanged = false;
for (const k in newProperties) {
if (!newProperties.hasOwnProperty(k)) {
2021-05-17 00:17:21 +02:00
continue;
}
const v = newProperties[k];
if (keptKeys[k] !== v) {
if (v === undefined) {
// The new value is undefined; the tag might have been removed
// It might be a metatag as well
// In the latter case, we do keep the tag!
if (!k.startsWith("_")) {
delete keptKeys[k]
debug_msg.push(("Erased " + k))
}
} else {
keptKeys[k] = v;
debug_msg.push(k + " --> " + v)
}
somethingChanged = true;
}
}
if (somethingChanged) {
es.ping();
}
return es;
2020-06-24 00:35:19 +02:00
}
}