diff options
Diffstat (limited to 'blahtexml/source/BlahtexCore/Parser.cpp')
| -rw-r--r-- | blahtexml/source/BlahtexCore/Parser.cpp | 1643 |
1 files changed, 0 insertions, 1643 deletions
diff --git a/blahtexml/source/BlahtexCore/Parser.cpp b/blahtexml/source/BlahtexCore/Parser.cpp deleted file mode 100644 index 0458235..0000000 --- a/blahtexml/source/BlahtexCore/Parser.cpp +++ /dev/null @@ -1,1643 +0,0 @@ -// File "Parser.cpp" -// -// blahtex (version 0.4.4) -// a TeX to MathML converter designed with MediaWiki in mind -// Copyright (C) 2006, David Harvey -// -// blahtexml (version 0.5) -// Copyright (C) 2008, Gilles Van Assche -// -// This program is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2 of the License, or -// (at your option) any later version. -// -// This program is distributed in the hope that it will be useful, -// but WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -// GNU General Public License for more details. -// -// You should have received a copy of the GNU General Public License -// along with this program; if not, write to the Free Software -// Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA - -#include <stdexcept> -#include "InputSymbolTranslation.h" -#include "Parser.h" - -using namespace std; - -namespace blahtex { - -// Imported from ParseTree1.cpp: -extern wishful_hash_map<wstring, wstring> gDelimiterTable; -extern wishful_hash_map<wstring, RGBColour> gColourTable; - -// These tables contain all the commands that blahtex recognises in math -// mode (respectively text mode). They provide the token codes for the -// parser to do its job. - -pair<wstring, Parser::TokenCode> gMathTokenArray[] = -{ - make_pair(L"", Parser::cEndOfInput), - make_pair(L" ", Parser::cWhitespace), - make_pair(L"\\newcommand", Parser::cNewcommand), - - make_pair(L"$", Parser::cIllegal), - make_pair(L"%", Parser::cIllegal), - make_pair(L"#", Parser::cIllegal), - make_pair(L"`", Parser::cIllegal), - make_pair(L"\"", Parser::cIllegal), - - make_pair(L"{", Parser::cBeginGroup), - make_pair(L"}", Parser::cEndGroup), - - make_pair(L"&", Parser::cNextCell), - make_pair(L"\\\\", Parser::cNextRow), - - make_pair(L"^", Parser::cSuperscript), - make_pair(L"_", Parser::cSubscript), - make_pair(L"'", Parser::cPrime), - - make_pair(L"\\hbox", Parser::cEnterTextMode), - make_pair(L"\\mbox", Parser::cEnterTextMode), - make_pair(L"\\emph", Parser::cEnterTextMode), - make_pair(L"\\text", Parser::cEnterTextMode), - make_pair(L"\\textit", Parser::cEnterTextMode), - make_pair(L"\\textbf", Parser::cEnterTextMode), - make_pair(L"\\textrm", Parser::cEnterTextMode), - make_pair(L"\\texttt", Parser::cEnterTextMode), - make_pair(L"\\textsf", Parser::cEnterTextMode), - - make_pair(L"\\cyr", Parser::cEnterTextMode), - make_pair(L"\\jap", Parser::cEnterTextMode), - - make_pair(L"\\sqrt", Parser::cCommand1Arg), - make_pair(L"\\pmod", Parser::cCommand1Arg), - make_pair(L"\\operatorname", Parser::cCommand1Arg), - make_pair(L"\\operatornamewithlimits", Parser::cCommand1Arg), - - // "\rootReserved" is the *only* "Reserved" command the parser - // has to worry about. - make_pair(L"\\rootReserved", Parser::cCommand2Args), - - make_pair(L"\\binom", Parser::cCommand2Args), - make_pair(L"\\frac", Parser::cCommand2Args), - make_pair(L"\\cfrac", Parser::cCommand2Args), - make_pair(L"\\overset", Parser::cCommand2Args), - make_pair(L"\\underset", Parser::cCommand2Args), - - make_pair(L"\\over", Parser::cCommandInfix), - make_pair(L"\\choose", Parser::cCommandInfix), - make_pair(L"\\atop", Parser::cCommandInfix), - - make_pair(L"\\left", Parser::cLeft), - make_pair(L"\\right", Parser::cRight), - - make_pair(L"\\big", Parser::cBig), - make_pair(L"\\bigl", Parser::cBig), - make_pair(L"\\bigr", Parser::cBig), - make_pair(L"\\Big", Parser::cBig), - make_pair(L"\\Bigl", Parser::cBig), - make_pair(L"\\Bigr", Parser::cBig), - make_pair(L"\\bigg", Parser::cBig), - make_pair(L"\\biggl", Parser::cBig), - make_pair(L"\\biggr", Parser::cBig), - make_pair(L"\\Bigg", Parser::cBig), - make_pair(L"\\Biggl", Parser::cBig), - make_pair(L"\\Biggr", Parser::cBig), - - make_pair(L"\\mathop", Parser::cCommand1Arg), - make_pair(L"\\mathrel", Parser::cCommand1Arg), - make_pair(L"\\mathord", Parser::cCommand1Arg), - make_pair(L"\\mathbin", Parser::cCommand1Arg), - make_pair(L"\\mathopen", Parser::cCommand1Arg), - make_pair(L"\\mathclose", Parser::cCommand1Arg), - make_pair(L"\\mathpunct", Parser::cCommand1Arg), - make_pair(L"\\mathinner", Parser::cCommand1Arg), - - make_pair(L"\\limits", Parser::cLimits), - make_pair(L"\\nolimits", Parser::cLimits), - make_pair(L"\\displaylimits", Parser::cLimits), - - make_pair(L"\\_", Parser::cSymbol), - make_pair(L"\\&", Parser::cSymbol), - make_pair(L"\\$", Parser::cSymbol), - make_pair(L"\\#", Parser::cSymbol), - make_pair(L"\\%", Parser::cSymbol), - make_pair(L"\\{", Parser::cSymbol), - make_pair(L"\\}", Parser::cSymbol), - - make_pair(L"\\mod", Parser::cSymbolUnsafe), - make_pair(L"\\bmod", Parser::cSymbolUnsafe), - - make_pair(L"\\substack", Parser::cShortEnvironment), - - make_pair(L"\\begin{matrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{pmatrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{bmatrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{Bmatrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{vmatrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{Vmatrix}", Parser::cBeginEnvironment), - make_pair(L"\\begin{cases}", Parser::cBeginEnvironment), - make_pair(L"\\begin{aligned}", Parser::cBeginEnvironment), - make_pair(L"\\begin{smallmatrix}", Parser::cBeginEnvironment), - - make_pair(L"\\end{matrix}", Parser::cEndEnvironment), - make_pair(L"\\end{pmatrix}", Parser::cEndEnvironment), - make_pair(L"\\end{bmatrix}", Parser::cEndEnvironment), - make_pair(L"\\end{Bmatrix}", Parser::cEndEnvironment), - make_pair(L"\\end{vmatrix}", Parser::cEndEnvironment), - make_pair(L"\\end{Vmatrix}", Parser::cEndEnvironment), - make_pair(L"\\end{cases}", Parser::cEndEnvironment), - make_pair(L"\\end{aligned}", Parser::cEndEnvironment), - make_pair(L"\\end{smallmatrix}", Parser::cEndEnvironment), - - make_pair(L"~", Parser::cSymbolUnsafe), - make_pair(L"\\,", Parser::cSymbolUnsafe), - make_pair(L"\\!", Parser::cSymbolUnsafe), - make_pair(L"\\ ", Parser::cSymbolUnsafe), - make_pair(L"\\;", Parser::cSymbolUnsafe), - make_pair(L"\\>", Parser::cSymbolUnsafe), - make_pair(L"\\quad", Parser::cSymbolUnsafe), - make_pair(L"\\qquad", Parser::cSymbolUnsafe), - - make_pair(L"\\not", Parser::cSymbol), - - make_pair(L"(", Parser::cSymbol), - make_pair(L")", Parser::cSymbol), - make_pair(L"[", Parser::cSymbol), - make_pair(L"]", Parser::cSymbol), - make_pair(L"<", Parser::cSymbol), - make_pair(L">", Parser::cSymbol), - make_pair(L"+", Parser::cSymbol), - make_pair(L"-", Parser::cSymbol), - make_pair(L"=", Parser::cSymbol), - make_pair(L"|", Parser::cSymbol), - make_pair(L";", Parser::cSymbol), - make_pair(L":", Parser::cSymbol), - make_pair(L",", Parser::cSymbol), - make_pair(L".", Parser::cSymbol), - make_pair(L"/", Parser::cSymbol), - make_pair(L"?", Parser::cSymbol), - make_pair(L"!", Parser::cSymbol), - make_pair(L"@", Parser::cSymbol), - make_pair(L"*", Parser::cSymbol), - - make_pair(L"\\vert", Parser::cSymbol), - make_pair(L"\\lvert", Parser::cSymbol), - make_pair(L"\\rvert", Parser::cSymbol), - make_pair(L"\\Vert", Parser::cSymbol), - make_pair(L"\\lVert", Parser::cSymbol), - make_pair(L"\\rVert", Parser::cSymbol), - make_pair(L"\\lfloor", Parser::cSymbol), - make_pair(L"\\rfloor", Parser::cSymbol), - make_pair(L"\\lceil", Parser::cSymbol), - make_pair(L"\\rceil", Parser::cSymbol), - make_pair(L"\\lbrace", Parser::cSymbol), - make_pair(L"\\rbrace", Parser::cSymbol), - make_pair(L"\\langle", Parser::cSymbol), - make_pair(L"\\rangle", Parser::cSymbol), - make_pair(L"\\lbrack", Parser::cSymbol), - make_pair(L"\\rbrack", Parser::cSymbol), - - make_pair(L"\\hat", Parser::cCommand1Arg), - make_pair(L"\\widehat", Parser::cCommand1Arg), - make_pair(L"\\dot", Parser::cCommand1Arg), - make_pair(L"\\ddot", Parser::cCommand1Arg), - make_pair(L"\\bar", Parser::cCommand1Arg), - make_pair(L"\\overline", Parser::cCommand1Arg), - make_pair(L"\\underline", Parser::cCommand1Arg), - make_pair(L"\\overbrace", Parser::cCommand1Arg), - make_pair(L"\\underbrace", Parser::cCommand1Arg), - make_pair(L"\\overleftarrow", Parser::cCommand1Arg), - make_pair(L"\\overrightarrow", Parser::cCommand1Arg), - make_pair(L"\\overleftrightarrow", Parser::cCommand1Arg), - make_pair(L"\\check", Parser::cCommand1Arg), - make_pair(L"\\acute", Parser::cCommand1Arg), - make_pair(L"\\grave", Parser::cCommand1Arg), - make_pair(L"\\vec", Parser::cCommand1Arg), - make_pair(L"\\breve", Parser::cCommand1Arg), - make_pair(L"\\tilde", Parser::cCommand1Arg), - make_pair(L"\\widetilde", Parser::cCommand1Arg), - - make_pair(L"\\mathbf", Parser::cCommand1Arg), - make_pair(L"\\mathbb", Parser::cCommand1Arg), - make_pair(L"\\mathrm", Parser::cCommand1Arg), - make_pair(L"\\mathit", Parser::cCommand1Arg), - make_pair(L"\\mathcal", Parser::cCommand1Arg), - make_pair(L"\\mathfrak", Parser::cCommand1Arg), - make_pair(L"\\mathsf", Parser::cCommand1Arg), - make_pair(L"\\mathtt", Parser::cCommand1Arg), - make_pair(L"\\boldsymbol", Parser::cCommand1Arg), - - make_pair(L"\\rm", Parser::cStateChange), - make_pair(L"\\bf", Parser::cStateChange), - make_pair(L"\\it", Parser::cStateChange), - make_pair(L"\\cal", Parser::cStateChange), - make_pair(L"\\tt", Parser::cStateChange), - make_pair(L"\\sf", Parser::cStateChange), - - make_pair(L"\\displaystyle", Parser::cStateChange), - make_pair(L"\\textstyle", Parser::cStateChange), - make_pair(L"\\scriptstyle", Parser::cStateChange), - make_pair(L"\\scriptscriptstyle", Parser::cStateChange), - - make_pair(L"\\color", Parser::cStateChange), - - make_pair(L"\\varlimsup", Parser::cSymbolUnsafe), - make_pair(L"\\varliminf", Parser::cSymbolUnsafe), - make_pair(L"\\lim", Parser::cSymbolUnsafe), - make_pair(L"\\sup", Parser::cSymbolUnsafe), - make_pair(L"\\inf", Parser::cSymbolUnsafe), - make_pair(L"\\limsup", Parser::cSymbolUnsafe), - make_pair(L"\\liminf", Parser::cSymbolUnsafe), - make_pair(L"\\injlim", Parser::cSymbolUnsafe), - make_pair(L"\\projlim", Parser::cSymbolUnsafe), - make_pair(L"\\min", Parser::cSymbolUnsafe), - make_pair(L"\\max", Parser::cSymbolUnsafe), - make_pair(L"\\gcd", Parser::cSymbolUnsafe), - make_pair(L"\\det", Parser::cSymbolUnsafe), - make_pair(L"\\Pr", Parser::cSymbolUnsafe), - - make_pair(L"\\ker", Parser::cSymbolUnsafe), - make_pair(L"\\hom", Parser::cSymbolUnsafe), - make_pair(L"\\dim", Parser::cSymbolUnsafe), - make_pair(L"\\arg", Parser::cSymbolUnsafe), - make_pair(L"\\sin", Parser::cSymbolUnsafe), - make_pair(L"\\cos", Parser::cSymbolUnsafe), - make_pair(L"\\sec", Parser::cSymbolUnsafe), - make_pair(L"\\csc", Parser::cSymbolUnsafe), - make_pair(L"\\tan", Parser::cSymbolUnsafe), - make_pair(L"\\cot", Parser::cSymbolUnsafe), - make_pair(L"\\arcsin", Parser::cSymbolUnsafe), - make_pair(L"\\arccos", Parser::cSymbolUnsafe), - make_pair(L"\\arctan", Parser::cSymbolUnsafe), - make_pair(L"\\sinh", Parser::cSymbolUnsafe), - make_pair(L"\\cosh", Parser::cSymbolUnsafe), - make_pair(L"\\tanh", Parser::cSymbolUnsafe), - make_pair(L"\\coth", Parser::cSymbolUnsafe), - make_pair(L"\\log", Parser::cSymbolUnsafe), - make_pair(L"\\lg", Parser::cSymbolUnsafe), - make_pair(L"\\ln", Parser::cSymbolUnsafe), - make_pair(L"\\exp", Parser::cSymbolUnsafe), - make_pair(L"\\deg", Parser::cSymbolUnsafe), - - make_pair(L"\\alpha", Parser::cSymbol), - make_pair(L"\\beta", Parser::cSymbol), - make_pair(L"\\gamma", Parser::cSymbol), - make_pair(L"\\delta", Parser::cSymbol), - make_pair(L"\\epsilon", Parser::cSymbol), - make_pair(L"\\varepsilon", Parser::cSymbol), - make_pair(L"\\zeta", Parser::cSymbol), - make_pair(L"\\eta", Parser::cSymbol), - make_pair(L"\\theta", Parser::cSymbol), - make_pair(L"\\vartheta", Parser::cSymbol), - make_pair(L"\\iota", Parser::cSymbol), - make_pair(L"\\kappa", Parser::cSymbol), - make_pair(L"\\varkappa", Parser::cSymbol), - make_pair(L"\\lambda", Parser::cSymbol), - make_pair(L"\\mu", Parser::cSymbol), - make_pair(L"\\nu", Parser::cSymbol), - make_pair(L"\\pi", Parser::cSymbol), - make_pair(L"\\varpi", Parser::cSymbol), - make_pair(L"\\rho", Parser::cSymbol), - make_pair(L"\\varrho", Parser::cSymbol), - make_pair(L"\\sigma", Parser::cSymbol), - make_pair(L"\\varsigma", Parser::cSymbol), - make_pair(L"\\tau", Parser::cSymbol), - make_pair(L"\\upsilon", Parser::cSymbol), - make_pair(L"\\phi", Parser::cSymbol), - make_pair(L"\\varphi", Parser::cSymbol), - make_pair(L"\\chi", Parser::cSymbol), - make_pair(L"\\psi", Parser::cSymbol), - make_pair(L"\\omega", Parser::cSymbol), - make_pair(L"\\xi", Parser::cSymbol), - make_pair(L"\\digamma", Parser::cSymbol), - - make_pair(L"\\Gamma", Parser::cSymbol), - make_pair(L"\\Delta", Parser::cSymbol), - make_pair(L"\\Theta", Parser::cSymbol), - make_pair(L"\\Lambda", Parser::cSymbol), - make_pair(L"\\Pi", Parser::cSymbol), - make_pair(L"\\Sigma", Parser::cSymbol), - make_pair(L"\\Upsilon", Parser::cSymbol), - make_pair(L"\\Phi", Parser::cSymbol), - make_pair(L"\\Psi", Parser::cSymbol), - make_pair(L"\\Omega", Parser::cSymbol), - make_pair(L"\\Xi", Parser::cSymbol), - - make_pair(L"\\aleph", Parser::cSymbol), - make_pair(L"\\beth", Parser::cSymbol), - make_pair(L"\\gimel", Parser::cSymbol), - make_pair(L"\\daleth", Parser::cSymbol), - - make_pair(L"\\wp", Parser::cSymbol), - make_pair(L"\\ell", Parser::cSymbol), - make_pair(L"\\P", Parser::cSymbol), - make_pair(L"\\imath", Parser::cSymbol), - make_pair(L"\\forall", Parser::cSymbol), - make_pair(L"\\exists", Parser::cSymbol), - make_pair(L"\\Finv", Parser::cSymbol), - make_pair(L"\\Game", Parser::cSymbol), - make_pair(L"\\partial", Parser::cSymbol), - make_pair(L"\\Re", Parser::cSymbol), - make_pair(L"\\Im", Parser::cSymbol), - - make_pair(L"\\leftarrow", Parser::cSymbol), - make_pair(L"\\rightarrow", Parser::cSymbol), - make_pair(L"\\longleftarrow", Parser::cSymbolUnsafe), - make_pair(L"\\longrightarrow", Parser::cSymbolUnsafe), - make_pair(L"\\Leftarrow", Parser::cSymbol), - make_pair(L"\\Rightarrow", Parser::cSymbol), - make_pair(L"\\Longleftarrow", Parser::cSymbolUnsafe), - make_pair(L"\\Longrightarrow", Parser::cSymbolUnsafe), - make_pair(L"\\mapsto", Parser::cSymbolUnsafe), - make_pair(L"\\longmapsto", Parser::cSymbolUnsafe), - make_pair(L"\\leftrightarrow", Parser::cSymbol), - make_pair(L"\\Leftrightarrow", Parser::cSymbol), - make_pair(L"\\longleftrightarrow", Parser::cSymbolUnsafe), - make_pair(L"\\Longleftrightarrow", Parser::cSymbolUnsafe), - - make_pair(L"\\uparrow", Parser::cSymbol), - make_pair(L"\\Uparrow", Parser::cSymbol), - make_pair(L"\\downarrow", Parser::cSymbol), - make_pair(L"\\Downarrow", Parser::cSymbol), - make_pair(L"\\updownarrow", Parser::cSymbol), - make_pair(L"\\Updownarrow", Parser::cSymbol), - - make_pair(L"\\searrow", Parser::cSymbol), - make_pair(L"\\nearrow", Parser::cSymbol), - make_pair(L"\\swarrow", Parser::cSymbol), - make_pair(L"\\nwarrow", Parser::cSymbol), - - make_pair(L"\\hookrightarrow", Parser::cSymbolUnsafe), - make_pair(L"\\hookleftarrow", Parser::cSymbolUnsafe), - make_pair(L"\\upharpoonright", Parser::cSymbol), - make_pair(L"\\upharpoonleft", Parser::cSymbol), - make_pair(L"\\downharpoonright", Parser::cSymbol), - make_pair(L"\\downharpoonleft", Parser::cSymbol), - make_pair(L"\\rightharpoonup", Parser::cSymbol), - make_pair(L"\\rightharpoondown", Parser::cSymbol), - make_pair(L"\\leftharpoonup", Parser::cSymbol), - make_pair(L"\\leftharpoondown", Parser::cSymbol), - - make_pair(L"\\nleftarrow", Parser::cSymbol), - make_pair(L"\\nrightarrow", Parser::cSymbol), - - make_pair(L"\\supset", Parser::cSymbol), - make_pair(L"\\subset", Parser::cSymbol), - make_pair(L"\\supseteq", Parser::cSymbol), - make_pair(L"\\subseteq", Parser::cSymbol), - make_pair(L"\\sqsupset", Parser::cSymbol), - make_pair(L"\\sqsubset", Parser::cSymbol), - make_pair(L"\\sqsupseteq", Parser::cSymbol), - make_pair(L"\\sqsubseteq", Parser::cSymbol), - make_pair(L"\\supsetneq", Parser::cSymbol), - make_pair(L"\\subsetneq", Parser::cSymbol), - - make_pair(L"\\in", Parser::cSymbol), - make_pair(L"\\ni", Parser::cSymbol), - make_pair(L"\\notin", Parser::cSymbolUnsafe), - - make_pair(L"\\iff", Parser::cSymbolUnsafe), - - make_pair(L"\\mid", Parser::cSymbol), - make_pair(L"\\sim", Parser::cSymbol), - make_pair(L"\\simeq", Parser::cSymbol), - make_pair(L"\\approx", Parser::cSymbol), - make_pair(L"\\propto", Parser::cSymbol), - make_pair(L"\\equiv", Parser::cSymbol), - make_pair(L"\\cong", Parser::cSymbolUnsafe), - make_pair(L"\\neq", Parser::cSymbolUnsafe), - - make_pair(L"\\ll", Parser::cSymbol), - make_pair(L"\\gg", Parser::cSymbol), - make_pair(L"\\geq", Parser::cSymbol), - make_pair(L"\\leq", Parser::cSymbol), - make_pair(L"\\triangleleft", Parser::cSymbol), - make_pair(L"\\triangleright", Parser::cSymbol), - - make_pair(L"\\models", Parser::cSymbolUnsafe), - make_pair(L"\\vdash", Parser::cSymbol), - make_pair(L"\\Vdash", Parser::cSymbol), - make_pair(L"\\vDash", Parser::cSymbol), - - make_pair(L"\\lesssim", Parser::cSymbol), - make_pair(L"\\nless", Parser::cSymbol), - make_pair(L"\\ngeq", Parser::cSymbol), - make_pair(L"\\nleq", Parser::cSymbol), - - make_pair(L"\\ast", Parser::cSymbol), - make_pair(L"\\times", Parser::cSymbol), - make_pair(L"\\div", Parser::cSymbol), - make_pair(L"\\wedge", Parser::cSymbol), - make_pair(L"\\vee", Parser::cSymbol), - make_pair(L"\\oplus", Parser::cSymbol), - make_pair(L"\\otimes", Parser::cSymbol), - make_pair(L"\\cap", Parser::cSymbol), - make_pair(L"\\cup", Parser::cSymbol), - make_pair(L"\\sqcap", Parser::cSymbol), - make_pair(L"\\sqcup", Parser::cSymbol), - make_pair(L"\\smile", Parser::cSymbol), - make_pair(L"\\frown", Parser::cSymbol), - make_pair(L"\\smallsmile", Parser::cSymbol), - make_pair(L"\\smallfrown", Parser::cSymbol), - - make_pair(L"\\setminus", Parser::cSymbol), - make_pair(L"\\smallsetminus", Parser::cSymbol), - - make_pair(L"\\And", Parser::cSymbolUnsafe), - - // This next group of "large operators" are all "safe" in ordinary - // TeX, but NOT when AMS-LaTeX is loaded, so we'll call them unsafe - // (just to be safe :-) - - // FIX: we still don't size large operators correctly with style - // changes. TeX only uses TWO sizes for its "large operators". - // textstyle and below should all be the same size. - // Although, amsmath does things differently: investigate that. - - make_pair(L"\\sum", Parser::cSymbolUnsafe), - make_pair(L"\\prod", Parser::cSymbolUnsafe), - make_pair(L"\\int", Parser::cSymbolUnsafe), - make_pair(L"\\iint", Parser::cSymbolUnsafe), - make_pair(L"\\iiint", Parser::cSymbolUnsafe), - make_pair(L"\\iiiint", Parser::cSymbolUnsafe), - make_pair(L"\\oint", Parser::cSymbolUnsafe), - make_pair(L"\\bigcap", Parser::cSymbolUnsafe), - make_pair(L"\\bigodot", Parser::cSymbolUnsafe), - make_pair(L"\\bigcup", Parser::cSymbolUnsafe), - make_pair(L"\\bigotimes", Parser::cSymbolUnsafe), - make_pair(L"\\coprod", Parser::cSymbolUnsafe), - make_pair(L"\\bigsqcup", Parser::cSymbolUnsafe), - make_pair(L"\\bigoplus", Parser::cSymbolUnsafe), - make_pair(L"\\bigvee", Parser::cSymbolUnsafe), - make_pair(L"\\biguplus", Parser::cSymbolUnsafe), - make_pair(L"\\bigwedge", Parser::cSymbolUnsafe), - - make_pair(L"\\star", Parser::cSymbol), - make_pair(L"\\triangle", Parser::cSymbol), - make_pair(L"\\wr", Parser::cSymbol), - make_pair(L"\\infty", Parser::cSymbol), - make_pair(L"\\circ", Parser::cSymbol), - make_pair(L"\\hbar", Parser::cSymbol), - make_pair(L"\\lnot", Parser::cSymbol), - make_pair(L"\\nabla", Parser::cSymbol), - make_pair(L"\\prime", Parser::cSymbol), - make_pair(L"\\backslash", Parser::cSymbol), - make_pair(L"\\pm", Parser::cSymbol), - make_pair(L"\\mp", Parser::cSymbol), - make_pair(L"\\emptyset", Parser::cSymbol), - make_pair(L"\\varnothing", Parser::cSymbol), - make_pair(L"\\S", Parser::cSymbol), - make_pair(L"\\angle", Parser::cSymbol), - make_pair(L"\\colon", Parser::cSymbolUnsafe), - make_pair(L"\\nmid", Parser::cSymbol), - make_pair(L"\\square", Parser::cSymbol), - make_pair(L"\\Box", Parser::cSymbol), - make_pair(L"\\checkmark", Parser::cSymbol), - make_pair(L"\\complement", Parser::cSymbol), - make_pair(L"\\eth", Parser::cSymbol), - make_pair(L"\\hslash", Parser::cSymbol), - make_pair(L"\\mho", Parser::cSymbol), - - make_pair(L"\\flat", Parser::cSymbol), - make_pair(L"\\sharp", Parser::cSymbol), - make_pair(L"\\natural", Parser::cSymbol), - make_pair(L"\\bullet", Parser::cSymbol), - make_pair(L"\\dagger", Parser::cSymbol), - make_pair(L"\\ddagger", Parser::cSymbol), - - make_pair(L"\\clubsuit", Parser::cSymbol), - make_pair(L"\\spadesuit", Parser::cSymbol), - make_pair(L"\\heartsuit", Parser::cSymbol), - make_pair(L"\\diamondsuit", Parser::cSymbol), - - make_pair(L"\\top", Parser::cSymbol), - make_pair(L"\\bot", Parser::cSymbol), - make_pair(L"\\perp", Parser::cSymbol), - - make_pair(L"\\ldots", Parser::cSymbolUnsafe), - make_pair(L"\\cdot", Parser::cSymbol), - make_pair(L"\\cdots", Parser::cSymbolUnsafe), - make_pair(L"\\vdots", Parser::cSymbolUnsafe), - make_pair(L"\\ddots", Parser::cSymbolUnsafe), - - // AMSLaTeX is pretty clever with "\dots" and "\dotsb"; it adjusts the - // height of the dots based on the surrounding symbols. Blahtex - // currently doesn't do this. - make_pair(L"\\dots", Parser::cSymbolUnsafe), - make_pair(L"\\dotsb", Parser::cSymbolUnsafe), - - make_pair(L"\\varinjlim", Parser::cSymbolUnsafe), - make_pair(L"\\varprojlim", Parser::cSymbolUnsafe), - - make_pair(L"\\circledR", Parser::cSymbol), - make_pair(L"\\yen", Parser::cSymbol), - make_pair(L"\\maltese", Parser::cSymbol), - make_pair(L"\\ulcorner", Parser::cSymbol), - make_pair(L"\\urcorner", Parser::cSymbol), - make_pair(L"\\llcorner", Parser::cSymbol), - make_pair(L"\\lrcorner", Parser::cSymbol), - make_pair(L"\\dashrightarrow", Parser::cSymbolUnsafe), - make_pair(L"\\dashleftarrow", Parser::cSymbolUnsafe), - make_pair(L"\\backprime", Parser::cSymbol), - make_pair(L"\\vartriangle", Parser::cSymbol), - make_pair(L"\\blacktriangle", Parser::cSymbol), - make_pair(L"\\triangledown", Parser::cSymbol), - make_pair(L"\\blacktriangledown", Parser::cSymbol), - make_pair(L"\\blacksquare", Parser::cSymbol), - make_pair(L"\\lozenge", Parser::cSymbol), - make_pair(L"\\blacklozenge", Parser::cSymbol), - make_pair(L"\\circledS", Parser::cSymbol), - make_pair(L"\\bigstar", Parser::cSymbol), - make_pair(L"\\sphericalangle", Parser::cSymbol), - make_pair(L"\\measuredangle", Parser::cSymbol), - make_pair(L"\\Bbbk", Parser::cSymbol), - make_pair(L"\\dotplus", Parser::cSymbol), - make_pair(L"\\ltimes", Parser::cSymbol), - make_pair(L"\\rtimes", Parser::cSymbol), - make_pair(L"\\Cap", Parser::cSymbol), - make_pair(L"\\leftthreetimes", Parser::cSymbol), - make_pair(L"\\rightthreetimes", Parser::cSymbol), - make_pair(L"\\Cup", Parser::cSymbol), - make_pair(L"\\barwedge", Parser::cSymbol), - make_pair(L"\\curlywedge", Parser::cSymbol), - make_pair(L"\\veebar", Parser::cSymbol), - make_pair(L"\\curlyvee", Parser::cSymbol), - make_pair(L"\\doublebarwedge", Parser::cSymbol), - make_pair(L"\\boxminus", Parser::cSymbol), - make_pair(L"\\circleddash", Parser::cSymbol), - make_pair(L"\\boxtimes", Parser::cSymbol), - make_pair(L"\\circledast", Parser::cSymbol), - make_pair(L"\\boxdot", Parser::cSymbol), - make_pair(L"\\circledcirc", Parser::cSymbol), - make_pair(L"\\boxplus", Parser::cSymbol), - make_pair(L"\\centerdot", Parser::cSymbol), - make_pair(L"\\divideontimes", Parser::cSymbol), - make_pair(L"\\intercal", Parser::cSymbol), - make_pair(L"\\leqq", Parser::cSymbol), - make_pair(L"\\geqq", Parser::cSymbol), - make_pair(L"\\leqslant", Parser::cSymbol), - make_pair(L"\\geqslant", Parser::cSymbol), - make_pair(L"\\eqslantless", Parser::cSymbol), - make_pair(L"\\eqslantgtr", Parser::cSymbol), - make_pair(L"\\gtrsim", Parser::cSymbol), - make_pair(L"\\lessapprox", Parser::cSymbol), - make_pair(L"\\gtrapprox", Parser::cSymbol), - make_pair(L"\\approxeq", Parser::cSymbol), - make_pair(L"\\eqsim", Parser::cSymbol), - make_pair(L"\\lessdot", Parser::cSymbol), - make_pair(L"\\gtrdot", Parser::cSymbol), - make_pair(L"\\lll", Parser::cSymbol), - make_pair(L"\\ggg", Parser::cSymbol), - make_pair(L"\\lessgtr", Parser::cSymbol), - make_pair(L"\\gtrless", Parser::cSymbol), - make_pair(L"\\lesseqgtr", Parser::cSymbol), - make_pair(L"\\gtreqless", Parser::cSymbol), - make_pair(L"\\lesseqqgtr", Parser::cSymbol), - make_pair(L"\\gtreqqless", Parser::cSymbol), - make_pair(L"\\doteqdot", Parser::cSymbol), - make_pair(L"\\eqcirc", Parser::cSymbol), - make_pair(L"\\risingdotseq", Parser::cSymbol), - make_pair(L"\\circeq", Parser::cSymbol), - make_pair(L"\\fallingdotseq", Parser::cSymbol), - make_pair(L"\\triangleq", Parser::cSymbol), - make_pair(L"\\backsim", Parser::cSymbol), - make_pair(L"\\thicksim", Parser::cSymbol), - make_pair(L"\\backsimeq", Parser::cSymbol), - make_pair(L"\\thickapprox", Parser::cSymbol), - make_pair(L"\\subseteqq", Parser::cSymbol), - make_pair(L"\\supseteqq", Parser::cSymbol), - make_pair(L"\\Subset", Parser::cSymbol), - make_pair(L"\\Supset", Parser::cSymbol), - make_pair(L"\\preccurlyeq", Parser::cSymbol), - make_pair(L"\\succcurlyeq", Parser::cSymbol), - make_pair(L"\\curlyeqprec", Parser::cSymbol), - make_pair(L"\\curlyeqsucc", Parser::cSymbol), - make_pair(L"\\precsim", Parser::cSymbol), - make_pair(L"\\succsim", Parser::cSymbol), - make_pair(L"\\precapprox", Parser::cSymbol), - make_pair(L"\\succapprox", Parser::cSymbol), - make_pair(L"\\Vvdash", Parser::cSymbol), - make_pair(L"\\shortmid", Parser::cSymbol), - make_pair(L"\\shortparallel", Parser::cSymbol), - make_pair(L"\\bumpeq", Parser::cSymbol), - make_pair(L"\\between", Parser::cSymbol), - make_pair(L"\\Bumpeq", Parser::cSymbol), - make_pair(L"\\varpropto", Parser::cSymbol), - make_pair(L"\\backepsilon", Parser::cSymbol), - make_pair(L"\\blacktriangleleft", Parser::cSymbol), - make_pair(L"\\blacktriangleright", Parser::cSymbol), - make_pair(L"\\therefore", Parser::cSymbol), - make_pair(L"\\because", Parser::cSymbol), - make_pair(L"\\ngtr", Parser::cSymbol), - make_pair(L"\\nleqslant", Parser::cSymbol), - make_pair(L"\\ngeqslant", Parser::cSymbol), - make_pair(L"\\nleqq", Parser::cSymbol), - make_pair(L"\\ngeqq", Parser::cSymbol), - make_pair(L"\\lneqq", Parser::cSymbol), - make_pair(L"\\gneqq", Parser::cSymbol), - make_pair(L"\\lvertneqq", Parser::cSymbol), - make_pair(L"\\gvertneqq", Parser::cSymbol), - make_pair(L"\\lnsim", Parser::cSymbol), - make_pair(L"\\gnsim", Parser::cSymbol), - make_pair(L"\\lnapprox", Parser::cSymbol), - make_pair(L"\\gnapprox", Parser::cSymbol), - make_pair(L"\\nprec", Parser::cSymbol), - make_pair(L"\\nsucc", Parser::cSymbol), - make_pair(L"\\npreceq", Parser::cSymbol), - make_pair(L"\\nsucceq", Parser::cSymbol), - make_pair(L"\\precneqq", Parser::cSymbol), - make_pair(L"\\succneqq", Parser::cSymbol), - make_pair(L"\\precnsim", Parser::cSymbol), - make_pair(L"\\succnsim", Parser::cSymbol), - make_pair(L"\\precnapprox", Parser::cSymbol), - make_pair(L"\\succnapprox", Parser::cSymbol), - make_pair(L"\\nsim", Parser::cSymbol), - make_pair(L"\\ncong", Parser::cSymbol), - make_pair(L"\\nshortmid", Parser::cSymbol), - make_pair(L"\\nshortparallel", Parser::cSymbol), - make_pair(L"\\nmid", Parser::cSymbol), - make_pair(L"\\nparallel", Parser::cSymbol), - make_pair(L"\\nvdash", Parser::cSymbol), - make_pair(L"\\nvDash", Parser::cSymbol), - make_pair(L"\\nVdash", Parser::cSymbol), - make_pair(L"\\nVDash", Parser::cSymbol), - make_pair(L"\\ntriangleleft", Parser::cSymbol), - make_pair(L"\\ntriangleright", Parser::cSymbol), - make_pair(L"\\ntrianglelefteq", Parser::cSymbol), - make_pair(L"\\ntrianglerighteq", Parser::cSymbol), - make_pair(L"\\nsubseteq", Parser::cSymbol), - make_pair(L"\\nsupseteq", Parser::cSymbol), - make_pair(L"\\nsubseteqq", Parser::cSymbol), - make_pair(L"\\nsupseteqq", Parser::cSymbol), - make_pair(L"\\subsetneq", Parser::cSymbol), - make_pair(L"\\supsetneq", Parser::cSymbol), - make_pair(L"\\varsubsetneq", Parser::cSymbol), - make_pair(L"\\varsupsetneq", Parser::cSymbol), - make_pair(L"\\subsetneqq", Parser::cSymbol), - make_pair(L"\\supsetneqq", Parser::cSymbol), - make_pair(L"\\varsubsetneqq", Parser::cSymbol), - make_pair(L"\\varsupsetneqq", Parser::cSymbol), - make_pair(L"\\leftleftarrows", Parser::cSymbol), - make_pair(L"\\rightrightarrows", Parser::cSymbol), - make_pair(L"\\leftrightarrows", Parser::cSymbol), - make_pair(L"\\rightleftarrows", Parser::cSymbol), - make_pair(L"\\Lleftarrow", Parser::cSymbol), - make_pair(L"\\Rrightarrow", Parser::cSymbol), - make_pair(L"\\twoheadleftarrow", Parser::cSymbol), - make_pair(L"\\twoheadrightarrow", Parser::cSymbol), - make_pair(L"\\leftarrowtail", Parser::cSymbol), - make_pair(L"\\rightarrowtail", Parser::cSymbol), - make_pair(L"\\looparrowleft", Parser::cSymbol), - make_pair(L"\\looparrowright", Parser::cSymbol), - make_pair(L"\\leftrightharpoons", Parser::cSymbol), - make_pair(L"\\rightleftharpoons", Parser::cSymbol), - make_pair(L"\\curvearrowleft", Parser::cSymbol), - make_pair(L"\\curvearrowright", Parser::cSymbol), - make_pair(L"\\circlearrowleft", Parser::cSymbol), - make_pair(L"\\circlearrowright", Parser::cSymbol), - make_pair(L"\\Lsh", Parser::cSymbol), - make_pair(L"\\Rsh", Parser::cSymbol), - make_pair(L"\\upuparrows", Parser::cSymbol), - make_pair(L"\\downdownarrows", Parser::cSymbol), - make_pair(L"\\multimap", Parser::cSymbol), - make_pair(L"\\rightsquigarrow", Parser::cSymbol), - make_pair(L"\\leftrightsquigarrow", Parser::cSymbol), - make_pair(L"\\nLeftarrow", Parser::cSymbol), - make_pair(L"\\nRightarrow", Parser::cSymbol), - make_pair(L"\\nleftrightarrow", Parser::cSymbol), - make_pair(L"\\nLeftrightarrow", Parser::cSymbol), - make_pair(L"\\pitchfork", Parser::cSymbol), - make_pair(L"\\nexists", Parser::cSymbol), - make_pair(L"\\lhd", Parser::cSymbol), - make_pair(L"\\rhd", Parser::cSymbol), - make_pair(L"\\unlhd", Parser::cSymbol), - make_pair(L"\\unrhd", Parser::cSymbol), - make_pair(L"\\leadsto", Parser::cSymbol), - make_pair(L"\\uplus", Parser::cSymbol), - make_pair(L"\\diamond", Parser::cSymbol), - make_pair(L"\\bigtriangleup", Parser::cSymbol), - make_pair(L"\\bigtriangledown", Parser::cSymbol), - make_pair(L"\\ominus", Parser::cSymbol), - make_pair(L"\\oslash", Parser::cSymbol), - make_pair(L"\\odot", Parser::cSymbol), - make_pair(L"\\bigcirc", Parser::cSymbol), - make_pair(L"\\amalg", Parser::cSymbol), - make_pair(L"\\prec", Parser::cSymbol), - make_pair(L"\\succ", Parser::cSymbol), - make_pair(L"\\preceq", Parser::cSymbol), - make_pair(L"\\succeq", Parser::cSymbol), - make_pair(L"\\dashv", Parser::cSymbol), - make_pair(L"\\asymp", Parser::cSymbol), - make_pair(L"\\doteq", Parser::cSymbolUnsafe), - make_pair(L"\\parallel", Parser::cSymbol), - make_pair(L"\\bowtie", Parser::cSymbolUnsafe), - make_pair(L"\\jmath", Parser::cSymbol), - make_pair(L"\\surd", Parser::cSymbol) -}; - -wishful_hash_map<wstring, Parser::TokenCode> gMathTokenTable( - gMathTokenArray, - END_ARRAY(gMathTokenArray) -); - -pair<wstring, Parser::TokenCode> gTextTokenArray[] = -{ - make_pair(L"", Parser::cEndOfInput), - make_pair(L" ", Parser::cWhitespace), - make_pair(L"\\newcommand", Parser::cNewcommand), - - make_pair(L"{", Parser::cBeginGroup), - make_pair(L"}", Parser::cEndGroup), - - make_pair(L"$", Parser::cIllegal), - make_pair(L"%", Parser::cIllegal), - make_pair(L"#", Parser::cIllegal), - make_pair(L"&", Parser::cIllegal), - make_pair(L"\\\\", Parser::cIllegal), - make_pair(L"^", Parser::cIllegal), - make_pair(L"_", Parser::cIllegal), - - make_pair(L"\\&", Parser::cSymbol), - make_pair(L"\\_", Parser::cSymbol), - make_pair(L"\\$", Parser::cSymbol), - make_pair(L"\\#", Parser::cSymbol), - make_pair(L"\\%", Parser::cSymbol), - make_pair(L"\\{", Parser::cSymbol), - make_pair(L"\\}", Parser::cSymbol), - make_pair(L"\\textbackslash", Parser::cSymbol), - make_pair(L"\\textvisiblespace", Parser::cSymbol), - make_pair(L"\\textasciicircum", Parser::cSymbol), - make_pair(L"\\textasciitilde", Parser::cSymbol), - make_pair(L"\\O", Parser::cSymbol), - make_pair(L"\\S", Parser::cSymbol), - - make_pair(L"!", Parser::cSymbol), - make_pair(L"@", Parser::cSymbol), - make_pair(L"*", Parser::cSymbol), - make_pair(L"(", Parser::cSymbol), - make_pair(L")", Parser::cSymbol), - make_pair(L"-", Parser::cSymbol), - make_pair(L"=", Parser::cSymbol), - make_pair(L"+", Parser::cSymbol), - make_pair(L"[", Parser::cSymbol), - make_pair(L"]", Parser::cSymbol), - make_pair(L"|", Parser::cSymbol), - make_pair(L";", Parser::cSymbol), - make_pair(L":", Parser::cSymbol), - make_pair(L"<", Parser::cSymbol), - make_pair(L">", Parser::cSymbol), - make_pair(L",", Parser::cSymbol), - make_pair(L".", Parser::cSymbol), - make_pair(L"/", Parser::cSymbol), - make_pair(L"?", Parser::cSymbol), - make_pair(L"\"", Parser::cSymbol), - make_pair(L"\'", Parser::cSymbol), - - make_pair(L"~", Parser::cSymbolUnsafe), - make_pair(L"\\,", Parser::cSymbolUnsafe), - make_pair(L"\\!", Parser::cSymbolUnsafe), - make_pair(L"\\ ", Parser::cSymbolUnsafe), - make_pair(L"\\;", Parser::cSymbolUnsafe), - make_pair(L"\\quad", Parser::cSymbolUnsafe), - make_pair(L"\\qquad", Parser::cSymbolUnsafe), - - make_pair(L"\\hbox", Parser::cCommand1Arg), - make_pair(L"\\mbox", Parser::cCommand1Arg), - make_pair(L"\\emph", Parser::cCommand1Arg), - make_pair(L"\\text", Parser::cCommand1Arg), - make_pair(L"\\textit", Parser::cCommand1Arg), - make_pair(L"\\textbf", Parser::cCommand1Arg), - make_pair(L"\\textrm", Parser::cCommand1Arg), - make_pair(L"\\texttt", Parser::cCommand1Arg), - make_pair(L"\\textsf", Parser::cCommand1Arg), - - make_pair(L"\\cyr", Parser::cCommand1Arg), - make_pair(L"\\jap", Parser::cCommand1Arg), - - make_pair(L"\\rm", Parser::cStateChange), - make_pair(L"\\it", Parser::cStateChange), - make_pair(L"\\bf", Parser::cStateChange), - make_pair(L"\\tt", Parser::cStateChange), - make_pair(L"\\sf", Parser::cStateChange), - - make_pair(L"\\color", Parser::cStateChange) -}; - -wishful_hash_map<wstring, Parser::TokenCode> gTextTokenTable( - gTextTokenArray, - END_ARRAY(gTextTokenArray) -); - -// Tests whether the supplied token is in either the math or text token -// tables. -bool IsInTokenTables(const wstring& token) -{ - return - (gMathTokenTable.count(token) > 0) || - (gTextTokenTable.count(token) > 0); -} - -Parser::TokenCode Parser::GetMathTokenCode(const wstring& token) const -{ - wstring translatedToken = translateToken(token); - wishful_hash_map<wstring, TokenCode>::const_iterator - output = gMathTokenTable.find(translatedToken); - - if (output != gMathTokenTable.end()) - { - if (output->second != cIllegal) - return output->second; - - // Give the user some helpful hints if they try to use certain - // illegal commands (e.g. "% is illegal, try \% instead"). - if (translatedToken == L"%" || translatedToken == L"#" || translatedToken == L"$") - throw Exception( - L"IllegalCommandInMathModeWithHint", - token, L"\\" + translatedToken - ); - - else if (translatedToken == L"`" || translatedToken == L"\"") - throw Exception(L"IllegalCommandInMathMode", token); - - throw logic_error( - "Unexpected illegal character in Parser::GetMathTokenCode" - ); - } - - if (translatedToken[0] == L'\\') - { - if (gTextTokenTable.count(translatedToken)) - throw Exception(L"IllegalCommandInMathMode", token); - else - throw Exception(L"UnrecognisedCommand", token); - } - - if (translatedToken[0] > 0x7F) - throw Exception(L"NonAsciiInMathMode"); - - if ( - (translatedToken[0] >= L'a' && translatedToken[0] <= L'z') || - (translatedToken[0] >= L'A' && translatedToken[0] <= L'Z') || - (translatedToken[0] >= L'0' && translatedToken[0] <= L'9') - ) - return cSymbol; - - throw Exception(L"UnrecognisedCommand", token); -} - -Parser::TokenCode Parser::GetTextTokenCode(const wstring& token) const -{ - wishful_hash_map<wstring, TokenCode>::const_iterator - output = gTextTokenTable.find(token); - - if (output != gTextTokenTable.end()) - { - if (output->second != cIllegal) - return output->second; - - // Give the user some helpful hints if they try to use certain - // illegal commands. - if (token == L"&" || token == L"_" || token == L"%" - || token == L"#" || token == L"$") - - throw Exception( - L"IllegalCommandInTextModeWithHint", - token, L"\\" + token - ); - - else if (token == L"\\\\") - throw Exception( - L"IllegalCommandInTextModeWithHint", - L"\\\\", L"\\textbackslash" - ); - - else if (token == L"^") - throw Exception( - L"IllegalCommandInTextModeWithHint", - L"^", L"\\textasciicircum" - ); - - else - throw Exception(L"IllegalCommandInTextMode", token); - } - - if (token[0] == L'\\') - { - if (gMathTokenTable.count(token)) - throw Exception(L"IllegalCommandInTextMode", token); - else - throw Exception(L"UnrecognisedCommand", token); - } - - if ( - (token[0] >= L'a' && token[0] <= L'z') || - (token[0] >= L'A' && token[0] <= L'Z') || - (token[0] >= L'0' && token[0] <= L'9') || - (token[0] > 0x7F) - ) - return cSymbol; - - throw Exception(L"UnrecognisedCommand", token); -} - -auto_ptr<ParseTree::MathNode> Parser::DoParse(const vector<wstring>& input) -{ - mTokenSource.reset(new MacroProcessor(input)); - - // Parse until we hit a closing token of some kind... - auto_ptr<ParseTree::MathNode> output = ParseMathList(); - - // ... and check that the closing token is actually the end of input. - switch (GetMathTokenCode(mTokenSource->Peek())) - { - case cEndOfInput: return output; - case cEndGroup: throw Exception(L"UnmatchedCloseBrace"); - case cRight: throw Exception(L"UnmatchedRight"); - case cNextCell: throw Exception(L"UnexpectedNextCell"); - case cNextRow: throw Exception(L"UnexpectedNextRow"); - case cEndEnvironment: throw Exception(L"UnmatchedEnd"); - } - - throw logic_error("Unexpected token code in Parser::DoParse"); -} - -auto_ptr<ParseTree::MathNode> Parser::ParseMathField() -{ - mTokenSource->SkipWhitespace(); - wstring command = translateToken(mTokenSource->Get()); - - switch (GetMathTokenCode(command)) - { - case cSymbol: - return auto_ptr<ParseTree::MathNode>( - new ParseTree::MathSymbol(command) - ); - - case cBeginGroup: - { - // Grab the argument surrounded by braces - auto_ptr<ParseTree::MathNode> field = ParseMathList(); - - // Gobble closing brace - if (mTokenSource->Get() != L"}") - throw Exception(L"UnmatchedOpenBrace"); - - return field; - } - - case cEndOfInput: - throw Exception(L"MissingOpenBraceAtEnd"); - } - - throw Exception(L"MissingOpenBraceBefore", command); -} - -auto_ptr<ParseTree::MathTable> Parser::ParseMathTable() -{ - auto_ptr<ParseTree::MathTable> table(new ParseTree::MathTable); - // "row" holds the current, incomplete row being parsed - auto_ptr<ParseTree::MathTableRow> row(new ParseTree::MathTableRow); - - while (true) - { - auto_ptr<ParseTree::MathNode> entry = ParseMathList(); - - switch (GetMathTokenCode(mTokenSource->Peek())) - { - case cNextCell: - { - mTokenSource->Advance(); - row->mEntries.push_back(entry.release()); - break; - } - - case cNextRow: - { - mTokenSource->Advance(); - row->mEntries.push_back(entry.release()); - table->mRows.push_back(row.release()); - row.reset(new ParseTree::MathTableRow); - break; - } - - case cEndGroup: - case cRight: - case cEndOfInput: - case cEndEnvironment: - { - // We only include the last row if it isn't blank, - // e.g. "\begin{matrix} a \\ \end{matrix}" should only - // result in a single row. - - ParseTree::MathList* check = - dynamic_cast<ParseTree::MathList*>(entry.get()); - - if (!check || - !check->mChildren.empty() || !row->mEntries.empty() - ) - { - row->mEntries.push_back(entry.release()); - table->mRows.push_back(row.release()); - } - - return table; - } - - default: - throw logic_error( - "Unexpected token code in Parser::ParseMathTable" - ); - } - } - - // Hmmm... gcc seems to think the control flow can reach here... - throw logic_error("Unexpected control flow in Parser::ParseMathTable"); -} - -ParseTree::MathScripts* Parser::PrepareScripts(ParseTree::MathList* output) -{ - ParseTree::MathScripts* target; - - if (output->mChildren.empty()) - { - // If there are no nodes yet, make a new scripts node with an - // empty base - target = new ParseTree::MathScripts; - output->mChildren.push_back(target); - } - else - { - target = dynamic_cast<ParseTree::MathScripts*>( - output->mChildren.back() - ); - - if (!target) - { - // If the last node exists but is not a scripts node, - // shove it into the base of a new scripts node. - target = new ParseTree::MathScripts; - target->mBase.reset(output->mChildren.back()); - output->mChildren.back() = target; - } - } - - return target; -} - - -wstring Parser::ParseColourName() -{ - mTokenSource->SkipWhitespace(); - if (mTokenSource->Get() != L"{") - throw Exception(L"MissingOpenBraceAfter", L"\\color"); - - wstring colourName; - while (true) - { - wstring c = mTokenSource->Get(); - if (c == L"}") - { - // check colour name is valid - if (gColourTable.find(colourName) == gColourTable.end()) - throw Exception(L"InvalidColour", colourName); - return colourName; - } - if (c == L"") - throw Exception(L"UnmatchedOpenBrace"); - colourName += c; - if (c.size() != 1 || - !( - (c[0] >= 'A' && c[0] <= 'Z') || - (c[0] >= 'a' && c[0] <= 'z') - ) - ) - throw Exception( - L"InvalidColour", - colourName + L"..." - ); - } -} - - -auto_ptr<ParseTree::MathNode> Parser::ParseMathList() -{ - auto_ptr<ParseTree::MathList> output(new ParseTree::MathList); - - // infixNumerator temporarily holds the numerator of an infix command - // (like "\over"), while we are waiting for the denominator to be - // fully built up... - auto_ptr<ParseTree::MathList> infixNumerator; - // and the infix command itself is stored here: - wstring infixCommand; - - while (true) - { - switch (GetMathTokenCode(mTokenSource->Peek())) - { - case cEndGroup: - case cRight: - case cNextCell: - case cNextRow: - case cEndEnvironment: - case cEndOfInput: - { - // It's a little strange that the following static_casts - // should be needed, but gcc 3.3 seems to require them. - // Don't know about later versions. - if (!infixCommand.empty()) - return auto_ptr<ParseTree::MathNode>( - new ParseTree::MathCommand2Args( - infixCommand, - static_cast<auto_ptr<ParseTree::MathNode> > - (infixNumerator), - static_cast<auto_ptr<ParseTree::MathNode> > - (output), - true // true = this is an infix command rather - // than a two-argument command - ) - ); - else - { - if (output->mChildren.size() == 1) - { - // If there's only node in the list, return just - // that single node. (We need to actually remove - // it from output->mChildren to respect ownership - // rules; otherwise output's destructor will delete - // it *again*). - auto_ptr<ParseTree::MathNode> temp( - output->mChildren.back() - ); - output->mChildren.clear(); - return temp; - } - else - return static_cast<auto_ptr<ParseTree::MathNode> > - (output); - } - } - - case cNewcommand: - { - // Pass back the macro definition to be handled by the - // attached MacroProcessor. - mTokenSource->HandleNewcommand(); - break; - } - - case cWhitespace: - { - // Skip whitespace. - mTokenSource->Advance(); - break; - } - - case cSymbol: - case cSymbolUnsafe: - { - output->mChildren.push_back( - new ParseTree::MathSymbol(translateToken(mTokenSource->Get())) - ); - break; - } - - case cBeginGroup: - { - mTokenSource->Advance(); - - // Grab stuff inside braces: - output->mChildren.push_back( - new ParseTree::MathGroup(ParseMathList()) - ); - - // Gobble closing brace. - if (mTokenSource->Get() != L"}") - throw Exception(L"UnmatchedOpenBrace"); - break; - } - - case cBeginEnvironment: - { - // extract e.g. "matrix" from "\begin{matrix}" - wstring beginCommand = mTokenSource->Get(); - wstring name - = beginCommand.substr(7, beginCommand.size() - 8); - - auto_ptr<ParseTree::MathTable> table = ParseMathTable(); - - wstring endCommand = mTokenSource->Get(); - if (GetMathTokenCode(endCommand) != cEndEnvironment) - throw Exception(L"UnmatchedBegin", beginCommand); - - if (name != endCommand.substr(5, endCommand.size() - 6)) - throw Exception( - L"MismatchedBeginAndEnd", beginCommand, endCommand - ); - - if (name == L"cases") - { - // check none of the rows have more than two entries - for (vector<ParseTree::MathTableRow*>::iterator - row = table->mRows.begin(); - row != table->mRows.end(); - row++ - ) - { - if ((*row)->mEntries.size() > 2) - throw Exception(L"CasesRowTooBig"); - } - } - - output->mChildren.push_back( - new ParseTree::MathEnvironment(name, table, false) - ); - break; - } - - case cShortEnvironment: - { - wstring command = translateToken(mTokenSource->Get()); - - // Strip initial backslash (e.g. "\substack" => "substack") - wstring name = command.substr(1, command.size() - 1); - - // Gobble opening "{" - mTokenSource->SkipWhitespace(); - if (mTokenSource->Get() != L"{") - throw Exception(L"MissingOpenBraceAfter", command); - - auto_ptr<ParseTree::MathTable> table = ParseMathTable(); - - if (name == L"substack") - { - // check none of the rows have more than one entry - for (vector<ParseTree::MathTableRow*>::iterator - row = table->mRows.begin(); - row != table->mRows.end(); - row++ - ) - { - if ((*row)->mEntries.size() > 1) - throw Exception(L"SubstackRowTooBig"); - } - } - - // Gobble closing "}" - if (mTokenSource->Get() != L"}") - throw Exception(L"UnmatchedOpenBrace"); - - output->mChildren.push_back( - new ParseTree::MathEnvironment(name, table, true) - ); - break; - } - - case cEnterTextMode: - { - wstring command = mTokenSource->Get(); - - mTokenSource->SkipWhitespace(); - if (mTokenSource->Peek() != L"{") - throw Exception(L"MissingOpenBraceAfter", command); - - output->mChildren.push_back( - // Here is the only place in this function that we - // switch to text mode parsing: - new ParseTree::EnterTextMode(command, ParseTextField()) - ); - break; - } - - case cLeft: - { - mTokenSource->Advance(); - mTokenSource->SkipWhitespace(); - wstring left = translateToken(mTokenSource->Get()); - if (left.empty()) - throw Exception(L"MissingDelimiter", L"\\left"); - else if (!gDelimiterTable.count(left)) - throw Exception(L"IllegalDelimiter", L"\\left"); - - auto_ptr<ParseTree::MathNode> child = ParseMathList(); - - if (mTokenSource->Peek() != L"\\right") - throw Exception(L"UnmatchedLeft"); - - mTokenSource->Advance(); - mTokenSource->SkipWhitespace(); - wstring right = translateToken(mTokenSource->Get()); - if (right.empty()) - throw Exception(L"MissingDelimiter", L"\\right"); - else if (!gDelimiterTable.count(right)) - throw Exception(L"IllegalDelimiter", L"\\right"); - - output->mChildren.push_back( - new ParseTree::MathDelimited(child, left, right) - ); - break; - } - - case cBig: - { - wstring command = translateToken(mTokenSource->Get()); - mTokenSource->SkipWhitespace(); - wstring delimiter = translateToken(mTokenSource->Get()); - if (delimiter.empty()) - throw Exception(L"MissingDelimiter", command); - else if (!gDelimiterTable.count(delimiter)) - throw Exception(L"IllegalDelimiter", command); - - output->mChildren.push_back( - new ParseTree::MathBig(command, delimiter) - ); - break; - } - - case cSuperscript: - { - mTokenSource->Advance(); - ParseTree::MathScripts* target - = PrepareScripts(output.get()); - if (target->mUpper.get()) - throw Exception(L"DoubleSuperscript"); - target->mUpper = ParseMathField(); - break; - } - - case cSubscript: - { - mTokenSource->Advance(); - ParseTree::MathScripts* target - = PrepareScripts(output.get()); - if (target->mLower.get()) - throw Exception(L"DoubleSubscript"); - target->mLower = ParseMathField(); - break; - } - - case cPrime: - { - // The idea here is to fill in "superscript" with - // an appropriate number of "\prime" commands and - // possibly a regular superscript indicated by "^". - // - // It (hopefully) has the same effect as the macro - // that TeX uses for the prime symbol. - - auto_ptr<ParseTree::MathList> superscript( - new ParseTree::MathList - ); - - while (mTokenSource->Peek() == L"'") - { - superscript->mChildren.push_back( - new ParseTree::MathSymbol(L"\\prime") - ); - mTokenSource->Advance(); - } - - ParseTree::MathScripts* target - = PrepareScripts(output.get()); - if (target->mUpper.get()) - throw Exception(L"DoubleSuperscript"); - - if (mTokenSource->Peek() == L"^") - { - mTokenSource->Advance(); - superscript->mChildren.push_back( - ParseMathField().release() - ); - } - - target->mUpper.reset( - new ParseTree::MathGroup( - static_cast<auto_ptr<ParseTree::MathNode> > - (superscript) - ) - ); - break; - } - - case cLimits: - { - wstring command = mTokenSource->Get(); - if (output->mChildren.empty()) - throw Exception(L"MisplacedLimits", command); - - // We need to arrange things so that the child of the - // new MathLimits node is the base of a (possibly new) - // MathScripts node. - - ParseTree::MathScripts* scripts = - dynamic_cast<ParseTree::MathScripts*>( - output->mChildren.back() - ); - - if (scripts) - scripts->mBase.reset( - new ParseTree::MathLimits(command, scripts->mBase) - ); - else - output->mChildren.back() = new ParseTree::MathLimits( - command, - auto_ptr<ParseTree::MathNode>( - output->mChildren.back() - ) - ); - - break; - } - - case cStateChange: - { - wstring command = mTokenSource->Get(); - if (command == L"\\color") - output->mChildren.push_back( - new ParseTree::MathColour(ParseColourName()) - ); - else - output->mChildren.push_back( - new ParseTree::MathStateChange(command) - ); - break; - } - - case cCommand1Arg: - { - wstring command = translateToken(mTokenSource->Get()); - output->mChildren.push_back( - new ParseTree::MathCommand1Arg( - command, ParseMathField() - ) - ); - break; - } - - case cCommand2Args: - { - wstring command = translateToken(mTokenSource->Get()); - auto_ptr<ParseTree::MathNode> child1 = ParseMathField(); - auto_ptr<ParseTree::MathNode> child2 = ParseMathField(); - output->mChildren.push_back( - new ParseTree::MathCommand2Args( - command, child1, child2, false - ) - ); - break; - } - - case cCommandInfix: - { - if (!infixCommand.empty()) - throw Exception( - L"AmbiguousInfix", mTokenSource->Peek() - ); - - // When we see an infix command (e.g. "\over"), we do the - // same thing TeX does: clear out the entire math list - // being processed and dump it temporarily in - // "infixNumerator", and start processing the "denominator". - - infixNumerator = output; - infixCommand = translateToken(mTokenSource->Get()); - output.reset(new ParseTree::MathList); - break; - } - - default: - throw logic_error( - "Unexpected token code in Parser::ParseMathList" - ); - } - } - - // Hmmm... gcc seems to think the control flow can reach here... - throw logic_error("Unexpected control flow in Parser::ParseMathList"); -} - -auto_ptr<ParseTree::TextNode> Parser::ParseTextField() -{ - mTokenSource->SkipWhitespace(); - wstring command = mTokenSource->Get(); - - switch (GetTextTokenCode(command)) - { - case cSymbol: - return auto_ptr<ParseTree::TextNode>( - new ParseTree::TextSymbol(command) - ); - - case cBeginGroup: - { - auto_ptr<ParseTree::TextNode> field( - new ParseTree::TextGroup(ParseTextList()) - ); - if (mTokenSource->Peek() != L"}") - throw Exception(L"UnmatchedOpenBrace"); - mTokenSource->Advance(); - return field; - } - - case cEndOfInput: - throw Exception(L"MissingOpenBraceAtEnd"); - } - - throw Exception(L"MissingOpenBraceBefore", command); -} - -auto_ptr<ParseTree::TextNode> Parser::ParseTextList() -{ - auto_ptr<ParseTree::TextList> output(new ParseTree::TextList); - - while (true) - { - switch (GetTextTokenCode(mTokenSource->Peek())) - { - case cEndGroup: - case cEndOfInput: - { - if (output->mChildren.size() == 1) - { - // If there's only node in the list, return just that - // single node. - ParseTree::TextNode* temp = output->mChildren.back(); - output->mChildren.pop_back(); - return auto_ptr<ParseTree::TextNode>(temp); - } - else - return static_cast<auto_ptr<ParseTree::TextNode> >( - output - ); - } - - case cNewcommand: - { - mTokenSource->HandleNewcommand(); - break; - } - - case cBeginGroup: - { - mTokenSource->Advance(); - output->mChildren.push_back( - new ParseTree::TextGroup(ParseTextList()) - ); - if (mTokenSource->Peek() != L"}") - throw Exception(L"UnmatchedOpenBrace"); - mTokenSource->Advance(); - break; - } - - case cWhitespace: - case cSymbol: - case cSymbolUnsafe: - { - output->mChildren.push_back( - new ParseTree::TextSymbol(mTokenSource->Get()) - ); - break; - } - - case cCommand1Arg: - { - wstring command = mTokenSource->Get(); - output->mChildren.push_back( - new ParseTree::TextCommand1Arg( - command, ParseTextField() - ) - ); - break; - } - - case cStateChange: - { - wstring command = mTokenSource->Get(); - if (command == L"\\color") - output->mChildren.push_back( - new ParseTree::TextColour(ParseColourName()) - ); - else - output->mChildren.push_back( - new ParseTree::TextStateChange(command) - ); - break; - } - - default: - throw logic_error( - "Unexpected token code in Parser::ParseTextList" - ); - } - } - - // Hmmm... gcc seems to think the control flow can reach here... - throw logic_error("Unexpected control flow in Parser::ParseTextField"); -} - -} - -// end of file @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |