]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/math_extern.C
a bit more const correctness
[lyx.git] / src / mathed / math_extern.C
index 00055dec7363135a1041cba3a29c8d680a5909c2..b5d83a09ca6b92bd6a8020cbf39a85f70e198d42 100644 (file)
@@ -44,7 +44,7 @@ ostream & operator<<(ostream & os, MathArray const & ar)
 
 
 // define a function for tests
-typedef bool TestItemFunc(MathInset *);
+typedef bool TestItemFunc(MathInset const *);
 
 // define a function for replacing subexpressions
 typedef MathInset * ReplaceArgumentFunc(const MathArray & ar);
@@ -132,14 +132,14 @@ void extractStrings(MathArray & ar)
                if (!ar[i]->asCharInset())
                        continue;
                string s = charSequence(ar.begin() + i, ar.end());
-               ar[i].reset(new MathStringInset(s));
+               ar[i] = MathAtom(new MathStringInset(s));
                ar.erase(i + 1, i + s.size());
        }
        //lyxerr << "\nStrings to: " << ar << "\n";
 }
 
 
-MathInset * singleItem(MathArray & ar)
+MathInset const * singleItem(MathArray const & ar)
 {
        return ar.size() == 1 ? ar.begin()->nucleus() : 0;
 }
@@ -153,7 +153,7 @@ void extractMatrices(MathArray & ar)
                MathDelimInset * del = (*it)->asDelimInset();
                if (!del)
                        continue;
-               MathInset * arr = singleItem(del->cell(0));
+               MathInset const * arr = singleItem(del->cell(0));
                if (!arr || !arr->asGridInset())
                        continue;
                *it = MathAtom(new MathMatrixInset(*(arr->asGridInset())));
@@ -171,7 +171,7 @@ void extractMatrices(MathArray & ar)
 
 
 // convert this inset somehow to a string
-bool extractString(MathInset * p, string & str)
+bool extractString(MathInset const * p, string & str)
 {
        if (!p)
                return false;
@@ -204,7 +204,7 @@ bool extractNumber(MathArray const & ar, double & d)
 }
 
 
-bool testString(MathInset * p, const string & str)
+bool testString(MathInset const * p, const string & str)
 {
        string s;
        return extractString(p, s) && str == s;
@@ -257,7 +257,7 @@ void replaceNested(
 
                // replace the original stuff by the new inset
                ar.erase(it + 1, jt + 1);
-               (*it).reset(p);
+               *it = MathAtom(p);
        }
 }
 
@@ -319,7 +319,7 @@ void extractExps(MathArray & ar)
                        continue;
 
                // create a proper exp-inset as replacement 
-               *it = new MathExFuncInset("exp", sup->cell(1));
+               *it = MathAtom(new MathExFuncInset("exp", sup->cell(1)));
                ar.erase(it + 1);
        }
        //lyxerr << "\nExps to: " << ar << "\n";
@@ -338,7 +338,7 @@ void extractDets(MathArray & ar)
                        continue;
                if (!del->isAbs())
                        continue;
-               *it = new MathExFuncInset("det", del->cell(0));
+               *it = MathAtom(new MathExFuncInset("det", del->cell(0)));
        }
        //lyxerr << "\ndet to: " << ar << "\n";
 }
@@ -379,7 +379,7 @@ void extractNumbers(MathArray & ar)
 
                string s = digitSequence(ar.begin() + i, ar.end());
 
-               ar[i].reset(new MathNumberInset(s));
+               ar[i] = MathAtom(new MathNumberInset(s));
                ar.erase(i + 1, i + s.size());
        }
        //lyxerr << "\nNumbers to: " << ar << "\n";
@@ -391,13 +391,13 @@ void extractNumbers(MathArray & ar)
 // search deliminiters
 //
 
-bool testOpenParan(MathInset * p)
+bool testOpenParan(MathInset const * p)
 {
        return testString(p, "(");
 }
 
 
-bool testCloseParan(MathInset * p)
+bool testCloseParan(MathInset const * p)
 {
        return testString(p, ")");
 }
@@ -441,7 +441,7 @@ void extractFunctions(MathArray & ar)
                // is it a function?
                if ((*it)->asUnknownInset()) {
                        // it certainly is if it is well known...
-                       name = (*it)->asUnknownInset()->name();
+                       name = (*it)->name();
                } else {
                        // is this a user defined function?
                        // it it probably not, if it doesn't have a name.
@@ -470,7 +470,7 @@ void extractFunctions(MathArray & ar)
                MathArray::iterator st = extractArgument(p->cell(0), jt, ar.end());
 
                // replace the function name by a real function inset
-               (*it).reset(p);
+               *it = MathAtom(p);
 
                // remove the source of the argument from the array
                ar.erase(it + 1, st);
@@ -486,19 +486,30 @@ void extractFunctions(MathArray & ar)
 // search integrals
 //
 
-bool testSymbol(MathInset * p, string const & name)
+bool testSymbol(MathInset const * p, string const & name)
 {
        return p->asSymbolInset() && p->asSymbolInset()->name() == name;
 }
 
 
-bool testIntSymbol(MathInset * p)
+bool testIntSymbol(MathInset const * p)
 {
        return testSymbol(p, "int");
 }
 
 
-bool testIntDiff(MathInset * p)
+bool testIntegral(MathInset const * p)
+{
+       return
+        testIntSymbol(p) ||
+               ( p->asScriptInset() 
+                 && p->asScriptInset()->nuc().size()
+                       && testIntSymbol(p->asScriptInset()->nuc().back().nucleus()) );
+}
+
+
+
+bool testIntDiff(MathInset const * p)
 {
        return testString(p, "d");
 }
@@ -516,47 +527,34 @@ void extractIntegrals(MathArray & ar)
        for (MathArray::size_type i = 0; i + 1 < ar.size(); ++i) {
                MathArray::iterator it = ar.begin() + i;
 
-               // is this a integral name?
-               if (!testIntSymbol(it->nucleus()))
-                       continue;
-
                // search 'd'
                MathArray::iterator jt =
-                       endNestSearch(it, ar.end(), testIntSymbol, testIntDiff);
+                       endNestSearch(it, ar.end(), testIntegral, testIntDiff);
 
                // something sensible found?
                if (jt == ar.end())
                        continue;
 
-               // create a proper inset as replacement
-               MathExIntInset * p = new MathExIntInset("int");
-
-               // collect subscript if any
-               MathArray::iterator st = it + 1;
-               if (st != ar.end())
-                       if (MathScriptInset * sub = (*st)->asScriptInset())
-                               if (sub->hasDown()) {
-                                       p->cell(2) = sub->down().data();
-                                       ++st;
-                               }
-
-               // collect superscript if any
-               if (st != ar.end())
-                       if (MathScriptInset * sup = (*st)->asScriptInset())
-                               if (sup->hasUp()) {
-                                       p->cell(3) = sup->up().data();
-                                       ++st;
-                               }
+               // is this a integral name?
+               if (!testIntegral(it->nucleus()))
+                       continue;
 
                // core ist part from behind the scripts to the 'd'
-               p->cell(0) = MathArray(st, jt);
+               MathExIntInset * p = new MathExIntInset("int");
+
+               // handle scripts if available
+               if (!testIntSymbol(it->nucleus())) {
+                       p->cell(2) = it->nucleus()->asScriptInset()->down();
+                       p->cell(3) = it->nucleus()->asScriptInset()->up();
+               }
+               p->cell(0) = MathArray(it + 1, jt);
 
                // use the "thing" behind the 'd' as differential
                MathArray::iterator tt = extractArgument(p->cell(1), jt + 1, ar.end());
 
                // remove used parts
                ar.erase(it + 1, tt);
-               (*it).reset(p);
+               *it = MathAtom(p);
        }
        //lyxerr << "\nIntegrals to: " << ar << "\n";
 }
@@ -573,6 +571,21 @@ bool testEqualSign(MathAtom const & at)
 }
 
 
+bool testSumSymbol(MathInset const * p)
+{
+       return testSymbol(p, "sum");
+}
+
+
+bool testSum(MathInset const * p)
+{
+       return
+        testSumSymbol(p) ||
+               ( p->asScriptInset() 
+                 && p->asScriptInset()->nuc().size()
+                       && testSumSymbol(p->asScriptInset()->nuc().back().nucleus()) );
+}
+
 
 // replace '\sum' ['_^'] f(x) sequences by a real MathExIntInset
 // assume 'extractDelims' ran before
@@ -587,47 +600,40 @@ void extractSums(MathArray & ar)
                MathArray::iterator it = ar.begin() + i;
 
                // is this a sum name?
-               if (!testSymbol(it->nucleus(), "sum"))
+               if (!testSum(it->nucleus()))
                        continue;
 
                // create a proper inset as replacement
                MathExIntInset * p = new MathExIntInset("sum");
 
                // collect lower bound and summation index
-               MathArray::iterator st = it + 1;
-               if (st != ar.end())
-                       if (MathScriptInset * sub = (*st)->asScriptInset())
-                               if (sub->hasDown()) {
-                                       // try to figure out the summation index from the subscript
-                                       MathArray & ar = sub->down().data();
-                                       MathArray::iterator it =
-                                               find_if(ar.begin(), ar.end(), &testEqualSign);
-                                       if (it != ar.end()) {
-                                               // we found a '=', use everything in front of that as index,
-                                               // and everything behind as lower index
-                                               p->cell(1) = MathArray(ar.begin(), it);
-                                               p->cell(2) = MathArray(it + 1, ar.end());
-                                       } else {
-                                               // use everything as summation index, don't use scripts.
-                                               p->cell(1) = ar;
-                                       }
-                                       ++st;
-                               }
+               MathScriptInset * sub = (*it)->asScriptInset();
+               if (sub && sub->hasDown()) {
+                       // try to figure out the summation index from the subscript
+                       MathArray & ar = sub->down();
+                       MathArray::iterator xt =
+                               find_if(ar.begin(), ar.end(), &testEqualSign);
+                       if (xt != ar.end()) {
+                               // we found a '=', use everything in front of that as index,
+                               // and everything behind as lower index
+                               p->cell(1) = MathArray(ar.begin(), xt);
+                               p->cell(2) = MathArray(xt + 1, ar.end());
+                       } else {
+                               // use everything as summation index, don't use scripts.
+                               p->cell(1) = ar;
+                       }
+               }
 
                // collect upper bound
-               if (st != ar.end())
-                       if (MathScriptInset * sup = (*st)->asScriptInset())
-                               if (sup->hasUp()) {
-                                       p->cell(3) = sup->up().data();
-                                       ++st;
-                               }
+               if (sub && sub->hasUp())
+                       p->cell(3) = sub->up();
 
-               // use some  behind the script as core
-               MathArray::iterator tt = extractArgument(p->cell(0), st, ar.end());
+               // use something  behind the script as core
+               MathArray::iterator tt = extractArgument(p->cell(0), it + 1, ar.end());
 
                // cleanup
                ar.erase(it + 1, tt);
-               (*it).reset(p);
+               *it = MathAtom(p);
        }
        //lyxerr << "\nSums to: " << ar << "\n";
 }
@@ -650,9 +656,9 @@ bool testDiffArray(MathArray const & ar)
 }
 
 
-bool testDiffFrac(MathInset * p)
+bool testDiffFrac(MathInset const * p)
 {
-       MathFracInset * f = p->asFracInset();
+       MathFracInset const * f = p->asFracInset();
        return f && testDiffArray(f->cell(0)) && testDiffArray(f->cell(1));
 }
 
@@ -723,7 +729,7 @@ void extractDiff(MathArray & ar)
                        if (script && script->hasUp()) {
                                // things like   d.../dx^n
                                int mult = 1;
-                               if (extractNumber(script->up().data(), mult)) {
+                               if (extractNumber(script->up(), mult)) {
                                        //lyxerr << "mult: " << mult << endl;
                                        for (int i = 0; i < mult; ++i)
                                                diff->addDer(MathArray(dt + 1, st));
@@ -737,7 +743,7 @@ void extractDiff(MathArray & ar)
 
                // cleanup
                ar.erase(it + 1, jt);
-               (*it).reset(diff);
+               *it = MathAtom(diff);
        }
        //lyxerr << "\nDiffs to: " << ar << "\n";
 }
@@ -779,7 +785,7 @@ void extractLims(MathArray & ar)
                        continue;
 
                // and it must contain a -> symbol
-               MathArray & s = sub->down().data();
+               MathArray & s = sub->down();
                MathArray::iterator st = find_if(s.begin(), s.end(), &testRightArrow);
                if (st == s.end())
                        continue;
@@ -792,12 +798,11 @@ void extractLims(MathArray & ar)
                MathArray f;
                MathArray::iterator tt = extractArgument(f, it + 2, ar.end());
 
-               // create a proper inset as replacement
-               MathLimInset * p = new MathLimInset(f, x, x0);
-
                // cleanup
                ar.erase(it + 1, tt);
-               (*it).reset(p);
+
+               // create a proper inset as replacement
+               *it = MathAtom(new MathLimInset(f, x, x0));
        }
        //lyxerr << "\nLimits to: " << ar << "\n";
 }
@@ -809,14 +814,14 @@ void extractLims(MathArray & ar)
 
 void extractStructure(MathArray & ar)
 {
+       extractIntegrals(ar);
+       extractSums(ar);
        splitScripts(ar);
        extractNumbers(ar);
        extractMatrices(ar);
        extractDelims(ar);
        extractFunctions(ar);
        extractDets(ar);
-       extractIntegrals(ar);
-       extractSums(ar);
        extractDiff(ar);
        extractExps(ar);
        extractLims(ar);
@@ -828,8 +833,11 @@ void write(MathArray const & dat, WriteStream & wi)
 {
        MathArray ar = dat;
        extractStrings(ar);
-       for (MathArray::const_iterator it = ar.begin(); it != ar.end(); ++it)
+       wi.firstitem() = true;
+       for (MathArray::const_iterator it = ar.begin(); it != ar.end(); ++it) {
                (*it)->write(wi);
+               wi.firstitem() = false;
+       }
 }