9 #include "math_macrotable.h"
10 #include "math_macro.h"
11 #include "math_macrotemplate.h"
12 #include "math_parser.h"
14 #include "support.h" // math_font_available
16 MathArray mathed_parse_cell(string const &);
19 MathMacroTable::table_type MathMacroTable::macro_table;
22 void MathMacroTable::dump()
24 lyxerr << "\n------------------------------------------\n";
25 table_type::const_iterator it;
26 for (it = macro_table.begin(); it != macro_table.end(); ++it)
27 lyxerr << it->first << " [" << it->second.nargs() << "] : "
28 << it->second << "\n";
29 lyxerr << "------------------------------------------\n";
33 void MathMacroTable::insertTemplate(MathMacroTemplate const & p)
35 if (macro_table.find(p.name()) != macro_table.end())
36 lyxerr << "macro '" << p.name() << "' not new\n";
37 macro_table[p.name()] = p;
41 MathMacroTemplate & MathMacroTable::provideTemplate(string const & name)
45 table_type::iterator pos = macro_table.find(name);
47 if (pos == macro_table.end()) {
48 lyxerr << "MathMacroTable::provideTemplate: no template with name '"
49 << name << "' available.\n";
56 void MathMacroTable::createTemplate
57 (string const & name, int na, string const & text)
59 MathMacroTemplate t(name, na);
60 t.cell(0) = mathed_parse_cell(text);
65 bool MathMacroTable::hasTemplate(string const & name)
68 return macro_table.find(name) != macro_table.end();
72 MathMacro * MathMacroTable::cloneTemplate(string const & name)
74 return new MathMacro(provideTemplate(name));
78 void MathMacroTable::builtinMacros()
80 static bool built = false;
86 //lyxerr[Debug::MATHED] << "Building macros\n";
88 //createTemplate("emptyset", 0, "\\not0");
89 createTemplate("notin", 0, "\\not\\in");
90 createTemplate("slash", 0, "/");
94 createTemplate("lnot", 0, "\\neg");
95 createTemplate("land", 0, "\\wedge");
96 createTemplate("lor", 0, "\\vee");
97 createTemplate("ne", 0, "\\neq");
98 createTemplate("le", 0, "\\leq");
99 createTemplate("ge", 0, "\\geq");
100 createTemplate("owns", 0, "\\ni");
101 createTemplate("gets", 0, "\\leftarrow");
102 createTemplate("to", 0, "\\rightarrow");
103 createTemplate("|", 0, "\\parallel");
105 createTemplate("longleftrightarrow", 0, "\\leftarrow\\kern-6mu\\rightarrow");
106 createTemplate("Longleftrightarrow", 0, "\\Leftarrow\\kern-6mu\\Rightarrow");
107 createTemplate("doteq", 0, "\\stackrel{\\cdot}{=}");
109 //createTemplate("models", 0, "|\\kern-9mu=");
111 if (math_font_available(LM_TC_CMSY)) {
112 createTemplate("longrightarrow", 0, "\\lyxbar\\kern-5mu\\rightarrow");
113 createTemplate("longleftarrow", 0, "\\leftarrow\\kern-5mu\\lyxbar");
114 createTemplate("mapsto", 0, "\\mapstochar\\rightarrow");
115 createTemplate("longmapsto", 0, "\\mapstochar\\lyxbar\\kern-5mu\\rightarrow");
118 if (math_font_available(LM_TC_CMR)) {
119 createTemplate("Longrightarrow", 0, "\\lyxeq\\kern-3mu\\Rightarrow");
120 createTemplate("Longleftarrow", 0, "\\Leftarrow\\kern-9mu\\lyxeq");
123 if (math_font_available(LM_TC_CMM)) {
124 createTemplate("hookrightarrow", 0, "\\lhook\\kern-5mu\\rightarrow");
125 createTemplate("hookleftarrow", 0, "\\leftarrow\\kern-5mu\\rhook");
126 createTemplate("bowtie", 0, "\\triangleright\\kern-3mu\\triangleleft");
129 if (math_font_available(LM_TC_MSA)) {
132 createTemplate("dashrightarrow", 0, "\\lyxdabar\\lyxdabar\\lyxright");
133 createTemplate("dashleftarrow", 0, "\\lyxleft\\lyxdabar\\lyxdabar");
134 createTemplate("dasharrow", 0, "\\dashrightarrow");
135 createTemplate("Box", 0, "\\square");
136 createTemplate("Diamond", 0, "\\lozenge");
137 createTemplate("leadsto", 0, "\\rightsquigarrow");
141 createTemplate("restriction", 0, "\\upharpoonright");
142 createTemplate("Doteq", 0, "\\doteqdot");
143 createTemplate("doublecup", 0, "\\Cup");
144 createTemplate("doublecap", 0, "\\Cap");
145 createTemplate("llless", 0, "\\lll");
146 createTemplate("gggtr", 0, "\\ggg");
149 //createTemplate("lint", 4, "\\int_#1^#2#3 d#4");
150 //createTemplate("silentmult", 0, "\\cdot");
151 //createTemplate("binom", 2, "\\left(\\frac#1#2\\right)");