ParseMethods.js 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110
  1. "use strict";
  2. var __read = (this && this.__read) || function (o, n) {
  3. var m = typeof Symbol === "function" && o[Symbol.iterator];
  4. if (!m) return o;
  5. var i = m.call(o), r, ar = [], e;
  6. try {
  7. while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
  8. }
  9. catch (error) { e = { error: error }; }
  10. finally {
  11. try {
  12. if (r && !r.done && (m = i["return"])) m.call(i);
  13. }
  14. finally { if (e) throw e.error; }
  15. }
  16. return ar;
  17. };
  18. var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
  19. if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
  20. if (ar || !(i in from)) {
  21. if (!ar) ar = Array.prototype.slice.call(from, 0, i);
  22. ar[i] = from[i];
  23. }
  24. }
  25. return to.concat(ar || Array.prototype.slice.call(from));
  26. };
  27. var __importDefault = (this && this.__importDefault) || function (mod) {
  28. return (mod && mod.__esModule) ? mod : { "default": mod };
  29. };
  30. Object.defineProperty(exports, "__esModule", { value: true });
  31. var NodeUtil_js_1 = __importDefault(require("./NodeUtil.js"));
  32. var TexConstants_js_1 = require("./TexConstants.js");
  33. var ParseUtil_js_1 = __importDefault(require("./ParseUtil.js"));
  34. var ParseMethods;
  35. (function (ParseMethods) {
  36. function variable(parser, c) {
  37. var def = ParseUtil_js_1.default.getFontDef(parser);
  38. var env = parser.stack.env;
  39. if (env.multiLetterIdentifiers && env.font !== '') {
  40. c = parser.string.substr(parser.i - 1).match(env.multiLetterIdentifiers)[0];
  41. parser.i += c.length - 1;
  42. if (def.mathvariant === TexConstants_js_1.TexConstant.Variant.NORMAL && env.noAutoOP && c.length > 1) {
  43. def.autoOP = false;
  44. }
  45. }
  46. var node = parser.create('token', 'mi', def, c);
  47. parser.Push(node);
  48. }
  49. ParseMethods.variable = variable;
  50. function digit(parser, c) {
  51. var mml;
  52. var pattern = parser.configuration.options['digits'];
  53. var n = parser.string.slice(parser.i - 1).match(pattern);
  54. var def = ParseUtil_js_1.default.getFontDef(parser);
  55. if (n) {
  56. mml = parser.create('token', 'mn', def, n[0].replace(/[{}]/g, ''));
  57. parser.i += n[0].length - 1;
  58. }
  59. else {
  60. mml = parser.create('token', 'mo', def, c);
  61. }
  62. parser.Push(mml);
  63. }
  64. ParseMethods.digit = digit;
  65. function controlSequence(parser, _c) {
  66. var name = parser.GetCS();
  67. parser.parse('macro', [parser, name]);
  68. }
  69. ParseMethods.controlSequence = controlSequence;
  70. function mathchar0mi(parser, mchar) {
  71. var def = mchar.attributes || { mathvariant: TexConstants_js_1.TexConstant.Variant.ITALIC };
  72. var node = parser.create('token', 'mi', def, mchar.char);
  73. parser.Push(node);
  74. }
  75. ParseMethods.mathchar0mi = mathchar0mi;
  76. function mathchar0mo(parser, mchar) {
  77. var def = mchar.attributes || {};
  78. def['stretchy'] = false;
  79. var node = parser.create('token', 'mo', def, mchar.char);
  80. NodeUtil_js_1.default.setProperty(node, 'fixStretchy', true);
  81. parser.configuration.addNode('fixStretchy', node);
  82. parser.Push(node);
  83. }
  84. ParseMethods.mathchar0mo = mathchar0mo;
  85. function mathchar7(parser, mchar) {
  86. var def = mchar.attributes || { mathvariant: TexConstants_js_1.TexConstant.Variant.NORMAL };
  87. if (parser.stack.env['font']) {
  88. def['mathvariant'] = parser.stack.env['font'];
  89. }
  90. var node = parser.create('token', 'mi', def, mchar.char);
  91. parser.Push(node);
  92. }
  93. ParseMethods.mathchar7 = mathchar7;
  94. function delimiter(parser, delim) {
  95. var def = delim.attributes || {};
  96. def = Object.assign({ fence: false, stretchy: false }, def);
  97. var node = parser.create('token', 'mo', def, delim.char);
  98. parser.Push(node);
  99. }
  100. ParseMethods.delimiter = delimiter;
  101. function environment(parser, env, func, args) {
  102. var end = args[0];
  103. var mml = parser.itemFactory.create('begin').setProperties({ name: env, end: end });
  104. mml = func.apply(void 0, __spreadArray([parser, mml], __read(args.slice(1)), false));
  105. parser.Push(mml);
  106. }
  107. ParseMethods.environment = environment;
  108. })(ParseMethods || (ParseMethods = {}));
  109. exports.default = ParseMethods;
  110. //# sourceMappingURL=ParseMethods.js.map