+void MathData::updateBuffer(ParIterator const & it, UpdateType utype)
+{
+ // pass down
+ for (size_t i = 0, n = size(); i != n; ++i) {
+ MathAtom & at = operator[](i);
+ at.nucleus()->updateBuffer(it, utype);
+ }
+}
+
+
+void MathData::updateMacros(Cursor * cur, MacroContext const & mc,
+ UpdateType utype, int nesting)
+{
+ // If we are editing a macro, we cannot update it immediately,
+ // otherwise wrong undo steps will be recorded (bug 6208).
+ InsetMath const * inmath = cur ? cur->inset().asInsetMath() : 0;
+ InsetMathMacro const * inmacro = inmath ? inmath->asMacro() : 0;
+ docstring const edited_name = inmacro ? inmacro->name() : docstring();
+
+ // go over the array and look for macros
+ for (size_t i = 0; i < size(); ++i) {
+ InsetMathMacro * macroInset = operator[](i).nucleus()->asMacro();
+ if (!macroInset || macroInset->macroName().empty()
+ || macroInset->macroName()[0] == '^'
+ || macroInset->macroName()[0] == '_'
+ || (macroInset->name() == edited_name
+ && macroInset->displayMode() ==
+ InsetMathMacro::DISPLAY_UNFOLDED))
+ continue;
+
+ // get macro
+ macroInset->updateMacro(mc);
+ size_t macroNumArgs = 0;
+ size_t macroOptionals = 0;
+ MacroData const * macro = macroInset->macro();
+ if (macro) {
+ macroNumArgs = macro->numargs();
+ macroOptionals = macro->optionals();
+ }
+
+ // store old and compute new display mode
+ InsetMathMacro::DisplayMode newDisplayMode;
+ InsetMathMacro::DisplayMode oldDisplayMode = macroInset->displayMode();
+ newDisplayMode = macroInset->computeDisplayMode();
+
+ // arity changed or other reason to detach?
+ if (oldDisplayMode == InsetMathMacro::DISPLAY_NORMAL
+ && (macroInset->arity() != macroNumArgs
+ || macroInset->optionals() != macroOptionals
+ || newDisplayMode == InsetMathMacro::DISPLAY_UNFOLDED))
+ detachMacroParameters(cur, i);
+
+ // the macro could have been copied while resizing this
+ macroInset = operator[](i).nucleus()->asMacro();
+
+ // Cursor in \label?
+ if (newDisplayMode != InsetMathMacro::DISPLAY_UNFOLDED
+ && oldDisplayMode == InsetMathMacro::DISPLAY_UNFOLDED) {
+ // put cursor in front of macro
+ if (cur) {
+ int macroSlice = cur->find(macroInset);
+ if (macroSlice != -1)
+ cur->cutOff(macroSlice - 1);
+ }
+ }
+
+ // update the display mode
+ size_t appetite = macroInset->appetite();
+ macroInset->setDisplayMode(newDisplayMode);
+
+ // arity changed?
+ if (newDisplayMode == InsetMathMacro::DISPLAY_NORMAL
+ && (macroInset->arity() != macroNumArgs
+ || macroInset->optionals() != macroOptionals)) {
+ // is it a virgin macro which was never attached to parameters?
+ bool fromInitToNormalMode
+ = (oldDisplayMode == InsetMathMacro::DISPLAY_INIT
+ || oldDisplayMode == InsetMathMacro::DISPLAY_INTERACTIVE_INIT)
+ && newDisplayMode == InsetMathMacro::DISPLAY_NORMAL;
+
+ // if the macro was entered interactively (i.e. not by paste or during
+ // loading), it should not be greedy, but the cursor should
+ // automatically jump into the macro when behind
+ bool interactive = (oldDisplayMode == InsetMathMacro::DISPLAY_INTERACTIVE_INIT);
+
+ // attach parameters
+ attachMacroParameters(cur, i, macroNumArgs, macroOptionals,
+ fromInitToNormalMode, interactive, appetite);
+
+ if (cur)
+ cur->updateInsets(&cur->bottom().inset());
+ }
+
+ // Give macro the chance to adapt to new situation.
+ // The macroInset could be invalid now because it was put into a script
+ // inset and therefore "deep" copied. So get it again from the MathData.
+ InsetMath * inset = operator[](i).nucleus();
+ if (inset->asScriptInset())
+ inset = inset->asScriptInset()->nuc()[0].nucleus();
+ LASSERT(inset->asMacro(), continue);
+ inset->asMacro()->updateRepresentation(cur, mc, utype, nesting + 1);
+ }
+}
+
+
+void MathData::detachMacroParameters(DocIterator * cur, const size_type macroPos)
+{
+ InsetMathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
+ // We store this now, because the inset pointer will be invalidated in the scond loop below
+ size_t const optionals = macroInset->optionals();
+
+ // detach all arguments
+ vector<MathData> detachedArgs;
+ if (macroPos + 1 == size())
+ // strip arguments if we are at the MathData end
+ macroInset->detachArguments(detachedArgs, true);
+ else
+ macroInset->detachArguments(detachedArgs, false);
+
+ // find cursor slice
+ int curMacroSlice = -1;
+ if (cur)
+ curMacroSlice = cur->find(macroInset);
+ idx_type curMacroIdx = -1;
+ pos_type curMacroPos = -1;
+ vector<CursorSlice> argSlices;
+ if (curMacroSlice != -1) {
+ curMacroPos = (*cur)[curMacroSlice].pos();
+ curMacroIdx = (*cur)[curMacroSlice].idx();
+ cur->cutOff(curMacroSlice, argSlices);
+ cur->pop_back();
+ }
+
+ // only [] after the last non-empty argument can be dropped later
+ size_t lastNonEmptyOptional = 0;
+ for (size_t l = 0; l < detachedArgs.size() && l < optionals; ++l) {
+ if (!detachedArgs[l].empty())
+ lastNonEmptyOptional = l;
+ }
+
+ // optional arguments to be put back?
+ pos_type p = macroPos + 1;
+ size_t j = 0;
+ // We do not want to use macroInset below, the insert() call in
+ // the loop will invalidate it.
+ macroInset = 0;
+ for (; j < detachedArgs.size() && j < optionals; ++j) {
+ // another non-empty parameter follows?
+ bool canDropEmptyOptional = j >= lastNonEmptyOptional;
+
+ // then we can drop empty optional parameters
+ if (detachedArgs[j].empty() && canDropEmptyOptional) {
+ if (curMacroIdx == j)
+ (*cur)[curMacroSlice - 1].pos() = macroPos + 1;
+ continue;
+ }
+
+ // Otherwise we don't drop an empty optional, put it back normally
+ MathData optarg;
+ asArray(from_ascii("[]"), optarg);
+ MathData & arg = detachedArgs[j];
+
+ // look for "]", i.e. put a brace around?
+ InsetMathBrace * brace = 0;
+ for (size_t q = 0; q < arg.size(); ++q) {
+ if (arg[q]->getChar() == ']') {
+ // put brace
+ brace = new InsetMathBrace(buffer_);
+ break;
+ }
+ }
+
+ // put arg between []
+ if (brace) {
+ brace->cell(0) = arg;
+ optarg.insert(1, MathAtom(brace));
+ } else
+ optarg.insert(1, arg);
+
+ // insert it into the array
+ insert(p, optarg);
+ p += optarg.size();
+
+ // cursor in macro?
+ if (curMacroSlice == -1)
+ continue;
+
+ // cursor in optional argument of macro?
+ if (curMacroIdx == j) {
+ if (brace) {
+ cur->append(0, curMacroPos);
+ (*cur)[curMacroSlice - 1].pos() = macroPos + 2;
+ } else
+ (*cur)[curMacroSlice - 1].pos() = macroPos + 2 + curMacroPos;
+ cur->append(argSlices);
+ } else if ((*cur)[curMacroSlice - 1].pos() >= int(p))
+ // cursor right of macro
+ (*cur)[curMacroSlice - 1].pos() += optarg.size();
+ }
+
+ // put them back into the MathData
+ for (; j < detachedArgs.size(); ++j, ++p) {
+ MathData const & arg = detachedArgs[j];
+ if (arg.size() == 1
+ && !arg[0]->asScriptInset()
+ && !(arg[0]->asMacro() && arg[0]->asMacro()->arity() > 0))
+ insert(p, arg[0]);
+ else
+ insert(p, MathAtom(new InsetMathBrace(arg)));
+
+ // cursor in macro?
+ if (curMacroSlice == -1)
+ continue;
+
+ // cursor in j-th argument of macro?
+ if (curMacroIdx == j) {
+ if (operator[](p).nucleus()->asBraceInset()) {
+ (*cur)[curMacroSlice - 1].pos() = p;
+ cur->append(0, curMacroPos);
+ cur->append(argSlices);
+ } else {
+ (*cur)[curMacroSlice - 1].pos() = p; // + macroPos;
+ cur->append(argSlices);
+ }
+ } else if ((*cur)[curMacroSlice - 1].pos() >= int(p))
+ ++(*cur)[curMacroSlice - 1].pos();
+ }
+
+ if (cur)
+ cur->updateInsets(&cur->bottom().inset());
+}
+
+
+void MathData::attachMacroParameters(Cursor * cur,
+ const size_type macroPos, const size_type macroNumArgs,
+ const int macroOptionals, const bool fromInitToNormalMode,
+ const bool interactiveInit, const size_t appetite)
+{
+ InsetMathMacro * macroInset = operator[](macroPos).nucleus()->asMacro();
+
+ // start at atom behind the macro again, maybe with some new arguments
+ // from the detach phase above, to add them back into the macro inset
+ size_t p = macroPos + 1;
+ vector<MathData> detachedArgs;
+ MathAtom scriptToPutAround;
+
+ // find cursor slice again of this MathData
+ int thisSlice = -1;
+ if (cur)
+ thisSlice = cur->find(*this);
+ int thisPos = -1;
+ if (thisSlice != -1)
+ thisPos = (*cur)[thisSlice].pos();
+
+ // find arguments behind the macro
+ if (!interactiveInit) {
+ collectOptionalParameters(cur, macroOptionals, detachedArgs, p,
+ scriptToPutAround, macroPos, thisPos, thisSlice);
+ }
+ collectParameters(cur, macroNumArgs, detachedArgs, p,
+ scriptToPutAround, macroPos, thisPos, thisSlice, appetite);
+
+ // attach arguments back to macro inset
+ macroInset->attachArguments(detachedArgs, macroNumArgs, macroOptionals);
+
+ // found tail script? E.g. \foo{a}b^x
+ if (scriptToPutAround.nucleus()) {
+ InsetMathScript * scriptInset =
+ scriptToPutAround.nucleus()->asScriptInset();
+ // In the math parser we remove empty braces in the base
+ // of a script inset, but we have to restore them here.
+ if (scriptInset->nuc().empty()) {
+ MathData ar;
+ scriptInset->nuc().push_back(
+ MathAtom(new InsetMathBrace(ar)));
+ }
+ // put macro into a script inset
+ scriptInset->nuc()[0] = operator[](macroPos);
+ operator[](macroPos) = scriptToPutAround;
+
+ // go into the script inset nucleus
+ if (cur && thisPos == int(macroPos))
+ cur->append(0, 0);
+
+ // get pointer to "deep" copied macro inset
+ scriptInset = operator[](macroPos).nucleus()->asScriptInset();
+ macroInset = scriptInset->nuc()[0].nucleus()->asMacro();
+ }
+
+ // remove them from the MathData
+ erase(macroPos + 1, p);
+
+ // cursor outside this MathData?
+ if (thisSlice == -1)
+ return;
+
+ // fix cursor if right of p
+ if (thisPos >= int(p))
+ (*cur)[thisSlice].pos() -= p - (macroPos + 1);
+
+ // was the macro inset just inserted interactively and was now folded
+ // and the cursor is just behind?
+ if ((*cur)[thisSlice].pos() == int(macroPos + 1)
+ && interactiveInit
+ && fromInitToNormalMode
+ && macroInset->arity() > 0
+ && thisSlice + 1 == int(cur->depth())) {
+ // then enter it if the cursor was just behind
+ (*cur)[thisSlice].pos() = macroPos;
+ cur->push_back(CursorSlice(*macroInset));
+ macroInset->idxFirst(*cur);
+ }
+}
+
+
+void MathData::collectOptionalParameters(Cursor * cur,
+ const size_type numOptionalParams, vector<MathData> & params,
+ size_t & pos, MathAtom & scriptToPutAround,
+ const pos_type macroPos, const int thisPos, const int thisSlice)
+{
+ Buffer * buf = cur ? cur->buffer() : 0;
+ // insert optional arguments?
+ while (params.size() < numOptionalParams
+ && pos < size()
+ && !scriptToPutAround.nucleus()) {
+ // is a [] block following which could be an optional parameter?
+ if (operator[](pos)->getChar() != '[')
+ break;
+
+ // found possible optional argument, look for pairing "]"
+ int count = 1;
+ size_t right = pos + 1;
+ for (; right < size(); ++right) {
+ MathAtom & cell = operator[](right);
+
+ if (cell->getChar() == '[')
+ ++count;
+ else if (cell->getChar() == ']' && --count == 0)
+ // found right end
+ break;
+
+ // maybe "]" with a script around?
+ InsetMathScript * script = cell.nucleus()->asScriptInset();
+ if (!script)
+ continue;
+ if (script->nuc().size() != 1)
+ continue;
+ if (script->nuc()[0]->getChar() == ']') {
+ // script will be put around the macro later
+ scriptToPutAround = cell;
+ break;
+ }
+ }
+
+ // found?
+ if (right >= size()) {
+ // no ] found, so it's not an optional argument
+ break;
+ }
+
+ // add everything between [ and ] as optional argument
+ MathData optarg(buf, begin() + pos + 1, begin() + right);
+
+ // a brace?
+ bool brace = false;
+ if (optarg.size() == 1 && optarg[0]->asBraceInset()) {
+ brace = true;
+ params.push_back(optarg[0]->asBraceInset()->cell(0));
+ } else
+ params.push_back(optarg);
+
+ // place cursor in optional argument of macro
+ // Note: The two expressions on the first line are equivalent
+ // (see caller), but making this explicit pleases coverity.
+ if (cur && thisSlice != -1
+ && thisPos >= int(pos) && thisPos <= int(right)) {
+ int paramPos = max(0, thisPos - int(pos) - 1);
+ vector<CursorSlice> x;
+ cur->cutOff(thisSlice, x);
+ (*cur)[thisSlice].pos() = macroPos;
+ if (brace) {
+ paramPos = x[0].pos();
+ x.erase(x.begin());
+ }
+ cur->append(0, paramPos);
+ cur->append(x);
+ }
+ pos = right + 1;
+ }
+
+ // fill up empty optional parameters
+ while (params.size() < numOptionalParams)
+ params.push_back(MathData());
+}
+
+
+void MathData::collectParameters(Cursor * cur,
+ const size_type numParams, vector<MathData> & params,
+ size_t & pos, MathAtom & scriptToPutAround,
+ const pos_type macroPos, const int thisPos, const int thisSlice,
+ const size_t appetite)
+{
+ size_t startSize = params.size();
+
+ // insert normal arguments
+ while (params.size() < numParams
+ && params.size() - startSize < appetite
+ && pos < size()
+ && !scriptToPutAround.nucleus()) {
+ MathAtom & cell = operator[](pos);
+
+ // fix cursor
+ vector<CursorSlice> argSlices;
+ int argPos = 0;
+ // Note: The two expressions on the first line are equivalent
+ // (see caller), but making this explicit pleases coverity.
+ if (cur && thisSlice != -1
+ && thisPos == int(pos))
+ cur->cutOff(thisSlice, argSlices);
+
+ // which kind of parameter is it? In {}? With index x^n?
+ InsetMathBrace const * brace = cell->asBraceInset();
+ if (brace) {
+ // found brace, convert into argument
+ params.push_back(brace->cell(0));
+
+ // cursor inside of the brace or just in front of?
+ if (thisPos == int(pos) && !argSlices.empty()) {
+ argPos = argSlices[0].pos();
+ argSlices.erase(argSlices.begin());
+ }
+ } else if (cell->asScriptInset() && params.size() + 1 == numParams) {
+ // last inset with scripts without braces
+ // -> they belong to the macro, not the argument
+ InsetMathScript * script = cell.nucleus()->asScriptInset();
+ if (script->nuc().size() == 1 && script->nuc()[0]->asBraceInset())
+ // nucleus in brace? Unpack!
+ params.push_back(script->nuc()[0]->asBraceInset()->cell(0));
+ else
+ params.push_back(script->nuc());
+
+ // script will be put around below
+ scriptToPutAround = cell;
+
+ // this should only happen after loading, so make cursor handling simple
+ if (thisPos >= int(macroPos) && thisPos <= int(macroPos + numParams)) {
+ argSlices.clear();
+ if (cur)
+ cur->append(0, 0);
+ }
+ } else {
+ // the simplest case: plain inset
+ MathData array;
+ array.insert(0, cell);
+ params.push_back(array);
+ }
+
+ // put cursor in argument again
+ // Note: The first two expressions on the first line are
+ // equivalent (see caller), but making this explicit pleases
+ // coverity.
+ if (cur && thisSlice != -1 && thisPos == int(pos)) {
+ cur->append(params.size() - 1, argPos);
+ cur->append(argSlices);
+ (*cur)[thisSlice].pos() = macroPos;
+ }
+
+ ++pos;
+ }
+}
+
+
+int MathData::pos2x(BufferView const * bv, size_type pos) const