123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431 |
- "use strict";
- var __extends = (this && this.__extends) || (function () {
- var extendStatics = function (d, b) {
- extendStatics = Object.setPrototypeOf ||
- ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
- function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
- return extendStatics(d, b);
- };
- return function (d, b) {
- if (typeof b !== "function" && b !== null)
- throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
- extendStatics(d, b);
- function __() { this.constructor = d; }
- d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
- };
- })();
- var __assign = (this && this.__assign) || function () {
- __assign = Object.assign || function(t) {
- for (var s, i = 1, n = arguments.length; i < n; i++) {
- s = arguments[i];
- for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
- t[p] = s[p];
- }
- return t;
- };
- return __assign.apply(this, arguments);
- };
- 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.CommonOutputJax = void 0;
- var OutputJax_js_1 = require("../../core/OutputJax.js");
- var MathItem_js_1 = require("../../core/MathItem.js");
- var Options_js_1 = require("../../util/Options.js");
- var lengths_js_1 = require("../../util/lengths.js");
- var Styles_js_1 = require("../../util/Styles.js");
- var StyleList_js_1 = require("../../util/StyleList.js");
- var CommonOutputJax = (function (_super) {
- __extends(CommonOutputJax, _super);
- function CommonOutputJax(options, defaultFactory, defaultFont) {
- if (options === void 0) { options = null; }
- if (defaultFactory === void 0) { defaultFactory = null; }
- if (defaultFont === void 0) { defaultFont = null; }
- var _this = this;
- var _a = __read((0, Options_js_1.separateOptions)(options, defaultFont.OPTIONS), 2), jaxOptions = _a[0], fontOptions = _a[1];
- _this = _super.call(this, jaxOptions) || this;
- _this.factory = _this.options.wrapperFactory ||
- new defaultFactory();
- _this.factory.jax = _this;
- _this.cssStyles = _this.options.cssStyles || new StyleList_js_1.CssStyles();
- _this.font = _this.options.font || new defaultFont(fontOptions);
- _this.unknownCache = new Map();
- return _this;
- }
- CommonOutputJax.prototype.typeset = function (math, html) {
- this.setDocument(html);
- var node = this.createNode();
- this.toDOM(math, node, html);
- return node;
- };
- CommonOutputJax.prototype.createNode = function () {
- var jax = this.constructor.NAME;
- return this.html('mjx-container', { 'class': 'MathJax', jax: jax });
- };
- CommonOutputJax.prototype.setScale = function (node) {
- var scale = this.math.metrics.scale * this.options.scale;
- if (scale !== 1) {
- this.adaptor.setStyle(node, 'fontSize', (0, lengths_js_1.percent)(scale));
- }
- };
- CommonOutputJax.prototype.toDOM = function (math, node, html) {
- if (html === void 0) { html = null; }
- this.setDocument(html);
- this.math = math;
- this.pxPerEm = math.metrics.ex / this.font.params.x_height;
- math.root.setTeXclass(null);
- this.setScale(node);
- this.nodeMap = new Map();
- this.container = node;
- this.processMath(math.root, node);
- this.nodeMap = null;
- this.executeFilters(this.postFilters, math, html, node);
- };
- CommonOutputJax.prototype.getBBox = function (math, html) {
- this.setDocument(html);
- this.math = math;
- math.root.setTeXclass(null);
- this.nodeMap = new Map();
- var bbox = this.factory.wrap(math.root).getOuterBBox();
- this.nodeMap = null;
- return bbox;
- };
- CommonOutputJax.prototype.getMetrics = function (html) {
- var e_1, _a;
- this.setDocument(html);
- var adaptor = this.adaptor;
- var maps = this.getMetricMaps(html);
- try {
- for (var _b = __values(html.math), _c = _b.next(); !_c.done; _c = _b.next()) {
- var math = _c.value;
- var parent_1 = adaptor.parent(math.start.node);
- if (math.state() < MathItem_js_1.STATE.METRICS && parent_1) {
- var map = maps[math.display ? 1 : 0];
- var _d = map.get(parent_1), em = _d.em, ex = _d.ex, containerWidth = _d.containerWidth, lineWidth = _d.lineWidth, scale = _d.scale, family = _d.family;
- math.setMetrics(em, ex, containerWidth, lineWidth, scale);
- if (this.options.mtextInheritFont) {
- math.outputData.mtextFamily = family;
- }
- if (this.options.merrorInheritFont) {
- math.outputData.merrorFamily = family;
- }
- math.state(MathItem_js_1.STATE.METRICS);
- }
- }
- }
- catch (e_1_1) { e_1 = { error: e_1_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_1) throw e_1.error; }
- }
- };
- CommonOutputJax.prototype.getMetricsFor = function (node, display) {
- var getFamily = (this.options.mtextInheritFont || this.options.merrorInheritFont);
- var test = this.getTestElement(node, display);
- var metrics = this.measureMetrics(test, getFamily);
- this.adaptor.remove(test);
- return metrics;
- };
- CommonOutputJax.prototype.getMetricMaps = function (html) {
- var e_2, _a, e_3, _b, e_4, _c, e_5, _d, e_6, _e;
- var adaptor = this.adaptor;
- var domMaps = [new Map(), new Map()];
- try {
- for (var _f = __values(html.math), _g = _f.next(); !_g.done; _g = _f.next()) {
- var math = _g.value;
- var node = adaptor.parent(math.start.node);
- if (node && math.state() < MathItem_js_1.STATE.METRICS) {
- var map = domMaps[math.display ? 1 : 0];
- if (!map.has(node)) {
- map.set(node, this.getTestElement(node, math.display));
- }
- }
- }
- }
- catch (e_2_1) { e_2 = { error: e_2_1 }; }
- finally {
- try {
- if (_g && !_g.done && (_a = _f.return)) _a.call(_f);
- }
- finally { if (e_2) throw e_2.error; }
- }
- var getFamily = this.options.mtextInheritFont || this.options.merrorInheritFont;
- var maps = [new Map(), new Map()];
- try {
- for (var _h = __values(maps.keys()), _j = _h.next(); !_j.done; _j = _h.next()) {
- var i = _j.value;
- try {
- for (var _k = (e_4 = void 0, __values(domMaps[i].keys())), _l = _k.next(); !_l.done; _l = _k.next()) {
- var node = _l.value;
- maps[i].set(node, this.measureMetrics(domMaps[i].get(node), getFamily));
- }
- }
- catch (e_4_1) { e_4 = { error: e_4_1 }; }
- finally {
- try {
- if (_l && !_l.done && (_c = _k.return)) _c.call(_k);
- }
- finally { if (e_4) throw e_4.error; }
- }
- }
- }
- catch (e_3_1) { e_3 = { error: e_3_1 }; }
- finally {
- try {
- if (_j && !_j.done && (_b = _h.return)) _b.call(_h);
- }
- finally { if (e_3) throw e_3.error; }
- }
- try {
- for (var _m = __values(maps.keys()), _o = _m.next(); !_o.done; _o = _m.next()) {
- var i = _o.value;
- try {
- for (var _p = (e_6 = void 0, __values(domMaps[i].values())), _q = _p.next(); !_q.done; _q = _p.next()) {
- var node = _q.value;
- adaptor.remove(node);
- }
- }
- catch (e_6_1) { e_6 = { error: e_6_1 }; }
- finally {
- try {
- if (_q && !_q.done && (_e = _p.return)) _e.call(_p);
- }
- finally { if (e_6) throw e_6.error; }
- }
- }
- }
- catch (e_5_1) { e_5 = { error: e_5_1 }; }
- finally {
- try {
- if (_o && !_o.done && (_d = _m.return)) _d.call(_m);
- }
- finally { if (e_5) throw e_5.error; }
- }
- return maps;
- };
- CommonOutputJax.prototype.getTestElement = function (node, display) {
- var adaptor = this.adaptor;
- if (!this.testInline) {
- this.testInline = this.html('mjx-test', { style: {
- display: 'inline-block',
- width: '100%',
- 'font-style': 'normal',
- 'font-weight': 'normal',
- 'font-size': '100%',
- 'font-size-adjust': 'none',
- 'text-indent': 0,
- 'text-transform': 'none',
- 'letter-spacing': 'normal',
- 'word-spacing': 'normal',
- overflow: 'hidden',
- height: '1px',
- 'margin-right': '-1px'
- } }, [
- this.html('mjx-left-box', { style: {
- display: 'inline-block',
- width: 0,
- 'float': 'left'
- } }),
- this.html('mjx-ex-box', { style: {
- position: 'absolute',
- overflow: 'hidden',
- width: '1px', height: '60ex'
- } }),
- this.html('mjx-right-box', { style: {
- display: 'inline-block',
- width: 0,
- 'float': 'right'
- } })
- ]);
- this.testDisplay = adaptor.clone(this.testInline);
- adaptor.setStyle(this.testDisplay, 'display', 'table');
- adaptor.setStyle(this.testDisplay, 'margin-right', '');
- adaptor.setStyle(adaptor.firstChild(this.testDisplay), 'display', 'none');
- var right = adaptor.lastChild(this.testDisplay);
- adaptor.setStyle(right, 'display', 'table-cell');
- adaptor.setStyle(right, 'width', '10000em');
- adaptor.setStyle(right, 'float', '');
- }
- return adaptor.append(node, adaptor.clone(display ? this.testDisplay : this.testInline));
- };
- CommonOutputJax.prototype.measureMetrics = function (node, getFamily) {
- var adaptor = this.adaptor;
- var family = (getFamily ? adaptor.fontFamily(node) : '');
- var em = adaptor.fontSize(node);
- var _a = __read(adaptor.nodeSize(adaptor.childNode(node, 1)), 2), w = _a[0], h = _a[1];
- var ex = (w ? h / 60 : em * this.options.exFactor);
- var containerWidth = (!w ? 1000000 : adaptor.getStyle(node, 'display') === 'table' ?
- adaptor.nodeSize(adaptor.lastChild(node))[0] - 1 :
- adaptor.nodeBBox(adaptor.lastChild(node)).left -
- adaptor.nodeBBox(adaptor.firstChild(node)).left - 2);
- var scale = Math.max(this.options.minScale, this.options.matchFontHeight ? ex / this.font.params.x_height / em : 1);
- var lineWidth = 1000000;
- return { em: em, ex: ex, containerWidth: containerWidth, lineWidth: lineWidth, scale: scale, family: family };
- };
- CommonOutputJax.prototype.styleSheet = function (html) {
- var e_7, _a;
- this.setDocument(html);
- this.cssStyles.clear();
- this.cssStyles.addStyles(this.constructor.commonStyles);
- if ('getStyles' in html) {
- try {
- for (var _b = __values(html.getStyles()), _c = _b.next(); !_c.done; _c = _b.next()) {
- var styles = _c.value;
- this.cssStyles.addStyles(styles);
- }
- }
- catch (e_7_1) { e_7 = { error: e_7_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_7) throw e_7.error; }
- }
- }
- this.addWrapperStyles(this.cssStyles);
- this.addFontStyles(this.cssStyles);
- var sheet = this.html('style', { id: 'MJX-styles' }, [this.text('\n' + this.cssStyles.cssText + '\n')]);
- return sheet;
- };
- CommonOutputJax.prototype.addFontStyles = function (styles) {
- styles.addStyles(this.font.styles);
- };
- CommonOutputJax.prototype.addWrapperStyles = function (styles) {
- var e_8, _a;
- try {
- for (var _b = __values(this.factory.getKinds()), _c = _b.next(); !_c.done; _c = _b.next()) {
- var kind = _c.value;
- this.addClassStyles(this.factory.getNodeClass(kind), styles);
- }
- }
- catch (e_8_1) { e_8 = { error: e_8_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_8) throw e_8.error; }
- }
- };
- CommonOutputJax.prototype.addClassStyles = function (CLASS, styles) {
- styles.addStyles(CLASS.styles);
- };
- CommonOutputJax.prototype.setDocument = function (html) {
- if (html) {
- this.document = html;
- this.adaptor.document = html.document;
- }
- };
- CommonOutputJax.prototype.html = function (type, def, content, ns) {
- if (def === void 0) { def = {}; }
- if (content === void 0) { content = []; }
- return this.adaptor.node(type, def, content, ns);
- };
- CommonOutputJax.prototype.text = function (text) {
- return this.adaptor.text(text);
- };
- CommonOutputJax.prototype.fixed = function (m, n) {
- if (n === void 0) { n = 3; }
- if (Math.abs(m) < .0006) {
- return '0';
- }
- return m.toFixed(n).replace(/\.?0+$/, '');
- };
- CommonOutputJax.prototype.measureText = function (text, variant, font) {
- if (font === void 0) { font = ['', false, false]; }
- var node = this.unknownText(text, variant);
- if (variant === '-explicitFont') {
- var styles = this.cssFontStyles(font);
- this.adaptor.setAttributes(node, { style: styles });
- }
- return this.measureTextNodeWithCache(node, text, variant, font);
- };
- CommonOutputJax.prototype.measureTextNodeWithCache = function (text, chars, variant, font) {
- if (font === void 0) { font = ['', false, false]; }
- if (variant === '-explicitFont') {
- variant = [font[0], font[1] ? 'T' : 'F', font[2] ? 'T' : 'F', ''].join('-');
- }
- if (!this.unknownCache.has(variant)) {
- this.unknownCache.set(variant, new Map());
- }
- var map = this.unknownCache.get(variant);
- var cached = map.get(chars);
- if (cached)
- return cached;
- var bbox = this.measureTextNode(text);
- map.set(chars, bbox);
- return bbox;
- };
- CommonOutputJax.prototype.measureXMLnode = function (xml) {
- var adaptor = this.adaptor;
- var content = this.html('mjx-xml-block', { style: { display: 'inline-block' } }, [adaptor.clone(xml)]);
- var base = this.html('mjx-baseline', { style: { display: 'inline-block', width: 0, height: 0 } });
- var style = {
- position: 'absolute',
- display: 'inline-block',
- 'font-family': 'initial',
- 'line-height': 'normal'
- };
- var node = this.html('mjx-measure-xml', { style: style }, [base, content]);
- adaptor.append(adaptor.parent(this.math.start.node), this.container);
- adaptor.append(this.container, node);
- var em = this.math.metrics.em * this.math.metrics.scale;
- var _a = adaptor.nodeBBox(content), left = _a.left, right = _a.right, bottom = _a.bottom, top = _a.top;
- var w = (right - left) / em;
- var h = (adaptor.nodeBBox(base).top - top) / em;
- var d = (bottom - top) / em - h;
- adaptor.remove(this.container);
- adaptor.remove(node);
- return { w: w, h: h, d: d };
- };
- CommonOutputJax.prototype.cssFontStyles = function (font, styles) {
- if (styles === void 0) { styles = {}; }
- var _a = __read(font, 3), family = _a[0], italic = _a[1], bold = _a[2];
- styles['font-family'] = this.font.getFamily(family);
- if (italic)
- styles['font-style'] = 'italic';
- if (bold)
- styles['font-weight'] = 'bold';
- return styles;
- };
- CommonOutputJax.prototype.getFontData = function (styles) {
- if (!styles) {
- styles = new Styles_js_1.Styles();
- }
- return [this.font.getFamily(styles.get('font-family')),
- styles.get('font-style') === 'italic',
- styles.get('font-weight') === 'bold'];
- };
- CommonOutputJax.NAME = 'Common';
- CommonOutputJax.OPTIONS = __assign(__assign({}, OutputJax_js_1.AbstractOutputJax.OPTIONS), { scale: 1, minScale: .5, mtextInheritFont: false, merrorInheritFont: false, mtextFont: '', merrorFont: 'serif', mathmlSpacing: false, skipAttributes: {}, exFactor: .5, displayAlign: 'center', displayIndent: '0', wrapperFactory: null, font: null, cssStyles: null });
- CommonOutputJax.commonStyles = {};
- return CommonOutputJax;
- }(OutputJax_js_1.AbstractOutputJax));
- exports.CommonOutputJax = CommonOutputJax;
- //# sourceMappingURL=OutputJax.js.map
|