123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171 |
- /* Copyright 2013 Mozilla Foundation
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- import { AppOptions, OptionKind } from "./app_options.js";
- /**
- * BasePreferences - Abstract base class for storing persistent settings.
- * Used for settings that should be applied to all opened documents,
- * or every time the viewer is loaded.
- */
- class BasePreferences {
- #defaults = Object.freeze(
- typeof PDFJSDev === "undefined" || !PDFJSDev.test("PRODUCTION")
- ? AppOptions.getAll(OptionKind.PREFERENCE)
- : PDFJSDev.eval("DEFAULT_PREFERENCES")
- );
- #prefs = Object.create(null);
- #initializedPromise = null;
- constructor() {
- if (this.constructor === BasePreferences) {
- throw new Error("Cannot initialize BasePreferences.");
- }
- if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("CHROME")) {
- Object.defineProperty(this, "defaults", {
- get() {
- return this.#defaults;
- },
- });
- }
- this.#initializedPromise = this._readFromStorage(this.#defaults).then(
- prefs => {
- for (const name in this.#defaults) {
- const prefValue = prefs?.[name];
- // Ignore preferences whose types don't match the default values.
- if (typeof prefValue === typeof this.#defaults[name]) {
- this.#prefs[name] = prefValue;
- }
- }
- }
- );
- }
- /**
- * Stub function for writing preferences to storage.
- * @param {Object} prefObj The preferences that should be written to storage.
- * @returns {Promise} A promise that is resolved when the preference values
- * have been written.
- */
- async _writeToStorage(prefObj) {
- throw new Error("Not implemented: _writeToStorage");
- }
- /**
- * Stub function for reading preferences from storage.
- * @param {Object} prefObj The preferences that should be read from storage.
- * @returns {Promise} A promise that is resolved with an {Object} containing
- * the preferences that have been read.
- */
- async _readFromStorage(prefObj) {
- throw new Error("Not implemented: _readFromStorage");
- }
- /**
- * Reset the preferences to their default values and update storage.
- * @returns {Promise} A promise that is resolved when the preference values
- * have been reset.
- */
- async reset() {
- await this.#initializedPromise;
- const prefs = this.#prefs;
- this.#prefs = Object.create(null);
- return this._writeToStorage(this.#defaults).catch(reason => {
- // Revert all preference values, since writing to storage failed.
- this.#prefs = prefs;
- throw reason;
- });
- }
- /**
- * Set the value of a preference.
- * @param {string} name The name of the preference that should be changed.
- * @param {boolean|number|string} value The new value of the preference.
- * @returns {Promise} A promise that is resolved when the value has been set,
- * provided that the preference exists and the types match.
- */
- async set(name, value) {
- await this.#initializedPromise;
- const defaultValue = this.#defaults[name],
- prefs = this.#prefs;
- if (defaultValue === undefined) {
- throw new Error(`Set preference: "${name}" is undefined.`);
- } else if (value === undefined) {
- throw new Error("Set preference: no value is specified.");
- }
- const valueType = typeof value,
- defaultType = typeof defaultValue;
- if (valueType !== defaultType) {
- if (valueType === "number" && defaultType === "string") {
- value = value.toString();
- } else {
- throw new Error(
- `Set preference: "${value}" is a ${valueType}, expected a ${defaultType}.`
- );
- }
- } else {
- if (valueType === "number" && !Number.isInteger(value)) {
- throw new Error(`Set preference: "${value}" must be an integer.`);
- }
- }
- this.#prefs[name] = value;
- return this._writeToStorage(this.#prefs).catch(reason => {
- // Revert all preference values, since writing to storage failed.
- this.#prefs = prefs;
- throw reason;
- });
- }
- /**
- * Get the value of a preference.
- * @param {string} name The name of the preference whose value is requested.
- * @returns {Promise} A promise resolved with a {boolean|number|string}
- * containing the value of the preference.
- */
- async get(name) {
- await this.#initializedPromise;
- const defaultValue = this.#defaults[name];
- if (defaultValue === undefined) {
- throw new Error(`Get preference: "${name}" is undefined.`);
- }
- return this.#prefs[name] ?? defaultValue;
- }
- /**
- * Get the values of all preferences.
- * @returns {Promise} A promise that is resolved with an {Object} containing
- * the values of all preferences.
- */
- async getAll() {
- await this.#initializedPromise;
- const obj = Object.create(null);
- for (const name in this.#defaults) {
- obj[name] = this.#prefs[name] ?? this.#defaults[name];
- }
- return obj;
- }
- }
- export { BasePreferences };
|