2 * \file MathMacroTemplate.cpp
3 * This file is part of LyX, the document processor.
4 * Licence details can be found in the file COPYING.
7 * \author Stefan Schimanski
9 * Full author contact details are available in file CREDITS.
14 #include "MathMacroTemplate.h"
16 #include "DocIterator.h"
17 #include "LaTeXFeatures.h"
18 #include "InsetMathBrace.h"
19 #include "InsetMathChar.h"
20 #include "InsetMathSqrt.h"
21 #include "MathMacro.h"
22 #include "MathMacroArgument.h"
23 #include "MathStream.h"
24 #include "MathParser.h"
25 #include "MathSupport.h"
26 #include "MathMacroArgument.h"
29 #include "BufferView.h"
32 #include "DispatchResult.h"
33 #include "FuncRequest.h"
34 #include "FuncStatus.h"
38 #include "frontends/Painter.h"
40 #include "support/lassert.h"
41 #include "support/convert.h"
42 #include "support/debug.h"
43 #include "support/gettext.h"
44 #include "support/docstream.h"
45 #include "support/lstrings.h"
53 using support::bformat;
55 //////////////////////////////////////////////////////////////////////
57 class InsetLabelBox : public InsetMathNest {
60 InsetLabelBox(MathAtom const & atom, docstring label,
61 MathMacroTemplate const & parent, bool frame = false);
62 InsetLabelBox(docstring label, MathMacroTemplate const & parent,
65 void metrics(MetricsInfo & mi, Dimension & dim) const;
67 void draw(PainterInfo &, int x, int y) const;
71 MathMacroTemplate const & parent_;
73 Inset * clone() const;
75 docstring const label_;
81 InsetLabelBox::InsetLabelBox(MathAtom const & atom, docstring label,
82 MathMacroTemplate const & parent, bool frame)
83 : InsetMathNest(1), parent_(parent), label_(label), frame_(frame)
85 cell(0).insert(0, atom);
89 InsetLabelBox::InsetLabelBox(docstring label,
90 MathMacroTemplate const & parent, bool frame)
91 : InsetMathNest(1), parent_(parent), label_(label), frame_(frame)
96 Inset * InsetLabelBox::clone() const
98 return new InsetLabelBox(*this);
102 void InsetLabelBox::metrics(MetricsInfo & mi, Dimension & dim) const
105 cell(0).metrics(mi, dim);
114 // adjust to common height in main metrics phase
115 if (!parent_.premetrics()) {
116 dim.asc = max(dim.asc, parent_.commonLabelBoxAscent());
117 dim.des = max(dim.des, parent_.commonLabelBoxDescent());
121 if (parent_.editing(mi.base.bv) && label_.length() > 0) {
123 FontInfo font = sane_font;
124 font.setSize(FONT_SIZE_TINY);
125 font.setColor(Color_mathmacrolabel);
127 // make space for label and box
128 int lwid = mathed_string_width(font, label_);
131 math_font_max_dim(font, maxasc, maxdes);
133 dim.wid = max(dim.wid, lwid + 2);
135 // space for the label
136 if (!parent_.premetrics())
137 dim.des += maxasc + maxdes + 1;
142 void InsetLabelBox::draw(PainterInfo & pi, int x, int y) const
144 Dimension const dim = dimension(*pi.base.bv);
145 Dimension const cdim = cell(0).dimension(*pi.base.bv);
148 cell(0).draw(pi, x + (dim.wid - cdim.wid) / 2, y);
151 if (parent_.editing(pi.base.bv) && label_.length() > 0) {
153 FontInfo font = sane_font;
154 font.setSize(FONT_SIZE_TINY);
155 font.setColor(Color_mathmacrolabel);
157 // make space for label and box
158 int lwid = mathed_string_width(font, label_);
161 math_font_max_dim(font, maxasc, maxdes);
164 pi.pain.text(x + (dim.wid - lwid) / 2, y + dim.des - maxdes, label_, font);
166 pi.pain.text(x, y + dim.des - maxdes, label_, font);
170 int boxHeight = parent_.commonLabelBoxAscent() + parent_.commonLabelBoxDescent();
172 pi.pain.rectangle(x + 1, y - dim.ascent() + 1,
173 dim.wid - 2, boxHeight - 2,
179 //////////////////////////////////////////////////////////////////////
181 class DisplayLabelBox : public InsetLabelBox {
184 DisplayLabelBox(MathAtom const & atom, docstring label,
185 MathMacroTemplate const & parent);
188 void metrics(MetricsInfo & mi, Dimension & dim) const;
190 void draw(PainterInfo &, int x, int y) const;
194 Inset * clone() const;
198 DisplayLabelBox::DisplayLabelBox(MathAtom const & atom,
200 MathMacroTemplate const & parent)
201 : InsetLabelBox(atom, label, parent, true)
207 Inset * DisplayLabelBox::clone() const
209 return new DisplayLabelBox(*this);
213 void DisplayLabelBox::metrics(MetricsInfo & mi, Dimension & dim) const
215 InsetLabelBox::metrics(mi, dim);
216 if (!parent_.editing(mi.base.bv)
217 && parent_.cell(parent_.displayIdx()).empty()) {
225 void DisplayLabelBox::draw(PainterInfo & pi, int x, int y) const
227 if (parent_.editing(pi.base.bv)
228 || !parent_.cell(parent_.displayIdx()).empty()) {
229 InsetLabelBox::draw(pi, x, y);
231 bool enabled = pi.pain.isDrawingEnabled();
232 pi.pain.setDrawingEnabled(false);
233 InsetLabelBox::draw(pi, x, y);
234 pi.pain.setDrawingEnabled(enabled);
239 //////////////////////////////////////////////////////////////////////
241 class InsetMathWrapper : public InsetMath {
244 InsetMathWrapper(MathData const * value) : value_(value) {}
246 void metrics(MetricsInfo & mi, Dimension & dim) const;
248 void draw(PainterInfo &, int x, int y) const;
252 Inset * clone() const;
254 MathData const * value_;
258 Inset * InsetMathWrapper::clone() const
260 return new InsetMathWrapper(*this);
264 void InsetMathWrapper::metrics(MetricsInfo & mi, Dimension & dim) const
266 value_->metrics(mi, dim);
267 //metricsMarkers2(dim);
271 void InsetMathWrapper::draw(PainterInfo & pi, int x, int y) const
273 value_->draw(pi, x, y);
274 //drawMarkers(pi, x, y);
278 ///////////////////////////////////////////////////////////////////////
279 class InsetColoredCell : public InsetMathNest {
282 InsetColoredCell(ColorCode min, ColorCode max);
284 InsetColoredCell(ColorCode min, ColorCode max, MathAtom const & atom);
286 void draw(PainterInfo &, int x, int y) const;
288 void metrics(MetricsInfo & mi, Dimension & dim) const;
292 Inset * clone() const;
300 InsetColoredCell::InsetColoredCell(ColorCode min, ColorCode max)
301 : InsetMathNest(1), min_(min), max_(max)
306 InsetColoredCell::InsetColoredCell(ColorCode min, ColorCode max, MathAtom const & atom)
307 : InsetMathNest(1), min_(min), max_(max)
309 cell(0).insert(0, atom);
313 Inset * InsetColoredCell::clone() const
315 return new InsetColoredCell(*this);
319 void InsetColoredCell::metrics(MetricsInfo & mi, Dimension & dim) const
321 cell(0).metrics(mi, dim);
325 void InsetColoredCell::draw(PainterInfo & pi, int x, int y) const
327 pi.pain.enterMonochromeMode(min_, max_);
328 cell(0).draw(pi, x, y);
329 pi.pain.leaveMonochromeMode();
333 ///////////////////////////////////////////////////////////////////////
335 class InsetNameWrapper : public InsetMathWrapper {
338 InsetNameWrapper(MathData const * value, MathMacroTemplate const & parent);
340 void metrics(MetricsInfo & mi, Dimension & dim) const;
342 void draw(PainterInfo &, int x, int y) const;
346 MathMacroTemplate const & parent_;
348 Inset * clone() const;
352 InsetNameWrapper::InsetNameWrapper(MathData const * value,
353 MathMacroTemplate const & parent)
354 : InsetMathWrapper(value), parent_(parent)
359 Inset * InsetNameWrapper::clone() const
361 return new InsetNameWrapper(*this);
365 void InsetNameWrapper::metrics(MetricsInfo & mi, Dimension & dim) const
367 InsetMathWrapper::metrics(mi, dim);
368 dim.wid += mathed_string_width(mi.base.font, from_ascii("\\"));
372 void InsetNameWrapper::draw(PainterInfo & pi, int x, int y) const
375 PainterInfo namepi = pi;
376 if (parent_.validMacro())
377 namepi.base.font.setColor(Color_latex);
379 namepi.base.font.setColor(Color_error);
382 pi.pain.text(x, y, from_ascii("\\"), namepi.base.font);
383 x += mathed_string_width(namepi.base.font, from_ascii("\\"));
386 InsetMathWrapper::draw(namepi, x, y);
390 ///////////////////////////////////////////////////////////////////////
393 MathMacroTemplate::MathMacroTemplate()
394 : InsetMathNest(3), numargs_(0), argsInLook_(0), optionals_(0),
395 type_(MacroTypeNewcommand), lookOutdated_(true)
401 MathMacroTemplate::MathMacroTemplate(docstring const & name, int numargs,
402 int optionals, MacroType type,
403 vector<MathData> const & optionalValues,
404 MathData const & def, MathData const & display)
405 : InsetMathNest(optionals + 3), numargs_(numargs), argsInLook_(numargs),
406 optionals_(optionals), optionalValues_(optionalValues),
407 type_(type), lookOutdated_(true)
412 lyxerr << "MathMacroTemplate::MathMacroTemplate: wrong # of arguments: "
415 asArray(name, cell(0));
416 optionalValues_.resize(9);
417 for (int i = 0; i < optionals_; ++i)
418 cell(optIdx(i)) = optionalValues_[i];
419 cell(defIdx()) = def;
420 cell(displayIdx()) = display;
426 MathMacroTemplate::MathMacroTemplate(docstring const & str)
427 : InsetMathNest(3), numargs_(0), optionals_(0),
428 type_(MacroTypeNewcommand), lookOutdated_(true)
433 mathed_parse_cell(ar, str);
434 if (ar.size() != 1 || !ar[0]->asMacroTemplate()) {
435 lyxerr << "Cannot read macro from '" << ar << "'" << endl;
436 asArray(from_ascii("invalidmacro"), cell(0));
437 // FIXME: The macro template does not make sense after this.
438 // The whole parsing should not be in a constructor which
439 // has no chance to report failure.
442 operator=( *(ar[0]->asMacroTemplate()) );
448 Inset * MathMacroTemplate::clone() const
450 MathMacroTemplate * inset = new MathMacroTemplate(*this);
451 // the parent pointers of the proxy insets above will point to
452 // to the old template. Hence, the look must be updated.
458 docstring MathMacroTemplate::name() const
460 return asString(cell(0));
464 void MathMacroTemplate::updateToContext(MacroContext const & mc) const
466 redefinition_ = mc.get(name()) != 0;
470 void MathMacroTemplate::updateLook() const
472 lookOutdated_ = true;
476 void MathMacroTemplate::createLook(int args) const
482 look_.push_back(MathAtom(new InsetLabelBox(_("Name"), *this, false)));
483 MathData & nameData = look_[look_.size() - 1].nucleus()->cell(0);
484 nameData.push_back(MathAtom(new InsetNameWrapper(&cell(0), *this)));
488 if (optionals_ > 0) {
489 look_.push_back(MathAtom(new InsetLabelBox(_("optional"), *this, false)));
491 MathData * optData = &look_[look_.size() - 1].nucleus()->cell(0);
492 for (; i < optionals_; ++i) {
493 // color it light grey, if it is to be removed when the cursor leaves
494 if (i == argsInLook_) {
495 optData->push_back(MathAtom(
496 new InsetColoredCell(Color_mathbg, Color_mathmacrooldarg)));
497 optData = &(*optData)[optData->size() - 1].nucleus()->cell(0);
500 optData->push_back(MathAtom(new InsetMathChar('[')));
501 optData->push_back(MathAtom(new InsetMathWrapper(&cell(1 + i))));
502 optData->push_back(MathAtom(new InsetMathChar(']')));
507 for (; i < numargs_; ++i) {
509 arg.push_back(MathAtom(new MathMacroArgument(i + 1)));
510 if (i >= argsInLook_) {
511 look_.push_back(MathAtom(new InsetColoredCell(
512 Color_mathbg, Color_mathmacrooldarg,
513 MathAtom(new InsetMathBrace(arg)))));
515 look_.push_back(MathAtom(new InsetMathBrace(arg)));
517 for (; i < argsInLook_; ++i) {
519 arg.push_back(MathAtom(new MathMacroArgument(i + 1)));
520 look_.push_back(MathAtom(new InsetColoredCell(
521 Color_mathbg, Color_mathmacronewarg,
522 MathAtom(new InsetMathBrace(arg)))));
526 look_.push_back(MathAtom(new InsetMathChar(':')));
527 look_.push_back(MathAtom(new InsetMathChar('=')));
530 look_.push_back(MathAtom(
531 new InsetLabelBox(MathAtom(
532 new InsetMathWrapper(&cell(defIdx()))), _("TeX"), *this, true)));
535 look_.push_back(MathAtom(
536 new DisplayLabelBox(MathAtom(
537 new InsetMathWrapper(&cell(displayIdx()))), _("LyX"), *this)));
541 void MathMacroTemplate::metrics(MetricsInfo & mi, Dimension & dim) const
543 FontSetChanger dummy1(mi.base, from_ascii("mathnormal"));
544 StyleChanger dummy2(mi.base, LM_ST_TEXT);
547 MacroData const * macro = 0;
549 macro = mi.macrocontext.get(name());
551 // updateToContext() - avoids another lookup
552 redefinition_ = macro != 0;
556 int argsInDef = maxArgumentInDefinition();
557 if (lookOutdated_ || argsInDef != argsInLook_) {
558 lookOutdated_ = false;
559 createLook(argsInDef);
562 /// metrics for inset contents
566 // first phase, premetric:
568 look_.metrics(mi, dim);
569 labelBoxAscent_ = dim.asc;
570 labelBoxDescent_ = dim.des;
572 // second phase, main metric:
574 look_.metrics(mi, dim);
583 setDimCache(mi, dim);
587 void MathMacroTemplate::draw(PainterInfo & pi, int x, int y) const
589 FontSetChanger dummy1(pi.base, from_ascii("mathnormal"));
590 StyleChanger dummy2(pi.base, LM_ST_TEXT);
592 setPosCache(pi, x, y);
593 Dimension const dim = dimension(*pi.base.bv);
596 int const a = y - dim.asc + 1;
597 int const w = dim.wid - 2;
598 int const h = dim.height() - 2;
599 pi.pain.rectangle(x, a, w, h, Color_mathframe);
601 // just to be sure: set some dummy values for coord cache
602 for (idx_type i = 0; i < nargs(); ++i)
603 cell(i).setXY(*pi.base.bv, x, y);
606 look_.draw(pi, x + 3, y);
610 void MathMacroTemplate::edit(Cursor & cur, bool front, EntryDirection entry_from)
613 cur.updateFlags(Update::SinglePar);
614 InsetMathNest::edit(cur, front, entry_from);
618 bool MathMacroTemplate::notifyCursorLeaves(Cursor const & old, Cursor & cur)
620 // find this in cursor old
621 Cursor insetCur = old;
622 int scriptSlice = insetCur.find(this);
623 LASSERT(scriptSlice != -1, /**/);
624 insetCur.cutOff(scriptSlice);
626 commitEditChanges(insetCur);
628 cur.updateFlags(Update::Force);
629 return InsetMathNest::notifyCursorLeaves(old, cur);
633 void MathMacroTemplate::removeArguments(Cursor & cur, int from, int to) {
634 for (DocIterator it = doc_iterator_begin(*this); it; it.forwardChar()) {
637 if (it.nextInset()->lyxCode() != MATHMACROARG_CODE)
639 MathMacroArgument * arg = static_cast<MathMacroArgument*>(it.nextInset());
640 int n = arg->number() - 1;
641 if (from <= n && n <= to) {
642 int cellSlice = cur.find(it.cell());
643 if (cellSlice != -1 && cur[cellSlice].pos() > it.pos())
644 --cur[cellSlice].pos();
646 it.cell().erase(it.pos());
654 void MathMacroTemplate::shiftArguments(size_t from, int by) {
655 for (DocIterator it = doc_iterator_begin(*this); it; it.forwardChar()) {
658 if (it.nextInset()->lyxCode() != MATHMACROARG_CODE)
660 MathMacroArgument * arg = static_cast<MathMacroArgument*>(it.nextInset());
661 if (arg->number() >= int(from) + 1)
662 arg->setNumber(arg->number() + by);
669 int MathMacroTemplate::maxArgumentInDefinition() const
672 MathMacroTemplate * nonConst = const_cast<MathMacroTemplate *>(this);
673 DocIterator it = doc_iterator_begin(*nonConst);
675 for (; it; it.forwardChar()) {
678 if (it.nextInset()->lyxCode() != MATHMACROARG_CODE)
680 MathMacroArgument * arg = static_cast<MathMacroArgument*>(it.nextInset());
681 maxArg = std::max(int(arg->number()), maxArg);
687 void MathMacroTemplate::insertMissingArguments(int maxArg)
689 bool found[9] = { false, false, false, false, false, false, false, false, false };
690 idx_type idx = cell(displayIdx()).empty() ? defIdx() : displayIdx();
692 // search for #n macros arguments
693 DocIterator it = doc_iterator_begin(*this);
695 for (; it && it[0].idx() == idx; it.forwardChar()) {
698 if (it.nextInset()->lyxCode() != MATHMACROARG_CODE)
700 MathMacroArgument * arg = static_cast<MathMacroArgument*>(it.nextInset());
701 found[arg->number() - 1] = true;
705 for (int i = 0; i < maxArg; ++i) {
709 cell(idx).push_back(MathAtom(new MathMacroArgument(i + 1)));
714 void MathMacroTemplate::changeArity(Cursor & cur, int newNumArg)
716 // remove parameter which do not appear anymore in the definition
717 for (int i = numargs_; i > newNumArg; --i)
718 removeParameter(cur, numargs_ - 1, false);
720 // add missing parameter
721 for (int i = numargs_; i < newNumArg; ++i)
722 insertParameter(cur, numargs_, false, false);
726 void MathMacroTemplate::commitEditChanges(Cursor & cur)
728 int argsInDef = maxArgumentInDefinition();
729 if (argsInDef != numargs_) {
730 cur.recordUndoFullDocument();
731 changeArity(cur, argsInDef);
733 insertMissingArguments(argsInDef);
737 // FIXME: factorize those functions here with a functional style, maybe using Boost's function
740 void fixMacroInstancesAddRemove(Cursor const & from, docstring const & name, int n, bool insert) {
743 for (; dit; dit.forwardPos()) {
744 // only until a macro is redefined
745 if (dit.inset().lyxCode() == MATHMACRO_CODE) {
746 MathMacroTemplate const & macroTemplate
747 = static_cast<MathMacroTemplate const &>(dit.inset());
748 if (macroTemplate.name() == name)
752 // in front of macro instance?
753 Inset * inset = dit.nextInset();
756 InsetMath * insetMath = inset->asInsetMath();
760 MathMacro * macro = insetMath->asMacro();
761 if (macro && macro->name() == name && macro->folded()) {
762 // found macro instance
764 macro->insertArgument(n);
766 macro->removeArgument(n);
772 void fixMacroInstancesOptional(Cursor const & from, docstring const & name, int optionals) {
775 for (; dit; dit.forwardPos()) {
776 // only until a macro is redefined
777 if (dit.inset().lyxCode() == MATHMACRO_CODE) {
778 MathMacroTemplate const & macroTemplate
779 = static_cast<MathMacroTemplate const &>(dit.inset());
780 if (macroTemplate.name() == name)
784 // in front of macro instance?
785 Inset * inset = dit.nextInset();
788 InsetMath * insetMath = inset->asInsetMath();
791 MathMacro * macro = insetMath->asMacro();
792 if (macro && macro->name() == name && macro->folded()) {
793 // found macro instance
794 macro->setOptionals(optionals);
801 void fixMacroInstancesFunctional(Cursor const & from,
802 docstring const & name, F & fix) {
805 for (; dit; dit.forwardPos()) {
806 // only until a macro is redefined
807 if (dit.inset().lyxCode() == MATHMACRO_CODE) {
808 MathMacroTemplate const & macroTemplate
809 = static_cast<MathMacroTemplate const &>(dit.inset());
810 if (macroTemplate.name() == name)
814 // in front of macro instance?
815 Inset * inset = dit.nextInset();
818 InsetMath * insetMath = inset->asInsetMath();
821 MathMacro * macro = insetMath->asMacro();
822 if (macro && macro->name() == name && macro->folded())
828 void MathMacroTemplate::insertParameter(Cursor & cur, int pos, bool greedy, bool addarg)
830 if (pos <= numargs_ && pos >= optionals_ && numargs_ < 9) {
835 shiftArguments(pos, 1);
837 cell(defIdx()).push_back(MathAtom(new MathMacroArgument(pos + 1)));
838 if (!cell(displayIdx()).empty())
839 cell(displayIdx()).push_back(MathAtom(new MathMacroArgument(pos + 1)));
844 dit.leaveInset(*this);
845 // TODO: this was dit.forwardPosNoDescend before. Check that this is the same
846 dit.top().forwardPos();
848 // fix macro instances
849 fixMacroInstancesAddRemove(dit, name(), pos, true);
857 void MathMacroTemplate::removeParameter(Cursor & cur, int pos, bool greedy)
859 if (pos < numargs_ && pos >= 0) {
861 removeArguments(cur, pos, pos);
862 shiftArguments(pos + 1, -1);
864 // removed optional parameter?
865 if (pos < optionals_) {
867 optionalValues_[pos] = cell(optIdx(pos));
868 cells_.erase(cells_.begin() + optIdx(pos));
871 int macroSlice = cur.find(this);
872 if (macroSlice != -1) {
873 if (cur[macroSlice].idx() == optIdx(pos)) {
874 cur.cutOff(macroSlice);
875 cur[macroSlice].idx() = 1;
876 cur[macroSlice].pos() = 0;
877 } else if (cur[macroSlice].idx() > optIdx(pos))
878 --cur[macroSlice].idx();
883 // fix macro instances
884 //boost::function<void(MathMacro *)> fix = _1->insertArgument(n);
885 //fixMacroInstancesFunctional(dit, name(), fix);
887 dit.leaveInset(*this);
888 // TODO: this was dit.forwardPosNoDescend before. Check that this is the same
889 dit.top().forwardPos();
890 fixMacroInstancesAddRemove(dit, name(), pos, false);
898 void MathMacroTemplate::makeOptional(Cursor & cur) {
899 if (numargs_ > 0 && optionals_ < numargs_) {
901 cells_.insert(cells_.begin() + optIdx(optionals_ - 1), optionalValues_[optionals_ - 1]);
903 int macroSlice = cur.find(this);
904 if (macroSlice != -1 && cur[macroSlice].idx() >= optIdx(optionals_ - 1))
905 ++cur[macroSlice].idx();
907 // fix macro instances
909 dit.leaveInset(*this);
910 // TODO: this was dit.forwardPosNoDescend before. Check that this is the same
911 dit.top().forwardPos();
912 fixMacroInstancesOptional(dit, name(), optionals_);
919 void MathMacroTemplate::makeNonOptional(Cursor & cur) {
920 if (numargs_ > 0 && optionals_ > 0) {
923 // store default value for later if the user changes his mind
924 optionalValues_[optionals_] = cell(optIdx(optionals_));
925 cells_.erase(cells_.begin() + optIdx(optionals_));
928 int macroSlice = cur.find(this);
929 if (macroSlice != -1) {
930 if (cur[macroSlice].idx() > optIdx(optionals_))
931 --cur[macroSlice].idx();
932 else if (cur[macroSlice].idx() == optIdx(optionals_)) {
933 cur.cutOff(macroSlice);
934 cur[macroSlice].idx() = optIdx(optionals_);
935 cur[macroSlice].pos() = 0;
939 // fix macro instances
941 dit.leaveInset(*this);
942 // TODO: this was dit.forwardPosNoDescend before. Check that this is the same
943 dit.top().forwardPos();
944 fixMacroInstancesOptional(dit, name(), optionals_);
951 void MathMacroTemplate::doDispatch(Cursor & cur, FuncRequest & cmd)
953 string const arg = to_utf8(cmd.argument());
954 switch (cmd.action) {
956 case LFUN_MATH_MACRO_ADD_PARAM:
958 commitEditChanges(cur);
959 cur.recordUndoFullDocument();
960 size_t pos = numargs_;
962 pos = (size_t)convert<int>(arg) - 1; // it is checked for >=0 in getStatus
963 insertParameter(cur, pos);
968 case LFUN_MATH_MACRO_REMOVE_PARAM:
970 commitEditChanges(cur);
971 cur.recordUndoFullDocument();
972 size_t pos = numargs_ - 1;
974 pos = (size_t)convert<int>(arg) - 1; // it is checked for >=0 in getStatus
975 removeParameter(cur, pos);
979 case LFUN_MATH_MACRO_APPEND_GREEDY_PARAM:
981 commitEditChanges(cur);
982 cur.recordUndoFullDocument();
983 insertParameter(cur, numargs_, true);
987 case LFUN_MATH_MACRO_REMOVE_GREEDY_PARAM:
989 commitEditChanges(cur);
990 cur.recordUndoFullDocument();
991 removeParameter(cur, numargs_ - 1, true);
995 case LFUN_MATH_MACRO_MAKE_OPTIONAL:
996 commitEditChanges(cur);
997 cur.recordUndoFullDocument();
1001 case LFUN_MATH_MACRO_MAKE_NONOPTIONAL:
1002 commitEditChanges(cur);
1003 cur.recordUndoFullDocument();
1004 makeNonOptional(cur);
1007 case LFUN_MATH_MACRO_ADD_OPTIONAL_PARAM:
1009 commitEditChanges(cur);
1010 cur.recordUndoFullDocument();
1011 insertParameter(cur, optionals_);
1016 case LFUN_MATH_MACRO_REMOVE_OPTIONAL_PARAM:
1017 if (optionals_ > 0) {
1018 commitEditChanges(cur);
1019 cur.recordUndoFullDocument();
1020 removeParameter(cur, optionals_ - 1);
1023 case LFUN_MATH_MACRO_ADD_GREEDY_OPTIONAL_PARAM:
1024 if (numargs_ == optionals_) {
1025 commitEditChanges(cur);
1026 cur.recordUndoFullDocument();
1027 insertParameter(cur, 0, true);
1033 InsetMathNest::doDispatch(cur, cmd);
1039 bool MathMacroTemplate::getStatus(Cursor & /*cur*/, FuncRequest const & cmd,
1040 FuncStatus & flag) const
1043 string const arg = to_utf8(cmd.argument());
1044 switch (cmd.action) {
1045 case LFUN_MATH_MACRO_ADD_PARAM: {
1046 int num = numargs_ + 1;
1047 if (arg.size() != 0)
1048 num = convert<int>(arg);
1049 bool on = (num >= optionals_
1050 && numargs_ < 9 && num <= numargs_ + 1);
1051 flag.setEnabled(on);
1055 case LFUN_MATH_MACRO_APPEND_GREEDY_PARAM:
1056 flag.setEnabled(numargs_ < 9);
1059 case LFUN_MATH_MACRO_REMOVE_PARAM: {
1061 if (arg.size() != 0)
1062 num = convert<int>(arg);
1063 flag.setEnabled(num >= 1 && num <= numargs_);
1067 case LFUN_MATH_MACRO_MAKE_OPTIONAL:
1068 flag.setEnabled(numargs_ > 0
1069 && optionals_ < numargs_
1070 && type_ != MacroTypeDef);
1073 case LFUN_MATH_MACRO_MAKE_NONOPTIONAL:
1074 flag.setEnabled(optionals_ > 0
1075 && type_ != MacroTypeDef);
1078 case LFUN_MATH_MACRO_ADD_OPTIONAL_PARAM:
1079 flag.setEnabled(numargs_ < 9);
1082 case LFUN_MATH_MACRO_REMOVE_OPTIONAL_PARAM:
1083 flag.setEnabled(optionals_ > 0);
1086 case LFUN_MATH_MACRO_ADD_GREEDY_OPTIONAL_PARAM:
1087 flag.setEnabled(numargs_ == 0
1088 && type_ != MacroTypeDef);
1091 case LFUN_IN_MATHMACROTEMPLATE:
1092 flag.setEnabled(true);
1103 void MathMacroTemplate::read(Lexer & lex)
1106 mathed_parse_cell(ar, lex.getStream());
1107 if (ar.size() != 1 || !ar[0]->asMacroTemplate()) {
1108 lyxerr << "Cannot read macro from '" << ar << "'" << endl;
1109 lyxerr << "Read: " << to_utf8(asString(ar)) << endl;
1112 operator=( *(ar[0]->asMacroTemplate()) );
1118 void MathMacroTemplate::write(ostream & os) const
1120 odocstringstream oss;
1121 WriteStream wi(oss, false, false, false);
1122 oss << "FormulaMacro\n";
1124 os << to_utf8(oss.str());
1128 void MathMacroTemplate::write(WriteStream & os) const
1134 void MathMacroTemplate::write(WriteStream & os, bool overwriteRedefinition) const
1137 if (optionals_ > 0) {
1138 // macros with optionals use the xargs package, e.g.:
1139 // \newcommandx{\foo}[2][usedefault, addprefix=\global,1=default]{#1,#2}
1140 // \long is implicit by xargs
1141 if (redefinition_ && !overwriteRedefinition)
1142 os << "\\renewcommandx";
1144 os << "\\newcommandx";
1146 os << "\\" << name()
1147 << "[" << numargs_ << "]"
1148 << "[usedefault, addprefix=\\global";
1149 for (int i = 0; i < optionals_; ++i) {
1150 docstring optValue = asString(cell(optIdx(i)));
1151 if (optValue.find(']') != docstring::npos
1152 || optValue.find(',') != docstring::npos)
1153 os << ", " << i + 1 << "="
1154 << "{" << cell(optIdx(i)) << "}";
1156 os << ", " << i + 1 << "="
1161 // Macros without optionals use standard _global_ \def macros:
1162 // \global\def\long\foo#1#2{#1,#2}
1163 // We use the \long prefix as this is the equivalent to \newcommand.
1164 // We cannot use \newcommand directly because \global does not work with it.
1165 os << "\\global\\long\\def\\" << name();
1166 docstring param = from_ascii("#0");
1167 for (int i = 1; i <= numargs_; ++i) {
1173 // in LyX output we use some pseudo syntax which is implementation
1174 // independent, e.g.
1175 // \newcommand{\foo}[2][default]{#1,#2}
1176 if (redefinition_ && !overwriteRedefinition)
1177 os << "\\renewcommand";
1179 os << "\\newcommand";
1180 os << "{\\" << name() << '}';
1182 os << '[' << numargs_ << ']';
1184 for (int i = 0; i < optionals_; ++i) {
1185 docstring optValue = asString(cell(optIdx(i)));
1186 if (optValue.find(']') != docstring::npos)
1187 os << "[{" << cell(optIdx(i)) << "}]";
1189 os << "[" << cell(optIdx(i)) << "]";
1193 os << "{" << cell(defIdx()) << "}";
1196 // writing .tex. done.
1199 // writing .lyx, write special .tex export only if necessary
1200 if (!cell(displayIdx()).empty())
1201 os << "\n{" << cell(displayIdx()) << '}';
1206 int MathMacroTemplate::plaintext(odocstream & os,
1207 OutputParams const &) const
1209 static docstring const str = '[' + buffer().B_("math macro") + ']';
1216 bool MathMacroTemplate::validName() const
1218 docstring n = name();
1224 // converting back and force doesn't swallow anything?
1227 if (asString(ma) != n)
1230 // valid characters?
1231 for (size_t i = 0; i < n.size(); ++i) {
1232 if (!(n[i] >= 'a' && n[i] <= 'z')
1233 && !(n[i] >= 'A' && n[i] <= 'Z')
1242 bool MathMacroTemplate::validMacro() const
1248 bool MathMacroTemplate::fixNameAndCheckIfValid()
1250 // check all the characters/insets in the name cell
1252 MathData & data = cell(0);
1253 while (i < data.size()) {
1254 InsetMathChar const * cinset = data[i]->asCharInset();
1256 // valid character in [a-zA-Z]?
1257 char_type c = cinset->getChar();
1258 if ((c >= 'a' && c <= 'z')
1259 || (c >= 'A' && c <= 'Z')) {
1269 // now it should be valid if anything in the name survived
1270 return data.size() > 0;
1274 void MathMacroTemplate::validate(LaTeXFeatures & features) const
1276 // we need global optional macro arguments. They are not available
1277 // with \def, and \newcommand does not support global macros. So we
1278 // are bound to xargs also for the single-optional-parameter case.
1280 features.require("xargs");
1283 void MathMacroTemplate::getDefaults(vector<docstring> & defaults) const
1285 defaults.resize(numargs_);
1286 for (int i = 0; i < optionals_; ++i)
1287 defaults[i] = asString(cell(optIdx(i)));
1291 docstring MathMacroTemplate::definition() const
1293 return asString(cell(defIdx()));
1297 docstring MathMacroTemplate::displayDefinition() const
1299 return asString(cell(displayIdx()));
1303 size_t MathMacroTemplate::numArgs() const
1309 size_t MathMacroTemplate::numOptionals() const
1315 void MathMacroTemplate::infoize(odocstream & os) const
1317 os << "Math Macro: \\" << name();
1321 docstring MathMacroTemplate::contextMenu(BufferView const &, int, int) const
1323 return from_ascii("context-math-macro-definition");