]> git.lyx.org Git - lyx.git/blob - src/mathed/InsetMathDots.cpp
Account for old versions of Pygments
[lyx.git] / src / mathed / InsetMathDots.cpp
1 /**
2  * \file InsetMathDots.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author Alejandro Aguilar Sierra
7  * \author André Pönitz
8  *
9  * Full author contact details are available in file CREDITS.
10  */
11
12 #include <config.h>
13
14 #include "InsetMathDots.h"
15
16 #include "Dimension.h"
17 #include "LaTeXFeatures.h"
18 #include "MathStream.h"
19 #include "MathSupport.h"
20 #include "MathParser.h"
21 #include "MetricsInfo.h"
22
23 #include "frontends/FontMetrics.h"
24 #include "support/lassert.h"
25
26 namespace lyx {
27
28 InsetMathDots::InsetMathDots(latexkeys const * key)
29         : dh_(0), key_(key)
30 {}
31
32
33 Inset * InsetMathDots::clone() const
34 {
35         return new InsetMathDots(*this);
36 }
37
38
39 void InsetMathDots::metrics(MetricsInfo & mi, Dimension & dim) const
40 {
41         dim = theFontMetrics(mi.base.font).dimension('M');
42         dh_ = 0;
43         if (key_->name == "cdots" || key_->name == "dotsb"
44                         || key_->name == "dotsm" || key_->name == "dotsi")
45                 dh_ = dim.asc / 2;
46         else if (key_->name == "dotsc")
47                 dh_ = dim.asc / 4;
48         else if (key_->name == "vdots") {
49                 dim.wid = (dim.wid / 2) + 1;
50                 dh_ = dim.asc;
51         }
52         else if (key_->name == "ddots" || key_->name == "adots" || key_->name == "iddots")
53                 dh_ = dim.asc;
54 }
55
56
57 void InsetMathDots::draw(PainterInfo & pi, int x, int y) const
58 {
59         Dimension const dim = dimension(*pi.base.bv);
60         if (key_->name == "adots" || key_->name == "iddots")
61                 --y;
62         mathed_draw_deco(pi, x + 2, y - dh_, dim.width() - 2, dim.ascent(),
63                         key_->name);
64         if (key_->name == "vdots" || key_->name == "ddots" || key_->name == "adots" || key_->name == "iddots")
65                 ++x;
66         if (key_->name == "adots" || key_->name == "iddots")
67                 ++y;
68         else if (key_->name != "vdots")
69                 --y;
70         mathed_draw_deco(pi, x + 2, y - dh_, dim.width() - 2, dim.ascent(),
71                 key_->name);
72 }
73
74
75 docstring InsetMathDots::name() const
76 {
77         return key_->name;
78 }
79
80
81 void InsetMathDots::validate(LaTeXFeatures & features) const
82 {
83         if (!key_->requires.empty())
84                 features.require(key_->requires);
85 }
86
87
88 void InsetMathDots::mathmlize(MathStream & os) const
89 {
90         // which symbols we support is decided by what is listed in
91         // lib/symbols as generating a dots inset
92         docstring const & n = key_->name;
93         std::string ent;
94         if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
95                 ent = "&hellip;";
96         else if (n == "adots" || n == "iddots")
97                 ent = "&utdot;";
98         else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
99                 ent = "&ctdot;";
100         else if (n == "ddots")
101                 ent = "&dtdot;";
102         else if (n == "vdots")
103                 ent = "&vellip;";
104         else
105                 LASSERT(false, ent = "&hellip;");
106         os << MTag("mi") << from_ascii(ent) << ETag("mi");
107 }
108
109
110 void InsetMathDots::htmlize(HtmlStream & os) const
111 {
112         // which symbols we support is decided by what is listed in
113         // lib/symbols as generating a dots inset
114         docstring const & n = key_->name;
115         std::string ent;
116         if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
117                 ent = "&#x02026;";
118         else if (n == "adots" || n == "iddots")
119                 ent = "&#x022F0;";
120         else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
121                 ent = "&#x022EF;";
122         else if (n == "ddots")
123                 ent = "&#x022F1;";
124         else if (n == "vdots")
125                 ent = "&#x022EE;";
126         else
127                 LASSERT(false, ent = "#x02026;");
128         os << from_ascii(ent);
129 }
130
131 } // namespace lyx