]> git.lyx.org Git - lyx.git/blob - src/mathed/math_hullinset.C
85d3af38ace90c8c7e1308b9a8687983db526a90
[lyx.git] / src / mathed / math_hullinset.C
1 #include <config.h>
2
3 #ifdef __GNUG__
4 #pragma implementation
5 #endif
6
7 #include "math_hullinset.h"
8 #include "math_mathmlstream.h"
9 #include "math_streamstr.h"
10 #include "math_support.h"
11 #include "math_extern.h"
12 #include "math_charinset.h"
13 #include "debug.h"
14 #include "textpainter.h"
15 #include "funcrequest.h"
16 #include "Lsstream.h"
17 #include "LaTeXFeatures.h"
18 #include "support/LAssert.h"
19 #include "frontends/Painter.h"
20
21 #include "frontends/Alert.h"
22 #include "lyxrc.h"
23 #include "gettext.h"
24 #include "BufferView.h"
25
26 #include <vector>
27
28 using std::vector;
29 using std::max;
30 using std::endl;
31 using std::pair;
32
33 namespace {
34
35         int getCols(string const & type)
36         {
37                 if (type == "eqnarray")
38                         return 3;
39                 if (type == "align")
40                         return 2;
41                 if (type == "alignat")
42                         return 2;
43                 if (type == "xalignat")
44                         return 2;
45                 if (type == "xxalignat")
46                         return 2;
47                 return 1;
48         }
49
50
51         // returns position of first relation operator in the array
52         // used for "intelligent splitting"
53         MathArray::size_type firstRelOp(MathArray const & ar)
54         {
55                 for (MathArray::const_iterator it = ar.begin(); it != ar.end(); ++it)
56                         if ((*it)->isRelOp())
57                                 return it - ar.begin();
58                 return ar.size();
59         }
60
61
62         char const * star(bool numbered)
63         {
64                 return numbered ? "" : "*";
65         }
66
67
68         int typecode(string const & s)
69         {
70                 if (s == "none")      return 0;
71                 if (s == "simple")    return 1;
72                 if (s == "equation")  return 2;
73                 if (s == "eqnarray")  return 3;
74                 if (s == "align")     return 4;
75                 if (s == "alignat")   return 5;
76                 if (s == "xalignat")  return 6;
77                 if (s == "xxalignat") return 7;
78                 if (s == "multline")  return 8;
79                 if (s == "gather")    return 9;
80                 lyxerr << "unknown hull type '" << s << "'\n";
81                 return 0;
82         }
83
84         bool smaller(string const & s, string const & t)
85         {
86                 return typecode(s) < typecode(t);
87         }
88
89
90 } // end anon namespace
91
92
93 MathHullInset::MathHullInset()
94         : MathGridInset(1, 1), type_("none"), nonum_(1), label_(1)
95 {
96         setDefaults();
97 }
98
99
100 MathHullInset::MathHullInset(string const & type)
101         : MathGridInset(getCols(type), 1), type_(type), nonum_(1), label_(1)
102 {
103         setDefaults();
104 }
105
106
107 MathInset * MathHullInset::clone() const
108 {
109         return new MathHullInset(*this);
110 }
111
112
113 MathInset::mode_type MathHullInset::currentMode() const
114 {
115         if (type_ == "none")
116                 return UNDECIDED_MODE;
117         // definitely math mode ...
118         return MATH_MODE;
119 }
120
121
122 bool MathHullInset::idxFirst(idx_type & idx, pos_type & pos) const
123 {
124         idx = 0;
125         pos = 0;
126         return true;
127 }
128
129
130 bool MathHullInset::idxLast(idx_type & idx, pos_type & pos) const
131 {
132         idx = nargs() - 1;
133         pos = cell(idx).size();
134         return true;
135 }
136
137
138 char MathHullInset::defaultColAlign(col_type col)
139 {
140         if (type_ == "eqnarray")
141                 return "rcl"[col];
142         if (typecode(type_) >= typecode("align"))
143                 return "rl"[col & 1];
144         return 'c';
145 }
146
147
148 int MathHullInset::defaultColSpace(col_type col)
149 {
150         if (type_ == "align" || type_ == "alignat")
151                 return 0;
152         if (type_ == "xalignat")
153                 return (col & 1) ? 20 : 0;
154         if (type_ == "xxalignat")
155                 return (col & 1) ? 40 : 0;
156         return 0;
157 }
158
159
160 char const * MathHullInset::standardFont() const
161 {
162         if (type_ == "none")
163                 return "lyxnochange";
164         return "mathnormal";
165 }
166
167
168 void MathHullInset::metrics(MathMetricsInfo & mi) const
169 {
170         MathFontSetChanger dummy1(mi.base, standardFont());
171         MathStyleChanger dummy2(mi.base, display() ? LM_ST_DISPLAY : LM_ST_TEXT);
172
173         // let the cells adjust themselves
174         MathGridInset::metrics(mi);
175
176         if (display()) {
177                 dim_.a += 12;
178                 dim_.d += 12;
179         }
180
181         if (numberedType()) {
182                 MathFontSetChanger dummy(mi.base, "mathbf");
183                 int l = 0;
184                 for (row_type row = 0; row < nrows(); ++row)
185                         l = max(l, mathed_string_width(mi.base.font, nicelabel(row)));
186
187                 if (l)
188                         dim_.w += 30 + l;
189         }
190
191         // make it at least as high as the current font
192         int asc = 0;
193         int des = 0;
194         math_font_max_dim(mi.base.font, asc, des);
195         dim_.a = max(dim_.a,  asc);
196         dim_.d = max(dim_.d, des);
197
198         // for markers
199         metricsMarkers2();
200 }
201
202
203 void MathHullInset::draw(MathPainterInfo & pi, int x, int y) const
204 {
205         MathFontSetChanger dummy1(pi.base, standardFont());
206         MathStyleChanger dummy2(pi.base, display() ? LM_ST_DISPLAY : LM_ST_TEXT);
207         MathGridInset::draw(pi, x + 1, y);
208
209         if (numberedType()) {
210                 int const xx = x + colinfo_.back().offset_ + colinfo_.back().width_ + 20;
211                 for (row_type row = 0; row < nrows(); ++row) {
212                         int const yy = y + rowinfo_[row].offset_;
213                         MathFontSetChanger dummy(pi.base, "mathrm");
214                         drawStr(pi, pi.base.font, xx, yy, nicelabel(row));
215                 }
216         }
217
218         drawMarkers2(pi, x, y);
219 }
220
221
222 void MathHullInset::metricsT(TextMetricsInfo const & mi) const
223 {
224         if (display()) {
225                 MathGridInset::metricsT(mi);
226         } else {
227                 ostringstream os;
228                 WriteStream wi(os, false, true);
229                 write(wi);
230                 dim_.w = os.str().size();
231                 dim_.a = 1;
232                 dim_.d = 0;
233         }
234 }
235
236
237 void MathHullInset::drawT(TextPainter & pain, int x, int y) const
238 {
239         if (display()) {
240                 MathGridInset::drawT(pain, x, y);
241         } else {
242                 ostringstream os;
243                 WriteStream wi(os, false, true);
244                 write(wi);
245                 pain.draw(x, y, os.str().c_str());
246         }
247 }
248
249
250 string MathHullInset::label(row_type row) const
251 {
252         row_type n = nrows();
253         lyx::Assert(row < n);
254         return label_[row];
255 }
256
257
258 void MathHullInset::label(row_type row, string const & label)
259 {
260         //lyxerr << "setting label '" << label << "' for row " << row << endl;
261         label_[row] = label;
262 }
263
264
265 void MathHullInset::numbered(row_type row, bool num)
266 {
267         nonum_[row] = !num;
268 }
269
270
271 bool MathHullInset::numbered(row_type row) const
272 {
273         return !nonum_[row];
274 }
275
276
277 bool MathHullInset::ams() const
278 {
279         return
280                 type_ == "align" ||
281                 type_ == "multline" ||
282                 type_ == "gather" ||
283                 type_ == "alignat" ||
284                 type_ == "xalignat" ||
285                 type_ == "xxalignat";
286 }
287
288
289 bool MathHullInset::display() const
290 {
291         return type_ != "simple" && type_ != "none";
292 }
293
294
295 void MathHullInset::getLabelList(std::vector<string> & labels) const
296 {
297         for (row_type row = 0; row < nrows(); ++row)
298                 if (!label_[row].empty() && nonum_[row] != 1)
299                         labels.push_back(label_[row]);
300 }
301
302
303 bool MathHullInset::numberedType() const
304 {
305         if (type_ == "none")
306                 return false;
307         if (type_ == "simple")
308                 return false;
309         if (type_ == "xxalignat")
310                 return false;
311         for (row_type row = 0; row < nrows(); ++row)
312                 if (!nonum_[row])
313                         return true;
314         return false;
315 }
316
317
318 void MathHullInset::validate(LaTeXFeatures & features) const
319 {
320         if (ams())
321                 features.require("amsmath");
322
323
324         // Validation is necessary only if not using AMS math.
325         // To be safe, we will always run mathedvalidate.
326         //if (features.amsstyle)
327         //  return;
328
329         features.require("boldsymbol");
330         //features.binom      = true;
331
332         MathNestInset::validate(features);
333 }
334
335
336 void MathHullInset::header_write(WriteStream & os) const
337 {
338         bool n = numberedType();
339
340         if (type_ == "none")
341                 ;
342
343         else if (type_ == "simple") {
344                 os << '$';
345                 if (cell(0).empty())
346                         os << ' ';
347         }
348
349         else if (type_ == "equation") {
350                 if (n)
351                         os << "\\begin{equation" << star(n) << "}\n";
352                 else
353                         os << "\\[\n";
354         }
355
356         else if (type_ == "eqnarray" || type_ == "align")
357                         os << "\\begin{" << type_ << star(n) << "}\n";
358
359         else if (type_ == "alignat" || type_ == "xalignat")
360                 os << "\\begin{" << type_ << star(n) << "}"
361                   << "{" << static_cast<unsigned int>((ncols() + 1)/2) << "}\n";
362
363         else if (type_ == "xxalignat")
364                 os << "\\begin{" << type_ << "}"
365                   << "{" << static_cast<unsigned int>((ncols() + 1)/2) << "}\n";
366
367         else if (type_ == "multline" || type_ == "gather")
368                 os << "\\begin{" << type_ << "}\n";
369
370         else
371                 os << "\\begin{unknown" << star(n) << "}";
372 }
373
374
375 void MathHullInset::footer_write(WriteStream & os) const
376 {
377         bool n = numberedType();
378
379         if (type_ == "none")
380                 os << "\n";
381
382         else if (type_ == "simple")
383                 os << '$';
384
385         else if (type_ == "equation")
386                 if (n)
387                         os << "\\end{equation" << star(n) << "}\n";
388                 else
389                         os << "\\]\n";
390
391         else if (type_ == "eqnarray" || type_ == "align" || type_ == "alignat"
392               || type_ == "xalignat")
393                 os << "\n\\end{" << type_ << star(n) << "}\n";
394
395         else if (type_ == "xxalignat" || type_ == "multline" || type_ == "gather")
396                 os << "\n\\end{" << type_ << "}\n";
397
398         else
399                 os << "\\end{unknown" << star(n) << "}";
400 }
401
402
403 void MathHullInset::addRow(row_type row)
404 {
405         nonum_.insert(nonum_.begin() + row + 1, !numberedType());
406         label_.insert(label_.begin() + row + 1, string());
407         MathGridInset::addRow(row);
408 }
409
410
411 void MathHullInset::delRow(row_type row)
412 {
413         if (nrows() <= 1)
414                 return;
415         MathGridInset::delRow(row);
416         nonum_.erase(nonum_.begin() + row);
417         label_.erase(label_.begin() + row);
418 }
419
420
421 void MathHullInset::addFancyCol(col_type col)
422 {
423         if (type_ == "equation")
424                 mutate("eqnarray");
425
426         else if (type_ == "eqnarray") {
427                 mutate("align");
428                 addFancyCol(col);
429         }
430
431         else if (type_ == "align" || type_ == "alignat"
432               || type_ == "xalignat" || type_ == "xxalignat")
433                 MathGridInset::addCol(col);
434 }
435
436
437 void MathHullInset::delFancyCol(col_type col)
438 {
439         if (type_ == "alignat" || type_ == "xalignat" || type_ == "xxalignat")
440                 MathGridInset::delCol(col);
441 }
442
443
444 string MathHullInset::nicelabel(row_type row) const
445 {
446         if (nonum_[row])
447                 return string();
448         if (label_[row].empty())
449                 return string("(#)");
450         return "(" + label_[row] + ")";
451 }
452
453
454 void MathHullInset::glueall()
455 {
456         MathArray ar;
457         for (idx_type i = 0; i < nargs(); ++i)
458                 ar.append(cell(i));
459         *this = MathHullInset("simple");
460         cell(0) = ar;
461         setDefaults();
462 }
463
464
465 string const & MathHullInset::getType() const
466 {
467         return type_;
468 }
469
470
471 void MathHullInset::setType(string const & type)
472 {
473         type_ = type;
474         setDefaults();
475 }
476
477
478
479 void MathHullInset::mutate(string const & newtype)
480 {
481         //lyxerr << "mutating from '" << type_ << "' to '" << newtype << "'\n";
482
483         // we try to move along the chain
484         // none <-> simple <-> equation <-> eqnarray
485
486         if (newtype == "dump") {
487                 dump();
488         }
489
490         else if (newtype == type_) {
491                 // done
492         }
493
494         else if (type_ == "none") {
495                 setType("simple");
496                 numbered(0, false);
497                 mutate(newtype);
498         }
499
500         else if (type_ == "simple") {
501                 if (newtype == "none") {
502                         setType("none");
503                 } else {
504                         setType("equation");
505                         numbered(0, false);
506                         mutate(newtype);
507                 }
508         }
509
510         else if (type_ == "equation") {
511                 if (smaller(newtype, type_)) {
512                         setType("simple");
513                         mutate(newtype);
514                 } else if (newtype == "eqnarray") {
515                         MathGridInset::addCol(1);
516                         MathGridInset::addCol(1);
517
518                         // split it "nicely" on the firest relop
519                         pos_type pos = firstRelOp(cell(0));
520                         cell(1) = MathArray(cell(0).begin() + pos, cell(0).end());
521                         cell(0).erase(pos, cell(0).size());
522
523                         if (cell(1).size()) {
524                                 cell(2) = MathArray(cell(1).begin() + 1, cell(1).end());
525                                 cell(1).erase(1, cell(1).size());
526                         }
527                         setType("eqnarray");
528                         mutate(newtype);
529                 } else if (newtype == "multline" || newtype == "gather") {
530                         setType(newtype);
531                         numbered(0, false);
532                 } else {
533                         MathGridInset::addCol(1);
534                         // split it "nicely"
535                         pos_type pos = firstRelOp(cell(0));
536                         cell(1) = cell(0);
537                         cell(0).erase(pos, cell(0).size());
538                         cell(1).erase(0, pos);
539                         setType("align");
540                         mutate(newtype);
541                 }
542         }
543
544         else if (type_ == "eqnarray") {
545                 if (smaller(newtype, type_)) {
546                         // set correct (no)numbering
547                         bool allnonum = true;
548                         for (row_type row = 0; row < nrows(); ++row)
549                                 if (!nonum_[row])
550                                         allnonum = false;
551
552                         // set first non-empty label
553                         string label;
554                         for (row_type row = 0; row < nrows(); ++row) {
555                                 if (!label_[row].empty()) {
556                                         label = label_[row];
557                                         break;
558                                 }
559                         }
560
561                         glueall();
562                         nonum_[0] = allnonum;
563                         label_[0] = label;
564                         mutate(newtype);
565                 } else { // align & Co.
566                         for (row_type row = 0; row < nrows(); ++row) {
567                                 idx_type c = 3 * row + 1;
568                                 cell(c).append(cell(c + 1));
569                         }
570                         MathGridInset::delCol(2);
571                         setType("align");
572                         mutate(newtype);
573                 }
574         }
575
576         else if (type_ == "align") {
577                 if (smaller(newtype, type_)) {
578                         MathGridInset::addCol(1);
579                         setType("eqnarray");
580                         mutate(newtype);
581                 } else {
582                         setType(newtype);
583                 }
584         }
585
586         else if (type_ == "multline") {
587                 if (newtype == "gather") {
588                         setType("gather");
589                 } else {
590                         lyxerr << "mutation from '" << type_
591                                 << "' to '" << newtype << "' not implemented"
592                                                  << endl;
593                 }
594         }
595
596         else if (type_ == "gather") {
597                 if (newtype == "multline") {
598                         setType("multline");
599                 } else {
600                         lyxerr << "mutation from '" << type_
601                                 << "' to '" << newtype << "' not implemented" << endl;
602                 }
603         }
604
605         else {
606                 lyxerr << "mutation from '" << type_
607                                          << "' to '" << newtype << "' not implemented" << endl;
608         }
609 }
610
611
612 string MathHullInset::eolString(row_type row, bool fragile) const
613 {
614         string res;
615         if (numberedType()) {
616                 if (!label_[row].empty())
617                         res += "\\label{" + label_[row] + "}";
618                 if (nonum_[row])
619                         res += "\\nonumber ";
620         }
621         return res + MathGridInset::eolString(row, fragile);
622 }
623
624
625 void MathHullInset::write(WriteStream & os) const
626 {
627         header_write(os);
628         MathGridInset::write(os);
629         footer_write(os);
630 }
631
632
633 void MathHullInset::normalize(NormalStream & os) const
634 {
635         os << "[formula " << type_ << " ";
636         MathGridInset::normalize(os);
637         os << "] ";
638 }
639
640
641 void MathHullInset::mathmlize(MathMLStream & os) const
642 {
643         MathGridInset::mathmlize(os);
644 }
645
646
647 void MathHullInset::infoize(std::ostream & os) const
648 {
649         os << "Type: " << type_;
650 }
651
652
653 void MathHullInset::check() const
654 {
655         lyx::Assert(nonum_.size() == nrows());
656         lyx::Assert(label_.size() == nrows());
657 }
658
659
660 void MathHullInset::doExtern
661         (FuncRequest const & func, idx_type & idx, pos_type & pos)
662 {
663         string lang;
664         string extra;
665         istringstream iss(func.argument.c_str());
666         iss >> lang >> extra;
667         if (extra.empty())
668                 extra = "noextra";
669
670 #ifdef WITH_WARNINGS
671 #warning temporarily disabled
672         //if (selection()) {
673         //      MathArray ar;
674         //      selGet(ar);
675         //      lyxerr << "use selection: " << ar << "\n";
676         //      insert(pipeThroughExtern(lang, extra, ar));
677         //      return;
678         //}
679 #endif
680
681         MathArray eq;
682         eq.push_back(MathAtom(new MathCharInset('=')));
683
684         // go to first item in line
685         idx -= idx % ncols();
686         pos = 0;
687
688         if (getType() == "simple") {
689                 size_type pos = cell(idx).find_last(eq);
690                 MathArray ar;
691                 if (pos == cell(idx).size()) {
692                         ar = cell(idx);
693                         lyxerr << "use whole cell: " << ar << "\n";
694                 } else {
695                         ar = MathArray(cell(idx).begin() + pos + 1, cell(idx).end());
696                         lyxerr << "use partial cell form pos: " << pos << "\n";
697                 }
698                 cell(idx).append(eq);
699                 cell(idx).append(pipeThroughExtern(lang, extra, ar));
700                 pos = cell(idx).size();
701                 return;
702         }
703
704         if (getType() == "equation") {
705                 lyxerr << "use equation inset\n";
706                 mutate("eqnarray");
707                 MathArray & ar = cell(idx);
708                 lyxerr << "use cell: " << ar << "\n";
709                 cell(idx + 1) = eq;
710                 cell(idx + 2) = pipeThroughExtern(lang, extra, ar);
711                 // move to end of line
712                 idx += 2;
713                 pos = cell(idx).size();
714                 return;
715         }
716
717         {
718                 lyxerr << "use eqnarray\n";
719                 idx -= idx % ncols();
720                 idx += 2;
721                 pos = 0;
722                 MathArray ar = cell(idx);
723                 lyxerr << "use cell: " << ar << "\n";
724 #ifdef WITH_WARNINGS
725 #warning temporarily disabled
726 #endif
727                 addRow(row(idx));
728                 cell(idx + 2) = eq;
729                 cell(idx + 3) = pipeThroughExtern(lang, extra, ar);
730                 idx += 3;
731                 pos = cell(idx).size();
732         }
733 }
734
735
736 MathInset::result_type MathHullInset::dispatch
737         (FuncRequest const & cmd, idx_type & idx, pos_type & pos)
738 {
739         switch (cmd.action) {
740
741                 case LFUN_BREAKLINE:
742                         if (type_ == "simple" || type_ == "equation") {
743                                 mutate("eqnarray");
744                                 idx = 1;
745                                 pos = 0;
746                                 return DISPATCHED_POP;
747                         }
748                         return MathGridInset::dispatch(cmd, idx, pos);
749
750                 case LFUN_MATH_NUMBER:
751                         //lyxerr << "toggling all numbers\n";
752                         if (display()) {
753                                 //bv->lockedInsetStoreUndo(Undo::INSERT);
754                                 bool old = numberedType();
755                                 for (row_type row = 0; row < nrows(); ++row)
756                                         numbered(row, !old);
757                                 //bv->owner()->message(old ? _("No number") : _("Number"));
758                                 //updateLocal(bv, true);
759                         }
760                         return DISPATCHED;
761
762                 case LFUN_MATH_NONUMBER:
763                         if (display()) {
764                                 //bv->lockedInsetStoreUndo(Undo::INSERT);
765                                 bool old = numbered(row(idx));
766                                 //bv->owner()->message(old ? _("No number") : _("Number"));
767                                 numbered(row(idx), !old);
768                                 //updateLocal(bv, true);
769                         }
770                         return DISPATCHED;
771
772                 case LFUN_INSERT_LABEL: {
773                         row_type r = row(idx);
774                         string old_label = label(r);
775                         string new_label = cmd.argument;
776
777                         if (new_label.empty()) {
778                                 string const default_label =
779                                         (lyxrc.label_init_length >= 0) ? "eq:" : "";
780                                 pair<bool, string> const res = old_label.empty()
781                                         ? Alert::askForText(_("Enter new label to insert:"), default_label)
782                                         : Alert::askForText(_("Enter label:"), old_label);
783                                 if (!res.first)
784                                         break;
785                                 new_label = trim(res.second);
786                         }
787
788                         //if (new_label == old_label)
789                         //      break;  // Nothing to do
790
791                         if (!new_label.empty())
792                                 numbered(r, true);
793
794 #warning FIXME: please check you really mean repaint() ... is it needed,
795 #warning and if so, should it be update() instead ?
796                         if (!new_label.empty()
797                                         && cmd.view()->ChangeRefsIfUnique(old_label, new_label))
798                                 cmd.view()->repaint();
799
800                         label(r, new_label);
801                         return DISPATCHED;
802                 }
803
804                 case LFUN_MATH_HALIGN:
805                 case LFUN_MATH_VALIGN:
806                         // we explicitly don't want the default behaviour here
807                         return UNDISPATCHED;
808
809                 case LFUN_MATH_EXTERN:
810                         doExtern(cmd, idx, pos);
811                         return DISPATCHED_POP;
812
813                 case LFUN_MATH_MUTATE: {
814                         row_type r = row(idx);
815                         col_type c = col(idx);
816                         mutate(cmd.argument);
817                         idx = r * ncols() + c;
818                         if (idx >= nargs())
819                                 idx = nargs() - 1;
820                         if (pos > cell(idx).size()) 
821                                 pos = cell(idx).size();
822                         return DISPATCHED_POP;
823                 }
824
825                 case LFUN_MATH_DISPLAY: {
826                         mutate(type_ == "simple" ? "equation" : "simple");
827                         idx = 0;
828                         pos = cell(idx).size();
829                         return DISPATCHED_POP;
830                 }
831
832                 default:
833                         return MathGridInset::dispatch(cmd, idx, pos);
834
835         }
836         return UNDISPATCHED;
837 }