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
|
|
|
*/
|
2020-08-17 17:23:15 +02:00
|
|
|
import { UIEventSource } from "./UIEventSource"
|
2022-06-03 01:33:41 +02:00
|
|
|
import { GeoJSONObject } from "@turf/turf"
|
2020-06-24 00:35:19 +02:00
|
|
|
|
|
|
|
export class ElementStorage {
|
2021-05-16 15:34:44 +02:00
|
|
|
public ContainingFeatures = new Map<string, any>()
|
2021-09-09 00:05:51 +02:00
|
|
|
private _elements = new Map<string, UIEventSource<any>>()
|
2020-06-24 00:35:19 +02:00
|
|
|
|
|
|
|
constructor() {}
|
|
|
|
|
|
|
|
addElementById(id: string, eventSource: UIEventSource<any>) {
|
2021-04-17 23:36:46 +02:00
|
|
|
this._elements.set(id, eventSource)
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|
|
|
|
|
2021-03-25 15:19:44 +01: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
|
2021-04-21 01:26:13 +02:00
|
|
|
const newProperties = feature.properties
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-04-21 01:26:13 +02:00
|
|
|
const es = this.addOrGetById(elementId, newProperties)
|
2020-06-24 00:35:19 +02:00
|
|
|
|
2021-04-21 01:26:13 +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
|
2021-09-09 00:05:51 +02:00
|
|
|
|
|
|
|
if (!this.ContainingFeatures.has(elementId)) {
|
2021-05-16 15:34:44 +02:00
|
|
|
this.ContainingFeatures.set(elementId, feature)
|
|
|
|
}
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-04-21 01:26:13 +02:00
|
|
|
return es
|
|
|
|
}
|
|
|
|
|
2021-05-10 23:51:03 +02:00
|
|
|
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-05-10 23:51:03 +02:00
|
|
|
}
|
2021-11-07 16:34:51 +01:00
|
|
|
return this._elements.get(elementId)
|
2021-05-10 23:51:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
has(id) {
|
|
|
|
return this._elements.has(id)
|
|
|
|
}
|
|
|
|
|
2022-04-08 04:18:53 +02:00
|
|
|
addAlias(oldId: string, newId: string) {
|
|
|
|
if (newId === undefined) {
|
|
|
|
// We removed the node/way/relation with type 'type' and id 'oldId' on openstreetmap!
|
|
|
|
const element = this.getEventSourceById(oldId)
|
|
|
|
element.data._deleted = "yes"
|
|
|
|
element.ping()
|
|
|
|
return
|
|
|
|
}
|
2022-09-08 21:40:48 +02:00
|
|
|
|
2022-04-08 04:18:53 +02:00
|
|
|
if (oldId == newId) {
|
|
|
|
return undefined
|
|
|
|
}
|
|
|
|
const element = this.getEventSourceById(oldId)
|
|
|
|
if (element === undefined) {
|
|
|
|
// Element to rewrite not found, probably a node or relation that is not rendered
|
|
|
|
return undefined
|
|
|
|
}
|
|
|
|
element.data.id = newId
|
|
|
|
this.addElementById(newId, element)
|
|
|
|
this.ContainingFeatures.set(newId, this.ContainingFeatures.get(oldId))
|
|
|
|
element.ping()
|
|
|
|
}
|
2022-09-08 21:40:48 +02:00
|
|
|
|
2021-05-10 23:51:03 +02:00
|
|
|
private addOrGetById(elementId: string, newProperties: any): UIEventSource<any> {
|
2021-04-21 01:26:13 +02:00
|
|
|
if (!this._elements.has(elementId)) {
|
|
|
|
const eventSource = new UIEventSource<any>(newProperties, "tags of " + elementId)
|
|
|
|
this._elements.set(elementId, eventSource)
|
2021-03-25 15:19:44 +01:00
|
|
|
return eventSource
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|
2021-04-21 01:26:13 +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
|
2021-05-10 23:51:03 +02:00
|
|
|
const debug_msg = []
|
2021-04-21 01:26:13 +02:00
|
|
|
let somethingChanged = false
|
|
|
|
for (const k in newProperties) {
|
2021-09-09 00:05:51 +02:00
|
|
|
if (!newProperties.hasOwnProperty(k)) {
|
2021-05-17 00:17:21 +02:00
|
|
|
continue
|
|
|
|
}
|
2021-04-21 01:26:13 +02:00
|
|
|
const v = newProperties[k]
|
2021-05-10 23:51:03 +02:00
|
|
|
|
2021-04-21 01:26:13 +02:00
|
|
|
if (keptKeys[k] !== v) {
|
2021-05-10 23:51:03 +02:00
|
|
|
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)
|
|
|
|
}
|
|
|
|
|
2021-04-21 01:26:13 +02:00
|
|
|
somethingChanged = true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (somethingChanged) {
|
|
|
|
es.ping()
|
|
|
|
}
|
|
|
|
return es
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|
|
|
|
}
|