+/**
+ * \file math_factory.C
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * \author André Pönitz
+ *
+ * Full author contact details are available in file CREDITS.
+ */
+
#include <config.h>
+#include "math_factory.h"
#include "math_parser.h"
#include "math_arrayinset.h"
#include "math_amsarrayinset.h"
#include "math_binominset.h"
#include "math_boxinset.h"
+#include "math_boxedinset.h"
+#include "math_boldsymbolinset.h"
#include "math_casesinset.h"
+#include "math_colorinset.h"
#include "math_decorationinset.h"
+#include "math_dfracinset.h"
#include "math_dotsinset.h"
+#include "math_fboxinset.h"
+#include "math_frameboxinset.h"
#include "math_fontinset.h"
+#include "math_fontoldinset.h"
#include "math_fracinset.h"
#include "math_kerninset.h"
#include "math_lefteqninset.h"
#include "math_macro.h"
-#include "math_macrotable.h"
#include "math_macroarg.h"
-#include "math_notinset.h"
+#include "math_macrotable.h"
+#include "math_macrotemplate.h"
+#include "math_makeboxinset.h"
+#include "math_oversetinset.h"
+#include "math_parser.h"
#include "math_rootinset.h"
#include "math_sizeinset.h"
#include "math_spaceinset.h"
#include "math_stackrelinset.h"
#include "math_substackinset.h"
#include "math_symbolinset.h"
+#include "math_tabularinset.h"
+#include "math_tfracinset.h"
#include "math_undersetinset.h"
#include "math_unknowninset.h"
#include "math_xarrowinset.h"
-#include "math_xymatrixinset.h"
-#include "math_xyarrowinset.h"
-#include "math_metricsinfo.h"
+//#include "insets/insetref.h"
+#include "ref_inset.h"
+
#include "debug.h"
#include "math_support.h"
-#include "Lsstream.h"
+
#include "support/filetools.h" // LibFileSearch
-#include "frontends/font_loader.h"
+#include "support/lstrings.h"
+
+#include "frontends/lyx_gui.h"
-#include <map>
#include <fstream>
+#include <sstream>
+
+using lyx::support::LibFileSearch;
+using lyx::support::split;
+
+using std::string;
+using std::endl;
+using std::istringstream;
+
+bool has_math_fonts;
namespace {
WordList theWordList;
-struct key_type {
- ///
- string name;
- ///
- string inset;
- ///
- int id;
-};
-
-
-key_type wordlist_array[] =
-{
- {"!", "space", 0},
- {"(", "begin", LM_OT_SIMPLE},
- {")", "end", LM_OT_SIMPLE},
- {",", "space", 1},
- {":", "space", 2},
- {";", "space", 3},
- {"[", "begin", LM_OT_EQUATION},
- {"]", "end", LM_OT_EQUATION},
- {"acute", "decoration", 0},
- {"bar", "decoration", 0},
- {"begin", "begin", 0},
- {"bf", "oldfont", 0},
- {"breve", "decoration", 0},
- {"cal", "oldfont", 0},
- {"cdots", "dots", 0},
- {"check", "decoration", 0},
- {"ddot", "decoration", 0},
- {"dddot", "decoration", 0},
- {"ddots", "dots", 0},
- {"displaystyle", "style", LM_ST_DISPLAY},
- {"dot", "decoration", 0},
- {"dotsb", "dots", 0},
- {"dotsc", "dots", 0},
- {"dotsi", "dots", 0},
- {"dotsm", "dots", 0},
- {"dotso", "dots", 0},
- {"end", "end", 0},
- {"frak", "font", 0},
- {"grave", "decoration", 0},
- {"hat", "decoration", 0},
- {"it", "oldfont", 0},
- {"label", "label", 0},
- {"ldots", "dots", 0},
- {"left", "left", 0},
- {"limits", "limit", 1 },
- {"lyxbox", "box", 0},
- {"lyxnegspace", "space", 6},
- {"mathbb", "font", 0},
- {"mathbf", "font", 0},
- {"mathcal", "font", 0},
- {"mathfrak", "font", 0},
- {"mathit", "font", 0},
- {"mathnormal", "font", 0},
- {"mathring", "decoration", 0},
- {"mathrm", "font", 0},
- {"mathsf", "font", 0},
- {"mathtt", "font", 0},
- {"mbox", "box", 0},
- {"newcommand", "newcommand", 0 },
- {"nolimits", "limit", -1},
- {"nonumber", "nonum", 0},
- {"overbrace", "decoration", 0},
- {"overleftarrow", "decoration", 0},
- {"overline", "decoration", 0},
- {"overrightarrow", "decoration", 0},
- {"overleftrightarrow", "decoration", 0},
- {"protect", "protect", 0},
- {"qquad", "space", 5},
- {"quad", "space", 4},
- {"right", "right", 0},
- {"rm", "oldfont", 0},
- {"scriptscriptstyle", "style", LM_ST_SCRIPTSCRIPT},
- {"scriptstyle", "style", LM_ST_SCRIPT},
- {"textbf", "font", 1},
- {"textit", "font", 1},
- {"textmd", "font", 1},
- {"textrm", "font", 1},
- {"textsl", "font", 1},
- {"textup", "font", 1},
- {"textstyle", "style", LM_ST_TEXT},
- {"tilde", "decoration", 0},
- {"tt", "oldfont", 0},
- {"underbar", "decoration", 0},
- {"underbrace", "decoration", 0},
- {"underleftarrow", "decoration", 0},
- {"underline", "decoration", 0},
- {"underrightarrow", "decoration", 0},
- {"underleftrightarrow", "decoration", 0},
- {"underset", "underset", 0},
- {"vdots", "dots", 0},
- {"vec", "decoration", 0},
- {"widehat", "decoration", 0},
- {"widetilde", "decoration", 0}
-};
-
-
bool math_font_available(string & name)
{
LyXFont f;
augmentFont(f, name);
// Do we have the font proper?
- if (fontloader.available(f))
+ if (lyx_gui::font_available(f))
return true;
// can we fake it?
return true;
}
- lyxerr << "font " << name << " not available and I can't fake it\n";
+ lyxerr[Debug::MATHED]
+ << "font " << name << " not available and I can't fake it"
+ << endl;
return false;
}
-void readSymbols(string const & filename)
+void initSymbols()
{
+ string const filename = LibFileSearch(string(), "symbols");
+ lyxerr[Debug::MATHED] << "read symbols from " << filename << endl;
+ if (filename.empty()) {
+ lyxerr << "Could not find symbols file" << endl;
+ return;
+ }
+
std::ifstream fs(filename.c_str());
- while (fs) {
+ string line;
+ bool skip = false;
+ while (getline(fs, line)) {
int charid = 0;
int fallbackid = 0;
- latexkeys tmp;
- string line;
- getline(fs, line);
+ if (!line.empty() && line[0] == '#')
+ continue;
+
+ // special case of iffont/else/endif
+ if (line.size() >= 7 && line.substr(0, 6) == "iffont") {
+ istringstream is(line);
+ string tmp;
+ is >> tmp;
+ is >> tmp;
+ skip = !math_font_available(tmp);
+ continue;
+ } else if (line.size() >= 4 && line.substr(0, 4) == "else") {
+ skip = !skip;
+ } else if (line.size() >= 5 && line.substr(0, 5) == "endif") {
+ skip = false;
+ continue;
+ } else if (skip)
+ continue;
+
+ // special case of pre-defined macros
+ if (line.size() > 8 && line.substr(0, 5) == "\\def\\") {
+ //lyxerr << "macro definition: '" << line << '\'' << endl;
+ MacroTable::globalMacros().insert(line);
+ continue;
+ }
+
istringstream is(line);
- is >> tmp.name
- >> tmp.inset
- >> charid
- >> fallbackid
- >> tmp.extra
- >> tmp.xmlname;
- if (!is)
+ latexkeys tmp;
+ is >> tmp.name >> tmp.inset;
+ if (isFontName(tmp.inset))
+ is >> charid >> fallbackid >> tmp.extra >> tmp.xmlname;
+ else
+ is >> tmp.extra;
+ if (!is) {
+ lyxerr[Debug::MATHED] << "skipping line '" << line << '\'' << endl;
+ lyxerr[Debug::MATHED]
+ << tmp.name << ' ' << tmp.inset << ' ' << tmp.extra << endl;
continue;
+ }
- // tmp.inset _is_ the fontname here.
- // create fallbacks if necessary
- if (tmp.extra == "func" || tmp.extra == "funclim" || tmp.extra=="special") {
- lyxerr[Debug::MATHED] << "symbol abuse for " << tmp.name << "\n";
- tmp.draw = tmp.name;
- } else if (math_font_available(tmp.inset)) {
- lyxerr[Debug::MATHED] << "symbol available for " << tmp.name << "\n";
- tmp.draw += char(charid);
- } else if (fallbackid) {
- if (tmp.inset == "cmex")
- tmp.inset = "lyxsymbol";
- else
- tmp.inset = "lyxboldsymbol";
- lyxerr[Debug::MATHED] << "symbol fallback for " << tmp.name << "\n";
- tmp.draw += char(fallbackid);
+ if (isFontName(tmp.inset)) {
+ // tmp.inset _is_ the fontname here.
+ // create fallbacks if necessary
+
+ // symbol font is not available sometimes
+ string symbol_font = "lyxsymbol";
+
+ if (tmp.extra == "func" || tmp.extra == "funclim" || tmp.extra == "special") {
+ lyxerr[Debug::MATHED] << "symbol abuse for " << tmp.name << endl;
+ tmp.draw = tmp.name;
+ } else if (math_font_available(tmp.inset)) {
+ lyxerr[Debug::MATHED] << "symbol available for " << tmp.name << endl;
+ tmp.draw += char(charid);
+ } else if (fallbackid && math_font_available(symbol_font)) {
+ if (tmp.inset == "cmex")
+ tmp.inset = "lyxsymbol";
+ else
+ tmp.inset = "lyxboldsymbol";
+ lyxerr[Debug::MATHED] << "symbol fallback for " << tmp.name << endl;
+ tmp.draw += char(fallbackid);
+ } else {
+ lyxerr[Debug::MATHED] << "faking " << tmp.name << endl;
+ tmp.draw = tmp.name;
+ tmp.inset = "lyxtex";
+ }
} else {
- lyxerr[Debug::MATHED] << "faking " << tmp.name << "\n";
- tmp.draw = tmp.name;
- tmp.inset = "lyxredtext";
+ // it's a proper inset
+ lyxerr[Debug::MATHED] << "inset " << tmp.inset
+ << " used for " << tmp.name
+ << endl;
}
if (theWordList.find(tmp.name) != theWordList.end())
- lyxerr[Debug::MATHED] << "readSymbols: inset " << tmp.name
- << " already exists.\n";
+ lyxerr[Debug::MATHED]
+ << "readSymbols: inset " << tmp.name
+ << " already exists." << endl;
else
theWordList[tmp.name] = tmp;
- lyxerr[Debug::MATHED] << "read symbol '" << tmp.name
- << " inset: " << tmp.inset
- << " draw: " << int(tmp.draw[0])
- << " extra: " << tmp.extra
- << "'\n";
- }
-}
-
-void initSymbols()
-{
- unsigned const n = sizeof(wordlist_array) / sizeof(wordlist_array[0]);
- for (key_type * p = wordlist_array; p != wordlist_array + n; ++p) {
- latexkeys tmp;
- tmp.name = p->name;
- tmp.inset = p->inset;
- tmp.draw = p->name;
- theWordList[p->name] = tmp;
+ lyxerr[Debug::MATHED]
+ << "read symbol '" << tmp.name
+ << " inset: " << tmp.inset
+ << " draw: " << int(tmp.draw.empty() ? 0 : tmp.draw[0])
+ << " extra: " << tmp.extra
+ << '\'' << endl;
}
-
- lyxerr[Debug::MATHED] << "reading symbols file\n";
- string const file = LibFileSearch(string(), "symbols");
- if (file.empty())
- lyxerr << "Could not find symbols file\n";
- else
- readSymbols(file);
+ string tmp = "cmm";
+ string tmp2 = "cmsy";
+ has_math_fonts = math_font_available(tmp) && math_font_available(tmp2);
}
} // namespace anon
-latexkeys const * in_word_set(string const & str)
+void initMath()
{
static bool initialized = false;
-
if (!initialized) {
+ initParser();
initSymbols();
initialized = true;
}
+}
+
+latexkeys const * in_word_set(string const & str)
+{
WordList::iterator it = theWordList.find(str);
//lyxerr << "looking up '" << str << "' found: "
- // << (it != theWordList.end()) << "\n";
+ // << (it != theWordList.end()) << endl;
return (it != theWordList.end()) ? &(it->second) : 0;
}
MathAtom createMathInset(string const & s)
{
- lyxerr[Debug::MATHED] << "creating inset with name: '" << s << "'\n";
+ //lyxerr << "creating inset with name: '" << s << '\'' << endl;
+ latexkeys const * l = in_word_set(s);
+ if (l) {
+ string const & inset = l->inset;
+ //lyxerr << " found inset: '" << inset << '\'' << endl;
+ if (inset == "ref")
+ return MathAtom(new RefInset(l->name));
+ if (inset == "overset")
+ return MathAtom(new MathOversetInset);
+ if (inset == "underset")
+ return MathAtom(new MathUndersetInset);
+ if (inset == "decoration")
+ return MathAtom(new MathDecorationInset(l));
+ if (inset == "space")
+ return MathAtom(new MathSpaceInset(l->name));
+ if (inset == "dots")
+ return MathAtom(new MathDotsInset(l));
+ if (inset == "mbox")
+ // return MathAtom(new MathMBoxInset);
+ // MathMBoxInset is proposed to replace MathBoxInset,
+ // but is not ready yet (it needs a BufferView for
+ // construction)
+ return MathAtom(new MathBoxInset(l->name));
+// if (inset == "fbox")
+// return MathAtom(new MathFboxInset(l));
+ if (inset == "style")
+ return MathAtom(new MathSizeInset(l));
+ if (inset == "font")
+ return MathAtom(new MathFontInset(l));
+ if (inset == "oldfont")
+ return MathAtom(new MathFontOldInset(l));
+ if (inset == "matrix")
+ return MathAtom(new MathAMSArrayInset(s));
+ return MathAtom(new MathSymbolInset(l));
+ }
+
if (s.size() == 2 && s[0] == '#' && s[1] >= '1' && s[1] <= '9')
return MathAtom(new MathMacroArgument(s[1] - '0'));
-
if (s.size() == 3 && s[0] == '\\' && s[1] == '#'
&& s[2] >= '1' && s[2] <= '9')
return MathAtom(new MathMacroArgument(s[2] - '0'));
+ if (s == "boxed")
+ return MathAtom(new MathBoxedInset());
+ if (s == "fbox")
+ return MathAtom(new MathFboxInset());
+ if (s == "framebox")
+ return MathAtom(new MathFrameboxInset);
+ if (s == "makebox")
+ return MathAtom(new MathMakeboxInset);
if (s == "kern")
return MathAtom(new MathKernInset);
- if (s == "xymatrix")
- return MathAtom(new MathXYMatrixInset);
if (s == "xrightarrow" || s == "xleftarrow")
return MathAtom(new MathXArrowInset(s));
- if (s == "split" || s == "gathered" || s == "aligned")
+ if (s == "split" || s == "gathered" || s == "aligned" || s == "alignedat")
return MathAtom(new MathSplitInset(s));
if (s == "cases")
return MathAtom(new MathCasesInset);
return MathAtom(new MathSubstackInset);
if (s == "subarray" || s == "array")
return MathAtom(new MathArrayInset(s, 1, 1));
- if (s == "pmatrix" || s == "bmatrix" || s == "vmatrix" || s == "Vmatrix" ||
- s == "matrix")
- return MathAtom(new MathAMSArrayInset(s));
if (s == "sqrt")
return MathAtom(new MathSqrtInset);
if (s == "root")
return MathAtom(new MathRootInset);
- if (s == "stack")
+ if (s == "tabular")
+ return MathAtom(new MathTabularInset(s, 1, 1));
+ if (s == "stackrel")
return MathAtom(new MathStackrelInset);
if (s == "binom" || s == "choose")
- return MathAtom(new MathBinomInset);
+ return MathAtom(new MathBinomInset(s == "choose"));
if (s == "over" || s == "frac")
return MathAtom(new MathFracInset);
+ //if (s == "infer")
+ // return MathAtom(new MathInferInset);
if (s == "atop")
return MathAtom(new MathFracInset(true));
- if (s == "not")
- return MathAtom(new MathNotInset);
if (s == "lefteqn")
return MathAtom(new MathLefteqnInset);
+ if (s == "boldsymbol")
+ return MathAtom(new MathBoldsymbolInset);
+ if (s == "color")
+ return MathAtom(new MathColorInset(true));
+ if (s == "textcolor")
+ return MathAtom(new MathColorInset(false));
+ if (s == "dfrac")
+ return MathAtom(new MathDfracInset);
+ if (s == "tfrac")
+ return MathAtom(new MathTfracInset);
+
+ if (MacroTable::globalMacros().has(s))
+ return MathAtom(new MathMacro(s,
+ MacroTable::globalMacros().get(s).numargs()));
+ //if (MacroTable::localMacros().has(s))
+ // return MathAtom(new MathMacro(s,
+ // MacroTable::localMacros().get(s).numargs()));
+
+ //lyxerr << "creating unknown inset '" << s << "'" << endl;
+ return MathAtom(new MathUnknownInset(s));
+}
- latexkeys const * l = in_word_set(s);
- if (l) {
- string const & inset = l->inset;
- lyxerr[Debug::MATHED] << " found inset: '" << inset << "'\n";
- if (inset == "underset")
- return MathAtom(new MathUndersetInset);
- if (inset == "decoration")
- return MathAtom(new MathDecorationInset(l->name));
- //if (inset == "space")
- // return MathAtom(new MathSpaceInset(l->id));
- if (inset == "dots")
- return MathAtom(new MathDotsInset(l->name));
- if (inset == "box")
- return MathAtom(new MathBoxInset(l->name));
- if (inset == "style")
- return MathAtom(new MathSizeInset(l));
- if (inset == "font")
- return MathAtom(new MathFontInset(l->name));
- if (inset == "oldfont")
- return MathAtom(new MathFontInset(l->name));
- return MathAtom(new MathSymbolInset(l));
- }
- if (MathMacroTable::has(s))
- return MathAtom(new MathMacro(s));
+bool createMathInset_fromDialogStr(string const & str, MathArray & ar)
+{
+ // An example str:
+ // "ref LatexCommand \\ref{sec:Title}\n\\end_inset\n\n";
+ string name;
+ string body = split(str, name, ' ');
+
+ if (name != "ref" )
+ return false;
- //lyxerr[Debug::MATHED] << "creating inset 2 with name: '" << s << "'\n";
- return MathAtom(new MathUnknownInset(s));
+ // body comes with a head "LatexCommand " and a
+ // tail "\nend_inset\n\n". Strip them off.
+ string trimmed;
+ body = split(body, trimmed, ' ');
+ split(body, trimmed, '\n');
+
+ mathed_parse_cell(ar, trimmed);
+ if (ar.size() != 1)
+ return false;
+
+ return ar[0].nucleus();
}