Notation.js 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. "use strict";
  2. var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
  3. if (k2 === undefined) k2 = k;
  4. var desc = Object.getOwnPropertyDescriptor(m, k);
  5. if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
  6. desc = { enumerable: true, get: function() { return m[k]; } };
  7. }
  8. Object.defineProperty(o, k2, desc);
  9. }) : (function(o, m, k, k2) {
  10. if (k2 === undefined) k2 = k;
  11. o[k2] = m[k];
  12. }));
  13. var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
  14. Object.defineProperty(o, "default", { enumerable: true, value: v });
  15. }) : function(o, v) {
  16. o["default"] = v;
  17. });
  18. var __importStar = (this && this.__importStar) || function (mod) {
  19. if (mod && mod.__esModule) return mod;
  20. var result = {};
  21. if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
  22. __setModuleDefault(result, mod);
  23. return result;
  24. };
  25. var __exportStar = (this && this.__exportStar) || function(m, exports) {
  26. for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
  27. };
  28. var __read = (this && this.__read) || function (o, n) {
  29. var m = typeof Symbol === "function" && o[Symbol.iterator];
  30. if (!m) return o;
  31. var i = m.call(o), r, ar = [], e;
  32. try {
  33. while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
  34. }
  35. catch (error) { e = { error: error }; }
  36. finally {
  37. try {
  38. if (r && !r.done && (m = i["return"])) m.call(i);
  39. }
  40. finally { if (e) throw e.error; }
  41. }
  42. return ar;
  43. };
  44. Object.defineProperty(exports, "__esModule", { value: true });
  45. exports.Arrow = exports.DiagonalArrow = exports.DiagonalStrike = exports.Border2 = exports.Border = exports.RenderElement = void 0;
  46. var Notation = __importStar(require("../common/Notation.js"));
  47. __exportStar(require("../common/Notation.js"), exports);
  48. var RenderElement = function (name, offset) {
  49. if (offset === void 0) { offset = ''; }
  50. return (function (node, _child) {
  51. var shape = node.adjustBorder(node.html('mjx-' + name));
  52. if (offset) {
  53. var d = node.getOffset(offset);
  54. if (node.thickness !== Notation.THICKNESS || d) {
  55. var transform = "translate".concat(offset, "(").concat(node.em(node.thickness / 2 - d), ")");
  56. node.adaptor.setStyle(shape, 'transform', transform);
  57. }
  58. }
  59. node.adaptor.append(node.chtml, shape);
  60. });
  61. };
  62. exports.RenderElement = RenderElement;
  63. var Border = function (side) {
  64. return Notation.CommonBorder(function (node, child) {
  65. node.adaptor.setStyle(child, 'border-' + side, node.em(node.thickness) + ' solid');
  66. })(side);
  67. };
  68. exports.Border = Border;
  69. var Border2 = function (name, side1, side2) {
  70. return Notation.CommonBorder2(function (node, child) {
  71. var border = node.em(node.thickness) + ' solid';
  72. node.adaptor.setStyle(child, 'border-' + side1, border);
  73. node.adaptor.setStyle(child, 'border-' + side2, border);
  74. })(name, side1, side2);
  75. };
  76. exports.Border2 = Border2;
  77. var DiagonalStrike = function (name, neg) {
  78. return Notation.CommonDiagonalStrike(function (cname) { return function (node, _child) {
  79. var _a = node.getBBox(), w = _a.w, h = _a.h, d = _a.d;
  80. var _b = __read(node.getArgMod(w, h + d), 2), a = _b[0], W = _b[1];
  81. var t = neg * node.thickness / 2;
  82. var strike = node.adjustBorder(node.html(cname, { style: {
  83. width: node.em(W),
  84. transform: 'rotate(' + node.fixed(-neg * a) + 'rad) translateY(' + t + 'em)',
  85. } }));
  86. node.adaptor.append(node.chtml, strike);
  87. }; })(name);
  88. };
  89. exports.DiagonalStrike = DiagonalStrike;
  90. var DiagonalArrow = function (name) {
  91. return Notation.CommonDiagonalArrow(function (node, arrow) {
  92. node.adaptor.append(node.chtml, arrow);
  93. })(name);
  94. };
  95. exports.DiagonalArrow = DiagonalArrow;
  96. var Arrow = function (name) {
  97. return Notation.CommonArrow(function (node, arrow) {
  98. node.adaptor.append(node.chtml, arrow);
  99. })(name);
  100. };
  101. exports.Arrow = Arrow;
  102. //# sourceMappingURL=Notation.js.map