/* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at <http://mozilla.org/MPL/2.0/>. */
const cachedSources = new Map();
export function setSource(source) {
cachedSources.set(source.id, source);
}
export function getSource(sourceId) { const source = cachedSources.get(sourceId); if (!source) { thrownew Error(`Parser: source ${sourceId} was not provided.`);
}
return source;
}
export function clearSources(sourceIds) { for (const sourceId of sourceIds) {
cachedSources.delete(sourceId);
}
}
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.