-#include <config.h>
-
-#include <iostream>
+/**
+ * \file math_macrotable.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.
+ */
-#ifdef __GNUG__
-#pragma implementation
-#endif
+#include <config.h>
#include "math_macrotable.h"
-#include "math_macro.h"
#include "math_macrotemplate.h"
-#include "math_parser.h"
+#include "math_macroarg.h"
+#include "math_support.h"
+#include "math_sqrtinset.h"
+
#include "debug.h"
-#include "support.h" // math_font_available
+#include "dociterator.h"
-MathArray mathed_parse_cell(string const &);
+#include <boost/assert.hpp>
+#include <sstream>
-MathMacroTable::table_type MathMacroTable::macro_table;
+using std::endl;
+using std::istringstream;
+using std::map;
+using std::pair;
+using std::string;
+using std::vector;
+using std::size_t;
-void MathMacroTable::dump()
-{
- lyxerr << "\n------------------------------------------\n";
- table_type::const_iterator it;
- for (it = macro_table.begin(); it != macro_table.end(); ++it)
- lyxerr << it->first << " [" << it->second.nargs() << "] : "
- << it->second << "\n";
- lyxerr << "------------------------------------------\n";
-}
+MacroData::MacroData()
+ : numargs_(0)
+{}
-void MathMacroTable::insertTemplate(MathMacroTemplate const & p)
-{
- if (macro_table.find(p.name()) != macro_table.end())
- lyxerr << "macro '" << p.name() << "' not new\n";
- macro_table[p.name()] = p;
-}
+MacroData::MacroData(string const & def, int numargs, string const & disp)
+ : def_(def), numargs_(numargs), disp_(disp)
+{}
-MathMacroTemplate & MathMacroTable::provideTemplate(string const & name)
+void MacroData::expand(vector<MathArray> const & args, MathArray & to) const
{
- builtinMacros();
-
- table_type::iterator pos = macro_table.find(name);
-
- if (pos == macro_table.end()) {
- lyxerr << "MathMacroTable::provideTemplate: no template with name '"
- << name << "' available.\n";
+ MathSqrtInset inset; // Hack. Any inset with a cell would do.
+ asArray(disp_.empty() ? def_ : disp_, inset.cell(0));
+ //lyxerr << "MathData::expand: args: " << args << endl;
+ //lyxerr << "MathData::expand: ar: " << inset.cell(0) << endl;
+ for (DocIterator it = doc_iterator_begin(inset); it; it.forwardChar()) {
+ if (!it.nextInset())
+ continue;
+ if (it.nextInset()->lyxCode() != InsetBase::MATHMACROARG_CODE)
+ continue;
+ //it.cell().erase(it.pos());
+ //it.cell().insert(it.pos(), it.nextInset()->asMathInset()
+ size_t n = static_cast<MathMacroArgument*>(it.nextInset())->number();
+ if (n <= args.size()) {
+ it.cell().erase(it.pos());
+ it.cell().insert(it.pos(), args[n - 1]);
+ }
}
-
- return pos->second;
+ //lyxerr << "MathData::expand: res: " << inset.cell(0) << endl;
+ to = inset.cell(0);
}
-void MathMacroTable::createTemplate
- (string const & name, int na, string const & text)
+// The global table.
+MacroTable & MacroTable::globalMacros()
{
- MathMacroTemplate t(name, na);
- t.cell(0) = mathed_parse_cell(text);
- insertTemplate(t);
+ static MacroTable theGlobalMacros;
+ return theGlobalMacros;
}
-bool MathMacroTable::hasTemplate(string const & name)
-{
- builtinMacros();
- return macro_table.find(name) != macro_table.end();
-}
+// The local table.
+//MacroTable & MacroTable::localMacros()
+//{
+// static MacroTable theLocalMacros;
+// return theLocalMacros;
+//}
-MathMacro * MathMacroTable::cloneTemplate(string const & name)
+bool MacroTable::has(string const & name) const
{
- return new MathMacro(provideTemplate(name));
+ return find(name) != end();
}
-void MathMacroTable::builtinMacros()
+MacroData const & MacroTable::get(string const & name) const
{
- static bool built = false;
-
- if (built)
- return;
-
- built = true;
- //lyxerr[Debug::MATHED] << "Building macros\n";
-
- //createTemplate("emptyset", 0, "\\not0");
- createTemplate("notin", 0, "\\not\\in");
- createTemplate("slash", 0, "/");
-
- // fontmath.ltx
-
- createTemplate("lnot", 0, "\\neg");
- createTemplate("land", 0, "\\wedge");
- createTemplate("lor", 0, "\\vee");
- createTemplate("ne", 0, "\\neq");
- createTemplate("le", 0, "\\leq");
- createTemplate("ge", 0, "\\geq");
- createTemplate("owns", 0, "\\ni");
- createTemplate("gets", 0, "\\leftarrow");
- createTemplate("to", 0, "\\rightarrow");
- createTemplate("|", 0, "\\parallel");
-
- createTemplate("longleftrightarrow", 0, "\\leftarrow\\kern-6mu\\rightarrow");
- createTemplate("Longleftrightarrow", 0, "\\Leftarrow\\kern-6mu\\Rightarrow");
- createTemplate("doteq", 0, "\\stackrel{\\cdot}{=}");
-
- //createTemplate("models", 0, "|\\kern-9mu=");
-
- if (math_font_available(LM_TC_CMSY)) {
- createTemplate("longrightarrow", 0, "\\lyxbar\\kern-5mu\\rightarrow");
- createTemplate("longleftarrow", 0, "\\leftarrow\\kern-5mu\\lyxbar");
- createTemplate("mapsto", 0, "\\mapstochar\\rightarrow");
- createTemplate("longmapsto", 0, "\\mapstochar\\lyxbar\\kern-5mu\\rightarrow");
- }
-
- if (math_font_available(LM_TC_CMR)) {
- createTemplate("Longrightarrow", 0, "\\lyxeq\\kern-3mu\\Rightarrow");
- createTemplate("Longleftarrow", 0, "\\Leftarrow\\kern-9mu\\lyxeq");
- }
+ const_iterator it = find(name);
+ BOOST_ASSERT(it != end());
+ return it->second;
+}
- if (math_font_available(LM_TC_CMM)) {
- createTemplate("hookrightarrow", 0, "\\lhook\\kern-5mu\\rightarrow");
- createTemplate("hookleftarrow", 0, "\\leftarrow\\kern-5mu\\rhook");
- createTemplate("bowtie", 0, "\\triangleright\\kern-3mu\\triangleleft");
- }
- if (math_font_available(LM_TC_MSA)) {
- //amsfonts.sty
+void MacroTable::insert(string const & name, MacroData const & data)
+{
+ //lyxerr << "MacroTable::insert: " << name << endl;
+ operator[](name) = data;
+}
- createTemplate("dashrightarrow", 0, "\\lyxdabar\\lyxdabar\\lyxright");
- createTemplate("dashleftarrow", 0, "\\lyxleft\\lyxdabar\\lyxdabar");
- createTemplate("dasharrow", 0, "\\dashrightarrow");
- createTemplate("Box", 0, "\\square");
- createTemplate("Diamond", 0, "\\lozenge");
- createTemplate("leadsto", 0, "\\rightsquigarrow");
- // amssymb.sty
+void MacroTable::insert(string const & def)
+{
+ //lyxerr << "MacroTable::insert, def: " << def << endl;
+ istringstream is(def);
+ MathMacroTemplate mac(is);
+ insert(mac.name(), mac.asMacroData());
+}
- createTemplate("restriction", 0, "\\upharpoonright");
- createTemplate("Doteq", 0, "\\doteqdot");
- createTemplate("doublecup", 0, "\\Cup");
- createTemplate("doublecap", 0, "\\Cap");
- createTemplate("llless", 0, "\\lll");
- createTemplate("gggtr", 0, "\\ggg");
- }
- //createTemplate("lint", 4, "\\int_#1^#2#3 d#4");
- //createTemplate("silentmult", 0, "\\cdot");
- //createTemplate("binom", 2, "\\left(\\frac#1#2\\right)");
+void MacroTable::dump()
+{
+ lyxerr << "\n------------------------------------------" << endl;
+ for (const_iterator it = begin(); it != end(); ++it)
+ lyxerr << it->first
+ << " [" << it->second.def() << "] : "
+ << " [" << it->second.disp() << "] : "
+ << endl;
+ lyxerr << "------------------------------------------" << endl;
}