3 * This file is part of LyX, the document processor.
4 * Licence details can be found in the file COPYING.
8 * Full author contact details are available in file CREDITS.
14 #include "InsetMathFont.h"
15 #include "InsetMathScript.h"
16 #include "MathMacro.h"
17 #include "MacroTable.h"
18 #include "MathStream.h"
19 #include "MathSupport.h"
20 #include "ReplaceData.h"
23 #include "BufferView.h"
24 #include "CoordCache.h"
29 #include "frontends/FontMetrics.h"
30 #include "frontends/Painter.h"
32 #include <boost/assert.hpp>
33 #include <boost/next_prior.hpp>
41 using std::ostringstream;
46 MathData::MathData(const_iterator from, const_iterator to)
51 MathAtom & MathData::operator[](pos_type pos)
53 BOOST_ASSERT(pos < size());
54 return base_type::operator[](pos);
58 MathAtom const & MathData::operator[](pos_type pos) const
60 BOOST_ASSERT(pos < size());
61 return base_type::operator[](pos);
65 void MathData::insert(size_type pos, MathAtom const & t)
67 base_type::insert(begin() + pos, t);
71 void MathData::insert(size_type pos, MathData const & ar)
73 BOOST_ASSERT(pos <= size());
74 base_type::insert(begin() + pos, ar.begin(), ar.end());
78 void MathData::append(MathData const & ar)
84 void MathData::erase(size_type pos)
91 void MathData::erase(iterator pos1, iterator pos2)
93 base_type::erase(pos1, pos2);
97 void MathData::erase(iterator pos)
99 base_type::erase(pos);
103 void MathData::erase(size_type pos1, size_type pos2)
105 base_type::erase(begin() + pos1, begin() + pos2);
109 void MathData::dump2() const
113 for (const_iterator it = begin(); it != end(); ++it)
115 lyxerr << to_utf8(os.str());
119 void MathData::dump() const
123 for (const_iterator it = begin(); it != end(); ++it)
124 ns << '<' << *it << '>';
125 lyxerr << to_utf8(os.str());
129 void MathData::validate(LaTeXFeatures & features) const
131 for (const_iterator it = begin(); it != end(); ++it)
132 (*it)->validate(features);
136 bool MathData::match(MathData const & ar) const
138 return size() == ar.size() && matchpart(ar, 0);
142 bool MathData::matchpart(MathData const & ar, pos_type pos) const
144 if (size() < ar.size() + pos)
146 const_iterator it = begin() + pos;
147 for (const_iterator jt = ar.begin(); jt != ar.end(); ++jt, ++it)
148 if (asString(*it) != asString(*jt))
154 void MathData::replace(ReplaceData & rep)
156 for (size_type i = 0; i < size(); ++i) {
157 if (find1(rep.from, i)) {
159 lyxerr << "match found!" << endl;
160 erase(i, i + rep.from.size());
165 // FIXME: temporarily disabled
166 // for (const_iterator it = begin(); it != end(); ++it)
167 // it->nucleus()->replace(rep);
171 bool MathData::find1(MathData const & ar, size_type pos) const
173 lyxerr << "finding '" << ar << "' in '" << *this << "'" << endl;
174 for (size_type i = 0, n = ar.size(); i < n; ++i)
175 if (asString(operator[](pos + i)) != asString(ar[i]))
181 MathData::size_type MathData::find(MathData const & ar) const
183 for (int i = 0, last = size() - ar.size(); i < last; ++i)
190 MathData::size_type MathData::find_last(MathData const & ar) const
192 for (int i = size() - ar.size(); i >= 0; --i)
199 bool MathData::contains(MathData const & ar) const
201 if (find(ar) != size())
203 for (const_iterator it = begin(); it != end(); ++it)
204 if ((*it)->contains(ar))
210 void MathData::touch() const
217 bool isInside(DocIterator const & it, MathData const & ar,
218 pos_type p1, pos_type p2)
220 for (size_t i = 0; i != it.depth(); ++i) {
221 CursorSlice const & sl = it[i];
222 if (sl.inset().inMathed() && &sl.cell() == &ar)
223 return p1 <= sl.pos() && sl.pos() < p2;
232 void MathData::metrics(MetricsInfo & mi, Dimension & dim) const
234 frontend::FontMetrics const & fm = theFontMetrics(mi.base.font);
235 dim = fm.dimension('I');
236 int xascent = fm.dimension('x').ascent();
237 if (xascent >= dim.asc)
238 xascent = (2 * dim.asc) / 3;
240 mindes_ = (3 * xascent) / 4;
241 slevel_ = (4 * xascent) / 5;
242 sshift_ = xascent / 4;
246 // Cache the dimension.
247 mi.base.bv->coordCache().arrays().add(this, dim);
255 //BufferView & bv = *mi.base.bv;
256 //Buffer const & buf = bv.buffer();
257 for (size_t i = 0, n = size(); i != n; ++i) {
258 MathAtom const & at = operator[](i);
260 MathMacro const * mac = at->asMacro();
261 if (mac && buf.hasMacro(mac->name())) {
262 MacroData const & tmpl = buf.getMacro(mac->name());
263 int numargs = tmpl.numargs();
266 lyxerr << "metrics:found macro: " << mac->name()
267 << " numargs: " << numargs << endl;
268 if (!isInside(bv.cursor(), *this, i + 1, i + numargs + 1)) {
269 MathData args(begin() + i + 1, begin() + i + numargs + 1);
271 tmpl.expand(args, exp);
272 mac->setExpansion(exp, args);
273 mac->metricsExpanded(mi, d);
274 dim.wid += mac->widthExpanded();
281 atom_dims_.push_back(d);
284 kerning_ = at->kerning();
286 // Cache the dimension.
287 mi.base.bv->coordCache().arrays().add(this, dim);
291 void MathData::draw(PainterInfo & pi, int x, int y) const
293 //lyxerr << "MathData::draw: x: " << x << " y: " << y << endl;
294 BufferView & bv = *pi.base.bv;
297 Dimension const & dim = bv.coordCache().getArrays().dim(this);
300 pi.pain.rectangle(x, y - dim.ascent(), dim.width(), dim.height(), Color::mathline);
304 // don't draw outside the workarea
305 if (y + dim.descent() <= 0
306 || y - dim.ascent() >= bv.workHeight()
307 || x + dim.width() <= 0
308 || x >= bv. workWidth())
311 for (size_t i = 0, n = size(); i != n; ++i) {
312 MathAtom const & at = operator[](i);
314 Buffer const & buf = bv.buffer();
315 // special macro handling
316 MathMacro const * mac = at->asMacro();
317 if (mac && buf.hasMacro(mac->name())) {
318 MacroData const & tmpl = buf.getMacro(mac->name());
319 int numargs = tmpl.numargs();
322 if (!isInside(bv.cursor(), *this, i + 1, i + numargs + 1)) {
323 mac->drawExpanded(pi, x, y);
324 x += mac->widthExpanded();
330 bv.coordCache().insets().add(at.nucleus(), x, y);
331 at->drawSelection(pi, x, y);
333 x += atom_dims_[i].wid;
338 void MathData::metricsT(TextMetricsInfo const & mi, Dimension & dim) const
342 for (const_iterator it = begin(); it != end(); ++it) {
343 (*it)->metricsT(mi, d);
349 void MathData::drawT(TextPainter & pain, int x, int y) const
351 //lyxerr << "x: " << x << " y: " << y << ' ' << pain.workAreaHeight() << endl;
353 // FIXME: Abdel 16/10/2006
354 // This drawT() method is never used, this is dead code.
356 for (const_iterator it = begin(), et = end(); it != et; ++it) {
357 (*it)->drawT(pain, x, y);
358 //x += (*it)->width_;
364 int MathData::pos2x(size_type pos) const
366 return pos2x(pos, 0);
370 int MathData::pos2x(size_type pos, int glue) const
373 size_type target = min(pos, size());
374 for (size_type i = 0; i < target; ++i) {
375 const_iterator it = begin() + i;
376 if ((*it)->getChar() == ' ')
378 //lyxerr << "char: " << (*it)->getChar()
379 // << "width: " << (*it)->width() << std::endl;
380 x += atom_dims_[i].wid;
386 MathData::size_type MathData::x2pos(int targetx) const
388 return x2pos(targetx, 0);
392 MathData::size_type MathData::x2pos(int targetx, int glue) const
394 const_iterator it = begin();
397 // find first position after targetx
398 for (; currx < targetx && it < end(); ++it) {
400 if ((*it)->getChar() == ' ')
402 currx += atom_dims_[it - begin()].wid;
406 * If we are not at the beginning of the array, go to the left
407 * of the inset if one of the following two condition holds:
408 * - the current inset is editable (so that the cursor tip is
409 * deeper than us): in this case, we want all intermediate
410 * cursor slices to be before insets;
411 * - the mouse is closer to the left side of the inset than to
413 * See bug 1918 for details.
415 if (it != begin() && currx >= targetx
416 && ((*boost::prior(it))->asNestInset()
417 || abs(lastx - targetx) < abs(currx - targetx))) {
425 int MathData::dist(BufferView const & bv, int x, int y) const
427 return bv.coordCache().getArrays().squareDistance(this, x, y);
431 void MathData::setXY(BufferView & bv, int x, int y) const
433 //lyxerr << "setting position cache for MathData " << this << std::endl;
434 bv.coordCache().arrays().add(this, x, y);
438 Dimension const & MathData::dimension(BufferView const & bv) const
440 return bv.coordCache().getArrays().dim(this);
444 int MathData::xm(BufferView const & bv) const
446 Geometry const & g = bv.coordCache().getArrays().geometry(this);
448 return g.pos.x_ + g.dim.wid / 2;
452 int MathData::ym(BufferView const & bv) const
454 Geometry const & g = bv.coordCache().getArrays().geometry(this);
456 return g.pos.y_ + (g.dim.des - g.dim.asc) / 2;
460 int MathData::xo(BufferView const & bv) const
462 return bv.coordCache().getArrays().x(this);
466 int MathData::yo(BufferView const & bv) const
468 return bv.coordCache().getArrays().y(this);
472 std::ostream & operator<<(std::ostream & os, MathData const & ar)
474 odocstringstream oss;
475 NormalStream ns(oss);
477 return os << to_utf8(oss.str());
481 odocstream & operator<<(odocstream & os, MathData const & ar)