]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/math_parser.C
small up/down tweaking
[lyx.git] / src / mathed / math_parser.C
index 1f7e3b570687cc95bc42cd0c225e94b8cdb09645..fb00252908f933449fd83d77c58921ddf1a31bd0 100644 (file)
@@ -86,15 +86,13 @@ using std::atoi;
 
 namespace {
 
-MathInset::mode_type asMode(string const & str)
+MathInset::mode_type asMode(MathInset::mode_type oldmode, string const & str)
 {
        if (str == "mathmode")
                return MathInset::MATH_MODE;
        if (str == "textmode" || str == "forcetext")
                return MathInset::TEXT_MODE;
-       if (str == "verbatimmode")
-               return MathInset::VERBATIM_MODE;
-       return MathInset::UNDECIDED_MODE;
+       return oldmode;
 }
 
 
@@ -209,9 +207,9 @@ private:
 ostream & operator<<(ostream & os, Token const & t)
 {
        if (t.cs().size())
-               os << "\\" << t.cs();
+               os << '\\' << t.cs();
        else
-               os << "[" << t.character() << "," << t.cat() << "]";
+               os << '[' << t.character() << ',' << t.cat() << ']';
        return os;
 }
 
@@ -274,6 +272,10 @@ private:
        void lex(string const & s);
        ///
        bool good() const;
+       ///
+       string parse_verbatim_item();
+       ///
+       string parse_verbatim_option();
 
        ///
        int lineno_;
@@ -401,6 +403,9 @@ void Parser::tokenize(istream & is)
                        break;
                }
        }
+       // Remove the space after \end_inset
+       if (is.get(c) && c != ' ')
+               is.unget();
 
        // tokenize buffer
        tokenize(s);
@@ -524,6 +529,41 @@ bool Parser::parse(MathAtom & at)
 }
 
 
+string Parser::parse_verbatim_option()
+{
+       string res;
+       if (nextToken().character() == '[') {
+               Token t = getToken();
+               for (Token t = getToken(); t.character() != ']' && good(); t = getToken()) {
+                       if (t.cat() == catBegin) {
+                               putback();
+                               res += '{' + parse_verbatim_item() + '}';
+                       } else
+                               res += t.asString();
+               }
+       }
+       return res;
+}
+
+
+string Parser::parse_verbatim_item()
+{
+       string res;
+       if (nextToken().cat() == catBegin) {
+               Token t = getToken();
+               for (Token t = getToken(); t.cat() != catEnd && good(); t = getToken()) {
+                       if (t.cat() == catBegin) {
+                               putback();
+                               res += '{' + parse_verbatim_item() + '}';
+                       }
+                       else
+                               res += t.asString();
+               }
+       }
+       return res;
+}
+
+
 MathArray Parser::parse(unsigned flags, mode_type mode)
 {
        MathArray ar;
@@ -687,39 +727,35 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                        ++cellcol;
                        //lyxerr << " column now " << cellcol << " max: " << grid.ncols() << "\n";
                        if (cellcol == grid.ncols()) {
-                               lyxerr << "adding column " << cellcol << "\n";
+                               //lyxerr << "adding column " << cellcol << "\n";
                                grid.addCol(cellcol - 1);
                        }
                        cell = &grid.cell(grid.index(cellrow, cellcol));
                }
 
                else if (t.cat() == catSuper || t.cat() == catSub) {
-                       if (mode == MathInset::VERBATIM_MODE)
-                               cell->push_back(MathAtom(new MathStringInset(t.asString())));
-                       else {
-                               bool up = (t.cat() == catSuper);
-                               // we need no new script inset if the last thing was a scriptinset,
-                               // which has that script already not the same script already
-                               if (!cell->size())
-                                       cell->push_back(MathAtom(new MathScriptInset(up)));
-                               else if (cell->back()->asScriptInset() &&
-                                               !cell->back()->asScriptInset()->has(up))
-                                       cell->back().nucleus()->asScriptInset()->ensure(up);
-                               else if (cell->back()->asScriptInset())
-                                       cell->push_back(MathAtom(new MathScriptInset(up)));
-                               else
-                                       cell->back() = MathAtom(new MathScriptInset(cell->back(), up));
-                               MathScriptInset * p = cell->back().nucleus()->asScriptInset();
-                               // special handling of {}-bases
-                               // is this always correct?
-                               if (p->nuc().size() == 1 && p->nuc().back()->asNestInset() &&
-                                               p->nuc().back()->extraBraces())
-                                       p->nuc() = p->nuc().back()->asNestInset()->cell(0);
-                               parse(p->cell(up), FLAG_ITEM, mode);
-                               if (limits) {
-                                       p->limits(limits);
-                                       limits = 0;
-                               }
+                       bool up = (t.cat() == catSuper);
+                       // we need no new script inset if the last thing was a scriptinset,
+                       // which has that script already not the same script already
+                       if (!cell->size())
+                               cell->push_back(MathAtom(new MathScriptInset(up)));
+                       else if (cell->back()->asScriptInset() &&
+                                       !cell->back()->asScriptInset()->has(up))
+                               cell->back().nucleus()->asScriptInset()->ensure(up);
+                       else if (cell->back()->asScriptInset())
+                               cell->push_back(MathAtom(new MathScriptInset(up)));
+                       else
+                               cell->back() = MathAtom(new MathScriptInset(cell->back(), up));
+                       MathScriptInset * p = cell->back().nucleus()->asScriptInset();
+                       // special handling of {}-bases
+                       // is this always correct?
+                       if (p->nuc().size() == 1 && p->nuc().back()->asNestInset() &&
+                                       p->nuc().back()->extraBraces())
+                               p->nuc() = p->nuc().back()->asNestInset()->cell(0);
+                       parse(p->cell(up), FLAG_ITEM, mode);
+                       if (limits) {
+                               p->limits(limits);
+                               limits = 0;
                        }
                }
 
@@ -870,7 +906,7 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                        for (int i = 0; i < cols; ++i) {
                                ++cellcol;
                                if (cellcol == grid.ncols()) {
-                                       lyxerr << "adding column " << cellcol << "\n";
+                                       //lyxerr << "adding column " << cellcol << "\n";
                                        grid.addCol(cellcol - 1);
                                }
                                cell = &grid.cell(grid.index(cellrow, cellcol));
@@ -907,8 +943,7 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                }
 
                else if (t.cs() == "hline") {
-                       if (grid.asHullInset())
-                               grid.asHullInset()->rowinfo(cellrow + 1);
+                       grid.rowinfo(cellrow).lines_ ++;
                }
 
                else if (t.cs() == "sqrt") {
@@ -924,6 +959,12 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                        }
                }
 
+               else if (t.cs() == "xrightarrow" || t.cs() == "xleftarrow") {
+                       cell->push_back(createMathInset(t.cs()));
+                       parse(cell->back().nucleus()->cell(1), FLAG_OPTION, mode);
+                       parse(cell->back().nucleus()->cell(0), FLAG_ITEM, mode);
+               }
+
                else if (t.cs() == "ref") {
                        cell->push_back(MathAtom(new RefInset));
                        parse(cell->back().nucleus()->cell(1), FLAG_OPTION, mode);
@@ -950,10 +991,8 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                        string const name = getArg('{', '}');
 
                        if (name == "array" || name == "subarray") {
-                               string const valign =
-                                       asString(parse(FLAG_OPTION, MathInset::VERBATIM_MODE)) + 'c';
-                               string const halign =
-                                       asString(parse(FLAG_ITEM, MathInset::VERBATIM_MODE));
+                               string const valign = parse_verbatim_option() + 'c';
+                               string const halign = parse_verbatim_item();
                                cell->push_back(MathAtom(new MathArrayInset(name, valign[0], halign)));
                                parse2(cell->back(), FLAG_END, mode, false);
                        }
@@ -985,6 +1024,11 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                                parse2(cell->back(), FLAG_END, MathInset::MATH_MODE, !stared(name));
                        }
 
+                       else if (name == "flalign" || name == "flalign*") {
+                               cell->push_back(MathAtom(new MathHullInset("flalign")));
+                               parse2(cell->back(), FLAG_END, MathInset::MATH_MODE, !stared(name));
+                       }
+
                        else if (name == "alignat" || name == "alignat*") {
                                // ignore this for a while
                                getArg('{', '}');
@@ -1036,7 +1080,7 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
 #warning A hack...
 #endif
                        string s;
-                       while (1) {
+                       while (true) {
                                Token const & t = getToken();
                                if (!good()) {
                                        putback();
@@ -1050,12 +1094,12 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                }
 
                else if (t.cs() == "label") {
-                       MathArray ar = parse(FLAG_ITEM, MathInset::VERBATIM_MODE);
+                       string label = parse_verbatim_item();
                        if (grid.asHullInset()) {
-                               grid.asHullInset()->label(cellrow, asString(ar));
+                               grid.asHullInset()->label(cellrow, label);
                        } else {
                                cell->push_back(createMathInset(t.cs()));
-                               cell->push_back(MathAtom(new MathBraceInset(ar)));
+                               cell->push_back(MathAtom(new MathBraceInset(asArray(label))));
                        }
                }
 
@@ -1115,12 +1159,12 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
                        if (l) {
                                if (l->inset == "font") {
                                        cell->push_back(createMathInset(t.cs()));
-                                       parse(cell->back().nucleus()->cell(0), FLAG_ITEM, asMode(l->extra));
+                                       parse(cell->back().nucleus()->cell(0), FLAG_ITEM, asMode(mode, l->extra));
                                }
 
                                else if (l->inset == "oldfont") {
                                        cell->push_back(createMathInset(t.cs()));
-                                       parse(cell->back().nucleus()->cell(0), flags, asMode(l->extra));
+                                       parse(cell->back().nucleus()->cell(0), flags, asMode(mode, l->extra));
                                        return;
                                }
 
@@ -1132,20 +1176,18 @@ void Parser::parse1(MathGridInset & grid, unsigned flags,
 
                                else if (l->inset == "parbox") {
                                        // read optional positioning and width
-                                       MathArray pos, width;
-                                       parse(pos, FLAG_OPTION, MathInset::VERBATIM_MODE);
-
-                                       parse(width, FLAG_ITEM, MathInset::VERBATIM_MODE);
+                                       string pos   = parse_verbatim_option();
+                                       string width = parse_verbatim_item();
                                        cell->push_back(createMathInset(t.cs()));
                                        parse(cell->back().nucleus()->cell(0), FLAG_ITEM, MathInset::TEXT_MODE);
-                                       cell->back().nucleus()->asParboxInset()->setPosition(asString(pos));
-                                       cell->back().nucleus()->asParboxInset()->setWidth(asString(width));
+                                       cell->back().nucleus()->asParboxInset()->setPosition(pos);
+                                       cell->back().nucleus()->asParboxInset()->setWidth(width);
                                }
 
                                else {
                                        MathAtom at = createMathInset(t.cs());
                                        for (MathInset::idx_type i = 0; i < at->nargs(); ++i)
-                                               parse(at.nucleus()->cell(i), FLAG_ITEM, asMode(l->extra));
+                                               parse(at.nucleus()->cell(i), FLAG_ITEM, asMode(mode, l->extra));
                                        cell->push_back(at);
                                }
                        }
@@ -1219,4 +1261,3 @@ void mathed_parse_normal(MathGridInset & grid, string const & str)
        istringstream is(str.c_str());
        Parser(is).parse1(grid, 0, MathInset::MATH_MODE, false);
 }
-