123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163 |
- "use strict";
- var __read = (this && this.__read) || function (o, n) {
- var m = typeof Symbol === "function" && o[Symbol.iterator];
- if (!m) return o;
- var i = m.call(o), r, ar = [], e;
- try {
- while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
- }
- catch (error) { e = { error: error }; }
- finally {
- try {
- if (r && !r.done && (m = i["return"])) m.call(i);
- }
- finally { if (e) throw e.error; }
- }
- return ar;
- };
- var __values = (this && this.__values) || function(o) {
- var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
- if (m) return m.call(o);
- if (o && typeof o.length === "number") return {
- next: function () {
- if (o && i >= o.length) o = void 0;
- return { value: o && o[i++], done: !o };
- }
- };
- throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
- };
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.AutoloadConfiguration = void 0;
- var Configuration_js_1 = require("../Configuration.js");
- var SymbolMap_js_1 = require("../SymbolMap.js");
- var Symbol_js_1 = require("../Symbol.js");
- var RequireConfiguration_js_1 = require("../require/RequireConfiguration.js");
- var package_js_1 = require("../../../components/package.js");
- var Options_js_1 = require("../../../util/Options.js");
- function Autoload(parser, name, extension, isMacro) {
- var e_1, _a, e_2, _b;
- if (package_js_1.Package.packages.has(parser.options.require.prefix + extension)) {
- var def = parser.options.autoload[extension];
- var _c = __read((def.length === 2 && Array.isArray(def[0]) ? def : [def, []]), 2), macros = _c[0], envs = _c[1];
- try {
- for (var macros_1 = __values(macros), macros_1_1 = macros_1.next(); !macros_1_1.done; macros_1_1 = macros_1.next()) {
- var macro = macros_1_1.value;
- AutoloadMacros.remove(macro);
- }
- }
- catch (e_1_1) { e_1 = { error: e_1_1 }; }
- finally {
- try {
- if (macros_1_1 && !macros_1_1.done && (_a = macros_1.return)) _a.call(macros_1);
- }
- finally { if (e_1) throw e_1.error; }
- }
- try {
- for (var envs_1 = __values(envs), envs_1_1 = envs_1.next(); !envs_1_1.done; envs_1_1 = envs_1.next()) {
- var env = envs_1_1.value;
- AutoloadEnvironments.remove(env);
- }
- }
- catch (e_2_1) { e_2 = { error: e_2_1 }; }
- finally {
- try {
- if (envs_1_1 && !envs_1_1.done && (_b = envs_1.return)) _b.call(envs_1);
- }
- finally { if (e_2) throw e_2.error; }
- }
- parser.string = (isMacro ? name + ' ' : '\\begin{' + name.slice(1) + '}') + parser.string.slice(parser.i);
- parser.i = 0;
- }
- (0, RequireConfiguration_js_1.RequireLoad)(parser, extension);
- }
- function initAutoload(config) {
- if (!config.options.require) {
- (0, Options_js_1.defaultOptions)(config.options, RequireConfiguration_js_1.RequireConfiguration.options);
- }
- }
- function configAutoload(config, jax) {
- var e_3, _a, e_4, _b, e_5, _c;
- var parser = jax.parseOptions;
- var macros = parser.handlers.get('macro');
- var environments = parser.handlers.get('environment');
- var autoload = parser.options.autoload;
- parser.packageData.set('autoload', { Autoload: Autoload });
- try {
- for (var _d = __values(Object.keys(autoload)), _e = _d.next(); !_e.done; _e = _d.next()) {
- var extension = _e.value;
- var def = autoload[extension];
- var _f = __read((def.length === 2 && Array.isArray(def[0]) ? def : [def, []]), 2), macs = _f[0], envs = _f[1];
- try {
- for (var macs_1 = (e_4 = void 0, __values(macs)), macs_1_1 = macs_1.next(); !macs_1_1.done; macs_1_1 = macs_1.next()) {
- var name_1 = macs_1_1.value;
- if (!macros.lookup(name_1) || name_1 === 'color') {
- AutoloadMacros.add(name_1, new Symbol_js_1.Macro(name_1, Autoload, [extension, true]));
- }
- }
- }
- catch (e_4_1) { e_4 = { error: e_4_1 }; }
- finally {
- try {
- if (macs_1_1 && !macs_1_1.done && (_b = macs_1.return)) _b.call(macs_1);
- }
- finally { if (e_4) throw e_4.error; }
- }
- try {
- for (var envs_2 = (e_5 = void 0, __values(envs)), envs_2_1 = envs_2.next(); !envs_2_1.done; envs_2_1 = envs_2.next()) {
- var name_2 = envs_2_1.value;
- if (!environments.lookup(name_2)) {
- AutoloadEnvironments.add(name_2, new Symbol_js_1.Macro(name_2, Autoload, [extension, false]));
- }
- }
- }
- catch (e_5_1) { e_5 = { error: e_5_1 }; }
- finally {
- try {
- if (envs_2_1 && !envs_2_1.done && (_c = envs_2.return)) _c.call(envs_2);
- }
- finally { if (e_5) throw e_5.error; }
- }
- }
- }
- catch (e_3_1) { e_3 = { error: e_3_1 }; }
- finally {
- try {
- if (_e && !_e.done && (_a = _d.return)) _a.call(_d);
- }
- finally { if (e_3) throw e_3.error; }
- }
- if (!parser.packageData.get('require')) {
- RequireConfiguration_js_1.RequireConfiguration.config(config, jax);
- }
- }
- var AutoloadMacros = new SymbolMap_js_1.CommandMap('autoload-macros', {}, {});
- var AutoloadEnvironments = new SymbolMap_js_1.CommandMap('autoload-environments', {}, {});
- exports.AutoloadConfiguration = Configuration_js_1.Configuration.create('autoload', {
- handler: {
- macro: ['autoload-macros'],
- environment: ['autoload-environments']
- },
- options: {
- autoload: (0, Options_js_1.expandable)({
- action: ['toggle', 'mathtip', 'texttip'],
- amscd: [[], ['CD']],
- bbox: ['bbox'],
- boldsymbol: ['boldsymbol'],
- braket: ['bra', 'ket', 'braket', 'set', 'Bra', 'Ket', 'Braket', 'Set', 'ketbra', 'Ketbra'],
- bussproofs: [[], ['prooftree']],
- cancel: ['cancel', 'bcancel', 'xcancel', 'cancelto'],
- color: ['color', 'definecolor', 'textcolor', 'colorbox', 'fcolorbox'],
- enclose: ['enclose'],
- extpfeil: ['xtwoheadrightarrow', 'xtwoheadleftarrow', 'xmapsto', 'xlongequal', 'xtofrom', 'Newextarrow'],
- html: ['href', 'class', 'style', 'cssId'],
- mhchem: ['ce', 'pu'],
- newcommand: ['newcommand', 'renewcommand', 'newenvironment', 'renewenvironment', 'def', 'let'],
- unicode: ['unicode'],
- verb: ['verb']
- })
- },
- config: configAutoload,
- init: initAutoload,
- priority: 10
- });
- //# sourceMappingURL=AutoloadConfiguration.js.map
|