RequireConfiguration.js 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153
  1. "use strict";
  2. var __values = (this && this.__values) || function(o) {
  3. var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
  4. if (m) return m.call(o);
  5. if (o && typeof o.length === "number") return {
  6. next: function () {
  7. if (o && i >= o.length) o = void 0;
  8. return { value: o && o[i++], done: !o };
  9. }
  10. };
  11. throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
  12. };
  13. var __read = (this && this.__read) || function (o, n) {
  14. var m = typeof Symbol === "function" && o[Symbol.iterator];
  15. if (!m) return o;
  16. var i = m.call(o), r, ar = [], e;
  17. try {
  18. while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
  19. }
  20. catch (error) { e = { error: error }; }
  21. finally {
  22. try {
  23. if (r && !r.done && (m = i["return"])) m.call(i);
  24. }
  25. finally { if (e) throw e.error; }
  26. }
  27. return ar;
  28. };
  29. var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
  30. if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
  31. if (ar || !(i in from)) {
  32. if (!ar) ar = Array.prototype.slice.call(from, 0, i);
  33. ar[i] = from[i];
  34. }
  35. }
  36. return to.concat(ar || Array.prototype.slice.call(from));
  37. };
  38. var __importDefault = (this && this.__importDefault) || function (mod) {
  39. return (mod && mod.__esModule) ? mod : { "default": mod };
  40. };
  41. Object.defineProperty(exports, "__esModule", { value: true });
  42. exports.RequireConfiguration = exports.options = exports.RequireMethods = exports.RequireLoad = void 0;
  43. var Configuration_js_1 = require("../Configuration.js");
  44. var SymbolMap_js_1 = require("../SymbolMap.js");
  45. var TexError_js_1 = __importDefault(require("../TexError.js"));
  46. var global_js_1 = require("../../../components/global.js");
  47. var package_js_1 = require("../../../components/package.js");
  48. var loader_js_1 = require("../../../components/loader.js");
  49. var mathjax_js_1 = require("../../../mathjax.js");
  50. var Options_js_1 = require("../../../util/Options.js");
  51. var MJCONFIG = global_js_1.MathJax.config;
  52. function RegisterExtension(jax, name) {
  53. var _a;
  54. var require = jax.parseOptions.options.require;
  55. var required = jax.parseOptions.packageData.get('require').required;
  56. var extension = name.substr(require.prefix.length);
  57. if (required.indexOf(extension) < 0) {
  58. required.push(extension);
  59. RegisterDependencies(jax, loader_js_1.CONFIG.dependencies[name]);
  60. var handler = Configuration_js_1.ConfigurationHandler.get(extension);
  61. if (handler) {
  62. var options_1 = MJCONFIG[name] || {};
  63. if (handler.options && Object.keys(handler.options).length === 1 && handler.options[extension]) {
  64. options_1 = (_a = {}, _a[extension] = options_1, _a);
  65. }
  66. jax.configuration.add(extension, jax, options_1);
  67. var configured = jax.parseOptions.packageData.get('require').configured;
  68. if (handler.preprocessors.length && !configured.has(extension)) {
  69. configured.set(extension, true);
  70. mathjax_js_1.mathjax.retryAfter(Promise.resolve());
  71. }
  72. }
  73. }
  74. }
  75. function RegisterDependencies(jax, names) {
  76. var e_1, _a;
  77. if (names === void 0) { names = []; }
  78. var prefix = jax.parseOptions.options.require.prefix;
  79. try {
  80. for (var names_1 = __values(names), names_1_1 = names_1.next(); !names_1_1.done; names_1_1 = names_1.next()) {
  81. var name_1 = names_1_1.value;
  82. if (name_1.substr(0, prefix.length) === prefix) {
  83. RegisterExtension(jax, name_1);
  84. }
  85. }
  86. }
  87. catch (e_1_1) { e_1 = { error: e_1_1 }; }
  88. finally {
  89. try {
  90. if (names_1_1 && !names_1_1.done && (_a = names_1.return)) _a.call(names_1);
  91. }
  92. finally { if (e_1) throw e_1.error; }
  93. }
  94. }
  95. function RequireLoad(parser, name) {
  96. var options = parser.options.require;
  97. var allow = options.allow;
  98. var extension = (name.substr(0, 1) === '[' ? '' : options.prefix) + name;
  99. var allowed = (allow.hasOwnProperty(extension) ? allow[extension] :
  100. allow.hasOwnProperty(name) ? allow[name] : options.defaultAllow);
  101. if (!allowed) {
  102. throw new TexError_js_1.default('BadRequire', 'Extension "%1" is not allowed to be loaded', extension);
  103. }
  104. if (package_js_1.Package.packages.has(extension)) {
  105. RegisterExtension(parser.configuration.packageData.get('require').jax, extension);
  106. }
  107. else {
  108. mathjax_js_1.mathjax.retryAfter(loader_js_1.Loader.load(extension));
  109. }
  110. }
  111. exports.RequireLoad = RequireLoad;
  112. function config(_config, jax) {
  113. jax.parseOptions.packageData.set('require', {
  114. jax: jax,
  115. required: __spreadArray([], __read(jax.options.packages), false),
  116. configured: new Map()
  117. });
  118. var options = jax.parseOptions.options.require;
  119. var prefix = options.prefix;
  120. if (prefix.match(/[^_a-zA-Z0-9]/)) {
  121. throw Error('Illegal characters used in \\require prefix');
  122. }
  123. if (!loader_js_1.CONFIG.paths[prefix]) {
  124. loader_js_1.CONFIG.paths[prefix] = '[mathjax]/input/tex/extensions';
  125. }
  126. options.prefix = '[' + prefix + ']/';
  127. }
  128. exports.RequireMethods = {
  129. Require: function (parser, name) {
  130. var required = parser.GetArgument(name);
  131. if (required.match(/[^_a-zA-Z0-9]/) || required === '') {
  132. throw new TexError_js_1.default('BadPackageName', 'Argument for %1 is not a valid package name', name);
  133. }
  134. RequireLoad(parser, required);
  135. }
  136. };
  137. exports.options = {
  138. require: {
  139. allow: (0, Options_js_1.expandable)({
  140. base: false,
  141. 'all-packages': false,
  142. autoload: false,
  143. configmacros: false,
  144. tagformat: false,
  145. setoptions: false
  146. }),
  147. defaultAllow: true,
  148. prefix: 'tex'
  149. }
  150. };
  151. new SymbolMap_js_1.CommandMap('require', { require: 'Require' }, exports.RequireMethods);
  152. exports.RequireConfiguration = Configuration_js_1.Configuration.create('require', { handler: { macro: ['require'] }, config: config, options: exports.options });
  153. //# sourceMappingURL=RequireConfiguration.js.map