123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899 |
- /*************************************************************
- *
- * Copyright (c) 2018-2022 The MathJax Consortium
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- /**
- * @fileoverview Methods for TeX parsing of the braket package.
- *
- * @author v.sorge@mathjax.org (Volker Sorge)
- */
- import {ParseMethod} from '../Types.js';
- import BaseMethods from '../base/BaseMethods.js';
- import TexParser from '../TexParser.js';
- import {TEXCLASS} from '../../../core/MmlTree/MmlNode.js';
- import TexError from '../TexError.js';
- let BraketMethods: Record<string, ParseMethod> = {};
- BraketMethods.Macro = BaseMethods.Macro;
- /**
- * Generate a bra-ket expression.
- * @param {TexParser} parser The current TeX parser.
- * @param {string} name Name of the current control sequence.
- * @param {string} open Opening delimiter.
- * @param {string} close Closing delimiter.
- * @param {boolean} stretchy Is it stretchy.
- * @param {number} barmax Maximum number of bars allowed.
- */
- BraketMethods.Braket = function(parser: TexParser, _name: string,
- open: string, close: string,
- stretchy: boolean, barmax: number) {
- let next = parser.GetNext();
- if (next === '') {
- throw new TexError('MissingArgFor', 'Missing argument for %1', parser.currentCS);
- }
- let single = true;
- if (next === '{') {
- parser.i++;
- single = false;
- }
- parser.Push(
- parser.itemFactory.create('braket')
- .setProperties({barmax: barmax, barcount: 0, open: open,
- close: close, stretchy: stretchy, single: single}));
- };
- /**
- * Generate a bar. If inside a bra-ket expressions it's handled accordingly.
- * @param {TexParser} parser The current TeX parser.
- * @param {string} name Name of the current control sequence.
- */
- BraketMethods.Bar = function(parser: TexParser, name: string) {
- let c = name === '|' ? '|' : '\u2225';
- let top = parser.stack.Top();
- if (top.kind !== 'braket' ||
- top.getProperty('barcount') >= top.getProperty('barmax')) {
- let mml = parser.create('token', 'mo', {texClass: TEXCLASS.ORD, stretchy: false}, c);
- parser.Push(mml);
- return;
- }
- if (c === '|' && parser.GetNext() === '|') {
- parser.i++;
- c = '\u2225';
- }
- let stretchy = top.getProperty('stretchy');
- if (!stretchy) {
- let node = parser.create('token', 'mo', {stretchy: false, braketbar: true}, c);
- parser.Push(node);
- return;
- }
- let node = parser.create('node', 'TeXAtom', [], {texClass: TEXCLASS.CLOSE});
- parser.Push(node);
- top.setProperty('barcount', top.getProperty('barcount') as number + 1);
- node = parser.create('token', 'mo', {stretchy: true, braketbar: true}, c);
- parser.Push(node);
- node = parser.create('node', 'TeXAtom', [], {texClass: TEXCLASS.OPEN});
- parser.Push(node);
- };
- export default BraketMethods;
|