// Map
/*jslint esversion: 6*/
if (Map.prototype.grammalecte === undefined) {
Map.prototype.gl_shallowCopy = function () {
let oNewMap = new Map();
for (let [key, val] of this.entries()) {
oNewMap.set(key, val);
}
return oNewMap;
};
Map.prototype.gl_get = function (key, defaultValue) {
let res = this.get(key);
if (res !== undefined) {
return res;
}
return defaultValue;
};
Map.prototype.gl_toString = function () {
// Default .toString() gives nothing useful
let sRes = "{ ";
for (let [k, v] of this.entries()) {
sRes += (typeof k === "string") ? '"' + k + '": ' : k.toString() + ": ";
sRes += (typeof v === "string") ? '"' + v + '", ' : v.toString() + ", ";
}
sRes = sRes.slice(0, -2) + " }";
return sRes;
};
Map.prototype.gl_update = function (dDict) {
for (let [k, v] of dDict.entries()) {
this.set(k, v);
}
};
Map.prototype.gl_updateOnlyExistingKeys = function (dDict) {
for (let [k, v] of dDict.entries()) {
if (this.has(k)){
this.set(k, v);
}
}
};
Map.prototype.grammalecte = true;
}