FontData.js 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390
  1. "use strict";
  2. var __extends = (this && this.__extends) || (function () {
  3. var extendStatics = function (d, b) {
  4. extendStatics = Object.setPrototypeOf ||
  5. ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
  6. function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
  7. return extendStatics(d, b);
  8. };
  9. return function (d, b) {
  10. if (typeof b !== "function" && b !== null)
  11. throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
  12. extendStatics(d, b);
  13. function __() { this.constructor = d; }
  14. d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
  15. };
  16. })();
  17. var __assign = (this && this.__assign) || function () {
  18. __assign = Object.assign || function(t) {
  19. for (var s, i = 1, n = arguments.length; i < n; i++) {
  20. s = arguments[i];
  21. for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
  22. t[p] = s[p];
  23. }
  24. return t;
  25. };
  26. return __assign.apply(this, arguments);
  27. };
  28. var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
  29. if (k2 === undefined) k2 = k;
  30. var desc = Object.getOwnPropertyDescriptor(m, k);
  31. if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
  32. desc = { enumerable: true, get: function() { return m[k]; } };
  33. }
  34. Object.defineProperty(o, k2, desc);
  35. }) : (function(o, m, k, k2) {
  36. if (k2 === undefined) k2 = k;
  37. o[k2] = m[k];
  38. }));
  39. var __exportStar = (this && this.__exportStar) || function(m, exports) {
  40. for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
  41. };
  42. var __values = (this && this.__values) || function(o) {
  43. var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
  44. if (m) return m.call(o);
  45. if (o && typeof o.length === "number") return {
  46. next: function () {
  47. if (o && i >= o.length) o = void 0;
  48. return { value: o && o[i++], done: !o };
  49. }
  50. };
  51. throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
  52. };
  53. var __read = (this && this.__read) || function (o, n) {
  54. var m = typeof Symbol === "function" && o[Symbol.iterator];
  55. if (!m) return o;
  56. var i = m.call(o), r, ar = [], e;
  57. try {
  58. while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
  59. }
  60. catch (error) { e = { error: error }; }
  61. finally {
  62. try {
  63. if (r && !r.done && (m = i["return"])) m.call(i);
  64. }
  65. finally { if (e) throw e.error; }
  66. }
  67. return ar;
  68. };
  69. Object.defineProperty(exports, "__esModule", { value: true });
  70. exports.AddCSS = exports.CHTMLFontData = void 0;
  71. var FontData_js_1 = require("../common/FontData.js");
  72. var Usage_js_1 = require("./Usage.js");
  73. var lengths_js_1 = require("../../util/lengths.js");
  74. __exportStar(require("../common/FontData.js"), exports);
  75. var CHTMLFontData = (function (_super) {
  76. __extends(CHTMLFontData, _super);
  77. function CHTMLFontData() {
  78. var _this = _super !== null && _super.apply(this, arguments) || this;
  79. _this.charUsage = new Usage_js_1.Usage();
  80. _this.delimUsage = new Usage_js_1.Usage();
  81. return _this;
  82. }
  83. CHTMLFontData.charOptions = function (font, n) {
  84. return _super.charOptions.call(this, font, n);
  85. };
  86. CHTMLFontData.prototype.adaptiveCSS = function (adapt) {
  87. this.options.adaptiveCSS = adapt;
  88. };
  89. CHTMLFontData.prototype.clearCache = function () {
  90. if (this.options.adaptiveCSS) {
  91. this.charUsage.clear();
  92. this.delimUsage.clear();
  93. }
  94. };
  95. CHTMLFontData.prototype.createVariant = function (name, inherit, link) {
  96. if (inherit === void 0) { inherit = null; }
  97. if (link === void 0) { link = null; }
  98. _super.prototype.createVariant.call(this, name, inherit, link);
  99. var CLASS = this.constructor;
  100. this.variant[name].classes = CLASS.defaultVariantClasses[name];
  101. this.variant[name].letter = CLASS.defaultVariantLetters[name];
  102. };
  103. CHTMLFontData.prototype.defineChars = function (name, chars) {
  104. var e_1, _a;
  105. _super.prototype.defineChars.call(this, name, chars);
  106. var letter = this.variant[name].letter;
  107. try {
  108. for (var _b = __values(Object.keys(chars)), _c = _b.next(); !_c.done; _c = _b.next()) {
  109. var n = _c.value;
  110. var options = CHTMLFontData.charOptions(chars, parseInt(n));
  111. if (options.f === undefined) {
  112. options.f = letter;
  113. }
  114. }
  115. }
  116. catch (e_1_1) { e_1 = { error: e_1_1 }; }
  117. finally {
  118. try {
  119. if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
  120. }
  121. finally { if (e_1) throw e_1.error; }
  122. }
  123. };
  124. Object.defineProperty(CHTMLFontData.prototype, "styles", {
  125. get: function () {
  126. var CLASS = this.constructor;
  127. var styles = __assign({}, CLASS.defaultStyles);
  128. this.addFontURLs(styles, CLASS.defaultFonts, this.options.fontURL);
  129. if (this.options.adaptiveCSS) {
  130. this.updateStyles(styles);
  131. }
  132. else {
  133. this.allStyles(styles);
  134. }
  135. return styles;
  136. },
  137. enumerable: false,
  138. configurable: true
  139. });
  140. CHTMLFontData.prototype.updateStyles = function (styles) {
  141. var e_2, _a, e_3, _b;
  142. try {
  143. for (var _c = __values(this.delimUsage.update()), _d = _c.next(); !_d.done; _d = _c.next()) {
  144. var N = _d.value;
  145. this.addDelimiterStyles(styles, N, this.delimiters[N]);
  146. }
  147. }
  148. catch (e_2_1) { e_2 = { error: e_2_1 }; }
  149. finally {
  150. try {
  151. if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
  152. }
  153. finally { if (e_2) throw e_2.error; }
  154. }
  155. try {
  156. for (var _e = __values(this.charUsage.update()), _f = _e.next(); !_f.done; _f = _e.next()) {
  157. var _g = __read(_f.value, 2), name_1 = _g[0], N = _g[1];
  158. var variant = this.variant[name_1];
  159. this.addCharStyles(styles, variant.letter, N, variant.chars[N]);
  160. }
  161. }
  162. catch (e_3_1) { e_3 = { error: e_3_1 }; }
  163. finally {
  164. try {
  165. if (_f && !_f.done && (_b = _e.return)) _b.call(_e);
  166. }
  167. finally { if (e_3) throw e_3.error; }
  168. }
  169. return styles;
  170. };
  171. CHTMLFontData.prototype.allStyles = function (styles) {
  172. var e_4, _a, e_5, _b, e_6, _c;
  173. try {
  174. for (var _d = __values(Object.keys(this.delimiters)), _e = _d.next(); !_e.done; _e = _d.next()) {
  175. var n = _e.value;
  176. var N = parseInt(n);
  177. this.addDelimiterStyles(styles, N, this.delimiters[N]);
  178. }
  179. }
  180. catch (e_4_1) { e_4 = { error: e_4_1 }; }
  181. finally {
  182. try {
  183. if (_e && !_e.done && (_a = _d.return)) _a.call(_d);
  184. }
  185. finally { if (e_4) throw e_4.error; }
  186. }
  187. try {
  188. for (var _f = __values(Object.keys(this.variant)), _g = _f.next(); !_g.done; _g = _f.next()) {
  189. var name_2 = _g.value;
  190. var variant = this.variant[name_2];
  191. var vletter = variant.letter;
  192. try {
  193. for (var _h = (e_6 = void 0, __values(Object.keys(variant.chars))), _j = _h.next(); !_j.done; _j = _h.next()) {
  194. var n = _j.value;
  195. var N = parseInt(n);
  196. var char = variant.chars[N];
  197. if ((char[3] || {}).smp)
  198. continue;
  199. if (char.length < 4) {
  200. char[3] = {};
  201. }
  202. this.addCharStyles(styles, vletter, N, char);
  203. }
  204. }
  205. catch (e_6_1) { e_6 = { error: e_6_1 }; }
  206. finally {
  207. try {
  208. if (_j && !_j.done && (_c = _h.return)) _c.call(_h);
  209. }
  210. finally { if (e_6) throw e_6.error; }
  211. }
  212. }
  213. }
  214. catch (e_5_1) { e_5 = { error: e_5_1 }; }
  215. finally {
  216. try {
  217. if (_g && !_g.done && (_b = _f.return)) _b.call(_f);
  218. }
  219. finally { if (e_5) throw e_5.error; }
  220. }
  221. };
  222. CHTMLFontData.prototype.addFontURLs = function (styles, fonts, url) {
  223. var e_7, _a;
  224. try {
  225. for (var _b = __values(Object.keys(fonts)), _c = _b.next(); !_c.done; _c = _b.next()) {
  226. var name_3 = _c.value;
  227. var font = __assign({}, fonts[name_3]);
  228. font.src = font.src.replace(/%%URL%%/, url);
  229. styles[name_3] = font;
  230. }
  231. }
  232. catch (e_7_1) { e_7 = { error: e_7_1 }; }
  233. finally {
  234. try {
  235. if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
  236. }
  237. finally { if (e_7) throw e_7.error; }
  238. }
  239. };
  240. CHTMLFontData.prototype.addDelimiterStyles = function (styles, n, data) {
  241. var c = this.charSelector(n);
  242. if (data.c && data.c !== n) {
  243. c = this.charSelector(data.c);
  244. styles['.mjx-stretched mjx-c' + c + '::before'] = {
  245. content: this.charContent(data.c)
  246. };
  247. }
  248. if (!data.stretch)
  249. return;
  250. if (data.dir === 1) {
  251. this.addDelimiterVStyles(styles, c, data);
  252. }
  253. else {
  254. this.addDelimiterHStyles(styles, c, data);
  255. }
  256. };
  257. CHTMLFontData.prototype.addDelimiterVStyles = function (styles, c, data) {
  258. var HDW = data.HDW;
  259. var _a = __read(data.stretch, 4), beg = _a[0], ext = _a[1], end = _a[2], mid = _a[3];
  260. var Hb = this.addDelimiterVPart(styles, c, 'beg', beg, HDW);
  261. this.addDelimiterVPart(styles, c, 'ext', ext, HDW);
  262. var He = this.addDelimiterVPart(styles, c, 'end', end, HDW);
  263. var css = {};
  264. if (mid) {
  265. var Hm = this.addDelimiterVPart(styles, c, 'mid', mid, HDW);
  266. css.height = '50%';
  267. styles['mjx-stretchy-v' + c + ' > mjx-mid'] = {
  268. 'margin-top': this.em(-Hm / 2),
  269. 'margin-bottom': this.em(-Hm / 2)
  270. };
  271. }
  272. if (Hb) {
  273. css['border-top-width'] = this.em0(Hb - .03);
  274. }
  275. if (He) {
  276. css['border-bottom-width'] = this.em0(He - .03);
  277. styles['mjx-stretchy-v' + c + ' > mjx-end'] = { 'margin-top': this.em(-He) };
  278. }
  279. if (Object.keys(css).length) {
  280. styles['mjx-stretchy-v' + c + ' > mjx-ext'] = css;
  281. }
  282. };
  283. CHTMLFontData.prototype.addDelimiterVPart = function (styles, c, part, n, HDW) {
  284. if (!n)
  285. return 0;
  286. var data = this.getDelimiterData(n);
  287. var dw = (HDW[2] - data[2]) / 2;
  288. var css = { content: this.charContent(n) };
  289. if (part !== 'ext') {
  290. css.padding = this.padding(data, dw);
  291. }
  292. else {
  293. css.width = this.em0(HDW[2]);
  294. if (dw) {
  295. css['padding-left'] = this.em0(dw);
  296. }
  297. }
  298. styles['mjx-stretchy-v' + c + ' mjx-' + part + ' mjx-c::before'] = css;
  299. return data[0] + data[1];
  300. };
  301. CHTMLFontData.prototype.addDelimiterHStyles = function (styles, c, data) {
  302. var _a = __read(data.stretch, 4), beg = _a[0], ext = _a[1], end = _a[2], mid = _a[3];
  303. var HDW = data.HDW;
  304. this.addDelimiterHPart(styles, c, 'beg', beg, HDW);
  305. this.addDelimiterHPart(styles, c, 'ext', ext, HDW);
  306. this.addDelimiterHPart(styles, c, 'end', end, HDW);
  307. if (mid) {
  308. this.addDelimiterHPart(styles, c, 'mid', mid, HDW);
  309. styles['mjx-stretchy-h' + c + ' > mjx-ext'] = { width: '50%' };
  310. }
  311. };
  312. CHTMLFontData.prototype.addDelimiterHPart = function (styles, c, part, n, HDW) {
  313. if (!n)
  314. return;
  315. var data = this.getDelimiterData(n);
  316. var options = data[3];
  317. var css = { content: (options && options.c ? '"' + options.c + '"' : this.charContent(n)) };
  318. css.padding = this.padding(HDW, 0, -HDW[2]);
  319. styles['mjx-stretchy-h' + c + ' mjx-' + part + ' mjx-c::before'] = css;
  320. };
  321. CHTMLFontData.prototype.addCharStyles = function (styles, vletter, n, data) {
  322. var options = data[3];
  323. var letter = (options.f !== undefined ? options.f : vletter);
  324. var selector = 'mjx-c' + this.charSelector(n) + (letter ? '.TEX-' + letter : '');
  325. styles[selector + '::before'] = {
  326. padding: this.padding(data, 0, options.ic || 0),
  327. content: (options.c != null ? '"' + options.c + '"' : this.charContent(n))
  328. };
  329. };
  330. CHTMLFontData.prototype.getDelimiterData = function (n) {
  331. return this.getChar('-smallop', n);
  332. };
  333. CHTMLFontData.prototype.em = function (n) {
  334. return (0, lengths_js_1.em)(n);
  335. };
  336. CHTMLFontData.prototype.em0 = function (n) {
  337. return (0, lengths_js_1.em)(Math.max(0, n));
  338. };
  339. CHTMLFontData.prototype.padding = function (_a, dw, ic) {
  340. var _b = __read(_a, 3), h = _b[0], d = _b[1], w = _b[2];
  341. if (dw === void 0) { dw = 0; }
  342. if (ic === void 0) { ic = 0; }
  343. return [h, w + ic, d, dw].map(this.em0).join(' ');
  344. };
  345. CHTMLFontData.prototype.charContent = function (n) {
  346. return '"' + (n >= 0x20 && n <= 0x7E && n !== 0x22 && n !== 0x27 && n !== 0x5C ?
  347. String.fromCharCode(n) : '\\' + n.toString(16).toUpperCase()) + '"';
  348. };
  349. CHTMLFontData.prototype.charSelector = function (n) {
  350. return '.mjx-c' + n.toString(16).toUpperCase();
  351. };
  352. CHTMLFontData.OPTIONS = __assign(__assign({}, FontData_js_1.FontData.OPTIONS), { fontURL: 'js/output/chtml/fonts/tex-woff-v2' });
  353. CHTMLFontData.JAX = 'CHTML';
  354. CHTMLFontData.defaultVariantClasses = {};
  355. CHTMLFontData.defaultVariantLetters = {};
  356. CHTMLFontData.defaultStyles = {
  357. 'mjx-c::before': {
  358. display: 'block',
  359. width: 0
  360. }
  361. };
  362. CHTMLFontData.defaultFonts = {
  363. '@font-face /* 0 */': {
  364. 'font-family': 'MJXZERO',
  365. src: 'url("%%URL%%/MathJax_Zero.woff") format("woff")'
  366. }
  367. };
  368. return CHTMLFontData;
  369. }(FontData_js_1.FontData));
  370. exports.CHTMLFontData = CHTMLFontData;
  371. function AddCSS(font, options) {
  372. var e_8, _a;
  373. try {
  374. for (var _b = __values(Object.keys(options)), _c = _b.next(); !_c.done; _c = _b.next()) {
  375. var c = _c.value;
  376. var n = parseInt(c);
  377. Object.assign(FontData_js_1.FontData.charOptions(font, n), options[n]);
  378. }
  379. }
  380. catch (e_8_1) { e_8 = { error: e_8_1 }; }
  381. finally {
  382. try {
  383. if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
  384. }
  385. finally { if (e_8) throw e_8.error; }
  386. }
  387. return font;
  388. }
  389. exports.AddCSS = AddCSS;
  390. //# sourceMappingURL=FontData.js.map