several smallish changes/bugfixes/left overs from Porto

[lyx.git] / src / mathed / math_macrotable.C

diff --git a/src/mathed/math_macrotable.C b/src/mathed/math_macrotable.C
index c50033d5818ccb8007414722dad5b40b17f81d63..b7cd35d2d36afc409ca0c60f704d8600dfc75b34 100644 (file)
--- a/src/mathed/math_macrotable.C
+++ b/src/mathed/math_macrotable.C
@@ -10,11 +10,9 @@
 #include "math_macro.h"
 #include "math_macrotemplate.h"
 #include "math_parser.h"
-#include "math_fracinset.h"
+#include "math_mathmlstream.h"
 #include "debug.h"
-
-
-MathArray mathed_parse_cell(string const &);
+#include "math_support.h" // math_font_available
 
 
 MathMacroTable::table_type MathMacroTable::macro_table;
@@ -22,80 +20,141 @@ MathMacroTable::table_type MathMacroTable::macro_table;
 
 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 << it->first
+                       << " [" << it->second->asMacroTemplate()->nargs() << "] : "
+                       << it->second->cell(0) << "\n";
        lyxerr << "------------------------------------------\n";
+*/
 }
 
 
-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;
-}
-
-
-MathMacroTemplate & MathMacroTable::provideTemplate(string const & name)
+MathAtom & MathMacroTable::provide(string const & name)
 {
        builtinMacros();
-       
+
        table_type::iterator pos = macro_table.find(name);
 
        if (pos == macro_table.end()) {
                lyxerr << "MathMacroTable::provideTemplate: no template with name '"
                       << name << "' available.\n";
        }
-               
+
        return pos->second;
 }
 
 
-void MathMacroTable::createTemplate
-       (string const & name, int na, string const & text)
+void MathMacroTable::create(string const & name, int na)
 {
-       MathMacroTemplate t(name, na);
-       t.cell(0) = mathed_parse_cell(text);
-       insertTemplate(t);
+       macro_table[name] = MathAtom(new MathMacroTemplate(name, na));
 }
 
 
-bool MathMacroTable::hasTemplate(string const & name)
+void MathMacroTable::create
+       (string const & name, int na, MathArray const & ar1, MathArray const & ar2)
 {
-       builtinMacros();
-       return macro_table.find(name) != macro_table.end();
+       MathAtom t(new MathMacroTemplate(name, na));
+       t->cell(0) = ar1;
+       t->cell(1) = ar2;
+       macro_table[name] = t;
+}
+
+
+void MathMacroTable::define(string const & display)
+{
+       string name;
+       mathed_parse_macro(name, display);
 }
 
 
-MathMacro * MathMacroTable::cloneTemplate(string const & name)
+bool MathMacroTable::has(string const & name)
 {
-       return new MathMacro(provideTemplate(name));
+       builtinMacros();
+       return macro_table.find(name) != macro_table.end();
 }
 
 
 void MathMacroTable::builtinMacros()
 {
        static bool built = false;
-       
+
        if (built)
-               return; 
+               return;
 
        built = true;
        //lyxerr[Debug::MATHED] << "Building macros\n";
-   
-       createTemplate("emptyset",     0, "\\not0");
-       createTemplate("ge",           0, "\\geq");
-       createTemplate("gets",         0, "\\leftarrow");
-       createTemplate("land",         0, "\\wedge");
-       createTemplate("le",           0, "\\leq");
-       createTemplate("lor",          0, "\\vee");
-       createTemplate("notin",        0, "\\not\\in");
-       createTemplate("perp",         0, "\\bot");
-       createTemplate("to",           0, "\\rightarrow");
-       //createTemplate("lint",       4, "\\int_{#1}^{#2}#3 d#4");
-       //createTemplate("silentmult", 0, "\\cdot");
-       createTemplate("binom",        2, "\\left(\\frac{#1}{#2}\\right)");
+       //define("\\def\\emptyset{\\not0}");
+       define("\\def\\notin{\\not\\in}");
+       define("\\def\\slash{/}");
+       //define("\\def\\mathcircumflex{\\^}");
+
+       // fontmath.ltx
+
+       define("\\def\\lnot{\\neg}");
+       define("\\def\\land{\\wedge}");
+       define("\\def\\lor{\\vee}");
+       define("\\def\\ne{\\neq}");
+       define("\\def\\le{\\leq}");
+       define("\\def\\ge{\\geq}");
+       define("\\def\\owns{\\ni}");
+       define("\\def\\gets{\\leftarrow}");
+       define("\\def\\to{\\rightarrow}");
+       define("\\def\\|{\\Vert}");
+
+       define("\\def\\longleftrightarrow{\\leftarrow\\kern-8mu\\rightarrow}");
+       define("\\def\\Longleftrightarrow{\\Leftarrow\\kern-8mu\\Rightarrow}");
+       define("\\def\\doteq{\\stackrel{\\cdot}{\\=}}");
+
+       //if (math_font_available(LM_TC_CMSY)) {
+               define("\\def\\longrightarrow{\\lyxbar\\kern-6mu\\rightarrow}");
+               define("\\def\\longleftarrow{\\leftarrow\\kern-6mu\\lyxbar}");
+               define("\\def\\mapsto{\\mapstochar\\kern-4mu\\rightarrow}");
+               define("\\def\\longmapsto{\\mapstochar\\kern-3mu\\lyxbar\\kern-6mu\\rightarrow}");
+       //}
+
+       //if (math_font_available(LM_TC_CMR) && math_font_available(LM_TC_CMSY)) {
+               define("\\def\\Longrightarrow{\\lyxeq\\kern-5mu\\Rightarrow}");
+               define("\\def\\Longleftarrow{\\Leftarrow\\kern-5mu\\lyxeq}");
+               define("\\def\\models{\\vert\\kern-3mu\\lyxeq}");
+       //}
+
+       //if (math_font_available(LM_TC_CMM)) {
+               define("\\def\\hookrightarrow{\\lhook\\kern-8mu\\rightarrow}");
+               define("\\def\\hookleftarrow{\\leftarrow\\kern-8mu\\rhook}");
+               define("\\def\\bowtie{\\triangleright\\kern-2mu\\triangleleft}");
+       //}
+
+       //if (math_font_available(LM_TC_MSA)) {
+               //amsfonts.sty
+
+               define("\\def\\dashrightarrow{\\lyxdabar\\lyxdabar\\lyxright}");
+               define("\\def\\dashleftarrow{\\lyxleft\\lyxdabar\\lyxdabar}");
+               define("\\def\\dasharrow{\\dashrightarrow}");
+               define("\\def\\Box{\\square}");
+               define("\\def\\Diamond{\\lozenge}");
+               define("\\def\\leadsto{\\rightsquigarrow}");
+
+               // amssymb.sty
+
+               define("\\def\\restriction{\\upharpoonright}");
+               define("\\def\\Doteq{\\doteqdot}");
+               define("\\def\\doublecup{\\Cup}");
+               define("\\def\\doublecap{\\Cap}");
+               define("\\def\\llless{\\lll}");
+               define("\\def\\gggtr{\\ggg}");
+       //}
+
+       //if (math_font_available(LM_TC_MSB)) {
+               define("\\def\\Join{\\ltimes\\kern-12mu\\rtimes}");
+       //}
+
+       //
+       define("\\def\\mathcircumflex{\\mbox{\\^{}}}\n"   "{\\hat{}}");
+
+       //define("\def\lint",       4, "\\int_#1^#2#3 d#4}");
+       //define("\\def\\silentmult{\\cdot}");
+       //define("\def\binom",        2, "\\left(\\frac#1#2\\right)}");
 }