123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102 |
- "use strict";
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
- if (k2 === undefined) k2 = k;
- var desc = Object.getOwnPropertyDescriptor(m, k);
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
- desc = { enumerable: true, get: function() { return m[k]; } };
- }
- Object.defineProperty(o, k2, desc);
- }) : (function(o, m, k, k2) {
- if (k2 === undefined) k2 = k;
- o[k2] = m[k];
- }));
- var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
- Object.defineProperty(o, "default", { enumerable: true, value: v });
- }) : function(o, v) {
- o["default"] = v;
- });
- var __importStar = (this && this.__importStar) || function (mod) {
- if (mod && mod.__esModule) return mod;
- var result = {};
- if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
- __setModuleDefault(result, mod);
- return result;
- };
- var __exportStar = (this && this.__exportStar) || function(m, exports) {
- for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
- };
- 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;
- };
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.Arrow = exports.DiagonalArrow = exports.DiagonalStrike = exports.Border2 = exports.Border = exports.RenderElement = void 0;
- var Notation = __importStar(require("../common/Notation.js"));
- __exportStar(require("../common/Notation.js"), exports);
- var RenderElement = function (name, offset) {
- if (offset === void 0) { offset = ''; }
- return (function (node, _child) {
- var shape = node.adjustBorder(node.html('mjx-' + name));
- if (offset) {
- var d = node.getOffset(offset);
- if (node.thickness !== Notation.THICKNESS || d) {
- var transform = "translate".concat(offset, "(").concat(node.em(node.thickness / 2 - d), ")");
- node.adaptor.setStyle(shape, 'transform', transform);
- }
- }
- node.adaptor.append(node.chtml, shape);
- });
- };
- exports.RenderElement = RenderElement;
- var Border = function (side) {
- return Notation.CommonBorder(function (node, child) {
- node.adaptor.setStyle(child, 'border-' + side, node.em(node.thickness) + ' solid');
- })(side);
- };
- exports.Border = Border;
- var Border2 = function (name, side1, side2) {
- return Notation.CommonBorder2(function (node, child) {
- var border = node.em(node.thickness) + ' solid';
- node.adaptor.setStyle(child, 'border-' + side1, border);
- node.adaptor.setStyle(child, 'border-' + side2, border);
- })(name, side1, side2);
- };
- exports.Border2 = Border2;
- var DiagonalStrike = function (name, neg) {
- return Notation.CommonDiagonalStrike(function (cname) { return function (node, _child) {
- var _a = node.getBBox(), w = _a.w, h = _a.h, d = _a.d;
- var _b = __read(node.getArgMod(w, h + d), 2), a = _b[0], W = _b[1];
- var t = neg * node.thickness / 2;
- var strike = node.adjustBorder(node.html(cname, { style: {
- width: node.em(W),
- transform: 'rotate(' + node.fixed(-neg * a) + 'rad) translateY(' + t + 'em)',
- } }));
- node.adaptor.append(node.chtml, strike);
- }; })(name);
- };
- exports.DiagonalStrike = DiagonalStrike;
- var DiagonalArrow = function (name) {
- return Notation.CommonDiagonalArrow(function (node, arrow) {
- node.adaptor.append(node.chtml, arrow);
- })(name);
- };
- exports.DiagonalArrow = DiagonalArrow;
- var Arrow = function (name) {
- return Notation.CommonArrow(function (node, arrow) {
- node.adaptor.append(node.chtml, arrow);
- })(name);
- };
- exports.Arrow = Arrow;
- //# sourceMappingURL=Notation.js.map
|